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-4249665-1500695657/watcher-4249665-1500695657 -o /tmp/evaluation-result-4249665-1500695657/solver-4249665-1500695657 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node126-1500683384-8603 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 1164411263 HOME/instance-4249665-1500695657.xml
pid=3472
running on 8 cores: 1,3,5,7,9,11,13,15
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 15.54 15.59 14.03 10/271 3475
/proc/meminfo: memFree=30964688/32770624 swapFree=5884/292272
[pid=3475] ppid=3472 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/3475/stat : 3475 (xcsp3-exec) S 3472 3475 8571 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4833527 9740288 346 33554432000 4194304 5098028 140723548355040 140723548353144 139971041436284 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 32772096 140723548357774 140723548357984 140723548357984 140723548360683 0
/proc/3475/statm: 2378 346 289 221 0 87 0
[startup+0.100141 s]
/proc/loadavg: 15.54 15.59 14.03 10/271 3475
/proc/meminfo: memFree=30964688/32770624 swapFree=5884/292272
[pid=3475] ppid=3472 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/3475/stat : 3475 (xcsp3-exec) S 3472 3475 8571 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4833527 9740288 346 33554432000 4194304 5098028 140723548355040 140723548353144 139971041436284 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 32772096 140723548357774 140723548357984 140723548357984 140723548360683 0
/proc/3475/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200355 s]
/proc/loadavg: 15.54 15.59 14.03 10/271 3475
/proc/meminfo: memFree=30964688/32770624 swapFree=5884/292272
[pid=3475] ppid=3472 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/3475/stat : 3475 (xcsp3-exec) S 3472 3475 8571 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4833527 9740288 346 33554432000 4194304 5098028 140723548355040 140723548353144 139971041436284 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 32772096 140723548357774 140723548357984 140723548357984 140723548360683 0
/proc/3475/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300267 s]
/proc/loadavg: 15.54 15.59 14.03 10/271 3475
/proc/meminfo: memFree=30964688/32770624 swapFree=5884/292272
[pid=3475] ppid=3472 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/3475/stat : 3475 (xcsp3-exec) S 3472 3475 8571 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4833527 9740288 346 33554432000 4194304 5098028 140723548355040 140723548353144 139971041436284 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 32772096 140723548357774 140723548357984 140723548357984 140723548360683 0
/proc/3475/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.700321 s]
/proc/loadavg: 15.54 15.59 14.03 10/271 3475
/proc/meminfo: memFree=30964688/32770624 swapFree=5884/292272
[pid=3475] ppid=3472 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/3475/stat : 3475 (xcsp3-exec) S 3472 3475 8571 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4833527 9740288 346 33554432000 4194304 5098028 140723548355040 140723548353144 139971041436284 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 32772096 140723548357774 140723548357984 140723548357984 140723548360683 0
/proc/3475/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50118 s]
/proc/loadavg: 15.54 15.59 14.03 12/292 3496
/proc/meminfo: memFree=30783464/32770624 swapFree=5884/292328
[pid=3475] ppid=3472 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/3475/stat : 3475 (xcsp3-exec) S 3472 3475 8571 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4833527 9740288 346 33554432000 4194304 5098028 140723548355040 140723548353144 139971041436284 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 32772096 140723548357774 140723548357984 140723548357984 140723548360683 0
/proc/3475/statm: 2378 346 289 221 0 87 0
[pid=3476] ppid=3475 vsize=13269256 CPUtime=4.05 cores=1,3,5,7,9,11,13,15
/proc/3476/stat : 3476 (java) S 3475 3475 8571 0 -1 1077944320 19655 0 0 0 382 23 0 0 20 0 20 0 4833528 13587718144 58408 33554432000 4194304 4196468 140721034515408 140721034497952 140358783864567 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 10481664 140721034519740 140721034519916 140721034519916 140721034522575 0
/proc/3476/statm: 3317314 58408 3230 1 0 3304547 0
[pid=3476/tid=3477] ppid=3475 vsize=13269256 CPUtime=1.43 cores=1,3,5,7,9,11,13,15
/proc/3476/task/3477/stat : 3477 (java) R 3475 3475 8571 0 -1 4202560 6921 0 0 0 139 4 0 0 20 0 20 0 4833528 13587718144 58408 33554432000 4194304 4196468 140721034515408 140358788101432 140358410557073 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 10481664 140721034519740 140721034519916 140721034519916 140721034522575 0
[pid=3476/tid=3479] ppid=3475 vsize=13269256 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/3476/task/3479/stat : 3479 (java) S 3475 3475 8571 0 -1 1077944384 66 0 0 0 1 1 0 0 20 0 20 0 4833529 13587718144 58408 33554432000 4194304 4196468 140721034515408 140358736485008 140358783874773 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 10481664 140721034519740 140721034519916 140721034519916 140721034522575 0
[pid=3476/tid=3480] ppid=3475 vsize=13269256 CPUtime=0.03 cores=1,3,5,7,9,11,13,15
/proc/3476/task/3480/stat : 3480 (java) S 3475 3475 8571 0 -1 1077944384 80 0 0 0 1 2 0 0 20 0 20 0 4833529 13587718144 58408 33554432000 4194304 4196468 140721034515408 140358735432208 140358783874773 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 10481664 140721034519740 140721034519916 140721034519916 140721034522575 0
[pid=3476/tid=3481] ppid=3475 vsize=13269256 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/3476/task/3481/stat : 3481 (java) S 3475 3475 8571 0 -1 1077944384 24 0 0 0 1 1 0 0 20 0 20 0 4833529 13587718144 58408 33554432000 4194304 4196468 140721034515408 140358734379408 140358783874773 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10481664 140721034519740 140721034519916 140721034519916 140721034522575 0
[pid=3476/tid=3482] ppid=3475 vsize=13269256 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/3476/task/3482/stat : 3482 (java) S 3475 3475 8571 0 -1 1077944384 82 0 0 0 1 1 0 0 20 0 20 0 4833529 13587718144 58408 33554432000 4194304 4196468 140721034515408 140358733326608 140358783874773 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 10481664 140721034519740 140721034519916 140721034519916 140721034522575 0
[pid=3476/tid=3483] ppid=3475 vsize=13269256 CPUtime=0.03 cores=1,3,5,7,9,11,13,15
/proc/3476/task/3483/stat : 3483 (java) S 3475 3475 8571 0 -1 1077944384 61 0 0 0 1 2 0 0 20 0 20 0 4833529 13587718144 58408 33554432000 4194304 4196468 140721034515408 140358732274832 140358783874773 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 10481664 140721034519740 140721034519916 140721034519916 140721034522575 0
[pid=3476/tid=3484] ppid=3475 vsize=13269256 CPUtime=0.03 cores=1,3,5,7,9,11,13,15
/proc/3476/task/3484/stat : 3484 (java) S 3475 3475 8571 0 -1 1077944384 255 0 0 0 1 2 0 0 20 0 20 0 4833529 13587718144 58408 33554432000 4194304 4196468 140721034515408 140358731222032 140358783874773 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 10481664 140721034519740 140721034519916 140721034519916 140721034522575 0
[pid=3476/tid=3485] ppid=3475 vsize=13269256 CPUtime=0.03 cores=1,3,5,7,9,11,13,15
/proc/3476/task/3485/stat : 3485 (java) S 3475 3475 8571 0 -1 1077944384 87 0 0 0 2 1 0 0 20 0 20 0 4833529 13587718144 58408 33554432000 4194304 4196468 140721034515408 140358730169232 140358783874773 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10481664 140721034519740 140721034519916 140721034519916 140721034522575 0
[pid=3476/tid=3486] ppid=3475 vsize=13269256 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/3476/task/3486/stat : 3486 (java) S 3475 3475 8571 0 -1 1077944384 216 0 0 0 1 1 0 0 20 0 20 0 4833529 13587718144 58408 33554432000 4194304 4196468 140721034515408 140358729116432 140358783874773 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 10481664 140721034519740 140721034519916 140721034519916 140721034522575 0
[pid=3476/tid=3487] ppid=3475 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/3476/task/3487/stat : 3487 (java) S 3475 3475 8571 0 -1 1077944384 198 0 0 0 0 0 0 0 20 0 20 0 4833531 13587718144 58408 33554432000 4194304 4196468 140721034515408 140357977196912 140358783875714 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10481664 140721034519740 140721034519916 140721034519916 140721034522575 0
[pid=3476/tid=3488] ppid=3475 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/3476/task/3488/stat : 3488 (java) S 3475 3475 8571 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 20 0 4833531 13587718144 58408 33554432000 4194304 4196468 140721034515408 140357976142880 140358783874773 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 10481664 140721034519740 140721034519916 140721034519916 140721034522575 0
[pid=3476/tid=3489] ppid=3475 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/3476/task/3489/stat : 3489 (java) S 3475 3475 8571 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 20 0 4833531 13587718144 58408 33554432000 4194304 4196468 140721034515408 140357975090032 140358783874773 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10481664 140721034519740 140721034519916 140721034519916 140721034522575 0
[pid=3476/tid=3490] ppid=3475 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/3476/task/3490/stat : 3490 (java) S 3475 3475 8571 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4833535 13587718144 58408 33554432000 4194304 4196468 140721034515408 140357974038352 140358783883163 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 10481664 140721034519740 140721034519916 140721034519916 140721034522575 0
[pid=3476/tid=3491] ppid=3475 vsize=13269256 CPUtime=0.63 cores=1,3,5,7,9,11,13,15
/proc/3476/task/3491/stat : 3491 (java) S 3475 3475 8571 0 -1 1077944384 2260 0 0 0 63 0 0 0 20 0 20 0 4833535 13587718144 58408 33554432000 4194304 4196468 140721034515408 140357972986736 140358783875714 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 10481664 140721034519740 140721034519916 140721034519916 140721034522575 0
[pid=3476/tid=3492] ppid=3475 vsize=13269256 CPUtime=0.64 cores=1,3,5,7,9,11,13,15
/proc/3476/task/3492/stat : 3492 (java) S 3475 3475 8571 0 -1 1077944384 2335 0 0 0 64 0 0 0 20 0 20 0 4833535 13587718144 58408 33554432000 4194304 4196468 140721034515408 140357971933936 140358783875714 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10481664 140721034519740 140721034519916 140721034519916 140721034522575 0
[pid=3476/tid=3493] ppid=3475 vsize=13269256 CPUtime=0.66 cores=1,3,5,7,9,11,13,15
/proc/3476/task/3493/stat : 3493 (java) R 3475 3475 8571 0 -1 4202560 2404 0 0 0 66 0 0 0 20 0 20 0 4833535 13587718144 58408 33554432000 4194304 4196468 140721034515408 140357970867432 140358765040411 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10481664 140721034519740 140721034519916 140721034519916 140721034522575 0
[pid=3476/tid=3494] ppid=3475 vsize=13269256 CPUtime=0.34 cores=1,3,5,7,9,11,13,15
/proc/3476/task/3494/stat : 3494 (java) S 3475 3475 8571 0 -1 1077944384 3307 0 0 0 34 0 0 0 20 0 20 0 4833535 13587718144 58408 33554432000 4194304 4196468 140721034515408 140357969828336 140358783875714 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10481664 140721034519740 140721034519916 140721034519916 140721034522575 0
[pid=3476/tid=3495] ppid=3475 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/3476/task/3495/stat : 3495 (java) S 3475 3475 8571 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4833535 13587718144 58408 33554432000 4194304 4196468 140721034515408 140357968775776 140358783874773 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 10481664 140721034519740 140721034519916 140721034519916 140721034522575 0
[pid=3476/tid=3496] ppid=3475 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/3476/task/3496/stat : 3496 (java) S 3475 3475 8571 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 20 0 4833535 13587718144 58408 33554432000 4194304 4196468 140721034515408 140357967723056 140358783875714 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10481664 140721034519740 140721034519916 140721034519916 140721034522575 0
Current children cumulated CPU time (s) 4.05
Current children cumulated vsize (KiB) 13278768
[startup+3.10082 s]
/proc/loadavg: 15.54 15.59 14.03 11/292 3496
/proc/meminfo: memFree=30684868/32770624 swapFree=5884/292328
[pid=3475] ppid=3472 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/3475/stat : 3475 (xcsp3-exec) S 3472 3475 8571 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4833527 9740288 346 33554432000 4194304 5098028 140723548355040 140723548353144 139971041436284 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 32772096 140723548357774 140723548357984 140723548357984 140723548360683 0
/proc/3475/statm: 2378 346 289 221 0 87 0
[pid=3476] ppid=3475 vsize=13269256 CPUtime=7.67 cores=1,3,5,7,9,11,13,15
/proc/3476/stat : 3476 (java) S 3475 3475 8571 0 -1 1077944320 24398 0 0 0 729 38 0 0 20 0 20 0 4833528 13587718144 103071 33554432000 4194304 4196468 140721034515408 140721034497952 140358783864567 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 10481664 140721034519740 140721034519916 140721034519916 140721034522575 0
/proc/3476/statm: 3317314 103071 3243 1 0 3304547 0
[pid=3476/tid=3477] ppid=3475 vsize=13269256 CPUtime=2.99 cores=1,3,5,7,9,11,13,15
/proc/3476/task/3477/stat : 3477 (java) R 3475 3475 8571 0 -1 4202560 7931 0 0 0 292 7 0 0 20 0 20 0 4833528 13587718144 103071 33554432000 4194304 4196468 140721034515408 140358788101912 140358411221331 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 10481664 140721034519740 140721034519916 140721034519916 140721034522575 0
[pid=3476/tid=3479] ppid=3475 vsize=13269256 CPUtime=0.05 cores=1,3,5,7,9,11,13,15
/proc/3476/task/3479/stat : 3479 (java) S 3475 3475 8571 0 -1 1077944384 86 0 0 0 3 2 0 0 20 0 20 0 4833529 13587718144 103071 33554432000 4194304 4196468 140721034515408 140358736485008 140358783874773 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 10481664 140721034519740 140721034519916 140721034519916 140721034522575 0
[pid=3476/tid=3480] ppid=3475 vsize=13269256 CPUtime=0.05 cores=1,3,5,7,9,11,13,15
/proc/3476/task/3480/stat : 3480 (java) S 3475 3475 8571 0 -1 1077944384 91 0 0 0 2 3 0 0 20 0 20 0 4833529 13587718144 103071 33554432000 4194304 4196468 140721034515408 140358735432208 140358783874773 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 10481664 140721034519740 140721034519916 140721034519916 140721034522575 0
[pid=3476/tid=3481] ppid=3475 vsize=13269256 CPUtime=0.04 cores=1,3,5,7,9,11,13,15
/proc/3476/task/3481/stat : 3481 (java) S 3475 3475 8571 0 -1 1077944384 45 0 0 0 1 3 0 0 20 0 20 0 4833529 13587718144 103071 33554432000 4194304 4196468 140721034515408 140358734379408 140358783874773 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 10481664 140721034519740 140721034519916 140721034519916 140721034522575 0
[pid=3476/tid=3482] ppid=3475 vsize=13269256 CPUtime=0.03 cores=1,3,5,7,9,11,13,15
/proc/3476/task/3482/stat : 3482 (java) S 3475 3475 8571 0 -1 1077944384 92 0 0 0 1 2 0 0 20 0 20 0 4833529 13587718144 103071 33554432000 4194304 4196468 140721034515408 140358733326608 140358783874773 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10481664 140721034519740 140721034519916 140721034519916 140721034522575 0
[pid=3476/tid=3483] ppid=3475 vsize=13269256 CPUtime=0.06 cores=1,3,5,7,9,11,13,15
/proc/3476/task/3483/stat : 3483 (java) S 3475 3475 8571 0 -1 1077944384 82 0 0 0 2 4 0 0 20 0 20 0 4833529 13587718144 103071 33554432000 4194304 4196468 140721034515408 140358732274832 140358783874773 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10481664 140721034519740 140721034519916 140721034519916 140721034522575 0
[pid=3476/tid=3484] ppid=3475 vsize=13269256 CPUtime=0.04 cores=1,3,5,7,9,11,13,15
/proc/3476/task/3484/stat : 3484 (java) S 3475 3475 8571 0 -1 1077944384 262 0 0 0 2 2 0 0 20 0 20 0 4833529 13587718144 103071 33554432000 4194304 4196468 140721034515408 140358731222032 140358783874773 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 10481664 140721034519740 140721034519916 140721034519916 140721034522575 0
[pid=3476/tid=3485] ppid=3475 vsize=13269256 CPUtime=0.06 cores=1,3,5,7,9,11,13,15
/proc/3476/task/3485/stat : 3485 (java) S 3475 3475 8571 0 -1 1077944384 105 0 0 0 3 3 0 0 20 0 20 0 4833529 13587718144 103071 33554432000 4194304 4196468 140721034515408 140358730169232 140358783874773 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10481664 140721034519740 140721034519916 140721034519916 140721034522575 0
[pid=3476/tid=3486] ppid=3475 vsize=13269256 CPUtime=0.05 cores=1,3,5,7,9,11,13,15
/proc/3476/task/3486/stat : 3486 (java) S 3475 3475 8571 0 -1 1077944384 238 0 0 0 3 2 0 0 20 0 20 0 4833529 13587718144 103071 33554432000 4194304 4196468 140721034515408 140358729116432 140358783874773 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10481664 140721034519740 140721034519916 140721034519916 140721034522575 0
[pid=3476/tid=3487] ppid=3475 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/3476/task/3487/stat : 3487 (java) S 3475 3475 8571 0 -1 1077944384 453 0 0 0 0 0 0 0 20 0 20 0 4833531 13587718144 103071 33554432000 4194304 4196468 140721034515408 140357977196912 140358783875714 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10481664 140721034519740 140721034519916 140721034519916 140721034522575 0
[pid=3476/tid=3488] ppid=3475 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/3476/task/3488/stat : 3488 (java) S 3475 3475 8571 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 20 0 4833531 13587718144 103071 33554432000 4194304 4196468 140721034515408 140357976142944 140358783874773 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 10481664 140721034519740 140721034519916 140721034519916 140721034522575 0
[pid=3476/tid=3489] ppid=3475 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/3476/task/3489/stat : 3489 (java) S 3475 3475 8571 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 20 0 4833531 13587718144 103071 33554432000 4194304 4196468 140721034515408 140357975090048 140358783874773 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 10481664 140721034519740 140721034519916 140721034519916 140721034522575 0
[pid=3476/tid=3490] ppid=3475 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/3476/task/3490/stat : 3490 (java) S 3475 3475 8571 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4833535 13587718144 103071 33554432000 4194304 4196468 140721034515408 140357974038352 140358783883163 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 10481664 140721034519740 140721034519916 140721034519916 140721034522575 0
[pid=3476/tid=3491] ppid=3475 vsize=13269256 CPUtime=1.15 cores=1,3,5,7,9,11,13,15
/proc/3476/task/3491/stat : 3491 (java) S 3475 3475 8571 0 -1 1077944384 3207 0 0 0 115 0 0 0 20 0 20 0 4833535 13587718144 103071 33554432000 4194304 4196468 140721034515408 140357972986736 140358783875714 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10481664 140721034519740 140721034519916 140721034519916 140721034522575 0
[pid=3476/tid=3492] ppid=3475 vsize=13269256 CPUtime=1.13 cores=1,3,5,7,9,11,13,15
/proc/3476/task/3492/stat : 3492 (java) S 3475 3475 8571 0 -1 1077944384 3190 0 0 0 112 1 0 0 20 0 20 0 4833535 13587718144 103071 33554432000 4194304 4196468 140721034515408 140357971933936 140358783875714 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 10481664 140721034519740 140721034519916 140721034519916 140721034522575 0
[pid=3476/tid=3493] ppid=3475 vsize=13269256 CPUtime=1.43 cores=1,3,5,7,9,11,13,15
/proc/3476/task/3493/stat : 3493 (java) S 3475 3475 8571 0 -1 1077944384 3391 0 0 0 142 1 0 0 20 0 20 0 4833535 13587718144 103071 33554432000 4194304 4196468 140721034515408 140357970881136 140358783875714 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10481664 140721034519740 140721034519916 140721034519916 140721034522575 0
[pid=3476/tid=3494] ppid=3475 vsize=13269256 CPUtime=0.44 cores=1,3,5,7,9,11,13,15
/proc/3476/task/3494/stat : 3494 (java) S 3475 3475 8571 0 -1 1077944384 3856 0 0 0 43 1 0 0 20 0 20 0 4833535 13587718144 103071 33554432000 4194304 4196468 140721034515408 140357969828336 140358783875714 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10481664 140721034519740 140721034519916 140721034519916 140721034522575 0
[pid=3476/tid=3495] ppid=3475 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/3476/task/3495/stat : 3495 (java) S 3475 3475 8571 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4833535 13587718144 103071 33554432000 4194304 4196468 140721034515408 140357968775776 140358783874773 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 10481664 140721034519740 140721034519916 140721034519916 140721034522575 0
[pid=3476/tid=3496] ppid=3475 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/3476/task/3496/stat : 3496 (java) S 3475 3475 8571 0 -1 1077944384 18 0 0 0 0 0 0 0 20 0 20 0 4833535 13587718144 103071 33554432000 4194304 4196468 140721034515408 140357967723056 140358783875714 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 10481664 140721034519740 140721034519916 140721034519916 140721034522575 0
Current children cumulated CPU time (s) 7.67
Current children cumulated vsize (KiB) 13278768
[startup+6.3011 s]
/proc/loadavg: 15.02 15.48 14.00 10/292 3496
/proc/meminfo: memFree=30210832/32770624 swapFree=5884/292352
[pid=3475] ppid=3472 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/3475/stat : 3475 (xcsp3-exec) S 3472 3475 8571 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4833527 9740288 346 33554432000 4194304 5098028 140723548355040 140723548353144 139971041436284 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 32772096 140723548357774 140723548357984 140723548357984 140723548360683 0
/proc/3475/statm: 2378 346 289 221 0 87 0
[pid=3476] ppid=3475 vsize=13269256 CPUtime=11.8 cores=1,3,5,7,9,11,13,15
/proc/3476/stat : 3476 (java) S 3475 3475 8571 0 -1 1077944320 25915 0 0 0 1086 94 0 0 20 0 20 0 4833528 13587718144 214204 33554432000 4194304 4196468 140721034515408 140721034497952 140358783864567 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 10481664 140721034519740 140721034519916 140721034519916 140721034522575 0
/proc/3476/statm: 3317314 214204 3243 1 0 3304547 0
[pid=3476/tid=3477] ppid=3475 vsize=13269256 CPUtime=6.01 cores=1,3,5,7,9,11,13,15
/proc/3476/task/3477/stat : 3477 (java) R 3475 3475 8571 0 -1 4202560 8351 0 0 0 591 10 0 0 20 0 20 0 4833528 13587718144 214204 33554432000 4194304 4196468 140721034515408 140358788103496 140358766327340 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 10481664 140721034519740 140721034519916 140721034519916 140721034522575 0
[pid=3476/tid=3479] ppid=3475 vsize=13269256 CPUtime=0.18 cores=1,3,5,7,9,11,13,15
/proc/3476/task/3479/stat : 3479 (java) S 3475 3475 8571 0 -1 1077944384 155 0 0 0 9 9 0 0 20 0 20 0 4833529 13587718144 214204 33554432000 4194304 4196468 140721034515408 140358736485008 140358783874773 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 10481664 140721034519740 140721034519916 140721034519916 140721034522575 0
[pid=3476/tid=3480] ppid=3475 vsize=13269256 CPUtime=0.18 cores=1,3,5,7,9,11,13,15
/proc/3476/task/3480/stat : 3480 (java) S 3475 3475 8571 0 -1 1077944384 148 0 0 0 8 10 0 0 20 0 20 0 4833529 13587718144 214204 33554432000 4194304 4196468 140721034515408 140358735432208 140358783874773 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 10481664 140721034519740 140721034519916 140721034519916 140721034522575 0
[pid=3476/tid=3481] ppid=3475 vsize=13269256 CPUtime=0.18 cores=1,3,5,7,9,11,13,15
/proc/3476/task/3481/stat : 3481 (java) S 3475 3475 8571 0 -1 1077944384 124 0 0 0 8 10 0 0 20 0 20 0 4833529 13587718144 214204 33554432000 4194304 4196468 140721034515408 140358734379408 140358783874773 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 10481664 140721034519740 140721034519916 140721034519916 140721034522575 0
[pid=3476/tid=3482] ppid=3475 vsize=13269256 CPUtime=0.15 cores=1,3,5,7,9,11,13,15
/proc/3476/task/3482/stat : 3482 (java) S 3475 3475 8571 0 -1 1077944384 161 0 0 0 6 9 0 0 20 0 20 0 4833529 13587718144 214204 33554432000 4194304 4196468 140721034515408 140358733326608 140358783874773 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10481664 140721034519740 140721034519916 140721034519916 140721034522575 0
[pid=3476/tid=3483] ppid=3475 vsize=13269256 CPUtime=0.19 cores=1,3,5,7,9,11,13,15
/proc/3476/task/3483/stat : 3483 (java) S 3475 3475 8571 0 -1 1077944384 144 0 0 0 9 10 0 0 20 0 20 0 4833529 13587718144 214204 33554432000 4194304 4196468 140721034515408 140358732274832 140358783874773 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10481664 140721034519740 140721034519916 140721034519916 140721034522575 0
[pid=3476/tid=3484] ppid=3475 vsize=13269256 CPUtime=0.18 cores=1,3,5,7,9,11,13,15
/proc/3476/task/3484/stat : 3484 (java) S 3475 3475 8571 0 -1 1077944384 345 0 0 0 9 9 0 0 20 0 20 0 4833529 13587718144 214204 33554432000 4194304 4196468 140721034515408 140358731222032 140358783874773 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10481664 140721034519740 140721034519916 140721034519916 140721034522575 0
[pid=3476/tid=3485] ppid=3475 vsize=13269256 CPUtime=0.18 cores=1,3,5,7,9,11,13,15
/proc/3476/task/3485/stat : 3485 (java) S 3475 3475 8571 0 -1 1077944384 161 0 0 0 9 9 0 0 20 0 20 0 4833529 13587718144 214204 33554432000 4194304 4196468 140721034515408 140358730169232 140358783874773 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 10481664 140721034519740 140721034519916 140721034519916 140721034522575 0
[pid=3476/tid=3486] ppid=3475 vsize=13269256 CPUtime=0.18 cores=1,3,5,7,9,11,13,15
/proc/3476/task/3486/stat : 3486 (java) S 3475 3475 8571 0 -1 1077944384 323 0 0 0 9 9 0 0 20 0 20 0 4833529 13587718144 214204 33554432000 4194304 4196468 140721034515408 140358729116432 140358783874773 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10481664 140721034519740 140721034519916 140721034519916 140721034522575 0
[pid=3476/tid=3487] ppid=3475 vsize=13269256 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/3476/task/3487/stat : 3487 (java) S 3475 3475 8571 0 -1 1077944384 797 0 0 0 1 0 0 0 20 0 20 0 4833531 13587718144 214204 33554432000 4194304 4196468 140721034515408 140357977196912 140358783875714 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 3 0 0 6293624 6294260 10481664 140721034519740 140721034519916 140721034519916 140721034522575 0
[pid=3476/tid=3488] ppid=3475 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/3476/task/3488/stat : 3488 (java) S 3475 3475 8571 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 20 0 4833531 13587718144 214204 33554432000 4194304 4196468 140721034515408 140357976142944 140358783874773 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 10481664 140721034519740 140721034519916 140721034519916 140721034522575 0
[pid=3476/tid=3489] ppid=3475 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/3476/task/3489/stat : 3489 (java) S 3475 3475 8571 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 20 0 4833531 13587718144 214204 33554432000 4194304 4196468 140721034515408 140357975090048 140358783874773 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10481664 140721034519740 140721034519916 140721034519916 140721034522575 0
[pid=3476/tid=3490] ppid=3475 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/3476/task/3490/stat : 3490 (java) S 3475 3475 8571 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4833535 13587718144 214204 33554432000 4194304 4196468 140721034515408 140357974038352 140358783883163 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 10481664 140721034519740 140721034519916 140721034519916 140721034522575 0
################
# More data... #
################
[pid=3476/tid=3503] ppid=3475 vsize=13801768 CPUtime=212.42 cores=1,3,5,7,9,11,13,15
/proc/3476/task/3503/stat : 3503 (java) R 3475 3475 8571 0 -1 4202560 2221 0 0 0 21239 3 0 0 20 0 28 0 4834308 14133010432 812138 33554432000 4194304 4196468 140721034515408 140357953892120 140358413534136 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 10481664 140721034519740 140721034519916 140721034519916 140721034522575 0
[pid=3476/tid=3504] ppid=3475 vsize=13801768 CPUtime=211.62 cores=1,3,5,7,9,11,13,15
/proc/3476/task/3504/stat : 3504 (java) R 3475 3475 8571 0 -1 4202560 1973 0 0 0 21160 2 0 0 20 0 28 0 4834308 14133010432 812138 33554432000 4194304 4196468 140721034515408 140357952838864 140358413536154 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10481664 140721034519740 140721034519916 140721034519916 140721034522575 0
Current children cumulated CPU time (s) 1721.27
Current children cumulated vsize (KiB) 13811280
[startup+282.301 s]
/proc/loadavg: 11.23 14.16 13.93 10/291 3598
/proc/meminfo: memFree=17922936/32770624 swapFree=5884/293164
[pid=3475] ppid=3472 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/3475/stat : 3475 (xcsp3-exec) S 3472 3475 8571 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4833527 9740288 346 33554432000 4194304 5098028 140723548355040 140723548353144 139971041436284 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 32772096 140723548357774 140723548357984 140723548357984 140723548360683 0
/proc/3475/statm: 2378 346 289 221 0 87 0
[pid=3476] ppid=3475 vsize=13801768 CPUtime=2199.13 cores=1,3,5,7,9,11,13,15
/proc/3476/stat : 3476 (java) S 3475 3475 8571 0 -1 1077944320 104005 0 0 0 219565 348 0 0 20 0 28 0 4833528 14133010432 814311 33554432000 4194304 4196468 140721034515408 140721034497952 140358783864567 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 10481664 140721034519740 140721034519916 140721034519916 140721034522575 0
/proc/3476/statm: 3450442 814311 3292 1 0 3437675 0
[pid=3476/tid=3477] ppid=3475 vsize=13801768 CPUtime=7.51 cores=1,3,5,7,9,11,13,15
/proc/3476/task/3477/stat : 3477 (java) S 3475 3475 8571 0 -1 1077944384 8581 0 0 0 740 11 0 0 20 0 28 0 4833528 14133010432 814311 33554432000 4194304 4196468 140721034515408 140358788105344 140358783874773 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10481664 140721034519740 140721034519916 140721034519916 140721034522575 0
[pid=3476/tid=3479] ppid=3475 vsize=13801768 CPUtime=0.9 cores=1,3,5,7,9,11,13,15
/proc/3476/task/3479/stat : 3479 (java) S 3475 3475 8571 0 -1 1077944384 882 0 0 0 57 33 0 0 20 0 28 0 4833529 14133010432 814311 33554432000 4194304 4196468 140721034515408 140358736485008 140358783874773 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10481664 140721034519740 140721034519916 140721034519916 140721034522575 0
[pid=3476/tid=3480] ppid=3475 vsize=13801768 CPUtime=0.87 cores=1,3,5,7,9,11,13,15
/proc/3476/task/3480/stat : 3480 (java) S 3475 3475 8571 0 -1 1077944384 1099 0 0 0 53 34 0 0 20 0 28 0 4833529 14133010432 814311 33554432000 4194304 4196468 140721034515408 140358735432208 140358783874773 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10481664 140721034519740 140721034519916 140721034519916 140721034522575 0
[pid=3476/tid=3481] ppid=3475 vsize=13801768 CPUtime=0.88 cores=1,3,5,7,9,11,13,15
/proc/3476/task/3481/stat : 3481 (java) S 3475 3475 8571 0 -1 1077944384 577 0 0 0 51 37 0 0 20 0 28 0 4833529 14133010432 814311 33554432000 4194304 4196468 140721034515408 140358734379408 140358783874773 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 10481664 140721034519740 140721034519916 140721034519916 140721034522575 0
[pid=3476/tid=3482] ppid=3475 vsize=13801768 CPUtime=0.89 cores=1,3,5,7,9,11,13,15
/proc/3476/task/3482/stat : 3482 (java) S 3475 3475 8571 0 -1 1077944384 1060 0 0 0 54 35 0 0 20 0 28 0 4833529 14133010432 814311 33554432000 4194304 4196468 140721034515408 140358733326608 140358783874773 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10481664 140721034519740 140721034519916 140721034519916 140721034522575 0
[pid=3476/tid=3483] ppid=3475 vsize=13801768 CPUtime=0.9 cores=1,3,5,7,9,11,13,15
/proc/3476/task/3483/stat : 3483 (java) S 3475 3475 8571 0 -1 1077944384 1278 0 0 0 59 31 0 0 20 0 28 0 4833529 14133010432 814311 33554432000 4194304 4196468 140721034515408 140358732274832 140358783874773 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 10481664 140721034519740 140721034519916 140721034519916 140721034522575 0
[pid=3476/tid=3484] ppid=3475 vsize=13801768 CPUtime=0.85 cores=1,3,5,7,9,11,13,15
/proc/3476/task/3484/stat : 3484 (java) S 3475 3475 8571 0 -1 1077944384 1185 0 0 0 51 34 0 0 20 0 28 0 4833529 14133010432 814311 33554432000 4194304 4196468 140721034515408 140358731222032 140358783874773 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10481664 140721034519740 140721034519916 140721034519916 140721034522575 0
[pid=3476/tid=3485] ppid=3475 vsize=13801768 CPUtime=0.92 cores=1,3,5,7,9,11,13,15
/proc/3476/task/3485/stat : 3485 (java) S 3475 3475 8571 0 -1 1077944384 1044 0 0 0 58 34 0 0 20 0 28 0 4833529 14133010432 814311 33554432000 4194304 4196468 140721034515408 140358730169232 140358783874773 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10481664 140721034519740 140721034519916 140721034519916 140721034522575 0
[pid=3476/tid=3486] ppid=3475 vsize=13801768 CPUtime=0.89 cores=1,3,5,7,9,11,13,15
/proc/3476/task/3486/stat : 3486 (java) S 3475 3475 8571 0 -1 1077944384 1946 0 0 0 55 34 0 0 20 0 28 0 4833529 14133010432 814311 33554432000 4194304 4196468 140721034515408 140358729116432 140358783874773 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 10481664 140721034519740 140721034519916 140721034519916 140721034522575 0
[pid=3476/tid=3487] ppid=3475 vsize=13801768 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/3476/task/3487/stat : 3487 (java) S 3475 3475 8571 0 -1 1077944384 5982 0 0 0 8 5 0 0 20 0 28 0 4833531 14133010432 814311 33554432000 4194304 4196468 140721034515408 140357977196912 140358783875714 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 3 0 0 6293624 6294260 10481664 140721034519740 140721034519916 140721034519916 140721034522575 0
[pid=3476/tid=3488] ppid=3475 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/3476/task/3488/stat : 3488 (java) S 3475 3475 8571 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 28 0 4833531 14133010432 814311 33554432000 4194304 4196468 140721034515408 140357976142944 140358783874773 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 10481664 140721034519740 140721034519916 140721034519916 140721034522575 0
[pid=3476/tid=3489] ppid=3475 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/3476/task/3489/stat : 3489 (java) S 3475 3475 8571 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 28 0 4833531 14133010432 814311 33554432000 4194304 4196468 140721034515408 140357975090048 140358783874773 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10481664 140721034519740 140721034519916 140721034519916 140721034522575 0
[pid=3476/tid=3490] ppid=3475 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/3476/task/3490/stat : 3490 (java) S 3475 3475 8571 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4833535 14133010432 814311 33554432000 4194304 4196468 140721034515408 140357974038352 140358783883163 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 10481664 140721034519740 140721034519916 140721034519916 140721034522575 0
[pid=3476/tid=3491] ppid=3475 vsize=13801768 CPUtime=3.48 cores=1,3,5,7,9,11,13,15
/proc/3476/task/3491/stat : 3491 (java) S 3475 3475 8571 0 -1 1077944384 16878 0 0 0 346 2 0 0 20 0 28 0 4833535 14133010432 814311 33554432000 4194304 4196468 140721034515408 140357972986736 140358783875714 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10481664 140721034519740 140721034519916 140721034519916 140721034522575 0
[pid=3476/tid=3492] ppid=3475 vsize=13801768 CPUtime=3.93 cores=1,3,5,7,9,11,13,15
/proc/3476/task/3492/stat : 3492 (java) S 3475 3475 8571 0 -1 1077944384 15535 0 0 0 390 3 0 0 20 0 28 0 4833535 14133010432 814311 33554432000 4194304 4196468 140721034515408 140357971933936 140358783875714 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10481664 140721034519740 140721034519916 140721034519916 140721034522575 0
[pid=3476/tid=3493] ppid=3475 vsize=13801768 CPUtime=3.64 cores=1,3,5,7,9,11,13,15
/proc/3476/task/3493/stat : 3493 (java) S 3475 3475 8571 0 -1 1077944384 14331 0 0 0 361 3 0 0 20 0 28 0 4833535 14133010432 814311 33554432000 4194304 4196468 140721034515408 140357970881136 140358783875714 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10481664 140721034519740 140721034519916 140721034519916 140721034522575 0
[pid=3476/tid=3494] ppid=3475 vsize=13801768 CPUtime=0.86 cores=1,3,5,7,9,11,13,15
/proc/3476/task/3494/stat : 3494 (java) S 3475 3475 8571 0 -1 1077944384 9374 0 0 0 84 2 0 0 20 0 28 0 4833535 14133010432 814311 33554432000 4194304 4196468 140721034515408 140357969828336 140358783875714 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 12 0 0 6293624 6294260 10481664 140721034519740 140721034519916 140721034519916 140721034522575 0
[pid=3476/tid=3495] ppid=3475 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/3476/task/3495/stat : 3495 (java) S 3475 3475 8571 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4833535 14133010432 814311 33554432000 4194304 4196468 140721034515408 140357968775776 140358783874773 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 10481664 140721034519740 140721034519916 140721034519916 140721034522575 0
[pid=3476/tid=3496] ppid=3475 vsize=13801768 CPUtime=0.18 cores=1,3,5,7,9,11,13,15
/proc/3476/task/3496/stat : 3496 (java) S 3475 3475 8571 0 -1 1077944384 1343 0 0 0 9 9 0 0 20 0 28 0 4833535 14133010432 814311 33554432000 4194304 4196468 140721034515408 140357967723056 140358783875714 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 16 0 0 6293624 6294260 10481664 140721034519740 140721034519916 140721034519916 140721034522575 0
[pid=3476/tid=3497] ppid=3475 vsize=13801768 CPUtime=271.41 cores=1,3,5,7,9,11,13,15
/proc/3476/task/3497/stat : 3497 (java) R 3475 3475 8571 0 -1 4202560 2860 0 0 0 27136 5 0 0 20 0 28 0 4834307 14133010432 814311 33554432000 4194304 4196468 140721034515408 140357960206760 140358413535637 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 10481664 140721034519740 140721034519916 140721034519916 140721034522575 0
[pid=3476/tid=3498] ppid=3475 vsize=13801768 CPUtime=272.71 cores=1,3,5,7,9,11,13,15
/proc/3476/task/3498/stat : 3498 (java) R 3475 3475 8571 0 -1 4202560 3150 0 0 0 27269 2 0 0 20 0 28 0 4834307 14133010432 814311 33554432000 4194304 4196468 140721034515408 140357959155096 140358413065315 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 10481664 140721034519740 140721034519916 140721034519916 140721034522575 0
[pid=3476/tid=3499] ppid=3475 vsize=13801768 CPUtime=271.18 cores=1,3,5,7,9,11,13,15
/proc/3476/task/3499/stat : 3499 (java) R 3475 3475 8571 0 -1 4202560 3579 0 0 0 27112 6 0 0 20 0 28 0 4834307 14133010432 814311 33554432000 4194304 4196468 140721034515408 140357958104024 140358413535669 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 10481664 140721034519740 140721034519916 140721034519916 140721034522575 0
[pid=3476/tid=3500] ppid=3475 vsize=13801768 CPUtime=270.98 cores=1,3,5,7,9,11,13,15
/proc/3476/task/3500/stat : 3500 (java) R 3475 3475 8571 0 -1 4202560 2784 0 0 0 27093 5 0 0 20 0 28 0 4834308 14133010432 814311 33554432000 4194304 4196468 140721034515408 140357957050520 140358413534682 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10481664 140721034519740 140721034519916 140721034519916 140721034522575 0
[pid=3476/tid=3501] ppid=3475 vsize=13801768 CPUtime=269.35 cores=1,3,5,7,9,11,13,15
/proc/3476/task/3501/stat : 3501 (java) R 3475 3475 8571 0 -1 4202560 2084 0 0 0 26928 7 0 0 20 0 28 0 4834308 14133010432 814311 33554432000 4194304 4196468 140721034515408 140357955997472 140358413535752 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10481664 140721034519740 140721034519916 140721034519916 140721034522575 0
[pid=3476/tid=3502] ppid=3475 vsize=13801768 CPUtime=272.56 cores=1,3,5,7,9,11,13,15
/proc/3476/task/3502/stat : 3502 (java) R 3475 3475 8571 0 -1 4202560 1741 0 0 0 27254 2 0 0 20 0 28 0 4834308 14133010432 814311 33554432000 4194304 4196468 140721034515408 140357954944920 140358413535761 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10481664 140721034519740 140721034519916 140721034519916 140721034522575 0
[pid=3476/tid=3503] ppid=3475 vsize=13801768 CPUtime=272.33 cores=1,3,5,7,9,11,13,15
/proc/3476/task/3503/stat : 3503 (java) R 3475 3475 8571 0 -1 4202560 3070 0 0 0 27230 3 0 0 20 0 28 0 4834308 14133010432 814311 33554432000 4194304 4196468 140721034515408 140357953892264 140358413535729 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 10481664 140721034519740 140721034519916 140721034519916 140721034522575 0
[pid=3476/tid=3504] ppid=3475 vsize=13801768 CPUtime=271.53 cores=1,3,5,7,9,11,13,15
/proc/3476/task/3504/stat : 3504 (java) R 3475 3475 8571 0 -1 4202560 2278 0 0 0 27150 3 0 0 20 0 28 0 4834308 14133010432 814311 33554432000 4194304 4196468 140721034515408 140357952839160 140358413535637 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 10481664 140721034519740 140721034519916 140721034519916 140721034522575 0
Current children cumulated CPU time (s) 2199.13
Current children cumulated vsize (KiB) 13811280
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+307.602 s]
/proc/loadavg: 11.69 14.01 13.89 17/299 4141
/proc/meminfo: memFree=27048372/32770624 swapFree=5884/293244
[pid=3475] ppid=3472 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/3475/stat : 3475 (xcsp3-exec) S 3472 3475 8571 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4833527 9740288 346 33554432000 4194304 5098028 140723548355040 140723548353144 139971041436284 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 32772096 140723548357774 140723548357984 140723548357984 140723548360683 0
/proc/3475/statm: 2378 346 289 221 0 87 0
[pid=3476] ppid=3475 vsize=13801768 CPUtime=2400.69 cores=1,3,5,7,9,11,13,15
/proc/3476/stat : 3476 (java) S 3475 3475 8571 0 -1 1077944320 108506 0 0 0 239712 357 0 0 20 0 28 0 4833528 14133010432 890858 33554432000 4194304 4196468 140721034515408 140721034497952 140358783864567 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 10481664 140721034519740 140721034519916 140721034519916 140721034522575 0
/proc/3476/statm: 3450442 890858 3292 1 0 3437675 0
[pid=3476/tid=3477] ppid=3475 vsize=13801768 CPUtime=7.51 cores=1,3,5,7,9,11,13,15
/proc/3476/task/3477/stat : 3477 (java) S 3475 3475 8571 0 -1 1077944384 8581 0 0 0 740 11 0 0 20 0 28 0 4833528 14133010432 890858 33554432000 4194304 4196468 140721034515408 140358788105344 140358783874773 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10481664 140721034519740 140721034519916 140721034519916 140721034522575 0
[pid=3476/tid=3479] ppid=3475 vsize=13801768 CPUtime=0.91 cores=1,3,5,7,9,11,13,15
/proc/3476/task/3479/stat : 3479 (java) S 3475 3475 8571 0 -1 1077944384 1191 0 0 0 58 33 0 0 20 0 28 0 4833529 14133010432 890858 33554432000 4194304 4196468 140721034515408 140358736485008 140358783874773 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10481664 140721034519740 140721034519916 140721034519916 140721034522575 0
[pid=3476/tid=3480] ppid=3475 vsize=13801768 CPUtime=0.88 cores=1,3,5,7,9,11,13,15
/proc/3476/task/3480/stat : 3480 (java) S 3475 3475 8571 0 -1 1077944384 1430 0 0 0 53 35 0 0 20 0 28 0 4833529 14133010432 890858 33554432000 4194304 4196468 140721034515408 140358735432208 140358783874773 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 10481664 140721034519740 140721034519916 140721034519916 140721034522575 0
[pid=3476/tid=3481] ppid=3475 vsize=13801768 CPUtime=0.88 cores=1,3,5,7,9,11,13,15
/proc/3476/task/3481/stat : 3481 (java) S 3475 3475 8571 0 -1 1077944384 743 0 0 0 51 37 0 0 20 0 28 0 4833529 14133010432 890858 33554432000 4194304 4196468 140721034515408 140358734379408 140358783874773 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 10481664 140721034519740 140721034519916 140721034519916 140721034522575 0
[pid=3476/tid=3482] ppid=3475 vsize=13801768 CPUtime=0.9 cores=1,3,5,7,9,11,13,15
/proc/3476/task/3482/stat : 3482 (java) S 3475 3475 8571 0 -1 1077944384 1132 0 0 0 55 35 0 0 20 0 28 0 4833529 14133010432 890858 33554432000 4194304 4196468 140721034515408 140358733326608 140358783874773 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10481664 140721034519740 140721034519916 140721034519916 140721034522575 0
[pid=3476/tid=3483] ppid=3475 vsize=13801768 CPUtime=0.91 cores=1,3,5,7,9,11,13,15
/proc/3476/task/3483/stat : 3483 (java) S 3475 3475 8571 0 -1 1077944384 1340 0 0 0 60 31 0 0 20 0 28 0 4833529 14133010432 890858 33554432000 4194304 4196468 140721034515408 140358732274832 140358783874773 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 10481664 140721034519740 140721034519916 140721034519916 140721034522575 0
[pid=3476/tid=3484] ppid=3475 vsize=13801768 CPUtime=0.86 cores=1,3,5,7,9,11,13,15
/proc/3476/task/3484/stat : 3484 (java) S 3475 3475 8571 0 -1 1077944384 1249 0 0 0 52 34 0 0 20 0 28 0 4833529 14133010432 890858 33554432000 4194304 4196468 140721034515408 140358731222032 140358783874773 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10481664 140721034519740 140721034519916 140721034519916 140721034522575 0
[pid=3476/tid=3485] ppid=3475 vsize=13801768 CPUtime=0.93 cores=1,3,5,7,9,11,13,15
/proc/3476/task/3485/stat : 3485 (java) S 3475 3475 8571 0 -1 1077944384 1149 0 0 0 58 35 0 0 20 0 28 0 4833529 14133010432 890858 33554432000 4194304 4196468 140721034515408 140358730169232 140358783874773 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10481664 140721034519740 140721034519916 140721034519916 140721034522575 0
[pid=3476/tid=3486] ppid=3475 vsize=13801768 CPUtime=0.9 cores=1,3,5,7,9,11,13,15
/proc/3476/task/3486/stat : 3486 (java) S 3475 3475 8571 0 -1 1077944384 2030 0 0 0 56 34 0 0 20 0 28 0 4833529 14133010432 890858 33554432000 4194304 4196468 140721034515408 140358729116432 140358783874773 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 10481664 140721034519740 140721034519916 140721034519916 140721034522575 0
[pid=3476/tid=3487] ppid=3475 vsize=13801768 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/3476/task/3487/stat : 3487 (java) S 3475 3475 8571 0 -1 1077944384 6227 0 0 0 8 5 0 0 20 0 28 0 4833531 14133010432 890858 33554432000 4194304 4196468 140721034515408 140357977196912 140358783875714 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 3 0 0 6293624 6294260 10481664 140721034519740 140721034519916 140721034519916 140721034522575 0
[pid=3476/tid=3488] ppid=3475 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/3476/task/3488/stat : 3488 (java) S 3475 3475 8571 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 28 0 4833531 14133010432 890858 33554432000 4194304 4196468 140721034515408 140357976142944 140358783874773 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 10481664 140721034519740 140721034519916 140721034519916 140721034522575 0
[pid=3476/tid=3489] ppid=3475 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/3476/task/3489/stat : 3489 (java) S 3475 3475 8571 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 28 0 4833531 14133010432 890858 33554432000 4194304 4196468 140721034515408 140357975090048 140358783874773 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10481664 140721034519740 140721034519916 140721034519916 140721034522575 0
[pid=3476/tid=3490] ppid=3475 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/3476/task/3490/stat : 3490 (java) S 3475 3475 8571 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4833535 14133010432 890858 33554432000 4194304 4196468 140721034515408 140357974038352 140358783883163 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 10481664 140721034519740 140721034519916 140721034519916 140721034522575 0
[pid=3476/tid=3491] ppid=3475 vsize=13801768 CPUtime=3.49 cores=1,3,5,7,9,11,13,15
/proc/3476/task/3491/stat : 3491 (java) S 3475 3475 8571 0 -1 1077944384 17280 0 0 0 347 2 0 0 20 0 28 0 4833535 14133010432 890858 33554432000 4194304 4196468 140721034515408 140357972986736 140358783875714 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10481664 140721034519740 140721034519916 140721034519916 140721034522575 0
[pid=3476/tid=3492] ppid=3475 vsize=13801768 CPUtime=3.93 cores=1,3,5,7,9,11,13,15
/proc/3476/task/3492/stat : 3492 (java) S 3475 3475 8571 0 -1 1077944384 15535 0 0 0 390 3 0 0 20 0 28 0 4833535 14133010432 890858 33554432000 4194304 4196468 140721034515408 140357971933936 140358783875714 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10481664 140721034519740 140721034519916 140721034519916 140721034522575 0
[pid=3476/tid=3493] ppid=3475 vsize=13801768 CPUtime=3.64 cores=1,3,5,7,9,11,13,15
/proc/3476/task/3493/stat : 3493 (java) S 3475 3475 8571 0 -1 1077944384 14331 0 0 0 361 3 0 0 20 0 28 0 4833535 14133010432 890858 33554432000 4194304 4196468 140721034515408 140357970881136 140358783875714 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10481664 140721034519740 140721034519916 140721034519916 140721034522575 0
[pid=3476/tid=3494] ppid=3475 vsize=13801768 CPUtime=0.86 cores=1,3,5,7,9,11,13,15
/proc/3476/task/3494/stat : 3494 (java) S 3475 3475 8571 0 -1 1077944384 9908 0 0 0 84 2 0 0 20 0 28 0 4833535 14133010432 890858 33554432000 4194304 4196468 140721034515408 140357969828336 140358783875714 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 12 0 0 6293624 6294260 10481664 140721034519740 140721034519916 140721034519916 140721034522575 0
[pid=3476/tid=3495] ppid=3475 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/3476/task/3495/stat : 3495 (java) S 3475 3475 8571 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4833535 14133010432 890858 33554432000 4194304 4196468 140721034515408 140357968775776 140358783874773 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 10481664 140721034519740 140721034519916 140721034519916 140721034522575 0
[pid=3476/tid=3496] ppid=3475 vsize=13801768 CPUtime=0.19 cores=1,3,5,7,9,11,13,15
/proc/3476/task/3496/stat : 3496 (java) S 3475 3475 8571 0 -1 1077944384 1351 0 0 0 10 9 0 0 20 0 28 0 4833535 14133010432 890858 33554432000 4194304 4196468 140721034515408 140357967723056 140358783875714 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 16 0 0 6293624 6294260 10481664 140721034519740 140721034519916 140721034519916 140721034522575 0
[pid=3476/tid=3497] ppid=3475 vsize=13801768 CPUtime=296.1 cores=1,3,5,7,9,11,13,15
/proc/3476/task/3497/stat : 3497 (java) R 3475 3475 8571 0 -1 4202560 3246 0 0 0 29604 6 0 0 20 0 28 0 4834307 14133010432 890858 33554432000 4194304 4196468 140721034515408 140357960206760 140358413878785 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 10481664 140721034519740 140721034519916 140721034519916 140721034522575 0
[pid=3476/tid=3498] ppid=3475 vsize=13801768 CPUtime=297.99 cores=1,3,5,7,9,11,13,15
/proc/3476/task/3498/stat : 3498 (java) R 3475 3475 8571 0 -1 4202560 3525 0 0 0 29796 3 0 0 20 0 28 0 4834307 14133010432 890858 33554432000 4194304 4196468 140721034515408 140357959157632 140358413534719 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 10481664 140721034519740 140721034519916 140721034519916 140721034522575 0
[pid=3476/tid=3499] ppid=3475 vsize=13801768 CPUtime=296.38 cores=1,3,5,7,9,11,13,15
/proc/3476/task/3499/stat : 3499 (java) R 3475 3475 8571 0 -1 4202560 4011 0 0 0 29630 8 0 0 20 0 28 0 4834307 14133010432 890858 33554432000 4194304 4196468 140721034515408 140357958104072 140358413880617 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 10481664 140721034519740 140721034519916 140721034519916 140721034522575 0
[pid=3476/tid=3500] ppid=3475 vsize=13801768 CPUtime=296.26 cores=1,3,5,7,9,11,13,15
/proc/3476/task/3500/stat : 3500 (java) R 3475 3475 8571 0 -1 4202560 2961 0 0 0 29620 6 0 0 20 0 28 0 4834308 14133010432 890858 33554432000 4194304 4196468 140721034515408 140357957050376 140358413535701 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10481664 140721034519740 140721034519916 140721034519916 140721034522575 0
[pid=3476/tid=3501] ppid=3475 vsize=13801768 CPUtime=294.61 cores=1,3,5,7,9,11,13,15
/proc/3476/task/3501/stat : 3501 (java) R 3475 3475 8571 0 -1 4202560 2210 0 0 0 29454 7 0 0 20 0 28 0 4834308 14133010432 890858 33554432000 4194304 4196468 140721034515408 140357955998408 140358413534631 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10481664 140721034519740 140721034519916 140721034519916 140721034522575 0
[pid=3476/tid=3502] ppid=3475 vsize=13801768 CPUtime=297.83 cores=1,3,5,7,9,11,13,15
/proc/3476/task/3502/stat : 3502 (java) R 3475 3475 8571 0 -1 4202560 1792 0 0 0 29781 2 0 0 20 0 28 0 4834308 14133010432 890858 33554432000 4194304 4196468 140721034515408 140357954944920 140358413534261 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10481664 140721034519740 140721034519916 140721034519916 140721034522575 0
[pid=3476/tid=3503] ppid=3475 vsize=13801768 CPUtime=297.6 cores=1,3,5,7,9,11,13,15
/proc/3476/task/3503/stat : 3503 (java) R 3475 3475 8571 0 -1 4202560 3543 0 0 0 29756 4 0 0 20 0 28 0 4834308 14133010432 890858 33554432000 4194304 4196468 140721034515408 140357953892264 140358413534653 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 10481664 140721034519740 140721034519916 140721034519916 140721034522575 0
[pid=3476/tid=3504] ppid=3475 vsize=13801768 CPUtime=296.8 cores=1,3,5,7,9,11,13,15
/proc/3476/task/3504/stat : 3504 (java) R 3475 3475 8571 0 -1 4202560 2377 0 0 0 29677 3 0 0 20 0 28 0 4834308 14133010432 890858 33554432000 4194304 4196468 140721034515408 140357952839112 140358413535665 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 10481664 140721034519740 140721034519916 140721034519916 140721034522575 0
Current children cumulated CPU time (s) 2400.69
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 3476 sig 9
??? kill 3475 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 3475 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=2514
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=0
# CPU time returned by wait4() is 0.002514
# while last known CPU time is 2400.69
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 307.612
CPU time (s): 2400.69
CPU user time (s): 2397.12
CPU system time (s): 3.57
CPU usage (%): 780.427
Max. virtual memory (cumulated for all children) (KiB): 13811280
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.002514
system time used= 0
maximum resident set size= 1388
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 518
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3
involuntary context switches= 1
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.84501 second user time and 4.19924 second system time
The end