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 (12790 MiB free)
memory of node 1: 16384 MiB (12966 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4284404-1503211479/watcher-4284404-1503211479 -o /tmp/evaluation-result-4284404-1503211479/solver-4284404-1503211479 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node113-1503209106-8068 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 2107779298 HOME/instance-4284404-1503211479.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=9498, runsolver pid=9495
Current StackSize limit: 8192 KiB
[startup+0.100095 s]*
/proc/loadavg: 1.80 1.76 1.68 3/217 9514
/proc/meminfo: memFree=26359132/32770624 swapFree=67108860/67108860
[pid=9498] ppid=9495 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/9498/stat : 9498 (xcsp3-exec) S 9495 9498 8036 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154235318 9740288 346 33554432000 4194304 5098028 140725428900848 140725428898952 139992358232700 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 30437376 140725428905076 140725428905280 140725428905280 140725428908011 0
/proc/9498/statm: 2378 346 289 221 0 87 0
[pid=9500] ppid=9498 vsize=13978596 memory=28548 CPUtime=0.12 cores=1,3,5,7
/proc/9500/stat : 9500 (java) S 9498 9498 8036 0 -1 1077944320 5439 0 0 0 11 1 0 0 20 0 15 0 154235319 14314082304 7137 33554432000 4194304 4196468 140725540793216 140725540775760 139845755100919 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 20320256 140725540799645 140725540799820 140725540799820 140725540802511 0
/proc/9500/statm: 3494649 7137 2902 1 0 3482966 0
[pid=9500/tid=9501] ppid=9498 vsize=13978596 memory=-8976644418600983157 CPUtime=0.08 cores=1,3,5,7
/proc/9500/task/9501/stat : 9501 (java) R 9498 9498 8036 0 -1 4202560 3379 0 0 0 8 0 0 0 20 0 15 0 154235319 14314082304 7137 33554432000 4194304 4196468 140725540793216 139845759332224 139845747351509 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20320256 140725540799645 140725540799820 140725540799820 140725540802511 0
[pid=9500/tid=9502] ppid=9498 vsize=13978596 memory=3472468592312820944 CPUtime=0 cores=1,3,5,7
/proc/9500/task/9502/stat : 9502 (java) S 9498 9498 8036 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154235320 14314082304 7137 33554432000 4194304 4196468 140725540793216 139845685189264 139845755111125 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20320256 140725540799645 140725540799820 140725540799820 140725540802511 0
[pid=9500/tid=9503] ppid=9498 vsize=13978596 memory=140463417669248 CPUtime=0 cores=1,3,5,7
/proc/9500/task/9503/stat : 9503 (java) S 9498 9498 8036 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154235320 14314082304 7137 33554432000 4194304 4196468 140725540793216 139845684136464 139845755111125 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20320256 140725540799645 140725540799820 140725540799820 140725540802511 0
[pid=9500/tid=9504] ppid=9498 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9500/task/9504/stat : 9504 (java) S 9498 9498 8036 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154235320 14314082304 7137 33554432000 4194304 4196468 140725540793216 139845683083664 139845755111125 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20320256 140725540799645 140725540799820 140725540799820 140725540802511 0
[pid=9500/tid=9505] ppid=9498 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9500/task/9505/stat : 9505 (java) S 9498 9498 8036 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154235320 14314082304 7137 33554432000 4194304 4196468 140725540793216 139845682030864 139845755111125 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20320256 140725540799645 140725540799820 140725540799820 140725540802511 0
[pid=9500/tid=9506] ppid=9498 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9500/task/9506/stat : 9506 (java) S 9498 9498 8036 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154235321 14314082304 7137 33554432000 4194304 4196468 140725540793216 139844666637168 139845755112066 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20320256 140725540799645 140725540799820 140725540799820 140725540802511 0
[pid=9500/tid=9507] ppid=9498 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9500/task/9507/stat : 9507 (java) S 9498 9498 8036 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154235322 14314082304 7137 33554432000 4194304 4196468 140725540793216 139844665583136 139845755111125 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20320256 140725540799645 140725540799820 140725540799820 140725540802511 0
[pid=9500/tid=9508] ppid=9498 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9500/task/9508/stat : 9508 (java) S 9498 9498 8036 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154235322 14314082304 7137 33554432000 4194304 4196468 140725540793216 139844664530288 139845755111125 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20320256 140725540799645 140725540799820 140725540799820 140725540802511 0
[pid=9500/tid=9509] ppid=9498 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9500/task/9509/stat : 9509 (java) S 9498 9498 8036 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154235324 14314082304 7137 33554432000 4194304 4196468 140725540793216 139844663478608 139845755119515 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20320256 140725540799645 140725540799820 140725540799820 140725540802511 0
[pid=9500/tid=9510] ppid=9498 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9500/task/9510/stat : 9510 (java) S 9498 9498 8036 0 -1 1077944384 419 0 0 0 0 0 0 0 20 0 15 0 154235324 14314082304 7137 33554432000 4194304 4196468 140725540793216 139844662425968 139845755112066 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20320256 140725540799645 140725540799820 140725540799820 140725540802511 0
[pid=9500/tid=9511] ppid=9498 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9500/task/9511/stat : 9511 (java) S 9498 9498 8036 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154235324 14314082304 7137 33554432000 4194304 4196468 140725540793216 139844661373168 139845755112066 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20320256 140725540799645 140725540799820 140725540799820 140725540802511 0
[pid=9500/tid=9512] ppid=9498 vsize=13978596 memory=140463417669248 CPUtime=0.01 cores=1,3,5,7
/proc/9500/task/9512/stat : 9512 (java) S 9498 9498 8036 0 -1 1077944384 339 0 0 0 1 0 0 0 20 0 15 0 154235324 14314082304 7137 33554432000 4194304 4196468 140725540793216 139844660320368 139845755112066 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20320256 140725540799645 140725540799820 140725540799820 140725540802511 0
[pid=9500/tid=9513] ppid=9498 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9500/task/9513/stat : 9513 (java) S 9498 9498 8036 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154235324 14314082304 7137 33554432000 4194304 4196468 140725540793216 139844659267808 139845755111125 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20320256 140725540799645 140725540799820 140725540799820 140725540802511 0
[pid=9500/tid=9514] ppid=9498 vsize=13978596 memory=140463417669248 CPUtime=0 cores=1,3,5,7
/proc/9500/task/9514/stat : 9514 (java) S 9498 9498 8036 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154235325 14314082304 7137 33554432000 4194304 4196468 140725540793216 139844658216112 139845755112066 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20320256 140725540799645 140725540799820 140725540799820 140725540802511 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 13988108 KiB
Current children cumulated memory: 29932 KiB
[startup+0.212007 s]*
/proc/loadavg: 1.80 1.76 1.68 3/217 9514
/proc/meminfo: memFree=26347612/32770624 swapFree=67108860/67108860
[pid=9498] ppid=9495 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/9498/stat : 9498 (xcsp3-exec) S 9495 9498 8036 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154235318 9740288 346 33554432000 4194304 5098028 140725428900848 140725428898952 139992358232700 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 30437376 140725428905076 140725428905280 140725428905280 140725428908011 0
/proc/9498/statm: 2378 346 289 221 0 87 0
[pid=9500] ppid=9498 vsize=13982852 memory=40268 CPUtime=0.34 cores=1,3,5,7
/proc/9500/stat : 9500 (java) S 9498 9498 8036 0 -1 1077944320 8219 0 0 0 32 2 0 0 20 0 15 0 154235319 14318440448 10067 33554432000 4194304 4196468 140725540793216 140725540775760 139845755100919 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 20320256 140725540799645 140725540799820 140725540799820 140725540802511 0
/proc/9500/statm: 3495713 10067 3060 1 0 3482966 0
[pid=9500/tid=9501] ppid=9498 vsize=13982852 memory=4790596700399117203 CPUtime=0.19 cores=1,3,5,7
/proc/9500/task/9501/stat : 9501 (java) R 9498 9498 8036 0 -1 4202560 5425 0 0 0 18 1 0 0 20 0 15 0 154235319 14318440448 10067 33554432000 4194304 4196468 140725540793216 139845759311824 139845739181406 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20320256 140725540799645 140725540799820 140725540799820 140725540802511 0
[pid=9500/tid=9502] ppid=9498 vsize=13982852 memory=3472468592312820944 CPUtime=0 cores=1,3,5,7
/proc/9500/task/9502/stat : 9502 (java) S 9498 9498 8036 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154235320 14318440448 10067 33554432000 4194304 4196468 140725540793216 139845685189264 139845755111125 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20320256 140725540799645 140725540799820 140725540799820 140725540802511 0
[pid=9500/tid=9503] ppid=9498 vsize=13982852 memory=140463417669248 CPUtime=0 cores=1,3,5,7
/proc/9500/task/9503/stat : 9503 (java) S 9498 9498 8036 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154235320 14318440448 10067 33554432000 4194304 4196468 140725540793216 139845684136464 139845755111125 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20320256 140725540799645 140725540799820 140725540799820 140725540802511 0
[pid=9500/tid=9504] ppid=9498 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9500/task/9504/stat : 9504 (java) S 9498 9498 8036 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154235320 14318440448 10067 33554432000 4194304 4196468 140725540793216 139845683083664 139845755111125 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20320256 140725540799645 140725540799820 140725540799820 140725540802511 0
[pid=9500/tid=9505] ppid=9498 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9500/task/9505/stat : 9505 (java) S 9498 9498 8036 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154235320 14318440448 10067 33554432000 4194304 4196468 140725540793216 139845682030864 139845755111125 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20320256 140725540799645 140725540799820 140725540799820 140725540802511 0
[pid=9500/tid=9506] ppid=9498 vsize=13982852 memory=140463417669248 CPUtime=0 cores=1,3,5,7
/proc/9500/task/9506/stat : 9506 (java) S 9498 9498 8036 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154235321 14318440448 10067 33554432000 4194304 4196468 140725540793216 139844666637168 139845755112066 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20320256 140725540799645 140725540799820 140725540799820 140725540802511 0
[pid=9500/tid=9507] ppid=9498 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9500/task/9507/stat : 9507 (java) S 9498 9498 8036 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154235322 14318440448 10067 33554432000 4194304 4196468 140725540793216 139844665583136 139845755111125 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20320256 140725540799645 140725540799820 140725540799820 140725540802511 0
[pid=9500/tid=9508] ppid=9498 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9500/task/9508/stat : 9508 (java) S 9498 9498 8036 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154235322 14318440448 10067 33554432000 4194304 4196468 140725540793216 139844664530288 139845755111125 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20320256 140725540799645 140725540799820 140725540799820 140725540802511 0
[pid=9500/tid=9509] ppid=9498 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9500/task/9509/stat : 9509 (java) S 9498 9498 8036 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154235324 14318440448 10067 33554432000 4194304 4196468 140725540793216 139844663478608 139845755119515 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20320256 140725540799645 140725540799820 140725540799820 140725540802511 0
[pid=9500/tid=9510] ppid=9498 vsize=13982852 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/9500/task/9510/stat : 9510 (java) S 9498 9498 8036 0 -1 1077944384 556 0 0 0 2 0 0 0 20 0 15 0 154235324 14318440448 10067 33554432000 4194304 4196468 140725540793216 139844662425968 139845755112066 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20320256 140725540799645 140725540799820 140725540799820 140725540802511 0
[pid=9500/tid=9511] ppid=9498 vsize=13982852 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/9500/task/9511/stat : 9511 (java) R 9498 9498 8036 0 -1 1077944384 226 0 0 0 2 0 0 0 20 0 15 0 154235324 14318440448 10067 33554432000 4194304 4196468 140725540793216 139844661373168 139845755112066 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20320256 140725540799645 140725540799820 140725540799820 140725540802511 0
[pid=9500/tid=9512] ppid=9498 vsize=13982852 memory=140463417669248 CPUtime=0.08 cores=1,3,5,7
/proc/9500/task/9512/stat : 9512 (java) R 9498 9498 8036 0 -1 4202560 715 0 0 0 8 0 0 0 20 0 15 0 154235324 14318440448 10067 33554432000 4194304 4196468 140725540793216 139844660320368 139845747338046 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20320256 140725540799645 140725540799820 140725540799820 140725540802511 0
[pid=9500/tid=9513] ppid=9498 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9500/task/9513/stat : 9513 (java) S 9498 9498 8036 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154235324 14318440448 10067 33554432000 4194304 4196468 140725540793216 139844659267808 139845755111125 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20320256 140725540799645 140725540799820 140725540799820 140725540802511 0
[pid=9500/tid=9514] ppid=9498 vsize=13982852 memory=140463417669248 CPUtime=0 cores=1,3,5,7
/proc/9500/task/9514/stat : 9514 (java) S 9498 9498 8036 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154235325 14318440448 10067 33554432000 4194304 4196468 140725540793216 139844658216112 139845755112066 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20320256 140725540799645 140725540799820 140725540799820 140725540802511 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 41652 KiB
[startup+0.310604 s]*
/proc/loadavg: 1.89 1.78 1.69 4/217 9514
/proc/meminfo: memFree=26340540/32770624 swapFree=67108860/67108860
[pid=9498] ppid=9495 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/9498/stat : 9498 (xcsp3-exec) S 9495 9498 8036 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154235318 9740288 346 33554432000 4194304 5098028 140725428900848 140725428898952 139992358232700 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 30437376 140725428905076 140725428905280 140725428905280 140725428908011 0
/proc/9498/statm: 2378 346 289 221 0 87 0
[pid=9500] ppid=9498 vsize=13982852 memory=47684 CPUtime=0.51 cores=1,3,5,7
/proc/9500/stat : 9500 (java) S 9498 9498 8036 0 -1 1077944320 9141 0 0 0 49 2 0 0 20 0 15 0 154235319 14318440448 11921 33554432000 4194304 4196468 140725540793216 140725540775760 139845755100919 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 20320256 140725540799645 140725540799820 140725540799820 140725540802511 0
/proc/9500/statm: 3495713 11921 3097 1 0 3482966 0
[pid=9500/tid=9501] ppid=9498 vsize=13982852 memory=-8976644418600983157 CPUtime=0.29 cores=1,3,5,7
/proc/9500/task/9501/stat : 9501 (java) R 9498 9498 8036 0 -1 4202560 6108 0 0 0 27 2 0 0 20 0 15 0 154235319 14318440448 11921 33554432000 4194304 4196468 140725540793216 139845759335936 139845747778933 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20320256 140725540799645 140725540799820 140725540799820 140725540802511 0
[pid=9500/tid=9502] ppid=9498 vsize=13982852 memory=3472468592312820944 CPUtime=0 cores=1,3,5,7
/proc/9500/task/9502/stat : 9502 (java) S 9498 9498 8036 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154235320 14318440448 11921 33554432000 4194304 4196468 140725540793216 139845685189264 139845755111125 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20320256 140725540799645 140725540799820 140725540799820 140725540802511 0
[pid=9500/tid=9503] ppid=9498 vsize=13982852 memory=140463417669248 CPUtime=0 cores=1,3,5,7
/proc/9500/task/9503/stat : 9503 (java) S 9498 9498 8036 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154235320 14318440448 11921 33554432000 4194304 4196468 140725540793216 139845684136464 139845755111125 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20320256 140725540799645 140725540799820 140725540799820 140725540802511 0
[pid=9500/tid=9504] ppid=9498 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9500/task/9504/stat : 9504 (java) S 9498 9498 8036 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154235320 14318440448 11921 33554432000 4194304 4196468 140725540793216 139845683083664 139845755111125 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20320256 140725540799645 140725540799820 140725540799820 140725540802511 0
[pid=9500/tid=9505] ppid=9498 vsize=13982852 memory=140463281678367 CPUtime=0 cores=1,3,5,7
/proc/9500/task/9505/stat : 9505 (java) S 9498 9498 8036 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154235320 14318440448 11921 33554432000 4194304 4196468 140725540793216 139845682030864 139845755111125 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20320256 140725540799645 140725540799820 140725540799820 140725540802511 0
[pid=9500/tid=9506] ppid=9498 vsize=13982852 memory=280926563335968 CPUtime=0 cores=1,3,5,7
/proc/9500/task/9506/stat : 9506 (java) S 9498 9498 8036 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154235321 14318440448 11921 33554432000 4194304 4196468 140725540793216 139844666637168 139845755112066 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20320256 140725540799645 140725540799820 140725540799820 140725540802511 0
[pid=9500/tid=9507] ppid=9498 vsize=13982852 memory=140463281655311 CPUtime=0 cores=1,3,5,7
/proc/9500/task/9507/stat : 9507 (java) S 9498 9498 8036 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154235322 14318440448 11921 33554432000 4194304 4196468 140725540793216 139844665583136 139845755111125 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20320256 140725540799645 140725540799820 140725540799820 140725540802511 0
[pid=9500/tid=9508] ppid=9498 vsize=13982852 memory=280926699333728 CPUtime=0 cores=1,3,5,7
/proc/9500/task/9508/stat : 9508 (java) S 9498 9498 8036 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154235322 14318440448 11921 33554432000 4194304 4196468 140725540793216 139844664530288 139845755111125 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20320256 140725540799645 140725540799820 140725540799820 140725540802511 0
[pid=9500/tid=9509] ppid=9498 vsize=13982852 memory=140463281659919 CPUtime=0 cores=1,3,5,7
/proc/9500/task/9509/stat : 9509 (java) S 9498 9498 8036 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154235324 14318440448 11921 33554432000 4194304 4196468 140725540793216 139844663478608 139845755119515 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20320256 140725540799645 140725540799820 140725540799820 140725540802511 0
[pid=9500/tid=9510] ppid=9498 vsize=13982852 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/9500/task/9510/stat : 9510 (java) S 9498 9498 8036 0 -1 1077944384 573 0 0 0 4 0 0 0 20 0 15 0 154235324 14318440448 11921 33554432000 4194304 4196468 140725540793216 139844662425968 139845755112066 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20320256 140725540799645 140725540799820 140725540799820 140725540802511 0
[pid=9500/tid=9511] ppid=9498 vsize=13982852 memory=-1 CPUtime=0.04 cores=1,3,5,7
/proc/9500/task/9511/stat : 9511 (java) S 9498 9498 8036 0 -1 1077944384 294 0 0 0 4 0 0 0 20 0 15 0 154235324 14318440448 11921 33554432000 4194304 4196468 140725540793216 139844661373168 139845755112066 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20320256 140725540799645 140725540799820 140725540799820 140725540802511 0
[pid=9500/tid=9512] ppid=9498 vsize=13982852 memory=0 CPUtime=0.13 cores=1,3,5,7
/proc/9500/task/9512/stat : 9512 (java) R 9498 9498 8036 0 -1 4202560 865 0 0 0 13 0 0 0 20 0 15 0 154235324 14318440448 11921 33554432000 4194304 4196468 140725540793216 139844660320368 139845755122266 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20320256 140725540799645 140725540799820 140725540799820 140725540802511 0
[pid=9500/tid=9513] ppid=9498 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9500/task/9513/stat : 9513 (java) S 9498 9498 8036 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154235324 14318440448 11921 33554432000 4194304 4196468 140725540793216 139844659267808 139845755111125 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20320256 140725540799645 140725540799820 140725540799820 140725540802511 0
[pid=9500/tid=9514] ppid=9498 vsize=13982852 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/9500/task/9514/stat : 9514 (java) S 9498 9498 8036 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154235325 14318440448 11921 33554432000 4194304 4196468 140725540793216 139844658216112 139845755112066 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20320256 140725540799645 140725540799820 140725540799820 140725540802511 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 49068 KiB
[startup+0.700947 s]
/proc/loadavg: 1.89 1.78 1.69 5/217 9514
/proc/meminfo: memFree=26326832/32770624 swapFree=67108860/67108860
[pid=9498] ppid=9495 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/9498/stat : 9498 (xcsp3-exec) S 9495 9498 8036 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154235318 9740288 346 33554432000 4194304 5098028 140725428900848 140725428898952 139992358232700 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 30437376 140725428905076 140725428905280 140725428905280 140725428908011 0
/proc/9498/statm: 2378 346 289 221 0 87 0
[pid=9500] ppid=9498 vsize=13984976 memory=72160 CPUtime=1.64 cores=1,3,5,7
/proc/9500/stat : 9500 (java) S 9498 9498 8036 0 -1 1077944320 12293 0 0 0 160 4 0 0 20 0 15 0 154235319 14320615424 18040 33554432000 4194304 4196468 140725540793216 140725540775760 139845755100919 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 20320256 140725540799645 140725540799820 140725540799820 140725540802511 0
/proc/9500/statm: 3496244 18040 3208 1 0 3483478 0
[pid=9500/tid=9501] ppid=9498 vsize=13984976 memory=280926563143728 CPUtime=0.67 cores=1,3,5,7
/proc/9500/task/9501/stat : 9501 (java) R 9498 9498 8036 0 -1 4202560 6738 0 0 0 64 3 0 0 20 0 15 0 154235319 14320615424 18040 33554432000 4194304 4196468 140725540793216 139845759334816 139845755112854 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20320256 140725540799645 140725540799820 140725540799820 140725540802511 0
[pid=9500/tid=9502] ppid=9498 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9500/task/9502/stat : 9502 (java) S 9498 9498 8036 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154235320 14320615424 18040 33554432000 4194304 4196468 140725540793216 139845685189264 139845755111125 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20320256 140725540799645 140725540799820 140725540799820 140725540802511 0
[pid=9500/tid=9503] ppid=9498 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9500/task/9503/stat : 9503 (java) S 9498 9498 8036 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154235320 14320615424 18040 33554432000 4194304 4196468 140725540793216 139845684136464 139845755111125 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20320256 140725540799645 140725540799820 140725540799820 140725540802511 0
[pid=9500/tid=9504] ppid=9498 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9500/task/9504/stat : 9504 (java) S 9498 9498 8036 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154235320 14320615424 18040 33554432000 4194304 4196468 140725540793216 139845683083664 139845755111125 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20320256 140725540799645 140725540799820 140725540799820 140725540802511 0
[pid=9500/tid=9505] ppid=9498 vsize=13984976 memory=5796 CPUtime=0 cores=1,3,5,7
/proc/9500/task/9505/stat : 9505 (java) S 9498 9498 8036 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154235320 14320615424 18040 33554432000 4194304 4196468 140725540793216 139845682030864 139845755111125 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20320256 140725540799645 140725540799820 140725540799820 140725540802511 0
[pid=9500/tid=9506] ppid=9498 vsize=13984976 memory=1224 CPUtime=0 cores=1,3,5,7
/proc/9500/task/9506/stat : 9506 (java) S 9498 9498 8036 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 154235321 14320615424 18040 33554432000 4194304 4196468 140725540793216 139844666637168 139845755112066 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20320256 140725540799645 140725540799820 140725540799820 140725540802511 0
[pid=9500/tid=9507] ppid=9498 vsize=13984976 memory=8716 CPUtime=0 cores=1,3,5,7
/proc/9500/task/9507/stat : 9507 (java) S 9498 9498 8036 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154235322 14320615424 18040 33554432000 4194304 4196468 140725540793216 139844665583136 139845755111125 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20320256 140725540799645 140725540799820 140725540799820 140725540802511 0
[pid=9500/tid=9508] ppid=9498 vsize=13984976 memory=7740655667640821056 CPUtime=0 cores=1,3,5,7
/proc/9500/task/9508/stat : 9508 (java) S 9498 9498 8036 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154235322 14320615424 18040 33554432000 4194304 4196468 140725540793216 139844664530288 139845755111125 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20320256 140725540799645 140725540799820 140725540799820 140725540802511 0
[pid=9500/tid=9509] ppid=9498 vsize=13984976 memory=7450453974481135974 CPUtime=0 cores=1,3,5,7
/proc/9500/task/9509/stat : 9509 (java) S 9498 9498 8036 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154235324 14320615424 18040 33554432000 4194304 4196468 140725540793216 139844663478608 139845755119515 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20320256 140725540799645 140725540799820 140725540799820 140725540802511 0
[pid=9500/tid=9510] ppid=9498 vsize=13984976 memory=5787213827131598673 CPUtime=0.28 cores=1,3,5,7
/proc/9500/task/9510/stat : 9510 (java) R 9498 9498 8036 0 -1 4202560 1448 0 0 0 28 0 0 0 20 0 15 0 154235324 14320615424 18040 33554432000 4194304 4196468 140725540793216 139844662414072 139845739346300 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 20320256 140725540799645 140725540799820 140725540799820 140725540802511 0
[pid=9500/tid=9511] ppid=9498 vsize=13984976 memory=0 CPUtime=0.3 cores=1,3,5,7
/proc/9500/task/9511/stat : 9511 (java) R 9498 9498 8036 0 -1 4202560 1200 0 0 0 30 0 0 0 20 0 15 0 154235324 14320615424 18040 33554432000 4194304 4196468 140725540793216 139844661354184 139845738511921 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20320256 140725540799645 140725540799820 140725540799820 140725540802511 0
[pid=9500/tid=9512] ppid=9498 vsize=13984976 memory=0 CPUtime=0.35 cores=1,3,5,7
/proc/9500/task/9512/stat : 9512 (java) D 9498 9498 8036 0 -1 4202560 1601 0 0 0 35 0 0 0 20 0 15 0 154235324 14320615424 18040 33554432000 4194304 4196468 140725540793216 139844660317304 139845747818071 0 4 0 16800975 18446744071582151463 0 0 -1 1 0 0 0 0 0 6293624 6294260 20320256 140725540799645 140725540799820 140725540799820 140725540802511 0
[pid=9500/tid=9513] ppid=9498 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9500/task/9513/stat : 9513 (java) S 9498 9498 8036 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154235324 14320615424 18040 33554432000 4194304 4196468 140725540793216 139844659267808 139845755111125 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20320256 140725540799645 140725540799820 140725540799820 140725540802511 0
[pid=9500/tid=9514] ppid=9498 vsize=13984976 memory=42556 CPUtime=0 cores=1,3,5,7
/proc/9500/task/9514/stat : 9514 (java) S 9498 9498 8036 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154235325 14320615424 18040 33554432000 4194304 4196468 140725540793216 139844658216112 139845755112066 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20320256 140725540799645 140725540799820 140725540799820 140725540802511 0
Current children cumulated CPU time: 1.64 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 73544 KiB
[startup+1.50084 s]
/proc/loadavg: 1.89 1.78 1.69 5/217 9514
/proc/meminfo: memFree=26293780/32770624 swapFree=67108860/67108860
[pid=9498] ppid=9495 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/9498/stat : 9498 (xcsp3-exec) S 9495 9498 8036 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154235318 9740288 346 33554432000 4194304 5098028 140725428900848 140725428898952 139992358232700 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 30437376 140725428905076 140725428905280 140725428905280 140725428908011 0
/proc/9498/statm: 2378 346 289 221 0 87 0
################
# More data... #
################
/proc/9500/task/9508/stat : 9508 (java) S 9498 9498 8036 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 154235322 14320615424 62225 33554432000 4194304 4196468 140725540793216 139844664530288 139845755111125 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20320256 140725540799645 140725540799820 140725540799820 140725540802511 0
[pid=9500/tid=9509] ppid=9498 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9500/task/9509/stat : 9509 (java) S 9498 9498 8036 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154235324 14320615424 62225 33554432000 4194304 4196468 140725540793216 139844663478608 139845755119515 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20320256 140725540799645 140725540799820 140725540799820 140725540802511 0
[pid=9500/tid=9510] ppid=9498 vsize=13984976 memory=6944656575208382560 CPUtime=6.38 cores=1,3,5,7
/proc/9500/task/9510/stat : 9510 (java) S 9498 9498 8036 0 -1 1077944384 27485 0 0 0 636 2 0 0 20 0 15 0 154235324 14320615424 62225 33554432000 4194304 4196468 140725540793216 139844662425968 139845755112066 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20320256 140725540799645 140725540799820 140725540799820 140725540802511 0
[pid=9500/tid=9511] ppid=9498 vsize=13984976 memory=1384 CPUtime=5.9 cores=1,3,5,7
/proc/9500/task/9511/stat : 9511 (java) S 9498 9498 8036 0 -1 1077944384 28931 0 0 0 587 3 0 0 20 0 15 0 154235324 14320615424 62225 33554432000 4194304 4196468 140725540793216 139844661373168 139845755112066 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20320256 140725540799645 140725540799820 140725540799820 140725540802511 0
[pid=9500/tid=9512] ppid=9498 vsize=13984976 memory=249932 CPUtime=0.9 cores=1,3,5,7
/proc/9500/task/9512/stat : 9512 (java) S 9498 9498 8036 0 -1 1077944384 10113 0 0 0 88 2 0 0 20 0 15 0 154235324 14320615424 62225 33554432000 4194304 4196468 140725540793216 139844660320368 139845755112066 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20320256 140725540799645 140725540799820 140725540799820 140725540802511 0
[pid=9500/tid=9513] ppid=9498 vsize=13984976 memory=1236 CPUtime=0 cores=1,3,5,7
/proc/9500/task/9513/stat : 9513 (java) S 9498 9498 8036 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154235324 14320615424 62225 33554432000 4194304 4196468 140725540793216 139844659267808 139845755111125 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20320256 140725540799645 140725540799820 140725540799820 140725540802511 0
[pid=9500/tid=9514] ppid=9498 vsize=13984976 memory=4612 CPUtime=0.03 cores=1,3,5,7
/proc/9500/task/9514/stat : 9514 (java) S 9498 9498 8036 0 -1 1077944384 1316 0 0 0 1 2 0 0 20 0 15 0 154235325 14320615424 62225 33554432000 4194304 4196468 140725540793216 139844658216112 139845755112066 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20320256 140725540799645 140725540799820 140725540799820 140725540802511 0
Current children cumulated CPU time: 116.16 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 250284 KiB
[startup+162.301 s]
/proc/loadavg: 1.86 1.80 1.71 3/217 9516
/proc/meminfo: memFree=26112576/32770624 swapFree=67108860/67108860
[pid=9498] ppid=9495 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/9498/stat : 9498 (xcsp3-exec) S 9495 9498 8036 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154235318 9740288 346 33554432000 4194304 5098028 140725428900848 140725428898952 139992358232700 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 30437376 140725428905076 140725428905280 140725428905280 140725428908011 0
/proc/9498/statm: 2378 346 289 221 0 87 0
[pid=9500] ppid=9498 vsize=13984976 memory=257372 CPUtime=176.73 cores=1,3,5,7
/proc/9500/stat : 9500 (java) S 9498 9498 8036 0 -1 1077944320 93541 0 0 0 17643 30 0 0 20 0 15 0 154235319 14320615424 64343 33554432000 4194304 4196468 140725540793216 140725540775760 139845755100919 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 20320256 140725540799645 140725540799820 140725540799820 140725540802511 0
/proc/9500/statm: 3496244 64343 3268 1 0 3483478 0
[pid=9500/tid=9501] ppid=9498 vsize=13984976 memory=257372 CPUtime=161.79 cores=1,3,5,7
/proc/9500/task/9501/stat : 9501 (java) R 9498 9498 8036 0 -1 4202560 14748 0 0 0 16173 6 0 0 20 0 15 0 154235319 14320615424 64343 33554432000 4194304 4196468 140725540793216 139845759340288 139845366246329 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20320256 140725540799645 140725540799820 140725540799820 140725540802511 0
[pid=9500/tid=9502] ppid=9498 vsize=13984976 memory=252920 CPUtime=0.37 cores=1,3,5,7
/proc/9500/task/9502/stat : 9502 (java) S 9498 9498 8036 0 -1 1077944384 1321 0 0 0 34 3 0 0 20 0 15 0 154235320 14320615424 64343 33554432000 4194304 4196468 140725540793216 139845685189264 139845755111125 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20320256 140725540799645 140725540799820 140725540799820 140725540802511 0
[pid=9500/tid=9503] ppid=9498 vsize=13984976 memory=254968 CPUtime=0.37 cores=1,3,5,7
/proc/9500/task/9503/stat : 9503 (java) S 9498 9498 8036 0 -1 1077944384 800 0 0 0 34 3 0 0 20 0 15 0 154235320 14320615424 64343 33554432000 4194304 4196468 140725540793216 139845684136464 139845755111125 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20320256 140725540799645 140725540799820 140725540799820 140725540802511 0
[pid=9500/tid=9504] ppid=9498 vsize=13984976 memory=257372 CPUtime=0.36 cores=1,3,5,7
/proc/9500/task/9504/stat : 9504 (java) S 9498 9498 8036 0 -1 1077944384 2461 0 0 0 34 2 0 0 20 0 15 0 154235320 14320615424 64343 33554432000 4194304 4196468 140725540793216 139845683083664 139845755111125 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20320256 140725540799645 140725540799820 140725540799820 140725540802511 0
[pid=9500/tid=9505] ppid=9498 vsize=13984976 memory=1384 CPUtime=0.37 cores=1,3,5,7
/proc/9500/task/9505/stat : 9505 (java) S 9498 9498 8036 0 -1 1077944384 742 0 0 0 34 3 0 0 20 0 15 0 154235320 14320615424 64343 33554432000 4194304 4196468 140725540793216 139845682030864 139845755111125 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20320256 140725540799645 140725540799820 140725540799820 140725540802511 0
[pid=9500/tid=9506] ppid=9498 vsize=13984976 memory=2448 CPUtime=0.04 cores=1,3,5,7
/proc/9500/task/9506/stat : 9506 (java) S 9498 9498 8036 0 -1 1077944384 1399 0 0 0 3 1 0 0 20 0 15 0 154235321 14320615424 64343 33554432000 4194304 4196468 140725540793216 139844666637168 139845755112066 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20320256 140725540799645 140725540799820 140725540799820 140725540802511 0
[pid=9500/tid=9507] ppid=9498 vsize=13984976 memory=1732 CPUtime=0 cores=1,3,5,7
/proc/9500/task/9507/stat : 9507 (java) S 9498 9498 8036 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 154235322 14320615424 64343 33554432000 4194304 4196468 140725540793216 139844665583136 139845755111125 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20320256 140725540799645 140725540799820 140725540799820 140725540802511 0
[pid=9500/tid=9508] ppid=9498 vsize=13984976 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/9500/task/9508/stat : 9508 (java) S 9498 9498 8036 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 154235322 14320615424 64343 33554432000 4194304 4196468 140725540793216 139844664530288 139845755111125 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20320256 140725540799645 140725540799820 140725540799820 140725540802511 0
[pid=9500/tid=9509] ppid=9498 vsize=13984976 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/9500/task/9509/stat : 9509 (java) S 9498 9498 8036 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154235324 14320615424 64343 33554432000 4194304 4196468 140725540793216 139844663478608 139845755119515 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20320256 140725540799645 140725540799820 140725540799820 140725540802511 0
[pid=9500/tid=9510] ppid=9498 vsize=13984976 memory=4 CPUtime=6.42 cores=1,3,5,7
/proc/9500/task/9510/stat : 9510 (java) S 9498 9498 8036 0 -1 1077944384 28816 0 0 0 640 2 0 0 20 0 15 0 154235324 14320615424 64343 33554432000 4194304 4196468 140725540793216 139844662425968 139845755112066 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20320256 140725540799645 140725540799820 140725540799820 140725540802511 0
[pid=9500/tid=9511] ppid=9498 vsize=13984976 memory=0 CPUtime=5.96 cores=1,3,5,7
/proc/9500/task/9511/stat : 9511 (java) S 9498 9498 8036 0 -1 1077944384 30096 0 0 0 593 3 0 0 20 0 15 0 154235324 14320615424 64343 33554432000 4194304 4196468 140725540793216 139844661373168 139845755112066 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20320256 140725540799645 140725540799820 140725540799820 140725540802511 0
[pid=9500/tid=9512] ppid=9498 vsize=13984976 memory=8112282956445269571 CPUtime=0.91 cores=1,3,5,7
/proc/9500/task/9512/stat : 9512 (java) S 9498 9498 8036 0 -1 1077944384 10453 0 0 0 89 2 0 0 20 0 15 0 154235324 14320615424 64343 33554432000 4194304 4196468 140725540793216 139844660320368 139845755112066 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20320256 140725540799645 140725540799820 140725540799820 140725540802511 0
[pid=9500/tid=9513] ppid=9498 vsize=13984976 memory=12132 CPUtime=0 cores=1,3,5,7
/proc/9500/task/9513/stat : 9513 (java) S 9498 9498 8036 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154235324 14320615424 64343 33554432000 4194304 4196468 140725540793216 139844659267808 139845755111125 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20320256 140725540799645 140725540799820 140725540799820 140725540802511 0
[pid=9500/tid=9514] ppid=9498 vsize=13984976 memory=1440 CPUtime=0.05 cores=1,3,5,7
/proc/9500/task/9514/stat : 9514 (java) S 9498 9498 8036 0 -1 1077944384 1346 0 0 0 2 3 0 0 20 0 15 0 154235325 14320615424 64343 33554432000 4194304 4196468 140725540793216 139844658216112 139845755112066 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20320256 140725540799645 140725540799820 140725540799820 140725540802511 0
Current children cumulated CPU time: 176.73 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 258756 KiB
[startup+222.301 s]
/proc/loadavg: 1.38 1.68 1.67 3/217 9598
/proc/meminfo: memFree=25626252/32770624 swapFree=67108860/67108860
[pid=9498] ppid=9495 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/9498/stat : 9498 (xcsp3-exec) S 9495 9498 8036 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154235318 9740288 346 33554432000 4194304 5098028 140725428900848 140725428898952 139992358232700 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 30437376 140725428905076 140725428905280 140725428905280 140725428908011 0
/proc/9498/statm: 2378 346 289 221 0 87 0
[pid=9500] ppid=9498 vsize=13984976 memory=318240 CPUtime=237.58 cores=1,3,5,7
/proc/9500/stat : 9500 (java) S 9498 9498 8036 0 -1 1077944320 95860 0 0 0 23717 41 0 0 20 0 15 0 154235319 14320615424 79560 33554432000 4194304 4196468 140725540793216 140725540775760 139845755100919 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 20320256 140725540799645 140725540799820 140725540799820 140725540802511 0
/proc/9500/statm: 3496244 79560 3268 1 0 3483478 0
[pid=9500/tid=9501] ppid=9498 vsize=13984976 memory=314592 CPUtime=221.44 cores=1,3,5,7
/proc/9500/task/9501/stat : 9501 (java) R 9498 9498 8036 0 -1 4202560 15456 0 0 0 22138 6 0 0 20 0 15 0 154235319 14320615424 79560 33554432000 4194304 4196468 140725540793216 139845759340800 139845367443465 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20320256 140725540799645 140725540799820 140725540799820 140725540802511 0
[pid=9500/tid=9502] ppid=9498 vsize=13984976 memory=311520 CPUtime=0.65 cores=1,3,5,7
/proc/9500/task/9502/stat : 9502 (java) S 9498 9498 8036 0 -1 1077944384 1500 0 0 0 60 5 0 0 20 0 15 0 154235320 14320615424 79560 33554432000 4194304 4196468 140725540793216 139845685189264 139845755111125 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20320256 140725540799645 140725540799820 140725540799820 140725540802511 0
[pid=9500/tid=9503] ppid=9498 vsize=13984976 memory=313056 CPUtime=0.65 cores=1,3,5,7
/proc/9500/task/9503/stat : 9503 (java) S 9498 9498 8036 0 -1 1077944384 993 0 0 0 60 5 0 0 20 0 15 0 154235320 14320615424 79560 33554432000 4194304 4196468 140725540793216 139845684136464 139845755111125 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20320256 140725540799645 140725540799820 140725540799820 140725540802511 0
[pid=9500/tid=9504] ppid=9498 vsize=13984976 memory=1384 CPUtime=0.65 cores=1,3,5,7
/proc/9500/task/9504/stat : 9504 (java) S 9498 9498 8036 0 -1 1077944384 2893 0 0 0 60 5 0 0 20 0 15 0 154235320 14320615424 79560 33554432000 4194304 4196468 140725540793216 139845683083664 139845755111125 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20320256 140725540799645 140725540799820 140725540799820 140725540802511 0
[pid=9500/tid=9505] ppid=9498 vsize=13984976 memory=318240 CPUtime=0.65 cores=1,3,5,7
/proc/9500/task/9505/stat : 9505 (java) S 9498 9498 8036 0 -1 1077944384 925 0 0 0 60 5 0 0 20 0 15 0 154235320 14320615424 79560 33554432000 4194304 4196468 140725540793216 139845682030864 139845755111125 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20320256 140725540799645 140725540799820 140725540799820 140725540802511 0
[pid=9500/tid=9506] ppid=9498 vsize=13984976 memory=1384 CPUtime=0.07 cores=1,3,5,7
/proc/9500/task/9506/stat : 9506 (java) S 9498 9498 8036 0 -1 1077944384 1453 0 0 0 5 2 0 0 20 0 15 0 154235321 14320615424 79560 33554432000 4194304 4196468 140725540793216 139844666637168 139845755112066 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20320256 140725540799645 140725540799820 140725540799820 140725540802511 0
[pid=9500/tid=9507] ppid=9498 vsize=13984976 memory=280926563771360 CPUtime=0 cores=1,3,5,7
/proc/9500/task/9507/stat : 9507 (java) S 9498 9498 8036 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 154235322 14320615424 79560 33554432000 4194304 4196468 140725540793216 139844665583136 139845755111125 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20320256 140725540799645 140725540799820 140725540799820 140725540802511 0
[pid=9500/tid=9508] ppid=9498 vsize=13984976 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/9500/task/9508/stat : 9508 (java) S 9498 9498 8036 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 154235322 14320615424 79560 33554432000 4194304 4196468 140725540793216 139844664530288 139845755111125 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20320256 140725540799645 140725540799820 140725540799820 140725540802511 0
[pid=9500/tid=9509] ppid=9498 vsize=13984976 memory=2308 CPUtime=0 cores=1,3,5,7
/proc/9500/task/9509/stat : 9509 (java) S 9498 9498 8036 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154235324 14320615424 79560 33554432000 4194304 4196468 140725540793216 139844663478608 139845755119515 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20320256 140725540799645 140725540799820 140725540799820 140725540802511 0
[pid=9500/tid=9510] ppid=9498 vsize=13984976 memory=0 CPUtime=6.43 cores=1,3,5,7
/proc/9500/task/9510/stat : 9510 (java) S 9498 9498 8036 0 -1 1077944384 29354 0 0 0 641 2 0 0 20 0 15 0 154235324 14320615424 79560 33554432000 4194304 4196468 140725540793216 139844662425968 139845755112066 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20320256 140725540799645 140725540799820 140725540799820 140725540802511 0
[pid=9500/tid=9511] ppid=9498 vsize=13984976 memory=316708 CPUtime=5.96 cores=1,3,5,7
/proc/9500/task/9511/stat : 9511 (java) S 9498 9498 8036 0 -1 1077944384 30098 0 0 0 593 3 0 0 20 0 15 0 154235324 14320615424 79560 33554432000 4194304 4196468 140725540793216 139844661373168 139845755112066 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20320256 140725540799645 140725540799820 140725540799820 140725540802511 0
[pid=9500/tid=9512] ppid=9498 vsize=13984976 memory=1384 CPUtime=0.91 cores=1,3,5,7
/proc/9500/task/9512/stat : 9512 (java) S 9498 9498 8036 0 -1 1077944384 10455 0 0 0 89 2 0 0 20 0 15 0 154235324 14320615424 79560 33554432000 4194304 4196468 140725540793216 139844660320368 139845755112066 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20320256 140725540799645 140725540799820 140725540799820 140725540802511 0
[pid=9500/tid=9513] ppid=9498 vsize=13984976 memory=313056 CPUtime=0 cores=1,3,5,7
/proc/9500/task/9513/stat : 9513 (java) S 9498 9498 8036 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154235324 14320615424 79560 33554432000 4194304 4196468 140725540793216 139844659267808 139845755111125 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20320256 140725540799645 140725540799820 140725540799820 140725540802511 0
[pid=9500/tid=9514] ppid=9498 vsize=13984976 memory=1384 CPUtime=0.07 cores=1,3,5,7
/proc/9500/task/9514/stat : 9514 (java) S 9498 9498 8036 0 -1 1077944384 1374 0 0 0 3 4 0 0 20 0 15 0 154235325 14320615424 79560 33554432000 4194304 4196468 140725540793216 139844658216112 139845755112066 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20320256 140725540799645 140725540799820 140725540799820 140725540802511 0
Current children cumulated CPU time: 237.58 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 319624 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+240.001 s]*
/proc/loadavg: 1.52 1.70 1.68 3/217 9598
/proc/meminfo: memFree=25059800/32770624 swapFree=67108860/67108860
[pid=9498] ppid=9495 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/9498/stat : 9498 (xcsp3-exec) S 9495 9498 8036 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154235318 9740288 346 33554432000 4194304 5098028 140725428900848 140725428898952 139992358232700 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 30437376 140725428905076 140725428905280 140725428905280 140725428908011 0
/proc/9498/statm: 2378 346 289 221 0 87 0
[pid=9500] ppid=9498 vsize=13984976 memory=333772 CPUtime=255.46 cores=1,3,5,7
/proc/9500/stat : 9500 (java) S 9498 9498 8036 0 -1 1077944320 96639 0 0 0 25502 44 0 0 20 0 15 0 154235319 14320615424 83443 33554432000 4194304 4196468 140725540793216 140725540775760 139845755100919 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 20320256 140725540799645 140725540799820 140725540799820 140725540802511 0
/proc/9500/statm: 3496244 83443 3268 1 0 3483478 0
[pid=9500/tid=9501] ppid=9498 vsize=13984976 memory=2448 CPUtime=239.08 cores=1,3,5,7
/proc/9500/task/9501/stat : 9501 (java) R 9498 9498 8036 0 -1 4202560 15630 0 0 0 23902 6 0 0 20 0 15 0 154235319 14320615424 83443 33554432000 4194304 4196468 140725540793216 139845759340384 139845364728303 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20320256 140725540799645 140725540799820 140725540799820 140725540802511 0
[pid=9500/tid=9502] ppid=9498 vsize=13984976 memory=-7003737579269690708 CPUtime=0.71 cores=1,3,5,7
/proc/9500/task/9502/stat : 9502 (java) S 9498 9498 8036 0 -1 1077944384 1520 0 0 0 65 6 0 0 20 0 15 0 154235320 14320615424 83443 33554432000 4194304 4196468 140725540793216 139845685189264 139845755111125 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20320256 140725540799645 140725540799820 140725540799820 140725540802511 0
[pid=9500/tid=9503] ppid=9498 vsize=13984976 memory=932 CPUtime=0.71 cores=1,3,5,7
/proc/9500/task/9503/stat : 9503 (java) S 9498 9498 8036 0 -1 1077944384 1049 0 0 0 65 6 0 0 20 0 15 0 154235320 14320615424 83443 33554432000 4194304 4196468 140725540793216 139845684136464 139845755111125 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20320256 140725540799645 140725540799820 140725540799820 140725540802511 0
[pid=9500/tid=9504] ppid=9498 vsize=13984976 memory=1384 CPUtime=0.71 cores=1,3,5,7
/proc/9500/task/9504/stat : 9504 (java) S 9498 9498 8036 0 -1 1077944384 2942 0 0 0 65 6 0 0 20 0 15 0 154235320 14320615424 83443 33554432000 4194304 4196468 140725540793216 139845683083664 139845755111125 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20320256 140725540799645 140725540799820 140725540799820 140725540802511 0
[pid=9500/tid=9505] ppid=9498 vsize=13984976 memory=331724 CPUtime=0.71 cores=1,3,5,7
/proc/9500/task/9505/stat : 9505 (java) S 9498 9498 8036 0 -1 1077944384 1193 0 0 0 65 6 0 0 20 0 15 0 154235320 14320615424 83443 33554432000 4194304 4196468 140725540793216 139845682030864 139845755111125 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20320256 140725540799645 140725540799820 140725540799820 140725540802511 0
[pid=9500/tid=9506] ppid=9498 vsize=13984976 memory=4124 CPUtime=0.08 cores=1,3,5,7
/proc/9500/task/9506/stat : 9506 (java) S 9498 9498 8036 0 -1 1077944384 1661 0 0 0 6 2 0 0 20 0 15 0 154235321 14320615424 83443 33554432000 4194304 4196468 140725540793216 139844666637168 139845755112066 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20320256 140725540799645 140725540799820 140725540799820 140725540802511 0
[pid=9500/tid=9507] ppid=9498 vsize=13984976 memory=2196 CPUtime=0 cores=1,3,5,7
/proc/9500/task/9507/stat : 9507 (java) S 9498 9498 8036 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 154235322 14320615424 83443 33554432000 4194304 4196468 140725540793216 139844665583136 139845755111125 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20320256 140725540799645 140725540799820 140725540799820 140725540802511 0
[pid=9500/tid=9508] ppid=9498 vsize=13984976 memory=7788 CPUtime=0 cores=1,3,5,7
/proc/9500/task/9508/stat : 9508 (java) S 9498 9498 8036 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 154235322 14320615424 83443 33554432000 4194304 4196468 140725540793216 139844664530288 139845755111125 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20320256 140725540799645 140725540799820 140725540799820 140725540802511 0
[pid=9500/tid=9509] ppid=9498 vsize=13984976 memory=840 CPUtime=0 cores=1,3,5,7
/proc/9500/task/9509/stat : 9509 (java) S 9498 9498 8036 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154235324 14320615424 83443 33554432000 4194304 4196468 140725540793216 139844663478608 139845755119515 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20320256 140725540799645 140725540799820 140725540799820 140725540802511 0
[pid=9500/tid=9510] ppid=9498 vsize=13984976 memory=4100 CPUtime=6.43 cores=1,3,5,7
/proc/9500/task/9510/stat : 9510 (java) S 9498 9498 8036 0 -1 1077944384 29354 0 0 0 641 2 0 0 20 0 15 0 154235324 14320615424 83443 33554432000 4194304 4196468 140725540793216 139844662425968 139845755112066 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20320256 140725540799645 140725540799820 140725540799820 140725540802511 0
[pid=9500/tid=9511] ppid=9498 vsize=13984976 memory=1692 CPUtime=5.96 cores=1,3,5,7
/proc/9500/task/9511/stat : 9511 (java) S 9498 9498 8036 0 -1 1077944384 30099 0 0 0 593 3 0 0 20 0 15 0 154235324 14320615424 83443 33554432000 4194304 4196468 140725540793216 139844661373168 139845755112066 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20320256 140725540799645 140725540799820 140725540799820 140725540802511 0
[pid=9500/tid=9512] ppid=9498 vsize=13984976 memory=916 CPUtime=0.91 cores=1,3,5,7
/proc/9500/task/9512/stat : 9512 (java) S 9498 9498 8036 0 -1 1077944384 10456 0 0 0 89 2 0 0 20 0 15 0 154235324 14320615424 83443 33554432000 4194304 4196468 140725540793216 139844660320368 139845755112066 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20320256 140725540799645 140725540799820 140725540799820 140725540802511 0
[pid=9500/tid=9513] ppid=9498 vsize=13984976 memory=3828 CPUtime=0 cores=1,3,5,7
/proc/9500/task/9513/stat : 9513 (java) S 9498 9498 8036 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154235324 14320615424 83443 33554432000 4194304 4196468 140725540793216 139844659267808 139845755111125 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20320256 140725540799645 140725540799820 140725540799820 140725540802511 0
[pid=9500/tid=9514] ppid=9498 vsize=13984976 memory=2548 CPUtime=0.07 cores=1,3,5,7
/proc/9500/task/9514/stat : 9514 (java) S 9498 9498 8036 0 -1 1077944384 1376 0 0 0 3 4 0 0 20 0 15 0 154235325 14320615424 83443 33554432000 4194304 4196468 140725540793216 139844658216112 139845755112066 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20320256 140725540799645 140725540799820 140725540799820 140725540802511 0
Current children cumulated CPU time: 255.46 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 335156 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+240.02 s]
# the end of solver process 9498 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0 s, system=0.001852 s
[startup+240.024 s]
# the end of solver process 9500 was just reported to runsolver
# cumulated CPU time of all completed processes: user=255.032 s, system=0.452173 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.024
CPU time (s): 255.484
CPU user time (s): 255.032
CPU system time (s): 0.452173
CPU usage (%): 106.441
Max. virtual memory (cumulated for all children) (KiB): 13996624
Max. memory (cumulated for all children) (KiB): 335156
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 255.032
system time used= 0.452173
maximum resident set size= 334352
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 97683
page faults= 0
swaps= 0
block input operations= 0
block output operations= 416
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 9990
involuntary context switches= 333
# summary of solver processes directly reported to runsolver:
# pid: 9498,9500
# total CPU time (s): 255.484
# total CPU user time (s): 255.032
# total CPU system time (s): 0.452173
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.66221 second user time and 2.19274 second system time
The end