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-4245763-1500686237/watcher-4245763-1500686237 -o /tmp/evaluation-result-4245763-1500686237/solver-4245763-1500686237 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node114-1500682387-16504 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 2037439356 HOME/instance-4245763-1500686237.xml
pid=29289
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: 15.68 15.89 15.04 11/271 29292
/proc/meminfo: memFree=30909840/32770624 swapFree=5736/226104
[pid=29292] ppid=29289 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29292/stat : 29292 (xcsp3-exec) S 29289 29292 16473 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3892839 9740288 346 33554432000 4194304 5098028 140730544959392 140730544957496 140605529895548 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 10551296 140730544964750 140730544964960 140730544964960 140730544967659 0
/proc/29292/statm: 2378 346 289 221 0 87 0
[startup+0.100164 s]
/proc/loadavg: 15.68 15.89 15.04 11/271 29292
/proc/meminfo: memFree=30909840/32770624 swapFree=5736/226104
[pid=29292] ppid=29289 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29292/stat : 29292 (xcsp3-exec) S 29289 29292 16473 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3892839 9740288 346 33554432000 4194304 5098028 140730544959392 140730544957496 140605529895548 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 10551296 140730544964750 140730544964960 140730544964960 140730544967659 0
/proc/29292/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200345 s]
/proc/loadavg: 15.68 15.89 15.04 11/271 29292
/proc/meminfo: memFree=30909840/32770624 swapFree=5736/226104
[pid=29292] ppid=29289 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29292/stat : 29292 (xcsp3-exec) S 29289 29292 16473 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3892839 9740288 346 33554432000 4194304 5098028 140730544959392 140730544957496 140605529895548 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 10551296 140730544964750 140730544964960 140730544964960 140730544967659 0
/proc/29292/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300251 s]
/proc/loadavg: 15.68 15.89 15.04 11/271 29292
/proc/meminfo: memFree=30909840/32770624 swapFree=5736/226104
[pid=29292] ppid=29289 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29292/stat : 29292 (xcsp3-exec) S 29289 29292 16473 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3892839 9740288 346 33554432000 4194304 5098028 140730544959392 140730544957496 140605529895548 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 10551296 140730544964750 140730544964960 140730544964960 140730544967659 0
/proc/29292/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.700283 s]
/proc/loadavg: 15.68 15.89 15.04 11/271 29292
/proc/meminfo: memFree=30909840/32770624 swapFree=5736/226104
[pid=29292] ppid=29289 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29292/stat : 29292 (xcsp3-exec) S 29289 29292 16473 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3892839 9740288 346 33554432000 4194304 5098028 140730544959392 140730544957496 140605529895548 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 10551296 140730544964750 140730544964960 140730544964960 140730544967659 0
/proc/29292/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.5008 s]
/proc/loadavg: 15.68 15.89 15.04 10/292 29313
/proc/meminfo: memFree=30794656/32770624 swapFree=5736/226164
[pid=29292] ppid=29289 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29292/stat : 29292 (xcsp3-exec) S 29289 29292 16473 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3892839 9740288 346 33554432000 4194304 5098028 140730544959392 140730544957496 140605529895548 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 10551296 140730544964750 140730544964960 140730544964960 140730544967659 0
/proc/29292/statm: 2378 346 289 221 0 87 0
[pid=29293] ppid=29292 vsize=13269256 CPUtime=3.49 cores=0,2,4,6,8,10,12,14
/proc/29293/stat : 29293 (java) S 29292 29292 16473 0 -1 1077944320 17768 0 0 0 302 47 0 0 20 0 20 0 3892840 13587718144 62869 33554432000 4194304 4196468 140721479602112 140721479584656 139960889089783 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 35803136 140721479603388 140721479603564 140721479603564 140721479606223 0
/proc/29293/statm: 3317314 62869 3215 1 0 3304547 0
[pid=29293/tid=29294] ppid=29292 vsize=13269256 CPUtime=1.4 cores=0,2,4,6,8,10,12,14
/proc/29293/task/29294/stat : 29294 (java) S 29292 29292 16473 0 -1 1077944384 7287 0 0 0 136 4 0 0 20 0 20 0 3892840 13587718144 62869 33554432000 4194304 4196468 140721479602112 139960893327616 139960889099989 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35803136 140721479603388 140721479603564 140721479603564 140721479606223 0
[pid=29293/tid=29296] ppid=29292 vsize=13269256 CPUtime=0.07 cores=0,2,4,6,8,10,12,14
/proc/29293/task/29296/stat : 29296 (java) R 29292 29292 16473 0 -1 4202560 96 0 0 0 2 5 0 0 20 0 20 0 3892841 13587718144 62869 33554432000 4194304 4196468 140721479602112 139960841709984 139960882186484 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35803136 140721479603388 140721479603564 140721479603564 140721479606223 0
[pid=29293/tid=29297] ppid=29292 vsize=13269256 CPUtime=0.07 cores=0,2,4,6,8,10,12,14
/proc/29293/task/29297/stat : 29297 (java) R 29292 29292 16473 0 -1 4202560 35 0 0 0 2 5 0 0 20 0 20 0 3892841 13587718144 62869 33554432000 4194304 4196468 140721479602112 139960840657752 139960882189483 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 35803136 140721479603388 140721479603564 140721479603564 140721479606223 0
[pid=29293/tid=29298] ppid=29292 vsize=13269256 CPUtime=0.06 cores=0,2,4,6,8,10,12,14
/proc/29293/task/29298/stat : 29298 (java) R 29292 29292 16473 0 -1 4202560 53 0 0 0 2 4 0 0 20 0 20 0 3892841 13587718144 62869 33554432000 4194304 4196468 140721479602112 139960839604696 139960882186500 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35803136 140721479603388 140721479603564 140721479603564 140721479606223 0
[pid=29293/tid=29299] ppid=29292 vsize=13269256 CPUtime=0.06 cores=0,2,4,6,8,10,12,14
/proc/29293/task/29299/stat : 29299 (java) R 29292 29292 16473 0 -1 4202560 50 0 0 0 2 4 0 0 20 0 20 0 3892841 13587718144 62869 33554432000 4194304 4196468 140721479602112 139960838552152 139960882186484 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 35803136 140721479603388 140721479603564 140721479603564 140721479606223 0
[pid=29293/tid=29300] ppid=29292 vsize=13269256 CPUtime=0.06 cores=0,2,4,6,8,10,12,14
/proc/29293/task/29300/stat : 29300 (java) R 29292 29292 16473 0 -1 4202560 36 0 0 0 2 4 0 0 20 0 20 0 3892841 13587718144 62869 33554432000 4194304 4196468 140721479602112 139960484559840 139960882189483 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 35803136 140721479603388 140721479603564 140721479603564 140721479606223 0
[pid=29293/tid=29301] ppid=29292 vsize=13269256 CPUtime=0.07 cores=0,2,4,6,8,10,12,14
/proc/29293/task/29301/stat : 29301 (java) R 29292 29292 16473 0 -1 4202560 48 0 0 0 2 5 0 0 20 0 20 0 3892841 13587718144 62869 33554432000 4194304 4196468 140721479602112 139960483507608 139960882189483 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 35803136 140721479603388 140721479603564 140721479603564 140721479606223 0
[pid=29293/tid=29302] ppid=29292 vsize=13269256 CPUtime=0.06 cores=0,2,4,6,8,10,12,14
/proc/29293/task/29302/stat : 29302 (java) R 29292 29292 16473 0 -1 4202560 49 0 0 0 2 4 0 0 20 0 20 0 3892841 13587718144 62869 33554432000 4194304 4196468 140721479602112 139960482452088 139960882189483 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35803136 140721479603388 140721479603564 140721479603564 140721479606223 0
[pid=29293/tid=29303] ppid=29292 vsize=13269256 CPUtime=0.05 cores=0,2,4,6,8,10,12,14
/proc/29293/task/29303/stat : 29303 (java) R 29292 29292 16473 0 -1 4202560 41 0 0 0 1 4 0 0 20 0 20 0 3892841 13587718144 62869 33554432000 4194304 4196468 140721479602112 139960481401944 139960882186484 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 35803136 140721479603388 140721479603564 140721479603564 140721479606223 0
[pid=29293/tid=29304] ppid=29292 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29293/task/29304/stat : 29304 (java) S 29292 29292 16473 0 -1 1077944384 30 0 0 0 0 0 0 0 20 0 20 0 3892843 13587718144 62869 33554432000 4194304 4196468 140721479602112 139959553930016 139960889099989 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35803136 140721479603388 140721479603564 140721479603564 140721479606223 0
[pid=29293/tid=29305] ppid=29292 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29293/task/29305/stat : 29305 (java) S 29292 29292 16473 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 3892844 13587718144 62869 33554432000 4194304 4196468 140721479602112 139959552877728 139960889099989 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 35803136 140721479603388 140721479603564 140721479603564 140721479606223 0
[pid=29293/tid=29306] ppid=29292 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29293/task/29306/stat : 29306 (java) S 29292 29292 16473 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 3892844 13587718144 62869 33554432000 4194304 4196468 140721479602112 139959551824624 139960889099989 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 35803136 140721479603388 140721479603564 140721479603564 140721479606223 0
[pid=29293/tid=29307] ppid=29292 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29293/task/29307/stat : 29307 (java) S 29292 29292 16473 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3892848 13587718144 62869 33554432000 4194304 4196468 140721479602112 139959550773200 139960889108379 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 35803136 140721479603388 140721479603564 140721479603564 140721479606223 0
[pid=29293/tid=29308] ppid=29292 vsize=13269256 CPUtime=0.33 cores=0,2,4,6,8,10,12,14
/proc/29293/task/29308/stat : 29308 (java) S 29292 29292 16473 0 -1 1077944384 2572 0 0 0 32 1 0 0 20 0 20 0 3892848 13587718144 62869 33554432000 4194304 4196468 140721479602112 139959549721328 139960889100930 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 35803136 140721479603388 140721479603564 140721479603564 140721479606223 0
[pid=29293/tid=29309] ppid=29292 vsize=13269256 CPUtime=0.35 cores=0,2,4,6,8,10,12,14
/proc/29293/task/29309/stat : 29309 (java) S 29292 29292 16473 0 -1 1077944384 1797 0 0 0 35 0 0 0 20 0 20 0 3892848 13587718144 62869 33554432000 4194304 4196468 140721479602112 139959548653680 139960889099989 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35803136 140721479603388 140721479603564 140721479603564 140721479606223 0
[pid=29293/tid=29310] ppid=29292 vsize=13269256 CPUtime=0.34 cores=0,2,4,6,8,10,12,14
/proc/29293/task/29310/stat : 29310 (java) S 29292 29292 16473 0 -1 1077944384 1888 0 0 0 34 0 0 0 20 0 20 0 3892848 13587718144 62869 33554432000 4194304 4196468 140721479602112 139959547615728 139960889100930 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35803136 140721479603388 140721479603564 140721479603564 140721479606223 0
[pid=29293/tid=29311] ppid=29292 vsize=13269256 CPUtime=0.46 cores=0,2,4,6,8,10,12,14
/proc/29293/task/29311/stat : 29311 (java) S 29292 29292 16473 0 -1 1077944384 2495 0 0 0 46 0 0 0 20 0 20 0 3892848 13587718144 63381 33554432000 4194304 4196468 140721479602112 139959546563184 139960889100930 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 35803136 140721479603388 140721479603564 140721479603564 140721479606223 0
[pid=29293/tid=29312] ppid=29292 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29293/task/29312/stat : 29312 (java) S 29292 29292 16473 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3892849 13587718144 63381 33554432000 4194304 4196468 140721479602112 139959545510368 139960889099989 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 35803136 140721479603388 140721479603564 140721479603564 140721479606223 0
[pid=29293/tid=29313] ppid=29292 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29293/task/29313/stat : 29313 (java) S 29292 29292 16473 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3892849 13587718144 63381 33554432000 4194304 4196468 140721479602112 139959544457904 139960889100930 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 35803136 140721479603388 140721479603564 140721479603564 140721479606223 0
Current children cumulated CPU time (s) 3.49
Current children cumulated vsize (KiB) 13278768
[startup+3.10087 s]
/proc/loadavg: 15.68 15.89 15.04 12/292 29313
/proc/meminfo: memFree=30651308/32770624 swapFree=5736/226132
[pid=29292] ppid=29289 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29292/stat : 29292 (xcsp3-exec) S 29289 29292 16473 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3892839 9740288 346 33554432000 4194304 5098028 140730544959392 140730544957496 140605529895548 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 10551296 140730544964750 140730544964960 140730544964960 140730544967659 0
/proc/29292/statm: 2378 346 289 221 0 87 0
[pid=29293] ppid=29292 vsize=13269256 CPUtime=6.63 cores=0,2,4,6,8,10,12,14
/proc/29293/stat : 29293 (java) S 29292 29292 16473 0 -1 1077944320 21565 0 0 0 543 120 0 0 20 0 20 0 3892840 13587718144 96570 33554432000 4194304 4196468 140721479602112 140721479584656 139960889089783 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 35803136 140721479603388 140721479603564 140721479603564 140721479606223 0
/proc/29293/statm: 3317314 96570 3257 1 0 3304547 0
[pid=29293/tid=29294] ppid=29292 vsize=13269256 CPUtime=2.74 cores=0,2,4,6,8,10,12,14
/proc/29293/task/29294/stat : 29294 (java) R 29292 29292 16473 0 -1 4202560 8922 0 0 0 270 4 0 0 20 0 20 0 3892840 13587718144 96570 33554432000 4194304 4196468 140721479602112 139960893324568 139960522507494 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35803136 140721479603388 140721479603564 140721479603564 140721479606223 0
[pid=29293/tid=29296] ppid=29292 vsize=13269256 CPUtime=0.21 cores=0,2,4,6,8,10,12,14
/proc/29293/task/29296/stat : 29296 (java) S 29292 29292 16473 0 -1 1077944384 179 0 0 0 7 14 0 0 20 0 20 0 3892841 13587718144 96570 33554432000 4194304 4196468 140721479602112 139960841710096 139960889099989 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35803136 140721479603388 140721479603564 140721479603564 140721479606223 0
[pid=29293/tid=29297] ppid=29292 vsize=13269256 CPUtime=0.2 cores=0,2,4,6,8,10,12,14
/proc/29293/task/29297/stat : 29297 (java) S 29292 29292 16473 0 -1 1077944384 220 0 0 0 6 14 0 0 20 0 20 0 3892841 13587718144 96570 33554432000 4194304 4196468 140721479602112 139960840657552 139960889099989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35803136 140721479603388 140721479603564 140721479603564 140721479606223 0
[pid=29293/tid=29298] ppid=29292 vsize=13269256 CPUtime=0.21 cores=0,2,4,6,8,10,12,14
/proc/29293/task/29298/stat : 29298 (java) S 29292 29292 16473 0 -1 1077944384 141 0 0 0 8 13 0 0 20 0 20 0 3892841 13587718144 96570 33554432000 4194304 4196468 140721479602112 139960839604496 139960889099989 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35803136 140721479603388 140721479603564 140721479603564 140721479606223 0
[pid=29293/tid=29299] ppid=29292 vsize=13269256 CPUtime=0.19 cores=0,2,4,6,8,10,12,14
/proc/29293/task/29299/stat : 29299 (java) S 29292 29292 16473 0 -1 1077944384 195 0 0 0 7 12 0 0 20 0 20 0 3892841 13587718144 96570 33554432000 4194304 4196468 140721479602112 139960838551952 139960889099989 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 35803136 140721479603388 140721479603564 140721479603564 140721479606223 0
[pid=29293/tid=29300] ppid=29292 vsize=13269256 CPUtime=0.19 cores=0,2,4,6,8,10,12,14
/proc/29293/task/29300/stat : 29300 (java) S 29292 29292 16473 0 -1 1077944384 135 0 0 0 7 12 0 0 20 0 20 0 3892841 13587718144 96570 33554432000 4194304 4196468 140721479602112 139960484559888 139960889099989 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35803136 140721479603388 140721479603564 140721479603564 140721479606223 0
[pid=29293/tid=29301] ppid=29292 vsize=13269256 CPUtime=0.21 cores=0,2,4,6,8,10,12,14
/proc/29293/task/29301/stat : 29301 (java) S 29292 29292 16473 0 -1 1077944384 133 0 0 0 7 14 0 0 20 0 20 0 3892841 13587718144 96570 33554432000 4194304 4196468 140721479602112 139960483507344 139960889099989 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 35803136 140721479603388 140721479603564 140721479603564 140721479606223 0
[pid=29293/tid=29302] ppid=29292 vsize=13269256 CPUtime=0.21 cores=0,2,4,6,8,10,12,14
/proc/29293/task/29302/stat : 29302 (java) S 29292 29292 16473 0 -1 1077944384 155 0 0 0 7 14 0 0 20 0 20 0 3892841 13587718144 96570 33554432000 4194304 4196468 140721479602112 139960482454288 139960889099989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35803136 140721479603388 140721479603564 140721479603564 140721479606223 0
[pid=29293/tid=29303] ppid=29292 vsize=13269256 CPUtime=0.19 cores=0,2,4,6,8,10,12,14
/proc/29293/task/29303/stat : 29303 (java) S 29292 29292 16473 0 -1 1077944384 170 0 0 0 6 13 0 0 20 0 20 0 3892841 13587718144 96570 33554432000 4194304 4196468 140721479602112 139960481401744 139960889099989 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 35803136 140721479603388 140721479603564 140721479603564 140721479606223 0
[pid=29293/tid=29304] ppid=29292 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29293/task/29304/stat : 29304 (java) S 29292 29292 16473 0 -1 1077944384 234 0 0 0 0 0 0 0 20 0 20 0 3892843 13587718144 96570 33554432000 4194304 4196468 140721479602112 139959553931504 139960889100930 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 10 0 0 6293624 6294260 35803136 140721479603388 140721479603564 140721479603564 140721479606223 0
[pid=29293/tid=29305] ppid=29292 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29293/task/29305/stat : 29305 (java) S 29292 29292 16473 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 20 0 3892844 13587718144 96570 33554432000 4194304 4196468 140721479602112 139959552877792 139960889099989 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 35803136 140721479603388 140721479603564 140721479603564 140721479606223 0
[pid=29293/tid=29306] ppid=29292 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29293/task/29306/stat : 29306 (java) S 29292 29292 16473 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 20 0 3892844 13587718144 96570 33554432000 4194304 4196468 140721479602112 139959551824640 139960889099989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35803136 140721479603388 140721479603564 140721479603564 140721479606223 0
[pid=29293/tid=29307] ppid=29292 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29293/task/29307/stat : 29307 (java) S 29292 29292 16473 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3892848 13587718144 96570 33554432000 4194304 4196468 140721479602112 139959550773200 139960889108379 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 35803136 140721479603388 140721479603564 140721479603564 140721479606223 0
[pid=29293/tid=29308] ppid=29292 vsize=13269256 CPUtime=0.54 cores=0,2,4,6,8,10,12,14
/proc/29293/task/29308/stat : 29308 (java) R 29292 29292 16473 0 -1 4202560 2743 0 0 0 53 1 0 0 20 0 20 0 3892848 13587718144 96570 33554432000 4194304 4196468 140721479602112 139959549721624 139960868346609 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35803136 140721479603388 140721479603564 140721479603564 140721479606223 0
[pid=29293/tid=29309] ppid=29292 vsize=13269256 CPUtime=0.49 cores=0,2,4,6,8,10,12,14
/proc/29293/task/29309/stat : 29309 (java) S 29292 29292 16473 0 -1 1077944384 1982 0 0 0 49 0 0 0 20 0 20 0 3892848 13587718144 96570 33554432000 4194304 4196468 140721479602112 139959548668784 139960889100930 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35803136 140721479603388 140721479603564 140721479603564 140721479606223 0
[pid=29293/tid=29310] ppid=29292 vsize=13269256 CPUtime=0.61 cores=0,2,4,6,8,10,12,14
/proc/29293/task/29310/stat : 29310 (java) S 29292 29292 16473 0 -1 1077944384 2314 0 0 0 60 1 0 0 20 0 20 0 3892848 13587718144 96570 33554432000 4194304 4196468 140721479602112 139959547615728 139960889100930 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35803136 140721479603388 140721479603564 140721479603564 140721479606223 0
[pid=29293/tid=29311] ppid=29292 vsize=13269256 CPUtime=0.5 cores=0,2,4,6,8,10,12,14
/proc/29293/task/29311/stat : 29311 (java) S 29292 29292 16473 0 -1 1077944384 2687 0 0 0 50 0 0 0 20 0 20 0 3892848 13587718144 96570 33554432000 4194304 4196468 140721479602112 139959546563184 139960889100930 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 35803136 140721479603388 140721479603564 140721479603564 140721479606223 0
[pid=29293/tid=29312] ppid=29292 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29293/task/29312/stat : 29312 (java) S 29292 29292 16473 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3892849 13587718144 96570 33554432000 4194304 4196468 140721479602112 139959545510368 139960889099989 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 35803136 140721479603388 140721479603564 140721479603564 140721479606223 0
[pid=29293/tid=29313] ppid=29292 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29293/task/29313/stat : 29313 (java) S 29292 29292 16473 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 3892849 13587718144 96570 33554432000 4194304 4196468 140721479602112 139959544457904 139960889100930 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 15 0 0 6293624 6294260 35803136 140721479603388 140721479603564 140721479603564 140721479606223 0
Current children cumulated CPU time (s) 6.63
Current children cumulated vsize (KiB) 13278768
[startup+6.30118 s]
/proc/loadavg: 15.55 15.86 15.04 20/300 29321
/proc/meminfo: memFree=30178416/32770624 swapFree=5736/226144
[pid=29292] ppid=29289 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29292/stat : 29292 (xcsp3-exec) S 29289 29292 16473 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3892839 9740288 346 33554432000 4194304 5098028 140730544959392 140730544957496 140605529895548 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 10551296 140730544964750 140730544964960 140730544964960 140730544967659 0
/proc/29292/statm: 2378 346 289 221 0 87 0
[pid=29293] ppid=29292 vsize=13868332 CPUtime=21.35 cores=0,2,4,6,8,10,12,14
/proc/29293/stat : 29293 (java) S 29292 29292 16473 0 -1 1077944320 34308 0 0 0 1887 248 0 0 20 0 28 0 3892840 14201171968 191395 33554432000 4194304 4196468 140721479602112 140721479584656 139960889089783 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 35803136 140721479603388 140721479603564 140721479603564 140721479606223 0
/proc/29293/statm: 3467083 191395 3287 1 0 3454316 0
[pid=29293/tid=29294] ppid=29292 vsize=13868332 CPUtime=4.2 cores=0,2,4,6,8,10,12,14
/proc/29293/task/29294/stat : 29294 (java) S 29292 29292 16473 0 -1 1077944384 9219 0 0 0 414 6 0 0 20 0 28 0 3892840 14201171968 191395 33554432000 4194304 4196468 140721479602112 139960893330560 139960889099989 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 35803136 140721479603388 140721479603564 140721479603564 140721479606223 0
[pid=29293/tid=29296] ppid=29292 vsize=13868332 CPUtime=0.85 cores=0,2,4,6,8,10,12,14
/proc/29293/task/29296/stat : 29296 (java) S 29292 29292 16473 0 -1 1077944384 456 0 0 0 56 29 0 0 20 0 28 0 3892841 14201171968 191395 33554432000 4194304 4196468 140721479602112 139960841710096 139960889099989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35803136 140721479603388 140721479603564 140721479603564 140721479606223 0
[pid=29293/tid=29297] ppid=29292 vsize=13868332 CPUtime=0.85 cores=0,2,4,6,8,10,12,14
/proc/29293/task/29297/stat : 29297 (java) S 29292 29292 16473 0 -1 1077944384 575 0 0 0 56 29 0 0 20 0 28 0 3892841 14201171968 191395 33554432000 4194304 4196468 140721479602112 139960840657552 139960889099989 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35803136 140721479603388 140721479603564 140721479603564 140721479606223 0
[pid=29293/tid=29298] ppid=29292 vsize=13868332 CPUtime=0.85 cores=0,2,4,6,8,10,12,14
/proc/29293/task/29298/stat : 29298 (java) S 29292 29292 16473 0 -1 1077944384 424 0 0 0 57 28 0 0 20 0 28 0 3892841 14201171968 191395 33554432000 4194304 4196468 140721479602112 139960839604496 139960889099989 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 35803136 140721479603388 140721479603564 140721479603564 140721479606223 0
[pid=29293/tid=29299] ppid=29292 vsize=13868332 CPUtime=0.82 cores=0,2,4,6,8,10,12,14
/proc/29293/task/29299/stat : 29299 (java) S 29292 29292 16473 0 -1 1077944384 519 0 0 0 54 28 0 0 20 0 28 0 3892841 14201171968 191395 33554432000 4194304 4196468 140721479602112 139960838551952 139960889099989 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 35803136 140721479603388 140721479603564 140721479603564 140721479606223 0
[pid=29293/tid=29300] ppid=29292 vsize=13868332 CPUtime=0.83 cores=0,2,4,6,8,10,12,14
/proc/29293/task/29300/stat : 29300 (java) S 29292 29292 16473 0 -1 1077944384 548 0 0 0 56 27 0 0 20 0 28 0 3892841 14201171968 191395 33554432000 4194304 4196468 140721479602112 139960484559888 139960889099989 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 35803136 140721479603388 140721479603564 140721479603564 140721479606223 0
[pid=29293/tid=29301] ppid=29292 vsize=13868332 CPUtime=0.84 cores=0,2,4,6,8,10,12,14
/proc/29293/task/29301/stat : 29301 (java) S 29292 29292 16473 0 -1 1077944384 559 0 0 0 55 29 0 0 20 0 28 0 3892841 14201171968 191395 33554432000 4194304 4196468 140721479602112 139960483507344 139960889099989 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35803136 140721479603388 140721479603564 140721479603564 140721479606223 0
[pid=29293/tid=29302] ppid=29292 vsize=13868332 CPUtime=0.85 cores=0,2,4,6,8,10,12,14
/proc/29293/task/29302/stat : 29302 (java) S 29292 29292 16473 0 -1 1077944384 418 0 0 0 56 29 0 0 20 0 28 0 3892841 14201171968 191395 33554432000 4194304 4196468 140721479602112 139960482454288 139960889099989 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 35803136 140721479603388 140721479603564 140721479603564 140721479606223 0
[pid=29293/tid=29303] ppid=29292 vsize=13868332 CPUtime=0.84 cores=0,2,4,6,8,10,12,14
/proc/29293/task/29303/stat : 29303 (java) S 29292 29292 16473 0 -1 1077944384 493 0 0 0 56 28 0 0 20 0 28 0 3892841 14201171968 191395 33554432000 4194304 4196468 140721479602112 139960481401744 139960889099989 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 35803136 140721479603388 140721479603564 140721479603564 140721479606223 0
[pid=29293/tid=29304] ppid=29292 vsize=13868332 CPUtime=0.03 cores=0,2,4,6,8,10,12,14
/proc/29293/task/29304/stat : 29304 (java) S 29292 29292 16473 0 -1 1077944384 1527 0 0 0 3 0 0 0 20 0 28 0 3892843 14201171968 191395 33554432000 4194304 4196468 140721479602112 139959553931504 139960889100930 0 0 0 16800975 18446744071579849748 0 0 -1 8 0 0 10 0 0 6293624 6294260 35803136 140721479603388 140721479603564 140721479603564 140721479606223 0
[pid=29293/tid=29305] ppid=29292 vsize=13868332 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29293/task/29305/stat : 29305 (java) S 29292 29292 16473 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 28 0 3892844 14201171968 191395 33554432000 4194304 4196468 140721479602112 139959552877792 139960889099989 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 35803136 140721479603388 140721479603564 140721479603564 140721479606223 0
[pid=29293/tid=29306] ppid=29292 vsize=13868332 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29293/task/29306/stat : 29306 (java) S 29292 29292 16473 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 28 0 3892844 14201171968 191395 33554432000 4194304 4196468 140721479602112 139959551824640 139960889099989 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 35803136 140721479603388 140721479603564 140721479603564 140721479606223 0
[pid=29293/tid=29307] ppid=29292 vsize=13868332 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29293/task/29307/stat : 29307 (java) S 29292 29292 16473 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3892848 14201171968 191395 33554432000 4194304 4196468 140721479602112 139959550773200 139960889108379 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 35803136 140721479603388 140721479603564 140721479603564 140721479606223 0
################
# More data... #
################
[pid=29293/tid=29641] ppid=29292 vsize=13869360 CPUtime=115.7 cores=0,2,4,6,8,10,12,14
/proc/29293/task/29641/stat : 29641 (java) R 29292 29292 16473 0 -1 4202560 1782 0 0 0 11570 0 0 0 20 0 28 0 3915342 14202224640 544188 33554432000 4194304 4196468 140721479602112 139959535390680 139960526511210 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 35803136 140721479603388 140721479603564 140721479603564 140721479606223 0
[pid=29293/tid=29642] ppid=29292 vsize=13869360 CPUtime=114.82 cores=0,2,4,6,8,10,12,14
/proc/29293/task/29642/stat : 29642 (java) R 29292 29292 16473 0 -1 4202560 1444 0 0 0 11482 0 0 0 20 0 28 0 3915342 14202224640 544188 33554432000 4194304 4196468 140721479602112 139959529074456 139960524843001 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 35803136 140721479603388 140721479603564 140721479603564 140721479606223 0
Current children cumulated CPU time (s) 2143.29
Current children cumulated vsize (KiB) 13878872
[startup+402.301 s]
/proc/loadavg: 11.34 11.91 13.36 10/301 29740
/proc/meminfo: memFree=29092756/32770624 swapFree=5736/226696
[pid=29292] ppid=29289 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29292/stat : 29292 (xcsp3-exec) S 29289 29292 16473 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3892839 9740288 346 33554432000 4194304 5098028 140730544959392 140730544957496 140605529895548 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 10551296 140730544964750 140730544964960 140730544964960 140730544967659 0
/proc/29292/statm: 2378 346 289 221 0 87 0
[pid=29293] ppid=29292 vsize=13869360 CPUtime=2351.54 cores=0,2,4,6,8,10,12,14
/proc/29293/stat : 29293 (java) S 29292 29292 16473 0 -1 1077944320 247038 0 0 0 234715 439 0 0 20 0 28 0 3892840 14202224640 548304 33554432000 4194304 4196468 140721479602112 140721479584656 139960889089783 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 35803136 140721479603388 140721479603564 140721479603564 140721479606223 0
/proc/29293/statm: 3467340 548304 3305 1 0 3454573 0
[pid=29293/tid=29294] ppid=29292 vsize=13869360 CPUtime=4.23 cores=0,2,4,6,8,10,12,14
/proc/29293/task/29294/stat : 29294 (java) S 29292 29292 16473 0 -1 1077944384 11943 0 0 0 417 6 0 0 20 0 28 0 3892840 14202224640 548304 33554432000 4194304 4196468 140721479602112 139960893330560 139960889099989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35803136 140721479603388 140721479603564 140721479603564 140721479606223 0
[pid=29293/tid=29296] ppid=29292 vsize=13869360 CPUtime=2.96 cores=0,2,4,6,8,10,12,14
/proc/29293/task/29296/stat : 29296 (java) S 29292 29292 16473 0 -1 1077944384 3217 0 0 0 248 48 0 0 20 0 28 0 3892841 14202224640 548304 33554432000 4194304 4196468 140721479602112 139960841710096 139960889099989 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35803136 140721479603388 140721479603564 140721479603564 140721479606223 0
[pid=29293/tid=29297] ppid=29292 vsize=13869360 CPUtime=2.89 cores=0,2,4,6,8,10,12,14
/proc/29293/task/29297/stat : 29297 (java) S 29292 29292 16473 0 -1 1077944384 3588 0 0 0 245 44 0 0 20 0 28 0 3892841 14202224640 548304 33554432000 4194304 4196468 140721479602112 139960840657552 139960889099989 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 35803136 140721479603388 140721479603564 140721479603564 140721479606223 0
[pid=29293/tid=29298] ppid=29292 vsize=13869360 CPUtime=2.88 cores=0,2,4,6,8,10,12,14
/proc/29293/task/29298/stat : 29298 (java) S 29292 29292 16473 0 -1 1077944384 2397 0 0 0 246 42 0 0 20 0 28 0 3892841 14202224640 548304 33554432000 4194304 4196468 140721479602112 139960839604496 139960889099989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35803136 140721479603388 140721479603564 140721479603564 140721479606223 0
[pid=29293/tid=29299] ppid=29292 vsize=13869360 CPUtime=2.93 cores=0,2,4,6,8,10,12,14
/proc/29293/task/29299/stat : 29299 (java) S 29292 29292 16473 0 -1 1077944384 2212 0 0 0 249 44 0 0 20 0 28 0 3892841 14202224640 548304 33554432000 4194304 4196468 140721479602112 139960838551952 139960889099989 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35803136 140721479603388 140721479603564 140721479603564 140721479606223 0
[pid=29293/tid=29300] ppid=29292 vsize=13869360 CPUtime=2.92 cores=0,2,4,6,8,10,12,14
/proc/29293/task/29300/stat : 29300 (java) S 29292 29292 16473 0 -1 1077944384 4345 0 0 0 245 47 0 0 20 0 28 0 3892841 14202224640 548304 33554432000 4194304 4196468 140721479602112 139960484559888 139960889099989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35803136 140721479603388 140721479603564 140721479603564 140721479606223 0
[pid=29293/tid=29301] ppid=29292 vsize=13869360 CPUtime=2.9 cores=0,2,4,6,8,10,12,14
/proc/29293/task/29301/stat : 29301 (java) S 29292 29292 16473 0 -1 1077944384 4380 0 0 0 246 44 0 0 20 0 28 0 3892841 14202224640 548304 33554432000 4194304 4196468 140721479602112 139960483507344 139960889099989 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35803136 140721479603388 140721479603564 140721479603564 140721479606223 0
[pid=29293/tid=29302] ppid=29292 vsize=13869360 CPUtime=2.86 cores=0,2,4,6,8,10,12,14
/proc/29293/task/29302/stat : 29302 (java) S 29292 29292 16473 0 -1 1077944384 3640 0 0 0 245 41 0 0 20 0 28 0 3892841 14202224640 548304 33554432000 4194304 4196468 140721479602112 139960482454288 139960889099989 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 35803136 140721479603388 140721479603564 140721479603564 140721479606223 0
[pid=29293/tid=29303] ppid=29292 vsize=13869360 CPUtime=2.95 cores=0,2,4,6,8,10,12,14
/proc/29293/task/29303/stat : 29303 (java) S 29292 29292 16473 0 -1 1077944384 4013 0 0 0 250 45 0 0 20 0 28 0 3892841 14202224640 548304 33554432000 4194304 4196468 140721479602112 139960481401744 139960889099989 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 35803136 140721479603388 140721479603564 140721479603564 140721479606223 0
[pid=29293/tid=29304] ppid=29292 vsize=13869360 CPUtime=0.48 cores=0,2,4,6,8,10,12,14
/proc/29293/task/29304/stat : 29304 (java) S 29292 29292 16473 0 -1 1077944384 16087 0 0 0 32 16 0 0 20 0 28 0 3892843 14202224640 548304 33554432000 4194304 4196468 140721479602112 139959553931504 139960889100930 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 10 0 0 6293624 6294260 35803136 140721479603388 140721479603564 140721479603564 140721479606223 0
[pid=29293/tid=29305] ppid=29292 vsize=13869360 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29293/task/29305/stat : 29305 (java) S 29292 29292 16473 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 28 0 3892844 14202224640 548304 33554432000 4194304 4196468 140721479602112 139959552877792 139960889099989 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35803136 140721479603388 140721479603564 140721479603564 140721479606223 0
[pid=29293/tid=29306] ppid=29292 vsize=13869360 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29293/task/29306/stat : 29306 (java) S 29292 29292 16473 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 28 0 3892844 14202224640 548304 33554432000 4194304 4196468 140721479602112 139959551824640 139960889099989 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 35803136 140721479603388 140721479603564 140721479603564 140721479606223 0
[pid=29293/tid=29307] ppid=29292 vsize=13869360 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29293/task/29307/stat : 29307 (java) S 29292 29292 16473 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3892848 14202224640 548304 33554432000 4194304 4196468 140721479602112 139959550773200 139960889108379 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 35803136 140721479603388 140721479603564 140721479603564 140721479606223 0
[pid=29293/tid=29308] ppid=29292 vsize=13869360 CPUtime=4.4 cores=0,2,4,6,8,10,12,14
/proc/29293/task/29308/stat : 29308 (java) S 29292 29292 16473 0 -1 1077944384 25337 0 0 0 436 4 0 0 20 0 28 0 3892848 14202224640 548304 33554432000 4194304 4196468 140721479602112 139959549721328 139960889100930 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 35803136 140721479603388 140721479603564 140721479603564 140721479606223 0
[pid=29293/tid=29309] ppid=29292 vsize=13869360 CPUtime=4.74 cores=0,2,4,6,8,10,12,14
/proc/29293/task/29309/stat : 29309 (java) S 29292 29292 16473 0 -1 1077944384 24424 0 0 0 470 4 0 0 20 0 28 0 3892848 14202224640 548304 33554432000 4194304 4196468 140721479602112 139959548668784 139960889100930 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35803136 140721479603388 140721479603564 140721479603564 140721479606223 0
[pid=29293/tid=29310] ppid=29292 vsize=13869360 CPUtime=4.27 cores=0,2,4,6,8,10,12,14
/proc/29293/task/29310/stat : 29310 (java) S 29292 29292 16473 0 -1 1077944384 21592 0 0 0 424 3 0 0 20 0 28 0 3892848 14202224640 548304 33554432000 4194304 4196468 140721479602112 139959547615728 139960889100930 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35803136 140721479603388 140721479603564 140721479603564 140721479606223 0
[pid=29293/tid=29311] ppid=29292 vsize=13869360 CPUtime=1.29 cores=0,2,4,6,8,10,12,14
/proc/29293/task/29311/stat : 29311 (java) S 29292 29292 16473 0 -1 1077944384 19752 0 0 0 126 3 0 0 20 0 28 0 3892848 14202224640 548304 33554432000 4194304 4196468 140721479602112 139959546563184 139960889100930 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35803136 140721479603388 140721479603564 140721479603564 140721479606223 0
[pid=29293/tid=29312] ppid=29292 vsize=13869360 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29293/task/29312/stat : 29312 (java) S 29292 29292 16473 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3892849 14202224640 548304 33554432000 4194304 4196468 140721479602112 139959545510368 139960889099989 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 35803136 140721479603388 140721479603564 140721479603564 140721479606223 0
[pid=29293/tid=29313] ppid=29292 vsize=13869360 CPUtime=0.21 cores=0,2,4,6,8,10,12,14
/proc/29293/task/29313/stat : 29313 (java) S 29292 29292 16473 0 -1 1077944384 2585 0 0 0 11 10 0 0 20 0 28 0 3892849 14202224640 548304 33554432000 4194304 4196468 140721479602112 139959544457904 139960889100930 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 15 0 0 6293624 6294260 35803136 140721479603388 140721479603564 140721479603564 140721479606223 0
[pid=29293/tid=29635] ppid=29292 vsize=13869360 CPUtime=136.88 cores=0,2,4,6,8,10,12,14
/proc/29293/task/29635/stat : 29635 (java) S 29292 29292 16473 0 -1 1077944384 1560 0 0 0 13688 0 0 0 20 0 28 0 3915342 14202224640 548304 33554432000 4194304 4196468 140721479602112 139959530130832 139960889099989 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35803136 140721479603388 140721479603564 140721479603564 140721479606223 0
[pid=29293/tid=29636] ppid=29292 vsize=13869360 CPUtime=136.91 cores=0,2,4,6,8,10,12,14
/proc/29293/task/29636/stat : 29636 (java) S 29292 29292 16473 0 -1 1077944384 2271 0 0 0 13691 0 0 0 20 0 28 0 3915342 14202224640 548304 33554432000 4194304 4196468 140721479602112 139959526974320 139960889099989 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 35803136 140721479603388 140721479603564 140721479603564 140721479606223 0
[pid=29293/tid=29637] ppid=29292 vsize=13869360 CPUtime=175.06 cores=0,2,4,6,8,10,12,14
/proc/29293/task/29637/stat : 29637 (java) R 29292 29292 16473 0 -1 4202560 3635 0 0 0 17505 1 0 0 20 0 28 0 3915342 14202224640 548304 33554432000 4194304 4196468 140721479602112 139959536446192 139960528382173 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 35803136 140721479603388 140721479603564 140721479603564 140721479606223 0
[pid=29293/tid=29638] ppid=29292 vsize=13869360 CPUtime=136.18 cores=0,2,4,6,8,10,12,14
/proc/29293/task/29638/stat : 29638 (java) S 29292 29292 16473 0 -1 1077944384 3733 0 0 0 13617 1 0 0 20 0 28 0 3915342 14202224640 548304 33554432000 4194304 4196468 140721479602112 139959528027760 139960889099989 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35803136 140721479603388 140721479603564 140721479603564 140721479606223 0
[pid=29293/tid=29639] ppid=29292 vsize=13869360 CPUtime=136.53 cores=0,2,4,6,8,10,12,14
/proc/29293/task/29639/stat : 29639 (java) S 29292 29292 16473 0 -1 1077944384 768 0 0 0 13653 0 0 0 20 0 28 0 3915342 14202224640 548304 33554432000 4194304 4196468 140721479602112 139959532238064 139960889099989 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 35803136 140721479603388 140721479603564 140721479603564 140721479606223 0
[pid=29293/tid=29640] ppid=29292 vsize=13869360 CPUtime=136.28 cores=0,2,4,6,8,10,12,14
/proc/29293/task/29640/stat : 29640 (java) S 29292 29292 16473 0 -1 1077944384 747 0 0 0 13628 0 0 0 20 0 28 0 3915342 14202224640 548304 33554432000 4194304 4196468 140721479602112 139959531185520 139960889099989 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 35803136 140721479603388 140721479603564 140721479603564 140721479606223 0
[pid=29293/tid=29641] ppid=29292 vsize=13869360 CPUtime=136.98 cores=0,2,4,6,8,10,12,14
/proc/29293/task/29641/stat : 29641 (java) S 29292 29292 16473 0 -1 1077944384 1871 0 0 0 13698 0 0 0 20 0 28 0 3915342 14202224640 548304 33554432000 4194304 4196468 140721479602112 139959535395824 139960889099989 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35803136 140721479603388 140721479603564 140721479603564 140721479606223 0
[pid=29293/tid=29642] ppid=29292 vsize=13869360 CPUtime=135.91 cores=0,2,4,6,8,10,12,14
/proc/29293/task/29642/stat : 29642 (java) S 29292 29292 16473 0 -1 1077944384 1591 0 0 0 13591 0 0 0 20 0 28 0 3915342 14202224640 548304 33554432000 4194304 4196468 140721479602112 139959529079920 139960889099989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35803136 140721479603388 140721479603564 140721479603564 140721479606223 0
Current children cumulated CPU time (s) 2351.54
Current children cumulated vsize (KiB) 13878872
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+431.401 s]
/proc/loadavg: 10.90 11.73 13.25 17/301 29756
/proc/meminfo: memFree=28852340/32770624 swapFree=5736/226736
[pid=29292] ppid=29289 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29292/stat : 29292 (xcsp3-exec) S 29289 29292 16473 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3892839 9740288 346 33554432000 4194304 5098028 140730544959392 140730544957496 140605529895548 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 10551296 140730544964750 140730544964960 140730544964960 140730544967659 0
/proc/29292/statm: 2378 346 289 221 0 87 0
[pid=29293] ppid=29292 vsize=13869360 CPUtime=2400.29 cores=0,2,4,6,8,10,12,14
/proc/29293/stat : 29293 (java) S 29292 29292 16473 0 -1 1077944320 249939 0 0 0 239587 442 0 0 20 0 28 0 3892840 14202224640 549757 33554432000 4194304 4196468 140721479602112 140721479584656 139960889089783 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 35803136 140721479603388 140721479603564 140721479603564 140721479606223 0
/proc/29293/statm: 3467340 549757 3305 1 0 3454573 0
[pid=29293/tid=29294] ppid=29292 vsize=13869360 CPUtime=4.24 cores=0,2,4,6,8,10,12,14
/proc/29293/task/29294/stat : 29294 (java) S 29292 29292 16473 0 -1 1077944384 12407 0 0 0 417 7 0 0 20 0 28 0 3892840 14202224640 549757 33554432000 4194304 4196468 140721479602112 139960893330560 139960889099989 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35803136 140721479603388 140721479603564 140721479603564 140721479606223 0
[pid=29293/tid=29296] ppid=29292 vsize=13869360 CPUtime=2.97 cores=0,2,4,6,8,10,12,14
/proc/29293/task/29296/stat : 29296 (java) S 29292 29292 16473 0 -1 1077944384 3232 0 0 0 249 48 0 0 20 0 28 0 3892841 14202224640 549757 33554432000 4194304 4196468 140721479602112 139960841710096 139960889099989 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35803136 140721479603388 140721479603564 140721479603564 140721479606223 0
[pid=29293/tid=29297] ppid=29292 vsize=13869360 CPUtime=2.9 cores=0,2,4,6,8,10,12,14
/proc/29293/task/29297/stat : 29297 (java) S 29292 29292 16473 0 -1 1077944384 3776 0 0 0 246 44 0 0 20 0 28 0 3892841 14202224640 549757 33554432000 4194304 4196468 140721479602112 139960840657552 139960889099989 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 35803136 140721479603388 140721479603564 140721479603564 140721479606223 0
[pid=29293/tid=29298] ppid=29292 vsize=13869360 CPUtime=2.88 cores=0,2,4,6,8,10,12,14
/proc/29293/task/29298/stat : 29298 (java) S 29292 29292 16473 0 -1 1077944384 2399 0 0 0 246 42 0 0 20 0 28 0 3892841 14202224640 549757 33554432000 4194304 4196468 140721479602112 139960839604496 139960889099989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35803136 140721479603388 140721479603564 140721479603564 140721479606223 0
[pid=29293/tid=29299] ppid=29292 vsize=13869360 CPUtime=2.94 cores=0,2,4,6,8,10,12,14
/proc/29293/task/29299/stat : 29299 (java) S 29292 29292 16473 0 -1 1077944384 2234 0 0 0 249 45 0 0 20 0 28 0 3892841 14202224640 549757 33554432000 4194304 4196468 140721479602112 139960838551952 139960889099989 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 35803136 140721479603388 140721479603564 140721479603564 140721479606223 0
[pid=29293/tid=29300] ppid=29292 vsize=13869360 CPUtime=2.93 cores=0,2,4,6,8,10,12,14
/proc/29293/task/29300/stat : 29300 (java) S 29292 29292 16473 0 -1 1077944384 4354 0 0 0 246 47 0 0 20 0 28 0 3892841 14202224640 549757 33554432000 4194304 4196468 140721479602112 139960484559888 139960889099989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35803136 140721479603388 140721479603564 140721479603564 140721479606223 0
[pid=29293/tid=29301] ppid=29292 vsize=13869360 CPUtime=2.9 cores=0,2,4,6,8,10,12,14
/proc/29293/task/29301/stat : 29301 (java) S 29292 29292 16473 0 -1 1077944384 4381 0 0 0 246 44 0 0 20 0 28 0 3892841 14202224640 549757 33554432000 4194304 4196468 140721479602112 139960483507344 139960889099989 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35803136 140721479603388 140721479603564 140721479603564 140721479606223 0
[pid=29293/tid=29302] ppid=29292 vsize=13869360 CPUtime=2.87 cores=0,2,4,6,8,10,12,14
/proc/29293/task/29302/stat : 29302 (java) S 29292 29292 16473 0 -1 1077944384 3659 0 0 0 246 41 0 0 20 0 28 0 3892841 14202224640 549757 33554432000 4194304 4196468 140721479602112 139960482454288 139960889099989 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 35803136 140721479603388 140721479603564 140721479603564 140721479606223 0
[pid=29293/tid=29303] ppid=29292 vsize=13869360 CPUtime=2.96 cores=0,2,4,6,8,10,12,14
/proc/29293/task/29303/stat : 29303 (java) S 29292 29292 16473 0 -1 1077944384 4031 0 0 0 251 45 0 0 20 0 28 0 3892841 14202224640 549757 33554432000 4194304 4196468 140721479602112 139960481401744 139960889099989 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 35803136 140721479603388 140721479603564 140721479603564 140721479606223 0
[pid=29293/tid=29304] ppid=29292 vsize=13869360 CPUtime=0.48 cores=0,2,4,6,8,10,12,14
/proc/29293/task/29304/stat : 29304 (java) S 29292 29292 16473 0 -1 1077944384 16145 0 0 0 32 16 0 0 20 0 28 0 3892843 14202224640 549757 33554432000 4194304 4196468 140721479602112 139959553931504 139960889100930 0 0 0 16800975 18446744071579849748 0 0 -1 8 0 0 10 0 0 6293624 6294260 35803136 140721479603388 140721479603564 140721479603564 140721479606223 0
[pid=29293/tid=29305] ppid=29292 vsize=13869360 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29293/task/29305/stat : 29305 (java) S 29292 29292 16473 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 28 0 3892844 14202224640 549757 33554432000 4194304 4196468 140721479602112 139959552877792 139960889099989 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35803136 140721479603388 140721479603564 140721479603564 140721479606223 0
[pid=29293/tid=29306] ppid=29292 vsize=13869360 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29293/task/29306/stat : 29306 (java) S 29292 29292 16473 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 28 0 3892844 14202224640 549757 33554432000 4194304 4196468 140721479602112 139959551824640 139960889099989 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 35803136 140721479603388 140721479603564 140721479603564 140721479606223 0
[pid=29293/tid=29307] ppid=29292 vsize=13869360 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29293/task/29307/stat : 29307 (java) S 29292 29292 16473 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3892848 14202224640 549757 33554432000 4194304 4196468 140721479602112 139959550773200 139960889108379 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 35803136 140721479603388 140721479603564 140721479603564 140721479606223 0
[pid=29293/tid=29308] ppid=29292 vsize=13869360 CPUtime=4.4 cores=0,2,4,6,8,10,12,14
/proc/29293/task/29308/stat : 29308 (java) S 29292 29292 16473 0 -1 1077944384 25339 0 0 0 436 4 0 0 20 0 28 0 3892848 14202224640 549757 33554432000 4194304 4196468 140721479602112 139959549721328 139960889100930 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 35803136 140721479603388 140721479603564 140721479603564 140721479606223 0
[pid=29293/tid=29309] ppid=29292 vsize=13869360 CPUtime=4.74 cores=0,2,4,6,8,10,12,14
/proc/29293/task/29309/stat : 29309 (java) S 29292 29292 16473 0 -1 1077944384 24426 0 0 0 470 4 0 0 20 0 28 0 3892848 14202224640 549757 33554432000 4194304 4196468 140721479602112 139959548668784 139960889100930 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 35803136 140721479603388 140721479603564 140721479603564 140721479606223 0
[pid=29293/tid=29310] ppid=29292 vsize=13869360 CPUtime=4.27 cores=0,2,4,6,8,10,12,14
/proc/29293/task/29310/stat : 29310 (java) S 29292 29292 16473 0 -1 1077944384 21595 0 0 0 424 3 0 0 20 0 28 0 3892848 14202224640 549757 33554432000 4194304 4196468 140721479602112 139959547615728 139960889100930 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35803136 140721479603388 140721479603564 140721479603564 140721479606223 0
[pid=29293/tid=29311] ppid=29292 vsize=13869360 CPUtime=1.3 cores=0,2,4,6,8,10,12,14
/proc/29293/task/29311/stat : 29311 (java) S 29292 29292 16473 0 -1 1077944384 20272 0 0 0 127 3 0 0 20 0 28 0 3892848 14202224640 549757 33554432000 4194304 4196468 140721479602112 139959546563184 139960889100930 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35803136 140721479603388 140721479603564 140721479603564 140721479606223 0
[pid=29293/tid=29312] ppid=29292 vsize=13869360 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29293/task/29312/stat : 29312 (java) S 29292 29292 16473 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3892849 14202224640 549757 33554432000 4194304 4196468 140721479602112 139959545510368 139960889099989 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 35803136 140721479603388 140721479603564 140721479603564 140721479606223 0
[pid=29293/tid=29313] ppid=29292 vsize=13869360 CPUtime=0.22 cores=0,2,4,6,8,10,12,14
/proc/29293/task/29313/stat : 29313 (java) S 29292 29292 16473 0 -1 1077944384 2596 0 0 0 12 10 0 0 20 0 28 0 3892849 14202224640 549757 33554432000 4194304 4196468 140721479602112 139959544457904 139960889100930 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 15 0 0 6293624 6294260 35803136 140721479603388 140721479603564 140721479603564 140721479606223 0
[pid=29293/tid=29741] ppid=29292 vsize=13869360 CPUtime=2.73 cores=0,2,4,6,8,10,12,14
/proc/29293/task/29741/stat : 29741 (java) R 29292 29292 16473 0 -1 4202560 102 0 0 0 273 0 0 0 20 0 28 0 3935696 14202224640 549757 33554432000 4194304 4196468 140721479602112 139959526967864 139960524842187 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 35803136 140721479603388 140721479603564 140721479603564 140721479606223 0
[pid=29293/tid=29742] ppid=29292 vsize=13869360 CPUtime=2.81 cores=0,2,4,6,8,10,12,14
/proc/29293/task/29742/stat : 29742 (java) R 29292 29292 16473 0 -1 4202560 49 0 0 0 281 0 0 0 20 0 28 0 3935696 14202224640 549757 33554432000 4194304 4196468 140721479602112 139959528021640 139960527233895 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35803136 140721479603388 140721479603564 140721479603564 140721479606223 0
[pid=29293/tid=29743] ppid=29292 vsize=13869360 CPUtime=2.81 cores=0,2,4,6,8,10,12,14
/proc/29293/task/29743/stat : 29743 (java) R 29292 29292 16473 0 -1 4202560 327 0 0 0 281 0 0 0 20 0 28 0 3935696 14202224640 549757 33554432000 4194304 4196468 140721479602112 139959535393536 139960528382189 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 35803136 140721479603388 140721479603564 140721479603564 140721479606223 0
[pid=29293/tid=29744] ppid=29292 vsize=13869360 CPUtime=2.81 cores=0,2,4,6,8,10,12,14
/proc/29293/task/29744/stat : 29744 (java) R 29292 29292 16473 0 -1 4202560 49 0 0 0 281 0 0 0 20 0 28 0 3935696 14202224640 549757 33554432000 4194304 4196468 140721479602112 139959532233160 139960526318527 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35803136 140721479603388 140721479603564 140721479603564 140721479606223 0
[pid=29293/tid=29745] ppid=29292 vsize=13869360 CPUtime=2.8 cores=0,2,4,6,8,10,12,14
/proc/29293/task/29745/stat : 29745 (java) R 29292 29292 16473 0 -1 4202560 30 0 0 0 280 0 0 0 20 0 28 0 3935696 14202224640 549757 33554432000 4194304 4196468 140721479602112 139959531180456 139960526318527 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 35803136 140721479603388 140721479603564 140721479603564 140721479606223 0
[pid=29293/tid=29746] ppid=29292 vsize=13869360 CPUtime=2.8 cores=0,2,4,6,8,10,12,14
/proc/29293/task/29746/stat : 29746 (java) R 29292 29292 16473 0 -1 4202560 24 0 0 0 280 0 0 0 20 0 28 0 3935696 14202224640 549757 33554432000 4194304 4196468 140721479602112 139959530127312 139960526318009 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 35803136 140721479603388 140721479603564 140721479603564 140721479606223 0
[pid=29293/tid=29747] ppid=29292 vsize=13869360 CPUtime=2.81 cores=0,2,4,6,8,10,12,14
/proc/29293/task/29747/stat : 29747 (java) R 29292 29292 16473 0 -1 4202560 100 0 0 0 281 0 0 0 20 0 28 0 3935696 14202224640 549757 33554432000 4194304 4196468 140721479602112 139959529074680 139960526319192 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 35803136 140721479603388 140721479603564 140721479603564 140721479606223 0
[pid=29293/tid=29748] ppid=29292 vsize=13869360 CPUtime=2.79 cores=0,2,4,6,8,10,12,14
/proc/29293/task/29748/stat : 29748 (java) R 29292 29292 16473 0 -1 4202560 34 0 0 0 279 0 0 0 20 0 28 0 3935696 14202224640 549757 33554432000 4194304 4196468 140721479602112 139959536443160 139960526319093 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35803136 140721479603388 140721479603564 140721479603564 140721479606223 0
Current children cumulated CPU time (s) 2400.29
Current children cumulated vsize (KiB) 13878872
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 29293 sig 9
??? kill 29292 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 29292 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=1576
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=1576
# CPU time returned by wait4() is 0.003152
# while last known CPU time is 2400.29
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 431.412
CPU time (s): 2400.29
CPU user time (s): 2395.87
CPU system time (s): 4.42
CPU usage (%): 556.38
Max. virtual memory (cumulated for all children) (KiB): 13878872
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.001576
system time used= 0.001576
maximum resident set size= 1388
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 517
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 4.17769 second user time and 5.45111 second system time
The end