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 (9723 MiB free)
memory of node 1: 16384 MiB (13370 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4393421-1568313806/watcher-4393421-1568313806 -o /tmp/evaluation-result-4393421-1568313806/solver-4393421-1568313806 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node117-1568312851-11622 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 798381796 HOME/instance-4393421-1568313806.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=12945, runsolver pid=12942
[startup+0.100057 s]*
/proc/loadavg: 7.84 7.55 5.11 7/235 12961
/proc/meminfo: memFree=23632156/32770624 swapFree=66952812/67108860
[pid=12945] ppid=12942 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/12945/stat : 12945 (xcsp3-exec) S 12942 12945 11591 0 -1 4202496 542 0 0 0 0 0 0 0 20 0 1 0 407322572 115843072 362 33554432000 4194304 5098028 140726455434544 140726455432648 139834959774332 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 17182720 140726455436155 140726455436397 140726455436397 140726455439306 0
/proc/12945/statm: 28282 362 304 221 0 87 0
[pid=12947] ppid=12945 vsize=15144768 memory=29096 CPUtime=0.13 cores=0,2,4,6
/proc/12947/stat : 12947 (java) S 12945 12945 11591 0 -1 1077944320 5701 0 0 0 12 1 0 0 20 0 15 0 407322572 15508242432 7274 33554432000 4194304 4196468 140729384297616 140729384280160 140392706887415 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 8732672 140729384301551 140729384301722 140729384301722 140729384304591 0
/proc/12947/statm: 3786192 7274 3176 1 0 3748377 0
[pid=12947/tid=12948] ppid=12945 vsize=15144768 memory=7100839861498119282 CPUtime=0.08 cores=0,2,4,6
/proc/12947/task/12948/stat : 12948 (java) R 12945 12945 11591 0 -1 4202560 3604 0 0 0 8 0 0 0 20 0 15 0 407322572 15508242432 7274 33554432000 4194304 4196468 140729384297616 140392711116592 140392699124542 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8732672 140729384301551 140729384301722 140729384301722 140729384304591 0
[pid=12947/tid=12949] ppid=12945 vsize=15144768 memory=-3689349214911541841 CPUtime=0 cores=0,2,4,6
/proc/12947/task/12949/stat : 12949 (java) S 12945 12945 11591 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407322573 15508242432 7274 33554432000 4194304 4196468 140729384297616 140392618543888 140392706897621 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8732672 140729384301551 140729384301722 140729384301722 140729384304591 0
[pid=12947/tid=12950] ppid=12945 vsize=15144768 memory=139722507773568 CPUtime=0 cores=0,2,4,6
/proc/12947/task/12950/stat : 12950 (java) S 12945 12945 11591 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407322573 15508242432 7274 33554432000 4194304 4196468 140729384297616 140392617491344 140392706897621 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8732672 140729384301551 140729384301722 140729384301722 140729384304591 0
[pid=12947/tid=12951] ppid=12945 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12947/task/12951/stat : 12951 (java) S 12945 12945 11591 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407322573 15508242432 7274 33554432000 4194304 4196468 140729384297616 140392297131024 140392706897621 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8732672 140729384301551 140729384301722 140729384301722 140729384304591 0
[pid=12947/tid=12952] ppid=12945 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/12947/task/12952/stat : 12952 (java) S 12945 12945 11591 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407322573 15508242432 7274 33554432000 4194304 4196468 140729384297616 140392296078480 140392706897621 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8732672 140729384301551 140729384301722 140729384301722 140729384304591 0
[pid=12947/tid=12953] ppid=12945 vsize=15144768 memory=139722507773568 CPUtime=0 cores=0,2,4,6
/proc/12947/task/12953/stat : 12953 (java) S 12945 12945 11591 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407322574 15508242432 7274 33554432000 4194304 4196468 140729384297616 140392175495152 140392706898562 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8732672 140729384301551 140729384301722 140729384301722 140729384304591 0
[pid=12947/tid=12954] ppid=12945 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/12947/task/12954/stat : 12954 (java) S 12945 12945 11591 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 407322575 15508242432 7274 33554432000 4194304 4196468 140729384297616 140392174441376 140392706897621 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8732672 140729384301551 140729384301722 140729384301722 140729384304591 0
[pid=12947/tid=12955] ppid=12945 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12947/task/12955/stat : 12955 (java) S 12945 12945 11591 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 407322575 15508242432 7274 33554432000 4194304 4196468 140729384297616 140392173388784 140392706897621 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8732672 140729384301551 140729384301722 140729384301722 140729384304591 0
[pid=12947/tid=12956] ppid=12945 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12947/task/12956/stat : 12956 (java) S 12945 12945 11591 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407322577 15508242432 7274 33554432000 4194304 4196468 140729384297616 140392172337360 140392706906011 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8732672 140729384301551 140729384301722 140729384301722 140729384304591 0
[pid=12947/tid=12957] ppid=12945 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12947/task/12957/stat : 12957 (java) R 12945 12945 11591 0 -1 1077944384 302 0 0 0 0 0 0 0 20 0 15 0 407322577 15508242432 7274 33554432000 4194304 4196468 140729384297616 140392171284976 140392706898562 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8732672 140729384301551 140729384301722 140729384301722 140729384304591 0
[pid=12947/tid=12958] ppid=12945 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/12947/task/12958/stat : 12958 (java) R 12945 12945 11591 0 -1 4202560 163 0 0 0 0 0 0 0 20 0 15 0 407322577 15508242432 7274 33554432000 4194304 4196468 140729384297616 140392170223936 140392699128805 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8732672 140729384301551 140729384301722 140729384301722 140729384304591 0
[pid=12947/tid=12959] ppid=12945 vsize=15144768 memory=139722507773568 CPUtime=0.02 cores=0,2,4,6
/proc/12947/task/12959/stat : 12959 (java) R 12945 12945 11591 0 -1 4202560 350 0 0 0 2 0 0 0 20 0 15 0 407322577 15508242432 7274 33554432000 4194304 4196468 140729384297616 140392169179888 140392706901324 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8732672 140729384301551 140729384301722 140729384301722 140729384304591 0
[pid=12947/tid=12960] ppid=12945 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/12947/task/12960/stat : 12960 (java) S 12945 12945 11591 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407322578 15508242432 7274 33554432000 4194304 4196468 140729384297616 140392168127584 140392706897621 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8732672 140729384301551 140729384301722 140729384301722 140729384304591 0
[pid=12947/tid=12961] ppid=12945 vsize=15144768 memory=139722507773568 CPUtime=0 cores=0,2,4,6
/proc/12947/task/12961/stat : 12961 (java) S 12945 12945 11591 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407322578 15508242432 7274 33554432000 4194304 4196468 140729384297616 140392167074096 140392706898562 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8732672 140729384301551 140729384301722 140729384301722 140729384304591 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 30544 KiB
[startup+0.210823 s]*
/proc/loadavg: 7.84 7.55 5.11 7/235 12961
/proc/meminfo: memFree=23618024/32770624 swapFree=66952812/67108860
[pid=12945] ppid=12942 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/12945/stat : 12945 (xcsp3-exec) S 12942 12945 11591 0 -1 4202496 542 0 0 0 0 0 0 0 20 0 1 0 407322572 115843072 362 33554432000 4194304 5098028 140726455434544 140726455432648 139834959774332 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 17182720 140726455436155 140726455436397 140726455436397 140726455439306 0
/proc/12945/statm: 28282 362 304 221 0 87 0
[pid=12947] ppid=12945 vsize=15144768 memory=40632 CPUtime=0.35 cores=0,2,4,6
/proc/12947/stat : 12947 (java) S 12945 12945 11591 0 -1 1077944320 9331 0 0 0 32 3 0 0 20 0 15 0 407322572 15508242432 10158 33554432000 4194304 4196468 140729384297616 140729384280160 140392706887415 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 8732672 140729384301551 140729384301722 140729384301722 140729384304591 0
/proc/12947/statm: 3786192 10158 3312 1 0 3748377 0
[pid=12947/tid=12948] ppid=12945 vsize=15144768 memory=7883960649037381690 CPUtime=0.2 cores=0,2,4,6
/proc/12947/task/12948/stat : 12948 (java) R 12945 12945 11591 0 -1 4202560 6610 0 0 0 18 2 0 0 20 0 15 0 407322572 15508242432 10158 33554432000 4194304 4196468 140729384297616 140392711121120 140392690967902 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8732672 140729384301551 140729384301722 140729384301722 140729384304591 0
[pid=12947/tid=12949] ppid=12945 vsize=15144768 memory=13655 CPUtime=0 cores=0,2,4,6
/proc/12947/task/12949/stat : 12949 (java) S 12945 12945 11591 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407322573 15508242432 10158 33554432000 4194304 4196468 140729384297616 140392618543888 140392706897621 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8732672 140729384301551 140729384301722 140729384301722 140729384304591 0
[pid=12947/tid=12950] ppid=12945 vsize=15144768 memory=139722510727899 CPUtime=0 cores=0,2,4,6
/proc/12947/task/12950/stat : 12950 (java) S 12945 12945 11591 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407322573 15508242432 10158 33554432000 4194304 4196468 140729384297616 140392617491344 140392706897621 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8732672 140729384301551 140729384301722 140729384301722 140729384304591 0
[pid=12947/tid=12951] ppid=12945 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12947/task/12951/stat : 12951 (java) S 12945 12945 11591 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407322573 15508242432 10158 33554432000 4194304 4196468 140729384297616 140392297131024 140392706897621 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8732672 140729384301551 140729384301722 140729384301722 140729384304591 0
[pid=12947/tid=12952] ppid=12945 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/12947/task/12952/stat : 12952 (java) S 12945 12945 11591 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407322573 15508242432 10158 33554432000 4194304 4196468 140729384297616 140392296078480 140392706897621 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8732672 140729384301551 140729384301722 140729384301722 140729384304591 0
[pid=12947/tid=12953] ppid=12945 vsize=15144768 memory=139722507773568 CPUtime=0 cores=0,2,4,6
/proc/12947/task/12953/stat : 12953 (java) S 12945 12945 11591 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 407322574 15508242432 10158 33554432000 4194304 4196468 140729384297616 140392175495152 140392706898562 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8732672 140729384301551 140729384301722 140729384301722 140729384304591 0
[pid=12947/tid=12954] ppid=12945 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/12947/task/12954/stat : 12954 (java) S 12945 12945 11591 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 407322575 15508242432 10158 33554432000 4194304 4196468 140729384297616 140392174441376 140392706897621 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8732672 140729384301551 140729384301722 140729384301722 140729384304591 0
[pid=12947/tid=12955] ppid=12945 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12947/task/12955/stat : 12955 (java) S 12945 12945 11591 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 407322575 15508242432 10158 33554432000 4194304 4196468 140729384297616 140392173388784 140392706897621 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8732672 140729384301551 140729384301722 140729384301722 140729384304591 0
[pid=12947/tid=12956] ppid=12945 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12947/task/12956/stat : 12956 (java) S 12945 12945 11591 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407322577 15508242432 10158 33554432000 4194304 4196468 140729384297616 140392172337360 140392706906011 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8732672 140729384301551 140729384301722 140729384301722 140729384304591 0
[pid=12947/tid=12957] ppid=12945 vsize=15144768 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/12947/task/12957/stat : 12957 (java) S 12945 12945 11591 0 -1 1077944384 339 0 0 0 2 0 0 0 20 0 15 0 407322577 15508242432 10158 33554432000 4194304 4196468 140729384297616 140392171284976 140392706898562 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8732672 140729384301551 140729384301722 140729384301722 140729384304591 0
[pid=12947/tid=12958] ppid=12945 vsize=15144768 memory=-1 CPUtime=0.03 cores=0,2,4,6
/proc/12947/task/12958/stat : 12958 (java) S 12945 12945 11591 0 -1 1077944384 278 0 0 0 3 0 0 0 20 0 15 0 407322577 15508242432 10158 33554432000 4194304 4196468 140729384297616 140392170232432 140392706898562 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8732672 140729384301551 140729384301722 140729384301722 140729384304591 0
[pid=12947/tid=12959] ppid=12945 vsize=15144768 memory=139722507773568 CPUtime=0.08 cores=0,2,4,6
/proc/12947/task/12959/stat : 12959 (java) R 12945 12945 11591 0 -1 4202560 800 0 0 0 8 0 0 0 20 0 15 0 407322577 15508242432 10158 33554432000 4194304 4196468 140729384297616 140392169179888 140392706899350 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8732672 140729384301551 140729384301722 140729384301722 140729384304591 0
[pid=12947/tid=12960] ppid=12945 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/12947/task/12960/stat : 12960 (java) S 12945 12945 11591 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407322578 15508242432 10158 33554432000 4194304 4196468 140729384297616 140392168127584 140392706897621 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8732672 140729384301551 140729384301722 140729384301722 140729384304591 0
[pid=12947/tid=12961] ppid=12945 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12947/task/12961/stat : 12961 (java) S 12945 12945 11591 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407322578 15508242432 10158 33554432000 4194304 4196468 140729384297616 140392167074096 140392706898562 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8732672 140729384301551 140729384301722 140729384301722 140729384304591 0
Current children cumulated CPU time: 0.35 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 42080 KiB
[startup+0.311372 s]*
/proc/loadavg: 7.84 7.55 5.11 6/235 12961
/proc/meminfo: memFree=23611372/32770624 swapFree=66952812/67108860
[pid=12945] ppid=12942 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/12945/stat : 12945 (xcsp3-exec) S 12942 12945 11591 0 -1 4202496 542 0 0 0 0 0 0 0 20 0 1 0 407322572 115843072 362 33554432000 4194304 5098028 140726455434544 140726455432648 139834959774332 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 17182720 140726455436155 140726455436397 140726455436397 140726455439306 0
/proc/12945/statm: 28282 362 304 221 0 87 0
[pid=12947] ppid=12945 vsize=15149024 memory=49900 CPUtime=0.52 cores=0,2,4,6
/proc/12947/stat : 12947 (java) S 12945 12945 11591 0 -1 1077944320 10765 0 0 0 49 3 0 0 20 0 15 0 407322572 15512600576 12475 33554432000 4194304 4196468 140729384297616 140729384280160 140392706887415 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 8732672 140729384301551 140729384301722 140729384301722 140729384304591 0
/proc/12947/statm: 3787256 12475 3363 1 0 3748377 0
[pid=12947/tid=12948] ppid=12945 vsize=15149024 memory=8317482817917895235 CPUtime=0.3 cores=0,2,4,6
/proc/12947/task/12948/stat : 12948 (java) R 12945 12945 11591 0 -1 4202560 7805 0 0 0 28 2 0 0 20 0 15 0 407322572 15512600576 12475 33554432000 4194304 4196468 140729384297616 140392711118528 140392706909341 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8732672 140729384301551 140729384301722 140729384301722 140729384304591 0
[pid=12947/tid=12949] ppid=12945 vsize=15149024 memory=4126316290023845779 CPUtime=0 cores=0,2,4,6
/proc/12947/task/12949/stat : 12949 (java) S 12945 12945 11591 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407322573 15512600576 12475 33554432000 4194304 4196468 140729384297616 140392618543888 140392706897621 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8732672 140729384301551 140729384301722 140729384301722 140729384304591 0
[pid=12947/tid=12950] ppid=12945 vsize=15149024 memory=6655300316396806240 CPUtime=0 cores=0,2,4,6
/proc/12947/task/12950/stat : 12950 (java) S 12945 12945 11591 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407322573 15512600576 12475 33554432000 4194304 4196468 140729384297616 140392617491344 140392706897621 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8732672 140729384301551 140729384301722 140729384301722 140729384304591 0
[pid=12947/tid=12951] ppid=12945 vsize=15149024 memory=6943526294502006880 CPUtime=0 cores=0,2,4,6
/proc/12947/task/12951/stat : 12951 (java) S 12945 12945 11591 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407322573 15512600576 12475 33554432000 4194304 4196468 140729384297616 140392297131024 140392706897621 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8732672 140729384301551 140729384301722 140729384301722 140729384304591 0
[pid=12947/tid=12952] ppid=12945 vsize=15149024 memory=-3258418265892434876 CPUtime=0 cores=0,2,4,6
/proc/12947/task/12952/stat : 12952 (java) S 12945 12945 11591 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407322573 15512600576 12475 33554432000 4194304 4196468 140729384297616 140392296078480 140392706897621 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8732672 140729384301551 140729384301722 140729384301722 140729384304591 0
[pid=12947/tid=12953] ppid=12945 vsize=15149024 memory=4572146057552828020 CPUtime=0 cores=0,2,4,6
/proc/12947/task/12953/stat : 12953 (java) S 12945 12945 11591 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 407322574 15512600576 12475 33554432000 4194304 4196468 140729384297616 140392175495152 140392706898562 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8732672 140729384301551 140729384301722 140729384301722 140729384304591 0
[pid=12947/tid=12954] ppid=12945 vsize=15149024 memory=6944613755495348631 CPUtime=0 cores=0,2,4,6
/proc/12947/task/12954/stat : 12954 (java) S 12945 12945 11591 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 407322575 15512600576 12475 33554432000 4194304 4196468 140729384297616 140392174441376 140392706897621 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8732672 140729384301551 140729384301722 140729384301722 140729384304591 0
[pid=12947/tid=12955] ppid=12945 vsize=15149024 memory=7893295687695687954 CPUtime=0 cores=0,2,4,6
/proc/12947/task/12955/stat : 12955 (java) S 12945 12945 11591 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 407322575 15512600576 12475 33554432000 4194304 4196468 140729384297616 140392173388784 140392706897621 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8732672 140729384301551 140729384301722 140729384301722 140729384304591 0
[pid=12947/tid=12956] ppid=12945 vsize=15149024 memory=-8813974798734826869 CPUtime=0 cores=0,2,4,6
/proc/12947/task/12956/stat : 12956 (java) S 12945 12945 11591 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407322577 15512600576 12475 33554432000 4194304 4196468 140729384297616 140392172337360 140392706906011 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8732672 140729384301551 140729384301722 140729384301722 140729384304591 0
[pid=12947/tid=12957] ppid=12945 vsize=15149024 memory=7827413994055111515 CPUtime=0.03 cores=0,2,4,6
/proc/12947/task/12957/stat : 12957 (java) S 12945 12945 11591 0 -1 1077944384 407 0 0 0 3 0 0 0 20 0 15 0 407322577 15512600576 12475 33554432000 4194304 4196468 140729384297616 140392171284976 140392706898562 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8732672 140729384301551 140729384301722 140729384301722 140729384304591 0
[pid=12947/tid=12958] ppid=12945 vsize=15149024 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/12947/task/12958/stat : 12958 (java) S 12945 12945 11591 0 -1 1077944384 285 0 0 0 4 0 0 0 20 0 15 0 407322577 15512600576 12475 33554432000 4194304 4196468 140729384297616 140392170232432 140392706898562 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8732672 140729384301551 140729384301722 140729384301722 140729384304591 0
[pid=12947/tid=12959] ppid=12945 vsize=15149024 memory=0 CPUtime=0.13 cores=0,2,4,6
/proc/12947/task/12959/stat : 12959 (java) S 12945 12945 11591 0 -1 1077944384 967 0 0 0 13 0 0 0 20 0 15 0 407322577 15512600576 12475 33554432000 4194304 4196468 140729384297616 140392169179888 140392706898562 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8732672 140729384301551 140729384301722 140729384301722 140729384304591 0
[pid=12947/tid=12960] ppid=12945 vsize=15149024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12947/task/12960/stat : 12960 (java) S 12945 12945 11591 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407322578 15512600576 12475 33554432000 4194304 4196468 140729384297616 140392168127584 140392706897621 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8732672 140729384301551 140729384301722 140729384301722 140729384304591 0
[pid=12947/tid=12961] ppid=12945 vsize=15149024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12947/task/12961/stat : 12961 (java) S 12945 12945 11591 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407322578 15512600576 12475 33554432000 4194304 4196468 140729384297616 140392167074096 140392706898562 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8732672 140729384301551 140729384301722 140729384301722 140729384304591 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 15262152 KiB
Current children cumulated memory: 51348 KiB
[startup+0.703169 s]
/proc/loadavg: 7.84 7.55 5.11 9/235 12961
/proc/meminfo: memFree=23584776/32770624 swapFree=66952812/67108860
[pid=12945] ppid=12942 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/12945/stat : 12945 (xcsp3-exec) S 12942 12945 11591 0 -1 4202496 542 0 0 0 0 0 0 0 20 0 1 0 407322572 115843072 362 33554432000 4194304 5098028 140726455434544 140726455432648 139834959774332 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 17182720 140726455436155 140726455436397 140726455436397 140726455439306 0
/proc/12945/statm: 28282 362 304 221 0 87 0
[pid=12947] ppid=12945 vsize=15151148 memory=104304 CPUtime=1.72 cores=0,2,4,6
/proc/12947/stat : 12947 (java) S 12945 12945 11591 0 -1 1077944320 14137 0 0 0 168 4 0 0 20 0 15 0 407322572 15514775552 26076 33554432000 4194304 4196468 140729384297616 140729384280160 140392706887415 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 8732672 140729384301551 140729384301722 140729384301722 140729384304591 0
/proc/12947/statm: 3787787 26076 3434 1 0 3748889 0
[pid=12947/tid=12948] ppid=12945 vsize=15151148 memory=0 CPUtime=0.68 cores=0,2,4,6
/proc/12947/task/12948/stat : 12948 (java) R 12945 12945 11591 0 -1 4202560 8334 0 0 0 65 3 0 0 20 0 15 0 407322572 15514775552 26076 33554432000 4194304 4196468 140729384297616 140392711120976 140392298167682 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8732672 140729384301551 140729384301722 140729384301722 140729384304591 0
[pid=12947/tid=12949] ppid=12945 vsize=15151148 memory=37888 CPUtime=0 cores=0,2,4,6
/proc/12947/task/12949/stat : 12949 (java) S 12945 12945 11591 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407322573 15514775552 26076 33554432000 4194304 4196468 140729384297616 140392618543888 140392706897621 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8732672 140729384301551 140729384301722 140729384301722 140729384304591 0
[pid=12947/tid=12950] ppid=12945 vsize=15151148 memory=992 CPUtime=0 cores=0,2,4,6
/proc/12947/task/12950/stat : 12950 (java) S 12945 12945 11591 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407322573 15514775552 26076 33554432000 4194304 4196468 140729384297616 140392617491344 140392706897621 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8732672 140729384301551 140729384301722 140729384301722 140729384304591 0
[pid=12947/tid=12951] ppid=12945 vsize=15151148 memory=2044 CPUtime=0 cores=0,2,4,6
/proc/12947/task/12951/stat : 12951 (java) S 12945 12945 11591 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407322573 15514775552 26076 33554432000 4194304 4196468 140729384297616 140392297131024 140392706897621 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8732672 140729384301551 140729384301722 140729384301722 140729384304591 0
[pid=12947/tid=12952] ppid=12945 vsize=15151148 memory=1324 CPUtime=0 cores=0,2,4,6
/proc/12947/task/12952/stat : 12952 (java) S 12945 12945 11591 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407322573 15514775552 26076 33554432000 4194304 4196468 140729384297616 140392296078480 140392706897621 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8732672 140729384301551 140729384301722 140729384301722 140729384304591 0
[pid=12947/tid=12953] ppid=12945 vsize=15151148 memory=11624 CPUtime=0 cores=0,2,4,6
/proc/12947/task/12953/stat : 12953 (java) S 12945 12945 11591 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 407322574 15514775552 26076 33554432000 4194304 4196468 140729384297616 140392175495152 140392706898562 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8732672 140729384301551 140729384301722 140729384301722 140729384304591 0
[pid=12947/tid=12954] ppid=12945 vsize=15151148 memory=752 CPUtime=0 cores=0,2,4,6
/proc/12947/task/12954/stat : 12954 (java) S 12945 12945 11591 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 407322575 15514775552 26076 33554432000 4194304 4196468 140729384297616 140392174441376 140392706897621 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8732672 140729384301551 140729384301722 140729384301722 140729384304591 0
[pid=12947/tid=12955] ppid=12945 vsize=15151148 memory=1056 CPUtime=0 cores=0,2,4,6
/proc/12947/task/12955/stat : 12955 (java) S 12945 12945 11591 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 407322575 15514775552 26076 33554432000 4194304 4196468 140729384297616 140392173388784 140392706897621 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8732672 140729384301551 140729384301722 140729384301722 140729384304591 0
[pid=12947/tid=12956] ppid=12945 vsize=15151148 memory=1552 CPUtime=0 cores=0,2,4,6
/proc/12947/task/12956/stat : 12956 (java) S 12945 12945 11591 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407322577 15514775552 26076 33554432000 4194304 4196468 140729384297616 140392172337360 140392706906011 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8732672 140729384301551 140729384301722 140729384301722 140729384304591 0
[pid=12947/tid=12957] ppid=12945 vsize=15151148 memory=944 CPUtime=0.36 cores=0,2,4,6
/proc/12947/task/12957/stat : 12957 (java) R 12945 12945 11591 0 -1 4202560 1364 0 0 0 36 0 0 0 20 0 15 0 407322577 15514775552 26076 33554432000 4194304 4196468 140729384297616 140392171274208 140392688197193 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8732672 140729384301551 140729384301722 140729384301722 140729384304591 0
[pid=12947/tid=12958] ppid=12945 vsize=15151148 memory=4004 CPUtime=0.36 cores=0,2,4,6
/proc/12947/task/12958/stat : 12958 (java) R 12945 12945 11591 0 -1 4202560 1406 0 0 0 36 0 0 0 20 0 15 0 407322577 15514775552 26076 33554432000 4194304 4196468 140729384297616 140392170218512 140392687613887 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 8732672 140729384301551 140729384301722 140729384301722 140729384304591 0
[pid=12947/tid=12959] ppid=12945 vsize=15151148 memory=780 CPUtime=0.3 cores=0,2,4,6
/proc/12947/task/12959/stat : 12959 (java) S 12945 12945 11591 0 -1 1077944384 1726 0 0 0 30 0 0 0 20 0 15 0 407322577 15514775552 26076 33554432000 4194304 4196468 140729384297616 140392169179888 140392706898562 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8732672 140729384301551 140729384301722 140729384301722 140729384304591 0
[pid=12947/tid=12960] ppid=12945 vsize=15151148 memory=2832 CPUtime=0 cores=0,2,4,6
/proc/12947/task/12960/stat : 12960 (java) S 12945 12945 11591 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407322578 15514775552 26076 33554432000 4194304 4196468 140729384297616 140392168127584 140392706897621 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8732672 140729384301551 140729384301722 140729384301722 140729384304591 0
[pid=12947/tid=12961] ppid=12945 vsize=15151148 memory=1720 CPUtime=0 cores=0,2,4,6
/proc/12947/task/12961/stat : 12961 (java) S 12945 12945 11591 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407322578 15514775552 26076 33554432000 4194304 4196468 140729384297616 140392167074096 140392706898562 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8732672 140729384301551 140729384301722 140729384301722 140729384304591 0
Current children cumulated CPU time: 1.72 s
Current children cumulated vsize: 15264276 KiB
Current children cumulated memory: 105752 KiB
[startup+1.50117 s]
/proc/loadavg: 7.84 7.55 5.11 9/235 12961
/proc/meminfo: memFree=23458488/32770624 swapFree=66952812/67108860
[pid=12945] ppid=12942 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/12945/stat : 12945 (xcsp3-exec) S 12942 12945 11591 0 -1 4202496 542 0 0 0 0 0 0 0 20 0 1 0 407322572 115843072 362 33554432000 4194304 5098028 140726455434544 140726455432648 139834959774332 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 17182720 140726455436155 140726455436397 140726455436397 140726455439306 0
/proc/12945/statm: 28282 362 304 221 0 87 0
################
# More data... #
################
/proc/12947/stat : 12947 (java) S 12945 12945 11591 0 -1 1077944320 95857 0 0 0 230851 130 0 0 20 0 19 0 407322572 15925841920 1039651 33554432000 4194304 4196468 140729384297616 140729384280160 140392706887415 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 8732672 140729384301551 140729384301722 140729384301722 140729384304591 0
/proc/12947/statm: 3888145 1039651 3526 1 0 3849247 0
[pid=12947/tid=12948] ppid=12945 vsize=15552580 memory=4158604 CPUtime=5.01 cores=0,2,4,6
/proc/12947/task/12948/stat : 12948 (java) S 12945 12945 11591 0 -1 1077944384 11038 0 0 0 486 15 0 0 20 0 19 0 407322572 15925841920 1039651 33554432000 4194304 4196468 140729384297616 140392711128192 140392706897621 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8732672 140729384301551 140729384301722 140729384301722 140729384304591 0
[pid=12947/tid=12949] ppid=12945 vsize=15552580 memory=4158604 CPUtime=0.44 cores=0,2,4,6
/proc/12947/task/12949/stat : 12949 (java) S 12945 12945 11591 0 -1 1077944384 1485 0 0 0 32 12 0 0 20 0 19 0 407322573 15925841920 1039651 33554432000 4194304 4196468 140729384297616 140392618543888 140392706897621 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8732672 140729384301551 140729384301722 140729384301722 140729384304591 0
[pid=12947/tid=12950] ppid=12945 vsize=15552580 memory=4158604 CPUtime=0.45 cores=0,2,4,6
/proc/12947/task/12950/stat : 12950 (java) S 12945 12945 11591 0 -1 1077944384 2735 0 0 0 33 12 0 0 20 0 19 0 407322573 15925841920 1039651 33554432000 4194304 4196468 140729384297616 140392617491344 140392706897621 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8732672 140729384301551 140729384301722 140729384301722 140729384304591 0
[pid=12947/tid=12951] ppid=12945 vsize=15552580 memory=4158604 CPUtime=0.41 cores=0,2,4,6
/proc/12947/task/12951/stat : 12951 (java) S 12945 12945 11591 0 -1 1077944384 1555 0 0 0 30 11 0 0 20 0 19 0 407322573 15925841920 1039651 33554432000 4194304 4196468 140729384297616 140392297131024 140392706897621 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8732672 140729384301551 140729384301722 140729384301722 140729384304591 0
[pid=12947/tid=12952] ppid=12945 vsize=15552580 memory=1448 CPUtime=0.45 cores=0,2,4,6
/proc/12947/task/12952/stat : 12952 (java) S 12945 12945 11591 0 -1 1077944384 1412 0 0 0 33 12 0 0 20 0 19 0 407322573 15925841920 1039651 33554432000 4194304 4196468 140729384297616 140392296078480 140392706897621 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8732672 140729384301551 140729384301722 140729384301722 140729384304591 0
[pid=12947/tid=12953] ppid=12945 vsize=15552580 memory=4158604 CPUtime=0.03 cores=0,2,4,6
/proc/12947/task/12953/stat : 12953 (java) S 12945 12945 11591 0 -1 1077944384 3349 0 0 0 2 1 0 0 20 0 19 0 407322574 15925841920 1039651 33554432000 4194304 4196468 140729384297616 140392175495152 140392706898562 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8732672 140729384301551 140729384301722 140729384301722 140729384304591 0
[pid=12947/tid=12954] ppid=12945 vsize=15552580 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/12947/task/12954/stat : 12954 (java) S 12945 12945 11591 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 19 0 407322575 15925841920 1039651 33554432000 4194304 4196468 140729384297616 140392174441440 140392706897621 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8732672 140729384301551 140729384301722 140729384301722 140729384304591 0
[pid=12947/tid=12955] ppid=12945 vsize=15552580 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/12947/task/12955/stat : 12955 (java) S 12945 12945 11591 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 407322575 15925841920 1039651 33554432000 4194304 4196468 140729384297616 140392173388800 140392706897621 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8732672 140729384301551 140729384301722 140729384301722 140729384304591 0
[pid=12947/tid=12956] ppid=12945 vsize=15552580 memory=5868 CPUtime=0 cores=0,2,4,6
/proc/12947/task/12956/stat : 12956 (java) S 12945 12945 11591 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407322577 15925841920 1039651 33554432000 4194304 4196468 140729384297616 140392172337360 140392706906011 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8732672 140729384301551 140729384301722 140729384301722 140729384304591 0
[pid=12947/tid=12957] ppid=12945 vsize=15552580 memory=2305 CPUtime=4.32 cores=0,2,4,6
/proc/12947/task/12957/stat : 12957 (java) S 12945 12945 11591 0 -1 1077944384 15764 0 0 0 430 2 0 0 20 0 19 0 407322577 15925841920 1039651 33554432000 4194304 4196468 140729384297616 140392171284976 140392706898562 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8732672 140729384301551 140729384301722 140729384301722 140729384304591 0
[pid=12947/tid=12958] ppid=12945 vsize=15552580 memory=4158604 CPUtime=4.25 cores=0,2,4,6
/proc/12947/task/12958/stat : 12958 (java) S 12945 12945 11591 0 -1 1077944384 12252 0 0 0 424 1 0 0 20 0 19 0 407322577 15925841920 1039651 33554432000 4194304 4196468 140729384297616 140392170232432 140392706898562 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 38 0 0 6293624 6294260 8732672 140729384301551 140729384301722 140729384301722 140729384304591 0
[pid=12947/tid=12959] ppid=12945 vsize=15552580 memory=1448 CPUtime=0.94 cores=0,2,4,6
/proc/12947/task/12959/stat : 12959 (java) S 12945 12945 11591 0 -1 1077944384 9280 0 0 0 93 1 0 0 20 0 19 0 407322577 15925841920 1039651 33554432000 4194304 4196468 140729384297616 140392169179888 140392706898562 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8732672 140729384301551 140729384301722 140729384301722 140729384304591 0
[pid=12947/tid=12960] ppid=12945 vsize=15552580 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/12947/task/12960/stat : 12960 (java) S 12945 12945 11591 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407322578 15925841920 1039651 33554432000 4194304 4196468 140729384297616 140392168127584 140392706897621 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8732672 140729384301551 140729384301722 140729384301722 140729384304591 0
[pid=12947/tid=12961] ppid=12945 vsize=15552580 memory=1448 CPUtime=0.18 cores=0,2,4,6
/proc/12947/task/12961/stat : 12961 (java) S 12945 12945 11591 0 -1 1077944384 1350 0 0 0 11 7 0 0 20 0 19 0 407322578 15925841920 1039651 33554432000 4194304 4196468 140729384297616 140392167074096 140392706898562 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 35 0 0 6293624 6294260 8732672 140729384301551 140729384301722 140729384301722 140729384304591 0
[pid=12947/tid=12982] ppid=12945 vsize=15552580 memory=1448 CPUtime=568.15 cores=0,2,4,6
/proc/12947/task/12982/stat : 12982 (java) R 12945 12945 11591 0 -1 4202560 1723 0 0 0 56815 0 0 0 20 0 19 0 407323716 15925841920 1039651 33554432000 4194304 4196468 140729384297616 140392150502552 140392306295028 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8732672 140729384301551 140729384301722 140729384301722 140729384304591 0
[pid=12947/tid=12983] ppid=12945 vsize=15552580 memory=4158604 CPUtime=566.24 cores=0,2,4,6
/proc/12947/task/12983/stat : 12983 (java) R 12945 12945 11591 0 -1 4202560 24567 0 0 0 56575 49 0 0 20 0 19 0 407323716 15925841920 1039651 33554432000 4194304 4196468 140729384297616 140392157864296 140392306441825 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8732672 140729384301551 140729384301722 140729384301722 140729384304591 0
[pid=12947/tid=12984] ppid=12945 vsize=15552580 memory=1412 CPUtime=567.89 cores=0,2,4,6
/proc/12947/task/12984/stat : 12984 (java) R 12945 12945 11591 0 -1 4202560 1536 0 0 0 56788 1 0 0 20 0 19 0 407323716 15925841920 1039651 33554432000 4194304 4196468 140729384297616 140392156812360 140392306665140 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 8732672 140729384301551 140729384301722 140729384301722 140729384304591 0
[pid=12947/tid=12985] ppid=12945 vsize=15552580 memory=1448 CPUtime=569.3 cores=0,2,4,6
/proc/12947/task/12985/stat : 12985 (java) R 12945 12945 11591 0 -1 4202560 4976 0 0 0 56925 5 0 0 20 0 19 0 407323716 15925841920 1039651 33554432000 4194304 4196468 140729384297616 140392151555664 140392306784298 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8732672 140729384301551 140729384301722 140729384301722 140729384304591 0
Current children cumulated CPU time: 2309.81 s
Current children cumulated vsize: 15665708 KiB
Current children cumulated memory: 4160052 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+635.111 s]
/proc/loadavg: 8.29 8.28 6.76 11/238 13225
/proc/meminfo: memFree=18808244/32770624 swapFree=66952812/67108860
[pid=12945] ppid=12942 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/12945/stat : 12945 (xcsp3-exec) S 12942 12945 11591 0 -1 4202496 542 0 0 0 0 0 0 0 20 0 1 0 407322572 115843072 362 33554432000 4194304 5098028 140726455434544 140726455432648 139834959774332 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 17182720 140726455436155 140726455436397 140726455436397 140726455439306 0
/proc/12945/statm: 28282 362 304 221 0 87 0
[pid=12947] ppid=12945 vsize=15552580 memory=4157064 CPUtime=2520.09 cores=0,2,4,6
/proc/12947/stat : 12947 (java) S 12945 12945 11591 0 -1 1077944320 99752 0 0 0 251879 130 0 0 20 0 19 0 407322572 15925841920 1039266 33554432000 4194304 4196468 140729384297616 140729384280160 140392706887415 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 8732672 140729384301551 140729384301722 140729384301722 140729384304591 0
/proc/12947/statm: 3888145 1039266 3526 1 0 3849247 0
[pid=12947/tid=12948] ppid=12945 vsize=15552580 memory=1448 CPUtime=5.01 cores=0,2,4,6
/proc/12947/task/12948/stat : 12948 (java) S 12945 12945 11591 0 -1 1077944384 11038 0 0 0 486 15 0 0 20 0 19 0 407322572 15925841920 1039266 33554432000 4194304 4196468 140729384297616 140392711128192 140392706897621 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8732672 140729384301551 140729384301722 140729384301722 140729384304591 0
[pid=12947/tid=12949] ppid=12945 vsize=15552580 memory=4157064 CPUtime=0.44 cores=0,2,4,6
/proc/12947/task/12949/stat : 12949 (java) S 12945 12945 11591 0 -1 1077944384 1594 0 0 0 32 12 0 0 20 0 19 0 407322573 15925841920 1039266 33554432000 4194304 4196468 140729384297616 140392618543888 140392706897621 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8732672 140729384301551 140729384301722 140729384301722 140729384304591 0
[pid=12947/tid=12950] ppid=12945 vsize=15552580 memory=4157064 CPUtime=0.45 cores=0,2,4,6
/proc/12947/task/12950/stat : 12950 (java) S 12945 12945 11591 0 -1 1077944384 2805 0 0 0 33 12 0 0 20 0 19 0 407322573 15925841920 1039266 33554432000 4194304 4196468 140729384297616 140392617491344 140392706897621 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8732672 140729384301551 140729384301722 140729384301722 140729384304591 0
[pid=12947/tid=12951] ppid=12945 vsize=15552580 memory=4157064 CPUtime=0.42 cores=0,2,4,6
/proc/12947/task/12951/stat : 12951 (java) S 12945 12945 11591 0 -1 1077944384 1663 0 0 0 31 11 0 0 20 0 19 0 407322573 15925841920 1039266 33554432000 4194304 4196468 140729384297616 140392297131024 140392706897621 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8732672 140729384301551 140729384301722 140729384301722 140729384304591 0
[pid=12947/tid=12952] ppid=12945 vsize=15552580 memory=4157064 CPUtime=0.45 cores=0,2,4,6
/proc/12947/task/12952/stat : 12952 (java) S 12945 12945 11591 0 -1 1077944384 1905 0 0 0 33 12 0 0 20 0 19 0 407322573 15925841920 1039266 33554432000 4194304 4196468 140729384297616 140392296078480 140392706897621 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8732672 140729384301551 140729384301722 140729384301722 140729384304591 0
[pid=12947/tid=12953] ppid=12945 vsize=15552580 memory=1448 CPUtime=0.04 cores=0,2,4,6
/proc/12947/task/12953/stat : 12953 (java) S 12945 12945 11591 0 -1 1077944384 3584 0 0 0 3 1 0 0 20 0 19 0 407322574 15925841920 1039266 33554432000 4194304 4196468 140729384297616 140392175495152 140392706898562 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8732672 140729384301551 140729384301722 140729384301722 140729384304591 0
[pid=12947/tid=12954] ppid=12945 vsize=15552580 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/12947/task/12954/stat : 12954 (java) S 12945 12945 11591 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 19 0 407322575 15925841920 1039266 33554432000 4194304 4196468 140729384297616 140392174441440 140392706897621 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8732672 140729384301551 140729384301722 140729384301722 140729384304591 0
[pid=12947/tid=12955] ppid=12945 vsize=15552580 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/12947/task/12955/stat : 12955 (java) S 12945 12945 11591 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 407322575 15925841920 1039266 33554432000 4194304 4196468 140729384297616 140392173388800 140392706897621 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8732672 140729384301551 140729384301722 140729384301722 140729384304591 0
[pid=12947/tid=12956] ppid=12945 vsize=15552580 memory=4157064 CPUtime=0 cores=0,2,4,6
/proc/12947/task/12956/stat : 12956 (java) S 12945 12945 11591 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407322577 15925841920 1039266 33554432000 4194304 4196468 140729384297616 140392172337360 140392706906011 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8732672 140729384301551 140729384301722 140729384301722 140729384304591 0
[pid=12947/tid=12957] ppid=12945 vsize=15552580 memory=3612 CPUtime=4.32 cores=0,2,4,6
/proc/12947/task/12957/stat : 12957 (java) S 12945 12945 11591 0 -1 1077944384 15767 0 0 0 430 2 0 0 20 0 19 0 407322577 15925841920 1039266 33554432000 4194304 4196468 140729384297616 140392171284976 140392706898562 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8732672 140729384301551 140729384301722 140729384301722 140729384304591 0
[pid=12947/tid=12958] ppid=12945 vsize=15552580 memory=37896 CPUtime=4.25 cores=0,2,4,6
/proc/12947/task/12958/stat : 12958 (java) S 12945 12945 11591 0 -1 1077944384 12259 0 0 0 424 1 0 0 20 0 19 0 407322577 15925841920 1039266 33554432000 4194304 4196468 140729384297616 140392170232432 140392706898562 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 38 0 0 6293624 6294260 8732672 140729384301551 140729384301722 140729384301722 140729384304591 0
[pid=12947/tid=12959] ppid=12945 vsize=15552580 memory=992 CPUtime=0.94 cores=0,2,4,6
/proc/12947/task/12959/stat : 12959 (java) S 12945 12945 11591 0 -1 1077944384 9284 0 0 0 93 1 0 0 20 0 19 0 407322577 15925841920 1039266 33554432000 4194304 4196468 140729384297616 140392169179888 140392706898562 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8732672 140729384301551 140729384301722 140729384301722 140729384304591 0
[pid=12947/tid=12960] ppid=12945 vsize=15552580 memory=4157064 CPUtime=0 cores=0,2,4,6
/proc/12947/task/12960/stat : 12960 (java) S 12945 12945 11591 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407322578 15925841920 1039266 33554432000 4194304 4196468 140729384297616 140392168127584 140392706897621 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8732672 140729384301551 140729384301722 140729384301722 140729384304591 0
[pid=12947/tid=12961] ppid=12945 vsize=15552580 memory=4004 CPUtime=0.19 cores=0,2,4,6
/proc/12947/task/12961/stat : 12961 (java) S 12945 12945 11591 0 -1 1077944384 1378 0 0 0 12 7 0 0 20 0 19 0 407322578 15925841920 1039266 33554432000 4194304 4196468 140729384297616 140392167074096 140392706898562 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 35 0 0 6293624 6294260 8732672 140729384301551 140729384301722 140729384301722 140729384304591 0
[pid=12947/tid=12982] ppid=12945 vsize=15552580 memory=4157064 CPUtime=620.95 cores=0,2,4,6
/proc/12947/task/12982/stat : 12982 (java) R 12945 12945 11591 0 -1 4202560 1852 0 0 0 62095 0 0 0 20 0 19 0 407323716 15925841920 1039266 33554432000 4194304 4196468 140729384297616 140392150502552 140392306293723 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8732672 140729384301551 140729384301722 140729384301722 140729384304591 0
[pid=12947/tid=12983] ppid=12945 vsize=15552580 memory=1448 CPUtime=619.04 cores=0,2,4,6
/proc/12947/task/12983/stat : 12983 (java) R 12945 12945 11591 0 -1 4202560 26171 0 0 0 61854 50 0 0 20 0 19 0 407323716 15925841920 1039266 33554432000 4194304 4196468 140729384297616 140392157864392 140392306881572 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8732672 140729384301551 140729384301722 140729384301722 140729384304591 0
[pid=12947/tid=12984] ppid=12945 vsize=15552580 memory=3612 CPUtime=620.65 cores=0,2,4,6
/proc/12947/task/12984/stat : 12984 (java) R 12945 12945 11591 0 -1 4202560 1700 0 0 0 62064 1 0 0 20 0 19 0 407323716 15925841920 1039266 33554432000 4194304 4196468 140729384297616 140392156814576 140392306665369 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8732672 140729384301551 140729384301722 140729384301722 140729384304591 0
[pid=12947/tid=12985] ppid=12945 vsize=15552580 memory=37896 CPUtime=621.21 cores=0,2,4,6
/proc/12947/task/12985/stat : 12985 (java) R 12945 12945 11591 0 -1 4202560 5917 0 0 0 62116 5 0 0 20 0 19 0 407323716 15925841920 1039266 33554432000 4194304 4196468 140729384297616 140392151555664 140392306784371 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 8732672 140729384301551 140729384301722 140729384301722 140729384304591 0
Current children cumulated CPU time: 2520.09 s
Current children cumulated vsize: 15665708 KiB
Current children cumulated memory: 4158512 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+635.137 s]
# the end of solver process 12945 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.002513 s, system=0 s
[startup+635.209 s]
# the end of solver process 12947 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2519.1 s, system=1.32748 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
[startup+635.111 s]
/proc/loadavg: 8.29 8.28 6.76 11/238 13225
/proc/meminfo: memFree=18808244/32770624 swapFree=66952812/67108860
[pid=12945] ppid=12942 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/12945/stat : 12945 (xcsp3-exec) S 12942 12945 11591 0 -1 4202496 542 0 0 0 0 0 0 0 20 0 1 0 407322572 115843072 362 33554432000 4194304 5098028 140726455434544 140726455432648 139834959774332 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 17182720 140726455436155 140726455436397 140726455436397 140726455439306 0
/proc/12945/statm: 28282 362 304 221 0 87 0
[pid=12947] ppid=12945 vsize=15552580 memory=4157064 CPUtime=2520.09 cores=0,2,4,6
/proc/12947/stat : 12947 (java) S 12945 12945 11591 0 -1 1077944320 99752 0 0 0 251879 130 0 0 20 0 19 0 407322572 15925841920 1039266 33554432000 4194304 4196468 140729384297616 140729384280160 140392706887415 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 8732672 140729384301551 140729384301722 140729384301722 140729384304591 0
/proc/12947/statm: 3888145 1039266 3526 1 0 3849247 0
[pid=12947/tid=12948] ppid=12945 vsize=15552580 memory=1448 CPUtime=5.01 cores=0,2,4,6
/proc/12947/task/12948/stat : 12948 (java) S 12945 12945 11591 0 -1 1077944384 11038 0 0 0 486 15 0 0 20 0 19 0 407322572 15925841920 1039266 33554432000 4194304 4196468 140729384297616 140392711128192 140392706897621 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8732672 140729384301551 140729384301722 140729384301722 140729384304591 0
[pid=12947/tid=12949] ppid=12945 vsize=15552580 memory=4157064 CPUtime=0.44 cores=0,2,4,6
/proc/12947/task/12949/stat : 12949 (java) S 12945 12945 11591 0 -1 1077944384 1594 0 0 0 32 12 0 0 20 0 19 0 407322573 15925841920 1039266 33554432000 4194304 4196468 140729384297616 140392618543888 140392706897621 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8732672 140729384301551 140729384301722 140729384301722 140729384304591 0
[pid=12947/tid=12950] ppid=12945 vsize=15552580 memory=4157064 CPUtime=0.45 cores=0,2,4,6
/proc/12947/task/12950/stat : 12950 (java) S 12945 12945 11591 0 -1 1077944384 2805 0 0 0 33 12 0 0 20 0 19 0 407322573 15925841920 1039266 33554432000 4194304 4196468 140729384297616 140392617491344 140392706897621 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8732672 140729384301551 140729384301722 140729384301722 140729384304591 0
[pid=12947/tid=12951] ppid=12945 vsize=15552580 memory=4157064 CPUtime=0.42 cores=0,2,4,6
/proc/12947/task/12951/stat : 12951 (java) S 12945 12945 11591 0 -1 1077944384 1663 0 0 0 31 11 0 0 20 0 19 0 407322573 15925841920 1039266 33554432000 4194304 4196468 140729384297616 140392297131024 140392706897621 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8732672 140729384301551 140729384301722 140729384301722 140729384304591 0
[pid=12947/tid=12952] ppid=12945 vsize=15552580 memory=4157064 CPUtime=0.45 cores=0,2,4,6
/proc/12947/task/12952/stat : 12952 (java) S 12945 12945 11591 0 -1 1077944384 1905 0 0 0 33 12 0 0 20 0 19 0 407322573 15925841920 1039266 33554432000 4194304 4196468 140729384297616 140392296078480 140392706897621 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8732672 140729384301551 140729384301722 140729384301722 140729384304591 0
[pid=12947/tid=12953] ppid=12945 vsize=15552580 memory=1448 CPUtime=0.04 cores=0,2,4,6
/proc/12947/task/12953/stat : 12953 (java) S 12945 12945 11591 0 -1 1077944384 3584 0 0 0 3 1 0 0 20 0 19 0 407322574 15925841920 1039266 33554432000 4194304 4196468 140729384297616 140392175495152 140392706898562 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8732672 140729384301551 140729384301722 140729384301722 140729384304591 0
[pid=12947/tid=12954] ppid=12945 vsize=15552580 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/12947/task/12954/stat : 12954 (java) S 12945 12945 11591 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 19 0 407322575 15925841920 1039266 33554432000 4194304 4196468 140729384297616 140392174441440 140392706897621 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8732672 140729384301551 140729384301722 140729384301722 140729384304591 0
[pid=12947/tid=12955] ppid=12945 vsize=15552580 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/12947/task/12955/stat : 12955 (java) S 12945 12945 11591 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 407322575 15925841920 1039266 33554432000 4194304 4196468 140729384297616 140392173388800 140392706897621 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8732672 140729384301551 140729384301722 140729384301722 140729384304591 0
[pid=12947/tid=12956] ppid=12945 vsize=15552580 memory=4157064 CPUtime=0 cores=0,2,4,6
/proc/12947/task/12956/stat : 12956 (java) S 12945 12945 11591 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407322577 15925841920 1039266 33554432000 4194304 4196468 140729384297616 140392172337360 140392706906011 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8732672 140729384301551 140729384301722 140729384301722 140729384304591 0
[pid=12947/tid=12957] ppid=12945 vsize=15552580 memory=3612 CPUtime=4.32 cores=0,2,4,6
/proc/12947/task/12957/stat : 12957 (java) S 12945 12945 11591 0 -1 1077944384 15767 0 0 0 430 2 0 0 20 0 19 0 407322577 15925841920 1039266 33554432000 4194304 4196468 140729384297616 140392171284976 140392706898562 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8732672 140729384301551 140729384301722 140729384301722 140729384304591 0
[pid=12947/tid=12958] ppid=12945 vsize=15552580 memory=37896 CPUtime=4.25 cores=0,2,4,6
/proc/12947/task/12958/stat : 12958 (java) S 12945 12945 11591 0 -1 1077944384 12259 0 0 0 424 1 0 0 20 0 19 0 407322577 15925841920 1039266 33554432000 4194304 4196468 140729384297616 140392170232432 140392706898562 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 38 0 0 6293624 6294260 8732672 140729384301551 140729384301722 140729384301722 140729384304591 0
[pid=12947/tid=12959] ppid=12945 vsize=15552580 memory=992 CPUtime=0.94 cores=0,2,4,6
/proc/12947/task/12959/stat : 12959 (java) S 12945 12945 11591 0 -1 1077944384 9284 0 0 0 93 1 0 0 20 0 19 0 407322577 15925841920 1039266 33554432000 4194304 4196468 140729384297616 140392169179888 140392706898562 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8732672 140729384301551 140729384301722 140729384301722 140729384304591 0
[pid=12947/tid=12960] ppid=12945 vsize=15552580 memory=4157064 CPUtime=0 cores=0,2,4,6
/proc/12947/task/12960/stat : 12960 (java) S 12945 12945 11591 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407322578 15925841920 1039266 33554432000 4194304 4196468 140729384297616 140392168127584 140392706897621 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8732672 140729384301551 140729384301722 140729384301722 140729384304591 0
[pid=12947/tid=12961] ppid=12945 vsize=15552580 memory=4004 CPUtime=0.19 cores=0,2,4,6
/proc/12947/task/12961/stat : 12961 (java) S 12945 12945 11591 0 -1 1077944384 1378 0 0 0 12 7 0 0 20 0 19 0 407322578 15925841920 1039266 33554432000 4194304 4196468 140729384297616 140392167074096 140392706898562 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 35 0 0 6293624 6294260 8732672 140729384301551 140729384301722 140729384301722 140729384304591 0
[pid=12947/tid=12982] ppid=12945 vsize=15552580 memory=4157064 CPUtime=620.95 cores=0,2,4,6
/proc/12947/task/12982/stat : 12982 (java) R 12945 12945 11591 0 -1 4202560 1852 0 0 0 62095 0 0 0 20 0 19 0 407323716 15925841920 1039266 33554432000 4194304 4196468 140729384297616 140392150502552 140392306293723 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8732672 140729384301551 140729384301722 140729384301722 140729384304591 0
[pid=12947/tid=12983] ppid=12945 vsize=15552580 memory=1448 CPUtime=619.04 cores=0,2,4,6
/proc/12947/task/12983/stat : 12983 (java) R 12945 12945 11591 0 -1 4202560 26171 0 0 0 61854 50 0 0 20 0 19 0 407323716 15925841920 1039266 33554432000 4194304 4196468 140729384297616 140392157864392 140392306881572 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8732672 140729384301551 140729384301722 140729384301722 140729384304591 0
[pid=12947/tid=12984] ppid=12945 vsize=15552580 memory=3612 CPUtime=620.65 cores=0,2,4,6
/proc/12947/task/12984/stat : 12984 (java) R 12945 12945 11591 0 -1 4202560 1700 0 0 0 62064 1 0 0 20 0 19 0 407323716 15925841920 1039266 33554432000 4194304 4196468 140729384297616 140392156814576 140392306665369 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8732672 140729384301551 140729384301722 140729384301722 140729384304591 0
[pid=12947/tid=12985] ppid=12945 vsize=15552580 memory=37896 CPUtime=621.21 cores=0,2,4,6
/proc/12947/task/12985/stat : 12985 (java) R 12945 12945 11591 0 -1 4202560 5917 0 0 0 62116 5 0 0 20 0 19 0 407323716 15925841920 1039266 33554432000 4194304 4196468 140729384297616 140392151555664 140392306784371 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 8732672 140729384301551 140729384301722 140729384301722 140729384304591 0
Current children cumulated CPU time: 2520.09 s
Current children cumulated vsize: 15665708 KiB
Current children cumulated memory: 4158512 KiB
Child status: 143
Real time (s): 635.209
CPU time (s): 2520.42
CPU user time (s): 2519.1
CPU system time (s): 1.32748
CPU usage (%): 396.787
Max. virtual memory (cumulated for all children) (KiB): 15665708
Max. memory (cumulated for all children) (KiB): 4160052
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.1
system time used= 1.32748
maximum resident set size= 4160292
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 101489
page faults= 0
swaps= 0
block input operations= 0
block output operations= 760
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 17168
involuntary context switches= 33014
# summary of solver processes directly reported to runsolver:
# pid: 12945,12947
# total CPU time (s): 2520.42
# total CPU user time (s): 2519.1
# total CPU system time (s): 1.32748
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.01974 second user time and 7.0269 second system time
The end