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-3459032-1307148696/watcher-3459032-1307148696 -o /tmp/evaluation-result-3459032-1307148696/solver-3459032-1307148696 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3459032-1307148696.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.02 2.04 1.94 1/533 21753
/proc/meminfo: memFree=29080444/32951124 swapFree=58212616/67111528
[pid=21753] ppid=21751 vsize=13508980 CPUtime=0 cores=1,3,5,7
/proc/21753/stat : 21753 (java) S 21751 21753 19861 0 -1 4202496 1760 0 1 0 0 0 0 0 18 0 2 0 826467559 13833195520 1461 33554432000 1073741824 1073778376 140734543966240 18446744073709551615 228256151525 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0
/proc/21753/statm: 3377245 1472 906 9 0 3368401 0
[pid=21753/tid=21754] ppid=21751 vsize=13526316 CPUtime=0 cores=1,3,5,7
/proc/21753/task/21754/stat : 21754 (java) R 21751 21753 19861 0 -1 4202560 4835 0 1 0 0 0 0 0 18 0 2 0 826467560 13850947584 5650 33554432000 1073741824 1073778376 140734543966240 18446744073709551615 228244042811 0 4 0 16784584 0 0 0 -1 5 0 0 0
[startup+0.085101 s]
/proc/loadavg: 2.02 2.04 1.94 1/533 21753
/proc/meminfo: memFree=29080444/32951124 swapFree=58212616/67111528
[pid=21753] ppid=21751 vsize=13555088 CPUtime=0.07 cores=1,3,5,7
/proc/21753/stat : 21753 (java) S 21751 21753 19861 0 -1 4202496 14443 0 1 0 5 2 0 0 18 0 18 0 826467559 13880410112 14139 33554432000 1073741824 1073778376 140734543966240 18446744073709551615 228256151525 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/21753/statm: 3388772 14139 1755 9 0 3379506 0
[pid=21753/tid=21754] ppid=21751 vsize=13555088 CPUtime=0.06 cores=1,3,5,7
/proc/21753/task/21754/stat : 21754 (java) R 21751 21753 19861 0 -1 4202560 13269 0 1 0 5 1 0 0 25 0 18 0 826467560 13880410112 14139 33554432000 1073741824 1073778376 140734543966240 18446744073709551615 46941952326180 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 13555088
[startup+0.10106 s]
/proc/loadavg: 2.02 2.04 1.94 1/533 21753
/proc/meminfo: memFree=29080444/32951124 swapFree=58212616/67111528
[pid=21753] ppid=21751 vsize=13621536 CPUtime=0.09 cores=1,3,5,7
/proc/21753/stat : 21753 (java) S 21751 21753 19861 0 -1 4202496 15386 0 1 0 7 2 0 0 18 0 18 0 826467559 13948452864 15082 33554432000 1073741824 1073778376 140734543966240 18446744073709551615 228256151525 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/21753/statm: 3405384 15082 2063 9 0 3396118 0
[pid=21753/tid=21754] ppid=21751 vsize=13621536 CPUtime=0.08 cores=1,3,5,7
/proc/21753/task/21754/stat : 21754 (java) R 21751 21753 19861 0 -1 4202560 13525 0 1 0 6 2 0 0 18 0 18 0 826467560 13948452864 15083 33554432000 1073741824 1073778376 140734543966240 18446744073709551615 46941952331322 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13621536
[startup+0.30103 s]
/proc/loadavg: 2.02 2.04 1.94 1/533 21753
/proc/meminfo: memFree=29080444/32951124 swapFree=58212616/67111528
[pid=21753] ppid=21751 vsize=13622304 CPUtime=0.45 cores=1,3,5,7
/proc/21753/stat : 21753 (java) S 21751 21753 19861 0 -1 4202496 18038 0 1 0 42 3 0 0 18 0 18 0 826467559 13949239296 17588 33554432000 1073741824 1073778376 140734543966240 18446744073709551615 228256151525 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/21753/statm: 3405576 17588 2200 9 0 3396310 0
[pid=21753/tid=21754] ppid=21751 vsize=13622304 CPUtime=0.28 cores=1,3,5,7
/proc/21753/task/21754/stat : 21754 (java) R 21751 21753 19861 0 -1 4202560 15322 0 1 0 26 2 0 0 18 0 18 0 826467560 13949239296 17589 33554432000 1073741824 1073778376 140734543966240 18446744073709551615 46912505219208 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.45
Current children cumulated vsize (KiB) 13622304
[startup+0.700957 s]
/proc/loadavg: 2.02 2.04 1.94 1/533 21753
/proc/meminfo: memFree=29080444/32951124 swapFree=58212616/67111528
[pid=21753] ppid=21751 vsize=13629876 CPUtime=1.37 cores=1,3,5,7
/proc/21753/stat : 21753 (java) S 21751 21753 19861 0 -1 4202496 44646 0 1 0 131 6 0 0 18 0 19 0 826467559 13956993024 42797 33554432000 1073741824 1073778376 140734543966240 18446744073709551615 228256151525 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/21753/statm: 3407469 42799 2229 9 0 3398203 0
[pid=21753/tid=21754] ppid=21751 vsize=13629876 CPUtime=0.68 cores=1,3,5,7
/proc/21753/task/21754/stat : 21754 (java) R 21751 21753 19861 0 -1 4202560 38070 0 1 0 63 5 0 0 19 0 19 0 826467560 13956993024 42800 33554432000 1073741824 1073778376 140734543966240 18446744073709551615 46941955963731 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1.37
Current children cumulated vsize (KiB) 13629876
[startup+1.50087 s]
/proc/loadavg: 1.93 2.03 1.94 5/571 21816
/proc/meminfo: memFree=28854500/32951124 swapFree=58212616/67111528
[pid=21753] ppid=21751 vsize=13629876 CPUtime=2.34 cores=1,3,5,7
/proc/21753/stat : 21753 (java) S 21751 21753 19861 0 -1 4202496 48587 0 1 0 228 6 0 0 18 0 19 0 826467559 13956993024 46737 33554432000 1073741824 1073778376 140734543966240 18446744073709551615 228256151525 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/21753/statm: 3407469 46737 2234 9 0 3398203 0
[pid=21753/tid=21754] ppid=21751 vsize=13629876 CPUtime=1.47 cores=1,3,5,7
/proc/21753/task/21754/stat : 21754 (java) R 21751 21753 19861 0 -1 4202560 41975 0 1 0 142 5 0 0 18 0 19 0 826467560 13956993024 46737 33554432000 1073741824 1073778376 140734543966240 18446744073709551615 46941955963731 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=21753/tid=21756] ppid=21751 vsize=13629876 CPUtime=0 cores=1,3,5,7
/proc/21753/task/21756/stat : 21756 (java) S 21751 21753 19861 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 826467562 13956993024 46737 33554432000 1073741824 1073778376 140734543966240 18446744073709551615 228256164761 0 4 0 16800975 18446604462042298176 0 0 -1 5 0 0 0
[pid=21753/tid=21757] ppid=21751 vsize=13629876 CPUtime=0 cores=1,3,5,7
/proc/21753/task/21757/stat : 21757 (java) S 21751 21753 19861 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 826467562 13956993024 46737 33554432000 1073741824 1073778376 140734543966240 18446744073709551615 228256164761 0 4 0 16800975 18446604462042298176 0 0 -1 7 0 0 0
[pid=21753/tid=21758] ppid=21751 vsize=13629876 CPUtime=0 cores=1,3,5,7
/proc/21753/task/21758/stat : 21758 (java) S 21751 21753 19861 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 826467562 13956993024 46737 33554432000 1073741824 1073778376 140734543966240 18446744073709551615 228256164761 0 4 0 16800975 18446604462042298176 0 0 -1 7 0 0 0
[pid=21753/tid=21759] ppid=21751 vsize=13629876 CPUtime=0 cores=1,3,5,7
/proc/21753/task/21759/stat : 21759 (java) S 21751 21753 19861 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 826467562 13956993024 46737 33554432000 1073741824 1073778376 140734543966240 18446744073709551615 228256164761 0 4 0 16800975 18446604462042298176 0 0 -1 7 0 0 0
[pid=21753/tid=21760] ppid=21751 vsize=13629876 CPUtime=0 cores=1,3,5,7
/proc/21753/task/21760/stat : 21760 (java) S 21751 21753 19861 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 826467562 13956993024 46737 33554432000 1073741824 1073778376 140734543966240 18446744073709551615 228256164761 0 4 0 16800975 18446604462042298176 0 0 -1 7 0 0 0
[pid=21753/tid=21761] ppid=21751 vsize=13629876 CPUtime=0 cores=1,3,5,7
/proc/21753/task/21761/stat : 21761 (java) S 21751 21753 19861 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 826467562 13956993024 46738 33554432000 1073741824 1073778376 140734543966240 18446744073709551615 228256164761 0 4 0 16800975 18446604462042298176 0 0 -1 7 0 0 0
[pid=21753/tid=21762] ppid=21751 vsize=13629876 CPUtime=0 cores=1,3,5,7
/proc/21753/task/21762/stat : 21762 (java) S 21751 21753 19861 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 826467562 13956993024 46738 33554432000 1073741824 1073778376 140734543966240 18446744073709551615 228256164761 0 4 0 16800975 18446604462042298176 0 0 -1 7 0 0 0
[pid=21753/tid=21763] ppid=21751 vsize=13629876 CPUtime=0 cores=1,3,5,7
/proc/21753/task/21763/stat : 21763 (java) S 21751 21753 19861 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 826467562 13956993024 46738 33554432000 1073741824 1073778376 140734543966240 18446744073709551615 228256164761 0 4 0 16800975 18446604462042298176 0 0 -1 7 0 0 0
[pid=21753/tid=21764] ppid=21751 vsize=13629876 CPUtime=0 cores=1,3,5,7
/proc/21753/task/21764/stat : 21764 (java) S 21751 21753 19861 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 826467564 13956993024 46738 33554432000 1073741824 1073778376 140734543966240 18446744073709551615 228256165376 0 0 0 16800975 18446604462042298176 0 0 -1 7 0 0 0
[pid=21753/tid=21765] ppid=21751 vsize=13629876 CPUtime=0 cores=1,3,5,7
/proc/21753/task/21765/stat : 21765 (java) S 21751 21753 19861 0 -1 4202560 16 0 0 0 0 0 0 0 23 0 19 0 826467564 13956993024 46738 33554432000 1073741824 1073778376 140734543966240 18446744073709551615 228256164761 0 4 0 16800975 18446604462042298176 0 0 -1 5 0 0 0
[pid=21753/tid=21766] ppid=21751 vsize=13629876 CPUtime=0 cores=1,3,5,7
/proc/21753/task/21766/stat : 21766 (java) S 21751 21753 19861 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 19 0 826467564 13956993024 46738 33554432000 1073741824 1073778376 140734543966240 18446744073709551615 228256164761 0 4 0 16800975 18446604462042298176 0 0 -1 5 0 0 0
[pid=21753/tid=21767] ppid=21751 vsize=13629876 CPUtime=0 cores=1,3,5,7
/proc/21753/task/21767/stat : 21767 (java) S 21751 21753 19861 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826467566 13956993024 46738 33554432000 1073741824 1073778376 140734543966240 18446744073709551615 228256172465 0 4 0 16800975 18446604462042298176 0 0 -1 5 0 0 0
[pid=21753/tid=21768] ppid=21751 vsize=13629876 CPUtime=0.46 cores=1,3,5,7
/proc/21753/task/21768/stat : 21768 (java) S 21751 21753 19861 0 -1 4202560 3316 0 0 0 46 0 0 0 21 0 19 0 826467566 13956993024 46739 33554432000 1073741824 1073778376 140734543966240 18446744073709551615 228256164761 0 4 0 16800975 18446604462042298176 0 0 -1 7 0 0 0
[pid=21753/tid=21769] ppid=21751 vsize=13629876 CPUtime=0.38 cores=1,3,5,7
/proc/21753/task/21769/stat : 21769 (java) S 21751 21753 19861 0 -1 4202560 2136 0 0 0 38 0 0 0 22 0 19 0 826467566 13956993024 46739 33554432000 1073741824 1073778376 140734543966240 18446744073709551615 228256164761 0 4 0 16800975 18446604462042298176 0 0 -1 1 0 0 0
[pid=21753/tid=21770] ppid=21751 vsize=13629876 CPUtime=0 cores=1,3,5,7
/proc/21753/task/21770/stat : 21770 (java) S 21751 21753 19861 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826467566 13956993024 46739 33554432000 1073741824 1073778376 140734543966240 18446744073709551615 228256164761 0 4 0 16800975 18446604462042298176 0 0 -1 5 0 0 0
[pid=21753/tid=21771] ppid=21751 vsize=13629876 CPUtime=0 cores=1,3,5,7
/proc/21753/task/21771/stat : 21771 (java) S 21751 21753 19861 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 826467566 13956993024 46739 33554432000 1073741824 1073778376 140734543966240 18446744073709551615 228256165376 0 4 0 16800975 18446604462042298176 0 0 -1 7 0 0 0
[pid=21753/tid=21789] ppid=21751 vsize=13629876 CPUtime=0 cores=1,3,5,7
/proc/21753/task/21789/stat : 21789 (java) S 21751 21753 19861 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 826467620 13956993024 46739 33554432000 1073741824 1073778376 140734543966240 18446744073709551615 228256165376 0 4 0 16800975 18446604462042298176 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.34
Current children cumulated vsize (KiB) 13629876
[startup+3.10157 s]
/proc/loadavg: 1.93 2.03 1.94 3/572 21818
/proc/meminfo: memFree=28630312/32951124 swapFree=58212616/67111528
[pid=21753] ppid=21751 vsize=13629876 CPUtime=4.06 cores=1,3,5,7
/proc/21753/stat : 21753 (java) S 21751 21753 19861 0 -1 4202496 65558 0 1 0 398 8 0 0 18 0 19 0 826467559 13956993024 63701 33554432000 1073741824 1073778376 140734543966240 18446744073709551615 228256151525 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/21753/statm: 3407469 63701 2262 9 0 3398203 0
[pid=21753/tid=21754] ppid=21751 vsize=13629876 CPUtime=3.01 cores=1,3,5,7
/proc/21753/task/21754/stat : 21754 (java) R 21751 21753 19861 0 -1 4202560 44085 0 1 0 295 6 0 0 20 0 19 0 826467560 13956993024 63701 33554432000 1073741824 1073778376 140734543966240 18446744073709551615 46912505892487 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=21753/tid=21756] ppid=21751 vsize=13629876 CPUtime=0 cores=1,3,5,7
/proc/21753/task/21756/stat : 21756 (java) S 21751 21753 19861 0 -1 4202560 5169 0 0 0 0 0 0 0 18 0 19 0 826467562 13956993024 63701 33554432000 1073741824 1073778376 140734543966240 18446744073709551615 228256164761 0 4 0 16800975 18446604462042298176 0 0 -1 5 0 0 0
[pid=21753/tid=21757] ppid=21751 vsize=13629876 CPUtime=0 cores=1,3,5,7
/proc/21753/task/21757/stat : 21757 (java) S 21751 21753 19861 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 826467562 13956993024 63701 33554432000 1073741824 1073778376 140734543966240 18446744073709551615 228256164761 0 4 0 16800975 18446604462042298176 0 0 -1 5 0 0 0
[pid=21753/tid=21758] ppid=21751 vsize=13629876 CPUtime=0 cores=1,3,5,7
/proc/21753/task/21758/stat : 21758 (java) S 21751 21753 19861 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 826467562 13956993024 63701 33554432000 1073741824 1073778376 140734543966240 18446744073709551615 228256164761 0 4 0 16800975 18446604462042298176 0 0 -1 5 0 0 0
[pid=21753/tid=21759] ppid=21751 vsize=13629876 CPUtime=0 cores=1,3,5,7
/proc/21753/task/21759/stat : 21759 (java) S 21751 21753 19861 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 826467562 13956993024 63701 33554432000 1073741824 1073778376 140734543966240 18446744073709551615 228256164761 0 4 0 16800975 18446604462042298176 0 0 -1 5 0 0 0
[pid=21753/tid=21760] ppid=21751 vsize=13629876 CPUtime=0 cores=1,3,5,7
/proc/21753/task/21760/stat : 21760 (java) S 21751 21753 19861 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 826467562 13956993024 63701 33554432000 1073741824 1073778376 140734543966240 18446744073709551615 228256164761 0 4 0 16800975 18446604462042298176 0 0 -1 5 0 0 0
[pid=21753/tid=21761] ppid=21751 vsize=13629876 CPUtime=0 cores=1,3,5,7
/proc/21753/task/21761/stat : 21761 (java) S 21751 21753 19861 0 -1 4202560 356 0 0 0 0 0 0 0 15 0 19 0 826467562 13956993024 63701 33554432000 1073741824 1073778376 140734543966240 18446744073709551615 228256164761 0 4 0 16800975 18446604462042298176 0 0 -1 5 0 0 0
[pid=21753/tid=21762] ppid=21751 vsize=13629876 CPUtime=0 cores=1,3,5,7
/proc/21753/task/21762/stat : 21762 (java) S 21751 21753 19861 0 -1 4202560 714 0 0 0 0 0 0 0 18 0 19 0 826467562 13956993024 63701 33554432000 1073741824 1073778376 140734543966240 18446744073709551615 228256164761 0 4 0 16800975 18446604462042298176 0 0 -1 5 0 0 0
[pid=21753/tid=21763] ppid=21751 vsize=13629876 CPUtime=0 cores=1,3,5,7
/proc/21753/task/21763/stat : 21763 (java) S 21751 21753 19861 0 -1 4202560 2632 0 0 0 0 0 0 0 15 0 19 0 826467562 13956993024 63701 33554432000 1073741824 1073778376 140734543966240 18446744073709551615 228256164761 0 4 0 16800975 18446604462042298176 0 0 -1 5 0 0 0
[pid=21753/tid=21764] ppid=21751 vsize=13629876 CPUtime=0.04 cores=1,3,5,7
/proc/21753/task/21764/stat : 21764 (java) S 21751 21753 19861 0 -1 4202560 5970 0 0 0 4 0 0 0 15 0 19 0 826467564 13956993024 63701 33554432000 1073741824 1073778376 140734543966240 18446744073709551615 228256165376 0 0 0 16800975 18446604462042298176 0 0 -1 7 0 0 0
[pid=21753/tid=21765] ppid=21751 vsize=13629876 CPUtime=0 cores=1,3,5,7
/proc/21753/task/21765/stat : 21765 (java) S 21751 21753 19861 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 826467564 13956993024 63701 33554432000 1073741824 1073778376 140734543966240 18446744073709551615 228256164761 0 4 0 16800975 18446604462042298176 0 0 -1 7 0 0 0
[pid=21753/tid=21766] ppid=21751 vsize=13629876 CPUtime=0 cores=1,3,5,7
/proc/21753/task/21766/stat : 21766 (java) S 21751 21753 19861 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 826467564 13956993024 63701 33554432000 1073741824 1073778376 140734543966240 18446744073709551615 228256164761 0 4 0 16800975 18446604462042298176 0 0 -1 7 0 0 0
[pid=21753/tid=21767] ppid=21751 vsize=13629876 CPUtime=0 cores=1,3,5,7
/proc/21753/task/21767/stat : 21767 (java) S 21751 21753 19861 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826467566 13956993024 63701 33554432000 1073741824 1073778376 140734543966240 18446744073709551615 228256172465 0 4 0 16800975 18446604462042298176 0 0 -1 5 0 0 0
[pid=21753/tid=21768] ppid=21751 vsize=13629876 CPUtime=0.53 cores=1,3,5,7
/proc/21753/task/21768/stat : 21768 (java) S 21751 21753 19861 0 -1 4202560 3333 0 0 0 53 0 0 0 15 0 19 0 826467566 13956993024 63701 33554432000 1073741824 1073778376 140734543966240 18446744073709551615 228256164761 0 4 0 16800975 18446604462042298176 0 0 -1 7 0 0 0
[pid=21753/tid=21769] ppid=21751 vsize=13629876 CPUtime=0.41 cores=1,3,5,7
/proc/21753/task/21769/stat : 21769 (java) S 21751 21753 19861 0 -1 4202560 2144 0 0 0 41 0 0 0 15 0 19 0 826467566 13956993024 63701 33554432000 1073741824 1073778376 140734543966240 18446744073709551615 228256164761 0 4 0 16800975 18446604462042298176 0 0 -1 1 0 0 0
[pid=21753/tid=21770] ppid=21751 vsize=13629876 CPUtime=0 cores=1,3,5,7
/proc/21753/task/21770/stat : 21770 (java) S 21751 21753 19861 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826467566 13956993024 63701 33554432000 1073741824 1073778376 140734543966240 18446744073709551615 228256164761 0 4 0 16800975 18446604462042298176 0 0 -1 5 0 0 0
[pid=21753/tid=21771] ppid=21751 vsize=13629876 CPUtime=0 cores=1,3,5,7
/proc/21753/task/21771/stat : 21771 (java) S 21751 21753 19861 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 826467566 13956993024 63701 33554432000 1073741824 1073778376 140734543966240 18446744073709551615 228256165376 0 4 0 16800975 18446604462042298176 0 0 -1 5 0 0 0
[pid=21753/tid=21789] ppid=21751 vsize=13629876 CPUtime=0 cores=1,3,5,7
/proc/21753/task/21789/stat : 21789 (java) S 21751 21753 19861 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 826467620 13956993024 63701 33554432000 1073741824 1073778376 140734543966240 18446744073709551615 228256165376 0 4 0 16800975 18446604462042298176 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4.06
Current children cumulated vsize (KiB) 13629876
[startup+6.301 s]
/proc/loadavg: 1.93 2.03 1.94 3/572 21818
/proc/meminfo: memFree=28495292/32951124 swapFree=58212616/67111528
[pid=21753] ppid=21751 vsize=13629876 CPUtime=7.32 cores=1,3,5,7
/proc/21753/stat : 21753 (java) S 21751 21753 19861 0 -1 4202496 70724 0 1 0 723 9 0 0 18 0 19 0 826467559 13956993024 68855 33554432000 1073741824 1073778376 140734543966240 18446744073709551615 228256151525 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/21753/statm: 3407469 68855 2262 9 0 3398203 0
[pid=21753/tid=21754] ppid=21751 vsize=13629876 CPUtime=6.13 cores=1,3,5,7
/proc/21753/task/21754/stat : 21754 (java) R 21751 21753 19861 0 -1 4202560 44087 0 1 0 607 6 0 0 25 0 19 0 826467560 13956993024 68855 33554432000 1073741824 1073778376 140734543966240 18446744073709551615 46912505902503 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=21753/tid=21756] ppid=21751 vsize=13629876 CPUtime=0.02 cores=1,3,5,7
/proc/21753/task/21756/stat : 21756 (java) S 21751 21753 19861 0 -1 4202560 6006 0 0 0 1 1 0 0 15 0 19 0 826467562 13956993024 68855 33554432000 1073741824 1073778376 140734543966240 18446744073709551615 228256164761 0 4 0 16800975 18446604462042298176 0 0 -1 7 0 0 0
[pid=21753/tid=21757] ppid=21751 vsize=13629876 CPUtime=0 cores=1,3,5,7
/proc/21753/task/21757/stat : 21757 (java) S 21751 21753 19861 0 -1 4202560 628 0 0 0 0 0 0 0 15 0 19 0 826467562 13956993024 68855 33554432000 1073741824 1073778376 140734543966240 18446744073709551615 228256164761 0 4 0 16800975 18446604462042298176 0 0 -1 7 0 0 0
[pid=21753/tid=21758] ppid=21751 vsize=13629876 CPUtime=0 cores=1,3,5,7
/proc/21753/task/21758/stat : 21758 (java) S 21751 21753 19861 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 826467562 13956993024 68855 33554432000 1073741824 1073778376 140734543966240 18446744073709551615 228256164761 0 4 0 16800975 18446604462042298176 0 0 -1 7 0 0 0
[pid=21753/tid=21759] ppid=21751 vsize=13629876 CPUtime=0 cores=1,3,5,7
/proc/21753/task/21759/stat : 21759 (java) S 21751 21753 19861 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 826467562 13956993024 68855 33554432000 1073741824 1073778376 140734543966240 18446744073709551615 228256164761 0 4 0 16800975 18446604462042298176 0 0 -1 7 0 0 0
[pid=21753/tid=21760] ppid=21751 vsize=13629876 CPUtime=0 cores=1,3,5,7
/proc/21753/task/21760/stat : 21760 (java) S 21751 21753 19861 0 -1 4202560 1 0 0 0 0 0 0 0 16 0 19 0 826467562 13956993024 68855 33554432000 1073741824 1073778376 140734543966240 18446744073709551615 228256164761 0 4 0 16800975 18446604462042298176 0 0 -1 7 0 0 0
[pid=21753/tid=21761] ppid=21751 vsize=13629876 CPUtime=0 cores=1,3,5,7
/proc/21753/task/21761/stat : 21761 (java) S 21751 21753 19861 0 -1 4202560 356 0 0 0 0 0 0 0 15 0 19 0 826467562 13956993024 68855 33554432000 1073741824 1073778376 140734543966240 18446744073709551615 228256164761 0 4 0 16800975 18446604462042298176 0 0 -1 5 0 0 0
[pid=21753/tid=21762] ppid=21751 vsize=13629876 CPUtime=0.01 cores=1,3,5,7
/proc/21753/task/21762/stat : 21762 (java) S 21751 21753 19861 0 -1 4202560 2241 0 0 0 1 0 0 0 15 0 19 0 826467562 13956993024 68855 33554432000 1073741824 1073778376 140734543966240 18446744073709551615 228256164761 0 4 0 16800975 18446604462042298176 0 0 -1 7 0 0 0
[pid=21753/tid=21763] ppid=21751 vsize=13629876 CPUtime=0 cores=1,3,5,7
/proc/21753/task/21763/stat : 21763 (java) S 21751 21753 19861 0 -1 4202560 2632 0 0 0 0 0 0 0 15 0 19 0 826467562 13956993024 68855 33554432000 1073741824 1073778376 140734543966240 18446744073709551615 228256164761 0 4 0 16800975 18446604462042298176 0 0 -1 7 0 0 0
[pid=21753/tid=21764] ppid=21751 vsize=13629876 CPUtime=0.1 cores=1,3,5,7
/proc/21753/task/21764/stat : 21764 (java) S 21751 21753 19861 0 -1 4202560 8132 0 0 0 10 0 0 0 16 0 19 0 826467564 13956993024 68855 33554432000 1073741824 1073778376 140734543966240 18446744073709551615 228256165376 0 0 0 16800975 18446604462042298176 0 0 -1 5 0 0 0
[pid=21753/tid=21765] ppid=21751 vsize=13629876 CPUtime=0 cores=1,3,5,7
/proc/21753/task/21765/stat : 21765 (java) S 21751 21753 19861 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 826467564 13956993024 68855 33554432000 1073741824 1073778376 140734543966240 18446744073709551615 228256164761 0 4 0 16800975 18446604462042298176 0 0 -1 7 0 0 0
[pid=21753/tid=21766] ppid=21751 vsize=13629876 CPUtime=0 cores=1,3,5,7
/proc/21753/task/21766/stat : 21766 (java) S 21751 21753 19861 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 826467564 13956993024 68855 33554432000 1073741824 1073778376 140734543966240 18446744073709551615 228256164761 0 4 0 16800975 18446604462042298176 0 0 -1 7 0 0 0
[pid=21753/tid=21767] ppid=21751 vsize=13629876 CPUtime=0 cores=1,3,5,7
/proc/21753/task/21767/stat : 21767 (java) S 21751 21753 19861 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826467566 13956993024 68855 33554432000 1073741824 1073778376 140734543966240 18446744073709551615 228256172465 0 4 0 16800975 18446604462042298176 0 0 -1 5 0 0 0
[pid=21753/tid=21768] ppid=21751 vsize=13629876 CPUtime=0.54 cores=1,3,5,7
/proc/21753/task/21768/stat : 21768 (java) S 21751 21753 19861 0 -1 4202560 3333 0 0 0 54 0 0 0 15 0 19 0 826467566 13956993024 68855 33554432000 1073741824 1073778376 140734543966240 18446744073709551615 228256164761 0 4 0 16800975 18446604462042298176 0 0 -1 7 0 0 0
[pid=21753/tid=21769] ppid=21751 vsize=13629876 CPUtime=0.45 cores=1,3,5,7
/proc/21753/task/21769/stat : 21769 (java) S 21751 21753 19861 0 -1 4202560 2155 0 0 0 45 0 0 0 15 0 19 0 826467566 13956993024 68855 33554432000 1073741824 1073778376 140734543966240 18446744073709551615 228256164761 0 4 0 16800975 18446604462042298176 0 0 -1 1 0 0 0
################
# More data... #
################
[pid=21753/tid=21761] ppid=21751 vsize=13629876 CPUtime=1.03 cores=1,3,5,7
/proc/21753/task/21761/stat : 21761 (java) S 21751 21753 19861 0 -1 4202560 11740 0 0 0 101 2 0 0 16 0 19 0 826467562 13956993024 246414 33554432000 1073741824 1073778376 140734543966240 18446744073709551615 228256164761 0 4 0 16800975 18446604462042298176 0 0 -1 1 0 0 0
[pid=21753/tid=21762] ppid=21751 vsize=13629876 CPUtime=0.89 cores=1,3,5,7
/proc/21753/task/21762/stat : 21762 (java) S 21751 21753 19861 0 -1 4202560 9557 0 0 0 87 2 0 0 16 0 19 0 826467562 13956993024 246414 33554432000 1073741824 1073778376 140734543966240 18446744073709551615 228256164761 0 4 0 16800975 18446604462042298176 0 0 -1 3 0 0 0
[pid=21753/tid=21763] ppid=21751 vsize=13629876 CPUtime=1.11 cores=1,3,5,7
/proc/21753/task/21763/stat : 21763 (java) S 21751 21753 19861 0 -1 4202560 11016 0 0 0 110 1 0 0 16 0 19 0 826467562 13956993024 246414 33554432000 1073741824 1073778376 140734543966240 18446744073709551615 228256164761 0 4 0 16800975 18446604462042298176 0 0 -1 7 0 0 0
[pid=21753/tid=21764] ppid=21751 vsize=13629876 CPUtime=9.09 cores=1,3,5,7
/proc/21753/task/21764/stat : 21764 (java) S 21751 21753 19861 0 -1 4202560 77568 0 0 0 901 8 0 0 15 0 19 0 826467564 13956993024 246414 33554432000 1073741824 1073778376 140734543966240 18446744073709551615 228256165376 0 0 0 16800975 18446604462042298176 0 0 -1 5 0 0 0
[pid=21753/tid=21765] ppid=21751 vsize=13629876 CPUtime=0 cores=1,3,5,7
/proc/21753/task/21765/stat : 21765 (java) S 21751 21753 19861 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 826467564 13956993024 246414 33554432000 1073741824 1073778376 140734543966240 18446744073709551615 228256164761 0 4 0 16800975 18446604462042298176 0 0 -1 7 0 0 0
[pid=21753/tid=21766] ppid=21751 vsize=13629876 CPUtime=0 cores=1,3,5,7
/proc/21753/task/21766/stat : 21766 (java) S 21751 21753 19861 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 826467564 13956993024 246414 33554432000 1073741824 1073778376 140734543966240 18446744073709551615 228256164761 0 4 0 16800975 18446604462042298176 0 0 -1 7 0 0 0
[pid=21753/tid=21767] ppid=21751 vsize=13629876 CPUtime=0 cores=1,3,5,7
/proc/21753/task/21767/stat : 21767 (java) S 21751 21753 19861 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826467566 13956993024 246414 33554432000 1073741824 1073778376 140734543966240 18446744073709551615 228256172465 0 4 0 16800975 18446604462042298176 0 0 -1 5 0 0 0
[pid=21753/tid=21768] ppid=21751 vsize=13629876 CPUtime=0.54 cores=1,3,5,7
/proc/21753/task/21768/stat : 21768 (java) S 21751 21753 19861 0 -1 4202560 3333 0 0 0 54 0 0 0 15 0 19 0 826467566 13956993024 246414 33554432000 1073741824 1073778376 140734543966240 18446744073709551615 228256164761 0 4 0 16800975 18446604462042298176 0 0 -1 7 0 0 0
[pid=21753/tid=21769] ppid=21751 vsize=13629876 CPUtime=0.48 cores=1,3,5,7
/proc/21753/task/21769/stat : 21769 (java) S 21751 21753 19861 0 -1 4202560 2158 0 0 0 48 0 0 0 15 0 19 0 826467566 13956993024 246414 33554432000 1073741824 1073778376 140734543966240 18446744073709551615 228256164761 0 4 0 16800975 18446604462042298176 0 0 -1 1 0 0 0
[pid=21753/tid=21770] ppid=21751 vsize=13629876 CPUtime=0 cores=1,3,5,7
/proc/21753/task/21770/stat : 21770 (java) S 21751 21753 19861 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826467566 13956993024 246414 33554432000 1073741824 1073778376 140734543966240 18446744073709551615 228256164761 0 4 0 16800975 18446604462042298176 0 0 -1 5 0 0 0
[pid=21753/tid=21771] ppid=21751 vsize=13629876 CPUtime=0 cores=1,3,5,7
/proc/21753/task/21771/stat : 21771 (java) S 21751 21753 19861 0 -1 4202560 97 0 0 0 0 0 0 0 15 0 19 0 826467566 13956993024 246414 33554432000 1073741824 1073778376 140734543966240 18446744073709551615 228256165376 0 4 0 16800975 18446604462042298176 0 0 -1 1 0 0 0
[pid=21753/tid=21789] ppid=21751 vsize=13629876 CPUtime=0 cores=1,3,5,7
/proc/21753/task/21789/stat : 21789 (java) S 21751 21753 19861 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 826467620 13956993024 246414 33554432000 1073741824 1073778376 140734543966240 18446744073709551615 228256165376 0 4 0 16800975 18446604462042298176 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1668.43
Current children cumulated vsize (KiB) 13629876
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/572 21875
/proc/meminfo: memFree=26382772/32951124 swapFree=58212616/67111528
[pid=21753] ppid=21751 vsize=13629876 CPUtime=1728.57 cores=1,3,5,7
/proc/21753/stat : 21753 (java) S 21751 21753 19861 0 -1 4202496 249485 0 1 0 172822 35 0 0 18 0 19 0 826467559 13956993024 247127 33554432000 1073741824 1073778376 140734543966240 18446744073709551615 228256151525 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/21753/statm: 3407469 247127 2263 9 0 3398203 0
[pid=21753/tid=21754] ppid=21751 vsize=13629876 CPUtime=1709.89 cores=1,3,5,7
/proc/21753/task/21754/stat : 21754 (java) R 21751 21753 19861 0 -1 4202560 67178 0 1 0 170980 9 0 0 25 0 19 0 826467560 13956993024 247127 33554432000 1073741824 1073778376 140734543966240 18446744073709551615 46912505931844 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=21753/tid=21756] ppid=21751 vsize=13629876 CPUtime=1.14 cores=1,3,5,7
/proc/21753/task/21756/stat : 21756 (java) S 21751 21753 19861 0 -1 4202560 19759 0 0 0 111 3 0 0 15 0 19 0 826467562 13956993024 247127 33554432000 1073741824 1073778376 140734543966240 18446744073709551615 228256164761 0 4 0 16800975 18446604462042298176 0 0 -1 3 0 0 0
[pid=21753/tid=21757] ppid=21751 vsize=13629876 CPUtime=0.97 cores=1,3,5,7
/proc/21753/task/21757/stat : 21757 (java) S 21751 21753 19861 0 -1 4202560 9386 0 0 0 96 1 0 0 16 0 19 0 826467562 13956993024 247127 33554432000 1073741824 1073778376 140734543966240 18446744073709551615 228256164761 0 4 0 16800975 18446604462042298176 0 0 -1 7 0 0 0
[pid=21753/tid=21758] ppid=21751 vsize=13629876 CPUtime=0.99 cores=1,3,5,7
/proc/21753/task/21758/stat : 21758 (java) S 21751 21753 19861 0 -1 4202560 10436 0 0 0 98 1 0 0 16 0 19 0 826467562 13956993024 247127 33554432000 1073741824 1073778376 140734543966240 18446744073709551615 228256164761 0 4 0 16800975 18446604462042298176 0 0 -1 7 0 0 0
[pid=21753/tid=21759] ppid=21751 vsize=13629876 CPUtime=1.03 cores=1,3,5,7
/proc/21753/task/21759/stat : 21759 (java) S 21751 21753 19861 0 -1 4202560 15779 0 0 0 101 2 0 0 15 0 19 0 826467562 13956993024 247127 33554432000 1073741824 1073778376 140734543966240 18446744073709551615 228256164761 0 4 0 16800975 18446604462042298176 0 0 -1 3 0 0 0
[pid=21753/tid=21760] ppid=21751 vsize=13629876 CPUtime=1 cores=1,3,5,7
/proc/21753/task/21760/stat : 21760 (java) S 21751 21753 19861 0 -1 4202560 9842 0 0 0 99 1 0 0 15 0 19 0 826467562 13956993024 247127 33554432000 1073741824 1073778376 140734543966240 18446744073709551615 228256164761 0 4 0 16800975 18446604462042298176 0 0 -1 3 0 0 0
[pid=21753/tid=21761] ppid=21751 vsize=13629876 CPUtime=1.1 cores=1,3,5,7
/proc/21753/task/21761/stat : 21761 (java) S 21751 21753 19861 0 -1 4202560 12001 0 0 0 108 2 0 0 16 0 19 0 826467562 13956993024 247127 33554432000 1073741824 1073778376 140734543966240 18446744073709551615 228256164761 0 4 0 16800975 18446604462042298176 0 0 -1 1 0 0 0
[pid=21753/tid=21762] ppid=21751 vsize=13629876 CPUtime=0.9 cores=1,3,5,7
/proc/21753/task/21762/stat : 21762 (java) S 21751 21753 19861 0 -1 4202560 9557 0 0 0 88 2 0 0 16 0 19 0 826467562 13956993024 247127 33554432000 1073741824 1073778376 140734543966240 18446744073709551615 228256164761 0 4 0 16800975 18446604462042298176 0 0 -1 3 0 0 0
[pid=21753/tid=21763] ppid=21751 vsize=13629876 CPUtime=1.16 cores=1,3,5,7
/proc/21753/task/21763/stat : 21763 (java) S 21751 21753 19861 0 -1 4202560 11235 0 0 0 115 1 0 0 16 0 19 0 826467562 13956993024 247127 33554432000 1073741824 1073778376 140734543966240 18446744073709551615 228256164761 0 4 0 16800975 18446604462042298176 0 0 -1 3 0 0 0
[pid=21753/tid=21764] ppid=21751 vsize=13629876 CPUtime=9.27 cores=1,3,5,7
/proc/21753/task/21764/stat : 21764 (java) S 21751 21753 19861 0 -1 4202560 77570 0 0 0 919 8 0 0 15 0 19 0 826467564 13956993024 247127 33554432000 1073741824 1073778376 140734543966240 18446744073709551615 228256165376 0 0 0 16800975 18446604462042298176 0 0 -1 5 0 0 0
[pid=21753/tid=21765] ppid=21751 vsize=13629876 CPUtime=0 cores=1,3,5,7
/proc/21753/task/21765/stat : 21765 (java) S 21751 21753 19861 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 826467564 13956993024 247127 33554432000 1073741824 1073778376 140734543966240 18446744073709551615 228256164761 0 4 0 16800975 18446604462042298176 0 0 -1 7 0 0 0
[pid=21753/tid=21766] ppid=21751 vsize=13629876 CPUtime=0 cores=1,3,5,7
/proc/21753/task/21766/stat : 21766 (java) S 21751 21753 19861 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 826467564 13956993024 247127 33554432000 1073741824 1073778376 140734543966240 18446744073709551615 228256164761 0 4 0 16800975 18446604462042298176 0 0 -1 7 0 0 0
[pid=21753/tid=21767] ppid=21751 vsize=13629876 CPUtime=0 cores=1,3,5,7
/proc/21753/task/21767/stat : 21767 (java) S 21751 21753 19861 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826467566 13956993024 247127 33554432000 1073741824 1073778376 140734543966240 18446744073709551615 228256172465 0 4 0 16800975 18446604462042298176 0 0 -1 5 0 0 0
[pid=21753/tid=21768] ppid=21751 vsize=13629876 CPUtime=0.54 cores=1,3,5,7
/proc/21753/task/21768/stat : 21768 (java) S 21751 21753 19861 0 -1 4202560 3333 0 0 0 54 0 0 0 15 0 19 0 826467566 13956993024 247127 33554432000 1073741824 1073778376 140734543966240 18446744073709551615 228256164761 0 4 0 16800975 18446604462042298176 0 0 -1 7 0 0 0
[pid=21753/tid=21769] ppid=21751 vsize=13629876 CPUtime=0.48 cores=1,3,5,7
/proc/21753/task/21769/stat : 21769 (java) S 21751 21753 19861 0 -1 4202560 2158 0 0 0 48 0 0 0 15 0 19 0 826467566 13956993024 247127 33554432000 1073741824 1073778376 140734543966240 18446744073709551615 228256164761 0 4 0 16800975 18446604462042298176 0 0 -1 1 0 0 0
[pid=21753/tid=21770] ppid=21751 vsize=13629876 CPUtime=0 cores=1,3,5,7
/proc/21753/task/21770/stat : 21770 (java) S 21751 21753 19861 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826467566 13956993024 247127 33554432000 1073741824 1073778376 140734543966240 18446744073709551615 228256164761 0 4 0 16800975 18446604462042298176 0 0 -1 5 0 0 0
[pid=21753/tid=21771] ppid=21751 vsize=13629876 CPUtime=0 cores=1,3,5,7
/proc/21753/task/21771/stat : 21771 (java) S 21751 21753 19861 0 -1 4202560 101 0 0 0 0 0 0 0 15 0 19 0 826467566 13956993024 247127 33554432000 1073741824 1073778376 140734543966240 18446744073709551615 228256165376 0 4 0 16800975 18446604462042298176 0 0 -1 1 0 0 0
[pid=21753/tid=21789] ppid=21751 vsize=13629876 CPUtime=0 cores=1,3,5,7
/proc/21753/task/21789/stat : 21789 (java) S 21751 21753 19861 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 826467620 13956993024 247127 33554432000 1073741824 1073778376 140734543966240 18446744073709551615 228256165376 0 4 0 16800975 18446604462042298176 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1728.57
Current children cumulated vsize (KiB) 13629876
[startup+1782.3 s]
/proc/loadavg: 2.07 2.04 2.01 3/572 21877
/proc/meminfo: memFree=26347156/32951124 swapFree=58212616/67111528
[pid=21753] ppid=21751 vsize=13629876 CPUtime=1788.76 cores=1,3,5,7
/proc/21753/stat : 21753 (java) S 21751 21753 19861 0 -1 4202496 249555 0 1 0 178841 35 0 0 18 0 19 0 826467559 13956993024 247188 33554432000 1073741824 1073778376 140734543966240 18446744073709551615 228256151525 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/21753/statm: 3407469 247188 2263 9 0 3398203 0
[pid=21753/tid=21754] ppid=21751 vsize=13629876 CPUtime=1769.47 cores=1,3,5,7
/proc/21753/task/21754/stat : 21754 (java) R 21751 21753 19861 0 -1 4202560 67181 0 1 0 176938 9 0 0 25 0 19 0 826467560 13956993024 247188 33554432000 1073741824 1073778376 140734543966240 18446744073709551615 46912505931844 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=21753/tid=21756] ppid=21751 vsize=13629876 CPUtime=1.2 cores=1,3,5,7
/proc/21753/task/21756/stat : 21756 (java) S 21751 21753 19861 0 -1 4202560 19785 0 0 0 117 3 0 0 15 0 19 0 826467562 13956993024 247188 33554432000 1073741824 1073778376 140734543966240 18446744073709551615 228256164761 0 4 0 16800975 18446604462042298176 0 0 -1 3 0 0 0
[pid=21753/tid=21757] ppid=21751 vsize=13629876 CPUtime=1.04 cores=1,3,5,7
/proc/21753/task/21757/stat : 21757 (java) S 21751 21753 19861 0 -1 4202560 9404 0 0 0 103 1 0 0 15 0 19 0 826467562 13956993024 247188 33554432000 1073741824 1073778376 140734543966240 18446744073709551615 228256164761 0 4 0 16800975 18446604462042298176 0 0 -1 7 0 0 0
[pid=21753/tid=21758] ppid=21751 vsize=13629876 CPUtime=1 cores=1,3,5,7
/proc/21753/task/21758/stat : 21758 (java) S 21751 21753 19861 0 -1 4202560 10436 0 0 0 99 1 0 0 15 0 19 0 826467562 13956993024 247188 33554432000 1073741824 1073778376 140734543966240 18446744073709551615 228256164761 0 4 0 16800975 18446604462042298176 0 0 -1 7 0 0 0
[pid=21753/tid=21759] ppid=21751 vsize=13629876 CPUtime=1.06 cores=1,3,5,7
/proc/21753/task/21759/stat : 21759 (java) S 21751 21753 19861 0 -1 4202560 15789 0 0 0 104 2 0 0 16 0 19 0 826467562 13956993024 247188 33554432000 1073741824 1073778376 140734543966240 18446744073709551615 228256164761 0 4 0 16800975 18446604462042298176 0 0 -1 7 0 0 0
[pid=21753/tid=21760] ppid=21751 vsize=13629876 CPUtime=1.03 cores=1,3,5,7
/proc/21753/task/21760/stat : 21760 (java) S 21751 21753 19861 0 -1 4202560 9842 0 0 0 102 1 0 0 16 0 19 0 826467562 13956993024 247188 33554432000 1073741824 1073778376 140734543966240 18446744073709551615 228256164761 0 4 0 16800975 18446604462042298176 0 0 -1 3 0 0 0
[pid=21753/tid=21761] ppid=21751 vsize=13629876 CPUtime=1.19 cores=1,3,5,7
/proc/21753/task/21761/stat : 21761 (java) S 21751 21753 19861 0 -1 4202560 12008 0 0 0 117 2 0 0 16 0 19 0 826467562 13956993024 247188 33554432000 1073741824 1073778376 140734543966240 18446744073709551615 228256164761 0 4 0 16800975 18446604462042298176 0 0 -1 1 0 0 0
[pid=21753/tid=21762] ppid=21751 vsize=13629876 CPUtime=0.9 cores=1,3,5,7
/proc/21753/task/21762/stat : 21762 (java) S 21751 21753 19861 0 -1 4202560 9557 0 0 0 88 2 0 0 15 0 19 0 826467562 13956993024 247188 33554432000 1073741824 1073778376 140734543966240 18446744073709551615 228256164761 0 4 0 16800975 18446604462042298176 0 0 -1 3 0 0 0
[pid=21753/tid=21763] ppid=21751 vsize=13629876 CPUtime=1.16 cores=1,3,5,7
/proc/21753/task/21763/stat : 21763 (java) S 21751 21753 19861 0 -1 4202560 11235 0 0 0 115 1 0 0 15 0 19 0 826467562 13956993024 247188 33554432000 1073741824 1073778376 140734543966240 18446744073709551615 228256164761 0 4 0 16800975 18446604462042298176 0 0 -1 3 0 0 0
[pid=21753/tid=21764] ppid=21751 vsize=13629876 CPUtime=9.6 cores=1,3,5,7
/proc/21753/task/21764/stat : 21764 (java) S 21751 21753 19861 0 -1 4202560 77574 0 0 0 952 8 0 0 15 0 19 0 826467564 13956993024 247188 33554432000 1073741824 1073778376 140734543966240 18446744073709551615 228256165376 0 0 0 16800975 18446604462042298176 0 0 -1 5 0 0 0
[pid=21753/tid=21765] ppid=21751 vsize=13629876 CPUtime=0 cores=1,3,5,7
/proc/21753/task/21765/stat : 21765 (java) S 21751 21753 19861 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 826467564 13956993024 247188 33554432000 1073741824 1073778376 140734543966240 18446744073709551615 228256164761 0 4 0 16800975 18446604462042298176 0 0 -1 7 0 0 0
[pid=21753/tid=21766] ppid=21751 vsize=13629876 CPUtime=0 cores=1,3,5,7
/proc/21753/task/21766/stat : 21766 (java) S 21751 21753 19861 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 826467564 13956993024 247188 33554432000 1073741824 1073778376 140734543966240 18446744073709551615 228256164761 0 4 0 16800975 18446604462042298176 0 0 -1 7 0 0 0
[pid=21753/tid=21767] ppid=21751 vsize=13629876 CPUtime=0 cores=1,3,5,7
/proc/21753/task/21767/stat : 21767 (java) S 21751 21753 19861 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826467566 13956993024 247188 33554432000 1073741824 1073778376 140734543966240 18446744073709551615 228256172465 0 4 0 16800975 18446604462042298176 0 0 -1 5 0 0 0
[pid=21753/tid=21768] ppid=21751 vsize=13629876 CPUtime=0.54 cores=1,3,5,7
/proc/21753/task/21768/stat : 21768 (java) S 21751 21753 19861 0 -1 4202560 3333 0 0 0 54 0 0 0 15 0 19 0 826467566 13956993024 247188 33554432000 1073741824 1073778376 140734543966240 18446744073709551615 228256164761 0 4 0 16800975 18446604462042298176 0 0 -1 7 0 0 0
[pid=21753/tid=21769] ppid=21751 vsize=13629876 CPUtime=0.48 cores=1,3,5,7
/proc/21753/task/21769/stat : 21769 (java) S 21751 21753 19861 0 -1 4202560 2158 0 0 0 48 0 0 0 15 0 19 0 826467566 13956993024 247188 33554432000 1073741824 1073778376 140734543966240 18446744073709551615 228256164761 0 4 0 16800975 18446604462042298176 0 0 -1 1 0 0 0
[pid=21753/tid=21770] ppid=21751 vsize=13629876 CPUtime=0 cores=1,3,5,7
/proc/21753/task/21770/stat : 21770 (java) S 21751 21753 19861 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826467566 13956993024 247188 33554432000 1073741824 1073778376 140734543966240 18446744073709551615 228256164761 0 4 0 16800975 18446604462042298176 0 0 -1 5 0 0 0
[pid=21753/tid=21771] ppid=21751 vsize=13629876 CPUtime=0 cores=1,3,5,7
/proc/21753/task/21771/stat : 21771 (java) S 21751 21753 19861 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 826467566 13956993024 247188 33554432000 1073741824 1073778376 140734543966240 18446744073709551615 228256165376 0 4 0 16800975 18446604462042298176 0 0 -1 1 0 0 0
[pid=21753/tid=21789] ppid=21751 vsize=13629876 CPUtime=0 cores=1,3,5,7
/proc/21753/task/21789/stat : 21789 (java) S 21751 21753 19861 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 826467620 13956993024 247188 33554432000 1073741824 1073778376 140734543966240 18446744073709551615 228256165376 0 4 0 16800975 18446604462042298176 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1788.76
Current children cumulated vsize (KiB) 13629876
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1793.6 s]
/proc/loadavg: 2.13 2.05 2.01 2/552 21880
/proc/meminfo: memFree=28091972/32951124 swapFree=58212616/67111528
[pid=21753] ppid=21751 vsize=13629876 CPUtime=1800.07 cores=1,3,5,7
/proc/21753/stat : 21753 (java) S 21751 21753 19861 0 -1 4202496 249557 0 1 0 179972 35 0 0 18 0 19 0 826467559 13956993024 247188 33554432000 1073741824 1073778376 140734543966240 18446744073709551615 228256151525 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/21753/statm: 3407469 247188 2263 9 0 3398203 0
[pid=21753/tid=21754] ppid=21751 vsize=13629876 CPUtime=1780.79 cores=1,3,5,7
/proc/21753/task/21754/stat : 21754 (java) R 21751 21753 19861 0 -1 4202560 67181 0 1 0 178070 9 0 0 25 0 19 0 826467560 13956993024 247188 33554432000 1073741824 1073778376 140734543966240 18446744073709551615 46912505905680 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=21753/tid=21756] ppid=21751 vsize=13629876 CPUtime=1.2 cores=1,3,5,7
/proc/21753/task/21756/stat : 21756 (java) S 21751 21753 19861 0 -1 4202560 19785 0 0 0 117 3 0 0 15 0 19 0 826467562 13956993024 247188 33554432000 1073741824 1073778376 140734543966240 18446744073709551615 228256164761 0 4 0 16800975 18446604462042298176 0 0 -1 3 0 0 0
[pid=21753/tid=21757] ppid=21751 vsize=13629876 CPUtime=1.04 cores=1,3,5,7
/proc/21753/task/21757/stat : 21757 (java) S 21751 21753 19861 0 -1 4202560 9404 0 0 0 103 1 0 0 15 0 19 0 826467562 13956993024 247188 33554432000 1073741824 1073778376 140734543966240 18446744073709551615 228256164761 0 4 0 16800975 18446604462042298176 0 0 -1 7 0 0 0
[pid=21753/tid=21758] ppid=21751 vsize=13629876 CPUtime=1 cores=1,3,5,7
/proc/21753/task/21758/stat : 21758 (java) S 21751 21753 19861 0 -1 4202560 10436 0 0 0 99 1 0 0 15 0 19 0 826467562 13956993024 247188 33554432000 1073741824 1073778376 140734543966240 18446744073709551615 228256164761 0 4 0 16800975 18446604462042298176 0 0 -1 7 0 0 0
[pid=21753/tid=21759] ppid=21751 vsize=13629876 CPUtime=1.06 cores=1,3,5,7
/proc/21753/task/21759/stat : 21759 (java) S 21751 21753 19861 0 -1 4202560 15789 0 0 0 104 2 0 0 16 0 19 0 826467562 13956993024 247188 33554432000 1073741824 1073778376 140734543966240 18446744073709551615 228256164761 0 4 0 16800975 18446604462042298176 0 0 -1 7 0 0 0
[pid=21753/tid=21760] ppid=21751 vsize=13629876 CPUtime=1.03 cores=1,3,5,7
/proc/21753/task/21760/stat : 21760 (java) S 21751 21753 19861 0 -1 4202560 9842 0 0 0 102 1 0 0 16 0 19 0 826467562 13956993024 247188 33554432000 1073741824 1073778376 140734543966240 18446744073709551615 228256164761 0 4 0 16800975 18446604462042298176 0 0 -1 3 0 0 0
[pid=21753/tid=21761] ppid=21751 vsize=13629876 CPUtime=1.19 cores=1,3,5,7
/proc/21753/task/21761/stat : 21761 (java) S 21751 21753 19861 0 -1 4202560 12008 0 0 0 117 2 0 0 16 0 19 0 826467562 13956993024 247188 33554432000 1073741824 1073778376 140734543966240 18446744073709551615 228256164761 0 4 0 16800975 18446604462042298176 0 0 -1 1 0 0 0
[pid=21753/tid=21762] ppid=21751 vsize=13629876 CPUtime=0.9 cores=1,3,5,7
/proc/21753/task/21762/stat : 21762 (java) S 21751 21753 19861 0 -1 4202560 9557 0 0 0 88 2 0 0 15 0 19 0 826467562 13956993024 247188 33554432000 1073741824 1073778376 140734543966240 18446744073709551615 228256164761 0 4 0 16800975 18446604462042298176 0 0 -1 3 0 0 0
[pid=21753/tid=21763] ppid=21751 vsize=13629876 CPUtime=1.16 cores=1,3,5,7
/proc/21753/task/21763/stat : 21763 (java) S 21751 21753 19861 0 -1 4202560 11235 0 0 0 115 1 0 0 15 0 19 0 826467562 13956993024 247188 33554432000 1073741824 1073778376 140734543966240 18446744073709551615 228256164761 0 4 0 16800975 18446604462042298176 0 0 -1 3 0 0 0
[pid=21753/tid=21764] ppid=21751 vsize=13629876 CPUtime=9.6 cores=1,3,5,7
/proc/21753/task/21764/stat : 21764 (java) S 21751 21753 19861 0 -1 4202560 77574 0 0 0 952 8 0 0 15 0 19 0 826467564 13956993024 247188 33554432000 1073741824 1073778376 140734543966240 18446744073709551615 228256165376 0 0 0 16800975 18446604462042298176 0 0 -1 5 0 0 0
[pid=21753/tid=21765] ppid=21751 vsize=13629876 CPUtime=0 cores=1,3,5,7
/proc/21753/task/21765/stat : 21765 (java) S 21751 21753 19861 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 826467564 13956993024 247188 33554432000 1073741824 1073778376 140734543966240 18446744073709551615 228256164761 0 4 0 16800975 18446604462042298176 0 0 -1 7 0 0 0
[pid=21753/tid=21766] ppid=21751 vsize=13629876 CPUtime=0 cores=1,3,5,7
/proc/21753/task/21766/stat : 21766 (java) S 21751 21753 19861 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 826467564 13956993024 247188 33554432000 1073741824 1073778376 140734543966240 18446744073709551615 228256164761 0 4 0 16800975 18446604462042298176 0 0 -1 7 0 0 0
[pid=21753/tid=21767] ppid=21751 vsize=13629876 CPUtime=0 cores=1,3,5,7
/proc/21753/task/21767/stat : 21767 (java) S 21751 21753 19861 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826467566 13956993024 247188 33554432000 1073741824 1073778376 140734543966240 18446744073709551615 228256172465 0 4 0 16800975 18446604462042298176 0 0 -1 5 0 0 0
[pid=21753/tid=21768] ppid=21751 vsize=13629876 CPUtime=0.54 cores=1,3,5,7
/proc/21753/task/21768/stat : 21768 (java) S 21751 21753 19861 0 -1 4202560 3333 0 0 0 54 0 0 0 15 0 19 0 826467566 13956993024 247188 33554432000 1073741824 1073778376 140734543966240 18446744073709551615 228256164761 0 4 0 16800975 18446604462042298176 0 0 -1 7 0 0 0
[pid=21753/tid=21769] ppid=21751 vsize=13629876 CPUtime=0.48 cores=1,3,5,7
/proc/21753/task/21769/stat : 21769 (java) S 21751 21753 19861 0 -1 4202560 2158 0 0 0 48 0 0 0 15 0 19 0 826467566 13956993024 247188 33554432000 1073741824 1073778376 140734543966240 18446744073709551615 228256164761 0 4 0 16800975 18446604462042298176 0 0 -1 1 0 0 0
[pid=21753/tid=21770] ppid=21751 vsize=13629876 CPUtime=0 cores=1,3,5,7
/proc/21753/task/21770/stat : 21770 (java) S 21751 21753 19861 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826467566 13956993024 247188 33554432000 1073741824 1073778376 140734543966240 18446744073709551615 228256164761 0 4 0 16800975 18446604462042298176 0 0 -1 5 0 0 0
[pid=21753/tid=21771] ppid=21751 vsize=13629876 CPUtime=0 cores=1,3,5,7
/proc/21753/task/21771/stat : 21771 (java) S 21751 21753 19861 0 -1 4202560 105 0 0 0 0 0 0 0 15 0 19 0 826467566 13956993024 247188 33554432000 1073741824 1073778376 140734543966240 18446744073709551615 228256165376 0 4 0 16800975 18446604462042298176 0 0 -1 1 0 0 0
[pid=21753/tid=21789] ppid=21751 vsize=13629876 CPUtime=0 cores=1,3,5,7
/proc/21753/task/21789/stat : 21789 (java) S 21751 21753 19861 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 826467620 13956993024 247188 33554432000 1073741824 1073778376 140734543966240 18446744073709551615 228256165376 0 4 0 16800975 18446604462042298176 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 13629876
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 143
Real time (s): 1793.7
CPU time (s): 1800.22
CPU user time (s): 1799.82
CPU system time (s): 0.400939
CPU usage (%): 100.364
Max. virtual memory (cumulated for all children) (KiB): 13629876
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.82
system time used= 0.400939
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 249610
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= 40395
involuntary context switches= 11644
runsolver used 9.38357 second user time and 23.2295 second system time
The end