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-4257804-1501645909/watcher-4257804-1501645909 -o /tmp/evaluation-result-4257804-1501645909/solver-4257804-1501645909 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node131-1501638784-27505 --watchdog 300 java -jar HOME/AbsCon-basic.jar HOME/instance-4257804-1501645909.xml
pid=32193
running on 4 cores: 1,3,5,7
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.68 1.83 1.94 3/195 32196
/proc/meminfo: memFree=31673208/32770624 swapFree=0/220980
[pid=32196] ppid=32193 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/32196/stat : 32196 (runsolver) D 32193 32196 5131 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 13211146 24240128 106 18446744073709551615 4194304 4338465 140722330397648 140722330395288 140548858184407 0 0 1 24578 18446744071580418449 0 0 17 3 0 0 0 0 0 6438912 6441760 30822400 140722330402975 140722330403398 140722330403398 140722330406858 0
/proc/32196/statm: 5918 106 53 36 0 2156 0
[startup+0.109982 s]
/proc/loadavg: 1.68 1.83 1.94 3/195 32196
/proc/meminfo: memFree=31673208/32770624 swapFree=0/220980
[pid=32196] ppid=32193 vsize=10151672 CPUtime=0.02 cores=1,3,5,7
/proc/32196/stat : 32196 (java) S 32193 32196 5131 0 -1 1077944320 4107 0 0 0 2 0 0 0 20 0 9 0 13211146 10395312128 5256 18446744073709551615 4194304 4196468 140734590372432 140734590354976 139626703773431 0 0 1 16784584 18446744073709551615 0 0 17 5 0 0 7 0 0 6293624 6294260 14311424 140734590378442 140734590378571 140734590378571 140734590382031 0
/proc/32196/statm: 2537918 5256 2103 1 0 2527423 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 10151672
[startup+0.200766 s]
/proc/loadavg: 1.68 1.83 1.94 3/195 32196
/proc/meminfo: memFree=31673208/32770624 swapFree=0/220980
[pid=32196] ppid=32193 vsize=10551180 CPUtime=0.08 cores=1,3,5,7
/proc/32196/stat : 32196 (java) S 32193 32196 5131 0 -1 1077944320 5199 0 0 0 7 1 0 0 20 0 15 0 13211146 10804408320 6704 18446744073709551615 4194304 4196468 140734590372432 140734590354976 139626703773431 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 7 0 0 6293624 6294260 14311424 140734590378442 140734590378571 140734590378571 140734590382031 0
/proc/32196/statm: 2637795 6704 2662 1 0 2627269 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 10551180
[startup+0.300242 s]
/proc/loadavg: 1.68 1.83 1.94 3/195 32196
/proc/meminfo: memFree=31673208/32770624 swapFree=0/220980
[pid=32196] ppid=32193 vsize=10553264 CPUtime=0.26 cores=1,3,5,7
/proc/32196/stat : 32196 (java) S 32193 32196 5131 0 -1 1077944320 8939 0 0 0 23 3 0 0 20 0 15 0 13211146 10806542336 9729 18446744073709551615 4194304 4196468 140734590372432 140734590354976 139626703773431 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 7 0 0 6293624 6294260 14311424 140734590378442 140734590378571 140734590378571 140734590382031 0
/proc/32196/statm: 2638316 9729 2896 1 0 2627269 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 10553264
[startup+0.700178 s]
/proc/loadavg: 1.68 1.83 1.94 3/195 32196
/proc/meminfo: memFree=31673208/32770624 swapFree=0/220980
[pid=32196] ppid=32193 vsize=10621952 CPUtime=1.1 cores=1,3,5,7
/proc/32196/stat : 32196 (java) S 32193 32196 5131 0 -1 1077944320 13238 0 0 0 105 5 0 0 20 0 16 0 13211146 10876878848 21533 18446744073709551615 4194304 4196468 140734590372432 140734590354976 139626703773431 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 7 0 0 6293624 6294260 14311424 140734590378442 140734590378571 140734590378571 140734590382031 0
/proc/32196/statm: 2655488 21533 3076 1 0 2644422 0
Current children cumulated CPU time (s) 1.1
Current children cumulated vsize (KiB) 10621952
[startup+1.50068 s]
/proc/loadavg: 1.68 1.83 1.94 5/211 32212
/proc/meminfo: memFree=31568396/32770624 swapFree=0/220996
[pid=32196] ppid=32193 vsize=10624000 CPUtime=3.58 cores=1,3,5,7
/proc/32196/stat : 32196 (java) S 32193 32196 5131 0 -1 1077944320 27912 0 0 0 350 8 0 0 20 0 16 0 13211146 10878976000 32006 18446744073709551615 4194304 4196468 140734590372432 140734590354976 139626703773431 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 7 0 0 6293624 6294260 14311424 140734590378442 140734590378571 140734590378571 140734590382031 0
/proc/32196/statm: 2656000 32006 3092 1 0 2644934 0
[pid=32196/tid=32198] ppid=32193 vsize=10624000 CPUtime=0.21 cores=1,3,5,7
/proc/32196/task/32198/stat : 32198 (java) S 32193 32196 5131 0 -1 1077944384 6200 0 0 0 19 2 0 0 20 0 16 0 13211153 10878976000 32006 18446744073709551615 4194304 4196468 140734590372432 139626708016304 139626703783637 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 5 0 0 6293624 6294260 14311424 140734590378442 140734590378571 140734590378571 140734590382031 0
[pid=32196/tid=32199] ppid=32193 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/32196/task/32199/stat : 32199 (java) S 32193 32196 5131 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 16 0 13211154 10878976000 32006 18446744073709551615 4194304 4196468 140734590372432 139626644810384 139626703783637 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14311424 140734590378442 140734590378571 140734590378571 140734590382031 0
[pid=32196/tid=32200] ppid=32193 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/32196/task/32200/stat : 32200 (java) S 32193 32196 5131 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 16 0 13211154 10878976000 32006 18446744073709551615 4194304 4196468 140734590372432 139626643757584 139626703783637 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14311424 140734590378442 140734590378571 140734590378571 140734590382031 0
[pid=32196/tid=32201] ppid=32193 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/32196/task/32201/stat : 32201 (java) S 32193 32196 5131 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 13211154 10878976000 32006 18446744073709551615 4194304 4196468 140734590372432 139626642704784 139626703783637 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14311424 140734590378442 140734590378571 140734590378571 140734590382031 0
[pid=32196/tid=32202] ppid=32193 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/32196/task/32202/stat : 32202 (java) S 32193 32196 5131 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 16 0 13211154 10878976000 32006 18446744073709551615 4194304 4196468 140734590372432 139626641651984 139626703783637 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14311424 140734590378442 140734590378571 140734590378571 140734590382031 0
[pid=32196/tid=32203] ppid=32193 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/32196/task/32203/stat : 32203 (java) S 32193 32196 5131 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 16 0 13211155 10878976000 32006 18446744073709551615 4194304 4196468 140734590372432 139626065718128 139626703784578 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14311424 140734590378442 140734590378571 140734590378571 140734590382031 0
[pid=32196/tid=32204] ppid=32193 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/32196/task/32204/stat : 32204 (java) S 32193 32196 5131 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 16 0 13211155 10878976000 32006 18446744073709551615 4194304 4196468 140734590372432 139626064664096 139626703783637 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14311424 140734590378442 140734590378571 140734590378571 140734590382031 0
[pid=32196/tid=32205] ppid=32193 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/32196/task/32205/stat : 32205 (java) S 32193 32196 5131 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 13211156 10878976000 32006 18446744073709551615 4194304 4196468 140734590372432 139626063611248 139626703783637 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14311424 140734590378442 140734590378571 140734590378571 140734590382031 0
[pid=32196/tid=32206] ppid=32193 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/32196/task/32206/stat : 32206 (java) S 32193 32196 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 13211158 10878976000 32006 18446744073709551615 4194304 4196468 140734590372432 139626062559568 139626703792027 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14311424 140734590378442 140734590378571 140734590378571 140734590382031 0
[pid=32196/tid=32207] ppid=32193 vsize=10624000 CPUtime=0.92 cores=1,3,5,7
/proc/32196/task/32207/stat : 32207 (java) R 32193 32196 5131 0 -1 4202560 7072 0 0 0 91 1 0 0 20 0 16 0 13211158 10878976000 32006 18446744073709551615 4194304 4196468 140734590372432 139626061487944 139626688890588 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14311424 140734590378442 140734590378571 140734590378571 140734590382031 0
[pid=32196/tid=32208] ppid=32193 vsize=10624000 CPUtime=0.88 cores=1,3,5,7
/proc/32196/task/32208/stat : 32208 (java) R 32193 32196 5131 0 -1 4202560 4908 0 0 0 88 0 0 0 20 0 16 0 13211158 10878976000 32006 18446744073709551615 4194304 4196468 140734590372432 139626060435144 139626696062813 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14311424 140734590378442 140734590378571 140734590378571 140734590382031 0
[pid=32196/tid=32209] ppid=32193 vsize=10624000 CPUtime=0.39 cores=1,3,5,7
/proc/32196/task/32209/stat : 32209 (java) S 32193 32196 5131 0 -1 1077944384 2322 0 0 0 39 0 0 0 20 0 16 0 13211158 10878976000 32006 18446744073709551615 4194304 4196468 140734590372432 139626059401328 139626703784578 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14311424 140734590378442 140734590378571 140734590378571 140734590382031 0
[pid=32196/tid=32210] ppid=32193 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/32196/task/32210/stat : 32210 (java) S 32193 32196 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 13211158 10878976000 32006 18446744073709551615 4194304 4196468 140734590372432 139626058348768 139626703783637 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14311424 140734590378442 140734590378571 140734590378571 140734590382031 0
[pid=32196/tid=32211] ppid=32193 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/32196/task/32211/stat : 32211 (java) S 32193 32196 5131 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 16 0 13211164 10878976000 32006 18446744073709551615 4194304 4196468 140734590372432 139626057297072 139626703784578 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14311424 140734590378442 140734590378571 140734590378571 140734590382031 0
[pid=32196/tid=32212] ppid=32193 vsize=10624000 CPUtime=1.14 cores=1,3,5,7
/proc/32196/task/32212/stat : 32212 (java) R 32193 32196 5131 0 -1 4202560 6040 0 0 0 111 3 0 0 20 0 16 0 13211180 10878976000 32006 18446744073709551615 4194304 4196468 140734590372432 139626054099072 139626320494462 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14311424 140734590378442 140734590378571 140734590378571 140734590382031 0
Current children cumulated CPU time (s) 3.58
Current children cumulated vsize (KiB) 10624000
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 32196 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1.60084 s]
/proc/loadavg: 1.68 1.83 1.94 5/211 32212
/proc/meminfo: memFree=31568396/32770624 swapFree=0/220996
[pid=32196] ppid=32193 vsize=10624000 CPUtime=3.88 cores=1,3,5,7
/proc/32196/stat : 32196 (java) S 32193 32196 5131 0 -1 1077944320 29038 0 0 0 380 8 0 0 20 0 16 0 13211146 10878976000 33027 18446744073709551615 4194304 4196468 140734590372432 140734590354976 139626703773431 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 7 0 0 6293624 6294260 14311424 140734590378442 140734590378571 140734590378571 140734590382031 0
/proc/32196/statm: 2656000 33027 3094 1 0 2644934 0
[pid=32196/tid=32198] ppid=32193 vsize=10624000 CPUtime=0.21 cores=1,3,5,7
/proc/32196/task/32198/stat : 32198 (java) S 32193 32196 5131 0 -1 1077944384 6200 0 0 0 19 2 0 0 20 0 16 0 13211153 10878976000 33027 18446744073709551615 4194304 4196468 140734590372432 139626708016304 139626703783637 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 5 0 0 6293624 6294260 14311424 140734590378442 140734590378571 140734590378571 140734590382031 0
[pid=32196/tid=32199] ppid=32193 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/32196/task/32199/stat : 32199 (java) S 32193 32196 5131 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 16 0 13211154 10878976000 33027 18446744073709551615 4194304 4196468 140734590372432 139626644810384 139626703783637 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14311424 140734590378442 140734590378571 140734590378571 140734590382031 0
[pid=32196/tid=32200] ppid=32193 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/32196/task/32200/stat : 32200 (java) S 32193 32196 5131 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 16 0 13211154 10878976000 33027 18446744073709551615 4194304 4196468 140734590372432 139626643757584 139626703783637 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14311424 140734590378442 140734590378571 140734590378571 140734590382031 0
[pid=32196/tid=32201] ppid=32193 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/32196/task/32201/stat : 32201 (java) S 32193 32196 5131 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 13211154 10878976000 33027 18446744073709551615 4194304 4196468 140734590372432 139626642704784 139626703783637 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14311424 140734590378442 140734590378571 140734590378571 140734590382031 0
[pid=32196/tid=32202] ppid=32193 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/32196/task/32202/stat : 32202 (java) S 32193 32196 5131 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 16 0 13211154 10878976000 33027 18446744073709551615 4194304 4196468 140734590372432 139626641651984 139626703783637 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14311424 140734590378442 140734590378571 140734590378571 140734590382031 0
[pid=32196/tid=32203] ppid=32193 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/32196/task/32203/stat : 32203 (java) S 32193 32196 5131 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 16 0 13211155 10878976000 33027 18446744073709551615 4194304 4196468 140734590372432 139626065718128 139626703784578 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14311424 140734590378442 140734590378571 140734590378571 140734590382031 0
[pid=32196/tid=32204] ppid=32193 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/32196/task/32204/stat : 32204 (java) S 32193 32196 5131 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 16 0 13211155 10878976000 33027 18446744073709551615 4194304 4196468 140734590372432 139626064664096 139626703783637 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14311424 140734590378442 140734590378571 140734590378571 140734590382031 0
[pid=32196/tid=32205] ppid=32193 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/32196/task/32205/stat : 32205 (java) S 32193 32196 5131 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 13211156 10878976000 33027 18446744073709551615 4194304 4196468 140734590372432 139626063611248 139626703783637 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14311424 140734590378442 140734590378571 140734590378571 140734590382031 0
[pid=32196/tid=32206] ppid=32193 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/32196/task/32206/stat : 32206 (java) S 32193 32196 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 13211158 10878976000 33027 18446744073709551615 4194304 4196468 140734590372432 139626062559568 139626703792027 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14311424 140734590378442 140734590378571 140734590378571 140734590382031 0
[pid=32196/tid=32207] ppid=32193 vsize=10624000 CPUtime=1.02 cores=1,3,5,7
/proc/32196/task/32207/stat : 32207 (java) R 32193 32196 5131 0 -1 4202560 7746 0 0 0 101 1 0 0 20 0 16 0 13211158 10878976000 33027 18446744073709551615 4194304 4196468 140734590372432 139626061487944 139626685317631 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14311424 140734590378442 140734590378571 140734590378571 140734590382031 0
[pid=32196/tid=32208] ppid=32193 vsize=10624000 CPUtime=0.99 cores=1,3,5,7
/proc/32196/task/32208/stat : 32208 (java) R 32193 32196 5131 0 -1 4202560 5294 0 0 0 98 1 0 0 20 0 16 0 13211158 10878976000 33027 18446744073709551615 4194304 4196468 140734590372432 139626060454256 139626688883501 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14311424 140734590378442 140734590378571 140734590378571 140734590382031 0
[pid=32196/tid=32209] ppid=32193 vsize=10624000 CPUtime=0.39 cores=1,3,5,7
/proc/32196/task/32209/stat : 32209 (java) S 32193 32196 5131 0 -1 1077944384 2335 0 0 0 39 0 0 0 20 0 16 0 13211158 10878976000 33027 18446744073709551615 4194304 4196468 140734590372432 139626059401328 139626703784578 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14311424 140734590378442 140734590378571 140734590378571 140734590382031 0
[pid=32196/tid=32210] ppid=32193 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/32196/task/32210/stat : 32210 (java) S 32193 32196 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 13211158 10878976000 33027 18446744073709551615 4194304 4196468 140734590372432 139626058348768 139626703783637 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14311424 140734590378442 140734590378571 140734590378571 140734590382031 0
[pid=32196/tid=32211] ppid=32193 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/32196/task/32211/stat : 32211 (java) S 32193 32196 5131 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 16 0 13211164 10878976000 33027 18446744073709551615 4194304 4196468 140734590372432 139626057297072 139626703784578 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14311424 140734590378442 140734590378571 140734590378571 140734590382031 0
[pid=32196/tid=32212] ppid=32193 vsize=10624000 CPUtime=1.24 cores=1,3,5,7
/proc/32196/task/32212/stat : 32212 (java) R 32193 32196 5131 0 -1 4202560 6049 0 0 0 121 3 0 0 20 0 16 0 13211180 10878976000 33027 18446744073709551615 4194304 4196468 140734590372432 139626054103056 139626321105963 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14311424 140734590378442 140734590378571 140734590378571 140734590382031 0
Current children cumulated CPU time (s) 3.88
Current children cumulated vsize (KiB) 10624000
[startup+1.80067 s]
/proc/loadavg: 1.68 1.83 1.94 5/211 32212
/proc/meminfo: memFree=31568396/32770624 swapFree=0/220996
[pid=32196] ppid=32193 vsize=10624000 CPUtime=4.49 cores=1,3,5,7
/proc/32196/stat : 32196 (java) S 32193 32196 5131 0 -1 1077944320 31784 0 0 0 440 9 0 0 20 0 16 0 13211146 10878976000 34692 18446744073709551615 4194304 4196468 140734590372432 140734590354976 139626703773431 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 7 0 0 6293624 6294260 14311424 140734590378442 140734590378571 140734590378571 140734590382031 0
/proc/32196/statm: 2656000 34692 3094 1 0 2644934 0
[pid=32196/tid=32198] ppid=32193 vsize=10624000 CPUtime=0.21 cores=1,3,5,7
/proc/32196/task/32198/stat : 32198 (java) S 32193 32196 5131 0 -1 1077944384 6200 0 0 0 19 2 0 0 20 0 16 0 13211153 10878976000 34692 18446744073709551615 4194304 4196468 140734590372432 139626708016304 139626703783637 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 5 0 0 6293624 6294260 14311424 140734590378442 140734590378571 140734590378571 140734590382031 0
[pid=32196/tid=32199] ppid=32193 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/32196/task/32199/stat : 32199 (java) S 32193 32196 5131 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 16 0 13211154 10878976000 34692 18446744073709551615 4194304 4196468 140734590372432 139626644810384 139626703783637 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14311424 140734590378442 140734590378571 140734590378571 140734590382031 0
[pid=32196/tid=32200] ppid=32193 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/32196/task/32200/stat : 32200 (java) S 32193 32196 5131 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 16 0 13211154 10878976000 34692 18446744073709551615 4194304 4196468 140734590372432 139626643757584 139626703783637 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14311424 140734590378442 140734590378571 140734590378571 140734590382031 0
[pid=32196/tid=32201] ppid=32193 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/32196/task/32201/stat : 32201 (java) S 32193 32196 5131 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 13211154 10878976000 34692 18446744073709551615 4194304 4196468 140734590372432 139626642704784 139626703783637 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14311424 140734590378442 140734590378571 140734590378571 140734590382031 0
[pid=32196/tid=32202] ppid=32193 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/32196/task/32202/stat : 32202 (java) S 32193 32196 5131 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 16 0 13211154 10878976000 34692 18446744073709551615 4194304 4196468 140734590372432 139626641651984 139626703783637 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14311424 140734590378442 140734590378571 140734590378571 140734590382031 0
[pid=32196/tid=32203] ppid=32193 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/32196/task/32203/stat : 32203 (java) S 32193 32196 5131 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 16 0 13211155 10878976000 34692 18446744073709551615 4194304 4196468 140734590372432 139626065718128 139626703784578 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14311424 140734590378442 140734590378571 140734590378571 140734590382031 0
[pid=32196/tid=32204] ppid=32193 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/32196/task/32204/stat : 32204 (java) S 32193 32196 5131 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 16 0 13211155 10878976000 34692 18446744073709551615 4194304 4196468 140734590372432 139626064664096 139626703783637 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14311424 140734590378442 140734590378571 140734590378571 140734590382031 0
[pid=32196/tid=32205] ppid=32193 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/32196/task/32205/stat : 32205 (java) S 32193 32196 5131 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 13211156 10878976000 34692 18446744073709551615 4194304 4196468 140734590372432 139626063611248 139626703783637 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14311424 140734590378442 140734590378571 140734590378571 140734590382031 0
[pid=32196/tid=32206] ppid=32193 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/32196/task/32206/stat : 32206 (java) S 32193 32196 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 13211158 10878976000 34692 18446744073709551615 4194304 4196468 140734590372432 139626062559568 139626703792027 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14311424 140734590378442 140734590378571 140734590378571 140734590382031 0
[pid=32196/tid=32207] ppid=32193 vsize=10624000 CPUtime=1.22 cores=1,3,5,7
/proc/32196/task/32207/stat : 32207 (java) S 32193 32196 5131 0 -1 1077944384 9369 0 0 0 121 1 0 0 20 0 16 0 13211158 10878976000 34692 18446744073709551615 4194304 4196468 140734590372432 139626061506928 139626703784578 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14311424 140734590378442 140734590378571 140734590378571 140734590382031 0
[pid=32196/tid=32208] ppid=32193 vsize=10624000 CPUtime=1.19 cores=1,3,5,7
/proc/32196/task/32208/stat : 32208 (java) R 32193 32196 5131 0 -1 4202560 6362 0 0 0 118 1 0 0 20 0 16 0 13211158 10878976000 34692 18446744073709551615 4194304 4196468 140734590372432 139626060439848 139626686985131 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14311424 140734590378442 140734590378571 140734590378571 140734590382031 0
[pid=32196/tid=32209] ppid=32193 vsize=10624000 CPUtime=0.4 cores=1,3,5,7
/proc/32196/task/32209/stat : 32209 (java) S 32193 32196 5131 0 -1 1077944384 2377 0 0 0 40 0 0 0 20 0 16 0 13211158 10878976000 34692 18446744073709551615 4194304 4196468 140734590372432 139626059401328 139626703784578 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14311424 140734590378442 140734590378571 140734590378571 140734590382031 0
[pid=32196/tid=32210] ppid=32193 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/32196/task/32210/stat : 32210 (java) S 32193 32196 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 13211158 10878976000 34692 18446744073709551615 4194304 4196468 140734590372432 139626058348768 139626703783637 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14311424 140734590378442 140734590378571 140734590378571 140734590382031 0
[pid=32196/tid=32211] ppid=32193 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/32196/task/32211/stat : 32211 (java) S 32193 32196 5131 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 16 0 13211164 10878976000 34692 18446744073709551615 4194304 4196468 140734590372432 139626057297072 139626703784578 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14311424 140734590378442 140734590378571 140734590378571 140734590382031 0
[pid=32196/tid=32212] ppid=32193 vsize=10624000 CPUtime=1.44 cores=1,3,5,7
/proc/32196/task/32212/stat : 32212 (java) R 32193 32196 5131 0 -1 4202560 6062 0 0 0 141 3 0 0 20 0 16 0 13211180 10878976000 34692 18446744073709551615 4194304 4196468 140734590372432 139626054103056 139626321275114 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14311424 140734590378442 140734590378571 140734590378571 140734590382031 0
Current children cumulated CPU time (s) 4.49
Current children cumulated vsize (KiB) 10624000
[startup+1.90066 s]
/proc/loadavg: 1.68 1.83 1.94 5/211 32212
/proc/meminfo: memFree=31568396/32770624 swapFree=0/220996
[pid=32196] ppid=32193 vsize=10624000 CPUtime=4.6 cores=1,3,5,7
/proc/32196/stat : 32196 (java) S 32193 32196 5131 0 -1 1077944320 31794 0 0 0 451 9 0 0 20 0 16 0 13211146 10878976000 35204 18446744073709551615 4194304 4196468 140734590372432 140734590354976 139626703773431 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 7 0 0 6293624 6294260 14311424 140734590378442 140734590378571 140734590378571 140734590382031 0
/proc/32196/statm: 2656000 35204 3094 1 0 2644934 0
[pid=32196/tid=32198] ppid=32193 vsize=10624000 CPUtime=0.21 cores=1,3,5,7
/proc/32196/task/32198/stat : 32198 (java) S 32193 32196 5131 0 -1 1077944384 6200 0 0 0 19 2 0 0 20 0 16 0 13211153 10878976000 35204 18446744073709551615 4194304 4196468 140734590372432 139626708016304 139626703783637 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 5 0 0 6293624 6294260 14311424 140734590378442 140734590378571 140734590378571 140734590382031 0
[pid=32196/tid=32199] ppid=32193 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/32196/task/32199/stat : 32199 (java) S 32193 32196 5131 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 16 0 13211154 10878976000 35204 18446744073709551615 4194304 4196468 140734590372432 139626644810384 139626703783637 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14311424 140734590378442 140734590378571 140734590378571 140734590382031 0
[pid=32196/tid=32200] ppid=32193 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/32196/task/32200/stat : 32200 (java) S 32193 32196 5131 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 16 0 13211154 10878976000 35204 18446744073709551615 4194304 4196468 140734590372432 139626643757584 139626703783637 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14311424 140734590378442 140734590378571 140734590378571 140734590382031 0
[pid=32196/tid=32201] ppid=32193 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/32196/task/32201/stat : 32201 (java) S 32193 32196 5131 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 13211154 10878976000 35204 18446744073709551615 4194304 4196468 140734590372432 139626642704784 139626703783637 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14311424 140734590378442 140734590378571 140734590378571 140734590382031 0
[pid=32196/tid=32202] ppid=32193 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/32196/task/32202/stat : 32202 (java) S 32193 32196 5131 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 16 0 13211154 10878976000 35204 18446744073709551615 4194304 4196468 140734590372432 139626641651984 139626703783637 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14311424 140734590378442 140734590378571 140734590378571 140734590382031 0
[pid=32196/tid=32203] ppid=32193 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/32196/task/32203/stat : 32203 (java) S 32193 32196 5131 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 16 0 13211155 10878976000 35204 18446744073709551615 4194304 4196468 140734590372432 139626065718128 139626703784578 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14311424 140734590378442 140734590378571 140734590378571 140734590382031 0
[pid=32196/tid=32204] ppid=32193 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/32196/task/32204/stat : 32204 (java) S 32193 32196 5131 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 16 0 13211155 10878976000 35204 18446744073709551615 4194304 4196468 140734590372432 139626064664096 139626703783637 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14311424 140734590378442 140734590378571 140734590378571 140734590382031 0
[pid=32196/tid=32205] ppid=32193 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/32196/task/32205/stat : 32205 (java) S 32193 32196 5131 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 13211156 10878976000 35204 18446744073709551615 4194304 4196468 140734590372432 139626063611248 139626703783637 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14311424 140734590378442 140734590378571 140734590378571 140734590382031 0
[pid=32196/tid=32206] ppid=32193 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/32196/task/32206/stat : 32206 (java) S 32193 32196 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 13211158 10878976000 35204 18446744073709551615 4194304 4196468 140734590372432 139626062559568 139626703792027 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14311424 140734590378442 140734590378571 140734590378571 140734590382031 0
[pid=32196/tid=32207] ppid=32193 vsize=10624000 CPUtime=1.22 cores=1,3,5,7
/proc/32196/task/32207/stat : 32207 (java) S 32193 32196 5131 0 -1 1077944384 9369 0 0 0 121 1 0 0 20 0 16 0 13211158 10878976000 35204 18446744073709551615 4194304 4196468 140734590372432 139626061506928 139626703784578 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14311424 140734590378442 140734590378571 140734590378571 140734590382031 0
[pid=32196/tid=32208] ppid=32193 vsize=10624000 CPUtime=1.19 cores=1,3,5,7
/proc/32196/task/32208/stat : 32208 (java) S 32193 32196 5131 0 -1 1077944384 6362 0 0 0 118 1 0 0 20 0 16 0 13211158 10878976000 35204 18446744073709551615 4194304 4196468 140734590372432 139626060454128 139626703784578 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14311424 140734590378442 140734590378571 140734590378571 140734590382031 0
[pid=32196/tid=32209] ppid=32193 vsize=10624000 CPUtime=0.4 cores=1,3,5,7
/proc/32196/task/32209/stat : 32209 (java) S 32193 32196 5131 0 -1 1077944384 2386 0 0 0 40 0 0 0 20 0 16 0 13211158 10878976000 35204 18446744073709551615 4194304 4196468 140734590372432 139626059401328 139626703784578 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14311424 140734590378442 140734590378571 140734590378571 140734590382031 0
[pid=32196/tid=32210] ppid=32193 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/32196/task/32210/stat : 32210 (java) S 32193 32196 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 13211158 10878976000 35204 18446744073709551615 4194304 4196468 140734590372432 139626058348768 139626703783637 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14311424 140734590378442 140734590378571 140734590378571 140734590382031 0
[pid=32196/tid=32211] ppid=32193 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/32196/task/32211/stat : 32211 (java) S 32193 32196 5131 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 16 0 13211164 10878976000 35204 18446744073709551615 4194304 4196468 140734590372432 139626057297072 139626703784578 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14311424 140734590378442 140734590378571 140734590378571 140734590382031 0
[pid=32196/tid=32212] ppid=32193 vsize=10624000 CPUtime=1.54 cores=1,3,5,7
/proc/32196/task/32212/stat : 32212 (java) R 32193 32196 5131 0 -1 4202560 6063 0 0 0 151 3 0 0 20 0 16 0 13211180 10878976000 35204 18446744073709551615 4194304 4196468 140734590372432 139626054103056 139626321275031 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14311424 140734590378442 140734590378571 140734590378571 140734590382031 0
Current children cumulated CPU time (s) 4.6
Current children cumulated vsize (KiB) 10624000
Child status: 0
Real time (s): 1.93308
CPU time (s): 4.64376
CPU user time (s): 4.54725
CPU system time (s): 0.096512
CPU usage (%): 240.226
Max. virtual memory (cumulated for all children) (KiB): 10624000
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4.54725
system time used= 0.096512
maximum resident set size= 143076
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 32004
page faults= 0
swaps= 0
block input operations= 0
block output operations= 8
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1969
involuntary context switches= 14
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.009376 second user time and 0.013724 second system time
The end