runsolver Copyright (C) 2010 Olivier ROUSSEL

This is runsolver version 3.2.9a (svn: 651)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: /home/misc2010/bin/runsolver -s SIGUSR1 -M 1124 -C 290 -d 10 -w /home/misc2010/tmp/201109011757/gj-user-solver-1.0/rand83.cudf.dudf-random.log.runsolver ./gj-user-solver-1.0 /home/misc2010/data/2011/dudf-random//rand83.cudf /home/misc2010/tmp/201109011757/gj-user-solver-1.0/rand83.cudf.dudf-random.result -sum(pin-priority-1),-sum(pin-priority-500),-sum(pin-priority-700),-notuptodate,-removed,-changed 

Enforcing CPUTime limit (soft limit, will send signal-name then SIGKILL): 290 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 320 seconds
Enforcing VSIZE limit (soft limit, will send signal-name then SIGKILL): 1150976 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1202176 KiB
Current StackSize limit: 8192 KiB


[startup+0 s]
/proc/loadavg: 1.28 1.12 1.03 4/34 30066
/proc/meminfo: memFree=581376/1048576 swapFree=0/0
[pid=30065] ppid=30064 vsize=2568 CPUtime=0
/proc/30065/stat : 30065 (gj-user-solver-) S 30064 30065 22717 34817 22717 4202496 372 0 0 0 0 0 0 0 18 0 1 0 72690097 2629632 270 1283457024 134512640 135304128 4292486992 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/30065/statm: 642 270 229 194 0 29 0
[pid=30066] ppid=30065 vsize=184 CPUtime=0
/proc/30066/stat : 30066 (java) R 30065 30065 22717 34817 22717 4194304 94 0 0 0 0 0 0 0 25 0 1 0 72690097 188416 34 1283457024 134512640 134550932 4288744432 18446744073709551615 4160277332 0 0 0 0 0 0 0 17 0 0 0 0
/proc/30066/statm: 46 34 26 10 0 6 0

[startup+0.132814 s]
/proc/loadavg: 1.28 1.12 1.03 4/34 30066
/proc/meminfo: memFree=581376/1048576 swapFree=0/0
[pid=30065] ppid=30064 vsize=2568 CPUtime=0
/proc/30065/stat : 30065 (gj-user-solver-) S 30064 30065 22717 34817 22717 4202496 372 0 0 0 0 0 0 0 18 0 1 0 72690097 2629632 270 1283457024 134512640 135304128 4292486992 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/30065/statm: 642 270 229 194 0 29 0
[pid=30066] ppid=30065 vsize=410076 CPUtime=0.13
/proc/30066/stat : 30066 (java) S 30065 30065 22717 34817 22717 4202496 3967 0 1 0 9 4 0 0 25 0 9 0 72690097 419917824 3396 1283457024 134512640 134550932 4289825840 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/30066/statm: 102519 3396 1923 10 0 96667 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 412644

[startup+0.202824 s]
/proc/loadavg: 1.28 1.12 1.03 4/34 30066
/proc/meminfo: memFree=581376/1048576 swapFree=0/0
[pid=30065] ppid=30064 vsize=2568 CPUtime=0
/proc/30065/stat : 30065 (gj-user-solver-) S 30064 30065 22717 34817 22717 4202496 372 0 0 0 0 0 0 0 18 0 1 0 72690097 2629632 270 1283457024 134512640 135304128 4292486992 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/30065/statm: 642 270 229 194 0 29 0
[pid=30066] ppid=30065 vsize=410076 CPUtime=0.2
/proc/30066/stat : 30066 (java) S 30065 30065 22717 34817 22717 4202496 4129 0 1 0 16 4 0 0 25 0 9 0 72690097 419917824 3558 1283457024 134512640 134550932 4289825840 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/30066/statm: 102519 3558 1923 10 0 96667 0
Current children cumulated CPU time (s) 0.2
Current children cumulated vsize (KiB) 412644

[startup+0.31286 s]
/proc/loadavg: 1.28 1.12 1.03 4/34 30066
/proc/meminfo: memFree=581376/1048576 swapFree=0/0
[pid=30065] ppid=30064 vsize=2568 CPUtime=0
/proc/30065/stat : 30065 (gj-user-solver-) S 30064 30065 22717 34817 22717 4202496 372 0 0 0 0 0 0 0 18 0 1 0 72690097 2629632 270 1283457024 134512640 135304128 4292486992 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/30065/statm: 642 270 229 194 0 29 0
[pid=30066] ppid=30065 vsize=410476 CPUtime=0.31
/proc/30066/stat : 30066 (java) S 30065 30065 22717 34817 22717 4202496 4455 0 1 0 27 4 0 0 25 0 9 0 72690097 420327424 3884 1283457024 134512640 134550932 4289825840 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/30066/statm: 102619 3884 1936 10 0 96767 0
Current children cumulated CPU time (s) 0.31
Current children cumulated vsize (KiB) 413044

[startup+0.713021 s]
/proc/loadavg: 1.28 1.12 1.03 4/34 30066
/proc/meminfo: memFree=581376/1048576 swapFree=0/0
[pid=30065] ppid=30064 vsize=2568 CPUtime=0
/proc/30065/stat : 30065 (gj-user-solver-) S 30064 30065 22717 34817 22717 4202496 372 0 0 0 0 0 0 0 18 0 1 0 72690097 2629632 270 1283457024 134512640 135304128 4292486992 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/30065/statm: 642 270 229 194 0 29 0
[pid=30066] ppid=30065 vsize=410616 CPUtime=0.71
/proc/30066/stat : 30066 (java) S 30065 30065 22717 34817 22717 4202496 11742 0 1 0 60 11 0 0 25 0 9 0 72690097 420470784 10983 1283457024 134512640 134550932 4289825840 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/30066/statm: 102654 10983 2901 10 0 96802 0
Current children cumulated CPU time (s) 0.71
Current children cumulated vsize (KiB) 413184

