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-4247241-1500689778/watcher-4247241-1500689778 -o /tmp/evaluation-result-4247241-1500689778/solver-4247241-1500689778 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node126-1500683384-8602 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 1968354764 HOME/instance-4247241-1500689778.xml
pid=25913
running on 8 cores: 0,2,4,6,8,10,12,14
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: 9.07 9.10 10.00 3/270 25916
/proc/meminfo: memFree=27491672/32770624 swapFree=5884/278036
[pid=25916] ppid=25913 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/25916/stat : 25916 (xcsp3-exec) S 25913 25916 8571 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 4245599 9740288 345 33554432000 4194304 5098028 140722941844192 140722941842296 139834316612220 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 25292800 140722941846670 140722941846880 140722941846880 140722941849579 0
/proc/25916/statm: 2378 345 289 221 0 87 0
[startup+0.100139 s]
/proc/loadavg: 9.07 9.10 10.00 3/270 25916
/proc/meminfo: memFree=27491672/32770624 swapFree=5884/278036
[pid=25916] ppid=25913 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/25916/stat : 25916 (xcsp3-exec) S 25913 25916 8571 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 4245599 9740288 345 33554432000 4194304 5098028 140722941844192 140722941842296 139834316612220 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 25292800 140722941846670 140722941846880 140722941846880 140722941849579 0
/proc/25916/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200406 s]
/proc/loadavg: 9.07 9.10 10.00 3/270 25916
/proc/meminfo: memFree=27491672/32770624 swapFree=5884/278036
[pid=25916] ppid=25913 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/25916/stat : 25916 (xcsp3-exec) S 25913 25916 8571 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 4245599 9740288 345 33554432000 4194304 5098028 140722941844192 140722941842296 139834316612220 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 25292800 140722941846670 140722941846880 140722941846880 140722941849579 0
/proc/25916/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300308 s]
/proc/loadavg: 9.07 9.10 10.00 3/270 25916
/proc/meminfo: memFree=27491672/32770624 swapFree=5884/278036
[pid=25916] ppid=25913 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/25916/stat : 25916 (xcsp3-exec) S 25913 25916 8571 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 4245599 9740288 345 33554432000 4194304 5098028 140722941844192 140722941842296 139834316612220 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 25292800 140722941846670 140722941846880 140722941846880 140722941849579 0
/proc/25916/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.700186 s]
/proc/loadavg: 9.07 9.10 10.00 3/270 25916
/proc/meminfo: memFree=27491672/32770624 swapFree=5884/278036
[pid=25916] ppid=25913 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/25916/stat : 25916 (xcsp3-exec) S 25913 25916 8571 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 4245599 9740288 345 33554432000 4194304 5098028 140722941844192 140722941842296 139834316612220 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 25292800 140722941846670 140722941846880 140722941846880 140722941849579 0
/proc/25916/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50155 s]
/proc/loadavg: 9.07 9.10 10.00 13/299 25945
/proc/meminfo: memFree=27376120/32770624 swapFree=5884/278064
[pid=25916] ppid=25913 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/25916/stat : 25916 (xcsp3-exec) S 25913 25916 8571 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 4245599 9740288 345 33554432000 4194304 5098028 140722941844192 140722941842296 139834316612220 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 25292800 140722941846670 140722941846880 140722941846880 140722941849579 0
/proc/25916/statm: 2378 345 289 221 0 87 0
[pid=25917] ppid=25916 vsize=13801768 CPUtime=7.91 cores=0,2,4,6,8,10,12,14
/proc/25917/stat : 25917 (java) S 25916 25916 8571 0 -1 1077944320 17579 0 0 0 782 9 0 0 20 0 28 0 4245600 14133010432 38949 33554432000 4194304 4196468 140721484345888 140721484328432 140310096633591 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 30597120 140721484350652 140721484350828 140721484350828 140721484353487 0
/proc/25917/statm: 3450442 38949 3218 1 0 3437675 0
[pid=25917/tid=25918] ppid=25916 vsize=13801768 CPUtime=0.68 cores=0,2,4,6,8,10,12,14
/proc/25917/task/25918/stat : 25918 (java) S 25916 25916 8571 0 -1 1077944384 6317 0 0 0 64 4 0 0 20 0 28 0 4245600 14133010432 38949 33554432000 4194304 4196468 140721484345888 140310100874368 140310096643797 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 30597120 140721484350652 140721484350828 140721484350828 140721484353487 0
[pid=25917/tid=25920] ppid=25916 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/25917/task/25920/stat : 25920 (java) S 25916 25916 8571 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 4245601 14133010432 38949 33554432000 4194304 4196468 140721484345888 140310015113744 140310096643797 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 30597120 140721484350652 140721484350828 140721484350828 140721484353487 0
[pid=25917/tid=25921] ppid=25916 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/25917/task/25921/stat : 25921 (java) S 25916 25916 8571 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4245601 14133010432 38949 33554432000 4194304 4196468 140721484345888 140310014061200 140310096643797 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30597120 140721484350652 140721484350828 140721484350828 140721484353487 0
[pid=25917/tid=25922] ppid=25916 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/25917/task/25922/stat : 25922 (java) S 25916 25916 8571 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4245601 14133010432 38949 33554432000 4194304 4196468 140721484345888 140310013008144 140310096643797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30597120 140721484350652 140721484350828 140721484350828 140721484353487 0
[pid=25917/tid=25923] ppid=25916 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/25917/task/25923/stat : 25923 (java) S 25916 25916 8571 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4245601 14133010432 38949 33554432000 4194304 4196468 140721484345888 140310011955600 140310096643797 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 30597120 140721484350652 140721484350828 140721484350828 140721484353487 0
[pid=25917/tid=25924] ppid=25916 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/25917/task/25924/stat : 25924 (java) S 25916 25916 8571 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4245601 14133010432 38949 33554432000 4194304 4196468 140721484345888 140310010903568 140310096643797 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 30597120 140721484350652 140721484350828 140721484350828 140721484353487 0
[pid=25917/tid=25925] ppid=25916 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/25917/task/25925/stat : 25925 (java) S 25916 25916 8571 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4245601 14133010432 38949 33554432000 4194304 4196468 140721484345888 140310009851024 140310096643797 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30597120 140721484350652 140721484350828 140721484350828 140721484353487 0
[pid=25917/tid=25926] ppid=25916 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/25917/task/25926/stat : 25926 (java) S 25916 25916 8571 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4245601 14133010432 38949 33554432000 4194304 4196468 140721484345888 140310008797968 140310096643797 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 30597120 140721484350652 140721484350828 140721484350828 140721484353487 0
[pid=25917/tid=25927] ppid=25916 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/25917/task/25927/stat : 25927 (java) S 25916 25916 8571 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4245601 14133010432 38949 33554432000 4194304 4196468 140721484345888 140310007745424 140310096643797 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30597120 140721484350652 140721484350828 140721484350828 140721484353487 0
[pid=25917/tid=25928] ppid=25916 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/25917/task/25928/stat : 25928 (java) S 25916 25916 8571 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 28 0 4245603 14133010432 38949 33554432000 4194304 4196468 140721484345888 140309290535152 140310096644738 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30597120 140721484350652 140721484350828 140721484350828 140721484353487 0
[pid=25917/tid=25929] ppid=25916 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/25917/task/25929/stat : 25929 (java) S 25916 25916 8571 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 4245604 14133010432 38949 33554432000 4194304 4196468 140721484345888 140309289481376 140310096643797 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 30597120 140721484350652 140721484350828 140721484350828 140721484353487 0
[pid=25917/tid=25930] ppid=25916 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/25917/task/25930/stat : 25930 (java) S 25916 25916 8571 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 4245604 14133010432 38949 33554432000 4194304 4196468 140721484345888 140309288428272 140310096643797 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 30597120 140721484350652 140721484350828 140721484350828 140721484353487 0
[pid=25917/tid=25931] ppid=25916 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/25917/task/25931/stat : 25931 (java) S 25916 25916 8571 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4245608 14133010432 38949 33554432000 4194304 4196468 140721484345888 140309287376848 140310096652187 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 30597120 140721484350652 140721484350828 140721484350828 140721484353487 0
[pid=25917/tid=25932] ppid=25916 vsize=13801768 CPUtime=0.65 cores=0,2,4,6,8,10,12,14
/proc/25917/task/25932/stat : 25932 (java) R 25916 25916 8571 0 -1 4202560 1578 0 0 0 65 0 0 0 20 0 28 0 4245608 14133010432 38949 33554432000 4194304 4196468 140721484345888 140309286311296 140310078177852 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30597120 140721484350652 140721484350828 140721484350828 140721484353487 0
[pid=25917/tid=25933] ppid=25916 vsize=13801768 CPUtime=0.75 cores=0,2,4,6,8,10,12,14
/proc/25917/task/25933/stat : 25933 (java) R 25916 25916 8571 0 -1 4202560 2201 0 0 0 75 0 0 0 20 0 28 0 4245608 14133010432 38949 33554432000 4194304 4196468 140721484345888 140309285258528 140310080165056 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 30597120 140721484350652 140721484350828 140721484350828 140721484353487 0
[pid=25917/tid=25934] ppid=25916 vsize=13801768 CPUtime=0.82 cores=0,2,4,6,8,10,12,14
/proc/25917/task/25934/stat : 25934 (java) R 25916 25916 8571 0 -1 4202560 2735 0 0 0 82 0 0 0 20 0 28 0 4245608 14133010432 38949 33554432000 4194304 4196468 140721484345888 140309284206192 140310078155848 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30597120 140721484350652 140721484350828 140721484350828 140721484353487 0
[pid=25917/tid=25935] ppid=25916 vsize=13801768 CPUtime=0.64 cores=0,2,4,6,8,10,12,14
/proc/25917/task/25935/stat : 25935 (java) S 25916 25916 8571 0 -1 1077944384 3055 0 0 0 63 1 0 0 20 0 28 0 4245608 14133010432 38949 33554432000 4194304 4196468 140721484345888 140309283166832 140310096644738 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 30597120 140721484350652 140721484350828 140721484350828 140721484353487 0
[pid=25917/tid=25936] ppid=25916 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/25917/task/25936/stat : 25936 (java) S 25916 25916 8571 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4245608 14133010432 38949 33554432000 4194304 4196468 140721484345888 140309282114016 140310096643797 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 30597120 140721484350652 140721484350828 140721484350828 140721484353487 0
[pid=25917/tid=25937] ppid=25916 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/25917/task/25937/stat : 25937 (java) S 25916 25916 8571 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4245609 14133010432 38949 33554432000 4194304 4196468 140721484345888 140309281061552 140310096644738 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30597120 140721484350652 140721484350828 140721484350828 140721484353487 0
[pid=25917/tid=25938] ppid=25916 vsize=13801768 CPUtime=0.61 cores=0,2,4,6,8,10,12,14
/proc/25917/task/25938/stat : 25938 (java) R 25916 25916 8571 0 -1 4202560 58 0 0 0 61 0 0 0 20 0 28 0 4245671 14133010432 38949 33554432000 4194304 4196468 140721484345888 140309273045208 140309692000485 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30597120 140721484350652 140721484350828 140721484350828 140721484353487 0
[pid=25917/tid=25939] ppid=25916 vsize=13801768 CPUtime=0.54 cores=0,2,4,6,8,10,12,14
/proc/25917/task/25939/stat : 25939 (java) R 25916 25916 8571 0 -1 4202560 47 0 0 0 54 0 0 0 20 0 28 0 4245671 14133010432 38949 33554432000 4194304 4196468 140721484345888 140309271993784 140309691195505 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30597120 140721484350652 140721484350828 140721484350828 140721484353487 0
[pid=25917/tid=25940] ppid=25916 vsize=13801768 CPUtime=0.5 cores=0,2,4,6,8,10,12,14
/proc/25917/task/25940/stat : 25940 (java) R 25916 25916 8571 0 -1 4202560 51 0 0 0 50 0 0 0 20 0 28 0 4245671 14133010432 38949 33554432000 4194304 4196468 140721484345888 140309270937936 140309691192104 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 30597120 140721484350652 140721484350828 140721484350828 140721484353487 0
[pid=25917/tid=25941] ppid=25916 vsize=13801768 CPUtime=0.51 cores=0,2,4,6,8,10,12,14
/proc/25917/task/25941/stat : 25941 (java) R 25916 25916 8571 0 -1 4202560 85 0 0 0 51 0 0 0 20 0 28 0 4245671 14133010432 38949 33554432000 4194304 4196468 140721484345888 140309269889896 140309691706272 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 30597120 140721484350652 140721484350828 140721484350828 140721484353487 0
[pid=25917/tid=25942] ppid=25916 vsize=13801768 CPUtime=0.59 cores=0,2,4,6,8,10,12,14
/proc/25917/task/25942/stat : 25942 (java) R 25916 25916 8571 0 -1 4202560 34 0 0 0 59 0 0 0 20 0 28 0 4245671 14133010432 38949 33554432000 4194304 4196468 140721484345888 140309268837040 140309692116306 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 30597120 140721484350652 140721484350828 140721484350828 140721484353487 0
[pid=25917/tid=25943] ppid=25916 vsize=13801768 CPUtime=0.49 cores=0,2,4,6,8,10,12,14
/proc/25917/task/25943/stat : 25943 (java) R 25916 25916 8571 0 -1 4202560 32 0 0 0 49 0 0 0 20 0 28 0 4245671 14133010432 38949 33554432000 4194304 4196468 140721484345888 140309267784360 140309691109893 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 30597120 140721484350652 140721484350828 140721484350828 140721484353487 0
[pid=25917/tid=25944] ppid=25916 vsize=13801768 CPUtime=0.53 cores=0,2,4,6,8,10,12,14
/proc/25917/task/25944/stat : 25944 (java) R 25916 25916 8571 0 -1 4202560 33 0 0 0 53 0 0 0 20 0 28 0 4245671 14133010432 38949 33554432000 4194304 4196468 140721484345888 140309199574408 140309691889605 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 30597120 140721484350652 140721484350828 140721484350828 140721484353487 0
[pid=25917/tid=25945] ppid=25916 vsize=13801768 CPUtime=0.49 cores=0,2,4,6,8,10,12,14
/proc/25917/task/25945/stat : 25945 (java) R 25916 25916 8571 0 -1 4202560 43 0 0 0 49 0 0 0 20 0 28 0 4245671 14133010432 38949 33554432000 4194304 4196468 140721484345888 140309198520184 140309690853303 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30597120 140721484350652 140721484350828 140721484350828 140721484353487 0
Current children cumulated CPU time (s) 7.91
Current children cumulated vsize (KiB) 13811280
[startup+3.10161 s]
/proc/loadavg: 9.07 9.10 10.00 13/299 25945
/proc/meminfo: memFree=27307488/32770624 swapFree=5884/278068
[pid=25916] ppid=25913 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/25916/stat : 25916 (xcsp3-exec) S 25913 25916 8571 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 4245599 9740288 345 33554432000 4194304 5098028 140722941844192 140722941842296 139834316612220 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 25292800 140722941846670 140722941846880 140722941846880 140722941849579 0
/proc/25916/statm: 2378 345 289 221 0 87 0
[pid=25917] ppid=25916 vsize=13801768 CPUtime=19.95 cores=0,2,4,6,8,10,12,14
/proc/25917/stat : 25917 (java) S 25916 25916 8571 0 -1 1077944320 28099 0 0 0 1979 16 0 0 20 0 28 0 4245600 14133010432 53608 33554432000 4194304 4196468 140721484345888 140721484328432 140310096633591 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 30597120 140721484350652 140721484350828 140721484350828 140721484353487 0
/proc/25917/statm: 3450442 53608 3236 1 0 3437675 0
[pid=25917/tid=25918] ppid=25916 vsize=13801768 CPUtime=0.68 cores=0,2,4,6,8,10,12,14
/proc/25917/task/25918/stat : 25918 (java) S 25916 25916 8571 0 -1 1077944384 6317 0 0 0 64 4 0 0 20 0 28 0 4245600 14133010432 53608 33554432000 4194304 4196468 140721484345888 140310100874368 140310096643797 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 30597120 140721484350652 140721484350828 140721484350828 140721484353487 0
[pid=25917/tid=25920] ppid=25916 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/25917/task/25920/stat : 25920 (java) S 25916 25916 8571 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 28 0 4245601 14133010432 53608 33554432000 4194304 4196468 140721484345888 140310015113744 140310096643797 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30597120 140721484350652 140721484350828 140721484350828 140721484353487 0
[pid=25917/tid=25921] ppid=25916 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/25917/task/25921/stat : 25921 (java) S 25916 25916 8571 0 -1 1077944384 259 0 0 0 0 0 0 0 20 0 28 0 4245601 14133010432 53608 33554432000 4194304 4196468 140721484345888 140310014061200 140310096643797 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 30597120 140721484350652 140721484350828 140721484350828 140721484353487 0
[pid=25917/tid=25922] ppid=25916 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/25917/task/25922/stat : 25922 (java) S 25916 25916 8571 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 28 0 4245601 14133010432 53608 33554432000 4194304 4196468 140721484345888 140310013008144 140310096643797 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 30597120 140721484350652 140721484350828 140721484350828 140721484353487 0
[pid=25917/tid=25923] ppid=25916 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/25917/task/25923/stat : 25923 (java) S 25916 25916 8571 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 28 0 4245601 14133010432 53608 33554432000 4194304 4196468 140721484345888 140310011955600 140310096643797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30597120 140721484350652 140721484350828 140721484350828 140721484353487 0
[pid=25917/tid=25924] ppid=25916 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/25917/task/25924/stat : 25924 (java) S 25916 25916 8571 0 -1 1077944384 86 0 0 0 0 0 0 0 20 0 28 0 4245601 14133010432 53608 33554432000 4194304 4196468 140721484345888 140310010903568 140310096643797 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30597120 140721484350652 140721484350828 140721484350828 140721484353487 0
[pid=25917/tid=25925] ppid=25916 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/25917/task/25925/stat : 25925 (java) S 25916 25916 8571 0 -1 1077944384 96 0 0 0 0 0 0 0 20 0 28 0 4245601 14133010432 53608 33554432000 4194304 4196468 140721484345888 140310009851024 140310096643797 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 30597120 140721484350652 140721484350828 140721484350828 140721484353487 0
[pid=25917/tid=25926] ppid=25916 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/25917/task/25926/stat : 25926 (java) S 25916 25916 8571 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 28 0 4245601 14133010432 53608 33554432000 4194304 4196468 140721484345888 140310008797968 140310096643797 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 30597120 140721484350652 140721484350828 140721484350828 140721484353487 0
[pid=25917/tid=25927] ppid=25916 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/25917/task/25927/stat : 25927 (java) S 25916 25916 8571 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 28 0 4245601 14133010432 53608 33554432000 4194304 4196468 140721484345888 140310007745424 140310096643797 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30597120 140721484350652 140721484350828 140721484350828 140721484353487 0
[pid=25917/tid=25928] ppid=25916 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/25917/task/25928/stat : 25928 (java) S 25916 25916 8571 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 28 0 4245603 14133010432 53608 33554432000 4194304 4196468 140721484345888 140309290535152 140310096644738 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30597120 140721484350652 140721484350828 140721484350828 140721484353487 0
[pid=25917/tid=25929] ppid=25916 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/25917/task/25929/stat : 25929 (java) S 25916 25916 8571 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 28 0 4245604 14133010432 53608 33554432000 4194304 4196468 140721484345888 140309289481376 140310096643797 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 30597120 140721484350652 140721484350828 140721484350828 140721484353487 0
[pid=25917/tid=25930] ppid=25916 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/25917/task/25930/stat : 25930 (java) S 25916 25916 8571 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 28 0 4245604 14133010432 53608 33554432000 4194304 4196468 140721484345888 140309288428272 140310096643797 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30597120 140721484350652 140721484350828 140721484350828 140721484353487 0
[pid=25917/tid=25931] ppid=25916 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/25917/task/25931/stat : 25931 (java) S 25916 25916 8571 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4245608 14133010432 53608 33554432000 4194304 4196468 140721484345888 140309287376848 140310096652187 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 30597120 140721484350652 140721484350828 140721484350828 140721484353487 0
[pid=25917/tid=25932] ppid=25916 vsize=13801768 CPUtime=1.51 cores=0,2,4,6,8,10,12,14
/proc/25917/task/25932/stat : 25932 (java) R 25916 25916 8571 0 -1 4202560 6094 0 0 0 150 1 0 0 20 0 28 0 4245608 14133010432 53608 33554432000 4194304 4196468 140721484345888 140309286324976 140310075261284 0 4 0 16800975 0 0 0 -1 0 0 0 11 0 0 6293624 6294260 30597120 140721484350652 140721484350828 140721484350828 140721484353487 0
[pid=25917/tid=25933] ppid=25916 vsize=13801768 CPUtime=1.62 cores=0,2,4,6,8,10,12,14
/proc/25917/task/25933/stat : 25933 (java) S 25916 25916 8571 0 -1 1077944384 3941 0 0 0 161 1 0 0 20 0 28 0 4245608 14133010432 53608 33554432000 4194304 4196468 140721484345888 140309285272432 140310096644738 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30597120 140721484350652 140721484350828 140721484350828 140721484353487 0
[pid=25917/tid=25934] ppid=25916 vsize=13801768 CPUtime=1.7 cores=0,2,4,6,8,10,12,14
/proc/25917/task/25934/stat : 25934 (java) R 25916 25916 8571 0 -1 4202560 5648 0 0 0 169 1 0 0 20 0 28 0 4245608 14133010432 53608 33554432000 4194304 4196468 140721484345888 140309284219672 140310076346976 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 30597120 140721484350652 140721484350828 140721484350828 140721484353487 0
[pid=25917/tid=25935] ppid=25916 vsize=13801768 CPUtime=0.71 cores=0,2,4,6,8,10,12,14
/proc/25917/task/25935/stat : 25935 (java) S 25916 25916 8571 0 -1 1077944384 3149 0 0 0 70 1 0 0 20 0 28 0 4245608 14133010432 53608 33554432000 4194304 4196468 140721484345888 140309283166832 140310096644738 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 12 0 0 6293624 6294260 30597120 140721484350652 140721484350828 140721484350828 140721484353487 0
[pid=25917/tid=25936] ppid=25916 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/25917/task/25936/stat : 25936 (java) S 25916 25916 8571 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4245608 14133010432 53608 33554432000 4194304 4196468 140721484345888 140309282114016 140310096643797 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 30597120 140721484350652 140721484350828 140721484350828 140721484353487 0
[pid=25917/tid=25937] ppid=25916 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/25917/task/25937/stat : 25937 (java) S 25916 25916 8571 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 28 0 4245609 14133010432 53608 33554432000 4194304 4196468 140721484345888 140309281061552 140310096644738 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30597120 140721484350652 140721484350828 140721484350828 140721484353487 0
[pid=25917/tid=25938] ppid=25916 vsize=13801768 CPUtime=1.8 cores=0,2,4,6,8,10,12,14
/proc/25917/task/25938/stat : 25938 (java) R 25916 25916 8571 0 -1 4202560 88 0 0 0 180 0 0 0 20 0 28 0 4245671 14133010432 53608 33554432000 4194304 4196468 140721484345888 140309273046008 140309691111446 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 30597120 140721484350652 140721484350828 140721484350828 140721484353487 0
[pid=25917/tid=25939] ppid=25916 vsize=13801768 CPUtime=1.72 cores=0,2,4,6,8,10,12,14
/proc/25917/task/25939/stat : 25939 (java) R 25916 25916 8571 0 -1 4202560 128 0 0 0 172 0 0 0 20 0 28 0 4245671 14133010432 53608 33554432000 4194304 4196468 140721484345888 140309271993616 140309692428526 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30597120 140721484350652 140721484350828 140721484350828 140721484353487 0
[pid=25917/tid=25940] ppid=25916 vsize=13801768 CPUtime=1.49 cores=0,2,4,6,8,10,12,14
/proc/25917/task/25940/stat : 25940 (java) R 25916 25916 8571 0 -1 4202560 107 0 0 0 149 0 0 0 20 0 28 0 4245671 14133010432 53608 33554432000 4194304 4196468 140721484345888 140309270942056 140309691109982 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30597120 140721484350652 140721484350828 140721484350828 140721484353487 0
[pid=25917/tid=25941] ppid=25916 vsize=13801768 CPUtime=1.44 cores=0,2,4,6,8,10,12,14
/proc/25917/task/25941/stat : 25941 (java) R 25916 25916 8571 0 -1 4202560 226 0 0 0 144 0 0 0 20 0 28 0 4245671 14133010432 53608 33554432000 4194304 4196468 140721484345888 140309269889768 140309693077562 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 30597120 140721484350652 140721484350828 140721484350828 140721484353487 0
[pid=25917/tid=25942] ppid=25916 vsize=13801768 CPUtime=1.88 cores=0,2,4,6,8,10,12,14
/proc/25917/task/25942/stat : 25942 (java) R 25916 25916 8571 0 -1 4202560 105 0 0 0 188 0 0 0 20 0 28 0 4245671 14133010432 53608 33554432000 4194304 4196468 140721484345888 140309268837088 140309692424970 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30597120 140721484350652 140721484350828 140721484350828 140721484353487 0
[pid=25917/tid=25943] ppid=25916 vsize=13801768 CPUtime=1.82 cores=0,2,4,6,8,10,12,14
/proc/25917/task/25943/stat : 25943 (java) R 25916 25916 8571 0 -1 4202560 95 0 0 0 182 0 0 0 20 0 28 0 4245671 14133010432 53608 33554432000 4194304 4196468 140721484345888 140309267786400 140309691109735 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 30597120 140721484350652 140721484350828 140721484350828 140721484353487 0
[pid=25917/tid=25944] ppid=25916 vsize=13801768 CPUtime=1.66 cores=0,2,4,6,8,10,12,14
/proc/25917/task/25944/stat : 25944 (java) R 25916 25916 8571 0 -1 4202560 82 0 0 0 166 0 0 0 20 0 28 0 4245671 14133010432 53608 33554432000 4194304 4196468 140721484345888 140309199573704 140309691889531 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 30597120 140721484350652 140721484350828 140721484350828 140721484353487 0
[pid=25917/tid=25945] ppid=25916 vsize=13801768 CPUtime=1.74 cores=0,2,4,6,8,10,12,14
/proc/25917/task/25945/stat : 25945 (java) R 25916 25916 8571 0 -1 4202560 150 0 0 0 174 0 0 0 20 0 28 0 4245671 14133010432 53608 33554432000 4194304 4196468 140721484345888 140309198520104 140309690926701 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 30597120 140721484350652 140721484350828 140721484350828 140721484353487 0
Current children cumulated CPU time (s) 19.95
Current children cumulated vsize (KiB) 13811280
[startup+6.30164 s]
/proc/loadavg: 9.30 9.15 10.01 10/299 25945
/proc/meminfo: memFree=27278692/32770624 swapFree=5884/278072
################
# More data... #
################
[pid=25917/tid=25944] ppid=25916 vsize=13801768 CPUtime=217.24 cores=0,2,4,6,8,10,12,14
/proc/25917/task/25944/stat : 25944 (java) R 25916 25916 8571 0 -1 4202560 1250 0 0 0 21718 6 0 0 20 0 28 0 4245671 14133010432 960797 33554432000 4194304 4196468 140721484345888 140309199572936 140309691110067 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 30597120 140721484350652 140721484350828 140721484350828 140721484353487 0
[pid=25917/tid=25945] ppid=25916 vsize=13801768 CPUtime=216.96 cores=0,2,4,6,8,10,12,14
/proc/25917/task/25945/stat : 25945 (java) R 25916 25916 8571 0 -1 4202560 1759 0 0 0 21689 7 0 0 20 0 28 0 4245671 14133010432 960797 33554432000 4194304 4196468 140721484345888 140309198520168 140309691999298 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 30597120 140721484350652 140721484350828 140721484350828 140721484353487 0
Current children cumulated CPU time (s) 1757.87
Current children cumulated vsize (KiB) 13811280
[startup+282.302 s]
/proc/loadavg: 9.07 9.11 9.78 10/300 25957
/proc/meminfo: memFree=23842032/32770624 swapFree=5884/278320
[pid=25916] ppid=25913 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/25916/stat : 25916 (xcsp3-exec) S 25913 25916 8571 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 4245599 9740288 345 33554432000 4194304 5098028 140722941844192 140722941842296 139834316612220 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 25292800 140722941846670 140722941846880 140722941846880 140722941849579 0
/proc/25916/statm: 2378 345 289 221 0 87 0
[pid=25917] ppid=25916 vsize=13801768 CPUtime=2233.93 cores=0,2,4,6,8,10,12,14
/proc/25917/stat : 25917 (java) S 25916 25916 8571 0 -1 1077944320 75495 0 0 0 222978 415 0 0 20 0 28 0 4245600 14133010432 976389 33554432000 4194304 4196468 140721484345888 140721484328432 140310096633591 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 30597120 140721484350652 140721484350828 140721484350828 140721484353487 0
/proc/25917/statm: 3450442 976389 3277 1 0 3437675 0
[pid=25917/tid=25918] ppid=25916 vsize=13801768 CPUtime=0.68 cores=0,2,4,6,8,10,12,14
/proc/25917/task/25918/stat : 25918 (java) S 25916 25916 8571 0 -1 1077944384 6317 0 0 0 64 4 0 0 20 0 28 0 4245600 14133010432 976389 33554432000 4194304 4196468 140721484345888 140310100874368 140310096643797 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 30597120 140721484350652 140721484350828 140721484350828 140721484353487 0
[pid=25917/tid=25920] ppid=25916 vsize=13801768 CPUtime=1.98 cores=0,2,4,6,8,10,12,14
/proc/25917/task/25920/stat : 25920 (java) S 25916 25916 8571 0 -1 1077944384 1234 0 0 0 165 33 0 0 20 0 28 0 4245601 14133010432 976389 33554432000 4194304 4196468 140721484345888 140310015113744 140310096643797 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30597120 140721484350652 140721484350828 140721484350828 140721484353487 0
[pid=25917/tid=25921] ppid=25916 vsize=13801768 CPUtime=1.94 cores=0,2,4,6,8,10,12,14
/proc/25917/task/25921/stat : 25921 (java) S 25916 25916 8571 0 -1 1077944384 1382 0 0 0 160 34 0 0 20 0 28 0 4245601 14133010432 976389 33554432000 4194304 4196468 140721484345888 140310014061200 140310096643797 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 30597120 140721484350652 140721484350828 140721484350828 140721484353487 0
[pid=25917/tid=25922] ppid=25916 vsize=13801768 CPUtime=1.94 cores=0,2,4,6,8,10,12,14
/proc/25917/task/25922/stat : 25922 (java) S 25916 25916 8571 0 -1 1077944384 1018 0 0 0 161 33 0 0 20 0 28 0 4245601 14133010432 976389 33554432000 4194304 4196468 140721484345888 140310013008144 140310096643797 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30597120 140721484350652 140721484350828 140721484350828 140721484353487 0
[pid=25917/tid=25923] ppid=25916 vsize=13801768 CPUtime=1.95 cores=0,2,4,6,8,10,12,14
/proc/25917/task/25923/stat : 25923 (java) S 25916 25916 8571 0 -1 1077944384 2501 0 0 0 162 33 0 0 20 0 28 0 4245601 14133010432 976389 33554432000 4194304 4196468 140721484345888 140310011955600 140310096643797 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30597120 140721484350652 140721484350828 140721484350828 140721484353487 0
[pid=25917/tid=25924] ppid=25916 vsize=13801768 CPUtime=1.93 cores=0,2,4,6,8,10,12,14
/proc/25917/task/25924/stat : 25924 (java) S 25916 25916 8571 0 -1 1077944384 1258 0 0 0 160 33 0 0 20 0 28 0 4245601 14133010432 976389 33554432000 4194304 4196468 140721484345888 140310010903568 140310096643797 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30597120 140721484350652 140721484350828 140721484350828 140721484353487 0
[pid=25917/tid=25925] ppid=25916 vsize=13801768 CPUtime=1.94 cores=0,2,4,6,8,10,12,14
/proc/25917/task/25925/stat : 25925 (java) S 25916 25916 8571 0 -1 1077944384 1428 0 0 0 160 34 0 0 20 0 28 0 4245601 14133010432 976389 33554432000 4194304 4196468 140721484345888 140310009851024 140310096643797 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30597120 140721484350652 140721484350828 140721484350828 140721484353487 0
[pid=25917/tid=25926] ppid=25916 vsize=13801768 CPUtime=1.94 cores=0,2,4,6,8,10,12,14
/proc/25917/task/25926/stat : 25926 (java) S 25916 25916 8571 0 -1 1077944384 1091 0 0 0 162 32 0 0 20 0 28 0 4245601 14133010432 976389 33554432000 4194304 4196468 140721484345888 140310008797968 140310096643797 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30597120 140721484350652 140721484350828 140721484350828 140721484353487 0
[pid=25917/tid=25927] ppid=25916 vsize=13801768 CPUtime=1.99 cores=0,2,4,6,8,10,12,14
/proc/25917/task/25927/stat : 25927 (java) S 25916 25916 8571 0 -1 1077944384 2410 0 0 0 165 34 0 0 20 0 28 0 4245601 14133010432 976389 33554432000 4194304 4196468 140721484345888 140310007745424 140310096643797 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 30597120 140721484350652 140721484350828 140721484350828 140721484353487 0
[pid=25917/tid=25928] ppid=25916 vsize=13801768 CPUtime=0.94 cores=0,2,4,6,8,10,12,14
/proc/25917/task/25928/stat : 25928 (java) S 25916 25916 8571 0 -1 1077944384 9859 0 0 0 39 55 0 0 20 0 28 0 4245603 14133010432 976389 33554432000 4194304 4196468 140721484345888 140309290535152 140310096644738 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30597120 140721484350652 140721484350828 140721484350828 140721484353487 0
[pid=25917/tid=25929] ppid=25916 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/25917/task/25929/stat : 25929 (java) S 25916 25916 8571 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 28 0 4245604 14133010432 976389 33554432000 4194304 4196468 140721484345888 140309289481376 140310096643797 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 30597120 140721484350652 140721484350828 140721484350828 140721484353487 0
[pid=25917/tid=25930] ppid=25916 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/25917/task/25930/stat : 25930 (java) S 25916 25916 8571 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 28 0 4245604 14133010432 976389 33554432000 4194304 4196468 140721484345888 140309288428272 140310096643797 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30597120 140721484350652 140721484350828 140721484350828 140721484353487 0
[pid=25917/tid=25931] ppid=25916 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/25917/task/25931/stat : 25931 (java) S 25916 25916 8571 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4245608 14133010432 976389 33554432000 4194304 4196468 140721484345888 140309287376848 140310096652187 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 30597120 140721484350652 140721484350828 140721484350828 140721484353487 0
[pid=25917/tid=25932] ppid=25916 vsize=13801768 CPUtime=1.63 cores=0,2,4,6,8,10,12,14
/proc/25917/task/25932/stat : 25932 (java) S 25916 25916 8571 0 -1 1077944384 7065 0 0 0 162 1 0 0 20 0 28 0 4245608 14133010432 976389 33554432000 4194304 4196468 140721484345888 140309286324976 140310096644738 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 11 0 0 6293624 6294260 30597120 140721484350652 140721484350828 140721484350828 140721484353487 0
[pid=25917/tid=25933] ppid=25916 vsize=13801768 CPUtime=1.74 cores=0,2,4,6,8,10,12,14
/proc/25917/task/25933/stat : 25933 (java) S 25916 25916 8571 0 -1 1077944384 6668 0 0 0 173 1 0 0 20 0 28 0 4245608 14133010432 976389 33554432000 4194304 4196468 140721484345888 140309285272432 140310096644738 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 30597120 140721484350652 140721484350828 140721484350828 140721484353487 0
[pid=25917/tid=25934] ppid=25916 vsize=13801768 CPUtime=1.8 cores=0,2,4,6,8,10,12,14
/proc/25917/task/25934/stat : 25934 (java) S 25916 25916 8571 0 -1 1077944384 6628 0 0 0 179 1 0 0 20 0 28 0 4245608 14133010432 976389 33554432000 4194304 4196468 140721484345888 140309284219376 140310096644738 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30597120 140721484350652 140721484350828 140721484350828 140721484353487 0
[pid=25917/tid=25935] ppid=25916 vsize=13801768 CPUtime=0.73 cores=0,2,4,6,8,10,12,14
/proc/25917/task/25935/stat : 25935 (java) S 25916 25916 8571 0 -1 1077944384 4497 0 0 0 72 1 0 0 20 0 28 0 4245608 14133010432 976389 33554432000 4194304 4196468 140721484345888 140309283166832 140310096644738 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 12 0 0 6293624 6294260 30597120 140721484350652 140721484350828 140721484350828 140721484353487 0
[pid=25917/tid=25936] ppid=25916 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/25917/task/25936/stat : 25936 (java) S 25916 25916 8571 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4245608 14133010432 976389 33554432000 4194304 4196468 140721484345888 140309282114016 140310096643797 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 30597120 140721484350652 140721484350828 140721484350828 140721484353487 0
[pid=25917/tid=25937] ppid=25916 vsize=13801768 CPUtime=0.14 cores=0,2,4,6,8,10,12,14
/proc/25917/task/25937/stat : 25937 (java) S 25916 25916 8571 0 -1 1077944384 230 0 0 0 7 7 0 0 20 0 28 0 4245609 14133010432 976389 33554432000 4194304 4196468 140721484345888 140309281061552 140310096644738 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30597120 140721484350652 140721484350828 140721484350828 140721484353487 0
[pid=25917/tid=25938] ppid=25916 vsize=13801768 CPUtime=276.49 cores=0,2,4,6,8,10,12,14
/proc/25917/task/25938/stat : 25938 (java) R 25916 25916 8571 0 -1 4202560 4689 0 0 0 27629 20 0 0 20 0 28 0 4245671 14133010432 976389 33554432000 4194304 4196468 140721484345888 140309273045656 140309691110817 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30597120 140721484350652 140721484350828 140721484350828 140721484353487 0
[pid=25917/tid=25939] ppid=25916 vsize=13801768 CPUtime=276.52 cores=0,2,4,6,8,10,12,14
/proc/25917/task/25939/stat : 25939 (java) R 25916 25916 8571 0 -1 4202560 3168 0 0 0 27631 21 0 0 20 0 28 0 4245671 14133010432 976389 33554432000 4194304 4196468 140721484345888 140309271994232 140309692426103 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 30597120 140721484350652 140721484350828 140721484350828 140721484353487 0
[pid=25917/tid=25940] ppid=25916 vsize=13801768 CPUtime=276.6 cores=0,2,4,6,8,10,12,14
/proc/25917/task/25940/stat : 25940 (java) R 25916 25916 8571 0 -1 4202560 2419 0 0 0 27655 5 0 0 20 0 28 0 4245671 14133010432 976389 33554432000 4194304 4196468 140721484345888 140309270941928 140309692402816 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 30597120 140721484350652 140721484350828 140721484350828 140721484353487 0
[pid=25917/tid=25941] ppid=25916 vsize=13801768 CPUtime=276.24 cores=0,2,4,6,8,10,12,14
/proc/25917/task/25941/stat : 25941 (java) R 25916 25916 8571 0 -1 4202560 4541 0 0 0 27617 7 0 0 20 0 28 0 4245671 14133010432 976389 33554432000 4194304 4196468 140721484345888 140309269889248 140309693077030 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30597120 140721484350652 140721484350828 140721484350828 140721484353487 0
[pid=25917/tid=25942] ppid=25916 vsize=13801768 CPUtime=276.31 cores=0,2,4,6,8,10,12,14
/proc/25917/task/25942/stat : 25942 (java) R 25916 25916 8571 0 -1 4202560 1775 0 0 0 27626 5 0 0 20 0 28 0 4245671 14133010432 976389 33554432000 4194304 4196468 140721484345888 140309268836520 140309691833396 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30597120 140721484350652 140721484350828 140721484350828 140721484353487 0
[pid=25917/tid=25943] ppid=25916 vsize=13801768 CPUtime=276.18 cores=0,2,4,6,8,10,12,14
/proc/25917/task/25943/stat : 25943 (java) R 25916 25916 8571 0 -1 4202560 428 0 0 0 27618 0 0 0 20 0 28 0 4245671 14133010432 976389 33554432000 4194304 4196468 140721484345888 140309267784056 140309692720968 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 30597120 140721484350652 140721484350828 140721484350828 140721484353487 0
[pid=25917/tid=25944] ppid=25916 vsize=13801768 CPUtime=276.01 cores=0,2,4,6,8,10,12,14
/proc/25917/task/25944/stat : 25944 (java) R 25916 25916 8571 0 -1 4202560 1570 0 0 0 27595 6 0 0 20 0 28 0 4245671 14133010432 976389 33554432000 4194304 4196468 140721484345888 140309199575696 140309692992768 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 30597120 140721484350652 140721484350828 140721484350828 140721484353487 0
[pid=25917/tid=25945] ppid=25916 vsize=13801768 CPUtime=276.07 cores=0,2,4,6,8,10,12,14
/proc/25917/task/25945/stat : 25945 (java) R 25916 25916 8571 0 -1 4202560 1984 0 0 0 27599 8 0 0 20 0 28 0 4245671 14133010432 976389 33554432000 4194304 4196468 140721484345888 140309198520680 140309693323309 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 30597120 140721484350652 140721484350828 140721484350828 140721484353487 0
Current children cumulated CPU time (s) 2233.93
Current children cumulated vsize (KiB) 13811280
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+303.203 s]
/proc/loadavg: 9.05 9.10 9.76 10/300 25958
/proc/meminfo: memFree=23952924/32770624 swapFree=5884/278348
[pid=25916] ppid=25913 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/25916/stat : 25916 (xcsp3-exec) S 25913 25916 8571 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 4245599 9740288 345 33554432000 4194304 5098028 140722941844192 140722941842296 139834316612220 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 25292800 140722941846670 140722941846880 140722941846880 140722941849579 0
/proc/25916/statm: 2378 345 289 221 0 87 0
[pid=25917] ppid=25916 vsize=13801768 CPUtime=2400 cores=0,2,4,6,8,10,12,14
/proc/25917/stat : 25917 (java) S 25916 25916 8571 0 -1 1077944320 77474 0 0 0 239578 422 0 0 20 0 28 0 4245600 14133010432 953939 33554432000 4194304 4196468 140721484345888 140721484328432 140310096633591 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 30597120 140721484350652 140721484350828 140721484350828 140721484353487 0
/proc/25917/statm: 3450442 953939 3277 1 0 3437675 0
[pid=25917/tid=25918] ppid=25916 vsize=13801768 CPUtime=0.68 cores=0,2,4,6,8,10,12,14
/proc/25917/task/25918/stat : 25918 (java) S 25916 25916 8571 0 -1 1077944384 6317 0 0 0 64 4 0 0 20 0 28 0 4245600 14133010432 953939 33554432000 4194304 4196468 140721484345888 140310100874368 140310096643797 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 30597120 140721484350652 140721484350828 140721484350828 140721484353487 0
[pid=25917/tid=25920] ppid=25916 vsize=13801768 CPUtime=2.06 cores=0,2,4,6,8,10,12,14
/proc/25917/task/25920/stat : 25920 (java) S 25916 25916 8571 0 -1 1077944384 1242 0 0 0 172 34 0 0 20 0 28 0 4245601 14133010432 953939 33554432000 4194304 4196468 140721484345888 140310015113744 140310096643797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30597120 140721484350652 140721484350828 140721484350828 140721484353487 0
[pid=25917/tid=25921] ppid=25916 vsize=13801768 CPUtime=2.03 cores=0,2,4,6,8,10,12,14
/proc/25917/task/25921/stat : 25921 (java) S 25916 25916 8571 0 -1 1077944384 1398 0 0 0 168 35 0 0 20 0 28 0 4245601 14133010432 953939 33554432000 4194304 4196468 140721484345888 140310014061200 140310096643797 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30597120 140721484350652 140721484350828 140721484350828 140721484353487 0
[pid=25917/tid=25922] ppid=25916 vsize=13801768 CPUtime=2.03 cores=0,2,4,6,8,10,12,14
/proc/25917/task/25922/stat : 25922 (java) S 25916 25916 8571 0 -1 1077944384 1082 0 0 0 170 33 0 0 20 0 28 0 4245601 14133010432 953939 33554432000 4194304 4196468 140721484345888 140310013008144 140310096643797 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 30597120 140721484350652 140721484350828 140721484350828 140721484353487 0
[pid=25917/tid=25923] ppid=25916 vsize=13801768 CPUtime=2.04 cores=0,2,4,6,8,10,12,14
/proc/25917/task/25923/stat : 25923 (java) S 25916 25916 8571 0 -1 1077944384 2766 0 0 0 170 34 0 0 20 0 28 0 4245601 14133010432 953939 33554432000 4194304 4196468 140721484345888 140310011955600 140310096643797 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30597120 140721484350652 140721484350828 140721484350828 140721484353487 0
[pid=25917/tid=25924] ppid=25916 vsize=13801768 CPUtime=2.02 cores=0,2,4,6,8,10,12,14
/proc/25917/task/25924/stat : 25924 (java) S 25916 25916 8571 0 -1 1077944384 1306 0 0 0 169 33 0 0 20 0 28 0 4245601 14133010432 953939 33554432000 4194304 4196468 140721484345888 140310010903568 140310096643797 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 30597120 140721484350652 140721484350828 140721484350828 140721484353487 0
[pid=25917/tid=25925] ppid=25916 vsize=13801768 CPUtime=2.02 cores=0,2,4,6,8,10,12,14
/proc/25917/task/25925/stat : 25925 (java) S 25916 25916 8571 0 -1 1077944384 1492 0 0 0 168 34 0 0 20 0 28 0 4245601 14133010432 953939 33554432000 4194304 4196468 140721484345888 140310009851024 140310096643797 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 30597120 140721484350652 140721484350828 140721484350828 140721484353487 0
[pid=25917/tid=25926] ppid=25916 vsize=13801768 CPUtime=2.01 cores=0,2,4,6,8,10,12,14
/proc/25917/task/25926/stat : 25926 (java) S 25916 25916 8571 0 -1 1077944384 1109 0 0 0 169 32 0 0 20 0 28 0 4245601 14133010432 953939 33554432000 4194304 4196468 140721484345888 140310008797968 140310096643797 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 30597120 140721484350652 140721484350828 140721484350828 140721484353487 0
[pid=25917/tid=25927] ppid=25916 vsize=13801768 CPUtime=2.08 cores=0,2,4,6,8,10,12,14
/proc/25917/task/25927/stat : 25927 (java) S 25916 25916 8571 0 -1 1077944384 2491 0 0 0 174 34 0 0 20 0 28 0 4245601 14133010432 953939 33554432000 4194304 4196468 140721484345888 140310007745424 140310096643797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30597120 140721484350652 140721484350828 140721484350828 140721484353487 0
[pid=25917/tid=25928] ppid=25916 vsize=13801768 CPUtime=0.98 cores=0,2,4,6,8,10,12,14
/proc/25917/task/25928/stat : 25928 (java) S 25916 25916 8571 0 -1 1077944384 9961 0 0 0 41 57 0 0 20 0 28 0 4245603 14133010432 953939 33554432000 4194304 4196468 140721484345888 140309290535152 140310096644738 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30597120 140721484350652 140721484350828 140721484350828 140721484353487 0
[pid=25917/tid=25929] ppid=25916 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/25917/task/25929/stat : 25929 (java) S 25916 25916 8571 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 28 0 4245604 14133010432 953939 33554432000 4194304 4196468 140721484345888 140309289481376 140310096643797 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 30597120 140721484350652 140721484350828 140721484350828 140721484353487 0
[pid=25917/tid=25930] ppid=25916 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/25917/task/25930/stat : 25930 (java) S 25916 25916 8571 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 28 0 4245604 14133010432 953939 33554432000 4194304 4196468 140721484345888 140309288428272 140310096643797 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30597120 140721484350652 140721484350828 140721484350828 140721484353487 0
[pid=25917/tid=25931] ppid=25916 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/25917/task/25931/stat : 25931 (java) S 25916 25916 8571 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4245608 14133010432 953939 33554432000 4194304 4196468 140721484345888 140309287376848 140310096652187 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 30597120 140721484350652 140721484350828 140721484350828 140721484353487 0
[pid=25917/tid=25932] ppid=25916 vsize=13801768 CPUtime=1.63 cores=0,2,4,6,8,10,12,14
/proc/25917/task/25932/stat : 25932 (java) S 25916 25916 8571 0 -1 1077944384 7065 0 0 0 162 1 0 0 20 0 28 0 4245608 14133010432 953939 33554432000 4194304 4196468 140721484345888 140309286324976 140310096644738 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 11 0 0 6293624 6294260 30597120 140721484350652 140721484350828 140721484350828 140721484353487 0
[pid=25917/tid=25933] ppid=25916 vsize=13801768 CPUtime=1.74 cores=0,2,4,6,8,10,12,14
/proc/25917/task/25933/stat : 25933 (java) S 25916 25916 8571 0 -1 1077944384 6668 0 0 0 173 1 0 0 20 0 28 0 4245608 14133010432 953939 33554432000 4194304 4196468 140721484345888 140309285272432 140310096644738 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 30597120 140721484350652 140721484350828 140721484350828 140721484353487 0
[pid=25917/tid=25934] ppid=25916 vsize=13801768 CPUtime=1.8 cores=0,2,4,6,8,10,12,14
/proc/25917/task/25934/stat : 25934 (java) S 25916 25916 8571 0 -1 1077944384 6628 0 0 0 179 1 0 0 20 0 28 0 4245608 14133010432 953939 33554432000 4194304 4196468 140721484345888 140309284219376 140310096644738 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30597120 140721484350652 140721484350828 140721484350828 140721484353487 0
[pid=25917/tid=25935] ppid=25916 vsize=13801768 CPUtime=0.73 cores=0,2,4,6,8,10,12,14
/proc/25917/task/25935/stat : 25935 (java) S 25916 25916 8571 0 -1 1077944384 4497 0 0 0 72 1 0 0 20 0 28 0 4245608 14133010432 953939 33554432000 4194304 4196468 140721484345888 140309283166832 140310096644738 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 12 0 0 6293624 6294260 30597120 140721484350652 140721484350828 140721484350828 140721484353487 0
[pid=25917/tid=25936] ppid=25916 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/25917/task/25936/stat : 25936 (java) S 25916 25916 8571 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4245608 14133010432 953939 33554432000 4194304 4196468 140721484345888 140309282114016 140310096643797 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 30597120 140721484350652 140721484350828 140721484350828 140721484353487 0
[pid=25917/tid=25937] ppid=25916 vsize=13801768 CPUtime=0.15 cores=0,2,4,6,8,10,12,14
/proc/25917/task/25937/stat : 25937 (java) S 25916 25916 8571 0 -1 1077944384 230 0 0 0 7 8 0 0 20 0 28 0 4245609 14133010432 953939 33554432000 4194304 4196468 140721484345888 140309281061552 140310096644738 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30597120 140721484350652 140721484350828 140721484350828 140721484353487 0
[pid=25917/tid=25938] ppid=25916 vsize=13801768 CPUtime=296.81 cores=0,2,4,6,8,10,12,14
/proc/25917/task/25938/stat : 25938 (java) R 25916 25916 8571 0 -1 4202560 4773 0 0 0 29661 20 0 0 20 0 28 0 4245671 14133010432 953939 33554432000 4194304 4196468 140721484345888 140309273048368 140309687260343 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 30597120 140721484350652 140721484350828 140721484350828 140721484353487 0
[pid=25917/tid=25939] ppid=25916 vsize=13801768 CPUtime=297.26 cores=0,2,4,6,8,10,12,14
/proc/25917/task/25939/stat : 25939 (java) R 25916 25916 8571 0 -1 4202560 3211 0 0 0 29705 21 0 0 20 0 28 0 4245671 14133010432 953939 33554432000 4194304 4196468 140721484345888 140309271994984 140309692402755 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30597120 140721484350652 140721484350828 140721484350828 140721484353487 0
[pid=25917/tid=25940] ppid=25916 vsize=13801768 CPUtime=297.35 cores=0,2,4,6,8,10,12,14
/proc/25917/task/25940/stat : 25940 (java) R 25916 25916 8571 0 -1 4202560 3086 0 0 0 29729 6 0 0 20 0 28 0 4245671 14133010432 953939 33554432000 4194304 4196468 140721484345888 140309270942952 140309692402300 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30597120 140721484350652 140721484350828 140721484350828 140721484353487 0
[pid=25917/tid=25941] ppid=25916 vsize=13801768 CPUtime=296.92 cores=0,2,4,6,8,10,12,14
/proc/25917/task/25941/stat : 25941 (java) R 25916 25916 8571 0 -1 4202560 4632 0 0 0 29685 7 0 0 20 0 28 0 4245671 14133010432 953939 33554432000 4194304 4196468 140721484345888 140309269889136 140309691832385 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30597120 140721484350652 140721484350828 140721484350828 140721484353487 0
[pid=25917/tid=25942] ppid=25916 vsize=13801768 CPUtime=297.05 cores=0,2,4,6,8,10,12,14
/proc/25917/task/25942/stat : 25942 (java) R 25916 25916 8571 0 -1 4202560 1865 0 0 0 29700 5 0 0 20 0 28 0 4245671 14133010432 953939 33554432000 4194304 4196468 140721484345888 140309268837352 140309691831908 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 30597120 140721484350652 140721484350828 140721484350828 140721484353487 0
[pid=25917/tid=25943] ppid=25916 vsize=13801768 CPUtime=296.92 cores=0,2,4,6,8,10,12,14
/proc/25917/task/25943/stat : 25943 (java) R 25916 25916 8571 0 -1 4202560 440 0 0 0 29692 0 0 0 20 0 28 0 4245671 14133010432 953939 33554432000 4194304 4196468 140721484345888 140309267784056 140309691196223 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 30597120 140721484350652 140721484350828 140721484350828 140721484353487 0
[pid=25917/tid=25944] ppid=25916 vsize=13801768 CPUtime=296.62 cores=0,2,4,6,8,10,12,14
/proc/25917/task/25944/stat : 25944 (java) R 25916 25916 8571 0 -1 4202560 1804 0 0 0 29655 7 0 0 20 0 28 0 4245671 14133010432 953939 33554432000 4194304 4196468 140721484345888 140309199573736 140309692721095 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 30597120 140721484350652 140721484350828 140721484350828 140721484353487 0
[pid=25917/tid=25945] ppid=25916 vsize=13801768 CPUtime=296.83 cores=0,2,4,6,8,10,12,14
/proc/25917/task/25945/stat : 25945 (java) R 25916 25916 8571 0 -1 4202560 2076 0 0 0 29675 8 0 0 20 0 28 0 4245671 14133010432 953939 33554432000 4194304 4196468 140721484345888 140309198524104 140309691833510 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 30597120 140721484350652 140721484350828 140721484350828 140721484353487 0
Current children cumulated CPU time (s) 2400
Current children cumulated vsize (KiB) 13811280
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 25917 sig 9
??? kill 25916 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 25916 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=975
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=1951
# CPU time returned by wait4() is 0.002926
# while last known CPU time is 2400
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 303.214
CPU time (s): 2400
CPU user time (s): 2395.78
CPU system time (s): 4.22
CPU usage (%): 791.52
Max. virtual memory (cumulated for all children) (KiB): 13811280
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.000975
system time used= 0.001951
maximum resident set size= 1384
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 516
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3
involuntary context switches= 1
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.94859 second user time and 4.79412 second system time
The end