runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
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-3456147-1307663953/watcher-3456147-1307663953 -o /tmp/evaluation-result-3456147-1307663953/solver-3456147-1307663953 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3456147-1307663953.opb
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.04 2.04 2.01 2/175 13748
/proc/meminfo: memFree=32265808/32951124 swapFree=67055520/67111528
[pid=13748] ppid=13746 vsize=20456 CPUtime=0 cores=1,3,5,7
/proc/13748/stat : 13748 (java) R 13746 13748 12306 0 -1 4202496 438 0 0 0 0 0 0 0 23 0 1 0 858810967 20946944 182 33554432000 1073741824 1073778376 140734960082000 18446744073709551615 270333460490 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/13748/statm: 5757 187 144 9 0 124 0
[startup+0.0419741 s]
/proc/loadavg: 2.04 2.04 2.01 2/175 13748
/proc/meminfo: memFree=32265808/32951124 swapFree=67055520/67111528
[pid=13748] ppid=13746 vsize=10467480 CPUtime=0.03 cores=1,3,5,7
/proc/13748/stat : 13748 (java) S 13746 13748 12306 0 -1 4202496 11136 0 1 0 2 1 0 0 23 0 13 0 858810967 10718699520 10832 33554432000 1073741824 1073778376 140734960082000 18446744073709551615 270350186469 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/13748/statm: 2616870 10832 1653 9 0 2607618 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 10467480
[startup+0.100915 s]
/proc/loadavg: 2.04 2.04 2.01 2/175 13748
/proc/meminfo: memFree=32265808/32951124 swapFree=67055520/67111528
[pid=13748] ppid=13746 vsize=10539656 CPUtime=0.1 cores=1,3,5,7
/proc/13748/stat : 13748 (java) S 13746 13748 12306 0 -1 4202496 13034 0 1 0 9 1 0 0 23 0 18 0 858810967 10792607744 12689 33554432000 1073741824 1073778376 140734960082000 18446744073709551615 270350186469 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/13748/statm: 2634914 12690 2093 9 0 2625648 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10539656
[startup+0.300912 s]
/proc/loadavg: 2.04 2.04 2.01 2/175 13748
/proc/meminfo: memFree=32265808/32951124 swapFree=67055520/67111528
[pid=13748] ppid=13746 vsize=10540572 CPUtime=0.46 cores=1,3,5,7
/proc/13748/stat : 13748 (java) S 13746 13748 12306 0 -1 4202496 15571 0 1 0 45 1 0 0 23 0 18 0 858810967 10793545728 15021 33554432000 1073741824 1073778376 140734960082000 18446744073709551615 270350186469 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/13748/statm: 2635143 15021 2217 9 0 2625877 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 10540572
[startup+0.700833 s]
/proc/loadavg: 2.04 2.04 2.01 2/175 13748
/proc/meminfo: memFree=32265808/32951124 swapFree=67055520/67111528
[pid=13748] ppid=13746 vsize=10552524 CPUtime=1.64 cores=1,3,5,7
/proc/13748/stat : 13748 (java) S 13746 13748 12306 0 -1 4202496 30449 0 1 0 161 3 0 0 23 0 19 0 858810967 10805784576 24967 33554432000 1073741824 1073778376 140734960082000 18446744073709551615 270350186469 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/13748/statm: 2638131 24967 2232 9 0 2628865 0
Current children cumulated CPU time (s) 1.64
Current children cumulated vsize (KiB) 10552524
[startup+1.50067 s]
/proc/loadavg: 2.04 2.04 2.01 5/213 13822
/proc/meminfo: memFree=32068712/32951124 swapFree=67055520/67111528
[pid=13748] ppid=13746 vsize=10552524 CPUtime=2.82 cores=1,3,5,7
/proc/13748/stat : 13748 (java) S 13746 13748 12306 0 -1 4202496 72322 0 1 0 274 8 0 0 23 0 19 0 858810967 10805784576 64999 33554432000 1073741824 1073778376 140734960082000 18446744073709551615 270350186469 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/13748/statm: 2638131 65000 2235 9 0 2628865 0
[pid=13748/tid=13750] ppid=13746 vsize=10552524 CPUtime=1.48 cores=1,3,5,7
/proc/13748/task/13750/stat : 13750 (java) R 13746 13748 12306 0 -1 4202560 58285 0 1 0 141 7 0 0 19 0 19 0 858810968 10805784576 65001 33554432000 1073741824 1073778376 140734960082000 18446744073709551615 46912505708455 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=13748/tid=13751] ppid=13746 vsize=10552524 CPUtime=0 cores=1,3,5,7
/proc/13748/task/13751/stat : 13751 (java) S 13746 13748 12306 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858810969 10805784576 65002 33554432000 1073741824 1073778376 140734960082000 18446744073709551615 270350199705 0 4 0 16800975 18446604467699366080 0 0 -1 7 0 0 0
[pid=13748/tid=13752] ppid=13746 vsize=10552524 CPUtime=0 cores=1,3,5,7
/proc/13748/task/13752/stat : 13752 (java) S 13746 13748 12306 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858810969 10805784576 65003 33554432000 1073741824 1073778376 140734960082000 18446744073709551615 270350199705 0 4 0 16800975 18446604467699366080 0 0 -1 5 0 0 0
[pid=13748/tid=13753] ppid=13746 vsize=10552524 CPUtime=0 cores=1,3,5,7
/proc/13748/task/13753/stat : 13753 (java) S 13746 13748 12306 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858810969 10805784576 65005 33554432000 1073741824 1073778376 140734960082000 18446744073709551615 270350199705 0 4 0 16800975 18446604467699366080 0 0 -1 7 0 0 0
[pid=13748/tid=13754] ppid=13746 vsize=10552524 CPUtime=0 cores=1,3,5,7
/proc/13748/task/13754/stat : 13754 (java) S 13746 13748 12306 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858810969 10805784576 65006 33554432000 1073741824 1073778376 140734960082000 18446744073709551615 270350199705 0 4 0 16800975 18446604467699366080 0 0 -1 7 0 0 0
[pid=13748/tid=13755] ppid=13746 vsize=10552524 CPUtime=0 cores=1,3,5,7
/proc/13748/task/13755/stat : 13755 (java) S 13746 13748 12306 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858810969 10805784576 65008 33554432000 1073741824 1073778376 140734960082000 18446744073709551615 270350199705 0 4 0 16800975 18446604467699366080 0 0 -1 7 0 0 0
[pid=13748/tid=13756] ppid=13746 vsize=10552524 CPUtime=0 cores=1,3,5,7
/proc/13748/task/13756/stat : 13756 (java) S 13746 13748 12306 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858810969 10805784576 65009 33554432000 1073741824 1073778376 140734960082000 18446744073709551615 270350199705 0 4 0 16800975 18446604467699366080 0 0 -1 5 0 0 0
[pid=13748/tid=13757] ppid=13746 vsize=10552524 CPUtime=0 cores=1,3,5,7
/proc/13748/task/13757/stat : 13757 (java) S 13746 13748 12306 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858810969 10805784576 65010 33554432000 1073741824 1073778376 140734960082000 18446744073709551615 270350199705 0 4 0 16800975 18446604467699366080 0 0 -1 7 0 0 0
[pid=13748/tid=13758] ppid=13746 vsize=10552524 CPUtime=0 cores=1,3,5,7
/proc/13748/task/13758/stat : 13758 (java) S 13746 13748 12306 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 858810969 10805784576 65011 33554432000 1073741824 1073778376 140734960082000 18446744073709551615 270350199705 0 4 0 16800975 18446604467699366080 0 0 -1 7 0 0 0
[pid=13748/tid=13759] ppid=13746 vsize=10552524 CPUtime=0 cores=1,3,5,7
/proc/13748/task/13759/stat : 13759 (java) S 13746 13748 12306 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 858810970 10805784576 65012 33554432000 1073741824 1073778376 140734960082000 18446744073709551615 270350200320 0 0 0 16800975 18446604467699366080 0 0 -1 1 0 0 0
[pid=13748/tid=13760] ppid=13746 vsize=10552524 CPUtime=0 cores=1,3,5,7
/proc/13748/task/13760/stat : 13760 (java) S 13746 13748 12306 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 858810971 10805784576 65013 33554432000 1073741824 1073778376 140734960082000 18446744073709551615 270350199705 0 4 0 16800975 18446604467699366080 0 0 -1 1 0 0 0
[pid=13748/tid=13761] ppid=13746 vsize=10552524 CPUtime=0 cores=1,3,5,7
/proc/13748/task/13761/stat : 13761 (java) S 13746 13748 12306 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 19 0 858810971 10805784576 65013 33554432000 1073741824 1073778376 140734960082000 18446744073709551615 270350199705 0 4 0 16800975 18446604467699366080 0 0 -1 7 0 0 0
[pid=13748/tid=13762] ppid=13746 vsize=10552524 CPUtime=0 cores=1,3,5,7
/proc/13748/task/13762/stat : 13762 (java) S 13746 13748 12306 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 858810973 10805784576 65014 33554432000 1073741824 1073778376 140734960082000 18446744073709551615 270350207409 0 4 0 16800975 18446604467699366080 0 0 -1 1 0 0 0
[pid=13748/tid=13763] ppid=13746 vsize=10552524 CPUtime=0.65 cores=1,3,5,7
/proc/13748/task/13763/stat : 13763 (java) S 13746 13748 12306 0 -1 4202560 7042 0 0 0 65 0 0 0 15 0 19 0 858810973 10805784576 65015 33554432000 1073741824 1073778376 140734960082000 18446744073709551615 270350199705 0 4 0 16800975 18446604467699366080 0 0 -1 1 0 0 0
[pid=13748/tid=13764] ppid=13746 vsize=10552524 CPUtime=0.67 cores=1,3,5,7
/proc/13748/task/13764/stat : 13764 (java) S 13746 13748 12306 0 -1 4202560 5834 0 0 0 67 0 0 0 15 0 19 0 858810973 10805784576 65016 33554432000 1073741824 1073778376 140734960082000 18446744073709551615 270350199705 0 4 0 16800975 18446604467699366080 0 0 -1 5 0 0 0
[pid=13748/tid=13765] ppid=13746 vsize=10552524 CPUtime=0 cores=1,3,5,7
/proc/13748/task/13765/stat : 13765 (java) S 13746 13748 12306 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 858810973 10805784576 65017 33554432000 1073741824 1073778376 140734960082000 18446744073709551615 270350199705 0 4 0 16800975 18446604467699366080 0 0 -1 3 0 0 0
[pid=13748/tid=13766] ppid=13746 vsize=10552524 CPUtime=0 cores=1,3,5,7
/proc/13748/task/13766/stat : 13766 (java) S 13746 13748 12306 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 858810973 10805784576 65017 33554432000 1073741824 1073778376 140734960082000 18446744073709551615 270350200320 0 4 0 16800975 18446604467699366080 0 0 -1 5 0 0 0
[pid=13748/tid=13767] ppid=13746 vsize=10552524 CPUtime=0 cores=1,3,5,7
/proc/13748/task/13767/stat : 13767 (java) S 13746 13748 12306 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 19 0 858811001 10805784576 65018 33554432000 1073741824 1073778376 140734960082000 18446744073709551615 270350200320 0 4 0 16800975 18446604467699366080 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2.82
Current children cumulated vsize (KiB) 10552524
[startup+3.10136 s]
/proc/loadavg: 2.04 2.04 2.01 3/214 13823
/proc/meminfo: memFree=31643968/32951124 swapFree=67055520/67111528
[pid=13748] ppid=13746 vsize=10552524 CPUtime=4.5 cores=1,3,5,7
/proc/13748/stat : 13748 (java) S 13746 13748 12306 0 -1 4202496 146002 0 1 0 433 17 0 0 23 0 19 0 858810967 10805784576 138679 33554432000 1073741824 1073778376 140734960082000 18446744073709551615 270350186469 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/13748/statm: 2638131 138682 2238 9 0 2628865 0
[pid=13748/tid=13750] ppid=13746 vsize=10552524 CPUtime=3.07 cores=1,3,5,7
/proc/13748/task/13750/stat : 13750 (java) R 13746 13748 12306 0 -1 4202560 131953 0 1 0 292 15 0 0 19 0 19 0 858810968 10805784576 138684 33554432000 1073741824 1073778376 140734960082000 18446744073709551615 46912505614314 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=13748/tid=13751] ppid=13746 vsize=10552524 CPUtime=0 cores=1,3,5,7
/proc/13748/task/13751/stat : 13751 (java) S 13746 13748 12306 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858810969 10805784576 138686 33554432000 1073741824 1073778376 140734960082000 18446744073709551615 270350199705 0 4 0 16800975 18446604467699366080 0 0 -1 7 0 0 0
[pid=13748/tid=13752] ppid=13746 vsize=10552524 CPUtime=0 cores=1,3,5,7
/proc/13748/task/13752/stat : 13752 (java) S 13746 13748 12306 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858810969 10805784576 138688 33554432000 1073741824 1073778376 140734960082000 18446744073709551615 270350199705 0 4 0 16800975 18446604467699366080 0 0 -1 5 0 0 0
[pid=13748/tid=13753] ppid=13746 vsize=10552524 CPUtime=0 cores=1,3,5,7
/proc/13748/task/13753/stat : 13753 (java) S 13746 13748 12306 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858810969 10805784576 138690 33554432000 1073741824 1073778376 140734960082000 18446744073709551615 270350199705 0 4 0 16800975 18446604467699366080 0 0 -1 7 0 0 0
[pid=13748/tid=13754] ppid=13746 vsize=10552524 CPUtime=0 cores=1,3,5,7
/proc/13748/task/13754/stat : 13754 (java) S 13746 13748 12306 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858810969 10805784576 138692 33554432000 1073741824 1073778376 140734960082000 18446744073709551615 270350199705 0 4 0 16800975 18446604467699366080 0 0 -1 7 0 0 0
[pid=13748/tid=13755] ppid=13746 vsize=10552524 CPUtime=0 cores=1,3,5,7
/proc/13748/task/13755/stat : 13755 (java) S 13746 13748 12306 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858810969 10805784576 138693 33554432000 1073741824 1073778376 140734960082000 18446744073709551615 270350199705 0 4 0 16800975 18446604467699366080 0 0 -1 7 0 0 0
[pid=13748/tid=13756] ppid=13746 vsize=10552524 CPUtime=0 cores=1,3,5,7
/proc/13748/task/13756/stat : 13756 (java) S 13746 13748 12306 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858810969 10805784576 138695 33554432000 1073741824 1073778376 140734960082000 18446744073709551615 270350199705 0 4 0 16800975 18446604467699366080 0 0 -1 5 0 0 0
[pid=13748/tid=13757] ppid=13746 vsize=10552524 CPUtime=0 cores=1,3,5,7
/proc/13748/task/13757/stat : 13757 (java) S 13746 13748 12306 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858810969 10805784576 138697 33554432000 1073741824 1073778376 140734960082000 18446744073709551615 270350199705 0 4 0 16800975 18446604467699366080 0 0 -1 7 0 0 0
[pid=13748/tid=13758] ppid=13746 vsize=10552524 CPUtime=0 cores=1,3,5,7
/proc/13748/task/13758/stat : 13758 (java) S 13746 13748 12306 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 858810969 10805784576 138699 33554432000 1073741824 1073778376 140734960082000 18446744073709551615 270350199705 0 4 0 16800975 18446604467699366080 0 0 -1 7 0 0 0
[pid=13748/tid=13759] ppid=13746 vsize=10552524 CPUtime=0 cores=1,3,5,7
/proc/13748/task/13759/stat : 13759 (java) S 13746 13748 12306 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 858810970 10805784576 138700 33554432000 1073741824 1073778376 140734960082000 18446744073709551615 270350200320 0 0 0 16800975 18446604467699366080 0 0 -1 1 0 0 0
[pid=13748/tid=13760] ppid=13746 vsize=10552524 CPUtime=0 cores=1,3,5,7
/proc/13748/task/13760/stat : 13760 (java) S 13746 13748 12306 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 858810971 10805784576 138702 33554432000 1073741824 1073778376 140734960082000 18446744073709551615 270350199705 0 4 0 16800975 18446604467699366080 0 0 -1 1 0 0 0
[pid=13748/tid=13761] ppid=13746 vsize=10552524 CPUtime=0 cores=1,3,5,7
/proc/13748/task/13761/stat : 13761 (java) S 13746 13748 12306 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 19 0 858810971 10805784576 138703 33554432000 1073741824 1073778376 140734960082000 18446744073709551615 270350199705 0 4 0 16800975 18446604467699366080 0 0 -1 7 0 0 0
[pid=13748/tid=13762] ppid=13746 vsize=10552524 CPUtime=0 cores=1,3,5,7
/proc/13748/task/13762/stat : 13762 (java) S 13746 13748 12306 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 858810973 10805784576 138705 33554432000 1073741824 1073778376 140734960082000 18446744073709551615 270350207409 0 4 0 16800975 18446604467699366080 0 0 -1 1 0 0 0
[pid=13748/tid=13763] ppid=13746 vsize=10552524 CPUtime=0.67 cores=1,3,5,7
/proc/13748/task/13763/stat : 13763 (java) S 13746 13748 12306 0 -1 4202560 7049 0 0 0 67 0 0 0 15 0 19 0 858810973 10805784576 138706 33554432000 1073741824 1073778376 140734960082000 18446744073709551615 270350199705 0 4 0 16800975 18446604467699366080 0 0 -1 1 0 0 0
[pid=13748/tid=13764] ppid=13746 vsize=10552524 CPUtime=0.72 cores=1,3,5,7
/proc/13748/task/13764/stat : 13764 (java) S 13746 13748 12306 0 -1 4202560 5843 0 0 0 72 0 0 0 15 0 19 0 858810973 10805784576 138707 33554432000 1073741824 1073778376 140734960082000 18446744073709551615 270350199705 0 4 0 16800975 18446604467699366080 0 0 -1 5 0 0 0
[pid=13748/tid=13765] ppid=13746 vsize=10552524 CPUtime=0 cores=1,3,5,7
/proc/13748/task/13765/stat : 13765 (java) S 13746 13748 12306 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 858810973 10805784576 138708 33554432000 1073741824 1073778376 140734960082000 18446744073709551615 270350199705 0 4 0 16800975 18446604467699366080 0 0 -1 3 0 0 0
[pid=13748/tid=13766] ppid=13746 vsize=10552524 CPUtime=0 cores=1,3,5,7
/proc/13748/task/13766/stat : 13766 (java) S 13746 13748 12306 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 858810973 10805784576 138710 33554432000 1073741824 1073778376 140734960082000 18446744073709551615 270350200320 0 4 0 16800975 18446604467699366080 0 0 -1 7 0 0 0
[pid=13748/tid=13767] ppid=13746 vsize=10552524 CPUtime=0 cores=1,3,5,7
/proc/13748/task/13767/stat : 13767 (java) S 13746 13748 12306 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 19 0 858811001 10805784576 138711 33554432000 1073741824 1073778376 140734960082000 18446744073709551615 270350200320 0 4 0 16800975 18446604467699366080 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4.5
Current children cumulated vsize (KiB) 10552524
[startup+6.30073 s]
/proc/loadavg: 2.03 2.04 2.01 3/214 13823
/proc/meminfo: memFree=29956824/32951124 swapFree=67055520/67111528
[pid=13748] ppid=13746 vsize=10552524 CPUtime=7.81 cores=1,3,5,7
/proc/13748/stat : 13748 (java) S 13746 13748 12306 0 -1 4202496 289964 0 1 0 746 35 0 0 23 0 19 0 858810967 10805784576 280921 33554432000 1073741824 1073778376 140734960082000 18446744073709551615 270350186469 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/13748/statm: 2638131 280922 2239 9 0 2628865 0
[pid=13748/tid=13750] ppid=13746 vsize=10552524 CPUtime=6.28 cores=1,3,5,7
/proc/13748/task/13750/stat : 13750 (java) R 13746 13748 12306 0 -1 4202560 274056 0 1 0 595 33 0 0 25 0 19 0 858810968 10805784576 280923 33554432000 1073741824 1073778376 140734960082000 18446744073709551615 46912505791200 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=13748/tid=13751] ppid=13746 vsize=10552524 CPUtime=0 cores=1,3,5,7
/proc/13748/task/13751/stat : 13751 (java) S 13746 13748 12306 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858810969 10805784576 280923 33554432000 1073741824 1073778376 140734960082000 18446744073709551615 270350199705 0 4 0 16800975 18446604467699366080 0 0 -1 7 0 0 0
[pid=13748/tid=13752] ppid=13746 vsize=10552524 CPUtime=0 cores=1,3,5,7
/proc/13748/task/13752/stat : 13752 (java) S 13746 13748 12306 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858810969 10805784576 280925 33554432000 1073741824 1073778376 140734960082000 18446744073709551615 270350199705 0 4 0 16800975 18446604467699366080 0 0 -1 5 0 0 0
[pid=13748/tid=13753] ppid=13746 vsize=10552524 CPUtime=0 cores=1,3,5,7
/proc/13748/task/13753/stat : 13753 (java) S 13746 13748 12306 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858810969 10805784576 280925 33554432000 1073741824 1073778376 140734960082000 18446744073709551615 270350199705 0 4 0 16800975 18446604467699366080 0 0 -1 7 0 0 0
[pid=13748/tid=13754] ppid=13746 vsize=10552524 CPUtime=0 cores=1,3,5,7
/proc/13748/task/13754/stat : 13754 (java) S 13746 13748 12306 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858810969 10805784576 280926 33554432000 1073741824 1073778376 140734960082000 18446744073709551615 270350199705 0 4 0 16800975 18446604467699366080 0 0 -1 7 0 0 0
[pid=13748/tid=13755] ppid=13746 vsize=10552524 CPUtime=0 cores=1,3,5,7
/proc/13748/task/13755/stat : 13755 (java) S 13746 13748 12306 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858810969 10805784576 280927 33554432000 1073741824 1073778376 140734960082000 18446744073709551615 270350199705 0 4 0 16800975 18446604467699366080 0 0 -1 7 0 0 0
[pid=13748/tid=13756] ppid=13746 vsize=10552524 CPUtime=0 cores=1,3,5,7
/proc/13748/task/13756/stat : 13756 (java) S 13746 13748 12306 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858810969 10805784576 280928 33554432000 1073741824 1073778376 140734960082000 18446744073709551615 270350199705 0 4 0 16800975 18446604467699366080 0 0 -1 5 0 0 0
[pid=13748/tid=13757] ppid=13746 vsize=10552524 CPUtime=0 cores=1,3,5,7
/proc/13748/task/13757/stat : 13757 (java) S 13746 13748 12306 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858810969 10805784576 280928 33554432000 1073741824 1073778376 140734960082000 18446744073709551615 270350199705 0 4 0 16800975 18446604467699366080 0 0 -1 7 0 0 0
[pid=13748/tid=13758] ppid=13746 vsize=10552524 CPUtime=0 cores=1,3,5,7
/proc/13748/task/13758/stat : 13758 (java) S 13746 13748 12306 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 858810969 10805784576 280929 33554432000 1073741824 1073778376 140734960082000 18446744073709551615 270350199705 0 4 0 16800975 18446604467699366080 0 0 -1 7 0 0 0
[pid=13748/tid=13759] ppid=13746 vsize=10552524 CPUtime=0 cores=1,3,5,7
/proc/13748/task/13759/stat : 13759 (java) S 13746 13748 12306 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 858810970 10805784576 280930 33554432000 1073741824 1073778376 140734960082000 18446744073709551615 270350200320 0 0 0 16800975 18446604467699366080 0 0 -1 1 0 0 0
[pid=13748/tid=13760] ppid=13746 vsize=10552524 CPUtime=0 cores=1,3,5,7
/proc/13748/task/13760/stat : 13760 (java) S 13746 13748 12306 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 858810971 10805784576 280930 33554432000 1073741824 1073778376 140734960082000 18446744073709551615 270350199705 0 4 0 16800975 18446604467699366080 0 0 -1 1 0 0 0
[pid=13748/tid=13761] ppid=13746 vsize=10552524 CPUtime=0 cores=1,3,5,7
/proc/13748/task/13761/stat : 13761 (java) S 13746 13748 12306 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 19 0 858810971 10805784576 280931 33554432000 1073741824 1073778376 140734960082000 18446744073709551615 270350199705 0 4 0 16800975 18446604467699366080 0 0 -1 7 0 0 0
[pid=13748/tid=13762] ppid=13746 vsize=10552524 CPUtime=0 cores=1,3,5,7
/proc/13748/task/13762/stat : 13762 (java) S 13746 13748 12306 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 858810973 10805784576 280932 33554432000 1073741824 1073778376 140734960082000 18446744073709551615 270350207409 0 4 0 16800975 18446604467699366080 0 0 -1 1 0 0 0
[pid=13748/tid=13763] ppid=13746 vsize=10552524 CPUtime=0.74 cores=1,3,5,7
/proc/13748/task/13763/stat : 13763 (java) S 13746 13748 12306 0 -1 4202560 8898 0 0 0 74 0 0 0 15 0 19 0 858810973 10805784576 280932 33554432000 1073741824 1073778376 140734960082000 18446744073709551615 270350199705 0 4 0 16800975 18446604467699366080 0 0 -1 1 0 0 0
[pid=13748/tid=13764] ppid=13746 vsize=10552524 CPUtime=0.76 cores=1,3,5,7
/proc/13748/task/13764/stat : 13764 (java) S 13746 13748 12306 0 -1 4202560 5849 0 0 0 76 0 0 0 15 0 19 0 858810973 10805784576 280933 33554432000 1073741824 1073778376 140734960082000 18446744073709551615 270350199705 0 4 0 16800975 18446604467699366080 0 0 -1 5 0 0 0
[pid=13748/tid=13765] ppid=13746 vsize=10552524 CPUtime=0 cores=1,3,5,7
/proc/13748/task/13765/stat : 13765 (java) S 13746 13748 12306 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 858810973 10805784576 280933 33554432000 1073741824 1073778376 140734960082000 18446744073709551615 270350199705 0 4 0 16800975 18446604467699366080 0 0 -1 3 0 0 0
[pid=13748/tid=13766] ppid=13746 vsize=10552524 CPUtime=0 cores=1,3,5,7
/proc/13748/task/13766/stat : 13766 (java) S 13746 13748 12306 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 858810973 10805784576 280934 33554432000 1073741824 1073778376 140734960082000 18446744073709551615 270350200320 0 4 0 16800975 18446604467699366080 0 0 -1 7 0 0 0
[pid=13748/tid=13767] ppid=13746 vsize=10552524 CPUtime=0 cores=1,3,5,7
/proc/13748/task/13767/stat : 13767 (java) S 13746 13748 12306 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 19 0 858811001 10805784576 280936 33554432000 1073741824 1073778376 140734960082000 18446744073709551615 270350200320 0 4 0 16800975 18446604467699366080 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 7.81
Current children cumulated vsize (KiB) 10552524
[startup+12.7015 s]
################
# More data... #
################
/proc/13748/task/13760/stat : 13760 (java) S 13746 13748 12306 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 858810971 10805784576 939903 33554432000 1073741824 1073778376 140734960082000 18446744073709551615 270350199705 0 4 0 16800975 18446604467699366080 0 0 -1 1 0 0 0
[pid=13748/tid=13761] ppid=13746 vsize=10552524 CPUtime=0 cores=1,3,5,7
/proc/13748/task/13761/stat : 13761 (java) S 13746 13748 12306 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 858810971 10805784576 939903 33554432000 1073741824 1073778376 140734960082000 18446744073709551615 270350199705 0 4 0 16800975 18446604467699366080 0 0 -1 7 0 0 0
[pid=13748/tid=13762] ppid=13746 vsize=10552524 CPUtime=0 cores=1,3,5,7
/proc/13748/task/13762/stat : 13762 (java) S 13746 13748 12306 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 858810973 10805784576 939903 33554432000 1073741824 1073778376 140734960082000 18446744073709551615 270350207409 0 4 0 16800975 18446604467699366080 0 0 -1 1 0 0 0
[pid=13748/tid=13763] ppid=13746 vsize=10552524 CPUtime=0.84 cores=1,3,5,7
/proc/13748/task/13763/stat : 13763 (java) S 13746 13748 12306 0 -1 4202560 8914 0 0 0 84 0 0 0 15 0 19 0 858810973 10805784576 939903 33554432000 1073741824 1073778376 140734960082000 18446744073709551615 270350199705 0 4 0 16800975 18446604467699366080 0 0 -1 1 0 0 0
[pid=13748/tid=13764] ppid=13746 vsize=10552524 CPUtime=0.82 cores=1,3,5,7
/proc/13748/task/13764/stat : 13764 (java) S 13746 13748 12306 0 -1 4202560 5856 0 0 0 82 0 0 0 15 0 19 0 858810973 10805784576 939903 33554432000 1073741824 1073778376 140734960082000 18446744073709551615 270350199705 0 4 0 16800975 18446604467699366080 0 0 -1 5 0 0 0
[pid=13748/tid=13765] ppid=13746 vsize=10552524 CPUtime=0 cores=1,3,5,7
/proc/13748/task/13765/stat : 13765 (java) S 13746 13748 12306 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 858810973 10805784576 939903 33554432000 1073741824 1073778376 140734960082000 18446744073709551615 270350199705 0 4 0 16800975 18446604467699366080 0 0 -1 3 0 0 0
[pid=13748/tid=13766] ppid=13746 vsize=10552524 CPUtime=0 cores=1,3,5,7
/proc/13748/task/13766/stat : 13766 (java) S 13746 13748 12306 0 -1 4202560 101 0 0 0 0 0 0 0 15 0 19 0 858810973 10805784576 939903 33554432000 1073741824 1073778376 140734960082000 18446744073709551615 270350200320 0 4 0 16800975 18446604467699366080 0 0 -1 1 0 0 0
[pid=13748/tid=13767] ppid=13746 vsize=10552524 CPUtime=0 cores=1,3,5,7
/proc/13748/task/13767/stat : 13767 (java) S 13746 13748 12306 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 19 0 858811001 10805784576 939903 33554432000 1073741824 1073778376 140734960082000 18446744073709551615 270350200320 0 4 0 16800975 18446604467699366080 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1666.89
Current children cumulated vsize (KiB) 10552524
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/214 13881
/proc/meminfo: memFree=24478960/32951124 swapFree=67055520/67111528
[pid=13748] ppid=13746 vsize=10552524 CPUtime=1727.01 cores=1,3,5,7
/proc/13748/stat : 13748 (java) S 13746 13748 12306 0 -1 4202496 952029 0 1 0 172594 107 0 0 23 0 19 0 858810967 10805784576 940979 33554432000 1073741824 1073778376 140734960082000 18446744073709551615 270350186469 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/13748/statm: 2638131 940979 2268 9 0 2628865 0
[pid=13748/tid=13750] ppid=13746 vsize=10552524 CPUtime=1720.73 cores=1,3,5,7
/proc/13748/task/13750/stat : 13750 (java) R 13746 13748 12306 0 -1 4202560 813959 0 1 0 171985 88 0 0 25 0 19 0 858810968 10805784576 940979 33554432000 1073741824 1073778376 140734960082000 18446744073709551615 46912505707664 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=13748/tid=13751] ppid=13746 vsize=10552524 CPUtime=0.42 cores=1,3,5,7
/proc/13748/task/13751/stat : 13751 (java) S 13746 13748 12306 0 -1 4202560 10303 0 0 0 42 0 0 0 16 0 19 0 858810969 10805784576 940979 33554432000 1073741824 1073778376 140734960082000 18446744073709551615 270350199705 0 4 0 16800975 18446604467699366080 0 0 -1 3 0 0 0
[pid=13748/tid=13752] ppid=13746 vsize=10552524 CPUtime=0.55 cores=1,3,5,7
/proc/13748/task/13752/stat : 13752 (java) S 13746 13748 12306 0 -1 4202560 16331 0 0 0 53 2 0 0 16 0 19 0 858810969 10805784576 940979 33554432000 1073741824 1073778376 140734960082000 18446744073709551615 270350199705 0 4 0 16800975 18446604467699366080 0 0 -1 1 0 0 0
[pid=13748/tid=13753] ppid=13746 vsize=10552524 CPUtime=0.43 cores=1,3,5,7
/proc/13748/task/13753/stat : 13753 (java) S 13746 13748 12306 0 -1 4202560 9198 0 0 0 42 1 0 0 15 0 19 0 858810969 10805784576 940979 33554432000 1073741824 1073778376 140734960082000 18446744073709551615 270350199705 0 4 0 16800975 18446604467699366080 0 0 -1 3 0 0 0
[pid=13748/tid=13754] ppid=13746 vsize=10552524 CPUtime=0.62 cores=1,3,5,7
/proc/13748/task/13754/stat : 13754 (java) S 13746 13748 12306 0 -1 4202560 21848 0 0 0 59 3 0 0 16 0 19 0 858810969 10805784576 940979 33554432000 1073741824 1073778376 140734960082000 18446744073709551615 270350199705 0 4 0 16800975 18446604467699366080 0 0 -1 5 0 0 0
[pid=13748/tid=13755] ppid=13746 vsize=10552524 CPUtime=0.48 cores=1,3,5,7
/proc/13748/task/13755/stat : 13755 (java) S 13746 13748 12306 0 -1 4202560 15030 0 0 0 47 1 0 0 15 0 19 0 858810969 10805784576 940979 33554432000 1073741824 1073778376 140734960082000 18446744073709551615 270350199705 0 4 0 16800975 18446604467699366080 0 0 -1 3 0 0 0
[pid=13748/tid=13756] ppid=13746 vsize=10552524 CPUtime=0.58 cores=1,3,5,7
/proc/13748/task/13756/stat : 13756 (java) S 13746 13748 12306 0 -1 4202560 15446 0 0 0 56 2 0 0 16 0 19 0 858810969 10805784576 940979 33554432000 1073741824 1073778376 140734960082000 18446744073709551615 270350199705 0 4 0 16800975 18446604467699366080 0 0 -1 7 0 0 0
[pid=13748/tid=13757] ppid=13746 vsize=10552524 CPUtime=0.43 cores=1,3,5,7
/proc/13748/task/13757/stat : 13757 (java) S 13746 13748 12306 0 -1 4202560 16141 0 0 0 41 2 0 0 15 0 19 0 858810969 10805784576 940979 33554432000 1073741824 1073778376 140734960082000 18446744073709551615 270350199705 0 4 0 16800975 18446604467699366080 0 0 -1 7 0 0 0
[pid=13748/tid=13758] ppid=13746 vsize=10552524 CPUtime=0.48 cores=1,3,5,7
/proc/13748/task/13758/stat : 13758 (java) S 13746 13748 12306 0 -1 4202560 16930 0 0 0 46 2 0 0 15 0 19 0 858810969 10805784576 940979 33554432000 1073741824 1073778376 140734960082000 18446744073709551615 270350199705 0 4 0 16800975 18446604467699366080 0 0 -1 1 0 0 0
[pid=13748/tid=13759] ppid=13746 vsize=10552524 CPUtime=0.51 cores=1,3,5,7
/proc/13748/task/13759/stat : 13759 (java) S 13746 13748 12306 0 -1 4202560 818 0 0 0 51 0 0 0 15 0 19 0 858810970 10805784576 940979 33554432000 1073741824 1073778376 140734960082000 18446744073709551615 270350200320 0 0 0 16800975 18446604467699366080 0 0 -1 1 0 0 0
[pid=13748/tid=13760] ppid=13746 vsize=10552524 CPUtime=0 cores=1,3,5,7
/proc/13748/task/13760/stat : 13760 (java) S 13746 13748 12306 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 858810971 10805784576 940979 33554432000 1073741824 1073778376 140734960082000 18446744073709551615 270350199705 0 4 0 16800975 18446604467699366080 0 0 -1 1 0 0 0
[pid=13748/tid=13761] ppid=13746 vsize=10552524 CPUtime=0 cores=1,3,5,7
/proc/13748/task/13761/stat : 13761 (java) S 13746 13748 12306 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 858810971 10805784576 940979 33554432000 1073741824 1073778376 140734960082000 18446744073709551615 270350199705 0 4 0 16800975 18446604467699366080 0 0 -1 7 0 0 0
[pid=13748/tid=13762] ppid=13746 vsize=10552524 CPUtime=0 cores=1,3,5,7
/proc/13748/task/13762/stat : 13762 (java) S 13746 13748 12306 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 858810973 10805784576 940979 33554432000 1073741824 1073778376 140734960082000 18446744073709551615 270350207409 0 4 0 16800975 18446604467699366080 0 0 -1 1 0 0 0
[pid=13748/tid=13763] ppid=13746 vsize=10552524 CPUtime=0.84 cores=1,3,5,7
/proc/13748/task/13763/stat : 13763 (java) S 13746 13748 12306 0 -1 4202560 8914 0 0 0 84 0 0 0 15 0 19 0 858810973 10805784576 940979 33554432000 1073741824 1073778376 140734960082000 18446744073709551615 270350199705 0 4 0 16800975 18446604467699366080 0 0 -1 1 0 0 0
[pid=13748/tid=13764] ppid=13746 vsize=10552524 CPUtime=0.82 cores=1,3,5,7
/proc/13748/task/13764/stat : 13764 (java) S 13746 13748 12306 0 -1 4202560 5856 0 0 0 82 0 0 0 15 0 19 0 858810973 10805784576 940979 33554432000 1073741824 1073778376 140734960082000 18446744073709551615 270350199705 0 4 0 16800975 18446604467699366080 0 0 -1 5 0 0 0
[pid=13748/tid=13765] ppid=13746 vsize=10552524 CPUtime=0 cores=1,3,5,7
/proc/13748/task/13765/stat : 13765 (java) S 13746 13748 12306 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 858810973 10805784576 940979 33554432000 1073741824 1073778376 140734960082000 18446744073709551615 270350199705 0 4 0 16800975 18446604467699366080 0 0 -1 3 0 0 0
[pid=13748/tid=13766] ppid=13746 vsize=10552524 CPUtime=0 cores=1,3,5,7
/proc/13748/task/13766/stat : 13766 (java) S 13746 13748 12306 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 858810973 10805784576 940979 33554432000 1073741824 1073778376 140734960082000 18446744073709551615 270350200320 0 4 0 16800975 18446604467699366080 0 0 -1 1 0 0 0
[pid=13748/tid=13767] ppid=13746 vsize=10552524 CPUtime=0 cores=1,3,5,7
/proc/13748/task/13767/stat : 13767 (java) S 13746 13748 12306 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 19 0 858811001 10805784576 940979 33554432000 1073741824 1073778376 140734960082000 18446744073709551615 270350200320 0 4 0 16800975 18446604467699366080 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1727.01
Current children cumulated vsize (KiB) 10552524
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/214 13882
/proc/meminfo: memFree=24459072/32951124 swapFree=67055520/67111528
[pid=13748] ppid=13746 vsize=10552524 CPUtime=1787.08 cores=1,3,5,7
/proc/13748/stat : 13748 (java) S 13746 13748 12306 0 -1 4202496 952339 0 1 0 178601 107 0 0 23 0 19 0 858810967 10805784576 941273 33554432000 1073741824 1073778376 140734960082000 18446744073709551615 270350186469 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/13748/statm: 2638131 941273 2268 9 0 2628865 0
[pid=13748/tid=13750] ppid=13746 vsize=10552524 CPUtime=1780.71 cores=1,3,5,7
/proc/13748/task/13750/stat : 13750 (java) R 13746 13748 12306 0 -1 4202560 813962 0 1 0 177983 88 0 0 25 0 19 0 858810968 10805784576 941273 33554432000 1073741824 1073778376 140734960082000 18446744073709551615 46912505708686 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=13748/tid=13751] ppid=13746 vsize=10552524 CPUtime=0.42 cores=1,3,5,7
/proc/13748/task/13751/stat : 13751 (java) S 13746 13748 12306 0 -1 4202560 10303 0 0 0 42 0 0 0 16 0 19 0 858810969 10805784576 941273 33554432000 1073741824 1073778376 140734960082000 18446744073709551615 270350199705 0 4 0 16800975 18446604467699366080 0 0 -1 3 0 0 0
[pid=13748/tid=13752] ppid=13746 vsize=10552524 CPUtime=0.56 cores=1,3,5,7
/proc/13748/task/13752/stat : 13752 (java) S 13746 13748 12306 0 -1 4202560 16360 0 0 0 54 2 0 0 16 0 19 0 858810969 10805784576 941273 33554432000 1073741824 1073778376 140734960082000 18446744073709551615 270350199705 0 4 0 16800975 18446604467699366080 0 0 -1 1 0 0 0
[pid=13748/tid=13753] ppid=13746 vsize=10552524 CPUtime=0.44 cores=1,3,5,7
/proc/13748/task/13753/stat : 13753 (java) S 13746 13748 12306 0 -1 4202560 9212 0 0 0 43 1 0 0 16 0 19 0 858810969 10805784576 941273 33554432000 1073741824 1073778376 140734960082000 18446744073709551615 270350199705 0 4 0 16800975 18446604467699366080 0 0 -1 1 0 0 0
[pid=13748/tid=13754] ppid=13746 vsize=10552524 CPUtime=0.64 cores=1,3,5,7
/proc/13748/task/13754/stat : 13754 (java) S 13746 13748 12306 0 -1 4202560 22030 0 0 0 61 3 0 0 16 0 19 0 858810969 10805784576 941273 33554432000 1073741824 1073778376 140734960082000 18446744073709551615 270350199705 0 4 0 16800975 18446604467699366080 0 0 -1 5 0 0 0
[pid=13748/tid=13755] ppid=13746 vsize=10552524 CPUtime=0.5 cores=1,3,5,7
/proc/13748/task/13755/stat : 13755 (java) S 13746 13748 12306 0 -1 4202560 15060 0 0 0 49 1 0 0 16 0 19 0 858810969 10805784576 941273 33554432000 1073741824 1073778376 140734960082000 18446744073709551615 270350199705 0 4 0 16800975 18446604467699366080 0 0 -1 3 0 0 0
[pid=13748/tid=13756] ppid=13746 vsize=10552524 CPUtime=0.6 cores=1,3,5,7
/proc/13748/task/13756/stat : 13756 (java) S 13746 13748 12306 0 -1 4202560 15476 0 0 0 58 2 0 0 16 0 19 0 858810969 10805784576 941273 33554432000 1073741824 1073778376 140734960082000 18446744073709551615 270350199705 0 4 0 16800975 18446604467699366080 0 0 -1 7 0 0 0
[pid=13748/tid=13757] ppid=13746 vsize=10552524 CPUtime=0.44 cores=1,3,5,7
/proc/13748/task/13757/stat : 13757 (java) S 13746 13748 12306 0 -1 4202560 16153 0 0 0 42 2 0 0 16 0 19 0 858810969 10805784576 941273 33554432000 1073741824 1073778376 140734960082000 18446744073709551615 270350199705 0 4 0 16800975 18446604467699366080 0 0 -1 7 0 0 0
[pid=13748/tid=13758] ppid=13746 vsize=10552524 CPUtime=0.48 cores=1,3,5,7
/proc/13748/task/13758/stat : 13758 (java) S 13746 13748 12306 0 -1 4202560 16930 0 0 0 46 2 0 0 16 0 19 0 858810969 10805784576 941273 33554432000 1073741824 1073778376 140734960082000 18446744073709551615 270350199705 0 4 0 16800975 18446604467699366080 0 0 -1 1 0 0 0
[pid=13748/tid=13759] ppid=13746 vsize=10552524 CPUtime=0.51 cores=1,3,5,7
/proc/13748/task/13759/stat : 13759 (java) S 13746 13748 12306 0 -1 4202560 820 0 0 0 51 0 0 0 15 0 19 0 858810970 10805784576 941273 33554432000 1073741824 1073778376 140734960082000 18446744073709551615 270350200320 0 0 0 16800975 18446604467699366080 0 0 -1 1 0 0 0
[pid=13748/tid=13760] ppid=13746 vsize=10552524 CPUtime=0 cores=1,3,5,7
/proc/13748/task/13760/stat : 13760 (java) S 13746 13748 12306 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 858810971 10805784576 941273 33554432000 1073741824 1073778376 140734960082000 18446744073709551615 270350199705 0 4 0 16800975 18446604467699366080 0 0 -1 1 0 0 0
[pid=13748/tid=13761] ppid=13746 vsize=10552524 CPUtime=0 cores=1,3,5,7
/proc/13748/task/13761/stat : 13761 (java) S 13746 13748 12306 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 858810971 10805784576 941273 33554432000 1073741824 1073778376 140734960082000 18446744073709551615 270350199705 0 4 0 16800975 18446604467699366080 0 0 -1 7 0 0 0
[pid=13748/tid=13762] ppid=13746 vsize=10552524 CPUtime=0 cores=1,3,5,7
/proc/13748/task/13762/stat : 13762 (java) S 13746 13748 12306 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 858810973 10805784576 941273 33554432000 1073741824 1073778376 140734960082000 18446744073709551615 270350207409 0 4 0 16800975 18446604467699366080 0 0 -1 1 0 0 0
[pid=13748/tid=13763] ppid=13746 vsize=10552524 CPUtime=0.85 cores=1,3,5,7
/proc/13748/task/13763/stat : 13763 (java) S 13746 13748 12306 0 -1 4202560 8918 0 0 0 85 0 0 0 15 0 19 0 858810973 10805784576 941273 33554432000 1073741824 1073778376 140734960082000 18446744073709551615 270350199705 0 4 0 16800975 18446604467699366080 0 0 -1 1 0 0 0
[pid=13748/tid=13764] ppid=13746 vsize=10552524 CPUtime=0.82 cores=1,3,5,7
/proc/13748/task/13764/stat : 13764 (java) S 13746 13748 12306 0 -1 4202560 5856 0 0 0 82 0 0 0 15 0 19 0 858810973 10805784576 941273 33554432000 1073741824 1073778376 140734960082000 18446744073709551615 270350199705 0 4 0 16800975 18446604467699366080 0 0 -1 5 0 0 0
[pid=13748/tid=13765] ppid=13746 vsize=10552524 CPUtime=0 cores=1,3,5,7
/proc/13748/task/13765/stat : 13765 (java) S 13746 13748 12306 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 858810973 10805784576 941273 33554432000 1073741824 1073778376 140734960082000 18446744073709551615 270350199705 0 4 0 16800975 18446604467699366080 0 0 -1 3 0 0 0
[pid=13748/tid=13766] ppid=13746 vsize=10552524 CPUtime=0 cores=1,3,5,7
/proc/13748/task/13766/stat : 13766 (java) S 13746 13748 12306 0 -1 4202560 107 0 0 0 0 0 0 0 15 0 19 0 858810973 10805784576 941273 33554432000 1073741824 1073778376 140734960082000 18446744073709551615 270350200320 0 4 0 16800975 18446604467699366080 0 0 -1 1 0 0 0
[pid=13748/tid=13767] ppid=13746 vsize=10552524 CPUtime=0 cores=1,3,5,7
/proc/13748/task/13767/stat : 13767 (java) S 13746 13748 12306 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 19 0 858811001 10805784576 941273 33554432000 1073741824 1073778376 140734960082000 18446744073709551615 270350200320 0 4 0 16800975 18446604467699366080 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1787.08
Current children cumulated vsize (KiB) 10552524
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1795.21 s]
/proc/loadavg: 1.92 1.99 1.99 2/194 13886
/proc/meminfo: memFree=28496148/32951124 swapFree=67055520/67111528
[pid=13748] ppid=13746 vsize=10552524 CPUtime=1800.05 cores=1,3,5,7
/proc/13748/stat : 13748 (java) S 13746 13748 12306 0 -1 4202496 953109 0 1 0 179898 107 0 0 23 0 19 0 858810967 10805784576 942022 33554432000 1073741824 1073778376 140734960082000 18446744073709551615 270350186469 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/13748/statm: 2638131 942022 2268 9 0 2628865 0
[pid=13748/tid=13750] ppid=13746 vsize=10552524 CPUtime=1793.6 cores=1,3,5,7
/proc/13748/task/13750/stat : 13750 (java) R 13746 13748 12306 0 -1 4202560 813963 0 1 0 179272 88 0 0 25 0 19 0 858810968 10805784576 942022 33554432000 1073741824 1073778376 140734960082000 18446744073709551615 46912505772141 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=13748/tid=13751] ppid=13746 vsize=10552524 CPUtime=0.42 cores=1,3,5,7
/proc/13748/task/13751/stat : 13751 (java) S 13746 13748 12306 0 -1 4202560 10303 0 0 0 42 0 0 0 15 0 19 0 858810969 10805784576 942022 33554432000 1073741824 1073778376 140734960082000 18446744073709551615 270350199705 0 4 0 16800975 18446604467699366080 0 0 -1 3 0 0 0
[pid=13748/tid=13752] ppid=13746 vsize=10552524 CPUtime=0.56 cores=1,3,5,7
/proc/13748/task/13752/stat : 13752 (java) S 13746 13748 12306 0 -1 4202560 16360 0 0 0 54 2 0 0 15 0 19 0 858810969 10805784576 942022 33554432000 1073741824 1073778376 140734960082000 18446744073709551615 270350199705 0 4 0 16800975 18446604467699366080 0 0 -1 1 0 0 0
[pid=13748/tid=13753] ppid=13746 vsize=10552524 CPUtime=0.46 cores=1,3,5,7
/proc/13748/task/13753/stat : 13753 (java) S 13746 13748 12306 0 -1 4202560 9494 0 0 0 45 1 0 0 16 0 19 0 858810969 10805784576 942022 33554432000 1073741824 1073778376 140734960082000 18446744073709551615 270350199705 0 4 0 16800975 18446604467699366080 0 0 -1 5 0 0 0
[pid=13748/tid=13754] ppid=13746 vsize=10552524 CPUtime=0.64 cores=1,3,5,7
/proc/13748/task/13754/stat : 13754 (java) S 13746 13748 12306 0 -1 4202560 22030 0 0 0 61 3 0 0 15 0 19 0 858810969 10805784576 942022 33554432000 1073741824 1073778376 140734960082000 18446744073709551615 270350199705 0 4 0 16800975 18446604467699366080 0 0 -1 5 0 0 0
[pid=13748/tid=13755] ppid=13746 vsize=10552524 CPUtime=0.52 cores=1,3,5,7
/proc/13748/task/13755/stat : 13755 (java) S 13746 13748 12306 0 -1 4202560 15210 0 0 0 51 1 0 0 16 0 19 0 858810969 10805784576 942022 33554432000 1073741824 1073778376 140734960082000 18446744073709551615 270350199705 0 4 0 16800975 18446604467699366080 0 0 -1 3 0 0 0
[pid=13748/tid=13756] ppid=13746 vsize=10552524 CPUtime=0.62 cores=1,3,5,7
/proc/13748/task/13756/stat : 13756 (java) S 13746 13748 12306 0 -1 4202560 15639 0 0 0 60 2 0 0 16 0 19 0 858810969 10805784576 942022 33554432000 1073741824 1073778376 140734960082000 18446744073709551615 270350199705 0 4 0 16800975 18446604467699366080 0 0 -1 7 0 0 0
[pid=13748/tid=13757] ppid=13746 vsize=10552524 CPUtime=0.44 cores=1,3,5,7
/proc/13748/task/13757/stat : 13757 (java) S 13746 13748 12306 0 -1 4202560 16153 0 0 0 42 2 0 0 15 0 19 0 858810969 10805784576 942022 33554432000 1073741824 1073778376 140734960082000 18446744073709551615 270350199705 0 4 0 16800975 18446604467699366080 0 0 -1 7 0 0 0
[pid=13748/tid=13758] ppid=13746 vsize=10552524 CPUtime=0.5 cores=1,3,5,7
/proc/13748/task/13758/stat : 13758 (java) S 13746 13748 12306 0 -1 4202560 17102 0 0 0 48 2 0 0 16 0 19 0 858810969 10805784576 942022 33554432000 1073741824 1073778376 140734960082000 18446744073709551615 270350199705 0 4 0 16800975 18446604467699366080 0 0 -1 1 0 0 0
[pid=13748/tid=13759] ppid=13746 vsize=10552524 CPUtime=0.51 cores=1,3,5,7
/proc/13748/task/13759/stat : 13759 (java) S 13746 13748 12306 0 -1 4202560 820 0 0 0 51 0 0 0 15 0 19 0 858810970 10805784576 942022 33554432000 1073741824 1073778376 140734960082000 18446744073709551615 270350200320 0 0 0 16800975 18446604467699366080 0 0 -1 1 0 0 0
[pid=13748/tid=13760] ppid=13746 vsize=10552524 CPUtime=0 cores=1,3,5,7
/proc/13748/task/13760/stat : 13760 (java) S 13746 13748 12306 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 858810971 10805784576 942022 33554432000 1073741824 1073778376 140734960082000 18446744073709551615 270350199705 0 4 0 16800975 18446604467699366080 0 0 -1 1 0 0 0
[pid=13748/tid=13761] ppid=13746 vsize=10552524 CPUtime=0 cores=1,3,5,7
/proc/13748/task/13761/stat : 13761 (java) S 13746 13748 12306 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 858810971 10805784576 942022 33554432000 1073741824 1073778376 140734960082000 18446744073709551615 270350199705 0 4 0 16800975 18446604467699366080 0 0 -1 7 0 0 0
[pid=13748/tid=13762] ppid=13746 vsize=10552524 CPUtime=0 cores=1,3,5,7
/proc/13748/task/13762/stat : 13762 (java) S 13746 13748 12306 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 858810973 10805784576 942022 33554432000 1073741824 1073778376 140734960082000 18446744073709551615 270350207409 0 4 0 16800975 18446604467699366080 0 0 -1 1 0 0 0
[pid=13748/tid=13763] ppid=13746 vsize=10552524 CPUtime=0.85 cores=1,3,5,7
/proc/13748/task/13763/stat : 13763 (java) S 13746 13748 12306 0 -1 4202560 8918 0 0 0 85 0 0 0 15 0 19 0 858810973 10805784576 942022 33554432000 1073741824 1073778376 140734960082000 18446744073709551615 270350199705 0 4 0 16800975 18446604467699366080 0 0 -1 1 0 0 0
[pid=13748/tid=13764] ppid=13746 vsize=10552524 CPUtime=0.82 cores=1,3,5,7
/proc/13748/task/13764/stat : 13764 (java) S 13746 13748 12306 0 -1 4202560 5856 0 0 0 82 0 0 0 15 0 19 0 858810973 10805784576 942022 33554432000 1073741824 1073778376 140734960082000 18446744073709551615 270350199705 0 4 0 16800975 18446604467699366080 0 0 -1 5 0 0 0
[pid=13748/tid=13765] ppid=13746 vsize=10552524 CPUtime=0 cores=1,3,5,7
/proc/13748/task/13765/stat : 13765 (java) S 13746 13748 12306 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 858810973 10805784576 942022 33554432000 1073741824 1073778376 140734960082000 18446744073709551615 270350199705 0 4 0 16800975 18446604467699366080 0 0 -1 3 0 0 0
[pid=13748/tid=13766] ppid=13746 vsize=10552524 CPUtime=0 cores=1,3,5,7
/proc/13748/task/13766/stat : 13766 (java) S 13746 13748 12306 0 -1 4202560 109 0 0 0 0 0 0 0 15 0 19 0 858810973 10805784576 942022 33554432000 1073741824 1073778376 140734960082000 18446744073709551615 270350200320 0 4 0 16800975 18446604467699366080 0 0 -1 1 0 0 0
[pid=13748/tid=13767] ppid=13746 vsize=10552524 CPUtime=0 cores=1,3,5,7
/proc/13748/task/13767/stat : 13767 (java) S 13746 13748 12306 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 19 0 858811001 10805784576 942022 33554432000 1073741824 1073778376 140734960082000 18446744073709551615 270350200320 0 4 0 16800975 18446604467699366080 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 10552524
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1795.31 s]
/proc/loadavg: 1.92 1.99 1.99 2/194 13886
/proc/meminfo: memFree=28496148/32951124 swapFree=67055520/67111528
[pid=13748] ppid=13746 vsize=0 CPUtime=1800.16 cores=1,3,5,7
/proc/13748/stat : 13748 (java) Z 13746 13748 12306 0 -1 4203548 953141 0 1 0 179901 115 0 0 17 0 2 0 858810967 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/13748/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.16
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 1795.36
CPU time (s): 1800.22
CPU user time (s): 1799.01
CPU system time (s): 1.20882
CPU usage (%): 100.271
Max. virtual memory (cumulated for all children) (KiB): 10552524
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.01
system time used= 1.20882
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 953141
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 38415
involuntary context switches= 7507
runsolver used 2.86156 second user time and 6.95094 second system time
The end