[startup+1.51328 s]
/proc/loadavg: 1.28 1.12 1.03 2/43 30075
/proc/meminfo: memFree=522580/1048576 swapFree=0/0
[pid=30065] ppid=30064 vsize=2568 CPUtime=0
/proc/30065/stat : 30065 (gj-user-solver-) S 30064 30065 22717 34817 22717 4202496 372 0 0 0 0 0 0 0 18 0 1 0 72690097 2629632 270 1283457024 134512640 135304128 4292486992 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/30065/statm: 642 270 229 194 0 29 0
[pid=30066] ppid=30065 vsize=410748 CPUtime=1.51
/proc/30066/stat : 30066 (java) S 30065 30065 22717 34817 22717 4202496 25554 0 1 0 133 18 0 0 25 0 9 0 72690097 420605952 24795 1283457024 134512640 134550932 4289825840 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/30066/statm: 102687 24795 2901 10 0 96835 0
[pid=30066/tid=30068] ppid=30065 vsize=410748 CPUtime=0.85
/proc/30066/task/30068/stat : 30068 (java) R 30065 30065 22717 34817 22717 4202560 6761 0 1 0 74 11 0 0 25 0 9 0 72690098 420605952 24795 1283457024 134512640 134550932 4289825840 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=30066/tid=30069] ppid=30065 vsize=410748 CPUtime=0.61
/proc/30066/task/30069/stat : 30069 (java) R 30065 30065 22717 34817 22717 4202560 17408 0 0 0 56 5 0 0 18 0 9 0 72690099 420605952 24795 1283457024 134512640 134550932 4289825840 18446744073709551615 4153022875 0 0 0 16800975 0 0 0 -1 0 0 0 0
[pid=30066/tid=30070] ppid=30065 vsize=410748 CPUtime=0
/proc/30066/task/30070/stat : 30070 (java) S 30065 30065 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 20 0 9 0 72690099 420605952 24795 1283457024 134512640 134550932 4289825840 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=30066/tid=30071] ppid=30065 vsize=410748 CPUtime=0
/proc/30066/task/30071/stat : 30071 (java) S 30065 30065 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 20 0 9 0 72690099 420605952 24795 1283457024 134512640 134550932 4289825840 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=30066/tid=30072] ppid=30065 vsize=410748 CPUtime=0
/proc/30066/task/30072/stat : 30072 (java) S 30065 30065 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 9 0 72690100 420605952 24795 1283457024 134512640 134550932 4289825840 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=30066/tid=30073] ppid=30065 vsize=410748 CPUtime=0.02
/proc/30066/task/30073/stat : 30073 (java) S 30065 30065 22717 34817 22717 4202560 445 0 0 0 2 0 0 0 16 0 9 0 72690100 420605952 24795 1283457024 134512640 134550932 4289825840 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=30066/tid=30074] ppid=30065 vsize=410748 CPUtime=0
/proc/30066/task/30074/stat : 30074 (java) S 30065 30065 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 9 0 72690100 420605952 24795 1283457024 134512640 134550932 4289825840 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=30066/tid=30075] ppid=30065 vsize=410748 CPUtime=0.01
/proc/30066/task/30075/stat : 30075 (java) R 30065 30065 22717 34817 22717 4202560 1 0 0 0 0 1 0 0 15 0 9 0 72690100 420605952 24795 1283457024 134512640 134550932 4289825840 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.51
Current children cumulated vsize (KiB) 413316

[startup+3.12376 s]
/proc/loadavg: 1.28 1.12 1.03 2/43 30075
/proc/meminfo: memFree=450040/1048576 swapFree=0/0
[pid=30065] ppid=30064 vsize=2568 CPUtime=0
/proc/30065/stat : 30065 (gj-user-solver-) S 30064 30065 22717 34817 22717 4202496 372 0 0 0 0 0 0 0 18 0 1 0 72690097 2629632 270 1283457024 134512640 135304128 4292486992 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/30065/statm: 642 270 229 194 0 29 0
[pid=30066] ppid=30065 vsize=410880 CPUtime=3.12
/proc/30066/stat : 30066 (java) S 30065 30065 22717 34817 22717 4202496 48112 0 1 0 282 30 0 0 25 0 9 0 72690097 420741120 47353 1283457024 134512640 134550932 4289825840 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/30066/statm: 102720 47353 2901 10 0 96868 0
[pid=30066/tid=30068] ppid=30065 vsize=410880 CPUtime=1.48
/proc/30066/task/30068/stat : 30068 (java) R 30065 30065 22717 34817 22717 4202560 13945 0 1 0 130 18 0 0 25 0 9 0 72690098 420741120 47353 1283457024 134512640 134550932 4289825840 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=30066/tid=30069] ppid=30065 vsize=410880 CPUtime=1.59
/proc/30066/task/30069/stat : 30069 (java) R 30065 30065 22717 34817 22717 4202560 32777 0 0 0 149 10 0 0 15 0 9 0 72690099 420741120 47353 1283457024 134512640 134550932 4289825840 18446744073709551615 4151288039 0 0 0 16800975 0 0 0 -1 0 0 0 0
[pid=30066/tid=30070] ppid=30065 vsize=410880 CPUtime=0
/proc/30066/task/30070/stat : 30070 (java) S 30065 30065 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 20 0 9 0 72690099 420741120 47353 1283457024 134512640 134550932 4289825840 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=30066/tid=30071] ppid=30065 vsize=410880 CPUtime=0
/proc/30066/task/30071/stat : 30071 (java) S 30065 30065 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 20 0 9 0 72690099 420741120 47353 1283457024 134512640 134550932 4289825840 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=30066/tid=30072] ppid=30065 vsize=410880 CPUtime=0
/proc/30066/task/30072/stat : 30072 (java) S 30065 30065 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 9 0 72690100 420741120 47353 1283457024 134512640 134550932 4289825840 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=30066/tid=30073] ppid=30065 vsize=410880 CPUtime=0.02
/proc/30066/task/30073/stat : 30073 (java) S 30065 30065 22717 34817 22717 4202560 450 0 0 0 2 0 0 0 16 0 9 0 72690100 420741120 47353 1283457024 134512640 134550932 4289825840 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=30066/tid=30074] ppid=30065 vsize=410880 CPUtime=0
/proc/30066/task/30074/stat : 30074 (java) S 30065 30065 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 9 0 72690100 420741120 47353 1283457024 134512640 134550932 4289825840 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=30066/tid=30075] ppid=30065 vsize=410880 CPUtime=0.01
/proc/30066/task/30075/stat : 30075 (java) S 30065 30065 22717 34817 22717 4202560 1 0 0 0 0 1 0 0 15 0 9 0 72690100 420741120 47353 1283457024 134512640 134550932 4289825840 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.12
Current children cumulated vsize (KiB) 413448

[startup+6.30486 s]
/proc/loadavg: 1.34 1.13 1.04 3/43 30075
/proc/meminfo: memFree=314260/1048576 swapFree=0/0
[pid=30065] ppid=30064 vsize=2568 CPUtime=0
/proc/30065/stat : 30065 (gj-user-solver-) S 30064 30065 22717 34817 22717 4202496 372 0 0 0 0 0 0 0 18 0 1 0 72690097 2629632 270 1283457024 134512640 135304128 4292486992 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/30065/statm: 642 270 229 194 0 29 0
[pid=30066] ppid=30065 vsize=438864 CPUtime=6.3
/proc/30066/stat : 30066 (java) S 30065 30065 22717 34817 22717 4202496 77988 0 1 0 590 40 0 0 25 0 9 0 72690097 449396736 77223 1283457024 134512640 134550932 4289825840 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/30066/statm: 109716 77223 2903 10 0 103864 0
[pid=30066/tid=30068] ppid=30065 vsize=438864 CPUtime=2.36
/proc/30066/task/30068/stat : 30068 (java) R 30065 30065 22717 34817 22717 4202560 13963 0 1 0 218 18 0 0 25 0 9 0 72690098 449396736 77223 1283457024 134512640 134550932 4289825840 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=30066/tid=30069] ppid=30065 vsize=438864 CPUtime=3.87
/proc/30066/task/30069/stat : 30069 (java) R 30065 30065 22717 34817 22717 4202560 62616 0 0 0 368 19 0 0 16 0 9 0 72690099 449396736 77223 1283457024 134512640 134550932 4289825840 18446744073709551615 4153017680 0 0 0 16800975 0 0 0 -1 0 0 0 0
[pid=30066/tid=30070] ppid=30065 vsize=438864 CPUtime=0
/proc/30066/task/30070/stat : 30070 (java) S 30065 30065 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 18 0 9 0 72690099 449396736 77223 1283457024 134512640 134550932 4289825840 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=30066/tid=30071] ppid=30065 vsize=438864 CPUtime=0
/proc/30066/task/30071/stat : 30071 (java) S 30065 30065 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 9 0 72690099 449396736 77223 1283457024 134512640 134550932 4289825840 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=30066/tid=30072] ppid=30065 vsize=438864 CPUtime=0
/proc/30066/task/30072/stat : 30072 (java) S 30065 30065 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 9 0 72690100 449396736 77223 1283457024 134512640 134550932 4289825840 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=30066/tid=30073] ppid=30065 vsize=438864 CPUtime=0.03
/proc/30066/task/30073/stat : 30073 (java) S 30065 30065 22717 34817 22717 4202560 469 0 0 0 3 0 0 0 16 0 9 0 72690100 449396736 77223 1283457024 134512640 134550932 4289825840 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=30066/tid=30074] ppid=30065 vsize=438864 CPUtime=0
/proc/30066/task/30074/stat : 30074 (java) S 30065 30065 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 9 0 72690100 449396736 77223 1283457024 134512640 134550932 4289825840 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=30066/tid=30075] ppid=30065 vsize=438864 CPUtime=0.01
/proc/30066/task/30075/stat : 30075 (java) S 30065 30065 22717 34817 22717 4202560 1 0 0 0 0 1 0 0 15 0 9 0 72690100 449396736 77223 1283457024 134512640 134550932 4289825840 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 441432

