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-4257817-1501644981/watcher-4257817-1501644981 -o /tmp/evaluation-result-4257817-1501644981/solver-4257817-1501644981 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node134-1501642909-6627 --watchdog 300 java -jar HOME/AbsCon-basic.jar HOME/instance-4257817-1501644981.xml
pid=7863
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.96 2.04 1.96 4/198 7866
/proc/meminfo: memFree=31698044/32770624 swapFree=0/320212
[pid=7866] ppid=7863 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/7866/stat : 7866 (runsolver) D 7863 7866 5234 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 12003911 24240128 106 18446744073709551615 4194304 4338465 140726962685584 140726962683224 139747950142167 0 0 1 24578 18446744071580418449 0 0 17 7 0 0 0 0 0 6438912 6441760 39895040 140726962688160 140726962688582 140726962688582 140726962692042 0
/proc/7866/statm: 5918 106 53 36 0 2156 0
[startup+0.100108 s]
/proc/loadavg: 1.96 2.04 1.96 4/198 7866
/proc/meminfo: memFree=31698044/32770624 swapFree=0/320212
[pid=7866] ppid=7863 vsize=30188 CPUtime=0 cores=1,3,5,7
/proc/7866/stat : 7866 (java) R 7863 7866 5234 0 -1 4202496 791 0 0 0 0 0 0 0 20 0 1 0 12003911 30912512 608 18446744073709551615 4194304 4196468 140727448174416 140727448155112 139732938782331 0 0 1 0 0 0 0 17 1 0 0 9 0 0 6293624 6294260 26259456 140727448179146 140727448179275 140727448179275 140727448182735 0
/proc/7866/statm: 7547 608 467 1 0 159 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 30188
[startup+0.200229 s]
/proc/loadavg: 1.96 2.04 1.96 4/198 7866
/proc/meminfo: memFree=31698044/32770624 swapFree=0/320212
[pid=7866] ppid=7863 vsize=10551056 CPUtime=0.05 cores=1,3,5,7
/proc/7866/stat : 7866 (java) S 7863 7866 5234 0 -1 1077944320 4859 0 0 0 5 0 0 0 20 0 15 0 12003911 10804281344 5878 18446744073709551615 4194304 4196468 140727448174416 140727448156960 139732936560375 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 9 0 0 6293624 6294260 26259456 140727448179146 140727448179275 140727448179275 140727448182735 0
/proc/7866/statm: 2637764 5878 2567 1 0 2627269 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 10551056
[startup+0.309517 s]
/proc/loadavg: 1.96 2.04 1.96 4/198 7866
/proc/meminfo: memFree=31698044/32770624 swapFree=0/320212
[pid=7866] ppid=7863 vsize=10551180 CPUtime=0.24 cores=1,3,5,7
/proc/7866/stat : 7866 (java) S 7863 7866 5234 0 -1 1077944320 8802 0 0 0 22 2 0 0 20 0 15 0 12003911 10804408320 9668 18446744073709551615 4194304 4196468 140727448174416 140727448156960 139732936560375 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 9 0 0 6293624 6294260 26259456 140727448179146 140727448179275 140727448179275 140727448182735 0
/proc/7866/statm: 2637795 9668 2880 1 0 2627269 0
Current children cumulated CPU time (s) 0.24
Current children cumulated vsize (KiB) 10551180
[startup+0.700225 s]
/proc/loadavg: 1.96 2.04 1.96 4/198 7866
/proc/meminfo: memFree=31698044/32770624 swapFree=0/320212
[pid=7866] ppid=7863 vsize=10621952 CPUtime=1.17 cores=1,3,5,7
/proc/7866/stat : 7866 (java) S 7863 7866 5234 0 -1 1077944320 14035 0 0 0 112 5 0 0 20 0 16 0 12003911 10876878848 19268 18446744073709551615 4194304 4196468 140727448174416 140727448156960 139732936560375 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 9 0 0 6293624 6294260 26259456 140727448179146 140727448179275 140727448179275 140727448182735 0
/proc/7866/statm: 2655488 19268 3062 1 0 2644422 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 10621952
[startup+1.50067 s]
/proc/loadavg: 1.96 2.04 1.96 7/214 7882
/proc/meminfo: memFree=31521356/32770624 swapFree=0/320212
[pid=7866] ppid=7863 vsize=10624000 CPUtime=3.69 cores=1,3,5,7
/proc/7866/stat : 7866 (java) S 7863 7866 5234 0 -1 1077944320 30194 0 0 0 360 9 0 0 20 0 16 0 12003911 10878976000 35618 18446744073709551615 4194304 4196468 140727448174416 140727448156960 139732936560375 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 9 0 0 6293624 6294260 26259456 140727448179146 140727448179275 140727448179275 140727448182735 0
/proc/7866/statm: 2656000 35618 3097 1 0 2644934 0
[pid=7866/tid=7868] ppid=7863 vsize=10624000 CPUtime=0.21 cores=1,3,5,7
/proc/7866/task/7868/stat : 7868 (java) S 7863 7866 5234 0 -1 1077944384 6192 0 0 0 19 2 0 0 20 0 16 0 12003921 10878976000 35618 18446744073709551615 4194304 4196468 140727448174416 139732940803248 139732936570581 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 4 0 0 6293624 6294260 26259456 140727448179146 140727448179275 140727448179275 140727448182735 0
[pid=7866/tid=7869] ppid=7863 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/7866/task/7869/stat : 7869 (java) S 7863 7866 5234 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 12003922 10878976000 35618 18446744073709551615 4194304 4196468 140727448174416 139732877597584 139732936570581 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26259456 140727448179146 140727448179275 140727448179275 140727448182735 0
[pid=7866/tid=7870] ppid=7863 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/7866/task/7870/stat : 7870 (java) S 7863 7866 5234 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 12003922 10878976000 35618 18446744073709551615 4194304 4196468 140727448174416 139732876544784 139732936570581 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26259456 140727448179146 140727448179275 140727448179275 140727448182735 0
[pid=7866/tid=7871] ppid=7863 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/7866/task/7871/stat : 7871 (java) S 7863 7866 5234 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 12003922 10878976000 35618 18446744073709551615 4194304 4196468 140727448174416 139732875492496 139732936570581 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26259456 140727448179146 140727448179275 140727448179275 140727448182735 0
[pid=7866/tid=7872] ppid=7863 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/7866/task/7872/stat : 7872 (java) S 7863 7866 5234 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 16 0 12003922 10878976000 35618 18446744073709551615 4194304 4196468 140727448174416 139732874439696 139732936570581 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26259456 140727448179146 140727448179275 140727448179275 140727448182735 0
[pid=7866/tid=7873] ppid=7863 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/7866/task/7873/stat : 7873 (java) S 7863 7866 5234 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 16 0 12003923 10878976000 35618 18446744073709551615 4194304 4196468 140727448174416 139732432214128 139732936571522 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26259456 140727448179146 140727448179275 140727448179275 140727448182735 0
[pid=7866/tid=7874] ppid=7863 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/7866/task/7874/stat : 7874 (java) S 7863 7866 5234 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 16 0 12003924 10878976000 35618 18446744073709551615 4194304 4196468 140727448174416 139732431160096 139732936570581 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26259456 140727448179146 140727448179275 140727448179275 140727448182735 0
[pid=7866/tid=7875] ppid=7863 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/7866/task/7875/stat : 7875 (java) S 7863 7866 5234 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 12003924 10878976000 35618 18446744073709551615 4194304 4196468 140727448174416 139732430107760 139732936570581 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26259456 140727448179146 140727448179275 140727448179275 140727448182735 0
[pid=7866/tid=7876] ppid=7863 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/7866/task/7876/stat : 7876 (java) S 7863 7866 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 12003926 10878976000 35618 18446744073709551615 4194304 4196468 140727448174416 139732429056080 139732936578971 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26259456 140727448179146 140727448179275 140727448179275 140727448182735 0
[pid=7866/tid=7877] ppid=7863 vsize=10624000 CPUtime=0.9 cores=1,3,5,7
/proc/7866/task/7877/stat : 7877 (java) R 7863 7866 5234 0 -1 4202560 7243 0 0 0 90 0 0 0 20 0 16 0 12003926 10878976000 35618 18446744073709551615 4194304 4196468 140727448174416 139732427989416 139732914976552 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26259456 140727448179146 140727448179275 140727448179275 140727448182735 0
[pid=7866/tid=7878] ppid=7863 vsize=10624000 CPUtime=0.91 cores=1,3,5,7
/proc/7866/task/7878/stat : 7878 (java) R 7863 7866 5234 0 -1 4202560 6457 0 0 0 91 0 0 0 20 0 16 0 12003926 10878976000 35618 18446744073709551615 4194304 4196468 140727448174416 139732426938000 139732919971176 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26259456 140727448179146 140727448179275 140727448179275 140727448182735 0
[pid=7866/tid=7879] ppid=7863 vsize=10624000 CPUtime=0.5 cores=1,3,5,7
/proc/7866/task/7879/stat : 7879 (java) S 7863 7866 5234 0 -1 1077944384 2851 0 0 0 49 1 0 0 20 0 16 0 12003926 10878976000 35618 18446744073709551615 4194304 4196468 140727448174416 139732425898864 139732936571522 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26259456 140727448179146 140727448179275 140727448179275 140727448182735 0
[pid=7866/tid=7880] ppid=7863 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/7866/task/7880/stat : 7880 (java) S 7863 7866 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 12003926 10878976000 35618 18446744073709551615 4194304 4196468 140727448174416 139732424846304 139732936570581 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26259456 140727448179146 140727448179275 140727448179275 140727448182735 0
[pid=7866/tid=7881] ppid=7863 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/7866/task/7881/stat : 7881 (java) S 7863 7866 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 12003931 10878976000 35618 18446744073709551615 4194304 4196468 140727448174416 139732423793072 139732936571522 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26259456 140727448179146 140727448179275 140727448179275 140727448182735 0
[pid=7866/tid=7882] ppid=7863 vsize=10624000 CPUtime=1.12 cores=1,3,5,7
/proc/7866/task/7882/stat : 7882 (java) R 7863 7866 5234 0 -1 4202560 6081 0 0 0 109 3 0 0 20 0 16 0 12003948 10878976000 35618 18446744073709551615 4194304 4196468 140727448174416 139732420601456 139732555097416 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26259456 140727448179146 140727448179275 140727448179275 140727448182735 0
Current children cumulated CPU time (s) 3.69
Current children cumulated vsize (KiB) 10624000
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 7866 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1.60084 s]
/proc/loadavg: 1.96 2.04 1.96 7/214 7882
/proc/meminfo: memFree=31521356/32770624 swapFree=0/320212
[pid=7866] ppid=7863 vsize=10624000 CPUtime=3.99 cores=1,3,5,7
/proc/7866/stat : 7866 (java) S 7863 7866 5234 0 -1 1077944320 30569 0 0 0 390 9 0 0 20 0 16 0 12003911 10878976000 36136 18446744073709551615 4194304 4196468 140727448174416 140727448156960 139732936560375 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 9 0 0 6293624 6294260 26259456 140727448179146 140727448179275 140727448179275 140727448182735 0
/proc/7866/statm: 2656000 36136 3097 1 0 2644934 0
[pid=7866/tid=7868] ppid=7863 vsize=10624000 CPUtime=0.21 cores=1,3,5,7
/proc/7866/task/7868/stat : 7868 (java) S 7863 7866 5234 0 -1 1077944384 6192 0 0 0 19 2 0 0 20 0 16 0 12003921 10878976000 36136 18446744073709551615 4194304 4196468 140727448174416 139732940803248 139732936570581 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 4 0 0 6293624 6294260 26259456 140727448179146 140727448179275 140727448179275 140727448182735 0
[pid=7866/tid=7869] ppid=7863 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/7866/task/7869/stat : 7869 (java) S 7863 7866 5234 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 12003922 10878976000 36136 18446744073709551615 4194304 4196468 140727448174416 139732877597584 139732936570581 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26259456 140727448179146 140727448179275 140727448179275 140727448182735 0
[pid=7866/tid=7870] ppid=7863 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/7866/task/7870/stat : 7870 (java) S 7863 7866 5234 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 12003922 10878976000 36136 18446744073709551615 4194304 4196468 140727448174416 139732876544784 139732936570581 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26259456 140727448179146 140727448179275 140727448179275 140727448182735 0
[pid=7866/tid=7871] ppid=7863 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/7866/task/7871/stat : 7871 (java) S 7863 7866 5234 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 12003922 10878976000 36136 18446744073709551615 4194304 4196468 140727448174416 139732875492496 139732936570581 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26259456 140727448179146 140727448179275 140727448179275 140727448182735 0
[pid=7866/tid=7872] ppid=7863 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/7866/task/7872/stat : 7872 (java) S 7863 7866 5234 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 16 0 12003922 10878976000 36136 18446744073709551615 4194304 4196468 140727448174416 139732874439696 139732936570581 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26259456 140727448179146 140727448179275 140727448179275 140727448182735 0
[pid=7866/tid=7873] ppid=7863 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/7866/task/7873/stat : 7873 (java) S 7863 7866 5234 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 12003923 10878976000 36136 18446744073709551615 4194304 4196468 140727448174416 139732432214128 139732936571522 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26259456 140727448179146 140727448179275 140727448179275 140727448182735 0
[pid=7866/tid=7874] ppid=7863 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/7866/task/7874/stat : 7874 (java) S 7863 7866 5234 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 16 0 12003924 10878976000 36136 18446744073709551615 4194304 4196468 140727448174416 139732431160096 139732936570581 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26259456 140727448179146 140727448179275 140727448179275 140727448182735 0
[pid=7866/tid=7875] ppid=7863 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/7866/task/7875/stat : 7875 (java) S 7863 7866 5234 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 12003924 10878976000 36136 18446744073709551615 4194304 4196468 140727448174416 139732430107760 139732936570581 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26259456 140727448179146 140727448179275 140727448179275 140727448182735 0
[pid=7866/tid=7876] ppid=7863 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/7866/task/7876/stat : 7876 (java) S 7863 7866 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 12003926 10878976000 36136 18446744073709551615 4194304 4196468 140727448174416 139732429056080 139732936578971 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26259456 140727448179146 140727448179275 140727448179275 140727448182735 0
[pid=7866/tid=7877] ppid=7863 vsize=10624000 CPUtime=1 cores=1,3,5,7
/proc/7866/task/7877/stat : 7877 (java) R 7863 7866 5234 0 -1 4202560 7512 0 0 0 100 0 0 0 20 0 16 0 12003926 10878976000 36136 18446744073709551615 4194304 4196468 140727448174416 139732427996440 139732936574257 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26259456 140727448179146 140727448179275 140727448179275 140727448182735 0
[pid=7866/tid=7878] ppid=7863 vsize=10624000 CPUtime=1.01 cores=1,3,5,7
/proc/7866/task/7878/stat : 7878 (java) R 7863 7866 5234 0 -1 4202560 6539 0 0 0 101 0 0 0 20 0 16 0 12003926 10878976000 36136 18446744073709551615 4194304 4196468 140727448174416 139732426937216 139732936581722 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26259456 140727448179146 140727448179275 140727448179275 140727448182735 0
[pid=7866/tid=7879] ppid=7863 vsize=10624000 CPUtime=0.5 cores=1,3,5,7
/proc/7866/task/7879/stat : 7879 (java) S 7863 7866 5234 0 -1 1077944384 2852 0 0 0 49 1 0 0 20 0 16 0 12003926 10878976000 36136 18446744073709551615 4194304 4196468 140727448174416 139732425898864 139732936571522 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26259456 140727448179146 140727448179275 140727448179275 140727448182735 0
[pid=7866/tid=7880] ppid=7863 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/7866/task/7880/stat : 7880 (java) S 7863 7866 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 12003926 10878976000 36136 18446744073709551615 4194304 4196468 140727448174416 139732424846304 139732936570581 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26259456 140727448179146 140727448179275 140727448179275 140727448182735 0
[pid=7866/tid=7881] ppid=7863 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/7866/task/7881/stat : 7881 (java) S 7863 7866 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 12003931 10878976000 36136 18446744073709551615 4194304 4196468 140727448174416 139732423793072 139732936571522 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26259456 140727448179146 140727448179275 140727448179275 140727448182735 0
[pid=7866/tid=7882] ppid=7863 vsize=10624000 CPUtime=1.22 cores=1,3,5,7
/proc/7866/task/7882/stat : 7882 (java) R 7863 7866 5234 0 -1 4202560 6088 0 0 0 119 3 0 0 20 0 16 0 12003948 10878976000 36136 18446744073709551615 4194304 4196468 140727448174416 139732420600824 139732554860480 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26259456 140727448179146 140727448179275 140727448179275 140727448182735 0
Current children cumulated CPU time (s) 3.99
Current children cumulated vsize (KiB) 10624000
[startup+1.8009 s]
/proc/loadavg: 1.96 2.04 1.96 7/214 7882
/proc/meminfo: memFree=31521356/32770624 swapFree=0/320212
[pid=7866] ppid=7863 vsize=10624000 CPUtime=4.37 cores=1,3,5,7
/proc/7866/stat : 7866 (java) S 7863 7866 5234 0 -1 1077944320 30982 0 0 0 428 9 0 0 20 0 16 0 12003911 10878976000 36698 18446744073709551615 4194304 4196468 140727448174416 140727448156960 139732936560375 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 9 0 0 6293624 6294260 26259456 140727448179146 140727448179275 140727448179275 140727448182735 0
/proc/7866/statm: 2656000 36698 3099 1 0 2644934 0
[pid=7866/tid=7868] ppid=7863 vsize=10624000 CPUtime=0.21 cores=1,3,5,7
/proc/7866/task/7868/stat : 7868 (java) S 7863 7866 5234 0 -1 1077944384 6192 0 0 0 19 2 0 0 20 0 16 0 12003921 10878976000 36698 18446744073709551615 4194304 4196468 140727448174416 139732940803248 139732936570581 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 4 0 0 6293624 6294260 26259456 140727448179146 140727448179275 140727448179275 140727448182735 0
[pid=7866/tid=7869] ppid=7863 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/7866/task/7869/stat : 7869 (java) S 7863 7866 5234 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 12003922 10878976000 36698 18446744073709551615 4194304 4196468 140727448174416 139732877597584 139732936570581 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26259456 140727448179146 140727448179275 140727448179275 140727448182735 0
[pid=7866/tid=7870] ppid=7863 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/7866/task/7870/stat : 7870 (java) S 7863 7866 5234 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 12003922 10878976000 36698 18446744073709551615 4194304 4196468 140727448174416 139732876544784 139732936570581 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26259456 140727448179146 140727448179275 140727448179275 140727448182735 0
[pid=7866/tid=7871] ppid=7863 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/7866/task/7871/stat : 7871 (java) S 7863 7866 5234 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 12003922 10878976000 36698 18446744073709551615 4194304 4196468 140727448174416 139732875492496 139732936570581 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26259456 140727448179146 140727448179275 140727448179275 140727448182735 0
[pid=7866/tid=7872] ppid=7863 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/7866/task/7872/stat : 7872 (java) S 7863 7866 5234 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 16 0 12003922 10878976000 36698 18446744073709551615 4194304 4196468 140727448174416 139732874439696 139732936570581 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26259456 140727448179146 140727448179275 140727448179275 140727448182735 0
[pid=7866/tid=7873] ppid=7863 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/7866/task/7873/stat : 7873 (java) S 7863 7866 5234 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 12003923 10878976000 36698 18446744073709551615 4194304 4196468 140727448174416 139732432214128 139732936571522 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26259456 140727448179146 140727448179275 140727448179275 140727448182735 0
[pid=7866/tid=7874] ppid=7863 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/7866/task/7874/stat : 7874 (java) S 7863 7866 5234 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 16 0 12003924 10878976000 36698 18446744073709551615 4194304 4196468 140727448174416 139732431160096 139732936570581 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26259456 140727448179146 140727448179275 140727448179275 140727448182735 0
[pid=7866/tid=7875] ppid=7863 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/7866/task/7875/stat : 7875 (java) S 7863 7866 5234 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 12003924 10878976000 36698 18446744073709551615 4194304 4196468 140727448174416 139732430107760 139732936570581 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26259456 140727448179146 140727448179275 140727448179275 140727448182735 0
[pid=7866/tid=7876] ppid=7863 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/7866/task/7876/stat : 7876 (java) S 7863 7866 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 12003926 10878976000 36698 18446744073709551615 4194304 4196468 140727448174416 139732429056080 139732936578971 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26259456 140727448179146 140727448179275 140727448179275 140727448182735 0
[pid=7866/tid=7877] ppid=7863 vsize=10624000 CPUtime=1.08 cores=1,3,5,7
/proc/7866/task/7877/stat : 7877 (java) S 7863 7866 5234 0 -1 1077944384 7610 0 0 0 108 0 0 0 20 0 16 0 12003926 10878976000 36698 18446744073709551615 4194304 4196468 140727448174416 139732428003952 139732936571522 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26259456 140727448179146 140727448179275 140727448179275 140727448182735 0
[pid=7866/tid=7878] ppid=7863 vsize=10624000 CPUtime=1.1 cores=1,3,5,7
/proc/7866/task/7878/stat : 7878 (java) S 7863 7866 5234 0 -1 1077944384 6620 0 0 0 110 0 0 0 20 0 16 0 12003926 10878976000 36698 18446744073709551615 4194304 4196468 140727448174416 139732426951152 139732936571522 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26259456 140727448179146 140727448179275 140727448179275 140727448182735 0
[pid=7866/tid=7879] ppid=7863 vsize=10624000 CPUtime=0.51 cores=1,3,5,7
/proc/7866/task/7879/stat : 7879 (java) S 7863 7866 5234 0 -1 1077944384 2944 0 0 0 50 1 0 0 20 0 16 0 12003926 10878976000 36698 18446744073709551615 4194304 4196468 140727448174416 139732425898864 139732936571522 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26259456 140727448179146 140727448179275 140727448179275 140727448182735 0
[pid=7866/tid=7880] ppid=7863 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/7866/task/7880/stat : 7880 (java) S 7863 7866 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 12003926 10878976000 36698 18446744073709551615 4194304 4196468 140727448174416 139732424846304 139732936570581 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26259456 140727448179146 140727448179275 140727448179275 140727448182735 0
[pid=7866/tid=7881] ppid=7863 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/7866/task/7881/stat : 7881 (java) S 7863 7866 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 12003931 10878976000 36698 18446744073709551615 4194304 4196468 140727448174416 139732423793072 139732936571522 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26259456 140727448179146 140727448179275 140727448179275 140727448182735 0
[pid=7866/tid=7882] ppid=7863 vsize=10624000 CPUtime=1.42 cores=1,3,5,7
/proc/7866/task/7882/stat : 7882 (java) R 7863 7866 5234 0 -1 4202560 6230 0 0 0 139 3 0 0 20 0 16 0 12003948 10878976000 36698 18446744073709551615 4194304 4196468 140727448174416 139732420600824 139732555099741 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26259456 140727448179146 140727448179275 140727448179275 140727448182735 0
Current children cumulated CPU time (s) 4.37
Current children cumulated vsize (KiB) 10624000
Child status: 0
Real time (s): 1.87137
CPU time (s): 4.47765
CPU user time (s): 4.37718
CPU system time (s): 0.100473
CPU usage (%): 239.272
Max. virtual memory (cumulated for all children) (KiB): 10625784
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4.37718
system time used= 0.100473
maximum resident set size= 151252
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 31190
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= 2119
involuntary context switches= 21
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.006557 second user time and 0.016393 second system time
The end