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 (11136 MiB free)
memory of node 1: 16384 MiB (11072 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4306971-1534150842/watcher-4306971-1534150842 -o /tmp/evaluation-result-4306971-1534150842/solver-4306971-1534150842 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node137-1534135801-5169 --watchdog 2580 HOME/xcsp3-exec -seed 695568292 -dir HOME -tl 2520 -ml 11000 -p 1 HOME/instance-4306971-1534150842.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=7437, runsolver pid=7434
[startup+0.100089 s]*
/proc/loadavg: 1.41 1.46 1.48 3/218 7453
/proc/meminfo: memFree=22723800/32770624 swapFree=67108372/67108860
[pid=7437] ppid=7434 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/7437/stat : 7437 (xcsp3-exec) S 7434 7437 3960 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 232647390 115843072 364 33554432000 4194304 5098028 140725620667504 140725620665608 139923322143356 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 19070976 140725620671547 140725620671748 140725620671748 140725620674506 0
/proc/7437/statm: 28282 364 306 221 0 87 0
[pid=7439] ppid=7437 vsize=14082940 memory=30544 CPUtime=0.12 cores=1,3,5,7
/proc/7439/stat : 7439 (java) S 7437 7437 3960 0 -1 1077944320 5488 0 0 0 11 1 0 0 20 0 15 0 232647390 14420930560 7636 33554432000 4194304 4196468 140722604265632 140722604248176 140459586035447 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 22347776 140722604266630 140722604266801 140722604266801 140722604269519 0
/proc/7439/statm: 3520735 7636 3025 1 0 3483012 0
[pid=7439/tid=7440] ppid=7437 vsize=14082940 memory=7972118593377899355 CPUtime=0.08 cores=1,3,5,7
/proc/7439/task/7440/stat : 7440 (java) R 7437 7437 3960 0 -1 4202560 3505 0 0 0 8 0 0 0 20 0 15 0 232647390 14420930560 7636 33554432000 4194304 4196468 140722604265632 140459590268720 140459586047382 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22347776 140722604266630 140722604266801 140722604266801 140722604269519 0
[pid=7439/tid=7441] ppid=7437 vsize=14082940 memory=-3689349214911541841 CPUtime=0 cores=1,3,5,7
/proc/7439/task/7441/stat : 7441 (java) S 7437 7437 3960 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 232647391 14420930560 7636 33554432000 4194304 4196468 140722604265632 140459182135568 140459586045653 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22347776 140722604266630 140722604266801 140722604266801 140722604269519 0
[pid=7439/tid=7442] ppid=7437 vsize=14082940 memory=140128314218112 CPUtime=0 cores=1,3,5,7
/proc/7439/task/7442/stat : 7442 (java) S 7437 7437 3960 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 232647391 14420930560 7636 33554432000 4194304 4196468 140722604265632 140459181083024 140459586045653 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22347776 140722604266630 140722604266801 140722604266801 140722604269519 0
[pid=7439/tid=7443] ppid=7437 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7439/task/7443/stat : 7443 (java) S 7437 7437 3960 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 232647391 14420930560 7636 33554432000 4194304 4196468 140722604265632 140459180030480 140459586045653 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22347776 140722604266630 140722604266801 140722604266801 140722604269519 0
[pid=7439/tid=7444] ppid=7437 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/7439/task/7444/stat : 7444 (java) S 7437 7437 3960 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 232647391 14420930560 7636 33554432000 4194304 4196468 140722604265632 140459178977936 140459586045653 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22347776 140722604266630 140722604266801 140722604266801 140722604269519 0
[pid=7439/tid=7445] ppid=7437 vsize=14082940 memory=140128314218112 CPUtime=0 cores=1,3,5,7
/proc/7439/task/7445/stat : 7445 (java) S 7437 7437 3960 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 232647392 14420930560 7636 33554432000 4194304 4196468 140722604265632 140459127425520 140459586046594 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22347776 140722604266630 140722604266801 140722604266801 140722604269519 0
[pid=7439/tid=7446] ppid=7437 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/7439/task/7446/stat : 7446 (java) S 7437 7437 3960 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 232647393 14420930560 7636 33554432000 4194304 4196468 140722604265632 140459126371744 140459586045653 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22347776 140722604266630 140722604266801 140722604266801 140722604269519 0
[pid=7439/tid=7447] ppid=7437 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7439/task/7447/stat : 7447 (java) S 7437 7437 3960 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 232647393 14420930560 7636 33554432000 4194304 4196468 140722604265632 140459125319152 140459586045653 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22347776 140722604266630 140722604266801 140722604266801 140722604269519 0
[pid=7439/tid=7448] ppid=7437 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7439/task/7448/stat : 7448 (java) S 7437 7437 3960 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 232647396 14420930560 7636 33554432000 4194304 4196468 140722604265632 140459124267728 140459586054043 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22347776 140722604266630 140722604266801 140722604266801 140722604269519 0
[pid=7439/tid=7449] ppid=7437 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7439/task/7449/stat : 7449 (java) S 7437 7437 3960 0 -1 1077944384 424 0 0 0 0 0 0 0 20 0 15 0 232647396 14420930560 7636 33554432000 4194304 4196468 140722604265632 140459123214320 140459586046594 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22347776 140722604266630 140722604266801 140722604266801 140722604269519 0
[pid=7439/tid=7450] ppid=7437 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/7439/task/7450/stat : 7450 (java) S 7437 7437 3960 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 232647396 14420930560 7636 33554432000 4194304 4196468 140722604265632 140459122161776 140459586046594 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22347776 140722604266630 140722604266801 140722604266801 140722604269519 0
[pid=7439/tid=7451] ppid=7437 vsize=14082940 memory=140128314218112 CPUtime=0.01 cores=1,3,5,7
/proc/7439/task/7451/stat : 7451 (java) R 7437 7437 3960 0 -1 4202560 263 0 0 0 1 0 0 0 20 0 15 0 232647396 14420930560 7636 33554432000 4194304 4196468 140722604265632 140458559006960 140459567273008 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22347776 140722604266630 140722604266801 140722604266801 140722604269519 0
[pid=7439/tid=7452] ppid=7437 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/7439/task/7452/stat : 7452 (java) S 7437 7437 3960 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 232647396 14420930560 7636 33554432000 4194304 4196468 140722604265632 140458557954656 140459586045653 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22347776 140722604266630 140722604266801 140722604266801 140722604269519 0
[pid=7439/tid=7453] ppid=7437 vsize=14082940 memory=140128314218112 CPUtime=0 cores=1,3,5,7
/proc/7439/task/7453/stat : 7453 (java) S 7437 7437 3960 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 232647396 14420930560 7636 33554432000 4194304 4196468 140722604265632 140458556902192 140459586046594 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22347776 140722604266630 140722604266801 140722604266801 140722604269519 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 14196068 KiB
Current children cumulated memory: 32000 KiB
[startup+0.2108 s]*
/proc/loadavg: 1.41 1.46 1.48 4/218 7453
/proc/meminfo: memFree=22711440/32770624 swapFree=67108372/67108860
[pid=7437] ppid=7434 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/7437/stat : 7437 (xcsp3-exec) S 7434 7437 3960 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 232647390 115843072 364 33554432000 4194304 5098028 140725620667504 140725620665608 139923322143356 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 19070976 140725620671547 140725620671748 140725620671748 140725620674506 0
/proc/7437/statm: 28282 364 306 221 0 87 0
[pid=7439] ppid=7437 vsize=14082940 memory=43180 CPUtime=0.34 cores=1,3,5,7
/proc/7439/stat : 7439 (java) S 7437 7437 3960 0 -1 1077944320 8318 0 0 0 32 2 0 0 20 0 15 0 232647390 14420930560 10795 33554432000 4194304 4196468 140722604265632 140722604248176 140459586035447 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 22347776 140722604266630 140722604266801 140722604266801 140722604269519 0
/proc/7439/statm: 3520735 10795 3203 1 0 3483012 0
[pid=7439/tid=7440] ppid=7437 vsize=14082940 memory=7883960649037381690 CPUtime=0.19 cores=1,3,5,7
/proc/7439/task/7440/stat : 7440 (java) D 7437 7437 3960 0 -1 1077944384 5437 0 0 0 18 1 0 0 20 0 15 0 232647390 14420930560 10860 33554432000 4194304 4196468 140722604265632 140459590259432 140459578713461 0 4 0 16800975 18446744072101514788 0 0 -1 5 0 0 0 0 0 6293624 6294260 22347776 140722604266630 140722604266801 140722604266801 140722604269519 0
[pid=7439/tid=7441] ppid=7437 vsize=14082940 memory=11498 CPUtime=0 cores=1,3,5,7
/proc/7439/task/7441/stat : 7441 (java) S 7437 7437 3960 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 232647391 14420930560 10860 33554432000 4194304 4196468 140722604265632 140459182135568 140459586045653 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22347776 140722604266630 140722604266801 140722604266801 140722604269519 0
[pid=7439/tid=7442] ppid=7437 vsize=14082940 memory=3617710629229975200 CPUtime=0 cores=1,3,5,7
/proc/7439/task/7442/stat : 7442 (java) S 7437 7437 3960 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 232647391 14420930560 10860 33554432000 4194304 4196468 140722604265632 140459181083024 140459586045653 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22347776 140722604266630 140722604266801 140722604266801 140722604269519 0
[pid=7439/tid=7443] ppid=7437 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7439/task/7443/stat : 7443 (java) S 7437 7437 3960 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 232647391 14420930560 10860 33554432000 4194304 4196468 140722604265632 140459180030480 140459586045653 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22347776 140722604266630 140722604266801 140722604266801 140722604269519 0
[pid=7439/tid=7444] ppid=7437 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/7439/task/7444/stat : 7444 (java) S 7437 7437 3960 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 232647391 14420930560 10860 33554432000 4194304 4196468 140722604265632 140459178977936 140459586045653 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22347776 140722604266630 140722604266801 140722604266801 140722604269519 0
[pid=7439/tid=7445] ppid=7437 vsize=14082940 memory=140128314218112 CPUtime=0 cores=1,3,5,7
/proc/7439/task/7445/stat : 7445 (java) S 7437 7437 3960 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 232647392 14420930560 10860 33554432000 4194304 4196468 140722604265632 140459127425520 140459586046594 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22347776 140722604266630 140722604266801 140722604266801 140722604269519 0
[pid=7439/tid=7446] ppid=7437 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/7439/task/7446/stat : 7446 (java) S 7437 7437 3960 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 232647393 14420930560 10860 33554432000 4194304 4196468 140722604265632 140459126371744 140459586045653 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22347776 140722604266630 140722604266801 140722604266801 140722604269519 0
[pid=7439/tid=7447] ppid=7437 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7439/task/7447/stat : 7447 (java) S 7437 7437 3960 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 232647393 14420930560 10860 33554432000 4194304 4196468 140722604265632 140459125319152 140459586045653 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22347776 140722604266630 140722604266801 140722604266801 140722604269519 0
[pid=7439/tid=7448] ppid=7437 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7439/task/7448/stat : 7448 (java) S 7437 7437 3960 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 232647396 14420930560 10860 33554432000 4194304 4196468 140722604265632 140459124267728 140459586054043 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22347776 140722604266630 140722604266801 140722604266801 140722604269519 0
[pid=7439/tid=7449] ppid=7437 vsize=14082940 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/7439/task/7449/stat : 7449 (java) S 7437 7437 3960 0 -1 1077944384 741 0 0 0 3 0 0 0 20 0 15 0 232647396 14420930560 10860 33554432000 4194304 4196468 140722604265632 140459123214320 140459586046594 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22347776 140722604266630 140722604266801 140722604266801 140722604269519 0
[pid=7439/tid=7450] ppid=7437 vsize=14082940 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/7439/task/7450/stat : 7450 (java) S 7437 7437 3960 0 -1 1077944384 50 0 0 0 1 0 0 0 20 0 15 0 232647396 14420930560 10860 33554432000 4194304 4196468 140722604265632 140459122161776 140459586046594 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22347776 140722604266630 140722604266801 140722604266801 140722604269519 0
[pid=7439/tid=7451] ppid=7437 vsize=14082940 memory=140128314218112 CPUtime=0.08 cores=1,3,5,7
/proc/7439/task/7451/stat : 7451 (java) S 7437 7437 3960 0 -1 1077944384 795 0 0 0 8 0 0 0 20 0 15 0 232647396 14420930560 10860 33554432000 4194304 4196468 140722604265632 140458559006960 140459586046594 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22347776 140722604266630 140722604266801 140722604266801 140722604269519 0
[pid=7439/tid=7452] ppid=7437 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/7439/task/7452/stat : 7452 (java) S 7437 7437 3960 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 232647396 14420930560 10860 33554432000 4194304 4196468 140722604265632 140458557954656 140459586045653 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22347776 140722604266630 140722604266801 140722604266801 140722604269519 0
[pid=7439/tid=7453] ppid=7437 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7439/task/7453/stat : 7453 (java) S 7437 7437 3960 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 232647396 14420930560 10860 33554432000 4194304 4196468 140722604265632 140458556902192 140459586046594 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22347776 140722604266630 140722604266801 140722604266801 140722604269519 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 14196068 KiB
Current children cumulated memory: 44636 KiB
[startup+0.310652 s]*
/proc/loadavg: 1.41 1.46 1.48 4/218 7453
/proc/meminfo: memFree=22705112/32770624 swapFree=67108372/67108860
[pid=7437] ppid=7434 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/7437/stat : 7437 (xcsp3-exec) S 7434 7437 3960 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 232647390 115843072 364 33554432000 4194304 5098028 140725620667504 140725620665608 139923322143356 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 19070976 140725620671547 140725620671748 140725620671748 140725620674506 0
/proc/7437/statm: 28282 364 306 221 0 87 0
[pid=7439] ppid=7437 vsize=14087196 memory=50248 CPUtime=0.53 cores=1,3,5,7
/proc/7439/stat : 7439 (java) S 7437 7437 3960 0 -1 1077944320 9236 0 0 0 50 3 0 0 20 0 15 0 232647390 14425288704 12562 33554432000 4194304 4196468 140722604265632 140722604248176 140459586035447 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 22347776 140722604266630 140722604266801 140722604266801 140722604269519 0
/proc/7439/statm: 3521799 12562 3253 1 0 3483012 0
[pid=7439/tid=7440] ppid=7437 vsize=14087196 memory=8112282956445269571 CPUtime=0.29 cores=1,3,5,7
/proc/7439/task/7440/stat : 7440 (java) R 7437 7437 3960 0 -1 4202560 6150 0 0 0 27 2 0 0 20 0 15 0 232647390 14425288704 12627 33554432000 4194304 4196468 140722604265632 140459590266560 140459586057373 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22347776 140722604266630 140722604266801 140722604266801 140722604269519 0
[pid=7439/tid=7441] ppid=7437 vsize=14087196 memory=4126316290023845779 CPUtime=0 cores=1,3,5,7
/proc/7439/task/7441/stat : 7441 (java) S 7437 7437 3960 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 232647391 14425288704 12627 33554432000 4194304 4196468 140722604265632 140459182135568 140459586045653 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22347776 140722604266630 140722604266801 140722604266801 140722604269519 0
[pid=7439/tid=7442] ppid=7437 vsize=14087196 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/7439/task/7442/stat : 7442 (java) S 7437 7437 3960 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 232647391 14425288704 12627 33554432000 4194304 4196468 140722604265632 140459181083024 140459586045653 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22347776 140722604266630 140722604266801 140722604266801 140722604269519 0
[pid=7439/tid=7443] ppid=7437 vsize=14087196 memory=-5587046532246807594 CPUtime=0 cores=1,3,5,7
/proc/7439/task/7443/stat : 7443 (java) S 7437 7437 3960 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 232647391 14425288704 12627 33554432000 4194304 4196468 140722604265632 140459180030480 140459586045653 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22347776 140722604266630 140722604266801 140722604266801 140722604269519 0
[pid=7439/tid=7444] ppid=7437 vsize=14087196 memory=7379517710693473142 CPUtime=0 cores=1,3,5,7
/proc/7439/task/7444/stat : 7444 (java) S 7437 7437 3960 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 232647391 14425288704 12627 33554432000 4194304 4196468 140722604265632 140459178977936 140459586045653 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22347776 140722604266630 140722604266801 140722604266801 140722604269519 0
[pid=7439/tid=7445] ppid=7437 vsize=14087196 memory=7016714186490735262 CPUtime=0 cores=1,3,5,7
/proc/7439/task/7445/stat : 7445 (java) S 7437 7437 3960 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 232647392 14425288704 12627 33554432000 4194304 4196468 140722604265632 140459127425520 140459586046594 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22347776 140722604266630 140722604266801 140722604266801 140722604269519 0
[pid=7439/tid=7446] ppid=7437 vsize=14087196 memory=-9062862659931694204 CPUtime=0 cores=1,3,5,7
/proc/7439/task/7446/stat : 7446 (java) S 7437 7437 3960 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 232647393 14425288704 12627 33554432000 4194304 4196468 140722604265632 140459126371744 140459586045653 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22347776 140722604266630 140722604266801 140722604266801 140722604269519 0
[pid=7439/tid=7447] ppid=7437 vsize=14087196 memory=3047711566422646390 CPUtime=0 cores=1,3,5,7
/proc/7439/task/7447/stat : 7447 (java) S 7437 7437 3960 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 232647393 14425288704 12627 33554432000 4194304 4196468 140722604265632 140459125319152 140459586045653 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22347776 140722604266630 140722604266801 140722604266801 140722604269519 0
[pid=7439/tid=7448] ppid=7437 vsize=14087196 memory=8982046290584177472 CPUtime=0 cores=1,3,5,7
/proc/7439/task/7448/stat : 7448 (java) S 7437 7437 3960 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 232647396 14425288704 12627 33554432000 4194304 4196468 140722604265632 140459124267728 140459586054043 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22347776 140722604266630 140722604266801 140722604266801 140722604269519 0
[pid=7439/tid=7449] ppid=7437 vsize=14087196 memory=8325818968683490714 CPUtime=0.05 cores=1,3,5,7
/proc/7439/task/7449/stat : 7449 (java) S 7437 7437 3960 0 -1 1077944384 753 0 0 0 5 0 0 0 20 0 15 0 232647396 14425288704 12627 33554432000 4194304 4196468 140722604265632 140459123214320 140459586046594 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22347776 140722604266630 140722604266801 140722604266801 140722604269519 0
[pid=7439/tid=7450] ppid=7437 vsize=14087196 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/7439/task/7450/stat : 7450 (java) S 7437 7437 3960 0 -1 1077944384 161 0 0 0 4 0 0 0 20 0 15 0 232647396 14425288704 12627 33554432000 4194304 4196468 140722604265632 140459122161776 140459586046594 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22347776 140722604266630 140722604266801 140722604266801 140722604269519 0
[pid=7439/tid=7451] ppid=7437 vsize=14087196 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/7439/task/7451/stat : 7451 (java) S 7437 7437 3960 0 -1 1077944384 875 0 0 0 12 0 0 0 20 0 15 0 232647396 14425288704 12627 33554432000 4194304 4196468 140722604265632 140458559006960 140459586046594 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22347776 140722604266630 140722604266801 140722604266801 140722604269519 0
[pid=7439/tid=7452] ppid=7437 vsize=14087196 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7439/task/7452/stat : 7452 (java) S 7437 7437 3960 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 232647396 14425288704 12627 33554432000 4194304 4196468 140722604265632 140458557954656 140459586045653 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22347776 140722604266630 140722604266801 140722604266801 140722604269519 0
[pid=7439/tid=7453] ppid=7437 vsize=14087196 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7439/task/7453/stat : 7453 (java) S 7437 7437 3960 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 232647396 14425288704 12627 33554432000 4194304 4196468 140722604265632 140458556902192 140459586046594 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22347776 140722604266630 140722604266801 140722604266801 140722604269519 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 14200324 KiB
Current children cumulated memory: 51704 KiB
[startup+0.709384 s]
/proc/loadavg: 1.41 1.46 1.48 5/218 7453
/proc/meminfo: memFree=22687984/32770624 swapFree=67108372/67108860
[pid=7437] ppid=7434 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/7437/stat : 7437 (xcsp3-exec) S 7434 7437 3960 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 232647390 115843072 364 33554432000 4194304 5098028 140725620667504 140725620665608 139923322143356 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 19070976 140725620671547 140725620671748 140725620671748 140725620674506 0
/proc/7437/statm: 28282 364 306 221 0 87 0
[pid=7439] ppid=7437 vsize=14089320 memory=75076 CPUtime=1.61 cores=1,3,5,7
/proc/7439/stat : 7439 (java) S 7437 7437 3960 0 -1 1077944320 12918 0 0 0 156 5 0 0 20 0 15 0 232647390 14427463680 18769 33554432000 4194304 4196468 140722604265632 140722604248176 140459586035447 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 22347776 140722604266630 140722604266801 140722604266801 140722604269519 0
/proc/7439/statm: 3522330 18769 3361 1 0 3483524 0
[pid=7439/tid=7440] ppid=7437 vsize=14089320 memory=1752 CPUtime=0.67 cores=1,3,5,7
/proc/7439/task/7440/stat : 7440 (java) R 7437 7437 3960 0 -1 4202560 7118 0 0 0 64 3 0 0 20 0 15 0 232647390 14427463680 18769 33554432000 4194304 4196468 140722604265632 140459590274640 140459208626818 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22347776 140722604266630 140722604266801 140722604266801 140722604269519 0
[pid=7439/tid=7441] ppid=7437 vsize=14089320 memory=5752 CPUtime=0 cores=1,3,5,7
/proc/7439/task/7441/stat : 7441 (java) S 7437 7437 3960 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 232647391 14427463680 18769 33554432000 4194304 4196468 140722604265632 140459182135568 140459586045653 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22347776 140722604266630 140722604266801 140722604266801 140722604269519 0
[pid=7439/tid=7442] ppid=7437 vsize=14089320 memory=4580 CPUtime=0 cores=1,3,5,7
/proc/7439/task/7442/stat : 7442 (java) S 7437 7437 3960 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 232647391 14427463680 18769 33554432000 4194304 4196468 140722604265632 140459181083024 140459586045653 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22347776 140722604266630 140722604266801 140722604266801 140722604269519 0
[pid=7439/tid=7443] ppid=7437 vsize=14089320 memory=1620 CPUtime=0 cores=1,3,5,7
/proc/7439/task/7443/stat : 7443 (java) S 7437 7437 3960 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 232647391 14427463680 18769 33554432000 4194304 4196468 140722604265632 140459180030480 140459586045653 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22347776 140722604266630 140722604266801 140722604266801 140722604269519 0
[pid=7439/tid=7444] ppid=7437 vsize=14089320 memory=1220 CPUtime=0 cores=1,3,5,7
/proc/7439/task/7444/stat : 7444 (java) S 7437 7437 3960 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 232647391 14427463680 18769 33554432000 4194304 4196468 140722604265632 140459178977936 140459586045653 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22347776 140722604266630 140722604266801 140722604266801 140722604269519 0
[pid=7439/tid=7445] ppid=7437 vsize=14089320 memory=1800 CPUtime=0 cores=1,3,5,7
/proc/7439/task/7445/stat : 7445 (java) S 7437 7437 3960 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 232647392 14427463680 18769 33554432000 4194304 4196468 140722604265632 140459127425520 140459586046594 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22347776 140722604266630 140722604266801 140722604266801 140722604269519 0
[pid=7439/tid=7446] ppid=7437 vsize=14089320 memory=868 CPUtime=0 cores=1,3,5,7
/proc/7439/task/7446/stat : 7446 (java) S 7437 7437 3960 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 232647393 14427463680 18769 33554432000 4194304 4196468 140722604265632 140459126371744 140459586045653 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22347776 140722604266630 140722604266801 140722604266801 140722604269519 0
[pid=7439/tid=7447] ppid=7437 vsize=14089320 memory=6792 CPUtime=0 cores=1,3,5,7
/proc/7439/task/7447/stat : 7447 (java) S 7437 7437 3960 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 232647393 14427463680 18769 33554432000 4194304 4196468 140722604265632 140459125319152 140459586045653 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22347776 140722604266630 140722604266801 140722604266801 140722604269519 0
[pid=7439/tid=7448] ppid=7437 vsize=14089320 memory=11628 CPUtime=0 cores=1,3,5,7
/proc/7439/task/7448/stat : 7448 (java) S 7437 7437 3960 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 232647396 14427463680 18769 33554432000 4194304 4196468 140722604265632 140459124267728 140459586054043 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22347776 140722604266630 140722604266801 140722604266801 140722604269519 0
[pid=7439/tid=7449] ppid=7437 vsize=14089320 memory=752 CPUtime=0.28 cores=1,3,5,7
/proc/7439/task/7449/stat : 7449 (java) R 7437 7437 3960 0 -1 4202560 1587 0 0 0 28 0 0 0 20 0 15 0 232647396 14427463680 18769 33554432000 4194304 4196468 140722604265632 140459123200888 140459569535653 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22347776 140722604266630 140722604266801 140722604266801 140722604269519 0
[pid=7439/tid=7450] ppid=7437 vsize=14089320 memory=1276 CPUtime=0.27 cores=1,3,5,7
/proc/7439/task/7450/stat : 7450 (java) R 7437 7437 3960 0 -1 4202560 862 0 0 0 27 0 0 0 20 0 15 0 232647396 14427463680 18769 33554432000 4194304 4196468 140722604265632 140459122147800 140459567562980 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22347776 140722604266630 140722604266801 140722604266801 140722604269519 0
[pid=7439/tid=7451] ppid=7437 vsize=14089320 memory=1068 CPUtime=0.35 cores=1,3,5,7
/proc/7439/task/7451/stat : 7451 (java) S 7437 7437 3960 0 -1 1077944384 2042 0 0 0 35 0 0 0 20 0 15 0 232647396 14427463680 18769 33554432000 4194304 4196468 140722604265632 140458559006960 140459586046594 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22347776 140722604266630 140722604266801 140722604266801 140722604269519 0
[pid=7439/tid=7452] ppid=7437 vsize=14089320 memory=15064 CPUtime=0 cores=1,3,5,7
/proc/7439/task/7452/stat : 7452 (java) S 7437 7437 3960 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 232647396 14427463680 18769 33554432000 4194304 4196468 140722604265632 140458557954656 140459586045653 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22347776 140722604266630 140722604266801 140722604266801 140722604269519 0
[pid=7439/tid=7453] ppid=7437 vsize=14089320 memory=34896 CPUtime=0 cores=1,3,5,7
/proc/7439/task/7453/stat : 7453 (java) S 7437 7437 3960 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 232647396 14427463680 18769 33554432000 4194304 4196468 140722604265632 140458556902192 140459586046594 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22347776 140722604266630 140722604266801 140722604266801 140722604269519 0
Current children cumulated CPU time: 1.61 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 76532 KiB
[startup+1.50089 s]
/proc/loadavg: 1.41 1.46 1.48 5/218 7453
/proc/meminfo: memFree=22671188/32770624 swapFree=67108372/67108860
[pid=7437] ppid=7434 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/7437/stat : 7437 (xcsp3-exec) S 7434 7437 3960 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 232647390 115843072 364 33554432000 4194304 5098028 140725620667504 140725620665608 139923322143356 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 19070976 140725620671547 140725620671748 140725620671748 140725620674506 0
/proc/7437/statm: 28282 364 306 221 0 87 0
################
# More data... #
################
/proc/7439/task/7447/stat : 7447 (java) S 7437 7437 3960 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 232647393 14427463680 1173177 33554432000 4194304 4196468 140722604265632 140459125319152 140459586045653 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22347776 140722604266630 140722604266801 140722604266801 140722604269519 0
[pid=7439/tid=7448] ppid=7437 vsize=14089320 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/7439/task/7448/stat : 7448 (java) S 7437 7437 3960 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 232647396 14427463680 1173177 33554432000 4194304 4196468 140722604265632 140459124267728 140459586054043 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22347776 140722604266630 140722604266801 140722604266801 140722604269519 0
[pid=7439/tid=7449] ppid=7437 vsize=14089320 memory=4692712 CPUtime=1.74 cores=1,3,5,7
/proc/7439/task/7449/stat : 7449 (java) S 7437 7437 3960 0 -1 1077944384 15467 0 0 0 173 1 0 0 20 0 15 0 232647396 14427463680 1173177 33554432000 4194304 4196468 140722604265632 140459123214320 140459586046594 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22347776 140722604266630 140722604266801 140722604266801 140722604269519 0
[pid=7439/tid=7450] ppid=7437 vsize=14089320 memory=4694760 CPUtime=1.66 cores=1,3,5,7
/proc/7439/task/7450/stat : 7450 (java) S 7437 7437 3960 0 -1 1077944384 12903 0 0 0 165 1 0 0 20 0 15 0 232647396 14427463680 1173177 33554432000 4194304 4196468 140722604265632 140459122161776 140459586046594 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 9 0 0 6293624 6294260 22347776 140722604266630 140722604266801 140722604266801 140722604269519 0
[pid=7439/tid=7451] ppid=7437 vsize=14089320 memory=1456 CPUtime=0.5 cores=1,3,5,7
/proc/7439/task/7451/stat : 7451 (java) S 7437 7437 3960 0 -1 1077944384 7534 0 0 0 49 1 0 0 20 0 15 0 232647396 14427463680 1173177 33554432000 4194304 4196468 140722604265632 140458559006960 140459586046594 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22347776 140722604266630 140722604266801 140722604266801 140722604269519 0
[pid=7439/tid=7452] ppid=7437 vsize=14089320 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/7439/task/7452/stat : 7452 (java) S 7437 7437 3960 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 232647396 14427463680 1173177 33554432000 4194304 4196468 140722604265632 140458557954656 140459586045653 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22347776 140722604266630 140722604266801 140722604266801 140722604269519 0
[pid=7439/tid=7453] ppid=7437 vsize=14089320 memory=4693736 CPUtime=0.61 cores=1,3,5,7
/proc/7439/task/7453/stat : 7453 (java) S 7437 7437 3960 0 -1 1077944384 1756 0 0 0 27 34 0 0 20 0 15 0 232647396 14427463680 1173177 33554432000 4194304 4196468 140722604265632 140458556902192 140459586046594 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 11 0 0 6293624 6294260 22347776 140722604266630 140722604266801 140722604266801 140722604269519 0
Current children cumulated CPU time: 2345.2 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 4694164 KiB
[startup+2382.3 s]
/proc/loadavg: 1.33 1.55 1.56 3/218 7628
/proc/meminfo: memFree=11331772/32770624 swapFree=67108372/67108860
[pid=7437] ppid=7434 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/7437/stat : 7437 (xcsp3-exec) S 7434 7437 3960 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 232647390 115843072 364 33554432000 4194304 5098028 140725620667504 140725620665608 139923322143356 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 19070976 140725620671547 140725620671748 140725620671748 140725620674506 0
/proc/7437/statm: 28282 364 306 221 0 87 0
[pid=7439] ppid=7437 vsize=14089320 memory=4696280 CPUtime=2406.02 cores=1,3,5,7
/proc/7439/stat : 7439 (java) S 7437 7437 3960 0 -1 1077944320 223976 0 0 0 240286 316 0 0 20 0 15 0 232647390 14427463680 1174070 33554432000 4194304 4196468 140722604265632 140722604248176 140459586035447 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 22347776 140722604266630 140722604266801 140722604266801 140722604269519 0
/proc/7439/statm: 3522330 1174070 3433 1 0 3483524 0
[pid=7439/tid=7440] ppid=7437 vsize=14089320 memory=4696280 CPUtime=2373.82 cores=1,3,5,7
/proc/7439/task/7440/stat : 7440 (java) R 7437 7437 3960 0 -1 4202560 115471 0 0 0 237165 217 0 0 20 0 15 0 232647390 14427463680 1174070 33554432000 4194304 4196468 140722604265632 140459590274960 140459209069524 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22347776 140722604266630 140722604266801 140722604266801 140722604269519 0
[pid=7439/tid=7441] ppid=7437 vsize=14089320 memory=4696280 CPUtime=6.59 cores=1,3,5,7
/proc/7439/task/7441/stat : 7441 (java) S 7437 7437 3960 0 -1 1077944384 13036 0 0 0 647 12 0 0 20 0 15 0 232647391 14427463680 1174070 33554432000 4194304 4196468 140722604265632 140459182135568 140459586045653 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22347776 140722604266630 140722604266801 140722604266801 140722604269519 0
[pid=7439/tid=7442] ppid=7437 vsize=14089320 memory=1456 CPUtime=6.58 cores=1,3,5,7
/proc/7439/task/7442/stat : 7442 (java) S 7437 7437 3960 0 -1 1077944384 15518 0 0 0 645 13 0 0 20 0 15 0 232647391 14427463680 1174070 33554432000 4194304 4196468 140722604265632 140459181083024 140459586045653 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22347776 140722604266630 140722604266801 140722604266801 140722604269519 0
[pid=7439/tid=7443] ppid=7437 vsize=14089320 memory=1456 CPUtime=6.57 cores=1,3,5,7
/proc/7439/task/7443/stat : 7443 (java) S 7437 7437 3960 0 -1 1077944384 11818 0 0 0 643 14 0 0 20 0 15 0 232647391 14427463680 1174070 33554432000 4194304 4196468 140722604265632 140459180030480 140459586045653 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22347776 140722604266630 140722604266801 140722604266801 140722604269519 0
[pid=7439/tid=7444] ppid=7437 vsize=14089320 memory=4695776 CPUtime=6.6 cores=1,3,5,7
/proc/7439/task/7444/stat : 7444 (java) S 7437 7437 3960 0 -1 1077944384 14813 0 0 0 647 13 0 0 20 0 15 0 232647391 14427463680 1174070 33554432000 4194304 4196468 140722604265632 140459178977936 140459586045653 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22347776 140722604266630 140722604266801 140722604266801 140722604269519 0
[pid=7439/tid=7445] ppid=7437 vsize=14089320 memory=1456 CPUtime=1.24 cores=1,3,5,7
/proc/7439/task/7445/stat : 7445 (java) S 7437 7437 3960 0 -1 1077944384 14266 0 0 0 108 16 0 0 20 0 15 0 232647392 14427463680 1174070 33554432000 4194304 4196468 140722604265632 140459127425520 140459586046594 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22347776 140722604266630 140722604266801 140722604266801 140722604269519 0
[pid=7439/tid=7446] ppid=7437 vsize=14089320 memory=4696280 CPUtime=0 cores=1,3,5,7
/proc/7439/task/7446/stat : 7446 (java) S 7437 7437 3960 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 15 0 232647393 14427463680 1174070 33554432000 4194304 4196468 140722604265632 140459126371744 140459586045653 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22347776 140722604266630 140722604266801 140722604266801 140722604269519 0
[pid=7439/tid=7447] ppid=7437 vsize=14089320 memory=8112282956445269571 CPUtime=0 cores=1,3,5,7
/proc/7439/task/7447/stat : 7447 (java) S 7437 7437 3960 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 232647393 14427463680 1174070 33554432000 4194304 4196468 140722604265632 140459125319152 140459586045653 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22347776 140722604266630 140722604266801 140722604266801 140722604269519 0
[pid=7439/tid=7448] ppid=7437 vsize=14089320 memory=2592 CPUtime=0 cores=1,3,5,7
/proc/7439/task/7448/stat : 7448 (java) S 7437 7437 3960 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 232647396 14427463680 1174070 33554432000 4194304 4196468 140722604265632 140459124267728 140459586054043 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22347776 140722604266630 140722604266801 140722604266801 140722604269519 0
[pid=7439/tid=7449] ppid=7437 vsize=14089320 memory=1456 CPUtime=1.74 cores=1,3,5,7
/proc/7439/task/7449/stat : 7449 (java) S 7437 7437 3960 0 -1 1077944384 15469 0 0 0 173 1 0 0 20 0 15 0 232647396 14427463680 1174070 33554432000 4194304 4196468 140722604265632 140459123214320 140459586046594 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22347776 140722604266630 140722604266801 140722604266801 140722604269519 0
[pid=7439/tid=7450] ppid=7437 vsize=14089320 memory=1456 CPUtime=1.66 cores=1,3,5,7
/proc/7439/task/7450/stat : 7450 (java) S 7437 7437 3960 0 -1 1077944384 12905 0 0 0 165 1 0 0 20 0 15 0 232647396 14427463680 1174070 33554432000 4194304 4196468 140722604265632 140459122161776 140459586046594 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 9 0 0 6293624 6294260 22347776 140722604266630 140722604266801 140722604266801 140722604269519 0
[pid=7439/tid=7451] ppid=7437 vsize=14089320 memory=1456 CPUtime=0.5 cores=1,3,5,7
/proc/7439/task/7451/stat : 7451 (java) S 7437 7437 3960 0 -1 1077944384 7536 0 0 0 49 1 0 0 20 0 15 0 232647396 14427463680 1174070 33554432000 4194304 4196468 140722604265632 140458559006960 140459586046594 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22347776 140722604266630 140722604266801 140722604266801 140722604269519 0
[pid=7439/tid=7452] ppid=7437 vsize=14089320 memory=4696280 CPUtime=0 cores=1,3,5,7
/proc/7439/task/7452/stat : 7452 (java) S 7437 7437 3960 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 232647396 14427463680 1174070 33554432000 4194304 4196468 140722604265632 140458557954656 140459586045653 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22347776 140722604266630 140722604266801 140722604266801 140722604269519 0
[pid=7439/tid=7453] ppid=7437 vsize=14089320 memory=932 CPUtime=0.63 cores=1,3,5,7
/proc/7439/task/7453/stat : 7453 (java) S 7437 7437 3960 0 -1 1077944384 1777 0 0 0 28 35 0 0 20 0 15 0 232647396 14427463680 1174070 33554432000 4194304 4196468 140722604265632 140458556902192 140459586046594 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 11 0 0 6293624 6294260 22347776 140722604266630 140722604266801 140722604266801 140722604269519 0
Current children cumulated CPU time: 2406.02 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 4697736 KiB
[startup+2442.3 s]
/proc/loadavg: 1.60 1.58 1.56 3/218 7629
/proc/meminfo: memFree=10672084/32770624 swapFree=67108372/67108860
[pid=7437] ppid=7434 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/7437/stat : 7437 (xcsp3-exec) S 7434 7437 3960 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 232647390 115843072 364 33554432000 4194304 5098028 140725620667504 140725620665608 139923322143356 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 19070976 140725620671547 140725620671748 140725620671748 140725620674506 0
/proc/7437/statm: 28282 364 306 221 0 87 0
[pid=7439] ppid=7437 vsize=14089320 memory=4697808 CPUtime=2466.54 cores=1,3,5,7
/proc/7439/stat : 7439 (java) S 7437 7437 3960 0 -1 1077944320 232550 0 0 0 246336 318 0 0 20 0 15 0 232647390 14427463680 1174452 33554432000 4194304 4196468 140722604265632 140722604248176 140459586035447 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 22347776 140722604266630 140722604266801 140722604266801 140722604269519 0
/proc/7439/statm: 3522330 1174452 3433 1 0 3483524 0
[pid=7439/tid=7440] ppid=7437 vsize=14089320 memory=4697808 CPUtime=2433.64 cores=1,3,5,7
/proc/7439/task/7440/stat : 7440 (java) R 7437 7437 3960 0 -1 4202560 119228 0 0 0 243146 218 0 0 20 0 15 0 232647390 14427463680 1174452 33554432000 4194304 4196468 140722604265632 140459590274752 140459208719687 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22347776 140722604266630 140722604266801 140722604266801 140722604269519 0
[pid=7439/tid=7441] ppid=7437 vsize=14089320 memory=4697808 CPUtime=6.76 cores=1,3,5,7
/proc/7439/task/7441/stat : 7441 (java) S 7437 7437 3960 0 -1 1077944384 13845 0 0 0 664 12 0 0 20 0 15 0 232647391 14427463680 1174452 33554432000 4194304 4196468 140722604265632 140459182135568 140459586045653 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22347776 140722604266630 140722604266801 140722604266801 140722604269519 0
[pid=7439/tid=7442] ppid=7437 vsize=14089320 memory=4697808 CPUtime=6.75 cores=1,3,5,7
/proc/7439/task/7442/stat : 7442 (java) S 7437 7437 3960 0 -1 1077944384 16789 0 0 0 662 13 0 0 20 0 15 0 232647391 14427463680 1174452 33554432000 4194304 4196468 140722604265632 140459181083024 140459586045653 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22347776 140722604266630 140722604266801 140722604266801 140722604269519 0
[pid=7439/tid=7443] ppid=7437 vsize=14089320 memory=4697808 CPUtime=6.73 cores=1,3,5,7
/proc/7439/task/7443/stat : 7443 (java) S 7437 7437 3960 0 -1 1077944384 13176 0 0 0 659 14 0 0 20 0 15 0 232647391 14427463680 1174452 33554432000 4194304 4196468 140722604265632 140459180030480 140459586045653 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22347776 140722604266630 140722604266801 140722604266801 140722604269519 0
[pid=7439/tid=7444] ppid=7437 vsize=14089320 memory=4697808 CPUtime=6.76 cores=1,3,5,7
/proc/7439/task/7444/stat : 7444 (java) S 7437 7437 3960 0 -1 1077944384 15989 0 0 0 663 13 0 0 20 0 15 0 232647391 14427463680 1174452 33554432000 4194304 4196468 140722604265632 140459178977936 140459586045653 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22347776 140722604266630 140722604266801 140722604266801 140722604269519 0
[pid=7439/tid=7445] ppid=7437 vsize=14089320 memory=1456 CPUtime=1.25 cores=1,3,5,7
/proc/7439/task/7445/stat : 7445 (java) S 7437 7437 3960 0 -1 1077944384 14442 0 0 0 108 17 0 0 20 0 15 0 232647392 14427463680 1174452 33554432000 4194304 4196468 140722604265632 140459127425520 140459586046594 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22347776 140722604266630 140722604266801 140722604266801 140722604269519 0
[pid=7439/tid=7446] ppid=7437 vsize=14089320 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/7439/task/7446/stat : 7446 (java) S 7437 7437 3960 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 15 0 232647393 14427463680 1174452 33554432000 4194304 4196468 140722604265632 140459126371744 140459586045653 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22347776 140722604266630 140722604266801 140722604266801 140722604269519 0
[pid=7439/tid=7447] ppid=7437 vsize=14089320 memory=4698320 CPUtime=0 cores=1,3,5,7
/proc/7439/task/7447/stat : 7447 (java) S 7437 7437 3960 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 232647393 14427463680 1174452 33554432000 4194304 4196468 140722604265632 140459125319152 140459586045653 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22347776 140722604266630 140722604266801 140722604266801 140722604269519 0
[pid=7439/tid=7448] ppid=7437 vsize=14089320 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/7439/task/7448/stat : 7448 (java) S 7437 7437 3960 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 232647396 14427463680 1174452 33554432000 4194304 4196468 140722604265632 140459124267728 140459586054043 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22347776 140722604266630 140722604266801 140722604266801 140722604269519 0
[pid=7439/tid=7449] ppid=7437 vsize=14089320 memory=1456 CPUtime=1.74 cores=1,3,5,7
/proc/7439/task/7449/stat : 7449 (java) S 7437 7437 3960 0 -1 1077944384 15471 0 0 0 173 1 0 0 20 0 15 0 232647396 14427463680 1174452 33554432000 4194304 4196468 140722604265632 140459123214320 140459586046594 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22347776 140722604266630 140722604266801 140722604266801 140722604269519 0
[pid=7439/tid=7450] ppid=7437 vsize=14089320 memory=4697808 CPUtime=1.67 cores=1,3,5,7
/proc/7439/task/7450/stat : 7450 (java) S 7437 7437 3960 0 -1 1077944384 12907 0 0 0 165 2 0 0 20 0 15 0 232647396 14427463680 1174452 33554432000 4194304 4196468 140722604265632 140459122161776 140459586046594 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 9 0 0 6293624 6294260 22347776 140722604266630 140722604266801 140722604266801 140722604269519 0
[pid=7439/tid=7451] ppid=7437 vsize=14089320 memory=1456 CPUtime=0.5 cores=1,3,5,7
/proc/7439/task/7451/stat : 7451 (java) S 7437 7437 3960 0 -1 1077944384 7538 0 0 0 49 1 0 0 20 0 15 0 232647396 14427463680 1174452 33554432000 4194304 4196468 140722604265632 140458559006960 140459586046594 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22347776 140722604266630 140722604266801 140722604266801 140722604269519 0
[pid=7439/tid=7452] ppid=7437 vsize=14089320 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/7439/task/7452/stat : 7452 (java) S 7437 7437 3960 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 232647396 14427463680 1174452 33554432000 4194304 4196468 140722604265632 140458557954656 140459586045653 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22347776 140722604266630 140722604266801 140722604266801 140722604269519 0
[pid=7439/tid=7453] ppid=7437 vsize=14089320 memory=8112282956445269571 CPUtime=0.64 cores=1,3,5,7
/proc/7439/task/7453/stat : 7453 (java) S 7437 7437 3960 0 -1 1077944384 1798 0 0 0 28 36 0 0 20 0 15 0 232647396 14427463680 1174452 33554432000 4194304 4196468 140722604265632 140458556902192 140459586046594 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 11 0 0 6293624 6294260 22347776 140722604266630 140722604266801 140722604266801 140722604269519 0
Current children cumulated CPU time: 2466.54 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 4699264 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2495.6 s]
/proc/loadavg: 1.66 1.60 1.57 3/218 7630
/proc/meminfo: memFree=10673664/32770624 swapFree=67108372/67108860
[pid=7437] ppid=7434 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/7437/stat : 7437 (xcsp3-exec) S 7434 7437 3960 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 232647390 115843072 364 33554432000 4194304 5098028 140725620667504 140725620665608 139923322143356 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 19070976 140725620671547 140725620671748 140725620671748 140725620674506 0
/proc/7437/statm: 28282 364 306 221 0 87 0
[pid=7439] ppid=7437 vsize=14089320 memory=4698312 CPUtime=2520.09 cores=1,3,5,7
/proc/7439/stat : 7439 (java) S 7437 7437 3960 0 -1 1077944320 239560 0 0 0 251689 320 0 0 20 0 15 0 232647390 14427463680 1174578 33554432000 4194304 4196468 140722604265632 140722604248176 140459586035447 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 22347776 140722604266630 140722604266801 140722604266801 140722604269519 0
/proc/7439/statm: 3522330 1174578 3433 1 0 3483524 0
[pid=7439/tid=7440] ppid=7437 vsize=14089320 memory=1100 CPUtime=2486.85 cores=1,3,5,7
/proc/7439/task/7440/stat : 7440 (java) R 7437 7437 3960 0 -1 4202560 121758 0 0 0 248467 218 0 0 20 0 15 0 232647390 14427463680 1174578 33554432000 4194304 4196468 140722604265632 140459590274336 140459210431512 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22347776 140722604266630 140722604266801 140722604266801 140722604269519 0
[pid=7439/tid=7441] ppid=7437 vsize=14089320 memory=8112282956445269571 CPUtime=6.84 cores=1,3,5,7
/proc/7439/task/7441/stat : 7441 (java) S 7437 7437 3960 0 -1 1077944384 15254 0 0 0 671 13 0 0 20 0 15 0 232647391 14427463680 1174578 33554432000 4194304 4196468 140722604265632 140459182135568 140459586045653 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22347776 140722604266630 140722604266801 140722604266801 140722604269519 0
[pid=7439/tid=7442] ppid=7437 vsize=14089320 memory=1924 CPUtime=6.83 cores=1,3,5,7
/proc/7439/task/7442/stat : 7442 (java) S 7437 7437 3960 0 -1 1077944384 17548 0 0 0 670 13 0 0 20 0 15 0 232647391 14427463680 1174578 33554432000 4194304 4196468 140722604265632 140459181083024 140459586045653 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22347776 140722604266630 140722604266801 140722604266801 140722604269519 0
[pid=7439/tid=7443] ppid=7437 vsize=14089320 memory=7532 CPUtime=6.81 cores=1,3,5,7
/proc/7439/task/7443/stat : 7443 (java) S 7437 7437 3960 0 -1 1077944384 14076 0 0 0 667 14 0 0 20 0 15 0 232647391 14427463680 1174578 33554432000 4194304 4196468 140722604265632 140459180030480 140459586045653 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22347776 140722604266630 140722604266801 140722604266801 140722604269519 0
[pid=7439/tid=7444] ppid=7437 vsize=14089320 memory=808 CPUtime=6.84 cores=1,3,5,7
/proc/7439/task/7444/stat : 7444 (java) S 7437 7437 3960 0 -1 1077944384 17205 0 0 0 671 13 0 0 20 0 15 0 232647391 14427463680 1174578 33554432000 4194304 4196468 140722604265632 140459178977936 140459586045653 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22347776 140722604266630 140722604266801 140722604266801 140722604269519 0
[pid=7439/tid=7445] ppid=7437 vsize=14089320 memory=1692 CPUtime=1.25 cores=1,3,5,7
/proc/7439/task/7445/stat : 7445 (java) S 7437 7437 3960 0 -1 1077944384 14613 0 0 0 108 17 0 0 20 0 15 0 232647392 14427463680 1174578 33554432000 4194304 4196468 140722604265632 140459127425520 140459586046594 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22347776 140722604266630 140722604266801 140722604266801 140722604269519 0
[pid=7439/tid=7446] ppid=7437 vsize=14089320 memory=1616 CPUtime=0 cores=1,3,5,7
/proc/7439/task/7446/stat : 7446 (java) S 7437 7437 3960 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 15 0 232647393 14427463680 1174578 33554432000 4194304 4196468 140722604265632 140459126371744 140459586045653 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22347776 140722604266630 140722604266801 140722604266801 140722604269519 0
[pid=7439/tid=7447] ppid=7437 vsize=14089320 memory=1172 CPUtime=0 cores=1,3,5,7
/proc/7439/task/7447/stat : 7447 (java) S 7437 7437 3960 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 232647393 14427463680 1174578 33554432000 4194304 4196468 140722604265632 140459125319152 140459586045653 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22347776 140722604266630 140722604266801 140722604266801 140722604269519 0
[pid=7439/tid=7448] ppid=7437 vsize=14089320 memory=932 CPUtime=0 cores=1,3,5,7
/proc/7439/task/7448/stat : 7448 (java) S 7437 7437 3960 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 232647396 14427463680 1174578 33554432000 4194304 4196468 140722604265632 140459124267728 140459586054043 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22347776 140722604266630 140722604266801 140722604266801 140722604269519 0
[pid=7439/tid=7449] ppid=7437 vsize=14089320 memory=6416 CPUtime=1.74 cores=1,3,5,7
/proc/7439/task/7449/stat : 7449 (java) S 7437 7437 3960 0 -1 1077944384 15473 0 0 0 173 1 0 0 20 0 15 0 232647396 14427463680 1174578 33554432000 4194304 4196468 140722604265632 140459123214320 140459586046594 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22347776 140722604266630 140722604266801 140722604266801 140722604269519 0
[pid=7439/tid=7450] ppid=7437 vsize=14089320 memory=1572 CPUtime=1.67 cores=1,3,5,7
/proc/7439/task/7450/stat : 7450 (java) S 7437 7437 3960 0 -1 1077944384 12909 0 0 0 165 2 0 0 20 0 15 0 232647396 14427463680 1174578 33554432000 4194304 4196468 140722604265632 140459122161776 140459586046594 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 9 0 0 6293624 6294260 22347776 140722604266630 140722604266801 140722604266801 140722604269519 0
[pid=7439/tid=7451] ppid=7437 vsize=14089320 memory=928 CPUtime=0.5 cores=1,3,5,7
/proc/7439/task/7451/stat : 7451 (java) S 7437 7437 3960 0 -1 1077944384 7540 0 0 0 49 1 0 0 20 0 15 0 232647396 14427463680 1174578 33554432000 4194304 4196468 140722604265632 140458559006960 140459586046594 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22347776 140722604266630 140722604266801 140722604266801 140722604269519 0
[pid=7439/tid=7452] ppid=7437 vsize=14089320 memory=2196 CPUtime=0 cores=1,3,5,7
/proc/7439/task/7452/stat : 7452 (java) S 7437 7437 3960 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 232647396 14427463680 1174578 33554432000 4194304 4196468 140722604265632 140458557954656 140459586045653 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22347776 140722604266630 140722604266801 140722604266801 140722604269519 0
[pid=7439/tid=7453] ppid=7437 vsize=14089320 memory=3988 CPUtime=0.65 cores=1,3,5,7
/proc/7439/task/7453/stat : 7453 (java) S 7437 7437 3960 0 -1 1077944384 1817 0 0 0 29 36 0 0 20 0 15 0 232647396 14427463680 1174578 33554432000 4194304 4196468 140722604265632 140458556902192 140459586046594 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 11 0 0 6293624 6294260 22347776 140722604266630 140722604266801 140722604266801 140722604269519 0
Current children cumulated CPU time: 2520.09 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 4699768 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2495.61 s]
# the end of solver process 7437 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.002132 s, system=0.000774 s
[startup+2495.63 s]
# the end of solver process 7439 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2516.91 s, system=3.22844 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): 2495.63
CPU time (s): 2520.14
CPU user time (s): 2516.91
CPU system time (s): 3.22844
CPU usage (%): 100.982
Max. virtual memory (cumulated for all children) (KiB): 14204328
Max. memory (cumulated for all children) (KiB): 4700292
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.91
system time used= 3.22844
maximum resident set size= 4699352
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 240428
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2840
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 84735
involuntary context switches= 2519
# summary of solver processes directly reported to runsolver:
# pid: 7437,7439
# total CPU time (s): 2520.14
# total CPU user time (s): 2516.91
# total CPU system time (s): 3.22844
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.2731 second user time and 22.7736 second system time
The end