[startup+12.7067 s]
/proc/loadavg: 1.39 1.14 1.04 3/43 30075
/proc/meminfo: memFree=282276/1048576 swapFree=0/0
[pid=30065] ppid=30064 vsize=2568 CPUtime=0
/proc/30065/stat : 30065 (gj-user-solver-) S 30064 30065 22717 34817 22717 4202496 372 0 0 0 0 0 0 0 18 0 1 0 72690097 2629632 270 1283457024 134512640 135304128 4292486992 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/30065/statm: 642 270 229 194 0 29 0
[pid=30066] ppid=30065 vsize=413976 CPUtime=12.69
/proc/30066/stat : 30066 (java) S 30065 30065 22717 34817 22717 4202496 104117 0 1 0 1213 56 0 0 25 0 9 0 72690097 423911424 71196 1283457024 134512640 134550932 4289825840 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/30066/statm: 103494 71196 2918 10 0 97639 0
[pid=30066/tid=30068] ppid=30065 vsize=413976 CPUtime=3.28
/proc/30066/task/30068/stat : 30068 (java) R 30065 30065 22717 34817 22717 4202560 14200 0 1 0 308 20 0 0 25 0 9 0 72690098 423911424 71196 1283457024 134512640 134550932 4289825840 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=30066/tid=30069] ppid=30065 vsize=413976 CPUtime=9.32
/proc/30066/task/30069/stat : 30069 (java) R 30065 30065 22717 34817 22717 4202560 88475 0 0 0 898 34 0 0 16 0 9 0 72690099 423911424 71196 1283457024 134512640 134550932 4289825840 18446744073709551615 4152400127 0 0 0 16800975 0 0 0 -1 0 0 0 0
[pid=30066/tid=30070] ppid=30065 vsize=413976 CPUtime=0
/proc/30066/task/30070/stat : 30070 (java) S 30065 30065 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 18 0 9 0 72690099 423911424 71196 1283457024 134512640 134550932 4289825840 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=30066/tid=30071] ppid=30065 vsize=413976 CPUtime=0
/proc/30066/task/30071/stat : 30071 (java) S 30065 30065 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 9 0 72690099 423911424 71196 1283457024 134512640 134550932 4289825840 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=30066/tid=30072] ppid=30065 vsize=413976 CPUtime=0
/proc/30066/task/30072/stat : 30072 (java) S 30065 30065 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 9 0 72690100 423911424 71196 1283457024 134512640 134550932 4289825840 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=30066/tid=30073] ppid=30065 vsize=413976 CPUtime=0.07
/proc/30066/task/30073/stat : 30073 (java) S 30065 30065 22717 34817 22717 4202560 502 0 0 0 7 0 0 0 15 0 9 0 72690100 423911424 71196 1283457024 134512640 134550932 4289825840 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=30066/tid=30074] ppid=30065 vsize=413976 CPUtime=0
/proc/30066/task/30074/stat : 30074 (java) S 30065 30065 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 9 0 72690100 423911424 71196 1283457024 134512640 134550932 4289825840 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=30066/tid=30075] ppid=30065 vsize=413976 CPUtime=0.01
/proc/30066/task/30075/stat : 30075 (java) S 30065 30065 22717 34817 22717 4202560 1 0 0 0 0 1 0 0 15 0 9 0 72690100 423911424 71196 1283457024 134512640 134550932 4289825840 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 416544

[startup+25.5101 s]
/proc/loadavg: 1.30 1.14 1.04 2/44 30076
/proc/meminfo: memFree=306696/1048576 swapFree=0/0
[pid=30065] ppid=30064 vsize=2568 CPUtime=0
/proc/30065/stat : 30065 (gj-user-solver-) S 30064 30065 22717 34817 22717 4202496 372 0 0 0 0 0 0 0 18 0 1 0 72690097 2629632 270 1283457024 134512640 135304128 4292486992 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/30065/statm: 642 270 229 194 0 29 0
[pid=30066] ppid=30065 vsize=414300 CPUtime=25.48
/proc/30066/stat : 30066 (java) S 30065 30065 22717 34817 22717 4202496 104198 0 1 0 2492 56 0 0 25 0 10 0 72690097 424243200 71276 1283457024 134512640 134550932 4289825840 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/30066/statm: 103575 71276 2921 10 0 97720 0
[pid=30066/tid=30068] ppid=30065 vsize=414300 CPUtime=15.44
/proc/30066/task/30068/stat : 30068 (java) R 30065 30065 22717 34817 22717 4202560 14216 0 1 0 1524 20 0 0 25 0 10 0 72690098 424243200 71276 1283457024 134512640 134550932 4289825840 18446744073709551615 4115528869 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=30066/tid=30069] ppid=30065 vsize=414300 CPUtime=9.88
/proc/30066/task/30069/stat : 30069 (java) S 30065 30065 22717 34817 22717 4202560 88477 0 0 0 954 34 0 0 15 0 10 0 72690099 424243200 71276 1283457024 134512640 134550932 4289825840 18446744073709551615 4294960130 0 0 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=30066/tid=30070] ppid=30065 vsize=414300 CPUtime=0
/proc/30066/task/30070/stat : 30070 (java) S 30065 30065 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 18 0 10 0 72690099 424243200 71276 1283457024 134512640 134550932 4289825840 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=30066/tid=30071] ppid=30065 vsize=414300 CPUtime=0
/proc/30066/task/30071/stat : 30071 (java) S 30065 30065 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 10 0 72690099 424243200 71276 1283457024 134512640 134550932 4289825840 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=30066/tid=30072] ppid=30065 vsize=414300 CPUtime=0
/proc/30066/task/30072/stat : 30072 (java) S 30065 30065 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 72690100 424243200 71276 1283457024 134512640 134550932 4289825840 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=30066/tid=30073] ppid=30065 vsize=414300 CPUtime=0.13
/proc/30066/task/30073/stat : 30073 (java) S 30065 30065 22717 34817 22717 4202560 560 0 0 0 13 0 0 0 15 0 10 0 72690100 424243200 71276 1283457024 134512640 134550932 4289825840 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=30066/tid=30074] ppid=30065 vsize=414300 CPUtime=0
/proc/30066/task/30074/stat : 30074 (java) S 30065 30065 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 72690100 424243200 71276 1283457024 134512640 134550932 4289825840 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=30066/tid=30075] ppid=30065 vsize=414300 CPUtime=0.01
/proc/30066/task/30075/stat : 30075 (java) S 30065 30065 22717 34817 22717 4202560 1 0 0 0 0 1 0 0 15 0 10 0 72690100 424243200 71276 1283457024 134512640 134550932 4289825840 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=30066/tid=30076] ppid=30065 vsize=414300 CPUtime=0
/proc/30066/task/30076/stat : 30076 (java) S 30065 30065 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 25 0 10 0 72691397 424243200 71276 1283457024 134512640 134550932 4289825840 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 416868

