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-4247877-1500690905/watcher-4247877-1500690905 -o /tmp/evaluation-result-4247877-1500690905/solver-4247877-1500690905 -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 1120650365 HOME/instance-4247877-1500690905.xml
pid=4486
running on 8 cores: 0,2,4,6,8,10,12,14
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 14.52 15.54 15.51 10/270 4489
/proc/meminfo: memFree=31594040/32770624 swapFree=5736/262796
[pid=4489] ppid=4486 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/4489/stat : 4489 (xcsp3-exec) S 4486 4489 16473 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4359633 9740288 346 33554432000 4194304 5098028 140720719352608 140720719350712 140585379398268 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 24907776 140720719357070 140720719357280 140720719357280 140720719359979 0
/proc/4489/statm: 2378 346 289 221 0 87 0
[startup+0.100061 s]
/proc/loadavg: 14.52 15.54 15.51 10/270 4489
/proc/meminfo: memFree=31594040/32770624 swapFree=5736/262796
[pid=4489] ppid=4486 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/4489/stat : 4489 (xcsp3-exec) S 4486 4489 16473 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4359633 9740288 346 33554432000 4194304 5098028 140720719352608 140720719350712 140585379398268 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 24907776 140720719357070 140720719357280 140720719357280 140720719359979 0
/proc/4489/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200283 s]
/proc/loadavg: 14.52 15.54 15.51 10/270 4489
/proc/meminfo: memFree=31594040/32770624 swapFree=5736/262796
[pid=4489] ppid=4486 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/4489/stat : 4489 (xcsp3-exec) S 4486 4489 16473 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4359633 9740288 346 33554432000 4194304 5098028 140720719352608 140720719350712 140585379398268 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 24907776 140720719357070 140720719357280 140720719357280 140720719359979 0
/proc/4489/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300222 s]
/proc/loadavg: 14.52 15.54 15.51 10/270 4489
/proc/meminfo: memFree=31594040/32770624 swapFree=5736/262796
[pid=4489] ppid=4486 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/4489/stat : 4489 (xcsp3-exec) S 4486 4489 16473 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4359633 9740288 346 33554432000 4194304 5098028 140720719352608 140720719350712 140585379398268 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 24907776 140720719357070 140720719357280 140720719357280 140720719359979 0
/proc/4489/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: 14.52 15.54 15.51 10/270 4489
/proc/meminfo: memFree=31594040/32770624 swapFree=5736/262796
[pid=4489] ppid=4486 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/4489/stat : 4489 (xcsp3-exec) S 4486 4489 16473 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4359633 9740288 346 33554432000 4194304 5098028 140720719352608 140720719350712 140585379398268 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 24907776 140720719357070 140720719357280 140720719357280 140720719359979 0
/proc/4489/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: 14.52 15.54 15.51 13/291 4510
/proc/meminfo: memFree=31475612/32770624 swapFree=5736/263152
[pid=4489] ppid=4486 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/4489/stat : 4489 (xcsp3-exec) S 4486 4489 16473 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4359633 9740288 346 33554432000 4194304 5098028 140720719352608 140720719350712 140585379398268 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 24907776 140720719357070 140720719357280 140720719357280 140720719359979 0
/proc/4489/statm: 2378 346 289 221 0 87 0
[pid=4490] ppid=4489 vsize=13269256 CPUtime=4.88 cores=0,2,4,6,8,10,12,14
/proc/4490/stat : 4490 (java) S 4489 4489 16473 0 -1 1077944320 29005 0 0 0 480 8 0 0 20 0 20 0 4359634 13587718144 39718 33554432000 4194304 4196468 140732324455104 140732324437648 139778702823159 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 11620352 140732324463804 140732324463980 140732324463980 140732324466639 0
/proc/4490/statm: 3317314 39718 3234 1 0 3304547 0
[pid=4490/tid=4491] ppid=4489 vsize=13269256 CPUtime=1.46 cores=0,2,4,6,8,10,12,14
/proc/4490/task/4491/stat : 4491 (java) R 4489 4489 16473 0 -1 4202560 6995 0 0 0 143 3 0 0 20 0 20 0 4359634 13587718144 39718 33554432000 4194304 4196468 140732324455104 139778707056776 139778688892226 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11620352 140732324463804 140732324463980 140732324463980 140732324466639 0
[pid=4490/tid=4493] ppid=4489 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/4490/task/4493/stat : 4493 (java) S 4489 4489 16473 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4359635 13587718144 39718 33554432000 4194304 4196468 140732324455104 139778641787792 139778702833365 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 11620352 140732324463804 140732324463980 140732324463980 140732324466639 0
[pid=4490/tid=4494] ppid=4489 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/4490/task/4494/stat : 4494 (java) S 4489 4489 16473 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4359635 13587718144 39718 33554432000 4194304 4196468 140732324455104 139778640734992 139778702833365 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11620352 140732324463804 140732324463980 140732324463980 140732324466639 0
[pid=4490/tid=4495] ppid=4489 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/4490/task/4495/stat : 4495 (java) S 4489 4489 16473 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4359635 13587718144 39718 33554432000 4194304 4196468 140732324455104 139778639682704 139778702833365 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11620352 140732324463804 140732324463980 140732324463980 140732324466639 0
[pid=4490/tid=4496] ppid=4489 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/4490/task/4496/stat : 4496 (java) S 4489 4489 16473 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4359635 13587718144 39718 33554432000 4194304 4196468 140732324455104 139778638629904 139778702833365 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11620352 140732324463804 140732324463980 140732324463980 140732324466639 0
[pid=4490/tid=4497] ppid=4489 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/4490/task/4497/stat : 4497 (java) S 4489 4489 16473 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4359635 13587718144 39718 33554432000 4194304 4196468 140732324455104 139778297649552 139778702833365 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 11620352 140732324463804 140732324463980 140732324463980 140732324466639 0
[pid=4490/tid=4498] ppid=4489 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/4490/task/4498/stat : 4498 (java) S 4489 4489 16473 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4359635 13587718144 39718 33554432000 4194304 4196468 140732324455104 139778296596752 139778702833365 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 11620352 140732324463804 140732324463980 140732324463980 140732324466639 0
[pid=4490/tid=4499] ppid=4489 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/4490/task/4499/stat : 4499 (java) S 4489 4489 16473 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 4359635 13587718144 39718 33554432000 4194304 4196468 140732324455104 139778295544464 139778702833365 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11620352 140732324463804 140732324463980 140732324463980 140732324466639 0
[pid=4490/tid=4500] ppid=4489 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/4490/task/4500/stat : 4500 (java) S 4489 4489 16473 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4359635 13587718144 39718 33554432000 4194304 4196468 140732324455104 139778294491664 139778702833365 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 11620352 140732324463804 140732324463980 140732324463980 140732324466639 0
[pid=4490/tid=4501] ppid=4489 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/4490/task/4501/stat : 4501 (java) S 4489 4489 16473 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 20 0 4359637 13587718144 39718 33554432000 4194304 4196468 140732324455104 139777434700400 139778702834306 0 0 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 11620352 140732324463804 140732324463980 140732324463980 140732324466639 0
[pid=4490/tid=4502] ppid=4489 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/4490/task/4502/stat : 4502 (java) S 4489 4489 16473 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 4359638 13587718144 39718 33554432000 4194304 4196468 140732324455104 139777433646368 139778702833365 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 11620352 140732324463804 140732324463980 140732324463980 140732324466639 0
[pid=4490/tid=4503] ppid=4489 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/4490/task/4503/stat : 4503 (java) S 4489 4489 16473 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 4359638 13587718144 39718 33554432000 4194304 4196468 140732324455104 139777432594032 139778702833365 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 11620352 140732324463804 140732324463980 140732324463980 140732324466639 0
[pid=4490/tid=4504] ppid=4489 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/4490/task/4504/stat : 4504 (java) S 4489 4489 16473 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4359641 13587718144 39718 33554432000 4194304 4196468 140732324455104 139777431542352 139778702841755 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 11620352 140732324463804 140732324463980 140732324463980 140732324466639 0
[pid=4490/tid=4505] ppid=4489 vsize=13269256 CPUtime=0.89 cores=0,2,4,6,8,10,12,14
/proc/4490/task/4505/stat : 4505 (java) S 4489 4489 16473 0 -1 1077944384 5969 0 0 0 89 0 0 0 20 0 20 0 4359641 13587718144 39718 33554432000 4194304 4196468 140732324455104 139777430489200 139778702834306 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 11620352 140732324463804 140732324463980 140732324463980 140732324466639 0
[pid=4490/tid=4506] ppid=4489 vsize=13269256 CPUtime=1.05 cores=0,2,4,6,8,10,12,14
/proc/4490/task/4506/stat : 4506 (java) S 4489 4489 16473 0 -1 1077944384 7355 0 0 0 104 1 0 0 20 0 20 0 4359641 13587718144 39718 33554432000 4194304 4196468 140732324455104 139777093396464 139778702834306 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11620352 140732324463804 140732324463980 140732324463980 140732324466639 0
[pid=4490/tid=4507] ppid=4489 vsize=13269256 CPUtime=0.81 cores=0,2,4,6,8,10,12,14
/proc/4490/task/4507/stat : 4507 (java) S 4489 4489 16473 0 -1 1077944384 4135 0 0 0 80 1 0 0 20 0 20 0 4359641 13587718144 39718 33554432000 4194304 4196468 140732324455104 139777092344176 139778702834306 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 11620352 140732324463804 140732324463980 140732324463980 140732324466639 0
[pid=4490/tid=4508] ppid=4489 vsize=13269256 CPUtime=0.62 cores=0,2,4,6,8,10,12,14
/proc/4490/task/4508/stat : 4508 (java) S 4489 4489 16473 0 -1 1077944384 3228 0 0 0 61 1 0 0 20 0 20 0 4359641 13587718144 39718 33554432000 4194304 4196468 140732324455104 139777091291376 139778702834306 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 11620352 140732324463804 140732324463980 140732324463980 140732324466639 0
[pid=4490/tid=4509] ppid=4489 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/4490/task/4509/stat : 4509 (java) S 4489 4489 16473 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4359642 13587718144 39718 33554432000 4194304 4196468 140732324455104 139777090239328 139778702833365 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 11620352 140732324463804 140732324463980 140732324463980 140732324466639 0
[pid=4490/tid=4510] ppid=4489 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/4490/task/4510/stat : 4510 (java) S 4489 4489 16473 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4359642 13587718144 39718 33554432000 4194304 4196468 140732324455104 139777089186608 139778702834306 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11620352 140732324463804 140732324463980 140732324463980 140732324466639 0
Current children cumulated CPU time (s) 4.88
Current children cumulated vsize (KiB) 13278768
[startup+3.1009 s]
/proc/loadavg: 14.52 15.54 15.51 10/291 4510
/proc/meminfo: memFree=31378440/32770624 swapFree=5736/263152
[pid=4489] ppid=4486 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/4489/stat : 4489 (xcsp3-exec) S 4486 4489 16473 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4359633 9740288 346 33554432000 4194304 5098028 140720719352608 140720719350712 140585379398268 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 24907776 140720719357070 140720719357280 140720719357280 140720719359979 0
/proc/4489/statm: 2378 346 289 221 0 87 0
[pid=4490] ppid=4489 vsize=13269256 CPUtime=9.77 cores=0,2,4,6,8,10,12,14
/proc/4490/stat : 4490 (java) S 4489 4489 16473 0 -1 1077944320 35096 0 0 0 952 25 0 0 20 0 20 0 4359634 13587718144 66066 33554432000 4194304 4196468 140732324455104 140732324437648 139778702823159 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 11620352 140732324463804 140732324463980 140732324463980 140732324466639 0
/proc/4490/statm: 3317314 66066 3261 1 0 3304547 0
[pid=4490/tid=4491] ppid=4489 vsize=13269256 CPUtime=3 cores=0,2,4,6,8,10,12,14
/proc/4490/task/4491/stat : 4491 (java) R 4489 4489 16473 0 -1 4202560 8916 0 0 0 296 4 0 0 20 0 20 0 4359634 13587718144 66066 33554432000 4194304 4196468 140732324455104 139778707059272 139778323616062 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11620352 140732324463804 140732324463980 140732324463980 140732324466639 0
[pid=4490/tid=4493] ppid=4489 vsize=13269256 CPUtime=0.04 cores=0,2,4,6,8,10,12,14
/proc/4490/task/4493/stat : 4493 (java) S 4489 4489 16473 0 -1 1077944384 375 0 0 0 3 1 0 0 20 0 20 0 4359635 13587718144 66066 33554432000 4194304 4196468 140732324455104 139778641787792 139778702833365 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 11620352 140732324463804 140732324463980 140732324463980 140732324466639 0
[pid=4490/tid=4494] ppid=4489 vsize=13269256 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/4490/task/4494/stat : 4494 (java) S 4489 4489 16473 0 -1 1077944384 22 0 0 0 1 1 0 0 20 0 20 0 4359635 13587718144 66066 33554432000 4194304 4196468 140732324455104 139778640734992 139778702833365 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11620352 140732324463804 140732324463980 140732324463980 140732324466639 0
[pid=4490/tid=4495] ppid=4489 vsize=13269256 CPUtime=0.03 cores=0,2,4,6,8,10,12,14
/proc/4490/task/4495/stat : 4495 (java) S 4489 4489 16473 0 -1 1077944384 29 0 0 0 1 2 0 0 20 0 20 0 4359635 13587718144 66066 33554432000 4194304 4196468 140732324455104 139778639682704 139778702833365 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11620352 140732324463804 140732324463980 140732324463980 140732324466639 0
[pid=4490/tid=4496] ppid=4489 vsize=13269256 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/4490/task/4496/stat : 4496 (java) S 4489 4489 16473 0 -1 1077944384 47 0 0 0 1 1 0 0 20 0 20 0 4359635 13587718144 66066 33554432000 4194304 4196468 140732324455104 139778638629904 139778702833365 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11620352 140732324463804 140732324463980 140732324463980 140732324466639 0
[pid=4490/tid=4497] ppid=4489 vsize=13269256 CPUtime=0.04 cores=0,2,4,6,8,10,12,14
/proc/4490/task/4497/stat : 4497 (java) S 4489 4489 16473 0 -1 1077944384 115 0 0 0 2 2 0 0 20 0 20 0 4359635 13587718144 66066 33554432000 4194304 4196468 140732324455104 139778297649552 139778702833365 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11620352 140732324463804 140732324463980 140732324463980 140732324466639 0
[pid=4490/tid=4498] ppid=4489 vsize=13269256 CPUtime=0.04 cores=0,2,4,6,8,10,12,14
/proc/4490/task/4498/stat : 4498 (java) S 4489 4489 16473 0 -1 1077944384 76 0 0 0 2 2 0 0 20 0 20 0 4359635 13587718144 66066 33554432000 4194304 4196468 140732324455104 139778296596752 139778702833365 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 11620352 140732324463804 140732324463980 140732324463980 140732324466639 0
[pid=4490/tid=4499] ppid=4489 vsize=13269256 CPUtime=0.04 cores=0,2,4,6,8,10,12,14
/proc/4490/task/4499/stat : 4499 (java) S 4489 4489 16473 0 -1 1077944384 87 0 0 0 2 2 0 0 20 0 20 0 4359635 13587718144 66066 33554432000 4194304 4196468 140732324455104 139778295544464 139778702833365 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11620352 140732324463804 140732324463980 140732324463980 140732324466639 0
[pid=4490/tid=4500] ppid=4489 vsize=13269256 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/4490/task/4500/stat : 4500 (java) S 4489 4489 16473 0 -1 1077944384 71 0 0 0 1 1 0 0 20 0 20 0 4359635 13587718144 66066 33554432000 4194304 4196468 140732324455104 139778294491664 139778702833365 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11620352 140732324463804 140732324463980 140732324463980 140732324466639 0
[pid=4490/tid=4501] ppid=4489 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/4490/task/4501/stat : 4501 (java) S 4489 4489 16473 0 -1 1077944384 196 0 0 0 0 0 0 0 20 0 20 0 4359637 13587718144 66066 33554432000 4194304 4196468 140732324455104 139777434700400 139778702834306 0 0 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 11620352 140732324463804 140732324463980 140732324463980 140732324466639 0
[pid=4490/tid=4502] ppid=4489 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/4490/task/4502/stat : 4502 (java) S 4489 4489 16473 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 20 0 4359638 13587718144 66066 33554432000 4194304 4196468 140732324455104 139777433646432 139778702833365 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11620352 140732324463804 140732324463980 140732324463980 140732324466639 0
[pid=4490/tid=4503] ppid=4489 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/4490/task/4503/stat : 4503 (java) S 4489 4489 16473 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 20 0 4359638 13587718144 66066 33554432000 4194304 4196468 140732324455104 139777432594048 139778702833365 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 11620352 140732324463804 140732324463980 140732324463980 140732324466639 0
[pid=4490/tid=4504] ppid=4489 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/4490/task/4504/stat : 4504 (java) S 4489 4489 16473 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4359641 13587718144 66066 33554432000 4194304 4196468 140732324455104 139777431542352 139778702841755 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 11620352 140732324463804 140732324463980 140732324463980 140732324466639 0
[pid=4490/tid=4505] ppid=4489 vsize=13269256 CPUtime=1.77 cores=0,2,4,6,8,10,12,14
/proc/4490/task/4505/stat : 4505 (java) S 4489 4489 16473 0 -1 1077944384 6247 0 0 0 177 0 0 0 20 0 20 0 4359641 13587718144 66066 33554432000 4194304 4196468 140732324455104 139777430489200 139778702834306 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 11620352 140732324463804 140732324463980 140732324463980 140732324466639 0
[pid=4490/tid=4506] ppid=4489 vsize=13269256 CPUtime=2.12 cores=0,2,4,6,8,10,12,14
/proc/4490/task/4506/stat : 4506 (java) S 4489 4489 16473 0 -1 1077944384 8333 0 0 0 211 1 0 0 20 0 20 0 4359641 13587718144 66066 33554432000 4194304 4196468 140732324455104 139777093396464 139778702834306 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11620352 140732324463804 140732324463980 140732324463980 140732324466639 0
[pid=4490/tid=4507] ppid=4489 vsize=13269256 CPUtime=1.69 cores=0,2,4,6,8,10,12,14
/proc/4490/task/4507/stat : 4507 (java) S 4489 4489 16473 0 -1 1077944384 5494 0 0 0 168 1 0 0 20 0 20 0 4359641 13587718144 66066 33554432000 4194304 4196468 140732324455104 139777092344176 139778702834306 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 11620352 140732324463804 140732324463980 140732324463980 140732324466639 0
[pid=4490/tid=4508] ppid=4489 vsize=13269256 CPUtime=0.8 cores=0,2,4,6,8,10,12,14
/proc/4490/task/4508/stat : 4508 (java) S 4489 4489 16473 0 -1 1077944384 3738 0 0 0 79 1 0 0 20 0 20 0 4359641 13587718144 66066 33554432000 4194304 4196468 140732324455104 139777091291376 139778702834306 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 11620352 140732324463804 140732324463980 140732324463980 140732324466639 0
[pid=4490/tid=4509] ppid=4489 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/4490/task/4509/stat : 4509 (java) S 4489 4489 16473 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4359642 13587718144 66066 33554432000 4194304 4196468 140732324455104 139777090239328 139778702833365 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 11620352 140732324463804 140732324463980 140732324463980 140732324466639 0
[pid=4490/tid=4510] ppid=4489 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/4490/task/4510/stat : 4510 (java) S 4489 4489 16473 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 20 0 4359642 13587718144 66066 33554432000 4194304 4196468 140732324455104 139777089186608 139778702834306 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 11620352 140732324463804 140732324463980 140732324463980 140732324466639 0
Current children cumulated CPU time (s) 9.77
Current children cumulated vsize (KiB) 13278768
[startup+6.30161 s]
/proc/loadavg: 14.32 15.48 15.49 21/299 4518
/proc/meminfo: memFree=31187784/32770624 swapFree=5736/263164
[pid=4489] ppid=4486 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/4489/stat : 4489 (xcsp3-exec) S 4486 4489 16473 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4359633 9740288 346 33554432000 4194304 5098028 140720719352608 140720719350712 140585379398268 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 24907776 140720719357070 140720719357280 140720719357280 140720719359979 0
/proc/4489/statm: 2378 346 289 221 0 87 0
[pid=4490] ppid=4489 vsize=13801768 CPUtime=21.33 cores=0,2,4,6,8,10,12,14
/proc/4490/stat : 4490 (java) S 4489 4489 16473 0 -1 1077944320 37367 0 0 0 2081 52 0 0 20 0 28 0 4359634 14133010432 106824 33554432000 4194304 4196468 140732324455104 140732324437648 139778702823159 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 11620352 140732324463804 140732324463980 140732324463980 140732324466639 0
/proc/4490/statm: 3450442 106824 3269 1 0 3437675 0
[pid=4490/tid=4491] ppid=4489 vsize=13801768 CPUtime=5.09 cores=0,2,4,6,8,10,12,14
/proc/4490/task/4491/stat : 4491 (java) S 4489 4489 16473 0 -1 1077944384 9349 0 0 0 504 5 0 0 20 0 28 0 4359634 14133010432 106824 33554432000 4194304 4196468 140732324455104 139778707063936 139778702833365 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11620352 140732324463804 140732324463980 140732324463980 140732324466639 0
[pid=4490/tid=4493] ppid=4489 vsize=13801768 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/4490/task/4493/stat : 4493 (java) S 4489 4489 16473 0 -1 1077944384 418 0 0 0 5 4 0 0 20 0 28 0 4359635 14133010432 106824 33554432000 4194304 4196468 140732324455104 139778641787792 139778702833365 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 11620352 140732324463804 140732324463980 140732324463980 140732324466639 0
[pid=4490/tid=4494] ppid=4489 vsize=13801768 CPUtime=0.06 cores=0,2,4,6,8,10,12,14
/proc/4490/task/4494/stat : 4494 (java) S 4489 4489 16473 0 -1 1077944384 70 0 0 0 3 3 0 0 20 0 28 0 4359635 14133010432 106824 33554432000 4194304 4196468 140732324455104 139778640734992 139778702833365 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11620352 140732324463804 140732324463980 140732324463980 140732324466639 0
[pid=4490/tid=4495] ppid=4489 vsize=13801768 CPUtime=0.07 cores=0,2,4,6,8,10,12,14
/proc/4490/task/4495/stat : 4495 (java) S 4489 4489 16473 0 -1 1077944384 70 0 0 0 3 4 0 0 20 0 28 0 4359635 14133010432 106824 33554432000 4194304 4196468 140732324455104 139778639682704 139778702833365 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11620352 140732324463804 140732324463980 140732324463980 140732324466639 0
[pid=4490/tid=4496] ppid=4489 vsize=13801768 CPUtime=0.07 cores=0,2,4,6,8,10,12,14
/proc/4490/task/4496/stat : 4496 (java) S 4489 4489 16473 0 -1 1077944384 94 0 0 0 4 3 0 0 20 0 28 0 4359635 14133010432 106824 33554432000 4194304 4196468 140732324455104 139778638629904 139778702833365 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11620352 140732324463804 140732324463980 140732324463980 140732324466639 0
[pid=4490/tid=4497] ppid=4489 vsize=13801768 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/4490/task/4497/stat : 4497 (java) S 4489 4489 16473 0 -1 1077944384 161 0 0 0 4 5 0 0 20 0 28 0 4359635 14133010432 106824 33554432000 4194304 4196468 140732324455104 139778297649552 139778702833365 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11620352 140732324463804 140732324463980 140732324463980 140732324466639 0
[pid=4490/tid=4498] ppid=4489 vsize=13801768 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/4490/task/4498/stat : 4498 (java) S 4489 4489 16473 0 -1 1077944384 129 0 0 0 5 5 0 0 20 0 28 0 4359635 14133010432 106824 33554432000 4194304 4196468 140732324455104 139778296596752 139778702833365 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11620352 140732324463804 140732324463980 140732324463980 140732324466639 0
[pid=4490/tid=4499] ppid=4489 vsize=13801768 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/4490/task/4499/stat : 4499 (java) S 4489 4489 16473 0 -1 1077944384 137 0 0 0 5 5 0 0 20 0 28 0 4359635 14133010432 106824 33554432000 4194304 4196468 140732324455104 139778295544464 139778702833365 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11620352 140732324463804 140732324463980 140732324463980 140732324466639 0
[pid=4490/tid=4500] ppid=4489 vsize=13801768 CPUtime=0.08 cores=0,2,4,6,8,10,12,14
/proc/4490/task/4500/stat : 4500 (java) S 4489 4489 16473 0 -1 1077944384 117 0 0 0 4 4 0 0 20 0 28 0 4359635 14133010432 106824 33554432000 4194304 4196468 140732324455104 139778294491664 139778702833365 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 11620352 140732324463804 140732324463980 140732324463980 140732324466639 0
[pid=4490/tid=4501] ppid=4489 vsize=13801768 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/4490/task/4501/stat : 4501 (java) S 4489 4489 16473 0 -1 1077944384 327 0 0 0 1 0 0 0 20 0 28 0 4359637 14133010432 106824 33554432000 4194304 4196468 140732324455104 139777434700400 139778702834306 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11620352 140732324463804 140732324463980 140732324463980 140732324466639 0
[pid=4490/tid=4502] ppid=4489 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/4490/task/4502/stat : 4502 (java) S 4489 4489 16473 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 28 0 4359638 14133010432 106824 33554432000 4194304 4196468 140732324455104 139777433646432 139778702833365 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11620352 140732324463804 140732324463980 140732324463980 140732324466639 0
[pid=4490/tid=4503] ppid=4489 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/4490/task/4503/stat : 4503 (java) S 4489 4489 16473 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 28 0 4359638 14133010432 106824 33554432000 4194304 4196468 140732324455104 139777432594048 139778702833365 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11620352 140732324463804 140732324463980 140732324463980 140732324466639 0
[pid=4490/tid=4504] ppid=4489 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/4490/task/4504/stat : 4504 (java) S 4489 4489 16473 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4359641 14133010432 106824 33554432000 4194304 4196468 140732324455104 139777431542352 139778702841755 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 11620352 140732324463804 140732324463980 140732324463980 140732324466639 0
################
# More data... #
################
[pid=4490/tid=4517] ppid=4489 vsize=13801768 CPUtime=214.95 cores=0,2,4,6,8,10,12,14
/proc/4490/task/4517/stat : 4517 (java) R 4489 4489 16473 0 -1 4202560 438 0 0 0 21495 0 0 0 20 0 28 0 4360152 14133010432 225082 33554432000 4194304 4196468 140732324455104 139777074856224 139778327739427 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11620352 140732324463804 140732324463980 140732324463980 140732324466639 0
[pid=4490/tid=4518] ppid=4489 vsize=13801768 CPUtime=215.41 cores=0,2,4,6,8,10,12,14
/proc/4490/task/4518/stat : 4518 (java) R 4489 4489 16473 0 -1 4202560 688 0 0 0 21541 0 0 0 20 0 28 0 4360158 14133010432 225082 33554432000 4194304 4196468 140732324455104 139777073803320 139778327338963 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11620352 140732324463804 140732324463980 140732324463980 140732324466639 0
Current children cumulated CPU time (s) 1740.94
Current children cumulated vsize (KiB) 13811280
[startup+282.302 s]
/proc/loadavg: 12.45 14.75 15.26 17/299 4626
/proc/meminfo: memFree=28668184/32770624 swapFree=5736/263508
[pid=4489] ppid=4486 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/4489/stat : 4489 (xcsp3-exec) S 4486 4489 16473 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4359633 9740288 346 33554432000 4194304 5098028 140720719352608 140720719350712 140585379398268 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 24907776 140720719357070 140720719357280 140720719357280 140720719359979 0
/proc/4489/statm: 2378 346 289 221 0 87 0
[pid=4490] ppid=4489 vsize=13801768 CPUtime=2218.38 cores=0,2,4,6,8,10,12,14
/proc/4490/stat : 4490 (java) S 4489 4489 16473 0 -1 1077944320 76764 0 0 0 221695 143 0 0 20 0 28 0 4359634 14133010432 190583 33554432000 4194304 4196468 140732324455104 140732324437648 139778702823159 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 11620352 140732324463804 140732324463980 140732324463980 140732324466639 0
/proc/4490/statm: 3450442 190583 3288 1 0 3437675 0
[pid=4490/tid=4491] ppid=4489 vsize=13801768 CPUtime=5.09 cores=0,2,4,6,8,10,12,14
/proc/4490/task/4491/stat : 4491 (java) S 4489 4489 16473 0 -1 1077944384 9349 0 0 0 504 5 0 0 20 0 28 0 4359634 14133010432 190583 33554432000 4194304 4196468 140732324455104 139778707063936 139778702833365 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11620352 140732324463804 140732324463980 140732324463980 140732324466639 0
[pid=4490/tid=4493] ppid=4489 vsize=13801768 CPUtime=0.23 cores=0,2,4,6,8,10,12,14
/proc/4490/task/4493/stat : 4493 (java) S 4489 4489 16473 0 -1 1077944384 1859 0 0 0 14 9 0 0 20 0 28 0 4359635 14133010432 190583 33554432000 4194304 4196468 140732324455104 139778641787792 139778702833365 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11620352 140732324463804 140732324463980 140732324463980 140732324466639 0
[pid=4490/tid=4494] ppid=4489 vsize=13801768 CPUtime=0.22 cores=0,2,4,6,8,10,12,14
/proc/4490/task/4494/stat : 4494 (java) S 4489 4489 16473 0 -1 1077944384 841 0 0 0 12 10 0 0 20 0 28 0 4359635 14133010432 190583 33554432000 4194304 4196468 140732324455104 139778640734992 139778702833365 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11620352 140732324463804 140732324463980 140732324463980 140732324466639 0
[pid=4490/tid=4495] ppid=4489 vsize=13801768 CPUtime=0.25 cores=0,2,4,6,8,10,12,14
/proc/4490/task/4495/stat : 4495 (java) S 4489 4489 16473 0 -1 1077944384 827 0 0 0 15 10 0 0 20 0 28 0 4359635 14133010432 190583 33554432000 4194304 4196468 140732324455104 139778639682704 139778702833365 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11620352 140732324463804 140732324463980 140732324463980 140732324466639 0
[pid=4490/tid=4496] ppid=4489 vsize=13801768 CPUtime=0.23 cores=0,2,4,6,8,10,12,14
/proc/4490/task/4496/stat : 4496 (java) S 4489 4489 16473 0 -1 1077944384 1135 0 0 0 14 9 0 0 20 0 28 0 4359635 14133010432 190583 33554432000 4194304 4196468 140732324455104 139778638629904 139778702833365 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 11620352 140732324463804 140732324463980 140732324463980 140732324466639 0
[pid=4490/tid=4497] ppid=4489 vsize=13801768 CPUtime=0.25 cores=0,2,4,6,8,10,12,14
/proc/4490/task/4497/stat : 4497 (java) S 4489 4489 16473 0 -1 1077944384 586 0 0 0 14 11 0 0 20 0 28 0 4359635 14133010432 190583 33554432000 4194304 4196468 140732324455104 139778297649552 139778702833365 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 11620352 140732324463804 140732324463980 140732324463980 140732324466639 0
[pid=4490/tid=4498] ppid=4489 vsize=13801768 CPUtime=0.26 cores=0,2,4,6,8,10,12,14
/proc/4490/task/4498/stat : 4498 (java) S 4489 4489 16473 0 -1 1077944384 1378 0 0 0 15 11 0 0 20 0 28 0 4359635 14133010432 190583 33554432000 4194304 4196468 140732324455104 139778296596752 139778702833365 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11620352 140732324463804 140732324463980 140732324463980 140732324466639 0
[pid=4490/tid=4499] ppid=4489 vsize=13801768 CPUtime=0.26 cores=0,2,4,6,8,10,12,14
/proc/4490/task/4499/stat : 4499 (java) S 4489 4489 16473 0 -1 1077944384 417 0 0 0 14 12 0 0 20 0 28 0 4359635 14133010432 190583 33554432000 4194304 4196468 140732324455104 139778295544464 139778702833365 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 11620352 140732324463804 140732324463980 140732324463980 140732324466639 0
[pid=4490/tid=4500] ppid=4489 vsize=13801768 CPUtime=0.25 cores=0,2,4,6,8,10,12,14
/proc/4490/task/4500/stat : 4500 (java) S 4489 4489 16473 0 -1 1077944384 1691 0 0 0 14 11 0 0 20 0 28 0 4359635 14133010432 190583 33554432000 4194304 4196468 140732324455104 139778294491664 139778702833365 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11620352 140732324463804 140732324463980 140732324463980 140732324466639 0
[pid=4490/tid=4501] ppid=4489 vsize=13801768 CPUtime=0.15 cores=0,2,4,6,8,10,12,14
/proc/4490/task/4501/stat : 4501 (java) S 4489 4489 16473 0 -1 1077944384 2478 0 0 0 7 8 0 0 20 0 28 0 4359637 14133010432 190583 33554432000 4194304 4196468 140732324455104 139777434700400 139778702834306 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11620352 140732324463804 140732324463980 140732324463980 140732324466639 0
[pid=4490/tid=4502] ppid=4489 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/4490/task/4502/stat : 4502 (java) S 4489 4489 16473 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 28 0 4359638 14133010432 190583 33554432000 4194304 4196468 140732324455104 139777433646432 139778702833365 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11620352 140732324463804 140732324463980 140732324463980 140732324466639 0
[pid=4490/tid=4503] ppid=4489 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/4490/task/4503/stat : 4503 (java) S 4489 4489 16473 0 -1 1077944384 78 0 0 0 0 0 0 0 20 0 28 0 4359638 14133010432 190583 33554432000 4194304 4196468 140732324455104 139777432594048 139778702833365 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11620352 140732324463804 140732324463980 140732324463980 140732324466639 0
[pid=4490/tid=4504] ppid=4489 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/4490/task/4504/stat : 4504 (java) S 4489 4489 16473 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4359641 14133010432 190583 33554432000 4194304 4196468 140732324455104 139777431542352 139778702841755 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 11620352 140732324463804 140732324463980 140732324463980 140732324466639 0
[pid=4490/tid=4505] ppid=4489 vsize=13801768 CPUtime=3.98 cores=0,2,4,6,8,10,12,14
/proc/4490/task/4505/stat : 4505 (java) S 4489 4489 16473 0 -1 1077944384 9285 0 0 0 397 1 0 0 20 0 28 0 4359641 14133010432 190583 33554432000 4194304 4196468 140732324455104 139777430489200 139778702834306 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 11620352 140732324463804 140732324463980 140732324463980 140732324466639 0
[pid=4490/tid=4506] ppid=4489 vsize=13801768 CPUtime=4.62 cores=0,2,4,6,8,10,12,14
/proc/4490/task/4506/stat : 4506 (java) S 4489 4489 16473 0 -1 1077944384 15398 0 0 0 460 2 0 0 20 0 28 0 4359641 14133010432 190583 33554432000 4194304 4196468 140732324455104 139777093396464 139778702834306 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11620352 140732324463804 140732324463980 140732324463980 140732324466639 0
[pid=4490/tid=4507] ppid=4489 vsize=13801768 CPUtime=4.26 cores=0,2,4,6,8,10,12,14
/proc/4490/task/4507/stat : 4507 (java) S 4489 4489 16473 0 -1 1077944384 9325 0 0 0 425 1 0 0 20 0 28 0 4359641 14133010432 190583 33554432000 4194304 4196468 140732324455104 139777092344176 139778702834306 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11620352 140732324463804 140732324463980 140732324463980 140732324466639 0
[pid=4490/tid=4508] ppid=4489 vsize=13801768 CPUtime=1.27 cores=0,2,4,6,8,10,12,14
/proc/4490/task/4508/stat : 4508 (java) S 4489 4489 16473 0 -1 1077944384 7349 0 0 0 125 2 0 0 20 0 28 0 4359641 14133010432 190583 33554432000 4194304 4196468 140732324455104 139777091291376 139778702834306 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11620352 140732324463804 140732324463980 140732324463980 140732324466639 0
[pid=4490/tid=4509] ppid=4489 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/4490/task/4509/stat : 4509 (java) S 4489 4489 16473 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4359642 14133010432 190583 33554432000 4194304 4196468 140732324455104 139777090239328 139778702833365 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 11620352 140732324463804 140732324463980 140732324463980 140732324466639 0
[pid=4490/tid=4510] ppid=4489 vsize=13801768 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/4490/task/4510/stat : 4510 (java) S 4489 4489 16473 0 -1 1077944384 1145 0 0 0 6 7 0 0 20 0 28 0 4359642 14133010432 190583 33554432000 4194304 4196468 140732324455104 139777089186608 139778702834306 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11620352 140732324463804 140732324463980 140732324463980 140732324466639 0
[pid=4490/tid=4511] ppid=4489 vsize=13801768 CPUtime=273.15 cores=0,2,4,6,8,10,12,14
/proc/4490/task/4511/stat : 4511 (java) R 4489 4489 16473 0 -1 4202560 2139 0 0 0 27312 3 0 0 20 0 28 0 4360152 14133010432 190583 33554432000 4194304 4196468 140732324455104 139777081171384 139778319277691 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11620352 140732324463804 140732324463980 140732324463980 140732324466639 0
[pid=4490/tid=4512] ppid=4489 vsize=13801768 CPUtime=274.31 cores=0,2,4,6,8,10,12,14
/proc/4490/task/4512/stat : 4512 (java) R 4489 4489 16473 0 -1 4202560 1849 0 0 0 27429 2 0 0 20 0 28 0 4360152 14133010432 190583 33554432000 4194304 4196468 140732324455104 139777080119480 139778327338591 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 11620352 140732324463804 140732324463980 140732324463980 140732324466639 0
[pid=4490/tid=4513] ppid=4489 vsize=13801768 CPUtime=275.5 cores=0,2,4,6,8,10,12,14
/proc/4490/task/4513/stat : 4513 (java) R 4489 4489 16473 0 -1 4202560 2491 0 0 0 27546 4 0 0 20 0 28 0 4360152 14133010432 190583 33554432000 4194304 4196468 140732324455104 139777079066312 139778325162942 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11620352 140732324463804 140732324463980 140732324463980 140732324466639 0
[pid=4490/tid=4514] ppid=4489 vsize=13801768 CPUtime=274.58 cores=0,2,4,6,8,10,12,14
/proc/4490/task/4514/stat : 4514 (java) R 4489 4489 16473 0 -1 4202560 1849 0 0 0 27455 3 0 0 20 0 28 0 4360152 14133010432 190583 33554432000 4194304 4196468 140732324455104 139777078013784 139778327530308 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 11620352 140732324463804 140732324463980 140732324463980 140732324466639 0
[pid=4490/tid=4515] ppid=4489 vsize=13801768 CPUtime=275.01 cores=0,2,4,6,8,10,12,14
/proc/4490/task/4515/stat : 4515 (java) R 4489 4489 16473 0 -1 4202560 1191 0 0 0 27499 2 0 0 20 0 28 0 4360152 14133010432 190583 33554432000 4194304 4196468 140732324455104 139777076961208 139778327529589 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 11620352 140732324463804 140732324463980 140732324463980 140732324466639 0
[pid=4490/tid=4516] ppid=4489 vsize=13801768 CPUtime=274.71 cores=0,2,4,6,8,10,12,14
/proc/4490/task/4516/stat : 4516 (java) R 4489 4489 16473 0 -1 4202560 1574 0 0 0 27469 2 0 0 20 0 28 0 4360152 14133010432 190583 33554432000 4194304 4196468 140732324455104 139777075908696 139778327528287 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 11620352 140732324463804 140732324463980 140732324463980 140732324466639 0
[pid=4490/tid=4517] ppid=4489 vsize=13801768 CPUtime=274.78 cores=0,2,4,6,8,10,12,14
/proc/4490/task/4517/stat : 4517 (java) R 4489 4489 16473 0 -1 4202560 475 0 0 0 27478 0 0 0 20 0 28 0 4360152 14133010432 190583 33554432000 4194304 4196468 140732324455104 139777074855872 139778327128063 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11620352 140732324463804 140732324463980 140732324463980 140732324466639 0
[pid=4490/tid=4518] ppid=4489 vsize=13801768 CPUtime=274.63 cores=0,2,4,6,8,10,12,14
/proc/4490/task/4518/stat : 4518 (java) R 4489 4489 16473 0 -1 4202560 755 0 0 0 27463 0 0 0 20 0 28 0 4360158 14133010432 190583 33554432000 4194304 4196468 140732324455104 139777073806208 139778327740976 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 11620352 140732324463804 140732324463980 140732324463980 140732324466639 0
Current children cumulated CPU time (s) 2218.38
Current children cumulated vsize (KiB) 13811280
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+305.202 s]
/proc/loadavg: 13.66 14.85 15.28 17/301 4634
/proc/meminfo: memFree=28198812/32770624 swapFree=5736/263536
[pid=4489] ppid=4486 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/4489/stat : 4489 (xcsp3-exec) S 4486 4489 16473 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4359633 9740288 346 33554432000 4194304 5098028 140720719352608 140720719350712 140585379398268 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 24907776 140720719357070 140720719357280 140720719357280 140720719359979 0
/proc/4489/statm: 2378 346 289 221 0 87 0
[pid=4490] ppid=4489 vsize=13801768 CPUtime=2400.37 cores=0,2,4,6,8,10,12,14
/proc/4490/stat : 4490 (java) S 4489 4489 16473 0 -1 1077944320 77199 0 0 0 239890 147 0 0 20 0 28 0 4359634 14133010432 178142 33554432000 4194304 4196468 140732324455104 140732324437648 139778702823159 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 11620352 140732324463804 140732324463980 140732324463980 140732324466639 0
/proc/4490/statm: 3450442 178142 3288 1 0 3437675 0
[pid=4490/tid=4491] ppid=4489 vsize=13801768 CPUtime=5.09 cores=0,2,4,6,8,10,12,14
/proc/4490/task/4491/stat : 4491 (java) S 4489 4489 16473 0 -1 1077944384 9349 0 0 0 504 5 0 0 20 0 28 0 4359634 14133010432 178142 33554432000 4194304 4196468 140732324455104 139778707063936 139778702833365 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11620352 140732324463804 140732324463980 140732324463980 140732324466639 0
[pid=4490/tid=4493] ppid=4489 vsize=13801768 CPUtime=0.26 cores=0,2,4,6,8,10,12,14
/proc/4490/task/4493/stat : 4493 (java) S 4489 4489 16473 0 -1 1077944384 1869 0 0 0 16 10 0 0 20 0 28 0 4359635 14133010432 178142 33554432000 4194304 4196468 140732324455104 139778641787792 139778702833365 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11620352 140732324463804 140732324463980 140732324463980 140732324466639 0
[pid=4490/tid=4494] ppid=4489 vsize=13801768 CPUtime=0.24 cores=0,2,4,6,8,10,12,14
/proc/4490/task/4494/stat : 4494 (java) S 4489 4489 16473 0 -1 1077944384 853 0 0 0 13 11 0 0 20 0 28 0 4359635 14133010432 178142 33554432000 4194304 4196468 140732324455104 139778640734992 139778702833365 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 11620352 140732324463804 140732324463980 140732324463980 140732324466639 0
[pid=4490/tid=4495] ppid=4489 vsize=13801768 CPUtime=0.26 cores=0,2,4,6,8,10,12,14
/proc/4490/task/4495/stat : 4495 (java) S 4489 4489 16473 0 -1 1077944384 834 0 0 0 16 10 0 0 20 0 28 0 4359635 14133010432 178142 33554432000 4194304 4196468 140732324455104 139778639682704 139778702833365 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11620352 140732324463804 140732324463980 140732324463980 140732324466639 0
[pid=4490/tid=4496] ppid=4489 vsize=13801768 CPUtime=0.24 cores=0,2,4,6,8,10,12,14
/proc/4490/task/4496/stat : 4496 (java) S 4489 4489 16473 0 -1 1077944384 1141 0 0 0 15 9 0 0 20 0 28 0 4359635 14133010432 178142 33554432000 4194304 4196468 140732324455104 139778638629904 139778702833365 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 11620352 140732324463804 140732324463980 140732324463980 140732324466639 0
[pid=4490/tid=4497] ppid=4489 vsize=13801768 CPUtime=0.26 cores=0,2,4,6,8,10,12,14
/proc/4490/task/4497/stat : 4497 (java) S 4489 4489 16473 0 -1 1077944384 593 0 0 0 15 11 0 0 20 0 28 0 4359635 14133010432 178142 33554432000 4194304 4196468 140732324455104 139778297649552 139778702833365 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11620352 140732324463804 140732324463980 140732324463980 140732324466639 0
[pid=4490/tid=4498] ppid=4489 vsize=13801768 CPUtime=0.27 cores=0,2,4,6,8,10,12,14
/proc/4490/task/4498/stat : 4498 (java) S 4489 4489 16473 0 -1 1077944384 1389 0 0 0 16 11 0 0 20 0 28 0 4359635 14133010432 178142 33554432000 4194304 4196468 140732324455104 139778296596752 139778702833365 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11620352 140732324463804 140732324463980 140732324463980 140732324466639 0
[pid=4490/tid=4499] ppid=4489 vsize=13801768 CPUtime=0.27 cores=0,2,4,6,8,10,12,14
/proc/4490/task/4499/stat : 4499 (java) S 4489 4489 16473 0 -1 1077944384 423 0 0 0 15 12 0 0 20 0 28 0 4359635 14133010432 178142 33554432000 4194304 4196468 140732324455104 139778295544464 139778702833365 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 11620352 140732324463804 140732324463980 140732324463980 140732324466639 0
[pid=4490/tid=4500] ppid=4489 vsize=13801768 CPUtime=0.26 cores=0,2,4,6,8,10,12,14
/proc/4490/task/4500/stat : 4500 (java) S 4489 4489 16473 0 -1 1077944384 1697 0 0 0 15 11 0 0 20 0 28 0 4359635 14133010432 178142 33554432000 4194304 4196468 140732324455104 139778294491664 139778702833365 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11620352 140732324463804 140732324463980 140732324463980 140732324466639 0
[pid=4490/tid=4501] ppid=4489 vsize=13801768 CPUtime=0.2 cores=0,2,4,6,8,10,12,14
/proc/4490/task/4501/stat : 4501 (java) S 4489 4489 16473 0 -1 1077944384 2480 0 0 0 9 11 0 0 20 0 28 0 4359637 14133010432 178142 33554432000 4194304 4196468 140732324455104 139777434700400 139778702834306 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11620352 140732324463804 140732324463980 140732324463980 140732324466639 0
[pid=4490/tid=4502] ppid=4489 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/4490/task/4502/stat : 4502 (java) S 4489 4489 16473 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 28 0 4359638 14133010432 178142 33554432000 4194304 4196468 140732324455104 139777433646432 139778702833365 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11620352 140732324463804 140732324463980 140732324463980 140732324466639 0
[pid=4490/tid=4503] ppid=4489 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/4490/task/4503/stat : 4503 (java) S 4489 4489 16473 0 -1 1077944384 78 0 0 0 0 0 0 0 20 0 28 0 4359638 14133010432 178142 33554432000 4194304 4196468 140732324455104 139777432594048 139778702833365 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11620352 140732324463804 140732324463980 140732324463980 140732324466639 0
[pid=4490/tid=4504] ppid=4489 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/4490/task/4504/stat : 4504 (java) S 4489 4489 16473 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4359641 14133010432 178142 33554432000 4194304 4196468 140732324455104 139777431542352 139778702841755 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 11620352 140732324463804 140732324463980 140732324463980 140732324466639 0
[pid=4490/tid=4505] ppid=4489 vsize=13801768 CPUtime=3.98 cores=0,2,4,6,8,10,12,14
/proc/4490/task/4505/stat : 4505 (java) S 4489 4489 16473 0 -1 1077944384 9285 0 0 0 397 1 0 0 20 0 28 0 4359641 14133010432 178142 33554432000 4194304 4196468 140732324455104 139777430489200 139778702834306 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 11620352 140732324463804 140732324463980 140732324463980 140732324466639 0
[pid=4490/tid=4506] ppid=4489 vsize=13801768 CPUtime=4.62 cores=0,2,4,6,8,10,12,14
/proc/4490/task/4506/stat : 4506 (java) S 4489 4489 16473 0 -1 1077944384 15398 0 0 0 460 2 0 0 20 0 28 0 4359641 14133010432 178142 33554432000 4194304 4196468 140732324455104 139777093396464 139778702834306 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11620352 140732324463804 140732324463980 140732324463980 140732324466639 0
[pid=4490/tid=4507] ppid=4489 vsize=13801768 CPUtime=4.27 cores=0,2,4,6,8,10,12,14
/proc/4490/task/4507/stat : 4507 (java) S 4489 4489 16473 0 -1 1077944384 9325 0 0 0 425 2 0 0 20 0 28 0 4359641 14133010432 178142 33554432000 4194304 4196468 140732324455104 139777092344176 139778702834306 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11620352 140732324463804 140732324463980 140732324463980 140732324466639 0
[pid=4490/tid=4508] ppid=4489 vsize=13801768 CPUtime=1.27 cores=0,2,4,6,8,10,12,14
/proc/4490/task/4508/stat : 4508 (java) S 4489 4489 16473 0 -1 1077944384 7349 0 0 0 125 2 0 0 20 0 28 0 4359641 14133010432 178142 33554432000 4194304 4196468 140732324455104 139777091291376 139778702834306 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11620352 140732324463804 140732324463980 140732324463980 140732324466639 0
[pid=4490/tid=4509] ppid=4489 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/4490/task/4509/stat : 4509 (java) S 4489 4489 16473 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4359642 14133010432 178142 33554432000 4194304 4196468 140732324455104 139777090239328 139778702833365 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 11620352 140732324463804 140732324463980 140732324463980 140732324466639 0
[pid=4490/tid=4510] ppid=4489 vsize=13801768 CPUtime=0.14 cores=0,2,4,6,8,10,12,14
/proc/4490/task/4510/stat : 4510 (java) S 4489 4489 16473 0 -1 1077944384 1147 0 0 0 7 7 0 0 20 0 28 0 4359642 14133010432 178142 33554432000 4194304 4196468 140732324455104 139777089186608 139778702834306 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11620352 140732324463804 140732324463980 140732324463980 140732324466639 0
[pid=4490/tid=4511] ppid=4489 vsize=13801768 CPUtime=295.9 cores=0,2,4,6,8,10,12,14
/proc/4490/task/4511/stat : 4511 (java) R 4489 4489 16473 0 -1 4202560 2155 0 0 0 29587 3 0 0 20 0 28 0 4360152 14133010432 178142 33554432000 4194304 4196468 140732324455104 139777081171040 139778320918021 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11620352 140732324463804 140732324463980 140732324463980 140732324466639 0
[pid=4490/tid=4512] ppid=4489 vsize=13801768 CPUtime=297.11 cores=0,2,4,6,8,10,12,14
/proc/4490/task/4512/stat : 4512 (java) R 4489 4489 16473 0 -1 4202560 1860 0 0 0 29709 2 0 0 20 0 28 0 4360152 14133010432 178142 33554432000 4194304 4196468 140732324455104 139777080122336 139778327528793 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 11620352 140732324463804 140732324463980 140732324463980 140732324466639 0
[pid=4490/tid=4513] ppid=4489 vsize=13801768 CPUtime=298.34 cores=0,2,4,6,8,10,12,14
/proc/4490/task/4513/stat : 4513 (java) R 4489 4489 16473 0 -1 4202560 2502 0 0 0 29830 4 0 0 20 0 28 0 4360152 14133010432 178142 33554432000 4194304 4196468 140732324455104 139777079066392 139778325163043 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 11620352 140732324463804 140732324463980 140732324463980 140732324466639 0
[pid=4490/tid=4514] ppid=4489 vsize=13801768 CPUtime=297.31 cores=0,2,4,6,8,10,12,14
/proc/4490/task/4514/stat : 4514 (java) R 4489 4489 16473 0 -1 4202560 1862 0 0 0 29728 3 0 0 20 0 28 0 4360152 14133010432 178142 33554432000 4194304 4196468 140732324455104 139777078013592 139778688891284 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 11620352 140732324463804 140732324463980 140732324463980 140732324466639 0
[pid=4490/tid=4515] ppid=4489 vsize=13801768 CPUtime=297.83 cores=0,2,4,6,8,10,12,14
/proc/4490/task/4515/stat : 4515 (java) R 4489 4489 16473 0 -1 4202560 1476 0 0 0 29781 2 0 0 20 0 28 0 4360152 14133010432 178142 33554432000 4194304 4196468 140732324455104 139777076961496 139778327338630 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11620352 140732324463804 140732324463980 140732324463980 140732324466639 0
[pid=4490/tid=4516] ppid=4489 vsize=13801768 CPUtime=297.19 cores=0,2,4,6,8,10,12,14
/proc/4490/task/4516/stat : 4516 (java) R 4489 4489 16473 0 -1 4202560 1589 0 0 0 29717 2 0 0 20 0 28 0 4360152 14133010432 178142 33554432000 4194304 4196468 140732324455104 139777075908712 139778327740857 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 11620352 140732324463804 140732324463980 140732324463980 140732324466639 0
[pid=4490/tid=4517] ppid=4489 vsize=13801768 CPUtime=297.6 cores=0,2,4,6,8,10,12,14
/proc/4490/task/4517/stat : 4517 (java) R 4489 4489 16473 0 -1 4202560 475 0 0 0 29760 0 0 0 20 0 28 0 4360152 14133010432 178142 33554432000 4194304 4196468 140732324455104 139777074856120 139778321902508 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 11620352 140732324463804 140732324463980 140732324463980 140732324466639 0
[pid=4490/tid=4518] ppid=4489 vsize=13801768 CPUtime=297.25 cores=0,2,4,6,8,10,12,14
/proc/4490/task/4518/stat : 4518 (java) R 4489 4489 16473 0 -1 4202560 770 0 0 0 29725 0 0 0 20 0 28 0 4360158 14133010432 178142 33554432000 4194304 4196468 140732324455104 139777073803320 139778320837319 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11620352 140732324463804 140732324463980 140732324463980 140732324466639 0
Current children cumulated CPU time (s) 2400.37
Current children cumulated vsize (KiB) 13811280
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 4490 sig 9
??? kill 4489 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 4489 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=2183
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=1091
# CPU time returned by wait4() is 0.003274
# while last known CPU time is 2400.37
#
# 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.37
CPU user time (s): 2398.9
CPU system time (s): 1.47
CPU usage (%): 786.459
Max. virtual memory (cumulated for all children) (KiB): 13811280
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.002183
system time used= 0.001091
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.661 second user time and 4.67324 second system time
The end