runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
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: BIN/runsolver --timestamp -w /tmp/evaluation-result-3688803-1337888081/watcher-3688803-1337888081 -o /tmp/evaluation-result-3688803-1337888081/solver-3688803-1337888081 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar HOME/instance-3688803-1337888081.opb
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.95 2.06 2.02 3/194 25071
/proc/meminfo: memFree=28519232/32873648 swapFree=7372/7372
[pid=25071] ppid=25069 vsize=2500 CPUtime=0 cores=0,2,4,6
/proc/25071/stat : 25071 (java) D 25069 25071 23489 0 -1 4202496 93 0 0 0 0 0 0 0 20 0 1 0 254934114 2560000 46 33554432000 1073741824 1073778376 140734355420688 140734355417816 217401355559 0 0 4096 0 18446744072100588836 0 0 17 0 0 0 0 0 0
/proc/25071/statm: 625 46 37 9 0 29 0
[startup+0.0852349 s]
/proc/loadavg: 1.95 2.06 2.02 3/194 25071
/proc/meminfo: memFree=28519232/32873648 swapFree=7372/7372
[pid=25071] ppid=25069 vsize=9558412 CPUtime=0.05 cores=0,2,4,6
/proc/25071/stat : 25071 (java) S 25069 25071 23489 0 -1 4202496 3326 0 1 0 4 1 0 0 20 0 18 0 254934114 9787813888 4534 33554432000 1073741824 1073778376 140736951996336 140736951987472 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/25071/statm: 2389603 4535 1771 9 0 2380296 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 9558412
[startup+0.100209 s]
/proc/loadavg: 1.95 2.06 2.02 3/194 25071
/proc/meminfo: memFree=28519232/32873648 swapFree=7372/7372
[pid=25071] ppid=25069 vsize=9558412 CPUtime=0.08 cores=0,2,4,6
/proc/25071/stat : 25071 (java) S 25069 25071 23489 0 -1 4202496 4220 0 1 0 7 1 0 0 20 0 18 0 254934114 9787813888 5414 33554432000 1073741824 1073778376 140736951996336 140736951987472 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/25071/statm: 2389603 5414 2099 9 0 2380296 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 9558412
[startup+0.30017 s]
/proc/loadavg: 1.95 2.06 2.02 3/194 25071
/proc/meminfo: memFree=28519232/32873648 swapFree=7372/7372
[pid=25071] ppid=25069 vsize=9558412 CPUtime=0.44 cores=0,2,4,6
/proc/25071/stat : 25071 (java) S 25069 25071 23489 0 -1 4202496 5997 0 1 0 43 1 0 0 20 0 18 0 254934114 9787813888 8855 33554432000 1073741824 1073778376 140736951996336 140736951987472 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/25071/statm: 2389603 8855 2227 9 0 2380296 0
Current children cumulated CPU time (s) 0.44
Current children cumulated vsize (KiB) 9558412
[startup+0.700177 s]
/proc/loadavg: 1.95 2.06 2.02 3/194 25071
/proc/meminfo: memFree=28519232/32873648 swapFree=7372/7372
[pid=25071] ppid=25069 vsize=9624976 CPUtime=1.52 cores=0,2,4,6
/proc/25071/stat : 25071 (java) S 25069 25071 23489 0 -1 4202496 15221 0 1 0 149 3 0 0 20 0 19 0 254934114 9855975424 16192 33554432000 1073741824 1073778376 140736951996336 140736951987472 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/25071/statm: 2406244 16192 2250 9 0 2396937 0
Current children cumulated CPU time (s) 1.52
Current children cumulated vsize (KiB) 9624976
[startup+1.50071 s]
/proc/loadavg: 1.95 2.06 2.02 4/213 25090
/proc/meminfo: memFree=28438176/32873648 swapFree=7372/7372
[pid=25071] ppid=25069 vsize=9624976 CPUtime=2.62 cores=0,2,4,6
/proc/25071/stat : 25071 (java) S 25069 25071 23489 0 -1 4202496 17413 0 1 0 257 5 0 0 20 0 19 0 254934114 9855975424 24469 33554432000 1073741824 1073778376 140736951996336 140736951987472 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/25071/statm: 2406244 24469 2282 9 0 2396937 0
[pid=25071/tid=25073] ppid=25069 vsize=9624976 CPUtime=1.41 cores=0,2,4,6
/proc/25071/task/25073/stat : 25073 (java) R 25069 25071 23489 0 -1 4202560 2496 0 1 0 139 2 0 0 20 0 19 0 254934115 9855975424 24469 33554432000 1073741824 1073778376 140736951996336 139727676772560 139727517528656 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=25071/tid=25074] ppid=25069 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25071/task/25074/stat : 25074 (java) S 25069 25071 23489 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 254934116 9855975424 24469 33554432000 1073741824 1073778376 140736951996336 139727638263976 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25071/tid=25075] ppid=25069 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25071/task/25075/stat : 25075 (java) S 25069 25071 23489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254934116 9855975424 24469 33554432000 1073741824 1073778376 140736951996336 139727637211432 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25071/tid=25076] ppid=25069 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25071/task/25076/stat : 25076 (java) S 25069 25071 23489 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 254934116 9855975424 24469 33554432000 1073741824 1073778376 140736951996336 139727636158888 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25071/tid=25077] ppid=25069 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25071/task/25077/stat : 25077 (java) S 25069 25071 23489 0 -1 4202560 15 0 0 0 0 0 0 0 20 0 19 0 254934116 9855975424 24469 33554432000 1073741824 1073778376 140736951996336 139727516723752 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25071/tid=25078] ppid=25069 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25071/task/25078/stat : 25078 (java) S 25069 25071 23489 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 254934116 9855975424 24469 33554432000 1073741824 1073778376 140736951996336 139727515671208 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25071/tid=25079] ppid=25069 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25071/task/25079/stat : 25079 (java) S 25069 25071 23489 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 254934116 9855975424 24469 33554432000 1073741824 1073778376 140736951996336 139727514618664 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25071/tid=25080] ppid=25069 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25071/task/25080/stat : 25080 (java) S 25069 25071 23489 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 254934116 9855975424 24469 33554432000 1073741824 1073778376 140736951996336 139727513566120 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25071/tid=25081] ppid=25069 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25071/task/25081/stat : 25081 (java) S 25069 25071 23489 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 254934116 9855975424 24469 33554432000 1073741824 1073778376 140736951996336 139727512513576 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25071/tid=25082] ppid=25069 vsize=9624976 CPUtime=0.02 cores=0,2,4,6
/proc/25071/task/25082/stat : 25082 (java) S 25069 25071 23489 0 -1 4202560 34 0 0 0 2 0 0 0 20 0 19 0 254934117 9855975424 24469 33554432000 1073741824 1073778376 140736951996336 139727030184040 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25071/tid=25083] ppid=25069 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25071/task/25083/stat : 25083 (java) S 25069 25071 23489 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254934118 9855975424 24469 33554432000 1073741824 1073778376 140736951996336 139727029130360 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25071/tid=25084] ppid=25069 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25071/task/25084/stat : 25084 (java) S 25069 25071 23489 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254934118 9855975424 24469 33554432000 1073741824 1073778376 140736951996336 139727028077704 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25071/tid=25085] ppid=25069 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25071/task/25085/stat : 25085 (java) S 25069 25071 23489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254934120 9855975424 24469 33554432000 1073741824 1073778376 140736951996336 139727027026448 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25071/tid=25086] ppid=25069 vsize=9624976 CPUtime=0.43 cores=0,2,4,6
/proc/25071/task/25086/stat : 25086 (java) S 25069 25071 23489 0 -1 4202560 6788 0 0 0 42 1 0 0 20 0 19 0 254934120 9855975424 24469 33554432000 1073741824 1073778376 140736951996336 139727025973816 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25071/tid=25087] ppid=25069 vsize=9624976 CPUtime=0.65 cores=0,2,4,6
/proc/25071/task/25087/stat : 25087 (java) R 25069 25071 23489 0 -1 4202560 6855 0 0 0 65 0 0 0 20 0 19 0 254934120 9855975424 24469 33554432000 1073741824 1073778376 140736951996336 139727024921272 139727683585650 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=25071/tid=25088] ppid=25069 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25071/task/25088/stat : 25088 (java) S 25069 25071 23489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254934120 9855975424 24469 33554432000 1073741824 1073778376 140736951996336 139727023868920 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25071/tid=25089] ppid=25069 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25071/task/25089/stat : 25089 (java) S 25069 25071 23489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254934120 9855975424 24469 33554432000 1073741824 1073778376 140736951996336 139727022816584 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25071/tid=25090] ppid=25069 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25071/task/25090/stat : 25090 (java) S 25069 25071 23489 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254934151 9855975424 24469 33554432000 1073741824 1073778376 140736951996336 139727021761320 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 2.62
Current children cumulated vsize (KiB) 9624976
[startup+3.10064 s]
/proc/loadavg: 1.95 2.06 2.02 3/213 25090
/proc/meminfo: memFree=28422476/32873648 swapFree=7372/7372
[pid=25071] ppid=25069 vsize=9624976 CPUtime=4.42 cores=0,2,4,6
/proc/25071/stat : 25071 (java) S 25069 25071 23489 0 -1 4202496 19478 0 1 0 435 7 0 0 20 0 19 0 254934114 9855975424 27552 33554432000 1073741824 1073778376 140736951996336 140736951987472 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/25071/statm: 2406244 27552 2282 9 0 2396937 0
[pid=25071/tid=25073] ppid=25069 vsize=9624976 CPUtime=2.96 cores=0,2,4,6
/proc/25071/task/25073/stat : 25073 (java) R 25069 25071 23489 0 -1 4202560 2496 0 1 0 294 2 0 0 20 0 19 0 254934115 9855975424 27552 33554432000 1073741824 1073778376 140736951996336 139727676772744 139727517409028 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=25071/tid=25074] ppid=25069 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25071/task/25074/stat : 25074 (java) S 25069 25071 23489 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 254934116 9855975424 27552 33554432000 1073741824 1073778376 140736951996336 139727638263976 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25071/tid=25075] ppid=25069 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25071/task/25075/stat : 25075 (java) S 25069 25071 23489 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 254934116 9855975424 27552 33554432000 1073741824 1073778376 140736951996336 139727637211432 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25071/tid=25076] ppid=25069 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25071/task/25076/stat : 25076 (java) S 25069 25071 23489 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 254934116 9855975424 27552 33554432000 1073741824 1073778376 140736951996336 139727636158888 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25071/tid=25077] ppid=25069 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25071/task/25077/stat : 25077 (java) S 25069 25071 23489 0 -1 4202560 15 0 0 0 0 0 0 0 20 0 19 0 254934116 9855975424 27552 33554432000 1073741824 1073778376 140736951996336 139727516723752 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25071/tid=25078] ppid=25069 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25071/task/25078/stat : 25078 (java) S 25069 25071 23489 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 254934116 9855975424 27552 33554432000 1073741824 1073778376 140736951996336 139727515671208 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25071/tid=25079] ppid=25069 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25071/task/25079/stat : 25079 (java) S 25069 25071 23489 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 254934116 9855975424 27552 33554432000 1073741824 1073778376 140736951996336 139727514618664 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25071/tid=25080] ppid=25069 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25071/task/25080/stat : 25080 (java) S 25069 25071 23489 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 254934116 9855975424 27552 33554432000 1073741824 1073778376 140736951996336 139727513566120 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25071/tid=25081] ppid=25069 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25071/task/25081/stat : 25081 (java) S 25069 25071 23489 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254934116 9855975424 27552 33554432000 1073741824 1073778376 140736951996336 139727512513576 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25071/tid=25082] ppid=25069 vsize=9624976 CPUtime=0.06 cores=0,2,4,6
/proc/25071/task/25082/stat : 25082 (java) S 25069 25071 23489 0 -1 4202560 37 0 0 0 6 0 0 0 20 0 19 0 254934117 9855975424 27552 33554432000 1073741824 1073778376 140736951996336 139727030184040 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25071/tid=25083] ppid=25069 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25071/task/25083/stat : 25083 (java) S 25069 25071 23489 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254934118 9855975424 27552 33554432000 1073741824 1073778376 140736951996336 139727029130360 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25071/tid=25084] ppid=25069 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25071/task/25084/stat : 25084 (java) S 25069 25071 23489 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254934118 9855975424 27552 33554432000 1073741824 1073778376 140736951996336 139727028077704 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25071/tid=25085] ppid=25069 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25071/task/25085/stat : 25085 (java) S 25069 25071 23489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254934120 9855975424 27552 33554432000 1073741824 1073778376 140736951996336 139727027026448 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25071/tid=25086] ppid=25069 vsize=9624976 CPUtime=0.44 cores=0,2,4,6
/proc/25071/task/25086/stat : 25086 (java) S 25069 25071 23489 0 -1 4202560 6789 0 0 0 43 1 0 0 20 0 19 0 254934120 9855975424 27552 33554432000 1073741824 1073778376 140736951996336 139727025973816 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25071/tid=25087] ppid=25069 vsize=9624976 CPUtime=0.82 cores=0,2,4,6
/proc/25071/task/25087/stat : 25087 (java) S 25069 25071 23489 0 -1 4202560 8893 0 0 0 80 2 0 0 20 0 19 0 254934120 9855975424 27552 33554432000 1073741824 1073778376 140736951996336 139727024921272 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25071/tid=25088] ppid=25069 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25071/task/25088/stat : 25088 (java) S 25069 25071 23489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254934120 9855975424 27552 33554432000 1073741824 1073778376 140736951996336 139727023868920 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25071/tid=25089] ppid=25069 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25071/task/25089/stat : 25089 (java) S 25069 25071 23489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254934120 9855975424 27552 33554432000 1073741824 1073778376 140736951996336 139727022816584 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25071/tid=25090] ppid=25069 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25071/task/25090/stat : 25090 (java) S 25069 25071 23489 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254934151 9855975424 27552 33554432000 1073741824 1073778376 140736951996336 139727021761320 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 4.42
Current children cumulated vsize (KiB) 9624976
[startup+6.3007 s]
/proc/loadavg: 1.96 2.06 2.02 3/213 25090
/proc/meminfo: memFree=28411204/32873648 swapFree=7372/7372
[pid=25071] ppid=25069 vsize=9624976 CPUtime=7.67 cores=0,2,4,6
/proc/25071/stat : 25071 (java) S 25069 25071 23489 0 -1 4202496 19527 0 1 0 759 8 0 0 20 0 19 0 254934114 9855975424 31331 33554432000 1073741824 1073778376 140736951996336 140736951987472 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/25071/statm: 2406244 31331 2282 9 0 2396937 0
[pid=25071/tid=25073] ppid=25069 vsize=9624976 CPUtime=6.03 cores=0,2,4,6
/proc/25071/task/25073/stat : 25073 (java) R 25069 25071 23489 0 -1 4202560 2502 0 1 0 601 2 0 0 20 0 19 0 254934115 9855975424 31331 33554432000 1073741824 1073778376 140736951996336 139727676772584 139727517381111 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=25071/tid=25074] ppid=25069 vsize=9624976 CPUtime=0.01 cores=0,2,4,6
/proc/25071/task/25074/stat : 25074 (java) S 25069 25071 23489 0 -1 4202560 11 0 0 0 1 0 0 0 20 0 19 0 254934116 9855975424 31331 33554432000 1073741824 1073778376 140736951996336 139727638263976 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25071/tid=25075] ppid=25069 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25071/task/25075/stat : 25075 (java) S 25069 25071 23489 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 254934116 9855975424 31331 33554432000 1073741824 1073778376 140736951996336 139727637211432 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25071/tid=25076] ppid=25069 vsize=9624976 CPUtime=0.01 cores=0,2,4,6
/proc/25071/task/25076/stat : 25076 (java) S 25069 25071 23489 0 -1 4202560 14 0 0 0 1 0 0 0 20 0 19 0 254934116 9855975424 31331 33554432000 1073741824 1073778376 140736951996336 139727636158888 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25071/tid=25077] ppid=25069 vsize=9624976 CPUtime=0.02 cores=0,2,4,6
/proc/25071/task/25077/stat : 25077 (java) S 25069 25071 23489 0 -1 4202560 23 0 0 0 2 0 0 0 20 0 19 0 254934116 9855975424 31331 33554432000 1073741824 1073778376 140736951996336 139727516723752 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25071/tid=25078] ppid=25069 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25071/task/25078/stat : 25078 (java) S 25069 25071 23489 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 254934116 9855975424 31331 33554432000 1073741824 1073778376 140736951996336 139727515671208 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25071/tid=25079] ppid=25069 vsize=9624976 CPUtime=0.01 cores=0,2,4,6
/proc/25071/task/25079/stat : 25079 (java) S 25069 25071 23489 0 -1 4202560 15 0 0 0 1 0 0 0 20 0 19 0 254934116 9855975424 31331 33554432000 1073741824 1073778376 140736951996336 139727514618664 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25071/tid=25080] ppid=25069 vsize=9624976 CPUtime=0.01 cores=0,2,4,6
/proc/25071/task/25080/stat : 25080 (java) S 25069 25071 23489 0 -1 4202560 25 0 0 0 1 0 0 0 20 0 19 0 254934116 9855975424 31331 33554432000 1073741824 1073778376 140736951996336 139727513566120 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25071/tid=25081] ppid=25069 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25071/task/25081/stat : 25081 (java) S 25069 25071 23489 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 254934116 9855975424 31331 33554432000 1073741824 1073778376 140736951996336 139727512513576 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25071/tid=25082] ppid=25069 vsize=9624976 CPUtime=0.16 cores=0,2,4,6
/proc/25071/task/25082/stat : 25082 (java) S 25069 25071 23489 0 -1 4202560 41 0 0 0 16 0 0 0 20 0 19 0 254934117 9855975424 31331 33554432000 1073741824 1073778376 140736951996336 139727030184040 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25071/tid=25083] ppid=25069 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25071/task/25083/stat : 25083 (java) S 25069 25071 23489 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254934118 9855975424 31331 33554432000 1073741824 1073778376 140736951996336 139727029130360 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25071/tid=25084] ppid=25069 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25071/task/25084/stat : 25084 (java) S 25069 25071 23489 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254934118 9855975424 31331 33554432000 1073741824 1073778376 140736951996336 139727028077704 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25071/tid=25085] ppid=25069 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25071/task/25085/stat : 25085 (java) S 25069 25071 23489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254934120 9855975424 31331 33554432000 1073741824 1073778376 140736951996336 139727027026448 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25071/tid=25086] ppid=25069 vsize=9624976 CPUtime=0.44 cores=0,2,4,6
/proc/25071/task/25086/stat : 25086 (java) S 25069 25071 23489 0 -1 4202560 6789 0 0 0 43 1 0 0 20 0 19 0 254934120 9855975424 31331 33554432000 1073741824 1073778376 140736951996336 139727025973816 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25071/tid=25087] ppid=25069 vsize=9624976 CPUtime=0.82 cores=0,2,4,6
/proc/25071/task/25087/stat : 25087 (java) S 25069 25071 23489 0 -1 4202560 8893 0 0 0 80 2 0 0 20 0 19 0 254934120 9855975424 31331 33554432000 1073741824 1073778376 140736951996336 139727024921272 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25071/tid=25088] ppid=25069 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25071/task/25088/stat : 25088 (java) S 25069 25071 23489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254934120 9855975424 31331 33554432000 1073741824 1073778376 140736951996336 139727023868920 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25071/tid=25089] ppid=25069 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25071/task/25089/stat : 25089 (java) S 25069 25071 23489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254934120 9855975424 31331 33554432000 1073741824 1073778376 140736951996336 139727022816584 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25071/tid=25090] ppid=25069 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25071/task/25090/stat : 25090 (java) S 25069 25071 23489 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254934151 9855975424 31331 33554432000 1073741824 1073778376 140736951996336 139727021761320 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 7.67
Current children cumulated vsize (KiB) 9624976
[startup+12.7007 s]
################
# More data... #
################
[pid=25071/tid=25079] ppid=25069 vsize=9624976 CPUtime=2.68 cores=0,2,4,6
/proc/25071/task/25079/stat : 25079 (java) S 25069 25071 23489 0 -1 4202560 2149 0 0 0 258 10 0 0 20 0 19 0 254934116 9855975424 147136 33554432000 1073741824 1073778376 140736951996336 139727514618664 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25071/tid=25080] ppid=25069 vsize=9624976 CPUtime=2.75 cores=0,2,4,6
/proc/25071/task/25080/stat : 25080 (java) S 25069 25071 23489 0 -1 4202560 1808 0 0 0 267 8 0 0 20 0 19 0 254934116 9855975424 147136 33554432000 1073741824 1073778376 140736951996336 139727513566120 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25071/tid=25081] ppid=25069 vsize=9624976 CPUtime=2.72 cores=0,2,4,6
/proc/25071/task/25081/stat : 25081 (java) S 25069 25071 23489 0 -1 4202560 1044 0 0 0 262 10 0 0 20 0 19 0 254934116 9855975424 147136 33554432000 1073741824 1073778376 140736951996336 139727512513576 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25071/tid=25082] ppid=25069 vsize=9624976 CPUtime=10.55 cores=0,2,4,6
/proc/25071/task/25082/stat : 25082 (java) S 25069 25071 23489 0 -1 4202560 1267 0 0 0 1049 6 0 0 20 0 19 0 254934117 9855975424 147136 33554432000 1073741824 1073778376 140736951996336 139727030184040 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25071/tid=25083] ppid=25069 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25071/task/25083/stat : 25083 (java) S 25069 25071 23489 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254934118 9855975424 147136 33554432000 1073741824 1073778376 140736951996336 139727029130360 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25071/tid=25084] ppid=25069 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25071/task/25084/stat : 25084 (java) S 25069 25071 23489 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254934118 9855975424 147136 33554432000 1073741824 1073778376 140736951996336 139727028077704 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25071/tid=25085] ppid=25069 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25071/task/25085/stat : 25085 (java) S 25069 25071 23489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254934120 9855975424 147136 33554432000 1073741824 1073778376 140736951996336 139727027026448 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25071/tid=25086] ppid=25069 vsize=9624976 CPUtime=0.44 cores=0,2,4,6
/proc/25071/task/25086/stat : 25086 (java) S 25069 25071 23489 0 -1 4202560 6789 0 0 0 43 1 0 0 20 0 19 0 254934120 9855975424 147136 33554432000 1073741824 1073778376 140736951996336 139727025973816 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25071/tid=25087] ppid=25069 vsize=9624976 CPUtime=0.87 cores=0,2,4,6
/proc/25071/task/25087/stat : 25087 (java) S 25069 25071 23489 0 -1 4202560 8912 0 0 0 85 2 0 0 20 0 19 0 254934120 9855975424 147136 33554432000 1073741824 1073778376 140736951996336 139727024921272 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25071/tid=25088] ppid=25069 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25071/task/25088/stat : 25088 (java) S 25069 25071 23489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254934120 9855975424 147136 33554432000 1073741824 1073778376 140736951996336 139727023868920 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25071/tid=25089] ppid=25069 vsize=9624976 CPUtime=0.49 cores=0,2,4,6
/proc/25071/task/25089/stat : 25089 (java) S 25069 25071 23489 0 -1 4202560 93 0 0 0 25 24 0 0 20 0 19 0 254934120 9855975424 147136 33554432000 1073741824 1073778376 140736951996336 139727022816584 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25071/tid=25090] ppid=25069 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25071/task/25090/stat : 25090 (java) S 25069 25071 23489 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254934151 9855975424 147136 33554432000 1073741824 1073778376 140736951996336 139727021761320 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1619.2
Current children cumulated vsize (KiB) 9624976
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/213 25188
/proc/meminfo: memFree=27184984/32873648 swapFree=7372/7372
[pid=25071] ppid=25069 vsize=9624976 CPUtime=1681.03 cores=0,2,4,6
/proc/25071/stat : 25071 (java) S 25069 25071 23489 0 -1 4202496 36239 0 1 0 167984 119 0 0 20 0 19 0 254934114 9855975424 159849 33554432000 1073741824 1073778376 140736951996336 140736951987472 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/25071/statm: 2406244 159849 2283 9 0 2396937 0
[pid=25071/tid=25073] ppid=25069 vsize=9624976 CPUtime=1644.61 cores=0,2,4,6
/proc/25071/task/25073/stat : 25073 (java) R 25069 25071 23489 0 -1 4202560 2862 0 1 0 164432 29 0 0 20 0 19 0 254934115 9855975424 159849 33554432000 1073741824 1073778376 140736951996336 139727676771784 139727517483980 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=25071/tid=25074] ppid=25069 vsize=9624976 CPUtime=2.84 cores=0,2,4,6
/proc/25071/task/25074/stat : 25074 (java) S 25069 25071 23489 0 -1 4202560 1999 0 0 0 272 12 0 0 20 0 19 0 254934116 9855975424 159849 33554432000 1073741824 1073778376 140736951996336 139727638263976 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25071/tid=25075] ppid=25069 vsize=9624976 CPUtime=2.94 cores=0,2,4,6
/proc/25071/task/25075/stat : 25075 (java) S 25069 25071 23489 0 -1 4202560 1628 0 0 0 284 10 0 0 20 0 19 0 254934116 9855975424 159849 33554432000 1073741824 1073778376 140736951996336 139727637211432 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25071/tid=25076] ppid=25069 vsize=9624976 CPUtime=2.92 cores=0,2,4,6
/proc/25071/task/25076/stat : 25076 (java) S 25069 25071 23489 0 -1 4202560 2385 0 0 0 283 9 0 0 20 0 19 0 254934116 9855975424 159849 33554432000 1073741824 1073778376 140736951996336 139727636158888 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25071/tid=25077] ppid=25069 vsize=9624976 CPUtime=3.06 cores=0,2,4,6
/proc/25071/task/25077/stat : 25077 (java) S 25069 25071 23489 0 -1 4202560 2085 0 0 0 296 10 0 0 20 0 19 0 254934116 9855975424 159849 33554432000 1073741824 1073778376 140736951996336 139727516723752 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25071/tid=25078] ppid=25069 vsize=9624976 CPUtime=2.89 cores=0,2,4,6
/proc/25071/task/25078/stat : 25078 (java) S 25069 25071 23489 0 -1 4202560 1097 0 0 0 278 11 0 0 20 0 19 0 254934116 9855975424 159849 33554432000 1073741824 1073778376 140736951996336 139727515671208 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25071/tid=25079] ppid=25069 vsize=9624976 CPUtime=2.98 cores=0,2,4,6
/proc/25071/task/25079/stat : 25079 (java) S 25069 25071 23489 0 -1 4202560 2531 0 0 0 287 11 0 0 20 0 19 0 254934116 9855975424 159849 33554432000 1073741824 1073778376 140736951996336 139727514618664 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25071/tid=25080] ppid=25069 vsize=9624976 CPUtime=3.05 cores=0,2,4,6
/proc/25071/task/25080/stat : 25080 (java) S 25069 25071 23489 0 -1 4202560 2278 0 0 0 296 9 0 0 20 0 19 0 254934116 9855975424 159849 33554432000 1073741824 1073778376 140736951996336 139727513566120 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25071/tid=25081] ppid=25069 vsize=9624976 CPUtime=3.05 cores=0,2,4,6
/proc/25071/task/25081/stat : 25081 (java) S 25069 25071 23489 0 -1 4202560 1086 0 0 0 294 11 0 0 20 0 19 0 254934116 9855975424 159849 33554432000 1073741824 1073778376 140736951996336 139727512513576 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25071/tid=25082] ppid=25069 vsize=9624976 CPUtime=10.98 cores=0,2,4,6
/proc/25071/task/25082/stat : 25082 (java) S 25069 25071 23489 0 -1 4202560 1310 0 0 0 1092 6 0 0 20 0 19 0 254934117 9855975424 159849 33554432000 1073741824 1073778376 140736951996336 139727030184040 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25071/tid=25083] ppid=25069 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25071/task/25083/stat : 25083 (java) S 25069 25071 23489 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254934118 9855975424 159849 33554432000 1073741824 1073778376 140736951996336 139727029130360 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25071/tid=25084] ppid=25069 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25071/task/25084/stat : 25084 (java) S 25069 25071 23489 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254934118 9855975424 159849 33554432000 1073741824 1073778376 140736951996336 139727028077704 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25071/tid=25085] ppid=25069 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25071/task/25085/stat : 25085 (java) S 25069 25071 23489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254934120 9855975424 159849 33554432000 1073741824 1073778376 140736951996336 139727027026448 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25071/tid=25086] ppid=25069 vsize=9624976 CPUtime=0.44 cores=0,2,4,6
/proc/25071/task/25086/stat : 25086 (java) S 25069 25071 23489 0 -1 4202560 6789 0 0 0 43 1 0 0 20 0 19 0 254934120 9855975424 159849 33554432000 1073741824 1073778376 140736951996336 139727025973816 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25071/tid=25087] ppid=25069 vsize=9624976 CPUtime=0.87 cores=0,2,4,6
/proc/25071/task/25087/stat : 25087 (java) S 25069 25071 23489 0 -1 4202560 8912 0 0 0 85 2 0 0 20 0 19 0 254934120 9855975424 159849 33554432000 1073741824 1073778376 140736951996336 139727024921272 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25071/tid=25088] ppid=25069 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25071/task/25088/stat : 25088 (java) S 25069 25071 23489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254934120 9855975424 159849 33554432000 1073741824 1073778376 140736951996336 139727023868920 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25071/tid=25089] ppid=25069 vsize=9624976 CPUtime=0.51 cores=0,2,4,6
/proc/25071/task/25089/stat : 25089 (java) S 25069 25071 23489 0 -1 4202560 97 0 0 0 26 25 0 0 20 0 19 0 254934120 9855975424 159849 33554432000 1073741824 1073778376 140736951996336 139727022816584 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25071/tid=25090] ppid=25069 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25071/task/25090/stat : 25090 (java) S 25069 25071 23489 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254934151 9855975424 159849 33554432000 1073741824 1073778376 140736951996336 139727021761320 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1681.03
Current children cumulated vsize (KiB) 9624976
[startup+1722.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/213 25188
/proc/meminfo: memFree=27145400/32873648 swapFree=7372/7372
[pid=25071] ppid=25069 vsize=9624976 CPUtime=1742.75 cores=0,2,4,6
/proc/25071/stat : 25071 (java) S 25069 25071 23489 0 -1 4202496 38301 0 1 0 174151 124 0 0 20 0 19 0 254934114 9855975424 168653 33554432000 1073741824 1073778376 140736951996336 140736951987472 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/25071/statm: 2406244 168653 2283 9 0 2396937 0
[pid=25071/tid=25073] ppid=25069 vsize=9624976 CPUtime=1703.66 cores=0,2,4,6
/proc/25071/task/25073/stat : 25073 (java) R 25069 25071 23489 0 -1 4202560 2882 0 1 0 170336 30 0 0 20 0 19 0 254934115 9855975424 168653 33554432000 1073741824 1073778376 140736951996336 139727676772624 139727517484266 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=25071/tid=25074] ppid=25069 vsize=9624976 CPUtime=3.1 cores=0,2,4,6
/proc/25071/task/25074/stat : 25074 (java) S 25069 25071 23489 0 -1 4202560 2435 0 0 0 298 12 0 0 20 0 19 0 254934116 9855975424 168653 33554432000 1073741824 1073778376 140736951996336 139727638263976 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25071/tid=25075] ppid=25069 vsize=9624976 CPUtime=3.24 cores=0,2,4,6
/proc/25071/task/25075/stat : 25075 (java) S 25069 25071 23489 0 -1 4202560 1886 0 0 0 313 11 0 0 20 0 19 0 254934116 9855975424 168653 33554432000 1073741824 1073778376 140736951996336 139727637211432 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25071/tid=25076] ppid=25069 vsize=9624976 CPUtime=3.3 cores=0,2,4,6
/proc/25071/task/25076/stat : 25076 (java) S 25069 25071 23489 0 -1 4202560 2458 0 0 0 320 10 0 0 20 0 19 0 254934116 9855975424 168653 33554432000 1073741824 1073778376 140736951996336 139727636158888 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25071/tid=25077] ppid=25069 vsize=9624976 CPUtime=3.29 cores=0,2,4,6
/proc/25071/task/25077/stat : 25077 (java) S 25069 25071 23489 0 -1 4202560 2085 0 0 0 319 10 0 0 20 0 19 0 254934116 9855975424 168653 33554432000 1073741824 1073778376 140736951996336 139727516723752 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25071/tid=25078] ppid=25069 vsize=9624976 CPUtime=3.14 cores=0,2,4,6
/proc/25071/task/25078/stat : 25078 (java) S 25069 25071 23489 0 -1 4202560 1499 0 0 0 303 11 0 0 20 0 19 0 254934116 9855975424 168653 33554432000 1073741824 1073778376 140736951996336 139727515671208 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25071/tid=25079] ppid=25069 vsize=9624976 CPUtime=3.28 cores=0,2,4,6
/proc/25071/task/25079/stat : 25079 (java) S 25069 25071 23489 0 -1 4202560 3028 0 0 0 317 11 0 0 20 0 19 0 254934116 9855975424 168653 33554432000 1073741824 1073778376 140736951996336 139727514618664 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25071/tid=25080] ppid=25069 vsize=9624976 CPUtime=3.37 cores=0,2,4,6
/proc/25071/task/25080/stat : 25080 (java) S 25069 25071 23489 0 -1 4202560 2320 0 0 0 328 9 0 0 20 0 19 0 254934116 9855975424 168653 33554432000 1073741824 1073778376 140736951996336 139727513566120 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25071/tid=25081] ppid=25069 vsize=9624976 CPUtime=3.36 cores=0,2,4,6
/proc/25071/task/25081/stat : 25081 (java) S 25069 25071 23489 0 -1 4202560 1374 0 0 0 324 12 0 0 20 0 19 0 254934116 9855975424 168653 33554432000 1073741824 1073778376 140736951996336 139727512513576 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25071/tid=25082] ppid=25069 vsize=9624976 CPUtime=11.3 cores=0,2,4,6
/proc/25071/task/25082/stat : 25082 (java) S 25069 25071 23489 0 -1 4202560 1354 0 0 0 1124 6 0 0 20 0 19 0 254934117 9855975424 168653 33554432000 1073741824 1073778376 140736951996336 139727030184040 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25071/tid=25083] ppid=25069 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25071/task/25083/stat : 25083 (java) S 25069 25071 23489 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254934118 9855975424 168653 33554432000 1073741824 1073778376 140736951996336 139727029130360 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25071/tid=25084] ppid=25069 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25071/task/25084/stat : 25084 (java) S 25069 25071 23489 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254934118 9855975424 168653 33554432000 1073741824 1073778376 140736951996336 139727028077704 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25071/tid=25085] ppid=25069 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25071/task/25085/stat : 25085 (java) S 25069 25071 23489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254934120 9855975424 168653 33554432000 1073741824 1073778376 140736951996336 139727027026448 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25071/tid=25086] ppid=25069 vsize=9624976 CPUtime=0.44 cores=0,2,4,6
/proc/25071/task/25086/stat : 25086 (java) S 25069 25071 23489 0 -1 4202560 6789 0 0 0 43 1 0 0 20 0 19 0 254934120 9855975424 168653 33554432000 1073741824 1073778376 140736951996336 139727025973816 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25071/tid=25087] ppid=25069 vsize=9624976 CPUtime=0.87 cores=0,2,4,6
/proc/25071/task/25087/stat : 25087 (java) S 25069 25071 23489 0 -1 4202560 8912 0 0 0 85 2 0 0 20 0 19 0 254934120 9855975424 168653 33554432000 1073741824 1073778376 140736951996336 139727024921272 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25071/tid=25088] ppid=25069 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25071/task/25088/stat : 25088 (java) S 25069 25071 23489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254934120 9855975424 168653 33554432000 1073741824 1073778376 140736951996336 139727023868920 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25071/tid=25089] ppid=25069 vsize=9624976 CPUtime=0.53 cores=0,2,4,6
/proc/25071/task/25089/stat : 25089 (java) S 25069 25071 23489 0 -1 4202560 99 0 0 0 27 26 0 0 20 0 19 0 254934120 9855975424 168653 33554432000 1073741824 1073778376 140736951996336 139727022816584 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25071/tid=25090] ppid=25069 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25071/task/25090/stat : 25090 (java) S 25069 25071 23489 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254934151 9855975424 168653 33554432000 1073741824 1073778376 140736951996336 139727021761320 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1742.75
Current children cumulated vsize (KiB) 9624976
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1777.8 s]
/proc/loadavg: 2.01 2.01 2.00 3/213 25188
/proc/meminfo: memFree=27130204/32873648 swapFree=7372/7372
[pid=25071] ppid=25069 vsize=9624976 CPUtime=1800.07 cores=0,2,4,6
/proc/25071/stat : 25071 (java) S 25069 25071 23489 0 -1 4202496 38601 0 1 0 179881 126 0 0 20 0 19 0 254934114 9855975424 168890 33554432000 1073741824 1073778376 140736951996336 140736951987472 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/25071/statm: 2406244 168890 2283 9 0 2396937 0
[pid=25071/tid=25073] ppid=25069 vsize=9624976 CPUtime=1758.21 cores=0,2,4,6
/proc/25071/task/25073/stat : 25073 (java) R 25069 25071 23489 0 -1 4202560 2908 0 1 0 175790 31 0 0 20 0 19 0 254934115 9855975424 168890 33554432000 1073741824 1073778376 140736951996336 139727676771664 139727517569701 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=25071/tid=25074] ppid=25069 vsize=9624976 CPUtime=3.41 cores=0,2,4,6
/proc/25071/task/25074/stat : 25074 (java) S 25069 25071 23489 0 -1 4202560 2675 0 0 0 329 12 0 0 20 0 19 0 254934116 9855975424 168890 33554432000 1073741824 1073778376 140736951996336 139727638263976 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25071/tid=25075] ppid=25069 vsize=9624976 CPUtime=3.57 cores=0,2,4,6
/proc/25071/task/25075/stat : 25075 (java) S 25069 25071 23489 0 -1 4202560 1886 0 0 0 346 11 0 0 20 0 19 0 254934116 9855975424 168890 33554432000 1073741824 1073778376 140736951996336 139727637211432 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25071/tid=25076] ppid=25069 vsize=9624976 CPUtime=3.61 cores=0,2,4,6
/proc/25071/task/25076/stat : 25076 (java) S 25069 25071 23489 0 -1 4202560 2458 0 0 0 351 10 0 0 20 0 19 0 254934116 9855975424 168890 33554432000 1073741824 1073778376 140736951996336 139727636158888 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25071/tid=25077] ppid=25069 vsize=9624976 CPUtime=3.56 cores=0,2,4,6
/proc/25071/task/25077/stat : 25077 (java) S 25069 25071 23489 0 -1 4202560 2085 0 0 0 345 11 0 0 20 0 19 0 254934116 9855975424 168890 33554432000 1073741824 1073778376 140736951996336 139727516723752 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25071/tid=25078] ppid=25069 vsize=9624976 CPUtime=3.46 cores=0,2,4,6
/proc/25071/task/25078/stat : 25078 (java) S 25069 25071 23489 0 -1 4202560 1499 0 0 0 335 11 0 0 20 0 19 0 254934116 9855975424 168890 33554432000 1073741824 1073778376 140736951996336 139727515671208 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25071/tid=25079] ppid=25069 vsize=9624976 CPUtime=3.6 cores=0,2,4,6
/proc/25071/task/25079/stat : 25079 (java) S 25069 25071 23489 0 -1 4202560 3028 0 0 0 349 11 0 0 20 0 19 0 254934116 9855975424 168890 33554432000 1073741824 1073778376 140736951996336 139727514618664 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25071/tid=25080] ppid=25069 vsize=9624976 CPUtime=3.69 cores=0,2,4,6
/proc/25071/task/25080/stat : 25080 (java) S 25069 25071 23489 0 -1 4202560 2320 0 0 0 360 9 0 0 20 0 19 0 254934116 9855975424 168890 33554432000 1073741824 1073778376 140736951996336 139727513566120 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25071/tid=25081] ppid=25069 vsize=9624976 CPUtime=3.67 cores=0,2,4,6
/proc/25071/task/25081/stat : 25081 (java) S 25069 25071 23489 0 -1 4202560 1374 0 0 0 355 12 0 0 20 0 19 0 254934116 9855975424 168890 33554432000 1073741824 1073778376 140736951996336 139727512513576 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25071/tid=25082] ppid=25069 vsize=9624976 CPUtime=11.55 cores=0,2,4,6
/proc/25071/task/25082/stat : 25082 (java) S 25069 25071 23489 0 -1 4202560 1384 0 0 0 1148 7 0 0 20 0 19 0 254934117 9855975424 168890 33554432000 1073741824 1073778376 140736951996336 139727030184040 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25071/tid=25083] ppid=25069 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25071/task/25083/stat : 25083 (java) S 25069 25071 23489 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254934118 9855975424 168890 33554432000 1073741824 1073778376 140736951996336 139727029130360 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25071/tid=25084] ppid=25069 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25071/task/25084/stat : 25084 (java) S 25069 25071 23489 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254934118 9855975424 168890 33554432000 1073741824 1073778376 140736951996336 139727028077704 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25071/tid=25085] ppid=25069 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25071/task/25085/stat : 25085 (java) S 25069 25071 23489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254934120 9855975424 168890 33554432000 1073741824 1073778376 140736951996336 139727027026448 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25071/tid=25086] ppid=25069 vsize=9624976 CPUtime=0.44 cores=0,2,4,6
/proc/25071/task/25086/stat : 25086 (java) S 25069 25071 23489 0 -1 4202560 6789 0 0 0 43 1 0 0 20 0 19 0 254934120 9855975424 168890 33554432000 1073741824 1073778376 140736951996336 139727025973816 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25071/tid=25087] ppid=25069 vsize=9624976 CPUtime=0.87 cores=0,2,4,6
/proc/25071/task/25087/stat : 25087 (java) S 25069 25071 23489 0 -1 4202560 8912 0 0 0 85 2 0 0 20 0 19 0 254934120 9855975424 168890 33554432000 1073741824 1073778376 140736951996336 139727024921272 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25071/tid=25088] ppid=25069 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25071/task/25088/stat : 25088 (java) S 25069 25071 23489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254934120 9855975424 168890 33554432000 1073741824 1073778376 140736951996336 139727023868920 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25071/tid=25089] ppid=25069 vsize=9624976 CPUtime=0.55 cores=0,2,4,6
/proc/25071/task/25089/stat : 25089 (java) S 25069 25071 23489 0 -1 4202560 103 0 0 0 29 26 0 0 20 0 19 0 254934120 9855975424 168890 33554432000 1073741824 1073778376 140736951996336 139727022816584 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25071/tid=25090] ppid=25069 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25071/task/25090/stat : 25090 (java) S 25069 25071 23489 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254934151 9855975424 168890 33554432000 1073741824 1073778376 140736951996336 139727021761320 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 9624976
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 143
Real time (s): 1777.85
CPU time (s): 1800.54
CPU user time (s): 1798.85
CPU system time (s): 1.69374
CPU usage (%): 101.276
Max. virtual memory (cumulated for all children) (KiB): 9625588
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.85
system time used= 1.69374
maximum resident set size= 744800
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 38634
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1720
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 49301
involuntary context switches= 45792
runsolver used 6.07208 second user time and 14.8607 second system time
The end