[startup+51.1067 s]
/proc/loadavg: 1.20 1.12 1.04 2/44 30076
/proc/meminfo: memFree=306696/1048576 swapFree=0/0
[pid=30065] ppid=30064 vsize=2568 CPUtime=0
/proc/30065/stat : 30065 (gj-user-solver-) S 30064 30065 22717 34817 22717 4202496 372 0 0 0 0 0 0 0 18 0 1 0 72690097 2629632 270 1283457024 134512640 135304128 4292486992 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/30065/statm: 642 270 229 194 0 29 0
[pid=30066] ppid=30065 vsize=414300 CPUtime=51.05
/proc/30066/stat : 30066 (java) S 30065 30065 22717 34817 22717 4202496 104201 0 1 0 5049 56 0 0 25 0 10 0 72690097 424243200 71279 1283457024 134512640 134550932 4289825840 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/30066/statm: 103575 71279 2921 10 0 97720 0
[pid=30066/tid=30068] ppid=30065 vsize=414300 CPUtime=39.96
/proc/30066/task/30068/stat : 30068 (java) R 30065 30065 22717 34817 22717 4202560 14217 0 1 0 3976 20 0 0 25 0 10 0 72690098 424243200 71279 1283457024 134512640 134550932 4289825840 18446744073709551615 4115524688 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=30066/tid=30069] ppid=30065 vsize=414300 CPUtime=10.92
/proc/30066/task/30069/stat : 30069 (java) S 30065 30065 22717 34817 22717 4202560 88477 0 0 0 1058 34 0 0 16 0 10 0 72690099 424243200 71279 1283457024 134512640 134550932 4289825840 18446744073709551615 4294960130 0 0 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=30066/tid=30070] ppid=30065 vsize=414300 CPUtime=0
/proc/30066/task/30070/stat : 30070 (java) S 30065 30065 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 18 0 10 0 72690099 424243200 71279 1283457024 134512640 134550932 4289825840 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=30066/tid=30071] ppid=30065 vsize=414300 CPUtime=0
/proc/30066/task/30071/stat : 30071 (java) S 30065 30065 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 10 0 72690099 424243200 71279 1283457024 134512640 134550932 4289825840 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=30066/tid=30072] ppid=30065 vsize=414300 CPUtime=0
/proc/30066/task/30072/stat : 30072 (java) S 30065 30065 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 72690100 424243200 71279 1283457024 134512640 134550932 4289825840 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=30066/tid=30073] ppid=30065 vsize=414300 CPUtime=0.14
/proc/30066/task/30073/stat : 30073 (java) S 30065 30065 22717 34817 22717 4202560 562 0 0 0 14 0 0 0 15 0 10 0 72690100 424243200 71279 1283457024 134512640 134550932 4289825840 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=30066/tid=30074] ppid=30065 vsize=414300 CPUtime=0
/proc/30066/task/30074/stat : 30074 (java) S 30065 30065 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 72690100 424243200 71279 1283457024 134512640 134550932 4289825840 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=30066/tid=30075] ppid=30065 vsize=414300 CPUtime=0.01
/proc/30066/task/30075/stat : 30075 (java) S 30065 30065 22717 34817 22717 4202560 1 0 0 0 0 1 0 0 15 0 10 0 72690100 424243200 71279 1283457024 134512640 134550932 4289825840 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=30066/tid=30076] ppid=30065 vsize=414300 CPUtime=0
/proc/30066/task/30076/stat : 30076 (java) S 30065 30065 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 25 0 10 0 72691397 424243200 71279 1283457024 134512640 134550932 4289825840 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 416868

[startup+102.308 s]
/proc/loadavg: 1.08 1.10 1.03 2/44 30076
/proc/meminfo: memFree=306696/1048576 swapFree=0/0
[pid=30065] ppid=30064 vsize=2568 CPUtime=0
/proc/30065/stat : 30065 (gj-user-solver-) S 30064 30065 22717 34817 22717 4202496 372 0 0 0 0 0 0 0 18 0 1 0 72690097 2629632 270 1283457024 134512640 135304128 4292486992 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/30065/statm: 642 270 229 194 0 29 0
[pid=30066] ppid=30065 vsize=414300 CPUtime=101.96
/proc/30066/stat : 30066 (java) S 30065 30065 22717 34817 22717 4202496 104210 0 1 0 10138 58 0 0 25 0 10 0 72690097 424243200 71288 1283457024 134512640 134550932 4289825840 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/30066/statm: 103575 71288 2921 10 0 97720 0
[pid=30066/tid=30068] ppid=30065 vsize=414300 CPUtime=90.36
/proc/30066/task/30068/stat : 30068 (java) R 30065 30065 22717 34817 22717 4202560 14217 0 1 0 9016 20 0 0 25 0 10 0 72690098 424243200 71288 1283457024 134512640 134550932 4289825840 18446744073709551615 4115657417 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=30066/tid=30069] ppid=30065 vsize=414300 CPUtime=11.4
/proc/30066/task/30069/stat : 30069 (java) S 30065 30065 22717 34817 22717 4202560 88477 0 0 0 1105 35 0 0 15 0 10 0 72690099 424243200 71288 1283457024 134512640 134550932 4289825840 18446744073709551615 4294960130 0 0 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=30066/tid=30070] ppid=30065 vsize=414300 CPUtime=0
/proc/30066/task/30070/stat : 30070 (java) S 30065 30065 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 18 0 10 0 72690099 424243200 71288 1283457024 134512640 134550932 4289825840 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=30066/tid=30071] ppid=30065 vsize=414300 CPUtime=0
/proc/30066/task/30071/stat : 30071 (java) S 30065 30065 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 10 0 72690099 424243200 71288 1283457024 134512640 134550932 4289825840 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=30066/tid=30072] ppid=30065 vsize=414300 CPUtime=0
/proc/30066/task/30072/stat : 30072 (java) S 30065 30065 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 72690100 424243200 71288 1283457024 134512640 134550932 4289825840 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=30066/tid=30073] ppid=30065 vsize=414300 CPUtime=0.16
/proc/30066/task/30073/stat : 30073 (java) S 30065 30065 22717 34817 22717 4202560 571 0 0 0 16 0 0 0 15 0 10 0 72690100 424243200 71288 1283457024 134512640 134550932 4289825840 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=30066/tid=30074] ppid=30065 vsize=414300 CPUtime=0
/proc/30066/task/30074/stat : 30074 (java) S 30065 30065 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 72690100 424243200 71288 1283457024 134512640 134550932 4289825840 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=30066/tid=30075] ppid=30065 vsize=414300 CPUtime=0.01
/proc/30066/task/30075/stat : 30075 (java) S 30065 30065 22717 34817 22717 4202560 1 0 0 0 0 1 0 0 15 0 10 0 72690100 424243200 71288 1283457024 134512640 134550932 4289825840 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=30066/tid=30076] ppid=30065 vsize=414300 CPUtime=0
/proc/30066/task/30076/stat : 30076 (java) S 30065 30065 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 25 0 10 0 72691397 424243200 71288 1283457024 134512640 134550932 4289825840 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 101.96
Current children cumulated vsize (KiB) 416868

