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-4249391-1500694375/watcher-4249391-1500694375 -o /tmp/evaluation-result-4249391-1500694375/solver-4249391-1500694375 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node114-1500682387-16505 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 1871447656 HOME/instance-4249391-1500694375.xml
pid=8224
running on 8 cores: 1,3,5,7,9,11,13,15
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 15.55 13.88 11.52 9/271 8227
/proc/meminfo: memFree=31407716/32770624 swapFree=5724/263456
[pid=8227] ppid=8224 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8227/stat : 8227 (xcsp3-exec) S 8224 8227 16473 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4706685 9740288 346 33554432000 4194304 5098028 140725080389936 140725080388040 140597213098620 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 38834176 140725080392846 140725080393056 140725080393056 140725080395755 0
/proc/8227/statm: 2378 346 289 221 0 87 0
[startup+0.100099 s]
/proc/loadavg: 15.55 13.88 11.52 9/271 8227
/proc/meminfo: memFree=31407716/32770624 swapFree=5724/263456
[pid=8227] ppid=8224 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8227/stat : 8227 (xcsp3-exec) S 8224 8227 16473 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4706685 9740288 346 33554432000 4194304 5098028 140725080389936 140725080388040 140597213098620 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 38834176 140725080392846 140725080393056 140725080393056 140725080395755 0
/proc/8227/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200299 s]
/proc/loadavg: 15.55 13.88 11.52 9/271 8227
/proc/meminfo: memFree=31407716/32770624 swapFree=5724/263456
[pid=8227] ppid=8224 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8227/stat : 8227 (xcsp3-exec) S 8224 8227 16473 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4706685 9740288 346 33554432000 4194304 5098028 140725080389936 140725080388040 140597213098620 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 38834176 140725080392846 140725080393056 140725080393056 140725080395755 0
/proc/8227/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300253 s]
/proc/loadavg: 15.55 13.88 11.52 9/271 8227
/proc/meminfo: memFree=31407716/32770624 swapFree=5724/263456
[pid=8227] ppid=8224 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8227/stat : 8227 (xcsp3-exec) S 8224 8227 16473 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4706685 9740288 346 33554432000 4194304 5098028 140725080389936 140725080388040 140597213098620 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 38834176 140725080392846 140725080393056 140725080393056 140725080395755 0
/proc/8227/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.700208 s]
/proc/loadavg: 15.55 13.88 11.52 9/271 8227
/proc/meminfo: memFree=31407716/32770624 swapFree=5724/263456
[pid=8227] ppid=8224 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8227/stat : 8227 (xcsp3-exec) S 8224 8227 16473 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4706685 9740288 346 33554432000 4194304 5098028 140725080389936 140725080388040 140597213098620 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 38834176 140725080392846 140725080393056 140725080393056 140725080395755 0
/proc/8227/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50087 s]
/proc/loadavg: 15.55 13.88 11.52 10/292 8248
/proc/meminfo: memFree=31269264/32770624 swapFree=5724/263300
[pid=8227] ppid=8224 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8227/stat : 8227 (xcsp3-exec) S 8224 8227 16473 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4706685 9740288 346 33554432000 4194304 5098028 140725080389936 140725080388040 140597213098620 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 38834176 140725080392846 140725080393056 140725080393056 140725080395755 0
/proc/8227/statm: 2378 346 289 221 0 87 0
[pid=8228] ppid=8227 vsize=13269256 CPUtime=3.26 cores=1,3,5,7,9,11,13,15
/proc/8228/stat : 8228 (java) S 8227 8227 16473 0 -1 1077944320 15983 0 0 0 290 36 0 0 20 0 20 0 4706686 13587718144 58642 33554432000 4194304 4196468 140727268075424 140727268057968 140099517689591 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 37113856 140727268078780 140727268078956 140727268078956 140727268081615 0
/proc/8228/statm: 3317314 58642 3224 1 0 3304547 0
[pid=8228/tid=8229] ppid=8227 vsize=13269256 CPUtime=1.42 cores=1,3,5,7,9,11,13,15
/proc/8228/task/8229/stat : 8229 (java) R 8227 8227 16473 0 -1 4202560 6541 0 0 0 138 4 0 0 20 0 20 0 4706686 13587718144 58642 33554432000 4194304 4196468 140727268075424 140099521927808 140099158404756 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37113856 140727268078780 140727268078956 140727268078956 140727268081615 0
[pid=8228/tid=8231] ppid=8227 vsize=13269256 CPUtime=0.04 cores=1,3,5,7,9,11,13,15
/proc/8228/task/8231/stat : 8231 (java) S 8227 8227 16473 0 -1 1077944384 96 0 0 0 1 3 0 0 20 0 20 0 4706687 13587718144 58642 33554432000 4194304 4196468 140727268075424 140099116534416 140099517699797 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37113856 140727268078780 140727268078956 140727268078956 140727268081615 0
[pid=8228/tid=8232] ppid=8227 vsize=13269256 CPUtime=0.04 cores=1,3,5,7,9,11,13,15
/proc/8228/task/8232/stat : 8232 (java) S 8227 8227 16473 0 -1 1077944384 44 0 0 0 1 3 0 0 20 0 20 0 4706687 13587718144 58642 33554432000 4194304 4196468 140727268075424 140099115481616 140099517699797 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37113856 140727268078780 140727268078956 140727268078956 140727268081615 0
[pid=8228/tid=8233] ppid=8227 vsize=13269256 CPUtime=0.04 cores=1,3,5,7,9,11,13,15
/proc/8228/task/8233/stat : 8233 (java) S 8227 8227 16473 0 -1 1077944384 29 0 0 0 1 3 0 0 20 0 20 0 4706687 13587718144 58642 33554432000 4194304 4196468 140727268075424 140099114428816 140099517699797 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 37113856 140727268078780 140727268078956 140727268078956 140727268081615 0
[pid=8228/tid=8234] ppid=8227 vsize=13269256 CPUtime=0.05 cores=1,3,5,7,9,11,13,15
/proc/8228/task/8234/stat : 8234 (java) S 8227 8227 16473 0 -1 1077944384 40 0 0 0 2 3 0 0 20 0 20 0 4706687 13587718144 58642 33554432000 4194304 4196468 140727268075424 140099113376016 140099517699797 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37113856 140727268078780 140727268078956 140727268078956 140727268081615 0
[pid=8228/tid=8235] ppid=8227 vsize=13269256 CPUtime=0.04 cores=1,3,5,7,9,11,13,15
/proc/8228/task/8235/stat : 8235 (java) S 8227 8227 16473 0 -1 1077944384 33 0 0 0 1 3 0 0 20 0 20 0 4706687 13587718144 58642 33554432000 4194304 4196468 140727268075424 140099112324240 140099517699797 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 37113856 140727268078780 140727268078956 140727268078956 140727268081615 0
[pid=8228/tid=8236] ppid=8227 vsize=13269256 CPUtime=0.04 cores=1,3,5,7,9,11,13,15
/proc/8228/task/8236/stat : 8236 (java) S 8227 8227 16473 0 -1 1077944384 94 0 0 0 1 3 0 0 20 0 20 0 4706687 13587718144 58642 33554432000 4194304 4196468 140727268075424 140099111271440 140099517699797 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 37113856 140727268078780 140727268078956 140727268078956 140727268081615 0
[pid=8228/tid=8237] ppid=8227 vsize=13269256 CPUtime=0.04 cores=1,3,5,7,9,11,13,15
/proc/8228/task/8237/stat : 8237 (java) S 8227 8227 16473 0 -1 1077944384 109 0 0 0 1 3 0 0 20 0 20 0 4706687 13587718144 58642 33554432000 4194304 4196468 140727268075424 140099110218640 140099517699797 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37113856 140727268078780 140727268078956 140727268078956 140727268081615 0
[pid=8228/tid=8238] ppid=8227 vsize=13269256 CPUtime=0.05 cores=1,3,5,7,9,11,13,15
/proc/8228/task/8238/stat : 8238 (java) S 8227 8227 16473 0 -1 1077944384 200 0 0 0 2 3 0 0 20 0 20 0 4706687 13587718144 58642 33554432000 4194304 4196468 140727268075424 140099109165840 140099517699797 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37113856 140727268078780 140727268078956 140727268078956 140727268081615 0
[pid=8228/tid=8239] ppid=8227 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8228/task/8239/stat : 8239 (java) S 8227 8227 16473 0 -1 1077944384 227 0 0 0 0 0 0 0 20 0 20 0 4706689 13587718144 58642 33554432000 4194304 4196468 140727268075424 140098845800816 140099517700738 0 0 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 37113856 140727268078780 140727268078956 140727268078956 140727268081615 0
[pid=8228/tid=8240] ppid=8227 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8228/task/8240/stat : 8240 (java) S 8227 8227 16473 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 20 0 4706690 13587718144 58642 33554432000 4194304 4196468 140727268075424 140098844746784 140099517699797 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 37113856 140727268078780 140727268078956 140727268078956 140727268081615 0
[pid=8228/tid=8241] ppid=8227 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8228/task/8241/stat : 8241 (java) S 8227 8227 16473 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 20 0 4706690 13587718144 58642 33554432000 4194304 4196468 140727268075424 140098843693936 140099517699797 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37113856 140727268078780 140727268078956 140727268078956 140727268081615 0
[pid=8228/tid=8242] ppid=8227 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8228/task/8242/stat : 8242 (java) S 8227 8227 16473 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4706694 13587718144 58642 33554432000 4194304 4196468 140727268075424 140098842642256 140099517708187 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 37113856 140727268078780 140727268078956 140727268078956 140727268081615 0
[pid=8228/tid=8243] ppid=8227 vsize=13269256 CPUtime=0.34 cores=1,3,5,7,9,11,13,15
/proc/8228/task/8243/stat : 8243 (java) S 8227 8227 16473 0 -1 1077944384 1643 0 0 0 34 0 0 0 20 0 20 0 4706694 13587718144 58642 33554432000 4194304 4196468 140727268075424 140098841590640 140099517700738 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 11 0 0 6293624 6294260 37113856 140727268078780 140727268078956 140727268078956 140727268081615 0
[pid=8228/tid=8244] ppid=8227 vsize=13269256 CPUtime=0.36 cores=1,3,5,7,9,11,13,15
/proc/8228/task/8244/stat : 8244 (java) S 8227 8227 16473 0 -1 1077944384 1698 0 0 0 36 0 0 0 20 0 20 0 4706694 13587718144 58642 33554432000 4194304 4196468 140727268075424 140098840537840 140099517700738 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 11 0 0 6293624 6294260 37113856 140727268078780 140727268078956 140727268078956 140727268081615 0
[pid=8228/tid=8245] ppid=8227 vsize=13269256 CPUtime=0.33 cores=1,3,5,7,9,11,13,15
/proc/8228/task/8245/stat : 8245 (java) S 8227 8227 16473 0 -1 1077944384 1433 0 0 0 33 0 0 0 20 0 20 0 4706694 13587718144 58642 33554432000 4194304 4196468 140727268075424 140098839485040 140099517700738 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37113856 140727268078780 140727268078956 140727268078956 140727268081615 0
[pid=8228/tid=8246] ppid=8227 vsize=13269256 CPUtime=0.32 cores=1,3,5,7,9,11,13,15
/proc/8228/task/8246/stat : 8246 (java) S 8227 8227 16473 0 -1 1077944384 2453 0 0 0 32 0 0 0 20 0 20 0 4706694 13587718144 58642 33554432000 4194304 4196468 140727268075424 140098838432240 140099517700738 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37113856 140727268078780 140727268078956 140727268078956 140727268081615 0
[pid=8228/tid=8247] ppid=8227 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8228/task/8247/stat : 8247 (java) S 8227 8227 16473 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4706694 13587718144 58642 33554432000 4194304 4196468 140727268075424 140098837379680 140099517699797 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 37113856 140727268078780 140727268078956 140727268078956 140727268081615 0
[pid=8228/tid=8248] ppid=8227 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8228/task/8248/stat : 8248 (java) S 8227 8227 16473 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 4706695 13587718144 58642 33554432000 4194304 4196468 140727268075424 140098836326960 140099517700738 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 15 0 0 6293624 6294260 37113856 140727268078780 140727268078956 140727268078956 140727268081615 0
Current children cumulated CPU time (s) 3.26
Current children cumulated vsize (KiB) 13278768
[startup+3.10085 s]
/proc/loadavg: 15.55 13.88 11.52 10/292 8248
/proc/meminfo: memFree=31040336/32770624 swapFree=5724/263528
[pid=8227] ppid=8224 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8227/stat : 8227 (xcsp3-exec) S 8224 8227 16473 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4706685 9740288 346 33554432000 4194304 5098028 140725080389936 140725080388040 140597213098620 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 38834176 140725080392846 140725080393056 140725080393056 140725080395755 0
/proc/8227/statm: 2378 346 289 221 0 87 0
[pid=8228] ppid=8227 vsize=13269256 CPUtime=6.42 cores=1,3,5,7,9,11,13,15
/proc/8228/stat : 8228 (java) S 8227 8227 16473 0 -1 1077944320 22894 0 0 0 529 113 0 0 20 0 20 0 4706686 13587718144 122781 33554432000 4194304 4196468 140727268075424 140727268057968 140099517689591 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 37113856 140727268078780 140727268078956 140727268078956 140727268081615 0
/proc/8228/statm: 3317314 122781 3238 1 0 3304547 0
[pid=8228/tid=8229] ppid=8227 vsize=13269256 CPUtime=2.86 cores=1,3,5,7,9,11,13,15
/proc/8228/task/8229/stat : 8229 (java) R 8227 8227 16473 0 -1 4202560 8369 0 0 0 281 5 0 0 20 0 20 0 4706686 13587718144 122781 33554432000 4194304 4196468 140727268075424 140099521928008 140099500096615 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37113856 140727268078780 140727268078956 140727268078956 140727268081615 0
[pid=8228/tid=8231] ppid=8227 vsize=13269256 CPUtime=0.18 cores=1,3,5,7,9,11,13,15
/proc/8228/task/8231/stat : 8231 (java) S 8227 8227 16473 0 -1 1077944384 159 0 0 0 5 13 0 0 20 0 20 0 4706687 13587718144 122781 33554432000 4194304 4196468 140727268075424 140099116534416 140099517699797 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37113856 140727268078780 140727268078956 140727268078956 140727268081615 0
[pid=8228/tid=8232] ppid=8227 vsize=13269256 CPUtime=0.18 cores=1,3,5,7,9,11,13,15
/proc/8228/task/8232/stat : 8232 (java) S 8227 8227 16473 0 -1 1077944384 105 0 0 0 5 13 0 0 20 0 20 0 4706687 13587718144 122781 33554432000 4194304 4196468 140727268075424 140099115481616 140099517699797 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37113856 140727268078780 140727268078956 140727268078956 140727268081615 0
[pid=8228/tid=8233] ppid=8227 vsize=13269256 CPUtime=0.19 cores=1,3,5,7,9,11,13,15
/proc/8228/task/8233/stat : 8233 (java) S 8227 8227 16473 0 -1 1077944384 100 0 0 0 5 14 0 0 20 0 20 0 4706687 13587718144 122781 33554432000 4194304 4196468 140727268075424 140099114428816 140099517699797 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 37113856 140727268078780 140727268078956 140727268078956 140727268081615 0
[pid=8228/tid=8234] ppid=8227 vsize=13269256 CPUtime=0.17 cores=1,3,5,7,9,11,13,15
/proc/8228/task/8234/stat : 8234 (java) S 8227 8227 16473 0 -1 1077944384 98 0 0 0 6 11 0 0 20 0 20 0 4706687 13587718144 122781 33554432000 4194304 4196468 140727268075424 140099113376016 140099517699797 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37113856 140727268078780 140727268078956 140727268078956 140727268081615 0
[pid=8228/tid=8235] ppid=8227 vsize=13269256 CPUtime=0.17 cores=1,3,5,7,9,11,13,15
/proc/8228/task/8235/stat : 8235 (java) S 8227 8227 16473 0 -1 1077944384 89 0 0 0 5 12 0 0 20 0 20 0 4706687 13587718144 122781 33554432000 4194304 4196468 140727268075424 140099112324240 140099517699797 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 37113856 140727268078780 140727268078956 140727268078956 140727268081615 0
[pid=8228/tid=8236] ppid=8227 vsize=13269256 CPUtime=0.19 cores=1,3,5,7,9,11,13,15
/proc/8228/task/8236/stat : 8236 (java) S 8227 8227 16473 0 -1 1077944384 161 0 0 0 6 13 0 0 20 0 20 0 4706687 13587718144 122781 33554432000 4194304 4196468 140727268075424 140099111271440 140099517699797 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 37113856 140727268078780 140727268078956 140727268078956 140727268081615 0
[pid=8228/tid=8237] ppid=8227 vsize=13269256 CPUtime=0.19 cores=1,3,5,7,9,11,13,15
/proc/8228/task/8237/stat : 8237 (java) S 8227 8227 16473 0 -1 1077944384 173 0 0 0 6 13 0 0 20 0 20 0 4706687 13587718144 122781 33554432000 4194304 4196468 140727268075424 140099110218640 140099517699797 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37113856 140727268078780 140727268078956 140727268078956 140727268081615 0
[pid=8228/tid=8238] ppid=8227 vsize=13269256 CPUtime=0.19 cores=1,3,5,7,9,11,13,15
/proc/8228/task/8238/stat : 8238 (java) S 8227 8227 16473 0 -1 1077944384 267 0 0 0 7 12 0 0 20 0 20 0 4706687 13587718144 122781 33554432000 4194304 4196468 140727268075424 140099109165840 140099517699797 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37113856 140727268078780 140727268078956 140727268078956 140727268081615 0
[pid=8228/tid=8239] ppid=8227 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8228/task/8239/stat : 8239 (java) S 8227 8227 16473 0 -1 1077944384 227 0 0 0 0 0 0 0 20 0 20 0 4706689 13587718144 122781 33554432000 4194304 4196468 140727268075424 140098845800816 140099517700738 0 0 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 37113856 140727268078780 140727268078956 140727268078956 140727268081615 0
[pid=8228/tid=8240] ppid=8227 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8228/task/8240/stat : 8240 (java) S 8227 8227 16473 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 20 0 4706690 13587718144 122781 33554432000 4194304 4196468 140727268075424 140098844746784 140099517699797 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 37113856 140727268078780 140727268078956 140727268078956 140727268081615 0
[pid=8228/tid=8241] ppid=8227 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8228/task/8241/stat : 8241 (java) S 8227 8227 16473 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 20 0 4706690 13587718144 122781 33554432000 4194304 4196468 140727268075424 140098843693936 140099517699797 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37113856 140727268078780 140727268078956 140727268078956 140727268081615 0
[pid=8228/tid=8242] ppid=8227 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8228/task/8242/stat : 8242 (java) S 8227 8227 16473 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4706694 13587718144 122781 33554432000 4194304 4196468 140727268075424 140098842642256 140099517708187 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 37113856 140727268078780 140727268078956 140727268078956 140727268081615 0
[pid=8228/tid=8243] ppid=8227 vsize=13269256 CPUtime=0.5 cores=1,3,5,7,9,11,13,15
/proc/8228/task/8243/stat : 8243 (java) S 8227 8227 16473 0 -1 1077944384 2807 0 0 0 50 0 0 0 20 0 20 0 4706694 13587718144 122781 33554432000 4194304 4196468 140727268075424 140098841590640 140099517700738 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 11 0 0 6293624 6294260 37113856 140727268078780 140727268078956 140727268078956 140727268081615 0
[pid=8228/tid=8244] ppid=8227 vsize=13269256 CPUtime=0.54 cores=1,3,5,7,9,11,13,15
/proc/8228/task/8244/stat : 8244 (java) S 8227 8227 16473 0 -1 1077944384 2920 0 0 0 54 0 0 0 20 0 20 0 4706694 13587718144 122781 33554432000 4194304 4196468 140727268075424 140098840537840 140099517700738 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 11 0 0 6293624 6294260 37113856 140727268078780 140727268078956 140727268078956 140727268081615 0
[pid=8228/tid=8245] ppid=8227 vsize=13269256 CPUtime=0.54 cores=1,3,5,7,9,11,13,15
/proc/8228/task/8245/stat : 8245 (java) S 8227 8227 16473 0 -1 1077944384 2927 0 0 0 53 1 0 0 20 0 20 0 4706694 13587718144 122781 33554432000 4194304 4196468 140727268075424 140098839485040 140099517700738 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 37113856 140727268078780 140727268078956 140727268078956 140727268081615 0
[pid=8228/tid=8246] ppid=8227 vsize=13269256 CPUtime=0.39 cores=1,3,5,7,9,11,13,15
/proc/8228/task/8246/stat : 8246 (java) S 8227 8227 16473 0 -1 1077944384 3133 0 0 0 39 0 0 0 20 0 20 0 4706694 13587718144 122781 33554432000 4194304 4196468 140727268075424 140098838432240 140099517700738 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37113856 140727268078780 140727268078956 140727268078956 140727268081615 0
[pid=8228/tid=8247] ppid=8227 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8228/task/8247/stat : 8247 (java) S 8227 8227 16473 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4706694 13587718144 122781 33554432000 4194304 4196468 140727268075424 140098837379680 140099517699797 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 37113856 140727268078780 140727268078956 140727268078956 140727268081615 0
[pid=8228/tid=8248] ppid=8227 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8228/task/8248/stat : 8248 (java) S 8227 8227 16473 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 20 0 4706695 13587718144 122781 33554432000 4194304 4196468 140727268075424 140098836326960 140099517700738 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 15 0 0 6293624 6294260 37113856 140727268078780 140727268078956 140727268078956 140727268081615 0
Current children cumulated CPU time (s) 6.42
Current children cumulated vsize (KiB) 13278768
[startup+6.30392 s]
/proc/loadavg: 15.03 13.80 11.51 10/292 8248
/proc/meminfo: memFree=30686912/32770624 swapFree=5724/263532
[pid=8227] ppid=8224 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8227/stat : 8227 (xcsp3-exec) S 8224 8227 16473 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4706685 9740288 346 33554432000 4194304 5098028 140725080389936 140725080388040 140597213098620 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 38834176 140725080392846 140725080393056 140725080393056 140725080395755 0
/proc/8227/statm: 2378 346 289 221 0 87 0
[pid=8228] ppid=8227 vsize=13269256 CPUtime=14.3 cores=1,3,5,7,9,11,13,15
/proc/8228/stat : 8228 (java) S 8227 8227 16473 0 -1 1077944320 28008 0 0 0 1099 331 0 0 20 0 20 0 4706686 13587718144 230894 33554432000 4194304 4196468 140727268075424 140727268057968 140099517689591 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 37113856 140727268078780 140727268078956 140727268078956 140727268081615 0
/proc/8228/statm: 3317314 230894 3255 1 0 3304547 0
[pid=8228/tid=8229] ppid=8227 vsize=13269256 CPUtime=5.31 cores=1,3,5,7,9,11,13,15
/proc/8228/task/8229/stat : 8229 (java) S 8227 8227 16473 0 -1 1077944384 8402 0 0 0 525 6 0 0 20 0 20 0 4706686 13587718144 230894 33554432000 4194304 4196468 140727268075424 140099521927792 140099517699797 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 37113856 140727268078780 140727268078956 140727268078956 140727268081615 0
[pid=8228/tid=8231] ppid=8227 vsize=13269256 CPUtime=0.85 cores=1,3,5,7,9,11,13,15
/proc/8228/task/8231/stat : 8231 (java) R 8227 8227 16473 0 -1 4202560 672 0 0 0 45 40 0 0 20 0 20 0 4706687 13587718144 230894 33554432000 4194304 4196468 140727268075424 140099116534616 140099510786292 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37113856 140727268078780 140727268078956 140727268078956 140727268081615 0
[pid=8228/tid=8232] ppid=8227 vsize=13269256 CPUtime=0.86 cores=1,3,5,7,9,11,13,15
/proc/8228/task/8232/stat : 8232 (java) R 8227 8227 16473 0 -1 4202560 879 0 0 0 46 40 0 0 20 0 20 0 4706687 13587718144 230894 33554432000 4194304 4196468 140727268075424 140099115481816 140099510786292 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 37113856 140727268078780 140727268078956 140727268078956 140727268081615 0
[pid=8228/tid=8233] ppid=8227 vsize=13269256 CPUtime=0.86 cores=1,3,5,7,9,11,13,15
/proc/8228/task/8233/stat : 8233 (java) R 8227 8227 16473 0 -1 4202560 555 0 0 0 45 41 0 0 20 0 20 0 4706687 13587718144 230894 33554432000 4194304 4196468 140727268075424 140099114429016 140099510789291 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 37113856 140727268078780 140727268078956 140727268078956 140727268081615 0
[pid=8228/tid=8234] ppid=8227 vsize=13269256 CPUtime=0.85 cores=1,3,5,7,9,11,13,15
/proc/8228/task/8234/stat : 8234 (java) R 8227 8227 16473 0 -1 4202560 634 0 0 0 47 38 0 0 20 0 20 0 4706687 13587718144 231406 33554432000 4194304 4196468 140727268075424 140099113376216 140099510786292 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 37113856 140727268078780 140727268078956 140727268078956 140727268081615 0
[pid=8228/tid=8235] ppid=8227 vsize=13269256 CPUtime=0.8 cores=1,3,5,7,9,11,13,15
/proc/8228/task/8235/stat : 8235 (java) R 8227 8227 16473 0 -1 4202560 506 0 0 0 43 37 0 0 20 0 20 0 4706687 13587718144 231406 33554432000 4194304 4196468 140727268075424 140099112324440 140099510789291 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37113856 140727268078780 140727268078956 140727268078956 140727268081615 0
[pid=8228/tid=8236] ppid=8227 vsize=13269256 CPUtime=0.85 cores=1,3,5,7,9,11,13,15
/proc/8228/task/8236/stat : 8236 (java) R 8227 8227 16473 0 -1 4202560 679 0 0 0 44 41 0 0 20 0 20 0 4706687 13587718144 231406 33554432000 4194304 4196468 140727268075424 140099111271328 140099510789291 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 37113856 140727268078780 140727268078956 140727268078956 140727268081615 0
[pid=8228/tid=8237] ppid=8227 vsize=13269256 CPUtime=0.86 cores=1,3,5,7,9,11,13,15
/proc/8228/task/8237/stat : 8237 (java) R 8227 8227 16473 0 -1 4202560 622 0 0 0 46 40 0 0 20 0 20 0 4706687 13587718144 231406 33554432000 4194304 4196468 140727268075424 140099110218840 140099510786292 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37113856 140727268078780 140727268078956 140727268078956 140727268081615 0
[pid=8228/tid=8238] ppid=8227 vsize=13269256 CPUtime=0.85 cores=1,3,5,7,9,11,13,15
/proc/8228/task/8238/stat : 8238 (java) R 8227 8227 16473 0 -1 4202560 797 0 0 0 47 38 0 0 20 0 20 0 4706687 13587718144 231406 33554432000 4194304 4196468 140727268075424 140099109166040 140099510786292 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 37113856 140727268078780 140727268078956 140727268078956 140727268081615 0
[pid=8228/tid=8239] ppid=8227 vsize=13269256 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/8228/task/8239/stat : 8239 (java) S 8227 8227 16473 0 -1 1077944384 1106 0 0 0 9 0 0 0 20 0 20 0 4706689 13587718144 231406 33554432000 4194304 4196468 140727268075424 140098845799328 140099517699797 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37113856 140727268078780 140727268078956 140727268078956 140727268081615 0
[pid=8228/tid=8240] ppid=8227 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8228/task/8240/stat : 8240 (java) S 8227 8227 16473 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 20 0 4706690 13587718144 231406 33554432000 4194304 4196468 140727268075424 140098844746848 140099517699797 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 37113856 140727268078780 140727268078956 140727268078956 140727268081615 0
[pid=8228/tid=8241] ppid=8227 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8228/task/8241/stat : 8241 (java) S 8227 8227 16473 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 20 0 4706690 13587718144 231406 33554432000 4194304 4196468 140727268075424 140098843693952 140099517699797 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37113856 140727268078780 140727268078956 140727268078956 140727268081615 0
[pid=8228/tid=8242] ppid=8227 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8228/task/8242/stat : 8242 (java) S 8227 8227 16473 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4706694 13587718144 231406 33554432000 4194304 4196468 140727268075424 140098842642256 140099517708187 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 37113856 140727268078780 140727268078956 140727268078956 140727268081615 0
################
# More data... #
################
[pid=8228/tid=8280] ppid=8227 vsize=13801768 CPUtime=179.74 cores=1,3,5,7,9,11,13,15
/proc/8228/task/8280/stat : 8280 (java) R 8227 8227 16473 0 -1 4202560 2990 0 0 0 17974 0 0 0 20 0 28 0 4716716 14133010432 1403146 33554432000 4194304 4196468 140727268075424 140098826207432 140099161895768 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 37113856 140727268078780 140727268078956 140727268078956 140727268081615 0
[pid=8228/tid=8281] ppid=8227 vsize=13801768 CPUtime=181.33 cores=1,3,5,7,9,11,13,15
/proc/8228/task/8281/stat : 8281 (java) R 8227 8227 16473 0 -1 4202560 1908 0 0 0 18133 0 0 0 20 0 28 0 4716716 14133010432 1403146 33554432000 4194304 4196468 140727268075424 140098827259736 140099161387515 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 37113856 140727268078780 140727268078956 140727268078956 140727268081615 0
Current children cumulated CPU time (s) 2064.77
Current children cumulated vsize (KiB) 13811280
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+324.401 s]
/proc/loadavg: 15.66 14.88 12.63 17/299 8381
/proc/meminfo: memFree=22836224/32770624 swapFree=5724/263924
[pid=8227] ppid=8224 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8227/stat : 8227 (xcsp3-exec) S 8224 8227 16473 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4706685 9740288 346 33554432000 4194304 5098028 140725080389936 140725080388040 140597213098620 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 38834176 140725080392846 140725080393056 140725080393056 140725080395755 0
/proc/8227/statm: 2378 346 289 221 0 87 0
[pid=8228] ppid=8227 vsize=13801768 CPUtime=2400.06 cores=1,3,5,7,9,11,13,15
/proc/8228/stat : 8228 (java) S 8227 8227 16473 0 -1 1077944320 194015 0 0 0 237781 2225 0 0 20 0 28 0 4706686 14133010432 1408789 33554432000 4194304 4196468 140727268075424 140727268057968 140099517689591 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 37113856 140727268078780 140727268078956 140727268078956 140727268081615 0
/proc/8228/statm: 3450442 1408789 3304 1 0 3437675 0
[pid=8228/tid=8229] ppid=8227 vsize=13801768 CPUtime=25.4 cores=1,3,5,7,9,11,13,15
/proc/8228/task/8229/stat : 8229 (java) S 8227 8227 16473 0 -1 1077944384 11827 0 0 0 2531 9 0 0 20 0 28 0 4706686 14133010432 1408789 33554432000 4194304 4196468 140727268075424 140099521930368 140099517699797 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37113856 140727268078780 140727268078956 140727268078956 140727268081615 0
[pid=8228/tid=8231] ppid=8227 vsize=13801768 CPUtime=6.84 cores=1,3,5,7,9,11,13,15
/proc/8228/task/8231/stat : 8231 (java) S 8227 8227 16473 0 -1 1077944384 8044 0 0 0 390 294 0 0 20 0 28 0 4706687 14133010432 1408789 33554432000 4194304 4196468 140727268075424 140099116534416 140099517699797 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 37113856 140727268078780 140727268078956 140727268078956 140727268081615 0
[pid=8228/tid=8232] ppid=8227 vsize=13801768 CPUtime=6.86 cores=1,3,5,7,9,11,13,15
/proc/8228/task/8232/stat : 8232 (java) S 8227 8227 16473 0 -1 1077944384 4878 0 0 0 420 266 0 0 20 0 28 0 4706687 14133010432 1408789 33554432000 4194304 4196468 140727268075424 140099115481616 140099517699797 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 37113856 140727268078780 140727268078956 140727268078956 140727268081615 0
[pid=8228/tid=8233] ppid=8227 vsize=13801768 CPUtime=6.54 cores=1,3,5,7,9,11,13,15
/proc/8228/task/8233/stat : 8233 (java) S 8227 8227 16473 0 -1 1077944384 5611 0 0 0 397 257 0 0 20 0 28 0 4706687 14133010432 1408789 33554432000 4194304 4196468 140727268075424 140099114428816 140099517699797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37113856 140727268078780 140727268078956 140727268078956 140727268081615 0
[pid=8228/tid=8234] ppid=8227 vsize=13801768 CPUtime=6.82 cores=1,3,5,7,9,11,13,15
/proc/8228/task/8234/stat : 8234 (java) S 8227 8227 16473 0 -1 1077944384 7207 0 0 0 416 266 0 0 20 0 28 0 4706687 14133010432 1408789 33554432000 4194304 4196468 140727268075424 140099113376016 140099517699797 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 37113856 140727268078780 140727268078956 140727268078956 140727268081615 0
[pid=8228/tid=8235] ppid=8227 vsize=13801768 CPUtime=6.79 cores=1,3,5,7,9,11,13,15
/proc/8228/task/8235/stat : 8235 (java) S 8227 8227 16473 0 -1 1077944384 6938 0 0 0 403 276 0 0 20 0 28 0 4706687 14133010432 1408789 33554432000 4194304 4196468 140727268075424 140099112324240 140099517699797 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37113856 140727268078780 140727268078956 140727268078956 140727268081615 0
[pid=8228/tid=8236] ppid=8227 vsize=13801768 CPUtime=6.78 cores=1,3,5,7,9,11,13,15
/proc/8228/task/8236/stat : 8236 (java) S 8227 8227 16473 0 -1 1077944384 7983 0 0 0 396 282 0 0 20 0 28 0 4706687 14133010432 1408789 33554432000 4194304 4196468 140727268075424 140099111271440 140099517699797 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37113856 140727268078780 140727268078956 140727268078956 140727268081615 0
[pid=8228/tid=8237] ppid=8227 vsize=13801768 CPUtime=6.82 cores=1,3,5,7,9,11,13,15
/proc/8228/task/8237/stat : 8237 (java) S 8227 8227 16473 0 -1 1077944384 5937 0 0 0 416 266 0 0 20 0 28 0 4706687 14133010432 1408789 33554432000 4194304 4196468 140727268075424 140099110218640 140099517699797 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37113856 140727268078780 140727268078956 140727268078956 140727268081615 0
[pid=8228/tid=8238] ppid=8227 vsize=13801768 CPUtime=6.84 cores=1,3,5,7,9,11,13,15
/proc/8228/task/8238/stat : 8238 (java) S 8227 8227 16473 0 -1 1077944384 4151 0 0 0 422 262 0 0 20 0 28 0 4706687 14133010432 1408789 33554432000 4194304 4196468 140727268075424 140099109165840 140099517699797 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 37113856 140727268078780 140727268078956 140727268078956 140727268081615 0
[pid=8228/tid=8239] ppid=8227 vsize=13801768 CPUtime=0.83 cores=1,3,5,7,9,11,13,15
/proc/8228/task/8239/stat : 8239 (java) S 8227 8227 16473 0 -1 1077944384 9373 0 0 0 78 5 0 0 20 0 28 0 4706689 14133010432 1408789 33554432000 4194304 4196468 140727268075424 140098845800816 140099517700738 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37113856 140727268078780 140727268078956 140727268078956 140727268081615 0
[pid=8228/tid=8240] ppid=8227 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8228/task/8240/stat : 8240 (java) S 8227 8227 16473 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 28 0 4706690 14133010432 1408789 33554432000 4194304 4196468 140727268075424 140098844746848 140099517699797 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 37113856 140727268078780 140727268078956 140727268078956 140727268081615 0
[pid=8228/tid=8241] ppid=8227 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8228/task/8241/stat : 8241 (java) S 8227 8227 16473 0 -1 1077944384 80 0 0 0 0 0 0 0 20 0 28 0 4706690 14133010432 1408789 33554432000 4194304 4196468 140727268075424 140098843693952 140099517699797 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37113856 140727268078780 140727268078956 140727268078956 140727268081615 0
[pid=8228/tid=8242] ppid=8227 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8228/task/8242/stat : 8242 (java) S 8227 8227 16473 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4706694 14133010432 1408789 33554432000 4194304 4196468 140727268075424 140098842642256 140099517708187 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 37113856 140727268078780 140727268078956 140727268078956 140727268081615 0
[pid=8228/tid=8243] ppid=8227 vsize=13801768 CPUtime=3.31 cores=1,3,5,7,9,11,13,15
/proc/8228/task/8243/stat : 8243 (java) S 8227 8227 16473 0 -1 1077944384 16925 0 0 0 329 2 0 0 20 0 28 0 4706694 14133010432 1408789 33554432000 4194304 4196468 140727268075424 140098841590640 140099517700738 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 11 0 0 6293624 6294260 37113856 140727268078780 140727268078956 140727268078956 140727268081615 0
[pid=8228/tid=8244] ppid=8227 vsize=13801768 CPUtime=3.15 cores=1,3,5,7,9,11,13,15
/proc/8228/task/8244/stat : 8244 (java) S 8227 8227 16473 0 -1 1077944384 15062 0 0 0 313 2 0 0 20 0 28 0 4706694 14133010432 1408789 33554432000 4194304 4196468 140727268075424 140098840537840 140099517700738 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 11 0 0 6293624 6294260 37113856 140727268078780 140727268078956 140727268078956 140727268081615 0
[pid=8228/tid=8245] ppid=8227 vsize=13801768 CPUtime=3.32 cores=1,3,5,7,9,11,13,15
/proc/8228/task/8245/stat : 8245 (java) S 8227 8227 16473 0 -1 1077944384 14645 0 0 0 330 2 0 0 20 0 28 0 4706694 14133010432 1408789 33554432000 4194304 4196468 140727268075424 140098839485040 140099517700738 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37113856 140727268078780 140727268078956 140727268078956 140727268081615 0
[pid=8228/tid=8246] ppid=8227 vsize=13801768 CPUtime=0.98 cores=1,3,5,7,9,11,13,15
/proc/8228/task/8246/stat : 8246 (java) S 8227 8227 16473 0 -1 1077944384 9850 0 0 0 96 2 0 0 20 0 28 0 4706694 14133010432 1408789 33554432000 4194304 4196468 140727268075424 140098838432240 140099517700738 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37113856 140727268078780 140727268078956 140727268078956 140727268081615 0
[pid=8228/tid=8247] ppid=8227 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8228/task/8247/stat : 8247 (java) S 8227 8227 16473 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4706694 14133010432 1408789 33554432000 4194304 4196468 140727268075424 140098837379680 140099517699797 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 37113856 140727268078780 140727268078956 140727268078956 140727268081615 0
[pid=8228/tid=8248] ppid=8227 vsize=13801768 CPUtime=0.17 cores=1,3,5,7,9,11,13,15
/proc/8228/task/8248/stat : 8248 (java) S 8227 8227 16473 0 -1 1077944384 2037 0 0 0 7 10 0 0 20 0 28 0 4706695 14133010432 1408789 33554432000 4194304 4196468 140727268075424 140098836326960 140099517700738 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 15 0 0 6293624 6294260 37113856 140727268078780 140727268078956 140727268078956 140727268081615 0
[pid=8228/tid=8274] ppid=8227 vsize=13801768 CPUtime=222.2 cores=1,3,5,7,9,11,13,15
/proc/8228/task/8274/stat : 8274 (java) R 8227 8227 16473 0 -1 4202560 3635 0 0 0 22219 1 0 0 20 0 28 0 4716716 14133010432 1408789 33554432000 4194304 4196468 140727268075424 140098825153272 140099160327098 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 37113856 140727268078780 140727268078956 140727268078956 140727268081615 0
[pid=8228/tid=8275] ppid=8227 vsize=13801768 CPUtime=221.41 cores=1,3,5,7,9,11,13,15
/proc/8228/task/8275/stat : 8275 (java) R 8227 8227 16473 0 -1 4202560 3291 0 0 0 22140 1 0 0 20 0 28 0 4716716 14133010432 1408789 33554432000 4194304 4196468 140727268075424 140098821996248 140099162161538 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 37113856 140727268078780 140727268078956 140727268078956 140727268081615 0
[pid=8228/tid=8276] ppid=8227 vsize=13801768 CPUtime=223.33 cores=1,3,5,7,9,11,13,15
/proc/8228/task/8276/stat : 8276 (java) R 8227 8227 16473 0 -1 4202560 5241 0 0 0 22332 1 0 0 20 0 28 0 4716716 14133010432 1408789 33554432000 4194304 4196468 140727268075424 140098823052464 140099161432649 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37113856 140727268078780 140727268078956 140727268078956 140727268081615 0
[pid=8228/tid=8277] ppid=8227 vsize=13801768 CPUtime=223.12 cores=1,3,5,7,9,11,13,15
/proc/8228/task/8277/stat : 8277 (java) R 8227 8227 16473 0 -1 4202560 5173 0 0 0 22311 1 0 0 20 0 28 0 4716716 14133010432 1408789 33554432000 4194304 4196468 140727268075424 140098824102472 140099161145716 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 37113856 140727268078780 140727268078956 140727268078956 140727268081615 0
[pid=8228/tid=8278] ppid=8227 vsize=13801768 CPUtime=223.35 cores=1,3,5,7,9,11,13,15
/proc/8228/task/8278/stat : 8278 (java) R 8227 8227 16473 0 -1 4202560 3675 0 0 0 22335 0 0 0 20 0 28 0 4716716 14133010432 1408789 33554432000 4194304 4196468 140727268075424 140098828313208 140099161432954 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37113856 140727268078780 140727268078956 140727268078956 140727268081615 0
[pid=8228/tid=8279] ppid=8227 vsize=13801768 CPUtime=222.37 cores=1,3,5,7,9,11,13,15
/proc/8228/task/8279/stat : 8279 (java) R 8227 8227 16473 0 -1 4202560 1616 0 0 0 22236 1 0 0 20 0 28 0 4716716 14133010432 1408789 33554432000 4194304 4196468 140727268075424 140098820944088 140099161432954 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37113856 140727268078780 140727268078956 140727268078956 140727268081615 0
[pid=8228/tid=8280] ppid=8227 vsize=13801768 CPUtime=221.3 cores=1,3,5,7,9,11,13,15
/proc/8228/task/8280/stat : 8280 (java) R 8227 8227 16473 0 -1 4202560 3477 0 0 0 22130 0 0 0 20 0 28 0 4716716 14133010432 1408789 33554432000 4194304 4196468 140727268075424 140098826207072 140099161377238 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 37113856 140727268078780 140727268078956 140727268078956 140727268081615 0
[pid=8228/tid=8281] ppid=8227 vsize=13801768 CPUtime=223.21 cores=1,3,5,7,9,11,13,15
/proc/8228/task/8281/stat : 8281 (java) R 8227 8227 16473 0 -1 4202560 2145 0 0 0 22321 0 0 0 20 0 28 0 4716716 14133010432 1408789 33554432000 4194304 4196468 140727268075424 140098827259832 140099161146471 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 37113856 140727268078780 140727268078956 140727268078956 140727268081615 0
Current children cumulated CPU time (s) 2400.06
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 8228 sig 9
??? kill 8227 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+324.401 s]
/proc/loadavg: 15.66 14.88 12.63 17/299 8381
/proc/meminfo: memFree=22836224/32770624 swapFree=5724/263924
[pid=8227] ppid=8224 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8227/stat : 8227 (xcsp3-exec) S 8224 8227 16473 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4706685 9740288 346 33554432000 4194304 5098028 140725080389936 140725080388040 140597213098620 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 38834176 140725080392846 140725080393056 140725080393056 140725080395755 0
/proc/8227/statm: 2378 346 289 221 0 87 0
[pid=8228] ppid=8227 vsize=13801768 CPUtime=2400.06 cores=1,3,5,7,9,11,13,15
/proc/8228/stat : 8228 (java) S 8227 8227 16473 0 -1 1077944320 194015 0 0 0 237781 2225 0 0 20 0 28 0 4706686 14133010432 1408789 33554432000 4194304 4196468 140727268075424 140727268057968 140099517689591 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 37113856 140727268078780 140727268078956 140727268078956 140727268081615 0
/proc/8228/statm: 3450442 1408789 3304 1 0 3437675 0
[pid=8228/tid=8229] ppid=8227 vsize=13801768 CPUtime=25.4 cores=1,3,5,7,9,11,13,15
/proc/8228/task/8229/stat : 8229 (java) S 8227 8227 16473 0 -1 1077944384 11827 0 0 0 2531 9 0 0 20 0 28 0 4706686 14133010432 1408789 33554432000 4194304 4196468 140727268075424 140099521930368 140099517699797 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37113856 140727268078780 140727268078956 140727268078956 140727268081615 0
[pid=8228/tid=8231] ppid=8227 vsize=13801768 CPUtime=6.84 cores=1,3,5,7,9,11,13,15
/proc/8228/task/8231/stat : 8231 (java) S 8227 8227 16473 0 -1 1077944384 8044 0 0 0 390 294 0 0 20 0 28 0 4706687 14133010432 1408789 33554432000 4194304 4196468 140727268075424 140099116534416 140099517699797 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 37113856 140727268078780 140727268078956 140727268078956 140727268081615 0
[pid=8228/tid=8232] ppid=8227 vsize=13801768 CPUtime=6.86 cores=1,3,5,7,9,11,13,15
/proc/8228/task/8232/stat : 8232 (java) S 8227 8227 16473 0 -1 1077944384 4878 0 0 0 420 266 0 0 20 0 28 0 4706687 14133010432 1408789 33554432000 4194304 4196468 140727268075424 140099115481616 140099517699797 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 37113856 140727268078780 140727268078956 140727268078956 140727268081615 0
[pid=8228/tid=8233] ppid=8227 vsize=13801768 CPUtime=6.54 cores=1,3,5,7,9,11,13,15
/proc/8228/task/8233/stat : 8233 (java) S 8227 8227 16473 0 -1 1077944384 5611 0 0 0 397 257 0 0 20 0 28 0 4706687 14133010432 1408789 33554432000 4194304 4196468 140727268075424 140099114428816 140099517699797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37113856 140727268078780 140727268078956 140727268078956 140727268081615 0
[pid=8228/tid=8234] ppid=8227 vsize=13801768 CPUtime=6.82 cores=1,3,5,7,9,11,13,15
/proc/8228/task/8234/stat : 8234 (java) S 8227 8227 16473 0 -1 1077944384 7207 0 0 0 416 266 0 0 20 0 28 0 4706687 14133010432 1408789 33554432000 4194304 4196468 140727268075424 140099113376016 140099517699797 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 37113856 140727268078780 140727268078956 140727268078956 140727268081615 0
[pid=8228/tid=8235] ppid=8227 vsize=13801768 CPUtime=6.79 cores=1,3,5,7,9,11,13,15
/proc/8228/task/8235/stat : 8235 (java) S 8227 8227 16473 0 -1 1077944384 6938 0 0 0 403 276 0 0 20 0 28 0 4706687 14133010432 1408789 33554432000 4194304 4196468 140727268075424 140099112324240 140099517699797 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37113856 140727268078780 140727268078956 140727268078956 140727268081615 0
[pid=8228/tid=8236] ppid=8227 vsize=13801768 CPUtime=6.78 cores=1,3,5,7,9,11,13,15
/proc/8228/task/8236/stat : 8236 (java) S 8227 8227 16473 0 -1 1077944384 7983 0 0 0 396 282 0 0 20 0 28 0 4706687 14133010432 1408789 33554432000 4194304 4196468 140727268075424 140099111271440 140099517699797 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37113856 140727268078780 140727268078956 140727268078956 140727268081615 0
[pid=8228/tid=8237] ppid=8227 vsize=13801768 CPUtime=6.82 cores=1,3,5,7,9,11,13,15
/proc/8228/task/8237/stat : 8237 (java) S 8227 8227 16473 0 -1 1077944384 5937 0 0 0 416 266 0 0 20 0 28 0 4706687 14133010432 1408789 33554432000 4194304 4196468 140727268075424 140099110218640 140099517699797 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37113856 140727268078780 140727268078956 140727268078956 140727268081615 0
[pid=8228/tid=8238] ppid=8227 vsize=13801768 CPUtime=6.84 cores=1,3,5,7,9,11,13,15
/proc/8228/task/8238/stat : 8238 (java) S 8227 8227 16473 0 -1 1077944384 4151 0 0 0 422 262 0 0 20 0 28 0 4706687 14133010432 1408789 33554432000 4194304 4196468 140727268075424 140099109165840 140099517699797 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 37113856 140727268078780 140727268078956 140727268078956 140727268081615 0
[pid=8228/tid=8239] ppid=8227 vsize=13801768 CPUtime=0.83 cores=1,3,5,7,9,11,13,15
/proc/8228/task/8239/stat : 8239 (java) S 8227 8227 16473 0 -1 1077944384 9373 0 0 0 78 5 0 0 20 0 28 0 4706689 14133010432 1408789 33554432000 4194304 4196468 140727268075424 140098845800816 140099517700738 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37113856 140727268078780 140727268078956 140727268078956 140727268081615 0
[pid=8228/tid=8240] ppid=8227 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8228/task/8240/stat : 8240 (java) S 8227 8227 16473 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 28 0 4706690 14133010432 1408789 33554432000 4194304 4196468 140727268075424 140098844746848 140099517699797 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 37113856 140727268078780 140727268078956 140727268078956 140727268081615 0
[pid=8228/tid=8241] ppid=8227 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8228/task/8241/stat : 8241 (java) S 8227 8227 16473 0 -1 1077944384 80 0 0 0 0 0 0 0 20 0 28 0 4706690 14133010432 1408789 33554432000 4194304 4196468 140727268075424 140098843693952 140099517699797 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37113856 140727268078780 140727268078956 140727268078956 140727268081615 0
[pid=8228/tid=8242] ppid=8227 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8228/task/8242/stat : 8242 (java) S 8227 8227 16473 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4706694 14133010432 1408789 33554432000 4194304 4196468 140727268075424 140098842642256 140099517708187 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 37113856 140727268078780 140727268078956 140727268078956 140727268081615 0
[pid=8228/tid=8243] ppid=8227 vsize=13801768 CPUtime=3.31 cores=1,3,5,7,9,11,13,15
/proc/8228/task/8243/stat : 8243 (java) S 8227 8227 16473 0 -1 1077944384 16925 0 0 0 329 2 0 0 20 0 28 0 4706694 14133010432 1408789 33554432000 4194304 4196468 140727268075424 140098841590640 140099517700738 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 11 0 0 6293624 6294260 37113856 140727268078780 140727268078956 140727268078956 140727268081615 0
[pid=8228/tid=8244] ppid=8227 vsize=13801768 CPUtime=3.15 cores=1,3,5,7,9,11,13,15
/proc/8228/task/8244/stat : 8244 (java) S 8227 8227 16473 0 -1 1077944384 15062 0 0 0 313 2 0 0 20 0 28 0 4706694 14133010432 1408789 33554432000 4194304 4196468 140727268075424 140098840537840 140099517700738 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 11 0 0 6293624 6294260 37113856 140727268078780 140727268078956 140727268078956 140727268081615 0
[pid=8228/tid=8245] ppid=8227 vsize=13801768 CPUtime=3.32 cores=1,3,5,7,9,11,13,15
/proc/8228/task/8245/stat : 8245 (java) S 8227 8227 16473 0 -1 1077944384 14645 0 0 0 330 2 0 0 20 0 28 0 4706694 14133010432 1408789 33554432000 4194304 4196468 140727268075424 140098839485040 140099517700738 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37113856 140727268078780 140727268078956 140727268078956 140727268081615 0
[pid=8228/tid=8246] ppid=8227 vsize=13801768 CPUtime=0.98 cores=1,3,5,7,9,11,13,15
/proc/8228/task/8246/stat : 8246 (java) S 8227 8227 16473 0 -1 1077944384 9850 0 0 0 96 2 0 0 20 0 28 0 4706694 14133010432 1408789 33554432000 4194304 4196468 140727268075424 140098838432240 140099517700738 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37113856 140727268078780 140727268078956 140727268078956 140727268081615 0
[pid=8228/tid=8247] ppid=8227 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8228/task/8247/stat : 8247 (java) S 8227 8227 16473 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4706694 14133010432 1408789 33554432000 4194304 4196468 140727268075424 140098837379680 140099517699797 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 37113856 140727268078780 140727268078956 140727268078956 140727268081615 0
[pid=8228/tid=8248] ppid=8227 vsize=13801768 CPUtime=0.17 cores=1,3,5,7,9,11,13,15
/proc/8228/task/8248/stat : 8248 (java) S 8227 8227 16473 0 -1 1077944384 2037 0 0 0 7 10 0 0 20 0 28 0 4706695 14133010432 1408789 33554432000 4194304 4196468 140727268075424 140098836326960 140099517700738 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 15 0 0 6293624 6294260 37113856 140727268078780 140727268078956 140727268078956 140727268081615 0
[pid=8228/tid=8274] ppid=8227 vsize=13801768 CPUtime=222.2 cores=1,3,5,7,9,11,13,15
/proc/8228/task/8274/stat : 8274 (java) R 8227 8227 16473 0 -1 4202560 3635 0 0 0 22219 1 0 0 20 0 28 0 4716716 14133010432 1408789 33554432000 4194304 4196468 140727268075424 140098825153272 140099160327098 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 37113856 140727268078780 140727268078956 140727268078956 140727268081615 0
[pid=8228/tid=8275] ppid=8227 vsize=13801768 CPUtime=221.41 cores=1,3,5,7,9,11,13,15
/proc/8228/task/8275/stat : 8275 (java) R 8227 8227 16473 0 -1 4202560 3291 0 0 0 22140 1 0 0 20 0 28 0 4716716 14133010432 1408789 33554432000 4194304 4196468 140727268075424 140098821996248 140099162161538 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 37113856 140727268078780 140727268078956 140727268078956 140727268081615 0
[pid=8228/tid=8276] ppid=8227 vsize=13801768 CPUtime=223.33 cores=1,3,5,7,9,11,13,15
/proc/8228/task/8276/stat : 8276 (java) R 8227 8227 16473 0 -1 4202560 5241 0 0 0 22332 1 0 0 20 0 28 0 4716716 14133010432 1408789 33554432000 4194304 4196468 140727268075424 140098823052464 140099161432649 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37113856 140727268078780 140727268078956 140727268078956 140727268081615 0
[pid=8228/tid=8277] ppid=8227 vsize=13801768 CPUtime=223.12 cores=1,3,5,7,9,11,13,15
/proc/8228/task/8277/stat : 8277 (java) R 8227 8227 16473 0 -1 4202560 5173 0 0 0 22311 1 0 0 20 0 28 0 4716716 14133010432 1408789 33554432000 4194304 4196468 140727268075424 140098824102472 140099161145716 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 37113856 140727268078780 140727268078956 140727268078956 140727268081615 0
[pid=8228/tid=8278] ppid=8227 vsize=13801768 CPUtime=223.35 cores=1,3,5,7,9,11,13,15
/proc/8228/task/8278/stat : 8278 (java) R 8227 8227 16473 0 -1 4202560 3675 0 0 0 22335 0 0 0 20 0 28 0 4716716 14133010432 1408789 33554432000 4194304 4196468 140727268075424 140098828313208 140099161432954 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37113856 140727268078780 140727268078956 140727268078956 140727268081615 0
[pid=8228/tid=8279] ppid=8227 vsize=13801768 CPUtime=222.37 cores=1,3,5,7,9,11,13,15
/proc/8228/task/8279/stat : 8279 (java) R 8227 8227 16473 0 -1 4202560 1616 0 0 0 22236 1 0 0 20 0 28 0 4716716 14133010432 1408789 33554432000 4194304 4196468 140727268075424 140098820944088 140099161432954 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37113856 140727268078780 140727268078956 140727268078956 140727268081615 0
[pid=8228/tid=8280] ppid=8227 vsize=13801768 CPUtime=221.3 cores=1,3,5,7,9,11,13,15
/proc/8228/task/8280/stat : 8280 (java) R 8227 8227 16473 0 -1 4202560 3477 0 0 0 22130 0 0 0 20 0 28 0 4716716 14133010432 1408789 33554432000 4194304 4196468 140727268075424 140098826207072 140099161377238 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 37113856 140727268078780 140727268078956 140727268078956 140727268081615 0
[pid=8228/tid=8281] ppid=8227 vsize=13801768 CPUtime=223.21 cores=1,3,5,7,9,11,13,15
/proc/8228/task/8281/stat : 8281 (java) R 8227 8227 16473 0 -1 4202560 2145 0 0 0 22321 0 0 0 20 0 28 0 4716716 14133010432 1408789 33554432000 4194304 4196468 140727268075424 140098827259832 140099161146471 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 37113856 140727268078780 140727268078956 140727268078956 140727268081615 0
Current children cumulated CPU time (s) 2400.06
Current children cumulated vsize (KiB) 13811280
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 8227 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=2611
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=926
# CPU time returned by wait4() is 0.003537
# while last known CPU time is 2400.06
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 324.412
CPU time (s): 2400.06
CPU user time (s): 2377.81
CPU system time (s): 22.25
CPU usage (%): 739.818
Max. virtual memory (cumulated for all children) (KiB): 13811280
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.002611
system time used= 0.000926
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= 1
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.71454 second user time and 4.59187 second system time
The end