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 (5055 MiB free)
memory of node 1: 16384 MiB (6956 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4306710-1534106586/watcher-4306710-1534106586 -o /tmp/evaluation-result-4306710-1534106586/solver-4306710-1534106586 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node139-1534096142-24483 --watchdog 2580 HOME/xcsp3-exec -seed 1478775215 -dir HOME -tl 2520 -ml 11000 -p 1 HOME/instance-4306710-1534106586.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=26787, runsolver pid=26784
[startup+0.100327 s]*
/proc/loadavg: 2.27 1.76 1.62 4/218 26803
/proc/meminfo: memFree=12283152/32770624 swapFree=67108860/67108860
[pid=26787] ppid=26784 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/26787/stat : 26787 (xcsp3-exec) S 26784 26787 24451 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 228221805 115843072 363 33554432000 4194304 5098028 140733544303424 140733544301528 140500623155836 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 24088576 140733544309818 140733544310020 140733544310020 140733544312778 0
/proc/26787/statm: 28282 363 306 221 0 87 0
[pid=26789] ppid=26787 vsize=14082940 memory=28540 CPUtime=0.12 cores=1,3,5,7
/proc/26789/stat : 26789 (java) S 26787 26787 24451 0 -1 1077944320 5501 0 0 0 11 1 0 0 20 0 15 0 228221806 14420930560 7070 33554432000 4194304 4196468 140725282974064 140725282956608 139663458230007 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 35012608 140725282980998 140725282981169 140725282981169 140725282983887 0
/proc/26789/statm: 3520735 7070 3004 1 0 3483012 0
[pid=26789/tid=26790] ppid=26787 vsize=14082940 memory=-6962121287837372198 CPUtime=0.09 cores=1,3,5,7
/proc/26789/task/26790/stat : 26790 (java) R 26787 26787 24451 0 -1 4202560 3498 0 0 0 9 0 0 0 20 0 15 0 228221806 14420930560 7135 33554432000 4194304 4196468 140725282974064 139663462463280 139663450467134 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35012608 140725282980998 140725282981169 140725282981169 140725282983887 0
[pid=26789/tid=26791] ppid=26787 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26789/task/26791/stat : 26791 (java) S 26787 26787 24451 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 228221807 14420930560 7135 33554432000 4194304 4196468 140725282974064 139663414782480 139663458240213 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35012608 140725282980998 140725282981169 140725282981169 140725282983887 0
[pid=26789/tid=26792] ppid=26787 vsize=14082940 memory=139906304325248 CPUtime=0 cores=1,3,5,7
/proc/26789/task/26792/stat : 26792 (java) S 26787 26787 24451 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 228221807 14420930560 7135 33554432000 4194304 4196468 140725282974064 139663413729936 139663458240213 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35012608 140725282980998 140725282981169 140725282981169 140725282983887 0
[pid=26789/tid=26793] ppid=26787 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26789/task/26793/stat : 26793 (java) S 26787 26787 24451 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 228221807 14420930560 7135 33554432000 4194304 4196468 140725282974064 139663412676880 139663458240213 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35012608 140725282980998 140725282981169 140725282981169 140725282983887 0
[pid=26789/tid=26794] ppid=26787 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26789/task/26794/stat : 26794 (java) S 26787 26787 24451 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 228221807 14420930560 7135 33554432000 4194304 4196468 140725282974064 139663050729872 139663458240213 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35012608 140725282980998 140725282981169 140725282981169 140725282983887 0
[pid=26789/tid=26795] ppid=26787 vsize=14082940 memory=139906304325248 CPUtime=0 cores=1,3,5,7
/proc/26789/task/26795/stat : 26795 (java) S 26787 26787 24451 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 228221808 14420930560 7135 33554432000 4194304 4196468 140725282974064 139662932392688 139663458241154 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35012608 140725282980998 140725282981169 140725282981169 140725282983887 0
[pid=26789/tid=26796] ppid=26787 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26789/task/26796/stat : 26796 (java) S 26787 26787 24451 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 228221808 14420930560 7135 33554432000 4194304 4196468 140725282974064 139662931338912 139663458240213 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35012608 140725282980998 140725282981169 140725282981169 140725282983887 0
[pid=26789/tid=26797] ppid=26787 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26789/task/26797/stat : 26797 (java) S 26787 26787 24451 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 228221809 14420930560 7135 33554432000 4194304 4196468 140725282974064 139662930285808 139663458240213 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35012608 140725282980998 140725282981169 140725282981169 140725282983887 0
[pid=26789/tid=26798] ppid=26787 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26789/task/26798/stat : 26798 (java) S 26787 26787 24451 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 228221811 14420930560 7135 33554432000 4194304 4196468 140725282974064 139662929234384 139663458248603 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35012608 140725282980998 140725282981169 140725282981169 140725282983887 0
[pid=26789/tid=26799] ppid=26787 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26789/task/26799/stat : 26799 (java) S 26787 26787 24451 0 -1 1077944384 311 0 0 0 0 0 0 0 20 0 15 0 228221811 14420930560 7135 33554432000 4194304 4196468 140725282974064 139662928181488 139663458241154 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35012608 140725282980998 140725282981169 140725282981169 140725282983887 0
[pid=26789/tid=26800] ppid=26787 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26789/task/26800/stat : 26800 (java) S 26787 26787 24451 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 15 0 228221811 14420930560 7135 33554432000 4194304 4196468 140725282974064 139662927128944 139663458241154 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35012608 140725282980998 140725282981169 140725282981169 140725282983887 0
[pid=26789/tid=26801] ppid=26787 vsize=14082940 memory=139906304325248 CPUtime=0.01 cores=1,3,5,7
/proc/26789/task/26801/stat : 26801 (java) R 26787 26787 24451 0 -1 4202560 313 0 0 0 1 0 0 0 20 0 15 0 228221811 14420930560 7135 33554432000 4194304 4196468 140725282974064 139662926075888 139663437190943 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35012608 140725282980998 140725282981169 140725282981169 140725282983887 0
[pid=26789/tid=26802] ppid=26787 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26789/task/26802/stat : 26802 (java) S 26787 26787 24451 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 228221811 14420930560 7135 33554432000 4194304 4196468 140725282974064 139662925023584 139663458240213 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35012608 140725282980998 140725282981169 140725282981169 140725282983887 0
[pid=26789/tid=26803] ppid=26787 vsize=14082940 memory=139906304325248 CPUtime=0 cores=1,3,5,7
/proc/26789/task/26803/stat : 26803 (java) S 26787 26787 24451 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 228221811 14420930560 7135 33554432000 4194304 4196468 140725282974064 139662923971632 139663458241154 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35012608 140725282980998 140725282981169 140725282981169 140725282983887 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 14196068 KiB
Current children cumulated memory: 29992 KiB
[startup+0.210863 s]*
/proc/loadavg: 2.27 1.76 1.62 4/218 26803
/proc/meminfo: memFree=12270748/32770624 swapFree=67108860/67108860
[pid=26787] ppid=26784 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/26787/stat : 26787 (xcsp3-exec) S 26784 26787 24451 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 228221805 115843072 363 33554432000 4194304 5098028 140733544303424 140733544301528 140500623155836 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 24088576 140733544309818 140733544310020 140733544310020 140733544312778 0
/proc/26787/statm: 28282 363 306 221 0 87 0
[pid=26789] ppid=26787 vsize=14082940 memory=41380 CPUtime=0.34 cores=1,3,5,7
/proc/26789/stat : 26789 (java) S 26787 26787 24451 0 -1 1077944320 8348 0 0 0 32 2 0 0 20 0 15 0 228221806 14420930560 10345 33554432000 4194304 4196468 140725282974064 140725282956608 139663458230007 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 35012608 140725282980998 140725282981169 140725282981169 140725282983887 0
/proc/26789/statm: 3520735 10345 3200 1 0 3483012 0
[pid=26789/tid=26790] ppid=26787 vsize=14082940 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/26789/task/26790/stat : 26790 (java) R 26787 26787 24451 0 -1 4202560 5437 0 0 0 19 1 0 0 20 0 15 0 228221806 14420930560 10345 33554432000 4194304 4196468 140725282974064 139663462464992 139663458251933 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35012608 140725282980998 140725282981169 140725282981169 140725282983887 0
[pid=26789/tid=26791] ppid=26787 vsize=14082940 memory=12591 CPUtime=0 cores=1,3,5,7
/proc/26789/task/26791/stat : 26791 (java) S 26787 26787 24451 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 228221807 14420930560 10345 33554432000 4194304 4196468 140725282974064 139663414782480 139663458240213 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35012608 140725282980998 140725282981169 140725282981169 140725282983887 0
[pid=26789/tid=26792] ppid=26787 vsize=14082940 memory=139906305545953 CPUtime=0 cores=1,3,5,7
/proc/26789/task/26792/stat : 26792 (java) S 26787 26787 24451 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 228221807 14420930560 10345 33554432000 4194304 4196468 140725282974064 139663413729936 139663458240213 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35012608 140725282980998 140725282981169 140725282981169 140725282983887 0
[pid=26789/tid=26793] ppid=26787 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26789/task/26793/stat : 26793 (java) S 26787 26787 24451 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 228221807 14420930560 10345 33554432000 4194304 4196468 140725282974064 139663412676880 139663458240213 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35012608 140725282980998 140725282981169 140725282981169 140725282983887 0
[pid=26789/tid=26794] ppid=26787 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26789/task/26794/stat : 26794 (java) S 26787 26787 24451 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 228221807 14420930560 10345 33554432000 4194304 4196468 140725282974064 139663050729872 139663458240213 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35012608 140725282980998 140725282981169 140725282981169 140725282983887 0
[pid=26789/tid=26795] ppid=26787 vsize=14082940 memory=139906304325248 CPUtime=0 cores=1,3,5,7
/proc/26789/task/26795/stat : 26795 (java) S 26787 26787 24451 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 228221808 14420930560 10345 33554432000 4194304 4196468 140725282974064 139662932392688 139663458241154 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35012608 140725282980998 140725282981169 140725282981169 140725282983887 0
[pid=26789/tid=26796] ppid=26787 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26789/task/26796/stat : 26796 (java) S 26787 26787 24451 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 228221808 14420930560 10345 33554432000 4194304 4196468 140725282974064 139662931338912 139663458240213 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35012608 140725282980998 140725282981169 140725282981169 140725282983887 0
[pid=26789/tid=26797] ppid=26787 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26789/task/26797/stat : 26797 (java) S 26787 26787 24451 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 228221809 14420930560 10345 33554432000 4194304 4196468 140725282974064 139662930285808 139663458240213 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35012608 140725282980998 140725282981169 140725282981169 140725282983887 0
[pid=26789/tid=26798] ppid=26787 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26789/task/26798/stat : 26798 (java) S 26787 26787 24451 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 228221811 14420930560 10345 33554432000 4194304 4196468 140725282974064 139662929234384 139663458248603 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35012608 140725282980998 140725282981169 140725282981169 140725282983887 0
[pid=26789/tid=26799] ppid=26787 vsize=14082940 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/26789/task/26799/stat : 26799 (java) S 26787 26787 24451 0 -1 1077944384 632 0 0 0 2 0 0 0 20 0 15 0 228221811 14420930560 10345 33554432000 4194304 4196468 140725282974064 139662928181488 139663458241154 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35012608 140725282980998 140725282981169 140725282981169 140725282983887 0
[pid=26789/tid=26800] ppid=26787 vsize=14082940 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/26789/task/26800/stat : 26800 (java) S 26787 26787 24451 0 -1 1077944384 161 0 0 0 2 0 0 0 20 0 15 0 228221811 14420930560 10345 33554432000 4194304 4196468 140725282974064 139662927128944 139663458241154 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35012608 140725282980998 140725282981169 140725282981169 140725282983887 0
[pid=26789/tid=26801] ppid=26787 vsize=14082940 memory=139906304325248 CPUtime=0.08 cores=1,3,5,7
/proc/26789/task/26801/stat : 26801 (java) S 26787 26787 24451 0 -1 1077944384 809 0 0 0 8 0 0 0 20 0 15 0 228221811 14420930560 10345 33554432000 4194304 4196468 140725282974064 139662926075888 139663458241154 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35012608 140725282980998 140725282981169 140725282981169 140725282983887 0
[pid=26789/tid=26802] ppid=26787 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26789/task/26802/stat : 26802 (java) S 26787 26787 24451 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 228221811 14420930560 10345 33554432000 4194304 4196468 140725282974064 139662925023584 139663458240213 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35012608 140725282980998 140725282981169 140725282981169 140725282983887 0
[pid=26789/tid=26803] ppid=26787 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26789/task/26803/stat : 26803 (java) S 26787 26787 24451 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 228221811 14420930560 10345 33554432000 4194304 4196468 140725282974064 139662923971632 139663458241154 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35012608 140725282980998 140725282981169 140725282981169 140725282983887 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 14196068 KiB
Current children cumulated memory: 42832 KiB
[startup+0.310741 s]*
/proc/loadavg: 2.27 1.76 1.62 4/218 26803
/proc/meminfo: memFree=12264172/32770624 swapFree=67108860/67108860
[pid=26787] ppid=26784 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/26787/stat : 26787 (xcsp3-exec) S 26784 26787 24451 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 228221805 115843072 363 33554432000 4194304 5098028 140733544303424 140733544301528 140500623155836 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 24088576 140733544309818 140733544310020 140733544310020 140733544312778 0
/proc/26787/statm: 28282 363 306 221 0 87 0
[pid=26789] ppid=26787 vsize=14087196 memory=47972 CPUtime=0.54 cores=1,3,5,7
/proc/26789/stat : 26789 (java) S 26787 26787 24451 0 -1 1077944320 9242 0 0 0 51 3 0 0 20 0 15 0 228221806 14425288704 11993 33554432000 4194304 4196468 140725282974064 140725282956608 139663458230007 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 35012608 140725282980998 140725282981169 140725282981169 140725282983887 0
/proc/26789/statm: 3521799 11993 3240 1 0 3483012 0
[pid=26789/tid=26790] ppid=26787 vsize=14087196 memory=6791534058613427641 CPUtime=0.3 cores=1,3,5,7
/proc/26789/task/26790/stat : 26790 (java) R 26787 26787 24451 0 -1 4202560 6151 0 0 0 28 2 0 0 20 0 15 0 228221806 14425288704 11993 33554432000 4194304 4196468 140725282974064 139663462461120 139663442310494 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35012608 140725282980998 140725282981169 140725282981169 140725282983887 0
[pid=26789/tid=26791] ppid=26787 vsize=14087196 memory=6943526294502006880 CPUtime=0 cores=1,3,5,7
/proc/26789/task/26791/stat : 26791 (java) S 26787 26787 24451 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 228221807 14425288704 11993 33554432000 4194304 4196468 140725282974064 139663414782480 139663458240213 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35012608 140725282980998 140725282981169 140725282981169 140725282983887 0
[pid=26789/tid=26792] ppid=26787 vsize=14087196 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/26789/task/26792/stat : 26792 (java) S 26787 26787 24451 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 228221807 14425288704 11993 33554432000 4194304 4196468 140725282974064 139663413729936 139663458240213 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35012608 140725282980998 140725282981169 140725282981169 140725282983887 0
[pid=26789/tid=26793] ppid=26787 vsize=14087196 memory=-3258418265892434876 CPUtime=0 cores=1,3,5,7
/proc/26789/task/26793/stat : 26793 (java) S 26787 26787 24451 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 228221807 14425288704 11993 33554432000 4194304 4196468 140725282974064 139663412676880 139663458240213 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35012608 140725282980998 140725282981169 140725282981169 140725282983887 0
[pid=26789/tid=26794] ppid=26787 vsize=14087196 memory=4572146066226452084 CPUtime=0 cores=1,3,5,7
/proc/26789/task/26794/stat : 26794 (java) S 26787 26787 24451 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 228221807 14425288704 11993 33554432000 4194304 4196468 140725282974064 139663050729872 139663458240213 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35012608 140725282980998 140725282981169 140725282981169 140725282983887 0
[pid=26789/tid=26795] ppid=26787 vsize=14087196 memory=6944613755495348631 CPUtime=0 cores=1,3,5,7
/proc/26789/task/26795/stat : 26795 (java) S 26787 26787 24451 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 228221808 14425288704 11993 33554432000 4194304 4196468 140725282974064 139662932392688 139663458241154 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35012608 140725282980998 140725282981169 140725282981169 140725282983887 0
[pid=26789/tid=26796] ppid=26787 vsize=14087196 memory=7893295687695687954 CPUtime=0 cores=1,3,5,7
/proc/26789/task/26796/stat : 26796 (java) S 26787 26787 24451 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 228221808 14425288704 12058 33554432000 4194304 4196468 140725282974064 139662931338912 139663458240213 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35012608 140725282980998 140725282981169 140725282981169 140725282983887 0
[pid=26789/tid=26797] ppid=26787 vsize=14087196 memory=-8813974798734826869 CPUtime=0 cores=1,3,5,7
/proc/26789/task/26797/stat : 26797 (java) S 26787 26787 24451 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 228221809 14425288704 12058 33554432000 4194304 4196468 140725282974064 139662930285808 139663458240213 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35012608 140725282980998 140725282981169 140725282981169 140725282983887 0
[pid=26789/tid=26798] ppid=26787 vsize=14087196 memory=7827413994055111515 CPUtime=0 cores=1,3,5,7
/proc/26789/task/26798/stat : 26798 (java) S 26787 26787 24451 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 228221811 14425288704 12058 33554432000 4194304 4196468 140725282974064 139662929234384 139663458248603 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35012608 140725282980998 140725282981169 140725282981169 140725282983887 0
[pid=26789/tid=26799] ppid=26787 vsize=14087196 memory=8508281356422055839 CPUtime=0.04 cores=1,3,5,7
/proc/26789/task/26799/stat : 26799 (java) S 26787 26787 24451 0 -1 1077944384 647 0 0 0 4 0 0 0 20 0 15 0 228221811 14425288704 12058 33554432000 4194304 4196468 140725282974064 139662928181488 139663458241154 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35012608 140725282980998 140725282981169 140725282981169 140725282983887 0
[pid=26789/tid=26800] ppid=26787 vsize=14087196 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/26789/task/26800/stat : 26800 (java) S 26787 26787 24451 0 -1 1077944384 254 0 0 0 5 0 0 0 20 0 15 0 228221811 14425288704 12058 33554432000 4194304 4196468 140725282974064 139662927128944 139663458241154 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35012608 140725282980998 140725282981169 140725282981169 140725282983887 0
[pid=26789/tid=26801] ppid=26787 vsize=14087196 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/26789/task/26801/stat : 26801 (java) S 26787 26787 24451 0 -1 1077944384 882 0 0 0 12 0 0 0 20 0 15 0 228221811 14425288704 12058 33554432000 4194304 4196468 140725282974064 139662926075888 139663458241154 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35012608 140725282980998 140725282981169 140725282981169 140725282983887 0
[pid=26789/tid=26802] ppid=26787 vsize=14087196 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26789/task/26802/stat : 26802 (java) S 26787 26787 24451 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 228221811 14425288704 12058 33554432000 4194304 4196468 140725282974064 139662925023584 139663458240213 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35012608 140725282980998 140725282981169 140725282981169 140725282983887 0
[pid=26789/tid=26803] ppid=26787 vsize=14087196 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26789/task/26803/stat : 26803 (java) S 26787 26787 24451 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 228221811 14425288704 12058 33554432000 4194304 4196468 140725282974064 139662923971632 139663458241154 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35012608 140725282980998 140725282981169 140725282981169 140725282983887 0
Current children cumulated CPU time: 0.54 s
Current children cumulated vsize: 14200324 KiB
Current children cumulated memory: 49424 KiB
[startup+0.708393 s]
/proc/loadavg: 2.27 1.76 1.62 6/218 26803
/proc/meminfo: memFree=12244880/32770624 swapFree=67108860/67108860
[pid=26787] ppid=26784 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/26787/stat : 26787 (xcsp3-exec) S 26784 26787 24451 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 228221805 115843072 363 33554432000 4194304 5098028 140733544303424 140733544301528 140500623155836 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 24088576 140733544309818 140733544310020 140733544310020 140733544312778 0
/proc/26787/statm: 28282 363 306 221 0 87 0
[pid=26789] ppid=26787 vsize=14089320 memory=97640 CPUtime=1.78 cores=1,3,5,7
/proc/26789/stat : 26789 (java) S 26787 26787 24451 0 -1 1077944320 13531 0 0 0 174 4 0 0 20 0 15 0 228221806 14427463680 24410 33554432000 4194304 4196468 140725282974064 140725282956608 139663458230007 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 35012608 140725282980998 140725282981169 140725282981169 140725282983887 0
/proc/26789/statm: 3522330 24410 3355 1 0 3483524 0
[pid=26789/tid=26790] ppid=26787 vsize=14089320 memory=33 CPUtime=0.68 cores=1,3,5,7
/proc/26789/task/26790/stat : 26790 (java) R 26787 26787 24451 0 -1 4202560 6917 0 0 0 66 2 0 0 20 0 15 0 228221806 14427463680 24410 33554432000 4194304 4196468 140725282974064 139663462466112 139663096612231 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35012608 140725282980998 140725282981169 140725282981169 140725282983887 0
[pid=26789/tid=26791] ppid=26787 vsize=14089320 memory=-7816663703405220396 CPUtime=0 cores=1,3,5,7
/proc/26789/task/26791/stat : 26791 (java) S 26787 26787 24451 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 228221807 14427463680 24410 33554432000 4194304 4196468 140725282974064 139663414782480 139663458240213 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35012608 140725282980998 140725282981169 140725282981169 140725282983887 0
[pid=26789/tid=26792] ppid=26787 vsize=14089320 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26789/task/26792/stat : 26792 (java) S 26787 26787 24451 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 228221807 14427463680 24410 33554432000 4194304 4196468 140725282974064 139663413729936 139663458240213 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35012608 140725282980998 140725282981169 140725282981169 140725282983887 0
[pid=26789/tid=26793] ppid=26787 vsize=14089320 memory=61928 CPUtime=0 cores=1,3,5,7
/proc/26789/task/26793/stat : 26793 (java) S 26787 26787 24451 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 228221807 14427463680 24410 33554432000 4194304 4196468 140725282974064 139663412676880 139663458240213 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35012608 140725282980998 140725282981169 140725282981169 140725282983887 0
[pid=26789/tid=26794] ppid=26787 vsize=14089320 memory=1240 CPUtime=0 cores=1,3,5,7
/proc/26789/task/26794/stat : 26794 (java) S 26787 26787 24451 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 228221807 14427463680 24410 33554432000 4194304 4196468 140725282974064 139663050729872 139663458240213 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35012608 140725282980998 140725282981169 140725282981169 140725282983887 0
[pid=26789/tid=26795] ppid=26787 vsize=14089320 memory=2416 CPUtime=0 cores=1,3,5,7
/proc/26789/task/26795/stat : 26795 (java) S 26787 26787 24451 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 228221808 14427463680 24410 33554432000 4194304 4196468 140725282974064 139662932392688 139663458241154 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35012608 140725282980998 140725282981169 140725282981169 140725282983887 0
[pid=26789/tid=26796] ppid=26787 vsize=14089320 memory=1796 CPUtime=0 cores=1,3,5,7
/proc/26789/task/26796/stat : 26796 (java) S 26787 26787 24451 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 228221808 14427463680 24410 33554432000 4194304 4196468 140725282974064 139662931338912 139663458240213 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35012608 140725282980998 140725282981169 140725282981169 140725282983887 0
[pid=26789/tid=26797] ppid=26787 vsize=14089320 memory=1704 CPUtime=0 cores=1,3,5,7
/proc/26789/task/26797/stat : 26797 (java) S 26787 26787 24451 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 228221809 14427463680 24410 33554432000 4194304 4196468 140725282974064 139662930285808 139663458240213 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35012608 140725282980998 140725282981169 140725282981169 140725282983887 0
[pid=26789/tid=26798] ppid=26787 vsize=14089320 memory=796 CPUtime=0 cores=1,3,5,7
/proc/26789/task/26798/stat : 26798 (java) S 26787 26787 24451 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 228221811 14427463680 24410 33554432000 4194304 4196468 140725282974064 139662929234384 139663458248603 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35012608 140725282980998 140725282981169 140725282981169 140725282983887 0
[pid=26789/tid=26799] ppid=26787 vsize=14089320 memory=5408 CPUtime=0.34 cores=1,3,5,7
/proc/26789/task/26799/stat : 26799 (java) R 26787 26787 24451 0 -1 4202560 1651 0 0 0 34 0 0 0 20 0 15 0 228221811 14427463680 24410 33554432000 4194304 4196468 140725282974064 139662928167512 139663439751407 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 35012608 140725282980998 140725282981169 140725282981169 140725282983887 0
[pid=26789/tid=26800] ppid=26787 vsize=14089320 memory=876 CPUtime=0.36 cores=1,3,5,7
/proc/26789/task/26800/stat : 26800 (java) R 26787 26787 24451 0 -1 4202560 1250 0 0 0 36 0 0 0 20 0 15 0 228221811 14427463680 24410 33554432000 4194304 4196468 140725282974064 139662927109960 139663441726787 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35012608 140725282980998 140725282981169 140725282981169 140725282983887 0
[pid=26789/tid=26801] ppid=26787 vsize=14089320 memory=10096 CPUtime=0.37 cores=1,3,5,7
/proc/26789/task/26801/stat : 26801 (java) R 26787 26787 24451 0 -1 4202560 2404 0 0 0 37 0 0 0 20 0 15 0 228221811 14427463680 24410 33554432000 4194304 4196468 140725282974064 139662926075888 139663436764768 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35012608 140725282980998 140725282981169 140725282981169 140725282983887 0
[pid=26789/tid=26802] ppid=26787 vsize=14089320 memory=1228 CPUtime=0 cores=1,3,5,7
/proc/26789/task/26802/stat : 26802 (java) S 26787 26787 24451 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 228221811 14427463680 24410 33554432000 4194304 4196468 140725282974064 139662925023584 139663458240213 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35012608 140725282980998 140725282981169 140725282981169 140725282983887 0
[pid=26789/tid=26803] ppid=26787 vsize=14089320 memory=1952 CPUtime=0 cores=1,3,5,7
/proc/26789/task/26803/stat : 26803 (java) S 26787 26787 24451 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 228221811 14427463680 24410 33554432000 4194304 4196468 140725282974064 139662923971632 139663458241154 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35012608 140725282980998 140725282981169 140725282981169 140725282983887 0
Current children cumulated CPU time: 1.78 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 99092 KiB
[startup+1.50088 s]
/proc/loadavg: 2.27 1.76 1.62 5/218 26803
/proc/meminfo: memFree=12161560/32770624 swapFree=67108860/67108860
[pid=26787] ppid=26784 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/26787/stat : 26787 (xcsp3-exec) S 26784 26787 24451 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 228221805 115843072 363 33554432000 4194304 5098028 140733544303424 140733544301528 140500623155836 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 24088576 140733544309818 140733544310020 140733544310020 140733544312778 0
/proc/26787/statm: 28282 363 306 221 0 87 0
################
# More data... #
################
/proc/26789/task/26797/stat : 26797 (java) S 26787 26787 24451 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 228221809 14427463680 52061 33554432000 4194304 4196468 140725282974064 139662930285808 139663458240213 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35012608 140725282980998 140725282981169 140725282981169 140725282983887 0
[pid=26789/tid=26798] ppid=26787 vsize=14089320 memory=208244 CPUtime=0 cores=1,3,5,7
/proc/26789/task/26798/stat : 26798 (java) S 26787 26787 24451 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 228221811 14427463680 52061 33554432000 4194304 4196468 140725282974064 139662929234384 139663458248603 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35012608 140725282980998 140725282981169 140725282981169 140725282983887 0
[pid=26789/tid=26799] ppid=26787 vsize=14089320 memory=1452 CPUtime=1.87 cores=1,3,5,7
/proc/26789/task/26799/stat : 26799 (java) S 26787 26787 24451 0 -1 1077944384 10230 0 0 0 186 1 0 0 20 0 15 0 228221811 14427463680 52061 33554432000 4194304 4196468 140725282974064 139662928181488 139663458241154 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35012608 140725282980998 140725282981169 140725282981169 140725282983887 0
[pid=26789/tid=26800] ppid=26787 vsize=14089320 memory=208244 CPUtime=1.69 cores=1,3,5,7
/proc/26789/task/26800/stat : 26800 (java) S 26787 26787 24451 0 -1 1077944384 9759 0 0 0 168 1 0 0 20 0 15 0 228221811 14427463680 52061 33554432000 4194304 4196468 140725282974064 139662927128944 139663458241154 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35012608 140725282980998 140725282981169 140725282981169 140725282983887 0
[pid=26789/tid=26801] ppid=26787 vsize=14089320 memory=1452 CPUtime=0.72 cores=1,3,5,7
/proc/26789/task/26801/stat : 26801 (java) S 26787 26787 24451 0 -1 1077944384 11392 0 0 0 70 2 0 0 20 0 15 0 228221811 14427463680 52061 33554432000 4194304 4196468 140725282974064 139662926075888 139663458241154 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35012608 140725282980998 140725282981169 140725282981169 140725282983887 0
[pid=26789/tid=26802] ppid=26787 vsize=14089320 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/26789/task/26802/stat : 26802 (java) S 26787 26787 24451 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 228221811 14427463680 52061 33554432000 4194304 4196468 140725282974064 139662925023584 139663458240213 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35012608 140725282980998 140725282981169 140725282981169 140725282983887 0
[pid=26789/tid=26803] ppid=26787 vsize=14089320 memory=4128 CPUtime=0.61 cores=1,3,5,7
/proc/26789/task/26803/stat : 26803 (java) S 26787 26787 24451 0 -1 1077944384 655 0 0 0 29 32 0 0 20 0 15 0 228221811 14427463680 52061 33554432000 4194304 4196468 140725282974064 139662923971632 139663458241154 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 11 0 0 6293624 6294260 35012608 140725282980998 140725282981169 140725282981169 140725282983887 0
Current children cumulated CPU time: 2392.68 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 209696 KiB
[startup+2442.3 s]
/proc/loadavg: 1.71 1.66 1.64 3/218 26979
/proc/meminfo: memFree=2826296/32770624 swapFree=67108860/67108860
[pid=26787] ppid=26784 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/26787/stat : 26787 (xcsp3-exec) S 26784 26787 24451 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 228221805 115843072 363 33554432000 4194304 5098028 140733544303424 140733544301528 140500623155836 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 24088576 140733544309818 140733544310020 140733544310020 140733544312778 0
/proc/26787/statm: 28282 363 306 221 0 87 0
[pid=26789] ppid=26787 vsize=14089320 memory=208300 CPUtime=2452.91 cores=1,3,5,7
/proc/26789/stat : 26789 (java) S 26787 26787 24451 0 -1 1077944320 79699 0 0 0 245180 111 0 0 20 0 15 0 228221806 14427463680 52075 33554432000 4194304 4196468 140725282974064 140725282956608 139663458230007 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 35012608 140725282980998 140725282981169 140725282981169 140725282983887 0
/proc/26789/statm: 3522330 52075 3419 1 0 3483524 0
[pid=26789/tid=26790] ppid=26787 vsize=14089320 memory=208300 CPUtime=2436.19 cores=1,3,5,7
/proc/26789/task/26790/stat : 26790 (java) R 26787 26787 24451 0 -1 4202560 24688 0 0 0 243608 11 0 0 20 0 15 0 228221806 14427463680 52075 33554432000 4194304 4196468 140725282974064 139663462469456 139663099462257 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35012608 140725282980998 140725282981169 140725282981169 140725282983887 0
[pid=26789/tid=26791] ppid=26787 vsize=14089320 memory=208300 CPUtime=2.31 cores=1,3,5,7
/proc/26789/task/26791/stat : 26791 (java) S 26787 26787 24451 0 -1 1077944384 3886 0 0 0 210 21 0 0 20 0 15 0 228221807 14427463680 52075 33554432000 4194304 4196468 140725282974064 139663414782480 139663458240213 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35012608 140725282980998 140725282981169 140725282981169 140725282983887 0
[pid=26789/tid=26792] ppid=26787 vsize=14089320 memory=0 CPUtime=2.32 cores=1,3,5,7
/proc/26789/task/26792/stat : 26792 (java) S 26787 26787 24451 0 -1 1077944384 3530 0 0 0 213 19 0 0 20 0 15 0 228221807 14427463680 52075 33554432000 4194304 4196468 140725282974064 139663413729936 139663458240213 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35012608 140725282980998 140725282981169 140725282981169 140725282983887 0
[pid=26789/tid=26793] ppid=26787 vsize=14089320 memory=208300 CPUtime=2.31 cores=1,3,5,7
/proc/26789/task/26793/stat : 26793 (java) S 26787 26787 24451 0 -1 1077944384 4267 0 0 0 213 18 0 0 20 0 15 0 228221807 14427463680 52075 33554432000 4194304 4196468 140725282974064 139663412676880 139663458240213 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35012608 140725282980998 140725282981169 140725282981169 140725282983887 0
[pid=26789/tid=26794] ppid=26787 vsize=14089320 memory=208300 CPUtime=2.31 cores=1,3,5,7
/proc/26789/task/26794/stat : 26794 (java) S 26787 26787 24451 0 -1 1077944384 3984 0 0 0 213 18 0 0 20 0 15 0 228221807 14427463680 52075 33554432000 4194304 4196468 140725282974064 139663050729872 139663458240213 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35012608 140725282980998 140725282981169 140725282981169 140725282983887 0
[pid=26789/tid=26795] ppid=26787 vsize=14089320 memory=208300 CPUtime=2.47 cores=1,3,5,7
/proc/26789/task/26795/stat : 26795 (java) S 26787 26787 24451 0 -1 1077944384 5630 0 0 0 231 16 0 0 20 0 15 0 228221808 14427463680 52075 33554432000 4194304 4196468 140725282974064 139662932392688 139663458241154 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35012608 140725282980998 140725282981169 140725282981169 140725282983887 0
[pid=26789/tid=26796] ppid=26787 vsize=14089320 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/26789/task/26796/stat : 26796 (java) S 26787 26787 24451 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 228221808 14427463680 52075 33554432000 4194304 4196468 140725282974064 139662931338912 139663458240213 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35012608 140725282980998 140725282981169 140725282981169 140725282983887 0
[pid=26789/tid=26797] ppid=26787 vsize=14089320 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26789/task/26797/stat : 26797 (java) S 26787 26787 24451 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 228221809 14427463680 52075 33554432000 4194304 4196468 140725282974064 139662930285808 139663458240213 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35012608 140725282980998 140725282981169 140725282981169 140725282983887 0
[pid=26789/tid=26798] ppid=26787 vsize=14089320 memory=208300 CPUtime=0 cores=1,3,5,7
/proc/26789/task/26798/stat : 26798 (java) S 26787 26787 24451 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 228221811 14427463680 52075 33554432000 4194304 4196468 140725282974064 139662929234384 139663458248603 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35012608 140725282980998 140725282981169 140725282981169 140725282983887 0
[pid=26789/tid=26799] ppid=26787 vsize=14089320 memory=208300 CPUtime=1.87 cores=1,3,5,7
/proc/26789/task/26799/stat : 26799 (java) S 26787 26787 24451 0 -1 1077944384 10544 0 0 0 186 1 0 0 20 0 15 0 228221811 14427463680 52075 33554432000 4194304 4196468 140725282974064 139662928181488 139663458241154 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35012608 140725282980998 140725282981169 140725282981169 140725282983887 0
[pid=26789/tid=26800] ppid=26787 vsize=14089320 memory=208300 CPUtime=1.69 cores=1,3,5,7
/proc/26789/task/26800/stat : 26800 (java) S 26787 26787 24451 0 -1 1077944384 9761 0 0 0 168 1 0 0 20 0 15 0 228221811 14427463680 52075 33554432000 4194304 4196468 140725282974064 139662927128944 139663458241154 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35012608 140725282980998 140725282981169 140725282981169 140725282983887 0
[pid=26789/tid=26801] ppid=26787 vsize=14089320 memory=1452 CPUtime=0.72 cores=1,3,5,7
/proc/26789/task/26801/stat : 26801 (java) S 26787 26787 24451 0 -1 1077944384 11394 0 0 0 70 2 0 0 20 0 15 0 228221811 14427463680 52075 33554432000 4194304 4196468 140725282974064 139662926075888 139663458241154 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35012608 140725282980998 140725282981169 140725282981169 140725282983887 0
[pid=26789/tid=26802] ppid=26787 vsize=14089320 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/26789/task/26802/stat : 26802 (java) S 26787 26787 24451 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 228221811 14427463680 52075 33554432000 4194304 4196468 140725282974064 139662925023584 139663458240213 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35012608 140725282980998 140725282981169 140725282981169 140725282983887 0
[pid=26789/tid=26803] ppid=26787 vsize=14089320 memory=208300 CPUtime=0.63 cores=1,3,5,7
/proc/26789/task/26803/stat : 26803 (java) S 26787 26787 24451 0 -1 1077944384 672 0 0 0 30 33 0 0 20 0 15 0 228221811 14427463680 52075 33554432000 4194304 4196468 140725282974064 139662923971632 139663458241154 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 11 0 0 6293624 6294260 35012608 140725282980998 140725282981169 140725282981169 140725282983887 0
Current children cumulated CPU time: 2452.91 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 209752 KiB
[startup+2502.3 s]
/proc/loadavg: 1.75 1.68 1.64 3/218 26980
/proc/meminfo: memFree=2824384/32770624 swapFree=67108860/67108860
[pid=26787] ppid=26784 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/26787/stat : 26787 (xcsp3-exec) S 26784 26787 24451 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 228221805 115843072 363 33554432000 4194304 5098028 140733544303424 140733544301528 140500623155836 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 24088576 140733544309818 140733544310020 140733544310020 140733544312778 0
/proc/26787/statm: 28282 363 306 221 0 87 0
[pid=26789] ppid=26787 vsize=14089320 memory=210348 CPUtime=2513.13 cores=1,3,5,7
/proc/26789/stat : 26789 (java) S 26787 26787 24451 0 -1 1077944320 79881 0 0 0 251199 114 0 0 20 0 15 0 228221806 14427463680 52587 33554432000 4194304 4196468 140725282974064 140725282956608 139663458230007 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 35012608 140725282980998 140725282981169 140725282981169 140725282983887 0
/proc/26789/statm: 3522330 52587 3419 1 0 3483524 0
[pid=26789/tid=26790] ppid=26787 vsize=14089320 memory=210348 CPUtime=2496.03 cores=1,3,5,7
/proc/26789/task/26790/stat : 26790 (java) R 26787 26787 24451 0 -1 4202560 24824 0 0 0 249592 11 0 0 20 0 15 0 228221806 14427463680 52587 33554432000 4194304 4196468 140725282974064 139663462469456 139663098825596 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35012608 140725282980998 140725282981169 140725282981169 140725282983887 0
[pid=26789/tid=26791] ppid=26787 vsize=14089320 memory=210348 CPUtime=2.38 cores=1,3,5,7
/proc/26789/task/26791/stat : 26791 (java) S 26787 26787 24451 0 -1 1077944384 3891 0 0 0 217 21 0 0 20 0 15 0 228221807 14427463680 52587 33554432000 4194304 4196468 140725282974064 139663414782480 139663458240213 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35012608 140725282980998 140725282981169 140725282981169 140725282983887 0
[pid=26789/tid=26792] ppid=26787 vsize=14089320 memory=210348 CPUtime=2.4 cores=1,3,5,7
/proc/26789/task/26792/stat : 26792 (java) S 26787 26787 24451 0 -1 1077944384 3549 0 0 0 220 20 0 0 20 0 15 0 228221807 14427463680 52587 33554432000 4194304 4196468 140725282974064 139663413729936 139663458240213 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35012608 140725282980998 140725282981169 140725282981169 140725282983887 0
[pid=26789/tid=26793] ppid=26787 vsize=14089320 memory=210348 CPUtime=2.39 cores=1,3,5,7
/proc/26789/task/26793/stat : 26793 (java) S 26787 26787 24451 0 -1 1077944384 4280 0 0 0 221 18 0 0 20 0 15 0 228221807 14427463680 52587 33554432000 4194304 4196468 140725282974064 139663412676880 139663458240213 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35012608 140725282980998 140725282981169 140725282981169 140725282983887 0
[pid=26789/tid=26794] ppid=26787 vsize=14089320 memory=210348 CPUtime=2.38 cores=1,3,5,7
/proc/26789/task/26794/stat : 26794 (java) S 26787 26787 24451 0 -1 1077944384 3985 0 0 0 219 19 0 0 20 0 15 0 228221807 14427463680 52587 33554432000 4194304 4196468 140725282974064 139663050729872 139663458240213 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35012608 140725282980998 140725282981169 140725282981169 140725282983887 0
[pid=26789/tid=26795] ppid=26787 vsize=14089320 memory=1452 CPUtime=2.54 cores=1,3,5,7
/proc/26789/task/26795/stat : 26795 (java) S 26787 26787 24451 0 -1 1077944384 5634 0 0 0 237 17 0 0 20 0 15 0 228221808 14427463680 52587 33554432000 4194304 4196468 140725282974064 139662932392688 139663458241154 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35012608 140725282980998 140725282981169 140725282981169 140725282983887 0
[pid=26789/tid=26796] ppid=26787 vsize=14089320 memory=210348 CPUtime=0 cores=1,3,5,7
/proc/26789/task/26796/stat : 26796 (java) S 26787 26787 24451 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 228221808 14427463680 52587 33554432000 4194304 4196468 140725282974064 139662931338912 139663458240213 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35012608 140725282980998 140725282981169 140725282981169 140725282983887 0
[pid=26789/tid=26797] ppid=26787 vsize=14089320 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/26789/task/26797/stat : 26797 (java) S 26787 26787 24451 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 228221809 14427463680 52587 33554432000 4194304 4196468 140725282974064 139662930285808 139663458240213 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35012608 140725282980998 140725282981169 140725282981169 140725282983887 0
[pid=26789/tid=26798] ppid=26787 vsize=14089320 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/26789/task/26798/stat : 26798 (java) S 26787 26787 24451 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 228221811 14427463680 52587 33554432000 4194304 4196468 140725282974064 139662929234384 139663458248603 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35012608 140725282980998 140725282981169 140725282981169 140725282983887 0
[pid=26789/tid=26799] ppid=26787 vsize=14089320 memory=210348 CPUtime=1.87 cores=1,3,5,7
/proc/26789/task/26799/stat : 26799 (java) S 26787 26787 24451 0 -1 1077944384 10544 0 0 0 186 1 0 0 20 0 15 0 228221811 14427463680 52587 33554432000 4194304 4196468 140725282974064 139662928181488 139663458241154 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35012608 140725282980998 140725282981169 140725282981169 140725282983887 0
[pid=26789/tid=26800] ppid=26787 vsize=14089320 memory=1452 CPUtime=1.69 cores=1,3,5,7
/proc/26789/task/26800/stat : 26800 (java) S 26787 26787 24451 0 -1 1077944384 9761 0 0 0 168 1 0 0 20 0 15 0 228221811 14427463680 52587 33554432000 4194304 4196468 140725282974064 139662927128944 139663458241154 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35012608 140725282980998 140725282981169 140725282981169 140725282983887 0
[pid=26789/tid=26801] ppid=26787 vsize=14089320 memory=210348 CPUtime=0.72 cores=1,3,5,7
/proc/26789/task/26801/stat : 26801 (java) S 26787 26787 24451 0 -1 1077944384 11394 0 0 0 70 2 0 0 20 0 15 0 228221811 14427463680 52587 33554432000 4194304 4196468 140725282974064 139662926075888 139663458241154 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35012608 140725282980998 140725282981169 140725282981169 140725282983887 0
[pid=26789/tid=26802] ppid=26787 vsize=14089320 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/26789/task/26802/stat : 26802 (java) S 26787 26787 24451 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 228221811 14427463680 52587 33554432000 4194304 4196468 140725282974064 139662925023584 139663458240213 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35012608 140725282980998 140725282981169 140725282981169 140725282983887 0
[pid=26789/tid=26803] ppid=26787 vsize=14089320 memory=210348 CPUtime=0.63 cores=1,3,5,7
/proc/26789/task/26803/stat : 26803 (java) S 26787 26787 24451 0 -1 1077944384 676 0 0 0 30 33 0 0 20 0 15 0 228221811 14427463680 52587 33554432000 4194304 4196468 140725282974064 139662923971632 139663458241154 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 11 0 0 6293624 6294260 35012608 140725282980998 140725282981169 140725282981169 140725282983887 0
Current children cumulated CPU time: 2513.13 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 211800 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2509.2 s]
/proc/loadavg: 1.79 1.69 1.65 3/218 26980
/proc/meminfo: memFree=2824508/32770624 swapFree=67108860/67108860
[pid=26787] ppid=26784 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/26787/stat : 26787 (xcsp3-exec) S 26784 26787 24451 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 228221805 115843072 363 33554432000 4194304 5098028 140733544303424 140733544301528 140500623155836 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 24088576 140733544309818 140733544310020 140733544310020 140733544312778 0
/proc/26787/statm: 28282 363 306 221 0 87 0
[pid=26789] ppid=26787 vsize=14089320 memory=210348 CPUtime=2520.05 cores=1,3,5,7
/proc/26789/stat : 26789 (java) S 26787 26787 24451 0 -1 1077944320 79892 0 0 0 251891 114 0 0 20 0 15 0 228221806 14427463680 52587 33554432000 4194304 4196468 140725282974064 140725282956608 139663458230007 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 35012608 140725282980998 140725282981169 140725282981169 140725282983887 0
/proc/26789/statm: 3522330 52587 3419 1 0 3483524 0
[pid=26789/tid=26790] ppid=26787 vsize=14089320 memory=1408 CPUtime=2502.91 cores=1,3,5,7
/proc/26789/task/26790/stat : 26790 (java) R 26787 26787 24451 0 -1 4202560 24835 0 0 0 250280 11 0 0 20 0 15 0 228221806 14427463680 52587 33554432000 4194304 4196468 140725282974064 139663462469440 139663100226611 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35012608 140725282980998 140725282981169 140725282981169 140725282983887 0
[pid=26789/tid=26791] ppid=26787 vsize=14089320 memory=3336 CPUtime=2.39 cores=1,3,5,7
/proc/26789/task/26791/stat : 26791 (java) S 26787 26787 24451 0 -1 1077944384 3891 0 0 0 218 21 0 0 20 0 15 0 228221807 14427463680 52587 33554432000 4194304 4196468 140725282974064 139663414782480 139663458240213 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35012608 140725282980998 140725282981169 140725282981169 140725282983887 0
[pid=26789/tid=26792] ppid=26787 vsize=14089320 memory=6791534058613427641 CPUtime=2.41 cores=1,3,5,7
/proc/26789/task/26792/stat : 26792 (java) S 26787 26787 24451 0 -1 1077944384 3549 0 0 0 221 20 0 0 20 0 15 0 228221807 14427463680 52587 33554432000 4194304 4196468 140725282974064 139663413729936 139663458240213 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35012608 140725282980998 140725282981169 140725282981169 140725282983887 0
[pid=26789/tid=26793] ppid=26787 vsize=14089320 memory=210348 CPUtime=2.39 cores=1,3,5,7
/proc/26789/task/26793/stat : 26793 (java) S 26787 26787 24451 0 -1 1077944384 4280 0 0 0 221 18 0 0 20 0 15 0 228221807 14427463680 52587 33554432000 4194304 4196468 140725282974064 139663412676880 139663458240213 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35012608 140725282980998 140725282981169 140725282981169 140725282983887 0
[pid=26789/tid=26794] ppid=26787 vsize=14089320 memory=16228 CPUtime=2.39 cores=1,3,5,7
/proc/26789/task/26794/stat : 26794 (java) S 26787 26787 24451 0 -1 1077944384 3985 0 0 0 220 19 0 0 20 0 15 0 228221807 14427463680 52587 33554432000 4194304 4196468 140725282974064 139663050729872 139663458240213 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35012608 140725282980998 140725282981169 140725282981169 140725282983887 0
[pid=26789/tid=26795] ppid=26787 vsize=14089320 memory=34484 CPUtime=2.55 cores=1,3,5,7
/proc/26789/task/26795/stat : 26795 (java) S 26787 26787 24451 0 -1 1077944384 5634 0 0 0 238 17 0 0 20 0 15 0 228221808 14427463680 52587 33554432000 4194304 4196468 140725282974064 139662932392688 139663458241154 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35012608 140725282980998 140725282981169 140725282981169 140725282983887 0
[pid=26789/tid=26796] ppid=26787 vsize=14089320 memory=4048 CPUtime=0 cores=1,3,5,7
/proc/26789/task/26796/stat : 26796 (java) S 26787 26787 24451 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 228221808 14427463680 52587 33554432000 4194304 4196468 140725282974064 139662931338912 139663458240213 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35012608 140725282980998 140725282981169 140725282981169 140725282983887 0
[pid=26789/tid=26797] ppid=26787 vsize=14089320 memory=1796 CPUtime=0 cores=1,3,5,7
/proc/26789/task/26797/stat : 26797 (java) S 26787 26787 24451 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 228221809 14427463680 52587 33554432000 4194304 4196468 140725282974064 139662930285808 139663458240213 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35012608 140725282980998 140725282981169 140725282981169 140725282983887 0
[pid=26789/tid=26798] ppid=26787 vsize=14089320 memory=139906143976209 CPUtime=0 cores=1,3,5,7
/proc/26789/task/26798/stat : 26798 (java) S 26787 26787 24451 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 228221811 14427463680 52587 33554432000 4194304 4196468 140725282974064 139662929234384 139663458248603 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35012608 140725282980998 140725282981169 140725282981169 140725282983887 0
[pid=26789/tid=26799] ppid=26787 vsize=14089320 memory=279812288977664 CPUtime=1.87 cores=1,3,5,7
/proc/26789/task/26799/stat : 26799 (java) S 26787 26787 24451 0 -1 1077944384 10544 0 0 0 186 1 0 0 20 0 15 0 228221811 14427463680 52587 33554432000 4194304 4196468 140725282974064 139662928181488 139663458241154 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35012608 140725282980998 140725282981169 140725282981169 140725282983887 0
[pid=26789/tid=26800] ppid=26787 vsize=14089320 memory=288859003 CPUtime=1.69 cores=1,3,5,7
/proc/26789/task/26800/stat : 26800 (java) S 26787 26787 24451 0 -1 1077944384 9761 0 0 0 168 1 0 0 20 0 15 0 228221811 14427463680 52587 33554432000 4194304 4196468 140725282974064 139662927128944 139663458241154 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35012608 140725282980998 140725282981169 140725282981169 140725282983887 0
[pid=26789/tid=26801] ppid=26787 vsize=14089320 memory=288965508 CPUtime=0.72 cores=1,3,5,7
/proc/26789/task/26801/stat : 26801 (java) S 26787 26787 24451 0 -1 1077944384 11394 0 0 0 70 2 0 0 20 0 15 0 228221811 14427463680 52587 33554432000 4194304 4196468 140725282974064 139662926075888 139663458241154 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35012608 140725282980998 140725282981169 140725282981169 140725282983887 0
[pid=26789/tid=26802] ppid=26787 vsize=14089320 memory=1240 CPUtime=0 cores=1,3,5,7
/proc/26789/task/26802/stat : 26802 (java) S 26787 26787 24451 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 228221811 14427463680 52587 33554432000 4194304 4196468 140725282974064 139662925023584 139663458240213 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35012608 140725282980998 140725282981169 140725282981169 140725282983887 0
[pid=26789/tid=26803] ppid=26787 vsize=14089320 memory=2416 CPUtime=0.64 cores=1,3,5,7
/proc/26789/task/26803/stat : 26803 (java) S 26787 26787 24451 0 -1 1077944384 676 0 0 0 30 34 0 0 20 0 15 0 228221811 14427463680 52587 33554432000 4194304 4196468 140725282974064 139662923971632 139663458241154 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 11 0 0 6293624 6294260 35012608 140725282980998 140725282981169 140725282981169 140725282983887 0
Current children cumulated CPU time: 2520.05 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 211800 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2509.21 s]
# the end of solver process 26787 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.001129 s, system=0.001129 s
[startup+2509.21 s]
# the end of solver process 26789 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2518.92 s, system=1.14743 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): 2509.21
CPU time (s): 2520.07
CPU user time (s): 2518.92
CPU system time (s): 1.14743
CPU usage (%): 100.433
Max. virtual memory (cumulated for all children) (KiB): 14202448
Max. memory (cumulated for all children) (KiB): 211800
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2518.92
system time used= 1.14743
maximum resident set size= 211040
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 80632
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2968
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 125106
involuntary context switches= 3030
# summary of solver processes directly reported to runsolver:
# pid: 26787,26789
# total CPU time (s): 2520.07
# total CPU user time (s): 2518.92
# total CPU system time (s): 1.14743
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.6171 second user time and 21.6596 second system time
The end