[startup+162.313 s]
/proc/loadavg: 1.03 1.08 1.03 3/46 30082
/proc/meminfo: memFree=306424/1048576 swapFree=0/0
[pid=30065] ppid=30064 vsize=2568 CPUtime=0
/proc/30065/stat : 30065 (gj-user-solver-) S 30064 30065 22717 34817 22717 4202496 372 0 0 0 0 0 0 0 18 0 1 0 72690097 2629632 270 1283457024 134512640 135304128 4292486992 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/30065/statm: 642 270 229 194 0 29 0
[pid=30066] ppid=30065 vsize=414300 CPUtime=161.89
/proc/30066/stat : 30066 (java) S 30065 30065 22717 34817 22717 4202496 104211 0 1 0 16128 61 0 0 25 0 10 0 72690097 424243200 71289 1283457024 134512640 134550932 4289825840 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/30066/statm: 103575 71289 2921 10 0 97720 0
[pid=30066/tid=30068] ppid=30065 vsize=414300 CPUtime=149.94
/proc/30066/task/30068/stat : 30068 (java) R 30065 30065 22717 34817 22717 4202560 14217 0 1 0 14972 22 0 0 25 0 10 0 72690098 424243200 71289 1283457024 134512640 134550932 4289825840 18446744073709551615 4115657417 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=30066/tid=30069] ppid=30065 vsize=414300 CPUtime=11.75
/proc/30066/task/30069/stat : 30069 (java) S 30065 30065 22717 34817 22717 4202560 88477 0 0 0 1139 36 0 0 16 0 10 0 72690099 424243200 71289 1283457024 134512640 134550932 4289825840 18446744073709551615 4294960130 0 0 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=30066/tid=30070] ppid=30065 vsize=414300 CPUtime=0
/proc/30066/task/30070/stat : 30070 (java) S 30065 30065 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 18 0 10 0 72690099 424243200 71289 1283457024 134512640 134550932 4289825840 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=30066/tid=30071] ppid=30065 vsize=414300 CPUtime=0
/proc/30066/task/30071/stat : 30071 (java) S 30065 30065 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 10 0 72690099 424243200 71289 1283457024 134512640 134550932 4289825840 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=30066/tid=30072] ppid=30065 vsize=414300 CPUtime=0
/proc/30066/task/30072/stat : 30072 (java) S 30065 30065 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 72690100 424243200 71289 1283457024 134512640 134550932 4289825840 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=30066/tid=30073] ppid=30065 vsize=414300 CPUtime=0.16
/proc/30066/task/30073/stat : 30073 (java) S 30065 30065 22717 34817 22717 4202560 572 0 0 0 16 0 0 0 15 0 10 0 72690100 424243200 71289 1283457024 134512640 134550932 4289825840 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=30066/tid=30074] ppid=30065 vsize=414300 CPUtime=0
/proc/30066/task/30074/stat : 30074 (java) S 30065 30065 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 72690100 424243200 71289 1283457024 134512640 134550932 4289825840 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=30066/tid=30075] ppid=30065 vsize=414300 CPUtime=0.01
/proc/30066/task/30075/stat : 30075 (java) S 30065 30065 22717 34817 22717 4202560 1 0 0 0 0 1 0 0 15 0 10 0 72690100 424243200 71289 1283457024 134512640 134550932 4289825840 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=30066/tid=30076] ppid=30065 vsize=414300 CPUtime=0
/proc/30066/task/30076/stat : 30076 (java) S 30065 30065 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 25 0 10 0 72691397 424243200 71289 1283457024 134512640 134550932 4289825840 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 161.89
Current children cumulated vsize (KiB) 416868

[startup+222.308 s]
/proc/loadavg: 1.06 1.08 1.03 2/45 30087
/proc/meminfo: memFree=306316/1048576 swapFree=0/0
[pid=30065] ppid=30064 vsize=2568 CPUtime=0
/proc/30065/stat : 30065 (gj-user-solver-) S 30064 30065 22717 34817 22717 4202496 372 0 0 0 0 0 0 0 18 0 1 0 72690097 2629632 270 1283457024 134512640 135304128 4292486992 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/30065/statm: 642 270 229 194 0 29 0
[pid=30066] ppid=30065 vsize=414300 CPUtime=221.82
/proc/30066/stat : 30066 (java) S 30065 30065 22717 34817 22717 4202496 104211 0 1 0 22120 62 0 0 25 0 10 0 72690097 424243200 71289 1283457024 134512640 134550932 4289825840 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/30066/statm: 103575 71289 2921 10 0 97720 0
[pid=30066/tid=30068] ppid=30065 vsize=414300 CPUtime=209.57
/proc/30066/task/30068/stat : 30068 (java) R 30065 30065 22717 34817 22717 4202560 14217 0 1 0 20934 23 0 0 25 0 10 0 72690098 424243200 71289 1283457024 134512640 134550932 4289825840 18446744073709551615 4115697349 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=30066/tid=30069] ppid=30065 vsize=414300 CPUtime=12.06
/proc/30066/task/30069/stat : 30069 (java) S 30065 30065 22717 34817 22717 4202560 88477 0 0 0 1169 37 0 0 15 0 10 0 72690099 424243200 71289 1283457024 134512640 134550932 4289825840 18446744073709551615 4294960130 0 0 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=30066/tid=30070] ppid=30065 vsize=414300 CPUtime=0
/proc/30066/task/30070/stat : 30070 (java) S 30065 30065 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 18 0 10 0 72690099 424243200 71289 1283457024 134512640 134550932 4289825840 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=30066/tid=30071] ppid=30065 vsize=414300 CPUtime=0
/proc/30066/task/30071/stat : 30071 (java) S 30065 30065 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 10 0 72690099 424243200 71289 1283457024 134512640 134550932 4289825840 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=30066/tid=30072] ppid=30065 vsize=414300 CPUtime=0
/proc/30066/task/30072/stat : 30072 (java) S 30065 30065 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 72690100 424243200 71289 1283457024 134512640 134550932 4289825840 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=30066/tid=30073] ppid=30065 vsize=414300 CPUtime=0.16
/proc/30066/task/30073/stat : 30073 (java) S 30065 30065 22717 34817 22717 4202560 572 0 0 0 16 0 0 0 15 0 10 0 72690100 424243200 71289 1283457024 134512640 134550932 4289825840 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=30066/tid=30074] ppid=30065 vsize=414300 CPUtime=0
/proc/30066/task/30074/stat : 30074 (java) S 30065 30065 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 72690100 424243200 71289 1283457024 134512640 134550932 4289825840 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=30066/tid=30075] ppid=30065 vsize=414300 CPUtime=0.01
/proc/30066/task/30075/stat : 30075 (java) S 30065 30065 22717 34817 22717 4202560 1 0 0 0 0 1 0 0 15 0 10 0 72690100 424243200 71289 1283457024 134512640 134550932 4289825840 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=30066/tid=30076] ppid=30065 vsize=414300 CPUtime=0
/proc/30066/task/30076/stat : 30076 (java) S 30065 30065 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 25 0 10 0 72691397 424243200 71289 1283457024 134512640 134550932 4289825840 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 221.82
Current children cumulated vsize (KiB) 416868

