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-4246062-1500686773/watcher-4246062-1500686773 -o /tmp/evaluation-result-4246062-1500686773/solver-4246062-1500686773 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node145-1500682809-15227 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 597560963 HOME/instance-4246062-1500686773.xml
pid=26971
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: 12.85 14.23 14.26 4/262 26974
/proc/meminfo: memFree=29599024/32770624 swapFree=5808/99304
[pid=26974] ppid=26971 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/26974/stat : 26974 (xcsp3-exec) S 26971 26974 15196 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 3942402 9740288 346 33554432000 4194304 5098028 140722989209312 140722989207416 140504182866556 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 25448448 140722989212815 140722989213024 140722989213024 140722989215723 0
/proc/26974/statm: 2378 346 289 221 0 87 0
[startup+0.100062 s]
/proc/loadavg: 12.85 14.23 14.26 4/262 26974
/proc/meminfo: memFree=29599024/32770624 swapFree=5808/99304
[pid=26974] ppid=26971 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/26974/stat : 26974 (xcsp3-exec) S 26971 26974 15196 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 3942402 9740288 346 33554432000 4194304 5098028 140722989209312 140722989207416 140504182866556 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 25448448 140722989212815 140722989213024 140722989213024 140722989215723 0
/proc/26974/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200246 s]
/proc/loadavg: 12.85 14.23 14.26 4/262 26974
/proc/meminfo: memFree=29599024/32770624 swapFree=5808/99304
[pid=26974] ppid=26971 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/26974/stat : 26974 (xcsp3-exec) S 26971 26974 15196 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 3942402 9740288 346 33554432000 4194304 5098028 140722989209312 140722989207416 140504182866556 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 25448448 140722989212815 140722989213024 140722989213024 140722989215723 0
/proc/26974/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300211 s]
/proc/loadavg: 12.85 14.23 14.26 4/262 26974
/proc/meminfo: memFree=29599024/32770624 swapFree=5808/99304
[pid=26974] ppid=26971 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/26974/stat : 26974 (xcsp3-exec) S 26971 26974 15196 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 3942402 9740288 346 33554432000 4194304 5098028 140722989209312 140722989207416 140504182866556 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 25448448 140722989212815 140722989213024 140722989213024 140722989215723 0
/proc/26974/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.700196 s]
/proc/loadavg: 12.85 14.23 14.26 4/262 26974
/proc/meminfo: memFree=29599024/32770624 swapFree=5808/99304
[pid=26974] ppid=26971 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/26974/stat : 26974 (xcsp3-exec) S 26971 26974 15196 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 3942402 9740288 346 33554432000 4194304 5098028 140722989209312 140722989207416 140504182866556 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 25448448 140722989212815 140722989213024 140722989213024 140722989215723 0
/proc/26974/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50117 s]
/proc/loadavg: 12.85 14.23 14.26 13/283 26995
/proc/meminfo: memFree=29363376/32770624 swapFree=5808/99368
[pid=26974] ppid=26971 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/26974/stat : 26974 (xcsp3-exec) S 26971 26974 15196 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 3942402 9740288 346 33554432000 4194304 5098028 140722989209312 140722989207416 140504182866556 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 25448448 140722989212815 140722989213024 140722989213024 140722989215723 0
/proc/26974/statm: 2378 346 289 221 0 87 0
[pid=26975] ppid=26974 vsize=13269256 CPUtime=5.45 cores=0,2,4,6,8,10,12,14
/proc/26975/stat : 26975 (java) S 26974 26974 15196 0 -1 1077944320 16566 0 0 0 472 73 0 0 20 0 20 0 3942402 13587718144 87742 33554432000 4194304 4196468 140734989167424 140734989149968 140415988645623 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 11096064 140734989169852 140734989170028 140734989170028 140734989172687 0
/proc/26975/statm: 3317314 87742 3255 1 0 3304547 0
[pid=26975/tid=26976] ppid=26974 vsize=13269256 CPUtime=1.27 cores=0,2,4,6,8,10,12,14
/proc/26975/task/26976/stat : 26976 (java) R 26974 26974 15196 0 -1 4202560 6903 0 0 0 121 6 0 0 20 0 20 0 3942402 13587718144 87742 33554432000 4194304 4196468 140734989167424 140415992883480 140415981323637 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11096064 140734989169852 140734989170028 140734989170028 140734989172687 0
[pid=26975/tid=26978] ppid=26974 vsize=13269256 CPUtime=0.18 cores=0,2,4,6,8,10,12,14
/proc/26975/task/26978/stat : 26978 (java) S 26974 26974 15196 0 -1 1077944384 128 0 0 0 11 7 0 0 20 0 20 0 3942403 13587718144 87742 33554432000 4194304 4196468 140734989167424 140415907125520 140415988655829 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 11096064 140734989169852 140734989170028 140734989170028 140734989172687 0
[pid=26975/tid=26979] ppid=26974 vsize=13269256 CPUtime=0.19 cores=0,2,4,6,8,10,12,14
/proc/26975/task/26979/stat : 26979 (java) S 26974 26974 15196 0 -1 1077944384 101 0 0 0 10 9 0 0 20 0 20 0 3942403 13587718144 87742 33554432000 4194304 4196468 140734989167424 140415906072976 140415988655829 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 11096064 140734989169852 140734989170028 140734989170028 140734989172687 0
[pid=26975/tid=26980] ppid=26974 vsize=13269256 CPUtime=0.14 cores=0,2,4,6,8,10,12,14
/proc/26975/task/26980/stat : 26980 (java) S 26974 26974 15196 0 -1 1077944384 87 0 0 0 7 7 0 0 20 0 20 0 3942403 13587718144 87742 33554432000 4194304 4196468 140734989167424 140415905020432 140415988655829 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11096064 140734989169852 140734989170028 140734989170028 140734989172687 0
[pid=26975/tid=26981] ppid=26974 vsize=13269256 CPUtime=0.19 cores=0,2,4,6,8,10,12,14
/proc/26975/task/26981/stat : 26981 (java) S 26974 26974 15196 0 -1 1077944384 117 0 0 0 12 7 0 0 20 0 20 0 3942403 13587718144 87742 33554432000 4194304 4196468 140734989167424 140415903967888 140415988655829 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 11096064 140734989169852 140734989170028 140734989170028 140734989172687 0
[pid=26975/tid=26982] ppid=26974 vsize=13269256 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/26975/task/26982/stat : 26982 (java) S 26974 26974 15196 0 -1 1077944384 74 0 0 0 6 6 0 0 20 0 20 0 3942403 13587718144 87742 33554432000 4194304 4196468 140734989167424 140415583906576 140415988655829 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11096064 140734989169852 140734989170028 140734989170028 140734989172687 0
[pid=26975/tid=26983] ppid=26974 vsize=13269256 CPUtime=0.14 cores=0,2,4,6,8,10,12,14
/proc/26975/task/26983/stat : 26983 (java) S 26974 26974 15196 0 -1 1077944384 98 0 0 0 7 7 0 0 20 0 20 0 3942403 13587718144 87742 33554432000 4194304 4196468 140734989167424 140415582854032 140415988655829 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 11096064 140734989169852 140734989170028 140734989170028 140734989172687 0
[pid=26975/tid=26984] ppid=26974 vsize=13269256 CPUtime=0.17 cores=0,2,4,6,8,10,12,14
/proc/26975/task/26984/stat : 26984 (java) S 26974 26974 15196 0 -1 1077944384 105 0 0 0 9 8 0 0 20 0 20 0 3942403 13587718144 87742 33554432000 4194304 4196468 140734989167424 140415581801488 140415988655829 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11096064 140734989169852 140734989170028 140734989170028 140734989172687 0
[pid=26975/tid=26985] ppid=26974 vsize=13269256 CPUtime=0.18 cores=0,2,4,6,8,10,12,14
/proc/26975/task/26985/stat : 26985 (java) S 26974 26974 15196 0 -1 1077944384 106 0 0 0 9 9 0 0 20 0 20 0 3942403 13587718144 87742 33554432000 4194304 4196468 140734989167424 140415580748944 140415988655829 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11096064 140734989169852 140734989170028 140734989170028 140734989172687 0
[pid=26975/tid=26986] ppid=26974 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/26975/task/26986/stat : 26986 (java) S 26974 26974 15196 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 20 0 3942406 13587718144 87742 33554432000 4194304 4196468 140734989167424 140415182518256 140415988656770 0 0 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 11096064 140734989169852 140734989170028 140734989170028 140734989172687 0
[pid=26975/tid=26987] ppid=26974 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/26975/task/26987/stat : 26987 (java) S 26974 26974 15196 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 3942406 13587718144 87742 33554432000 4194304 4196468 140734989167424 140415181464544 140415988655829 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11096064 140734989169852 140734989170028 140734989170028 140734989172687 0
[pid=26975/tid=26988] ppid=26974 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/26975/task/26988/stat : 26988 (java) S 26974 26974 15196 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 20 0 3942407 13587718144 87742 33554432000 4194304 4196468 140734989167424 140415180411904 140415988655829 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 11096064 140734989169852 140734989170028 140734989170028 140734989172687 0
[pid=26975/tid=26989] ppid=26974 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/26975/task/26989/stat : 26989 (java) S 26974 26974 15196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3942411 13587718144 87742 33554432000 4194304 4196468 140734989167424 140415179360464 140415988664219 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 11096064 140734989169852 140734989170028 140734989170028 140734989172687 0
[pid=26975/tid=26990] ppid=26974 vsize=13269256 CPUtime=0.74 cores=0,2,4,6,8,10,12,14
/proc/26975/task/26990/stat : 26990 (java) R 26974 26974 15196 0 -1 4202560 2212 0 0 0 74 0 0 0 20 0 20 0 3942411 13587718144 87742 33554432000 4194304 4196468 140734989167424 140415178299488 140415972137258 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 11096064 140734989169852 140734989170028 140734989170028 140734989172687 0
[pid=26975/tid=26991] ppid=26974 vsize=13269256 CPUtime=0.69 cores=0,2,4,6,8,10,12,14
/proc/26975/task/26991/stat : 26991 (java) R 26974 26974 15196 0 -1 4202560 1816 0 0 0 69 0 0 0 20 0 20 0 3942411 13587718144 87742 33554432000 4194304 4196468 140734989167424 140415177255832 140415973042768 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 11096064 140734989169852 140734989170028 140734989170028 140734989172687 0
[pid=26975/tid=26992] ppid=26974 vsize=13269256 CPUtime=0.74 cores=0,2,4,6,8,10,12,14
/proc/26975/task/26992/stat : 26992 (java) R 26974 26974 15196 0 -1 4202560 1373 0 0 0 74 0 0 0 20 0 20 0 3942411 13587718144 87742 33554432000 4194304 4196468 140734989167424 140415176203288 140415972898662 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 11096064 140734989169852 140734989170028 140734989170028 140734989172687 0
[pid=26975/tid=26993] ppid=26974 vsize=13269256 CPUtime=0.58 cores=0,2,4,6,8,10,12,14
/proc/26975/task/26993/stat : 26993 (java) S 26974 26974 15196 0 -1 1077944384 2065 0 0 0 57 1 0 0 20 0 20 0 3942411 13587718144 87742 33554432000 4194304 4196468 140734989167424 140415175150448 140415988656770 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11096064 140734989169852 140734989170028 140734989170028 140734989172687 0
[pid=26975/tid=26994] ppid=26974 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/26975/task/26994/stat : 26994 (java) S 26974 26974 15196 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3942411 13587718144 87742 33554432000 4194304 4196468 140734989167424 140415174097120 140415988655829 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 11096064 140734989169852 140734989170028 140734989170028 140734989172687 0
[pid=26975/tid=26995] ppid=26974 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/26975/task/26995/stat : 26995 (java) S 26974 26974 15196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3942411 13587718144 87742 33554432000 4194304 4196468 140734989167424 140415173044656 140415988656770 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 11096064 140734989169852 140734989170028 140734989170028 140734989172687 0
Current children cumulated CPU time (s) 5.45
Current children cumulated vsize (KiB) 13278768
[startup+3.10125 s]
/proc/loadavg: 12.85 14.23 14.26 17/283 26995
/proc/meminfo: memFree=28640388/32770624 swapFree=5808/99368
[pid=26974] ppid=26971 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/26974/stat : 26974 (xcsp3-exec) S 26971 26974 15196 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 3942402 9740288 346 33554432000 4194304 5098028 140722989209312 140722989207416 140504182866556 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 25448448 140722989212815 140722989213024 140722989213024 140722989215723 0
/proc/26974/statm: 2378 346 289 221 0 87 0
[pid=26975] ppid=26974 vsize=13269256 CPUtime=16.12 cores=0,2,4,6,8,10,12,14
/proc/26975/stat : 26975 (java) S 26974 26974 15196 0 -1 1077944320 18806 0 0 0 1450 162 0 0 20 0 20 0 3942402 13587718144 160956 33554432000 4194304 4196468 140734989167424 140734989149968 140415988645623 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 11096064 140734989169852 140734989170028 140734989170028 140734989172687 0
/proc/26975/statm: 3317314 160956 3269 1 0 3304547 0
[pid=26975/tid=26976] ppid=26974 vsize=13269256 CPUtime=1.53 cores=0,2,4,6,8,10,12,14
/proc/26975/task/26976/stat : 26976 (java) R 26974 26974 15196 0 -1 4202560 7276 0 0 0 147 6 0 0 20 0 20 0 3942402 13587718144 160956 33554432000 4194304 4196468 140734989167424 140415992881032 140415584249307 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 11096064 140734989169852 140734989170028 140734989170028 140734989172687 0
[pid=26975/tid=26978] ppid=26974 vsize=13269256 CPUtime=1.41 cores=0,2,4,6,8,10,12,14
/proc/26975/task/26978/stat : 26978 (java) S 26974 26974 15196 0 -1 1077944384 275 0 0 0 123 18 0 0 20 0 20 0 3942403 13587718144 160956 33554432000 4194304 4196468 140734989167424 140415907125520 140415988655829 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 11096064 140734989169852 140734989170028 140734989170028 140734989172687 0
[pid=26975/tid=26979] ppid=26974 vsize=13269256 CPUtime=1.4 cores=0,2,4,6,8,10,12,14
/proc/26975/task/26979/stat : 26979 (java) S 26974 26974 15196 0 -1 1077944384 197 0 0 0 120 20 0 0 20 0 20 0 3942403 13587718144 160956 33554432000 4194304 4196468 140734989167424 140415906072976 140415988655829 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11096064 140734989169852 140734989170028 140734989170028 140734989172687 0
[pid=26975/tid=26980] ppid=26974 vsize=13269256 CPUtime=1.39 cores=0,2,4,6,8,10,12,14
/proc/26975/task/26980/stat : 26980 (java) S 26974 26974 15196 0 -1 1077944384 484 0 0 0 121 18 0 0 20 0 20 0 3942403 13587718144 160956 33554432000 4194304 4196468 140734989167424 140415905020432 140415988655829 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11096064 140734989169852 140734989170028 140734989170028 140734989172687 0
[pid=26975/tid=26981] ppid=26974 vsize=13269256 CPUtime=1.41 cores=0,2,4,6,8,10,12,14
/proc/26975/task/26981/stat : 26981 (java) S 26974 26974 15196 0 -1 1077944384 225 0 0 0 124 17 0 0 20 0 20 0 3942403 13587718144 160956 33554432000 4194304 4196468 140734989167424 140415903967888 140415988655829 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 11096064 140734989169852 140734989170028 140734989170028 140734989172687 0
[pid=26975/tid=26982] ppid=26974 vsize=13269256 CPUtime=1.35 cores=0,2,4,6,8,10,12,14
/proc/26975/task/26982/stat : 26982 (java) S 26974 26974 15196 0 -1 1077944384 209 0 0 0 118 17 0 0 20 0 20 0 3942403 13587718144 160956 33554432000 4194304 4196468 140734989167424 140415583906576 140415988655829 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11096064 140734989169852 140734989170028 140734989170028 140734989172687 0
[pid=26975/tid=26983] ppid=26974 vsize=13269256 CPUtime=1.38 cores=0,2,4,6,8,10,12,14
/proc/26975/task/26983/stat : 26983 (java) S 26974 26974 15196 0 -1 1077944384 199 0 0 0 119 19 0 0 20 0 20 0 3942403 13587718144 160956 33554432000 4194304 4196468 140734989167424 140415582854032 140415988655829 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 11096064 140734989169852 140734989170028 140734989170028 140734989172687 0
[pid=26975/tid=26984] ppid=26974 vsize=13269256 CPUtime=1.4 cores=0,2,4,6,8,10,12,14
/proc/26975/task/26984/stat : 26984 (java) S 26974 26974 15196 0 -1 1077944384 219 0 0 0 121 19 0 0 20 0 20 0 3942403 13587718144 160956 33554432000 4194304 4196468 140734989167424 140415581801488 140415988655829 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11096064 140734989169852 140734989170028 140734989170028 140734989172687 0
[pid=26975/tid=26985] ppid=26974 vsize=13269256 CPUtime=1.39 cores=0,2,4,6,8,10,12,14
/proc/26975/task/26985/stat : 26985 (java) S 26974 26974 15196 0 -1 1077944384 331 0 0 0 119 20 0 0 20 0 20 0 3942403 13587718144 160956 33554432000 4194304 4196468 140734989167424 140415580748944 140415988655829 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11096064 140734989169852 140734989170028 140734989170028 140734989172687 0
[pid=26975/tid=26986] ppid=26974 vsize=13269256 CPUtime=0.08 cores=0,2,4,6,8,10,12,14
/proc/26975/task/26986/stat : 26986 (java) S 26974 26974 15196 0 -1 1077944384 477 0 0 0 8 0 0 0 20 0 20 0 3942406 13587718144 160956 33554432000 4194304 4196468 140734989167424 140415182518256 140415988656770 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11096064 140734989169852 140734989170028 140734989170028 140734989172687 0
[pid=26975/tid=26987] ppid=26974 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/26975/task/26987/stat : 26987 (java) S 26974 26974 15196 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 3942406 13587718144 160956 33554432000 4194304 4196468 140734989167424 140415181464544 140415988655829 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11096064 140734989169852 140734989170028 140734989170028 140734989172687 0
[pid=26975/tid=26988] ppid=26974 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/26975/task/26988/stat : 26988 (java) S 26974 26974 15196 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 20 0 3942407 13587718144 160956 33554432000 4194304 4196468 140734989167424 140415180411904 140415988655829 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 11096064 140734989169852 140734989170028 140734989170028 140734989172687 0
[pid=26975/tid=26989] ppid=26974 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/26975/task/26989/stat : 26989 (java) S 26974 26974 15196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3942411 13587718144 160956 33554432000 4194304 4196468 140734989167424 140415179360464 140415988664219 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 11096064 140734989169852 140734989170028 140734989170028 140734989172687 0
[pid=26975/tid=26990] ppid=26974 vsize=13269256 CPUtime=0.87 cores=0,2,4,6,8,10,12,14
/proc/26975/task/26990/stat : 26990 (java) S 26974 26974 15196 0 -1 1077944384 2230 0 0 0 87 0 0 0 20 0 20 0 3942411 13587718144 160956 33554432000 4194304 4196468 140734989167424 140415178308080 140415988656770 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 11096064 140734989169852 140734989170028 140734989170028 140734989172687 0
[pid=26975/tid=26991] ppid=26974 vsize=13269256 CPUtime=0.84 cores=0,2,4,6,8,10,12,14
/proc/26975/task/26991/stat : 26991 (java) S 26974 26974 15196 0 -1 1077944384 1839 0 0 0 84 0 0 0 20 0 20 0 3942411 13587718144 160956 33554432000 4194304 4196468 140734989167424 140415177255536 140415988656770 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11096064 140734989169852 140734989170028 140734989170028 140734989172687 0
[pid=26975/tid=26992] ppid=26974 vsize=13269256 CPUtime=0.91 cores=0,2,4,6,8,10,12,14
/proc/26975/task/26992/stat : 26992 (java) S 26974 26974 15196 0 -1 1077944384 1404 0 0 0 91 0 0 0 20 0 20 0 3942411 13587718144 160956 33554432000 4194304 4196468 140734989167424 140415176202992 140415988656770 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11096064 140734989169852 140734989170028 140734989170028 140734989172687 0
[pid=26975/tid=26993] ppid=26974 vsize=13269256 CPUtime=0.62 cores=0,2,4,6,8,10,12,14
/proc/26975/task/26993/stat : 26993 (java) S 26974 26974 15196 0 -1 1077944384 2143 0 0 0 61 1 0 0 20 0 20 0 3942411 13587718144 160956 33554432000 4194304 4196468 140734989167424 140415175150448 140415988656770 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 11096064 140734989169852 140734989170028 140734989170028 140734989172687 0
[pid=26975/tid=26994] ppid=26974 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/26975/task/26994/stat : 26994 (java) S 26974 26974 15196 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3942411 13587718144 160956 33554432000 4194304 4196468 140734989167424 140415174097120 140415988655829 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 11096064 140734989169852 140734989170028 140734989170028 140734989172687 0
[pid=26975/tid=26995] ppid=26974 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/26975/task/26995/stat : 26995 (java) S 26974 26974 15196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3942411 13587718144 160956 33554432000 4194304 4196468 140734989167424 140415173044656 140415988656770 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 11096064 140734989169852 140734989170028 140734989170028 140734989172687 0
Current children cumulated CPU time (s) 16.12
Current children cumulated vsize (KiB) 13278768
[startup+6.30155 s]
/proc/loadavg: 12.54 14.14 14.23 10/290 27002
/proc/meminfo: memFree=28027460/32770624 swapFree=5808/99368
[pid=26974] ppid=26971 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/26974/stat : 26974 (xcsp3-exec) S 26971 26974 15196 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 3942402 9740288 346 33554432000 4194304 5098028 140722989209312 140722989207416 140504182866556 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 25448448 140722989212815 140722989213024 140722989213024 140722989215723 0
/proc/26974/statm: 2378 346 289 221 0 87 0
[pid=26975] ppid=26974 vsize=13801768 CPUtime=37.29 cores=0,2,4,6,8,10,12,14
/proc/26975/stat : 26975 (java) S 26974 26974 15196 0 -1 1077944320 34879 0 0 0 3389 340 0 0 20 0 28 0 3942402 14133010432 261255 33554432000 4194304 4196468 140734989167424 140734989149968 140415988645623 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 11096064 140734989169852 140734989170028 140734989170028 140734989172687 0
/proc/26975/statm: 3450442 261255 3280 1 0 3437675 0
[pid=26975/tid=26976] ppid=26974 vsize=13801768 CPUtime=2.12 cores=0,2,4,6,8,10,12,14
/proc/26975/task/26976/stat : 26976 (java) S 26974 26974 15196 0 -1 1077944384 7594 0 0 0 205 7 0 0 20 0 28 0 3942402 14133010432 261255 33554432000 4194304 4196468 140734989167424 140415992886400 140415988655829 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 11096064 140734989169852 140734989170028 140734989170028 140734989172687 0
[pid=26975/tid=26978] ppid=26974 vsize=13801768 CPUtime=3.13 cores=0,2,4,6,8,10,12,14
/proc/26975/task/26978/stat : 26978 (java) S 26974 26974 15196 0 -1 1077944384 735 0 0 0 273 40 0 0 20 0 28 0 3942403 14133010432 261255 33554432000 4194304 4196468 140734989167424 140415907125520 140415988655829 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11096064 140734989169852 140734989170028 140734989170028 140734989172687 0
[pid=26975/tid=26979] ppid=26974 vsize=13801768 CPUtime=3.13 cores=0,2,4,6,8,10,12,14
/proc/26975/task/26979/stat : 26979 (java) S 26974 26974 15196 0 -1 1077944384 561 0 0 0 272 41 0 0 20 0 28 0 3942403 14133010432 261255 33554432000 4194304 4196468 140734989167424 140415906072976 140415988655829 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11096064 140734989169852 140734989170028 140734989170028 140734989172687 0
[pid=26975/tid=26980] ppid=26974 vsize=13801768 CPUtime=3.11 cores=0,2,4,6,8,10,12,14
/proc/26975/task/26980/stat : 26980 (java) S 26974 26974 15196 0 -1 1077944384 1156 0 0 0 270 41 0 0 20 0 28 0 3942403 14133010432 261255 33554432000 4194304 4196468 140734989167424 140415905020432 140415988655829 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11096064 140734989169852 140734989170028 140734989170028 140734989172687 0
[pid=26975/tid=26981] ppid=26974 vsize=13801768 CPUtime=3.14 cores=0,2,4,6,8,10,12,14
/proc/26975/task/26981/stat : 26981 (java) S 26974 26974 15196 0 -1 1077944384 627 0 0 0 274 40 0 0 20 0 28 0 3942403 14133010432 261255 33554432000 4194304 4196468 140734989167424 140415903967888 140415988655829 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 11096064 140734989169852 140734989170028 140734989170028 140734989172687 0
[pid=26975/tid=26982] ppid=26974 vsize=13801768 CPUtime=3.05 cores=0,2,4,6,8,10,12,14
/proc/26975/task/26982/stat : 26982 (java) S 26974 26974 15196 0 -1 1077944384 826 0 0 0 267 38 0 0 20 0 28 0 3942403 14133010432 261255 33554432000 4194304 4196468 140734989167424 140415583906576 140415988655829 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 11096064 140734989169852 140734989170028 140734989170028 140734989172687 0
[pid=26975/tid=26983] ppid=26974 vsize=13801768 CPUtime=3.06 cores=0,2,4,6,8,10,12,14
/proc/26975/task/26983/stat : 26983 (java) S 26974 26974 15196 0 -1 1077944384 562 0 0 0 266 40 0 0 20 0 28 0 3942403 14133010432 261255 33554432000 4194304 4196468 140734989167424 140415582854032 140415988655829 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 11096064 140734989169852 140734989170028 140734989170028 140734989172687 0
[pid=26975/tid=26984] ppid=26974 vsize=13801768 CPUtime=3.08 cores=0,2,4,6,8,10,12,14
/proc/26975/task/26984/stat : 26984 (java) S 26974 26974 15196 0 -1 1077944384 891 0 0 0 269 39 0 0 20 0 28 0 3942403 14133010432 261255 33554432000 4194304 4196468 140734989167424 140415581801488 140415988655829 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 11096064 140734989169852 140734989170028 140734989170028 140734989172687 0
[pid=26975/tid=26985] ppid=26974 vsize=13801768 CPUtime=3.12 cores=0,2,4,6,8,10,12,14
/proc/26975/task/26985/stat : 26985 (java) S 26974 26974 15196 0 -1 1077944384 674 0 0 0 270 42 0 0 20 0 28 0 3942403 14133010432 261255 33554432000 4194304 4196468 140734989167424 140415580748944 140415988655829 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11096064 140734989169852 140734989170028 140734989170028 140734989172687 0
[pid=26975/tid=26986] ppid=26974 vsize=13801768 CPUtime=0.2 cores=0,2,4,6,8,10,12,14
/proc/26975/task/26986/stat : 26986 (java) S 26974 26974 15196 0 -1 1077944384 4701 0 0 0 20 0 0 0 20 0 28 0 3942406 14133010432 261255 33554432000 4194304 4196468 140734989167424 140415182518256 140415988656770 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11096064 140734989169852 140734989170028 140734989170028 140734989172687 0
[pid=26975/tid=26987] ppid=26974 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/26975/task/26987/stat : 26987 (java) S 26974 26974 15196 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 28 0 3942406 14133010432 261255 33554432000 4194304 4196468 140734989167424 140415181464544 140415988655829 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 11096064 140734989169852 140734989170028 140734989170028 140734989172687 0
[pid=26975/tid=26988] ppid=26974 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/26975/task/26988/stat : 26988 (java) S 26974 26974 15196 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 28 0 3942407 14133010432 261255 33554432000 4194304 4196468 140734989167424 140415180411904 140415988655829 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11096064 140734989169852 140734989170028 140734989170028 140734989172687 0
[pid=26975/tid=26989] ppid=26974 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/26975/task/26989/stat : 26989 (java) S 26974 26974 15196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3942411 14133010432 261255 33554432000 4194304 4196468 140734989167424 140415179360464 140415988664219 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 11096064 140734989169852 140734989170028 140734989170028 140734989172687 0
################
# More data... #
################
[pid=26975/tid=27002] ppid=26974 vsize=13801768 CPUtime=213.78 cores=0,2,4,6,8,10,12,14
/proc/26975/task/27002/stat : 27002 (java) R 26974 26974 15196 0 -1 4202560 1002 0 0 0 21378 0 0 0 20 0 28 0 3942790 14133010432 426246 33554432000 4194304 4196468 140734989167424 140414562037544 140415592511240 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11096064 140734989169852 140734989170028 140734989170028 140734989172687 0
[pid=26975/tid=27003] ppid=26974 vsize=13801768 CPUtime=213.5 cores=0,2,4,6,8,10,12,14
/proc/26975/task/27003/stat : 27003 (java) R 26974 26974 15196 0 -1 4202560 1092 0 0 0 21350 0 0 0 20 0 28 0 3942956 14133010432 426246 33554432000 4194304 4196468 140734989167424 140413553856392 140415593318658 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11096064 140734989169852 140734989170028 140734989170028 140734989172687 0
Current children cumulated CPU time (s) 1756.43
Current children cumulated vsize (KiB) 13811280
[startup+282.302 s]
/proc/loadavg: 15.21 14.04 14.09 17/301 27024
/proc/meminfo: memFree=19524296/32770624 swapFree=5808/99888
[pid=26974] ppid=26971 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/26974/stat : 26974 (xcsp3-exec) S 26971 26974 15196 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 3942402 9740288 346 33554432000 4194304 5098028 140722989209312 140722989207416 140504182866556 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 25448448 140722989212815 140722989213024 140722989213024 140722989215723 0
/proc/26974/statm: 2378 346 289 221 0 87 0
[pid=26975] ppid=26974 vsize=13801768 CPUtime=2233.72 cores=0,2,4,6,8,10,12,14
/proc/26975/stat : 26975 (java) S 26974 26974 15196 0 -1 1077944320 110493 0 0 0 222777 595 0 0 20 0 28 0 3942402 14133010432 416509 33554432000 4194304 4196468 140734989167424 140734989149968 140415988645623 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 11096064 140734989169852 140734989170028 140734989170028 140734989172687 0
/proc/26975/statm: 3450442 416509 3290 1 0 3437675 0
[pid=26975/tid=26976] ppid=26974 vsize=13801768 CPUtime=2.12 cores=0,2,4,6,8,10,12,14
/proc/26975/task/26976/stat : 26976 (java) S 26974 26974 15196 0 -1 1077944384 7594 0 0 0 205 7 0 0 20 0 28 0 3942402 14133010432 416509 33554432000 4194304 4196468 140734989167424 140415992886400 140415988655829 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 11096064 140734989169852 140734989170028 140734989170028 140734989172687 0
[pid=26975/tid=26978] ppid=26974 vsize=13801768 CPUtime=4.68 cores=0,2,4,6,8,10,12,14
/proc/26975/task/26978/stat : 26978 (java) S 26974 26974 15196 0 -1 1077944384 2581 0 0 0 401 67 0 0 20 0 28 0 3942403 14133010432 416509 33554432000 4194304 4196468 140734989167424 140415907125520 140415988655829 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11096064 140734989169852 140734989170028 140734989170028 140734989172687 0
[pid=26975/tid=26979] ppid=26974 vsize=13801768 CPUtime=4.67 cores=0,2,4,6,8,10,12,14
/proc/26975/task/26979/stat : 26979 (java) S 26974 26974 15196 0 -1 1077944384 2817 0 0 0 398 69 0 0 20 0 28 0 3942403 14133010432 416509 33554432000 4194304 4196468 140734989167424 140415906072976 140415988655829 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 11096064 140734989169852 140734989170028 140734989170028 140734989172687 0
[pid=26975/tid=26980] ppid=26974 vsize=13801768 CPUtime=4.63 cores=0,2,4,6,8,10,12,14
/proc/26975/task/26980/stat : 26980 (java) S 26974 26974 15196 0 -1 1077944384 2863 0 0 0 395 68 0 0 20 0 28 0 3942403 14133010432 416509 33554432000 4194304 4196468 140734989167424 140415905020432 140415988655829 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11096064 140734989169852 140734989170028 140734989170028 140734989172687 0
[pid=26975/tid=26981] ppid=26974 vsize=13801768 CPUtime=4.57 cores=0,2,4,6,8,10,12,14
/proc/26975/task/26981/stat : 26981 (java) S 26974 26974 15196 0 -1 1077944384 1617 0 0 0 393 64 0 0 20 0 28 0 3942403 14133010432 416509 33554432000 4194304 4196468 140734989167424 140415903967888 140415988655829 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11096064 140734989169852 140734989170028 140734989170028 140734989172687 0
[pid=26975/tid=26982] ppid=26974 vsize=13801768 CPUtime=4.61 cores=0,2,4,6,8,10,12,14
/proc/26975/task/26982/stat : 26982 (java) S 26974 26974 15196 0 -1 1077944384 2814 0 0 0 395 66 0 0 20 0 28 0 3942403 14133010432 416509 33554432000 4194304 4196468 140734989167424 140415583906576 140415988655829 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 11096064 140734989169852 140734989170028 140734989170028 140734989172687 0
[pid=26975/tid=26983] ppid=26974 vsize=13801768 CPUtime=4.58 cores=0,2,4,6,8,10,12,14
/proc/26975/task/26983/stat : 26983 (java) S 26974 26974 15196 0 -1 1077944384 2447 0 0 0 390 68 0 0 20 0 28 0 3942403 14133010432 416509 33554432000 4194304 4196468 140734989167424 140415582854032 140415988655829 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 11096064 140734989169852 140734989170028 140734989170028 140734989172687 0
[pid=26975/tid=26984] ppid=26974 vsize=13801768 CPUtime=4.63 cores=0,2,4,6,8,10,12,14
/proc/26975/task/26984/stat : 26984 (java) S 26974 26974 15196 0 -1 1077944384 2829 0 0 0 398 65 0 0 20 0 28 0 3942403 14133010432 416509 33554432000 4194304 4196468 140734989167424 140415581801488 140415988655829 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11096064 140734989169852 140734989170028 140734989170028 140734989172687 0
[pid=26975/tid=26985] ppid=26974 vsize=13801768 CPUtime=4.67 cores=0,2,4,6,8,10,12,14
/proc/26975/task/26985/stat : 26985 (java) S 26974 26974 15196 0 -1 1077944384 3624 0 0 0 397 70 0 0 20 0 28 0 3942403 14133010432 416509 33554432000 4194304 4196468 140734989167424 140415580748944 140415988655829 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11096064 140734989169852 140734989170028 140734989170028 140734989172687 0
[pid=26975/tid=26986] ppid=26974 vsize=13801768 CPUtime=0.42 cores=0,2,4,6,8,10,12,14
/proc/26975/task/26986/stat : 26986 (java) S 26974 26974 15196 0 -1 1077944384 7099 0 0 0 30 12 0 0 20 0 28 0 3942406 14133010432 416509 33554432000 4194304 4196468 140734989167424 140415182518256 140415988656770 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11096064 140734989169852 140734989170028 140734989170028 140734989172687 0
[pid=26975/tid=26987] ppid=26974 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/26975/task/26987/stat : 26987 (java) S 26974 26974 15196 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 28 0 3942406 14133010432 416509 33554432000 4194304 4196468 140734989167424 140415181464544 140415988655829 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 11096064 140734989169852 140734989170028 140734989170028 140734989172687 0
[pid=26975/tid=26988] ppid=26974 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/26975/task/26988/stat : 26988 (java) S 26974 26974 15196 0 -1 1077944384 77 0 0 0 0 0 0 0 20 0 28 0 3942407 14133010432 416509 33554432000 4194304 4196468 140734989167424 140415180411904 140415988655829 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11096064 140734989169852 140734989170028 140734989170028 140734989172687 0
[pid=26975/tid=26989] ppid=26974 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/26975/task/26989/stat : 26989 (java) S 26974 26974 15196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3942411 14133010432 416509 33554432000 4194304 4196468 140734989167424 140415179360464 140415988664219 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 11096064 140734989169852 140734989170028 140734989170028 140734989172687 0
[pid=26975/tid=26990] ppid=26974 vsize=13801768 CPUtime=3.14 cores=0,2,4,6,8,10,12,14
/proc/26975/task/26990/stat : 26990 (java) S 26974 26974 15196 0 -1 1077944384 15877 0 0 0 312 2 0 0 20 0 28 0 3942411 14133010432 416509 33554432000 4194304 4196468 140734989167424 140415178308080 140415988656770 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11096064 140734989169852 140734989170028 140734989170028 140734989172687 0
[pid=26975/tid=26991] ppid=26974 vsize=13801768 CPUtime=4 cores=0,2,4,6,8,10,12,14
/proc/26975/task/26991/stat : 26991 (java) S 26974 26974 15196 0 -1 1077944384 15844 0 0 0 398 2 0 0 20 0 28 0 3942411 14133010432 416509 33554432000 4194304 4196468 140734989167424 140415177255536 140415988656770 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 11096064 140734989169852 140734989170028 140734989170028 140734989172687 0
[pid=26975/tid=26992] ppid=26974 vsize=13801768 CPUtime=3.31 cores=0,2,4,6,8,10,12,14
/proc/26975/task/26992/stat : 26992 (java) S 26974 26974 15196 0 -1 1077944384 14450 0 0 0 328 3 0 0 20 0 28 0 3942411 14133010432 416509 33554432000 4194304 4196468 140734989167424 140415176202992 140415988656770 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 11096064 140734989169852 140734989170028 140734989170028 140734989172687 0
[pid=26975/tid=26993] ppid=26974 vsize=13801768 CPUtime=1.14 cores=0,2,4,6,8,10,12,14
/proc/26975/task/26993/stat : 26993 (java) S 26974 26974 15196 0 -1 1077944384 8499 0 0 0 112 2 0 0 20 0 28 0 3942411 14133010432 416509 33554432000 4194304 4196468 140734989167424 140415175150448 140415988656770 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11096064 140734989169852 140734989170028 140734989170028 140734989172687 0
[pid=26975/tid=26994] ppid=26974 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/26975/task/26994/stat : 26994 (java) S 26974 26974 15196 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3942411 14133010432 416509 33554432000 4194304 4196468 140734989167424 140415174097120 140415988655829 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 11096064 140734989169852 140734989170028 140734989170028 140734989172687 0
[pid=26975/tid=26995] ppid=26974 vsize=13801768 CPUtime=0.15 cores=0,2,4,6,8,10,12,14
/proc/26975/task/26995/stat : 26995 (java) S 26974 26974 15196 0 -1 1077944384 398 0 0 0 7 8 0 0 20 0 28 0 3942411 14133010432 416509 33554432000 4194304 4196468 140734989167424 140415173044656 140415988656770 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 11 0 0 6293624 6294260 11096064 140734989169852 140734989170028 140734989170028 140734989172687 0
[pid=26975/tid=26996] ppid=26974 vsize=13801768 CPUtime=272.64 cores=0,2,4,6,8,10,12,14
/proc/26975/task/26996/stat : 26996 (java) R 26974 26974 15196 0 -1 4202560 1515 0 0 0 27264 0 0 0 20 0 28 0 3942789 14133010432 416509 33554432000 4194304 4196468 140734989167424 140414568352744 140415591894909 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 11096064 140734989169852 140734989170028 140734989170028 140734989172687 0
[pid=26975/tid=26997] ppid=26974 vsize=13801768 CPUtime=271.71 cores=0,2,4,6,8,10,12,14
/proc/26975/task/26997/stat : 26997 (java) R 26974 26974 15196 0 -1 4202560 1727 0 0 0 27170 1 0 0 20 0 28 0 3942789 14133010432 416509 33554432000 4194304 4196468 140734989167424 140414567301208 140415592252952 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11096064 140734989169852 140734989170028 140734989170028 140734989172687 0
[pid=26975/tid=26998] ppid=26974 vsize=13801768 CPUtime=272.43 cores=0,2,4,6,8,10,12,14
/proc/26975/task/26998/stat : 26998 (java) R 26974 26974 15196 0 -1 4202560 3687 0 0 0 27241 2 0 0 20 0 28 0 3942789 14133010432 416509 33554432000 4194304 4196468 140734989167424 140414566248472 140415593335123 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 11096064 140734989169852 140734989170028 140734989170028 140734989172687 0
[pid=26975/tid=26999] ppid=26974 vsize=13801768 CPUtime=272.71 cores=0,2,4,6,8,10,12,14
/proc/26975/task/26999/stat : 26999 (java) R 26974 26974 15196 0 -1 4202560 5609 0 0 0 27265 6 0 0 20 0 28 0 3942789 14133010432 416509 33554432000 4194304 4196468 140734989167424 140414565198320 140415592406512 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11096064 140734989169852 140734989170028 140734989170028 140734989172687 0
[pid=26975/tid=27000] ppid=26974 vsize=13801768 CPUtime=272.99 cores=0,2,4,6,8,10,12,14
/proc/26975/task/27000/stat : 27000 (java) R 26974 26974 15196 0 -1 4202560 2093 0 0 0 27297 2 0 0 20 0 28 0 3942790 14133010432 416509 33554432000 4194304 4196468 140734989167424 140414564143576 140415593090614 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11096064 140734989169852 140734989170028 140734989170028 140734989172687 0
[pid=26975/tid=27001] ppid=26974 vsize=13801768 CPUtime=272.96 cores=0,2,4,6,8,10,12,14
/proc/26975/task/27001/stat : 27001 (java) R 26974 26974 15196 0 -1 4202560 879 0 0 0 27296 0 0 0 20 0 28 0 3942790 14133010432 416509 33554432000 4194304 4196468 140734989167424 140414563090768 140415591901510 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 11096064 140734989169852 140734989170028 140734989170028 140734989172687 0
[pid=26975/tid=27002] ppid=26974 vsize=13801768 CPUtime=273.46 cores=0,2,4,6,8,10,12,14
/proc/26975/task/27002/stat : 27002 (java) R 26974 26974 15196 0 -1 4202560 1100 0 0 0 27346 0 0 0 20 0 28 0 3942790 14133010432 416509 33554432000 4194304 4196468 140734989167424 140414562037416 140415592283806 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 11096064 140734989169852 140734989170028 140734989170028 140734989172687 0
[pid=26975/tid=27003] ppid=26974 vsize=13801768 CPUtime=273.25 cores=0,2,4,6,8,10,12,14
/proc/26975/task/27003/stat : 27003 (java) R 26974 26974 15196 0 -1 4202560 1170 0 0 0 27325 0 0 0 20 0 28 0 3942956 14133010432 416509 33554432000 4194304 4196468 140734989167424 140413553856392 140415593725779 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 11096064 140734989169852 140734989170028 140734989170028 140734989172687 0
Current children cumulated CPU time (s) 2233.72
Current children cumulated vsize (KiB) 13811280
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+303.202 s]
/proc/loadavg: 15.37 14.15 14.13 17/301 27025
/proc/meminfo: memFree=19532836/32770624 swapFree=5808/99928
[pid=26974] ppid=26971 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/26974/stat : 26974 (xcsp3-exec) S 26971 26974 15196 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 3942402 9740288 346 33554432000 4194304 5098028 140722989209312 140722989207416 140504182866556 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 25448448 140722989212815 140722989213024 140722989213024 140722989215723 0
/proc/26974/statm: 2378 346 289 221 0 87 0
[pid=26975] ppid=26974 vsize=13801768 CPUtime=2400.05 cores=0,2,4,6,8,10,12,14
/proc/26975/stat : 26975 (java) S 26974 26974 15196 0 -1 1077944320 111200 0 0 0 239408 597 0 0 20 0 28 0 3942402 14133010432 414456 33554432000 4194304 4196468 140734989167424 140734989149968 140415988645623 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 11096064 140734989169852 140734989170028 140734989170028 140734989172687 0
/proc/26975/statm: 3450442 414456 3290 1 0 3437675 0
[pid=26975/tid=26976] ppid=26974 vsize=13801768 CPUtime=2.12 cores=0,2,4,6,8,10,12,14
/proc/26975/task/26976/stat : 26976 (java) S 26974 26974 15196 0 -1 1077944384 7594 0 0 0 205 7 0 0 20 0 28 0 3942402 14133010432 414456 33554432000 4194304 4196468 140734989167424 140415992886400 140415988655829 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 11096064 140734989169852 140734989170028 140734989170028 140734989172687 0
[pid=26975/tid=26978] ppid=26974 vsize=13801768 CPUtime=4.69 cores=0,2,4,6,8,10,12,14
/proc/26975/task/26978/stat : 26978 (java) S 26974 26974 15196 0 -1 1077944384 2592 0 0 0 402 67 0 0 20 0 28 0 3942403 14133010432 414456 33554432000 4194304 4196468 140734989167424 140415907125520 140415988655829 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11096064 140734989169852 140734989170028 140734989170028 140734989172687 0
[pid=26975/tid=26979] ppid=26974 vsize=13801768 CPUtime=4.71 cores=0,2,4,6,8,10,12,14
/proc/26975/task/26979/stat : 26979 (java) S 26974 26974 15196 0 -1 1077944384 2824 0 0 0 401 70 0 0 20 0 28 0 3942403 14133010432 414456 33554432000 4194304 4196468 140734989167424 140415906072976 140415988655829 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11096064 140734989169852 140734989170028 140734989170028 140734989172687 0
[pid=26975/tid=26980] ppid=26974 vsize=13801768 CPUtime=4.66 cores=0,2,4,6,8,10,12,14
/proc/26975/task/26980/stat : 26980 (java) S 26974 26974 15196 0 -1 1077944384 2891 0 0 0 398 68 0 0 20 0 28 0 3942403 14133010432 414456 33554432000 4194304 4196468 140734989167424 140415905020432 140415988655829 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11096064 140734989169852 140734989170028 140734989170028 140734989172687 0
[pid=26975/tid=26981] ppid=26974 vsize=13801768 CPUtime=4.6 cores=0,2,4,6,8,10,12,14
/proc/26975/task/26981/stat : 26981 (java) S 26974 26974 15196 0 -1 1077944384 1639 0 0 0 396 64 0 0 20 0 28 0 3942403 14133010432 414456 33554432000 4194304 4196468 140734989167424 140415903967888 140415988655829 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 11096064 140734989169852 140734989170028 140734989170028 140734989172687 0
[pid=26975/tid=26982] ppid=26974 vsize=13801768 CPUtime=4.64 cores=0,2,4,6,8,10,12,14
/proc/26975/task/26982/stat : 26982 (java) S 26974 26974 15196 0 -1 1077944384 2843 0 0 0 398 66 0 0 20 0 28 0 3942403 14133010432 414456 33554432000 4194304 4196468 140734989167424 140415583906576 140415988655829 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 11096064 140734989169852 140734989170028 140734989170028 140734989172687 0
[pid=26975/tid=26983] ppid=26974 vsize=13801768 CPUtime=4.62 cores=0,2,4,6,8,10,12,14
/proc/26975/task/26983/stat : 26983 (java) S 26974 26974 15196 0 -1 1077944384 2454 0 0 0 393 69 0 0 20 0 28 0 3942403 14133010432 414456 33554432000 4194304 4196468 140734989167424 140415582854032 140415988655829 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 11096064 140734989169852 140734989170028 140734989170028 140734989172687 0
[pid=26975/tid=26984] ppid=26974 vsize=13801768 CPUtime=4.65 cores=0,2,4,6,8,10,12,14
/proc/26975/task/26984/stat : 26984 (java) S 26974 26974 15196 0 -1 1077944384 2845 0 0 0 400 65 0 0 20 0 28 0 3942403 14133010432 414456 33554432000 4194304 4196468 140734989167424 140415581801488 140415988655829 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 11096064 140734989169852 140734989170028 140734989170028 140734989172687 0
[pid=26975/tid=26985] ppid=26974 vsize=13801768 CPUtime=4.68 cores=0,2,4,6,8,10,12,14
/proc/26975/task/26985/stat : 26985 (java) S 26974 26974 15196 0 -1 1077944384 3627 0 0 0 398 70 0 0 20 0 28 0 3942403 14133010432 414456 33554432000 4194304 4196468 140734989167424 140415580748944 140415988655829 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11096064 140734989169852 140734989170028 140734989170028 140734989172687 0
[pid=26975/tid=26986] ppid=26974 vsize=13801768 CPUtime=0.43 cores=0,2,4,6,8,10,12,14
/proc/26975/task/26986/stat : 26986 (java) S 26974 26974 15196 0 -1 1077944384 7105 0 0 0 31 12 0 0 20 0 28 0 3942406 14133010432 414456 33554432000 4194304 4196468 140734989167424 140415182518256 140415988656770 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11096064 140734989169852 140734989170028 140734989170028 140734989172687 0
[pid=26975/tid=26987] ppid=26974 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/26975/task/26987/stat : 26987 (java) S 26974 26974 15196 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 28 0 3942406 14133010432 414456 33554432000 4194304 4196468 140734989167424 140415181464544 140415988655829 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 11096064 140734989169852 140734989170028 140734989170028 140734989172687 0
[pid=26975/tid=26988] ppid=26974 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/26975/task/26988/stat : 26988 (java) S 26974 26974 15196 0 -1 1077944384 77 0 0 0 0 0 0 0 20 0 28 0 3942407 14133010432 414456 33554432000 4194304 4196468 140734989167424 140415180411904 140415988655829 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11096064 140734989169852 140734989170028 140734989170028 140734989172687 0
[pid=26975/tid=26989] ppid=26974 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/26975/task/26989/stat : 26989 (java) S 26974 26974 15196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3942411 14133010432 414456 33554432000 4194304 4196468 140734989167424 140415179360464 140415988664219 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 11096064 140734989169852 140734989170028 140734989170028 140734989172687 0
[pid=26975/tid=26990] ppid=26974 vsize=13801768 CPUtime=3.14 cores=0,2,4,6,8,10,12,14
/proc/26975/task/26990/stat : 26990 (java) S 26974 26974 15196 0 -1 1077944384 15877 0 0 0 312 2 0 0 20 0 28 0 3942411 14133010432 414456 33554432000 4194304 4196468 140734989167424 140415178308080 140415988656770 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11096064 140734989169852 140734989170028 140734989170028 140734989172687 0
[pid=26975/tid=26991] ppid=26974 vsize=13801768 CPUtime=4 cores=0,2,4,6,8,10,12,14
/proc/26975/task/26991/stat : 26991 (java) S 26974 26974 15196 0 -1 1077944384 15844 0 0 0 398 2 0 0 20 0 28 0 3942411 14133010432 414456 33554432000 4194304 4196468 140734989167424 140415177255536 140415988656770 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 11096064 140734989169852 140734989170028 140734989170028 140734989172687 0
[pid=26975/tid=26992] ppid=26974 vsize=13801768 CPUtime=3.31 cores=0,2,4,6,8,10,12,14
/proc/26975/task/26992/stat : 26992 (java) S 26974 26974 15196 0 -1 1077944384 14450 0 0 0 328 3 0 0 20 0 28 0 3942411 14133010432 414456 33554432000 4194304 4196468 140734989167424 140415176202992 140415988656770 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 11096064 140734989169852 140734989170028 140734989170028 140734989172687 0
[pid=26975/tid=26993] ppid=26974 vsize=13801768 CPUtime=1.14 cores=0,2,4,6,8,10,12,14
/proc/26975/task/26993/stat : 26993 (java) S 26974 26974 15196 0 -1 1077944384 8499 0 0 0 112 2 0 0 20 0 28 0 3942411 14133010432 414456 33554432000 4194304 4196468 140734989167424 140415175150448 140415988656770 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11096064 140734989169852 140734989170028 140734989170028 140734989172687 0
[pid=26975/tid=26994] ppid=26974 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/26975/task/26994/stat : 26994 (java) S 26974 26974 15196 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3942411 14133010432 414456 33554432000 4194304 4196468 140734989167424 140415174097120 140415988655829 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 11096064 140734989169852 140734989170028 140734989170028 140734989172687 0
[pid=26975/tid=26995] ppid=26974 vsize=13801768 CPUtime=0.17 cores=0,2,4,6,8,10,12,14
/proc/26975/task/26995/stat : 26995 (java) S 26974 26974 15196 0 -1 1077944384 398 0 0 0 8 9 0 0 20 0 28 0 3942411 14133010432 414456 33554432000 4194304 4196468 140734989167424 140415173044656 140415988656770 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 11 0 0 6293624 6294260 11096064 140734989169852 140734989170028 140734989170028 140734989172687 0
[pid=26975/tid=26996] ppid=26974 vsize=13801768 CPUtime=293.45 cores=0,2,4,6,8,10,12,14
/proc/26975/task/26996/stat : 26996 (java) R 26974 26974 15196 0 -1 4202560 1540 0 0 0 29345 0 0 0 20 0 28 0 3942789 14133010432 414456 33554432000 4194304 4196468 140734989167424 140414568355440 140415591895124 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11096064 140734989169852 140734989170028 140734989170028 140734989172687 0
[pid=26975/tid=26997] ppid=26974 vsize=13801768 CPUtime=292.4 cores=0,2,4,6,8,10,12,14
/proc/26975/task/26997/stat : 26997 (java) R 26974 26974 15196 0 -1 4202560 1744 0 0 0 29239 1 0 0 20 0 28 0 3942789 14133010432 414456 33554432000 4194304 4196468 140734989167424 140414567301144 140415592394479 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 11096064 140734989169852 140734989170028 140734989170028 140734989172687 0
[pid=26975/tid=26998] ppid=26974 vsize=13801768 CPUtime=293.28 cores=0,2,4,6,8,10,12,14
/proc/26975/task/26998/stat : 26998 (java) R 26974 26974 15196 0 -1 4202560 3848 0 0 0 29326 2 0 0 20 0 28 0 3942789 14133010432 414456 33554432000 4194304 4196468 140734989167424 140414566248016 140415593278112 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 11096064 140734989169852 140734989170028 140734989170028 140734989172687 0
[pid=26975/tid=26999] ppid=26974 vsize=13801768 CPUtime=293.54 cores=0,2,4,6,8,10,12,14
/proc/26975/task/26999/stat : 26999 (java) R 26974 26974 15196 0 -1 4202560 5951 0 0 0 29348 6 0 0 20 0 28 0 3942789 14133010432 414456 33554432000 4194304 4196468 140734989167424 140414565196296 140415593015643 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 11096064 140734989169852 140734989170028 140734989170028 140734989172687 0
[pid=26975/tid=27000] ppid=26974 vsize=13801768 CPUtime=293.84 cores=0,2,4,6,8,10,12,14
/proc/26975/task/27000/stat : 27000 (java) R 26974 26974 15196 0 -1 4202560 2096 0 0 0 29382 2 0 0 20 0 28 0 3942790 14133010432 414456 33554432000 4194304 4196468 140734989167424 140414564143640 140415592252972 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 11096064 140734989169852 140734989170028 140734989170028 140734989172687 0
[pid=26975/tid=27001] ppid=26974 vsize=13801768 CPUtime=293.63 cores=0,2,4,6,8,10,12,14
/proc/26975/task/27001/stat : 27001 (java) R 26974 26974 15196 0 -1 4202560 883 0 0 0 29363 0 0 0 20 0 28 0 3942790 14133010432 414456 33554432000 4194304 4196468 140734989167424 140414563091032 140415592283822 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11096064 140734989169852 140734989170028 140734989170028 140734989172687 0
[pid=26975/tid=27002] ppid=26974 vsize=13801768 CPUtime=294.02 cores=0,2,4,6,8,10,12,14
/proc/26975/task/27002/stat : 27002 (java) R 26974 26974 15196 0 -1 4202560 1121 0 0 0 29402 0 0 0 20 0 28 0 3942790 14133010432 414456 33554432000 4194304 4196468 140734989167424 140414562037416 140415592281721 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11096064 140734989169852 140734989170028 140734989170028 140734989172687 0
[pid=26975/tid=27003] ppid=26974 vsize=13801768 CPUtime=294.09 cores=0,2,4,6,8,10,12,14
/proc/26975/task/27003/stat : 27003 (java) R 26974 26974 15196 0 -1 4202560 1175 0 0 0 29409 0 0 0 20 0 28 0 3942956 14133010432 414456 33554432000 4194304 4196468 140734989167424 140413553856360 140415592510267 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 11096064 140734989169852 140734989170028 140734989170028 140734989172687 0
Current children cumulated CPU time (s) 2400.05
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 26975 sig 9
??? kill 26974 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 26974 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=2087
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=1043
# CPU time returned by wait4() is 0.00313
# while last known CPU time is 2400.05
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 303.212
CPU time (s): 2400.05
CPU user time (s): 2394.08
CPU system time (s): 5.97
CPU usage (%): 791.542
Max. virtual memory (cumulated for all children) (KiB): 13811280
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.002087
system time used= 0.001043
maximum resident set size= 1388
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 519
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= 2
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.70996 second user time and 4.35256 second system time
The end