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 (3508 MiB free)
memory of node 1: 16384 MiB (14853 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4399038-1568699652/watcher-4399038-1568699652 -o /tmp/evaluation-result-4399038-1568699652/solver-4399038-1568699652 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node151-1568698598-24720 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 1670942872 HOME/instance-4399038-1568699652.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
solver pid=26778, runsolver pid=26775
Current StackSize limit: 8192 KiB
[startup+0.100082 s]*
/proc/loadavg: 7.18 6.62 5.20 7/231 26794
/proc/meminfo: memFree=18785872/32770624 swapFree=66938240/67108860
[pid=26778] ppid=26775 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/26778/stat : 26778 (xcsp3-exec) S 26775 26778 24688 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446236589 115843072 362 33554432000 4194304 5098028 140731109957712 140731109955816 140368789205628 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 15683584 140731109966714 140731109966957 140731109966957 140731109969866 0
/proc/26778/statm: 28282 362 304 221 0 87 0
[pid=26780] ppid=26778 vsize=15144776 memory=29536 CPUtime=0.13 cores=1,3,5,7
/proc/26780/stat : 26780 (java) S 26778 26778 24688 0 -1 1077944320 5834 0 0 0 12 1 0 0 20 0 15 0 446236589 15508250624 7384 33554432000 4194304 4196468 140731619462160 140731619444704 139994804297463 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 29474816 140731619464175 140731619464346 140731619464346 140731619467215 0
/proc/26780/statm: 3786194 7384 3183 1 0 3748377 0
[pid=26780/tid=26781] ppid=26778 vsize=15144776 memory=-6962121287837372198 CPUtime=0.08 cores=1,3,5,7
/proc/26780/task/26781/stat : 26781 (java) R 26778 26778 24688 0 -1 4202560 3706 0 0 0 8 0 0 0 20 0 15 0 446236589 15508250624 7384 33554432000 4194304 4196468 140731619462160 139994808527056 139994408795155 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29474816 140731619464175 140731619464346 140731619464346 140731619467215 0
[pid=26780/tid=26782] ppid=26778 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26780/task/26782/stat : 26782 (java) S 26778 26778 24688 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446236590 15508250624 7384 33554432000 4194304 4196468 140731619462160 139994732337808 139994804307669 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29474816 140731619464175 140731619464346 140731619464346 140731619467215 0
[pid=26780/tid=26783] ppid=26778 vsize=15144776 memory=139642679527040 CPUtime=0 cores=1,3,5,7
/proc/26780/task/26783/stat : 26783 (java) S 26778 26778 24688 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446236590 15508250624 7384 33554432000 4194304 4196468 140731619462160 139994731285008 139994804307669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29474816 140731619464175 140731619464346 140731619464346 140731619467215 0
[pid=26780/tid=26784] ppid=26778 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26780/task/26784/stat : 26784 (java) S 26778 26778 24688 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446236590 15508250624 7384 33554432000 4194304 4196468 140731619462160 139994730232208 139994804307669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29474816 140731619464175 140731619464346 140731619464346 140731619467215 0
[pid=26780/tid=26785] ppid=26778 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26780/task/26785/stat : 26785 (java) S 26778 26778 24688 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446236590 15508250624 7384 33554432000 4194304 4196468 140731619462160 139994729179408 139994804307669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29474816 140731619464175 140731619464346 140731619464346 140731619467215 0
[pid=26780/tid=26786] ppid=26778 vsize=15144776 memory=139642679527040 CPUtime=0 cores=1,3,5,7
/proc/26780/task/26786/stat : 26786 (java) S 26778 26778 24688 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446236591 15508250624 7384 33554432000 4194304 4196468 140731619462160 139993678322544 139994804308610 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29474816 140731619464175 140731619464346 140731619464346 140731619467215 0
[pid=26780/tid=26787] ppid=26778 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26780/task/26787/stat : 26787 (java) S 26778 26778 24688 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 446236592 15508250624 7384 33554432000 4194304 4196468 140731619462160 139993677268512 139994804307669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29474816 140731619464175 140731619464346 140731619464346 140731619467215 0
[pid=26780/tid=26788] ppid=26778 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26780/task/26788/stat : 26788 (java) S 26778 26778 24688 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 446236592 15508250624 7384 33554432000 4194304 4196468 140731619462160 139993676215664 139994804307669 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29474816 140731619464175 140731619464346 140731619464346 140731619467215 0
[pid=26780/tid=26789] ppid=26778 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26780/task/26789/stat : 26789 (java) S 26778 26778 24688 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446236594 15508250624 7384 33554432000 4194304 4196468 140731619462160 139993675163984 139994804316059 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29474816 140731619464175 140731619464346 140731619464346 140731619467215 0
[pid=26780/tid=26790] ppid=26778 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26780/task/26790/stat : 26790 (java) S 26778 26778 24688 0 -1 1077944384 298 0 0 0 0 0 0 0 20 0 15 0 446236594 15508250624 7384 33554432000 4194304 4196468 140731619462160 139993674111344 139994804308610 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29474816 140731619464175 140731619464346 140731619464346 140731619467215 0
[pid=26780/tid=26791] ppid=26778 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26780/task/26791/stat : 26791 (java) S 26778 26778 24688 0 -1 1077944384 160 0 0 0 0 0 0 0 20 0 15 0 446236594 15508250624 7384 33554432000 4194304 4196468 140731619462160 139993673058544 139994804308610 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29474816 140731619464175 140731619464346 140731619464346 140731619467215 0
[pid=26780/tid=26792] ppid=26778 vsize=15144776 memory=139642679527040 CPUtime=0.02 cores=1,3,5,7
/proc/26780/task/26792/stat : 26792 (java) R 26778 26778 24688 0 -1 4202560 367 0 0 0 2 0 0 0 20 0 15 0 446236594 15508250624 7384 33554432000 4194304 4196468 140731619462160 139993672005744 139994782957112 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29474816 140731619464175 140731619464346 140731619464346 140731619467215 0
[pid=26780/tid=26793] ppid=26778 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26780/task/26793/stat : 26793 (java) S 26778 26778 24688 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446236594 15508250624 7384 33554432000 4194304 4196468 140731619462160 139993670953184 139994804307669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29474816 140731619464175 140731619464346 140731619464346 140731619467215 0
[pid=26780/tid=26794] ppid=26778 vsize=15144776 memory=139642679527040 CPUtime=0 cores=1,3,5,7
/proc/26780/task/26794/stat : 26794 (java) S 26778 26778 24688 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446236595 15508250624 7384 33554432000 4194304 4196468 140731619462160 139993669901488 139994804308610 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29474816 140731619464175 140731619464346 140731619464346 140731619467215 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 30984 KiB
[startup+0.211107 s]*
/proc/loadavg: 7.18 6.62 5.20 7/231 26794
/proc/meminfo: memFree=18773004/32770624 swapFree=66938240/67108860
[pid=26778] ppid=26775 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/26778/stat : 26778 (xcsp3-exec) S 26775 26778 24688 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446236589 115843072 362 33554432000 4194304 5098028 140731109957712 140731109955816 140368789205628 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 15683584 140731109966714 140731109966957 140731109966957 140731109969866 0
/proc/26778/statm: 28282 362 304 221 0 87 0
[pid=26780] ppid=26778 vsize=15144776 memory=40728 CPUtime=0.34 cores=1,3,5,7
/proc/26780/stat : 26780 (java) S 26778 26778 24688 0 -1 1077944320 9443 0 0 0 31 3 0 0 20 0 15 0 446236589 15508250624 10182 33554432000 4194304 4196468 140731619462160 140731619444704 139994804297463 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 29474816 140731619464175 140731619464346 140731619464346 140731619467215 0
/proc/26780/statm: 3786194 10182 3277 1 0 3748377 0
[pid=26780/tid=26781] ppid=26778 vsize=15144776 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/26780/task/26781/stat : 26781 (java) R 26778 26778 24688 0 -1 4202560 6633 0 0 0 18 2 0 0 20 0 15 0 446236589 15508250624 10182 33554432000 4194304 4196468 140731619462160 139994808535120 139994804309398 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29474816 140731619464175 140731619464346 140731619464346 140731619467215 0
[pid=26780/tid=26782] ppid=26778 vsize=15144776 memory=2964504 CPUtime=0 cores=1,3,5,7
/proc/26780/task/26782/stat : 26782 (java) S 26778 26778 24688 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446236590 15508250624 10182 33554432000 4194304 4196468 140731619462160 139994732337808 139994804307669 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29474816 140731619464175 140731619464346 140731619464346 140731619467215 0
[pid=26780/tid=26783] ppid=26778 vsize=15144776 memory=139642679551503 CPUtime=0 cores=1,3,5,7
/proc/26780/task/26783/stat : 26783 (java) S 26778 26778 24688 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446236590 15508250624 10182 33554432000 4194304 4196468 140731619462160 139994731285008 139994804307669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29474816 140731619464175 140731619464346 140731619464346 140731619467215 0
[pid=26780/tid=26784] ppid=26778 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26780/task/26784/stat : 26784 (java) S 26778 26778 24688 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446236590 15508250624 10182 33554432000 4194304 4196468 140731619462160 139994730232208 139994804307669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29474816 140731619464175 140731619464346 140731619464346 140731619467215 0
[pid=26780/tid=26785] ppid=26778 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26780/task/26785/stat : 26785 (java) S 26778 26778 24688 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446236590 15508250624 10182 33554432000 4194304 4196468 140731619462160 139994729179408 139994804307669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29474816 140731619464175 140731619464346 140731619464346 140731619467215 0
[pid=26780/tid=26786] ppid=26778 vsize=15144776 memory=139642679527040 CPUtime=0 cores=1,3,5,7
/proc/26780/task/26786/stat : 26786 (java) S 26778 26778 24688 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 446236591 15508250624 10182 33554432000 4194304 4196468 140731619462160 139993678322544 139994804308610 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29474816 140731619464175 140731619464346 140731619464346 140731619467215 0
[pid=26780/tid=26787] ppid=26778 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26780/task/26787/stat : 26787 (java) S 26778 26778 24688 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 446236592 15508250624 10182 33554432000 4194304 4196468 140731619462160 139993677268512 139994804307669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29474816 140731619464175 140731619464346 140731619464346 140731619467215 0
[pid=26780/tid=26788] ppid=26778 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26780/task/26788/stat : 26788 (java) S 26778 26778 24688 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 446236592 15508250624 10182 33554432000 4194304 4196468 140731619462160 139993676215664 139994804307669 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29474816 140731619464175 140731619464346 140731619464346 140731619467215 0
[pid=26780/tid=26789] ppid=26778 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26780/task/26789/stat : 26789 (java) S 26778 26778 24688 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446236594 15508250624 10182 33554432000 4194304 4196468 140731619462160 139993675163984 139994804316059 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29474816 140731619464175 140731619464346 140731619464346 140731619467215 0
[pid=26780/tid=26790] ppid=26778 vsize=15144776 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/26780/task/26790/stat : 26790 (java) S 26778 26778 24688 0 -1 1077944384 476 0 0 0 2 0 0 0 20 0 15 0 446236594 15508250624 10182 33554432000 4194304 4196468 140731619462160 139993674111344 139994804308610 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29474816 140731619464175 140731619464346 140731619464346 140731619467215 0
[pid=26780/tid=26791] ppid=26778 vsize=15144776 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/26780/task/26791/stat : 26791 (java) S 26778 26778 24688 0 -1 1077944384 251 0 0 0 2 0 0 0 20 0 15 0 446236594 15508250624 10182 33554432000 4194304 4196468 140731619462160 139993673058544 139994804308610 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29474816 140731619464175 140731619464346 140731619464346 140731619467215 0
[pid=26780/tid=26792] ppid=26778 vsize=15144776 memory=139642679527040 CPUtime=0.08 cores=1,3,5,7
/proc/26780/task/26792/stat : 26792 (java) S 26778 26778 24688 0 -1 1077944384 777 0 0 0 8 0 0 0 20 0 15 0 446236594 15508250624 10182 33554432000 4194304 4196468 140731619462160 139993672005744 139994804308610 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29474816 140731619464175 140731619464346 140731619464346 140731619467215 0
[pid=26780/tid=26793] ppid=26778 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26780/task/26793/stat : 26793 (java) S 26778 26778 24688 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446236594 15508250624 10182 33554432000 4194304 4196468 140731619462160 139993670953184 139994804307669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29474816 140731619464175 140731619464346 140731619464346 140731619467215 0
[pid=26780/tid=26794] ppid=26778 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26780/task/26794/stat : 26794 (java) S 26778 26778 24688 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446236595 15508250624 10182 33554432000 4194304 4196468 140731619462160 139993669901488 139994804308610 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29474816 140731619464175 140731619464346 140731619464346 140731619467215 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42176 KiB
[startup+0.316359 s]*
/proc/loadavg: 7.18 6.62 5.20 7/231 26794
/proc/meminfo: memFree=18765348/32770624 swapFree=66938240/67108860
[pid=26778] ppid=26775 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/26778/stat : 26778 (xcsp3-exec) S 26775 26778 24688 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446236589 115843072 362 33554432000 4194304 5098028 140731109957712 140731109955816 140368789205628 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 15683584 140731109966714 140731109966957 140731109966957 140731109969866 0
/proc/26778/statm: 28282 362 304 221 0 87 0
[pid=26780] ppid=26778 vsize=15149032 memory=50740 CPUtime=0.54 cores=1,3,5,7
/proc/26780/stat : 26780 (java) S 26778 26778 24688 0 -1 1077944320 10938 0 0 0 50 4 0 0 20 0 15 0 446236589 15512608768 12685 33554432000 4194304 4196468 140731619462160 140731619444704 139994804297463 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 29474816 140731619464175 140731619464346 140731619464346 140731619467215 0
/proc/26780/statm: 3787258 12685 3373 1 0 3748377 0
[pid=26780/tid=26781] ppid=26778 vsize=15149032 memory=6791534058613427641 CPUtime=0.3 cores=1,3,5,7
/proc/26780/task/26781/stat : 26781 (java) R 26778 26778 24688 0 -1 4202560 7887 0 0 0 27 3 0 0 20 0 15 0 446236589 15512608768 12685 33554432000 4194304 4196468 140731619462160 139994808528576 139994788377950 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29474816 140731619464175 140731619464346 140731619464346 140731619467215 0
[pid=26780/tid=26782] ppid=26778 vsize=15149032 memory=6655300316396806240 CPUtime=0 cores=1,3,5,7
/proc/26780/task/26782/stat : 26782 (java) S 26778 26778 24688 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446236590 15512608768 12685 33554432000 4194304 4196468 140731619462160 139994732337808 139994804307669 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29474816 140731619464175 140731619464346 140731619464346 140731619467215 0
[pid=26780/tid=26783] ppid=26778 vsize=15149032 memory=6944652177228980320 CPUtime=0 cores=1,3,5,7
/proc/26780/task/26783/stat : 26783 (java) S 26778 26778 24688 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446236590 15512608768 12685 33554432000 4194304 4196468 140731619462160 139994731285008 139994804307669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29474816 140731619464175 140731619464346 140731619464346 140731619467215 0
[pid=26780/tid=26784] ppid=26778 vsize=15149032 memory=-3258418265892434876 CPUtime=0 cores=1,3,5,7
/proc/26780/task/26784/stat : 26784 (java) S 26778 26778 24688 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446236590 15512608768 12693 33554432000 4194304 4196468 140731619462160 139994730232208 139994804307669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29474816 140731619464175 140731619464346 140731619464346 140731619467215 0
[pid=26780/tid=26785] ppid=26778 vsize=15149032 memory=4572146057552828020 CPUtime=0 cores=1,3,5,7
/proc/26780/task/26785/stat : 26785 (java) S 26778 26778 24688 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446236590 15512608768 12693 33554432000 4194304 4196468 140731619462160 139994729179408 139994804307669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29474816 140731619464175 140731619464346 140731619464346 140731619467215 0
[pid=26780/tid=26786] ppid=26778 vsize=15149032 memory=6944613755495348631 CPUtime=0 cores=1,3,5,7
/proc/26780/task/26786/stat : 26786 (java) S 26778 26778 24688 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 446236591 15512608768 12693 33554432000 4194304 4196468 140731619462160 139993678322544 139994804308610 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29474816 140731619464175 140731619464346 140731619464346 140731619467215 0
[pid=26780/tid=26787] ppid=26778 vsize=15149032 memory=7893295687695687954 CPUtime=0 cores=1,3,5,7
/proc/26780/task/26787/stat : 26787 (java) S 26778 26778 24688 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 446236592 15512608768 12693 33554432000 4194304 4196468 140731619462160 139993677268512 139994804307669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29474816 140731619464175 140731619464346 140731619464346 140731619467215 0
[pid=26780/tid=26788] ppid=26778 vsize=15149032 memory=-8813974798734826869 CPUtime=0 cores=1,3,5,7
/proc/26780/task/26788/stat : 26788 (java) S 26778 26778 24688 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 446236592 15512608768 12693 33554432000 4194304 4196468 140731619462160 139993676215664 139994804307669 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29474816 140731619464175 140731619464346 140731619464346 140731619467215 0
[pid=26780/tid=26789] ppid=26778 vsize=15149032 memory=-6664436420846796947 CPUtime=0 cores=1,3,5,7
/proc/26780/task/26789/stat : 26789 (java) S 26778 26778 24688 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446236594 15512608768 12693 33554432000 4194304 4196468 140731619462160 139993675163984 139994804316059 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29474816 140731619464175 140731619464346 140731619464346 140731619467215 0
[pid=26780/tid=26790] ppid=26778 vsize=15149032 memory=4426078206164241782 CPUtime=0.05 cores=1,3,5,7
/proc/26780/task/26790/stat : 26790 (java) S 26778 26778 24688 0 -1 1077944384 602 0 0 0 5 0 0 0 20 0 15 0 446236594 15512608768 12693 33554432000 4194304 4196468 140731619462160 139993674111344 139994804308610 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29474816 140731619464175 140731619464346 140731619464346 140731619467215 0
[pid=26780/tid=26791] ppid=26778 vsize=15149032 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/26780/task/26791/stat : 26791 (java) S 26778 26778 24688 0 -1 1077944384 265 0 0 0 3 0 0 0 20 0 15 0 446236594 15512608768 12693 33554432000 4194304 4196468 140731619462160 139993673058544 139994804308610 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29474816 140731619464175 140731619464346 140731619464346 140731619467215 0
[pid=26780/tid=26792] ppid=26778 vsize=15149032 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/26780/task/26792/stat : 26792 (java) S 26778 26778 24688 0 -1 1077944384 880 0 0 0 12 0 0 0 20 0 15 0 446236594 15512608768 12693 33554432000 4194304 4196468 140731619462160 139993672005744 139994804308610 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29474816 140731619464175 140731619464346 140731619464346 140731619467215 0
[pid=26780/tid=26793] ppid=26778 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26780/task/26793/stat : 26793 (java) S 26778 26778 24688 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446236594 15512608768 12693 33554432000 4194304 4196468 140731619462160 139993670953184 139994804307669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29474816 140731619464175 140731619464346 140731619464346 140731619467215 0
[pid=26780/tid=26794] ppid=26778 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26780/task/26794/stat : 26794 (java) S 26778 26778 24688 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446236595 15512608768 12693 33554432000 4194304 4196468 140731619462160 139993669901488 139994804308610 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29474816 140731619464175 140731619464346 140731619464346 140731619467215 0
Current children cumulated CPU time: 0.54 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 52188 KiB
[startup+0.700782 s]
/proc/loadavg: 7.18 6.62 5.20 7/231 26794
/proc/meminfo: memFree=18749584/32770624 swapFree=66938240/67108860
[pid=26778] ppid=26775 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/26778/stat : 26778 (xcsp3-exec) S 26775 26778 24688 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446236589 115843072 362 33554432000 4194304 5098028 140731109957712 140731109955816 140368789205628 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 15683584 140731109966714 140731109966957 140731109966957 140731109969866 0
/proc/26778/statm: 28282 362 304 221 0 87 0
[pid=26780] ppid=26778 vsize=15417412 memory=92532 CPUtime=1.72 cores=1,3,5,7
/proc/26780/stat : 26780 (java) S 26778 26778 24688 0 -1 1077944320 14906 0 0 0 166 6 0 0 20 0 19 0 446236589 15787429888 23133 33554432000 4194304 4196468 140731619462160 140731619444704 139994804297463 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 29474816 140731619464175 140731619464346 140731619464346 140731619467215 0
/proc/26780/statm: 3854353 23133 3467 1 0 3815453 0
[pid=26780/tid=26781] ppid=26778 vsize=15417412 memory=33 CPUtime=0.56 cores=1,3,5,7
/proc/26780/task/26781/stat : 26781 (java) S 26778 26778 24688 0 -1 1077944384 9067 0 0 0 52 4 0 0 20 0 19 0 446236589 15787429888 23133 33554432000 4194304 4196468 140731619462160 139994808538240 139994804307669 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29474816 140731619464175 140731619464346 140731619464346 140731619467215 0
[pid=26780/tid=26782] ppid=26778 vsize=15417412 memory=288230377044124670 CPUtime=0 cores=1,3,5,7
/proc/26780/task/26782/stat : 26782 (java) S 26778 26778 24688 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 446236590 15787429888 23133 33554432000 4194304 4196468 140731619462160 139994732337808 139994804307669 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29474816 140731619464175 140731619464346 140731619464346 140731619467215 0
[pid=26780/tid=26783] ppid=26778 vsize=15417412 memory=288291077884034143 CPUtime=0 cores=1,3,5,7
/proc/26780/task/26783/stat : 26783 (java) S 26778 26778 24688 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 446236590 15787429888 23133 33554432000 4194304 4196468 140731619462160 139994731285008 139994804307669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29474816 140731619464175 140731619464346 140731619464346 140731619467215 0
[pid=26780/tid=26784] ppid=26778 vsize=15417412 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26780/task/26784/stat : 26784 (java) S 26778 26778 24688 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 446236590 15787429888 23133 33554432000 4194304 4196468 140731619462160 139994730232208 139994804307669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29474816 140731619464175 140731619464346 140731619464346 140731619467215 0
[pid=26780/tid=26785] ppid=26778 vsize=15417412 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26780/task/26785/stat : 26785 (java) S 26778 26778 24688 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 446236590 15787429888 23133 33554432000 4194304 4196468 140731619462160 139994729179408 139994804307669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29474816 140731619464175 140731619464346 140731619464346 140731619467215 0
[pid=26780/tid=26786] ppid=26778 vsize=15417412 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26780/task/26786/stat : 26786 (java) R 26778 26778 24688 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 19 0 446236591 15787429888 23133 33554432000 4194304 4196468 140731619462160 139993678322464 139994804307669 0 0 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29474816 140731619464175 140731619464346 140731619464346 140731619467215 0
[pid=26780/tid=26787] ppid=26778 vsize=15417412 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26780/task/26787/stat : 26787 (java) S 26778 26778 24688 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 446236592 15787429888 23133 33554432000 4194304 4196468 140731619462160 139993677268512 139994804307669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29474816 140731619464175 140731619464346 140731619464346 140731619467215 0
[pid=26780/tid=26788] ppid=26778 vsize=15417412 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26780/task/26788/stat : 26788 (java) S 26778 26778 24688 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 446236592 15787429888 23133 33554432000 4194304 4196468 140731619462160 139993676215664 139994804307669 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29474816 140731619464175 140731619464346 140731619464346 140731619467215 0
[pid=26780/tid=26789] ppid=26778 vsize=15417412 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26780/task/26789/stat : 26789 (java) S 26778 26778 24688 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446236594 15787429888 23133 33554432000 4194304 4196468 140731619462160 139993675163984 139994804316059 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29474816 140731619464175 140731619464346 140731619464346 140731619467215 0
[pid=26780/tid=26790] ppid=26778 vsize=15417412 memory=0 CPUtime=0.29 cores=1,3,5,7
/proc/26780/task/26790/stat : 26790 (java) R 26778 26778 24688 0 -1 4202560 1290 0 0 0 29 0 0 0 20 0 19 0 446236594 15787429888 23133 33554432000 4194304 4196468 140731619462160 139993674092912 139994787828969 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29474816 140731619464175 140731619464346 140731619464346 140731619467215 0
[pid=26780/tid=26791] ppid=26778 vsize=15417412 memory=4639074098508484691 CPUtime=0.23 cores=1,3,5,7
/proc/26780/task/26791/stat : 26791 (java) R 26778 26778 24688 0 -1 4202560 1085 0 0 0 23 0 0 0 20 0 19 0 446236594 15787429888 23133 33554432000 4194304 4196468 140731619462160 139993673044424 139994785817536 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29474816 140731619464175 140731619464346 140731619464346 140731619467215 0
[pid=26780/tid=26792] ppid=26778 vsize=15417412 memory=7954311693476523633 CPUtime=0.36 cores=1,3,5,7
/proc/26780/task/26792/stat : 26792 (java) S 26778 26778 24688 0 -1 1077944384 2013 0 0 0 36 0 0 0 20 0 19 0 446236594 15787429888 23133 33554432000 4194304 4196468 140731619462160 139993672001456 139994804307669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29474816 140731619464175 140731619464346 140731619464346 140731619467215 0
[pid=26780/tid=26793] ppid=26778 vsize=15417412 memory=7523639645888866391 CPUtime=0 cores=1,3,5,7
/proc/26780/task/26793/stat : 26793 (java) S 26778 26778 24688 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446236594 15787429888 23133 33554432000 4194304 4196468 140731619462160 139993670953184 139994804307669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29474816 140731619464175 140731619464346 140731619464346 140731619467215 0
[pid=26780/tid=26794] ppid=26778 vsize=15417412 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26780/task/26794/stat : 26794 (java) S 26778 26778 24688 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 446236595 15787429888 23133 33554432000 4194304 4196468 140731619462160 139993669901488 139994804308610 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29474816 140731619464175 140731619464346 140731619464346 140731619467215 0
Current children cumulated CPU time: 1.72 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 93980 KiB
[startup+1.50136 s]
/proc/loadavg: 7.18 6.62 5.20 11/235 26798
/proc/meminfo: memFree=18713236/32770624 swapFree=66938240/67108860
[pid=26778] ppid=26775 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/26778/stat : 26778 (xcsp3-exec) S 26775 26778 24688 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446236589 115843072 362 33554432000 4194304 5098028 140731109957712 140731109955816 140368789205628 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 15683584 140731109966714 140731109966957 140731109966957 140731109969866 0
/proc/26778/statm: 28282 362 304 221 0 87 0
################
# More data... #
################
/proc/26780/task/26794/stat : 26794 (java) S 26778 26778 24688 0 -1 1077944384 1229 0 0 0 0 12 0 0 20 0 19 0 446236595 15787429888 38708 33554432000 4194304 4196468 140731619462160 139993669901488 139994804308610 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29474816 140731619464175 140731619464346 140731619464346 140731619467215 0
[pid=26780/tid=26795] ppid=26778 vsize=15417412 memory=3848 CPUtime=285.76 cores=1,3,5,7
/proc/26780/task/26795/stat : 26795 (java) R 26778 26778 24688 0 -1 4202560 731 0 0 0 28575 1 0 0 20 0 19 0 446236647 15787429888 38708 33554432000 4194304 4196468 140731619462160 139993660681448 139994413563178 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 29474816 140731619464175 140731619464346 140731619464346 140731619467215 0
[pid=26780/tid=26796] ppid=26778 vsize=15417412 memory=2716 CPUtime=285.38 cores=1,3,5,7
/proc/26780/task/26796/stat : 26796 (java) R 26778 26778 24688 0 -1 4202560 1875 0 0 0 28536 2 0 0 20 0 19 0 446236647 15787429888 38708 33554432000 4194304 4196468 140731619462160 139993659629768 139994413949776 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29474816 140731619464175 140731619464346 140731619464346 140731619467215 0
[pid=26780/tid=26797] ppid=26778 vsize=15417412 memory=2620 CPUtime=285.7 cores=1,3,5,7
/proc/26780/task/26797/stat : 26797 (java) R 26778 26778 24688 0 -1 4202560 642 0 0 0 28570 0 0 0 20 0 19 0 446236647 15787429888 38708 33554432000 4194304 4196468 140731619462160 139993658576832 139994413563178 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29474816 140731619464175 140731619464346 140731619464346 140731619467215 0
[pid=26780/tid=26798] ppid=26778 vsize=15417412 memory=4100 CPUtime=285.03 cores=1,3,5,7
/proc/26780/task/26798/stat : 26798 (java) R 26778 26778 24688 0 -1 4202560 2402 0 0 0 28502 1 0 0 20 0 19 0 446236647 15787429888 38708 33554432000 4194304 4196468 140731619462160 139993657526768 139994413563270 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29474816 140731619464175 140731619464346 140731619464346 140731619467215 0
Current children cumulated CPU time: 1147.98 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 156280 KiB
[startup+289.601 s]
/proc/loadavg: 7.14 7.06 5.78 9/233 26823
/proc/meminfo: memFree=18655700/32770624 swapFree=66938240/67108860
[pid=26778] ppid=26775 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/26778/stat : 26778 (xcsp3-exec) S 26775 26778 24688 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446236589 115843072 362 33554432000 4194304 5098028 140731109957712 140731109955816 140368789205628 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 15683584 140731109966714 140731109966957 140731109966957 140731109969866 0
/proc/26778/statm: 28282 362 304 221 0 87 0
[pid=26780] ppid=26778 vsize=15417412 memory=156880 CPUtime=1151.16 cores=1,3,5,7
/proc/26780/stat : 26780 (java) S 26778 26778 24688 0 -1 1077944320 58233 0 0 0 115092 24 0 0 20 0 19 0 446236589 15787429888 39220 33554432000 4194304 4196468 140731619462160 140731619444704 139994804297463 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 29474816 140731619464175 140731619464346 140731619464346 140731619467215 0
/proc/26780/statm: 3854353 39220 3536 1 0 3815453 0
[pid=26780/tid=26781] ppid=26778 vsize=15417412 memory=1448 CPUtime=0.56 cores=1,3,5,7
/proc/26780/task/26781/stat : 26781 (java) S 26778 26778 24688 0 -1 1077944384 9067 0 0 0 52 4 0 0 20 0 19 0 446236589 15787429888 39220 33554432000 4194304 4196468 140731619462160 139994808538240 139994804307669 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29474816 140731619464175 140731619464346 140731619464346 140731619467215 0
[pid=26780/tid=26782] ppid=26778 vsize=15417412 memory=6791534058613427641 CPUtime=0.13 cores=1,3,5,7
/proc/26780/task/26782/stat : 26782 (java) S 26778 26778 24688 0 -1 1077944384 1831 0 0 0 11 2 0 0 20 0 19 0 446236590 15787429888 39220 33554432000 4194304 4196468 140731619462160 139994732337808 139994804307669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29474816 140731619464175 140731619464346 140731619464346 140731619467215 0
[pid=26780/tid=26783] ppid=26778 vsize=15417412 memory=154832 CPUtime=0.13 cores=1,3,5,7
/proc/26780/task/26783/stat : 26783 (java) S 26778 26778 24688 0 -1 1077944384 985 0 0 0 11 2 0 0 20 0 19 0 446236590 15787429888 39220 33554432000 4194304 4196468 140731619462160 139994731285008 139994804307669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29474816 140731619464175 140731619464346 140731619464346 140731619467215 0
[pid=26780/tid=26784] ppid=26778 vsize=15417412 memory=1564 CPUtime=0.13 cores=1,3,5,7
/proc/26780/task/26784/stat : 26784 (java) S 26778 26778 24688 0 -1 1077944384 2465 0 0 0 11 2 0 0 20 0 19 0 446236590 15787429888 39220 33554432000 4194304 4196468 140731619462160 139994730232208 139994804307669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29474816 140731619464175 140731619464346 140731619464346 140731619467215 0
[pid=26780/tid=26785] ppid=26778 vsize=15417412 memory=924 CPUtime=0.13 cores=1,3,5,7
/proc/26780/task/26785/stat : 26785 (java) S 26778 26778 24688 0 -1 1077944384 1671 0 0 0 11 2 0 0 20 0 19 0 446236590 15787429888 39220 33554432000 4194304 4196468 140731619462160 139994729179408 139994804307669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29474816 140731619464175 140731619464346 140731619464346 140731619467215 0
[pid=26780/tid=26786] ppid=26778 vsize=15417412 memory=6791534058613427641 CPUtime=0.08 cores=1,3,5,7
/proc/26780/task/26786/stat : 26786 (java) S 26778 26778 24688 0 -1 1077944384 1981 0 0 0 7 1 0 0 20 0 19 0 446236591 15787429888 39220 33554432000 4194304 4196468 140731619462160 139993678322544 139994804308610 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29474816 140731619464175 140731619464346 140731619464346 140731619467215 0
[pid=26780/tid=26787] ppid=26778 vsize=15417412 memory=12032 CPUtime=0 cores=1,3,5,7
/proc/26780/task/26787/stat : 26787 (java) S 26778 26778 24688 0 -1 1077944384 90 0 0 0 0 0 0 0 20 0 19 0 446236592 15787429888 39220 33554432000 4194304 4196468 140731619462160 139993677268576 139994804307669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29474816 140731619464175 140731619464346 140731619464346 140731619467215 0
[pid=26780/tid=26788] ppid=26778 vsize=15417412 memory=504 CPUtime=0 cores=1,3,5,7
/proc/26780/task/26788/stat : 26788 (java) S 26778 26778 24688 0 -1 1077944384 122 0 0 0 0 0 0 0 20 0 19 0 446236592 15787429888 39220 33554432000 4194304 4196468 140731619462160 139993676215680 139994804307669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29474816 140731619464175 140731619464346 140731619464346 140731619467215 0
[pid=26780/tid=26789] ppid=26778 vsize=15417412 memory=1564 CPUtime=0 cores=1,3,5,7
/proc/26780/task/26789/stat : 26789 (java) S 26778 26778 24688 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446236594 15787429888 39220 33554432000 4194304 4196468 140731619462160 139993675163984 139994804316059 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29474816 140731619464175 140731619464346 140731619464346 140731619467215 0
[pid=26780/tid=26790] ppid=26778 vsize=15417412 memory=924 CPUtime=2.16 cores=1,3,5,7
/proc/26780/task/26790/stat : 26790 (java) S 26778 26778 24688 0 -1 1077944384 13002 0 0 0 215 1 0 0 20 0 19 0 446236594 15787429888 39220 33554432000 4194304 4196468 140731619462160 139993674111344 139994804308610 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29474816 140731619464175 140731619464346 140731619464346 140731619467215 0
[pid=26780/tid=26791] ppid=26778 vsize=15417412 memory=1420 CPUtime=1.95 cores=1,3,5,7
/proc/26780/task/26791/stat : 26791 (java) S 26778 26778 24688 0 -1 1077944384 11243 0 0 0 194 1 0 0 20 0 19 0 446236594 15787429888 39220 33554432000 4194304 4196468 140731619462160 139993673058544 139994804308610 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29474816 140731619464175 140731619464346 140731619464346 140731619467215 0
[pid=26780/tid=26792] ppid=26778 vsize=15417412 memory=1984 CPUtime=0.63 cores=1,3,5,7
/proc/26780/task/26792/stat : 26792 (java) S 26778 26778 24688 0 -1 1077944384 7655 0 0 0 62 1 0 0 20 0 19 0 446236594 15787429888 39220 33554432000 4194304 4196468 140731619462160 139993672005744 139994804308610 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29474816 140731619464175 140731619464346 140731619464346 140731619467215 0
[pid=26780/tid=26793] ppid=26778 vsize=15417412 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/26780/task/26793/stat : 26793 (java) S 26778 26778 24688 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446236594 15787429888 39220 33554432000 4194304 4196468 140731619462160 139993670953184 139994804307669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29474816 140731619464175 140731619464346 140731619464346 140731619467215 0
[pid=26780/tid=26794] ppid=26778 vsize=15417412 memory=1448 CPUtime=0.12 cores=1,3,5,7
/proc/26780/task/26794/stat : 26794 (java) S 26778 26778 24688 0 -1 1077944384 1229 0 0 0 0 12 0 0 20 0 19 0 446236595 15787429888 39220 33554432000 4194304 4196468 140731619462160 139993669901488 139994804308610 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29474816 140731619464175 140731619464346 140731619464346 140731619467215 0
[pid=26780/tid=26795] ppid=26778 vsize=15417412 memory=1332 CPUtime=286.54 cores=1,3,5,7
/proc/26780/task/26795/stat : 26795 (java) R 26778 26778 24688 0 -1 4202560 731 0 0 0 28653 1 0 0 20 0 19 0 446236647 15787429888 39220 33554432000 4194304 4196468 140731619462160 139993660681448 139994413807489 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 29474816 140731619464175 140731619464346 140731619464346 140731619467215 0
[pid=26780/tid=26796] ppid=26778 vsize=15417412 memory=1564 CPUtime=286.18 cores=1,3,5,7
/proc/26780/task/26796/stat : 26796 (java) R 26778 26778 24688 0 -1 4202560 1876 0 0 0 28616 2 0 0 20 0 19 0 446236647 15787429888 39220 33554432000 4194304 4196468 140731619462160 139993659630376 139994415322381 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29474816 140731619464175 140731619464346 140731619464346 140731619467215 0
[pid=26780/tid=26797] ppid=26778 vsize=15417412 memory=976 CPUtime=286.49 cores=1,3,5,7
/proc/26780/task/26797/stat : 26797 (java) R 26778 26778 24688 0 -1 4202560 642 0 0 0 28649 0 0 0 20 0 19 0 446236647 15787429888 39220 33554432000 4194304 4196468 140731619462160 139993658576832 139994413807685 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29474816 140731619464175 140731619464346 140731619464346 140731619467215 0
[pid=26780/tid=26798] ppid=26778 vsize=15417412 memory=772 CPUtime=285.83 cores=1,3,5,7
/proc/26780/task/26798/stat : 26798 (java) R 26778 26778 24688 0 -1 4202560 2402 0 0 0 28582 1 0 0 20 0 19 0 446236647 15787429888 39220 33554432000 4194304 4196468 140731619462160 139993657526944 139994409020144 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29474816 140731619464175 140731619464346 140731619464346 140731619467215 0
Current children cumulated CPU time: 1151.16 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 158328 KiB
[startup+290.001 s]*
/proc/loadavg: 7.14 7.06 5.78 9/233 26823
/proc/meminfo: memFree=18655824/32770624 swapFree=66938240/67108860
[pid=26778] ppid=26775 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/26778/stat : 26778 (xcsp3-exec) S 26775 26778 24688 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446236589 115843072 362 33554432000 4194304 5098028 140731109957712 140731109955816 140368789205628 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 15683584 140731109966714 140731109966957 140731109966957 140731109969866 0
/proc/26778/statm: 28282 362 304 221 0 87 0
[pid=26780] ppid=26778 vsize=15417412 memory=156880 CPUtime=1152.78 cores=1,3,5,7
/proc/26780/stat : 26780 (java) S 26778 26778 24688 0 -1 1077944320 58235 0 0 0 115254 24 0 0 20 0 19 0 446236589 15787429888 39220 33554432000 4194304 4196468 140731619462160 140731619444704 139994804297463 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 29474816 140731619464175 140731619464346 140731619464346 140731619467215 0
/proc/26780/statm: 3854353 39220 3536 1 0 3815453 0
[pid=26780/tid=26781] ppid=26778 vsize=15417412 memory=6791534058613427641 CPUtime=0.56 cores=1,3,5,7
/proc/26780/task/26781/stat : 26781 (java) S 26778 26778 24688 0 -1 1077944384 9067 0 0 0 52 4 0 0 20 0 19 0 446236589 15787429888 39220 33554432000 4194304 4196468 140731619462160 139994808538240 139994804307669 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29474816 140731619464175 140731619464346 140731619464346 140731619467215 0
[pid=26780/tid=26782] ppid=26778 vsize=15417412 memory=1412 CPUtime=0.13 cores=1,3,5,7
/proc/26780/task/26782/stat : 26782 (java) S 26778 26778 24688 0 -1 1077944384 1831 0 0 0 11 2 0 0 20 0 19 0 446236590 15787429888 39220 33554432000 4194304 4196468 140731619462160 139994732337808 139994804307669 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29474816 140731619464175 140731619464346 140731619464346 140731619467215 0
[pid=26780/tid=26783] ppid=26778 vsize=15417412 memory=3244 CPUtime=0.13 cores=1,3,5,7
/proc/26780/task/26783/stat : 26783 (java) S 26778 26778 24688 0 -1 1077944384 985 0 0 0 11 2 0 0 20 0 19 0 446236590 15787429888 39220 33554432000 4194304 4196468 140731619462160 139994731285008 139994804307669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29474816 140731619464175 140731619464346 140731619464346 140731619467215 0
[pid=26780/tid=26784] ppid=26778 vsize=15417412 memory=1452 CPUtime=0.13 cores=1,3,5,7
/proc/26780/task/26784/stat : 26784 (java) S 26778 26778 24688 0 -1 1077944384 2466 0 0 0 11 2 0 0 20 0 19 0 446236590 15787429888 39220 33554432000 4194304 4196468 140731619462160 139994730232208 139994804307669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29474816 140731619464175 140731619464346 140731619464346 140731619467215 0
[pid=26780/tid=26785] ppid=26778 vsize=15417412 memory=12708676 CPUtime=0.13 cores=1,3,5,7
/proc/26780/task/26785/stat : 26785 (java) S 26778 26778 24688 0 -1 1077944384 1671 0 0 0 11 2 0 0 20 0 19 0 446236590 15787429888 39220 33554432000 4194304 4196468 140731619462160 139994729179408 139994804307669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29474816 140731619464175 140731619464346 140731619464346 140731619467215 0
[pid=26780/tid=26786] ppid=26778 vsize=15417412 memory=1412 CPUtime=0.08 cores=1,3,5,7
/proc/26780/task/26786/stat : 26786 (java) S 26778 26778 24688 0 -1 1077944384 1981 0 0 0 7 1 0 0 20 0 19 0 446236591 15787429888 39220 33554432000 4194304 4196468 140731619462160 139993678322544 139994804308610 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29474816 140731619464175 140731619464346 140731619464346 140731619467215 0
[pid=26780/tid=26787] ppid=26778 vsize=15417412 memory=3216 CPUtime=0 cores=1,3,5,7
/proc/26780/task/26787/stat : 26787 (java) S 26778 26778 24688 0 -1 1077944384 90 0 0 0 0 0 0 0 20 0 19 0 446236592 15787429888 39220 33554432000 4194304 4196468 140731619462160 139993677268576 139994804307669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29474816 140731619464175 140731619464346 140731619464346 140731619467215 0
[pid=26780/tid=26788] ppid=26778 vsize=15417412 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/26780/task/26788/stat : 26788 (java) S 26778 26778 24688 0 -1 1077944384 122 0 0 0 0 0 0 0 20 0 19 0 446236592 15787429888 39220 33554432000 4194304 4196468 140731619462160 139993676215680 139994804307669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29474816 140731619464175 140731619464346 140731619464346 140731619467215 0
[pid=26780/tid=26789] ppid=26778 vsize=15417412 memory=154804 CPUtime=0 cores=1,3,5,7
/proc/26780/task/26789/stat : 26789 (java) S 26778 26778 24688 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446236594 15787429888 39220 33554432000 4194304 4196468 140731619462160 139993675163984 139994804316059 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29474816 140731619464175 140731619464346 140731619464346 140731619467215 0
[pid=26780/tid=26790] ppid=26778 vsize=15417412 memory=1332 CPUtime=2.16 cores=1,3,5,7
/proc/26780/task/26790/stat : 26790 (java) S 26778 26778 24688 0 -1 1077944384 13002 0 0 0 215 1 0 0 20 0 19 0 446236594 15787429888 39220 33554432000 4194304 4196468 140731619462160 139993674111344 139994804308610 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29474816 140731619464175 140731619464346 140731619464346 140731619467215 0
[pid=26780/tid=26791] ppid=26778 vsize=15417412 memory=1564 CPUtime=1.95 cores=1,3,5,7
/proc/26780/task/26791/stat : 26791 (java) S 26778 26778 24688 0 -1 1077944384 11243 0 0 0 194 1 0 0 20 0 19 0 446236594 15787429888 39220 33554432000 4194304 4196468 140731619462160 139993673058544 139994804308610 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29474816 140731619464175 140731619464346 140731619464346 140731619467215 0
[pid=26780/tid=26792] ppid=26778 vsize=15417412 memory=0 CPUtime=0.63 cores=1,3,5,7
/proc/26780/task/26792/stat : 26792 (java) S 26778 26778 24688 0 -1 1077944384 7655 0 0 0 62 1 0 0 20 0 19 0 446236594 15787429888 39220 33554432000 4194304 4196468 140731619462160 139993672005744 139994804308610 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29474816 140731619464175 140731619464346 140731619464346 140731619467215 0
[pid=26780/tid=26793] ppid=26778 vsize=15417412 memory=976 CPUtime=0 cores=1,3,5,7
/proc/26780/task/26793/stat : 26793 (java) S 26778 26778 24688 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446236594 15787429888 39220 33554432000 4194304 4196468 140731619462160 139993670953184 139994804307669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29474816 140731619464175 140731619464346 140731619464346 140731619467215 0
[pid=26780/tid=26794] ppid=26778 vsize=15417412 memory=772 CPUtime=0.12 cores=1,3,5,7
/proc/26780/task/26794/stat : 26794 (java) S 26778 26778 24688 0 -1 1077944384 1229 0 0 0 0 12 0 0 20 0 19 0 446236595 15787429888 39220 33554432000 4194304 4196468 140731619462160 139993669901488 139994804308610 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29474816 140731619464175 140731619464346 140731619464346 140731619467215 0
[pid=26780/tid=26795] ppid=26778 vsize=15417412 memory=4000 CPUtime=286.94 cores=1,3,5,7
/proc/26780/task/26795/stat : 26795 (java) R 26778 26778 24688 0 -1 4202560 731 0 0 0 28693 1 0 0 20 0 19 0 446236647 15787429888 39220 33554432000 4194304 4196468 140731619462160 139993660681448 139994412798453 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 29474816 140731619464175 140731619464346 140731619464346 140731619467215 0
[pid=26780/tid=26796] ppid=26778 vsize=15417412 memory=2832 CPUtime=286.59 cores=1,3,5,7
/proc/26780/task/26796/stat : 26796 (java) R 26778 26778 24688 0 -1 4202560 1877 0 0 0 28657 2 0 0 20 0 19 0 446236647 15787429888 39220 33554432000 4194304 4196468 140731619462160 139993659632608 139994413644212 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29474816 140731619464175 140731619464346 140731619464346 140731619467215 0
[pid=26780/tid=26797] ppid=26778 vsize=15417412 memory=1548 CPUtime=286.9 cores=1,3,5,7
/proc/26780/task/26797/stat : 26797 (java) R 26778 26778 24688 0 -1 4202560 642 0 0 0 28690 0 0 0 20 0 19 0 446236647 15787429888 39220 33554432000 4194304 4196468 140731619462160 139993658576688 139994413807460 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29474816 140731619464175 140731619464346 140731619464346 140731619467215 0
[pid=26780/tid=26798] ppid=26778 vsize=15417412 memory=1056 CPUtime=286.23 cores=1,3,5,7
/proc/26780/task/26798/stat : 26798 (java) R 26778 26778 24688 0 -1 4202560 2402 0 0 0 28622 1 0 0 20 0 19 0 446236647 15787429888 39220 33554432000 4194304 4196468 140731619462160 139993657524120 139994413740308 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29474816 140731619464175 140731619464346 140731619464346 140731619467215 0
Current children cumulated CPU time: 1152.78 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 158328 KiB
[startup+290.111 s]
/proc/loadavg: 7.14 7.06 5.78 9/233 26823
/proc/meminfo: memFree=18655824/32770624 swapFree=66938240/67108860
[pid=26778] ppid=26775 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/26778/stat : 26778 (xcsp3-exec) S 26775 26778 24688 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446236589 115843072 362 33554432000 4194304 5098028 140731109957712 140731109955816 140368789205628 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 15683584 140731109966714 140731109966957 140731109966957 140731109969866 0
/proc/26778/statm: 28282 362 304 221 0 87 0
[pid=26780] ppid=26778 vsize=15417412 memory=156880 CPUtime=1153.17 cores=1,3,5,7
/proc/26780/stat : 26780 (java) S 26778 26778 24688 0 -1 1077944320 58235 0 0 0 115293 24 0 0 20 0 19 0 446236589 15787429888 39220 33554432000 4194304 4196468 140731619462160 140731619444704 139994804297463 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 29474816 140731619464175 140731619464346 140731619464346 140731619467215 0
/proc/26780/statm: 3854353 39220 3536 1 0 3815453 0
[pid=26780/tid=26781] ppid=26778 vsize=15417412 memory=1448 CPUtime=0.56 cores=1,3,5,7
/proc/26780/task/26781/stat : 26781 (java) S 26778 26778 24688 0 -1 1077944384 9067 0 0 0 52 4 0 0 20 0 19 0 446236589 15787429888 39220 33554432000 4194304 4196468 140731619462160 139994808538240 139994804307669 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29474816 140731619464175 140731619464346 140731619464346 140731619467215 0
[pid=26780/tid=26782] ppid=26778 vsize=15417412 memory=156880 CPUtime=0.13 cores=1,3,5,7
/proc/26780/task/26782/stat : 26782 (java) S 26778 26778 24688 0 -1 1077944384 1831 0 0 0 11 2 0 0 20 0 19 0 446236590 15787429888 39220 33554432000 4194304 4196468 140731619462160 139994732337808 139994804307669 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29474816 140731619464175 140731619464346 140731619464346 140731619467215 0
[pid=26780/tid=26783] ppid=26778 vsize=15417412 memory=1448 CPUtime=0.13 cores=1,3,5,7
/proc/26780/task/26783/stat : 26783 (java) S 26778 26778 24688 0 -1 1077944384 985 0 0 0 11 2 0 0 20 0 19 0 446236590 15787429888 39220 33554432000 4194304 4196468 140731619462160 139994731285008 139994804307669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29474816 140731619464175 140731619464346 140731619464346 140731619467215 0
[pid=26780/tid=26784] ppid=26778 vsize=15417412 memory=156880 CPUtime=0.13 cores=1,3,5,7
/proc/26780/task/26784/stat : 26784 (java) S 26778 26778 24688 0 -1 1077944384 2466 0 0 0 11 2 0 0 20 0 19 0 446236590 15787429888 39220 33554432000 4194304 4196468 140731619462160 139994730232208 139994804307669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29474816 140731619464175 140731619464346 140731619464346 140731619467215 0
[pid=26780/tid=26785] ppid=26778 vsize=15417412 memory=1448 CPUtime=0.13 cores=1,3,5,7
/proc/26780/task/26785/stat : 26785 (java) S 26778 26778 24688 0 -1 1077944384 1671 0 0 0 11 2 0 0 20 0 19 0 446236590 15787429888 39220 33554432000 4194304 4196468 140731619462160 139994729179408 139994804307669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29474816 140731619464175 140731619464346 140731619464346 140731619467215 0
[pid=26780/tid=26786] ppid=26778 vsize=15417412 memory=154832 CPUtime=0.08 cores=1,3,5,7
/proc/26780/task/26786/stat : 26786 (java) S 26778 26778 24688 0 -1 1077944384 1981 0 0 0 7 1 0 0 20 0 19 0 446236591 15787429888 39220 33554432000 4194304 4196468 140731619462160 139993678322544 139994804308610 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29474816 140731619464175 140731619464346 140731619464346 140731619467215 0
[pid=26780/tid=26787] ppid=26778 vsize=15417412 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/26780/task/26787/stat : 26787 (java) S 26778 26778 24688 0 -1 1077944384 90 0 0 0 0 0 0 0 20 0 19 0 446236592 15787429888 39220 33554432000 4194304 4196468 140731619462160 139993677268576 139994804307669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29474816 140731619464175 140731619464346 140731619464346 140731619467215 0
[pid=26780/tid=26788] ppid=26778 vsize=15417412 memory=154804 CPUtime=0 cores=1,3,5,7
/proc/26780/task/26788/stat : 26788 (java) S 26778 26778 24688 0 -1 1077944384 122 0 0 0 0 0 0 0 20 0 19 0 446236592 15787429888 39220 33554432000 4194304 4196468 140731619462160 139993676215680 139994804307669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29474816 140731619464175 140731619464346 140731619464346 140731619467215 0
[pid=26780/tid=26789] ppid=26778 vsize=15417412 memory=154808 CPUtime=0 cores=1,3,5,7
/proc/26780/task/26789/stat : 26789 (java) S 26778 26778 24688 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446236594 15787429888 39220 33554432000 4194304 4196468 140731619462160 139993675163984 139994804316059 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29474816 140731619464175 140731619464346 140731619464346 140731619467215 0
[pid=26780/tid=26790] ppid=26778 vsize=15417412 memory=156880 CPUtime=2.16 cores=1,3,5,7
/proc/26780/task/26790/stat : 26790 (java) S 26778 26778 24688 0 -1 1077944384 13002 0 0 0 215 1 0 0 20 0 19 0 446236594 15787429888 39220 33554432000 4194304 4196468 140731619462160 139993674111344 139994804308610 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29474816 140731619464175 140731619464346 140731619464346 140731619467215 0
[pid=26780/tid=26791] ppid=26778 vsize=15417412 memory=1448 CPUtime=1.95 cores=1,3,5,7
/proc/26780/task/26791/stat : 26791 (java) S 26778 26778 24688 0 -1 1077944384 11243 0 0 0 194 1 0 0 20 0 19 0 446236594 15787429888 39220 33554432000 4194304 4196468 140731619462160 139993673058544 139994804308610 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29474816 140731619464175 140731619464346 140731619464346 140731619467215 0
[pid=26780/tid=26792] ppid=26778 vsize=15417412 memory=235780 CPUtime=0.63 cores=1,3,5,7
/proc/26780/task/26792/stat : 26792 (java) S 26778 26778 24688 0 -1 1077944384 7655 0 0 0 62 1 0 0 20 0 19 0 446236594 15787429888 39220 33554432000 4194304 4196468 140731619462160 139993672005744 139994804308610 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29474816 140731619464175 140731619464346 140731619464346 140731619467215 0
[pid=26780/tid=26793] ppid=26778 vsize=15417412 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/26780/task/26793/stat : 26793 (java) S 26778 26778 24688 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446236594 15787429888 39220 33554432000 4194304 4196468 140731619462160 139993670953184 139994804307669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29474816 140731619464175 140731619464346 140731619464346 140731619467215 0
[pid=26780/tid=26794] ppid=26778 vsize=15417412 memory=154832 CPUtime=0.12 cores=1,3,5,7
/proc/26780/task/26794/stat : 26794 (java) R 26778 26778 24688 0 -1 1077944384 1229 0 0 0 0 12 0 0 20 0 19 0 446236595 15787429888 39220 33554432000 4194304 4196468 140731619462160 139993669901488 139994804308610 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29474816 140731619464175 140731619464346 140731619464346 140731619467215 0
[pid=26780/tid=26795] ppid=26778 vsize=15417412 memory=1448 CPUtime=287.03 cores=1,3,5,7
/proc/26780/task/26795/stat : 26795 (java) R 26778 26778 24688 0 -1 4202560 731 0 0 0 28702 1 0 0 20 0 19 0 446236647 15787429888 39220 33554432000 4194304 4196468 140731619462160 139993660681448 139994413563638 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 29474816 140731619464175 140731619464346 140731619464346 140731619467215 0
[pid=26780/tid=26796] ppid=26778 vsize=15417412 memory=155836 CPUtime=286.69 cores=1,3,5,7
/proc/26780/task/26796/stat : 26796 (java) R 26778 26778 24688 0 -1 4202560 1877 0 0 0 28667 2 0 0 20 0 19 0 446236647 15787429888 39220 33554432000 4194304 4196468 140731619462160 139993659632608 139994414185386 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29474816 140731619464175 140731619464346 140731619464346 140731619467215 0
[pid=26780/tid=26797] ppid=26778 vsize=15417412 memory=1448 CPUtime=287 cores=1,3,5,7
/proc/26780/task/26797/stat : 26797 (java) R 26778 26778 24688 0 -1 4202560 642 0 0 0 28700 0 0 0 20 0 19 0 446236647 15787429888 39220 33554432000 4194304 4196468 140731619462160 139993658576688 139994413953159 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29474816 140731619464175 140731619464346 140731619464346 140731619467215 0
[pid=26780/tid=26798] ppid=26778 vsize=15417412 memory=33364 CPUtime=286.33 cores=1,3,5,7
/proc/26780/task/26798/stat : 26798 (java) R 26778 26778 24688 0 -1 4202560 2402 0 0 0 28632 1 0 0 20 0 19 0 446236647 15787429888 39220 33554432000 4194304 4196468 140731619462160 139993657524120 139994415664006 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29474816 140731619464175 140731619464346 140731619464346 140731619467215 0
Current children cumulated CPU time: 1153.17 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 158328 KiB
Child status: 0
Real time (s): 290.149
CPU time (s): 1153.26
CPU user time (s): 1153.01
CPU system time (s): 0.251717
CPU usage (%): 397.472
Max. virtual memory (cumulated for all children) (KiB): 15530540
Max. memory (cumulated for all children) (KiB): 243384
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1153.01
system time used= 0.251717
maximum resident set size= 241936
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 60013
page faults= 0
swaps= 0
block input operations= 0
block output operations= 456
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 10850
involuntary context switches= 15126
# summary of solver processes directly reported to runsolver:
# pid: 26778
# total CPU time (s): 1153.26
# total CPU user time (s): 1153.01
# total CPU system time (s): 0.251717
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.97591 second user time and 3.44671 second system time
The end