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-4247419-1500690174/watcher-4247419-1500690174 -o /tmp/evaluation-result-4247419-1500690174/solver-4247419-1500690174 -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 10067277 HOME/instance-4247419-1500690174.xml
pid=8246
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: 2.76 8.62 9.62 3/263 8249
/proc/meminfo: memFree=27274312/32770624 swapFree=5656/285316
[pid=8249] ppid=8246 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/8249/stat : 8249 (xcsp3-exec) S 8246 8249 7102 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4284930 9740288 346 33554432000 4194304 5098028 140731898431184 140731898429288 139945193271932 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 29622272 140731898434704 140731898434912 140731898434912 140731898437611 0
/proc/8249/statm: 2378 346 289 221 0 87 0
[startup+0.100102 s]
/proc/loadavg: 2.76 8.62 9.62 3/263 8249
/proc/meminfo: memFree=27274312/32770624 swapFree=5656/285316
[pid=8249] ppid=8246 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/8249/stat : 8249 (xcsp3-exec) S 8246 8249 7102 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4284930 9740288 346 33554432000 4194304 5098028 140731898431184 140731898429288 139945193271932 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 29622272 140731898434704 140731898434912 140731898434912 140731898437611 0
/proc/8249/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200302 s]
/proc/loadavg: 2.76 8.62 9.62 3/263 8249
/proc/meminfo: memFree=27274312/32770624 swapFree=5656/285316
[pid=8249] ppid=8246 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/8249/stat : 8249 (xcsp3-exec) S 8246 8249 7102 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4284930 9740288 346 33554432000 4194304 5098028 140731898431184 140731898429288 139945193271932 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 29622272 140731898434704 140731898434912 140731898434912 140731898437611 0
/proc/8249/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300302 s]
/proc/loadavg: 2.76 8.62 9.62 3/263 8249
/proc/meminfo: memFree=27274312/32770624 swapFree=5656/285316
[pid=8249] ppid=8246 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/8249/stat : 8249 (xcsp3-exec) S 8246 8249 7102 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4284930 9740288 346 33554432000 4194304 5098028 140731898431184 140731898429288 139945193271932 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 29622272 140731898434704 140731898434912 140731898434912 140731898437611 0
/proc/8249/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.700209 s]
/proc/loadavg: 2.76 8.62 9.62 3/263 8249
/proc/meminfo: memFree=27274312/32770624 swapFree=5656/285316
[pid=8249] ppid=8246 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/8249/stat : 8249 (xcsp3-exec) S 8246 8249 7102 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4284930 9740288 346 33554432000 4194304 5098028 140731898431184 140731898429288 139945193271932 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 29622272 140731898434704 140731898434912 140731898434912 140731898437611 0
/proc/8249/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50113 s]
/proc/loadavg: 2.76 8.62 9.62 6/284 8270
/proc/meminfo: memFree=27112696/32770624 swapFree=5656/285360
[pid=8249] ppid=8246 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/8249/stat : 8249 (xcsp3-exec) S 8246 8249 7102 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4284930 9740288 346 33554432000 4194304 5098028 140731898431184 140731898429288 139945193271932 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 29622272 140731898434704 140731898434912 140731898434912 140731898437611 0
/proc/8249/statm: 2378 346 289 221 0 87 0
[pid=8250] ppid=8249 vsize=13269256 CPUtime=5.59 cores=0,2,4,6,8,10,12,14
/proc/8250/stat : 8250 (java) S 8249 8249 7102 0 -1 1077944320 24611 0 0 0 535 24 0 0 20 0 20 0 4284930 13587718144 62328 33554432000 4194304 4196468 140735865948480 140735865931024 139785946255095 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 14913536 140735865951420 140735865951596 140735865951596 140735865954255 0
/proc/8250/statm: 3317314 62328 3250 1 0 3304547 0
[pid=8250/tid=8251] ppid=8249 vsize=13269256 CPUtime=1.39 cores=0,2,4,6,8,10,12,14
/proc/8250/task/8251/stat : 8251 (java) S 8249 8249 7102 0 -1 1077944384 7897 0 0 0 134 5 0 0 20 0 20 0 4284930 13587718144 62840 33554432000 4194304 4196468 140735865948480 139785950492688 139785946265301 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 14913536 140735865951420 140735865951596 140735865951596 140735865954255 0
[pid=8250/tid=8253] ppid=8249 vsize=13269256 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/8250/task/8253/stat : 8253 (java) R 8249 8249 7102 0 -1 4202560 72 0 0 0 1 1 0 0 20 0 20 0 4284931 13587718144 62840 33554432000 4194304 4196468 140735865948480 139785545407264 139785939359748 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 14913536 140735865951420 140735865951596 140735865951596 140735865954255 0
[pid=8250/tid=8254] ppid=8249 vsize=13269256 CPUtime=0.05 cores=0,2,4,6,8,10,12,14
/proc/8250/task/8254/stat : 8254 (java) R 8249 8249 7102 0 -1 4202560 35 0 0 0 3 2 0 0 20 0 20 0 4284931 13587718144 62840 33554432000 4194304 4196468 140735865948480 139785544354776 139785931282969 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 14913536 140735865951420 140735865951596 140735865951596 140735865954255 0
[pid=8250/tid=8255] ppid=8249 vsize=13269256 CPUtime=0.03 cores=0,2,4,6,8,10,12,14
/proc/8250/task/8255/stat : 8255 (java) R 8249 8249 7102 0 -1 4202560 72 0 0 0 2 1 0 0 20 0 20 0 4284931 13587718144 62840 33554432000 4194304 4196468 140735865948480 139785543302488 139785931282942 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14913536 140735865951420 140735865951596 140735865951596 140735865954255 0
[pid=8250/tid=8256] ppid=8249 vsize=13269256 CPUtime=0.04 cores=0,2,4,6,8,10,12,14
/proc/8250/task/8256/stat : 8256 (java) R 8249 8249 7102 0 -1 4202560 57 0 0 0 3 1 0 0 20 0 20 0 4284931 13587718144 62840 33554432000 4194304 4196468 140735865948480 139785542249688 139785931282978 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 14913536 140735865951420 140735865951596 140735865951596 140735865954255 0
[pid=8250/tid=8257] ppid=8249 vsize=13269256 CPUtime=0.03 cores=0,2,4,6,8,10,12,14
/proc/8250/task/8257/stat : 8257 (java) R 8249 8249 7102 0 -1 4202560 27 0 0 0 2 1 0 0 20 0 20 0 4284931 13587718144 62840 33554432000 4194304 4196468 140735865948480 139785541196376 139785931282951 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 14913536 140735865951420 140735865951596 140735865951596 140735865954255 0
[pid=8250/tid=8258] ppid=8249 vsize=13269256 CPUtime=0.04 cores=0,2,4,6,8,10,12,14
/proc/8250/task/8258/stat : 8258 (java) R 8249 8249 7102 0 -1 4202560 101 0 0 0 3 1 0 0 20 0 20 0 4284931 13587718144 62840 33554432000 4194304 4196468 140735865948480 139785540143576 139785939351820 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 14913536 140735865951420 140735865951596 140735865951596 140735865954255 0
[pid=8250/tid=8259] ppid=8249 vsize=13269256 CPUtime=0.06 cores=0,2,4,6,8,10,12,14
/proc/8250/task/8259/stat : 8259 (java) R 8249 8249 7102 0 -1 4202560 234 0 0 0 4 2 0 0 20 0 20 0 4284931 13587718144 62840 33554432000 4194304 4196468 140735865948480 139785539091288 139785931282969 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 14913536 140735865951420 140735865951596 140735865951596 140735865954255 0
[pid=8250/tid=8260] ppid=8249 vsize=13269256 CPUtime=0.05 cores=0,2,4,6,8,10,12,14
/proc/8250/task/8260/stat : 8260 (java) R 8249 8249 7102 0 -1 4202560 68 0 0 0 3 2 0 0 20 0 20 0 4284931 13587718144 62840 33554432000 4194304 4196468 140735865948480 139785538038488 139785931282969 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 14913536 140735865951420 140735865951596 140735865951596 140735865954255 0
[pid=8250/tid=8261] ppid=8249 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/8250/task/8261/stat : 8261 (java) S 8249 8249 7102 0 -1 1077944384 218 0 0 0 0 0 0 0 20 0 20 0 4284934 13587718144 62840 33554432000 4194304 4196468 140735865948480 139785073034400 139785946265301 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14913536 140735865951420 140735865951596 140735865951596 140735865954255 0
[pid=8250/tid=8262] ppid=8249 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/8250/task/8262/stat : 8262 (java) S 8249 8249 7102 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 20 0 4284934 13587718144 62840 33554432000 4194304 4196468 140735865948480 139785071981856 139785946265301 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 14913536 140735865951420 140735865951596 140735865951596 140735865954255 0
[pid=8250/tid=8263] ppid=8249 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/8250/task/8263/stat : 8263 (java) S 8249 8249 7102 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 20 0 4284935 13587718144 62840 33554432000 4194304 4196468 140735865948480 139785070929520 139785946265301 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14913536 140735865951420 140735865951596 140735865951596 140735865954255 0
[pid=8250/tid=8264] ppid=8249 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/8250/task/8264/stat : 8264 (java) S 8249 8249 7102 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4284939 13587718144 62840 33554432000 4194304 4196468 140735865948480 139785069877840 139785946273691 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 14913536 140735865951420 140735865951596 140735865951596 140735865954255 0
[pid=8250/tid=8265] ppid=8249 vsize=13269256 CPUtime=0.99 cores=0,2,4,6,8,10,12,14
/proc/8250/task/8265/stat : 8265 (java) S 8249 8249 7102 0 -1 1077944384 3729 0 0 0 99 0 0 0 20 0 20 0 4284939 13587718144 62840 33554432000 4194304 4196468 140735865948480 139785068811216 139785946265301 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 14913536 140735865951420 140735865951596 140735865951596 140735865954255 0
[pid=8250/tid=8266] ppid=8249 vsize=13269256 CPUtime=1.01 cores=0,2,4,6,8,10,12,14
/proc/8250/task/8266/stat : 8266 (java) R 8249 8249 7102 0 -1 4202560 3096 0 0 0 101 0 0 0 20 0 20 0 4284939 13587718144 62840 33554432000 4194304 4196468 140735865948480 139785067758432 139785931377568 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14913536 140735865951420 140735865951596 140735865951596 140735865954255 0
[pid=8250/tid=8267] ppid=8249 vsize=13269256 CPUtime=1.06 cores=0,2,4,6,8,10,12,14
/proc/8250/task/8267/stat : 8267 (java) S 8249 8249 7102 0 -1 1077944384 3987 0 0 0 106 0 0 0 20 0 20 0 4284939 13587718144 62840 33554432000 4194304 4196468 140735865948480 139785066704592 139785946265301 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14913536 140735865951420 140735865951596 140735865951596 140735865954255 0
[pid=8250/tid=8268] ppid=8249 vsize=13269256 CPUtime=0.68 cores=0,2,4,6,8,10,12,14
/proc/8250/task/8268/stat : 8268 (java) S 8249 8249 7102 0 -1 1077944384 3673 0 0 0 67 1 0 0 20 0 20 0 4284939 13587718144 62840 33554432000 4194304 4196468 140735865948480 139785065661600 139785946265301 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 14913536 140735865951420 140735865951596 140735865951596 140735865954255 0
[pid=8250/tid=8269] ppid=8249 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/8250/task/8269/stat : 8269 (java) S 8249 8249 7102 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4284939 13587718144 62840 33554432000 4194304 4196468 140735865948480 139785064614752 139785946265301 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 14913536 140735865951420 140735865951596 140735865951596 140735865954255 0
[pid=8250/tid=8270] ppid=8249 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/8250/task/8270/stat : 8270 (java) S 8249 8249 7102 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4284939 13587718144 62840 33554432000 4194304 4196468 140735865948480 139785063562032 139785946266242 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14913536 140735865951420 140735865951596 140735865951596 140735865954255 0
Current children cumulated CPU time (s) 5.59
Current children cumulated vsize (KiB) 13278768
[startup+3.10134 s]
/proc/loadavg: 2.76 8.62 9.62 13/292 8278
/proc/meminfo: memFree=26858204/32770624 swapFree=5656/285352
[pid=8249] ppid=8246 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/8249/stat : 8249 (xcsp3-exec) S 8246 8249 7102 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4284930 9740288 346 33554432000 4194304 5098028 140731898431184 140731898429288 139945193271932 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 29622272 140731898434704 140731898434912 140731898434912 140731898437611 0
/proc/8249/statm: 2378 346 289 221 0 87 0
[pid=8250] ppid=8249 vsize=14005564 CPUtime=14.51 cores=0,2,4,6,8,10,12,14
/proc/8250/stat : 8250 (java) S 8249 8249 7102 0 -1 1077944320 33021 0 0 0 1373 78 0 0 20 0 28 0 4284930 14341697536 117741 33554432000 4194304 4196468 140735865948480 140735865931024 139785946255095 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 14913536 140735865951420 140735865951596 140735865951596 140735865954255 0
/proc/8250/statm: 3501391 117741 3273 1 0 3488624 0
[pid=8250/tid=8251] ppid=8249 vsize=14005564 CPUtime=1.95 cores=0,2,4,6,8,10,12,14
/proc/8250/task/8251/stat : 8251 (java) S 8249 8249 7102 0 -1 1077944384 8265 0 0 0 188 7 0 0 20 0 28 0 4284930 14341697536 117741 33554432000 4194304 4196468 140735865948480 139785950495872 139785946265301 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14913536 140735865951420 140735865951596 140735865951596 140735865954255 0
[pid=8250/tid=8253] ppid=8249 vsize=14005564 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/8250/task/8253/stat : 8253 (java) S 8249 8249 7102 0 -1 1077944384 115 0 0 0 6 7 0 0 20 0 28 0 4284931 14341697536 117741 33554432000 4194304 4196468 140735865948480 139785545407376 139785946265301 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14913536 140735865951420 140735865951596 140735865951596 140735865954255 0
[pid=8250/tid=8254] ppid=8249 vsize=14005564 CPUtime=0.17 cores=0,2,4,6,8,10,12,14
/proc/8250/task/8254/stat : 8254 (java) S 8249 8249 7102 0 -1 1077944384 151 0 0 0 9 8 0 0 20 0 28 0 4284931 14341697536 117741 33554432000 4194304 4196468 140735865948480 139785544354576 139785946265301 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14913536 140735865951420 140735865951596 140735865951596 140735865954255 0
[pid=8250/tid=8255] ppid=8249 vsize=14005564 CPUtime=0.15 cores=0,2,4,6,8,10,12,14
/proc/8250/task/8255/stat : 8255 (java) S 8249 8249 7102 0 -1 1077944384 130 0 0 0 8 7 0 0 20 0 28 0 4284931 14341697536 117741 33554432000 4194304 4196468 140735865948480 139785543302288 139785946265301 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 14913536 140735865951420 140735865951596 140735865951596 140735865954255 0
[pid=8250/tid=8256] ppid=8249 vsize=14005564 CPUtime=0.17 cores=0,2,4,6,8,10,12,14
/proc/8250/task/8256/stat : 8256 (java) S 8249 8249 7102 0 -1 1077944384 961 0 0 0 9 8 0 0 20 0 28 0 4284931 14341697536 117741 33554432000 4194304 4196468 140735865948480 139785542249488 139785946265301 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 14913536 140735865951420 140735865951596 140735865951596 140735865954255 0
[pid=8250/tid=8257] ppid=8249 vsize=14005564 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/8250/task/8257/stat : 8257 (java) S 8249 8249 7102 0 -1 1077944384 70 0 0 0 7 6 0 0 20 0 28 0 4284931 14341697536 117741 33554432000 4194304 4196468 140735865948480 139785541196176 139785946265301 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14913536 140735865951420 140735865951596 140735865951596 140735865954255 0
[pid=8250/tid=8258] ppid=8249 vsize=14005564 CPUtime=0.16 cores=0,2,4,6,8,10,12,14
/proc/8250/task/8258/stat : 8258 (java) S 8249 8249 7102 0 -1 1077944384 153 0 0 0 9 7 0 0 20 0 28 0 4284931 14341697536 117741 33554432000 4194304 4196468 140735865948480 139785540143376 139785946265301 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 14913536 140735865951420 140735865951596 140735865951596 140735865954255 0
[pid=8250/tid=8259] ppid=8249 vsize=14005564 CPUtime=0.19 cores=0,2,4,6,8,10,12,14
/proc/8250/task/8259/stat : 8259 (java) S 8249 8249 7102 0 -1 1077944384 293 0 0 0 10 9 0 0 20 0 28 0 4284931 14341697536 117741 33554432000 4194304 4196468 140735865948480 139785539091088 139785946265301 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 14913536 140735865951420 140735865951596 140735865951596 140735865954255 0
[pid=8250/tid=8260] ppid=8249 vsize=14005564 CPUtime=0.17 cores=0,2,4,6,8,10,12,14
/proc/8250/task/8260/stat : 8260 (java) S 8249 8249 7102 0 -1 1077944384 128 0 0 0 9 8 0 0 20 0 28 0 4284931 14341697536 117741 33554432000 4194304 4196468 140735865948480 139785538038288 139785946265301 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14913536 140735865951420 140735865951596 140735865951596 140735865954255 0
[pid=8250/tid=8261] ppid=8249 vsize=14005564 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/8250/task/8261/stat : 8261 (java) S 8249 8249 7102 0 -1 1077944384 407 0 0 0 1 0 0 0 20 0 28 0 4284934 14341697536 117741 33554432000 4194304 4196468 140735865948480 139785073035888 139785946266242 0 0 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 14913536 140735865951420 140735865951596 140735865951596 140735865954255 0
[pid=8250/tid=8262] ppid=8249 vsize=14005564 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/8250/task/8262/stat : 8262 (java) S 8249 8249 7102 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 28 0 4284934 14341697536 117741 33554432000 4194304 4196468 140735865948480 139785071981920 139785946265301 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 14913536 140735865951420 140735865951596 140735865951596 140735865954255 0
[pid=8250/tid=8263] ppid=8249 vsize=14005564 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/8250/task/8263/stat : 8263 (java) S 8249 8249 7102 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 28 0 4284935 14341697536 117741 33554432000 4194304 4196468 140735865948480 139785070929536 139785946265301 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 14913536 140735865951420 140735865951596 140735865951596 140735865954255 0
[pid=8250/tid=8264] ppid=8249 vsize=14005564 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/8250/task/8264/stat : 8264 (java) S 8249 8249 7102 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4284939 14341697536 117741 33554432000 4194304 4196468 140735865948480 139785069877840 139785946273691 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 14913536 140735865951420 140735865951596 140735865951596 140735865954255 0
[pid=8250/tid=8265] ppid=8249 vsize=14005564 CPUtime=2.31 cores=0,2,4,6,8,10,12,14
/proc/8250/task/8265/stat : 8265 (java) S 8249 8249 7102 0 -1 1077944384 4470 0 0 0 231 0 0 0 20 0 28 0 4284939 14341697536 117741 33554432000 4194304 4196468 140735865948480 139785068824688 139785946266242 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14913536 140735865951420 140735865951596 140735865951596 140735865954255 0
[pid=8250/tid=8266] ppid=8249 vsize=14005564 CPUtime=2.39 cores=0,2,4,6,8,10,12,14
/proc/8250/task/8266/stat : 8266 (java) S 8249 8249 7102 0 -1 1077944384 4044 0 0 0 238 1 0 0 20 0 28 0 4284939 14341697536 117741 33554432000 4194304 4196468 140735865948480 139785067771888 139785946266242 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14913536 140735865951420 140735865951596 140735865951596 140735865954255 0
[pid=8250/tid=8267] ppid=8249 vsize=14005564 CPUtime=2.46 cores=0,2,4,6,8,10,12,14
/proc/8250/task/8267/stat : 8267 (java) S 8249 8249 7102 0 -1 1077944384 4446 0 0 0 246 0 0 0 20 0 28 0 4284939 14341697536 117741 33554432000 4194304 4196468 140735865948480 139785066719600 139785946266242 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 14913536 140735865951420 140735865951596 140735865951596 140735865954255 0
[pid=8250/tid=8268] ppid=8249 vsize=14005564 CPUtime=1.15 cores=0,2,4,6,8,10,12,14
/proc/8250/task/8268/stat : 8268 (java) S 8249 8249 7102 0 -1 1077944384 4925 0 0 0 114 1 0 0 20 0 28 0 4284939 14341697536 117741 33554432000 4194304 4196468 140735865948480 139785065666800 139785946266242 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 14913536 140735865951420 140735865951596 140735865951596 140735865954255 0
[pid=8250/tid=8269] ppid=8249 vsize=14005564 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/8250/task/8269/stat : 8269 (java) S 8249 8249 7102 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4284939 14341697536 117741 33554432000 4194304 4196468 140735865948480 139785064614752 139785946265301 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 14913536 140735865951420 140735865951596 140735865951596 140735865954255 0
[pid=8250/tid=8270] ppid=8249 vsize=14005564 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/8250/task/8270/stat : 8270 (java) S 8249 8249 7102 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 28 0 4284939 14341697536 117741 33554432000 4194304 4196468 140735865948480 139785063562032 139785946266242 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 14913536 140735865951420 140735865951596 140735865951596 140735865954255 0
Current children cumulated CPU time (s) 14.51
Current children cumulated vsize (KiB) 14015076
[startup+6.30163 s]
/proc/loadavg: 3.02 8.57 9.60 13/292 8422
/proc/meminfo: memFree=26749676/32770624 swapFree=5656/285360
[pid=8249] ppid=8246 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/8249/stat : 8249 (xcsp3-exec) S 8246 8249 7102 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4284930 9740288 346 33554432000 4194304 5098028 140731898431184 140731898429288 139945193271932 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 29622272 140731898434704 140731898434912 140731898434912 140731898437611 0
/proc/8249/statm: 2378 346 289 221 0 87 0
[pid=8250] ppid=8249 vsize=14005564 CPUtime=39.24 cores=0,2,4,6,8,10,12,14
/proc/8250/stat : 8250 (java) S 8249 8249 7102 0 -1 1077944320 40204 0 0 0 3840 84 0 0 20 0 28 0 4284930 14341697536 160074 33554432000 4194304 4196468 140735865948480 140735865931024 139785946255095 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 14913536 140735865951420 140735865951596 140735865951596 140735865954255 0
/proc/8250/statm: 3501391 160074 3287 1 0 3488624 0
[pid=8250/tid=8251] ppid=8249 vsize=14005564 CPUtime=1.96 cores=0,2,4,6,8,10,12,14
/proc/8250/task/8251/stat : 8251 (java) S 8249 8249 7102 0 -1 1077944384 8266 0 0 0 189 7 0 0 20 0 28 0 4284930 14341697536 160074 33554432000 4194304 4196468 140735865948480 139785950495872 139785946265301 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 14913536 140735865951420 140735865951596 140735865951596 140735865954255 0
[pid=8250/tid=8253] ppid=8249 vsize=14005564 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/8250/task/8253/stat : 8253 (java) S 8249 8249 7102 0 -1 1077944384 115 0 0 0 6 7 0 0 20 0 28 0 4284931 14341697536 160074 33554432000 4194304 4196468 140735865948480 139785545407376 139785946265301 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14913536 140735865951420 140735865951596 140735865951596 140735865954255 0
[pid=8250/tid=8254] ppid=8249 vsize=14005564 CPUtime=0.17 cores=0,2,4,6,8,10,12,14
/proc/8250/task/8254/stat : 8254 (java) S 8249 8249 7102 0 -1 1077944384 151 0 0 0 9 8 0 0 20 0 28 0 4284931 14341697536 160074 33554432000 4194304 4196468 140735865948480 139785544354576 139785946265301 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14913536 140735865951420 140735865951596 140735865951596 140735865954255 0
[pid=8250/tid=8255] ppid=8249 vsize=14005564 CPUtime=0.15 cores=0,2,4,6,8,10,12,14
/proc/8250/task/8255/stat : 8255 (java) S 8249 8249 7102 0 -1 1077944384 130 0 0 0 8 7 0 0 20 0 28 0 4284931 14341697536 160074 33554432000 4194304 4196468 140735865948480 139785543302288 139785946265301 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 14913536 140735865951420 140735865951596 140735865951596 140735865954255 0
[pid=8250/tid=8256] ppid=8249 vsize=14005564 CPUtime=0.17 cores=0,2,4,6,8,10,12,14
/proc/8250/task/8256/stat : 8256 (java) S 8249 8249 7102 0 -1 1077944384 961 0 0 0 9 8 0 0 20 0 28 0 4284931 14341697536 160074 33554432000 4194304 4196468 140735865948480 139785542249488 139785946265301 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 14913536 140735865951420 140735865951596 140735865951596 140735865954255 0
[pid=8250/tid=8257] ppid=8249 vsize=14005564 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/8250/task/8257/stat : 8257 (java) S 8249 8249 7102 0 -1 1077944384 70 0 0 0 7 6 0 0 20 0 28 0 4284931 14341697536 160074 33554432000 4194304 4196468 140735865948480 139785541196176 139785946265301 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14913536 140735865951420 140735865951596 140735865951596 140735865954255 0
[pid=8250/tid=8258] ppid=8249 vsize=14005564 CPUtime=0.16 cores=0,2,4,6,8,10,12,14
/proc/8250/task/8258/stat : 8258 (java) S 8249 8249 7102 0 -1 1077944384 153 0 0 0 9 7 0 0 20 0 28 0 4284931 14341697536 160074 33554432000 4194304 4196468 140735865948480 139785540143376 139785946265301 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 14913536 140735865951420 140735865951596 140735865951596 140735865954255 0
[pid=8250/tid=8259] ppid=8249 vsize=14005564 CPUtime=0.19 cores=0,2,4,6,8,10,12,14
/proc/8250/task/8259/stat : 8259 (java) S 8249 8249 7102 0 -1 1077944384 293 0 0 0 10 9 0 0 20 0 28 0 4284931 14341697536 160074 33554432000 4194304 4196468 140735865948480 139785539091088 139785946265301 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 14913536 140735865951420 140735865951596 140735865951596 140735865954255 0
[pid=8250/tid=8260] ppid=8249 vsize=14005564 CPUtime=0.17 cores=0,2,4,6,8,10,12,14
/proc/8250/task/8260/stat : 8260 (java) S 8249 8249 7102 0 -1 1077944384 128 0 0 0 9 8 0 0 20 0 28 0 4284931 14341697536 160074 33554432000 4194304 4196468 140735865948480 139785538038288 139785946265301 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14913536 140735865951420 140735865951596 140735865951596 140735865954255 0
[pid=8250/tid=8261] ppid=8249 vsize=14005564 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/8250/task/8261/stat : 8261 (java) S 8249 8249 7102 0 -1 1077944384 407 0 0 0 1 1 0 0 20 0 28 0 4284934 14341697536 160074 33554432000 4194304 4196468 140735865948480 139785073035888 139785946266242 0 0 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 14913536 140735865951420 140735865951596 140735865951596 140735865954255 0
[pid=8250/tid=8262] ppid=8249 vsize=14005564 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/8250/task/8262/stat : 8262 (java) S 8249 8249 7102 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 28 0 4284934 14341697536 160074 33554432000 4194304 4196468 140735865948480 139785071981920 139785946265301 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 14913536 140735865951420 140735865951596 140735865951596 140735865954255 0
[pid=8250/tid=8263] ppid=8249 vsize=14005564 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/8250/task/8263/stat : 8263 (java) S 8249 8249 7102 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 28 0 4284935 14341697536 160074 33554432000 4194304 4196468 140735865948480 139785070929536 139785946265301 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 14913536 140735865951420 140735865951596 140735865951596 140735865954255 0
[pid=8250/tid=8264] ppid=8249 vsize=14005564 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/8250/task/8264/stat : 8264 (java) S 8249 8249 7102 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4284939 14341697536 160074 33554432000 4194304 4196468 140735865948480 139785069877840 139785946273691 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 14913536 140735865951420 140735865951596 140735865951596 140735865954255 0
################
# More data... #
################
[pid=8250/tid=8269] ppid=8249 vsize=14005564 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/8250/task/8269/stat : 8269 (java) S 8249 8249 7102 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4284939 14341697536 566197 33554432000 4194304 4196468 140735865948480 139785064614752 139785946265301 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 14913536 140735865951420 140735865951596 140735865951596 140735865954255 0
[pid=8250/tid=8270] ppid=8249 vsize=14005564 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/8250/task/8270/stat : 8270 (java) S 8249 8249 7102 0 -1 1077944384 1993 0 0 0 7 5 0 0 20 0 28 0 4284939 14341697536 566197 33554432000 4194304 4196468 140735865948480 139785063562032 139785946266242 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14913536 140735865951420 140735865951596 140735865951596 140735865954255 0
[pid=8250/tid=8996] ppid=8249 vsize=14005564 CPUtime=29.39 cores=0,2,4,6,8,10,12,14
/proc/8250/task/8996/stat : 8996 (java) R 8249 8249 7102 0 -1 4202560 522 0 0 0 2939 0 0 0 20 0 28 0 4304188 14341697536 566197 33554432000 4194304 4196468 140735865948480 139785050283544 139785570153764 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 14913536 140735865951420 140735865951596 140735865951596 140735865954255 0
[pid=8250/tid=8997] ppid=8249 vsize=14005564 CPUtime=29.68 cores=0,2,4,6,8,10,12,14
/proc/8250/task/8997/stat : 8997 (java) R 8249 8249 7102 0 -1 4202560 509 0 0 0 2968 0 0 0 20 0 28 0 4304188 14341697536 566197 33554432000 4194304 4196468 140735865948480 139785042924088 139785575946956 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 14913536 140735865951420 140735865951596 140735865951596 140735865954255 0
[pid=8250/tid=8998] ppid=8249 vsize=14005564 CPUtime=29.7 cores=0,2,4,6,8,10,12,14
/proc/8250/task/8998/stat : 8998 (java) R 8249 8249 7102 0 -1 4202560 684 0 0 0 2970 0 0 0 20 0 28 0 4304188 14341697536 566197 33554432000 4194304 4196468 140735865948480 139785040818024 139785578845573 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 14913536 140735865951420 140735865951596 140735865951596 140735865954255 0
[pid=8250/tid=8999] ppid=8249 vsize=14005564 CPUtime=29.22 cores=0,2,4,6,8,10,12,14
/proc/8250/task/8999/stat : 8999 (java) R 8249 8249 7102 0 -1 4202560 981 0 0 0 2922 0 0 0 20 0 28 0 4304188 14341697536 566197 33554432000 4194304 4196468 140735865948480 139785045028456 139785574589947 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 14913536 140735865951420 140735865951596 140735865951596 140735865954255 0
[pid=8250/tid=9000] ppid=8249 vsize=14005564 CPUtime=29.68 cores=0,2,4,6,8,10,12,14
/proc/8250/task/9000/stat : 9000 (java) R 8249 8249 7102 0 -1 4202560 901 0 0 0 2968 0 0 0 20 0 28 0 4304188 14341697536 566197 33554432000 4194304 4196468 140735865948480 139785043976592 139785575730105 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14913536 140735865951420 140735865951596 140735865951596 140735865954255 0
[pid=8250/tid=9001] ppid=8249 vsize=14005564 CPUtime=29.7 cores=0,2,4,6,8,10,12,14
/proc/8250/task/9001/stat : 9001 (java) R 8249 8249 7102 0 -1 4202560 313 0 0 0 2970 0 0 0 20 0 28 0 4304188 14341697536 566197 33554432000 4194304 4196468 140735865948480 139785041870904 139785575935564 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14913536 140735865951420 140735865951596 140735865951596 140735865954255 0
[pid=8250/tid=9002] ppid=8249 vsize=14005564 CPUtime=29.66 cores=0,2,4,6,8,10,12,14
/proc/8250/task/9002/stat : 9002 (java) R 8249 8249 7102 0 -1 4202560 1531 0 0 0 2966 0 0 0 20 0 28 0 4304188 14341697536 566197 33554432000 4194304 4196468 140735865948480 139785048179752 139785578361900 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 14913536 140735865951420 140735865951596 140735865951596 140735865954255 0
[pid=8250/tid=9003] ppid=8249 vsize=14005564 CPUtime=29.65 cores=0,2,4,6,8,10,12,14
/proc/8250/task/9003/stat : 9003 (java) R 8249 8249 7102 0 -1 4202560 468 0 0 0 2965 0 0 0 20 0 28 0 4304188 14341697536 566197 33554432000 4194304 4196468 140735865948480 139785049230904 139785575935044 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 14913536 140735865951420 140735865951596 140735865951596 140735865954255 0
Current children cumulated CPU time (s) 1742.75
Current children cumulated vsize (KiB) 14015076
[startup+282.301 s]
/proc/loadavg: 15.71 12.13 10.74 18/299 9037
/proc/meminfo: memFree=27252608/32770624 swapFree=5656/285764
[pid=8249] ppid=8246 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/8249/stat : 8249 (xcsp3-exec) S 8246 8249 7102 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4284930 9740288 346 33554432000 4194304 5098028 140731898431184 140731898429288 139945193271932 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 29622272 140731898434704 140731898434912 140731898434912 140731898437611 0
/proc/8249/statm: 2378 346 289 221 0 87 0
[pid=8250] ppid=8249 vsize=14005564 CPUtime=2218.39 cores=0,2,4,6,8,10,12,14
/proc/8250/stat : 8250 (java) S 8249 8249 7102 0 -1 1077944320 186983 0 0 0 221648 191 0 0 20 0 28 0 4284930 14341697536 589104 33554432000 4194304 4196468 140735865948480 140735865931024 139785946255095 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 14913536 140735865951420 140735865951596 140735865951596 140735865954255 0
/proc/8250/statm: 3501391 589104 3295 1 0 3488624 0
[pid=8250/tid=8251] ppid=8249 vsize=14005564 CPUtime=1.98 cores=0,2,4,6,8,10,12,14
/proc/8250/task/8251/stat : 8251 (java) S 8249 8249 7102 0 -1 1077944384 10646 0 0 0 191 7 0 0 20 0 28 0 4284930 14341697536 589104 33554432000 4194304 4196468 140735865948480 139785950495872 139785946265301 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 14913536 140735865951420 140735865951596 140735865951596 140735865954255 0
[pid=8250/tid=8253] ppid=8249 vsize=14005564 CPUtime=0.24 cores=0,2,4,6,8,10,12,14
/proc/8250/task/8253/stat : 8253 (java) S 8249 8249 7102 0 -1 1077944384 242 0 0 0 13 11 0 0 20 0 28 0 4284931 14341697536 589104 33554432000 4194304 4196468 140735865948480 139785545407376 139785946265301 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14913536 140735865951420 140735865951596 140735865951596 140735865954255 0
[pid=8250/tid=8254] ppid=8249 vsize=14005564 CPUtime=0.27 cores=0,2,4,6,8,10,12,14
/proc/8250/task/8254/stat : 8254 (java) S 8249 8249 7102 0 -1 1077944384 397 0 0 0 16 11 0 0 20 0 28 0 4284931 14341697536 589104 33554432000 4194304 4196468 140735865948480 139785544354576 139785946265301 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14913536 140735865951420 140735865951596 140735865951596 140735865954255 0
[pid=8250/tid=8255] ppid=8249 vsize=14005564 CPUtime=0.27 cores=0,2,4,6,8,10,12,14
/proc/8250/task/8255/stat : 8255 (java) S 8249 8249 7102 0 -1 1077944384 575 0 0 0 16 11 0 0 20 0 28 0 4284931 14341697536 589104 33554432000 4194304 4196468 140735865948480 139785543302288 139785946265301 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 14913536 140735865951420 140735865951596 140735865951596 140735865954255 0
[pid=8250/tid=8256] ppid=8249 vsize=14005564 CPUtime=0.28 cores=0,2,4,6,8,10,12,14
/proc/8250/task/8256/stat : 8256 (java) S 8249 8249 7102 0 -1 1077944384 1262 0 0 0 15 13 0 0 20 0 28 0 4284931 14341697536 589104 33554432000 4194304 4196468 140735865948480 139785542249488 139785946265301 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14913536 140735865951420 140735865951596 140735865951596 140735865954255 0
[pid=8250/tid=8257] ppid=8249 vsize=14005564 CPUtime=0.25 cores=0,2,4,6,8,10,12,14
/proc/8250/task/8257/stat : 8257 (java) S 8249 8249 7102 0 -1 1077944384 1468 0 0 0 14 11 0 0 20 0 28 0 4284931 14341697536 589104 33554432000 4194304 4196468 140735865948480 139785541196176 139785946265301 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14913536 140735865951420 140735865951596 140735865951596 140735865954255 0
[pid=8250/tid=8258] ppid=8249 vsize=14005564 CPUtime=0.28 cores=0,2,4,6,8,10,12,14
/proc/8250/task/8258/stat : 8258 (java) S 8249 8249 7102 0 -1 1077944384 371 0 0 0 16 12 0 0 20 0 28 0 4284931 14341697536 589104 33554432000 4194304 4196468 140735865948480 139785540143376 139785946265301 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 14913536 140735865951420 140735865951596 140735865951596 140735865954255 0
[pid=8250/tid=8259] ppid=8249 vsize=14005564 CPUtime=0.29 cores=0,2,4,6,8,10,12,14
/proc/8250/task/8259/stat : 8259 (java) S 8249 8249 7102 0 -1 1077944384 1810 0 0 0 17 12 0 0 20 0 28 0 4284931 14341697536 589104 33554432000 4194304 4196468 140735865948480 139785539091088 139785946265301 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 14913536 140735865951420 140735865951596 140735865951596 140735865954255 0
[pid=8250/tid=8260] ppid=8249 vsize=14005564 CPUtime=0.28 cores=0,2,4,6,8,10,12,14
/proc/8250/task/8260/stat : 8260 (java) S 8249 8249 7102 0 -1 1077944384 959 0 0 0 16 12 0 0 20 0 28 0 4284931 14341697536 589104 33554432000 4194304 4196468 140735865948480 139785538038288 139785946265301 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14913536 140735865951420 140735865951596 140735865951596 140735865954255 0
[pid=8250/tid=8261] ppid=8249 vsize=14005564 CPUtime=0.14 cores=0,2,4,6,8,10,12,14
/proc/8250/task/8261/stat : 8261 (java) S 8249 8249 7102 0 -1 1077944384 4846 0 0 0 6 8 0 0 20 0 28 0 4284934 14341697536 589104 33554432000 4194304 4196468 140735865948480 139785073035888 139785946266242 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14913536 140735865951420 140735865951596 140735865951596 140735865954255 0
[pid=8250/tid=8262] ppid=8249 vsize=14005564 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/8250/task/8262/stat : 8262 (java) S 8249 8249 7102 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 28 0 4284934 14341697536 589104 33554432000 4194304 4196468 140735865948480 139785071981920 139785946265301 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14913536 140735865951420 140735865951596 140735865951596 140735865954255 0
[pid=8250/tid=8263] ppid=8249 vsize=14005564 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/8250/task/8263/stat : 8263 (java) S 8249 8249 7102 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 28 0 4284935 14341697536 589104 33554432000 4194304 4196468 140735865948480 139785070929536 139785946265301 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14913536 140735865951420 140735865951596 140735865951596 140735865954255 0
[pid=8250/tid=8264] ppid=8249 vsize=14005564 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/8250/task/8264/stat : 8264 (java) S 8249 8249 7102 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4284939 14341697536 589104 33554432000 4194304 4196468 140735865948480 139785069877840 139785946273691 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 14913536 140735865951420 140735865951596 140735865951596 140735865954255 0
[pid=8250/tid=8265] ppid=8249 vsize=14005564 CPUtime=5.44 cores=0,2,4,6,8,10,12,14
/proc/8250/task/8265/stat : 8265 (java) S 8249 8249 7102 0 -1 1077944384 24900 0 0 0 541 3 0 0 20 0 28 0 4284939 14341697536 589104 33554432000 4194304 4196468 140735865948480 139785068824688 139785946266242 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14913536 140735865951420 140735865951596 140735865951596 140735865954255 0
[pid=8250/tid=8266] ppid=8249 vsize=14005564 CPUtime=5.46 cores=0,2,4,6,8,10,12,14
/proc/8250/task/8266/stat : 8266 (java) S 8249 8249 7102 0 -1 1077944384 22250 0 0 0 543 3 0 0 20 0 28 0 4284939 14341697536 589104 33554432000 4194304 4196468 140735865948480 139785067771888 139785946266242 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14913536 140735865951420 140735865951596 140735865951596 140735865954255 0
[pid=8250/tid=8267] ppid=8249 vsize=14005564 CPUtime=5.72 cores=0,2,4,6,8,10,12,14
/proc/8250/task/8267/stat : 8267 (java) R 8249 8249 7102 0 -1 4202560 24079 0 0 0 570 2 0 0 20 0 28 0 4284939 14341697536 589104 33554432000 4194304 4196468 140735865948480 139785066709280 139785927799408 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14913536 140735865951420 140735865951596 140735865951596 140735865954255 0
[pid=8250/tid=8268] ppid=8249 vsize=14005564 CPUtime=1.6 cores=0,2,4,6,8,10,12,14
/proc/8250/task/8268/stat : 8268 (java) S 8249 8249 7102 0 -1 1077944384 23667 0 0 0 157 3 0 0 20 0 28 0 4284939 14341697536 589104 33554432000 4194304 4196468 140735865948480 139785065666800 139785946266242 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 14913536 140735865951420 140735865951596 140735865951596 140735865954255 0
[pid=8250/tid=8269] ppid=8249 vsize=14005564 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/8250/task/8269/stat : 8269 (java) S 8249 8249 7102 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4284939 14341697536 589104 33554432000 4194304 4196468 140735865948480 139785064614752 139785946265301 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 14913536 140735865951420 140735865951596 140735865951596 140735865954255 0
[pid=8250/tid=8270] ppid=8249 vsize=14005564 CPUtime=0.15 cores=0,2,4,6,8,10,12,14
/proc/8250/task/8270/stat : 8270 (java) S 8249 8249 7102 0 -1 1077944384 2181 0 0 0 8 7 0 0 20 0 28 0 4284939 14341697536 589104 33554432000 4194304 4196468 140735865948480 139785063562032 139785946266242 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14913536 140735865951420 140735865951596 140735865951596 140735865954255 0
Current children cumulated CPU time (s) 2218.39
Current children cumulated vsize (KiB) 14015076
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+305.201 s]
/proc/loadavg: 15.81 12.44 10.88 18/299 9045
/proc/meminfo: memFree=26811264/32770624 swapFree=5656/285772
[pid=8249] ppid=8246 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/8249/stat : 8249 (xcsp3-exec) S 8246 8249 7102 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4284930 9740288 346 33554432000 4194304 5098028 140731898431184 140731898429288 139945193271932 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 29622272 140731898434704 140731898434912 140731898434912 140731898437611 0
/proc/8249/statm: 2378 346 289 221 0 87 0
[pid=8250] ppid=8249 vsize=14005564 CPUtime=2400.78 cores=0,2,4,6,8,10,12,14
/proc/8250/stat : 8250 (java) S 8249 8249 7102 0 -1 1077944320 195594 0 0 0 239876 202 0 0 20 0 28 0 4284930 14341697536 697783 33554432000 4194304 4196468 140735865948480 140735865931024 139785946255095 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 14913536 140735865951420 140735865951596 140735865951596 140735865954255 0
/proc/8250/statm: 3501391 697783 3295 1 0 3488624 0
[pid=8250/tid=8251] ppid=8249 vsize=14005564 CPUtime=1.98 cores=0,2,4,6,8,10,12,14
/proc/8250/task/8251/stat : 8251 (java) S 8249 8249 7102 0 -1 1077944384 10646 0 0 0 191 7 0 0 20 0 28 0 4284930 14341697536 697783 33554432000 4194304 4196468 140735865948480 139785950495872 139785946265301 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 14913536 140735865951420 140735865951596 140735865951596 140735865954255 0
[pid=8250/tid=8253] ppid=8249 vsize=14005564 CPUtime=0.24 cores=0,2,4,6,8,10,12,14
/proc/8250/task/8253/stat : 8253 (java) S 8249 8249 7102 0 -1 1077944384 242 0 0 0 13 11 0 0 20 0 28 0 4284931 14341697536 697783 33554432000 4194304 4196468 140735865948480 139785545407376 139785946265301 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14913536 140735865951420 140735865951596 140735865951596 140735865954255 0
[pid=8250/tid=8254] ppid=8249 vsize=14005564 CPUtime=0.27 cores=0,2,4,6,8,10,12,14
/proc/8250/task/8254/stat : 8254 (java) S 8249 8249 7102 0 -1 1077944384 397 0 0 0 16 11 0 0 20 0 28 0 4284931 14341697536 697783 33554432000 4194304 4196468 140735865948480 139785544354576 139785946265301 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14913536 140735865951420 140735865951596 140735865951596 140735865954255 0
[pid=8250/tid=8255] ppid=8249 vsize=14005564 CPUtime=0.27 cores=0,2,4,6,8,10,12,14
/proc/8250/task/8255/stat : 8255 (java) S 8249 8249 7102 0 -1 1077944384 575 0 0 0 16 11 0 0 20 0 28 0 4284931 14341697536 697783 33554432000 4194304 4196468 140735865948480 139785543302288 139785946265301 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 14913536 140735865951420 140735865951596 140735865951596 140735865954255 0
[pid=8250/tid=8256] ppid=8249 vsize=14005564 CPUtime=0.28 cores=0,2,4,6,8,10,12,14
/proc/8250/task/8256/stat : 8256 (java) S 8249 8249 7102 0 -1 1077944384 1262 0 0 0 15 13 0 0 20 0 28 0 4284931 14341697536 697783 33554432000 4194304 4196468 140735865948480 139785542249488 139785946265301 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14913536 140735865951420 140735865951596 140735865951596 140735865954255 0
[pid=8250/tid=8257] ppid=8249 vsize=14005564 CPUtime=0.25 cores=0,2,4,6,8,10,12,14
/proc/8250/task/8257/stat : 8257 (java) S 8249 8249 7102 0 -1 1077944384 1468 0 0 0 14 11 0 0 20 0 28 0 4284931 14341697536 697783 33554432000 4194304 4196468 140735865948480 139785541196176 139785946265301 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14913536 140735865951420 140735865951596 140735865951596 140735865954255 0
[pid=8250/tid=8258] ppid=8249 vsize=14005564 CPUtime=0.28 cores=0,2,4,6,8,10,12,14
/proc/8250/task/8258/stat : 8258 (java) S 8249 8249 7102 0 -1 1077944384 371 0 0 0 16 12 0 0 20 0 28 0 4284931 14341697536 697783 33554432000 4194304 4196468 140735865948480 139785540143376 139785946265301 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 14913536 140735865951420 140735865951596 140735865951596 140735865954255 0
[pid=8250/tid=8259] ppid=8249 vsize=14005564 CPUtime=0.29 cores=0,2,4,6,8,10,12,14
/proc/8250/task/8259/stat : 8259 (java) S 8249 8249 7102 0 -1 1077944384 1810 0 0 0 17 12 0 0 20 0 28 0 4284931 14341697536 697783 33554432000 4194304 4196468 140735865948480 139785539091088 139785946265301 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 14913536 140735865951420 140735865951596 140735865951596 140735865954255 0
[pid=8250/tid=8260] ppid=8249 vsize=14005564 CPUtime=0.28 cores=0,2,4,6,8,10,12,14
/proc/8250/task/8260/stat : 8260 (java) S 8249 8249 7102 0 -1 1077944384 959 0 0 0 16 12 0 0 20 0 28 0 4284931 14341697536 697783 33554432000 4194304 4196468 140735865948480 139785538038288 139785946265301 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14913536 140735865951420 140735865951596 140735865951596 140735865954255 0
[pid=8250/tid=8261] ppid=8249 vsize=14005564 CPUtime=0.14 cores=0,2,4,6,8,10,12,14
/proc/8250/task/8261/stat : 8261 (java) S 8249 8249 7102 0 -1 1077944384 4867 0 0 0 6 8 0 0 20 0 28 0 4284934 14341697536 697783 33554432000 4194304 4196468 140735865948480 139785073035888 139785946266242 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14913536 140735865951420 140735865951596 140735865951596 140735865954255 0
[pid=8250/tid=8262] ppid=8249 vsize=14005564 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/8250/task/8262/stat : 8262 (java) S 8249 8249 7102 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 28 0 4284934 14341697536 697783 33554432000 4194304 4196468 140735865948480 139785071981920 139785946265301 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14913536 140735865951420 140735865951596 140735865951596 140735865954255 0
[pid=8250/tid=8263] ppid=8249 vsize=14005564 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/8250/task/8263/stat : 8263 (java) S 8249 8249 7102 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 28 0 4284935 14341697536 697783 33554432000 4194304 4196468 140735865948480 139785070929536 139785946265301 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14913536 140735865951420 140735865951596 140735865951596 140735865954255 0
[pid=8250/tid=8264] ppid=8249 vsize=14005564 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/8250/task/8264/stat : 8264 (java) S 8249 8249 7102 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4284939 14341697536 697783 33554432000 4194304 4196468 140735865948480 139785069877840 139785946273691 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 14913536 140735865951420 140735865951596 140735865951596 140735865954255 0
[pid=8250/tid=8265] ppid=8249 vsize=14005564 CPUtime=5.47 cores=0,2,4,6,8,10,12,14
/proc/8250/task/8265/stat : 8265 (java) S 8249 8249 7102 0 -1 1077944384 25401 0 0 0 544 3 0 0 20 0 28 0 4284939 14341697536 697783 33554432000 4194304 4196468 140735865948480 139785068824688 139785946266242 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14913536 140735865951420 140735865951596 140735865951596 140735865954255 0
[pid=8250/tid=8266] ppid=8249 vsize=14005564 CPUtime=5.5 cores=0,2,4,6,8,10,12,14
/proc/8250/task/8266/stat : 8266 (java) S 8249 8249 7102 0 -1 1077944384 22894 0 0 0 547 3 0 0 20 0 28 0 4284939 14341697536 697783 33554432000 4194304 4196468 140735865948480 139785067771888 139785946266242 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14913536 140735865951420 140735865951596 140735865951596 140735865954255 0
[pid=8250/tid=8267] ppid=8249 vsize=14005564 CPUtime=5.81 cores=0,2,4,6,8,10,12,14
/proc/8250/task/8267/stat : 8267 (java) S 8249 8249 7102 0 -1 1077944384 24555 0 0 0 579 2 0 0 20 0 28 0 4284939 14341697536 697783 33554432000 4194304 4196468 140735865948480 139785066719600 139785946266242 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 14913536 140735865951420 140735865951596 140735865951596 140735865954255 0
[pid=8250/tid=8268] ppid=8249 vsize=14005564 CPUtime=1.6 cores=0,2,4,6,8,10,12,14
/proc/8250/task/8268/stat : 8268 (java) S 8249 8249 7102 0 -1 1077944384 23693 0 0 0 157 3 0 0 20 0 28 0 4284939 14341697536 697783 33554432000 4194304 4196468 140735865948480 139785065666800 139785946266242 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 14913536 140735865951420 140735865951596 140735865951596 140735865954255 0
[pid=8250/tid=8269] ppid=8249 vsize=14005564 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/8250/task/8269/stat : 8269 (java) S 8249 8249 7102 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4284939 14341697536 697783 33554432000 4194304 4196468 140735865948480 139785064614752 139785946265301 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 14913536 140735865951420 140735865951596 140735865951596 140735865954255 0
[pid=8250/tid=8270] ppid=8249 vsize=14005564 CPUtime=0.17 cores=0,2,4,6,8,10,12,14
/proc/8250/task/8270/stat : 8270 (java) S 8249 8249 7102 0 -1 1077944384 2593 0 0 0 10 7 0 0 20 0 28 0 4284939 14341697536 697783 33554432000 4194304 4196468 140735865948480 139785063562032 139785946266242 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14913536 140735865951420 140735865951596 140735865951596 140735865954255 0
[pid=8250/tid=9038] ppid=8249 vsize=14005564 CPUtime=22.81 cores=0,2,4,6,8,10,12,14
/proc/8250/task/9038/stat : 9038 (java) R 8249 8249 7102 0 -1 4202560 394 0 0 0 2281 0 0 0 20 0 28 0 4313153 14341697536 697783 33554432000 4194304 4196468 140735865948480 139785045028288 139785570412460 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 14913536 140735865951420 140735865951596 140735865951596 140735865954255 0
[pid=8250/tid=9039] ppid=8249 vsize=14005564 CPUtime=22.77 cores=0,2,4,6,8,10,12,14
/proc/8250/task/9039/stat : 9039 (java) R 8249 8249 7102 0 -1 4202560 388 0 0 0 2277 0 0 0 20 0 28 0 4313154 14341697536 697783 33554432000 4194304 4196468 140735865948480 139785048179048 139785575269688 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14913536 140735865951420 140735865951596 140735865951596 140735865954255 0
[pid=8250/tid=9040] ppid=8249 vsize=14005564 CPUtime=22.85 cores=0,2,4,6,8,10,12,14
/proc/8250/task/9040/stat : 9040 (java) R 8249 8249 7102 0 -1 4202560 1183 0 0 0 2284 1 0 0 20 0 28 0 4313154 14341697536 697783 33554432000 4194304 4196468 140735865948480 139785041870392 139785578850113 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 14913536 140735865951420 140735865951596 140735865951596 140735865954255 0
[pid=8250/tid=9041] ppid=8249 vsize=14005564 CPUtime=22.51 cores=0,2,4,6,8,10,12,14
/proc/8250/task/9041/stat : 9041 (java) R 8249 8249 7102 0 -1 4202560 2413 0 0 0 2245 6 0 0 20 0 28 0 4313154 14341697536 697783 33554432000 4194304 4196468 140735865948480 139785040817928 139785574589968 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 14913536 140735865951420 140735865951596 140735865951596 140735865954255 0
[pid=8250/tid=9042] ppid=8249 vsize=14005564 CPUtime=22.9 cores=0,2,4,6,8,10,12,14
/proc/8250/task/9042/stat : 9042 (java) R 8249 8249 7102 0 -1 4202560 704 0 0 0 2290 0 0 0 20 0 28 0 4313154 14341697536 697783 33554432000 4194304 4196468 140735865948480 139785050283656 139785575935619 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 14913536 140735865951420 140735865951596 140735865951596 140735865954255 0
[pid=8250/tid=9043] ppid=8249 vsize=14005564 CPUtime=22.93 cores=0,2,4,6,8,10,12,14
/proc/8250/task/9043/stat : 9043 (java) R 8249 8249 7102 0 -1 4202560 163 0 0 0 2293 0 0 0 20 0 28 0 4313154 14341697536 697783 33554432000 4194304 4196468 140735865948480 139785043976168 139785571395008 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14913536 140735865951420 140735865951596 140735865951596 140735865954255 0
[pid=8250/tid=9044] ppid=8249 vsize=14005564 CPUtime=22.89 cores=0,2,4,6,8,10,12,14
/proc/8250/task/9044/stat : 9044 (java) R 8249 8249 7102 0 -1 4202560 923 0 0 0 2288 1 0 0 20 0 28 0 4313154 14341697536 697783 33554432000 4194304 4196468 140735865948480 139785049231720 139785578850054 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 14913536 140735865951420 140735865951596 140735865951596 140735865954255 0
[pid=8250/tid=9045] ppid=8249 vsize=14005564 CPUtime=22.9 cores=0,2,4,6,8,10,12,14
/proc/8250/task/9045/stat : 9045 (java) R 8249 8249 7102 0 -1 4202560 600 0 0 0 2290 0 0 0 20 0 28 0 4313154 14341697536 697783 33554432000 4194304 4196468 140735865948480 139785042923432 139785569923841 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 14913536 140735865951420 140735865951596 140735865951596 140735865954255 0
Current children cumulated CPU time (s) 2400.78
Current children cumulated vsize (KiB) 14015076
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 8250 sig 9
??? kill 8249 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 8249 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=2044
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=1022
# CPU time returned by wait4() is 0.003066
# while last known CPU time is 2400.78
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 305.212
CPU time (s): 2400.78
CPU user time (s): 2398.76
CPU system time (s): 2.02
CPU usage (%): 786.594
Max. virtual memory (cumulated for all children) (KiB): 14017144
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.002044
system time used= 0.001022
maximum resident set size= 1388
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 518
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3
involuntary context switches= 2
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.56716 second user time and 4.30087 second system time
The end