[startup+282.312 s]
/proc/loadavg: 1.02 1.06 1.02 2/44 30087
/proc/meminfo: memFree=306324/1048576 swapFree=0/0
[pid=30065] ppid=30064 vsize=2568 CPUtime=0
/proc/30065/stat : 30065 (gj-user-solver-) S 30064 30065 22717 34817 22717 4202496 372 0 0 0 0 0 0 0 18 0 1 0 72690097 2629632 270 1283457024 134512640 135304128 4292486992 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/30065/statm: 642 270 229 194 0 29 0
[pid=30066] ppid=30065 vsize=414300 CPUtime=281.68
/proc/30066/stat : 30066 (java) S 30065 30065 22717 34817 22717 4202496 104211 0 1 0 28105 63 0 0 25 0 10 0 72690097 424243200 71289 1283457024 134512640 134550932 4289825840 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/30066/statm: 103575 71289 2921 10 0 97720 0
[pid=30066/tid=30068] ppid=30065 vsize=414300 CPUtime=269.14
/proc/30066/task/30068/stat : 30068 (java) R 30065 30065 22717 34817 22717 4202560 14217 0 1 0 26890 24 0 0 25 0 10 0 72690098 424243200 71289 1283457024 134512640 134550932 4289825840 18446744073709551615 4115657417 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=30066/tid=30069] ppid=30065 vsize=414300 CPUtime=12.35
/proc/30066/task/30069/stat : 30069 (java) S 30065 30065 22717 34817 22717 4202560 88477 0 0 0 1198 37 0 0 16 0 10 0 72690099 424243200 71289 1283457024 134512640 134550932 4289825840 18446744073709551615 4294960130 0 0 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=30066/tid=30070] ppid=30065 vsize=414300 CPUtime=0
/proc/30066/task/30070/stat : 30070 (java) S 30065 30065 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 18 0 10 0 72690099 424243200 71289 1283457024 134512640 134550932 4289825840 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=30066/tid=30071] ppid=30065 vsize=414300 CPUtime=0
/proc/30066/task/30071/stat : 30071 (java) S 30065 30065 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 10 0 72690099 424243200 71289 1283457024 134512640 134550932 4289825840 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=30066/tid=30072] ppid=30065 vsize=414300 CPUtime=0
/proc/30066/task/30072/stat : 30072 (java) S 30065 30065 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 72690100 424243200 71289 1283457024 134512640 134550932 4289825840 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=30066/tid=30073] ppid=30065 vsize=414300 CPUtime=0.16
/proc/30066/task/30073/stat : 30073 (java) S 30065 30065 22717 34817 22717 4202560 572 0 0 0 16 0 0 0 15 0 10 0 72690100 424243200 71289 1283457024 134512640 134550932 4289825840 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=30066/tid=30074] ppid=30065 vsize=414300 CPUtime=0
/proc/30066/task/30074/stat : 30074 (java) S 30065 30065 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 72690100 424243200 71289 1283457024 134512640 134550932 4289825840 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=30066/tid=30075] ppid=30065 vsize=414300 CPUtime=0.01
/proc/30066/task/30075/stat : 30075 (java) S 30065 30065 22717 34817 22717 4202560 1 0 0 0 0 1 0 0 15 0 10 0 72690100 424243200 71289 1283457024 134512640 134550932 4289825840 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=30066/tid=30076] ppid=30065 vsize=414300 CPUtime=0
/proc/30066/task/30076/stat : 30076 (java) S 30065 30065 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 25 0 10 0 72691397 424243200 71289 1283457024 134512640 134550932 4289825840 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 281.68
Current children cumulated vsize (KiB) 416868

Solver just ended. Dumping a history of the last processes samples

[startup+283.112 s]
/proc/loadavg: 1.02 1.06 1.02 2/44 30087
/proc/meminfo: memFree=306324/1048576 swapFree=0/0
[pid=30065] ppid=30064 vsize=2568 CPUtime=0
/proc/30065/stat : 30065 (gj-user-solver-) S 30064 30065 22717 34817 22717 4202496 372 0 0 0 0 0 0 0 18 0 1 0 72690097 2629632 270 1283457024 134512640 135304128 4292486992 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/30065/statm: 642 270 229 194 0 29 0
[pid=30066] ppid=30065 vsize=414300 CPUtime=282.48
/proc/30066/stat : 30066 (java) S 30065 30065 22717 34817 22717 4202496 104211 0 1 0 28185 63 0 0 25 0 10 0 72690097 424243200 71289 1283457024 134512640 134550932 4289825840 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/30066/statm: 103575 71289 2921 10 0 97720 0
[pid=30066/tid=30068] ppid=30065 vsize=414300 CPUtime=269.94
/proc/30066/task/30068/stat : 30068 (java) R 30065 30065 22717 34817 22717 4202560 14217 0 1 0 26970 24 0 0 25 0 10 0 72690098 424243200 71289 1283457024 134512640 134550932 4289825840 18446744073709551615 4115657417 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=30066/tid=30069] ppid=30065 vsize=414300 CPUtime=12.35
/proc/30066/task/30069/stat : 30069 (java) S 30065 30065 22717 34817 22717 4202560 88477 0 0 0 1198 37 0 0 15 0 10 0 72690099 424243200 71289 1283457024 134512640 134550932 4289825840 18446744073709551615 4294960130 0 0 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=30066/tid=30070] ppid=30065 vsize=414300 CPUtime=0
/proc/30066/task/30070/stat : 30070 (java) S 30065 30065 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 18 0 10 0 72690099 424243200 71289 1283457024 134512640 134550932 4289825840 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=30066/tid=30071] ppid=30065 vsize=414300 CPUtime=0
/proc/30066/task/30071/stat : 30071 (java) S 30065 30065 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 10 0 72690099 424243200 71289 1283457024 134512640 134550932 4289825840 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=30066/tid=30072] ppid=30065 vsize=414300 CPUtime=0
/proc/30066/task/30072/stat : 30072 (java) S 30065 30065 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 72690100 424243200 71289 1283457024 134512640 134550932 4289825840 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=30066/tid=30073] ppid=30065 vsize=414300 CPUtime=0.16
/proc/30066/task/30073/stat : 30073 (java) S 30065 30065 22717 34817 22717 4202560 572 0 0 0 16 0 0 0 15 0 10 0 72690100 424243200 71289 1283457024 134512640 134550932 4289825840 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=30066/tid=30074] ppid=30065 vsize=414300 CPUtime=0
/proc/30066/task/30074/stat : 30074 (java) S 30065 30065 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 72690100 424243200 71289 1283457024 134512640 134550932 4289825840 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=30066/tid=30075] ppid=30065 vsize=414300 CPUtime=0.01
/proc/30066/task/30075/stat : 30075 (java) S 30065 30065 22717 34817 22717 4202560 1 0 0 0 0 1 0 0 15 0 10 0 72690100 424243200 71289 1283457024 134512640 134550932 4289825840 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=30066/tid=30076] ppid=30065 vsize=414300 CPUtime=0
/proc/30066/task/30076/stat : 30076 (java) S 30065 30065 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 25 0 10 0 72691397 424243200 71289 1283457024 134512640 134550932 4289825840 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 282.48
Current children cumulated vsize (KiB) 416868

