runsolver Copyright (C) 2010-2013 Olivier ROUSSEL
This is runsolver version 3.3.7 (svn: 2553)
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-4257766-1501992100/watcher-4257766-1501992100 -o /tmp/evaluation-result-4257766-1501992100/solver-4257766-1501992100 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node126-1501991020-11005 --watchdog 300 java -jar HOME/AbsCon-basic.jar HOME/instance-4257766-1501992100.xml
pid=11183
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 264 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 294 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 240 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: 8192 KiB
[startup+0 s]
/proc/loadavg: 1.90 1.62 1.59 2/174 11186
/proc/meminfo: memFree=31814664/32770624 swapFree=0/295752
[pid=11186] ppid=11183 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/11186/stat : 11186 (runsolver) D 11183 11186 2453 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 1405803 24240128 106 18446744073709551615 4194304 4338465 140723783841824 140723783839464 140460553786071 0 0 1 24578 18446744071580418449 0 0 17 2 0 0 0 0 0 6438912 6441760 35766272 140723783844008 140723783844431 140723783844431 140723783847882 0
/proc/11186/statm: 5918 106 53 36 0 2156 0
[startup+0.100168 s]
/proc/loadavg: 1.90 1.62 1.59 2/174 11186
/proc/meminfo: memFree=31814664/32770624 swapFree=0/295752
[pid=11186] ppid=11183 vsize=10151672 CPUtime=0.04 cores=0,2,4,6
/proc/11186/stat : 11186 (java) S 11183 11186 2453 0 -1 1077944320 4154 0 0 0 4 0 0 0 20 0 9 0 1405803 10395312128 5284 18446744073709551615 4194304 4196468 140733651631024 140733651613568 140251986546423 0 0 1 16800970 18446744073709551615 0 0 17 4 0 0 4 0 0 6293624 6294260 35037184 140733651632595 140733651632724 140733651632724 140733651636175 0
/proc/11186/statm: 2537918 5284 2156 1 0 2527415 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 10151672
[startup+0.200432 s]
/proc/loadavg: 1.90 1.62 1.59 2/174 11186
/proc/meminfo: memFree=31814664/32770624 swapFree=0/295752
[pid=11186] ppid=11183 vsize=10551056 CPUtime=0.06 cores=0,2,4,6
/proc/11186/stat : 11186 (java) S 11183 11186 2453 0 -1 1077944320 4776 0 0 0 5 1 0 0 20 0 15 0 1405803 10804281344 5814 18446744073709551615 4194304 4196468 140733651631024 140733651613568 140251986546423 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 4 0 0 6293624 6294260 35037184 140733651632595 140733651632724 140733651632724 140733651636175 0
/proc/11186/statm: 2637764 5814 2577 1 0 2627261 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 10551056
[startup+0.300312 s]
/proc/loadavg: 1.90 1.62 1.59 2/174 11186
/proc/meminfo: memFree=31814664/32770624 swapFree=0/295752
[pid=11186] ppid=11183 vsize=10551180 CPUtime=0.22 cores=0,2,4,6
/proc/11186/stat : 11186 (java) S 11183 11186 2453 0 -1 1077944320 8726 0 0 0 20 2 0 0 20 0 15 0 1405803 10804408320 9091 18446744073709551615 4194304 4196468 140733651631024 140733651613568 140251986546423 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 4 0 0 6293624 6294260 35037184 140733651632595 140733651632724 140733651632724 140733651636175 0
/proc/11186/statm: 2637795 9091 2884 1 0 2627261 0
Current children cumulated CPU time (s) 0.22
Current children cumulated vsize (KiB) 10551180
[startup+0.701445 s]
/proc/loadavg: 1.90 1.62 1.59 2/174 11186
/proc/meminfo: memFree=31814664/32770624 swapFree=0/295752
[pid=11186] ppid=11183 vsize=10621952 CPUtime=0.63 cores=0,2,4,6
/proc/11186/stat : 11186 (java) S 11183 11186 2453 0 -1 1077944320 11381 0 0 0 59 4 0 0 20 0 16 0 1405803 10876878848 15528 18446744073709551615 4194304 4196468 140733651631024 140733651613568 140251986546423 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 4 0 0 6293624 6294260 35037184 140733651632595 140733651632724 140733651632724 140733651636175 0
/proc/11186/statm: 2655488 15528 3014 1 0 2644414 0
Current children cumulated CPU time (s) 0.63
Current children cumulated vsize (KiB) 10621952
[startup+1.50134 s]
/proc/loadavg: 1.90 1.62 1.59 6/211 11232
/proc/meminfo: memFree=31664872/32770624 swapFree=0/295828
[pid=11186] ppid=11183 vsize=10624000 CPUtime=2.38 cores=0,2,4,6
/proc/11186/stat : 11186 (java) S 11183 11186 2453 0 -1 1077944320 17170 0 0 0 231 7 0 0 20 0 16 0 1405803 10878976000 24706 18446744073709551615 4194304 4196468 140733651631024 140733651613568 140251986546423 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 4 0 0 6293624 6294260 35037184 140733651632595 140733651632724 140733651632724 140733651636175 0
/proc/11186/statm: 2656000 24706 3096 1 0 2644926 0
[pid=11186/tid=11189] ppid=11183 vsize=10624000 CPUtime=0.21 cores=0,2,4,6
/proc/11186/task/11189/stat : 11189 (java) S 11183 11186 2453 0 -1 1077944384 6240 0 0 0 19 2 0 0 20 0 16 0 1405808 10878976000 24706 18446744073709551615 4194304 4196468 140733651631024 140251990789296 140251986556629 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 24 0 0 6293624 6294260 35037184 140733651632595 140733651632724 140733651632724 140733651636175 0
[pid=11186/tid=11190] ppid=11183 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/11186/task/11190/stat : 11190 (java) S 11183 11186 2453 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 1405809 10878976000 24706 18446744073709551615 4194304 4196468 140733651631024 140251597659024 140251986556629 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35037184 140733651632595 140733651632724 140733651632724 140733651636175 0
[pid=11186/tid=11191] ppid=11183 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/11186/task/11191/stat : 11191 (java) S 11183 11186 2453 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 1405809 10878976000 24706 18446744073709551615 4194304 4196468 140733651631024 140251596606224 140251986556629 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35037184 140733651632595 140733651632724 140733651632724 140733651636175 0
[pid=11186/tid=11192] ppid=11183 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/11186/task/11192/stat : 11192 (java) S 11183 11186 2453 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 1405809 10878976000 24706 18446744073709551615 4194304 4196468 140733651631024 140251595553936 140251986556629 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35037184 140733651632595 140733651632724 140733651632724 140733651636175 0
[pid=11186/tid=11193] ppid=11183 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/11186/task/11193/stat : 11193 (java) S 11183 11186 2453 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 16 0 1405809 10878976000 24706 18446744073709551615 4194304 4196468 140733651631024 140251594501136 140251986556629 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35037184 140733651632595 140733651632724 140733651632724 140733651636175 0
[pid=11186/tid=11194] ppid=11183 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/11186/task/11194/stat : 11194 (java) S 11183 11186 2453 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 16 0 1405810 10878976000 24706 18446744073709551615 4194304 4196468 140733651631024 140251482798192 140251986557570 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35037184 140733651632595 140733651632724 140733651632724 140733651636175 0
[pid=11186/tid=11195] ppid=11183 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/11186/task/11195/stat : 11195 (java) S 11183 11186 2453 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 16 0 1405811 10878976000 24706 18446744073709551615 4194304 4196468 140733651631024 140251481744160 140251986556629 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35037184 140733651632595 140733651632724 140733651632724 140733651636175 0
[pid=11186/tid=11196] ppid=11183 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/11186/task/11196/stat : 11196 (java) S 11183 11186 2453 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 1405811 10878976000 24706 18446744073709551615 4194304 4196468 140733651631024 140251480691824 140251986556629 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35037184 140733651632595 140733651632724 140733651632724 140733651636175 0
[pid=11186/tid=11197] ppid=11183 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/11186/task/11197/stat : 11197 (java) S 11183 11186 2453 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 1405813 10878976000 24706 18446744073709551615 4194304 4196468 140733651631024 140251479640144 140251986565019 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35037184 140733651632595 140733651632724 140733651632724 140733651636175 0
[pid=11186/tid=11198] ppid=11183 vsize=10624000 CPUtime=0.45 cores=0,2,4,6
/proc/11186/task/11198/stat : 11198 (java) R 11183 11186 2453 0 -1 4202560 1785 0 0 0 45 0 0 0 20 0 16 0 1405813 10878976000 24706 18446744073709551615 4194304 4196468 140733651631024 140251478574040 140251968068869 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 35037184 140733651632595 140733651632724 140733651632724 140733651636175 0
[pid=11186/tid=11199] ppid=11183 vsize=10624000 CPUtime=0.36 cores=0,2,4,6
/proc/11186/task/11199/stat : 11199 (java) S 11183 11186 2453 0 -1 1077944384 1090 0 0 0 36 0 0 0 20 0 16 0 1405813 10878976000 24706 18446744073709551615 4194304 4196468 140733651631024 140251477535216 140251986557570 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35037184 140733651632595 140733651632724 140733651632724 140733651636175 0
[pid=11186/tid=11200] ppid=11183 vsize=10624000 CPUtime=0.35 cores=0,2,4,6
/proc/11186/task/11200/stat : 11200 (java) S 11183 11186 2453 0 -1 1077944384 1635 0 0 0 35 0 0 0 20 0 16 0 1405813 10878976000 24706 18446744073709551615 4194304 4196468 140733651631024 140251476482928 140251986557570 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35037184 140733651632595 140733651632724 140733651632724 140733651636175 0
[pid=11186/tid=11201] ppid=11183 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/11186/task/11201/stat : 11201 (java) S 11183 11186 2453 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 1405814 10878976000 24706 18446744073709551615 4194304 4196468 140733651631024 140251475430368 140251986556629 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35037184 140733651632595 140733651632724 140733651632724 140733651636175 0
[pid=11186/tid=11203] ppid=11183 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/11186/task/11203/stat : 11203 (java) S 11183 11186 2453 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 16 0 1405823 10878976000 24706 18446744073709551615 4194304 4196468 140733651631024 140251474377136 140251986557570 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35037184 140733651632595 140733651632724 140733651632724 140733651636175 0
[pid=11186/tid=11217] ppid=11183 vsize=10624000 CPUtime=0.95 cores=0,2,4,6
/proc/11186/task/11217/stat : 11217 (java) R 11183 11186 2453 0 -1 4202560 5051 0 0 0 92 3 0 0 20 0 16 0 1405856 10878976000 24706 18446744073709551615 4194304 4196468 140733651631024 140251471174480 140251632189280 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35037184 140733651632595 140733651632724 140733651632724 140733651636175 0
Current children cumulated CPU time (s) 2.38
Current children cumulated vsize (KiB) 10624000
[startup+3.10066 s]
/proc/loadavg: 1.90 1.62 1.59 3/211 11232
/proc/meminfo: memFree=31606688/32770624 swapFree=0/295828
[pid=11186] ppid=11183 vsize=10624000 CPUtime=4.36 cores=0,2,4,6
/proc/11186/stat : 11186 (java) S 11183 11186 2453 0 -1 1077944320 21258 0 0 0 428 8 0 0 20 0 16 0 1405803 10878976000 24980 18446744073709551615 4194304 4196468 140733651631024 140733651613568 140251986546423 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 4 0 0 6293624 6294260 35037184 140733651632595 140733651632724 140733651632724 140733651636175 0
/proc/11186/statm: 2656000 24980 3102 1 0 2644926 0
[pid=11186/tid=11189] ppid=11183 vsize=10624000 CPUtime=0.21 cores=0,2,4,6
/proc/11186/task/11189/stat : 11189 (java) S 11183 11186 2453 0 -1 1077944384 6240 0 0 0 19 2 0 0 20 0 16 0 1405808 10878976000 24980 18446744073709551615 4194304 4196468 140733651631024 140251990789296 140251986556629 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 24 0 0 6293624 6294260 35037184 140733651632595 140733651632724 140733651632724 140733651636175 0
[pid=11186/tid=11190] ppid=11183 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/11186/task/11190/stat : 11190 (java) S 11183 11186 2453 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 1405809 10878976000 24980 18446744073709551615 4194304 4196468 140733651631024 140251597659024 140251986556629 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35037184 140733651632595 140733651632724 140733651632724 140733651636175 0
[pid=11186/tid=11191] ppid=11183 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/11186/task/11191/stat : 11191 (java) S 11183 11186 2453 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 1405809 10878976000 24980 18446744073709551615 4194304 4196468 140733651631024 140251596606224 140251986556629 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35037184 140733651632595 140733651632724 140733651632724 140733651636175 0
[pid=11186/tid=11192] ppid=11183 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/11186/task/11192/stat : 11192 (java) S 11183 11186 2453 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 1405809 10878976000 24980 18446744073709551615 4194304 4196468 140733651631024 140251595553936 140251986556629 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35037184 140733651632595 140733651632724 140733651632724 140733651636175 0
[pid=11186/tid=11193] ppid=11183 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/11186/task/11193/stat : 11193 (java) S 11183 11186 2453 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 16 0 1405809 10878976000 24980 18446744073709551615 4194304 4196468 140733651631024 140251594501136 140251986556629 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35037184 140733651632595 140733651632724 140733651632724 140733651636175 0
[pid=11186/tid=11194] ppid=11183 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/11186/task/11194/stat : 11194 (java) S 11183 11186 2453 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 16 0 1405810 10878976000 24980 18446744073709551615 4194304 4196468 140733651631024 140251482798192 140251986557570 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35037184 140733651632595 140733651632724 140733651632724 140733651636175 0
[pid=11186/tid=11195] ppid=11183 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/11186/task/11195/stat : 11195 (java) S 11183 11186 2453 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 16 0 1405811 10878976000 24980 18446744073709551615 4194304 4196468 140733651631024 140251481744160 140251986556629 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35037184 140733651632595 140733651632724 140733651632724 140733651636175 0
[pid=11186/tid=11196] ppid=11183 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/11186/task/11196/stat : 11196 (java) S 11183 11186 2453 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 1405811 10878976000 24980 18446744073709551615 4194304 4196468 140733651631024 140251480691824 140251986556629 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35037184 140733651632595 140733651632724 140733651632724 140733651636175 0
[pid=11186/tid=11197] ppid=11183 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/11186/task/11197/stat : 11197 (java) S 11183 11186 2453 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 1405813 10878976000 24980 18446744073709551615 4194304 4196468 140733651631024 140251479640144 140251986565019 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35037184 140733651632595 140733651632724 140733651632724 140733651636175 0
[pid=11186/tid=11198] ppid=11183 vsize=10624000 CPUtime=0.68 cores=0,2,4,6
/proc/11186/task/11198/stat : 11198 (java) S 11183 11186 2453 0 -1 1077944384 3261 0 0 0 67 1 0 0 20 0 16 0 1405813 10878976000 24980 18446744073709551615 4194304 4196468 140733651631024 140251478588016 140251986557570 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35037184 140733651632595 140733651632724 140733651632724 140733651636175 0
[pid=11186/tid=11199] ppid=11183 vsize=10624000 CPUtime=0.47 cores=0,2,4,6
/proc/11186/task/11199/stat : 11199 (java) S 11183 11186 2453 0 -1 1077944384 1651 0 0 0 47 0 0 0 20 0 16 0 1405813 10878976000 24980 18446744073709551615 4194304 4196468 140733651631024 140251477535216 140251986557570 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35037184 140733651632595 140733651632724 140733651632724 140733651636175 0
[pid=11186/tid=11200] ppid=11183 vsize=10624000 CPUtime=0.4 cores=0,2,4,6
/proc/11186/task/11200/stat : 11200 (java) S 11183 11186 2453 0 -1 1077944384 2363 0 0 0 40 0 0 0 20 0 16 0 1405813 10878976000 24980 18446744073709551615 4194304 4196468 140733651631024 140251476482928 140251986557570 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35037184 140733651632595 140733651632724 140733651632724 140733651636175 0
[pid=11186/tid=11201] ppid=11183 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/11186/task/11201/stat : 11201 (java) S 11183 11186 2453 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 1405814 10878976000 24980 18446744073709551615 4194304 4196468 140733651631024 140251475430368 140251986556629 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35037184 140733651632595 140733651632724 140733651632724 140733651636175 0
[pid=11186/tid=11203] ppid=11183 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/11186/task/11203/stat : 11203 (java) S 11183 11186 2453 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 16 0 1405823 10878976000 24980 18446744073709551615 4194304 4196468 140733651631024 140251474377136 140251986557570 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35037184 140733651632595 140733651632724 140733651632724 140733651636175 0
[pid=11186/tid=11217] ppid=11183 vsize=10624000 CPUtime=2.55 cores=0,2,4,6
/proc/11186/task/11217/stat : 11217 (java) R 11183 11186 2453 0 -1 4202560 6326 0 0 0 252 3 0 0 20 0 16 0 1405856 10878976000 24980 18446744073709551615 4194304 4196468 140733651631024 140251471173440 140251629350174 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35037184 140733651632595 140733651632724 140733651632724 140733651636175 0
Current children cumulated CPU time (s) 4.36
Current children cumulated vsize (KiB) 10624000
[startup+6.30064 s]
/proc/loadavg: 1.83 1.61 1.58 3/211 11232
/proc/meminfo: memFree=31602120/32770624 swapFree=0/295828
[pid=11186] ppid=11183 vsize=10624000 CPUtime=7.92 cores=0,2,4,6
/proc/11186/stat : 11186 (java) S 11183 11186 2453 0 -1 1077944320 25674 0 0 0 784 8 0 0 20 0 16 0 1405803 10878976000 25421 18446744073709551615 4194304 4196468 140733651631024 140733651613568 140251986546423 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 4 0 0 6293624 6294260 35037184 140733651632595 140733651632724 140733651632724 140733651636175 0
/proc/11186/statm: 2656000 25421 3106 1 0 2644926 0
[pid=11186/tid=11189] ppid=11183 vsize=10624000 CPUtime=0.21 cores=0,2,4,6
/proc/11186/task/11189/stat : 11189 (java) S 11183 11186 2453 0 -1 1077944384 6240 0 0 0 19 2 0 0 20 0 16 0 1405808 10878976000 25421 18446744073709551615 4194304 4196468 140733651631024 140251990789296 140251986556629 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 24 0 0 6293624 6294260 35037184 140733651632595 140733651632724 140733651632724 140733651636175 0
[pid=11186/tid=11190] ppid=11183 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/11186/task/11190/stat : 11190 (java) S 11183 11186 2453 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 1405809 10878976000 25421 18446744073709551615 4194304 4196468 140733651631024 140251597659024 140251986556629 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35037184 140733651632595 140733651632724 140733651632724 140733651636175 0
[pid=11186/tid=11191] ppid=11183 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/11186/task/11191/stat : 11191 (java) S 11183 11186 2453 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 1405809 10878976000 25421 18446744073709551615 4194304 4196468 140733651631024 140251596606224 140251986556629 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35037184 140733651632595 140733651632724 140733651632724 140733651636175 0
[pid=11186/tid=11192] ppid=11183 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/11186/task/11192/stat : 11192 (java) S 11183 11186 2453 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 1405809 10878976000 25421 18446744073709551615 4194304 4196468 140733651631024 140251595553936 140251986556629 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35037184 140733651632595 140733651632724 140733651632724 140733651636175 0
[pid=11186/tid=11193] ppid=11183 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/11186/task/11193/stat : 11193 (java) S 11183 11186 2453 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 16 0 1405809 10878976000 25421 18446744073709551615 4194304 4196468 140733651631024 140251594501136 140251986556629 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35037184 140733651632595 140733651632724 140733651632724 140733651636175 0
[pid=11186/tid=11194] ppid=11183 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/11186/task/11194/stat : 11194 (java) S 11183 11186 2453 0 -1 1077944384 214 0 0 0 0 0 0 0 20 0 16 0 1405810 10878976000 25421 18446744073709551615 4194304 4196468 140733651631024 140251482798192 140251986557570 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35037184 140733651632595 140733651632724 140733651632724 140733651636175 0
[pid=11186/tid=11195] ppid=11183 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/11186/task/11195/stat : 11195 (java) S 11183 11186 2453 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 16 0 1405811 10878976000 25421 18446744073709551615 4194304 4196468 140733651631024 140251481744160 140251986556629 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35037184 140733651632595 140733651632724 140733651632724 140733651636175 0
[pid=11186/tid=11196] ppid=11183 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/11186/task/11196/stat : 11196 (java) S 11183 11186 2453 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 1405811 10878976000 25421 18446744073709551615 4194304 4196468 140733651631024 140251480691824 140251986556629 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35037184 140733651632595 140733651632724 140733651632724 140733651636175 0
[pid=11186/tid=11197] ppid=11183 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/11186/task/11197/stat : 11197 (java) S 11183 11186 2453 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 1405813 10878976000 25421 18446744073709551615 4194304 4196468 140733651631024 140251479640144 140251986565019 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35037184 140733651632595 140733651632724 140733651632724 140733651636175 0
[pid=11186/tid=11198] ppid=11183 vsize=10624000 CPUtime=0.8 cores=0,2,4,6
/proc/11186/task/11198/stat : 11198 (java) S 11183 11186 2453 0 -1 1077944384 4089 0 0 0 79 1 0 0 20 0 16 0 1405813 10878976000 25421 18446744073709551615 4194304 4196468 140733651631024 140251478588016 140251986557570 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35037184 140733651632595 140733651632724 140733651632724 140733651636175 0
[pid=11186/tid=11199] ppid=11183 vsize=10624000 CPUtime=0.69 cores=0,2,4,6
/proc/11186/task/11199/stat : 11199 (java) S 11183 11186 2453 0 -1 1077944384 3280 0 0 0 69 0 0 0 20 0 16 0 1405813 10878976000 25421 18446744073709551615 4194304 4196468 140733651631024 140251477535216 140251986557570 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35037184 140733651632595 140733651632724 140733651632724 140733651636175 0
[pid=11186/tid=11200] ppid=11183 vsize=10624000 CPUtime=0.41 cores=0,2,4,6
/proc/11186/task/11200/stat : 11200 (java) S 11183 11186 2453 0 -1 1077944384 3324 0 0 0 41 0 0 0 20 0 16 0 1405813 10878976000 25421 18446744073709551615 4194304 4196468 140733651631024 140251476482928 140251986557570 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35037184 140733651632595 140733651632724 140733651632724 140733651636175 0
[pid=11186/tid=11201] ppid=11183 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/11186/task/11201/stat : 11201 (java) S 11183 11186 2453 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 1405814 10878976000 25421 18446744073709551615 4194304 4196468 140733651631024 140251475430368 140251986556629 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35037184 140733651632595 140733651632724 140733651632724 140733651636175 0
[pid=11186/tid=11203] ppid=11183 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/11186/task/11203/stat : 11203 (java) S 11183 11186 2453 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 16 0 1405823 10878976000 25421 18446744073709551615 4194304 4196468 140733651631024 140251474377136 140251986557570 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35037184 140733651632595 140733651632724 140733651632724 140733651636175 0
[pid=11186/tid=11217] ppid=11183 vsize=10624000 CPUtime=5.75 cores=0,2,4,6
/proc/11186/task/11217/stat : 11217 (java) R 11183 11186 2453 0 -1 4202560 7093 0 0 0 572 3 0 0 20 0 16 0 1405856 10878976000 25421 18446744073709551615 4194304 4196468 140733651631024 140251471183408 140251631782566 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35037184 140733651632595 140733651632724 140733651632724 140733651636175 0
Current children cumulated CPU time (s) 7.92
Current children cumulated vsize (KiB) 10624000
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 11186 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+6.50067 s]
/proc/loadavg: 1.83 1.61 1.58 3/211 11232
/proc/meminfo: memFree=31602120/32770624 swapFree=0/295828
[pid=11186] ppid=11183 vsize=10624000 CPUtime=8.12 cores=0,2,4,6
/proc/11186/stat : 11186 (java) S 11183 11186 2453 0 -1 1077944320 25685 0 0 0 804 8 0 0 20 0 16 0 1405803 10878976000 25424 18446744073709551615 4194304 4196468 140733651631024 140733651613568 140251986546423 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 4 0 0 6293624 6294260 35037184 140733651632595 140733651632724 140733651632724 140733651636175 0
/proc/11186/statm: 2656000 25424 3106 1 0 2644926 0
[pid=11186/tid=11189] ppid=11183 vsize=10624000 CPUtime=0.21 cores=0,2,4,6
/proc/11186/task/11189/stat : 11189 (java) S 11183 11186 2453 0 -1 1077944384 6240 0 0 0 19 2 0 0 20 0 16 0 1405808 10878976000 25424 18446744073709551615 4194304 4196468 140733651631024 140251990789296 140251986556629 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 24 0 0 6293624 6294260 35037184 140733651632595 140733651632724 140733651632724 140733651636175 0
[pid=11186/tid=11190] ppid=11183 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/11186/task/11190/stat : 11190 (java) S 11183 11186 2453 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 1405809 10878976000 25424 18446744073709551615 4194304 4196468 140733651631024 140251597659024 140251986556629 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35037184 140733651632595 140733651632724 140733651632724 140733651636175 0
[pid=11186/tid=11191] ppid=11183 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/11186/task/11191/stat : 11191 (java) S 11183 11186 2453 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 1405809 10878976000 25424 18446744073709551615 4194304 4196468 140733651631024 140251596606224 140251986556629 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35037184 140733651632595 140733651632724 140733651632724 140733651636175 0
[pid=11186/tid=11192] ppid=11183 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/11186/task/11192/stat : 11192 (java) S 11183 11186 2453 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 1405809 10878976000 25424 18446744073709551615 4194304 4196468 140733651631024 140251595553936 140251986556629 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35037184 140733651632595 140733651632724 140733651632724 140733651636175 0
[pid=11186/tid=11193] ppid=11183 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/11186/task/11193/stat : 11193 (java) S 11183 11186 2453 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 16 0 1405809 10878976000 25424 18446744073709551615 4194304 4196468 140733651631024 140251594501136 140251986556629 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35037184 140733651632595 140733651632724 140733651632724 140733651636175 0
[pid=11186/tid=11194] ppid=11183 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/11186/task/11194/stat : 11194 (java) S 11183 11186 2453 0 -1 1077944384 214 0 0 0 0 0 0 0 20 0 16 0 1405810 10878976000 25424 18446744073709551615 4194304 4196468 140733651631024 140251482798192 140251986557570 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35037184 140733651632595 140733651632724 140733651632724 140733651636175 0
[pid=11186/tid=11195] ppid=11183 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/11186/task/11195/stat : 11195 (java) S 11183 11186 2453 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 16 0 1405811 10878976000 25424 18446744073709551615 4194304 4196468 140733651631024 140251481744160 140251986556629 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35037184 140733651632595 140733651632724 140733651632724 140733651636175 0
[pid=11186/tid=11196] ppid=11183 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/11186/task/11196/stat : 11196 (java) S 11183 11186 2453 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 1405811 10878976000 25424 18446744073709551615 4194304 4196468 140733651631024 140251480691824 140251986556629 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35037184 140733651632595 140733651632724 140733651632724 140733651636175 0
[pid=11186/tid=11197] ppid=11183 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/11186/task/11197/stat : 11197 (java) S 11183 11186 2453 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 1405813 10878976000 25424 18446744073709551615 4194304 4196468 140733651631024 140251479640144 140251986565019 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35037184 140733651632595 140733651632724 140733651632724 140733651636175 0
[pid=11186/tid=11198] ppid=11183 vsize=10624000 CPUtime=0.8 cores=0,2,4,6
/proc/11186/task/11198/stat : 11198 (java) S 11183 11186 2453 0 -1 1077944384 4089 0 0 0 79 1 0 0 20 0 16 0 1405813 10878976000 25424 18446744073709551615 4194304 4196468 140733651631024 140251478588016 140251986557570 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35037184 140733651632595 140733651632724 140733651632724 140733651636175 0
[pid=11186/tid=11199] ppid=11183 vsize=10624000 CPUtime=0.69 cores=0,2,4,6
/proc/11186/task/11199/stat : 11199 (java) S 11183 11186 2453 0 -1 1077944384 3280 0 0 0 69 0 0 0 20 0 16 0 1405813 10878976000 25424 18446744073709551615 4194304 4196468 140733651631024 140251477535216 140251986557570 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35037184 140733651632595 140733651632724 140733651632724 140733651636175 0
[pid=11186/tid=11200] ppid=11183 vsize=10624000 CPUtime=0.41 cores=0,2,4,6
/proc/11186/task/11200/stat : 11200 (java) S 11183 11186 2453 0 -1 1077944384 3335 0 0 0 41 0 0 0 20 0 16 0 1405813 10878976000 25424 18446744073709551615 4194304 4196468 140733651631024 140251476482928 140251986557570 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35037184 140733651632595 140733651632724 140733651632724 140733651636175 0
[pid=11186/tid=11201] ppid=11183 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/11186/task/11201/stat : 11201 (java) S 11183 11186 2453 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 1405814 10878976000 25424 18446744073709551615 4194304 4196468 140733651631024 140251475430368 140251986556629 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35037184 140733651632595 140733651632724 140733651632724 140733651636175 0
[pid=11186/tid=11203] ppid=11183 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/11186/task/11203/stat : 11203 (java) S 11183 11186 2453 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 16 0 1405823 10878976000 25424 18446744073709551615 4194304 4196468 140733651631024 140251474377136 140251986557570 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35037184 140733651632595 140733651632724 140733651632724 140733651636175 0
[pid=11186/tid=11217] ppid=11183 vsize=10624000 CPUtime=5.95 cores=0,2,4,6
/proc/11186/task/11217/stat : 11217 (java) R 11183 11186 2453 0 -1 4202560 7093 0 0 0 592 3 0 0 20 0 16 0 1405856 10878976000 25424 18446744073709551615 4194304 4196468 140733651631024 140251471183408 140251632189112 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35037184 140733651632595 140733651632724 140733651632724 140733651636175 0
Current children cumulated CPU time (s) 8.12
Current children cumulated vsize (KiB) 10624000
[startup+8.10066 s]
/proc/loadavg: 1.83 1.61 1.58 3/211 11232
/proc/meminfo: memFree=31601740/32770624 swapFree=0/295832
[pid=11186] ppid=11183 vsize=10624000 CPUtime=9.88 cores=0,2,4,6
/proc/11186/stat : 11186 (java) S 11183 11186 2453 0 -1 1077944320 26565 0 0 0 979 9 0 0 20 0 16 0 1405803 10878976000 25480 18446744073709551615 4194304 4196468 140733651631024 140733651613568 140251986546423 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 4 0 0 6293624 6294260 35037184 140733651632595 140733651632724 140733651632724 140733651636175 0
/proc/11186/statm: 2656000 25480 3106 1 0 2644926 0
[pid=11186/tid=11189] ppid=11183 vsize=10624000 CPUtime=0.21 cores=0,2,4,6
/proc/11186/task/11189/stat : 11189 (java) S 11183 11186 2453 0 -1 1077944384 6240 0 0 0 19 2 0 0 20 0 16 0 1405808 10878976000 25480 18446744073709551615 4194304 4196468 140733651631024 140251990789296 140251986556629 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 24 0 0 6293624 6294260 35037184 140733651632595 140733651632724 140733651632724 140733651636175 0
[pid=11186/tid=11190] ppid=11183 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/11186/task/11190/stat : 11190 (java) S 11183 11186 2453 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 1405809 10878976000 25480 18446744073709551615 4194304 4196468 140733651631024 140251597659024 140251986556629 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35037184 140733651632595 140733651632724 140733651632724 140733651636175 0
[pid=11186/tid=11191] ppid=11183 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/11186/task/11191/stat : 11191 (java) S 11183 11186 2453 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 1405809 10878976000 25480 18446744073709551615 4194304 4196468 140733651631024 140251596606224 140251986556629 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35037184 140733651632595 140733651632724 140733651632724 140733651636175 0
[pid=11186/tid=11192] ppid=11183 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/11186/task/11192/stat : 11192 (java) S 11183 11186 2453 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 1405809 10878976000 25480 18446744073709551615 4194304 4196468 140733651631024 140251595553936 140251986556629 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35037184 140733651632595 140733651632724 140733651632724 140733651636175 0
[pid=11186/tid=11193] ppid=11183 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/11186/task/11193/stat : 11193 (java) S 11183 11186 2453 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 16 0 1405809 10878976000 25480 18446744073709551615 4194304 4196468 140733651631024 140251594501136 140251986556629 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35037184 140733651632595 140733651632724 140733651632724 140733651636175 0
[pid=11186/tid=11194] ppid=11183 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/11186/task/11194/stat : 11194 (java) S 11183 11186 2453 0 -1 1077944384 214 0 0 0 0 0 0 0 20 0 16 0 1405810 10878976000 25480 18446744073709551615 4194304 4196468 140733651631024 140251482798192 140251986557570 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35037184 140733651632595 140733651632724 140733651632724 140733651636175 0
[pid=11186/tid=11195] ppid=11183 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/11186/task/11195/stat : 11195 (java) S 11183 11186 2453 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 16 0 1405811 10878976000 25480 18446744073709551615 4194304 4196468 140733651631024 140251481744160 140251986556629 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35037184 140733651632595 140733651632724 140733651632724 140733651636175 0
[pid=11186/tid=11196] ppid=11183 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/11186/task/11196/stat : 11196 (java) S 11183 11186 2453 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 1405811 10878976000 25480 18446744073709551615 4194304 4196468 140733651631024 140251480691824 140251986556629 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35037184 140733651632595 140733651632724 140733651632724 140733651636175 0
[pid=11186/tid=11197] ppid=11183 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/11186/task/11197/stat : 11197 (java) S 11183 11186 2453 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 1405813 10878976000 25480 18446744073709551615 4194304 4196468 140733651631024 140251479640144 140251986565019 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35037184 140733651632595 140733651632724 140733651632724 140733651636175 0
[pid=11186/tid=11198] ppid=11183 vsize=10624000 CPUtime=0.86 cores=0,2,4,6
/proc/11186/task/11198/stat : 11198 (java) S 11183 11186 2453 0 -1 1077944384 4418 0 0 0 85 1 0 0 20 0 16 0 1405813 10878976000 25480 18446744073709551615 4194304 4196468 140733651631024 140251478588016 140251986557570 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35037184 140733651632595 140733651632724 140733651632724 140733651636175 0
[pid=11186/tid=11199] ppid=11183 vsize=10624000 CPUtime=0.79 cores=0,2,4,6
/proc/11186/task/11199/stat : 11199 (java) S 11183 11186 2453 0 -1 1077944384 3805 0 0 0 79 0 0 0 20 0 16 0 1405813 10878976000 25480 18446744073709551615 4194304 4196468 140733651631024 140251477535216 140251986557570 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35037184 140733651632595 140733651632724 140733651632724 140733651636175 0
[pid=11186/tid=11200] ppid=11183 vsize=10624000 CPUtime=0.41 cores=0,2,4,6
/proc/11186/task/11200/stat : 11200 (java) S 11183 11186 2453 0 -1 1077944384 3343 0 0 0 41 0 0 0 20 0 16 0 1405813 10878976000 25480 18446744073709551615 4194304 4196468 140733651631024 140251476482928 140251986557570 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35037184 140733651632595 140733651632724 140733651632724 140733651636175 0
[pid=11186/tid=11201] ppid=11183 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/11186/task/11201/stat : 11201 (java) S 11183 11186 2453 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 1405814 10878976000 25480 18446744073709551615 4194304 4196468 140733651631024 140251475430368 140251986556629 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35037184 140733651632595 140733651632724 140733651632724 140733651636175 0
[pid=11186/tid=11203] ppid=11183 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/11186/task/11203/stat : 11203 (java) S 11183 11186 2453 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 16 0 1405823 10878976000 25480 18446744073709551615 4194304 4196468 140733651631024 140251474377136 140251986557570 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35037184 140733651632595 140733651632724 140733651632724 140733651636175 0
[pid=11186/tid=11217] ppid=11183 vsize=10624000 CPUtime=7.55 cores=0,2,4,6
/proc/11186/task/11217/stat : 11217 (java) R 11183 11186 2453 0 -1 4202560 7111 0 0 0 752 3 0 0 20 0 16 0 1405856 10878976000 25480 18446744073709551615 4194304 4196468 140733651631024 140251471184168 140251632189064 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35037184 140733651632595 140733651632724 140733651632724 140733651636175 0
Current children cumulated CPU time (s) 9.88
Current children cumulated vsize (KiB) 10624000
[startup+8.90065 s]
/proc/loadavg: 1.83 1.61 1.58 3/211 11232
/proc/meminfo: memFree=31601740/32770624 swapFree=0/295832
[pid=11186] ppid=11183 vsize=10624000 CPUtime=10.69 cores=0,2,4,6
/proc/11186/stat : 11186 (java) S 11183 11186 2453 0 -1 1077944320 26595 0 0 0 1060 9 0 0 20 0 16 0 1405803 10878976000 25480 18446744073709551615 4194304 4196468 140733651631024 140733651613568 140251986546423 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 4 0 0 6293624 6294260 35037184 140733651632595 140733651632724 140733651632724 140733651636175 0
/proc/11186/statm: 2656000 25480 3106 1 0 2644926 0
[pid=11186/tid=11189] ppid=11183 vsize=10624000 CPUtime=0.21 cores=0,2,4,6
/proc/11186/task/11189/stat : 11189 (java) S 11183 11186 2453 0 -1 1077944384 6240 0 0 0 19 2 0 0 20 0 16 0 1405808 10878976000 25480 18446744073709551615 4194304 4196468 140733651631024 140251990789296 140251986556629 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 24 0 0 6293624 6294260 35037184 140733651632595 140733651632724 140733651632724 140733651636175 0
[pid=11186/tid=11190] ppid=11183 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/11186/task/11190/stat : 11190 (java) S 11183 11186 2453 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 1405809 10878976000 25480 18446744073709551615 4194304 4196468 140733651631024 140251597659024 140251986556629 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35037184 140733651632595 140733651632724 140733651632724 140733651636175 0
[pid=11186/tid=11191] ppid=11183 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/11186/task/11191/stat : 11191 (java) S 11183 11186 2453 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 1405809 10878976000 25480 18446744073709551615 4194304 4196468 140733651631024 140251596606224 140251986556629 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35037184 140733651632595 140733651632724 140733651632724 140733651636175 0
[pid=11186/tid=11192] ppid=11183 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/11186/task/11192/stat : 11192 (java) S 11183 11186 2453 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 1405809 10878976000 25480 18446744073709551615 4194304 4196468 140733651631024 140251595553936 140251986556629 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35037184 140733651632595 140733651632724 140733651632724 140733651636175 0
[pid=11186/tid=11193] ppid=11183 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/11186/task/11193/stat : 11193 (java) S 11183 11186 2453 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 16 0 1405809 10878976000 25480 18446744073709551615 4194304 4196468 140733651631024 140251594501136 140251986556629 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35037184 140733651632595 140733651632724 140733651632724 140733651636175 0
[pid=11186/tid=11194] ppid=11183 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/11186/task/11194/stat : 11194 (java) S 11183 11186 2453 0 -1 1077944384 214 0 0 0 0 0 0 0 20 0 16 0 1405810 10878976000 25480 18446744073709551615 4194304 4196468 140733651631024 140251482798192 140251986557570 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35037184 140733651632595 140733651632724 140733651632724 140733651636175 0
[pid=11186/tid=11195] ppid=11183 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/11186/task/11195/stat : 11195 (java) S 11183 11186 2453 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 16 0 1405811 10878976000 25480 18446744073709551615 4194304 4196468 140733651631024 140251481744160 140251986556629 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35037184 140733651632595 140733651632724 140733651632724 140733651636175 0
[pid=11186/tid=11196] ppid=11183 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/11186/task/11196/stat : 11196 (java) S 11183 11186 2453 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 1405811 10878976000 25480 18446744073709551615 4194304 4196468 140733651631024 140251480691824 140251986556629 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35037184 140733651632595 140733651632724 140733651632724 140733651636175 0
[pid=11186/tid=11197] ppid=11183 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/11186/task/11197/stat : 11197 (java) S 11183 11186 2453 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 1405813 10878976000 25480 18446744073709551615 4194304 4196468 140733651631024 140251479640144 140251986565019 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35037184 140733651632595 140733651632724 140733651632724 140733651636175 0
[pid=11186/tid=11198] ppid=11183 vsize=10624000 CPUtime=0.86 cores=0,2,4,6
/proc/11186/task/11198/stat : 11198 (java) S 11183 11186 2453 0 -1 1077944384 4418 0 0 0 85 1 0 0 20 0 16 0 1405813 10878976000 25480 18446744073709551615 4194304 4196468 140733651631024 140251478588016 140251986557570 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35037184 140733651632595 140733651632724 140733651632724 140733651636175 0
[pid=11186/tid=11199] ppid=11183 vsize=10624000 CPUtime=0.79 cores=0,2,4,6
/proc/11186/task/11199/stat : 11199 (java) S 11183 11186 2453 0 -1 1077944384 3805 0 0 0 79 0 0 0 20 0 16 0 1405813 10878976000 25480 18446744073709551615 4194304 4196468 140733651631024 140251477535216 140251986557570 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35037184 140733651632595 140733651632724 140733651632724 140733651636175 0
[pid=11186/tid=11200] ppid=11183 vsize=10624000 CPUtime=0.41 cores=0,2,4,6
/proc/11186/task/11200/stat : 11200 (java) S 11183 11186 2453 0 -1 1077944384 3369 0 0 0 41 0 0 0 20 0 16 0 1405813 10878976000 25480 18446744073709551615 4194304 4196468 140733651631024 140251476482928 140251986557570 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35037184 140733651632595 140733651632724 140733651632724 140733651636175 0
[pid=11186/tid=11201] ppid=11183 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/11186/task/11201/stat : 11201 (java) S 11183 11186 2453 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 1405814 10878976000 25480 18446744073709551615 4194304 4196468 140733651631024 140251475430368 140251986556629 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35037184 140733651632595 140733651632724 140733651632724 140733651636175 0
[pid=11186/tid=11203] ppid=11183 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/11186/task/11203/stat : 11203 (java) S 11183 11186 2453 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 16 0 1405823 10878976000 25480 18446744073709551615 4194304 4196468 140733651631024 140251474377136 140251986557570 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35037184 140733651632595 140733651632724 140733651632724 140733651636175 0
[pid=11186/tid=11217] ppid=11183 vsize=10624000 CPUtime=8.36 cores=0,2,4,6
/proc/11186/task/11217/stat : 11217 (java) R 11183 11186 2453 0 -1 4202560 7115 0 0 0 833 3 0 0 20 0 16 0 1405856 10878976000 25480 18446744073709551615 4194304 4196468 140733651631024 140251471185496 140251631806090 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35037184 140733651632595 140733651632724 140733651632724 140733651636175 0
Current children cumulated CPU time (s) 10.69
Current children cumulated vsize (KiB) 10624000
[startup+9.10067 s]
/proc/loadavg: 1.83 1.61 1.58 3/211 11232
/proc/meminfo: memFree=31601740/32770624 swapFree=0/295832
[pid=11186] ppid=11183 vsize=10624000 CPUtime=10.89 cores=0,2,4,6
/proc/11186/stat : 11186 (java) S 11183 11186 2453 0 -1 1077944320 26858 0 0 0 1080 9 0 0 20 0 16 0 1405803 10878976000 25480 18446744073709551615 4194304 4196468 140733651631024 140733651613568 140251986546423 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 4 0 0 6293624 6294260 35037184 140733651632595 140733651632724 140733651632724 140733651636175 0
/proc/11186/statm: 2656000 25480 3106 1 0 2644926 0
[pid=11186/tid=11189] ppid=11183 vsize=10624000 CPUtime=0.21 cores=0,2,4,6
/proc/11186/task/11189/stat : 11189 (java) S 11183 11186 2453 0 -1 1077944384 6240 0 0 0 19 2 0 0 20 0 16 0 1405808 10878976000 25480 18446744073709551615 4194304 4196468 140733651631024 140251990789296 140251986556629 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 24 0 0 6293624 6294260 35037184 140733651632595 140733651632724 140733651632724 140733651636175 0
[pid=11186/tid=11190] ppid=11183 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/11186/task/11190/stat : 11190 (java) S 11183 11186 2453 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 1405809 10878976000 25480 18446744073709551615 4194304 4196468 140733651631024 140251597659024 140251986556629 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35037184 140733651632595 140733651632724 140733651632724 140733651636175 0
[pid=11186/tid=11191] ppid=11183 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/11186/task/11191/stat : 11191 (java) S 11183 11186 2453 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 1405809 10878976000 25480 18446744073709551615 4194304 4196468 140733651631024 140251596606224 140251986556629 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35037184 140733651632595 140733651632724 140733651632724 140733651636175 0
[pid=11186/tid=11192] ppid=11183 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/11186/task/11192/stat : 11192 (java) S 11183 11186 2453 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 1405809 10878976000 25480 18446744073709551615 4194304 4196468 140733651631024 140251595553936 140251986556629 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35037184 140733651632595 140733651632724 140733651632724 140733651636175 0
[pid=11186/tid=11193] ppid=11183 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/11186/task/11193/stat : 11193 (java) S 11183 11186 2453 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 16 0 1405809 10878976000 25480 18446744073709551615 4194304 4196468 140733651631024 140251594501136 140251986556629 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35037184 140733651632595 140733651632724 140733651632724 140733651636175 0
[pid=11186/tid=11194] ppid=11183 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/11186/task/11194/stat : 11194 (java) S 11183 11186 2453 0 -1 1077944384 214 0 0 0 0 0 0 0 20 0 16 0 1405810 10878976000 25480 18446744073709551615 4194304 4196468 140733651631024 140251482798192 140251986557570 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35037184 140733651632595 140733651632724 140733651632724 140733651636175 0
[pid=11186/tid=11195] ppid=11183 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/11186/task/11195/stat : 11195 (java) S 11183 11186 2453 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 16 0 1405811 10878976000 25480 18446744073709551615 4194304 4196468 140733651631024 140251481744160 140251986556629 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35037184 140733651632595 140733651632724 140733651632724 140733651636175 0
[pid=11186/tid=11196] ppid=11183 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/11186/task/11196/stat : 11196 (java) S 11183 11186 2453 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 1405811 10878976000 25480 18446744073709551615 4194304 4196468 140733651631024 140251480691824 140251986556629 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35037184 140733651632595 140733651632724 140733651632724 140733651636175 0
[pid=11186/tid=11197] ppid=11183 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/11186/task/11197/stat : 11197 (java) S 11183 11186 2453 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 1405813 10878976000 25480 18446744073709551615 4194304 4196468 140733651631024 140251479640144 140251986565019 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35037184 140733651632595 140733651632724 140733651632724 140733651636175 0
[pid=11186/tid=11198] ppid=11183 vsize=10624000 CPUtime=0.86 cores=0,2,4,6
/proc/11186/task/11198/stat : 11198 (java) S 11183 11186 2453 0 -1 1077944384 4418 0 0 0 85 1 0 0 20 0 16 0 1405813 10878976000 25480 18446744073709551615 4194304 4196468 140733651631024 140251478588016 140251986557570 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35037184 140733651632595 140733651632724 140733651632724 140733651636175 0
[pid=11186/tid=11199] ppid=11183 vsize=10624000 CPUtime=0.79 cores=0,2,4,6
/proc/11186/task/11199/stat : 11199 (java) S 11183 11186 2453 0 -1 1077944384 3805 0 0 0 79 0 0 0 20 0 16 0 1405813 10878976000 25480 18446744073709551615 4194304 4196468 140733651631024 140251477535216 140251986557570 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35037184 140733651632595 140733651632724 140733651632724 140733651636175 0
[pid=11186/tid=11200] ppid=11183 vsize=10624000 CPUtime=0.41 cores=0,2,4,6
/proc/11186/task/11200/stat : 11200 (java) S 11183 11186 2453 0 -1 1077944384 3369 0 0 0 41 0 0 0 20 0 16 0 1405813 10878976000 25480 18446744073709551615 4194304 4196468 140733651631024 140251476482928 140251986557570 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35037184 140733651632595 140733651632724 140733651632724 140733651636175 0
[pid=11186/tid=11201] ppid=11183 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/11186/task/11201/stat : 11201 (java) S 11183 11186 2453 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 1405814 10878976000 25480 18446744073709551615 4194304 4196468 140733651631024 140251475430368 140251986556629 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35037184 140733651632595 140733651632724 140733651632724 140733651636175 0
[pid=11186/tid=11203] ppid=11183 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/11186/task/11203/stat : 11203 (java) S 11183 11186 2453 0 -1 1077944384 102 0 0 0 0 0 0 0 20 0 16 0 1405823 10878976000 25480 18446744073709551615 4194304 4196468 140733651631024 140251474377136 140251986557570 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35037184 140733651632595 140733651632724 140733651632724 140733651636175 0
[pid=11186/tid=11217] ppid=11183 vsize=10624000 CPUtime=8.55 cores=0,2,4,6
/proc/11186/task/11217/stat : 11217 (java) R 11183 11186 2453 0 -1 4202560 7348 0 0 0 852 3 0 0 20 0 16 0 1405856 10878976000 25480 18446744073709551615 4194304 4196468 140733651631024 140251471185496 140251632189587 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35037184 140733651632595 140733651632724 140733651632724 140733651636175 0
Current children cumulated CPU time (s) 10.89
Current children cumulated vsize (KiB) 10624000
Child status: 0
Real time (s): 9.15585
CPU time (s): 10.9517
CPU user time (s): 10.854
CPU system time (s): 0.097729
CPU usage (%): 119.615
Max. virtual memory (cumulated for all children) (KiB): 10624000
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 10.854
system time used= 0.097729
maximum resident set size= 104200
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 28097
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2557
involuntary context switches= 35
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.046718 second user time and 0.050841 second system time
The end