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-4249900-1500695695/watcher-4249900-1500695695 -o /tmp/evaluation-result-4249900-1500695695/solver-4249900-1500695695 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node133-1500682387-16944 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 1935359948 HOME/instance-4249900-1500695695.xml
pid=22927
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: 14.18 15.29 14.87 10/275 22930
/proc/meminfo: memFree=31533780/32770624 swapFree=5900/312152
[pid=22930] ppid=22927 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/22930/stat : 22930 (xcsp3-exec) S 22927 22930 16913 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4836482 9740288 346 33554432000 4194304 5098028 140730242332864 140730242330968 140550885978748 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 15851520 140730242335886 140730242336096 140730242336096 140730242338795 0
/proc/22930/statm: 2378 346 289 221 0 87 0
[startup+0.100102 s]
/proc/loadavg: 14.18 15.29 14.87 10/275 22930
/proc/meminfo: memFree=31533780/32770624 swapFree=5900/312152
[pid=22930] ppid=22927 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/22930/stat : 22930 (xcsp3-exec) S 22927 22930 16913 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4836482 9740288 346 33554432000 4194304 5098028 140730242332864 140730242330968 140550885978748 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 15851520 140730242335886 140730242336096 140730242336096 140730242338795 0
/proc/22930/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200368 s]
/proc/loadavg: 14.18 15.29 14.87 10/275 22930
/proc/meminfo: memFree=31533780/32770624 swapFree=5900/312152
[pid=22930] ppid=22927 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/22930/stat : 22930 (xcsp3-exec) S 22927 22930 16913 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4836482 9740288 346 33554432000 4194304 5098028 140730242332864 140730242330968 140550885978748 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 15851520 140730242335886 140730242336096 140730242336096 140730242338795 0
/proc/22930/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300301 s]
/proc/loadavg: 14.18 15.29 14.87 10/275 22930
/proc/meminfo: memFree=31533780/32770624 swapFree=5900/312152
[pid=22930] ppid=22927 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/22930/stat : 22930 (xcsp3-exec) S 22927 22930 16913 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4836482 9740288 346 33554432000 4194304 5098028 140730242332864 140730242330968 140550885978748 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 15851520 140730242335886 140730242336096 140730242336096 140730242338795 0
/proc/22930/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.70022 s]
/proc/loadavg: 14.18 15.29 14.87 10/275 22930
/proc/meminfo: memFree=31533780/32770624 swapFree=5900/312152
[pid=22930] ppid=22927 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/22930/stat : 22930 (xcsp3-exec) S 22927 22930 16913 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4836482 9740288 346 33554432000 4194304 5098028 140730242332864 140730242330968 140550885978748 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 15851520 140730242335886 140730242336096 140730242336096 140730242338795 0
/proc/22930/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50112 s]
/proc/loadavg: 14.18 15.29 14.87 13/296 22951
/proc/meminfo: memFree=31421784/32770624 swapFree=5900/312180
[pid=22930] ppid=22927 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/22930/stat : 22930 (xcsp3-exec) S 22927 22930 16913 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4836482 9740288 346 33554432000 4194304 5098028 140730242332864 140730242330968 140550885978748 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 15851520 140730242335886 140730242336096 140730242336096 140730242338795 0
/proc/22930/statm: 2378 346 289 221 0 87 0
[pid=22931] ppid=22930 vsize=13801768 CPUtime=6.12 cores=0,2,4,6,8,10,12,14
/proc/22931/stat : 22931 (java) S 22930 22930 16913 0 -1 1077944320 22165 0 0 0 604 8 0 0 20 0 28 0 4836482 14133010432 45246 33554432000 4194304 4196468 140721075842784 140721075825328 140687048142583 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 14901248 140721075844284 140721075844460 140721075844460 140721075847119 0
/proc/22931/statm: 3450442 45246 3226 1 0 3437675 0
[pid=22931/tid=22932] ppid=22930 vsize=13801768 CPUtime=1.18 cores=0,2,4,6,8,10,12,14
/proc/22931/task/22932/stat : 22932 (java) S 22930 22930 16913 0 -1 1077944384 8055 0 0 0 114 4 0 0 20 0 28 0 4836482 14133010432 45246 33554432000 4194304 4196468 140721075842784 140687052383360 140687048152789 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14901248 140721075844284 140721075844460 140721075844460 140721075847119 0
[pid=22931/tid=22934] ppid=22930 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/22931/task/22934/stat : 22934 (java) S 22930 22930 16913 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 4836483 14133010432 45246 33554432000 4194304 4196468 140721075842784 140686966622992 140687048152789 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 14901248 140721075844284 140721075844460 140721075844460 140721075847119 0
[pid=22931/tid=22935] ppid=22930 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/22931/task/22935/stat : 22935 (java) S 22930 22930 16913 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 4836483 14133010432 45246 33554432000 4194304 4196468 140721075842784 140686965570448 140687048152789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14901248 140721075844284 140721075844460 140721075844460 140721075847119 0
[pid=22931/tid=22936] ppid=22930 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/22931/task/22936/stat : 22936 (java) S 22930 22930 16913 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 4836483 14133010432 45246 33554432000 4194304 4196468 140721075842784 140686964517904 140687048152789 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 14901248 140721075844284 140721075844460 140721075844460 140721075847119 0
[pid=22931/tid=22937] ppid=22930 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/22931/task/22937/stat : 22937 (java) S 22930 22930 16913 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 4836483 14133010432 45246 33554432000 4194304 4196468 140721075842784 140686963465360 140687048152789 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14901248 140721075844284 140721075844460 140721075844460 140721075847119 0
[pid=22931/tid=22938] ppid=22930 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/22931/task/22938/stat : 22938 (java) S 22930 22930 16913 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4836483 14133010432 45246 33554432000 4194304 4196468 140721075842784 140686962411792 140687048152789 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 14901248 140721075844284 140721075844460 140721075844460 140721075847119 0
[pid=22931/tid=22939] ppid=22930 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/22931/task/22939/stat : 22939 (java) S 22930 22930 16913 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 4836483 14133010432 45246 33554432000 4194304 4196468 140721075842784 140686961359248 140687048152789 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14901248 140721075844284 140721075844460 140721075844460 140721075847119 0
[pid=22931/tid=22940] ppid=22930 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/22931/task/22940/stat : 22940 (java) S 22930 22930 16913 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4836483 14133010432 45246 33554432000 4194304 4196468 140721075842784 140686960306704 140687048152789 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14901248 140721075844284 140721075844460 140721075844460 140721075847119 0
[pid=22931/tid=22941] ppid=22930 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/22931/task/22941/stat : 22941 (java) S 22930 22930 16913 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4836483 14133010432 45246 33554432000 4194304 4196468 140721075842784 140686959254160 140687048152789 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 14901248 140721075844284 140721075844460 140721075844460 140721075847119 0
[pid=22931/tid=22942] ppid=22930 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/22931/task/22942/stat : 22942 (java) S 22930 22930 16913 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 28 0 4836486 14133010432 45246 33554432000 4194304 4196468 140721075842784 140686174968304 140687048153730 0 0 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 14901248 140721075844284 140721075844460 140721075844460 140721075847119 0
[pid=22931/tid=22943] ppid=22930 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/22931/task/22943/stat : 22943 (java) S 22930 22930 16913 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 4836486 14133010432 45246 33554432000 4194304 4196468 140721075842784 140686173914528 140687048152789 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 14901248 140721075844284 140721075844460 140721075844460 140721075847119 0
[pid=22931/tid=22944] ppid=22930 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/22931/task/22944/stat : 22944 (java) S 22930 22930 16913 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 4836487 14133010432 45246 33554432000 4194304 4196468 140721075842784 140686172861936 140687048152789 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 14901248 140721075844284 140721075844460 140721075844460 140721075847119 0
[pid=22931/tid=22945] ppid=22930 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/22931/task/22945/stat : 22945 (java) S 22930 22930 16913 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4836490 14133010432 45246 33554432000 4194304 4196468 140721075842784 140686171810512 140687048161179 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 14901248 140721075844284 140721075844460 140721075844460 140721075847119 0
[pid=22931/tid=22946] ppid=22930 vsize=13801768 CPUtime=0.93 cores=0,2,4,6,8,10,12,14
/proc/22931/task/22946/stat : 22946 (java) R 22930 22930 16913 0 -1 4202560 3145 0 0 0 93 0 0 0 20 0 28 0 4836490 14133010432 45246 33554432000 4194304 4196468 140721075842784 140686170744224 140687031553406 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 14901248 140721075844284 140721075844460 140721075844460 140721075847119 0
[pid=22931/tid=22947] ppid=22930 vsize=13801768 CPUtime=0.91 cores=0,2,4,6,8,10,12,14
/proc/22931/task/22947/stat : 22947 (java) R 22930 22930 16913 0 -1 4202560 2908 0 0 0 91 0 0 0 20 0 28 0 4836490 14133010432 45246 33554432000 4194304 4196468 140721075842784 140686169691232 140687031665897 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 14901248 140721075844284 140721075844460 140721075844460 140721075847119 0
[pid=22931/tid=22948] ppid=22930 vsize=13801768 CPUtime=0.99 cores=0,2,4,6,8,10,12,14
/proc/22931/task/22948/stat : 22948 (java) R 22930 22930 16913 0 -1 4202560 3829 0 0 0 98 1 0 0 20 0 28 0 4836490 14133010432 45246 33554432000 4194304 4196468 140721075842784 140686168651120 140687033268904 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14901248 140721075844284 140721075844460 140721075844460 140721075847119 0
[pid=22931/tid=22949] ppid=22930 vsize=13801768 CPUtime=0.64 cores=0,2,4,6,8,10,12,14
/proc/22931/task/22949/stat : 22949 (java) R 22930 22930 16913 0 -1 4202560 2479 0 0 0 63 1 0 0 20 0 28 0 4836490 14133010432 45246 33554432000 4194304 4196468 140721075842784 140686167599472 140687027953794 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14901248 140721075844284 140721075844460 140721075844460 140721075847119 0
[pid=22931/tid=22950] ppid=22930 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/22931/task/22950/stat : 22950 (java) S 22930 22930 16913 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4836491 14133010432 45246 33554432000 4194304 4196468 140721075842784 140686166547168 140687048152789 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 14901248 140721075844284 140721075844460 140721075844460 140721075847119 0
[pid=22931/tid=22951] ppid=22930 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/22931/task/22951/stat : 22951 (java) S 22930 22930 16913 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4836491 14133010432 45246 33554432000 4194304 4196468 140721075842784 140686165494704 140687048153730 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 14901248 140721075844284 140721075844460 140721075844460 140721075847119 0
Current children cumulated CPU time (s) 6.12
Current children cumulated vsize (KiB) 13811280
[startup+3.10148 s]
/proc/loadavg: 14.18 15.29 14.87 19/304 22959
/proc/meminfo: memFree=31387140/32770624 swapFree=5900/312180
[pid=22930] ppid=22927 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/22930/stat : 22930 (xcsp3-exec) S 22927 22930 16913 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4836482 9740288 346 33554432000 4194304 5098028 140730242332864 140730242330968 140550885978748 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 15851520 140730242335886 140730242336096 140730242336096 140730242338795 0
/proc/22930/statm: 2378 346 289 221 0 87 0
[pid=22931] ppid=22930 vsize=13801768 CPUtime=18.86 cores=0,2,4,6,8,10,12,14
/proc/22931/stat : 22931 (java) S 22930 22930 16913 0 -1 1077944320 23871 0 0 0 1876 10 0 0 20 0 28 0 4836482 14133010432 46207 33554432000 4194304 4196468 140721075842784 140721075825328 140687048142583 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 14901248 140721075844284 140721075844460 140721075844460 140721075847119 0
/proc/22931/statm: 3450442 46207 3239 1 0 3437675 0
[pid=22931/tid=22932] ppid=22930 vsize=13801768 CPUtime=1.18 cores=0,2,4,6,8,10,12,14
/proc/22931/task/22932/stat : 22932 (java) S 22930 22930 16913 0 -1 1077944384 8055 0 0 0 114 4 0 0 20 0 28 0 4836482 14133010432 46207 33554432000 4194304 4196468 140721075842784 140687052383360 140687048152789 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14901248 140721075844284 140721075844460 140721075844460 140721075847119 0
[pid=22931/tid=22934] ppid=22930 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/22931/task/22934/stat : 22934 (java) S 22930 22930 16913 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 4836483 14133010432 46207 33554432000 4194304 4196468 140721075842784 140686966622992 140687048152789 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 14901248 140721075844284 140721075844460 140721075844460 140721075847119 0
[pid=22931/tid=22935] ppid=22930 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/22931/task/22935/stat : 22935 (java) S 22930 22930 16913 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 4836483 14133010432 46207 33554432000 4194304 4196468 140721075842784 140686965570448 140687048152789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14901248 140721075844284 140721075844460 140721075844460 140721075847119 0
[pid=22931/tid=22936] ppid=22930 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/22931/task/22936/stat : 22936 (java) S 22930 22930 16913 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 4836483 14133010432 46207 33554432000 4194304 4196468 140721075842784 140686964517904 140687048152789 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 14901248 140721075844284 140721075844460 140721075844460 140721075847119 0
[pid=22931/tid=22937] ppid=22930 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/22931/task/22937/stat : 22937 (java) S 22930 22930 16913 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 4836483 14133010432 46207 33554432000 4194304 4196468 140721075842784 140686963465360 140687048152789 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14901248 140721075844284 140721075844460 140721075844460 140721075847119 0
[pid=22931/tid=22938] ppid=22930 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/22931/task/22938/stat : 22938 (java) S 22930 22930 16913 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4836483 14133010432 46207 33554432000 4194304 4196468 140721075842784 140686962411792 140687048152789 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 14901248 140721075844284 140721075844460 140721075844460 140721075847119 0
[pid=22931/tid=22939] ppid=22930 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/22931/task/22939/stat : 22939 (java) S 22930 22930 16913 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 4836483 14133010432 46207 33554432000 4194304 4196468 140721075842784 140686961359248 140687048152789 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14901248 140721075844284 140721075844460 140721075844460 140721075847119 0
[pid=22931/tid=22940] ppid=22930 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/22931/task/22940/stat : 22940 (java) S 22930 22930 16913 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4836483 14133010432 46207 33554432000 4194304 4196468 140721075842784 140686960306704 140687048152789 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14901248 140721075844284 140721075844460 140721075844460 140721075847119 0
[pid=22931/tid=22941] ppid=22930 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/22931/task/22941/stat : 22941 (java) S 22930 22930 16913 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4836483 14133010432 46207 33554432000 4194304 4196468 140721075842784 140686959254160 140687048152789 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 14901248 140721075844284 140721075844460 140721075844460 140721075847119 0
[pid=22931/tid=22942] ppid=22930 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/22931/task/22942/stat : 22942 (java) S 22930 22930 16913 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 28 0 4836486 14133010432 46207 33554432000 4194304 4196468 140721075842784 140686174968304 140687048153730 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14901248 140721075844284 140721075844460 140721075844460 140721075847119 0
[pid=22931/tid=22943] ppid=22930 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/22931/task/22943/stat : 22943 (java) S 22930 22930 16913 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 4836486 14133010432 46207 33554432000 4194304 4196468 140721075842784 140686173914528 140687048152789 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 14901248 140721075844284 140721075844460 140721075844460 140721075847119 0
[pid=22931/tid=22944] ppid=22930 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/22931/task/22944/stat : 22944 (java) S 22930 22930 16913 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 4836487 14133010432 46207 33554432000 4194304 4196468 140721075842784 140686172861936 140687048152789 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 14901248 140721075844284 140721075844460 140721075844460 140721075847119 0
[pid=22931/tid=22945] ppid=22930 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/22931/task/22945/stat : 22945 (java) S 22930 22930 16913 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4836490 14133010432 46207 33554432000 4194304 4196468 140721075842784 140686171810512 140687048161179 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 14901248 140721075844284 140721075844460 140721075844460 140721075847119 0
[pid=22931/tid=22946] ppid=22930 vsize=13801768 CPUtime=1.51 cores=0,2,4,6,8,10,12,14
/proc/22931/task/22946/stat : 22946 (java) S 22930 22930 16913 0 -1 1077944384 3598 0 0 0 150 1 0 0 20 0 28 0 4836490 14133010432 46207 33554432000 4194304 4196468 140721075842784 140686170757104 140687048153730 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14901248 140721075844284 140721075844460 140721075844460 140721075847119 0
[pid=22931/tid=22947] ppid=22930 vsize=13801768 CPUtime=1.48 cores=0,2,4,6,8,10,12,14
/proc/22931/task/22947/stat : 22947 (java) S 22930 22930 16913 0 -1 1077944384 3305 0 0 0 147 1 0 0 20 0 28 0 4836490 14133010432 46207 33554432000 4194304 4196468 140721075842784 140686169704560 140687048153730 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 14901248 140721075844284 140721075844460 140721075844460 140721075847119 0
[pid=22931/tid=22948] ppid=22930 vsize=13801768 CPUtime=1.57 cores=0,2,4,6,8,10,12,14
/proc/22931/task/22948/stat : 22948 (java) S 22930 22930 16913 0 -1 1077944384 4193 0 0 0 156 1 0 0 20 0 28 0 4836490 14133010432 46207 33554432000 4194304 4196468 140721075842784 140686168652016 140687048153730 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 14901248 140721075844284 140721075844460 140721075844460 140721075847119 0
[pid=22931/tid=22949] ppid=22930 vsize=13801768 CPUtime=0.75 cores=0,2,4,6,8,10,12,14
/proc/22931/task/22949/stat : 22949 (java) S 22930 22930 16913 0 -1 1077944384 2641 0 0 0 74 1 0 0 20 0 28 0 4836490 14133010432 46207 33554432000 4194304 4196468 140721075842784 140686167599472 140687048153730 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 14901248 140721075844284 140721075844460 140721075844460 140721075847119 0
[pid=22931/tid=22950] ppid=22930 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/22931/task/22950/stat : 22950 (java) S 22930 22930 16913 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4836491 14133010432 46207 33554432000 4194304 4196468 140721075842784 140686166547168 140687048152789 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 14901248 140721075844284 140721075844460 140721075844460 140721075847119 0
[pid=22931/tid=22951] ppid=22930 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/22931/task/22951/stat : 22951 (java) S 22930 22930 16913 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 28 0 4836491 14133010432 46207 33554432000 4194304 4196468 140721075842784 140686165494704 140687048153730 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 14901248 140721075844284 140721075844460 140721075844460 140721075847119 0
[pid=22931/tid=22952] ppid=22930 vsize=13801768 CPUtime=1.4 cores=0,2,4,6,8,10,12,14
/proc/22931/task/22952/stat : 22952 (java) R 22930 22930 16913 0 -1 4202560 136 0 0 0 140 0 0 0 20 0 28 0 4836602 14133010432 46207 33554432000 4194304 4196468 140721075842784 140686157479336 140686642903368 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 14901248 140721075844284 140721075844460 140721075844460 140721075847119 0
[pid=22931/tid=22953] ppid=22930 vsize=13801768 CPUtime=1.44 cores=0,2,4,6,8,10,12,14
/proc/22931/task/22953/stat : 22953 (java) R 22930 22930 16913 0 -1 4202560 77 0 0 0 144 0 0 0 20 0 28 0 4836602 14133010432 46207 33554432000 4194304 4196468 140721075842784 140686156427800 140686642903444 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14901248 140721075844284 140721075844460 140721075844460 140721075847119 0
[pid=22931/tid=22954] ppid=22930 vsize=13801768 CPUtime=1.67 cores=0,2,4,6,8,10,12,14
/proc/22931/task/22954/stat : 22954 (java) R 22930 22930 16913 0 -1 4202560 70 0 0 0 167 0 0 0 20 0 28 0 4836603 14133010432 46207 33554432000 4194304 4196468 140721075842784 140686155376120 140686637751011 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 14901248 140721075844284 140721075844460 140721075844460 140721075847119 0
[pid=22931/tid=22955] ppid=22930 vsize=13801768 CPUtime=1.54 cores=0,2,4,6,8,10,12,14
/proc/22931/task/22955/stat : 22955 (java) R 22930 22930 16913 0 -1 4202560 135 0 0 0 154 0 0 0 20 0 28 0 4836603 14133010432 46207 33554432000 4194304 4196468 140721075842784 140686154321896 140686642903503 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 14901248 140721075844284 140721075844460 140721075844460 140721075847119 0
[pid=22931/tid=22956] ppid=22930 vsize=13801768 CPUtime=1.49 cores=0,2,4,6,8,10,12,14
/proc/22931/task/22956/stat : 22956 (java) R 22930 22930 16913 0 -1 4202560 107 0 0 0 149 0 0 0 20 0 28 0 4836603 14133010432 46207 33554432000 4194304 4196468 140721075842784 140686153270040 140686642903560 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14901248 140721075844284 140721075844460 140721075844460 140721075847119 0
[pid=22931/tid=22957] ppid=22930 vsize=13801768 CPUtime=1.5 cores=0,2,4,6,8,10,12,14
/proc/22931/task/22957/stat : 22957 (java) R 22930 22930 16913 0 -1 4202560 61 0 0 0 150 0 0 0 20 0 28 0 4836603 14133010432 46207 33554432000 4194304 4196468 140721075842784 140686152219152 140686637750999 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 14901248 140721075844284 140721075844460 140721075844460 140721075847119 0
[pid=22931/tid=22958] ppid=22930 vsize=13801768 CPUtime=1.64 cores=0,2,4,6,8,10,12,14
/proc/22931/task/22958/stat : 22958 (java) R 22930 22930 16913 0 -1 4202560 86 0 0 0 164 0 0 0 20 0 28 0 4836603 14133010432 46207 33554432000 4194304 4196468 140721075842784 140686151165856 140686643347869 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 14901248 140721075844284 140721075844460 140721075844460 140721075847119 0
[pid=22931/tid=22959] ppid=22930 vsize=13801768 CPUtime=1.6 cores=0,2,4,6,8,10,12,14
/proc/22931/task/22959/stat : 22959 (java) R 22930 22930 16913 0 -1 4202560 40 0 0 0 160 0 0 0 20 0 28 0 4836603 14133010432 46207 33554432000 4194304 4196468 140721075842784 140685755273816 140686642903660 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 14901248 140721075844284 140721075844460 140721075844460 140721075847119 0
Current children cumulated CPU time (s) 18.86
Current children cumulated vsize (KiB) 13811280
[startup+6.30152 s]
/proc/loadavg: 14.09 15.25 14.86 17/304 22959
/proc/meminfo: memFree=31365628/32770624 swapFree=5900/312180
[pid=22930] ppid=22927 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/22930/stat : 22930 (xcsp3-exec) S 22927 22930 16913 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4836482 9740288 346 33554432000 4194304 5098028 140730242332864 140730242330968 140550885978748 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 15851520 140730242335886 140730242336096 140730242336096 140730242338795 0
/proc/22930/statm: 2378 346 289 221 0 87 0
[pid=22931] ppid=22930 vsize=13801768 CPUtime=43.41 cores=0,2,4,6,8,10,12,14
/proc/22931/stat : 22931 (java) S 22930 22930 16913 0 -1 1077944320 30151 0 0 0 4319 22 0 0 20 0 28 0 4836482 14133010432 55095 33554432000 4194304 4196468 140721075842784 140721075825328 140687048142583 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 14901248 140721075844284 140721075844460 140721075844460 140721075847119 0
/proc/22931/statm: 3450442 55095 3261 1 0 3437675 0
[pid=22931/tid=22932] ppid=22930 vsize=13801768 CPUtime=1.18 cores=0,2,4,6,8,10,12,14
/proc/22931/task/22932/stat : 22932 (java) S 22930 22930 16913 0 -1 1077944384 8055 0 0 0 114 4 0 0 20 0 28 0 4836482 14133010432 55095 33554432000 4194304 4196468 140721075842784 140687052383360 140687048152789 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14901248 140721075844284 140721075844460 140721075844460 140721075847119 0
[pid=22931/tid=22934] ppid=22930 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/22931/task/22934/stat : 22934 (java) S 22930 22930 16913 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 4836483 14133010432 55095 33554432000 4194304 4196468 140721075842784 140686966622992 140687048152789 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 14901248 140721075844284 140721075844460 140721075844460 140721075847119 0
[pid=22931/tid=22935] ppid=22930 vsize=13801768 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/22931/task/22935/stat : 22935 (java) S 22930 22930 16913 0 -1 1077944384 110 0 0 0 1 1 0 0 20 0 28 0 4836483 14133010432 55095 33554432000 4194304 4196468 140721075842784 140686965570448 140687048152789 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14901248 140721075844284 140721075844460 140721075844460 140721075847119 0
[pid=22931/tid=22936] ppid=22930 vsize=13801768 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/22931/task/22936/stat : 22936 (java) S 22930 22930 16913 0 -1 1077944384 31 0 0 0 1 1 0 0 20 0 28 0 4836483 14133010432 55095 33554432000 4194304 4196468 140721075842784 140686964517904 140687048152789 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 14901248 140721075844284 140721075844460 140721075844460 140721075847119 0
[pid=22931/tid=22937] ppid=22930 vsize=13801768 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/22931/task/22937/stat : 22937 (java) S 22930 22930 16913 0 -1 1077944384 36 0 0 0 0 1 0 0 20 0 28 0 4836483 14133010432 55095 33554432000 4194304 4196468 140721075842784 140686963465360 140687048152789 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 14901248 140721075844284 140721075844460 140721075844460 140721075847119 0
################
# More data... #
################
[pid=22931/tid=22958] ppid=22930 vsize=13801768 CPUtime=219.8 cores=0,2,4,6,8,10,12,14
/proc/22931/task/22958/stat : 22958 (java) R 22930 22930 16913 0 -1 4202560 626 0 0 0 21980 0 0 0 20 0 28 0 4836603 14133010432 57279 33554432000 4194304 4196468 140721075842784 140686151164072 140686642903262 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 14901248 140721075844284 140721075844460 140721075844460 140721075847119 0
[pid=22931/tid=22959] ppid=22930 vsize=13801768 CPUtime=218.84 cores=0,2,4,6,8,10,12,14
/proc/22931/task/22959/stat : 22959 (java) R 22930 22930 16913 0 -1 4202560 535 0 0 0 21884 0 0 0 20 0 28 0 4836603 14133010432 57279 33554432000 4194304 4196468 140721075842784 140685755273264 140686637750985 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 14901248 140721075844284 140721075844460 140721075844460 140721075847119 0
Current children cumulated CPU time (s) 1763.42
Current children cumulated vsize (KiB) 13811280
[startup+282.302 s]
/proc/loadavg: 16.11 15.76 15.18 17/303 22966
/proc/meminfo: memFree=27490120/32770624 swapFree=5900/312524
[pid=22930] ppid=22927 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/22930/stat : 22930 (xcsp3-exec) S 22927 22930 16913 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4836482 9740288 346 33554432000 4194304 5098028 140730242332864 140730242330968 140550885978748 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 15851520 140730242335886 140730242336096 140730242336096 140730242338795 0
/proc/22930/statm: 2378 346 289 221 0 87 0
[pid=22931] ppid=22930 vsize=13801768 CPUtime=2240.8 cores=0,2,4,6,8,10,12,14
/proc/22931/stat : 22931 (java) S 22930 22930 16913 0 -1 1077944320 54190 0 0 0 224017 63 0 0 20 0 28 0 4836482 14133010432 46149 33554432000 4194304 4196468 140721075842784 140721075825328 140687048142583 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 14901248 140721075844284 140721075844460 140721075844460 140721075847119 0
/proc/22931/statm: 3450442 46149 3273 1 0 3437675 0
[pid=22931/tid=22932] ppid=22930 vsize=13801768 CPUtime=1.18 cores=0,2,4,6,8,10,12,14
/proc/22931/task/22932/stat : 22932 (java) S 22930 22930 16913 0 -1 1077944384 8055 0 0 0 114 4 0 0 20 0 28 0 4836482 14133010432 46149 33554432000 4194304 4196468 140721075842784 140687052383360 140687048152789 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14901248 140721075844284 140721075844460 140721075844460 140721075847119 0
[pid=22931/tid=22934] ppid=22930 vsize=13801768 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/22931/task/22934/stat : 22934 (java) S 22930 22930 16913 0 -1 1077944384 492 0 0 0 10 3 0 0 20 0 28 0 4836483 14133010432 46149 33554432000 4194304 4196468 140721075842784 140686966622992 140687048152789 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14901248 140721075844284 140721075844460 140721075844460 140721075847119 0
[pid=22931/tid=22935] ppid=22930 vsize=13801768 CPUtime=0.14 cores=0,2,4,6,8,10,12,14
/proc/22931/task/22935/stat : 22935 (java) S 22930 22930 16913 0 -1 1077944384 598 0 0 0 10 4 0 0 20 0 28 0 4836483 14133010432 46149 33554432000 4194304 4196468 140721075842784 140686965570448 140687048152789 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14901248 140721075844284 140721075844460 140721075844460 140721075847119 0
[pid=22931/tid=22936] ppid=22930 vsize=13801768 CPUtime=0.15 cores=0,2,4,6,8,10,12,14
/proc/22931/task/22936/stat : 22936 (java) S 22930 22930 16913 0 -1 1077944384 524 0 0 0 10 5 0 0 20 0 28 0 4836483 14133010432 46149 33554432000 4194304 4196468 140721075842784 140686964517904 140687048152789 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14901248 140721075844284 140721075844460 140721075844460 140721075847119 0
[pid=22931/tid=22937] ppid=22930 vsize=13801768 CPUtime=0.14 cores=0,2,4,6,8,10,12,14
/proc/22931/task/22937/stat : 22937 (java) S 22930 22930 16913 0 -1 1077944384 350 0 0 0 10 4 0 0 20 0 28 0 4836483 14133010432 46149 33554432000 4194304 4196468 140721075842784 140686963465360 140687048152789 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 14901248 140721075844284 140721075844460 140721075844460 140721075847119 0
[pid=22931/tid=22938] ppid=22930 vsize=13801768 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/22931/task/22938/stat : 22938 (java) S 22930 22930 16913 0 -1 1077944384 545 0 0 0 8 4 0 0 20 0 28 0 4836483 14133010432 46149 33554432000 4194304 4196468 140721075842784 140686962411792 140687048152789 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14901248 140721075844284 140721075844460 140721075844460 140721075847119 0
[pid=22931/tid=22939] ppid=22930 vsize=13801768 CPUtime=0.14 cores=0,2,4,6,8,10,12,14
/proc/22931/task/22939/stat : 22939 (java) S 22930 22930 16913 0 -1 1077944384 1096 0 0 0 9 5 0 0 20 0 28 0 4836483 14133010432 46149 33554432000 4194304 4196468 140721075842784 140686961359248 140687048152789 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 14901248 140721075844284 140721075844460 140721075844460 140721075847119 0
[pid=22931/tid=22940] ppid=22930 vsize=13801768 CPUtime=0.14 cores=0,2,4,6,8,10,12,14
/proc/22931/task/22940/stat : 22940 (java) S 22930 22930 16913 0 -1 1077944384 811 0 0 0 9 5 0 0 20 0 28 0 4836483 14133010432 46149 33554432000 4194304 4196468 140721075842784 140686960306704 140687048152789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14901248 140721075844284 140721075844460 140721075844460 140721075847119 0
[pid=22931/tid=22941] ppid=22930 vsize=13801768 CPUtime=0.14 cores=0,2,4,6,8,10,12,14
/proc/22931/task/22941/stat : 22941 (java) S 22930 22930 16913 0 -1 1077944384 2880 0 0 0 10 4 0 0 20 0 28 0 4836483 14133010432 46149 33554432000 4194304 4196468 140721075842784 140686959254160 140687048152789 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14901248 140721075844284 140721075844460 140721075844460 140721075847119 0
[pid=22931/tid=22942] ppid=22930 vsize=13801768 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/22931/task/22942/stat : 22942 (java) S 22930 22930 16913 0 -1 1077944384 2111 0 0 0 5 6 0 0 20 0 28 0 4836486 14133010432 46149 33554432000 4194304 4196468 140721075842784 140686174968304 140687048153730 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 10 0 0 6293624 6294260 14901248 140721075844284 140721075844460 140721075844460 140721075847119 0
[pid=22931/tid=22943] ppid=22930 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/22931/task/22943/stat : 22943 (java) S 22930 22930 16913 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 28 0 4836486 14133010432 46149 33554432000 4194304 4196468 140721075842784 140686173914528 140687048152789 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14901248 140721075844284 140721075844460 140721075844460 140721075847119 0
[pid=22931/tid=22944] ppid=22930 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/22931/task/22944/stat : 22944 (java) S 22930 22930 16913 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 28 0 4836487 14133010432 46149 33554432000 4194304 4196468 140721075842784 140686172861936 140687048152789 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14901248 140721075844284 140721075844460 140721075844460 140721075847119 0
[pid=22931/tid=22945] ppid=22930 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/22931/task/22945/stat : 22945 (java) S 22930 22930 16913 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4836490 14133010432 46149 33554432000 4194304 4196468 140721075842784 140686171810512 140687048161179 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 14901248 140721075844284 140721075844460 140721075844460 140721075847119 0
[pid=22931/tid=22946] ppid=22930 vsize=13801768 CPUtime=1.86 cores=0,2,4,6,8,10,12,14
/proc/22931/task/22946/stat : 22946 (java) S 22930 22930 16913 0 -1 1077944384 7622 0 0 0 185 1 0 0 20 0 28 0 4836490 14133010432 46149 33554432000 4194304 4196468 140721075842784 140686170757104 140687048153730 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 14901248 140721075844284 140721075844460 140721075844460 140721075847119 0
[pid=22931/tid=22947] ppid=22930 vsize=13801768 CPUtime=1.7 cores=0,2,4,6,8,10,12,14
/proc/22931/task/22947/stat : 22947 (java) S 22930 22930 16913 0 -1 1077944384 7078 0 0 0 169 1 0 0 20 0 28 0 4836490 14133010432 46149 33554432000 4194304 4196468 140721075842784 140686169704560 140687048153730 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 14901248 140721075844284 140721075844460 140721075844460 140721075847119 0
[pid=22931/tid=22948] ppid=22930 vsize=13801768 CPUtime=1.85 cores=0,2,4,6,8,10,12,14
/proc/22931/task/22948/stat : 22948 (java) S 22930 22930 16913 0 -1 1077944384 6922 0 0 0 184 1 0 0 20 0 28 0 4836490 14133010432 46149 33554432000 4194304 4196468 140721075842784 140686168652016 140687048153730 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14901248 140721075844284 140721075844460 140721075844460 140721075847119 0
[pid=22931/tid=22949] ppid=22930 vsize=13801768 CPUtime=0.8 cores=0,2,4,6,8,10,12,14
/proc/22931/task/22949/stat : 22949 (java) S 22930 22930 16913 0 -1 1077944384 4887 0 0 0 79 1 0 0 20 0 28 0 4836490 14133010432 46149 33554432000 4194304 4196468 140721075842784 140686167599472 140687048153730 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14901248 140721075844284 140721075844460 140721075844460 140721075847119 0
[pid=22931/tid=22950] ppid=22930 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/22931/task/22950/stat : 22950 (java) S 22930 22930 16913 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4836491 14133010432 46149 33554432000 4194304 4196468 140721075842784 140686166547168 140687048152789 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 14901248 140721075844284 140721075844460 140721075844460 140721075847119 0
[pid=22931/tid=22951] ppid=22930 vsize=13801768 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/22931/task/22951/stat : 22951 (java) S 22930 22930 16913 0 -1 1077944384 935 0 0 0 8 4 0 0 20 0 28 0 4836491 14133010432 46149 33554432000 4194304 4196468 140721075842784 140686165494704 140687048153730 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 10 0 0 6293624 6294260 14901248 140721075844284 140721075844460 140721075844460 140721075847119 0
[pid=22931/tid=22952] ppid=22930 vsize=13801768 CPUtime=279.2 cores=0,2,4,6,8,10,12,14
/proc/22931/task/22952/stat : 22952 (java) R 22930 22930 16913 0 -1 4202560 1246 0 0 0 27920 0 0 0 20 0 28 0 4836602 14133010432 46149 33554432000 4194304 4196468 140721075842784 140686157479448 140686642572309 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 14901248 140721075844284 140721075844460 140721075844460 140721075847119 0
[pid=22931/tid=22953] ppid=22930 vsize=13801768 CPUtime=278.42 cores=0,2,4,6,8,10,12,14
/proc/22931/task/22953/stat : 22953 (java) R 22930 22930 16913 0 -1 4202560 736 0 0 0 27841 1 0 0 20 0 28 0 4836602 14133010432 46149 33554432000 4194304 4196468 140721075842784 140686156427568 140686642903444 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 14901248 140721075844284 140721075844460 140721075844460 140721075847119 0
[pid=22931/tid=22954] ppid=22930 vsize=13801768 CPUtime=279.53 cores=0,2,4,6,8,10,12,14
/proc/22931/task/22954/stat : 22954 (java) R 22930 22930 16913 0 -1 4202560 2198 0 0 0 27952 1 0 0 20 0 28 0 4836603 14133010432 46149 33554432000 4194304 4196468 140721075842784 140686155376832 140686643150513 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 14901248 140721075844284 140721075844460 140721075844460 140721075847119 0
[pid=22931/tid=22955] ppid=22930 vsize=13801768 CPUtime=278.89 cores=0,2,4,6,8,10,12,14
/proc/22931/task/22955/stat : 22955 (java) R 22930 22930 16913 0 -1 4202560 1407 0 0 0 27888 1 0 0 20 0 28 0 4836603 14133010432 46149 33554432000 4194304 4196468 140721075842784 140686154321704 140686642903945 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14901248 140721075844284 140721075844460 140721075844460 140721075847119 0
[pid=22931/tid=22956] ppid=22930 vsize=13801768 CPUtime=278.72 cores=0,2,4,6,8,10,12,14
/proc/22931/task/22956/stat : 22956 (java) R 22930 22930 16913 0 -1 4202560 724 0 0 0 27872 0 0 0 20 0 28 0 4836603 14133010432 46149 33554432000 4194304 4196468 140721075842784 140686153269160 140686643168100 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 14901248 140721075844284 140721075844460 140721075844460 140721075847119 0
[pid=22931/tid=22957] ppid=22930 vsize=13801768 CPUtime=278.89 cores=0,2,4,6,8,10,12,14
/proc/22931/task/22957/stat : 22957 (java) R 22930 22930 16913 0 -1 4202560 379 0 0 0 27889 0 0 0 20 0 28 0 4836603 14133010432 46149 33554432000 4194304 4196468 140721075842784 140686152216616 140686643168244 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14901248 140721075844284 140721075844460 140721075844460 140721075847119 0
[pid=22931/tid=22958] ppid=22930 vsize=13801768 CPUtime=279.64 cores=0,2,4,6,8,10,12,14
/proc/22931/task/22958/stat : 22958 (java) R 22930 22930 16913 0 -1 4202560 660 0 0 0 27964 0 0 0 20 0 28 0 4836603 14133010432 46149 33554432000 4194304 4196468 140721075842784 140686151164072 140686642904427 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 14901248 140721075844284 140721075844460 140721075844460 140721075847119 0
[pid=22931/tid=22959] ppid=22930 vsize=13801768 CPUtime=278.53 cores=0,2,4,6,8,10,12,14
/proc/22931/task/22959/stat : 22959 (java) R 22930 22930 16913 0 -1 4202560 583 0 0 0 27853 0 0 0 20 0 28 0 4836603 14133010432 46149 33554432000 4194304 4196468 140721075842784 140685755273512 140686643168583 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 14901248 140721075844284 140721075844460 140721075844460 140721075847119 0
Current children cumulated CPU time (s) 2240.8
Current children cumulated vsize (KiB) 13811280
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+302.401 s]
/proc/loadavg: 14.57 15.45 15.09 10/295 23061
/proc/meminfo: memFree=28900324/32770624 swapFree=5900/312584
[pid=22930] ppid=22927 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/22930/stat : 22930 (xcsp3-exec) S 22927 22930 16913 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4836482 9740288 346 33554432000 4194304 5098028 140730242332864 140730242330968 140550885978748 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 15851520 140730242335886 140730242336096 140730242336096 140730242338795 0
/proc/22930/statm: 2378 346 289 221 0 87 0
[pid=22931] ppid=22930 vsize=13801768 CPUtime=2400.78 cores=0,2,4,6,8,10,12,14
/proc/22931/stat : 22931 (java) S 22930 22930 16913 0 -1 1077944320 56048 0 0 0 240011 67 0 0 20 0 28 0 4836482 14133010432 45003 33554432000 4194304 4196468 140721075842784 140721075825328 140687048142583 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 14901248 140721075844284 140721075844460 140721075844460 140721075847119 0
/proc/22931/statm: 3450442 45003 3273 1 0 3437675 0
[pid=22931/tid=22932] ppid=22930 vsize=13801768 CPUtime=1.18 cores=0,2,4,6,8,10,12,14
/proc/22931/task/22932/stat : 22932 (java) S 22930 22930 16913 0 -1 1077944384 8055 0 0 0 114 4 0 0 20 0 28 0 4836482 14133010432 45003 33554432000 4194304 4196468 140721075842784 140687052383360 140687048152789 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14901248 140721075844284 140721075844460 140721075844460 140721075847119 0
[pid=22931/tid=22934] ppid=22930 vsize=13801768 CPUtime=0.15 cores=0,2,4,6,8,10,12,14
/proc/22931/task/22934/stat : 22934 (java) S 22930 22930 16913 0 -1 1077944384 500 0 0 0 11 4 0 0 20 0 28 0 4836483 14133010432 45003 33554432000 4194304 4196468 140721075842784 140686966622992 140687048152789 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14901248 140721075844284 140721075844460 140721075844460 140721075847119 0
[pid=22931/tid=22935] ppid=22930 vsize=13801768 CPUtime=0.15 cores=0,2,4,6,8,10,12,14
/proc/22931/task/22935/stat : 22935 (java) S 22930 22930 16913 0 -1 1077944384 605 0 0 0 11 4 0 0 20 0 28 0 4836483 14133010432 45003 33554432000 4194304 4196468 140721075842784 140686965570448 140687048152789 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 14901248 140721075844284 140721075844460 140721075844460 140721075847119 0
[pid=22931/tid=22936] ppid=22930 vsize=13801768 CPUtime=0.16 cores=0,2,4,6,8,10,12,14
/proc/22931/task/22936/stat : 22936 (java) S 22930 22930 16913 0 -1 1077944384 530 0 0 0 11 5 0 0 20 0 28 0 4836483 14133010432 45003 33554432000 4194304 4196468 140721075842784 140686964517904 140687048152789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14901248 140721075844284 140721075844460 140721075844460 140721075847119 0
[pid=22931/tid=22937] ppid=22930 vsize=13801768 CPUtime=0.16 cores=0,2,4,6,8,10,12,14
/proc/22931/task/22937/stat : 22937 (java) S 22930 22930 16913 0 -1 1077944384 353 0 0 0 11 5 0 0 20 0 28 0 4836483 14133010432 45003 33554432000 4194304 4196468 140721075842784 140686963465360 140687048152789 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 14901248 140721075844284 140721075844460 140721075844460 140721075847119 0
[pid=22931/tid=22938] ppid=22930 vsize=13801768 CPUtime=0.14 cores=0,2,4,6,8,10,12,14
/proc/22931/task/22938/stat : 22938 (java) S 22930 22930 16913 0 -1 1077944384 555 0 0 0 9 5 0 0 20 0 28 0 4836483 14133010432 45003 33554432000 4194304 4196468 140721075842784 140686962411792 140687048152789 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14901248 140721075844284 140721075844460 140721075844460 140721075847119 0
[pid=22931/tid=22939] ppid=22930 vsize=13801768 CPUtime=0.15 cores=0,2,4,6,8,10,12,14
/proc/22931/task/22939/stat : 22939 (java) S 22930 22930 16913 0 -1 1077944384 1101 0 0 0 10 5 0 0 20 0 28 0 4836483 14133010432 45003 33554432000 4194304 4196468 140721075842784 140686961359248 140687048152789 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 14901248 140721075844284 140721075844460 140721075844460 140721075847119 0
[pid=22931/tid=22940] ppid=22930 vsize=13801768 CPUtime=0.15 cores=0,2,4,6,8,10,12,14
/proc/22931/task/22940/stat : 22940 (java) S 22930 22930 16913 0 -1 1077944384 813 0 0 0 10 5 0 0 20 0 28 0 4836483 14133010432 45003 33554432000 4194304 4196468 140721075842784 140686960306704 140687048152789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14901248 140721075844284 140721075844460 140721075844460 140721075847119 0
[pid=22931/tid=22941] ppid=22930 vsize=13801768 CPUtime=0.15 cores=0,2,4,6,8,10,12,14
/proc/22931/task/22941/stat : 22941 (java) S 22930 22930 16913 0 -1 1077944384 2882 0 0 0 11 4 0 0 20 0 28 0 4836483 14133010432 45003 33554432000 4194304 4196468 140721075842784 140686959254160 140687048152789 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 14901248 140721075844284 140721075844460 140721075844460 140721075847119 0
[pid=22931/tid=22942] ppid=22930 vsize=13801768 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/22931/task/22942/stat : 22942 (java) S 22930 22930 16913 0 -1 1077944384 2116 0 0 0 6 7 0 0 20 0 28 0 4836486 14133010432 45003 33554432000 4194304 4196468 140721075842784 140686174968304 140687048153730 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 10 0 0 6293624 6294260 14901248 140721075844284 140721075844460 140721075844460 140721075847119 0
[pid=22931/tid=22943] ppid=22930 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/22931/task/22943/stat : 22943 (java) S 22930 22930 16913 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 28 0 4836486 14133010432 45003 33554432000 4194304 4196468 140721075842784 140686173914528 140687048152789 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14901248 140721075844284 140721075844460 140721075844460 140721075847119 0
[pid=22931/tid=22944] ppid=22930 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/22931/task/22944/stat : 22944 (java) S 22930 22930 16913 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 28 0 4836487 14133010432 45003 33554432000 4194304 4196468 140721075842784 140686172861936 140687048152789 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14901248 140721075844284 140721075844460 140721075844460 140721075847119 0
[pid=22931/tid=22945] ppid=22930 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/22931/task/22945/stat : 22945 (java) S 22930 22930 16913 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4836490 14133010432 45003 33554432000 4194304 4196468 140721075842784 140686171810512 140687048161179 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 14901248 140721075844284 140721075844460 140721075844460 140721075847119 0
[pid=22931/tid=22946] ppid=22930 vsize=13801768 CPUtime=1.86 cores=0,2,4,6,8,10,12,14
/proc/22931/task/22946/stat : 22946 (java) S 22930 22930 16913 0 -1 1077944384 7865 0 0 0 185 1 0 0 20 0 28 0 4836490 14133010432 45003 33554432000 4194304 4196468 140721075842784 140686170757104 140687048153730 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14901248 140721075844284 140721075844460 140721075844460 140721075847119 0
[pid=22931/tid=22947] ppid=22930 vsize=13801768 CPUtime=1.7 cores=0,2,4,6,8,10,12,14
/proc/22931/task/22947/stat : 22947 (java) S 22930 22930 16913 0 -1 1077944384 7513 0 0 0 169 1 0 0 20 0 28 0 4836490 14133010432 45003 33554432000 4194304 4196468 140721075842784 140686169704560 140687048153730 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 14901248 140721075844284 140721075844460 140721075844460 140721075847119 0
[pid=22931/tid=22948] ppid=22930 vsize=13801768 CPUtime=1.85 cores=0,2,4,6,8,10,12,14
/proc/22931/task/22948/stat : 22948 (java) S 22930 22930 16913 0 -1 1077944384 6922 0 0 0 184 1 0 0 20 0 28 0 4836490 14133010432 45003 33554432000 4194304 4196468 140721075842784 140686168652016 140687048153730 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14901248 140721075844284 140721075844460 140721075844460 140721075847119 0
[pid=22931/tid=22949] ppid=22930 vsize=13801768 CPUtime=0.81 cores=0,2,4,6,8,10,12,14
/proc/22931/task/22949/stat : 22949 (java) S 22930 22930 16913 0 -1 1077944384 5794 0 0 0 80 1 0 0 20 0 28 0 4836490 14133010432 45003 33554432000 4194304 4196468 140721075842784 140686167599472 140687048153730 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14901248 140721075844284 140721075844460 140721075844460 140721075847119 0
[pid=22931/tid=22950] ppid=22930 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/22931/task/22950/stat : 22950 (java) S 22930 22930 16913 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4836491 14133010432 45003 33554432000 4194304 4196468 140721075842784 140686166547168 140687048152789 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 14901248 140721075844284 140721075844460 140721075844460 140721075847119 0
[pid=22931/tid=22951] ppid=22930 vsize=13801768 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/22931/task/22951/stat : 22951 (java) S 22930 22930 16913 0 -1 1077944384 951 0 0 0 8 5 0 0 20 0 28 0 4836491 14133010432 45003 33554432000 4194304 4196468 140721075842784 140686165494704 140687048153730 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 10 0 0 6293624 6294260 14901248 140721075844284 140721075844460 140721075844460 140721075847119 0
[pid=22931/tid=22952] ppid=22930 vsize=13801768 CPUtime=299.25 cores=0,2,4,6,8,10,12,14
/proc/22931/task/22952/stat : 22952 (java) R 22930 22930 16913 0 -1 4202560 1267 0 0 0 29924 1 0 0 20 0 28 0 4836602 14133010432 45003 33554432000 4194304 4196468 140721075842784 140686157479352 140686637750990 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 14901248 140721075844284 140721075844460 140721075844460 140721075847119 0
[pid=22931/tid=22953] ppid=22930 vsize=13801768 CPUtime=298.46 cores=0,2,4,6,8,10,12,14
/proc/22931/task/22953/stat : 22953 (java) R 22930 22930 16913 0 -1 4202560 741 0 0 0 29845 1 0 0 20 0 28 0 4836602 14133010432 45003 33554432000 4194304 4196468 140721075842784 140686156427816 140686642903945 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 14901248 140721075844284 140721075844460 140721075844460 140721075847119 0
[pid=22931/tid=22954] ppid=22930 vsize=13801768 CPUtime=299.59 cores=0,2,4,6,8,10,12,14
/proc/22931/task/22954/stat : 22954 (java) R 22930 22930 16913 0 -1 4202560 2245 0 0 0 29958 1 0 0 20 0 28 0 4836603 14133010432 45003 33554432000 4194304 4196468 140721075842784 140686155376080 140686644369903 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 14901248 140721075844284 140721075844460 140721075844460 140721075847119 0
[pid=22931/tid=22955] ppid=22930 vsize=13801768 CPUtime=298.93 cores=0,2,4,6,8,10,12,14
/proc/22931/task/22955/stat : 22955 (java) R 22930 22930 16913 0 -1 4202560 1419 0 0 0 29892 1 0 0 20 0 28 0 4836603 14133010432 45003 33554432000 4194304 4196468 140721075842784 140686154321704 140686640045158 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 14901248 140721075844284 140721075844460 140721075844460 140721075847119 0
[pid=22931/tid=22956] ppid=22930 vsize=13801768 CPUtime=298.32 cores=0,2,4,6,8,10,12,14
/proc/22931/task/22956/stat : 22956 (java) R 22930 22930 16913 0 -1 4202560 728 0 0 0 29831 1 0 0 20 0 28 0 4836603 14133010432 45003 33554432000 4194304 4196468 140721075842784 140686153268888 140686639923136 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 14901248 140721075844284 140721075844460 140721075844460 140721075847119 0
[pid=22931/tid=22957] ppid=22930 vsize=13801768 CPUtime=298.94 cores=0,2,4,6,8,10,12,14
/proc/22931/task/22957/stat : 22957 (java) R 22930 22930 16913 0 -1 4202560 384 0 0 0 29894 0 0 0 20 0 28 0 4836603 14133010432 45003 33554432000 4194304 4196468 140721075842784 140686152216616 140686642733958 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14901248 140721075844284 140721075844460 140721075844460 140721075847119 0
[pid=22931/tid=22958] ppid=22930 vsize=13801768 CPUtime=299.7 cores=0,2,4,6,8,10,12,14
/proc/22931/task/22958/stat : 22958 (java) R 22930 22930 16913 0 -1 4202560 752 0 0 0 29970 0 0 0 20 0 28 0 4836603 14133010432 45003 33554432000 4194304 4196468 140721075842784 140686151164168 140686642903394 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14901248 140721075844284 140721075844460 140721075844460 140721075847119 0
[pid=22931/tid=22959] ppid=22930 vsize=13801768 CPUtime=298.52 cores=0,2,4,6,8,10,12,14
/proc/22931/task/22959/stat : 22959 (java) R 22930 22930 16913 0 -1 4202560 606 0 0 0 29852 0 0 0 20 0 28 0 4836603 14133010432 45003 33554432000 4194304 4196468 140721075842784 140685755273264 140686637750990 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 14901248 140721075844284 140721075844460 140721075844460 140721075847119 0
Current children cumulated CPU time (s) 2400.78
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 22931 sig 9
??? kill 22930 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 22930 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=0
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=3173
# CPU time returned by wait4() is 0.003173
# while last known CPU time is 2400.78
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 302.412
CPU time (s): 2400.78
CPU user time (s): 2400.11
CPU system time (s): 0.67
CPU usage (%): 793.877
Max. virtual memory (cumulated for all children) (KiB): 13811280
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0
system time used= 0.003173
maximum resident set size= 1388
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 518
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.89762 second user time and 3.86468 second system time
The end