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-4245074-1500697187/watcher-4245074-1500697187 -o /tmp/evaluation-result-4245074-1500697187/solver-4245074-1500697187 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node102-1500683214-16562 --watchdog 2560 java -jar HOME/AbsCon-basic.jar HOME/instance-4245074-1500697187.xml
pid=18724
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.92 1.95 1.98 3/262 18727
/proc/meminfo: memFree=31646516/32770624 swapFree=5944/271860
[pid=18727] ppid=18724 vsize=8349744 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18727/stat : 18727 (java) S 18724 18727 16530 0 -1 1077944320 2088 0 0 0 0 0 0 0 20 0 2 0 4988824 8550137856 2329 33554432000 4194304 4196468 140735771017968 140735771000512 140473735532279 0 0 0 16784584 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 20951040 140735771022531 140735771022660 140735771022660 140735771025359 0
/proc/18727/statm: 2087436 2329 1198 1 0 2076347 0
[pid=18727/tid=18728] ppid=18724 vsize=8349744 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18727/task/18728/stat : 18728 (java) R 18724 18727 16530 0 -1 4202560 888 0 0 0 0 0 0 0 20 0 2 0 4988824 8550137856 2461 33554432000 4194304 4196468 140735771017968 140473739774368 140473727821728 0 4 0 16784584 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20951040 140735771022531 140735771022660 140735771022660 140735771025359 0
[startup+0.100127 s]
/proc/loadavg: 1.92 1.95 1.98 3/262 18727
/proc/meminfo: memFree=31646516/32770624 swapFree=5944/271860
[pid=18727] ppid=18724 vsize=10900456 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/18727/stat : 18727 (java) S 18724 18727 16530 0 -1 1077944320 4760 0 0 0 9 1 0 0 20 0 20 0 4988824 11162066944 5870 33554432000 4194304 4196468 140735771017968 140735771000512 140473735532279 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 20951040 140735771022531 140735771022660 140735771022660 140735771025359 0
/proc/18727/statm: 2725114 5870 2636 1 0 2713552 0
[pid=18727/tid=18728] ppid=18724 vsize=10900456 CPUtime=0.07 cores=1,3,5,7,9,11,13,15
/proc/18727/task/18728/stat : 18728 (java) R 18724 18727 16530 0 -1 4202560 2847 0 0 0 7 0 0 0 20 0 20 0 4988824 11162066944 5870 33554432000 4194304 4196468 140735771017968 140473739770288 140473735544214 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20951040 140735771022531 140735771022660 140735771022660 140735771025359 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10900456
[startup+0.200422 s]
/proc/loadavg: 1.92 1.95 1.98 3/262 18727
/proc/meminfo: memFree=31646516/32770624 swapFree=5944/271860
[pid=18727] ppid=18724 vsize=10900580 CPUtime=0.28 cores=1,3,5,7,9,11,13,15
/proc/18727/stat : 18727 (java) S 18724 18727 16530 0 -1 1077944320 7586 0 0 0 26 2 0 0 20 0 20 0 4988824 11162193920 8908 33554432000 4194304 4196468 140735771017968 140735771000512 140473735532279 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 20951040 140735771022531 140735771022660 140735771022660 140735771025359 0
/proc/18727/statm: 2725145 8908 2869 1 0 2713552 0
[pid=18727/tid=18728] ppid=18724 vsize=10900580 CPUtime=0.18 cores=1,3,5,7,9,11,13,15
/proc/18727/task/18728/stat : 18728 (java) R 18724 18727 16530 0 -1 4202560 4769 0 0 0 17 1 0 0 20 0 20 0 4988824 11162193920 8908 33554432000 4194304 4196468 140735771017968 140473739746096 140473716927482 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20951040 140735771022531 140735771022660 140735771022660 140735771025359 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 10900580
[startup+0.300377 s]
/proc/loadavg: 1.92 1.95 1.98 3/262 18727
/proc/meminfo: memFree=31646516/32770624 swapFree=5944/271860
[pid=18727] ppid=18724 vsize=10902664 CPUtime=0.48 cores=1,3,5,7,9,11,13,15
/proc/18727/stat : 18727 (java) S 18724 18727 16530 0 -1 1077944320 8205 0 0 0 45 3 0 0 20 0 20 0 4988824 11164327936 11066 33554432000 4194304 4196468 140735771017968 140735771000512 140473735532279 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 20951040 140735771022531 140735771022660 140735771022660 140735771025359 0
/proc/18727/statm: 2725666 11066 2994 1 0 2713552 0
[pid=18727/tid=18728] ppid=18724 vsize=10902664 CPUtime=0.28 cores=1,3,5,7,9,11,13,15
/proc/18727/task/18728/stat : 18728 (java) R 18724 18727 16530 0 -1 4202560 5161 0 0 0 26 2 0 0 20 0 20 0 4988824 11164327936 11066 33554432000 4194304 4196468 140735771017968 140473739749696 140473717821650 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20951040 140735771022531 140735771022660 140735771022660 140735771025359 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 10902664
[startup+0.700287 s]
/proc/loadavg: 1.92 1.95 1.98 3/262 18727
/proc/meminfo: memFree=31646516/32770624 swapFree=5944/271860
[pid=18727] ppid=18724 vsize=10971352 CPUtime=1.33 cores=1,3,5,7,9,11,13,15
/proc/18727/stat : 18727 (java) S 18724 18727 16530 0 -1 1077944320 11429 0 0 0 127 6 0 0 20 0 21 0 4988824 11234664448 18596 33554432000 4194304 4196468 140735771017968 140735771000512 140473735532279 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 20951040 140735771022531 140735771022660 140735771022660 140735771025359 0
/proc/18727/statm: 2742838 18596 3100 1 0 2730705 0
[pid=18727/tid=18728] ppid=18724 vsize=10971352 CPUtime=0.3 cores=1,3,5,7,9,11,13,15
/proc/18727/task/18728/stat : 18728 (java) S 18724 18727 16530 0 -1 1077944384 5195 0 0 0 28 2 0 0 20 0 21 0 4988824 11234664448 18596 33554432000 4194304 4196468 140735771017968 140473739775152 140473735542485 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20951040 140735771022531 140735771022660 140735771022660 140735771025359 0
Current children cumulated CPU time (s) 1.33
Current children cumulated vsize (KiB) 10971352
[startup+1.50121 s]
/proc/loadavg: 1.92 1.95 1.98 7/283 18748
/proc/meminfo: memFree=31505508/32770624 swapFree=5944/271888
[pid=18727] ppid=18724 vsize=10973400 CPUtime=4.31 cores=1,3,5,7,9,11,13,15
/proc/18727/stat : 18727 (java) S 18724 18727 16530 0 -1 1077944320 19612 0 0 0 422 9 0 0 20 0 21 0 4988824 11236761600 42470 33554432000 4194304 4196468 140735771017968 140735771000512 140473735532279 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 20951040 140735771022531 140735771022660 140735771022660 140735771025359 0
/proc/18727/statm: 2743350 42470 3145 1 0 2731217 0
[pid=18727/tid=18728] ppid=18724 vsize=10973400 CPUtime=0.3 cores=1,3,5,7,9,11,13,15
/proc/18727/task/18728/stat : 18728 (java) S 18724 18727 16530 0 -1 1077944384 5195 0 0 0 28 2 0 0 20 0 21 0 4988824 11236761600 42470 33554432000 4194304 4196468 140735771017968 140473739775152 140473735542485 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20951040 140735771022531 140735771022660 140735771022660 140735771025359 0
[pid=18727/tid=18730] ppid=18724 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18727/task/18730/stat : 18730 (java) S 18724 18727 16530 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 21 0 4988825 11236761600 42470 33554432000 4194304 4196468 140735771017968 140473688152336 140473735542485 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 20951040 140735771022531 140735771022660 140735771022660 140735771025359 0
[pid=18727/tid=18731] ppid=18724 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18727/task/18731/stat : 18731 (java) S 18724 18727 16530 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 21 0 4988825 11236761600 42470 33554432000 4194304 4196468 140735771017968 140473687099792 140473735542485 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 20951040 140735771022531 140735771022660 140735771022660 140735771025359 0
[pid=18727/tid=18732] ppid=18724 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18727/task/18732/stat : 18732 (java) S 18724 18727 16530 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 21 0 4988825 11236761600 42470 33554432000 4194304 4196468 140735771017968 140473686047248 140473735542485 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 20951040 140735771022531 140735771022660 140735771022660 140735771025359 0
[pid=18727/tid=18733] ppid=18724 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18727/task/18733/stat : 18733 (java) S 18724 18727 16530 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 21 0 4988825 11236761600 42470 33554432000 4194304 4196468 140735771017968 140473684994704 140473735542485 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20951040 140735771022531 140735771022660 140735771022660 140735771025359 0
[pid=18727/tid=18734] ppid=18724 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18727/task/18734/stat : 18734 (java) S 18724 18727 16530 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 4988825 11236761600 42470 33554432000 4194304 4196468 140735771017968 140473338092304 140473735542485 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20951040 140735771022531 140735771022660 140735771022660 140735771025359 0
[pid=18727/tid=18735] ppid=18724 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18727/task/18735/stat : 18735 (java) S 18724 18727 16530 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 4988825 11236761600 42470 33554432000 4194304 4196468 140735771017968 140473337039760 140473735542485 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 20951040 140735771022531 140735771022660 140735771022660 140735771025359 0
[pid=18727/tid=18736] ppid=18724 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18727/task/18736/stat : 18736 (java) S 18724 18727 16530 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 21 0 4988825 11236761600 42470 33554432000 4194304 4196468 140735771017968 140473335987216 140473735542485 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20951040 140735771022531 140735771022660 140735771022660 140735771025359 0
[pid=18727/tid=18737] ppid=18724 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18727/task/18737/stat : 18737 (java) S 18724 18727 16530 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 4988825 11236761600 42470 33554432000 4194304 4196468 140735771017968 140473334934672 140473735542485 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 20951040 140735771022531 140735771022660 140735771022660 140735771025359 0
[pid=18727/tid=18738] ppid=18724 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18727/task/18738/stat : 18738 (java) S 18724 18727 16530 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 21 0 4988827 11236761600 42470 33554432000 4194304 4196468 140735771017968 140472942049264 140473735543426 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20951040 140735771022531 140735771022660 140735771022660 140735771025359 0
[pid=18727/tid=18739] ppid=18724 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18727/task/18739/stat : 18739 (java) S 18724 18727 16530 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 21 0 4988828 11236761600 42470 33554432000 4194304 4196468 140735771017968 140472940995488 140473735542485 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 20951040 140735771022531 140735771022660 140735771022660 140735771025359 0
[pid=18727/tid=18740] ppid=18724 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18727/task/18740/stat : 18740 (java) S 18724 18727 16530 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 21 0 4988828 11236761600 42470 33554432000 4194304 4196468 140735771017968 140472939942896 140473735542485 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 20951040 140735771022531 140735771022660 140735771022660 140735771025359 0
[pid=18727/tid=18741] ppid=18724 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18727/task/18741/stat : 18741 (java) S 18724 18727 16530 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 4988832 11236761600 42470 33554432000 4194304 4196468 140735771017968 140472938891472 140473735550875 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 20951040 140735771022531 140735771022660 140735771022660 140735771025359 0
[pid=18727/tid=18742] ppid=18724 vsize=10973400 CPUtime=0.77 cores=1,3,5,7,9,11,13,15
/proc/18727/task/18742/stat : 18742 (java) S 18724 18727 16530 0 -1 1077944384 2701 0 0 0 77 0 0 0 20 0 21 0 4988832 11236761600 42470 33554432000 4194304 4196468 140735771017968 140472937839088 140473735543426 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20951040 140735771022531 140735771022660 140735771022660 140735771025359 0
[pid=18727/tid=18743] ppid=18724 vsize=10973400 CPUtime=0.65 cores=1,3,5,7,9,11,13,15
/proc/18727/task/18743/stat : 18743 (java) S 18724 18727 16530 0 -1 1077944384 1976 0 0 0 64 1 0 0 20 0 21 0 4988832 11236761600 42470 33554432000 4194304 4196468 140735771017968 140472936786544 140473735543426 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20951040 140735771022531 140735771022660 140735771022660 140735771025359 0
[pid=18727/tid=18744] ppid=18724 vsize=10973400 CPUtime=0.75 cores=1,3,5,7,9,11,13,15
/proc/18727/task/18744/stat : 18744 (java) S 18724 18727 16530 0 -1 1077944384 2598 0 0 0 75 0 0 0 20 0 21 0 4988832 11236761600 42470 33554432000 4194304 4196468 140735771017968 140472935734000 140473735543426 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 20951040 140735771022531 140735771022660 140735771022660 140735771025359 0
[pid=18727/tid=18745] ppid=18724 vsize=10973400 CPUtime=0.64 cores=1,3,5,7,9,11,13,15
/proc/18727/task/18745/stat : 18745 (java) S 18724 18727 16530 0 -1 1077944384 2332 0 0 0 63 1 0 0 20 0 21 0 4988832 11236761600 42470 33554432000 4194304 4196468 140735771017968 140472934681456 140473735543426 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 20951040 140735771022531 140735771022660 140735771022660 140735771025359 0
[pid=18727/tid=18746] ppid=18724 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18727/task/18746/stat : 18746 (java) S 18724 18727 16530 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 4988832 11236761600 42470 33554432000 4194304 4196468 140735771017968 140472933628128 140473735542485 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 20951040 140735771022531 140735771022660 140735771022660 140735771025359 0
[pid=18727/tid=18747] ppid=18724 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18727/task/18747/stat : 18747 (java) S 18724 18727 16530 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 4988833 11236761600 42470 33554432000 4194304 4196468 140735771017968 140472932575664 140473735543426 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 20951040 140735771022531 140735771022660 140735771022660 140735771025359 0
[pid=18727/tid=18748] ppid=18724 vsize=10973400 CPUtime=1.16 cores=1,3,5,7,9,11,13,15
/proc/18727/task/18748/stat : 18748 (java) R 18724 18727 16530 0 -1 4202560 3422 0 0 0 113 3 0 0 20 0 21 0 4988856 11236761600 42470 33554432000 4194304 4196468 140735771017968 140472929383672 140473371011711 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 20951040 140735771022531 140735771022660 140735771022660 140735771025359 0
Current children cumulated CPU time (s) 4.31
Current children cumulated vsize (KiB) 10973400
[startup+3.10078 s]
/proc/loadavg: 2.00 1.96 1.99 3/283 18748
/proc/meminfo: memFree=31479508/32770624 swapFree=5944/271888
[pid=18727] ppid=18724 vsize=10973400 CPUtime=6.26 cores=1,3,5,7,9,11,13,15
/proc/18727/stat : 18727 (java) S 18724 18727 16530 0 -1 1077944320 21647 0 0 0 597 29 0 0 20 0 21 0 4988824 11236761600 57892 33554432000 4194304 4196468 140735771017968 140735771000512 140473735532279 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 20951040 140735771022531 140735771022660 140735771022660 140735771025359 0
/proc/18727/statm: 2743350 57892 3153 1 0 2731217 0
[pid=18727/tid=18728] ppid=18724 vsize=10973400 CPUtime=0.3 cores=1,3,5,7,9,11,13,15
/proc/18727/task/18728/stat : 18728 (java) S 18724 18727 16530 0 -1 1077944384 5195 0 0 0 28 2 0 0 20 0 21 0 4988824 11236761600 57892 33554432000 4194304 4196468 140735771017968 140473739775152 140473735542485 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20951040 140735771022531 140735771022660 140735771022660 140735771025359 0
[pid=18727/tid=18730] ppid=18724 vsize=10973400 CPUtime=0.04 cores=1,3,5,7,9,11,13,15
/proc/18727/task/18730/stat : 18730 (java) R 18724 18727 16530 0 -1 4202560 716 0 0 0 2 2 0 0 20 0 21 0 4988825 11236761600 57892 33554432000 4194304 4196468 140735771017968 140473688152536 140473720557631 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 20951040 140735771022531 140735771022660 140735771022660 140735771025359 0
[pid=18727/tid=18731] ppid=18724 vsize=10973400 CPUtime=0.03 cores=1,3,5,7,9,11,13,15
/proc/18727/task/18731/stat : 18731 (java) R 18724 18727 16530 0 -1 4202560 82 0 0 0 1 2 0 0 20 0 21 0 4988825 11236761600 57892 33554432000 4194304 4196468 140735771017968 140473687099992 140473717158224 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 20951040 140735771022531 140735771022660 140735771022660 140735771025359 0
[pid=18727/tid=18732] ppid=18724 vsize=10973400 CPUtime=0.03 cores=1,3,5,7,9,11,13,15
/proc/18727/task/18732/stat : 18732 (java) R 18724 18727 16530 0 -1 4202560 28 0 0 0 1 2 0 0 20 0 21 0 4988825 11236761600 57892 33554432000 4194304 4196468 140735771017968 140473686047448 140473728628752 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 20951040 140735771022531 140735771022660 140735771022660 140735771025359 0
[pid=18727/tid=18733] ppid=18724 vsize=10973400 CPUtime=0.03 cores=1,3,5,7,9,11,13,15
/proc/18727/task/18733/stat : 18733 (java) R 18724 18727 16530 0 -1 4202560 33 0 0 0 1 2 0 0 20 0 21 0 4988825 11236761600 57892 33554432000 4194304 4196468 140735771017968 140473684994904 140473728628752 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20951040 140735771022531 140735771022660 140735771022660 140735771025359 0
[pid=18727/tid=18734] ppid=18724 vsize=10973400 CPUtime=0.03 cores=1,3,5,7,9,11,13,15
/proc/18727/task/18734/stat : 18734 (java) R 18724 18727 16530 0 -1 4202560 29 0 0 0 1 2 0 0 20 0 21 0 4988825 11236761600 57892 33554432000 4194304 4196468 140735771017968 140473338092504 140473728628752 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20951040 140735771022531 140735771022660 140735771022660 140735771025359 0
[pid=18727/tid=18735] ppid=18724 vsize=10973400 CPUtime=0.03 cores=1,3,5,7,9,11,13,15
/proc/18727/task/18735/stat : 18735 (java) R 18724 18727 16530 0 -1 4202560 35 0 0 0 1 2 0 0 20 0 21 0 4988825 11236761600 57892 33554432000 4194304 4196468 140735771017968 140473337039960 140473728628752 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 20951040 140735771022531 140735771022660 140735771022660 140735771025359 0
[pid=18727/tid=18736] ppid=18724 vsize=10973400 CPUtime=0.03 cores=1,3,5,7,9,11,13,15
/proc/18727/task/18736/stat : 18736 (java) R 18724 18727 16530 0 -1 4202560 309 0 0 0 1 2 0 0 20 0 21 0 4988825 11236761600 57892 33554432000 4194304 4196468 140735771017968 140473335987416 140473728628752 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20951040 140735771022531 140735771022660 140735771022660 140735771025359 0
[pid=18727/tid=18737] ppid=18724 vsize=10973400 CPUtime=0.03 cores=1,3,5,7,9,11,13,15
/proc/18727/task/18737/stat : 18737 (java) R 18724 18727 16530 0 -1 4202560 45 0 0 0 1 2 0 0 20 0 21 0 4988825 11236761600 57892 33554432000 4194304 4196468 140735771017968 140473334934560 140473728628752 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 20951040 140735771022531 140735771022660 140735771022660 140735771025359 0
[pid=18727/tid=18738] ppid=18724 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18727/task/18738/stat : 18738 (java) S 18724 18727 16530 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 21 0 4988827 11236761600 57892 33554432000 4194304 4196468 140735771017968 140472942047776 140473735542485 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20951040 140735771022531 140735771022660 140735771022660 140735771025359 0
[pid=18727/tid=18739] ppid=18724 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18727/task/18739/stat : 18739 (java) S 18724 18727 16530 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 21 0 4988828 11236761600 57892 33554432000 4194304 4196468 140735771017968 140472940995488 140473735542485 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 20951040 140735771022531 140735771022660 140735771022660 140735771025359 0
[pid=18727/tid=18740] ppid=18724 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18727/task/18740/stat : 18740 (java) S 18724 18727 16530 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 21 0 4988828 11236761600 57892 33554432000 4194304 4196468 140735771017968 140472939942896 140473735542485 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 20951040 140735771022531 140735771022660 140735771022660 140735771025359 0
[pid=18727/tid=18741] ppid=18724 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18727/task/18741/stat : 18741 (java) S 18724 18727 16530 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 4988832 11236761600 57892 33554432000 4194304 4196468 140735771017968 140472938891472 140473735550875 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 20951040 140735771022531 140735771022660 140735771022660 140735771025359 0
[pid=18727/tid=18742] ppid=18724 vsize=10973400 CPUtime=0.79 cores=1,3,5,7,9,11,13,15
/proc/18727/task/18742/stat : 18742 (java) S 18724 18727 16530 0 -1 1077944384 2785 0 0 0 79 0 0 0 20 0 21 0 4988832 11236761600 57892 33554432000 4194304 4196468 140735771017968 140472937839088 140473735543426 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20951040 140735771022531 140735771022660 140735771022660 140735771025359 0
[pid=18727/tid=18743] ppid=18724 vsize=10973400 CPUtime=0.67 cores=1,3,5,7,9,11,13,15
/proc/18727/task/18743/stat : 18743 (java) S 18724 18727 16530 0 -1 1077944384 2033 0 0 0 66 1 0 0 20 0 21 0 4988832 11236761600 57892 33554432000 4194304 4196468 140735771017968 140472936786544 140473735543426 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20951040 140735771022531 140735771022660 140735771022660 140735771025359 0
[pid=18727/tid=18744] ppid=18724 vsize=10973400 CPUtime=0.77 cores=1,3,5,7,9,11,13,15
/proc/18727/task/18744/stat : 18744 (java) S 18724 18727 16530 0 -1 1077944384 2639 0 0 0 77 0 0 0 20 0 21 0 4988832 11236761600 57892 33554432000 4194304 4196468 140735771017968 140472935734000 140473735543426 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 20951040 140735771022531 140735771022660 140735771022660 140735771025359 0
[pid=18727/tid=18745] ppid=18724 vsize=10973400 CPUtime=0.65 cores=1,3,5,7,9,11,13,15
/proc/18727/task/18745/stat : 18745 (java) S 18724 18727 16530 0 -1 1077944384 2582 0 0 0 64 1 0 0 20 0 21 0 4988832 11236761600 57892 33554432000 4194304 4196468 140735771017968 140472934681456 140473735543426 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 20951040 140735771022531 140735771022660 140735771022660 140735771025359 0
[pid=18727/tid=18746] ppid=18724 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18727/task/18746/stat : 18746 (java) S 18724 18727 16530 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 4988832 11236761600 57892 33554432000 4194304 4196468 140735771017968 140472933628128 140473735542485 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 20951040 140735771022531 140735771022660 140735771022660 140735771025359 0
[pid=18727/tid=18747] ppid=18724 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18727/task/18747/stat : 18747 (java) S 18724 18727 16530 0 -1 1077944384 31 0 0 0 0 0 0 0 20 0 21 0 4988833 11236761600 57892 33554432000 4194304 4196468 140735771017968 140472932575664 140473735543426 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 20951040 140735771022531 140735771022660 140735771022660 140735771025359 0
[pid=18727/tid=18748] ppid=18724 vsize=10973400 CPUtime=2.72 cores=1,3,5,7,9,11,13,15
/proc/18727/task/18748/stat : 18748 (java) S 18724 18727 16530 0 -1 1077944384 3679 0 0 0 269 3 0 0 20 0 21 0 4988856 11236761600 57892 33554432000 4194304 4196468 140735771017968 140472929385936 140473735542485 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 20951040 140735771022531 140735771022660 140735771022660 140735771025359 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 10973400
[startup+6.30076 s]
/proc/loadavg: 2.00 1.96 1.99 3/283 18748
/proc/meminfo: memFree=31425240/32770624 swapFree=5944/271916
[pid=18727] ppid=18724 vsize=10973400 CPUtime=9.52 cores=1,3,5,7,9,11,13,15
/proc/18727/stat : 18727 (java) S 18724 18727 16530 0 -1 1077944320 22936 0 0 0 922 30 0 0 20 0 21 0 4988824 11236761600 58496 33554432000 4194304 4196468 140735771017968 140735771000512 140473735532279 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 20951040 140735771022531 140735771022660 140735771022660 140735771025359 0
/proc/18727/statm: 2743350 58496 3171 1 0 2731217 0
[pid=18727/tid=18728] ppid=18724 vsize=10973400 CPUtime=0.3 cores=1,3,5,7,9,11,13,15
/proc/18727/task/18728/stat : 18728 (java) S 18724 18727 16530 0 -1 1077944384 5195 0 0 0 28 2 0 0 20 0 21 0 4988824 11236761600 58496 33554432000 4194304 4196468 140735771017968 140473739775152 140473735542485 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20951040 140735771022531 140735771022660 140735771022660 140735771025359 0
[pid=18727/tid=18730] ppid=18724 vsize=10973400 CPUtime=0.04 cores=1,3,5,7,9,11,13,15
/proc/18727/task/18730/stat : 18730 (java) S 18724 18727 16530 0 -1 1077944384 716 0 0 0 2 2 0 0 20 0 21 0 4988825 11236761600 58496 33554432000 4194304 4196468 140735771017968 140473688152336 140473735542485 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 20951040 140735771022531 140735771022660 140735771022660 140735771025359 0
[pid=18727/tid=18731] ppid=18724 vsize=10973400 CPUtime=0.03 cores=1,3,5,7,9,11,13,15
/proc/18727/task/18731/stat : 18731 (java) S 18724 18727 16530 0 -1 1077944384 83 0 0 0 1 2 0 0 20 0 21 0 4988825 11236761600 58496 33554432000 4194304 4196468 140735771017968 140473687099792 140473735542485 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 20951040 140735771022531 140735771022660 140735771022660 140735771025359 0
[pid=18727/tid=18732] ppid=18724 vsize=10973400 CPUtime=0.03 cores=1,3,5,7,9,11,13,15
/proc/18727/task/18732/stat : 18732 (java) S 18724 18727 16530 0 -1 1077944384 29 0 0 0 1 2 0 0 20 0 21 0 4988825 11236761600 58496 33554432000 4194304 4196468 140735771017968 140473686047248 140473735542485 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 20951040 140735771022531 140735771022660 140735771022660 140735771025359 0
[pid=18727/tid=18733] ppid=18724 vsize=10973400 CPUtime=0.03 cores=1,3,5,7,9,11,13,15
/proc/18727/task/18733/stat : 18733 (java) S 18724 18727 16530 0 -1 1077944384 34 0 0 0 1 2 0 0 20 0 21 0 4988825 11236761600 58496 33554432000 4194304 4196468 140735771017968 140473684994704 140473735542485 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20951040 140735771022531 140735771022660 140735771022660 140735771025359 0
[pid=18727/tid=18734] ppid=18724 vsize=10973400 CPUtime=0.04 cores=1,3,5,7,9,11,13,15
/proc/18727/task/18734/stat : 18734 (java) S 18724 18727 16530 0 -1 1077944384 30 0 0 0 2 2 0 0 20 0 21 0 4988825 11236761600 58496 33554432000 4194304 4196468 140735771017968 140473338092304 140473735542485 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20951040 140735771022531 140735771022660 140735771022660 140735771025359 0
[pid=18727/tid=18735] ppid=18724 vsize=10973400 CPUtime=0.03 cores=1,3,5,7,9,11,13,15
/proc/18727/task/18735/stat : 18735 (java) S 18724 18727 16530 0 -1 1077944384 35 0 0 0 1 2 0 0 20 0 21 0 4988825 11236761600 58496 33554432000 4194304 4196468 140735771017968 140473337039760 140473735542485 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20951040 140735771022531 140735771022660 140735771022660 140735771025359 0
[pid=18727/tid=18736] ppid=18724 vsize=10973400 CPUtime=0.03 cores=1,3,5,7,9,11,13,15
/proc/18727/task/18736/stat : 18736 (java) S 18724 18727 16530 0 -1 1077944384 309 0 0 0 1 2 0 0 20 0 21 0 4988825 11236761600 58496 33554432000 4194304 4196468 140735771017968 140473335987216 140473735542485 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20951040 140735771022531 140735771022660 140735771022660 140735771025359 0
[pid=18727/tid=18737] ppid=18724 vsize=10973400 CPUtime=0.03 cores=1,3,5,7,9,11,13,15
/proc/18727/task/18737/stat : 18737 (java) S 18724 18727 16530 0 -1 1077944384 45 0 0 0 1 2 0 0 20 0 21 0 4988825 11236761600 58496 33554432000 4194304 4196468 140735771017968 140473334934672 140473735542485 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20951040 140735771022531 140735771022660 140735771022660 140735771025359 0
[pid=18727/tid=18738] ppid=18724 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18727/task/18738/stat : 18738 (java) S 18724 18727 16530 0 -1 1077944384 295 0 0 0 0 0 0 0 20 0 21 0 4988827 11236761600 58496 33554432000 4194304 4196468 140735771017968 140472942049264 140473735543426 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20951040 140735771022531 140735771022660 140735771022660 140735771025359 0
[pid=18727/tid=18739] ppid=18724 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15
################
# More data... #
################
/proc/18727/task/18747/stat : 18747 (java) S 18724 18727 16530 0 -1 1077944384 893 0 0 0 20 30 0 0 20 0 21 0 4988833 11236761600 51726 33554432000 4194304 4196468 140735771017968 140472932575664 140473735543426 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20951040 140735771022531 140735771022660 140735771022660 140735771025359 0
[pid=18727/tid=18748] ppid=18724 vsize=10973400 CPUtime=2319.39 cores=1,3,5,7,9,11,13,15
/proc/18727/task/18748/stat : 18748 (java) R 18724 18727 16530 0 -1 4202560 14165 0 0 0 231934 5 0 0 20 0 21 0 4988856 11236761600 51726 33554432000 4194304 4196468 140735771017968 140472929385824 140473371142530 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20951040 140735771022531 140735771022660 140735771022660 140735771025359 0
Current children cumulated CPU time (s) 2336.25
Current children cumulated vsize (KiB) 10973400
[startup+2382.3 s]
/proc/loadavg: 1.57 1.60 1.68 3/283 19005
/proc/meminfo: memFree=31431236/32770624 swapFree=5944/274376
[pid=18727] ppid=18724 vsize=10973400 CPUtime=2396.49 cores=1,3,5,7,9,11,13,15
/proc/18727/stat : 18727 (java) S 18724 18727 16530 0 -1 1077944320 61469 0 0 0 239511 138 0 0 20 0 21 0 4988824 11236761600 51726 33554432000 4194304 4196468 140735771017968 140735771000512 140473735532279 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 20951040 140735771022531 140735771022660 140735771022660 140735771025359 0
/proc/18727/statm: 2743350 51726 3174 1 0 2731217 0
[pid=18727/tid=18728] ppid=18724 vsize=10973400 CPUtime=0.3 cores=1,3,5,7,9,11,13,15
/proc/18727/task/18728/stat : 18728 (java) S 18724 18727 16530 0 -1 1077944384 5195 0 0 0 28 2 0 0 20 0 21 0 4988824 11236761600 51726 33554432000 4194304 4196468 140735771017968 140473739775152 140473735542485 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20951040 140735771022531 140735771022660 140735771022660 140735771025359 0
[pid=18727/tid=18730] ppid=18724 vsize=10973400 CPUtime=1.58 cores=1,3,5,7,9,11,13,15
/proc/18727/task/18730/stat : 18730 (java) S 18724 18727 16530 0 -1 1077944384 2535 0 0 0 148 10 0 0 20 0 21 0 4988825 11236761600 51726 33554432000 4194304 4196468 140735771017968 140473688152336 140473735542485 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20951040 140735771022531 140735771022660 140735771022660 140735771025359 0
[pid=18727/tid=18731] ppid=18724 vsize=10973400 CPUtime=1.58 cores=1,3,5,7,9,11,13,15
/proc/18727/task/18731/stat : 18731 (java) S 18724 18727 16530 0 -1 1077944384 2915 0 0 0 146 12 0 0 20 0 21 0 4988825 11236761600 51726 33554432000 4194304 4196468 140735771017968 140473687099792 140473735542485 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20951040 140735771022531 140735771022660 140735771022660 140735771025359 0
[pid=18727/tid=18732] ppid=18724 vsize=10973400 CPUtime=1.58 cores=1,3,5,7,9,11,13,15
/proc/18727/task/18732/stat : 18732 (java) S 18724 18727 16530 0 -1 1077944384 1400 0 0 0 144 14 0 0 20 0 21 0 4988825 11236761600 51726 33554432000 4194304 4196468 140735771017968 140473686047248 140473735542485 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 20951040 140735771022531 140735771022660 140735771022660 140735771025359 0
[pid=18727/tid=18733] ppid=18724 vsize=10973400 CPUtime=1.63 cores=1,3,5,7,9,11,13,15
/proc/18727/task/18733/stat : 18733 (java) S 18724 18727 16530 0 -1 1077944384 1369 0 0 0 151 12 0 0 20 0 21 0 4988825 11236761600 51726 33554432000 4194304 4196468 140735771017968 140473684994704 140473735542485 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20951040 140735771022531 140735771022660 140735771022660 140735771025359 0
[pid=18727/tid=18734] ppid=18724 vsize=10973400 CPUtime=1.59 cores=1,3,5,7,9,11,13,15
/proc/18727/task/18734/stat : 18734 (java) S 18724 18727 16530 0 -1 1077944384 1934 0 0 0 148 11 0 0 20 0 21 0 4988825 11236761600 51726 33554432000 4194304 4196468 140735771017968 140473338092304 140473735542485 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 20951040 140735771022531 140735771022660 140735771022660 140735771025359 0
[pid=18727/tid=18735] ppid=18724 vsize=10973400 CPUtime=1.57 cores=1,3,5,7,9,11,13,15
/proc/18727/task/18735/stat : 18735 (java) S 18724 18727 16530 0 -1 1077944384 2707 0 0 0 145 12 0 0 20 0 21 0 4988825 11236761600 51726 33554432000 4194304 4196468 140735771017968 140473337039760 140473735542485 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 20951040 140735771022531 140735771022660 140735771022660 140735771025359 0
[pid=18727/tid=18736] ppid=18724 vsize=10973400 CPUtime=1.55 cores=1,3,5,7,9,11,13,15
/proc/18727/task/18736/stat : 18736 (java) S 18724 18727 16530 0 -1 1077944384 2257 0 0 0 143 12 0 0 20 0 21 0 4988825 11236761600 51726 33554432000 4194304 4196468 140735771017968 140473335987216 140473735542485 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20951040 140735771022531 140735771022660 140735771022660 140735771025359 0
[pid=18727/tid=18737] ppid=18724 vsize=10973400 CPUtime=1.61 cores=1,3,5,7,9,11,13,15
/proc/18727/task/18737/stat : 18737 (java) S 18724 18727 16530 0 -1 1077944384 2269 0 0 0 148 13 0 0 20 0 21 0 4988825 11236761600 51726 33554432000 4194304 4196468 140735771017968 140473334934672 140473735542485 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 20951040 140735771022531 140735771022660 140735771022660 140735771025359 0
[pid=18727/tid=18738] ppid=18724 vsize=10973400 CPUtime=0.47 cores=1,3,5,7,9,11,13,15
/proc/18727/task/18738/stat : 18738 (java) S 18724 18727 16530 0 -1 1077944384 5418 0 0 0 42 5 0 0 20 0 21 0 4988827 11236761600 51726 33554432000 4194304 4196468 140735771017968 140472942049264 140473735543426 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20951040 140735771022531 140735771022660 140735771022660 140735771025359 0
[pid=18727/tid=18739] ppid=18724 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18727/task/18739/stat : 18739 (java) S 18724 18727 16530 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 21 0 4988828 11236761600 51726 33554432000 4194304 4196468 140735771017968 140472940995488 140473735542485 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 20951040 140735771022531 140735771022660 140735771022660 140735771025359 0
[pid=18727/tid=18740] ppid=18724 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18727/task/18740/stat : 18740 (java) S 18724 18727 16530 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 21 0 4988828 11236761600 51726 33554432000 4194304 4196468 140735771017968 140472939942896 140473735542485 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20951040 140735771022531 140735771022660 140735771022660 140735771025359 0
[pid=18727/tid=18741] ppid=18724 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18727/task/18741/stat : 18741 (java) S 18724 18727 16530 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 4988832 11236761600 51726 33554432000 4194304 4196468 140735771017968 140472938891472 140473735550875 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 20951040 140735771022531 140735771022660 140735771022660 140735771025359 0
[pid=18727/tid=18742] ppid=18724 vsize=10973400 CPUtime=0.81 cores=1,3,5,7,9,11,13,15
/proc/18727/task/18742/stat : 18742 (java) S 18724 18727 16530 0 -1 1077944384 3837 0 0 0 81 0 0 0 20 0 21 0 4988832 11236761600 51726 33554432000 4194304 4196468 140735771017968 140472937839088 140473735543426 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20951040 140735771022531 140735771022660 140735771022660 140735771025359 0
[pid=18727/tid=18743] ppid=18724 vsize=10973400 CPUtime=0.72 cores=1,3,5,7,9,11,13,15
/proc/18727/task/18743/stat : 18743 (java) S 18724 18727 16530 0 -1 1077944384 2840 0 0 0 71 1 0 0 20 0 21 0 4988832 11236761600 51726 33554432000 4194304 4196468 140735771017968 140472936786544 140473735543426 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 20951040 140735771022531 140735771022660 140735771022660 140735771025359 0
[pid=18727/tid=18744] ppid=18724 vsize=10973400 CPUtime=0.81 cores=1,3,5,7,9,11,13,15
/proc/18727/task/18744/stat : 18744 (java) S 18724 18727 16530 0 -1 1077944384 3898 0 0 0 80 1 0 0 20 0 21 0 4988832 11236761600 51726 33554432000 4194304 4196468 140735771017968 140472935734000 140473735543426 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20951040 140735771022531 140735771022660 140735771022660 140735771025359 0
[pid=18727/tid=18745] ppid=18724 vsize=10973400 CPUtime=0.68 cores=1,3,5,7,9,11,13,15
/proc/18727/task/18745/stat : 18745 (java) S 18724 18727 16530 0 -1 1077944384 6265 0 0 0 67 1 0 0 20 0 21 0 4988832 11236761600 51726 33554432000 4194304 4196468 140735771017968 140472934681456 140473735543426 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 20951040 140735771022531 140735771022660 140735771022660 140735771025359 0
[pid=18727/tid=18746] ppid=18724 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18727/task/18746/stat : 18746 (java) S 18724 18727 16530 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 4988832 11236761600 51726 33554432000 4194304 4196468 140735771017968 140472933628128 140473735542485 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 20951040 140735771022531 140735771022660 140735771022660 140735771025359 0
[pid=18727/tid=18747] ppid=18724 vsize=10973400 CPUtime=0.51 cores=1,3,5,7,9,11,13,15
/proc/18727/task/18747/stat : 18747 (java) S 18724 18727 16530 0 -1 1077944384 921 0 0 0 20 31 0 0 20 0 21 0 4988833 11236761600 51726 33554432000 4194304 4196468 140735771017968 140472932575664 140473735543426 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20951040 140735771022531 140735771022660 140735771022660 140735771025359 0
[pid=18727/tid=18748] ppid=18724 vsize=10973400 CPUtime=2379.33 cores=1,3,5,7,9,11,13,15
/proc/18727/task/18748/stat : 18748 (java) R 18724 18727 16530 0 -1 4202560 14288 0 0 0 237928 5 0 0 20 0 21 0 4988856 11236761600 51726 33554432000 4194304 4196468 140735771017968 140472929386160 140473370363637 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20951040 140735771022531 140735771022660 140735771022660 140735771025359 0
Current children cumulated CPU time (s) 2396.49
Current children cumulated vsize (KiB) 10973400
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2385.9 s]
/proc/loadavg: 1.61 1.61 1.68 3/283 19005
/proc/meminfo: memFree=31431244/32770624 swapFree=5944/274380
[pid=18727] ppid=18724 vsize=10973400 CPUtime=2400.09 cores=1,3,5,7,9,11,13,15
/proc/18727/stat : 18727 (java) S 18724 18727 16530 0 -1 1077944320 61469 0 0 0 239871 138 0 0 20 0 21 0 4988824 11236761600 51726 33554432000 4194304 4196468 140735771017968 140735771000512 140473735532279 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 20951040 140735771022531 140735771022660 140735771022660 140735771025359 0
/proc/18727/statm: 2743350 51726 3174 1 0 2731217 0
[pid=18727/tid=18728] ppid=18724 vsize=10973400 CPUtime=0.3 cores=1,3,5,7,9,11,13,15
/proc/18727/task/18728/stat : 18728 (java) S 18724 18727 16530 0 -1 1077944384 5195 0 0 0 28 2 0 0 20 0 21 0 4988824 11236761600 51726 33554432000 4194304 4196468 140735771017968 140473739775152 140473735542485 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20951040 140735771022531 140735771022660 140735771022660 140735771025359 0
[pid=18727/tid=18730] ppid=18724 vsize=10973400 CPUtime=1.58 cores=1,3,5,7,9,11,13,15
/proc/18727/task/18730/stat : 18730 (java) S 18724 18727 16530 0 -1 1077944384 2535 0 0 0 148 10 0 0 20 0 21 0 4988825 11236761600 51726 33554432000 4194304 4196468 140735771017968 140473688152336 140473735542485 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20951040 140735771022531 140735771022660 140735771022660 140735771025359 0
[pid=18727/tid=18731] ppid=18724 vsize=10973400 CPUtime=1.58 cores=1,3,5,7,9,11,13,15
/proc/18727/task/18731/stat : 18731 (java) S 18724 18727 16530 0 -1 1077944384 2915 0 0 0 146 12 0 0 20 0 21 0 4988825 11236761600 51726 33554432000 4194304 4196468 140735771017968 140473687099792 140473735542485 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20951040 140735771022531 140735771022660 140735771022660 140735771025359 0
[pid=18727/tid=18732] ppid=18724 vsize=10973400 CPUtime=1.58 cores=1,3,5,7,9,11,13,15
/proc/18727/task/18732/stat : 18732 (java) S 18724 18727 16530 0 -1 1077944384 1400 0 0 0 144 14 0 0 20 0 21 0 4988825 11236761600 51726 33554432000 4194304 4196468 140735771017968 140473686047248 140473735542485 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 20951040 140735771022531 140735771022660 140735771022660 140735771025359 0
[pid=18727/tid=18733] ppid=18724 vsize=10973400 CPUtime=1.63 cores=1,3,5,7,9,11,13,15
/proc/18727/task/18733/stat : 18733 (java) S 18724 18727 16530 0 -1 1077944384 1369 0 0 0 151 12 0 0 20 0 21 0 4988825 11236761600 51726 33554432000 4194304 4196468 140735771017968 140473684994704 140473735542485 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20951040 140735771022531 140735771022660 140735771022660 140735771025359 0
[pid=18727/tid=18734] ppid=18724 vsize=10973400 CPUtime=1.59 cores=1,3,5,7,9,11,13,15
/proc/18727/task/18734/stat : 18734 (java) S 18724 18727 16530 0 -1 1077944384 1934 0 0 0 148 11 0 0 20 0 21 0 4988825 11236761600 51726 33554432000 4194304 4196468 140735771017968 140473338092304 140473735542485 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 20951040 140735771022531 140735771022660 140735771022660 140735771025359 0
[pid=18727/tid=18735] ppid=18724 vsize=10973400 CPUtime=1.57 cores=1,3,5,7,9,11,13,15
/proc/18727/task/18735/stat : 18735 (java) S 18724 18727 16530 0 -1 1077944384 2707 0 0 0 145 12 0 0 20 0 21 0 4988825 11236761600 51726 33554432000 4194304 4196468 140735771017968 140473337039760 140473735542485 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 20951040 140735771022531 140735771022660 140735771022660 140735771025359 0
[pid=18727/tid=18736] ppid=18724 vsize=10973400 CPUtime=1.55 cores=1,3,5,7,9,11,13,15
/proc/18727/task/18736/stat : 18736 (java) S 18724 18727 16530 0 -1 1077944384 2257 0 0 0 143 12 0 0 20 0 21 0 4988825 11236761600 51726 33554432000 4194304 4196468 140735771017968 140473335987216 140473735542485 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20951040 140735771022531 140735771022660 140735771022660 140735771025359 0
[pid=18727/tid=18737] ppid=18724 vsize=10973400 CPUtime=1.61 cores=1,3,5,7,9,11,13,15
/proc/18727/task/18737/stat : 18737 (java) S 18724 18727 16530 0 -1 1077944384 2269 0 0 0 148 13 0 0 20 0 21 0 4988825 11236761600 51726 33554432000 4194304 4196468 140735771017968 140473334934672 140473735542485 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 20951040 140735771022531 140735771022660 140735771022660 140735771025359 0
[pid=18727/tid=18738] ppid=18724 vsize=10973400 CPUtime=0.47 cores=1,3,5,7,9,11,13,15
/proc/18727/task/18738/stat : 18738 (java) S 18724 18727 16530 0 -1 1077944384 5418 0 0 0 42 5 0 0 20 0 21 0 4988827 11236761600 51726 33554432000 4194304 4196468 140735771017968 140472942049264 140473735543426 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20951040 140735771022531 140735771022660 140735771022660 140735771025359 0
[pid=18727/tid=18739] ppid=18724 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18727/task/18739/stat : 18739 (java) S 18724 18727 16530 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 21 0 4988828 11236761600 51726 33554432000 4194304 4196468 140735771017968 140472940995488 140473735542485 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 20951040 140735771022531 140735771022660 140735771022660 140735771025359 0
[pid=18727/tid=18740] ppid=18724 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18727/task/18740/stat : 18740 (java) S 18724 18727 16530 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 21 0 4988828 11236761600 51726 33554432000 4194304 4196468 140735771017968 140472939942896 140473735542485 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20951040 140735771022531 140735771022660 140735771022660 140735771025359 0
[pid=18727/tid=18741] ppid=18724 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18727/task/18741/stat : 18741 (java) S 18724 18727 16530 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 4988832 11236761600 51726 33554432000 4194304 4196468 140735771017968 140472938891472 140473735550875 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 20951040 140735771022531 140735771022660 140735771022660 140735771025359 0
[pid=18727/tid=18742] ppid=18724 vsize=10973400 CPUtime=0.81 cores=1,3,5,7,9,11,13,15
/proc/18727/task/18742/stat : 18742 (java) S 18724 18727 16530 0 -1 1077944384 3837 0 0 0 81 0 0 0 20 0 21 0 4988832 11236761600 51726 33554432000 4194304 4196468 140735771017968 140472937839088 140473735543426 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20951040 140735771022531 140735771022660 140735771022660 140735771025359 0
[pid=18727/tid=18743] ppid=18724 vsize=10973400 CPUtime=0.72 cores=1,3,5,7,9,11,13,15
/proc/18727/task/18743/stat : 18743 (java) S 18724 18727 16530 0 -1 1077944384 2840 0 0 0 71 1 0 0 20 0 21 0 4988832 11236761600 51726 33554432000 4194304 4196468 140735771017968 140472936786544 140473735543426 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 20951040 140735771022531 140735771022660 140735771022660 140735771025359 0
[pid=18727/tid=18744] ppid=18724 vsize=10973400 CPUtime=0.81 cores=1,3,5,7,9,11,13,15
/proc/18727/task/18744/stat : 18744 (java) S 18724 18727 16530 0 -1 1077944384 3898 0 0 0 80 1 0 0 20 0 21 0 4988832 11236761600 51726 33554432000 4194304 4196468 140735771017968 140472935734000 140473735543426 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20951040 140735771022531 140735771022660 140735771022660 140735771025359 0
[pid=18727/tid=18745] ppid=18724 vsize=10973400 CPUtime=0.68 cores=1,3,5,7,9,11,13,15
/proc/18727/task/18745/stat : 18745 (java) S 18724 18727 16530 0 -1 1077944384 6265 0 0 0 67 1 0 0 20 0 21 0 4988832 11236761600 51726 33554432000 4194304 4196468 140735771017968 140472934681456 140473735543426 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 20951040 140735771022531 140735771022660 140735771022660 140735771025359 0
[pid=18727/tid=18746] ppid=18724 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18727/task/18746/stat : 18746 (java) S 18724 18727 16530 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 4988832 11236761600 51726 33554432000 4194304 4196468 140735771017968 140472933628128 140473735542485 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 20951040 140735771022531 140735771022660 140735771022660 140735771025359 0
[pid=18727/tid=18747] ppid=18724 vsize=10973400 CPUtime=0.51 cores=1,3,5,7,9,11,13,15
/proc/18727/task/18747/stat : 18747 (java) S 18724 18727 16530 0 -1 1077944384 921 0 0 0 20 31 0 0 20 0 21 0 4988833 11236761600 51726 33554432000 4194304 4196468 140735771017968 140472932575664 140473735543426 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20951040 140735771022531 140735771022660 140735771022660 140735771025359 0
[pid=18727/tid=18748] ppid=18724 vsize=10973400 CPUtime=2382.94 cores=1,3,5,7,9,11,13,15
/proc/18727/task/18748/stat : 18748 (java) R 18724 18727 16530 0 -1 4202560 14288 0 0 0 238289 5 0 0 20 0 21 0 4988856 11236761600 51726 33554432000 4194304 4196468 140735771017968 140472929386160 140473370801415 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20951040 140735771022531 140735771022660 140735771022660 140735771025359 0
Current children cumulated CPU time (s) 2400.09
Current children cumulated vsize (KiB) 10973400
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 18727 sig 9
??? kill -18727 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2385.9 s]
/proc/loadavg: 1.61 1.61 1.68 3/283 19005
/proc/meminfo: memFree=31431244/32770624 swapFree=5944/274380
[pid=18727] ppid=18724 vsize=10973400 CPUtime=2400.09 cores=1,3,5,7,9,11,13,15
/proc/18727/stat : 18727 (java) S 18724 18727 16530 0 -1 1077944320 61469 0 0 0 239871 138 0 0 20 0 21 0 4988824 11236761600 51726 33554432000 4194304 4196468 140735771017968 140735771000512 140473735532279 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 20951040 140735771022531 140735771022660 140735771022660 140735771025359 0
/proc/18727/statm: 2743350 51726 3174 1 0 2731217 0
[pid=18727/tid=18728] ppid=18724 vsize=10973400 CPUtime=0.3 cores=1,3,5,7,9,11,13,15
/proc/18727/task/18728/stat : 18728 (java) S 18724 18727 16530 0 -1 1077944384 5195 0 0 0 28 2 0 0 20 0 21 0 4988824 11236761600 51726 33554432000 4194304 4196468 140735771017968 140473739775152 140473735542485 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20951040 140735771022531 140735771022660 140735771022660 140735771025359 0
[pid=18727/tid=18730] ppid=18724 vsize=10973400 CPUtime=1.58 cores=1,3,5,7,9,11,13,15
/proc/18727/task/18730/stat : 18730 (java) S 18724 18727 16530 0 -1 1077944384 2535 0 0 0 148 10 0 0 20 0 21 0 4988825 11236761600 51726 33554432000 4194304 4196468 140735771017968 140473688152336 140473735542485 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20951040 140735771022531 140735771022660 140735771022660 140735771025359 0
[pid=18727/tid=18731] ppid=18724 vsize=10973400 CPUtime=1.58 cores=1,3,5,7,9,11,13,15
/proc/18727/task/18731/stat : 18731 (java) S 18724 18727 16530 0 -1 1077944384 2915 0 0 0 146 12 0 0 20 0 21 0 4988825 11236761600 51726 33554432000 4194304 4196468 140735771017968 140473687099792 140473735542485 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20951040 140735771022531 140735771022660 140735771022660 140735771025359 0
[pid=18727/tid=18732] ppid=18724 vsize=10973400 CPUtime=1.58 cores=1,3,5,7,9,11,13,15
/proc/18727/task/18732/stat : 18732 (java) S 18724 18727 16530 0 -1 1077944384 1400 0 0 0 144 14 0 0 20 0 21 0 4988825 11236761600 51726 33554432000 4194304 4196468 140735771017968 140473686047248 140473735542485 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 20951040 140735771022531 140735771022660 140735771022660 140735771025359 0
[pid=18727/tid=18733] ppid=18724 vsize=10973400 CPUtime=1.63 cores=1,3,5,7,9,11,13,15
/proc/18727/task/18733/stat : 18733 (java) S 18724 18727 16530 0 -1 1077944384 1369 0 0 0 151 12 0 0 20 0 21 0 4988825 11236761600 51726 33554432000 4194304 4196468 140735771017968 140473684994704 140473735542485 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20951040 140735771022531 140735771022660 140735771022660 140735771025359 0
[pid=18727/tid=18734] ppid=18724 vsize=10973400 CPUtime=1.59 cores=1,3,5,7,9,11,13,15
/proc/18727/task/18734/stat : 18734 (java) S 18724 18727 16530 0 -1 1077944384 1934 0 0 0 148 11 0 0 20 0 21 0 4988825 11236761600 51726 33554432000 4194304 4196468 140735771017968 140473338092304 140473735542485 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 20951040 140735771022531 140735771022660 140735771022660 140735771025359 0
[pid=18727/tid=18735] ppid=18724 vsize=10973400 CPUtime=1.57 cores=1,3,5,7,9,11,13,15
/proc/18727/task/18735/stat : 18735 (java) S 18724 18727 16530 0 -1 1077944384 2707 0 0 0 145 12 0 0 20 0 21 0 4988825 11236761600 51726 33554432000 4194304 4196468 140735771017968 140473337039760 140473735542485 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 20951040 140735771022531 140735771022660 140735771022660 140735771025359 0
[pid=18727/tid=18736] ppid=18724 vsize=10973400 CPUtime=1.55 cores=1,3,5,7,9,11,13,15
/proc/18727/task/18736/stat : 18736 (java) S 18724 18727 16530 0 -1 1077944384 2257 0 0 0 143 12 0 0 20 0 21 0 4988825 11236761600 51726 33554432000 4194304 4196468 140735771017968 140473335987216 140473735542485 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20951040 140735771022531 140735771022660 140735771022660 140735771025359 0
[pid=18727/tid=18737] ppid=18724 vsize=10973400 CPUtime=1.61 cores=1,3,5,7,9,11,13,15
/proc/18727/task/18737/stat : 18737 (java) S 18724 18727 16530 0 -1 1077944384 2269 0 0 0 148 13 0 0 20 0 21 0 4988825 11236761600 51726 33554432000 4194304 4196468 140735771017968 140473334934672 140473735542485 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 20951040 140735771022531 140735771022660 140735771022660 140735771025359 0
[pid=18727/tid=18738] ppid=18724 vsize=10973400 CPUtime=0.47 cores=1,3,5,7,9,11,13,15
/proc/18727/task/18738/stat : 18738 (java) S 18724 18727 16530 0 -1 1077944384 5418 0 0 0 42 5 0 0 20 0 21 0 4988827 11236761600 51726 33554432000 4194304 4196468 140735771017968 140472942049264 140473735543426 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20951040 140735771022531 140735771022660 140735771022660 140735771025359 0
[pid=18727/tid=18739] ppid=18724 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18727/task/18739/stat : 18739 (java) S 18724 18727 16530 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 21 0 4988828 11236761600 51726 33554432000 4194304 4196468 140735771017968 140472940995488 140473735542485 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 20951040 140735771022531 140735771022660 140735771022660 140735771025359 0
[pid=18727/tid=18740] ppid=18724 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18727/task/18740/stat : 18740 (java) S 18724 18727 16530 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 21 0 4988828 11236761600 51726 33554432000 4194304 4196468 140735771017968 140472939942896 140473735542485 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20951040 140735771022531 140735771022660 140735771022660 140735771025359 0
[pid=18727/tid=18741] ppid=18724 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18727/task/18741/stat : 18741 (java) S 18724 18727 16530 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 4988832 11236761600 51726 33554432000 4194304 4196468 140735771017968 140472938891472 140473735550875 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 20951040 140735771022531 140735771022660 140735771022660 140735771025359 0
[pid=18727/tid=18742] ppid=18724 vsize=10973400 CPUtime=0.81 cores=1,3,5,7,9,11,13,15
/proc/18727/task/18742/stat : 18742 (java) S 18724 18727 16530 0 -1 1077944384 3837 0 0 0 81 0 0 0 20 0 21 0 4988832 11236761600 51726 33554432000 4194304 4196468 140735771017968 140472937839088 140473735543426 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20951040 140735771022531 140735771022660 140735771022660 140735771025359 0
[pid=18727/tid=18743] ppid=18724 vsize=10973400 CPUtime=0.72 cores=1,3,5,7,9,11,13,15
/proc/18727/task/18743/stat : 18743 (java) S 18724 18727 16530 0 -1 1077944384 2840 0 0 0 71 1 0 0 20 0 21 0 4988832 11236761600 51726 33554432000 4194304 4196468 140735771017968 140472936786544 140473735543426 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 20951040 140735771022531 140735771022660 140735771022660 140735771025359 0
[pid=18727/tid=18744] ppid=18724 vsize=10973400 CPUtime=0.81 cores=1,3,5,7,9,11,13,15
/proc/18727/task/18744/stat : 18744 (java) S 18724 18727 16530 0 -1 1077944384 3898 0 0 0 80 1 0 0 20 0 21 0 4988832 11236761600 51726 33554432000 4194304 4196468 140735771017968 140472935734000 140473735543426 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20951040 140735771022531 140735771022660 140735771022660 140735771025359 0
[pid=18727/tid=18745] ppid=18724 vsize=10973400 CPUtime=0.68 cores=1,3,5,7,9,11,13,15
/proc/18727/task/18745/stat : 18745 (java) S 18724 18727 16530 0 -1 1077944384 6265 0 0 0 67 1 0 0 20 0 21 0 4988832 11236761600 51726 33554432000 4194304 4196468 140735771017968 140472934681456 140473735543426 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 20951040 140735771022531 140735771022660 140735771022660 140735771025359 0
[pid=18727/tid=18746] ppid=18724 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18727/task/18746/stat : 18746 (java) S 18724 18727 16530 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 4988832 11236761600 51726 33554432000 4194304 4196468 140735771017968 140472933628128 140473735542485 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 20951040 140735771022531 140735771022660 140735771022660 140735771025359 0
[pid=18727/tid=18747] ppid=18724 vsize=10973400 CPUtime=0.51 cores=1,3,5,7,9,11,13,15
/proc/18727/task/18747/stat : 18747 (java) S 18724 18727 16530 0 -1 1077944384 921 0 0 0 20 31 0 0 20 0 21 0 4988833 11236761600 51726 33554432000 4194304 4196468 140735771017968 140472932575664 140473735543426 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20951040 140735771022531 140735771022660 140735771022660 140735771025359 0
[pid=18727/tid=18748] ppid=18724 vsize=10973400 CPUtime=2382.94 cores=1,3,5,7,9,11,13,15
/proc/18727/task/18748/stat : 18748 (java) R 18724 18727 16530 0 -1 4202560 14288 0 0 0 238289 5 0 0 20 0 21 0 4988856 11236761600 51726 33554432000 4194304 4196468 140735771017968 140472929386160 140473370801415 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20951040 140735771022531 140735771022660 140735771022660 140735771025359 0
Current children cumulated CPU time (s) 2400.09
Current children cumulated vsize (KiB) 10973400
Child status: 143
Real time (s): 2385.92
CPU time (s): 2400.12
CPU user time (s): 2398.73
CPU system time (s): 1.38833
CPU usage (%): 100.595
Max. virtual memory (cumulated for all children) (KiB): 10973400
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2398.73
system time used= 1.38833
maximum resident set size= 286824
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 61678
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2696
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 71250
involuntary context switches= 129960
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.97 second user time and 17.2047 second system time
The end