[startup+284.713 s]
/proc/loadavg: 1.02 1.06 1.02 2/44 30087
/proc/meminfo: memFree=306324/1048576 swapFree=0/0
[pid=30065] ppid=30064 vsize=2568 CPUtime=0
/proc/30065/stat : 30065 (gj-user-solver-) S 30064 30065 22717 34817 22717 4202496 372 0 0 0 0 0 0 0 18 0 1 0 72690097 2629632 270 1283457024 134512640 135304128 4292486992 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/30065/statm: 642 270 229 194 0 29 0
[pid=30066] ppid=30065 vsize=414300 CPUtime=284.07
/proc/30066/stat : 30066 (java) S 30065 30065 22717 34817 22717 4202496 104211 0 1 0 28344 63 0 0 25 0 10 0 72690097 424243200 71289 1283457024 134512640 134550932 4289825840 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/30066/statm: 103575 71289 2921 10 0 97720 0
[pid=30066/tid=30068] ppid=30065 vsize=414300 CPUtime=271.52
/proc/30066/task/30068/stat : 30068 (java) R 30065 30065 22717 34817 22717 4202560 14217 0 1 0 27128 24 0 0 25 0 10 0 72690098 424243200 71289 1283457024 134512640 134550932 4289825840 18446744073709551615 4115297882 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=30066/tid=30069] ppid=30065 vsize=414300 CPUtime=12.36
/proc/30066/task/30069/stat : 30069 (java) S 30065 30065 22717 34817 22717 4202560 88477 0 0 0 1199 37 0 0 15 0 10 0 72690099 424243200 71289 1283457024 134512640 134550932 4289825840 18446744073709551615 4294960130 0 0 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=30066/tid=30070] ppid=30065 vsize=414300 CPUtime=0
/proc/30066/task/30070/stat : 30070 (java) S 30065 30065 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 18 0 10 0 72690099 424243200 71289 1283457024 134512640 134550932 4289825840 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=30066/tid=30071] ppid=30065 vsize=414300 CPUtime=0
/proc/30066/task/30071/stat : 30071 (java) S 30065 30065 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 10 0 72690099 424243200 71289 1283457024 134512640 134550932 4289825840 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=30066/tid=30072] ppid=30065 vsize=414300 CPUtime=0
/proc/30066/task/30072/stat : 30072 (java) S 30065 30065 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 72690100 424243200 71289 1283457024 134512640 134550932 4289825840 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=30066/tid=30073] ppid=30065 vsize=414300 CPUtime=0.16
/proc/30066/task/30073/stat : 30073 (java) S 30065 30065 22717 34817 22717 4202560 572 0 0 0 16 0 0 0 15 0 10 0 72690100 424243200 71289 1283457024 134512640 134550932 4289825840 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=30066/tid=30074] ppid=30065 vsize=414300 CPUtime=0
/proc/30066/task/30074/stat : 30074 (java) S 30065 30065 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 72690100 424243200 71289 1283457024 134512640 134550932 4289825840 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=30066/tid=30075] ppid=30065 vsize=414300 CPUtime=0.01
/proc/30066/task/30075/stat : 30075 (java) S 30065 30065 22717 34817 22717 4202560 1 0 0 0 0 1 0 0 15 0 10 0 72690100 424243200 71289 1283457024 134512640 134550932 4289825840 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=30066/tid=30076] ppid=30065 vsize=414300 CPUtime=0
/proc/30066/task/30076/stat : 30076 (java) S 30065 30065 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 25 0 10 0 72691397 424243200 71289 1283457024 134512640 134550932 4289825840 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 284.07
Current children cumulated vsize (KiB) 416868

[startup+285.113 s]
/proc/loadavg: 1.02 1.06 1.02 2/44 30087
/proc/meminfo: memFree=306324/1048576 swapFree=0/0
[pid=30065] ppid=30064 vsize=2568 CPUtime=0
/proc/30065/stat : 30065 (gj-user-solver-) S 30064 30065 22717 34817 22717 4202496 372 0 0 0 0 0 0 0 18 0 1 0 72690097 2629632 270 1283457024 134512640 135304128 4292486992 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/30065/statm: 642 270 229 194 0 29 0
[pid=30066] ppid=30065 vsize=414300 CPUtime=284.47
/proc/30066/stat : 30066 (java) S 30065 30065 22717 34817 22717 4202496 104212 0 1 0 28384 63 0 0 25 0 9 0 72690097 424243200 71290 1283457024 134512640 134550932 4289825840 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/30066/statm: 103575 71290 2922 10 0 97720 0
[pid=30066/tid=30068] ppid=30065 vsize=414300 CPUtime=271.92
/proc/30066/task/30068/stat : 30068 (java) R 30065 30065 22717 34817 22717 4202560 14217 0 1 0 27168 24 0 0 25 0 9 0 72690098 424243200 71290 1283457024 134512640 134550932 4289825840 18446744073709551615 4115697385 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=30066/tid=30069] ppid=30065 vsize=414300 CPUtime=12.36
/proc/30066/task/30069/stat : 30069 (java) S 30065 30065 22717 34817 22717 4202560 88477 0 0 0 1199 37 0 0 15 0 9 0 72690099 424243200 71290 1283457024 134512640 134550932 4289825840 18446744073709551615 4294960130 0 0 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=30066/tid=30070] ppid=30065 vsize=414300 CPUtime=0
/proc/30066/task/30070/stat : 30070 (java) S 30065 30065 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 18 0 9 0 72690099 424243200 71290 1283457024 134512640 134550932 4289825840 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=30066/tid=30071] ppid=30065 vsize=414300 CPUtime=0
/proc/30066/task/30071/stat : 30071 (java) S 30065 30065 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 9 0 72690099 424243200 71290 1283457024 134512640 134550932 4289825840 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=30066/tid=30072] ppid=30065 vsize=414300 CPUtime=0
/proc/30066/task/30072/stat : 30072 (java) S 30065 30065 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 9 0 72690100 424243200 71290 1283457024 134512640 134550932 4289825840 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=30066/tid=30073] ppid=30065 vsize=414300 CPUtime=0.16
/proc/30066/task/30073/stat : 30073 (java) S 30065 30065 22717 34817 22717 4202560 572 0 0 0 16 0 0 0 15 0 9 0 72690100 424243200 71290 1283457024 134512640 134550932 4289825840 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=30066/tid=30074] ppid=30065 vsize=414300 CPUtime=0
/proc/30066/task/30074/stat : 30074 (java) S 30065 30065 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 9 0 72690100 424243200 71290 1283457024 134512640 134550932 4289825840 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=30066/tid=30075] ppid=30065 vsize=414300 CPUtime=0.01
/proc/30066/task/30075/stat : 30075 (java) S 30065 30065 22717 34817 22717 4202560 1 0 0 0 0 1 0 0 15 0 9 0 72690100 424243200 71290 1283457024 134512640 134550932 4289825840 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 284.47
Current children cumulated vsize (KiB) 416868

