runsolver Copyright (C) 2010-2013 Olivier ROUSSEL
This is runsolver version 3.3.7 (svn: 2553)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4249515-1500769611/watcher-4249515-1500769611 -o /tmp/evaluation-result-4249515-1500769611/solver-4249515-1500769611 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node104-1500750445-27392 --watchdog 2560 bin/concrete HOME/instance-4249515-1500769611.xml
pid=31634
running on 8 cores: 1,3,5,7,9,11,13,15
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 1.53 1.60 1.65 10/262 31637
/proc/meminfo: memFree=29778272/32770624 swapFree=5872/239784
[pid=31637] ppid=31634 vsize=9508 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/31637/stat : 31637 (bash) S 31634 31637 27360 0 -1 4202496 685 1534 0 0 0 0 0 0 20 0 1 0 12230817 9736192 350 33554432000 4194304 5098028 140725897629808 140725897627448 140178498669568 0 0 4100 65536 18446744071580971376 0 0 17 11 0 0 0 0 0 7196144 7232144 11460608 140725897635086 140725897635171 140725897635171 140725897637870 0
/proc/31637/statm: 2377 350 277 221 0 86 0
[startup+0.100128 s]
/proc/loadavg: 1.53 1.60 1.65 10/262 31637
/proc/meminfo: memFree=29778272/32770624 swapFree=5872/239784
[pid=31637] ppid=31634 vsize=9640 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/31637/stat : 31637 (bash) S 31634 31637 27360 0 -1 4202496 879 6427 0 0 0 0 0 2 20 0 1 0 12230817 9871360 378 33554432000 4194304 5098028 140725897629808 140725897623816 140178498669568 0 0 4100 65536 18446744071580971376 0 0 17 11 0 0 0 0 0 7196144 7232144 11460608 140725897635086 140725897635171 140725897635171 140725897637870 0
/proc/31637/statm: 2410 378 296 221 0 119 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 9640
[startup+0.200285 s]
/proc/loadavg: 1.53 1.60 1.65 10/262 31637
/proc/meminfo: memFree=29778272/32770624 swapFree=5872/239784
[pid=31637] ppid=31634 vsize=10435860 CPUtime=0.19 cores=1,3,5,7,9,11,13,15
/proc/31637/stat : 31637 (java) S 31634 31637 27360 0 -1 1077944320 5199 12628 0 0 7 1 7 4 20 0 13 0 12230817 10686320640 5522 33554432000 4194304 4196468 140737102056000 140737102038544 140594650058487 0 0 0 16800971 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 33865728 140737102064321 140737102067095 140737102067095 140737102069711 0
/proc/31637/statm: 2608965 5522 2166 1 0 2597403 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 10435860
[startup+0.300255 s]
/proc/loadavg: 1.53 1.60 1.65 10/262 31637
/proc/meminfo: memFree=29778272/32770624 swapFree=5872/239784
[pid=31637] ppid=31634 vsize=10902392 CPUtime=0.36 cores=1,3,5,7,9,11,13,15
/proc/31637/stat : 31637 (java) S 31634 31637 27360 0 -1 1077944320 7461 12628 0 0 23 2 7 4 20 0 20 0 12230817 11164049408 9270 33554432000 4194304 4196468 140737102056000 140737102038544 140594650058487 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 33865728 140737102064321 140737102067095 140737102067095 140737102069711 0
/proc/31637/statm: 2725598 9270 2996 1 0 2713890 0
Current children cumulated CPU time (s) 0.36
Current children cumulated vsize (KiB) 10902392
[startup+0.700183 s]
/proc/loadavg: 1.53 1.60 1.65 10/262 31637
/proc/meminfo: memFree=29778272/32770624 swapFree=5872/239784
[pid=31637] ppid=31634 vsize=10902720 CPUtime=0.94 cores=1,3,5,7,9,11,13,15
/proc/31637/stat : 31637 (java) S 31634 31637 27360 0 -1 1077944320 12757 12628 0 0 79 4 7 4 20 0 20 0 12230817 11164385280 16043 33554432000 4194304 4196468 140737102056000 140737102038544 140594650058487 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 33865728 140737102064321 140737102067095 140737102067095 140737102069711 0
/proc/31637/statm: 2725680 16043 3203 1 0 2713890 0
Current children cumulated CPU time (s) 0.94
Current children cumulated vsize (KiB) 10902720
[startup+1.50107 s]
/proc/loadavg: 1.53 1.60 1.65 3/282 31710
/proc/meminfo: memFree=29674128/32770624 swapFree=5872/239860
[pid=31637] ppid=31634 vsize=10913344 CPUtime=2.22 cores=1,3,5,7,9,11,13,15
/proc/31637/stat : 31637 (java) S 31634 31637 27360 0 -1 1077944320 26988 12628 0 0 198 13 7 4 20 0 20 0 12230817 11175264256 43880 33554432000 4194304 4196468 140737102056000 140737102038544 140594650058487 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 33865728 140737102064321 140737102067095 140737102067095 140737102069711 0
/proc/31637/statm: 2728336 43880 3404 1 0 2716450 0
[pid=31637/tid=31692] ppid=31634 vsize=10913344 CPUtime=1.41 cores=1,3,5,7,9,11,13,15
/proc/31637/task/31692/stat : 31692 (java) R 31634 31637 27360 0 -1 4202560 19235 12628 0 0 125 5 7 4 20 0 20 0 12230829 11175264256 43880 33554432000 4194304 4196468 140737102056000 140594654287152 140594286227375 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 33865728 140737102064321 140737102067095 140737102067095 140737102069711 0
[pid=31637/tid=31693] ppid=31634 vsize=10913344 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/31637/task/31693/stat : 31693 (java) S 31634 31637 27360 0 -1 1077944384 20 12628 0 0 0 0 7 4 20 0 20 0 12230830 11175264256 43880 33554432000 4194304 4196468 140737102056000 140594615339536 140594650068693 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33865728 140737102064321 140737102067095 140737102067095 140737102069711 0
[pid=31637/tid=31694] ppid=31634 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/31637/task/31694/stat : 31694 (java) S 31634 31637 27360 0 -1 1077944384 29 12628 0 0 1 0 7 4 20 0 20 0 12230830 11175264256 43880 33554432000 4194304 4196468 140737102056000 140594255604368 140594650068693 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33865728 140737102064321 140737102067095 140737102067095 140737102069711 0
[pid=31637/tid=31695] ppid=31634 vsize=10913344 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/31637/task/31695/stat : 31695 (java) S 31634 31637 27360 0 -1 1077944384 26 12628 0 0 0 0 7 4 20 0 20 0 12230830 11175264256 43880 33554432000 4194304 4196468 140737102056000 140594254551312 140594650068693 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33865728 140737102064321 140737102067095 140737102067095 140737102069711 0
[pid=31637/tid=31696] ppid=31634 vsize=10913344 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/31637/task/31696/stat : 31696 (java) S 31634 31637 27360 0 -1 1077944384 131 12628 0 0 0 0 7 4 20 0 20 0 12230830 11175264256 43880 33554432000 4194304 4196468 140737102056000 140594253498768 140594650068693 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 33865728 140737102064321 140737102067095 140737102067095 140737102069711 0
[pid=31637/tid=31697] ppid=31634 vsize=10913344 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/31637/task/31697/stat : 31697 (java) S 31634 31637 27360 0 -1 1077944384 19 12628 0 0 0 0 7 4 20 0 20 0 12230830 11175264256 43880 33554432000 4194304 4196468 140737102056000 140594252446736 140594650068693 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33865728 140737102064321 140737102067095 140737102067095 140737102069711 0
[pid=31637/tid=31698] ppid=31634 vsize=10913344 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/31637/task/31698/stat : 31698 (java) S 31634 31637 27360 0 -1 1077944384 34 12628 0 0 0 0 7 4 20 0 20 0 12230830 11175264256 43880 33554432000 4194304 4196468 140737102056000 140594251394192 140594650068693 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33865728 140737102064321 140737102067095 140737102067095 140737102069711 0
[pid=31637/tid=31699] ppid=31634 vsize=10913344 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/31637/task/31699/stat : 31699 (java) S 31634 31637 27360 0 -1 1077944384 14 12628 0 0 0 0 7 4 20 0 20 0 12230830 11175264256 43880 33554432000 4194304 4196468 140737102056000 140594250341136 140594650068693 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 33865728 140737102064321 140737102067095 140737102067095 140737102069711 0
[pid=31637/tid=31700] ppid=31634 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/31637/task/31700/stat : 31700 (java) S 31634 31637 27360 0 -1 1077944384 50 12628 0 0 1 0 7 4 20 0 20 0 12230830 11175264256 43880 33554432000 4194304 4196468 140737102056000 140594249288592 140594650068693 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33865728 140737102064321 140737102067095 140737102067095 140737102069711 0
[pid=31637/tid=31701] ppid=31634 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/31637/task/31701/stat : 31701 (java) S 31634 31637 27360 0 -1 1077944384 1803 12628 0 0 1 0 7 4 20 0 20 0 12230833 11175264256 43880 33554432000 4194304 4196468 140737102056000 140593990486256 140594650069634 0 0 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 33865728 140737102064321 140737102067095 140737102067095 140737102069711 0
[pid=31637/tid=31702] ppid=31634 vsize=10913344 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/31637/task/31702/stat : 31702 (java) S 31634 31637 27360 0 -1 1077944384 55 12628 0 0 0 0 7 4 20 0 20 0 12230833 11175264256 43880 33554432000 4194304 4196468 140737102056000 140593989432544 140594650068693 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 33865728 140737102064321 140737102067095 140737102067095 140737102069711 0
[pid=31637/tid=31703] ppid=31634 vsize=10913344 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/31637/task/31703/stat : 31703 (java) S 31634 31637 27360 0 -1 1077944384 43 12628 0 0 0 0 7 4 20 0 20 0 12230834 11175264256 43880 33554432000 4194304 4196468 140737102056000 140593988379392 140594650068693 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33865728 140737102064321 140737102067095 140737102067095 140737102069711 0
[pid=31637/tid=31704] ppid=31634 vsize=10913344 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/31637/task/31704/stat : 31704 (java) S 31634 31637 27360 0 -1 1077944384 1 12628 0 0 0 0 7 4 20 0 20 0 12230838 11175264256 43880 33554432000 4194304 4196468 140737102056000 140593987327952 140594650077083 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 33865728 140737102064321 140737102067095 140737102067095 140737102069711 0
[pid=31637/tid=31705] ppid=31634 vsize=10913344 CPUtime=0.24 cores=1,3,5,7,9,11,13,15
/proc/31637/task/31705/stat : 31705 (java) S 31634 31637 27360 0 -1 1077944384 918 12628 0 0 13 0 7 4 20 0 20 0 12230838 11175264256 43880 33554432000 4194304 4196468 140737102056000 140593986276080 140594650069634 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33865728 140737102064321 140737102067095 140737102067095 140737102069711 0
[pid=31637/tid=31706] ppid=31634 vsize=10913344 CPUtime=0.2 cores=1,3,5,7,9,11,13,15
/proc/31637/task/31706/stat : 31706 (java) S 31634 31637 27360 0 -1 1077944384 277 12628 0 0 9 0 7 4 20 0 20 0 12230838 11175264256 43880 33554432000 4194304 4196468 140737102056000 140593985223536 140594650069634 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33865728 140737102064321 140737102067095 140737102067095 140737102069711 0
[pid=31637/tid=31707] ppid=31634 vsize=10913344 CPUtime=0.23 cores=1,3,5,7,9,11,13,15
/proc/31637/task/31707/stat : 31707 (java) S 31634 31637 27360 0 -1 1077944384 1242 12628 0 0 12 0 7 4 20 0 20 0 12230838 11175264256 43880 33554432000 4194304 4196468 140737102056000 140593984170480 140594650069634 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 33865728 140737102064321 140737102067095 140737102067095 140737102069711 0
[pid=31637/tid=31708] ppid=31634 vsize=10913344 CPUtime=0.37 cores=1,3,5,7,9,11,13,15
/proc/31637/task/31708/stat : 31708 (java) S 31634 31637 27360 0 -1 1077944384 957 12628 0 0 26 0 7 4 20 0 20 0 12230838 11175264256 43880 33554432000 4194304 4196468 140737102056000 140593983117936 140594650069634 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 33865728 140737102064321 140737102067095 140737102067095 140737102069711 0
[pid=31637/tid=31709] ppid=31634 vsize=10913344 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/31637/task/31709/stat : 31709 (java) S 31634 31637 27360 0 -1 1077944384 3 12628 0 0 0 0 7 4 20 0 20 0 12230838 11175264256 43880 33554432000 4194304 4196468 140737102056000 140593982065120 140594650068693 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 33865728 140737102064321 140737102067095 140737102067095 140737102069711 0
[pid=31637/tid=31710] ppid=31634 vsize=10913344 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/31637/task/31710/stat : 31710 (java) S 31634 31637 27360 0 -1 1077944384 3 12628 0 0 0 0 7 4 20 0 20 0 12230839 11175264256 43880 33554432000 4194304 4196468 140737102056000 140593981012656 140594650069634 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33865728 140737102064321 140737102067095 140737102067095 140737102069711 0
Current children cumulated CPU time (s) 2.22
Current children cumulated vsize (KiB) 10913344
[startup+3.10098 s]
/proc/loadavg: 1.57 1.60 1.66 3/282 31710
/proc/meminfo: memFree=29602652/32770624 swapFree=5872/239860
[pid=31637] ppid=31634 vsize=10923772 CPUtime=5.57 cores=1,3,5,7,9,11,13,15
/proc/31637/stat : 31637 (java) S 31634 31637 27360 0 -1 1077944320 36756 12628 0 0 520 26 7 4 20 0 20 0 12230817 11185942528 71480 33554432000 4194304 4196468 140737102056000 140737102038544 140594650058487 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 33865728 140737102064321 140737102067095 140737102067095 140737102069711 0
/proc/31637/statm: 2730943 71480 3480 1 0 2718498 0
[pid=31637/tid=31692] ppid=31634 vsize=10923772 CPUtime=3 cores=1,3,5,7,9,11,13,15
/proc/31637/task/31692/stat : 31692 (java) R 31634 31637 27360 0 -1 4202560 23975 12628 0 0 281 8 7 4 20 0 20 0 12230829 11185942528 71480 33554432000 4194304 4196468 140737102056000 140594654293048 140594635139445 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 33865728 140737102064321 140737102067095 140737102067095 140737102069711 0
[pid=31637/tid=31693] ppid=31634 vsize=10923772 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/31637/task/31693/stat : 31693 (java) S 31634 31637 27360 0 -1 1077944384 45 12628 0 0 1 1 7 4 20 0 20 0 12230830 11185942528 71480 33554432000 4194304 4196468 140737102056000 140594615339536 140594650068693 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 33865728 140737102064321 140737102067095 140737102067095 140737102069711 0
[pid=31637/tid=31694] ppid=31634 vsize=10923772 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/31637/task/31694/stat : 31694 (java) S 31634 31637 27360 0 -1 1077944384 119 12628 0 0 1 1 7 4 20 0 20 0 12230830 11185942528 71480 33554432000 4194304 4196468 140737102056000 140594255604368 140594650068693 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33865728 140737102064321 140737102067095 140737102067095 140737102069711 0
[pid=31637/tid=31695] ppid=31634 vsize=10923772 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/31637/task/31695/stat : 31695 (java) S 31634 31637 27360 0 -1 1077944384 140 12628 0 0 1 1 7 4 20 0 20 0 12230830 11185942528 71480 33554432000 4194304 4196468 140737102056000 140594254551312 140594650068693 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 33865728 140737102064321 140737102067095 140737102067095 140737102069711 0
[pid=31637/tid=31696] ppid=31634 vsize=10923772 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/31637/task/31696/stat : 31696 (java) S 31634 31637 27360 0 -1 1077944384 138 12628 0 0 1 1 7 4 20 0 20 0 12230830 11185942528 71480 33554432000 4194304 4196468 140737102056000 140594253498768 140594650068693 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33865728 140737102064321 140737102067095 140737102067095 140737102069711 0
[pid=31637/tid=31697] ppid=31634 vsize=10923772 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/31637/task/31697/stat : 31697 (java) S 31634 31637 27360 0 -1 1077944384 33 12628 0 0 1 1 7 4 20 0 20 0 12230830 11185942528 71480 33554432000 4194304 4196468 140737102056000 140594252446736 140594650068693 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 33865728 140737102064321 140737102067095 140737102067095 140737102069711 0
[pid=31637/tid=31698] ppid=31634 vsize=10923772 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/31637/task/31698/stat : 31698 (java) S 31634 31637 27360 0 -1 1077944384 45 12628 0 0 1 1 7 4 20 0 20 0 12230830 11185942528 71480 33554432000 4194304 4196468 140737102056000 140594251394192 140594650068693 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33865728 140737102064321 140737102067095 140737102067095 140737102069711 0
[pid=31637/tid=31699] ppid=31634 vsize=10923772 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/31637/task/31699/stat : 31699 (java) S 31634 31637 27360 0 -1 1077944384 24 12628 0 0 1 1 7 4 20 0 20 0 12230830 11185942528 71480 33554432000 4194304 4196468 140737102056000 140594250341136 140594650068693 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 33865728 140737102064321 140737102067095 140737102067095 140737102069711 0
[pid=31637/tid=31700] ppid=31634 vsize=10923772 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/31637/task/31700/stat : 31700 (java) S 31634 31637 27360 0 -1 1077944384 59 12628 0 0 1 0 7 4 20 0 20 0 12230830 11185942528 71480 33554432000 4194304 4196468 140737102056000 140594249288592 140594650068693 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33865728 140737102064321 140737102067095 140737102067095 140737102069711 0
[pid=31637/tid=31701] ppid=31634 vsize=10923772 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/31637/task/31701/stat : 31701 (java) S 31634 31637 27360 0 -1 1077944384 1968 12628 0 0 2 0 7 4 20 0 20 0 12230833 11185942528 71480 33554432000 4194304 4196468 140737102056000 140593990486256 140594650069634 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33865728 140737102064321 140737102067095 140737102067095 140737102069711 0
[pid=31637/tid=31702] ppid=31634 vsize=10923772 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/31637/task/31702/stat : 31702 (java) S 31634 31637 27360 0 -1 1077944384 57 12628 0 0 0 0 7 4 20 0 20 0 12230833 11185942528 71480 33554432000 4194304 4196468 140737102056000 140593989432544 140594650068693 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 33865728 140737102064321 140737102067095 140737102067095 140737102069711 0
[pid=31637/tid=31703] ppid=31634 vsize=10923772 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/31637/task/31703/stat : 31703 (java) S 31634 31637 27360 0 -1 1077944384 45 12628 0 0 0 0 7 4 20 0 20 0 12230834 11185942528 71480 33554432000 4194304 4196468 140737102056000 140593988379392 140594650068693 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33865728 140737102064321 140737102067095 140737102067095 140737102069711 0
[pid=31637/tid=31704] ppid=31634 vsize=10923772 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/31637/task/31704/stat : 31704 (java) S 31634 31637 27360 0 -1 1077944384 1 12628 0 0 0 0 7 4 20 0 20 0 12230838 11185942528 71480 33554432000 4194304 4196468 140737102056000 140593987327952 140594650077083 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 33865728 140737102064321 140737102067095 140737102067095 140737102069711 0
[pid=31637/tid=31705] ppid=31634 vsize=10923772 CPUtime=0.59 cores=1,3,5,7,9,11,13,15
/proc/31637/task/31705/stat : 31705 (java) S 31634 31637 27360 0 -1 1077944384 1575 12628 0 0 47 1 7 4 20 0 20 0 12230838 11185942528 71480 33554432000 4194304 4196468 140737102056000 140593986276080 140594650069634 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33865728 140737102064321 140737102067095 140737102067095 140737102069711 0
[pid=31637/tid=31706] ppid=31634 vsize=10923772 CPUtime=0.56 cores=1,3,5,7,9,11,13,15
/proc/31637/task/31706/stat : 31706 (java) S 31634 31637 27360 0 -1 1077944384 1130 12628 0 0 44 1 7 4 20 0 20 0 12230838 11185942528 71480 33554432000 4194304 4196468 140737102056000 140593985223536 140594650069634 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 33865728 140737102064321 140737102067095 140737102067095 140737102069711 0
[pid=31637/tid=31707] ppid=31634 vsize=10923772 CPUtime=0.63 cores=1,3,5,7,9,11,13,15
/proc/31637/task/31707/stat : 31707 (java) S 31634 31637 27360 0 -1 1077944384 2106 12628 0 0 52 0 7 4 20 0 20 0 12230838 11185942528 71480 33554432000 4194304 4196468 140737102056000 140593984170480 140594650069634 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 33865728 140737102064321 140737102067095 140737102067095 140737102069711 0
[pid=31637/tid=31708] ppid=31634 vsize=10923772 CPUtime=0.9 cores=1,3,5,7,9,11,13,15
/proc/31637/task/31708/stat : 31708 (java) S 31634 31637 27360 0 -1 1077944384 3159 12628 0 0 78 1 7 4 20 0 20 0 12230838 11185942528 71480 33554432000 4194304 4196468 140737102056000 140593983117936 140594650069634 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 33865728 140737102064321 140737102067095 140737102067095 140737102069711 0
[pid=31637/tid=31709] ppid=31634 vsize=10923772 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/31637/task/31709/stat : 31709 (java) S 31634 31637 27360 0 -1 1077944384 3 12628 0 0 0 0 7 4 20 0 20 0 12230838 11185942528 71480 33554432000 4194304 4196468 140737102056000 140593982065120 140594650068693 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 33865728 140737102064321 140737102067095 140737102067095 140737102069711 0
[pid=31637/tid=31710] ppid=31634 vsize=10923772 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/31637/task/31710/stat : 31710 (java) S 31634 31637 27360 0 -1 1077944384 5 12628 0 0 0 0 7 4 20 0 20 0 12230839 11185942528 71480 33554432000 4194304 4196468 140737102056000 140593981012656 140594650069634 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33865728 140737102064321 140737102067095 140737102067095 140737102069711 0
Current children cumulated CPU time (s) 5.57
Current children cumulated vsize (KiB) 10923772
[startup+6.30113 s]
/proc/loadavg: 1.57 1.60 1.66 7/282 31710
/proc/meminfo: memFree=29428320/32770624 swapFree=5872/239860
[pid=31637] ppid=31634 vsize=10927868 CPUtime=13.31 cores=1,3,5,7,9,11,13,15
/proc/31637/stat : 31637 (java) S 31634 31637 27360 0 -1 1077944320 58107 12628 0 0 1251 69 7 4 20 0 20 0 12230817 11190136832 103827 33554432000 4194304 4196468 140737102056000 140737102038544 140594650058487 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 33865728 140737102064321 140737102067095 140737102067095 140737102069711 0
/proc/31637/statm: 2731967 103827 3497 1 0 2719522 0
[pid=31637/tid=31692] ppid=31634 vsize=10927868 CPUtime=6.09 cores=1,3,5,7,9,11,13,15
/proc/31637/task/31692/stat : 31692 (java) R 31634 31637 27360 0 -1 4202560 34607 12628 0 0 588 10 7 4 20 0 20 0 12230829 11190136832 103827 33554432000 4194304 4196468 140737102056000 140594654288008 140594298960264 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 33865728 140737102064321 140737102067095 140737102067095 140737102069711 0
[pid=31637/tid=31693] ppid=31634 vsize=10927868 CPUtime=0.21 cores=1,3,5,7,9,11,13,15
/proc/31637/task/31693/stat : 31693 (java) S 31634 31637 27360 0 -1 1077944384 223 12628 0 0 4 6 7 4 20 0 20 0 12230830 11190136832 103827 33554432000 4194304 4196468 140737102056000 140594615339536 140594650068693 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 33865728 140737102064321 140737102067095 140737102067095 140737102069711 0
[pid=31637/tid=31694] ppid=31634 vsize=10927868 CPUtime=0.21 cores=1,3,5,7,9,11,13,15
/proc/31637/task/31694/stat : 31694 (java) S 31634 31637 27360 0 -1 1077944384 748 12628 0 0 5 5 7 4 20 0 20 0 12230830 11190136832 103827 33554432000 4194304 4196468 140737102056000 140594255604368 140594650068693 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33865728 140737102064321 140737102067095 140737102067095 140737102069711 0
[pid=31637/tid=31695] ppid=31634 vsize=10927868 CPUtime=0.21 cores=1,3,5,7,9,11,13,15
/proc/31637/task/31695/stat : 31695 (java) S 31634 31637 27360 0 -1 1077944384 225 12628 0 0 5 5 7 4 20 0 20 0 12230830 11190136832 103827 33554432000 4194304 4196468 140737102056000 140594254551312 140594650068693 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33865728 140737102064321 140737102067095 140737102067095 140737102069711 0
[pid=31637/tid=31696] ppid=31634 vsize=10927868 CPUtime=0.21 cores=1,3,5,7,9,11,13,15
/proc/31637/task/31696/stat : 31696 (java) S 31634 31637 27360 0 -1 1077944384 283 12628 0 0 5 5 7 4 20 0 20 0 12230830 11190136832 103827 33554432000 4194304 4196468 140737102056000 140594253498768 140594650068693 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 33865728 140737102064321 140737102067095 140737102067095 140737102069711 0
[pid=31637/tid=31697] ppid=31634 vsize=10927868 CPUtime=0.21 cores=1,3,5,7,9,11,13,15
/proc/31637/task/31697/stat : 31697 (java) S 31634 31637 27360 0 -1 1077944384 145 12628 0 0 5 5 7 4 20 0 20 0 12230830 11190136832 103827 33554432000 4194304 4196468 140737102056000 140594252446736 140594650068693 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 33865728 140737102064321 140737102067095 140737102067095 140737102069711 0
[pid=31637/tid=31698] ppid=31634 vsize=10927868 CPUtime=0.21 cores=1,3,5,7,9,11,13,15
/proc/31637/task/31698/stat : 31698 (java) S 31634 31637 27360 0 -1 1077944384 185 12628 0 0 4 6 7 4 20 0 20 0 12230830 11190136832 103827 33554432000 4194304 4196468 140737102056000 140594251394192 140594650068693 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33865728 140737102064321 140737102067095 140737102067095 140737102069711 0
[pid=31637/tid=31699] ppid=31634 vsize=10927868 CPUtime=0.21 cores=1,3,5,7,9,11,13,15
/proc/31637/task/31699/stat : 31699 (java) S 31634 31637 27360 0 -1 1077944384 206 12628 0 0 5 5 7 4 20 0 20 0 12230830 11190136832 103827 33554432000 4194304 4196468 140737102056000 140594250341136 140594650068693 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 33865728 140737102064321 140737102067095 140737102067095 140737102069711 0
[pid=31637/tid=31700] ppid=31634 vsize=10927868 CPUtime=0.21 cores=1,3,5,7,9,11,13,15
/proc/31637/task/31700/stat : 31700 (java) S 31634 31637 27360 0 -1 1077944384 191 12628 0 0 5 5 7 4 20 0 20 0 12230830 11190136832 103827 33554432000 4194304 4196468 140737102056000 140594249288592 140594650068693 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33865728 140737102064321 140737102067095 140737102067095 140737102069711 0
[pid=31637/tid=31701] ppid=31634 vsize=10927868 CPUtime=0.14 cores=1,3,5,7,9,11,13,15
/proc/31637/task/31701/stat : 31701 (java) S 31634 31637 27360 0 -1 1077944384 2068 12628 0 0 3 0 7 4 20 0 20 0 12230833 11190136832 103827 33554432000 4194304 4196468 140737102056000 140593990486256 140594650069634 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33865728 140737102064321 140737102067095 140737102067095 140737102069711 0
[pid=31637/tid=31702] ppid=31634 vsize=10927868 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/31637/task/31702/stat : 31702 (java) S 31634 31637 27360 0 -1 1077944384 57 12628 0 0 0 0 7 4 20 0 20 0 12230833 11190136832 103827 33554432000 4194304 4196468 140737102056000 140593989432544 140594650068693 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33865728 140737102064321 140737102067095 140737102067095 140737102069711 0
[pid=31637/tid=31703] ppid=31634 vsize=10927868 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/31637/task/31703/stat : 31703 (java) S 31634 31637 27360 0 -1 1077944384 45 12628 0 0 0 0 7 4 20 0 20 0 12230834 11190136832 103827 33554432000 4194304 4196468 140737102056000 140593988379392 140594650068693 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 33865728 140737102064321 140737102067095 140737102067095 140737102069711 0
[pid=31637/tid=31704] ppid=31634 vsize=10927868 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/31637/task/31704/stat : 31704 (java) S 31634 31637 27360 0 -1 1077944384 1 12628 0 0 0 0 7 4 20 0 20 0 12230838 11190136832 103827 33554432000 4194304 4196468 140737102056000 140593987327952 140594650077083 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 33865728 140737102064321 140737102067095 140737102067095 140737102069711 0
[pid=31637/tid=31705] ppid=31634 vsize=10927868 CPUtime=1.68 cores=1,3,5,7,9,11,13,15
/proc/31637/task/31705/stat : 31705 (java) S 31634 31637 27360 0 -1 1077944384 4132 12628 0 0 155 2 7 4 20 0 20 0 12230838 11190136832 103827 33554432000 4194304 4196468 140737102056000 140593986276080 140594650069634 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33865728 140737102064321 140737102067095 140737102067095 140737102069711 0
[pid=31637/tid=31706] ppid=31634 vsize=10927868 CPUtime=1.71 cores=1,3,5,7,9,11,13,15
/proc/31637/task/31706/stat : 31706 (java) S 31634 31637 27360 0 -1 1077944384 3900 12628 0 0 158 2 7 4 20 0 20 0 12230838 11190136832 103827 33554432000 4194304 4196468 140737102056000 140593985223536 140594650069634 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 14 0 0 6293624 6294260 33865728 140737102064321 140737102067095 140737102067095 140737102069711 0
[pid=31637/tid=31707] ppid=31634 vsize=10927868 CPUtime=1.86 cores=1,3,5,7,9,11,13,15
/proc/31637/task/31707/stat : 31707 (java) S 31634 31637 27360 0 -1 1077944384 4626 12628 0 0 174 1 7 4 20 0 20 0 12230838 11190136832 103827 33554432000 4194304 4196468 140737102056000 140593984170480 140594650069634 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 7 0 0 6293624 6294260 33865728 140737102064321 140737102067095 140737102067095 140737102069711 0
[pid=31637/tid=31708] ppid=31634 vsize=10927868 CPUtime=1.43 cores=1,3,5,7,9,11,13,15
/proc/31637/task/31708/stat : 31708 (java) S 31634 31637 27360 0 -1 1077944384 4322 12628 0 0 130 2 7 4 20 0 20 0 12230838 11190136832 103827 33554432000 4194304 4196468 140737102056000 140593983117936 140594650069634 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 15 0 0 6293624 6294260 33865728 140737102064321 140737102067095 140737102067095 140737102069711 0
[pid=31637/tid=31709] ppid=31634 vsize=10927868 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
################
# More data... #
################
[pid=31637/tid=31710] ppid=31634 vsize=10997500 CPUtime=1.44 cores=1,3,5,7,9,11,13,15
/proc/31637/task/31710/stat : 31710 (java) S 31634 31637 27360 0 -1 1077944384 2092 12628 0 0 60 73 7 4 20 0 20 0 12230839 11261440000 938924 33554432000 4194304 4196468 140737102056000 140593981012656 140594650069634 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 13 0 0 6293624 6294260 33865728 140737102064321 140737102067095 140737102067095 140737102069711 0
Current children cumulated CPU time (s) 2358.98
Current children cumulated vsize (KiB) 10997500
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2242.4 s]
/proc/loadavg: 1.82 1.74 1.66 3/283 31941
/proc/meminfo: memFree=24072488/32770624 swapFree=5872/241056
[pid=31637] ppid=31634 vsize=10997500 CPUtime=2400.01 cores=1,3,5,7,9,11,13,15
/proc/31637/stat : 31637 (java) S 31634 31637 27360 0 -1 1077944320 486676 12628 0 0 239041 949 7 4 20 0 20 0 12230817 11261440000 938944 33554432000 4194304 4196468 140737102056000 140737102038544 140594650058487 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 33865728 140737102064321 140737102067095 140737102067095 140737102069711 0
/proc/31637/statm: 2749375 938944 3517 1 0 2736930 0
[pid=31637/tid=31692] ppid=31634 vsize=10997500 CPUtime=2218.89 cores=1,3,5,7,9,11,13,15
/proc/31637/task/31692/stat : 31692 (java) R 31634 31637 27360 0 -1 4202560 208406 12628 0 0 221807 71 7 4 20 0 20 0 12230829 11261440000 938944 33554432000 4194304 4196468 140737102056000 140594654292784 140594298101632 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 33865728 140737102064321 140737102067095 140737102067095 140737102069711 0
[pid=31637/tid=31693] ppid=31634 vsize=10997500 CPUtime=20.13 cores=1,3,5,7,9,11,13,15
/proc/31637/task/31693/stat : 31693 (java) S 31634 31637 27360 0 -1 1077944384 26323 12628 0 0 1900 102 7 4 20 0 20 0 12230830 11261440000 938944 33554432000 4194304 4196468 140737102056000 140594615339536 140594650068693 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 33865728 140737102064321 140737102067095 140737102067095 140737102069711 0
[pid=31637/tid=31694] ppid=31634 vsize=10997500 CPUtime=20.19 cores=1,3,5,7,9,11,13,15
/proc/31637/task/31694/stat : 31694 (java) S 31634 31637 27360 0 -1 1077944384 17677 12628 0 0 1913 95 7 4 20 0 20 0 12230830 11261440000 938944 33554432000 4194304 4196468 140737102056000 140594255604368 140594650068693 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33865728 140737102064321 140737102067095 140737102067095 140737102069711 0
[pid=31637/tid=31695] ppid=31634 vsize=10997500 CPUtime=19.82 cores=1,3,5,7,9,11,13,15
/proc/31637/task/31695/stat : 31695 (java) S 31634 31637 27360 0 -1 1077944384 17192 12628 0 0 1871 100 7 4 20 0 20 0 12230830 11261440000 938944 33554432000 4194304 4196468 140737102056000 140594254551312 140594650068693 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33865728 140737102064321 140737102067095 140737102067095 140737102069711 0
[pid=31637/tid=31696] ppid=31634 vsize=10997500 CPUtime=20.06 cores=1,3,5,7,9,11,13,15
/proc/31637/task/31696/stat : 31696 (java) S 31634 31637 27360 0 -1 1077944384 13434 12628 0 0 1899 96 7 4 20 0 20 0 12230830 11261440000 938944 33554432000 4194304 4196468 140737102056000 140594253498768 140594650068693 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 33865728 140737102064321 140737102067095 140737102067095 140737102069711 0
[pid=31637/tid=31697] ppid=31634 vsize=10997500 CPUtime=20.17 cores=1,3,5,7,9,11,13,15
/proc/31637/task/31697/stat : 31697 (java) S 31634 31637 27360 0 -1 1077944384 17377 12628 0 0 1910 96 7 4 20 0 20 0 12230830 11261440000 938944 33554432000 4194304 4196468 140737102056000 140594252446736 140594650068693 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33865728 140737102064321 140737102067095 140737102067095 140737102069711 0
[pid=31637/tid=31698] ppid=31634 vsize=10997500 CPUtime=20.23 cores=1,3,5,7,9,11,13,15
/proc/31637/task/31698/stat : 31698 (java) S 31634 31637 27360 0 -1 1077944384 13164 12628 0 0 1913 99 7 4 20 0 20 0 12230830 11261440000 938944 33554432000 4194304 4196468 140737102056000 140594251394192 140594650068693 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33865728 140737102064321 140737102067095 140737102067095 140737102069711 0
[pid=31637/tid=31699] ppid=31634 vsize=10997500 CPUtime=19.99 cores=1,3,5,7,9,11,13,15
/proc/31637/task/31699/stat : 31699 (java) S 31634 31637 27360 0 -1 1077944384 15501 12628 0 0 1890 98 7 4 20 0 20 0 12230830 11261440000 938944 33554432000 4194304 4196468 140737102056000 140594250341136 140594650068693 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33865728 140737102064321 140737102067095 140737102067095 140737102069711 0
[pid=31637/tid=31700] ppid=31634 vsize=10997500 CPUtime=19.92 cores=1,3,5,7,9,11,13,15
/proc/31637/task/31700/stat : 31700 (java) S 31634 31637 27360 0 -1 1077944384 18360 12628 0 0 1885 96 7 4 20 0 20 0 12230830 11261440000 938944 33554432000 4194304 4196468 140737102056000 140594249288592 140594650068693 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 33865728 140737102064321 140737102067095 140737102067095 140737102069711 0
[pid=31637/tid=31701] ppid=31634 vsize=10997500 CPUtime=1.01 cores=1,3,5,7,9,11,13,15
/proc/31637/task/31701/stat : 31701 (java) S 31634 31637 27360 0 -1 1077944384 44865 12628 0 0 78 12 7 4 20 0 20 0 12230833 11261440000 938944 33554432000 4194304 4196468 140737102056000 140593990486256 140594650069634 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33865728 140737102064321 140737102067095 140737102067095 140737102069711 0
[pid=31637/tid=31702] ppid=31634 vsize=10997500 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/31637/task/31702/stat : 31702 (java) S 31634 31637 27360 0 -1 1077944384 62 12628 0 0 0 0 7 4 20 0 20 0 12230833 11261440000 938944 33554432000 4194304 4196468 140737102056000 140593989432608 140594650068693 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33865728 140737102064321 140737102067095 140737102067095 140737102069711 0
[pid=31637/tid=31703] ppid=31634 vsize=10997500 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/31637/task/31703/stat : 31703 (java) S 31634 31637 27360 0 -1 1077944384 48 12628 0 0 0 0 7 4 20 0 20 0 12230834 11261440000 938944 33554432000 4194304 4196468 140737102056000 140593988379392 140594650068693 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 33865728 140737102064321 140737102067095 140737102067095 140737102069711 0
[pid=31637/tid=31704] ppid=31634 vsize=10997500 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/31637/task/31704/stat : 31704 (java) S 31634 31637 27360 0 -1 1077944384 1 12628 0 0 0 0 7 4 20 0 20 0 12230838 11261440000 938944 33554432000 4194304 4196468 140737102056000 140593987327952 140594650077083 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 33865728 140737102064321 140737102067095 140737102067095 140737102069711 0
[pid=31637/tid=31705] ppid=31634 vsize=10997500 CPUtime=5.61 cores=1,3,5,7,9,11,13,15
/proc/31637/task/31705/stat : 31705 (java) S 31634 31637 27360 0 -1 1077944384 22266 12628 0 0 546 4 7 4 20 0 20 0 12230838 11261440000 938944 33554432000 4194304 4196468 140737102056000 140593986276080 140594650069634 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 33865728 140737102064321 140737102067095 140737102067095 140737102069711 0
[pid=31637/tid=31706] ppid=31634 vsize=10997500 CPUtime=5.29 cores=1,3,5,7,9,11,13,15
/proc/31637/task/31706/stat : 31706 (java) S 31634 31637 27360 0 -1 1077944384 17244 12628 0 0 513 5 7 4 20 0 20 0 12230838 11261440000 938944 33554432000 4194304 4196468 140737102056000 140593985223536 140594650069634 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 14 0 0 6293624 6294260 33865728 140737102064321 140737102067095 140737102067095 140737102069711 0
[pid=31637/tid=31707] ppid=31634 vsize=10997500 CPUtime=6.04 cores=1,3,5,7,9,11,13,15
/proc/31637/task/31707/stat : 31707 (java) S 31634 31637 27360 0 -1 1077944384 24613 12628 0 0 588 5 7 4 20 0 20 0 12230838 11261440000 938944 33554432000 4194304 4196468 140737102056000 140593984170480 140594650069634 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 7 0 0 6293624 6294260 33865728 140737102064321 140737102067095 140737102067095 140737102069711 0
[pid=31637/tid=31708] ppid=31634 vsize=10997500 CPUtime=2.56 cores=1,3,5,7,9,11,13,15
/proc/31637/task/31708/stat : 31708 (java) S 31634 31637 27360 0 -1 1077944384 25917 12628 0 0 239 6 7 4 20 0 20 0 12230838 11261440000 938944 33554432000 4194304 4196468 140737102056000 140593983117936 140594650069634 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 15 0 0 6293624 6294260 33865728 140737102064321 140737102067095 140737102067095 140737102069711 0
[pid=31637/tid=31709] ppid=31634 vsize=10997500 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/31637/task/31709/stat : 31709 (java) S 31634 31637 27360 0 -1 1077944384 3 12628 0 0 0 0 7 4 20 0 20 0 12230838 11261440000 938944 33554432000 4194304 4196468 140737102056000 140593982065120 140594650068693 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 33865728 140737102064321 140737102067095 140737102067095 140737102069711 0
[pid=31637/tid=31710] ppid=31634 vsize=10997500 CPUtime=1.46 cores=1,3,5,7,9,11,13,15
/proc/31637/task/31710/stat : 31710 (java) S 31634 31637 27360 0 -1 1077944384 2094 12628 0 0 61 74 7 4 20 0 20 0 12230839 11261440000 938944 33554432000 4194304 4196468 140737102056000 140593981012656 140594650069634 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 13 0 0 6293624 6294260 33865728 140737102064321 140737102067095 140737102067095 140737102069711 0
Current children cumulated CPU time (s) 2400.01
Current children cumulated vsize (KiB) 10997500
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 31637 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2243.2 s]
/proc/loadavg: 1.82 1.74 1.66 10/285 31943
/proc/meminfo: memFree=24072488/32770624 swapFree=5872/241056
[pid=31637] ppid=31634 vsize=11130628 CPUtime=2405.72 cores=1,3,5,7,9,11,13,15
/proc/31637/stat : 31637 (java) S 31634 31637 27360 0 -1 1077944320 500575 12628 0 0 239611 950 7 4 20 0 22 0 12230817 11397763072 939069 33554432000 4194304 4196468 140737102056000 140737102038544 140594650058487 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 33865728 140737102064321 140737102067095 140737102067095 140737102069711 0
/proc/31637/statm: 2782657 939069 3517 1 0 2770212 0
[pid=31637/tid=31692] ppid=31634 vsize=11130628 CPUtime=2218.91 cores=1,3,5,7,9,11,13,15
/proc/31637/task/31692/stat : 31692 (java) S 31634 31637 27360 0 -1 1077944384 209490 12628 0 0 221809 71 7 4 20 0 22 0 12230829 11397763072 939069 33554432000 4194304 4196468 140737102056000 140594654296208 140594650068693 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 33865728 140737102064321 140737102067095 140737102067095 140737102069711 0
[pid=31637/tid=31693] ppid=31634 vsize=11130628 CPUtime=20.84 cores=1,3,5,7,9,11,13,15
/proc/31637/task/31693/stat : 31693 (java) R 31634 31637 27360 0 -1 4202560 26353 12628 0 0 1971 102 7 4 20 0 22 0 12230830 11397763072 939069 33554432000 4194304 4196468 140737102056000 140594615339736 140594634757184 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 33865728 140737102064321 140737102067095 140737102067095 140737102069711 0
[pid=31637/tid=31694] ppid=31634 vsize=11130628 CPUtime=20.89 cores=1,3,5,7,9,11,13,15
/proc/31637/task/31694/stat : 31694 (java) R 31634 31637 27360 0 -1 4202560 17731 12628 0 0 1983 95 7 4 20 0 22 0 12230830 11397763072 939069 33554432000 4194304 4196468 140737102056000 140594255604568 140594631668270 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 33865728 140737102064321 140737102067095 140737102067095 140737102069711 0
[pid=31637/tid=31695] ppid=31634 vsize=11130628 CPUtime=20.54 cores=1,3,5,7,9,11,13,15
/proc/31637/task/31695/stat : 31695 (java) R 31634 31637 27360 0 -1 4202560 17255 12628 0 0 1943 100 7 4 20 0 22 0 12230830 11397763072 939069 33554432000 4194304 4196468 140737102056000 140594254551512 140594631668173 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33865728 140737102064321 140737102067095 140737102067095 140737102069711 0
[pid=31637/tid=31696] ppid=31634 vsize=11130628 CPUtime=20.78 cores=1,3,5,7,9,11,13,15
/proc/31637/task/31696/stat : 31696 (java) R 31634 31637 27360 0 -1 4202560 13462 12628 0 0 1971 96 7 4 20 0 22 0 12230830 11397763072 939069 33554432000 4194304 4196468 140737102056000 140594253498656 140594631668263 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33865728 140737102064321 140737102067095 140737102067095 140737102069711 0
[pid=31637/tid=31697] ppid=31634 vsize=11130628 CPUtime=20.85 cores=1,3,5,7,9,11,13,15
/proc/31637/task/31697/stat : 31697 (java) R 31634 31637 27360 0 -1 4202560 17448 12628 0 0 1978 96 7 4 20 0 22 0 12230830 11397763072 939069 33554432000 4194304 4196468 140737102056000 140594252446936 140594634515946 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33865728 140737102064321 140737102067095 140737102067095 140737102069711 0
[pid=31637/tid=31698] ppid=31634 vsize=11130628 CPUtime=20.94 cores=1,3,5,7,9,11,13,15
/proc/31637/task/31698/stat : 31698 (java) R 31634 31637 27360 0 -1 4202560 13215 12628 0 0 1984 99 7 4 20 0 22 0 12230830 11397763072 939069 33554432000 4194304 4196468 140737102056000 140594251394392 140594631668224 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 33865728 140737102064321 140737102067095 140737102067095 140737102069711 0
[pid=31637/tid=31699] ppid=31634 vsize=11130628 CPUtime=20.67 cores=1,3,5,7,9,11,13,15
/proc/31637/task/31699/stat : 31699 (java) R 31634 31637 27360 0 -1 4202560 15571 12628 0 0 1958 98 7 4 20 0 22 0 12230830 11397763072 939069 33554432000 4194304 4196468 140737102056000 140594250341336 140594631668263 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 33865728 140737102064321 140737102067095 140737102067095 140737102069711 0
[pid=31637/tid=31700] ppid=31634 vsize=11130628 CPUtime=20.62 cores=1,3,5,7,9,11,13,15
/proc/31637/task/31700/stat : 31700 (java) R 31634 31637 27360 0 -1 4202560 18417 12628 0 0 1954 97 7 4 20 0 22 0 12230830 11397763072 939069 33554432000 4194304 4196468 140737102056000 140594249288792 140594635054839 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 33865728 140737102064321 140737102067095 140737102067095 140737102069711 0
[pid=31637/tid=31701] ppid=31634 vsize=11130628 CPUtime=1.07 cores=1,3,5,7,9,11,13,15
/proc/31637/task/31701/stat : 31701 (java) S 31634 31637 27360 0 -1 1077944384 56607 12628 0 0 84 12 7 4 20 0 22 0 12230833 11397763072 939069 33554432000 4194304 4196468 140737102056000 140593990484880 140594650068693 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33865728 140737102064321 140737102067095 140737102067095 140737102069711 0
[pid=31637/tid=31702] ppid=31634 vsize=11130628 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/31637/task/31702/stat : 31702 (java) S 31634 31637 27360 0 -1 1077944384 63 12628 0 0 0 0 7 4 20 0 22 0 12230833 11397763072 939069 33554432000 4194304 4196468 140737102056000 140593989432208 140594650068693 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33865728 140737102064321 140737102067095 140737102067095 140737102069711 0
[pid=31637/tid=31703] ppid=31634 vsize=11130628 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/31637/task/31703/stat : 31703 (java) S 31634 31637 27360 0 -1 1077944384 48 12628 0 0 0 0 7 4 20 0 22 0 12230834 11397763072 939069 33554432000 4194304 4196468 140737102056000 140593988379392 140594650068693 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 33865728 140737102064321 140737102067095 140737102067095 140737102069711 0
[pid=31637/tid=31704] ppid=31634 vsize=11130628 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/31637/task/31704/stat : 31704 (java) S 31634 31637 27360 0 -1 1077944384 282 12628 0 0 0 0 7 4 20 0 22 0 12230838 11397763072 939069 33554432000 4194304 4196468 140737102056000 140593987327952 140594650077083 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33865728 140737102064321 140737102067095 140737102067095 140737102069711 0
[pid=31637/tid=31705] ppid=31634 vsize=11130628 CPUtime=5.61 cores=1,3,5,7,9,11,13,15
/proc/31637/task/31705/stat : 31705 (java) S 31634 31637 27360 0 -1 1077944384 22266 12628 0 0 546 4 7 4 20 0 22 0 12230838 11397763072 939069 33554432000 4194304 4196468 140737102056000 140593986276080 140594650069634 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 33865728 140737102064321 140737102067095 140737102067095 140737102069711 0
[pid=31637/tid=31706] ppid=31634 vsize=11130628 CPUtime=5.29 cores=1,3,5,7,9,11,13,15
/proc/31637/task/31706/stat : 31706 (java) S 31634 31637 27360 0 -1 1077944384 17244 12628 0 0 513 5 7 4 20 0 22 0 12230838 11397763072 939069 33554432000 4194304 4196468 140737102056000 140593985223536 140594650069634 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 14 0 0 6293624 6294260 33865728 140737102064321 140737102067095 140737102067095 140737102069711 0
[pid=31637/tid=31707] ppid=31634 vsize=11130628 CPUtime=6.04 cores=1,3,5,7,9,11,13,15
/proc/31637/task/31707/stat : 31707 (java) S 31634 31637 27360 0 -1 1077944384 24613 12628 0 0 588 5 7 4 20 0 22 0 12230838 11397763072 939069 33554432000 4194304 4196468 140737102056000 140593984170480 140594650069634 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 7 0 0 6293624 6294260 33865728 140737102064321 140737102067095 140737102067095 140737102069711 0
[pid=31637/tid=31708] ppid=31634 vsize=11130628 CPUtime=2.56 cores=1,3,5,7,9,11,13,15
/proc/31637/task/31708/stat : 31708 (java) S 31634 31637 27360 0 -1 1077944384 25917 12628 0 0 239 6 7 4 20 0 22 0 12230838 11397763072 939069 33554432000 4194304 4196468 140737102056000 140593983117936 140594650069634 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 15 0 0 6293624 6294260 33865728 140737102064321 140737102067095 140737102067095 140737102069711 0
[pid=31637/tid=31709] ppid=31634 vsize=11130628 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/31637/task/31709/stat : 31709 (java) S 31634 31637 27360 0 -1 1077944384 3 12628 0 0 0 0 7 4 20 0 22 0 12230838 11397763072 939069 33554432000 4194304 4196468 140737102056000 140593982065120 140594650068693 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 33865728 140737102064321 140737102067095 140737102067095 140737102069711 0
[pid=31637/tid=31710] ppid=31634 vsize=11130628 CPUtime=1.46 cores=1,3,5,7,9,11,13,15
/proc/31637/task/31710/stat : 31710 (java) S 31634 31637 27360 0 -1 1077944384 2094 12628 0 0 61 74 7 4 20 0 22 0 12230839 11397763072 939069 33554432000 4194304 4196468 140737102056000 140593981012656 140594650069634 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 13 0 0 6293624 6294260 33865728 140737102064321 140737102067095 140737102067095 140737102069711 0
[pid=31637/tid=31942] ppid=31634 vsize=11130628 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/31637/task/31942/stat : 31942 (java) S 31634 31637 27360 0 -1 1077944384 336 12628 0 0 0 0 7 4 20 0 22 0 12455058 11397763072 939069 33554432000 4194304 4196468 140737102056000 140593949331440 140594650068693 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 33865728 140737102064321 140737102067095 140737102067095 140737102069711 0
[pid=31637/tid=31943] ppid=31634 vsize=11130628 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/31637/task/31943/stat : 31943 (java) S 31634 31637 27360 0 -1 1077944384 30 12628 0 0 0 0 7 4 20 0 22 0 12455058 11397763072 939069 33554432000 4194304 4196468 140737102056000 140593948279616 140594650068693 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33865728 140737102064321 140737102067095 140737102067095 140737102069711 0
Current children cumulated CPU time (s) 2405.72
Current children cumulated vsize (KiB) 11130628
[startup+2243.6 s]
/proc/loadavg: 1.82 1.74 1.66 10/285 31943
/proc/meminfo: memFree=24072488/32770624 swapFree=5872/241056
[pid=31637] ppid=31634 vsize=11130628 CPUtime=2408.6 cores=1,3,5,7,9,11,13,15
/proc/31637/stat : 31637 (java) S 31634 31637 27360 0 -1 1077944320 500586 12628 0 0 239899 950 7 4 20 0 22 0 12230817 11397763072 939068 33554432000 4194304 4196468 140737102056000 140737102038544 140594650058487 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 33865728 140737102064321 140737102067095 140737102067095 140737102069711 0
/proc/31637/statm: 2782657 939068 3517 1 0 2770212 0
[pid=31637/tid=31692] ppid=31634 vsize=11130628 CPUtime=2218.91 cores=1,3,5,7,9,11,13,15
/proc/31637/task/31692/stat : 31692 (java) S 31634 31637 27360 0 -1 1077944384 209491 12628 0 0 221809 71 7 4 20 0 22 0 12230829 11397763072 939068 33554432000 4194304 4196468 140737102056000 140594654296208 140594650068693 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 33865728 140737102064321 140737102067095 140737102067095 140737102069711 0
[pid=31637/tid=31693] ppid=31634 vsize=11130628 CPUtime=21.2 cores=1,3,5,7,9,11,13,15
/proc/31637/task/31693/stat : 31693 (java) R 31634 31637 27360 0 -1 4202560 26355 12628 0 0 2007 102 7 4 20 0 22 0 12230830 11397763072 939068 33554432000 4194304 4196468 140737102056000 140594615339736 140594634757198 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 33865728 140737102064321 140737102067095 140737102067095 140737102069711 0
[pid=31637/tid=31694] ppid=31634 vsize=11130628 CPUtime=21.25 cores=1,3,5,7,9,11,13,15
/proc/31637/task/31694/stat : 31694 (java) R 31634 31637 27360 0 -1 4202560 17732 12628 0 0 2019 95 7 4 20 0 22 0 12230830 11397763072 939068 33554432000 4194304 4196468 140737102056000 140594255604568 140594635054839 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33865728 140737102064321 140737102067095 140737102067095 140737102069711 0
[pid=31637/tid=31695] ppid=31634 vsize=11130628 CPUtime=20.89 cores=1,3,5,7,9,11,13,15
/proc/31637/task/31695/stat : 31695 (java) R 31634 31637 27360 0 -1 4202560 17256 12628 0 0 1978 100 7 4 20 0 22 0 12230830 11397763072 939068 33554432000 4194304 4196468 140737102056000 140594254551512 140594635055056 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 33865728 140737102064321 140737102067095 140737102067095 140737102069711 0
[pid=31637/tid=31696] ppid=31634 vsize=11130628 CPUtime=21.12 cores=1,3,5,7,9,11,13,15
/proc/31637/task/31696/stat : 31696 (java) R 31634 31637 27360 0 -1 4202560 13462 12628 0 0 2005 96 7 4 20 0 22 0 12230830 11397763072 939068 33554432000 4194304 4196468 140737102056000 140594253498968 140594631668233 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 33865728 140737102064321 140737102067095 140737102067095 140737102069711 0
[pid=31637/tid=31697] ppid=31634 vsize=11130628 CPUtime=21.2 cores=1,3,5,7,9,11,13,15
/proc/31637/task/31697/stat : 31697 (java) R 31634 31637 27360 0 -1 4202560 17448 12628 0 0 2013 96 7 4 20 0 22 0 12230830 11397763072 939068 33554432000 4194304 4196468 140737102056000 140594252446936 140594635054832 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33865728 140737102064321 140737102067095 140737102067095 140737102069711 0
[pid=31637/tid=31698] ppid=31634 vsize=11130628 CPUtime=21.3 cores=1,3,5,7,9,11,13,15
/proc/31637/task/31698/stat : 31698 (java) R 31634 31637 27360 0 -1 4202560 13215 12628 0 0 2020 99 7 4 20 0 22 0 12230830 11397763072 939068 33554432000 4194304 4196468 140737102056000 140594251394392 140594635054980 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 33865728 140737102064321 140737102067095 140737102067095 140737102069711 0
[pid=31637/tid=31699] ppid=31634 vsize=11130628 CPUtime=21.03 cores=1,3,5,7,9,11,13,15
/proc/31637/task/31699/stat : 31699 (java) R 31634 31637 27360 0 -1 4202560 15573 12628 0 0 1994 98 7 4 20 0 22 0 12230830 11397763072 939068 33554432000 4194304 4196468 140737102056000 140594250341336 140594631668266 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 33865728 140737102064321 140737102067095 140737102067095 140737102069711 0
[pid=31637/tid=31700] ppid=31634 vsize=11130628 CPUtime=20.98 cores=1,3,5,7,9,11,13,15
/proc/31637/task/31700/stat : 31700 (java) R 31634 31637 27360 0 -1 4202560 18419 12628 0 0 1990 97 7 4 20 0 22 0 12230830 11397763072 939068 33554432000 4194304 4196468 140737102056000 140594249288480 140594631668284 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33865728 140737102064321 140737102067095 140737102067095 140737102069711 0
[pid=31637/tid=31701] ppid=31634 vsize=11130628 CPUtime=1.11 cores=1,3,5,7,9,11,13,15
/proc/31637/task/31701/stat : 31701 (java) S 31634 31637 27360 0 -1 1077944384 56607 12628 0 0 88 12 7 4 20 0 22 0 12230833 11397763072 939068 33554432000 4194304 4196468 140737102056000 140593990484880 140594650068693 0 0 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 33865728 140737102064321 140737102067095 140737102067095 140737102069711 0
[pid=31637/tid=31702] ppid=31634 vsize=11130628 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/31637/task/31702/stat : 31702 (java) S 31634 31637 27360 0 -1 1077944384 64 12628 0 0 0 0 7 4 20 0 22 0 12230833 11397763072 939068 33554432000 4194304 4196468 140737102056000 140593989432112 140594650068693 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33865728 140737102064321 140737102067095 140737102067095 140737102069711 0
[pid=31637/tid=31703] ppid=31634 vsize=11130628 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/31637/task/31703/stat : 31703 (java) S 31634 31637 27360 0 -1 1077944384 48 12628 0 0 0 0 7 4 20 0 22 0 12230834 11397763072 939068 33554432000 4194304 4196468 140737102056000 140593988379392 140594650068693 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 33865728 140737102064321 140737102067095 140737102067095 140737102069711 0
[pid=31637/tid=31704] ppid=31634 vsize=11130628 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/31637/task/31704/stat : 31704 (java) S 31634 31637 27360 0 -1 1077944384 282 12628 0 0 0 0 7 4 20 0 22 0 12230838 11397763072 939068 33554432000 4194304 4196468 140737102056000 140593987327952 140594650077083 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33865728 140737102064321 140737102067095 140737102067095 140737102069711 0
[pid=31637/tid=31705] ppid=31634 vsize=11130628 CPUtime=5.61 cores=1,3,5,7,9,11,13,15
/proc/31637/task/31705/stat : 31705 (java) S 31634 31637 27360 0 -1 1077944384 22266 12628 0 0 546 4 7 4 20 0 22 0 12230838 11397763072 939068 33554432000 4194304 4196468 140737102056000 140593986276080 140594650069634 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 33865728 140737102064321 140737102067095 140737102067095 140737102069711 0
[pid=31637/tid=31706] ppid=31634 vsize=11130628 CPUtime=5.29 cores=1,3,5,7,9,11,13,15
/proc/31637/task/31706/stat : 31706 (java) S 31634 31637 27360 0 -1 1077944384 17244 12628 0 0 513 5 7 4 20 0 22 0 12230838 11397763072 939068 33554432000 4194304 4196468 140737102056000 140593985223536 140594650069634 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 14 0 0 6293624 6294260 33865728 140737102064321 140737102067095 140737102067095 140737102069711 0
[pid=31637/tid=31707] ppid=31634 vsize=11130628 CPUtime=6.04 cores=1,3,5,7,9,11,13,15
/proc/31637/task/31707/stat : 31707 (java) S 31634 31637 27360 0 -1 1077944384 24613 12628 0 0 588 5 7 4 20 0 22 0 12230838 11397763072 939068 33554432000 4194304 4196468 140737102056000 140593984170480 140594650069634 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 7 0 0 6293624 6294260 33865728 140737102064321 140737102067095 140737102067095 140737102069711 0
[pid=31637/tid=31708] ppid=31634 vsize=11130628 CPUtime=2.56 cores=1,3,5,7,9,11,13,15
/proc/31637/task/31708/stat : 31708 (java) S 31634 31637 27360 0 -1 1077944384 25917 12628 0 0 239 6 7 4 20 0 22 0 12230838 11397763072 939068 33554432000 4194304 4196468 140737102056000 140593983117936 140594650069634 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 15 0 0 6293624 6294260 33865728 140737102064321 140737102067095 140737102067095 140737102069711 0
[pid=31637/tid=31709] ppid=31634 vsize=11130628 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/31637/task/31709/stat : 31709 (java) S 31634 31637 27360 0 -1 1077944384 3 12628 0 0 0 0 7 4 20 0 22 0 12230838 11397763072 939068 33554432000 4194304 4196468 140737102056000 140593982065120 140594650068693 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 33865728 140737102064321 140737102067095 140737102067095 140737102069711 0
[pid=31637/tid=31710] ppid=31634 vsize=11130628 CPUtime=1.46 cores=1,3,5,7,9,11,13,15
/proc/31637/task/31710/stat : 31710 (java) S 31634 31637 27360 0 -1 1077944384 2094 12628 0 0 61 74 7 4 20 0 22 0 12230839 11397763072 939068 33554432000 4194304 4196468 140737102056000 140593981012656 140594650069634 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 13 0 0 6293624 6294260 33865728 140737102064321 140737102067095 140737102067095 140737102069711 0
[pid=31637/tid=31942] ppid=31634 vsize=11130628 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/31637/task/31942/stat : 31942 (java) S 31634 31637 27360 0 -1 1077944384 336 12628 0 0 0 0 7 4 20 0 22 0 12455058 11397763072 939068 33554432000 4194304 4196468 140737102056000 140593949331440 140594650068693 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 33865728 140737102064321 140737102067095 140737102067095 140737102069711 0
[pid=31637/tid=31943] ppid=31634 vsize=11130628 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/31637/task/31943/stat : 31943 (java) S 31634 31637 27360 0 -1 1077944384 31 12628 0 0 0 0 7 4 20 0 22 0 12455058 11397763072 939068 33554432000 4194304 4196468 140737102056000 140593948279616 140594650068693 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33865728 140737102064321 140737102067095 140737102067095 140737102069711 0
Current children cumulated CPU time (s) 2408.6
Current children cumulated vsize (KiB) 11130628
Child status: 143
Real time (s): 2243.68
CPU time (s): 2408.97
CPU user time (s): 2399.4
CPU system time (s): 9.57845
CPU usage (%): 107.367
Max. virtual memory (cumulated for all children) (KiB): 11130628
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.4
system time used= 9.57845
maximum resident set size= 3761892
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 513408
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2712
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 87331
involuntary context switches= 128271
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.8353 second user time and 18.8281 second system time
The end