runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL
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.
NUMA information:
number of nodes: 2
memory of node 0: 16374 MiB (14823 MiB free)
memory of node 1: 16384 MiB (14957 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4283297-1503201248/watcher-4283297-1503201248 -o /tmp/evaluation-result-4283297-1503201248/solver-4283297-1503201248 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node125-1503171261-25500 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 865237100 HOME/instance-4283297-1503201248.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=31315, runsolver pid=31312
Current StackSize limit: 8192 KiB
[startup+0.1002 s]*
/proc/loadavg: 1.53 1.58 1.64 3/205 31325
/proc/meminfo: memFree=30485460/32770624 swapFree=67108860/67108860
[pid=31315] ppid=31312 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/31315/stat : 31315 (xcsp3-exec) S 31312 31315 8563 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 122345227 9740288 345 18446744073709551615 4194304 5098028 140731225363936 140731225362040 140579642401404 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 5 0 0 7196144 7232144 11902976 140731225366905 140731225367109 140731225367109 140731225370603 0
/proc/31315/statm: 2378 345 289 221 0 87 0
[pid=31317] ppid=31315 vsize=13574484 memory=18296 CPUtime=0.03 cores=0,2,4,6
/proc/31317/stat : 31317 (java) S 31315 31315 8563 0 -1 1077944320 3932 0 0 0 3 0 0 0 20 0 9 0 122345233 13900271616 4574 18446744073709551615 4194304 4196468 140726336286432 140726336268976 140007760293623 0 0 1 16800970 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 37904384 140726336291249 140726336291425 140726336291425 140726336294863 0
/proc/31317/statm: 3393621 4574 2137 1 0 3383118 0
[pid=31317/tid=31318] ppid=31315 vsize=13574484 memory=-8713483618642459742 CPUtime=0.03 cores=0,2,4,6
/proc/31317/task/31318/stat : 31318 (java) R 31315 31315 8563 0 -1 4202560 2639 0 0 0 3 0 0 0 20 0 9 0 122345233 13900271616 4574 18446744073709551615 4194304 4196468 140726336286432 140007764529016 140007745386800 0 4 1 16800970 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 37904384 140726336291249 140726336291425 140726336291425 140726336294863 0
[pid=31317/tid=31319] ppid=31315 vsize=13574484 memory=-8458152057954561420 CPUtime=0 cores=0,2,4,6
/proc/31317/task/31319/stat : 31319 (java) S 31315 31315 8563 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 122345234 13900271616 4574 18446744073709551615 4194304 4196468 140726336286432 140007360686608 140007760303829 0 4 1 16800970 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37904384 140726336291249 140726336291425 140726336291425 140726336294863 0
[pid=31317/tid=31320] ppid=31315 vsize=13574484 memory=139686118332032 CPUtime=0 cores=0,2,4,6
/proc/31317/task/31320/stat : 31320 (java) S 31315 31315 8563 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 122345234 13900271616 4574 18446744073709551615 4194304 4196468 140726336286432 140007359634064 140007760303829 0 4 1 16800970 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37904384 140726336291249 140726336291425 140726336291425 140726336294863 0
[pid=31317/tid=31321] ppid=31315 vsize=13574484 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31317/task/31321/stat : 31321 (java) S 31315 31315 8563 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 122345234 13900271616 4574 18446744073709551615 4194304 4196468 140726336286432 140007358581008 140007760303829 0 4 1 16800970 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37904384 140726336291249 140726336291425 140726336291425 140726336294863 0
[pid=31317/tid=31322] ppid=31315 vsize=13574484 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31317/task/31322/stat : 31322 (java) S 31315 31315 8563 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 122345234 13900271616 4574 18446744073709551615 4194304 4196468 140726336286432 140007357528464 140007760303829 0 4 1 16800970 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37904384 140726336291249 140726336291425 140726336291425 140726336294863 0
[pid=31317/tid=31323] ppid=31315 vsize=13574484 memory=139686118332032 CPUtime=0 cores=0,2,4,6
/proc/31317/task/31323/stat : 31323 (java) S 31315 31315 8563 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 122345235 13900271616 4574 18446744073709551615 4194304 4196468 140726336286432 140007238859504 140007760304770 0 0 1 16800970 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37904384 140726336291249 140726336291425 140726336291425 140726336294863 0
[pid=31317/tid=31324] ppid=31315 vsize=13574484 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31317/task/31324/stat : 31324 (java) S 31315 31315 8563 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 9 0 122345235 13900271616 4574 18446744073709551615 4194304 4196468 140726336286432 140007237805728 140007760303829 0 4 1 16800970 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37904384 140726336291249 140726336291425 140726336291425 140726336294863 0
[pid=31317/tid=31325] ppid=31315 vsize=13574484 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31317/task/31325/stat : 31325 (java) S 31315 31315 8563 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 9 0 122345236 13900271616 4574 18446744073709551615 4194304 4196468 140726336286432 140007236752624 140007760303829 0 4 1 16800970 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37904384 140726336291249 140726336291425 140726336291425 140726336294863 0
Current children cumulated CPU time: 0.03 s
Current children cumulated vsize: 13583996 KiB
Current children cumulated memory: 19676 KiB
[startup+0.219657 s]*
/proc/loadavg: 1.53 1.58 1.64 3/211 31331
/proc/meminfo: memFree=30478980/32770624 swapFree=67108860/67108860
[pid=31315] ppid=31312 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/31315/stat : 31315 (xcsp3-exec) S 31312 31315 8563 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 122345227 9740288 345 18446744073709551615 4194304 5098028 140731225363936 140731225362040 140579642401404 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 5 0 0 7196144 7232144 11902976 140731225366905 140731225367109 140731225367109 140731225370603 0
/proc/31315/statm: 2378 345 289 221 0 87 0
[pid=31317] ppid=31315 vsize=13974352 memory=29268 CPUtime=0.16 cores=0,2,4,6
/proc/31317/stat : 31317 (java) S 31315 31315 8563 0 -1 1077944320 5697 0 0 0 15 1 0 0 20 0 15 0 122345233 14309736448 7317 18446744073709551615 4194304 4196468 140726336286432 140726336268976 140007760293623 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 37904384 140726336291249 140726336291425 140726336291425 140726336294863 0
/proc/31317/statm: 3493588 7317 2942 1 0 3482964 0
[pid=31317/tid=31318] ppid=31315 vsize=13974352 memory=-6871798056524144002 CPUtime=0.1 cores=0,2,4,6
/proc/31317/task/31318/stat : 31318 (java) R 31315 31315 8563 0 -1 4202560 3417 0 0 0 10 0 0 0 20 0 15 0 122345233 14309736448 7317 18446744073709551615 4194304 4196468 140726336286432 140007764514896 140007760315549 0 4 1 16800974 0 0 0 -1 4 0 0 4 0 0 6293624 6294260 37904384 140726336291249 140726336291425 140726336291425 140726336294863 0
[pid=31317/tid=31319] ppid=31315 vsize=13974352 memory=-8458152057954561420 CPUtime=0 cores=0,2,4,6
/proc/31317/task/31319/stat : 31319 (java) S 31315 31315 8563 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 122345234 14309736448 7317 18446744073709551615 4194304 4196468 140726336286432 140007360686608 140007760303829 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37904384 140726336291249 140726336291425 140726336291425 140726336294863 0
[pid=31317/tid=31320] ppid=31315 vsize=13974352 memory=139686118332032 CPUtime=0 cores=0,2,4,6
/proc/31317/task/31320/stat : 31320 (java) S 31315 31315 8563 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 122345234 14309736448 7317 18446744073709551615 4194304 4196468 140726336286432 140007359634064 140007760303829 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37904384 140726336291249 140726336291425 140726336291425 140726336294863 0
[pid=31317/tid=31321] ppid=31315 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31317/task/31321/stat : 31321 (java) S 31315 31315 8563 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 122345234 14309736448 7317 18446744073709551615 4194304 4196468 140726336286432 140007358581008 140007760303829 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37904384 140726336291249 140726336291425 140726336291425 140726336294863 0
[pid=31317/tid=31322] ppid=31315 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31317/task/31322/stat : 31322 (java) S 31315 31315 8563 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 122345234 14309736448 7317 18446744073709551615 4194304 4196468 140726336286432 140007357528464 140007760303829 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37904384 140726336291249 140726336291425 140726336291425 140726336294863 0
[pid=31317/tid=31323] ppid=31315 vsize=13974352 memory=139686118332032 CPUtime=0 cores=0,2,4,6
/proc/31317/task/31323/stat : 31323 (java) S 31315 31315 8563 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 122345235 14309736448 7317 18446744073709551615 4194304 4196468 140726336286432 140007238859504 140007760304770 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37904384 140726336291249 140726336291425 140726336291425 140726336294863 0
[pid=31317/tid=31324] ppid=31315 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31317/task/31324/stat : 31324 (java) S 31315 31315 8563 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 122345235 14309736448 7317 18446744073709551615 4194304 4196468 140726336286432 140007237805728 140007760303829 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37904384 140726336291249 140726336291425 140726336291425 140726336294863 0
[pid=31317/tid=31325] ppid=31315 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31317/task/31325/stat : 31325 (java) S 31315 31315 8563 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 122345236 14309736448 7317 18446744073709551615 4194304 4196468 140726336286432 140007236752624 140007760303829 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37904384 140726336291249 140726336291425 140726336291425 140726336294863 0
[pid=31317/tid=31326] ppid=31315 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31317/task/31326/stat : 31326 (java) S 31315 31315 8563 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 122345238 14309736448 7317 18446744073709551615 4194304 4196468 140726336286432 140007235701200 140007760312219 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37904384 140726336291249 140726336291425 140726336291425 140726336294863 0
[pid=31317/tid=31327] ppid=31315 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31317/task/31327/stat : 31327 (java) S 31315 31315 8563 0 -1 1077944384 156 0 0 0 0 0 0 0 20 0 15 0 122345238 14309736448 7317 18446744073709551615 4194304 4196468 140726336286432 140007234648304 140007760304770 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37904384 140726336291249 140726336291425 140726336291425 140726336294863 0
[pid=31317/tid=31328] ppid=31315 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31317/task/31328/stat : 31328 (java) S 31315 31315 8563 0 -1 1077944384 403 0 0 0 0 0 0 0 20 0 15 0 122345238 14309736448 7317 18446744073709551615 4194304 4196468 140726336286432 140007233595760 140007760304770 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37904384 140726336291249 140726336291425 140726336291425 140726336294863 0
[pid=31317/tid=31329] ppid=31315 vsize=13974352 memory=139686118332032 CPUtime=0.03 cores=0,2,4,6
/proc/31317/task/31329/stat : 31329 (java) R 31315 31315 8563 0 -1 4202560 417 0 0 0 3 0 0 0 20 0 15 0 122345238 14309736448 7317 18446744073709551615 4194304 4196468 140726336286432 140007232538584 140007739163591 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37904384 140726336291249 140726336291425 140726336291425 140726336294863 0
[pid=31317/tid=31330] ppid=31315 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31317/task/31330/stat : 31330 (java) S 31315 31315 8563 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 122345238 14309736448 7317 18446744073709551615 4194304 4196468 140726336286432 140007231490400 140007760303829 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37904384 140726336291249 140726336291425 140726336291425 140726336294863 0
[pid=31317/tid=31331] ppid=31315 vsize=13974352 memory=139686118332032 CPUtime=0 cores=0,2,4,6
/proc/31317/task/31331/stat : 31331 (java) S 31315 31315 8563 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 122345243 14309736448 7317 18446744073709551615 4194304 4196468 140726336286432 140007230438448 140007760304770 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37904384 140726336291249 140726336291425 140726336291425 140726336294863 0
Current children cumulated CPU time: 0.16 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 30648 KiB
[startup+0.31254 s]*
/proc/loadavg: 1.53 1.58 1.64 3/211 31331
/proc/meminfo: memFree=30465228/32770624 swapFree=67108860/67108860
[pid=31315] ppid=31312 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/31315/stat : 31315 (xcsp3-exec) S 31312 31315 8563 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 122345227 9740288 345 18446744073709551615 4194304 5098028 140731225363936 140731225362040 140579642401404 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 5 0 0 7196144 7232144 11902976 140731225366905 140731225367109 140731225367109 140731225370603 0
/proc/31315/statm: 2378 345 289 221 0 87 0
[pid=31317] ppid=31315 vsize=13978608 memory=40324 CPUtime=0.34 cores=0,2,4,6
/proc/31317/stat : 31317 (java) S 31315 31315 8563 0 -1 1077944320 9255 0 0 0 31 3 0 0 20 0 15 0 122345233 14314094592 10081 18446744073709551615 4194304 4196468 140726336286432 140726336268976 140007760293623 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 37904384 140726336291249 140726336291425 140726336291425 140726336294863 0
/proc/31317/statm: 3494652 10081 3044 1 0 3482964 0
[pid=31317/tid=31318] ppid=31315 vsize=13978608 memory=-8774313645642428999 CPUtime=0.2 cores=0,2,4,6
/proc/31317/task/31318/stat : 31318 (java) R 31315 31315 8563 0 -1 4202560 6372 0 0 0 18 2 0 0 20 0 15 0 122345233 14314094592 10081 18446744073709551615 4194304 4196468 140726336286432 140007764516896 140007760315549 0 4 1 16800974 0 0 0 -1 4 0 0 4 0 0 6293624 6294260 37904384 140726336291249 140726336291425 140726336291425 140726336294863 0
[pid=31317/tid=31319] ppid=31315 vsize=13978608 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/31317/task/31319/stat : 31319 (java) S 31315 31315 8563 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 122345234 14314094592 10081 18446744073709551615 4194304 4196468 140726336286432 140007360686608 140007760303829 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37904384 140726336291249 140726336291425 140726336291425 140726336294863 0
[pid=31317/tid=31320] ppid=31315 vsize=13978608 memory=7031125463459224206 CPUtime=0 cores=0,2,4,6
/proc/31317/task/31320/stat : 31320 (java) S 31315 31315 8563 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 122345234 14314094592 10081 18446744073709551615 4194304 4196468 140726336286432 140007359634064 140007760303829 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37904384 140726336291249 140726336291425 140726336291425 140726336294863 0
[pid=31317/tid=31321] ppid=31315 vsize=13978608 memory=-7305533901252758645 CPUtime=0 cores=0,2,4,6
/proc/31317/task/31321/stat : 31321 (java) S 31315 31315 8563 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 122345234 14314094592 10081 18446744073709551615 4194304 4196468 140726336286432 140007358581008 140007760303829 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37904384 140726336291249 140726336291425 140726336291425 140726336294863 0
[pid=31317/tid=31322] ppid=31315 vsize=13978608 memory=8248408006974860141 CPUtime=0 cores=0,2,4,6
/proc/31317/task/31322/stat : 31322 (java) S 31315 31315 8563 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 122345234 14314094592 10081 18446744073709551615 4194304 4196468 140726336286432 140007357528464 140007760303829 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37904384 140726336291249 140726336291425 140726336291425 140726336294863 0
[pid=31317/tid=31323] ppid=31315 vsize=13978608 memory=139686118339025 CPUtime=0 cores=0,2,4,6
/proc/31317/task/31323/stat : 31323 (java) S 31315 31315 8563 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 122345235 14314094592 10081 18446744073709551615 4194304 4196468 140726336286432 140007238859504 140007760304770 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37904384 140726336291249 140726336291425 140726336291425 140726336294863 0
[pid=31317/tid=31324] ppid=31315 vsize=13978608 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31317/task/31324/stat : 31324 (java) S 31315 31315 8563 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 122345235 14314094592 10081 18446744073709551615 4194304 4196468 140726336286432 140007237805728 140007760303829 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37904384 140726336291249 140726336291425 140726336291425 140726336294863 0
[pid=31317/tid=31325] ppid=31315 vsize=13978608 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31317/task/31325/stat : 31325 (java) S 31315 31315 8563 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 122345236 14314094592 10081 18446744073709551615 4194304 4196468 140726336286432 140007236752624 140007760303829 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37904384 140726336291249 140726336291425 140726336291425 140726336294863 0
[pid=31317/tid=31326] ppid=31315 vsize=13978608 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31317/task/31326/stat : 31326 (java) S 31315 31315 8563 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 122345238 14314094592 10081 18446744073709551615 4194304 4196468 140726336286432 140007235701200 140007760312219 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37904384 140726336291249 140726336291425 140726336291425 140726336294863 0
[pid=31317/tid=31327] ppid=31315 vsize=13978608 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/31317/task/31327/stat : 31327 (java) R 31315 31315 8563 0 -1 1077944384 405 0 0 0 3 0 0 0 20 0 15 0 122345238 14314094592 10081 18446744073709551615 4194304 4196468 140726336286432 140007234648304 140007760304770 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37904384 140726336291249 140726336291425 140726336291425 140726336294863 0
[pid=31317/tid=31328] ppid=31315 vsize=13978608 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/31317/task/31328/stat : 31328 (java) S 31315 31315 8563 0 -1 1077944384 427 0 0 0 1 0 0 0 20 0 15 0 122345238 14314094592 10081 18446744073709551615 4194304 4196468 140726336286432 140007233595760 140007760304770 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37904384 140726336291249 140726336291425 140726336291425 140726336294863 0
[pid=31317/tid=31329] ppid=31315 vsize=13978608 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/31317/task/31329/stat : 31329 (java) R 31315 31315 8563 0 -1 4202560 746 0 0 0 7 0 0 0 20 0 15 0 122345238 14314094592 10081 18446744073709551615 4194304 4196468 140726336286432 140007232542704 140007760314970 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37904384 140726336291249 140726336291425 140726336291425 140726336294863 0
[pid=31317/tid=31330] ppid=31315 vsize=13978608 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31317/task/31330/stat : 31330 (java) S 31315 31315 8563 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 122345238 14314094592 10081 18446744073709551615 4194304 4196468 140726336286432 140007231490400 140007760303829 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37904384 140726336291249 140726336291425 140726336291425 140726336294863 0
[pid=31317/tid=31331] ppid=31315 vsize=13978608 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31317/task/31331/stat : 31331 (java) S 31315 31315 8563 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 122345243 14314094592 10081 18446744073709551615 4194304 4196468 140726336286432 140007230438448 140007760304770 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37904384 140726336291249 140726336291425 140726336291425 140726336294863 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 13988120 KiB
Current children cumulated memory: 41704 KiB
[startup+0.701478 s]
/proc/loadavg: 1.53 1.58 1.64 4/211 31331
/proc/meminfo: memFree=30456700/32770624 swapFree=67108860/67108860
[pid=31315] ppid=31312 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/31315/stat : 31315 (xcsp3-exec) S 31312 31315 8563 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 122345227 9740288 345 18446744073709551615 4194304 5098028 140731225363936 140731225362040 140579642401404 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 5 0 0 7196144 7232144 11902976 140731225366905 140731225367109 140731225367109 140731225370603 0
/proc/31315/statm: 2378 345 289 221 0 87 0
[pid=31317] ppid=31315 vsize=13980732 memory=66484 CPUtime=1.19 cores=0,2,4,6
/proc/31317/stat : 31317 (java) S 31315 31315 8563 0 -1 1077944320 13336 0 0 0 114 5 0 0 20 0 15 0 122345233 14316269568 16621 18446744073709551615 4194304 4196468 140726336286432 140726336268976 140007760293623 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 37904384 140726336291249 140726336291425 140726336291425 140726336294863 0
/proc/31317/statm: 3495183 16621 3170 1 0 3483476 0
[pid=31317/tid=31318] ppid=31315 vsize=13980732 memory=5938676076658386518 CPUtime=0.58 cores=0,2,4,6
/proc/31317/task/31318/stat : 31318 (java) R 31315 31315 8563 0 -1 4202560 8707 0 0 0 54 4 0 0 20 0 15 0 122345233 14316269568 16621 18446744073709551615 4194304 4196468 140726336286432 140007764532400 140007361023951 0 4 1 16800974 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 37904384 140726336291249 140726336291425 140726336291425 140726336294863 0
[pid=31317/tid=31319] ppid=31315 vsize=13980732 memory=7449330234657166691 CPUtime=0 cores=0,2,4,6
/proc/31317/task/31319/stat : 31319 (java) S 31315 31315 8563 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 122345234 14316269568 16621 18446744073709551615 4194304 4196468 140726336286432 140007360686608 140007760303829 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37904384 140726336291249 140726336291425 140726336291425 140726336294863 0
[pid=31317/tid=31320] ppid=31315 vsize=13980732 memory=6370158481492960344 CPUtime=0 cores=0,2,4,6
/proc/31317/task/31320/stat : 31320 (java) S 31315 31315 8563 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 122345234 14316269568 16621 18446744073709551615 4194304 4196468 140726336286432 140007359634064 140007760303829 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37904384 140726336291249 140726336291425 140726336291425 140726336294863 0
[pid=31317/tid=31321] ppid=31315 vsize=13980732 memory=-8629894644521537641 CPUtime=0 cores=0,2,4,6
/proc/31317/task/31321/stat : 31321 (java) S 31315 31315 8563 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 122345234 14316269568 16621 18446744073709551615 4194304 4196468 140726336286432 140007358581008 140007760303829 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37904384 140726336291249 140726336291425 140726336291425 140726336294863 0
[pid=31317/tid=31322] ppid=31315 vsize=13980732 memory=6655300316396806240 CPUtime=0 cores=0,2,4,6
/proc/31317/task/31322/stat : 31322 (java) S 31315 31315 8563 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 122345234 14316269568 16621 18446744073709551615 4194304 4196468 140726336286432 140007357528464 140007760303829 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37904384 140726336291249 140726336291425 140726336291425 140726336294863 0
[pid=31317/tid=31323] ppid=31315 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31317/task/31323/stat : 31323 (java) S 31315 31315 8563 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 122345235 14316269568 16621 18446744073709551615 4194304 4196468 140726336286432 140007238859504 140007760304770 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37904384 140726336291249 140726336291425 140726336291425 140726336294863 0
[pid=31317/tid=31324] ppid=31315 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31317/task/31324/stat : 31324 (java) S 31315 31315 8563 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 122345235 14316269568 16621 18446744073709551615 4194304 4196468 140726336286432 140007237805728 140007760303829 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37904384 140726336291249 140726336291425 140726336291425 140726336294863 0
[pid=31317/tid=31325] ppid=31315 vsize=13980732 memory=4116 CPUtime=0 cores=0,2,4,6
/proc/31317/task/31325/stat : 31325 (java) S 31315 31315 8563 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 122345236 14316269568 16621 18446744073709551615 4194304 4196468 140726336286432 140007236752624 140007760303829 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37904384 140726336291249 140726336291425 140726336291425 140726336294863 0
[pid=31317/tid=31326] ppid=31315 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31317/task/31326/stat : 31326 (java) S 31315 31315 8563 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 122345238 14316269568 16621 18446744073709551615 4194304 4196468 140726336286432 140007235701200 140007760312219 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37904384 140726336291249 140726336291425 140726336291425 140726336294863 0
[pid=31317/tid=31327] ppid=31315 vsize=13980732 memory=139685959574128 CPUtime=0.17 cores=0,2,4,6
/proc/31317/task/31327/stat : 31327 (java) S 31315 31315 8563 0 -1 1077944384 969 0 0 0 17 0 0 0 20 0 15 0 122345238 14316269568 16621 18446744073709551615 4194304 4196468 140726336286432 140007234637904 140007760303829 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37904384 140726336291249 140726336291425 140726336291425 140726336294863 0
[pid=31317/tid=31328] ppid=31315 vsize=13980732 memory=0 CPUtime=0.14 cores=0,2,4,6
/proc/31317/task/31328/stat : 31328 (java) R 31315 31315 8563 0 -1 1077944384 966 0 0 0 14 0 0 0 20 0 15 0 122345238 14316269568 16621 18446744073709551615 4194304 4196468 140726336286432 140007233582752 140007760303829 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 37904384 140726336291249 140726336291425 140726336291425 140726336294863 0
[pid=31317/tid=31329] ppid=31315 vsize=13980732 memory=0 CPUtime=0.28 cores=0,2,4,6
/proc/31317/task/31329/stat : 31329 (java) R 31315 31315 8563 0 -1 4202560 1387 0 0 0 28 0 0 0 20 0 15 0 122345238 14316269568 16621 18446744073709551615 4194304 4196468 140726336286432 140007232542704 140007752530750 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 37904384 140726336291249 140726336291425 140726336291425 140726336294863 0
[pid=31317/tid=31330] ppid=31315 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31317/task/31330/stat : 31330 (java) S 31315 31315 8563 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 122345238 14316269568 16621 18446744073709551615 4194304 4196468 140726336286432 140007231490400 140007760303829 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37904384 140726336291249 140726336291425 140726336291425 140726336294863 0
[pid=31317/tid=31331] ppid=31315 vsize=13980732 memory=7809523229951467568 CPUtime=0 cores=0,2,4,6
/proc/31317/task/31331/stat : 31331 (java) S 31315 31315 8563 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 122345243 14316269568 16621 18446744073709551615 4194304 4196468 140726336286432 140007230438448 140007760304770 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37904384 140726336291249 140726336291425 140726336291425 140726336294863 0
Current children cumulated CPU time: 1.19 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 67864 KiB
[startup+1.50156 s]
/proc/loadavg: 1.53 1.58 1.64 5/211 31331
/proc/meminfo: memFree=30399888/32770624 swapFree=67108860/67108860
[pid=31315] ppid=31312 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/31315/stat : 31315 (xcsp3-exec) S 31312 31315 8563 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 122345227 9740288 345 18446744073709551615 4194304 5098028 140731225363936 140731225362040 140579642401404 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 5 0 0 7196144 7232144 11902976 140731225366905 140731225367109 140731225367109 140731225370603 0
/proc/31315/statm: 2378 345 289 221 0 87 0
[pid=31317] ppid=31315 vsize=13980732 memory=131416 CPUtime=3.78 cores=0,2,4,6
/proc/31317/stat : 31317 (java) S 31315 31315 8563 0 -1 1077944320 38061 0 0 0 368 10 0 0 20 0 15 0 122345233 14316269568 32854 18446744073709551615 4194304 4196468 140726336286432 140726336268976 140007760293623 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 37904384 140726336291249 140726336291425 140726336291425 140726336294863 0
/proc/31317/statm: 3495183 32854 3186 1 0 3483476 0
[pid=31317/tid=31318] ppid=31315 vsize=13980732 memory=-8774313645642428999 CPUtime=1.37 cores=0,2,4,6
/proc/31317/task/31318/stat : 31318 (java) R 31315 31315 8563 0 -1 4202560 9127 0 0 0 133 4 0 0 20 0 15 0 122345233 14316269568 32854 18446744073709551615 4194304 4196468 140726336286432 140007764529320 140007365687412 0 4 1 16800974 0 0 0 -1 4 0 0 4 0 0 6293624 6294260 37904384 140726336291249 140726336291425 140726336291425 140726336294863 0
[pid=31317/tid=31319] ppid=31315 vsize=13980732 memory=8316178437708805999 CPUtime=0 cores=0,2,4,6
/proc/31317/task/31319/stat : 31319 (java) S 31315 31315 8563 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 122345234 14316269568 32854 18446744073709551615 4194304 4196468 140726336286432 140007360686608 140007760303829 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37904384 140726336291249 140726336291425 140726336291425 140726336294863 0
[pid=31317/tid=31320] ppid=31315 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31317/task/31320/stat : 31320 (java) S 31315 31315 8563 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 122345234 14316269568 32854 18446744073709551615 4194304 4196468 140726336286432 140007359634064 140007760303829 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37904384 140726336291249 140726336291425 140726336291425 140726336294863 0
[pid=31317/tid=31321] ppid=31315 vsize=13980732 memory=-1161699032756215646 CPUtime=0 cores=0,2,4,6
/proc/31317/task/31321/stat : 31321 (java) S 31315 31315 8563 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 122345234 14316269568 32854 18446744073709551615 4194304 4196468 140726336286432 140007358581008 140007760303829 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37904384 140726336291249 140726336291425 140726336291425 140726336294863 0
[pid=31317/tid=31322] ppid=31315 vsize=13980732 memory=6943526294502006880 CPUtime=0 cores=0,2,4,6
################
# More data... #
################
/proc/31317/task/31325/stat : 31325 (java) S 31315 31315 8563 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 122345236 14316269568 67280 18446744073709551615 4194304 4196468 140726336286432 140007236752624 140007760303829 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37904384 140726336291249 140726336291425 140726336291425 140726336294863 0
[pid=31317/tid=31326] ppid=31315 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/31317/task/31326/stat : 31326 (java) S 31315 31315 8563 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 122345238 14316269568 67280 18446744073709551615 4194304 4196468 140726336286432 140007235701200 140007760312219 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37904384 140726336291249 140726336291425 140726336291425 140726336294863 0
[pid=31317/tid=31327] ppid=31315 vsize=13980732 memory=260184 CPUtime=4.73 cores=0,2,4,6
/proc/31317/task/31327/stat : 31327 (java) S 31315 31315 8563 0 -1 1077944384 30612 0 0 0 468 5 0 0 20 0 15 0 122345238 14316269568 67280 18446744073709551615 4194304 4196468 140726336286432 140007234648304 140007760304770 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37904384 140726336291249 140726336291425 140726336291425 140726336294863 0
[pid=31317/tid=31328] ppid=31315 vsize=13980732 memory=1380 CPUtime=4.56 cores=0,2,4,6
/proc/31317/task/31328/stat : 31328 (java) S 31315 31315 8563 0 -1 1077944384 27570 0 0 0 454 2 0 0 20 0 15 0 122345238 14316269568 67280 18446744073709551615 4194304 4196468 140726336286432 140007233595760 140007760304770 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37904384 140726336291249 140726336291425 140726336291425 140726336294863 0
[pid=31317/tid=31329] ppid=31315 vsize=13980732 memory=269120 CPUtime=0.87 cores=0,2,4,6
/proc/31317/task/31329/stat : 31329 (java) S 31315 31315 8563 0 -1 1077944384 12040 0 0 0 85 2 0 0 20 0 15 0 122345238 14316269568 67280 18446744073709551615 4194304 4196468 140726336286432 140007232542704 140007760304770 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37904384 140726336291249 140726336291425 140726336291425 140726336294863 0
[pid=31317/tid=31330] ppid=31315 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/31317/task/31330/stat : 31330 (java) S 31315 31315 8563 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 122345238 14316269568 67280 18446744073709551615 4194304 4196468 140726336286432 140007231490400 140007760303829 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37904384 140726336291249 140726336291425 140726336291425 140726336294863 0
[pid=31317/tid=31331] ppid=31315 vsize=13980732 memory=261724 CPUtime=0.79 cores=0,2,4,6
/proc/31317/task/31331/stat : 31331 (java) S 31315 31315 8563 0 -1 1077944384 1152 0 0 0 37 42 0 0 20 0 15 0 122345243 14316269568 67280 18446744073709551615 4194304 4196468 140726336286432 140007230438448 140007760304770 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37904384 140726336291249 140726336291425 140726336291425 140726336294863 0
Current children cumulated CPU time: 2359.92 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 270500 KiB
[startup+2382.31 s]
/proc/loadavg: 1.72 1.69 1.57 3/210 31569
/proc/meminfo: memFree=23479692/32770624 swapFree=67108860/67108860
[pid=31315] ppid=31312 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/31315/stat : 31315 (xcsp3-exec) S 31312 31315 8563 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 122345227 9740288 345 18446744073709551615 4194304 5098028 140731225363936 140731225362040 140579642401404 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 5 0 0 7196144 7232144 11902976 140731225366905 140731225367109 140731225367109 140731225370603 0
/proc/31315/statm: 2378 345 289 221 0 87 0
[pid=31317] ppid=31315 vsize=13980732 memory=269764 CPUtime=2420.94 cores=0,2,4,6
/proc/31317/stat : 31317 (java) S 31315 31315 8563 0 -1 1077944320 191462 0 0 0 241929 165 0 0 20 0 15 0 122345233 14316269568 67441 18446744073709551615 4194304 4196468 140726336286432 140726336268976 140007760293623 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 37904384 140726336291249 140726336291425 140726336291425 140726336294863 0
/proc/31317/statm: 3495183 67441 3257 1 0 3483476 0
[pid=31317/tid=31318] ppid=31315 vsize=13980732 memory=260420 CPUtime=2369.59 cores=0,2,4,6
/proc/31317/task/31318/stat : 31318 (java) S 31315 31315 8563 0 -1 1077944384 39088 0 0 0 236947 12 0 0 20 0 15 0 122345233 14316269568 67441 18446744073709551615 4194304 4196468 140726336286432 140007764532992 140007760303829 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 4 0 0 6293624 6294260 37904384 140726336291249 140726336291425 140726336291425 140726336294863 0
[pid=31317/tid=31319] ppid=31315 vsize=13980732 memory=261560 CPUtime=9.61 cores=0,2,4,6
/proc/31317/task/31319/stat : 31319 (java) S 31315 31315 8563 0 -1 1077944384 12194 0 0 0 937 24 0 0 20 0 15 0 122345234 14316269568 67441 18446744073709551615 4194304 4196468 140726336286432 140007360686608 140007760303829 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37904384 140726336291249 140726336291425 140726336291425 140726336294863 0
[pid=31317/tid=31320] ppid=31315 vsize=13980732 memory=265668 CPUtime=9.62 cores=0,2,4,6
/proc/31317/task/31320/stat : 31320 (java) S 31315 31315 8563 0 -1 1077944384 10818 0 0 0 937 25 0 0 20 0 15 0 122345234 14316269568 67441 18446744073709551615 4194304 4196468 140726336286432 140007359634064 140007760303829 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37904384 140726336291249 140726336291425 140726336291425 140726336294863 0
[pid=31317/tid=31321] ppid=31315 vsize=13980732 memory=0 CPUtime=9.64 cores=0,2,4,6
/proc/31317/task/31321/stat : 31321 (java) R 31315 31315 8563 0 -1 1077944384 11950 0 0 0 941 23 0 0 20 0 15 0 122345234 14316269568 67441 18446744073709551615 4194304 4196468 140726336286432 140007358581008 140007760303829 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37904384 140726336291249 140726336291425 140726336291425 140726336294863 0
[pid=31317/tid=31322] ppid=31315 vsize=13980732 memory=0 CPUtime=9.6 cores=0,2,4,6
/proc/31317/task/31322/stat : 31322 (java) S 31315 31315 8563 0 -1 1077944384 13114 0 0 0 936 24 0 0 20 0 15 0 122345234 14316269568 67441 18446744073709551615 4194304 4196468 140726336286432 140007357528464 140007760303829 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37904384 140726336291249 140726336291425 140726336291425 140726336294863 0
[pid=31317/tid=31323] ppid=31315 vsize=13980732 memory=259392 CPUtime=1.81 cores=0,2,4,6
/proc/31317/task/31323/stat : 31323 (java) S 31315 31315 8563 0 -1 1077944384 31557 0 0 0 161 20 0 0 20 0 15 0 122345235 14316269568 67441 18446744073709551615 4194304 4196468 140726336286432 140007238859504 140007760304770 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37904384 140726336291249 140726336291425 140726336291425 140726336294863 0
[pid=31317/tid=31324] ppid=31315 vsize=13980732 memory=4116 CPUtime=0 cores=0,2,4,6
/proc/31317/task/31324/stat : 31324 (java) S 31315 31315 8563 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 122345235 14316269568 67441 18446744073709551615 4194304 4196468 140726336286432 140007237805728 140007760303829 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37904384 140726336291249 140726336291425 140726336291425 140726336294863 0
[pid=31317/tid=31325] ppid=31315 vsize=13980732 memory=261572 CPUtime=0 cores=0,2,4,6
/proc/31317/task/31325/stat : 31325 (java) S 31315 31315 8563 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 122345236 14316269568 67441 18446744073709551615 4194304 4196468 140726336286432 140007236752624 140007760303829 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37904384 140726336291249 140726336291425 140726336291425 140726336294863 0
[pid=31317/tid=31326] ppid=31315 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/31317/task/31326/stat : 31326 (java) S 31315 31315 8563 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 122345238 14316269568 67441 18446744073709551615 4194304 4196468 140726336286432 140007235701200 140007760312219 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37904384 140726336291249 140726336291425 140726336291425 140726336294863 0
[pid=31317/tid=31327] ppid=31315 vsize=13980732 memory=1380 CPUtime=4.73 cores=0,2,4,6
/proc/31317/task/31327/stat : 31327 (java) S 31315 31315 8563 0 -1 1077944384 30614 0 0 0 468 5 0 0 20 0 15 0 122345238 14316269568 67441 18446744073709551615 4194304 4196468 140726336286432 140007234648304 140007760304770 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37904384 140726336291249 140726336291425 140726336291425 140726336294863 0
[pid=31317/tid=31328] ppid=31315 vsize=13980732 memory=1380 CPUtime=4.56 cores=0,2,4,6
/proc/31317/task/31328/stat : 31328 (java) S 31315 31315 8563 0 -1 1077944384 27573 0 0 0 454 2 0 0 20 0 15 0 122345238 14316269568 67441 18446744073709551615 4194304 4196468 140726336286432 140007233595760 140007760304770 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37904384 140726336291249 140726336291425 140726336291425 140726336294863 0
[pid=31317/tid=31329] ppid=31315 vsize=13980732 memory=263496 CPUtime=0.87 cores=0,2,4,6
/proc/31317/task/31329/stat : 31329 (java) S 31315 31315 8563 0 -1 1077944384 12042 0 0 0 85 2 0 0 20 0 15 0 122345238 14316269568 67441 18446744073709551615 4194304 4196468 140726336286432 140007232542704 140007760304770 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37904384 140726336291249 140726336291425 140726336291425 140726336294863 0
[pid=31317/tid=31330] ppid=31315 vsize=13980732 memory=1624 CPUtime=0 cores=0,2,4,6
/proc/31317/task/31330/stat : 31330 (java) S 31315 31315 8563 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 122345238 14316269568 67441 18446744073709551615 4194304 4196468 140726336286432 140007231490400 140007760303829 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37904384 140726336291249 140726336291425 140726336291425 140726336294863 0
[pid=31317/tid=31331] ppid=31315 vsize=13980732 memory=65848 CPUtime=0.81 cores=0,2,4,6
/proc/31317/task/31331/stat : 31331 (java) S 31315 31315 8563 0 -1 1077944384 1167 0 0 0 38 43 0 0 20 0 15 0 122345243 14316269568 67441 18446744073709551615 4194304 4196468 140726336286432 140007230438448 140007760304770 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37904384 140726336291249 140726336291425 140726336291425 140726336294863 0
Current children cumulated CPU time: 2420.94 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 271144 KiB
[startup+2442.3 s]
/proc/loadavg: 1.73 1.72 1.59 3/214 31586
/proc/meminfo: memFree=23359692/32770624 swapFree=67108860/67108860
[pid=31315] ppid=31312 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/31315/stat : 31315 (xcsp3-exec) S 31312 31315 8563 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 122345227 9740288 345 18446744073709551615 4194304 5098028 140731225363936 140731225362040 140579642401404 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 5 0 0 7196144 7232144 11902976 140731225366905 140731225367109 140731225367109 140731225370603 0
/proc/31315/statm: 2378 345 289 221 0 87 0
[pid=31317] ppid=31315 vsize=13980732 memory=254748 CPUtime=2481.67 cores=0,2,4,6
/proc/31317/stat : 31317 (java) S 31315 31315 8563 0 -1 1077944320 194186 0 0 0 248000 167 0 0 20 0 15 0 122345233 14316269568 63687 18446744073709551615 4194304 4196468 140726336286432 140726336268976 140007760293623 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 37904384 140726336291249 140726336291425 140726336291425 140726336294863 0
/proc/31317/statm: 3495183 63687 3257 1 0 3483476 0
[pid=31317/tid=31318] ppid=31315 vsize=13980732 memory=254748 CPUtime=2429.26 cores=0,2,4,6
/proc/31317/task/31318/stat : 31318 (java) R 31315 31315 8563 0 -1 4202560 40537 0 0 0 242913 13 0 0 20 0 15 0 122345233 14316269568 63687 18446744073709551615 4194304 4196468 140726336286432 140007764532880 140007365875325 0 4 1 16800974 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 37904384 140726336291249 140726336291425 140726336291425 140726336294863 0
[pid=31317/tid=31319] ppid=31315 vsize=13980732 memory=254736 CPUtime=9.86 cores=0,2,4,6
/proc/31317/task/31319/stat : 31319 (java) S 31315 31315 8563 0 -1 1077944384 12647 0 0 0 962 24 0 0 20 0 15 0 122345234 14316269568 63687 18446744073709551615 4194304 4196468 140726336286432 140007360686608 140007760303829 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37904384 140726336291249 140726336291425 140726336291425 140726336294863 0
[pid=31317/tid=31320] ppid=31315 vsize=13980732 memory=1380 CPUtime=9.86 cores=0,2,4,6
/proc/31317/task/31320/stat : 31320 (java) S 31315 31315 8563 0 -1 1077944384 11119 0 0 0 961 25 0 0 20 0 15 0 122345234 14316269568 63687 18446744073709551615 4194304 4196468 140726336286432 140007359634064 140007760303829 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37904384 140726336291249 140726336291425 140726336291425 140726336294863 0
[pid=31317/tid=31321] ppid=31315 vsize=13980732 memory=254748 CPUtime=9.89 cores=0,2,4,6
/proc/31317/task/31321/stat : 31321 (java) S 31315 31315 8563 0 -1 1077944384 12155 0 0 0 966 23 0 0 20 0 15 0 122345234 14316269568 63687 18446744073709551615 4194304 4196468 140726336286432 140007358581008 140007760303829 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37904384 140726336291249 140726336291425 140726336291425 140726336294863 0
[pid=31317/tid=31322] ppid=31315 vsize=13980732 memory=254748 CPUtime=9.85 cores=0,2,4,6
/proc/31317/task/31322/stat : 31322 (java) S 31315 31315 8563 0 -1 1077944384 13305 0 0 0 961 24 0 0 20 0 15 0 122345234 14316269568 63687 18446744073709551615 4194304 4196468 140726336286432 140007357528464 140007760303829 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37904384 140726336291249 140726336291425 140726336291425 140726336294863 0
[pid=31317/tid=31323] ppid=31315 vsize=13980732 memory=1380 CPUtime=1.86 cores=0,2,4,6
/proc/31317/task/31323/stat : 31323 (java) S 31315 31315 8563 0 -1 1077944384 31678 0 0 0 165 21 0 0 20 0 15 0 122345235 14316269568 63687 18446744073709551615 4194304 4196468 140726336286432 140007238859504 140007760304770 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37904384 140726336291249 140726336291425 140726336291425 140726336294863 0
[pid=31317/tid=31324] ppid=31315 vsize=13980732 memory=254736 CPUtime=0 cores=0,2,4,6
/proc/31317/task/31324/stat : 31324 (java) S 31315 31315 8563 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 122345235 14316269568 63687 18446744073709551615 4194304 4196468 140726336286432 140007237805728 140007760303829 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37904384 140726336291249 140726336291425 140726336291425 140726336294863 0
[pid=31317/tid=31325] ppid=31315 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/31317/task/31325/stat : 31325 (java) S 31315 31315 8563 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 122345236 14316269568 63687 18446744073709551615 4194304 4196468 140726336286432 140007236752624 140007760303829 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37904384 140726336291249 140726336291425 140726336291425 140726336294863 0
[pid=31317/tid=31326] ppid=31315 vsize=13980732 memory=254748 CPUtime=0 cores=0,2,4,6
/proc/31317/task/31326/stat : 31326 (java) S 31315 31315 8563 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 122345238 14316269568 63687 18446744073709551615 4194304 4196468 140726336286432 140007235701200 140007760312219 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37904384 140726336291249 140726336291425 140726336291425 140726336294863 0
[pid=31317/tid=31327] ppid=31315 vsize=13980732 memory=1380 CPUtime=4.73 cores=0,2,4,6
/proc/31317/task/31327/stat : 31327 (java) S 31315 31315 8563 0 -1 1077944384 30614 0 0 0 468 5 0 0 20 0 15 0 122345238 14316269568 63687 18446744073709551615 4194304 4196468 140726336286432 140007234648304 140007760304770 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37904384 140726336291249 140726336291425 140726336291425 140726336294863 0
[pid=31317/tid=31328] ppid=31315 vsize=13980732 memory=254748 CPUtime=4.56 cores=0,2,4,6
/proc/31317/task/31328/stat : 31328 (java) S 31315 31315 8563 0 -1 1077944384 27573 0 0 0 454 2 0 0 20 0 15 0 122345238 14316269568 63687 18446744073709551615 4194304 4196468 140726336286432 140007233595760 140007760304770 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37904384 140726336291249 140726336291425 140726336291425 140726336294863 0
[pid=31317/tid=31329] ppid=31315 vsize=13980732 memory=1380 CPUtime=0.87 cores=0,2,4,6
/proc/31317/task/31329/stat : 31329 (java) S 31315 31315 8563 0 -1 1077944384 12042 0 0 0 85 2 0 0 20 0 15 0 122345238 14316269568 63687 18446744073709551615 4194304 4196468 140726336286432 140007232542704 140007760304770 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37904384 140726336291249 140726336291425 140726336291425 140726336294863 0
[pid=31317/tid=31330] ppid=31315 vsize=13980732 memory=254736 CPUtime=0 cores=0,2,4,6
/proc/31317/task/31330/stat : 31330 (java) S 31315 31315 8563 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 122345238 14316269568 63687 18446744073709551615 4194304 4196468 140726336286432 140007231490400 140007760303829 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37904384 140726336291249 140726336291425 140726336291425 140726336294863 0
[pid=31317/tid=31331] ppid=31315 vsize=13980732 memory=1380 CPUtime=0.83 cores=0,2,4,6
/proc/31317/task/31331/stat : 31331 (java) S 31315 31315 8563 0 -1 1077944384 1171 0 0 0 39 44 0 0 20 0 15 0 122345243 14316269568 63687 18446744073709551615 4194304 4196468 140726336286432 140007230438448 140007760304770 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37904384 140726336291249 140726336291425 140726336291425 140726336294863 0
Current children cumulated CPU time: 2481.67 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 256128 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2480.2 s]
/proc/loadavg: 1.74 1.72 1.60 3/214 31588
/proc/meminfo: memFree=23361024/32770624 swapFree=67108860/67108860
[pid=31315] ppid=31312 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/31315/stat : 31315 (xcsp3-exec) S 31312 31315 8563 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 122345227 9740288 345 18446744073709551615 4194304 5098028 140731225363936 140731225362040 140579642401404 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 5 0 0 7196144 7232144 11902976 140731225366905 140731225367109 140731225367109 140731225370603 0
/proc/31315/statm: 2378 345 289 221 0 87 0
[pid=31317] ppid=31315 vsize=13980732 memory=253596 CPUtime=2520.05 cores=0,2,4,6
/proc/31317/stat : 31317 (java) S 31315 31315 8563 0 -1 1077944320 194526 0 0 0 251837 168 0 0 20 0 15 0 122345233 14316269568 63399 18446744073709551615 4194304 4196468 140726336286432 140726336268976 140007760293623 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 37904384 140726336291249 140726336291425 140726336291425 140726336294863 0
/proc/31317/statm: 3495183 63399 3257 1 0 3483476 0
[pid=31317/tid=31318] ppid=31315 vsize=13980732 memory=4084 CPUtime=2466.95 cores=0,2,4,6
/proc/31317/task/31318/stat : 31318 (java) R 31315 31315 8563 0 -1 4202560 40567 0 0 0 246682 13 0 0 20 0 15 0 122345233 14316269568 63399 18446744073709551615 4194304 4196468 140726336286432 140007764533392 140007365877252 0 4 1 16800974 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 37904384 140726336291249 140726336291425 140726336291425 140726336294863 0
[pid=31317/tid=31319] ppid=31315 vsize=13980732 memory=4580 CPUtime=10.03 cores=0,2,4,6
/proc/31317/task/31319/stat : 31319 (java) S 31315 31315 8563 0 -1 1077944384 12724 0 0 0 979 24 0 0 20 0 15 0 122345234 14316269568 63399 18446744073709551615 4194304 4196468 140726336286432 140007360686608 140007760303829 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37904384 140726336291249 140726336291425 140726336291425 140726336294863 0
[pid=31317/tid=31320] ppid=31315 vsize=13980732 memory=1380 CPUtime=10.04 cores=0,2,4,6
/proc/31317/task/31320/stat : 31320 (java) S 31315 31315 8563 0 -1 1077944384 11185 0 0 0 978 26 0 0 20 0 15 0 122345234 14316269568 63399 18446744073709551615 4194304 4196468 140726336286432 140007359634064 140007760303829 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37904384 140726336291249 140726336291425 140726336291425 140726336294863 0
[pid=31317/tid=31321] ppid=31315 vsize=13980732 memory=1380 CPUtime=10.04 cores=0,2,4,6
/proc/31317/task/31321/stat : 31321 (java) S 31315 31315 8563 0 -1 1077944384 12227 0 0 0 981 23 0 0 20 0 15 0 122345234 14316269568 63399 18446744073709551615 4194304 4196468 140726336286432 140007358581008 140007760303829 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37904384 140726336291249 140726336291425 140726336291425 140726336294863 0
[pid=31317/tid=31322] ppid=31315 vsize=13980732 memory=253596 CPUtime=10.01 cores=0,2,4,6
/proc/31317/task/31322/stat : 31322 (java) S 31315 31315 8563 0 -1 1077944384 13383 0 0 0 977 24 0 0 20 0 15 0 122345234 14316269568 63399 18446744073709551615 4194304 4196468 140726336286432 140007357528464 140007760303829 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37904384 140726336291249 140726336291425 140726336291425 140726336294863 0
[pid=31317/tid=31323] ppid=31315 vsize=13980732 memory=1292 CPUtime=1.88 cores=0,2,4,6
/proc/31317/task/31323/stat : 31323 (java) S 31315 31315 8563 0 -1 1077944384 31690 0 0 0 167 21 0 0 20 0 15 0 122345235 14316269568 63399 18446744073709551615 4194304 4196468 140726336286432 140007238859504 140007760304770 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37904384 140726336291249 140726336291425 140726336291425 140726336294863 0
[pid=31317/tid=31324] ppid=31315 vsize=13980732 memory=4116 CPUtime=0 cores=0,2,4,6
/proc/31317/task/31324/stat : 31324 (java) S 31315 31315 8563 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 122345235 14316269568 63399 18446744073709551615 4194304 4196468 140726336286432 140007237805728 140007760303829 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37904384 140726336291249 140726336291425 140726336291425 140726336294863 0
[pid=31317/tid=31325] ppid=31315 vsize=13980732 memory=65868 CPUtime=0 cores=0,2,4,6
/proc/31317/task/31325/stat : 31325 (java) S 31315 31315 8563 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 122345236 14316269568 63399 18446744073709551615 4194304 4196468 140726336286432 140007236752624 140007760303829 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37904384 140726336291249 140726336291425 140726336291425 140726336294863 0
[pid=31317/tid=31326] ppid=31315 vsize=13980732 memory=1292 CPUtime=0 cores=0,2,4,6
/proc/31317/task/31326/stat : 31326 (java) S 31315 31315 8563 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 122345238 14316269568 63399 18446744073709551615 4194304 4196468 140726336286432 140007235701200 140007760312219 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37904384 140726336291249 140726336291425 140726336291425 140726336294863 0
[pid=31317/tid=31327] ppid=31315 vsize=13980732 memory=65868 CPUtime=4.73 cores=0,2,4,6
/proc/31317/task/31327/stat : 31327 (java) S 31315 31315 8563 0 -1 1077944384 30615 0 0 0 468 5 0 0 20 0 15 0 122345238 14316269568 63399 18446744073709551615 4194304 4196468 140726336286432 140007234648304 140007760304770 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37904384 140726336291249 140726336291425 140726336291425 140726336294863 0
[pid=31317/tid=31328] ppid=31315 vsize=13980732 memory=1292 CPUtime=4.56 cores=0,2,4,6
/proc/31317/task/31328/stat : 31328 (java) S 31315 31315 8563 0 -1 1077944384 27573 0 0 0 454 2 0 0 20 0 15 0 122345238 14316269568 63399 18446744073709551615 4194304 4196468 140726336286432 140007233595760 140007760304770 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37904384 140726336291249 140726336291425 140726336291425 140726336294863 0
[pid=31317/tid=31329] ppid=31315 vsize=13980732 memory=2316 CPUtime=0.87 cores=0,2,4,6
/proc/31317/task/31329/stat : 31329 (java) S 31315 31315 8563 0 -1 1077944384 12042 0 0 0 85 2 0 0 20 0 15 0 122345238 14316269568 63399 18446744073709551615 4194304 4196468 140726336286432 140007232542704 140007760304770 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37904384 140726336291249 140726336291425 140726336291425 140726336294863 0
[pid=31317/tid=31330] ppid=31315 vsize=13980732 memory=1836 CPUtime=0 cores=0,2,4,6
/proc/31317/task/31330/stat : 31330 (java) S 31315 31315 8563 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 122345238 14316269568 63399 18446744073709551615 4194304 4196468 140726336286432 140007231490400 140007760303829 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37904384 140726336291249 140726336291425 140726336291425 140726336294863 0
[pid=31317/tid=31331] ppid=31315 vsize=13980732 memory=1228 CPUtime=0.84 cores=0,2,4,6
/proc/31317/task/31331/stat : 31331 (java) S 31315 31315 8563 0 -1 1077944384 1175 0 0 0 39 45 0 0 20 0 15 0 122345243 14316269568 63399 18446744073709551615 4194304 4196468 140726336286432 140007230438448 140007760304770 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37904384 140726336291249 140726336291425 140726336291425 140726336294863 0
Current children cumulated CPU time: 2520.05 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 254976 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2480.21 s]
# the end of solver process 31315 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.001802 s, system=0 s
[startup+2480.21 s]
# the end of solver process 31317 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2518.39 s, system=1.68718 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 2480.21
CPU time (s): 2520.08
CPU user time (s): 2518.39
CPU system time (s): 1.68718
CPU usage (%): 101.607
Max. virtual memory (cumulated for all children) (KiB): 13993184
Max. memory (cumulated for all children) (KiB): 489972
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2518.39
system time used= 1.68717
maximum resident set size= 493564
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 195174
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3024
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 99383
involuntary context switches= 4970
# summary of solver processes directly reported to runsolver:
# pid: 31315,31317
# total CPU time (s): 2520.08
# total CPU user time (s): 2518.39
# total CPU system time (s): 1.68718
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.2755 second user time and 23.9314 second system time
The end