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-4245076-1500685281/watcher-4245076-1500685281 -o /tmp/evaluation-result-4245076-1500685281/solver-4245076-1500685281 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node130-1500684118-8559 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 2072766265 HOME/instance-4245076-1500685281.xml
pid=31305
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: 13.70 13.50 10.80 10/272 31308
/proc/meminfo: memFree=30348900/32770624 swapFree=5700/249284
[pid=31308] ppid=31305 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/31308/stat : 31308 (xcsp3-exec) S 31305 31308 7102 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3795563 9740288 346 33554432000 4194304 5098028 140732612024560 140732612022664 140333394227836 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 20197376 140732612031630 140732612031840 140732612031840 140732612034539 0
/proc/31308/statm: 2378 346 289 221 0 87 0
[startup+0.100164 s]
/proc/loadavg: 13.70 13.50 10.80 10/272 31308
/proc/meminfo: memFree=30348900/32770624 swapFree=5700/249284
[pid=31308] ppid=31305 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/31308/stat : 31308 (xcsp3-exec) S 31305 31308 7102 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3795563 9740288 346 33554432000 4194304 5098028 140732612024560 140732612022664 140333394227836 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 20197376 140732612031630 140732612031840 140732612031840 140732612034539 0
/proc/31308/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200326 s]
/proc/loadavg: 13.70 13.50 10.80 10/272 31308
/proc/meminfo: memFree=30348900/32770624 swapFree=5700/249284
[pid=31308] ppid=31305 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/31308/stat : 31308 (xcsp3-exec) S 31305 31308 7102 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3795563 9740288 346 33554432000 4194304 5098028 140732612024560 140732612022664 140333394227836 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 20197376 140732612031630 140732612031840 140732612031840 140732612034539 0
/proc/31308/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300252 s]
/proc/loadavg: 13.70 13.50 10.80 10/272 31308
/proc/meminfo: memFree=30348900/32770624 swapFree=5700/249284
[pid=31308] ppid=31305 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/31308/stat : 31308 (xcsp3-exec) S 31305 31308 7102 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3795563 9740288 346 33554432000 4194304 5098028 140732612024560 140732612022664 140333394227836 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 20197376 140732612031630 140732612031840 140732612031840 140732612034539 0
/proc/31308/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.700203 s]
/proc/loadavg: 13.70 13.50 10.80 10/272 31308
/proc/meminfo: memFree=30348900/32770624 swapFree=5700/249284
[pid=31308] ppid=31305 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/31308/stat : 31308 (xcsp3-exec) S 31305 31308 7102 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3795563 9740288 346 33554432000 4194304 5098028 140732612024560 140732612022664 140333394227836 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 20197376 140732612031630 140732612031840 140732612031840 140732612034539 0
/proc/31308/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50155 s]
/proc/loadavg: 13.70 13.50 10.80 19/301 31337
/proc/meminfo: memFree=30257460/32770624 swapFree=5700/249008
[pid=31308] ppid=31305 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/31308/stat : 31308 (xcsp3-exec) S 31305 31308 7102 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3795563 9740288 346 33554432000 4194304 5098028 140732612024560 140732612022664 140333394227836 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 20197376 140732612031630 140732612031840 140732612031840 140732612034539 0
/proc/31308/statm: 2378 346 289 221 0 87 0
[pid=31309] ppid=31308 vsize=13801768 CPUtime=7.44 cores=0,2,4,6,8,10,12,14
/proc/31309/stat : 31309 (java) S 31308 31308 7102 0 -1 1077944320 22435 0 0 0 736 8 0 0 20 0 28 0 3795563 14133010432 37045 33554432000 4194304 4196468 140732954182720 140732954165264 140070968401655 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 20525056 140732954191036 140732954191212 140732954191212 140732954193871 0
/proc/31309/statm: 3450442 37045 3212 1 0 3437675 0
[pid=31309/tid=31310] ppid=31308 vsize=13801768 CPUtime=0.77 cores=0,2,4,6,8,10,12,14
/proc/31309/task/31310/stat : 31310 (java) S 31308 31308 7102 0 -1 1077944384 7023 0 0 0 74 3 0 0 20 0 28 0 3795564 14133010432 37045 33554432000 4194304 4196468 140732954182720 140070972642432 140070968411861 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20525056 140732954191036 140732954191212 140732954191212 140732954193871 0
[pid=31309/tid=31312] ppid=31308 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/31309/task/31312/stat : 31312 (java) S 31308 31308 7102 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 3795565 14133010432 37045 33554432000 4194304 4196468 140732954182720 140070900537872 140070968411861 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 20525056 140732954191036 140732954191212 140732954191212 140732954193871 0
[pid=31309/tid=31313] ppid=31308 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/31309/task/31313/stat : 31313 (java) S 31308 31308 7102 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 3795565 14133010432 37045 33554432000 4194304 4196468 140732954182720 140070899485328 140070968411861 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 20525056 140732954191036 140732954191212 140732954191212 140732954193871 0
[pid=31309/tid=31314] ppid=31308 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/31309/task/31314/stat : 31314 (java) S 31308 31308 7102 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3795565 14133010432 37045 33554432000 4194304 4196468 140732954182720 140070898432272 140070968411861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20525056 140732954191036 140732954191212 140732954191212 140732954193871 0
[pid=31309/tid=31315] ppid=31308 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/31309/task/31315/stat : 31315 (java) S 31308 31308 7102 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 3795565 14133010432 37045 33554432000 4194304 4196468 140732954182720 140070897379728 140070968411861 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20525056 140732954191036 140732954191212 140732954191212 140732954193871 0
[pid=31309/tid=31316] ppid=31308 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/31309/task/31316/stat : 31316 (java) S 31308 31308 7102 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3795565 14133010432 37045 33554432000 4194304 4196468 140732954182720 140070563580944 140070968411861 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20525056 140732954191036 140732954191212 140732954191212 140732954193871 0
[pid=31309/tid=31317] ppid=31308 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/31309/task/31317/stat : 31317 (java) S 31308 31308 7102 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 3795565 14133010432 37045 33554432000 4194304 4196468 140732954182720 140070562528400 140070968411861 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20525056 140732954191036 140732954191212 140732954191212 140732954193871 0
[pid=31309/tid=31318] ppid=31308 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/31309/task/31318/stat : 31318 (java) S 31308 31308 7102 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3795565 14133010432 37045 33554432000 4194304 4196468 140732954182720 140070561475344 140070968411861 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 20525056 140732954191036 140732954191212 140732954191212 140732954193871 0
[pid=31309/tid=31319] ppid=31308 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/31309/task/31319/stat : 31319 (java) S 31308 31308 7102 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3795565 14133010432 37045 33554432000 4194304 4196468 140732954182720 140070560422800 140070968411861 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 20525056 140732954191036 140732954191212 140732954191212 140732954193871 0
[pid=31309/tid=31320] ppid=31308 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/31309/task/31320/stat : 31320 (java) S 31308 31308 7102 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 28 0 3795567 14133010432 37045 33554432000 4194304 4196468 140732954182720 140070497880304 140070968412802 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20525056 140732954191036 140732954191212 140732954191212 140732954193871 0
[pid=31309/tid=31321] ppid=31308 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/31309/task/31321/stat : 31321 (java) S 31308 31308 7102 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 3795568 14133010432 37045 33554432000 4194304 4196468 140732954182720 140070496826528 140070968411861 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 20525056 140732954191036 140732954191212 140732954191212 140732954193871 0
[pid=31309/tid=31322] ppid=31308 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/31309/task/31322/stat : 31322 (java) S 31308 31308 7102 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 3795568 14133010432 37045 33554432000 4194304 4196468 140732954182720 140070495773424 140070968411861 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 20525056 140732954191036 140732954191212 140732954191212 140732954193871 0
[pid=31309/tid=31323] ppid=31308 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/31309/task/31323/stat : 31323 (java) S 31308 31308 7102 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3795572 14133010432 37045 33554432000 4194304 4196468 140732954182720 140070494722000 140070968420251 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 20525056 140732954191036 140732954191212 140732954191212 140732954193871 0
[pid=31309/tid=31324] ppid=31308 vsize=13801768 CPUtime=0.76 cores=0,2,4,6,8,10,12,14
/proc/31309/task/31324/stat : 31324 (java) R 31308 31308 7102 0 -1 4202560 3577 0 0 0 76 0 0 0 20 0 28 0 3795572 14133010432 37045 33554432000 4194304 4196468 140732954182720 140070090683336 140070949921114 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20525056 140732954191036 140732954191212 140732954191212 140732954193871 0
[pid=31309/tid=31325] ppid=31308 vsize=13801768 CPUtime=0.65 cores=0,2,4,6,8,10,12,14
/proc/31309/task/31325/stat : 31325 (java) R 31308 31308 7102 0 -1 4202560 3692 0 0 0 65 0 0 0 20 0 28 0 3795572 14133010432 37045 33554432000 4194304 4196468 140732954182720 140070089629544 140070953518799 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20525056 140732954191036 140732954191212 140732954191212 140732954193871 0
[pid=31309/tid=31326] ppid=31308 vsize=13801768 CPUtime=0.69 cores=0,2,4,6,8,10,12,14
/proc/31309/task/31326/stat : 31326 (java) R 31308 31308 7102 0 -1 4202560 2320 0 0 0 69 0 0 0 20 0 28 0 3795572 14133010432 37045 33554432000 4194304 4196468 140732954182720 140070088576720 140070951786255 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 20525056 140732954191036 140732954191212 140732954191212 140732954193871 0
[pid=31309/tid=31327] ppid=31308 vsize=13801768 CPUtime=0.81 cores=0,2,4,6,8,10,12,14
/proc/31309/task/31327/stat : 31327 (java) S 31308 31308 7102 0 -1 1077944384 4018 0 0 0 80 1 0 0 20 0 28 0 3795572 14133010432 37045 33554432000 4194304 4196468 140732954182720 140070087539312 140070968412802 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 20525056 140732954191036 140732954191212 140732954191212 140732954193871 0
[pid=31309/tid=31328] ppid=31308 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/31309/task/31328/stat : 31328 (java) S 31308 31308 7102 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3795573 14133010432 37045 33554432000 4194304 4196468 140732954182720 140070086486496 140070968411861 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 20525056 140732954191036 140732954191212 140732954191212 140732954193871 0
[pid=31309/tid=31329] ppid=31308 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/31309/task/31329/stat : 31329 (java) S 31308 31308 7102 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3795573 14133010432 37045 33554432000 4194304 4196468 140732954182720 140070085434032 140070968412802 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 20525056 140732954191036 140732954191212 140732954191212 140732954193871 0
[pid=31309/tid=31330] ppid=31308 vsize=13801768 CPUtime=0.53 cores=0,2,4,6,8,10,12,14
/proc/31309/task/31330/stat : 31330 (java) R 31308 31308 7102 0 -1 4202560 66 0 0 0 53 0 0 0 20 0 28 0 3795644 14133010432 37045 33554432000 4194304 4196468 140732954182720 140070077416104 140070582455257 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20525056 140732954191036 140732954191212 140732954191212 140732954193871 0
[pid=31309/tid=31331] ppid=31308 vsize=13801768 CPUtime=0.44 cores=0,2,4,6,8,10,12,14
/proc/31309/task/31331/stat : 31331 (java) R 31308 31308 7102 0 -1 4202560 51 0 0 0 44 0 0 0 20 0 28 0 3795644 14133010432 37045 33554432000 4194304 4196468 140732954182720 140070076365976 140070582538474 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 20525056 140732954191036 140732954191212 140732954191212 140732954193871 0
[pid=31309/tid=31332] ppid=31308 vsize=13801768 CPUtime=0.38 cores=0,2,4,6,8,10,12,14
/proc/31309/task/31332/stat : 31332 (java) R 31308 31308 7102 0 -1 4202560 43 0 0 0 38 0 0 0 20 0 28 0 3795644 14133010432 37045 33554432000 4194304 4196468 140732954182720 140070075314600 140070583561392 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 20525056 140732954191036 140732954191212 140732954191212 140732954193871 0
[pid=31309/tid=31333] ppid=31308 vsize=13801768 CPUtime=0.46 cores=0,2,4,6,8,10,12,14
/proc/31309/task/31333/stat : 31333 (java) R 31308 31308 7102 0 -1 4202560 131 0 0 0 46 0 0 0 20 0 28 0 3795644 14133010432 37045 33554432000 4194304 4196468 140732954182720 140070074261728 140070582541572 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20525056 140732954191036 140732954191212 140732954191212 140732954193871 0
[pid=31309/tid=31334] ppid=31308 vsize=13801768 CPUtime=0.46 cores=0,2,4,6,8,10,12,14
/proc/31309/task/31334/stat : 31334 (java) R 31308 31308 7102 0 -1 4202560 42 0 0 0 46 0 0 0 20 0 28 0 3795644 14133010432 37045 33554432000 4194304 4196468 140732954182720 140070073204848 140070582476156 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 20525056 140732954191036 140732954191212 140732954191212 140732954193871 0
[pid=31309/tid=31335] ppid=31308 vsize=13801768 CPUtime=0.49 cores=0,2,4,6,8,10,12,14
/proc/31309/task/31335/stat : 31335 (java) R 31308 31308 7102 0 -1 4202560 41 0 0 0 49 0 0 0 20 0 28 0 3795644 14133010432 37045 33554432000 4194304 4196468 140732954182720 140070072156624 140070582706904 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20525056 140732954191036 140732954191212 140732954191212 140732954193871 0
[pid=31309/tid=31336] ppid=31308 vsize=13801768 CPUtime=0.51 cores=0,2,4,6,8,10,12,14
/proc/31309/task/31336/stat : 31336 (java) R 31308 31308 7102 0 -1 4202560 83 0 0 0 51 0 0 0 20 0 28 0 3795644 14133010432 37045 33554432000 4194304 4196468 140732954182720 140070071105432 140070582226928 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 20525056 140732954191036 140732954191212 140732954191212 140732954193871 0
[pid=31309/tid=31337] ppid=31308 vsize=13801768 CPUtime=0.41 cores=0,2,4,6,8,10,12,14
/proc/31309/task/31337/stat : 31337 (java) R 31308 31308 7102 0 -1 4202560 33 0 0 0 41 0 0 0 20 0 28 0 3795644 14133010432 37045 33554432000 4194304 4196468 140732954182720 140070070052464 140070583561183 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 20525056 140732954191036 140732954191212 140732954191212 140732954193871 0
Current children cumulated CPU time (s) 7.44
Current children cumulated vsize (KiB) 13811280
[startup+3.10156 s]
/proc/loadavg: 14.13 13.60 10.84 20/301 31337
/proc/meminfo: memFree=30194204/32770624 swapFree=5700/249008
[pid=31308] ppid=31305 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/31308/stat : 31308 (xcsp3-exec) S 31305 31308 7102 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3795563 9740288 346 33554432000 4194304 5098028 140732612024560 140732612022664 140333394227836 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 20197376 140732612031630 140732612031840 140732612031840 140732612034539 0
/proc/31308/statm: 2378 346 289 221 0 87 0
[pid=31309] ppid=31308 vsize=13801768 CPUtime=20.1 cores=0,2,4,6,8,10,12,14
/proc/31309/stat : 31309 (java) S 31308 31308 7102 0 -1 1077944320 55089 0 0 0 1995 15 0 0 20 0 28 0 3795563 14133010432 58727 33554432000 4194304 4196468 140732954182720 140732954165264 140070968401655 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 20525056 140732954191036 140732954191212 140732954191212 140732954193871 0
/proc/31309/statm: 3450442 58727 3219 1 0 3437675 0
[pid=31309/tid=31310] ppid=31308 vsize=13801768 CPUtime=0.77 cores=0,2,4,6,8,10,12,14
/proc/31309/task/31310/stat : 31310 (java) S 31308 31308 7102 0 -1 1077944384 7023 0 0 0 74 3 0 0 20 0 28 0 3795564 14133010432 58727 33554432000 4194304 4196468 140732954182720 140070972642432 140070968411861 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20525056 140732954191036 140732954191212 140732954191212 140732954193871 0
[pid=31309/tid=31312] ppid=31308 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/31309/task/31312/stat : 31312 (java) S 31308 31308 7102 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 3795565 14133010432 58727 33554432000 4194304 4196468 140732954182720 140070900537872 140070968411861 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 20525056 140732954191036 140732954191212 140732954191212 140732954193871 0
[pid=31309/tid=31313] ppid=31308 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/31309/task/31313/stat : 31313 (java) S 31308 31308 7102 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 3795565 14133010432 58727 33554432000 4194304 4196468 140732954182720 140070899485328 140070968411861 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 20525056 140732954191036 140732954191212 140732954191212 140732954193871 0
[pid=31309/tid=31314] ppid=31308 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/31309/task/31314/stat : 31314 (java) S 31308 31308 7102 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3795565 14133010432 58727 33554432000 4194304 4196468 140732954182720 140070898432272 140070968411861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20525056 140732954191036 140732954191212 140732954191212 140732954193871 0
[pid=31309/tid=31315] ppid=31308 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/31309/task/31315/stat : 31315 (java) S 31308 31308 7102 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 3795565 14133010432 58727 33554432000 4194304 4196468 140732954182720 140070897379728 140070968411861 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20525056 140732954191036 140732954191212 140732954191212 140732954193871 0
[pid=31309/tid=31316] ppid=31308 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/31309/task/31316/stat : 31316 (java) S 31308 31308 7102 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3795565 14133010432 58727 33554432000 4194304 4196468 140732954182720 140070563580944 140070968411861 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20525056 140732954191036 140732954191212 140732954191212 140732954193871 0
[pid=31309/tid=31317] ppid=31308 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/31309/task/31317/stat : 31317 (java) S 31308 31308 7102 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 3795565 14133010432 58727 33554432000 4194304 4196468 140732954182720 140070562528400 140070968411861 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20525056 140732954191036 140732954191212 140732954191212 140732954193871 0
[pid=31309/tid=31318] ppid=31308 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/31309/task/31318/stat : 31318 (java) S 31308 31308 7102 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3795565 14133010432 58727 33554432000 4194304 4196468 140732954182720 140070561475344 140070968411861 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 20525056 140732954191036 140732954191212 140732954191212 140732954193871 0
[pid=31309/tid=31319] ppid=31308 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/31309/task/31319/stat : 31319 (java) S 31308 31308 7102 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3795565 14133010432 58727 33554432000 4194304 4196468 140732954182720 140070560422800 140070968411861 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 20525056 140732954191036 140732954191212 140732954191212 140732954193871 0
[pid=31309/tid=31320] ppid=31308 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/31309/task/31320/stat : 31320 (java) S 31308 31308 7102 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 28 0 3795567 14133010432 58727 33554432000 4194304 4196468 140732954182720 140070497880304 140070968412802 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20525056 140732954191036 140732954191212 140732954191212 140732954193871 0
[pid=31309/tid=31321] ppid=31308 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/31309/task/31321/stat : 31321 (java) S 31308 31308 7102 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 3795568 14133010432 58727 33554432000 4194304 4196468 140732954182720 140070496826528 140070968411861 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 20525056 140732954191036 140732954191212 140732954191212 140732954193871 0
[pid=31309/tid=31322] ppid=31308 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/31309/task/31322/stat : 31322 (java) S 31308 31308 7102 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 3795568 14133010432 58727 33554432000 4194304 4196468 140732954182720 140070495773424 140070968411861 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 20525056 140732954191036 140732954191212 140732954191212 140732954193871 0
[pid=31309/tid=31323] ppid=31308 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/31309/task/31323/stat : 31323 (java) S 31308 31308 7102 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3795572 14133010432 58727 33554432000 4194304 4196468 140732954182720 140070494722000 140070968420251 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 20525056 140732954191036 140732954191212 140732954191212 140732954193871 0
[pid=31309/tid=31324] ppid=31308 vsize=13801768 CPUtime=1.81 cores=0,2,4,6,8,10,12,14
/proc/31309/task/31324/stat : 31324 (java) R 31308 31308 7102 0 -1 4202560 11217 0 0 0 180 1 0 0 20 0 28 0 3795572 14133010432 58727 33554432000 4194304 4196468 140732954182720 140070090684024 140070946776196 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20525056 140732954191036 140732954191212 140732954191212 140732954193871 0
[pid=31309/tid=31325] ppid=31308 vsize=13801768 CPUtime=1.76 cores=0,2,4,6,8,10,12,14
/proc/31309/task/31325/stat : 31325 (java) R 31308 31308 7102 0 -1 4202560 17680 0 0 0 173 3 0 0 20 0 28 0 3795572 14133010432 58727 33554432000 4194304 4196468 140732954182720 140070089630648 140070947657264 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20525056 140732954191036 140732954191212 140732954191212 140732954193871 0
[pid=31309/tid=31326] ppid=31308 vsize=13801768 CPUtime=1.66 cores=0,2,4,6,8,10,12,14
/proc/31309/task/31326/stat : 31326 (java) R 31308 31308 7102 0 -1 4202560 10302 0 0 0 164 2 0 0 20 0 28 0 3795572 14133010432 58727 33554432000 4194304 4196468 140732954182720 140070088576904 140070949924896 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 20525056 140732954191036 140732954191212 140732954191212 140732954193871 0
[pid=31309/tid=31327] ppid=31308 vsize=13801768 CPUtime=0.92 cores=0,2,4,6,8,10,12,14
/proc/31309/task/31327/stat : 31327 (java) S 31308 31308 7102 0 -1 1077944384 6158 0 0 0 91 1 0 0 20 0 28 0 3795572 14133010432 58727 33554432000 4194304 4196468 140732954182720 140070087539312 140070968412802 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 20525056 140732954191036 140732954191212 140732954191212 140732954193871 0
[pid=31309/tid=31328] ppid=31308 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/31309/task/31328/stat : 31328 (java) S 31308 31308 7102 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3795573 14133010432 58727 33554432000 4194304 4196468 140732954182720 140070086486496 140070968411861 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 20525056 140732954191036 140732954191212 140732954191212 140732954193871 0
[pid=31309/tid=31329] ppid=31308 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/31309/task/31329/stat : 31329 (java) S 31308 31308 7102 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3795573 14133010432 58727 33554432000 4194304 4196468 140732954182720 140070085434032 140070968412802 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 20525056 140732954191036 140732954191212 140732954191212 140732954193871 0
[pid=31309/tid=31330] ppid=31308 vsize=13801768 CPUtime=1.7 cores=0,2,4,6,8,10,12,14
/proc/31309/task/31330/stat : 31330 (java) R 31308 31308 7102 0 -1 4202560 137 0 0 0 170 0 0 0 20 0 28 0 3795644 14133010432 58727 33554432000 4194304 4196468 140732954182720 140070077413064 140070582226956 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 20525056 140732954191036 140732954191212 140732954191212 140732954193871 0
[pid=31309/tid=31331] ppid=31308 vsize=13801768 CPUtime=1.61 cores=0,2,4,6,8,10,12,14
/proc/31309/task/31331/stat : 31331 (java) R 31308 31308 7102 0 -1 4202560 137 0 0 0 161 0 0 0 20 0 28 0 3795644 14133010432 58727 33554432000 4194304 4196468 140732954182720 140070076361656 140070584109069 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 20525056 140732954191036 140732954191212 140732954191212 140732954193871 0
[pid=31309/tid=31332] ppid=31308 vsize=13801768 CPUtime=1.76 cores=0,2,4,6,8,10,12,14
/proc/31309/task/31332/stat : 31332 (java) R 31308 31308 7102 0 -1 4202560 118 0 0 0 176 0 0 0 20 0 28 0 3795644 14133010432 58727 33554432000 4194304 4196468 140732954182720 140070075311400 140070582590780 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 20525056 140732954191036 140732954191212 140732954191212 140732954193871 0
[pid=31309/tid=31333] ppid=31308 vsize=13801768 CPUtime=1.6 cores=0,2,4,6,8,10,12,14
/proc/31309/task/31333/stat : 31333 (java) R 31308 31308 7102 0 -1 4202560 279 0 0 0 160 0 0 0 20 0 28 0 3795644 14133010432 58727 33554432000 4194304 4196468 140732954182720 140070074257560 140070582441857 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20525056 140732954191036 140732954191212 140732954191212 140732954193871 0
[pid=31309/tid=31334] ppid=31308 vsize=13801768 CPUtime=1.51 cores=0,2,4,6,8,10,12,14
/proc/31309/task/31334/stat : 31334 (java) R 31308 31308 7102 0 -1 4202560 162 0 0 0 151 0 0 0 20 0 28 0 3795644 14133010432 58727 33554432000 4194304 4196468 140732954182720 140070073204552 140070582933806 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 20525056 140732954191036 140732954191212 140732954191212 140732954193871 0
[pid=31309/tid=31335] ppid=31308 vsize=13801768 CPUtime=1.65 cores=0,2,4,6,8,10,12,14
/proc/31309/task/31335/stat : 31335 (java) R 31308 31308 7102 0 -1 4202560 182 0 0 0 165 0 0 0 20 0 28 0 3795644 14133010432 58727 33554432000 4194304 4196468 140732954182720 140070072151368 140070582724890 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20525056 140732954191036 140732954191212 140732954191212 140732954193871 0
[pid=31309/tid=31336] ppid=31308 vsize=13801768 CPUtime=1.66 cores=0,2,4,6,8,10,12,14
/proc/31309/task/31336/stat : 31336 (java) R 31308 31308 7102 0 -1 4202560 184 0 0 0 166 0 0 0 20 0 28 0 3795644 14133010432 58727 33554432000 4194304 4196468 140732954182720 140070071098312 140070582288719 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20525056 140732954191036 140732954191212 140732954191212 140732954193871 0
[pid=31309/tid=31337] ppid=31308 vsize=13801768 CPUtime=1.58 cores=0,2,4,6,8,10,12,14
/proc/31309/task/31337/stat : 31337 (java) R 31308 31308 7102 0 -1 4202560 174 0 0 0 158 0 0 0 20 0 28 0 3795644 14133010432 58727 33554432000 4194304 4196468 140732954182720 140070070049528 140070584145946 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 20525056 140732954191036 140732954191212 140732954191212 140732954193871 0
Current children cumulated CPU time (s) 20.1
Current children cumulated vsize (KiB) 13811280
[startup+6.30165 s]
/proc/loadavg: 14.13 13.60 10.84 20/301 31337
/proc/meminfo: memFree=30134240/32770624 swapFree=5700/249016
################
# More data... #
################
[pid=31309/tid=31336] ppid=31308 vsize=13803816 CPUtime=275.58 cores=0,2,4,6,8,10,12,14
/proc/31309/task/31336/stat : 31336 (java) R 31308 31308 7102 0 -1 4202560 2818 0 0 0 27557 1 0 0 20 0 28 0 3795644 14135107584 106522 33554432000 4194304 4196468 140732954182720 140070071103336 140070584150036 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 20525056 140732954191036 140732954191212 140732954191212 140732954193871 0
[pid=31309/tid=31337] ppid=31308 vsize=13803816 CPUtime=275.81 cores=0,2,4,6,8,10,12,14
/proc/31309/task/31337/stat : 31337 (java) R 31308 31308 7102 0 -1 4202560 883 0 0 0 27579 2 0 0 20 0 28 0 3795644 14135107584 106522 33554432000 4194304 4196468 140732954182720 140070070050120 140070586064186 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 20525056 140732954191036 140732954191212 140732954191212 140732954193871 0
Current children cumulated CPU time (s) 2231.7
Current children cumulated vsize (KiB) 13813328
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+303.713 s]
/proc/loadavg: 15.88 15.12 12.28 17/300 31452
/proc/meminfo: memFree=28298948/32770624 swapFree=5700/249368
[pid=31308] ppid=31305 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/31308/stat : 31308 (xcsp3-exec) S 31305 31308 7102 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3795563 9740288 346 33554432000 4194304 5098028 140732612024560 140732612022664 140333394227836 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 20197376 140732612031630 140732612031840 140732612031840 140732612034539 0
/proc/31308/statm: 2378 346 289 221 0 87 0
[pid=31309] ppid=31308 vsize=13803816 CPUtime=2400.6 cores=0,2,4,6,8,10,12,14
/proc/31309/stat : 31309 (java) S 31308 31308 7102 0 -1 1077944320 112823 0 0 0 239793 267 0 0 20 0 28 0 3795563 14135107584 106373 33554432000 4194304 4196468 140732954182720 140732954165264 140070968401655 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 20525056 140732954191036 140732954191212 140732954191212 140732954193871 0
/proc/31309/statm: 3450954 106373 3298 1 0 3438187 0
[pid=31309/tid=31310] ppid=31308 vsize=13803816 CPUtime=0.77 cores=0,2,4,6,8,10,12,14
/proc/31309/task/31310/stat : 31310 (java) S 31308 31308 7102 0 -1 1077944384 7023 0 0 0 74 3 0 0 20 0 28 0 3795564 14135107584 106373 33554432000 4194304 4196468 140732954182720 140070972642432 140070968411861 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20525056 140732954191036 140732954191212 140732954191212 140732954193871 0
[pid=31309/tid=31312] ppid=31308 vsize=13803816 CPUtime=0.8 cores=0,2,4,6,8,10,12,14
/proc/31309/task/31312/stat : 31312 (java) S 31308 31308 7102 0 -1 1077944384 1348 0 0 0 68 12 0 0 20 0 28 0 3795565 14135107584 106373 33554432000 4194304 4196468 140732954182720 140070900537872 140070968411861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20525056 140732954191036 140732954191212 140732954191212 140732954193871 0
[pid=31309/tid=31313] ppid=31308 vsize=13803816 CPUtime=0.88 cores=0,2,4,6,8,10,12,14
/proc/31309/task/31313/stat : 31313 (java) S 31308 31308 7102 0 -1 1077944384 1344 0 0 0 73 15 0 0 20 0 28 0 3795565 14135107584 106373 33554432000 4194304 4196468 140732954182720 140070899485328 140070968411861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20525056 140732954191036 140732954191212 140732954191212 140732954193871 0
[pid=31309/tid=31314] ppid=31308 vsize=13803816 CPUtime=0.84 cores=0,2,4,6,8,10,12,14
/proc/31309/task/31314/stat : 31314 (java) S 31308 31308 7102 0 -1 1077944384 1271 0 0 0 70 14 0 0 20 0 28 0 3795565 14135107584 106373 33554432000 4194304 4196468 140732954182720 140070898432272 140070968411861 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 20525056 140732954191036 140732954191212 140732954191212 140732954193871 0
[pid=31309/tid=31315] ppid=31308 vsize=13803816 CPUtime=0.85 cores=0,2,4,6,8,10,12,14
/proc/31309/task/31315/stat : 31315 (java) S 31308 31308 7102 0 -1 1077944384 2162 0 0 0 72 13 0 0 20 0 28 0 3795565 14135107584 106373 33554432000 4194304 4196468 140732954182720 140070897379728 140070968411861 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20525056 140732954191036 140732954191212 140732954191212 140732954193871 0
[pid=31309/tid=31316] ppid=31308 vsize=13803816 CPUtime=0.86 cores=0,2,4,6,8,10,12,14
/proc/31309/task/31316/stat : 31316 (java) S 31308 31308 7102 0 -1 1077944384 1736 0 0 0 72 14 0 0 20 0 28 0 3795565 14135107584 106373 33554432000 4194304 4196468 140732954182720 140070563580944 140070968411861 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 20525056 140732954191036 140732954191212 140732954191212 140732954193871 0
[pid=31309/tid=31317] ppid=31308 vsize=13803816 CPUtime=0.83 cores=0,2,4,6,8,10,12,14
/proc/31309/task/31317/stat : 31317 (java) S 31308 31308 7102 0 -1 1077944384 1070 0 0 0 71 12 0 0 20 0 28 0 3795565 14135107584 106373 33554432000 4194304 4196468 140732954182720 140070562528400 140070968411861 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 20525056 140732954191036 140732954191212 140732954191212 140732954193871 0
[pid=31309/tid=31318] ppid=31308 vsize=13803816 CPUtime=0.85 cores=0,2,4,6,8,10,12,14
/proc/31309/task/31318/stat : 31318 (java) S 31308 31308 7102 0 -1 1077944384 2158 0 0 0 72 13 0 0 20 0 28 0 3795565 14135107584 106373 33554432000 4194304 4196468 140732954182720 140070561475344 140070968411861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20525056 140732954191036 140732954191212 140732954191212 140732954193871 0
[pid=31309/tid=31319] ppid=31308 vsize=13803816 CPUtime=0.88 cores=0,2,4,6,8,10,12,14
/proc/31309/task/31319/stat : 31319 (java) S 31308 31308 7102 0 -1 1077944384 1093 0 0 0 73 15 0 0 20 0 28 0 3795565 14135107584 106373 33554432000 4194304 4196468 140732954182720 140070560422800 140070968411861 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 20525056 140732954191036 140732954191212 140732954191212 140732954193871 0
[pid=31309/tid=31320] ppid=31308 vsize=13803816 CPUtime=2 cores=0,2,4,6,8,10,12,14
/proc/31309/task/31320/stat : 31320 (java) S 31308 31308 7102 0 -1 1077944384 6161 0 0 0 81 119 0 0 20 0 28 0 3795567 14135107584 106373 33554432000 4194304 4196468 140732954182720 140070497880304 140070968412802 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 4 0 0 6293624 6294260 20525056 140732954191036 140732954191212 140732954191212 140732954193871 0
[pid=31309/tid=31321] ppid=31308 vsize=13803816 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/31309/task/31321/stat : 31321 (java) S 31308 31308 7102 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 28 0 3795568 14135107584 106373 33554432000 4194304 4196468 140732954182720 140070496826528 140070968411861 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 20525056 140732954191036 140732954191212 140732954191212 140732954193871 0
[pid=31309/tid=31322] ppid=31308 vsize=13803816 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/31309/task/31322/stat : 31322 (java) S 31308 31308 7102 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 28 0 3795568 14135107584 106373 33554432000 4194304 4196468 140732954182720 140070495773424 140070968411861 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 20525056 140732954191036 140732954191212 140732954191212 140732954193871 0
[pid=31309/tid=31323] ppid=31308 vsize=13803816 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/31309/task/31323/stat : 31323 (java) S 31308 31308 7102 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3795572 14135107584 106373 33554432000 4194304 4196468 140732954182720 140070494722000 140070968420251 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 20525056 140732954191036 140732954191212 140732954191212 140732954193871 0
[pid=31309/tid=31324] ppid=31308 vsize=13803816 CPUtime=6.18 cores=0,2,4,6,8,10,12,14
/proc/31309/task/31324/stat : 31324 (java) S 31308 31308 7102 0 -1 1077944384 19683 0 0 0 616 2 0 0 20 0 28 0 3795572 14135107584 106373 33554432000 4194304 4196468 140732954182720 140070090697456 140070968412802 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 9 0 0 6293624 6294260 20525056 140732954191036 140732954191212 140732954191212 140732954193871 0
[pid=31309/tid=31325] ppid=31308 vsize=13803816 CPUtime=5.7 cores=0,2,4,6,8,10,12,14
/proc/31309/task/31325/stat : 31325 (java) S 31308 31308 7102 0 -1 1077944384 23651 0 0 0 566 4 0 0 20 0 28 0 3795572 14135107584 106373 33554432000 4194304 4196468 140732954182720 140070089644912 140070968412802 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 20525056 140732954191036 140732954191212 140732954191212 140732954193871 0
[pid=31309/tid=31326] ppid=31308 vsize=13803816 CPUtime=5.71 cores=0,2,4,6,8,10,12,14
/proc/31309/task/31326/stat : 31326 (java) S 31308 31308 7102 0 -1 1077944384 16590 0 0 0 569 2 0 0 20 0 28 0 3795572 14135107584 106373 33554432000 4194304 4196468 140732954182720 140070088591856 140070968412802 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20525056 140732954191036 140732954191212 140732954191212 140732954193871 0
[pid=31309/tid=31327] ppid=31308 vsize=13803816 CPUtime=1.23 cores=0,2,4,6,8,10,12,14
/proc/31309/task/31327/stat : 31327 (java) S 31308 31308 7102 0 -1 1077944384 13057 0 0 0 120 3 0 0 20 0 28 0 3795572 14135107584 106373 33554432000 4194304 4196468 140732954182720 140070087539312 140070968412802 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20525056 140732954191036 140732954191212 140732954191212 140732954193871 0
[pid=31309/tid=31328] ppid=31308 vsize=13803816 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/31309/task/31328/stat : 31328 (java) S 31308 31308 7102 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3795573 14135107584 106373 33554432000 4194304 4196468 140732954182720 140070086486496 140070968411861 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 20525056 140732954191036 140732954191212 140732954191212 140732954193871 0
[pid=31309/tid=31329] ppid=31308 vsize=13803816 CPUtime=0.14 cores=0,2,4,6,8,10,12,14
/proc/31309/task/31329/stat : 31329 (java) S 31308 31308 7102 0 -1 1077944384 1050 0 0 0 8 6 0 0 20 0 28 0 3795573 14135107584 106373 33554432000 4194304 4196468 140732954182720 140070085434032 140070968412802 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 8 0 0 6293624 6294260 20525056 140732954191036 140732954191212 140732954191212 140732954193871 0
[pid=31309/tid=31330] ppid=31308 vsize=13803816 CPUtime=297.01 cores=0,2,4,6,8,10,12,14
/proc/31309/task/31330/stat : 31330 (java) R 31308 31308 7102 0 -1 4202560 1191 0 0 0 29700 1 0 0 20 0 28 0 3795644 14135107584 106373 33554432000 4194304 4196468 140732954182720 140070077420928 140070586049486 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 20525056 140732954191036 140732954191212 140732954191212 140732954193871 0
[pid=31309/tid=31331] ppid=31308 vsize=13803816 CPUtime=296.25 cores=0,2,4,6,8,10,12,14
/proc/31309/task/31331/stat : 31331 (java) R 31308 31308 7102 0 -1 4202560 1525 0 0 0 29623 2 0 0 20 0 28 0 3795644 14135107584 106373 33554432000 4194304 4196468 140732954182720 140070076366568 140070583362349 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20525056 140732954191036 140732954191212 140732954191212 140732954193871 0
[pid=31309/tid=31332] ppid=31308 vsize=13803816 CPUtime=296.34 cores=0,2,4,6,8,10,12,14
/proc/31309/task/31332/stat : 31332 (java) R 31308 31308 7102 0 -1 4202560 1074 0 0 0 29633 1 0 0 20 0 28 0 3795644 14135107584 106373 33554432000 4194304 4196468 140732954182720 140070075314696 140070586049380 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 20525056 140732954191036 140732954191212 140732954191212 140732954193871 0
[pid=31309/tid=31333] ppid=31308 vsize=13803816 CPUtime=296.34 cores=0,2,4,6,8,10,12,14
/proc/31309/task/31333/stat : 31333 (java) R 31308 31308 7102 0 -1 4202560 2093 0 0 0 29632 2 0 0 20 0 28 0 3795644 14135107584 106373 33554432000 4194304 4196468 140732954182720 140070074262152 140070586049356 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 20525056 140732954191036 140732954191212 140732954191212 140732954193871 0
[pid=31309/tid=31334] ppid=31308 vsize=13803816 CPUtime=296.23 cores=0,2,4,6,8,10,12,14
/proc/31309/task/31334/stat : 31334 (java) R 31308 31308 7102 0 -1 4202560 1111 0 0 0 29622 1 0 0 20 0 28 0 3795644 14135107584 106373 33554432000 4194304 4196468 140732954182720 140070073208848 140070586049373 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 20525056 140732954191036 140732954191212 140732954191212 140732954193871 0
[pid=31309/tid=31335] ppid=31308 vsize=13803816 CPUtime=296.31 cores=0,2,4,6,8,10,12,14
/proc/31309/task/31335/stat : 31335 (java) R 31308 31308 7102 0 -1 4202560 1346 0 0 0 29628 3 0 0 20 0 28 0 3795644 14135107584 106373 33554432000 4194304 4196468 140732954182720 140070072157112 140070587251097 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 20525056 140732954191036 140732954191212 140732954191212 140732954193871 0
[pid=31309/tid=31336] ppid=31308 vsize=13803816 CPUtime=296.62 cores=0,2,4,6,8,10,12,14
/proc/31309/task/31336/stat : 31336 (java) R 31308 31308 7102 0 -1 4202560 2842 0 0 0 29661 1 0 0 20 0 28 0 3795644 14135107584 106373 33554432000 4194304 4196468 140732954182720 140070071102872 140070585651804 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20525056 140732954191036 140732954191212 140732954191212 140732954193871 0
[pid=31309/tid=31337] ppid=31308 vsize=13803816 CPUtime=296.75 cores=0,2,4,6,8,10,12,14
/proc/31309/task/31337/stat : 31337 (java) R 31308 31308 7102 0 -1 4202560 899 0 0 0 29673 2 0 0 20 0 28 0 3795644 14135107584 106373 33554432000 4194304 4196468 140732954182720 140070070051160 140070584974292 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20525056 140732954191036 140732954191212 140732954191212 140732954193871 0
Current children cumulated CPU time (s) 2400.6
Current children cumulated vsize (KiB) 13813328
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 31309 sig 9
??? kill 31308 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+303.713 s]
/proc/loadavg: 15.88 15.12 12.28 17/300 31452
/proc/meminfo: memFree=28298948/32770624 swapFree=5700/249368
[pid=31308] ppid=31305 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/31308/stat : 31308 (xcsp3-exec) S 31305 31308 7102 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3795563 9740288 346 33554432000 4194304 5098028 140732612024560 140732612022664 140333394227836 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 20197376 140732612031630 140732612031840 140732612031840 140732612034539 0
/proc/31308/statm: 2378 346 289 221 0 87 0
[pid=31309] ppid=31308 vsize=13803816 CPUtime=2400.6 cores=0,2,4,6,8,10,12,14
/proc/31309/stat : 31309 (java) S 31308 31308 7102 0 -1 1077944320 112823 0 0 0 239793 267 0 0 20 0 28 0 3795563 14135107584 106373 33554432000 4194304 4196468 140732954182720 140732954165264 140070968401655 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 20525056 140732954191036 140732954191212 140732954191212 140732954193871 0
/proc/31309/statm: 3450954 106373 3298 1 0 3438187 0
[pid=31309/tid=31310] ppid=31308 vsize=13803816 CPUtime=0.77 cores=0,2,4,6,8,10,12,14
/proc/31309/task/31310/stat : 31310 (java) S 31308 31308 7102 0 -1 1077944384 7023 0 0 0 74 3 0 0 20 0 28 0 3795564 14135107584 106373 33554432000 4194304 4196468 140732954182720 140070972642432 140070968411861 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20525056 140732954191036 140732954191212 140732954191212 140732954193871 0
[pid=31309/tid=31312] ppid=31308 vsize=13803816 CPUtime=0.8 cores=0,2,4,6,8,10,12,14
/proc/31309/task/31312/stat : 31312 (java) S 31308 31308 7102 0 -1 1077944384 1348 0 0 0 68 12 0 0 20 0 28 0 3795565 14135107584 106373 33554432000 4194304 4196468 140732954182720 140070900537872 140070968411861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20525056 140732954191036 140732954191212 140732954191212 140732954193871 0
[pid=31309/tid=31313] ppid=31308 vsize=13803816 CPUtime=0.88 cores=0,2,4,6,8,10,12,14
/proc/31309/task/31313/stat : 31313 (java) S 31308 31308 7102 0 -1 1077944384 1344 0 0 0 73 15 0 0 20 0 28 0 3795565 14135107584 106373 33554432000 4194304 4196468 140732954182720 140070899485328 140070968411861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20525056 140732954191036 140732954191212 140732954191212 140732954193871 0
[pid=31309/tid=31314] ppid=31308 vsize=13803816 CPUtime=0.84 cores=0,2,4,6,8,10,12,14
/proc/31309/task/31314/stat : 31314 (java) S 31308 31308 7102 0 -1 1077944384 1271 0 0 0 70 14 0 0 20 0 28 0 3795565 14135107584 106373 33554432000 4194304 4196468 140732954182720 140070898432272 140070968411861 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 20525056 140732954191036 140732954191212 140732954191212 140732954193871 0
[pid=31309/tid=31315] ppid=31308 vsize=13803816 CPUtime=0.85 cores=0,2,4,6,8,10,12,14
/proc/31309/task/31315/stat : 31315 (java) S 31308 31308 7102 0 -1 1077944384 2162 0 0 0 72 13 0 0 20 0 28 0 3795565 14135107584 106373 33554432000 4194304 4196468 140732954182720 140070897379728 140070968411861 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20525056 140732954191036 140732954191212 140732954191212 140732954193871 0
[pid=31309/tid=31316] ppid=31308 vsize=13803816 CPUtime=0.86 cores=0,2,4,6,8,10,12,14
/proc/31309/task/31316/stat : 31316 (java) S 31308 31308 7102 0 -1 1077944384 1736 0 0 0 72 14 0 0 20 0 28 0 3795565 14135107584 106373 33554432000 4194304 4196468 140732954182720 140070563580944 140070968411861 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 20525056 140732954191036 140732954191212 140732954191212 140732954193871 0
[pid=31309/tid=31317] ppid=31308 vsize=13803816 CPUtime=0.83 cores=0,2,4,6,8,10,12,14
/proc/31309/task/31317/stat : 31317 (java) S 31308 31308 7102 0 -1 1077944384 1070 0 0 0 71 12 0 0 20 0 28 0 3795565 14135107584 106373 33554432000 4194304 4196468 140732954182720 140070562528400 140070968411861 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 20525056 140732954191036 140732954191212 140732954191212 140732954193871 0
[pid=31309/tid=31318] ppid=31308 vsize=13803816 CPUtime=0.85 cores=0,2,4,6,8,10,12,14
/proc/31309/task/31318/stat : 31318 (java) S 31308 31308 7102 0 -1 1077944384 2158 0 0 0 72 13 0 0 20 0 28 0 3795565 14135107584 106373 33554432000 4194304 4196468 140732954182720 140070561475344 140070968411861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20525056 140732954191036 140732954191212 140732954191212 140732954193871 0
[pid=31309/tid=31319] ppid=31308 vsize=13803816 CPUtime=0.88 cores=0,2,4,6,8,10,12,14
/proc/31309/task/31319/stat : 31319 (java) S 31308 31308 7102 0 -1 1077944384 1093 0 0 0 73 15 0 0 20 0 28 0 3795565 14135107584 106373 33554432000 4194304 4196468 140732954182720 140070560422800 140070968411861 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 20525056 140732954191036 140732954191212 140732954191212 140732954193871 0
[pid=31309/tid=31320] ppid=31308 vsize=13803816 CPUtime=2 cores=0,2,4,6,8,10,12,14
/proc/31309/task/31320/stat : 31320 (java) S 31308 31308 7102 0 -1 1077944384 6161 0 0 0 81 119 0 0 20 0 28 0 3795567 14135107584 106373 33554432000 4194304 4196468 140732954182720 140070497880304 140070968412802 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 4 0 0 6293624 6294260 20525056 140732954191036 140732954191212 140732954191212 140732954193871 0
[pid=31309/tid=31321] ppid=31308 vsize=13803816 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/31309/task/31321/stat : 31321 (java) S 31308 31308 7102 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 28 0 3795568 14135107584 106373 33554432000 4194304 4196468 140732954182720 140070496826528 140070968411861 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 20525056 140732954191036 140732954191212 140732954191212 140732954193871 0
[pid=31309/tid=31322] ppid=31308 vsize=13803816 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/31309/task/31322/stat : 31322 (java) S 31308 31308 7102 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 28 0 3795568 14135107584 106373 33554432000 4194304 4196468 140732954182720 140070495773424 140070968411861 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 20525056 140732954191036 140732954191212 140732954191212 140732954193871 0
[pid=31309/tid=31323] ppid=31308 vsize=13803816 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/31309/task/31323/stat : 31323 (java) S 31308 31308 7102 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3795572 14135107584 106373 33554432000 4194304 4196468 140732954182720 140070494722000 140070968420251 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 20525056 140732954191036 140732954191212 140732954191212 140732954193871 0
[pid=31309/tid=31324] ppid=31308 vsize=13803816 CPUtime=6.18 cores=0,2,4,6,8,10,12,14
/proc/31309/task/31324/stat : 31324 (java) S 31308 31308 7102 0 -1 1077944384 19683 0 0 0 616 2 0 0 20 0 28 0 3795572 14135107584 106373 33554432000 4194304 4196468 140732954182720 140070090697456 140070968412802 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 9 0 0 6293624 6294260 20525056 140732954191036 140732954191212 140732954191212 140732954193871 0
[pid=31309/tid=31325] ppid=31308 vsize=13803816 CPUtime=5.7 cores=0,2,4,6,8,10,12,14
/proc/31309/task/31325/stat : 31325 (java) S 31308 31308 7102 0 -1 1077944384 23651 0 0 0 566 4 0 0 20 0 28 0 3795572 14135107584 106373 33554432000 4194304 4196468 140732954182720 140070089644912 140070968412802 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 20525056 140732954191036 140732954191212 140732954191212 140732954193871 0
[pid=31309/tid=31326] ppid=31308 vsize=13803816 CPUtime=5.71 cores=0,2,4,6,8,10,12,14
/proc/31309/task/31326/stat : 31326 (java) S 31308 31308 7102 0 -1 1077944384 16590 0 0 0 569 2 0 0 20 0 28 0 3795572 14135107584 106373 33554432000 4194304 4196468 140732954182720 140070088591856 140070968412802 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20525056 140732954191036 140732954191212 140732954191212 140732954193871 0
[pid=31309/tid=31327] ppid=31308 vsize=13803816 CPUtime=1.23 cores=0,2,4,6,8,10,12,14
/proc/31309/task/31327/stat : 31327 (java) S 31308 31308 7102 0 -1 1077944384 13057 0 0 0 120 3 0 0 20 0 28 0 3795572 14135107584 106373 33554432000 4194304 4196468 140732954182720 140070087539312 140070968412802 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20525056 140732954191036 140732954191212 140732954191212 140732954193871 0
[pid=31309/tid=31328] ppid=31308 vsize=13803816 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/31309/task/31328/stat : 31328 (java) S 31308 31308 7102 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3795573 14135107584 106373 33554432000 4194304 4196468 140732954182720 140070086486496 140070968411861 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 20525056 140732954191036 140732954191212 140732954191212 140732954193871 0
[pid=31309/tid=31329] ppid=31308 vsize=13803816 CPUtime=0.14 cores=0,2,4,6,8,10,12,14
/proc/31309/task/31329/stat : 31329 (java) S 31308 31308 7102 0 -1 1077944384 1050 0 0 0 8 6 0 0 20 0 28 0 3795573 14135107584 106373 33554432000 4194304 4196468 140732954182720 140070085434032 140070968412802 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 8 0 0 6293624 6294260 20525056 140732954191036 140732954191212 140732954191212 140732954193871 0
[pid=31309/tid=31330] ppid=31308 vsize=13803816 CPUtime=297.01 cores=0,2,4,6,8,10,12,14
/proc/31309/task/31330/stat : 31330 (java) R 31308 31308 7102 0 -1 4202560 1191 0 0 0 29700 1 0 0 20 0 28 0 3795644 14135107584 106373 33554432000 4194304 4196468 140732954182720 140070077420928 140070586049486 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 20525056 140732954191036 140732954191212 140732954191212 140732954193871 0
[pid=31309/tid=31331] ppid=31308 vsize=13803816 CPUtime=296.25 cores=0,2,4,6,8,10,12,14
/proc/31309/task/31331/stat : 31331 (java) R 31308 31308 7102 0 -1 4202560 1525 0 0 0 29623 2 0 0 20 0 28 0 3795644 14135107584 106373 33554432000 4194304 4196468 140732954182720 140070076366568 140070583362349 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20525056 140732954191036 140732954191212 140732954191212 140732954193871 0
[pid=31309/tid=31332] ppid=31308 vsize=13803816 CPUtime=296.34 cores=0,2,4,6,8,10,12,14
/proc/31309/task/31332/stat : 31332 (java) R 31308 31308 7102 0 -1 4202560 1074 0 0 0 29633 1 0 0 20 0 28 0 3795644 14135107584 106373 33554432000 4194304 4196468 140732954182720 140070075314696 140070586049380 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 20525056 140732954191036 140732954191212 140732954191212 140732954193871 0
[pid=31309/tid=31333] ppid=31308 vsize=13803816 CPUtime=296.34 cores=0,2,4,6,8,10,12,14
/proc/31309/task/31333/stat : 31333 (java) R 31308 31308 7102 0 -1 4202560 2093 0 0 0 29632 2 0 0 20 0 28 0 3795644 14135107584 106373 33554432000 4194304 4196468 140732954182720 140070074262152 140070586049356 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 20525056 140732954191036 140732954191212 140732954191212 140732954193871 0
[pid=31309/tid=31334] ppid=31308 vsize=13803816 CPUtime=296.23 cores=0,2,4,6,8,10,12,14
/proc/31309/task/31334/stat : 31334 (java) R 31308 31308 7102 0 -1 4202560 1111 0 0 0 29622 1 0 0 20 0 28 0 3795644 14135107584 106373 33554432000 4194304 4196468 140732954182720 140070073208848 140070586049373 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 20525056 140732954191036 140732954191212 140732954191212 140732954193871 0
[pid=31309/tid=31335] ppid=31308 vsize=13803816 CPUtime=296.31 cores=0,2,4,6,8,10,12,14
/proc/31309/task/31335/stat : 31335 (java) R 31308 31308 7102 0 -1 4202560 1346 0 0 0 29628 3 0 0 20 0 28 0 3795644 14135107584 106373 33554432000 4194304 4196468 140732954182720 140070072157112 140070587251097 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 20525056 140732954191036 140732954191212 140732954191212 140732954193871 0
[pid=31309/tid=31336] ppid=31308 vsize=13803816 CPUtime=296.62 cores=0,2,4,6,8,10,12,14
/proc/31309/task/31336/stat : 31336 (java) R 31308 31308 7102 0 -1 4202560 2842 0 0 0 29661 1 0 0 20 0 28 0 3795644 14135107584 106373 33554432000 4194304 4196468 140732954182720 140070071102872 140070585651804 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20525056 140732954191036 140732954191212 140732954191212 140732954193871 0
[pid=31309/tid=31337] ppid=31308 vsize=13803816 CPUtime=296.75 cores=0,2,4,6,8,10,12,14
/proc/31309/task/31337/stat : 31337 (java) R 31308 31308 7102 0 -1 4202560 899 0 0 0 29673 2 0 0 20 0 28 0 3795644 14135107584 106373 33554432000 4194304 4196468 140732954182720 140070070051160 140070584974292 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20525056 140732954191036 140732954191212 140732954191212 140732954193871 0
Current children cumulated CPU time (s) 2400.6
Current children cumulated vsize (KiB) 13813328
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 31308 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=1654
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=1654
# CPU time returned by wait4() is 0.003308
# while last known CPU time is 2400.6
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 303.724
CPU time (s): 2400.6
CPU user time (s): 2397.93
CPU system time (s): 2.67
CPU usage (%): 790.389
Max. virtual memory (cumulated for all children) (KiB): 13817104
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.001654
system time used= 0.001654
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= 7
involuntary context switches= 1
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.87169 second user time and 4.15105 second system time
The end