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-4249462-1500694919/watcher-4249462-1500694919 -o /tmp/evaluation-result-4249462-1500694919/solver-4249462-1500694919 -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 1164411263 HOME/instance-4249462-1500694919.xml
pid=2909
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: 15.62 14.09 11.91 10/272 2912
/proc/meminfo: memFree=25605284/32770624 swapFree=5884/290952
[pid=2912] ppid=2909 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/2912/stat : 2912 (xcsp3-exec) S 2909 2912 8571 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 4759706 9740288 345 33554432000 4194304 5098028 140728790510752 140728790508856 140394481906300 0 65536 4100 65538 18446744071579417331 0 0 17 10 0 0 0 0 0 7196144 7232144 34545664 140728790512782 140728790512992 140728790512992 140728790515691 0
/proc/2912/statm: 2378 345 289 221 0 87 0
[startup+0.100161 s]
/proc/loadavg: 15.62 14.09 11.91 10/272 2912
/proc/meminfo: memFree=25605284/32770624 swapFree=5884/290952
[pid=2912] ppid=2909 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/2912/stat : 2912 (xcsp3-exec) S 2909 2912 8571 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 4759706 9740288 345 33554432000 4194304 5098028 140728790510752 140728790508856 140394481906300 0 65536 4100 65538 18446744071579417331 0 0 17 10 0 0 0 0 0 7196144 7232144 34545664 140728790512782 140728790512992 140728790512992 140728790515691 0
/proc/2912/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200389 s]
/proc/loadavg: 15.62 14.09 11.91 10/272 2912
/proc/meminfo: memFree=25605284/32770624 swapFree=5884/290952
[pid=2912] ppid=2909 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/2912/stat : 2912 (xcsp3-exec) S 2909 2912 8571 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 4759706 9740288 345 33554432000 4194304 5098028 140728790510752 140728790508856 140394481906300 0 65536 4100 65538 18446744071579417331 0 0 17 10 0 0 0 0 0 7196144 7232144 34545664 140728790512782 140728790512992 140728790512992 140728790515691 0
/proc/2912/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300231 s]
/proc/loadavg: 15.62 14.09 11.91 10/272 2912
/proc/meminfo: memFree=25605284/32770624 swapFree=5884/290952
[pid=2912] ppid=2909 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/2912/stat : 2912 (xcsp3-exec) S 2909 2912 8571 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 4759706 9740288 345 33554432000 4194304 5098028 140728790510752 140728790508856 140394481906300 0 65536 4100 65538 18446744071579417331 0 0 17 10 0 0 0 0 0 7196144 7232144 34545664 140728790512782 140728790512992 140728790512992 140728790515691 0
/proc/2912/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.700344 s]
/proc/loadavg: 15.62 14.09 11.91 10/272 2912
/proc/meminfo: memFree=25605284/32770624 swapFree=5884/290952
[pid=2912] ppid=2909 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/2912/stat : 2912 (xcsp3-exec) S 2909 2912 8571 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 4759706 9740288 345 33554432000 4194304 5098028 140728790510752 140728790508856 140394481906300 0 65536 4100 65538 18446744071579417331 0 0 17 10 0 0 0 0 0 7196144 7232144 34545664 140728790512782 140728790512992 140728790512992 140728790515691 0
/proc/2912/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50108 s]
/proc/loadavg: 15.62 14.09 11.91 11/293 2933
/proc/meminfo: memFree=25433548/32770624 swapFree=5884/291232
[pid=2912] ppid=2909 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/2912/stat : 2912 (xcsp3-exec) S 2909 2912 8571 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 4759706 9740288 345 33554432000 4194304 5098028 140728790510752 140728790508856 140394481906300 0 65536 4100 65538 18446744071579417331 0 0 17 10 0 0 0 0 0 7196144 7232144 34545664 140728790512782 140728790512992 140728790512992 140728790515691 0
/proc/2912/statm: 2378 345 289 221 0 87 0
[pid=2913] ppid=2912 vsize=13269256 CPUtime=3.73 cores=0,2,4,6,8,10,12,14
/proc/2913/stat : 2913 (java) S 2912 2912 8571 0 -1 1077944320 16476 0 0 0 355 18 0 0 20 0 20 0 4759706 13587718144 55876 33554432000 4194304 4196468 140722773573088 140722773555632 140087217524471 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 35868672 140722773574844 140722773575020 140722773575020 140722773577679 0
/proc/2913/statm: 3317314 55876 3223 1 0 3304547 0
[pid=2913/tid=2914] ppid=2912 vsize=13269256 CPUtime=1.44 cores=0,2,4,6,8,10,12,14
/proc/2913/task/2914/stat : 2914 (java) R 2912 2912 8571 0 -1 4202560 6598 0 0 0 139 5 0 0 20 0 20 0 4759707 13587718144 55876 33554432000 4194304 4196468 140722773573088 140087221761592 140087203780128 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 35868672 140722773574844 140722773575020 140722773575020 140722773577679 0
[pid=2913/tid=2916] ppid=2912 vsize=13269256 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/2913/task/2916/stat : 2916 (java) S 2912 2912 8571 0 -1 1077944384 20 0 0 0 1 1 0 0 20 0 20 0 4759708 13587718144 55876 33554432000 4194304 4196468 140722773573088 140087149661200 140087217534677 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35868672 140722773574844 140722773575020 140722773575020 140722773577679 0
[pid=2913/tid=2917] ppid=2912 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/2913/task/2917/stat : 2917 (java) S 2912 2912 8571 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 20 0 4759708 13587718144 55876 33554432000 4194304 4196468 140722773573088 140087148608656 140087217534677 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 35868672 140722773574844 140722773575020 140722773575020 140722773577679 0
[pid=2913/tid=2918] ppid=2912 vsize=13269256 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/2913/task/2918/stat : 2918 (java) S 2912 2912 8571 0 -1 1077944384 19 0 0 0 1 1 0 0 20 0 20 0 4759708 13587718144 55876 33554432000 4194304 4196468 140722773573088 140087147555600 140087217534677 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 35868672 140722773574844 140722773575020 140722773575020 140722773577679 0
[pid=2913/tid=2919] ppid=2912 vsize=13269256 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/2913/task/2919/stat : 2919 (java) S 2912 2912 8571 0 -1 1077944384 11 0 0 0 0 1 0 0 20 0 20 0 4759708 13587718144 55876 33554432000 4194304 4196468 140722773573088 140087146503056 140087217534677 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 35868672 140722773574844 140722773575020 140722773575020 140722773577679 0
[pid=2913/tid=2920] ppid=2912 vsize=13269256 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/2913/task/2920/stat : 2920 (java) S 2912 2912 8571 0 -1 1077944384 14 0 0 0 1 1 0 0 20 0 20 0 4759708 13587718144 55876 33554432000 4194304 4196468 140722773573088 140087145450000 140087217534677 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35868672 140722773574844 140722773575020 140722773575020 140722773577679 0
[pid=2913/tid=2921] ppid=2912 vsize=13269256 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/2913/task/2921/stat : 2921 (java) S 2912 2912 8571 0 -1 1077944384 14 0 0 0 1 1 0 0 20 0 20 0 4759708 13587718144 55876 33554432000 4194304 4196468 140722773573088 140087144397456 140087217534677 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35868672 140722773574844 140722773575020 140722773575020 140722773577679 0
[pid=2913/tid=2922] ppid=2912 vsize=13269256 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/2913/task/2922/stat : 2922 (java) S 2912 2912 8571 0 -1 1077944384 19 0 0 0 0 1 0 0 20 0 20 0 4759708 13587718144 55876 33554432000 4194304 4196468 140722773573088 140087143344400 140087217534677 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 35868672 140722773574844 140722773575020 140722773575020 140722773577679 0
[pid=2913/tid=2923] ppid=2912 vsize=13269256 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/2913/task/2923/stat : 2923 (java) S 2912 2912 8571 0 -1 1077944384 11 0 0 0 1 1 0 0 20 0 20 0 4759708 13587718144 55876 33554432000 4194304 4196468 140722773573088 140087142291856 140087217534677 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 35868672 140722773574844 140722773575020 140722773575020 140722773577679 0
[pid=2913/tid=2924] ppid=2912 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/2913/task/2924/stat : 2924 (java) S 2912 2912 8571 0 -1 1077944384 85 0 0 0 0 0 0 0 20 0 20 0 4759710 13587718144 55876 33554432000 4194304 4196468 140722773573088 140086679562992 140087217535618 0 0 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 35868672 140722773574844 140722773575020 140722773575020 140722773577679 0
[pid=2913/tid=2925] ppid=2912 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/2913/task/2925/stat : 2925 (java) S 2912 2912 8571 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 4759710 13587718144 55876 33554432000 4194304 4196468 140722773573088 140086678509280 140087217534677 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 35868672 140722773574844 140722773575020 140722773575020 140722773577679 0
[pid=2913/tid=2926] ppid=2912 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/2913/task/2926/stat : 2926 (java) S 2912 2912 8571 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 20 0 4759711 13587718144 55876 33554432000 4194304 4196468 140722773573088 140086677456128 140087217534677 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35868672 140722773574844 140722773575020 140722773575020 140722773577679 0
[pid=2913/tid=2927] ppid=2912 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/2913/task/2927/stat : 2927 (java) S 2912 2912 8571 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4759714 13587718144 55876 33554432000 4194304 4196468 140722773573088 140086676404688 140087217543067 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 35868672 140722773574844 140722773575020 140722773575020 140722773577679 0
[pid=2913/tid=2928] ppid=2912 vsize=13269256 CPUtime=0.55 cores=0,2,4,6,8,10,12,14
/proc/2913/task/2928/stat : 2928 (java) R 2912 2912 8571 0 -1 4202560 2400 0 0 0 55 0 0 0 20 0 20 0 4759714 13587718144 55876 33554432000 4194304 4196468 140722773573088 140086675337952 140087199045862 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35868672 140722773574844 140722773575020 140722773575020 140722773577679 0
[pid=2913/tid=2929] ppid=2912 vsize=13269256 CPUtime=0.58 cores=0,2,4,6,8,10,12,14
/proc/2913/task/2929/stat : 2929 (java) R 2912 2912 8571 0 -1 4202560 2231 0 0 0 58 0 0 0 20 0 20 0 4759714 13587718144 55876 33554432000 4194304 4196468 140722773573088 140086674285792 140087203541263 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 35868672 140722773574844 140722773575020 140722773575020 140722773577679 0
[pid=2913/tid=2930] ppid=2912 vsize=13269256 CPUtime=0.55 cores=0,2,4,6,8,10,12,14
/proc/2913/task/2930/stat : 2930 (java) R 2912 2912 8571 0 -1 4202560 2325 0 0 0 55 0 0 0 20 0 20 0 4759714 13587718144 55876 33554432000 4194304 4196468 140722773573088 140086673227208 140087201024874 0 4 0 16800975 0 0 0 -1 8 0 0 5 0 0 6293624 6294260 35868672 140722773574844 140722773575020 140722773575020 140722773577679 0
[pid=2913/tid=2931] ppid=2912 vsize=13269256 CPUtime=0.37 cores=0,2,4,6,8,10,12,14
/proc/2913/task/2931/stat : 2931 (java) S 2912 2912 8571 0 -1 1077944384 1415 0 0 0 36 1 0 0 20 0 20 0 4759714 13587718144 55876 33554432000 4194304 4196468 140722773573088 140086672193648 140087217535618 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 9 0 0 6293624 6294260 35868672 140722773574844 140722773575020 140722773575020 140722773577679 0
[pid=2913/tid=2932] ppid=2912 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/2913/task/2932/stat : 2932 (java) S 2912 2912 8571 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4759714 13587718144 55876 33554432000 4194304 4196468 140722773573088 140086671141856 140087217534677 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 35868672 140722773574844 140722773575020 140722773575020 140722773577679 0
[pid=2913/tid=2933] ppid=2912 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/2913/task/2933/stat : 2933 (java) S 2912 2912 8571 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4759715 13587718144 55876 33554432000 4194304 4196468 140722773573088 140086670089392 140087217535618 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 7 0 0 6293624 6294260 35868672 140722773574844 140722773575020 140722773575020 140722773577679 0
Current children cumulated CPU time (s) 3.73
Current children cumulated vsize (KiB) 13278768
[startup+3.10099 s]
/proc/loadavg: 15.62 14.09 11.91 13/293 2933
/proc/meminfo: memFree=25310352/32770624 swapFree=5884/291220
[pid=2912] ppid=2909 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/2912/stat : 2912 (xcsp3-exec) S 2909 2912 8571 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 4759706 9740288 345 33554432000 4194304 5098028 140728790510752 140728790508856 140394481906300 0 65536 4100 65538 18446744071579417331 0 0 17 10 0 0 0 0 0 7196144 7232144 34545664 140728790512782 140728790512992 140728790512992 140728790515691 0
/proc/2912/statm: 2378 345 289 221 0 87 0
[pid=2913] ppid=2912 vsize=13269256 CPUtime=8.17 cores=0,2,4,6,8,10,12,14
/proc/2913/stat : 2913 (java) S 2912 2912 8571 0 -1 1077944320 22734 0 0 0 754 63 0 0 20 0 20 0 4759706 13587718144 108802 33554432000 4194304 4196468 140722773573088 140722773555632 140087217524471 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 35868672 140722773574844 140722773575020 140722773575020 140722773577679 0
/proc/2913/statm: 3317314 108802 3234 1 0 3304547 0
[pid=2913/tid=2914] ppid=2912 vsize=13269256 CPUtime=2.93 cores=0,2,4,6,8,10,12,14
/proc/2913/task/2914/stat : 2914 (java) R 2912 2912 8571 0 -1 4202560 7045 0 0 0 287 6 0 0 20 0 20 0 4759707 13587718144 108802 33554432000 4194304 4196468 140722773573088 140087221761864 140087202605474 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 35868672 140722773574844 140722773575020 140722773575020 140722773577679 0
[pid=2913/tid=2916] ppid=2912 vsize=13269256 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/2913/task/2916/stat : 2916 (java) S 2912 2912 8571 0 -1 1077944384 58 0 0 0 3 6 0 0 20 0 20 0 4759708 13587718144 108802 33554432000 4194304 4196468 140722773573088 140087149661200 140087217534677 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 35868672 140722773574844 140722773575020 140722773575020 140722773577679 0
[pid=2913/tid=2917] ppid=2912 vsize=13269256 CPUtime=0.07 cores=0,2,4,6,8,10,12,14
/proc/2913/task/2917/stat : 2917 (java) S 2912 2912 8571 0 -1 1077944384 46 0 0 0 2 5 0 0 20 0 20 0 4759708 13587718144 108802 33554432000 4194304 4196468 140722773573088 140087148608656 140087217534677 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35868672 140722773574844 140722773575020 140722773575020 140722773577679 0
[pid=2913/tid=2918] ppid=2912 vsize=13269256 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/2913/task/2918/stat : 2918 (java) S 2912 2912 8571 0 -1 1077944384 78 0 0 0 4 8 0 0 20 0 20 0 4759708 13587718144 108802 33554432000 4194304 4196468 140722773573088 140087147555600 140087217534677 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 35868672 140722773574844 140722773575020 140722773575020 140722773577679 0
[pid=2913/tid=2919] ppid=2912 vsize=13269256 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/2913/task/2919/stat : 2919 (java) S 2912 2912 8571 0 -1 1077944384 66 0 0 0 4 5 0 0 20 0 20 0 4759708 13587718144 108802 33554432000 4194304 4196468 140722773573088 140087146503056 140087217534677 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 35868672 140722773574844 140722773575020 140722773575020 140722773577679 0
[pid=2913/tid=2920] ppid=2912 vsize=13269256 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/2913/task/2920/stat : 2920 (java) S 2912 2912 8571 0 -1 1077944384 71 0 0 0 5 7 0 0 20 0 20 0 4759708 13587718144 108802 33554432000 4194304 4196468 140722773573088 140087145450000 140087217534677 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35868672 140722773574844 140722773575020 140722773575020 140722773577679 0
[pid=2913/tid=2921] ppid=2912 vsize=13269256 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/2913/task/2921/stat : 2921 (java) S 2912 2912 8571 0 -1 1077944384 64 0 0 0 4 6 0 0 20 0 20 0 4759708 13587718144 108802 33554432000 4194304 4196468 140722773573088 140087144397456 140087217534677 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 35868672 140722773574844 140722773575020 140722773575020 140722773577679 0
[pid=2913/tid=2922] ppid=2912 vsize=13269256 CPUtime=0.08 cores=0,2,4,6,8,10,12,14
/proc/2913/task/2922/stat : 2922 (java) S 2912 2912 8571 0 -1 1077944384 56 0 0 0 2 6 0 0 20 0 20 0 4759708 13587718144 108802 33554432000 4194304 4196468 140722773573088 140087143344400 140087217534677 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35868672 140722773574844 140722773575020 140722773575020 140722773577679 0
[pid=2913/tid=2923] ppid=2912 vsize=13269256 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/2913/task/2923/stat : 2923 (java) S 2912 2912 8571 0 -1 1077944384 55 0 0 0 3 7 0 0 20 0 20 0 4759708 13587718144 108802 33554432000 4194304 4196468 140722773573088 140087142291856 140087217534677 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35868672 140722773574844 140722773575020 140722773575020 140722773577679 0
[pid=2913/tid=2924] ppid=2912 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/2913/task/2924/stat : 2924 (java) S 2912 2912 8571 0 -1 1077944384 250 0 0 0 0 0 0 0 20 0 20 0 4759710 13587718144 108802 33554432000 4194304 4196468 140722773573088 140086679562992 140087217535618 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35868672 140722773574844 140722773575020 140722773575020 140722773577679 0
[pid=2913/tid=2925] ppid=2912 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/2913/task/2925/stat : 2925 (java) S 2912 2912 8571 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 4759710 13587718144 108802 33554432000 4194304 4196468 140722773573088 140086678509280 140087217534677 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 35868672 140722773574844 140722773575020 140722773575020 140722773577679 0
[pid=2913/tid=2926] ppid=2912 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/2913/task/2926/stat : 2926 (java) S 2912 2912 8571 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 20 0 4759711 13587718144 108802 33554432000 4194304 4196468 140722773573088 140086677456128 140087217534677 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35868672 140722773574844 140722773575020 140722773575020 140722773577679 0
[pid=2913/tid=2927] ppid=2912 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/2913/task/2927/stat : 2927 (java) S 2912 2912 8571 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4759714 13587718144 108802 33554432000 4194304 4196468 140722773573088 140086676404688 140087217543067 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 35868672 140722773574844 140722773575020 140722773575020 140722773577679 0
[pid=2913/tid=2928] ppid=2912 vsize=13269256 CPUtime=1.25 cores=0,2,4,6,8,10,12,14
/proc/2913/task/2928/stat : 2928 (java) S 2912 2912 8571 0 -1 1077944384 2904 0 0 0 125 0 0 0 20 0 20 0 4759714 13587718144 108802 33554432000 4194304 4196468 140722773573088 140086675351792 140087217535618 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35868672 140722773574844 140722773575020 140722773575020 140722773577679 0
[pid=2913/tid=2929] ppid=2912 vsize=13269256 CPUtime=1.16 cores=0,2,4,6,8,10,12,14
/proc/2913/task/2929/stat : 2929 (java) S 2912 2912 8571 0 -1 1077944384 2302 0 0 0 116 0 0 0 20 0 20 0 4759714 13587718144 108802 33554432000 4194304 4196468 140722773573088 140086674299248 140087217535618 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 35868672 140722773574844 140722773575020 140722773575020 140722773577679 0
[pid=2913/tid=2930] ppid=2912 vsize=13269256 CPUtime=1.45 cores=0,2,4,6,8,10,12,14
/proc/2913/task/2930/stat : 2930 (java) S 2912 2912 8571 0 -1 1077944384 6819 0 0 0 145 0 0 0 20 0 20 0 4759714 13587718144 108802 33554432000 4194304 4196468 140722773573088 140086673246192 140087217535618 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 5 0 0 6293624 6294260 35868672 140722773574844 140722773575020 140722773575020 140722773577679 0
[pid=2913/tid=2931] ppid=2912 vsize=13269256 CPUtime=0.48 cores=0,2,4,6,8,10,12,14
/proc/2913/task/2931/stat : 2931 (java) S 2912 2912 8571 0 -1 1077944384 1622 0 0 0 47 1 0 0 20 0 20 0 4759714 13587718144 108802 33554432000 4194304 4196468 140722773573088 140086672193648 140087217535618 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 9 0 0 6293624 6294260 35868672 140722773574844 140722773575020 140722773575020 140722773577679 0
[pid=2913/tid=2932] ppid=2912 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/2913/task/2932/stat : 2932 (java) S 2912 2912 8571 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4759714 13587718144 108802 33554432000 4194304 4196468 140722773573088 140086671141856 140087217534677 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 35868672 140722773574844 140722773575020 140722773575020 140722773577679 0
[pid=2913/tid=2933] ppid=2912 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/2913/task/2933/stat : 2933 (java) S 2912 2912 8571 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4759715 13587718144 108802 33554432000 4194304 4196468 140722773573088 140086670089392 140087217535618 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 7 0 0 6293624 6294260 35868672 140722773574844 140722773575020 140722773575020 140722773577679 0
Current children cumulated CPU time (s) 8.17
Current children cumulated vsize (KiB) 13278768
[startup+6.30117 s]
/proc/loadavg: 15.09 14.01 11.90 10/293 2933
/proc/meminfo: memFree=24798884/32770624 swapFree=5884/291220
[pid=2912] ppid=2909 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/2912/stat : 2912 (xcsp3-exec) S 2909 2912 8571 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 4759706 9740288 345 33554432000 4194304 5098028 140728790510752 140728790508856 140394481906300 0 65536 4100 65538 18446744071579417331 0 0 17 10 0 0 0 0 0 7196144 7232144 34545664 140728790512782 140728790512992 140728790512992 140728790515691 0
/proc/2912/statm: 2378 345 289 221 0 87 0
[pid=2913] ppid=2912 vsize=13269256 CPUtime=13.31 cores=0,2,4,6,8,10,12,14
/proc/2913/stat : 2913 (java) S 2912 2912 8571 0 -1 1077944320 29632 0 0 0 1148 183 0 0 20 0 20 0 4759706 13587718144 236006 33554432000 4194304 4196468 140722773573088 140722773555632 140087217524471 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 35868672 140722773574844 140722773575020 140722773575020 140722773577679 0
/proc/2913/statm: 3317314 236006 3244 1 0 3304547 0
[pid=2913/tid=2914] ppid=2912 vsize=13269256 CPUtime=5.9 cores=0,2,4,6,8,10,12,14
/proc/2913/task/2914/stat : 2914 (java) R 2912 2912 8571 0 -1 4202560 8752 0 0 0 581 9 0 0 20 0 20 0 4759707 13587718144 236006 33554432000 4194304 4196468 140722773573088 140087221759272 140086820358688 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 35868672 140722773574844 140722773575020 140722773575020 140722773577679 0
[pid=2913/tid=2916] ppid=2912 vsize=13269256 CPUtime=0.3 cores=0,2,4,6,8,10,12,14
/proc/2913/task/2916/stat : 2916 (java) S 2912 2912 8571 0 -1 1077944384 189 0 0 0 9 21 0 0 20 0 20 0 4759708 13587718144 236006 33554432000 4194304 4196468 140722773573088 140087149661200 140087217534677 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35868672 140722773574844 140722773575020 140722773575020 140722773577679 0
[pid=2913/tid=2917] ppid=2912 vsize=13269256 CPUtime=0.29 cores=0,2,4,6,8,10,12,14
/proc/2913/task/2917/stat : 2917 (java) S 2912 2912 8571 0 -1 1077944384 433 0 0 0 10 19 0 0 20 0 20 0 4759708 13587718144 236006 33554432000 4194304 4196468 140722773573088 140087148608656 140087217534677 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 35868672 140722773574844 140722773575020 140722773575020 140722773577679 0
[pid=2913/tid=2918] ppid=2912 vsize=13269256 CPUtime=0.33 cores=0,2,4,6,8,10,12,14
/proc/2913/task/2918/stat : 2918 (java) S 2912 2912 8571 0 -1 1077944384 188 0 0 0 10 23 0 0 20 0 20 0 4759708 13587718144 236006 33554432000 4194304 4196468 140722773573088 140087147555600 140087217534677 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35868672 140722773574844 140722773575020 140722773575020 140722773577679 0
[pid=2913/tid=2919] ppid=2912 vsize=13269256 CPUtime=0.31 cores=0,2,4,6,8,10,12,14
/proc/2913/task/2919/stat : 2919 (java) S 2912 2912 8571 0 -1 1077944384 271 0 0 0 11 20 0 0 20 0 20 0 4759708 13587718144 236006 33554432000 4194304 4196468 140722773573088 140087146503056 140087217534677 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35868672 140722773574844 140722773575020 140722773575020 140722773577679 0
[pid=2913/tid=2920] ppid=2912 vsize=13269256 CPUtime=0.34 cores=0,2,4,6,8,10,12,14
/proc/2913/task/2920/stat : 2920 (java) S 2912 2912 8571 0 -1 1077944384 192 0 0 0 12 22 0 0 20 0 20 0 4759708 13587718144 236006 33554432000 4194304 4196468 140722773573088 140087145450000 140087217534677 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 35868672 140722773574844 140722773575020 140722773575020 140722773577679 0
[pid=2913/tid=2921] ppid=2912 vsize=13269256 CPUtime=0.31 cores=0,2,4,6,8,10,12,14
/proc/2913/task/2921/stat : 2921 (java) S 2912 2912 8571 0 -1 1077944384 156 0 0 0 12 19 0 0 20 0 20 0 4759708 13587718144 236006 33554432000 4194304 4196468 140722773573088 140087144397456 140087217534677 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 35868672 140722773574844 140722773575020 140722773575020 140722773577679 0
[pid=2913/tid=2922] ppid=2912 vsize=13269256 CPUtime=0.29 cores=0,2,4,6,8,10,12,14
/proc/2913/task/2922/stat : 2922 (java) S 2912 2912 8571 0 -1 1077944384 255 0 0 0 10 19 0 0 20 0 20 0 4759708 13587718144 236006 33554432000 4194304 4196468 140722773573088 140087143344400 140087217534677 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 35868672 140722773574844 140722773575020 140722773575020 140722773577679 0
[pid=2913/tid=2923] ppid=2912 vsize=13269256 CPUtime=0.3 cores=0,2,4,6,8,10,12,14
/proc/2913/task/2923/stat : 2923 (java) S 2912 2912 8571 0 -1 1077944384 150 0 0 0 9 21 0 0 20 0 20 0 4759708 13587718144 236006 33554432000 4194304 4196468 140722773573088 140087142291856 140087217534677 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35868672 140722773574844 140722773575020 140722773575020 140722773577679 0
[pid=2913/tid=2924] ppid=2912 vsize=13269256 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/2913/task/2924/stat : 2924 (java) S 2912 2912 8571 0 -1 1077944384 726 0 0 0 1 0 0 0 20 0 20 0 4759710 13587718144 236006 33554432000 4194304 4196468 140722773573088 140086679562992 140087217535618 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35868672 140722773574844 140722773575020 140722773575020 140722773577679 0
[pid=2913/tid=2925] ppid=2912 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/2913/task/2925/stat : 2925 (java) S 2912 2912 8571 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 20 0 4759710 13587718144 236006 33554432000 4194304 4196468 140722773573088 140086678509280 140087217534677 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35868672 140722773574844 140722773575020 140722773575020 140722773577679 0
[pid=2913/tid=2926] ppid=2912 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/2913/task/2926/stat : 2926 (java) S 2912 2912 8571 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 20 0 4759711 13587718144 236006 33554432000 4194304 4196468 140722773573088 140086677456128 140087217534677 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35868672 140722773574844 140722773575020 140722773575020 140722773577679 0
[pid=2913/tid=2927] ppid=2912 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/2913/task/2927/stat : 2927 (java) S 2912 2912 8571 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4759714 13587718144 236006 33554432000 4194304 4196468 140722773573088 140086676404688 140087217543067 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 35868672 140722773574844 140722773575020 140722773575020 140722773577679 0
################
# More data... #
################
[pid=2913/tid=2940] ppid=2912 vsize=13801768 CPUtime=207.36 cores=0,2,4,6,8,10,12,14
/proc/2913/task/2940/stat : 2940 (java) R 2912 2912 8571 0 -1 4202560 11433 0 0 0 20732 4 0 0 20 0 28 0 4760890 14133010432 960275 33554432000 4194304 4196468 140722773573088 140086386425640 140086824902146 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 35868672 140722773574844 140722773575020 140722773575020 140722773577679 0
[pid=2913/tid=2941] ppid=2912 vsize=13801768 CPUtime=207.03 cores=0,2,4,6,8,10,12,14
/proc/2913/task/2941/stat : 2941 (java) R 2912 2912 8571 0 -1 4202560 2179 0 0 0 20701 2 0 0 20 0 28 0 4760890 14133010432 960275 33554432000 4194304 4196468 140722773573088 140086385373640 140086824900771 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 35868672 140722773574844 140722773575020 140722773575020 140722773577679 0
Current children cumulated CPU time (s) 1693.93
Current children cumulated vsize (KiB) 13811280
[startup+282.301 s]
/proc/loadavg: 16.16 15.26 12.96 17/299 3096
/proc/meminfo: memFree=27407840/32770624 swapFree=5884/291600
[pid=2912] ppid=2909 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/2912/stat : 2912 (xcsp3-exec) S 2909 2912 8571 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 4759706 9740288 345 33554432000 4194304 5098028 140728790510752 140728790508856 140394481906300 0 65536 4100 65538 18446744071579417331 0 0 17 10 0 0 0 0 0 7196144 7232144 34545664 140728790512782 140728790512992 140728790512992 140728790515691 0
/proc/2912/statm: 2378 345 289 221 0 87 0
[pid=2913] ppid=2912 vsize=13801768 CPUtime=2171.86 cores=0,2,4,6,8,10,12,14
/proc/2913/stat : 2913 (java) S 2912 2912 8571 0 -1 1077944320 213518 0 0 0 216424 762 0 0 20 0 28 0 4759706 14133010432 1062218 33554432000 4194304 4196468 140722773573088 140722773555632 140087217524471 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 35868672 140722773574844 140722773575020 140722773575020 140722773577679 0
/proc/2913/statm: 3450442 1062218 3297 1 0 3437675 0
[pid=2913/tid=2914] ppid=2912 vsize=13801768 CPUtime=11.08 cores=0,2,4,6,8,10,12,14
/proc/2913/task/2914/stat : 2914 (java) S 2912 2912 8571 0 -1 1077944384 9866 0 0 0 1094 14 0 0 20 0 28 0 4759707 14133010432 1062218 33554432000 4194304 4196468 140722773573088 140087221765248 140087217534677 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35868672 140722773574844 140722773575020 140722773575020 140722773577679 0
[pid=2913/tid=2916] ppid=2912 vsize=13801768 CPUtime=1.8 cores=0,2,4,6,8,10,12,14
/proc/2913/task/2916/stat : 2916 (java) S 2912 2912 8571 0 -1 1077944384 3442 0 0 0 94 86 0 0 20 0 28 0 4759708 14133010432 1062218 33554432000 4194304 4196468 140722773573088 140087149661200 140087217534677 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 35868672 140722773574844 140722773575020 140722773575020 140722773577679 0
[pid=2913/tid=2917] ppid=2912 vsize=13801768 CPUtime=1.78 cores=0,2,4,6,8,10,12,14
/proc/2913/task/2917/stat : 2917 (java) S 2912 2912 8571 0 -1 1077944384 6034 0 0 0 98 80 0 0 20 0 28 0 4759708 14133010432 1062218 33554432000 4194304 4196468 140722773573088 140087148608656 140087217534677 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35868672 140722773574844 140722773575020 140722773575020 140722773577679 0
[pid=2913/tid=2918] ppid=2912 vsize=13801768 CPUtime=1.83 cores=0,2,4,6,8,10,12,14
/proc/2913/task/2918/stat : 2918 (java) S 2912 2912 8571 0 -1 1077944384 5869 0 0 0 93 90 0 0 20 0 28 0 4759708 14133010432 1062218 33554432000 4194304 4196468 140722773573088 140087147555600 140087217534677 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35868672 140722773574844 140722773575020 140722773575020 140722773577679 0
[pid=2913/tid=2919] ppid=2912 vsize=13801768 CPUtime=1.79 cores=0,2,4,6,8,10,12,14
/proc/2913/task/2919/stat : 2919 (java) S 2912 2912 8571 0 -1 1077944384 4562 0 0 0 90 89 0 0 20 0 28 0 4759708 14133010432 1062218 33554432000 4194304 4196468 140722773573088 140087146503056 140087217534677 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35868672 140722773574844 140722773575020 140722773575020 140722773577679 0
[pid=2913/tid=2920] ppid=2912 vsize=13801768 CPUtime=1.81 cores=0,2,4,6,8,10,12,14
/proc/2913/task/2920/stat : 2920 (java) S 2912 2912 8571 0 -1 1077944384 5378 0 0 0 92 89 0 0 20 0 28 0 4759708 14133010432 1062218 33554432000 4194304 4196468 140722773573088 140087145450000 140087217534677 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 35868672 140722773574844 140722773575020 140722773575020 140722773577679 0
[pid=2913/tid=2921] ppid=2912 vsize=13801768 CPUtime=1.83 cores=0,2,4,6,8,10,12,14
/proc/2913/task/2921/stat : 2921 (java) S 2912 2912 8571 0 -1 1077944384 4099 0 0 0 98 85 0 0 20 0 28 0 4759708 14133010432 1062218 33554432000 4194304 4196468 140722773573088 140087144397456 140087217534677 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 35868672 140722773574844 140722773575020 140722773575020 140722773577679 0
[pid=2913/tid=2922] ppid=2912 vsize=13801768 CPUtime=1.76 cores=0,2,4,6,8,10,12,14
/proc/2913/task/2922/stat : 2922 (java) S 2912 2912 8571 0 -1 1077944384 9590 0 0 0 89 87 0 0 20 0 28 0 4759708 14133010432 1062218 33554432000 4194304 4196468 140722773573088 140087143344400 140087217534677 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 35868672 140722773574844 140722773575020 140722773575020 140722773577679 0
[pid=2913/tid=2923] ppid=2912 vsize=13801768 CPUtime=1.79 cores=0,2,4,6,8,10,12,14
/proc/2913/task/2923/stat : 2923 (java) S 2912 2912 8571 0 -1 1077944384 4962 0 0 0 90 89 0 0 20 0 28 0 4759708 14133010432 1062218 33554432000 4194304 4196468 140722773573088 140087142291856 140087217534677 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35868672 140722773574844 140722773575020 140722773575020 140722773577679 0
[pid=2913/tid=2924] ppid=2912 vsize=13801768 CPUtime=0.64 cores=0,2,4,6,8,10,12,14
/proc/2913/task/2924/stat : 2924 (java) S 2912 2912 8571 0 -1 1077944384 9854 0 0 0 60 4 0 0 20 0 28 0 4759710 14133010432 1062218 33554432000 4194304 4196468 140722773573088 140086679562992 140087217535618 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35868672 140722773574844 140722773575020 140722773575020 140722773577679 0
[pid=2913/tid=2925] ppid=2912 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/2913/task/2925/stat : 2925 (java) S 2912 2912 8571 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 28 0 4759710 14133010432 1062218 33554432000 4194304 4196468 140722773573088 140086678509280 140087217534677 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35868672 140722773574844 140722773575020 140722773575020 140722773577679 0
[pid=2913/tid=2926] ppid=2912 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/2913/task/2926/stat : 2926 (java) S 2912 2912 8571 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 28 0 4759711 14133010432 1062218 33554432000 4194304 4196468 140722773573088 140086677456128 140087217534677 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35868672 140722773574844 140722773575020 140722773575020 140722773577679 0
[pid=2913/tid=2927] ppid=2912 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/2913/task/2927/stat : 2927 (java) S 2912 2912 8571 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4759714 14133010432 1062218 33554432000 4194304 4196468 140722773573088 140086676404688 140087217543067 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 35868672 140722773574844 140722773575020 140722773575020 140722773577679 0
[pid=2913/tid=2928] ppid=2912 vsize=13801768 CPUtime=3.44 cores=0,2,4,6,8,10,12,14
/proc/2913/task/2928/stat : 2928 (java) S 2912 2912 8571 0 -1 1077944384 15686 0 0 0 342 2 0 0 20 0 28 0 4759714 14133010432 1062218 33554432000 4194304 4196468 140722773573088 140086675351792 140087217535618 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 35868672 140722773574844 140722773575020 140722773575020 140722773577679 0
[pid=2913/tid=2929] ppid=2912 vsize=13801768 CPUtime=3.38 cores=0,2,4,6,8,10,12,14
/proc/2913/task/2929/stat : 2929 (java) S 2912 2912 8571 0 -1 1077944384 14158 0 0 0 336 2 0 0 20 0 28 0 4759714 14133010432 1062218 33554432000 4194304 4196468 140722773573088 140086674299248 140087217535618 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35868672 140722773574844 140722773575020 140722773575020 140722773577679 0
[pid=2913/tid=2930] ppid=2912 vsize=13801768 CPUtime=3.79 cores=0,2,4,6,8,10,12,14
/proc/2913/task/2930/stat : 2930 (java) S 2912 2912 8571 0 -1 1077944384 15819 0 0 0 378 1 0 0 20 0 28 0 4759714 14133010432 1062218 33554432000 4194304 4196468 140722773573088 140086673246192 140087217535618 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 5 0 0 6293624 6294260 35868672 140722773574844 140722773575020 140722773575020 140722773577679 0
[pid=2913/tid=2931] ppid=2912 vsize=13801768 CPUtime=0.98 cores=0,2,4,6,8,10,12,14
/proc/2913/task/2931/stat : 2931 (java) S 2912 2912 8571 0 -1 1077944384 9916 0 0 0 95 3 0 0 20 0 28 0 4759714 14133010432 1062218 33554432000 4194304 4196468 140722773573088 140086672193648 140087217535618 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 9 0 0 6293624 6294260 35868672 140722773574844 140722773575020 140722773575020 140722773577679 0
[pid=2913/tid=2932] ppid=2912 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/2913/task/2932/stat : 2932 (java) S 2912 2912 8571 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4759714 14133010432 1062218 33554432000 4194304 4196468 140722773573088 140086671141856 140087217534677 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 35868672 140722773574844 140722773575020 140722773575020 140722773577679 0
[pid=2913/tid=2933] ppid=2912 vsize=13801768 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/2913/task/2933/stat : 2933 (java) S 2912 2912 8571 0 -1 1077944384 1130 0 0 0 7 5 0 0 20 0 28 0 4759715 14133010432 1062218 33554432000 4194304 4196468 140722773573088 140086670089392 140087217535618 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 7 0 0 6293624 6294260 35868672 140722773574844 140722773575020 140722773575020 140722773577679 0
[pid=2913/tid=2934] ppid=2912 vsize=13801768 CPUtime=267.39 cores=0,2,4,6,8,10,12,14
/proc/2913/task/2934/stat : 2934 (java) R 2912 2912 8571 0 -1 4202560 24127 0 0 0 26733 6 0 0 20 0 28 0 4760890 14133010432 1062218 33554432000 4194304 4196468 140722773573088 140086668528424 140086824902236 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35868672 140722773574844 140722773575020 140722773575020 140722773577679 0
[pid=2913/tid=2935] ppid=2912 vsize=13801768 CPUtime=267.48 cores=0,2,4,6,8,10,12,14
/proc/2913/task/2935/stat : 2935 (java) R 2912 2912 8571 0 -1 4202560 8390 0 0 0 26744 4 0 0 20 0 28 0 4760890 14133010432 1062218 33554432000 4194304 4196468 140722773573088 140086391692112 140086824280913 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35868672 140722773574844 140722773575020 140722773575020 140722773577679 0
[pid=2913/tid=2936] ppid=2912 vsize=13801768 CPUtime=264.93 cores=0,2,4,6,8,10,12,14
/proc/2913/task/2936/stat : 2936 (java) R 2912 2912 8571 0 -1 4202560 11347 0 0 0 26488 5 0 0 20 0 28 0 4760890 14133010432 1062218 33554432000 4194304 4196468 140722773573088 140086390636184 140086825168036 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 35868672 140722773574844 140722773575020 140722773575020 140722773577679 0
[pid=2913/tid=2937] ppid=2912 vsize=13801768 CPUtime=267.66 cores=0,2,4,6,8,10,12,14
/proc/2913/task/2937/stat : 2937 (java) R 2912 2912 8571 0 -1 4202560 10651 0 0 0 26763 3 0 0 20 0 28 0 4760890 14133010432 1062218 33554432000 4194304 4196468 140722773573088 140086389583816 140086824902146 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 35868672 140722773574844 140722773575020 140722773575020 140722773577679 0
[pid=2913/tid=2938] ppid=2912 vsize=13801768 CPUtime=266.47 cores=0,2,4,6,8,10,12,14
/proc/2913/task/2938/stat : 2938 (java) R 2912 2912 8571 0 -1 4202560 11297 0 0 0 26646 1 0 0 20 0 28 0 4760890 14133010432 1062218 33554432000 4194304 4196468 140722773573088 140086388531016 140086825168036 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 35868672 140722773574844 140722773575020 140722773575020 140722773577679 0
[pid=2913/tid=2939] ppid=2912 vsize=13801768 CPUtime=266.41 cores=0,2,4,6,8,10,12,14
/proc/2913/task/2939/stat : 2939 (java) R 2912 2912 8571 0 -1 4202560 9259 0 0 0 26638 3 0 0 20 0 28 0 4760890 14133010432 1062218 33554432000 4194304 4196468 140722773573088 140086387478216 140086824902164 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35868672 140722773574844 140722773575020 140722773575020 140722773577679 0
[pid=2913/tid=2940] ppid=2912 vsize=13801768 CPUtime=267.17 cores=0,2,4,6,8,10,12,14
/proc/2913/task/2940/stat : 2940 (java) R 2912 2912 8571 0 -1 4202560 13683 0 0 0 26713 4 0 0 20 0 28 0 4760890 14133010432 1062218 33554432000 4194304 4196468 140722773573088 140086386425640 140086824902135 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 35868672 140722773574844 140722773575020 140722773575020 140722773577679 0
[pid=2913/tid=2941] ppid=2912 vsize=13801768 CPUtime=266.31 cores=0,2,4,6,8,10,12,14
/proc/2913/task/2941/stat : 2941 (java) R 2912 2912 8571 0 -1 4202560 3066 0 0 0 26628 3 0 0 20 0 28 0 4760890 14133010432 1062218 33554432000 4194304 4196468 140722773573088 140086385373392 140086824358613 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 35868672 140722773574844 140722773575020 140722773575020 140722773577679 0
Current children cumulated CPU time (s) 2171.86
Current children cumulated vsize (KiB) 13811280
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+311.001 s]
/proc/loadavg: 16.17 15.34 13.06 17/299 3096
/proc/meminfo: memFree=27362448/32770624 swapFree=5884/291620
[pid=2912] ppid=2909 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/2912/stat : 2912 (xcsp3-exec) S 2909 2912 8571 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 4759706 9740288 345 33554432000 4194304 5098028 140728790510752 140728790508856 140394481906300 0 65536 4100 65538 18446744071579417331 0 0 17 10 0 0 0 0 0 7196144 7232144 34545664 140728790512782 140728790512992 140728790512992 140728790515691 0
/proc/2912/statm: 2378 345 289 221 0 87 0
[pid=2913] ppid=2912 vsize=13801768 CPUtime=2400.54 cores=0,2,4,6,8,10,12,14
/proc/2913/stat : 2913 (java) S 2912 2912 8571 0 -1 1077944320 218467 0 0 0 239291 763 0 0 20 0 28 0 4759706 14133010432 1062218 33554432000 4194304 4196468 140722773573088 140722773555632 140087217524471 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 35868672 140722773574844 140722773575020 140722773575020 140722773577679 0
/proc/2913/statm: 3450442 1062218 3297 1 0 3437675 0
[pid=2913/tid=2914] ppid=2912 vsize=13801768 CPUtime=11.08 cores=0,2,4,6,8,10,12,14
/proc/2913/task/2914/stat : 2914 (java) S 2912 2912 8571 0 -1 1077944384 9866 0 0 0 1094 14 0 0 20 0 28 0 4759707 14133010432 1062218 33554432000 4194304 4196468 140722773573088 140087221765248 140087217534677 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35868672 140722773574844 140722773575020 140722773575020 140722773577679 0
[pid=2913/tid=2916] ppid=2912 vsize=13801768 CPUtime=1.8 cores=0,2,4,6,8,10,12,14
/proc/2913/task/2916/stat : 2916 (java) S 2912 2912 8571 0 -1 1077944384 3442 0 0 0 94 86 0 0 20 0 28 0 4759708 14133010432 1062218 33554432000 4194304 4196468 140722773573088 140087149661200 140087217534677 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 35868672 140722773574844 140722773575020 140722773575020 140722773577679 0
[pid=2913/tid=2917] ppid=2912 vsize=13801768 CPUtime=1.78 cores=0,2,4,6,8,10,12,14
/proc/2913/task/2917/stat : 2917 (java) S 2912 2912 8571 0 -1 1077944384 6034 0 0 0 98 80 0 0 20 0 28 0 4759708 14133010432 1062218 33554432000 4194304 4196468 140722773573088 140087148608656 140087217534677 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35868672 140722773574844 140722773575020 140722773575020 140722773577679 0
[pid=2913/tid=2918] ppid=2912 vsize=13801768 CPUtime=1.83 cores=0,2,4,6,8,10,12,14
/proc/2913/task/2918/stat : 2918 (java) S 2912 2912 8571 0 -1 1077944384 5869 0 0 0 93 90 0 0 20 0 28 0 4759708 14133010432 1062218 33554432000 4194304 4196468 140722773573088 140087147555600 140087217534677 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35868672 140722773574844 140722773575020 140722773575020 140722773577679 0
[pid=2913/tid=2919] ppid=2912 vsize=13801768 CPUtime=1.79 cores=0,2,4,6,8,10,12,14
/proc/2913/task/2919/stat : 2919 (java) S 2912 2912 8571 0 -1 1077944384 4562 0 0 0 90 89 0 0 20 0 28 0 4759708 14133010432 1062218 33554432000 4194304 4196468 140722773573088 140087146503056 140087217534677 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35868672 140722773574844 140722773575020 140722773575020 140722773577679 0
[pid=2913/tid=2920] ppid=2912 vsize=13801768 CPUtime=1.81 cores=0,2,4,6,8,10,12,14
/proc/2913/task/2920/stat : 2920 (java) S 2912 2912 8571 0 -1 1077944384 5378 0 0 0 92 89 0 0 20 0 28 0 4759708 14133010432 1062218 33554432000 4194304 4196468 140722773573088 140087145450000 140087217534677 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 35868672 140722773574844 140722773575020 140722773575020 140722773577679 0
[pid=2913/tid=2921] ppid=2912 vsize=13801768 CPUtime=1.83 cores=0,2,4,6,8,10,12,14
/proc/2913/task/2921/stat : 2921 (java) S 2912 2912 8571 0 -1 1077944384 4099 0 0 0 98 85 0 0 20 0 28 0 4759708 14133010432 1062218 33554432000 4194304 4196468 140722773573088 140087144397456 140087217534677 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 35868672 140722773574844 140722773575020 140722773575020 140722773577679 0
[pid=2913/tid=2922] ppid=2912 vsize=13801768 CPUtime=1.76 cores=0,2,4,6,8,10,12,14
/proc/2913/task/2922/stat : 2922 (java) S 2912 2912 8571 0 -1 1077944384 9590 0 0 0 89 87 0 0 20 0 28 0 4759708 14133010432 1062218 33554432000 4194304 4196468 140722773573088 140087143344400 140087217534677 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 35868672 140722773574844 140722773575020 140722773575020 140722773577679 0
[pid=2913/tid=2923] ppid=2912 vsize=13801768 CPUtime=1.79 cores=0,2,4,6,8,10,12,14
/proc/2913/task/2923/stat : 2923 (java) S 2912 2912 8571 0 -1 1077944384 4962 0 0 0 90 89 0 0 20 0 28 0 4759708 14133010432 1062218 33554432000 4194304 4196468 140722773573088 140087142291856 140087217534677 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35868672 140722773574844 140722773575020 140722773575020 140722773577679 0
[pid=2913/tid=2924] ppid=2912 vsize=13801768 CPUtime=0.64 cores=0,2,4,6,8,10,12,14
/proc/2913/task/2924/stat : 2924 (java) S 2912 2912 8571 0 -1 1077944384 9854 0 0 0 60 4 0 0 20 0 28 0 4759710 14133010432 1062218 33554432000 4194304 4196468 140722773573088 140086679562992 140087217535618 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35868672 140722773574844 140722773575020 140722773575020 140722773577679 0
[pid=2913/tid=2925] ppid=2912 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/2913/task/2925/stat : 2925 (java) S 2912 2912 8571 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 28 0 4759710 14133010432 1062218 33554432000 4194304 4196468 140722773573088 140086678509280 140087217534677 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35868672 140722773574844 140722773575020 140722773575020 140722773577679 0
[pid=2913/tid=2926] ppid=2912 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/2913/task/2926/stat : 2926 (java) S 2912 2912 8571 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 28 0 4759711 14133010432 1062218 33554432000 4194304 4196468 140722773573088 140086677456128 140087217534677 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35868672 140722773574844 140722773575020 140722773575020 140722773577679 0
[pid=2913/tid=2927] ppid=2912 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/2913/task/2927/stat : 2927 (java) S 2912 2912 8571 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4759714 14133010432 1062218 33554432000 4194304 4196468 140722773573088 140086676404688 140087217543067 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 35868672 140722773574844 140722773575020 140722773575020 140722773577679 0
[pid=2913/tid=2928] ppid=2912 vsize=13801768 CPUtime=3.44 cores=0,2,4,6,8,10,12,14
/proc/2913/task/2928/stat : 2928 (java) S 2912 2912 8571 0 -1 1077944384 15686 0 0 0 342 2 0 0 20 0 28 0 4759714 14133010432 1062218 33554432000 4194304 4196468 140722773573088 140086675351792 140087217535618 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 35868672 140722773574844 140722773575020 140722773575020 140722773577679 0
[pid=2913/tid=2929] ppid=2912 vsize=13801768 CPUtime=3.38 cores=0,2,4,6,8,10,12,14
/proc/2913/task/2929/stat : 2929 (java) S 2912 2912 8571 0 -1 1077944384 14158 0 0 0 336 2 0 0 20 0 28 0 4759714 14133010432 1062218 33554432000 4194304 4196468 140722773573088 140086674299248 140087217535618 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35868672 140722773574844 140722773575020 140722773575020 140722773577679 0
[pid=2913/tid=2930] ppid=2912 vsize=13801768 CPUtime=3.79 cores=0,2,4,6,8,10,12,14
/proc/2913/task/2930/stat : 2930 (java) S 2912 2912 8571 0 -1 1077944384 15819 0 0 0 378 1 0 0 20 0 28 0 4759714 14133010432 1062218 33554432000 4194304 4196468 140722773573088 140086673246192 140087217535618 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 5 0 0 6293624 6294260 35868672 140722773574844 140722773575020 140722773575020 140722773577679 0
[pid=2913/tid=2931] ppid=2912 vsize=13801768 CPUtime=0.98 cores=0,2,4,6,8,10,12,14
/proc/2913/task/2931/stat : 2931 (java) S 2912 2912 8571 0 -1 1077944384 9916 0 0 0 95 3 0 0 20 0 28 0 4759714 14133010432 1062218 33554432000 4194304 4196468 140722773573088 140086672193648 140087217535618 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 9 0 0 6293624 6294260 35868672 140722773574844 140722773575020 140722773575020 140722773577679 0
[pid=2913/tid=2932] ppid=2912 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/2913/task/2932/stat : 2932 (java) S 2912 2912 8571 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4759714 14133010432 1062218 33554432000 4194304 4196468 140722773573088 140086671141856 140087217534677 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 35868672 140722773574844 140722773575020 140722773575020 140722773577679 0
[pid=2913/tid=2933] ppid=2912 vsize=13801768 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/2913/task/2933/stat : 2933 (java) S 2912 2912 8571 0 -1 1077944384 1132 0 0 0 8 5 0 0 20 0 28 0 4759715 14133010432 1062218 33554432000 4194304 4196468 140722773573088 140086670089392 140087217535618 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 7 0 0 6293624 6294260 35868672 140722773574844 140722773575020 140722773575020 140722773577679 0
[pid=2913/tid=2934] ppid=2912 vsize=13801768 CPUtime=296.06 cores=0,2,4,6,8,10,12,14
/proc/2913/task/2934/stat : 2934 (java) R 2912 2912 8571 0 -1 4202560 27394 0 0 0 29599 7 0 0 20 0 28 0 4760890 14133010432 1062218 33554432000 4194304 4196468 140722773573088 140086668528424 140086824903105 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35868672 140722773574844 140722773575020 140722773575020 140722773577679 0
[pid=2913/tid=2935] ppid=2912 vsize=13801768 CPUtime=296.16 cores=0,2,4,6,8,10,12,14
/proc/2913/task/2935/stat : 2935 (java) R 2912 2912 8571 0 -1 4202560 8448 0 0 0 29612 4 0 0 20 0 28 0 4760890 14133010432 1062218 33554432000 4194304 4196468 140722773573088 140086391692112 140086824903086 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35868672 140722773574844 140722773575020 140722773575020 140722773577679 0
[pid=2913/tid=2936] ppid=2912 vsize=13801768 CPUtime=293.32 cores=0,2,4,6,8,10,12,14
/proc/2913/task/2936/stat : 2936 (java) R 2912 2912 8571 0 -1 4202560 12391 0 0 0 29327 5 0 0 20 0 28 0 4760890 14133010432 1062218 33554432000 4194304 4196468 140722773573088 140086390636184 140086825168036 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 35868672 140722773574844 140722773575020 140722773575020 140722773577679 0
[pid=2913/tid=2937] ppid=2912 vsize=13801768 CPUtime=296.34 cores=0,2,4,6,8,10,12,14
/proc/2913/task/2937/stat : 2937 (java) R 2912 2912 8571 0 -1 4202560 10681 0 0 0 29631 3 0 0 20 0 28 0 4760890 14133010432 1062218 33554432000 4194304 4196468 140722773573088 140086389583816 140086824901684 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 35868672 140722773574844 140722773575020 140722773575020 140722773577679 0
[pid=2913/tid=2938] ppid=2912 vsize=13801768 CPUtime=295.15 cores=0,2,4,6,8,10,12,14
/proc/2913/task/2938/stat : 2938 (java) R 2912 2912 8571 0 -1 4202560 11317 0 0 0 29514 1 0 0 20 0 28 0 4760890 14133010432 1062218 33554432000 4194304 4196468 140722773573088 140086388531016 140086824358446 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 35868672 140722773574844 140722773575020 140722773575020 140722773577679 0
[pid=2913/tid=2939] ppid=2912 vsize=13801768 CPUtime=294.76 cores=0,2,4,6,8,10,12,14
/proc/2913/task/2939/stat : 2939 (java) R 2912 2912 8571 0 -1 4202560 9716 0 0 0 29473 3 0 0 20 0 28 0 4760890 14133010432 1062218 33554432000 4194304 4196468 140722773573088 140086387478216 140086818697123 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 35868672 140722773574844 140722773575020 140722773575020 140722773577679 0
[pid=2913/tid=2940] ppid=2912 vsize=13801768 CPUtime=295.83 cores=0,2,4,6,8,10,12,14
/proc/2913/task/2940/stat : 2940 (java) R 2912 2912 8571 0 -1 4202560 13690 0 0 0 29579 4 0 0 20 0 28 0 4760890 14133010432 1062218 33554432000 4194304 4196468 140722773573088 140086386425640 140086824902177 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 35868672 140722773574844 140722773575020 140722773575020 140722773577679 0
[pid=2913/tid=2941] ppid=2912 vsize=13801768 CPUtime=294.88 cores=0,2,4,6,8,10,12,14
/proc/2913/task/2941/stat : 2941 (java) R 2912 2912 8571 0 -1 4202560 3130 0 0 0 29485 3 0 0 20 0 28 0 4760890 14133010432 1062218 33554432000 4194304 4196468 140722773573088 140086385373392 140086824903114 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35868672 140722773574844 140722773575020 140722773575020 140722773577679 0
Current children cumulated CPU time (s) 2400.54
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 2913 sig 9
??? kill 2912 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 2912 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=1868
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=934
# CPU time returned by wait4() is 0.002802
# while last known CPU time is 2400.54
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 311.012
CPU time (s): 2400.54
CPU user time (s): 2392.91
CPU system time (s): 7.63
CPU usage (%): 771.848
Max. virtual memory (cumulated for all children) (KiB): 13811280
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.001868
system time used= 0.000934
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= 3
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.92752 second user time and 3.8945 second system time
The end