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-4264434-1502304663/watcher-4264434-1502304663 -o /tmp/evaluation-result-4264434-1502304663/solver-4264434-1502304663 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node124-1502258094-11416 --watchdog 2580 java -jar HOME/AbsCon-basic.jar HOME/instance-4264434-1502304663.xml
pid=20004
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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: 2.41 2.07 2.06 3/195 20007
/proc/meminfo: memFree=31461816/32770624 swapFree=0/322276
[pid=20007] ppid=20004 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/20007/stat : 20007 (runsolver) D 20004 20007 6971 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 18807018 24240128 106 18446744073709551615 4194304 4338465 140728622295520 140728622293160 140270768255703 0 0 1 24578 18446744071580418449 0 0 17 4 0 0 0 0 0 6438912 6441760 11145216 140728622301344 140728622301770 140728622301770 140728622305226 0
/proc/20007/statm: 5918 106 53 36 0 2156 0
[startup+0.100063 s]
/proc/loadavg: 2.41 2.07 2.06 3/195 20007
/proc/meminfo: memFree=31461816/32770624 swapFree=0/322276
[pid=20007] ppid=20004 vsize=9936560 CPUtime=0 cores=0,2,4,6
/proc/20007/stat : 20007 (java) S 20004 20007 6971 0 -1 1077944320 3054 0 0 0 0 0 0 0 20 0 6 0 18807018 10175037440 3724 18446744073709551615 4194304 4196468 140721510058464 140721510041008 140261610725111 0 0 1 16784584 18446744073709551615 0 0 17 6 0 0 8 0 0 6293624 6294260 14446592 140721510060494 140721510060623 140721510060623 140721510064079 0
/proc/20007/statm: 2484140 3724 1653 1 0 2473637 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9936560
[startup+0.202041 s]
/proc/loadavg: 2.41 2.07 2.06 3/195 20007
/proc/meminfo: memFree=31461816/32770624 swapFree=0/322276
[pid=20007] ppid=20004 vsize=10551056 CPUtime=0.06 cores=0,2,4,6
/proc/20007/stat : 20007 (java) S 20004 20007 6971 0 -1 1077944320 4933 0 0 0 5 1 0 0 20 0 15 0 18807018 10804281344 5967 18446744073709551615 4194304 4196468 140721510058464 140721510041008 140261610725111 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 8 0 0 6293624 6294260 14446592 140721510060494 140721510060623 140721510060623 140721510064079 0
/proc/20007/statm: 2637764 6479 2609 1 0 2627261 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 10551056
[startup+0.300317 s]
/proc/loadavg: 2.41 2.07 2.06 3/195 20007
/proc/meminfo: memFree=31461816/32770624 swapFree=0/322276
[pid=20007] ppid=20004 vsize=10551180 CPUtime=0.24 cores=0,2,4,6
/proc/20007/stat : 20007 (java) S 20004 20007 6971 0 -1 1077944320 8715 0 0 0 21 3 0 0 20 0 15 0 18807018 10804408320 9028 18446744073709551615 4194304 4196468 140721510058464 140721510041008 140261610725111 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 8 0 0 6293624 6294260 14446592 140721510060494 140721510060623 140721510060623 140721510064079 0
/proc/20007/statm: 2637795 9028 2862 1 0 2627261 0
Current children cumulated CPU time (s) 0.24
Current children cumulated vsize (KiB) 10551180
[startup+0.70088 s]
/proc/loadavg: 2.41 2.07 2.06 3/195 20007
/proc/meminfo: memFree=31461816/32770624 swapFree=0/322276
[pid=20007] ppid=20004 vsize=10621952 CPUtime=1.16 cores=0,2,4,6
/proc/20007/stat : 20007 (java) S 20004 20007 6971 0 -1 1077944320 13385 0 0 0 110 6 0 0 20 0 16 0 18807018 10876878848 29165 18446744073709551615 4194304 4196468 140721510058464 140721510041008 140261610725111 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 8 0 0 6293624 6294260 14446592 140721510060494 140721510060623 140721510060623 140721510064079 0
/proc/20007/statm: 2655488 29165 3069 1 0 2644414 0
Current children cumulated CPU time (s) 1.16
Current children cumulated vsize (KiB) 10621952
[startup+1.50066 s]
/proc/loadavg: 2.41 2.07 2.06 3/211 20023
/proc/meminfo: memFree=31241660/32770624 swapFree=0/322352
[pid=20007] ppid=20004 vsize=10621952 CPUtime=2.81 cores=0,2,4,6
/proc/20007/stat : 20007 (java) S 20004 20007 6971 0 -1 1077944320 15377 0 0 0 269 12 0 0 20 0 16 0 18807018 10876878848 80725 18446744073709551615 4194304 4196468 140721510058464 140721510041008 140261610725111 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 8 0 0 6293624 6294260 14446592 140721510060494 140721510060623 140721510060623 140721510064079 0
/proc/20007/statm: 2655488 80725 3113 1 0 2644414 0
[pid=20007/tid=20009] ppid=20004 vsize=10621952 CPUtime=0.21 cores=0,2,4,6
/proc/20007/task/20009/stat : 20009 (java) S 20004 20007 6971 0 -1 1077944384 6194 0 0 0 19 2 0 0 20 0 16 0 18807027 10876878848 80725 18446744073709551615 4194304 4196468 140721510058464 140261614967984 140261610735317 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 4 0 0 6293624 6294260 14446592 140721510060494 140721510060623 140721510060623 140721510064079 0
[pid=20007/tid=20010] ppid=20004 vsize=10621952 CPUtime=0 cores=0,2,4,6
/proc/20007/task/20010/stat : 20010 (java) S 20004 20007 6971 0 -1 1077944384 108 0 0 0 0 0 0 0 20 0 16 0 18807028 10876878848 80725 18446744073709551615 4194304 4196468 140721510058464 140261557074192 140261610735317 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14446592 140721510060494 140721510060623 140721510060623 140721510064079 0
[pid=20007/tid=20011] ppid=20004 vsize=10621952 CPUtime=0 cores=0,2,4,6
/proc/20007/task/20011/stat : 20011 (java) S 20004 20007 6971 0 -1 1077944384 111 0 0 0 0 0 0 0 20 0 16 0 18807028 10876878848 80725 18446744073709551615 4194304 4196468 140721510058464 140261556021648 140261610735317 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14446592 140721510060494 140721510060623 140721510060623 140721510064079 0
[pid=20007/tid=20012] ppid=20004 vsize=10621952 CPUtime=0.02 cores=0,2,4,6
/proc/20007/task/20012/stat : 20012 (java) S 20004 20007 6971 0 -1 1077944384 66 0 0 0 1 1 0 0 20 0 16 0 18807028 10876878848 80725 18446744073709551615 4194304 4196468 140721510058464 140261554969104 140261610735317 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14446592 140721510060494 140721510060623 140721510060623 140721510064079 0
[pid=20007/tid=20013] ppid=20004 vsize=10621952 CPUtime=0.02 cores=0,2,4,6
/proc/20007/task/20013/stat : 20013 (java) S 20004 20007 6971 0 -1 1077944384 80 0 0 0 1 1 0 0 20 0 16 0 18807028 10876878848 80725 18446744073709551615 4194304 4196468 140721510058464 140261553916560 140261610735317 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14446592 140721510060494 140721510060623 140721510060623 140721510064079 0
[pid=20007/tid=20014] ppid=20004 vsize=10621952 CPUtime=0 cores=0,2,4,6
/proc/20007/task/20014/stat : 20014 (java) S 20004 20007 6971 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 16 0 18807029 10876878848 80725 18446744073709551615 4194304 4196468 140721510058464 140261107591664 140261610736258 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14446592 140721510060494 140721510060623 140721510060623 140721510064079 0
[pid=20007/tid=20015] ppid=20004 vsize=10621952 CPUtime=0 cores=0,2,4,6
/proc/20007/task/20015/stat : 20015 (java) S 20004 20007 6971 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 16 0 18807029 10876878848 80725 18446744073709551615 4194304 4196468 140721510058464 140261106537952 140261610735317 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14446592 140721510060494 140721510060623 140721510060623 140721510064079 0
[pid=20007/tid=20016] ppid=20004 vsize=10621952 CPUtime=0 cores=0,2,4,6
/proc/20007/task/20016/stat : 20016 (java) S 20004 20007 6971 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 16 0 18807030 10876878848 80725 18446744073709551615 4194304 4196468 140721510058464 140261105485296 140261610735317 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14446592 140721510060494 140721510060623 140721510060623 140721510064079 0
[pid=20007/tid=20017] ppid=20004 vsize=10621952 CPUtime=0 cores=0,2,4,6
/proc/20007/task/20017/stat : 20017 (java) S 20004 20007 6971 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 18807032 10876878848 80725 18446744073709551615 4194304 4196468 140721510058464 140261104433872 140261610743707 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14446592 140721510060494 140721510060623 140721510060623 140721510064079 0
[pid=20007/tid=20018] ppid=20004 vsize=10621952 CPUtime=0.51 cores=0,2,4,6
/proc/20007/task/20018/stat : 20018 (java) S 20004 20007 6971 0 -1 1077944384 1434 0 0 0 51 0 0 0 20 0 16 0 18807032 10876878848 80725 18446744073709551615 4194304 4196468 140721510058464 140261103380464 140261610736258 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14446592 140721510060494 140721510060623 140721510060623 140721510064079 0
[pid=20007/tid=20019] ppid=20004 vsize=10621952 CPUtime=0.52 cores=0,2,4,6
/proc/20007/task/20019/stat : 20019 (java) S 20004 20007 6971 0 -1 1077944384 1255 0 0 0 52 0 0 0 20 0 16 0 18807032 10876878848 80725 18446744073709551615 4194304 4196468 140721510058464 140261102327920 140261610736258 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14446592 140721510060494 140721510060623 140721510060623 140721510064079 0
[pid=20007/tid=20020] ppid=20004 vsize=10621952 CPUtime=0.36 cores=0,2,4,6
/proc/20007/task/20020/stat : 20020 (java) S 20004 20007 6971 0 -1 1077944384 1825 0 0 0 36 0 0 0 20 0 16 0 18807032 10876878848 80725 18446744073709551615 4194304 4196468 140721510058464 140261101275376 140261610736258 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14446592 140721510060494 140721510060623 140721510060623 140721510064079 0
[pid=20007/tid=20021] ppid=20004 vsize=10621952 CPUtime=0 cores=0,2,4,6
/proc/20007/task/20021/stat : 20021 (java) S 20004 20007 6971 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 18807032 10876878848 80725 18446744073709551615 4194304 4196468 140721510058464 140261100223072 140261610735317 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14446592 140721510060494 140721510060623 140721510060623 140721510064079 0
[pid=20007/tid=20022] ppid=20004 vsize=10621952 CPUtime=0 cores=0,2,4,6
/proc/20007/task/20022/stat : 20022 (java) S 20004 20007 6971 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 18807038 10876878848 80725 18446744073709551615 4194304 4196468 140721510058464 140261099170608 140261610736258 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14446592 140721510060494 140721510060623 140721510060623 140721510064079 0
[pid=20007/tid=20023] ppid=20004 vsize=10621952 CPUtime=1.09 cores=0,2,4,6
/proc/20007/task/20023/stat : 20023 (java) R 20004 20007 6971 0 -1 4202560 2863 0 0 0 105 4 0 0 20 0 16 0 18807054 10876878848 80725 18446744073709551615 4194304 4196468 140721510058464 140261095976144 140261238077945 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14446592 140721510060494 140721510060623 140721510060623 140721510064079 0
Current children cumulated CPU time (s) 2.81
Current children cumulated vsize (KiB) 10621952
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 20007 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1.60088 s]
/proc/loadavg: 2.41 2.07 2.06 3/211 20023
/proc/meminfo: memFree=31241660/32770624 swapFree=0/322352
[pid=20007] ppid=20004 vsize=10621952 CPUtime=3.01 cores=0,2,4,6
/proc/20007/stat : 20007 (java) S 20004 20007 6971 0 -1 1077944320 15626 0 0 0 282 19 0 0 20 0 16 0 18807018 10876878848 97343 18446744073709551615 4194304 4196468 140721510058464 140721510041008 140261610725111 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 8 0 0 6293624 6294260 14446592 140721510060494 140721510060623 140721510060623 140721510064079 0
/proc/20007/statm: 2655488 97343 3115 1 0 2644414 0
[pid=20007/tid=20009] ppid=20004 vsize=10621952 CPUtime=0.21 cores=0,2,4,6
/proc/20007/task/20009/stat : 20009 (java) S 20004 20007 6971 0 -1 1077944384 6194 0 0 0 19 2 0 0 20 0 16 0 18807027 10876878848 97343 18446744073709551615 4194304 4196468 140721510058464 140261614967984 140261610735317 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 4 0 0 6293624 6294260 14446592 140721510060494 140721510060623 140721510060623 140721510064079 0
[pid=20007/tid=20010] ppid=20004 vsize=10621952 CPUtime=0.04 cores=0,2,4,6
/proc/20007/task/20010/stat : 20010 (java) S 20004 20007 6971 0 -1 1077944384 136 0 0 0 2 2 0 0 20 0 16 0 18807028 10876878848 97343 18446744073709551615 4194304 4196468 140721510058464 140261557074192 140261610735317 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14446592 140721510060494 140721510060623 140721510060623 140721510064079 0
[pid=20007/tid=20011] ppid=20004 vsize=10621952 CPUtime=0.04 cores=0,2,4,6
/proc/20007/task/20011/stat : 20011 (java) S 20004 20007 6971 0 -1 1077944384 138 0 0 0 2 2 0 0 20 0 16 0 18807028 10876878848 97343 18446744073709551615 4194304 4196468 140721510058464 140261556021648 140261610735317 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14446592 140721510060494 140721510060623 140721510060623 140721510064079 0
[pid=20007/tid=20012] ppid=20004 vsize=10621952 CPUtime=0.05 cores=0,2,4,6
/proc/20007/task/20012/stat : 20012 (java) S 20004 20007 6971 0 -1 1077944384 90 0 0 0 3 2 0 0 20 0 16 0 18807028 10876878848 97343 18446744073709551615 4194304 4196468 140721510058464 140261554969104 140261610735317 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14446592 140721510060494 140721510060623 140721510060623 140721510064079 0
[pid=20007/tid=20013] ppid=20004 vsize=10621952 CPUtime=0.05 cores=0,2,4,6
/proc/20007/task/20013/stat : 20013 (java) S 20004 20007 6971 0 -1 1077944384 104 0 0 0 3 2 0 0 20 0 16 0 18807028 10876878848 97343 18446744073709551615 4194304 4196468 140721510058464 140261553916560 140261610735317 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14446592 140721510060494 140721510060623 140721510060623 140721510064079 0
[pid=20007/tid=20014] ppid=20004 vsize=10621952 CPUtime=0 cores=0,2,4,6
/proc/20007/task/20014/stat : 20014 (java) S 20004 20007 6971 0 -1 1077944384 209 0 0 0 0 0 0 0 20 0 16 0 18807029 10876878848 97343 18446744073709551615 4194304 4196468 140721510058464 140261107591664 140261610736258 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14446592 140721510060494 140721510060623 140721510060623 140721510064079 0
[pid=20007/tid=20015] ppid=20004 vsize=10621952 CPUtime=0 cores=0,2,4,6
/proc/20007/task/20015/stat : 20015 (java) S 20004 20007 6971 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 16 0 18807029 10876878848 97343 18446744073709551615 4194304 4196468 140721510058464 140261106537952 140261610735317 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14446592 140721510060494 140721510060623 140721510060623 140721510064079 0
[pid=20007/tid=20016] ppid=20004 vsize=10621952 CPUtime=0 cores=0,2,4,6
/proc/20007/task/20016/stat : 20016 (java) S 20004 20007 6971 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 16 0 18807030 10876878848 97343 18446744073709551615 4194304 4196468 140721510058464 140261105485312 140261610735317 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14446592 140721510060494 140721510060623 140721510060623 140721510064079 0
[pid=20007/tid=20017] ppid=20004 vsize=10621952 CPUtime=0 cores=0,2,4,6
/proc/20007/task/20017/stat : 20017 (java) S 20004 20007 6971 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 18807032 10876878848 97343 18446744073709551615 4194304 4196468 140721510058464 140261104433872 140261610743707 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14446592 140721510060494 140721510060623 140721510060623 140721510064079 0
[pid=20007/tid=20018] ppid=20004 vsize=10621952 CPUtime=0.51 cores=0,2,4,6
/proc/20007/task/20018/stat : 20018 (java) S 20004 20007 6971 0 -1 1077944384 1437 0 0 0 51 0 0 0 20 0 16 0 18807032 10876878848 97343 18446744073709551615 4194304 4196468 140721510058464 140261103380464 140261610736258 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14446592 140721510060494 140721510060623 140721510060623 140721510064079 0
[pid=20007/tid=20019] ppid=20004 vsize=10621952 CPUtime=0.52 cores=0,2,4,6
/proc/20007/task/20019/stat : 20019 (java) S 20004 20007 6971 0 -1 1077944384 1255 0 0 0 52 0 0 0 20 0 16 0 18807032 10876878848 97343 18446744073709551615 4194304 4196468 140721510058464 140261102327920 140261610736258 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14446592 140721510060494 140721510060623 140721510060623 140721510064079 0
[pid=20007/tid=20020] ppid=20004 vsize=10621952 CPUtime=0.36 cores=0,2,4,6
/proc/20007/task/20020/stat : 20020 (java) S 20004 20007 6971 0 -1 1077944384 1832 0 0 0 36 0 0 0 20 0 16 0 18807032 10876878848 97343 18446744073709551615 4194304 4196468 140721510058464 140261101275376 140261610736258 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14446592 140721510060494 140721510060623 140721510060623 140721510064079 0
[pid=20007/tid=20021] ppid=20004 vsize=10621952 CPUtime=0 cores=0,2,4,6
/proc/20007/task/20021/stat : 20021 (java) S 20004 20007 6971 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 18807032 10876878848 97343 18446744073709551615 4194304 4196468 140721510058464 140261100223072 140261610735317 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14446592 140721510060494 140721510060623 140721510060623 140721510064079 0
[pid=20007/tid=20022] ppid=20004 vsize=10621952 CPUtime=0 cores=0,2,4,6
/proc/20007/task/20022/stat : 20022 (java) S 20004 20007 6971 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 18807038 10876878848 97343 18446744073709551615 4194304 4196468 140721510058464 140261099170608 140261610736258 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14446592 140721510060494 140721510060623 140721510060623 140721510064079 0
[pid=20007/tid=20023] ppid=20004 vsize=10621952 CPUtime=1.15 cores=0,2,4,6
/proc/20007/task/20023/stat : 20023 (java) R 20004 20007 6971 0 -1 4202560 2873 0 0 0 111 4 0 0 20 0 16 0 18807054 10876878848 97343 18446744073709551615 4194304 4196468 140721510058464 140261095977448 140261237825817 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 14446592 140721510060494 140721510060623 140721510060623 140721510064079 0
Current children cumulated CPU time (s) 3.01
Current children cumulated vsize (KiB) 10621952
[startup+1.70058 s]
/proc/loadavg: 2.41 2.07 2.06 3/211 20023
/proc/meminfo: memFree=31241660/32770624 swapFree=0/322352
[pid=20007] ppid=20004 vsize=10621952 CPUtime=3.24 cores=0,2,4,6
/proc/20007/stat : 20007 (java) S 20004 20007 6971 0 -1 1077944320 15996 0 0 0 304 20 0 0 20 0 16 0 18807018 10876878848 97563 18446744073709551615 4194304 4196468 140721510058464 140721510041008 140261610725111 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 8 0 0 6293624 6294260 14446592 140721510060494 140721510060623 140721510060623 140721510064079 0
/proc/20007/statm: 2655488 97563 3121 1 0 2644414 0
[pid=20007/tid=20009] ppid=20004 vsize=10621952 CPUtime=0.21 cores=0,2,4,6
/proc/20007/task/20009/stat : 20009 (java) S 20004 20007 6971 0 -1 1077944384 6194 0 0 0 19 2 0 0 20 0 16 0 18807027 10876878848 97563 18446744073709551615 4194304 4196468 140721510058464 140261614967984 140261610735317 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 4 0 0 6293624 6294260 14446592 140721510060494 140721510060623 140721510060623 140721510064079 0
[pid=20007/tid=20010] ppid=20004 vsize=10621952 CPUtime=0.04 cores=0,2,4,6
/proc/20007/task/20010/stat : 20010 (java) S 20004 20007 6971 0 -1 1077944384 136 0 0 0 2 2 0 0 20 0 16 0 18807028 10876878848 97563 18446744073709551615 4194304 4196468 140721510058464 140261557074192 140261610735317 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14446592 140721510060494 140721510060623 140721510060623 140721510064079 0
[pid=20007/tid=20011] ppid=20004 vsize=10621952 CPUtime=0.04 cores=0,2,4,6
/proc/20007/task/20011/stat : 20011 (java) S 20004 20007 6971 0 -1 1077944384 138 0 0 0 2 2 0 0 20 0 16 0 18807028 10876878848 97563 18446744073709551615 4194304 4196468 140721510058464 140261556021648 140261610735317 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14446592 140721510060494 140721510060623 140721510060623 140721510064079 0
[pid=20007/tid=20012] ppid=20004 vsize=10621952 CPUtime=0.05 cores=0,2,4,6
/proc/20007/task/20012/stat : 20012 (java) S 20004 20007 6971 0 -1 1077944384 90 0 0 0 3 2 0 0 20 0 16 0 18807028 10876878848 97563 18446744073709551615 4194304 4196468 140721510058464 140261554969104 140261610735317 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14446592 140721510060494 140721510060623 140721510060623 140721510064079 0
[pid=20007/tid=20013] ppid=20004 vsize=10621952 CPUtime=0.05 cores=0,2,4,6
/proc/20007/task/20013/stat : 20013 (java) S 20004 20007 6971 0 -1 1077944384 104 0 0 0 3 2 0 0 20 0 16 0 18807028 10876878848 97563 18446744073709551615 4194304 4196468 140721510058464 140261553916560 140261610735317 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14446592 140721510060494 140721510060623 140721510060623 140721510064079 0
[pid=20007/tid=20014] ppid=20004 vsize=10621952 CPUtime=0 cores=0,2,4,6
/proc/20007/task/20014/stat : 20014 (java) S 20004 20007 6971 0 -1 1077944384 209 0 0 0 0 0 0 0 20 0 16 0 18807029 10876878848 97563 18446744073709551615 4194304 4196468 140721510058464 140261107591664 140261610736258 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14446592 140721510060494 140721510060623 140721510060623 140721510064079 0
[pid=20007/tid=20015] ppid=20004 vsize=10621952 CPUtime=0 cores=0,2,4,6
/proc/20007/task/20015/stat : 20015 (java) S 20004 20007 6971 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 16 0 18807029 10876878848 97563 18446744073709551615 4194304 4196468 140721510058464 140261106537952 140261610735317 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14446592 140721510060494 140721510060623 140721510060623 140721510064079 0
[pid=20007/tid=20016] ppid=20004 vsize=10621952 CPUtime=0 cores=0,2,4,6
/proc/20007/task/20016/stat : 20016 (java) S 20004 20007 6971 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 16 0 18807030 10876878848 97563 18446744073709551615 4194304 4196468 140721510058464 140261105485312 140261610735317 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14446592 140721510060494 140721510060623 140721510060623 140721510064079 0
[pid=20007/tid=20017] ppid=20004 vsize=10621952 CPUtime=0 cores=0,2,4,6
/proc/20007/task/20017/stat : 20017 (java) S 20004 20007 6971 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 18807032 10876878848 97563 18446744073709551615 4194304 4196468 140721510058464 140261104433872 140261610743707 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14446592 140721510060494 140721510060623 140721510060623 140721510064079 0
[pid=20007/tid=20018] ppid=20004 vsize=10621952 CPUtime=0.54 cores=0,2,4,6
/proc/20007/task/20018/stat : 20018 (java) S 20004 20007 6971 0 -1 1077944384 1450 0 0 0 54 0 0 0 20 0 16 0 18807032 10876878848 97563 18446744073709551615 4194304 4196468 140721510058464 140261103380464 140261610736258 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14446592 140721510060494 140721510060623 140721510060623 140721510064079 0
[pid=20007/tid=20019] ppid=20004 vsize=10621952 CPUtime=0.56 cores=0,2,4,6
/proc/20007/task/20019/stat : 20019 (java) S 20004 20007 6971 0 -1 1077944384 1271 0 0 0 56 0 0 0 20 0 16 0 18807032 10876878848 97563 18446744073709551615 4194304 4196468 140721510058464 140261102327920 140261610736258 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14446592 140721510060494 140721510060623 140721510060623 140721510064079 0
[pid=20007/tid=20020] ppid=20004 vsize=10621952 CPUtime=0.4 cores=0,2,4,6
/proc/20007/task/20020/stat : 20020 (java) S 20004 20007 6971 0 -1 1077944384 1916 0 0 0 40 0 0 0 20 0 16 0 18807032 10876878848 97563 18446744073709551615 4194304 4196468 140721510058464 140261101275376 140261610736258 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14446592 140721510060494 140721510060623 140721510060623 140721510064079 0
[pid=20007/tid=20021] ppid=20004 vsize=10621952 CPUtime=0 cores=0,2,4,6
/proc/20007/task/20021/stat : 20021 (java) S 20004 20007 6971 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 18807032 10876878848 97563 18446744073709551615 4194304 4196468 140721510058464 140261100223072 140261610735317 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14446592 140721510060494 140721510060623 140721510060623 140721510064079 0
[pid=20007/tid=20022] ppid=20004 vsize=10621952 CPUtime=0 cores=0,2,4,6
/proc/20007/task/20022/stat : 20022 (java) S 20004 20007 6971 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 18807038 10876878848 97563 18446744073709551615 4194304 4196468 140721510058464 140261099170608 140261610736258 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14446592 140721510060494 140721510060623 140721510060623 140721510064079 0
[pid=20007/tid=20023] ppid=20004 vsize=10621952 CPUtime=1.25 cores=0,2,4,6
/proc/20007/task/20023/stat : 20023 (java) R 20004 20007 6971 0 -1 4202560 3131 0 0 0 121 4 0 0 20 0 16 0 18807054 10876878848 97563 18446744073709551615 4194304 4196468 140721510058464 140261095967536 140261595905452 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14446592 140721510060494 140721510060623 140721510060623 140721510064079 0
Current children cumulated CPU time (s) 3.24
Current children cumulated vsize (KiB) 10621952
Child status: 0
Real time (s): 1.77547
CPU time (s): 3.41813
CPU user time (s): 3.20144
CPU system time (s): 0.216699
CPU usage (%): 192.52
Max. virtual memory (cumulated for all children) (KiB): 10621952
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3.20144
system time used= 0.216699
maximum resident set size= 394440
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17905
page faults= 0
swaps= 0
block input operations= 0
block output operations= 72
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2117
involuntary context switches= 14
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.008504 second user time and 0.012617 second system time
The end