[startup+285.313 s]
/proc/loadavg: 1.02 1.06 1.02 2/44 30087
/proc/meminfo: memFree=306324/1048576 swapFree=0/0
[pid=30065] ppid=30064 vsize=2568 CPUtime=0
/proc/30065/stat : 30065 (gj-user-solver-) S 30064 30065 22717 34817 22717 4202496 372 0 0 0 0 0 0 0 18 0 1 0 72690097 2629632 270 1283457024 134512640 135304128 4292486992 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/30065/statm: 642 270 229 194 0 29 0
[pid=30066] ppid=30065 vsize=414300 CPUtime=284.67
/proc/30066/stat : 30066 (java) S 30065 30065 22717 34817 22717 4202496 104212 0 1 0 28404 63 0 0 25 0 9 0 72690097 424243200 71290 1283457024 134512640 134550932 4289825840 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/30066/statm: 103575 71290 2922 10 0 97720 0
[pid=30066/tid=30068] ppid=30065 vsize=414300 CPUtime=272.12
/proc/30066/task/30068/stat : 30068 (java) R 30065 30065 22717 34817 22717 4202560 14217 0 1 0 27188 24 0 0 25 0 9 0 72690098 424243200 71290 1283457024 134512640 134550932 4289825840 18446744073709551615 4115697336 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=30066/tid=30069] ppid=30065 vsize=414300 CPUtime=12.36
/proc/30066/task/30069/stat : 30069 (java) S 30065 30065 22717 34817 22717 4202560 88477 0 0 0 1199 37 0 0 15 0 9 0 72690099 424243200 71290 1283457024 134512640 134550932 4289825840 18446744073709551615 4294960130 0 0 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=30066/tid=30070] ppid=30065 vsize=414300 CPUtime=0
/proc/30066/task/30070/stat : 30070 (java) S 30065 30065 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 18 0 9 0 72690099 424243200 71290 1283457024 134512640 134550932 4289825840 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=30066/tid=30071] ppid=30065 vsize=414300 CPUtime=0
/proc/30066/task/30071/stat : 30071 (java) S 30065 30065 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 9 0 72690099 424243200 71290 1283457024 134512640 134550932 4289825840 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=30066/tid=30072] ppid=30065 vsize=414300 CPUtime=0
/proc/30066/task/30072/stat : 30072 (java) S 30065 30065 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 9 0 72690100 424243200 71290 1283457024 134512640 134550932 4289825840 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=30066/tid=30073] ppid=30065 vsize=414300 CPUtime=0.16
/proc/30066/task/30073/stat : 30073 (java) S 30065 30065 22717 34817 22717 4202560 572 0 0 0 16 0 0 0 15 0 9 0 72690100 424243200 71290 1283457024 134512640 134550932 4289825840 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=30066/tid=30074] ppid=30065 vsize=414300 CPUtime=0
/proc/30066/task/30074/stat : 30074 (java) S 30065 30065 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 9 0 72690100 424243200 71290 1283457024 134512640 134550932 4289825840 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=30066/tid=30075] ppid=30065 vsize=414300 CPUtime=0.01
/proc/30066/task/30075/stat : 30075 (java) S 30065 30065 22717 34817 22717 4202560 1 0 0 0 0 1 0 0 15 0 9 0 72690100 424243200 71290 1283457024 134512640 134550932 4289825840 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 284.67
Current children cumulated vsize (KiB) 416868

[startup+285.411 s]
/proc/loadavg: 1.02 1.06 1.02 2/44 30087
/proc/meminfo: memFree=306324/1048576 swapFree=0/0
[pid=30065] ppid=30064 vsize=2568 CPUtime=0
/proc/30065/stat : 30065 (gj-user-solver-) S 30064 30065 22717 34817 22717 4202496 372 0 0 0 0 0 0 0 18 0 1 0 72690097 2629632 270 1283457024 134512640 135304128 4292486992 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/30065/statm: 642 270 229 194 0 29 0
[pid=30066] ppid=30065 vsize=414300 CPUtime=284.76
/proc/30066/stat : 30066 (java) S 30065 30065 22717 34817 22717 4202496 104212 0 1 0 28413 63 0 0 25 0 9 0 72690097 424243200 71290 1283457024 134512640 134550932 4289825840 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/30066/statm: 103575 71290 2922 10 0 97720 0
[pid=30066/tid=30068] ppid=30065 vsize=414300 CPUtime=272.21
/proc/30066/task/30068/stat : 30068 (java) S 30065 30065 22717 34817 22717 4202560 14217 0 1 0 27197 24 0 0 25 0 9 0 72690098 424243200 71290 1283457024 134512640 134550932 4289825840 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=30066/tid=30069] ppid=30065 vsize=414300 CPUtime=12.36
/proc/30066/task/30069/stat : 30069 (java) S 30065 30065 22717 34817 22717 4202560 88477 0 0 0 1199 37 0 0 15 0 9 0 72690099 424243200 71290 1283457024 134512640 134550932 4289825840 18446744073709551615 4294960130 0 0 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=30066/tid=30070] ppid=30065 vsize=414300 CPUtime=0
/proc/30066/task/30070/stat : 30070 (java) S 30065 30065 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 18 0 9 0 72690099 424243200 71290 1283457024 134512640 134550932 4289825840 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=30066/tid=30071] ppid=30065 vsize=414300 CPUtime=0
/proc/30066/task/30071/stat : 30071 (java) S 30065 30065 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 9 0 72690099 424243200 71290 1283457024 134512640 134550932 4289825840 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=30066/tid=30072] ppid=30065 vsize=414300 CPUtime=0
/proc/30066/task/30072/stat : 30072 (java) S 30065 30065 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 9 0 72690100 424243200 71290 1283457024 134512640 134550932 4289825840 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=30066/tid=30073] ppid=30065 vsize=414300 CPUtime=0.16
/proc/30066/task/30073/stat : 30073 (java) S 30065 30065 22717 34817 22717 4202560 572 0 0 0 16 0 0 0 15 0 9 0 72690100 424243200 71290 1283457024 134512640 134550932 4289825840 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=30066/tid=30074] ppid=30065 vsize=414300 CPUtime=0
/proc/30066/task/30074/stat : 30074 (java) S 30065 30065 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 9 0 72690100 424243200 71290 1283457024 134512640 134550932 4289825840 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=30066/tid=30075] ppid=30065 vsize=414300 CPUtime=0.01
/proc/30066/task/30075/stat : 30075 (java) S 30065 30065 22717 34817 22717 4202560 1 0 0 0 0 1 0 0 15 0 9 0 72690100 424243200 71290 1283457024 134512640 134550932 4289825840 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 284.76
Current children cumulated vsize (KiB) 416868

Child status: 0
Real time (s): 285.435
CPU time (s): 284.786
CPU user time (s): 284.138
CPU system time (s): 0.64804
CPU usage (%): 99.7724
Max. virtual memory (cumulated for all children) (KiB): 441628

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 284.138
system time used= 0.64804
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 104600
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6760
involuntary context switches= 9852

runsolver used 0 second user time and 0 second system time

The end