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 (15323 MiB free)
memory of node 1: 16384 MiB (15637 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4270160-1502620964/watcher-4270160-1502620964 -o /tmp/evaluation-result-4270160-1502620964/solver-4270160-1502620964 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node103-1502620106-1701 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 1388626117 HOME/instance-4270160-1502620964.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 264 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 294 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 240 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=1725, runsolver pid=1719
[startup+0.100061 s]*
/proc/loadavg: 1.00 1.15 1.56 3/219 1763
/proc/meminfo: memFree=31669876/32770624 swapFree=67108860/67108860
[pid=1725] ppid=1719 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/1725/stat : 1725 (xcsp3-exec) S 1719 1725 30973 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 95184701 9740288 346 33554432000 4194304 5098028 140733259228656 140733259226760 140369739698812 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 27762688 140733259232372 140733259232576 140733259232576 140733259235307 0
/proc/1725/statm: 2378 346 289 221 0 87 0
[pid=1728] ppid=1725 vsize=13978596 memory=27840 CPUtime=0.11 cores=0,2,4,6
/proc/1728/stat : 1728 (java) S 1725 1725 30973 0 -1 1077944320 5365 0 0 0 10 1 0 0 20 0 15 0 95184701 14314082304 6960 33554432000 4194304 4196468 140734786355280 140734786337824 140081823145719 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 23515136 140734786356381 140734786356556 140734786356556 140734786359247 0
/proc/1728/statm: 3494649 6960 2844 1 0 3482966 0
[pid=1728/tid=1729] ppid=1725 vsize=13978596 memory=7898910893248706067 CPUtime=0.08 cores=0,2,4,6
/proc/1728/task/1729/stat : 1729 (java) R 1725 1725 30973 0 -1 4202560 3397 0 0 0 8 0 0 0 20 0 15 0 95184701 14314082304 6960 33554432000 4194304 4196468 140734786355280 140081827366528 140081823157654 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 23515136 140734786356381 140734786356556 140734786356556 140734786359247 0
[pid=1728/tid=1732] ppid=1725 vsize=13978596 memory=3472468073420326096 CPUtime=0 cores=0,2,4,6
/proc/1728/task/1732/stat : 1732 (java) S 1725 1725 30973 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95184702 14314082304 6960 33554432000 4194304 4196468 140734786355280 140081775766672 140081823155925 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23515136 140734786356381 140734786356556 140734786356556 140734786359247 0
[pid=1728/tid=1733] ppid=1725 vsize=13978596 memory=139944525174400 CPUtime=0 cores=0,2,4,6
/proc/1728/task/1733/stat : 1733 (java) S 1725 1725 30973 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95184702 14314082304 6960 33554432000 4194304 4196468 140734786355280 140081774713872 140081823155925 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23515136 140734786356381 140734786356556 140734786356556 140734786359247 0
[pid=1728/tid=1734] ppid=1725 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1728/task/1734/stat : 1734 (java) S 1725 1725 30973 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95184702 14314082304 6960 33554432000 4194304 4196468 140734786355280 140081773661072 140081823155925 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23515136 140734786356381 140734786356556 140734786356556 140734786359247 0
[pid=1728/tid=1735] ppid=1725 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1728/task/1735/stat : 1735 (java) S 1725 1725 30973 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95184702 14314082304 6960 33554432000 4194304 4196468 140734786355280 140081772608272 140081823155925 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23515136 140734786356381 140734786356556 140734786356556 140734786359247 0
[pid=1728/tid=1742] ppid=1725 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1728/task/1742/stat : 1742 (java) S 1725 1725 30973 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95184704 14314082304 6960 33554432000 4194304 4196468 140734786355280 140080735050096 140081823156866 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23515136 140734786356381 140734786356556 140734786356556 140734786359247 0
[pid=1728/tid=1747] ppid=1725 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1728/task/1747/stat : 1747 (java) S 1725 1725 30973 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 95184704 14314082304 6960 33554432000 4194304 4196468 140734786355280 140080733996064 140081823155925 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23515136 140734786356381 140734786356556 140734786356556 140734786359247 0
[pid=1728/tid=1748] ppid=1725 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1728/task/1748/stat : 1748 (java) S 1725 1725 30973 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 95184704 14314082304 6960 33554432000 4194304 4196468 140734786355280 140080732943216 140081823155925 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23515136 140734786356381 140734786356556 140734786356556 140734786359247 0
[pid=1728/tid=1752] ppid=1725 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1728/task/1752/stat : 1752 (java) S 1725 1725 30973 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95184707 14314082304 6960 33554432000 4194304 4196468 140734786355280 140080731891536 140081823164315 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23515136 140734786356381 140734786356556 140734786356556 140734786359247 0
[pid=1728/tid=1753] ppid=1725 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1728/task/1753/stat : 1753 (java) S 1725 1725 30973 0 -1 1077944384 308 0 0 0 0 0 0 0 20 0 15 0 95184707 14314082304 6960 33554432000 4194304 4196468 140734786355280 140080730839920 140081823156866 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23515136 140734786356381 140734786356556 140734786356556 140734786359247 0
[pid=1728/tid=1754] ppid=1725 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1728/task/1754/stat : 1754 (java) S 1725 1725 30973 0 -1 1077944384 124 0 0 0 0 0 0 0 20 0 15 0 95184707 14314082304 6960 33554432000 4194304 4196468 140734786355280 140080729787120 140081823156866 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23515136 140734786356381 140734786356556 140734786356556 140734786359247 0
[pid=1728/tid=1755] ppid=1725 vsize=13978596 memory=139944525174400 CPUtime=0.01 cores=0,2,4,6
/proc/1728/task/1755/stat : 1755 (java) R 1725 1725 30973 0 -1 4202560 245 0 0 0 1 0 0 0 20 0 15 0 95184707 14314082304 6960 33554432000 4194304 4196468 140734786355280 140080728734320 140081808286534 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 23515136 140734786356381 140734786356556 140734786356556 140734786359247 0
[pid=1728/tid=1756] ppid=1725 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1728/task/1756/stat : 1756 (java) S 1725 1725 30973 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95184707 14314082304 6960 33554432000 4194304 4196468 140734786355280 140080727681760 140081823155925 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23515136 140734786356381 140734786356556 140734786356556 140734786359247 0
[pid=1728/tid=1757] ppid=1725 vsize=13978596 memory=139944525174400 CPUtime=0 cores=0,2,4,6
/proc/1728/task/1757/stat : 1757 (java) S 1725 1725 30973 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95184707 14314082304 6960 33554432000 4194304 4196468 140734786355280 140080726629040 140081823156866 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23515136 140734786356381 140734786356556 140734786356556 140734786359247 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 13988108 KiB
Current children cumulated memory: 29224 KiB
[startup+0.210759 s]*
/proc/loadavg: 1.00 1.15 1.56 4/219 1763
/proc/meminfo: memFree=31649760/32770624 swapFree=67108860/67108860
[pid=1725] ppid=1719 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/1725/stat : 1725 (xcsp3-exec) S 1719 1725 30973 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 95184701 9740288 346 33554432000 4194304 5098028 140733259228656 140733259226760 140369739698812 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 27762688 140733259232372 140733259232576 140733259232576 140733259235307 0
/proc/1725/statm: 2378 346 289 221 0 87 0
[pid=1728] ppid=1725 vsize=13978596 memory=39328 CPUtime=0.29 cores=0,2,4,6
/proc/1728/stat : 1728 (java) S 1725 1725 30973 0 -1 1077944320 7854 0 1 0 27 2 0 0 20 0 15 0 95184701 14314082304 9832 33554432000 4194304 4196468 140734786355280 140734786337824 140081823145719 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 23515136 140734786356381 140734786356556 140734786356556 140734786359247 0
/proc/1728/statm: 3494649 9832 3010 1 0 3482966 0
[pid=1728/tid=1729] ppid=1725 vsize=13978596 memory=7898910893248706067 CPUtime=0.17 cores=0,2,4,6
/proc/1728/task/1729/stat : 1729 (java) R 1725 1725 30973 0 -1 4202560 5104 0 1 0 16 1 0 0 20 0 15 0 95184701 14314082304 9832 33554432000 4194304 4196468 140734786355280 140081827378560 140081802668168 0 4 0 16800975 0 0 0 -1 0 0 0 2 0 0 6293624 6294260 23515136 140734786356381 140734786356556 140734786356556 140734786359247 0
[pid=1728/tid=1732] ppid=1725 vsize=13978596 memory=3472468073420326096 CPUtime=0 cores=0,2,4,6
/proc/1728/task/1732/stat : 1732 (java) S 1725 1725 30973 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95184702 14314082304 9832 33554432000 4194304 4196468 140734786355280 140081775766672 140081823155925 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23515136 140734786356381 140734786356556 140734786356556 140734786359247 0
[pid=1728/tid=1733] ppid=1725 vsize=13978596 memory=139944525174400 CPUtime=0 cores=0,2,4,6
/proc/1728/task/1733/stat : 1733 (java) S 1725 1725 30973 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95184702 14314082304 9832 33554432000 4194304 4196468 140734786355280 140081774713872 140081823155925 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23515136 140734786356381 140734786356556 140734786356556 140734786359247 0
[pid=1728/tid=1734] ppid=1725 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1728/task/1734/stat : 1734 (java) S 1725 1725 30973 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95184702 14314082304 9832 33554432000 4194304 4196468 140734786355280 140081773661072 140081823155925 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23515136 140734786356381 140734786356556 140734786356556 140734786359247 0
[pid=1728/tid=1735] ppid=1725 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1728/task/1735/stat : 1735 (java) S 1725 1725 30973 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95184702 14314082304 9832 33554432000 4194304 4196468 140734786355280 140081772608272 140081823155925 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23515136 140734786356381 140734786356556 140734786356556 140734786359247 0
[pid=1728/tid=1742] ppid=1725 vsize=13978596 memory=139944525174400 CPUtime=0 cores=0,2,4,6
/proc/1728/task/1742/stat : 1742 (java) S 1725 1725 30973 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95184704 14314082304 9832 33554432000 4194304 4196468 140734786355280 140080735050096 140081823156866 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23515136 140734786356381 140734786356556 140734786356556 140734786359247 0
[pid=1728/tid=1747] ppid=1725 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1728/task/1747/stat : 1747 (java) S 1725 1725 30973 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 95184704 14314082304 9832 33554432000 4194304 4196468 140734786355280 140080733996064 140081823155925 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23515136 140734786356381 140734786356556 140734786356556 140734786359247 0
[pid=1728/tid=1748] ppid=1725 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1728/task/1748/stat : 1748 (java) S 1725 1725 30973 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 95184704 14314082304 9832 33554432000 4194304 4196468 140734786355280 140080732943216 140081823155925 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23515136 140734786356381 140734786356556 140734786356556 140734786359247 0
[pid=1728/tid=1752] ppid=1725 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1728/task/1752/stat : 1752 (java) S 1725 1725 30973 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95184707 14314082304 9832 33554432000 4194304 4196468 140734786355280 140080731891536 140081823164315 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23515136 140734786356381 140734786356556 140734786356556 140734786359247 0
[pid=1728/tid=1753] ppid=1725 vsize=13978596 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/1728/task/1753/stat : 1753 (java) R 1725 1725 30973 0 -1 4202560 452 0 0 0 2 0 0 0 20 0 15 0 95184707 14314082304 9832 33554432000 4194304 4196468 140734786355280 140080730839920 140081800642864 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 23515136 140734786356381 140734786356556 140734786356556 140734786359247 0
[pid=1728/tid=1754] ppid=1725 vsize=13978596 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/1728/task/1754/stat : 1754 (java) S 1725 1725 30973 0 -1 1077944384 313 0 0 0 1 0 0 0 20 0 15 0 95184707 14314082304 9832 33554432000 4194304 4196468 140734786355280 140080729787120 140081823156866 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23515136 140734786356381 140734786356556 140734786356556 140734786359247 0
[pid=1728/tid=1755] ppid=1725 vsize=13978596 memory=139944525174400 CPUtime=0.06 cores=0,2,4,6
/proc/1728/task/1755/stat : 1755 (java) S 1725 1725 30973 0 -1 1077944384 706 0 0 0 6 0 0 0 20 0 15 0 95184707 14314082304 9832 33554432000 4194304 4196468 140734786355280 140080728734320 140081823156866 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23515136 140734786356381 140734786356556 140734786356556 140734786359247 0
[pid=1728/tid=1756] ppid=1725 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1728/task/1756/stat : 1756 (java) S 1725 1725 30973 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95184707 14314082304 9832 33554432000 4194304 4196468 140734786355280 140080727681760 140081823155925 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23515136 140734786356381 140734786356556 140734786356556 140734786359247 0
[pid=1728/tid=1757] ppid=1725 vsize=13978596 memory=139944525174400 CPUtime=0 cores=0,2,4,6
/proc/1728/task/1757/stat : 1757 (java) S 1725 1725 30973 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95184707 14314082304 9832 33554432000 4194304 4196468 140734786355280 140080726629040 140081823156866 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23515136 140734786356381 140734786356556 140734786356556 140734786359247 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 13988108 KiB
Current children cumulated memory: 40712 KiB
[startup+0.311454 s]*
/proc/loadavg: 1.00 1.15 1.56 3/219 1763
/proc/meminfo: memFree=31637196/32770624 swapFree=67108860/67108860
[pid=1725] ppid=1719 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/1725/stat : 1725 (xcsp3-exec) S 1719 1725 30973 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 95184701 9740288 346 33554432000 4194304 5098028 140733259228656 140733259226760 140369739698812 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 27762688 140733259232372 140733259232576 140733259232576 140733259235307 0
/proc/1725/statm: 2378 346 289 221 0 87 0
[pid=1728] ppid=1725 vsize=13982852 memory=42828 CPUtime=0.42 cores=0,2,4,6
/proc/1728/stat : 1728 (java) S 1725 1725 30973 0 -1 1077944320 8400 0 2 0 39 3 0 0 20 0 15 0 95184701 14318440448 10707 33554432000 4194304 4196468 140734786355280 140734786337824 140081823145719 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 23515136 140734786356381 140734786356556 140734786356556 140734786359247 0
/proc/1728/statm: 3495713 10707 3032 1 0 3482966 0
[pid=1728/tid=1729] ppid=1725 vsize=13982852 memory=6935054825532540783 CPUtime=0.25 cores=0,2,4,6
/proc/1728/task/1729/stat : 1729 (java) R 1725 1725 30973 0 -1 4202560 5585 0 2 0 23 2 0 0 20 0 15 0 95184701 14318440448 10707 33554432000 4194304 4196468 140734786355280 140081827367136 140081808825872 0 4 0 16800975 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 23515136 140734786356381 140734786356556 140734786356556 140734786359247 0
[pid=1728/tid=1732] ppid=1725 vsize=13982852 memory=-7003737579269690708 CPUtime=0 cores=0,2,4,6
/proc/1728/task/1732/stat : 1732 (java) S 1725 1725 30973 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95184702 14318440448 10707 33554432000 4194304 4196468 140734786355280 140081775766672 140081823155925 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23515136 140734786356381 140734786356556 140734786356556 140734786359247 0
[pid=1728/tid=1733] ppid=1725 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1728/task/1733/stat : 1733 (java) S 1725 1725 30973 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95184702 14318440448 10707 33554432000 4194304 4196468 140734786355280 140081774713872 140081823155925 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23515136 140734786356381 140734786356556 140734786356556 140734786359247 0
[pid=1728/tid=1734] ppid=1725 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1728/task/1734/stat : 1734 (java) S 1725 1725 30973 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95184702 14318440448 10707 33554432000 4194304 4196468 140734786355280 140081773661072 140081823155925 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23515136 140734786356381 140734786356556 140734786356556 140734786359247 0
[pid=1728/tid=1735] ppid=1725 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1728/task/1735/stat : 1735 (java) S 1725 1725 30973 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95184702 14318440448 10707 33554432000 4194304 4196468 140734786355280 140081772608272 140081823155925 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23515136 140734786356381 140734786356556 140734786356556 140734786359247 0
[pid=1728/tid=1742] ppid=1725 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1728/task/1742/stat : 1742 (java) S 1725 1725 30973 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95184704 14318440448 10707 33554432000 4194304 4196468 140734786355280 140080735050096 140081823156866 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23515136 140734786356381 140734786356556 140734786356556 140734786359247 0
[pid=1728/tid=1747] ppid=1725 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1728/task/1747/stat : 1747 (java) S 1725 1725 30973 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 95184704 14318440448 10707 33554432000 4194304 4196468 140734786355280 140080733996064 140081823155925 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23515136 140734786356381 140734786356556 140734786356556 140734786359247 0
[pid=1728/tid=1748] ppid=1725 vsize=13982852 memory=139944395909615 CPUtime=0 cores=0,2,4,6
/proc/1728/task/1748/stat : 1748 (java) S 1725 1725 30973 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 95184704 14318440448 10707 33554432000 4194304 4196468 140734786355280 140080732943216 140081823155925 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23515136 140734786356381 140734786356556 140734786356556 140734786359247 0
[pid=1728/tid=1752] ppid=1725 vsize=13982852 memory=139944525174400 CPUtime=0 cores=0,2,4,6
/proc/1728/task/1752/stat : 1752 (java) S 1725 1725 30973 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95184707 14318440448 10707 33554432000 4194304 4196468 140734786355280 140080731891536 140081823164315 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23515136 140734786356381 140734786356556 140734786356556 140734786359247 0
[pid=1728/tid=1753] ppid=1725 vsize=13982852 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/1728/task/1753/stat : 1753 (java) S 1725 1725 30973 0 -1 1077944384 453 0 0 0 3 0 0 0 20 0 15 0 95184707 14318440448 10707 33554432000 4194304 4196468 140734786355280 140080730839920 140081823156866 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23515136 140734786356381 140734786356556 140734786356556 140734786359247 0
[pid=1728/tid=1754] ppid=1725 vsize=13982852 memory=1 CPUtime=0.02 cores=0,2,4,6
/proc/1728/task/1754/stat : 1754 (java) S 1725 1725 30973 0 -1 1077944384 324 0 0 0 2 0 0 0 20 0 15 0 95184707 14318440448 10707 33554432000 4194304 4196468 140734786355280 140080729787120 140081823156866 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23515136 140734786356381 140734786356556 140734786356556 140734786359247 0
[pid=1728/tid=1755] ppid=1725 vsize=13982852 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/1728/task/1755/stat : 1755 (java) S 1725 1725 30973 0 -1 1077944384 741 0 0 0 9 0 0 0 20 0 15 0 95184707 14318440448 10707 33554432000 4194304 4196468 140734786355280 140080728734320 140081823156866 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23515136 140734786356381 140734786356556 140734786356556 140734786359247 0
[pid=1728/tid=1756] ppid=1725 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1728/task/1756/stat : 1756 (java) S 1725 1725 30973 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95184707 14318440448 10707 33554432000 4194304 4196468 140734786355280 140080727681760 140081823155925 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23515136 140734786356381 140734786356556 140734786356556 140734786359247 0
[pid=1728/tid=1757] ppid=1725 vsize=13982852 memory=104924989 CPUtime=0 cores=0,2,4,6
/proc/1728/task/1757/stat : 1757 (java) S 1725 1725 30973 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95184707 14318440448 10707 33554432000 4194304 4196468 140734786355280 140080726629040 140081823156866 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23515136 140734786356381 140734786356556 140734786356556 140734786359247 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 44212 KiB
[startup+0.701275 s]
/proc/loadavg: 1.00 1.15 1.56 8/219 1763
/proc/meminfo: memFree=31610928/32770624 swapFree=67108860/67108860
[pid=1725] ppid=1719 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/1725/stat : 1725 (xcsp3-exec) S 1719 1725 30973 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 95184701 9740288 346 33554432000 4194304 5098028 140733259228656 140733259226760 140369739698812 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 27762688 140733259232372 140733259232576 140733259232576 140733259235307 0
/proc/1725/statm: 2378 346 289 221 0 87 0
[pid=1728] ppid=1725 vsize=13984976 memory=76716 CPUtime=1.46 cores=0,2,4,6
/proc/1728/stat : 1728 (java) S 1725 1725 30973 0 -1 1077944320 11799 0 2 0 141 5 0 0 20 0 15 0 95184701 14320615424 19179 33554432000 4194304 4196468 140734786355280 140734786337824 140081823145719 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 23515136 140734786356381 140734786356556 140734786356556 140734786359247 0
/proc/1728/statm: 3496244 19179 3200 1 0 3483478 0
[pid=1728/tid=1729] ppid=1725 vsize=13984976 memory=1716 CPUtime=0.62 cores=0,2,4,6
/proc/1728/task/1729/stat : 1729 (java) R 1725 1725 30973 0 -1 4202560 6688 0 2 0 59 3 0 0 20 0 15 0 95184701 14320615424 19179 33554432000 4194304 4196468 140734786355280 140081827384712 140081452875051 0 4 0 16800975 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 23515136 140734786356381 140734786356556 140734786356556 140734786359247 0
[pid=1728/tid=1732] ppid=1725 vsize=13984976 memory=5792 CPUtime=0 cores=0,2,4,6
/proc/1728/task/1732/stat : 1732 (java) S 1725 1725 30973 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95184702 14320615424 19179 33554432000 4194304 4196468 140734786355280 140081775766672 140081823155925 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23515136 140734786356381 140734786356556 140734786356556 140734786359247 0
[pid=1728/tid=1733] ppid=1725 vsize=13984976 memory=4616 CPUtime=0 cores=0,2,4,6
/proc/1728/task/1733/stat : 1733 (java) S 1725 1725 30973 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95184702 14320615424 19179 33554432000 4194304 4196468 140734786355280 140081774713872 140081823155925 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23515136 140734786356381 140734786356556 140734786356556 140734786359247 0
[pid=1728/tid=1734] ppid=1725 vsize=13984976 memory=792 CPUtime=0 cores=0,2,4,6
/proc/1728/task/1734/stat : 1734 (java) S 1725 1725 30973 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95184702 14320615424 19179 33554432000 4194304 4196468 140734786355280 140081773661072 140081823155925 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23515136 140734786356381 140734786356556 140734786356556 140734786359247 0
[pid=1728/tid=1735] ppid=1725 vsize=13984976 memory=1420 CPUtime=0 cores=0,2,4,6
/proc/1728/task/1735/stat : 1735 (java) S 1725 1725 30973 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95184702 14320615424 19179 33554432000 4194304 4196468 140734786355280 140081772608272 140081823155925 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23515136 140734786356381 140734786356556 140734786356556 140734786359247 0
[pid=1728/tid=1742] ppid=1725 vsize=13984976 memory=13040 CPUtime=0 cores=0,2,4,6
/proc/1728/task/1742/stat : 1742 (java) S 1725 1725 30973 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 95184704 14320615424 19179 33554432000 4194304 4196468 140734786355280 140080735050096 140081823156866 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23515136 140734786356381 140734786356556 140734786356556 140734786359247 0
[pid=1728/tid=1747] ppid=1725 vsize=13984976 memory=1944 CPUtime=0 cores=0,2,4,6
/proc/1728/task/1747/stat : 1747 (java) S 1725 1725 30973 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 95184704 14320615424 19179 33554432000 4194304 4196468 140734786355280 140080733996064 140081823155925 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23515136 140734786356381 140734786356556 140734786356556 140734786359247 0
[pid=1728/tid=1748] ppid=1725 vsize=13984976 memory=279888791921600 CPUtime=0 cores=0,2,4,6
/proc/1728/task/1748/stat : 1748 (java) S 1725 1725 30973 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 95184704 14320615424 19179 33554432000 4194304 4196468 140734786355280 140080732943216 140081823155925 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23515136 140734786356381 140734786356556 140734786356556 140734786359247 0
[pid=1728/tid=1752] ppid=1725 vsize=13984976 memory=279888791926080 CPUtime=0 cores=0,2,4,6
/proc/1728/task/1752/stat : 1752 (java) S 1725 1725 30973 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95184707 14320615424 19179 33554432000 4194304 4196468 140734786355280 140080731891536 140081823164315 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23515136 140734786356381 140734786356556 140734786356556 140734786359247 0
[pid=1728/tid=1753] ppid=1725 vsize=13984976 memory=139944395973844 CPUtime=0.23 cores=0,2,4,6
/proc/1728/task/1753/stat : 1753 (java) R 1725 1725 30973 0 -1 4202560 1179 0 0 0 23 0 0 0 20 0 15 0 95184707 14320615424 19179 33554432000 4194304 4196468 140734786355280 140080730839920 140081808253394 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 23515136 140734786356381 140734786356556 140734786356556 140734786359247 0
[pid=1728/tid=1754] ppid=1725 vsize=13984976 memory=1228 CPUtime=0.24 cores=0,2,4,6
/proc/1728/task/1754/stat : 1754 (java) R 1725 1725 30973 0 -1 4202560 884 0 0 0 24 0 0 0 20 0 15 0 95184707 14320615424 19179 33554432000 4194304 4196468 140734786355280 140080729773664 140081800369872 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 23515136 140734786356381 140734786356556 140734786356556 140734786359247 0
[pid=1728/tid=1755] ppid=1725 vsize=13984976 memory=15876 CPUtime=0.33 cores=0,2,4,6
/proc/1728/task/1755/stat : 1755 (java) S 1725 1725 30973 0 -1 1077944384 1742 0 0 0 33 0 0 0 20 0 15 0 95184707 14320615424 19179 33554432000 4194304 4196468 140734786355280 140080728734320 140081823156866 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23515136 140734786356381 140734786356556 140734786356556 140734786359247 0
[pid=1728/tid=1756] ppid=1725 vsize=13984976 memory=6297835844906604903 CPUtime=0 cores=0,2,4,6
/proc/1728/task/1756/stat : 1756 (java) S 1725 1725 30973 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95184707 14320615424 19179 33554432000 4194304 4196468 140734786355280 140080727681760 140081823155925 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23515136 140734786356381 140734786356556 140734786356556 140734786359247 0
[pid=1728/tid=1757] ppid=1725 vsize=13984976 memory=4140 CPUtime=0 cores=0,2,4,6
/proc/1728/task/1757/stat : 1757 (java) S 1725 1725 30973 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95184707 14320615424 19179 33554432000 4194304 4196468 140734786355280 140080726629040 140081823156866 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23515136 140734786356381 140734786356556 140734786356556 140734786359247 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 78100 KiB
[startup+1.50086 s]
/proc/loadavg: 1.00 1.15 1.56 6/219 1763
/proc/meminfo: memFree=31536552/32770624 swapFree=67108860/67108860
[pid=1725] ppid=1719 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/1725/stat : 1725 (xcsp3-exec) S 1719 1725 30973 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 95184701 9740288 346 33554432000 4194304 5098028 140733259228656 140733259226760 140369739698812 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 27762688 140733259232372 140733259232576 140733259232576 140733259235307 0
/proc/1725/statm: 2378 346 289 221 0 87 0
################
# More data... #
################
/proc/1728/task/1748/stat : 1748 (java) S 1725 1725 30973 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 95184704 14320615424 53560 33554432000 4194304 4196468 140734786355280 140080732943216 140081823155925 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23515136 140734786356381 140734786356556 140734786356556 140734786359247 0
[pid=1728/tid=1752] ppid=1725 vsize=13984976 memory=4140 CPUtime=0 cores=0,2,4,6
/proc/1728/task/1752/stat : 1752 (java) S 1725 1725 30973 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95184707 14320615424 53560 33554432000 4194304 4196468 140734786355280 140080731891536 140081823164315 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23515136 140734786356381 140734786356556 140734786356556 140734786359247 0
[pid=1728/tid=1753] ppid=1725 vsize=13984976 memory=1384 CPUtime=1.73 cores=0,2,4,6
/proc/1728/task/1753/stat : 1753 (java) S 1725 1725 30973 0 -1 1077944384 12442 0 0 0 171 2 0 0 20 0 15 0 95184707 14320615424 53560 33554432000 4194304 4196468 140734786355280 140080730839920 140081823156866 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23515136 140734786356381 140734786356556 140734786356556 140734786359247 0
[pid=1728/tid=1754] ppid=1725 vsize=13984976 memory=214192 CPUtime=1.61 cores=0,2,4,6
/proc/1728/task/1754/stat : 1754 (java) S 1725 1725 30973 0 -1 1077944384 9477 0 0 0 161 0 0 0 20 0 15 0 95184707 14320615424 53560 33554432000 4194304 4196468 140734786355280 140080729787120 140081823156866 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23515136 140734786356381 140734786356556 140734786356556 140734786359247 0
[pid=1728/tid=1755] ppid=1725 vsize=13984976 memory=0 CPUtime=0.49 cores=0,2,4,6
/proc/1728/task/1755/stat : 1755 (java) S 1725 1725 30973 0 -1 1077944384 6054 0 0 0 48 1 0 0 20 0 15 0 95184707 14320615424 53560 33554432000 4194304 4196468 140734786355280 140080728734320 140081823156866 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23515136 140734786356381 140734786356556 140734786356556 140734786359247 0
[pid=1728/tid=1756] ppid=1725 vsize=13984976 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/1728/task/1756/stat : 1756 (java) S 1725 1725 30973 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95184707 14320615424 53560 33554432000 4194304 4196468 140734786355280 140080727681760 140081823155925 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23515136 140734786356381 140734786356556 140734786356556 140734786359247 0
[pid=1728/tid=1757] ppid=1725 vsize=13984976 memory=214220 CPUtime=0.02 cores=0,2,4,6
/proc/1728/task/1757/stat : 1757 (java) S 1725 1725 30973 0 -1 1077944384 860 0 0 0 1 1 0 0 20 0 15 0 95184707 14320615424 53560 33554432000 4194304 4196468 140734786355280 140080726629040 140081823156866 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23515136 140734786356381 140734786356556 140734786356556 140734786359247 0
Current children cumulated CPU time: 106.15 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 215624 KiB
[startup+162.301 s]
/proc/loadavg: 1.94 1.51 1.64 3/219 1848
/proc/meminfo: memFree=31297080/32770624 swapFree=67108860/67108860
[pid=1725] ppid=1719 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/1725/stat : 1725 (xcsp3-exec) S 1719 1725 30973 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 95184701 9740288 346 33554432000 4194304 5098028 140733259228656 140733259226760 140369739698812 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 27762688 140733259232372 140733259232576 140733259232576 140733259235307 0
/proc/1725/statm: 2378 346 289 221 0 87 0
[pid=1728] ppid=1725 vsize=13984976 memory=224640 CPUtime=166.21 cores=0,2,4,6
/proc/1728/stat : 1728 (java) S 1725 1725 30973 0 -1 1077944320 44861 0 2 0 16608 13 0 0 20 0 15 0 95184701 14320615424 56160 33554432000 4194304 4196468 140734786355280 140734786337824 140081823145719 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 23515136 140734786356381 140734786356556 140734786356556 140734786359247 0
/proc/1728/statm: 3496244 56160 3253 1 0 3483478 0
[pid=1728/tid=1729] ppid=1725 vsize=13984976 memory=224632 CPUtime=162.19 cores=0,2,4,6
/proc/1728/task/1729/stat : 1729 (java) R 1725 1725 30973 0 -1 4202560 11037 0 2 0 16214 5 0 0 20 0 15 0 95184701 14320615424 56160 33554432000 4194304 4196468 140734786355280 140081827384416 140081453130545 0 4 0 16800975 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 23515136 140734786356381 140734786356556 140734786356556 140734786359247 0
[pid=1728/tid=1732] ppid=1725 vsize=13984976 memory=224632 CPUtime=0.01 cores=0,2,4,6
/proc/1728/task/1732/stat : 1732 (java) S 1725 1725 30973 0 -1 1077944384 1152 0 0 0 1 0 0 0 20 0 15 0 95184702 14320615424 56160 33554432000 4194304 4196468 140734786355280 140081775766672 140081823155925 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23515136 140734786356381 140734786356556 140734786356556 140734786359247 0
[pid=1728/tid=1733] ppid=1725 vsize=13984976 memory=224632 CPUtime=0.01 cores=0,2,4,6
/proc/1728/task/1733/stat : 1733 (java) S 1725 1725 30973 0 -1 1077944384 509 0 0 0 1 0 0 0 20 0 15 0 95184702 14320615424 56160 33554432000 4194304 4196468 140734786355280 140081774713872 140081823155925 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23515136 140734786356381 140734786356556 140734786356556 140734786359247 0
[pid=1728/tid=1734] ppid=1725 vsize=13984976 memory=224632 CPUtime=0.01 cores=0,2,4,6
/proc/1728/task/1734/stat : 1734 (java) S 1725 1725 30973 0 -1 1077944384 390 0 0 0 1 0 0 0 20 0 15 0 95184702 14320615424 56160 33554432000 4194304 4196468 140734786355280 140081773661072 140081823155925 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23515136 140734786356381 140734786356556 140734786356556 140734786359247 0
[pid=1728/tid=1735] ppid=1725 vsize=13984976 memory=224640 CPUtime=0.01 cores=0,2,4,6
/proc/1728/task/1735/stat : 1735 (java) S 1725 1725 30973 0 -1 1077944384 344 0 0 0 1 0 0 0 20 0 15 0 95184702 14320615424 56160 33554432000 4194304 4196468 140734786355280 140081772608272 140081823155925 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23515136 140734786356381 140734786356556 140734786356556 140734786359247 0
[pid=1728/tid=1742] ppid=1725 vsize=13984976 memory=224640 CPUtime=0.01 cores=0,2,4,6
/proc/1728/task/1742/stat : 1742 (java) S 1725 1725 30973 0 -1 1077944384 842 0 0 0 1 0 0 0 20 0 15 0 95184704 14320615424 56160 33554432000 4194304 4196468 140734786355280 140080735050096 140081823156866 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23515136 140734786356381 140734786356556 140734786356556 140734786359247 0
[pid=1728/tid=1747] ppid=1725 vsize=13984976 memory=224640 CPUtime=0 cores=0,2,4,6
/proc/1728/task/1747/stat : 1747 (java) S 1725 1725 30973 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 15 0 95184704 14320615424 56160 33554432000 4194304 4196468 140734786355280 140080733996064 140081823155925 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23515136 140734786356381 140734786356556 140734786356556 140734786359247 0
[pid=1728/tid=1748] ppid=1725 vsize=13984976 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/1728/task/1748/stat : 1748 (java) S 1725 1725 30973 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 95184704 14320615424 56160 33554432000 4194304 4196468 140734786355280 140080732943216 140081823155925 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23515136 140734786356381 140734786356556 140734786356556 140734786359247 0
[pid=1728/tid=1752] ppid=1725 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1728/task/1752/stat : 1752 (java) S 1725 1725 30973 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95184707 14320615424 56160 33554432000 4194304 4196468 140734786355280 140080731891536 140081823164315 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23515136 140734786356381 140734786356556 140734786356556 140734786359247 0
[pid=1728/tid=1753] ppid=1725 vsize=13984976 memory=8112282956445269571 CPUtime=1.73 cores=0,2,4,6
/proc/1728/task/1753/stat : 1753 (java) S 1725 1725 30973 0 -1 1077944384 12449 0 0 0 171 2 0 0 20 0 15 0 95184707 14320615424 56160 33554432000 4194304 4196468 140734786355280 140080730839920 140081823156866 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23515136 140734786356381 140734786356556 140734786356556 140734786359247 0
[pid=1728/tid=1754] ppid=1725 vsize=13984976 memory=4040 CPUtime=1.62 cores=0,2,4,6
/proc/1728/task/1754/stat : 1754 (java) S 1725 1725 30973 0 -1 1077944384 9641 0 0 0 162 0 0 0 20 0 15 0 95184707 14320615424 56160 33554432000 4194304 4196468 140734786355280 140080729787120 140081823156866 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23515136 140734786356381 140734786356556 140734786356556 140734786359247 0
[pid=1728/tid=1755] ppid=1725 vsize=13984976 memory=224640 CPUtime=0.49 cores=0,2,4,6
/proc/1728/task/1755/stat : 1755 (java) S 1725 1725 30973 0 -1 1077944384 6240 0 0 0 48 1 0 0 20 0 15 0 95184707 14320615424 56160 33554432000 4194304 4196468 140734786355280 140080728734320 140081823156866 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23515136 140734786356381 140734786356556 140734786356556 140734786359247 0
[pid=1728/tid=1756] ppid=1725 vsize=13984976 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/1728/task/1756/stat : 1756 (java) S 1725 1725 30973 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95184707 14320615424 56160 33554432000 4194304 4196468 140734786355280 140080727681760 140081823155925 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23515136 140734786356381 140734786356556 140734786356556 140734786359247 0
[pid=1728/tid=1757] ppid=1725 vsize=13984976 memory=8548 CPUtime=0.04 cores=0,2,4,6
/proc/1728/task/1757/stat : 1757 (java) S 1725 1725 30973 0 -1 1077944384 889 0 0 0 2 2 0 0 20 0 15 0 95184707 14320615424 56160 33554432000 4194304 4196468 140734786355280 140080726629040 140081823156866 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23515136 140734786356381 140734786356556 140734786356556 140734786359247 0
Current children cumulated CPU time: 166.21 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 226024 KiB
[startup+222.301 s]
/proc/loadavg: 1.98 1.60 1.66 3/218 1849
/proc/meminfo: memFree=31298788/32770624 swapFree=67108860/67108860
[pid=1725] ppid=1719 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/1725/stat : 1725 (xcsp3-exec) S 1719 1725 30973 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 95184701 9740288 346 33554432000 4194304 5098028 140733259228656 140733259226760 140369739698812 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 27762688 140733259232372 140733259232576 140733259232576 140733259235307 0
/proc/1725/statm: 2378 346 289 221 0 87 0
[pid=1728] ppid=1725 vsize=13984976 memory=225340 CPUtime=226.26 cores=0,2,4,6
/proc/1728/stat : 1728 (java) S 1725 1725 30973 0 -1 1077944320 46094 0 2 0 22612 14 0 0 20 0 15 0 95184701 14320615424 56335 33554432000 4194304 4196468 140734786355280 140734786337824 140081823145719 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 23515136 140734786356381 140734786356556 140734786356556 140734786359247 0
/proc/1728/statm: 3496244 56335 3253 1 0 3483478 0
[pid=1728/tid=1729] ppid=1725 vsize=13984976 memory=1384 CPUtime=222.19 cores=0,2,4,6
/proc/1728/task/1729/stat : 1729 (java) R 1725 1725 30973 0 -1 4202560 11084 0 2 0 22214 5 0 0 20 0 15 0 95184701 14320615424 56335 33554432000 4194304 4196468 140734786355280 140081827384368 140081453013824 0 4 0 16800975 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 23515136 140734786356381 140734786356556 140734786356556 140734786359247 0
[pid=1728/tid=1732] ppid=1725 vsize=13984976 memory=225340 CPUtime=0.02 cores=0,2,4,6
/proc/1728/task/1732/stat : 1732 (java) S 1725 1725 30973 0 -1 1077944384 1185 0 0 0 2 0 0 0 20 0 15 0 95184702 14320615424 56335 33554432000 4194304 4196468 140734786355280 140081775766672 140081823155925 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23515136 140734786356381 140734786356556 140734786356556 140734786359247 0
[pid=1728/tid=1733] ppid=1725 vsize=13984976 memory=225340 CPUtime=0.02 cores=0,2,4,6
/proc/1728/task/1733/stat : 1733 (java) S 1725 1725 30973 0 -1 1077944384 619 0 0 0 2 0 0 0 20 0 15 0 95184702 14320615424 56335 33554432000 4194304 4196468 140734786355280 140081774713872 140081823155925 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23515136 140734786356381 140734786356556 140734786356556 140734786359247 0
[pid=1728/tid=1734] ppid=1725 vsize=13984976 memory=225340 CPUtime=0.02 cores=0,2,4,6
/proc/1728/task/1734/stat : 1734 (java) S 1725 1725 30973 0 -1 1077944384 414 0 0 0 2 0 0 0 20 0 15 0 95184702 14320615424 56335 33554432000 4194304 4196468 140734786355280 140081773661072 140081823155925 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23515136 140734786356381 140734786356556 140734786356556 140734786359247 0
[pid=1728/tid=1735] ppid=1725 vsize=13984976 memory=225340 CPUtime=0.02 cores=0,2,4,6
/proc/1728/task/1735/stat : 1735 (java) S 1725 1725 30973 0 -1 1077944384 669 0 0 0 2 0 0 0 20 0 15 0 95184702 14320615424 56335 33554432000 4194304 4196468 140734786355280 140081772608272 140081823155925 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23515136 140734786356381 140734786356556 140734786356556 140734786359247 0
[pid=1728/tid=1742] ppid=1725 vsize=13984976 memory=13040 CPUtime=0.01 cores=0,2,4,6
/proc/1728/task/1742/stat : 1742 (java) S 1725 1725 30973 0 -1 1077944384 1019 0 0 0 1 0 0 0 20 0 15 0 95184704 14320615424 56335 33554432000 4194304 4196468 140734786355280 140080735050096 140081823156866 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23515136 140734786356381 140734786356556 140734786356556 140734786359247 0
[pid=1728/tid=1747] ppid=1725 vsize=13984976 memory=225312 CPUtime=0 cores=0,2,4,6
/proc/1728/task/1747/stat : 1747 (java) S 1725 1725 30973 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 15 0 95184704 14320615424 56335 33554432000 4194304 4196468 140734786355280 140080733996064 140081823155925 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23515136 140734786356381 140734786356556 140734786356556 140734786359247 0
[pid=1728/tid=1748] ppid=1725 vsize=13984976 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/1728/task/1748/stat : 1748 (java) S 1725 1725 30973 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 95184704 14320615424 56335 33554432000 4194304 4196468 140734786355280 140080732943216 140081823155925 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23515136 140734786356381 140734786356556 140734786356556 140734786359247 0
[pid=1728/tid=1752] ppid=1725 vsize=13984976 memory=225340 CPUtime=0 cores=0,2,4,6
/proc/1728/task/1752/stat : 1752 (java) S 1725 1725 30973 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95184707 14320615424 56335 33554432000 4194304 4196468 140734786355280 140080731891536 140081823164315 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23515136 140734786356381 140734786356556 140734786356556 140734786359247 0
[pid=1728/tid=1753] ppid=1725 vsize=13984976 memory=225340 CPUtime=1.73 cores=0,2,4,6
/proc/1728/task/1753/stat : 1753 (java) S 1725 1725 30973 0 -1 1077944384 12449 0 0 0 171 2 0 0 20 0 15 0 95184707 14320615424 56335 33554432000 4194304 4196468 140734786355280 140080730839920 140081823156866 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23515136 140734786356381 140734786356556 140734786356556 140734786359247 0
[pid=1728/tid=1754] ppid=1725 vsize=13984976 memory=4140 CPUtime=1.62 cores=0,2,4,6
/proc/1728/task/1754/stat : 1754 (java) S 1725 1725 30973 0 -1 1077944384 9641 0 0 0 162 0 0 0 20 0 15 0 95184707 14320615424 56335 33554432000 4194304 4196468 140734786355280 140080729787120 140081823156866 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23515136 140734786356381 140734786356556 140734786356556 140734786359247 0
[pid=1728/tid=1755] ppid=1725 vsize=13984976 memory=27476 CPUtime=0.49 cores=0,2,4,6
/proc/1728/task/1755/stat : 1755 (java) S 1725 1725 30973 0 -1 1077944384 6753 0 0 0 48 1 0 0 20 0 15 0 95184707 14320615424 56335 33554432000 4194304 4196468 140734786355280 140080728734320 140081823156866 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23515136 140734786356381 140734786356556 140734786356556 140734786359247 0
[pid=1728/tid=1756] ppid=1725 vsize=13984976 memory=1296 CPUtime=0 cores=0,2,4,6
/proc/1728/task/1756/stat : 1756 (java) S 1725 1725 30973 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95184707 14320615424 56335 33554432000 4194304 4196468 140734786355280 140080727681760 140081823155925 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23515136 140734786356381 140734786356556 140734786356556 140734786359247 0
[pid=1728/tid=1757] ppid=1725 vsize=13984976 memory=1384 CPUtime=0.06 cores=0,2,4,6
/proc/1728/task/1757/stat : 1757 (java) S 1725 1725 30973 0 -1 1077944384 893 0 0 0 3 3 0 0 20 0 15 0 95184707 14320615424 56335 33554432000 4194304 4196468 140734786355280 140080726629040 140081823156866 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23515136 140734786356381 140734786356556 140734786356556 140734786359247 0
Current children cumulated CPU time: 226.26 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 226724 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+240.001 s]*
/proc/loadavg: 1.98 1.63 1.67 3/218 1849
/proc/meminfo: memFree=31309328/32770624 swapFree=67108860/67108860
[pid=1725] ppid=1719 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/1725/stat : 1725 (xcsp3-exec) S 1719 1725 30973 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 95184701 9740288 346 33554432000 4194304 5098028 140733259228656 140733259226760 140369739698812 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 27762688 140733259232372 140733259232576 140733259232576 140733259235307 0
/proc/1725/statm: 2378 346 289 221 0 87 0
[pid=1728] ppid=1725 vsize=13984976 memory=215612 CPUtime=243.99 cores=0,2,4,6
/proc/1728/stat : 1728 (java) S 1725 1725 30973 0 -1 1077944320 46219 0 2 0 24385 14 0 0 20 0 15 0 95184701 14320615424 53903 33554432000 4194304 4196468 140734786355280 140734786337824 140081823145719 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 23515136 140734786356381 140734786356556 140734786356556 140734786359247 0
/proc/1728/statm: 3496244 53903 3253 1 0 3483478 0
[pid=1728/tid=1729] ppid=1725 vsize=13984976 memory=4040 CPUtime=239.89 cores=0,2,4,6
/proc/1728/task/1729/stat : 1729 (java) R 1725 1725 30973 0 -1 4202560 11187 0 2 0 23984 5 0 0 20 0 15 0 95184701 14320615424 53903 33554432000 4194304 4196468 140734786355280 140081827384336 140081453922732 0 4 0 16800975 0 0 0 -1 4 0 0 4 0 0 6293624 6294260 23515136 140734786356381 140734786356556 140734786356556 140734786359247 0
[pid=1728/tid=1732] ppid=1725 vsize=13984976 memory=-7003737579269690708 CPUtime=0.02 cores=0,2,4,6
/proc/1728/task/1732/stat : 1732 (java) S 1725 1725 30973 0 -1 1077944384 1191 0 0 0 2 0 0 0 20 0 15 0 95184702 14320615424 53903 33554432000 4194304 4196468 140734786355280 140081775766672 140081823155925 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23515136 140734786356381 140734786356556 140734786356556 140734786359247 0
[pid=1728/tid=1733] ppid=1725 vsize=13984976 memory=1384 CPUtime=0.02 cores=0,2,4,6
/proc/1728/task/1733/stat : 1733 (java) S 1725 1725 30973 0 -1 1077944384 619 0 0 0 2 0 0 0 20 0 15 0 95184702 14320615424 53903 33554432000 4194304 4196468 140734786355280 140081774713872 140081823155925 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23515136 140734786356381 140734786356556 140734786356556 140734786359247 0
[pid=1728/tid=1734] ppid=1725 vsize=13984976 memory=215612 CPUtime=0.02 cores=0,2,4,6
/proc/1728/task/1734/stat : 1734 (java) S 1725 1725 30973 0 -1 1077944384 415 0 0 0 2 0 0 0 20 0 15 0 95184702 14320615424 53903 33554432000 4194304 4196468 140734786355280 140081773661072 140081823155925 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23515136 140734786356381 140734786356556 140734786356556 140734786359247 0
[pid=1728/tid=1735] ppid=1725 vsize=13984976 memory=14415925407385470 CPUtime=0.02 cores=0,2,4,6
/proc/1728/task/1735/stat : 1735 (java) S 1725 1725 30973 0 -1 1077944384 671 0 0 0 2 0 0 0 20 0 15 0 95184702 14320615424 53903 33554432000 4194304 4196468 140734786355280 140081772608272 140081823155925 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23515136 140734786356381 140734786356556 140734786356556 140734786359247 0
[pid=1728/tid=1742] ppid=1725 vsize=13984976 memory=3832 CPUtime=0.01 cores=0,2,4,6
/proc/1728/task/1742/stat : 1742 (java) S 1725 1725 30973 0 -1 1077944384 1024 0 0 0 1 0 0 0 20 0 15 0 95184704 14320615424 53903 33554432000 4194304 4196468 140734786355280 140080735050096 140081823156866 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23515136 140734786356381 140734786356556 140734786356556 140734786359247 0
[pid=1728/tid=1747] ppid=1725 vsize=13984976 memory=6935054825532540783 CPUtime=0 cores=0,2,4,6
/proc/1728/task/1747/stat : 1747 (java) S 1725 1725 30973 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 15 0 95184704 14320615424 53903 33554432000 4194304 4196468 140734786355280 140080733996064 140081823155925 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23515136 140734786356381 140734786356556 140734786356556 140734786359247 0
[pid=1728/tid=1748] ppid=1725 vsize=13984976 memory=-7003737579269690708 CPUtime=0 cores=0,2,4,6
/proc/1728/task/1748/stat : 1748 (java) S 1725 1725 30973 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 95184704 14320615424 53903 33554432000 4194304 4196468 140734786355280 140080732943216 140081823155925 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23515136 140734786356381 140734786356556 140734786356556 140734786359247 0
[pid=1728/tid=1752] ppid=1725 vsize=13984976 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/1728/task/1752/stat : 1752 (java) S 1725 1725 30973 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95184707 14320615424 53903 33554432000 4194304 4196468 140734786355280 140080731891536 140081823164315 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23515136 140734786356381 140734786356556 140734786356556 140734786359247 0
[pid=1728/tid=1753] ppid=1725 vsize=13984976 memory=194960 CPUtime=1.73 cores=0,2,4,6
/proc/1728/task/1753/stat : 1753 (java) S 1725 1725 30973 0 -1 1077944384 12451 0 0 0 171 2 0 0 20 0 15 0 95184707 14320615424 53903 33554432000 4194304 4196468 140734786355280 140080730839920 140081823156866 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23515136 140734786356381 140734786356556 140734786356556 140734786359247 0
[pid=1728/tid=1754] ppid=1725 vsize=13984976 memory=928 CPUtime=1.62 cores=0,2,4,6
/proc/1728/task/1754/stat : 1754 (java) S 1725 1725 30973 0 -1 1077944384 9643 0 0 0 162 0 0 0 20 0 15 0 95184707 14320615424 53903 33554432000 4194304 4196468 140734786355280 140080729787120 140081823156866 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23515136 140734786356381 140734786356556 140734786356556 140734786359247 0
[pid=1728/tid=1755] ppid=1725 vsize=13984976 memory=1568 CPUtime=0.49 cores=0,2,4,6
/proc/1728/task/1755/stat : 1755 (java) S 1725 1725 30973 0 -1 1077944384 6755 0 0 0 48 1 0 0 20 0 15 0 95184707 14320615424 53903 33554432000 4194304 4196468 140734786355280 140080728734320 140081823156866 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23515136 140734786356381 140734786356556 140734786356556 140734786359247 0
[pid=1728/tid=1756] ppid=1725 vsize=13984976 memory=2240 CPUtime=0 cores=0,2,4,6
/proc/1728/task/1756/stat : 1756 (java) S 1725 1725 30973 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95184707 14320615424 53903 33554432000 4194304 4196468 140734786355280 140080727681760 140081823155925 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23515136 140734786356381 140734786356556 140734786356556 140734786359247 0
[pid=1728/tid=1757] ppid=1725 vsize=13984976 memory=8112282956445269571 CPUtime=0.07 cores=0,2,4,6
/proc/1728/task/1757/stat : 1757 (java) S 1725 1725 30973 0 -1 1077944384 895 0 0 0 4 3 0 0 20 0 15 0 95184707 14320615424 53903 33554432000 4194304 4196468 140734786355280 140080726629040 140081823156866 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23515136 140734786356381 140734786356556 140734786356556 140734786359247 0
Current children cumulated CPU time: 243.99 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 216996 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+240.02 s]
# the end of solver process 1725 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.000965 s, system=0.000965 s
[startup+240.021 s]
# the end of solver process 1728 was just reported to runsolver
# cumulated CPU time of all completed processes: user=243.868 s, system=0.147044 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 240.021
CPU time (s): 244.015
CPU user time (s): 243.868
CPU system time (s): 0.147044
CPU usage (%): 101.664
Max. virtual memory (cumulated for all children) (KiB): 13996488
Max. memory (cumulated for all children) (KiB): 226724
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 243.868
system time used= 0.147044
maximum resident set size= 225380
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 47281
page faults= 2
swaps= 0
block input operations= 5136
block output operations= 360
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7951
involuntary context switches= 465
# summary of solver processes directly reported to runsolver:
# pid: 1725,1728
# total CPU time (s): 244.015
# total CPU user time (s): 243.868
# total CPU system time (s): 0.147044
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.86482 second user time and 1.82859 second system time
The end