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 (9306 MiB free)
memory of node 1: 16384 MiB (13425 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4283171-1503215425/watcher-4283171-1503215425 -o /tmp/evaluation-result-4283171-1503215425/solver-4283171-1503215425 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node103-1503209003-32625 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 1885777736 HOME/instance-4283171-1503215425.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 264 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 294 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 240 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=5396, runsolver pid=5393
Current StackSize limit: 8192 KiB
[startup+0.100214 s]*
/proc/loadavg: 1.93 2.06 1.99 3/217 5412
/proc/meminfo: memFree=23260104/32770624 swapFree=67108860/67108860
[pid=5396] ppid=5393 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/5396/stat : 5396 (xcsp3-exec) S 5393 5396 32593 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154630592 9740288 346 33554432000 4194304 5098028 140721803338656 140721803336760 139932776186492 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 12181504 140721803347060 140721803347264 140721803347264 140721803349995 0
/proc/5396/statm: 2378 346 289 221 0 87 0
[pid=5398] ppid=5396 vsize=13978596 memory=28580 CPUtime=0.11 cores=1,3,5,7
/proc/5398/stat : 5398 (java) S 5396 5396 32593 0 -1 1077944320 5505 0 0 0 11 0 0 0 20 0 15 0 154630592 14314082304 7145 33554432000 4194304 4196468 140722126951792 140722126934336 140331294019319 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 10895360 140722126955677 140722126955852 140722126955852 140722126958543 0
/proc/5398/statm: 3494649 7145 2865 1 0 3482966 0
[pid=5398/tid=5399] ppid=5396 vsize=13978596 memory=7031125463459224206 CPUtime=0.09 cores=1,3,5,7
/proc/5398/task/5399/stat : 5399 (java) R 5396 5396 32593 0 -1 4202560 3522 0 0 0 9 0 0 0 20 0 15 0 154630593 14314082304 7210 33554432000 4194304 4196468 140722126951792 140331298252568 140331280088328 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10895360 140722126955677 140722126955852 140722126955852 140722126958543 0
[pid=5398/tid=5400] ppid=5396 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5398/task/5400/stat : 5400 (java) S 5396 5396 32593 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154630594 14314082304 7210 33554432000 4194304 4196468 140722126951792 140331224107408 140331294029525 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10895360 140722126955677 140722126955852 140722126955852 140722126958543 0
[pid=5398/tid=5401] ppid=5396 vsize=13978596 memory=140429539055232 CPUtime=0 cores=1,3,5,7
/proc/5398/task/5401/stat : 5401 (java) S 5396 5396 32593 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154630594 14314082304 7210 33554432000 4194304 4196468 140722126951792 140331223054608 140331294029525 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10895360 140722126955677 140722126955852 140722126955852 140722126958543 0
[pid=5398/tid=5402] ppid=5396 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5398/task/5402/stat : 5402 (java) S 5396 5396 32593 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154630594 14314082304 7210 33554432000 4194304 4196468 140722126951792 140331222002320 140331294029525 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10895360 140722126955677 140722126955852 140722126955852 140722126958543 0
[pid=5398/tid=5403] ppid=5396 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5398/task/5403/stat : 5403 (java) S 5396 5396 32593 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154630594 14314082304 7210 33554432000 4194304 4196468 140722126951792 140331220949520 140331294029525 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10895360 140722126955677 140722126955852 140722126955852 140722126958543 0
[pid=5398/tid=5404] ppid=5396 vsize=13978596 memory=140429539055232 CPUtime=0 cores=1,3,5,7
/proc/5398/task/5404/stat : 5404 (java) S 5396 5396 32593 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154630595 14314082304 7210 33554432000 4194304 4196468 140722126951792 140330768243312 140331294030466 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10895360 140722126955677 140722126955852 140722126955852 140722126958543 0
[pid=5398/tid=5405] ppid=5396 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5398/task/5405/stat : 5405 (java) S 5396 5396 32593 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154630595 14314082304 7210 33554432000 4194304 4196468 140722126951792 140330767189280 140331294029525 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10895360 140722126955677 140722126955852 140722126955852 140722126958543 0
[pid=5398/tid=5406] ppid=5396 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5398/task/5406/stat : 5406 (java) S 5396 5396 32593 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154630596 14314082304 7210 33554432000 4194304 4196468 140722126951792 140330766136944 140331294029525 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10895360 140722126955677 140722126955852 140722126955852 140722126958543 0
[pid=5398/tid=5407] ppid=5396 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5398/task/5407/stat : 5407 (java) S 5396 5396 32593 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154630598 14314082304 7210 33554432000 4194304 4196468 140722126951792 140330765085264 140331294037915 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10895360 140722126955677 140722126955852 140722126955852 140722126958543 0
[pid=5398/tid=5408] ppid=5396 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5398/task/5408/stat : 5408 (java) S 5396 5396 32593 0 -1 1077944384 425 0 0 0 0 0 0 0 20 0 15 0 154630598 14314082304 7210 33554432000 4194304 4196468 140722126951792 140330764032112 140331294030466 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10895360 140722126955677 140722126955852 140722126955852 140722126958543 0
[pid=5398/tid=5409] ppid=5396 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5398/task/5409/stat : 5409 (java) S 5396 5396 32593 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154630598 14314082304 7210 33554432000 4194304 4196468 140722126951792 140330762979312 140331294030466 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10895360 140722126955677 140722126955852 140722126955852 140722126958543 0
[pid=5398/tid=5410] ppid=5396 vsize=13978596 memory=140429539055232 CPUtime=0.01 cores=1,3,5,7
/proc/5398/task/5410/stat : 5410 (java) R 5396 5396 32593 0 -1 4202560 323 0 0 0 1 0 0 0 20 0 15 0 154630598 14314082304 7210 33554432000 4194304 4196468 140722126951792 140330761927024 140331272990346 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10895360 140722126955677 140722126955852 140722126955852 140722126958543 0
[pid=5398/tid=5411] ppid=5396 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5398/task/5411/stat : 5411 (java) S 5396 5396 32593 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154630598 14314082304 7210 33554432000 4194304 4196468 140722126951792 140330760874464 140331294029525 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10895360 140722126955677 140722126955852 140722126955852 140722126958543 0
[pid=5398/tid=5412] ppid=5396 vsize=13978596 memory=140429539055232 CPUtime=0 cores=1,3,5,7
/proc/5398/task/5412/stat : 5412 (java) S 5396 5396 32593 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154630598 14314082304 7210 33554432000 4194304 4196468 140722126951792 140330759822256 140331294030466 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10895360 140722126955677 140722126955852 140722126955852 140722126958543 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 13988108 KiB
Current children cumulated memory: 29964 KiB
[startup+0.210687 s]*
/proc/loadavg: 1.93 2.06 1.99 3/217 5412
/proc/meminfo: memFree=23248552/32770624 swapFree=67108860/67108860
[pid=5396] ppid=5393 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/5396/stat : 5396 (xcsp3-exec) S 5393 5396 32593 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154630592 9740288 346 33554432000 4194304 5098028 140721803338656 140721803336760 139932776186492 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 12181504 140721803347060 140721803347264 140721803347264 140721803349995 0
/proc/5396/statm: 2378 346 289 221 0 87 0
[pid=5398] ppid=5396 vsize=13982884 memory=40132 CPUtime=0.33 cores=1,3,5,7
/proc/5398/stat : 5398 (java) S 5396 5396 32593 0 -1 1077944320 8139 0 0 0 32 1 0 0 20 0 15 0 154630592 14318473216 10033 33554432000 4194304 4196468 140722126951792 140722126934336 140331294019319 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 10895360 140722126955677 140722126955852 140722126955852 140722126958543 0
/proc/5398/statm: 3495721 10033 3046 1 0 3482974 0
[pid=5398/tid=5399] ppid=5396 vsize=13982852 memory=7022364632946311227 CPUtime=0.19 cores=1,3,5,7
/proc/5398/task/5399/stat : 5399 (java) D 5396 5396 32593 0 -1 1077944384 5342 0 0 0 18 1 0 0 20 0 15 0 154630593 14318440448 10052 33554432000 4194304 4196468 140722126951792 140331298229104 140331286698541 0 4 0 16800975 18446744072101555748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10895360 140722126955677 140722126955852 140722126955852 140722126958543 0
[pid=5398/tid=5400] ppid=5396 vsize=13982852 memory=4294976320 CPUtime=0 cores=1,3,5,7
/proc/5398/task/5400/stat : 5400 (java) S 5396 5396 32593 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154630594 14318440448 10052 33554432000 4194304 4196468 140722126951792 140331224107408 140331294029525 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10895360 140722126955677 140722126955852 140722126955852 140722126958543 0
[pid=5398/tid=5401] ppid=5396 vsize=13982852 memory=3473878308310914720 CPUtime=0 cores=1,3,5,7
/proc/5398/task/5401/stat : 5401 (java) S 5396 5396 32593 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154630594 14318440448 10052 33554432000 4194304 4196468 140722126951792 140331223054608 140331294029525 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10895360 140722126955677 140722126955852 140722126955852 140722126958543 0
[pid=5398/tid=5402] ppid=5396 vsize=13982884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5398/task/5402/stat : 5402 (java) S 5396 5396 32593 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154630594 14318473216 10052 33554432000 4194304 4196468 140722126951792 140331222002320 140331294029525 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10895360 140722126955677 140722126955852 140722126955852 140722126958543 0
[pid=5398/tid=5403] ppid=5396 vsize=13982884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5398/task/5403/stat : 5403 (java) S 5396 5396 32593 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154630594 14318473216 10052 33554432000 4194304 4196468 140722126951792 140331220949520 140331294029525 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10895360 140722126955677 140722126955852 140722126955852 140722126958543 0
[pid=5398/tid=5404] ppid=5396 vsize=13982852 memory=140429539055232 CPUtime=0 cores=1,3,5,7
/proc/5398/task/5404/stat : 5404 (java) S 5396 5396 32593 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154630595 14318440448 10052 33554432000 4194304 4196468 140722126951792 140330768243312 140331294030466 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10895360 140722126955677 140722126955852 140722126955852 140722126958543 0
[pid=5398/tid=5405] ppid=5396 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5398/task/5405/stat : 5405 (java) S 5396 5396 32593 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154630595 14318440448 10052 33554432000 4194304 4196468 140722126951792 140330767189280 140331294029525 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10895360 140722126955677 140722126955852 140722126955852 140722126958543 0
[pid=5398/tid=5406] ppid=5396 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5398/task/5406/stat : 5406 (java) S 5396 5396 32593 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154630596 14318440448 10052 33554432000 4194304 4196468 140722126951792 140330766136944 140331294029525 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10895360 140722126955677 140722126955852 140722126955852 140722126958543 0
[pid=5398/tid=5407] ppid=5396 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5398/task/5407/stat : 5407 (java) S 5396 5396 32593 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154630598 14318440448 10052 33554432000 4194304 4196468 140722126951792 140330765085264 140331294037915 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10895360 140722126955677 140722126955852 140722126955852 140722126958543 0
[pid=5398/tid=5408] ppid=5396 vsize=13982852 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/5398/task/5408/stat : 5408 (java) S 5396 5396 32593 0 -1 1077944384 651 0 0 0 3 0 0 0 20 0 15 0 154630598 14318440448 10052 33554432000 4194304 4196468 140722126951792 140330764032112 140331294030466 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10895360 140722126955677 140722126955852 140722126955852 140722126958543 0
[pid=5398/tid=5409] ppid=5396 vsize=13982852 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/5398/task/5409/stat : 5409 (java) S 5396 5396 32593 0 -1 1077944384 186 0 0 0 1 0 0 0 20 0 15 0 154630598 14318440448 10052 33554432000 4194304 4196468 140722126951792 140330762979312 140331294030466 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10895360 140722126955677 140722126955852 140722126955852 140722126958543 0
[pid=5398/tid=5410] ppid=5396 vsize=13982884 memory=140429539055232 CPUtime=0.08 cores=1,3,5,7
/proc/5398/task/5410/stat : 5410 (java) S 5396 5396 32593 0 -1 1077944384 713 0 0 0 8 0 0 0 20 0 15 0 154630598 14318473216 10052 33554432000 4194304 4196468 140722126951792 140330761927024 140331294030466 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10895360 140722126955677 140722126955852 140722126955852 140722126958543 0
[pid=5398/tid=5411] ppid=5396 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5398/task/5411/stat : 5411 (java) S 5396 5396 32593 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154630598 14318440448 10052 33554432000 4194304 4196468 140722126951792 140330760874464 140331294029525 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10895360 140722126955677 140722126955852 140722126955852 140722126958543 0
[pid=5398/tid=5412] ppid=5396 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5398/task/5412/stat : 5412 (java) S 5396 5396 32593 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154630598 14318440448 10052 33554432000 4194304 4196468 140722126951792 140330759822256 140331294030466 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10895360 140722126955677 140722126955852 140722126955852 140722126958543 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 13992396 KiB
Current children cumulated memory: 41516 KiB
[startup+0.319948 s]*
/proc/loadavg: 1.93 2.06 1.99 6/217 5412
/proc/meminfo: memFree=23241728/32770624 swapFree=67108860/67108860
[pid=5396] ppid=5393 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/5396/stat : 5396 (xcsp3-exec) S 5393 5396 32593 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154630592 9740288 346 33554432000 4194304 5098028 140721803338656 140721803336760 139932776186492 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 12181504 140721803347060 140721803347264 140721803347264 140721803349995 0
/proc/5396/statm: 2378 346 289 221 0 87 0
[pid=5398] ppid=5396 vsize=13982852 memory=47600 CPUtime=0.54 cores=1,3,5,7
/proc/5398/stat : 5398 (java) S 5396 5396 32593 0 -1 1077944320 9056 0 0 0 52 2 0 0 20 0 15 0 154630592 14318440448 11900 33554432000 4194304 4196468 140722126951792 140722126934336 140331294019319 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 10895360 140722126955677 140722126955852 140722126955852 140722126958543 0
/proc/5398/statm: 3495713 11900 3117 1 0 3482966 0
[pid=5398/tid=5399] ppid=5396 vsize=13982852 memory=7310027617963868211 CPUtime=0.3 cores=1,3,5,7
/proc/5398/task/5399/stat : 5399 (java) R 5396 5396 32593 0 -1 4202560 5945 0 0 0 29 1 0 0 20 0 15 0 154630593 14318440448 12412 33554432000 4194304 4196468 140722126951792 140331298255440 140330892845024 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10895360 140722126955677 140722126955852 140722126955852 140722126958543 0
[pid=5398/tid=5400] ppid=5396 vsize=13982852 memory=288230608969409347 CPUtime=0 cores=1,3,5,7
/proc/5398/task/5400/stat : 5400 (java) S 5396 5396 32593 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154630594 14318440448 12412 33554432000 4194304 4196468 140722126951792 140331224107408 140331294029525 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10895360 140722126955677 140722126955852 140722126955852 140722126958543 0
[pid=5398/tid=5401] ppid=5396 vsize=13982852 memory=13572582893580647 CPUtime=0 cores=1,3,5,7
/proc/5398/task/5401/stat : 5401 (java) S 5396 5396 32593 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154630594 14318440448 12412 33554432000 4194304 4196468 140722126951792 140331223054608 140331294029525 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10895360 140722126955677 140722126955852 140722126955852 140722126958543 0
[pid=5398/tid=5402] ppid=5396 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5398/task/5402/stat : 5402 (java) S 5396 5396 32593 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154630594 14318440448 12412 33554432000 4194304 4196468 140722126951792 140331222002320 140331294029525 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10895360 140722126955677 140722126955852 140722126955852 140722126958543 0
[pid=5398/tid=5403] ppid=5396 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5398/task/5403/stat : 5403 (java) S 5396 5396 32593 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154630594 14318440448 12412 33554432000 4194304 4196468 140722126951792 140331220949520 140331294029525 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10895360 140722126955677 140722126955852 140722126955852 140722126958543 0
[pid=5398/tid=5404] ppid=5396 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5398/task/5404/stat : 5404 (java) S 5396 5396 32593 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154630595 14318440448 12412 33554432000 4194304 4196468 140722126951792 140330768243312 140331294030466 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10895360 140722126955677 140722126955852 140722126955852 140722126958543 0
[pid=5398/tid=5405] ppid=5396 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5398/task/5405/stat : 5405 (java) S 5396 5396 32593 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154630595 14318440448 12412 33554432000 4194304 4196468 140722126951792 140330767189280 140331294029525 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10895360 140722126955677 140722126955852 140722126955852 140722126958543 0
[pid=5398/tid=5406] ppid=5396 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5398/task/5406/stat : 5406 (java) S 5396 5396 32593 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154630596 14318440448 12412 33554432000 4194304 4196468 140722126951792 140330766136944 140331294029525 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10895360 140722126955677 140722126955852 140722126955852 140722126958543 0
[pid=5398/tid=5407] ppid=5396 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5398/task/5407/stat : 5407 (java) S 5396 5396 32593 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154630598 14318440448 12412 33554432000 4194304 4196468 140722126951792 140330765085264 140331294037915 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10895360 140722126955677 140722126955852 140722126955852 140722126958543 0
[pid=5398/tid=5408] ppid=5396 vsize=13982852 memory=0 CPUtime=0.06 cores=1,3,5,7
/proc/5398/task/5408/stat : 5408 (java) R 5396 5396 32593 0 -1 4202560 666 0 0 0 6 0 0 0 20 0 15 0 154630598 14318440448 12412 33554432000 4194304 4196468 140722126951792 140330764032112 140331271584080 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10895360 140722126955677 140722126955852 140722126955852 140722126958543 0
[pid=5398/tid=5409] ppid=5396 vsize=13982852 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/5398/task/5409/stat : 5409 (java) R 5396 5396 32593 0 -1 4202560 309 0 0 0 4 0 0 0 20 0 15 0 154630598 14318440448 12412 33554432000 4194304 4196468 140722126951792 140330762979312 140331280043132 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10895360 140722126955677 140722126955852 140722126955852 140722126958543 0
[pid=5398/tid=5410] ppid=5396 vsize=13982852 memory=0 CPUtime=0.13 cores=1,3,5,7
/proc/5398/task/5410/stat : 5410 (java) R 5396 5396 32593 0 -1 4202560 836 0 0 0 13 0 0 0 20 0 15 0 154630598 14318440448 12412 33554432000 4194304 4196468 140722126951792 140330761923960 140331273448851 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 10895360 140722126955677 140722126955852 140722126955852 140722126958543 0
[pid=5398/tid=5411] ppid=5396 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5398/task/5411/stat : 5411 (java) S 5396 5396 32593 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154630598 14318440448 12412 33554432000 4194304 4196468 140722126951792 140330760874464 140331294029525 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10895360 140722126955677 140722126955852 140722126955852 140722126958543 0
[pid=5398/tid=5412] ppid=5396 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5398/task/5412/stat : 5412 (java) S 5396 5396 32593 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154630598 14318440448 12412 33554432000 4194304 4196468 140722126951792 140330759822256 140331294030466 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10895360 140722126955677 140722126955852 140722126955852 140722126958543 0
Current children cumulated CPU time: 0.54 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 48984 KiB
[startup+0.700814 s]
/proc/loadavg: 1.93 2.06 1.99 5/217 5412
/proc/meminfo: memFree=23192708/32770624 swapFree=67108860/67108860
[pid=5396] ppid=5393 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/5396/stat : 5396 (xcsp3-exec) S 5393 5396 32593 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154630592 9740288 346 33554432000 4194304 5098028 140721803338656 140721803336760 139932776186492 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 12181504 140721803347060 140721803347264 140721803347264 140721803349995 0
/proc/5396/statm: 2378 346 289 221 0 87 0
[pid=5398] ppid=5396 vsize=13982928 memory=172012 CPUtime=1.44 cores=1,3,5,7
/proc/5398/stat : 5398 (java) S 5396 5396 32593 0 -1 1077944320 11476 0 0 0 138 6 0 0 20 0 15 0 154630592 14318518272 43003 33554432000 4194304 4196468 140722126951792 140722126934336 140331294019319 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 10895360 140722126955677 140722126955852 140722126955852 140722126958543 0
/proc/5398/statm: 3495732 43003 3172 1 0 3482966 0
[pid=5398/tid=5399] ppid=5396 vsize=13982928 memory=0 CPUtime=0.67 cores=1,3,5,7
/proc/5398/task/5399/stat : 5399 (java) R 5396 5396 32593 0 -1 4202560 6219 0 0 0 63 4 0 0 20 0 15 0 154630593 14318518272 43003 33554432000 4194304 4196468 140722126951792 140331298254944 140330895581004 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10895360 140722126955677 140722126955852 140722126955852 140722126958543 0
[pid=5398/tid=5400] ppid=5396 vsize=13982928 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5398/task/5400/stat : 5400 (java) S 5396 5396 32593 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154630594 14318518272 43003 33554432000 4194304 4196468 140722126951792 140331224107408 140331294029525 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10895360 140722126955677 140722126955852 140722126955852 140722126958543 0
[pid=5398/tid=5401] ppid=5396 vsize=13982928 memory=153 CPUtime=0 cores=1,3,5,7
/proc/5398/task/5401/stat : 5401 (java) S 5396 5396 32593 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154630594 14318518272 43003 33554432000 4194304 4196468 140722126951792 140331223054608 140331294029525 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10895360 140722126955677 140722126955852 140722126955852 140722126958543 0
[pid=5398/tid=5402] ppid=5396 vsize=13982928 memory=2 CPUtime=0 cores=1,3,5,7
/proc/5398/task/5402/stat : 5402 (java) S 5396 5396 32593 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154630594 14318518272 43003 33554432000 4194304 4196468 140722126951792 140331222002320 140331294029525 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10895360 140722126955677 140722126955852 140722126955852 140722126958543 0
[pid=5398/tid=5403] ppid=5396 vsize=13982928 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5398/task/5403/stat : 5403 (java) S 5396 5396 32593 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154630594 14318518272 43003 33554432000 4194304 4196468 140722126951792 140331220949520 140331294029525 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10895360 140722126955677 140722126955852 140722126955852 140722126958543 0
[pid=5398/tid=5404] ppid=5396 vsize=13982928 memory=2428 CPUtime=0 cores=1,3,5,7
/proc/5398/task/5404/stat : 5404 (java) S 5396 5396 32593 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 154630595 14318518272 43003 33554432000 4194304 4196468 140722126951792 140330768243312 140331294030466 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10895360 140722126955677 140722126955852 140722126955852 140722126958543 0
[pid=5398/tid=5405] ppid=5396 vsize=13982928 memory=928 CPUtime=0 cores=1,3,5,7
/proc/5398/task/5405/stat : 5405 (java) S 5396 5396 32593 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154630595 14318518272 43003 33554432000 4194304 4196468 140722126951792 140330767189280 140331294029525 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10895360 140722126955677 140722126955852 140722126955852 140722126958543 0
[pid=5398/tid=5406] ppid=5396 vsize=13982928 memory=1568 CPUtime=0 cores=1,3,5,7
/proc/5398/task/5406/stat : 5406 (java) S 5396 5396 32593 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154630596 14318518272 43003 33554432000 4194304 4196468 140722126951792 140330766136944 140331294029525 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10895360 140722126955677 140722126955852 140722126955852 140722126958543 0
[pid=5398/tid=5407] ppid=5396 vsize=13982928 memory=2240 CPUtime=0 cores=1,3,5,7
/proc/5398/task/5407/stat : 5407 (java) S 5396 5396 32593 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154630598 14318518272 43003 33554432000 4194304 4196468 140722126951792 140330765085264 140331294037915 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10895360 140722126955677 140722126955852 140722126955852 140722126958543 0
[pid=5398/tid=5408] ppid=5396 vsize=13982928 memory=4128 CPUtime=0.25 cores=1,3,5,7
/proc/5398/task/5408/stat : 5408 (java) R 5396 5396 32593 0 -1 4202560 1272 0 0 0 25 0 0 0 20 0 15 0 154630598 14318518272 43003 33554432000 4194304 4196468 140722126951792 140330764032112 140331274655252 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10895360 140722126955677 140722126955852 140722126955852 140722126958543 0
[pid=5398/tid=5409] ppid=5396 vsize=13982928 memory=2204 CPUtime=0.27 cores=1,3,5,7
/proc/5398/task/5409/stat : 5409 (java) R 5396 5396 32593 0 -1 4202560 1288 0 0 0 27 0 0 0 20 0 15 0 154630598 14318518272 43003 33554432000 4194304 4196468 140722126951792 140330762979312 140331278411060 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10895360 140722126955677 140722126955852 140722126955852 140722126958543 0
[pid=5398/tid=5410] ppid=5396 vsize=13982928 memory=7788 CPUtime=0.22 cores=1,3,5,7
/proc/5398/task/5410/stat : 5410 (java) S 5396 5396 32593 0 -1 1077944384 1391 0 0 0 22 0 0 0 20 0 15 0 154630598 14318518272 43003 33554432000 4194304 4196468 140722126951792 140330761927024 140331294030466 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10895360 140722126955677 140722126955852 140722126955852 140722126958543 0
[pid=5398/tid=5411] ppid=5396 vsize=13982928 memory=836 CPUtime=0 cores=1,3,5,7
/proc/5398/task/5411/stat : 5411 (java) S 5396 5396 32593 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154630598 14318518272 43003 33554432000 4194304 4196468 140722126951792 140330760874464 140331294029525 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10895360 140722126955677 140722126955852 140722126955852 140722126958543 0
[pid=5398/tid=5412] ppid=5396 vsize=13982928 memory=4104 CPUtime=0 cores=1,3,5,7
/proc/5398/task/5412/stat : 5412 (java) S 5396 5396 32593 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154630598 14318518272 43003 33554432000 4194304 4196468 140722126951792 140330759822256 140331294030466 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10895360 140722126955677 140722126955852 140722126955852 140722126958543 0
Current children cumulated CPU time: 1.44 s
Current children cumulated vsize: 13992440 KiB
Current children cumulated memory: 173396 KiB
[startup+1.50089 s]
/proc/loadavg: 1.93 2.06 1.99 5/217 5412
/proc/meminfo: memFree=22995612/32770624 swapFree=67108860/67108860
[pid=5396] ppid=5393 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/5396/stat : 5396 (xcsp3-exec) S 5393 5396 32593 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154630592 9740288 346 33554432000 4194304 5098028 140721803338656 140721803336760 139932776186492 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 12181504 140721803347060 140721803347264 140721803347264 140721803349995 0
/proc/5396/statm: 2378 346 289 221 0 87 0
################
# More data... #
################
/proc/5398/task/5406/stat : 5406 (java) S 5396 5396 32593 0 -1 1077944384 85 0 0 0 0 0 0 0 20 0 15 0 154630596 14320615424 877188 33554432000 4194304 4196468 140722126951792 140330766136960 140331294029525 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10895360 140722126955677 140722126955852 140722126955852 140722126958543 0
[pid=5398/tid=5407] ppid=5396 vsize=13984976 memory=3508752 CPUtime=0 cores=1,3,5,7
/proc/5398/task/5407/stat : 5407 (java) S 5396 5396 32593 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154630598 14320615424 877188 33554432000 4194304 4196468 140722126951792 140330765085264 140331294037915 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10895360 140722126955677 140722126955852 140722126955852 140722126958543 0
[pid=5398/tid=5408] ppid=5396 vsize=13984976 memory=8112282956445269571 CPUtime=2.23 cores=1,3,5,7
/proc/5398/task/5408/stat : 5408 (java) S 5396 5396 32593 0 -1 1077944384 6510 0 0 0 223 0 0 0 20 0 15 0 154630598 14320615424 877188 33554432000 4194304 4196468 140722126951792 140330764032112 140331294030466 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10895360 140722126955677 140722126955852 140722126955852 140722126958543 0
[pid=5398/tid=5409] ppid=5396 vsize=13984976 memory=42828 CPUtime=2.24 cores=1,3,5,7
/proc/5398/task/5409/stat : 5409 (java) S 5396 5396 32593 0 -1 1077944384 6619 0 0 0 224 0 0 0 20 0 15 0 154630598 14320615424 877188 33554432000 4194304 4196468 140722126951792 140330762979312 140331294030466 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10895360 140722126955677 140722126955852 140722126955852 140722126958543 0
[pid=5398/tid=5410] ppid=5396 vsize=13984976 memory=1296 CPUtime=0.73 cores=1,3,5,7
/proc/5398/task/5410/stat : 5410 (java) S 5396 5396 32593 0 -1 1077944384 9476 0 0 0 72 1 0 0 20 0 15 0 154630598 14320615424 877188 33554432000 4194304 4196468 140722126951792 140330761927024 140331294030466 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10895360 140722126955677 140722126955852 140722126955852 140722126958543 0
[pid=5398/tid=5411] ppid=5396 vsize=13984976 memory=2336 CPUtime=0 cores=1,3,5,7
/proc/5398/task/5411/stat : 5411 (java) S 5396 5396 32593 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154630598 14320615424 877188 33554432000 4194304 4196468 140722126951792 140330760874464 140331294029525 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10895360 140722126955677 140722126955852 140722126955852 140722126958543 0
[pid=5398/tid=5412] ppid=5396 vsize=13984976 memory=1384 CPUtime=0.06 cores=1,3,5,7
/proc/5398/task/5412/stat : 5412 (java) S 5396 5396 32593 0 -1 1077944384 212 0 0 0 3 3 0 0 20 0 15 0 154630598 14320615424 877188 33554432000 4194304 4196468 140722126951792 140330759822256 140331294030466 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 26 0 0 6293624 6294260 10895360 140722126955677 140722126955852 140722126955852 140722126958543 0
Current children cumulated CPU time: 121.89 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 3510136 KiB
[startup+162.301 s]
/proc/loadavg: 2.09 2.08 2.01 3/217 5729
/proc/meminfo: memFree=22258776/32770624 swapFree=67108860/67108860
[pid=5396] ppid=5393 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/5396/stat : 5396 (xcsp3-exec) S 5393 5396 32593 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154630592 9740288 346 33554432000 4194304 5098028 140721803338656 140721803336760 139932776186492 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 12181504 140721803347060 140721803347264 140721803347264 140721803349995 0
/proc/5396/statm: 2378 346 289 221 0 87 0
[pid=5398] ppid=5396 vsize=13984976 memory=3744756 CPUtime=182.64 cores=1,3,5,7
/proc/5398/stat : 5398 (java) S 5396 5396 32593 0 -1 1077944320 74659 0 0 0 18026 238 0 0 20 0 15 0 154630592 14320615424 936189 33554432000 4194304 4196468 140722126951792 140722126934336 140331294019319 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 10895360 140722126955677 140722126955852 140722126955852 140722126958543 0
/proc/5398/statm: 3496244 936189 3285 1 0 3483478 0
[pid=5398/tid=5399] ppid=5396 vsize=13984976 memory=3744756 CPUtime=156.34 cores=1,3,5,7
/proc/5398/task/5399/stat : 5399 (java) R 5396 5396 32593 0 -1 4202560 26793 0 0 0 15602 32 0 0 20 0 15 0 154630593 14320615424 936189 33554432000 4194304 4196468 140722126951792 140331298255336 140330900933928 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10895360 140722126955677 140722126955852 140722126955852 140722126958543 0
[pid=5398/tid=5400] ppid=5396 vsize=13984976 memory=3744756 CPUtime=5.09 cores=1,3,5,7
/proc/5398/task/5400/stat : 5400 (java) S 5396 5396 32593 0 -1 1077944384 3545 0 0 0 461 48 0 0 20 0 15 0 154630594 14320615424 936189 33554432000 4194304 4196468 140722126951792 140331224107408 140331294029525 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10895360 140722126955677 140722126955852 140722126955852 140722126958543 0
[pid=5398/tid=5401] ppid=5396 vsize=13984976 memory=1384 CPUtime=5.09 cores=1,3,5,7
/proc/5398/task/5401/stat : 5401 (java) S 5396 5396 32593 0 -1 1077944384 3759 0 0 0 460 49 0 0 20 0 15 0 154630594 14320615424 936189 33554432000 4194304 4196468 140722126951792 140331223054608 140331294029525 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10895360 140722126955677 140722126955852 140722126955852 140722126958543 0
[pid=5398/tid=5402] ppid=5396 vsize=13984976 memory=288230574492221466 CPUtime=5.07 cores=1,3,5,7
/proc/5398/task/5402/stat : 5402 (java) S 5396 5396 32593 0 -1 1077944384 4279 0 0 0 459 48 0 0 20 0 15 0 154630594 14320615424 936189 33554432000 4194304 4196468 140722126951792 140331222002320 140331294029525 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10895360 140722126955677 140722126955852 140722126955852 140722126958543 0
[pid=5398/tid=5403] ppid=5396 vsize=13984976 memory=288230621803970871 CPUtime=5.05 cores=1,3,5,7
/proc/5398/task/5403/stat : 5403 (java) S 5396 5396 32593 0 -1 1077944384 4744 0 0 0 457 48 0 0 20 0 15 0 154630594 14320615424 936189 33554432000 4194304 4196468 140722126951792 140331220949520 140331294029525 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10895360 140722126955677 140722126955852 140722126955852 140722126958543 0
[pid=5398/tid=5404] ppid=5396 vsize=13984976 memory=164 CPUtime=0.55 cores=1,3,5,7
/proc/5398/task/5404/stat : 5404 (java) S 5396 5396 32593 0 -1 1077944384 5796 0 0 0 54 1 0 0 20 0 15 0 154630595 14320615424 936189 33554432000 4194304 4196468 140722126951792 140330768243312 140331294030466 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 25 0 0 6293624 6294260 10895360 140722126955677 140722126955852 140722126955852 140722126958543 0
[pid=5398/tid=5405] ppid=5396 vsize=13984976 memory=8547763363015199892 CPUtime=0 cores=1,3,5,7
/proc/5398/task/5405/stat : 5405 (java) S 5396 5396 32593 0 -1 1077944384 79 0 0 0 0 0 0 0 20 0 15 0 154630595 14320615424 936189 33554432000 4194304 4196468 140722126951792 140330767189344 140331294029525 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10895360 140722126955677 140722126955852 140722126955852 140722126958543 0
[pid=5398/tid=5406] ppid=5396 vsize=13984976 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/5398/task/5406/stat : 5406 (java) S 5396 5396 32593 0 -1 1077944384 85 0 0 0 0 0 0 0 20 0 15 0 154630596 14320615424 936189 33554432000 4194304 4196468 140722126951792 140330766136960 140331294029525 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10895360 140722126955677 140722126955852 140722126955852 140722126958543 0
[pid=5398/tid=5407] ppid=5396 vsize=13984976 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/5398/task/5407/stat : 5407 (java) S 5396 5396 32593 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154630598 14320615424 936189 33554432000 4194304 4196468 140722126951792 140330765085264 140331294037915 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10895360 140722126955677 140722126955852 140722126955852 140722126958543 0
[pid=5398/tid=5408] ppid=5396 vsize=13984976 memory=3744756 CPUtime=2.25 cores=1,3,5,7
/proc/5398/task/5408/stat : 5408 (java) S 5396 5396 32593 0 -1 1077944384 6845 0 0 0 224 1 0 0 20 0 15 0 154630598 14320615424 936189 33554432000 4194304 4196468 140722126951792 140330764032112 140331294030466 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10895360 140722126955677 140722126955852 140722126955852 140722126958543 0
[pid=5398/tid=5409] ppid=5396 vsize=13984976 memory=1384 CPUtime=2.26 cores=1,3,5,7
/proc/5398/task/5409/stat : 5409 (java) S 5396 5396 32593 0 -1 1077944384 7752 0 0 0 226 0 0 0 20 0 15 0 154630598 14320615424 936189 33554432000 4194304 4196468 140722126951792 140330762979312 140331294030466 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10895360 140722126955677 140722126955852 140722126955852 140722126958543 0
[pid=5398/tid=5410] ppid=5396 vsize=13984976 memory=3744756 CPUtime=0.74 cores=1,3,5,7
/proc/5398/task/5410/stat : 5410 (java) S 5396 5396 32593 0 -1 1077944384 9491 0 0 0 73 1 0 0 20 0 15 0 154630598 14320615424 936189 33554432000 4194304 4196468 140722126951792 140330761927024 140331294030466 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10895360 140722126955677 140722126955852 140722126955852 140722126958543 0
[pid=5398/tid=5411] ppid=5396 vsize=13984976 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/5398/task/5411/stat : 5411 (java) S 5396 5396 32593 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154630598 14320615424 936189 33554432000 4194304 4196468 140722126951792 140330760874464 140331294029525 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10895360 140722126955677 140722126955852 140722126955852 140722126958543 0
[pid=5398/tid=5412] ppid=5396 vsize=13984976 memory=1384 CPUtime=0.1 cores=1,3,5,7
/proc/5398/task/5412/stat : 5412 (java) S 5396 5396 32593 0 -1 1077944384 250 0 0 0 5 5 0 0 20 0 15 0 154630598 14320615424 936189 33554432000 4194304 4196468 140722126951792 140330759822256 140331294030466 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 26 0 0 6293624 6294260 10895360 140722126955677 140722126955852 140722126955852 140722126958543 0
Current children cumulated CPU time: 182.64 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 3746140 KiB
[startup+222.301 s]
/proc/loadavg: 1.99 2.05 2.00 3/217 5730
/proc/meminfo: memFree=22153264/32770624 swapFree=67108860/67108860
[pid=5396] ppid=5393 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/5396/stat : 5396 (xcsp3-exec) S 5393 5396 32593 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154630592 9740288 346 33554432000 4194304 5098028 140721803338656 140721803336760 139932776186492 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 12181504 140721803347060 140721803347264 140721803347264 140721803349995 0
/proc/5396/statm: 2378 346 289 221 0 87 0
[pid=5398] ppid=5396 vsize=13984976 memory=3849460 CPUtime=242.99 cores=1,3,5,7
/proc/5398/stat : 5398 (java) S 5396 5396 32593 0 -1 1077944320 78666 0 0 0 24056 243 0 0 20 0 15 0 154630592 14320615424 962365 33554432000 4194304 4196468 140722126951792 140722126934336 140331294019319 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 10895360 140722126955677 140722126955852 140722126955852 140722126958543 0
/proc/5398/statm: 3496244 962365 3285 1 0 3483478 0
[pid=5398/tid=5399] ppid=5396 vsize=13984976 memory=3849460 CPUtime=216.24 cores=1,3,5,7
/proc/5398/task/5399/stat : 5399 (java) R 5396 5396 32593 0 -1 4202560 30038 0 0 0 21591 33 0 0 20 0 15 0 154630593 14320615424 962365 33554432000 4194304 4196468 140722126951792 140331298255632 140330900934332 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10895360 140722126955677 140722126955852 140722126955852 140722126958543 0
[pid=5398/tid=5400] ppid=5396 vsize=13984976 memory=3849460 CPUtime=5.2 cores=1,3,5,7
/proc/5398/task/5400/stat : 5400 (java) S 5396 5396 32593 0 -1 1077944384 3579 0 0 0 471 49 0 0 20 0 15 0 154630594 14320615424 962365 33554432000 4194304 4196468 140722126951792 140331224107408 140331294029525 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10895360 140722126955677 140722126955852 140722126955852 140722126958543 0
[pid=5398/tid=5401] ppid=5396 vsize=13984976 memory=3849460 CPUtime=5.2 cores=1,3,5,7
/proc/5398/task/5401/stat : 5401 (java) S 5396 5396 32593 0 -1 1077944384 3798 0 0 0 470 50 0 0 20 0 15 0 154630594 14320615424 962365 33554432000 4194304 4196468 140722126951792 140331223054608 140331294029525 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10895360 140722126955677 140722126955852 140722126955852 140722126958543 0
[pid=5398/tid=5402] ppid=5396 vsize=13984976 memory=1384 CPUtime=5.17 cores=1,3,5,7
/proc/5398/task/5402/stat : 5402 (java) S 5396 5396 32593 0 -1 1077944384 4318 0 0 0 468 49 0 0 20 0 15 0 154630594 14320615424 962365 33554432000 4194304 4196468 140722126951792 140331222002320 140331294029525 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10895360 140722126955677 140722126955852 140722126955852 140722126958543 0
[pid=5398/tid=5403] ppid=5396 vsize=13984976 memory=3849460 CPUtime=5.15 cores=1,3,5,7
/proc/5398/task/5403/stat : 5403 (java) S 5396 5396 32593 0 -1 1077944384 4898 0 0 0 466 49 0 0 20 0 15 0 154630594 14320615424 962365 33554432000 4194304 4196468 140722126951792 140331220949520 140331294029525 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10895360 140722126955677 140722126955852 140722126955852 140722126958543 0
[pid=5398/tid=5404] ppid=5396 vsize=13984976 memory=1384 CPUtime=0.55 cores=1,3,5,7
/proc/5398/task/5404/stat : 5404 (java) S 5396 5396 32593 0 -1 1077944384 5848 0 0 0 54 1 0 0 20 0 15 0 154630595 14320615424 962365 33554432000 4194304 4196468 140722126951792 140330768243312 140331294030466 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 25 0 0 6293624 6294260 10895360 140722126955677 140722126955852 140722126955852 140722126958543 0
[pid=5398/tid=5405] ppid=5396 vsize=13984976 memory=3849460 CPUtime=0 cores=1,3,5,7
/proc/5398/task/5405/stat : 5405 (java) S 5396 5396 32593 0 -1 1077944384 79 0 0 0 0 0 0 0 20 0 15 0 154630595 14320615424 962365 33554432000 4194304 4196468 140722126951792 140330767189344 140331294029525 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10895360 140722126955677 140722126955852 140722126955852 140722126958543 0
[pid=5398/tid=5406] ppid=5396 vsize=13984976 memory=3849460 CPUtime=0 cores=1,3,5,7
/proc/5398/task/5406/stat : 5406 (java) S 5396 5396 32593 0 -1 1077944384 85 0 0 0 0 0 0 0 20 0 15 0 154630596 14320615424 962365 33554432000 4194304 4196468 140722126951792 140330766136960 140331294029525 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10895360 140722126955677 140722126955852 140722126955852 140722126958543 0
[pid=5398/tid=5407] ppid=5396 vsize=13984976 memory=7882535651304172401 CPUtime=0 cores=1,3,5,7
/proc/5398/task/5407/stat : 5407 (java) S 5396 5396 32593 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154630598 14320615424 962365 33554432000 4194304 4196468 140722126951792 140330765085264 140331294037915 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10895360 140722126955677 140722126955852 140722126955852 140722126958543 0
[pid=5398/tid=5408] ppid=5396 vsize=13984976 memory=3849460 CPUtime=2.25 cores=1,3,5,7
/proc/5398/task/5408/stat : 5408 (java) S 5396 5396 32593 0 -1 1077944384 6854 0 0 0 224 1 0 0 20 0 15 0 154630598 14320615424 962365 33554432000 4194304 4196468 140722126951792 140330764032112 140331294030466 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10895360 140722126955677 140722126955852 140722126955852 140722126958543 0
[pid=5398/tid=5409] ppid=5396 vsize=13984976 memory=3849460 CPUtime=2.26 cores=1,3,5,7
/proc/5398/task/5409/stat : 5409 (java) S 5396 5396 32593 0 -1 1077944384 8137 0 0 0 226 0 0 0 20 0 15 0 154630598 14320615424 962365 33554432000 4194304 4196468 140722126951792 140330762979312 140331294030466 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10895360 140722126955677 140722126955852 140722126955852 140722126958543 0
[pid=5398/tid=5410] ppid=5396 vsize=13984976 memory=1384 CPUtime=0.74 cores=1,3,5,7
/proc/5398/task/5410/stat : 5410 (java) S 5396 5396 32593 0 -1 1077944384 9500 0 0 0 73 1 0 0 20 0 15 0 154630598 14320615424 962365 33554432000 4194304 4196468 140722126951792 140330761927024 140331294030466 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10895360 140722126955677 140722126955852 140722126955852 140722126958543 0
[pid=5398/tid=5411] ppid=5396 vsize=13984976 memory=1296 CPUtime=0 cores=1,3,5,7
/proc/5398/task/5411/stat : 5411 (java) S 5396 5396 32593 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154630598 14320615424 962365 33554432000 4194304 4196468 140722126951792 140330760874464 140331294029525 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10895360 140722126955677 140722126955852 140722126955852 140722126958543 0
[pid=5398/tid=5412] ppid=5396 vsize=13984976 memory=2336 CPUtime=0.14 cores=1,3,5,7
/proc/5398/task/5412/stat : 5412 (java) S 5396 5396 32593 0 -1 1077944384 291 0 0 0 7 7 0 0 20 0 15 0 154630598 14320615424 962365 33554432000 4194304 4196468 140722126951792 140330759822256 140331294030466 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 26 0 0 6293624 6294260 10895360 140722126955677 140722126955852 140722126955852 140722126958543 0
Current children cumulated CPU time: 242.99 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 3850844 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+240.001 s]*
/proc/loadavg: 2.06 2.06 2.01 3/218 5738
/proc/meminfo: memFree=22020204/32770624 swapFree=67108860/67108860
[pid=5396] ppid=5393 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/5396/stat : 5396 (xcsp3-exec) S 5393 5396 32593 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154630592 9740288 346 33554432000 4194304 5098028 140721803338656 140721803336760 139932776186492 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 12181504 140721803347060 140721803347264 140721803347264 140721803349995 0
/proc/5396/statm: 2378 346 289 221 0 87 0
[pid=5398] ppid=5396 vsize=13984976 memory=3980532 CPUtime=261.05 cores=1,3,5,7
/proc/5398/stat : 5398 (java) S 5396 5396 32593 0 -1 1077944320 82930 0 0 0 25854 251 0 0 20 0 15 0 154630592 14320615424 995133 33554432000 4194304 4196468 140722126951792 140722126934336 140331294019319 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 10895360 140722126955677 140722126955852 140722126955852 140722126958543 0
/proc/5398/statm: 3496244 995133 3285 1 0 3483478 0
[pid=5398/tid=5399] ppid=5396 vsize=13984976 memory=6935054825532540783 CPUtime=233.83 cores=1,3,5,7
/proc/5398/task/5399/stat : 5399 (java) R 5396 5396 32593 0 -1 4202560 31788 0 0 0 23350 33 0 0 20 0 15 0 154630593 14320615424 995133 33554432000 4194304 4196468 140722126951792 140331298258688 140330900946649 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10895360 140722126955677 140722126955852 140722126955852 140722126958543 0
[pid=5398/tid=5400] ppid=5396 vsize=13984976 memory=3980532 CPUtime=5.31 cores=1,3,5,7
/proc/5398/task/5400/stat : 5400 (java) S 5396 5396 32593 0 -1 1077944384 3865 0 0 0 480 51 0 0 20 0 15 0 154630594 14320615424 995133 33554432000 4194304 4196468 140722126951792 140331224107408 140331294029525 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10895360 140722126955677 140722126955852 140722126955852 140722126958543 0
[pid=5398/tid=5401] ppid=5396 vsize=13984976 memory=6933690305039933585 CPUtime=5.31 cores=1,3,5,7
/proc/5398/task/5401/stat : 5401 (java) S 5396 5396 32593 0 -1 1077944384 4138 0 0 0 479 52 0 0 20 0 15 0 154630594 14320615424 995133 33554432000 4194304 4196468 140722126951792 140331223054608 140331294029525 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10895360 140722126955677 140722126955852 140722126955852 140722126958543 0
[pid=5398/tid=5402] ppid=5396 vsize=13984976 memory=6933690305039933585 CPUtime=5.28 cores=1,3,5,7
/proc/5398/task/5402/stat : 5402 (java) S 5396 5396 32593 0 -1 1077944384 4869 0 0 0 478 50 0 0 20 0 15 0 154630594 14320615424 995133 33554432000 4194304 4196468 140722126951792 140331222002320 140331294029525 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10895360 140722126955677 140722126955852 140722126955852 140722126958543 0
[pid=5398/tid=5403] ppid=5396 vsize=13984976 memory=6994781559841273980 CPUtime=5.26 cores=1,3,5,7
/proc/5398/task/5403/stat : 5403 (java) S 5396 5396 32593 0 -1 1077944384 6029 0 0 0 475 51 0 0 20 0 15 0 154630594 14320615424 995133 33554432000 4194304 4196468 140722126951792 140331220949520 140331294029525 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10895360 140722126955677 140722126955852 140722126955852 140722126958543 0
[pid=5398/tid=5404] ppid=5396 vsize=13984976 memory=792 CPUtime=0.55 cores=1,3,5,7
/proc/5398/task/5404/stat : 5404 (java) S 5396 5396 32593 0 -1 1077944384 6052 0 0 0 54 1 0 0 20 0 15 0 154630595 14320615424 995133 33554432000 4194304 4196468 140722126951792 140330768243312 140331294030466 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 25 0 0 6293624 6294260 10895360 140722126955677 140722126955852 140722126955852 140722126958543 0
[pid=5398/tid=5405] ppid=5396 vsize=13984976 memory=1420 CPUtime=0 cores=1,3,5,7
/proc/5398/task/5405/stat : 5405 (java) S 5396 5396 32593 0 -1 1077944384 79 0 0 0 0 0 0 0 20 0 15 0 154630595 14320615424 995133 33554432000 4194304 4196468 140722126951792 140330767189344 140331294029525 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10895360 140722126955677 140722126955852 140722126955852 140722126958543 0
[pid=5398/tid=5406] ppid=5396 vsize=13984976 memory=13144 CPUtime=0 cores=1,3,5,7
/proc/5398/task/5406/stat : 5406 (java) S 5396 5396 32593 0 -1 1077944384 85 0 0 0 0 0 0 0 20 0 15 0 154630596 14320615424 995133 33554432000 4194304 4196468 140722126951792 140330766136960 140331294029525 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10895360 140722126955677 140722126955852 140722126955852 140722126958543 0
[pid=5398/tid=5407] ppid=5396 vsize=13984976 memory=1944 CPUtime=0 cores=1,3,5,7
/proc/5398/task/5407/stat : 5407 (java) S 5396 5396 32593 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154630598 14320615424 995133 33554432000 4194304 4196468 140722126951792 140330765085264 140331294037915 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10895360 140722126955677 140722126955852 140722126955852 140722126958543 0
[pid=5398/tid=5408] ppid=5396 vsize=13984976 memory=1196 CPUtime=2.25 cores=1,3,5,7
/proc/5398/task/5408/stat : 5408 (java) S 5396 5396 32593 0 -1 1077944384 6854 0 0 0 224 1 0 0 20 0 15 0 154630598 14320615424 995133 33554432000 4194304 4196468 140722126951792 140330764032112 140331294030466 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10895360 140722126955677 140722126955852 140722126955852 140722126958543 0
[pid=5398/tid=5409] ppid=5396 vsize=13984976 memory=8588 CPUtime=2.26 cores=1,3,5,7
/proc/5398/task/5409/stat : 5409 (java) S 5396 5396 32593 0 -1 1077944384 8137 0 0 0 226 0 0 0 20 0 15 0 154630598 14320615424 995133 33554432000 4194304 4196468 140722126951792 140330762979312 140331294030466 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10895360 140722126955677 140722126955852 140722126955852 140722126958543 0
[pid=5398/tid=5410] ppid=5396 vsize=13984976 memory=23792 CPUtime=0.74 cores=1,3,5,7
/proc/5398/task/5410/stat : 5410 (java) S 5396 5396 32593 0 -1 1077944384 9500 0 0 0 73 1 0 0 20 0 15 0 154630598 14320615424 995133 33554432000 4194304 4196468 140722126951792 140330761927024 140331294030466 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10895360 140722126955677 140722126955852 140722126955852 140722126958543 0
[pid=5398/tid=5411] ppid=5396 vsize=13984976 memory=4040 CPUtime=0 cores=1,3,5,7
/proc/5398/task/5411/stat : 5411 (java) S 5396 5396 32593 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154630598 14320615424 995133 33554432000 4194304 4196468 140722126951792 140330760874464 140331294029525 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10895360 140722126955677 140722126955852 140722126955852 140722126958543 0
[pid=5398/tid=5412] ppid=5396 vsize=13984976 memory=1236 CPUtime=0.15 cores=1,3,5,7
/proc/5398/task/5412/stat : 5412 (java) S 5396 5396 32593 0 -1 1077944384 293 0 0 0 8 7 0 0 20 0 15 0 154630598 14320615424 995133 33554432000 4194304 4196468 140722126951792 140330759822256 140331294030466 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 26 0 0 6293624 6294260 10895360 140722126955677 140722126955852 140722126955852 140722126958543 0
Current children cumulated CPU time: 261.05 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 3981916 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+240.02 s]
# the end of solver process 5396 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.000944 s, system=0.000944 s
[startup+240.049 s]
# the end of solver process 5398 was just reported to runsolver
# cumulated CPU time of all completed processes: user=258.563 s, system=2.53196 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): 240.049
CPU time (s): 261.095
CPU user time (s): 258.563
CPU system time (s): 2.53196
CPU usage (%): 108.767
Max. virtual memory (cumulated for all children) (KiB): 13994520
Max. memory (cumulated for all children) (KiB): 3981916
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 258.563
system time used= 2.53196
maximum resident set size= 3981084
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 83996
page faults= 0
swaps= 0
block input operations= 0
block output operations= 424
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 8074
involuntary context switches= 299
# summary of solver processes directly reported to runsolver:
# pid: 5396,5398
# total CPU time (s): 261.095
# total CPU user time (s): 258.563
# total CPU system time (s): 2.53196
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.36305 second user time and 2.63962 second system time
The end