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 (3584 MiB free)
memory of node 1: 16384 MiB (14772 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4398868-1568699943/watcher-4398868-1568699943 -o /tmp/evaluation-result-4398868-1568699943/solver-4398868-1568699943 -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 1718174808 HOME/instance-4398868-1568699943.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=26883, runsolver pid=26880
Current StackSize limit: 8192 KiB
[startup+0.100083 s]*
/proc/loadavg: 6.97 7.02 5.77 7/229 26899
/proc/meminfo: memFree=18778208/32770624 swapFree=66938240/67108860
[pid=26883] ppid=26880 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/26883/stat : 26883 (xcsp3-exec) S 26880 26883 24688 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 446265732 115843072 362 33554432000 4194304 5098028 140722890632576 140722890630680 140050053214844 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 12906496 140722890634106 140722890634349 140722890634349 140722890637258 0
/proc/26883/statm: 28282 362 304 221 0 87 0
[pid=26885] ppid=26883 vsize=15144776 memory=32032 CPUtime=0.13 cores=1,3,5,7
/proc/26885/stat : 26885 (java) S 26883 26883 24688 0 -1 1077944320 5898 0 0 0 12 1 0 0 20 0 15 0 446265732 15508250624 8008 33554432000 4194304 4196468 140725321963184 140725321945728 140010295656183 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 9076736 140725321966575 140725321966746 140725321966746 140725321969615 0
/proc/26885/statm: 3786194 8008 3164 1 0 3748377 0
[pid=26885/tid=26886] ppid=26883 vsize=15144776 memory=-6962121287837372198 CPUtime=0.08 cores=1,3,5,7
/proc/26885/task/26886/stat : 26886 (java) R 26883 26883 24688 0 -1 4202560 3818 0 0 0 8 0 0 0 20 0 15 0 446265733 15508250624 8008 33554432000 4194304 4196468 140725321963184 140010299882016 140010295668118 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9076736 140725321966575 140725321966746 140725321966746 140725321969615 0
[pid=26885/tid=26887] ppid=26883 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26885/task/26887/stat : 26887 (java) S 26883 26883 24688 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446265733 15508250624 8008 33554432000 4194304 4196468 140725321963184 140010231892496 140010295666389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9076736 140725321966575 140725321966746 140725321966746 140725321969615 0
[pid=26885/tid=26888] ppid=26883 vsize=15144776 memory=140612871214720 CPUtime=0 cores=1,3,5,7
/proc/26885/task/26888/stat : 26888 (java) S 26883 26883 24688 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446265733 15508250624 8008 33554432000 4194304 4196468 140725321963184 140010230839952 140010295666389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9076736 140725321966575 140725321966746 140725321966746 140725321969615 0
[pid=26885/tid=26889] ppid=26883 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26885/task/26889/stat : 26889 (java) S 26883 26883 24688 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446265733 15508250624 8008 33554432000 4194304 4196468 140725321963184 140009886243088 140010295666389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9076736 140725321966575 140725321966746 140725321966746 140725321969615 0
[pid=26885/tid=26890] ppid=26883 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26885/task/26890/stat : 26890 (java) S 26883 26883 24688 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446265733 15508250624 8008 33554432000 4194304 4196468 140725321963184 140009885190544 140010295666389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9076736 140725321966575 140725321966746 140725321966746 140725321969615 0
[pid=26885/tid=26891] ppid=26883 vsize=15144776 memory=140612871214720 CPUtime=0 cores=1,3,5,7
/proc/26885/task/26891/stat : 26891 (java) S 26883 26883 24688 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446265735 15508250624 8008 33554432000 4194304 4196468 140725321963184 140009831459568 140010295667330 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9076736 140725321966575 140725321966746 140725321966746 140725321969615 0
[pid=26885/tid=26892] ppid=26883 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26885/task/26892/stat : 26892 (java) S 26883 26883 24688 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 446265735 15508250624 8008 33554432000 4194304 4196468 140725321963184 140009830405792 140010295666389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9076736 140725321966575 140725321966746 140725321966746 140725321969615 0
[pid=26885/tid=26893] ppid=26883 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26885/task/26893/stat : 26893 (java) S 26883 26883 24688 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 446265735 15508250624 8008 33554432000 4194304 4196468 140725321963184 140009829352688 140010295666389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9076736 140725321966575 140725321966746 140725321966746 140725321969615 0
[pid=26885/tid=26894] ppid=26883 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26885/task/26894/stat : 26894 (java) S 26883 26883 24688 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446265738 15508250624 8008 33554432000 4194304 4196468 140725321963184 140009828301264 140010295674779 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9076736 140725321966575 140725321966746 140725321966746 140725321969615 0
[pid=26885/tid=26895] ppid=26883 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26885/task/26895/stat : 26895 (java) R 26883 26883 24688 0 -1 1077944384 406 0 0 0 0 0 0 0 20 0 15 0 446265738 15508250624 8008 33554432000 4194304 4196468 140725321963184 140009165285712 140010295666389 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9076736 140725321966575 140725321966746 140725321966746 140725321969615 0
[pid=26885/tid=26896] ppid=26883 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26885/task/26896/stat : 26896 (java) R 26883 26883 24688 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 15 0 446265738 15508250624 8008 33554432000 4194304 4196468 140725321963184 140009164224576 140010279080013 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9076736 140725321966575 140725321966746 140725321966746 140725321969615 0
[pid=26885/tid=26897] ppid=26883 vsize=15144776 memory=140612871214720 CPUtime=0.02 cores=1,3,5,7
/proc/26885/task/26897/stat : 26897 (java) R 26883 26883 24688 0 -1 4202560 366 0 0 0 2 0 0 0 20 0 15 0 446265738 15508250624 8008 33554432000 4194304 4196468 140725321963184 140009163180016 140009910829177 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9076736 140725321966575 140725321966746 140725321966746 140725321969615 0
[pid=26885/tid=26898] ppid=26883 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26885/task/26898/stat : 26898 (java) S 26883 26883 24688 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446265738 15508250624 8008 33554432000 4194304 4196468 140725321963184 140009162127712 140010295666389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9076736 140725321966575 140725321966746 140725321966746 140725321969615 0
[pid=26885/tid=26899] ppid=26883 vsize=15144776 memory=140612871214720 CPUtime=0 cores=1,3,5,7
/proc/26885/task/26899/stat : 26899 (java) S 26883 26883 24688 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446265738 15508250624 8008 33554432000 4194304 4196468 140725321963184 140009161075760 140010295667330 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9076736 140725321966575 140725321966746 140725321966746 140725321969615 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 33480 KiB
[startup+0.210844 s]*
/proc/loadavg: 6.97 7.02 5.77 8/229 26899
/proc/meminfo: memFree=18765600/32770624 swapFree=66938240/67108860
[pid=26883] ppid=26880 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/26883/stat : 26883 (xcsp3-exec) S 26880 26883 24688 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 446265732 115843072 362 33554432000 4194304 5098028 140722890632576 140722890630680 140050053214844 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 12906496 140722890634106 140722890634349 140722890634349 140722890637258 0
/proc/26883/statm: 28282 362 304 221 0 87 0
[pid=26885] ppid=26883 vsize=15144776 memory=43148 CPUtime=0.34 cores=1,3,5,7
/proc/26885/stat : 26885 (java) S 26883 26883 24688 0 -1 1077944320 9437 0 0 0 31 3 0 0 20 0 15 0 446265732 15508250624 10787 33554432000 4194304 4196468 140725321963184 140725321945728 140010295656183 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 9076736 140725321966575 140725321966746 140725321966746 140725321969615 0
/proc/26885/statm: 3786194 10787 3313 1 0 3748377 0
[pid=26885/tid=26886] ppid=26883 vsize=15144776 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/26885/task/26886/stat : 26886 (java) R 26883 26883 24688 0 -1 4202560 6629 0 0 0 18 2 0 0 20 0 15 0 446265733 15508250624 10787 33554432000 4194304 4196468 140725321963184 140010299894496 140010295668118 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9076736 140725321966575 140725321966746 140725321966746 140725321969615 0
[pid=26885/tid=26887] ppid=26883 vsize=15144776 memory=2964504 CPUtime=0 cores=1,3,5,7
/proc/26885/task/26887/stat : 26887 (java) S 26883 26883 24688 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446265733 15508250624 10787 33554432000 4194304 4196468 140725321963184 140010231892496 140010295666389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9076736 140725321966575 140725321966746 140725321966746 140725321969615 0
[pid=26885/tid=26888] ppid=26883 vsize=15144776 memory=140612871239184 CPUtime=0 cores=1,3,5,7
/proc/26885/task/26888/stat : 26888 (java) S 26883 26883 24688 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446265733 15508250624 10787 33554432000 4194304 4196468 140725321963184 140010230839952 140010295666389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9076736 140725321966575 140725321966746 140725321966746 140725321969615 0
[pid=26885/tid=26889] ppid=26883 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26885/task/26889/stat : 26889 (java) S 26883 26883 24688 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446265733 15508250624 10787 33554432000 4194304 4196468 140725321963184 140009886243088 140010295666389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9076736 140725321966575 140725321966746 140725321966746 140725321969615 0
[pid=26885/tid=26890] ppid=26883 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26885/task/26890/stat : 26890 (java) S 26883 26883 24688 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446265733 15508250624 10787 33554432000 4194304 4196468 140725321963184 140009885190544 140010295666389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9076736 140725321966575 140725321966746 140725321966746 140725321969615 0
[pid=26885/tid=26891] ppid=26883 vsize=15144776 memory=140612871214720 CPUtime=0 cores=1,3,5,7
/proc/26885/task/26891/stat : 26891 (java) S 26883 26883 24688 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 446265735 15508250624 10787 33554432000 4194304 4196468 140725321963184 140009831459568 140010295667330 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9076736 140725321966575 140725321966746 140725321966746 140725321969615 0
[pid=26885/tid=26892] ppid=26883 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26885/task/26892/stat : 26892 (java) S 26883 26883 24688 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 446265735 15508250624 10787 33554432000 4194304 4196468 140725321963184 140009830405792 140010295666389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9076736 140725321966575 140725321966746 140725321966746 140725321969615 0
[pid=26885/tid=26893] ppid=26883 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26885/task/26893/stat : 26893 (java) S 26883 26883 24688 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 446265735 15508250624 10787 33554432000 4194304 4196468 140725321963184 140009829352688 140010295666389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9076736 140725321966575 140725321966746 140725321966746 140725321969615 0
[pid=26885/tid=26894] ppid=26883 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26885/task/26894/stat : 26894 (java) S 26883 26883 24688 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446265738 15508250624 10787 33554432000 4194304 4196468 140725321963184 140009828301264 140010295674779 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9076736 140725321966575 140725321966746 140725321966746 140725321969615 0
[pid=26885/tid=26895] ppid=26883 vsize=15144776 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/26885/task/26895/stat : 26895 (java) S 26883 26883 24688 0 -1 1077944384 600 0 0 0 2 0 0 0 20 0 15 0 446265738 15508250624 10787 33554432000 4194304 4196468 140725321963184 140009165285616 140010295667330 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9076736 140725321966575 140725321966746 140725321966746 140725321969615 0
[pid=26885/tid=26896] ppid=26883 vsize=15144776 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/26885/task/26896/stat : 26896 (java) S 26883 26883 24688 0 -1 1077944384 161 0 0 0 2 0 0 0 20 0 15 0 446265738 15508250624 10787 33554432000 4194304 4196468 140725321963184 140009164233072 140010295667330 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9076736 140725321966575 140725321966746 140725321966746 140725321969615 0
[pid=26885/tid=26897] ppid=26883 vsize=15144776 memory=140612871214720 CPUtime=0.08 cores=1,3,5,7
/proc/26885/task/26897/stat : 26897 (java) R 26883 26883 24688 0 -1 4202560 741 0 0 0 8 0 0 0 20 0 15 0 446265738 15508250624 10787 33554432000 4194304 4196468 140725321963184 140009163180016 140010287893310 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9076736 140725321966575 140725321966746 140725321966746 140725321969615 0
[pid=26885/tid=26898] ppid=26883 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26885/task/26898/stat : 26898 (java) S 26883 26883 24688 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446265738 15508250624 10787 33554432000 4194304 4196468 140725321963184 140009162127712 140010295666389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9076736 140725321966575 140725321966746 140725321966746 140725321969615 0
[pid=26885/tid=26899] ppid=26883 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26885/task/26899/stat : 26899 (java) S 26883 26883 24688 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446265738 15508250624 10787 33554432000 4194304 4196468 140725321963184 140009161075760 140010295667330 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9076736 140725321966575 140725321966746 140725321966746 140725321969615 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 44596 KiB
[startup+0.310704 s]*
/proc/loadavg: 6.97 7.02 5.77 8/229 26899
/proc/meminfo: memFree=18758940/32770624 swapFree=66938240/67108860
[pid=26883] ppid=26880 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/26883/stat : 26883 (xcsp3-exec) S 26880 26883 24688 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 446265732 115843072 362 33554432000 4194304 5098028 140722890632576 140722890630680 140050053214844 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 12906496 140722890634106 140722890634349 140722890634349 140722890637258 0
/proc/26883/statm: 28282 362 304 221 0 87 0
[pid=26885] ppid=26883 vsize=15149032 memory=51864 CPUtime=0.53 cores=1,3,5,7
/proc/26885/stat : 26885 (java) S 26883 26883 24688 0 -1 1077944320 10802 0 0 0 49 4 0 0 20 0 15 0 446265732 15512608768 12966 33554432000 4194304 4196468 140725321963184 140725321945728 140010295656183 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 9076736 140725321966575 140725321966746 140725321966746 140725321969615 0
/proc/26885/statm: 3787258 12966 3365 1 0 3748377 0
[pid=26885/tid=26886] ppid=26883 vsize=15149032 memory=6791534058613427641 CPUtime=0.3 cores=1,3,5,7
/proc/26885/task/26886/stat : 26886 (java) R 26883 26883 24688 0 -1 4202560 7768 0 0 0 27 3 0 0 20 0 15 0 446265733 15512608768 12966 33554432000 4194304 4196468 140725321963184 140010299886832 140010295678109 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9076736 140725321966575 140725321966746 140725321966746 140725321969615 0
[pid=26885/tid=26887] ppid=26883 vsize=15149032 memory=6655300316396806240 CPUtime=0 cores=1,3,5,7
/proc/26885/task/26887/stat : 26887 (java) S 26883 26883 24688 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446265733 15512608768 12966 33554432000 4194304 4196468 140725321963184 140010231892496 140010295666389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9076736 140725321966575 140725321966746 140725321966746 140725321969615 0
[pid=26885/tid=26888] ppid=26883 vsize=15149032 memory=6944652177228980320 CPUtime=0 cores=1,3,5,7
/proc/26885/task/26888/stat : 26888 (java) S 26883 26883 24688 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446265733 15512608768 12966 33554432000 4194304 4196468 140725321963184 140010230839952 140010295666389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9076736 140725321966575 140725321966746 140725321966746 140725321969615 0
[pid=26885/tid=26889] ppid=26883 vsize=15149032 memory=-3258418265892434876 CPUtime=0 cores=1,3,5,7
/proc/26885/task/26889/stat : 26889 (java) S 26883 26883 24688 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446265733 15512608768 12966 33554432000 4194304 4196468 140725321963184 140009886243088 140010295666389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9076736 140725321966575 140725321966746 140725321966746 140725321969615 0
[pid=26885/tid=26890] ppid=26883 vsize=15149032 memory=4572146057552828020 CPUtime=0 cores=1,3,5,7
/proc/26885/task/26890/stat : 26890 (java) S 26883 26883 24688 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446265733 15512608768 12966 33554432000 4194304 4196468 140725321963184 140009885190544 140010295666389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9076736 140725321966575 140725321966746 140725321966746 140725321969615 0
[pid=26885/tid=26891] ppid=26883 vsize=15149032 memory=6944613755495348631 CPUtime=0 cores=1,3,5,7
/proc/26885/task/26891/stat : 26891 (java) S 26883 26883 24688 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 446265735 15512608768 12966 33554432000 4194304 4196468 140725321963184 140009831459568 140010295667330 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9076736 140725321966575 140725321966746 140725321966746 140725321969615 0
[pid=26885/tid=26892] ppid=26883 vsize=15149032 memory=7893295687695687954 CPUtime=0 cores=1,3,5,7
/proc/26885/task/26892/stat : 26892 (java) S 26883 26883 24688 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 446265735 15512608768 12966 33554432000 4194304 4196468 140725321963184 140009830405792 140010295666389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9076736 140725321966575 140725321966746 140725321966746 140725321969615 0
[pid=26885/tid=26893] ppid=26883 vsize=15149032 memory=-8813974798734826869 CPUtime=0 cores=1,3,5,7
/proc/26885/task/26893/stat : 26893 (java) S 26883 26883 24688 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 446265735 15512608768 12966 33554432000 4194304 4196468 140725321963184 140009829352688 140010295666389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9076736 140725321966575 140725321966746 140725321966746 140725321969615 0
[pid=26885/tid=26894] ppid=26883 vsize=15149032 memory=-6664436420846796947 CPUtime=0 cores=1,3,5,7
/proc/26885/task/26894/stat : 26894 (java) S 26883 26883 24688 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446265738 15512608768 12966 33554432000 4194304 4196468 140725321963184 140009828301264 140010295674779 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9076736 140725321966575 140725321966746 140725321966746 140725321969615 0
[pid=26885/tid=26895] ppid=26883 vsize=15149032 memory=4426078206164241782 CPUtime=0.03 cores=1,3,5,7
/proc/26885/task/26895/stat : 26895 (java) S 26883 26883 24688 0 -1 1077944384 628 0 0 0 3 0 0 0 20 0 15 0 446265738 15512608768 12966 33554432000 4194304 4196468 140725321963184 140009165285616 140010295667330 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9076736 140725321966575 140725321966746 140725321966746 140725321969615 0
[pid=26885/tid=26896] ppid=26883 vsize=15149032 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/26885/task/26896/stat : 26896 (java) R 26883 26883 24688 0 -1 4202560 263 0 0 0 5 0 0 0 20 0 15 0 446265738 15512608768 12966 33554432000 4194304 4196468 140725321963184 140009164219616 140010274900357 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9076736 140725321966575 140725321966746 140725321966746 140725321969615 0
[pid=26885/tid=26897] ppid=26883 vsize=15149032 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/26885/task/26897/stat : 26897 (java) R 26883 26883 24688 0 -1 1077944384 837 0 0 0 12 0 0 0 20 0 15 0 446265738 15512608768 12966 33554432000 4194304 4196468 140725321963184 140009163180016 140010295667330 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9076736 140725321966575 140725321966746 140725321966746 140725321969615 0
[pid=26885/tid=26898] ppid=26883 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26885/task/26898/stat : 26898 (java) S 26883 26883 24688 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446265738 15512608768 12966 33554432000 4194304 4196468 140725321963184 140009162127712 140010295666389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9076736 140725321966575 140725321966746 140725321966746 140725321969615 0
[pid=26885/tid=26899] ppid=26883 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26885/task/26899/stat : 26899 (java) S 26883 26883 24688 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446265738 15512608768 12966 33554432000 4194304 4196468 140725321963184 140009161075760 140010295667330 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9076736 140725321966575 140725321966746 140725321966746 140725321969615 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 53312 KiB
[startup+0.702126 s]
/proc/loadavg: 6.97 7.02 5.77 8/229 26899
/proc/meminfo: memFree=18722716/32770624 swapFree=66938240/67108860
[pid=26883] ppid=26880 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/26883/stat : 26883 (xcsp3-exec) S 26880 26883 24688 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 446265732 115843072 362 33554432000 4194304 5098028 140722890632576 140722890630680 140050053214844 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 12906496 140722890634106 140722890634349 140722890634349 140722890637258 0
/proc/26883/statm: 28282 362 304 221 0 87 0
[pid=26885] ppid=26883 vsize=15151156 memory=204128 CPUtime=1.61 cores=1,3,5,7
/proc/26885/stat : 26885 (java) S 26883 26883 24688 0 -1 1077944320 13651 0 0 0 153 8 0 0 20 0 15 0 446265732 15514783744 51032 33554432000 4194304 4196468 140725321963184 140725321945728 140010295656183 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 9076736 140725321966575 140725321966746 140725321966746 140725321969615 0
/proc/26885/statm: 3787789 51032 3454 1 0 3748889 0
[pid=26885/tid=26886] ppid=26883 vsize=15151156 memory=33 CPUtime=0.67 cores=1,3,5,7
/proc/26885/task/26886/stat : 26886 (java) R 26883 26883 24688 0 -1 4202560 8353 0 0 0 62 5 0 0 20 0 15 0 446265733 15514783744 51032 33554432000 4194304 4196468 140725321963184 140010299893792 140010295668118 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9076736 140725321966575 140725321966746 140725321966746 140725321969615 0
[pid=26885/tid=26887] ppid=26883 vsize=15151156 memory=288230377044124670 CPUtime=0 cores=1,3,5,7
/proc/26885/task/26887/stat : 26887 (java) S 26883 26883 24688 0 -1 1077944384 18 0 0 0 0 0 0 0 20 0 15 0 446265733 15514783744 51032 33554432000 4194304 4196468 140725321963184 140010231892496 140010295666389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9076736 140725321966575 140725321966746 140725321966746 140725321969615 0
[pid=26885/tid=26888] ppid=26883 vsize=15151156 memory=288291077884034143 CPUtime=0 cores=1,3,5,7
/proc/26885/task/26888/stat : 26888 (java) S 26883 26883 24688 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 446265733 15514783744 51032 33554432000 4194304 4196468 140725321963184 140010230839952 140010295666389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9076736 140725321966575 140725321966746 140725321966746 140725321969615 0
[pid=26885/tid=26889] ppid=26883 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26885/task/26889/stat : 26889 (java) S 26883 26883 24688 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 15 0 446265733 15514783744 51032 33554432000 4194304 4196468 140725321963184 140009886243088 140010295666389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9076736 140725321966575 140725321966746 140725321966746 140725321969615 0
[pid=26885/tid=26890] ppid=26883 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26885/task/26890/stat : 26890 (java) S 26883 26883 24688 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 446265733 15514783744 51032 33554432000 4194304 4196468 140725321963184 140009885190544 140010295666389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9076736 140725321966575 140725321966746 140725321966746 140725321969615 0
[pid=26885/tid=26891] ppid=26883 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26885/task/26891/stat : 26891 (java) S 26883 26883 24688 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 446265735 15514783744 51032 33554432000 4194304 4196468 140725321963184 140009831459568 140010295667330 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9076736 140725321966575 140725321966746 140725321966746 140725321969615 0
[pid=26885/tid=26892] ppid=26883 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26885/task/26892/stat : 26892 (java) R 26883 26883 24688 0 -1 4202560 33 0 0 0 0 0 0 0 20 0 15 0 446265735 15514783744 51032 33554432000 4194304 4196468 140725321963184 140009830405792 140010273650204 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9076736 140725321966575 140725321966746 140725321966746 140725321969615 0
[pid=26885/tid=26893] ppid=26883 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26885/task/26893/stat : 26893 (java) R 26883 26883 24688 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 446265735 15514783744 51032 33554432000 4194304 4196468 140725321963184 140009829352688 140010295666389 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9076736 140725321966575 140725321966746 140725321966746 140725321969615 0
[pid=26885/tid=26894] ppid=26883 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26885/task/26894/stat : 26894 (java) S 26883 26883 24688 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446265738 15514783744 51032 33554432000 4194304 4196468 140725321963184 140009828301264 140010295674779 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9076736 140725321966575 140725321966746 140725321966746 140725321969615 0
[pid=26885/tid=26895] ppid=26883 vsize=15151156 memory=0 CPUtime=0.31 cores=1,3,5,7
/proc/26885/task/26895/stat : 26895 (java) R 26883 26883 24688 0 -1 1077944384 1508 0 0 0 31 0 0 0 20 0 15 0 446265738 15514783744 51032 33554432000 4194304 4196468 140725321963184 140009165265584 140010295666389 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9076736 140725321966575 140725321966746 140725321966746 140725321969615 0
[pid=26885/tid=26896] ppid=26883 vsize=15151156 memory=4639074098508484689 CPUtime=0.32 cores=1,3,5,7
/proc/26885/task/26896/stat : 26896 (java) R 26883 26883 24688 0 -1 4202560 1032 0 0 0 32 0 0 0 20 0 15 0 446265738 15514783744 51032 33554432000 4194304 4196468 140725321963184 140009164218064 140010274072498 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9076736 140725321966575 140725321966746 140725321966746 140725321969615 0
[pid=26885/tid=26897] ppid=26883 vsize=15151156 memory=7162523679089254499 CPUtime=0.25 cores=1,3,5,7
/proc/26885/task/26897/stat : 26897 (java) R 26883 26883 24688 0 -1 1077944384 1320 0 0 0 25 0 0 0 20 0 15 0 446265738 15514783744 51032 33554432000 4194304 4196468 140725321963184 140009163180016 140010295667330 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 9076736 140725321966575 140725321966746 140725321966746 140725321969615 0
[pid=26885/tid=26898] ppid=26883 vsize=15151156 memory=7668599258894852952 CPUtime=0 cores=1,3,5,7
/proc/26885/task/26898/stat : 26898 (java) S 26883 26883 24688 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446265738 15514783744 51032 33554432000 4194304 4196468 140725321963184 140009162127712 140010295666389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9076736 140725321966575 140725321966746 140725321966746 140725321969615 0
[pid=26885/tid=26899] ppid=26883 vsize=15151156 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26885/task/26899/stat : 26899 (java) S 26883 26883 24688 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446265738 15514783744 51032 33554432000 4194304 4196468 140725321963184 140009161075760 140010295667330 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9076736 140725321966575 140725321966746 140725321966746 140725321969615 0
Current children cumulated CPU time: 1.61 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 205576 KiB
[startup+1.50155 s]
/proc/loadavg: 6.97 7.02 5.77 8/229 26899
/proc/meminfo: memFree=18581480/32770624 swapFree=66938240/67108860
[pid=26883] ppid=26880 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/26883/stat : 26883 (xcsp3-exec) S 26880 26883 24688 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 446265732 115843072 362 33554432000 4194304 5098028 140722890632576 140722890630680 140050053214844 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 12906496 140722890634106 140722890634349 140722890634349 140722890637258 0
/proc/26883/statm: 28282 362 304 221 0 87 0
################
# More data... #
################
/proc/26885/task/26887/stat : 26887 (java) S 26883 26883 24688 0 -1 1077944384 104 0 0 0 7 6 0 0 20 0 15 0 446265733 15514783744 120292 33554432000 4194304 4196468 140725321963184 140010231892496 140010295666389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9076736 140725321966575 140725321966746 140725321966746 140725321969615 0
[pid=26885/tid=26888] ppid=26883 vsize=15151156 memory=508996480 CPUtime=0.12 cores=1,3,5,7
/proc/26885/task/26888/stat : 26888 (java) S 26883 26883 24688 0 -1 1077944384 114 0 0 0 7 5 0 0 20 0 15 0 446265733 15514783744 120292 33554432000 4194304 4196468 140725321963184 140010230839952 140010295666389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9076736 140725321966575 140725321966746 140725321966746 140725321969615 0
[pid=26885/tid=26889] ppid=26883 vsize=15151156 memory=140612733120160 CPUtime=0.11 cores=1,3,5,7
/proc/26885/task/26889/stat : 26889 (java) S 26883 26883 24688 0 -1 1077944384 327 0 0 0 6 5 0 0 20 0 15 0 446265733 15514783744 120292 33554432000 4194304 4196468 140725321963184 140009886243088 140010295666389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9076736 140725321966575 140725321966746 140725321966746 140725321969615 0
[pid=26885/tid=26890] ppid=26883 vsize=15151156 memory=281225466199936 CPUtime=0.12 cores=1,3,5,7
/proc/26885/task/26890/stat : 26890 (java) S 26883 26883 24688 0 -1 1077944384 90 0 0 0 6 6 0 0 20 0 15 0 446265733 15514783744 120292 33554432000 4194304 4196468 140725321963184 140009885190544 140010295666389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9076736 140725321966575 140725321966746 140725321966746 140725321969615 0
[pid=26885/tid=26891] ppid=26883 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26885/task/26891/stat : 26891 (java) S 26883 26883 24688 0 -1 1077944384 209 0 0 0 0 0 0 0 20 0 15 0 446265735 15514783744 120292 33554432000 4194304 4196468 140725321963184 140009831459568 140010295667330 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9076736 140725321966575 140725321966746 140725321966746 140725321969615 0
[pid=26885/tid=26892] ppid=26883 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26885/task/26892/stat : 26892 (java) S 26883 26883 24688 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 446265735 15514783744 120292 33554432000 4194304 4196468 140725321963184 140009830405856 140010295666389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9076736 140725321966575 140725321966746 140725321966746 140725321969615 0
[pid=26885/tid=26893] ppid=26883 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26885/task/26893/stat : 26893 (java) S 26883 26883 24688 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 15 0 446265735 15514783744 120292 33554432000 4194304 4196468 140725321963184 140009829352704 140010295666389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9076736 140725321966575 140725321966746 140725321966746 140725321969615 0
[pid=26885/tid=26894] ppid=26883 vsize=15151156 memory=14964 CPUtime=0 cores=1,3,5,7
/proc/26885/task/26894/stat : 26894 (java) S 26883 26883 24688 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446265738 15514783744 120292 33554432000 4194304 4196468 140725321963184 140009828301264 140010295674779 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9076736 140725321966575 140725321966746 140725321966746 140725321969615 0
[pid=26885/tid=26895] ppid=26883 vsize=15151156 memory=0 CPUtime=0.54 cores=1,3,5,7
/proc/26885/task/26895/stat : 26895 (java) S 26883 26883 24688 0 -1 1077944384 1643 0 0 0 54 0 0 0 20 0 15 0 446265738 15514783744 120292 33554432000 4194304 4196468 140725321963184 140009165285616 140010295667330 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9076736 140725321966575 140725321966746 140725321966746 140725321969615 0
[pid=26885/tid=26896] ppid=26883 vsize=15151156 memory=3848 CPUtime=0.55 cores=1,3,5,7
/proc/26885/task/26896/stat : 26896 (java) S 26883 26883 24688 0 -1 1077944384 1126 0 0 0 55 0 0 0 20 0 15 0 446265738 15514783744 120292 33554432000 4194304 4196468 140725321963184 140009164233072 140010295667330 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9076736 140725321966575 140725321966746 140725321966746 140725321969615 0
[pid=26885/tid=26897] ppid=26883 vsize=15151156 memory=2716 CPUtime=0.39 cores=1,3,5,7
/proc/26885/task/26897/stat : 26897 (java) S 26883 26883 24688 0 -1 1077944384 1610 0 0 0 39 0 0 0 20 0 15 0 446265738 15514783744 120292 33554432000 4194304 4196468 140725321963184 140009163180016 140010295667330 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9076736 140725321966575 140725321966746 140725321966746 140725321969615 0
[pid=26885/tid=26898] ppid=26883 vsize=15151156 memory=2652 CPUtime=0 cores=1,3,5,7
/proc/26885/task/26898/stat : 26898 (java) S 26883 26883 24688 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446265738 15514783744 120292 33554432000 4194304 4196468 140725321963184 140009162127712 140010295666389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9076736 140725321966575 140725321966746 140725321966746 140725321969615 0
[pid=26885/tid=26899] ppid=26883 vsize=15151156 memory=4100 CPUtime=0 cores=1,3,5,7
/proc/26885/task/26899/stat : 26899 (java) S 26883 26883 24688 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446265738 15514783744 120292 33554432000 4194304 4196468 140725321963184 140009161075760 140010295667330 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9076736 140725321966575 140725321966746 140725321966746 140725321969615 0
Current children cumulated CPU time: 3.37 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 482616 KiB
[startup+3.11045 s]
/proc/loadavg: 6.97 7.02 5.77 6/229 26899
/proc/meminfo: memFree=17797376/32770624 swapFree=66938240/67108860
[pid=26883] ppid=26880 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/26883/stat : 26883 (xcsp3-exec) S 26880 26883 24688 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 446265732 115843072 362 33554432000 4194304 5098028 140722890632576 140722890630680 140050053214844 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 12906496 140722890634106 140722890634349 140722890634349 140722890637258 0
/proc/26883/statm: 28282 362 304 221 0 87 0
[pid=26885] ppid=26883 vsize=15151156 memory=1011900 CPUtime=6.63 cores=1,3,5,7
/proc/26885/stat : 26885 (java) S 26883 26883 24688 0 -1 1077944320 25344 0 0 0 591 72 0 0 20 0 15 0 446265732 15514783744 252975 33554432000 4194304 4196468 140725321963184 140725321945728 140010295656183 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 9076736 140725321966575 140725321966746 140725321966746 140725321969615 0
/proc/26885/statm: 3787789 252975 3491 1 0 3748889 0
[pid=26885/tid=26886] ppid=26883 vsize=15151156 memory=0 CPUtime=2.25 cores=1,3,5,7
/proc/26885/task/26886/stat : 26886 (java) R 26883 26883 24688 0 -1 4202560 9131 0 0 0 214 11 0 0 20 0 15 0 446265733 15514783744 252975 33554432000 4194304 4196468 140725321963184 140010299892224 140009914162707 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9076736 140725321966575 140725321966746 140725321966746 140725321969615 0
[pid=26885/tid=26887] ppid=26883 vsize=15151156 memory=1448 CPUtime=0.61 cores=1,3,5,7
/proc/26885/task/26887/stat : 26887 (java) S 26883 26883 24688 0 -1 1077944384 2529 0 0 0 47 14 0 0 20 0 15 0 446265733 15514783744 252975 33554432000 4194304 4196468 140725321963184 140010231892496 140010295666389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9076736 140725321966575 140725321966746 140725321966746 140725321969615 0
[pid=26885/tid=26888] ppid=26883 vsize=15151156 memory=1010160 CPUtime=0.61 cores=1,3,5,7
/proc/26885/task/26888/stat : 26888 (java) S 26883 26883 24688 0 -1 1077944384 2302 0 0 0 47 14 0 0 20 0 15 0 446265733 15514783744 252975 33554432000 4194304 4196468 140725321963184 140010230839952 140010295666389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9076736 140725321966575 140725321966746 140725321966746 140725321969615 0
[pid=26885/tid=26889] ppid=26883 vsize=15151156 memory=0 CPUtime=0.6 cores=1,3,5,7
/proc/26885/task/26889/stat : 26889 (java) S 26883 26883 24688 0 -1 1077944384 2475 0 0 0 46 14 0 0 20 0 15 0 446265733 15514783744 252975 33554432000 4194304 4196468 140725321963184 140009886243088 140010295666389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9076736 140725321966575 140725321966746 140725321966746 140725321969615 0
[pid=26885/tid=26890] ppid=26883 vsize=15151156 memory=1399103955520229747 CPUtime=0.6 cores=1,3,5,7
/proc/26885/task/26890/stat : 26890 (java) S 26883 26883 24688 0 -1 1077944384 1956 0 0 0 46 14 0 0 20 0 15 0 446265733 15514783744 252975 33554432000 4194304 4196468 140725321963184 140009885190544 140010295666389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9076736 140725321966575 140725321966746 140725321966746 140725321969615 0
[pid=26885/tid=26891] ppid=26883 vsize=15151156 memory=0 CPUtime=0.21 cores=1,3,5,7
/proc/26885/task/26891/stat : 26891 (java) S 26883 26883 24688 0 -1 1077944384 1053 0 0 0 21 0 0 0 20 0 15 0 446265735 15514783744 252975 33554432000 4194304 4196468 140725321963184 140009831459568 140010295667330 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9076736 140725321966575 140725321966746 140725321966746 140725321969615 0
[pid=26885/tid=26892] ppid=26883 vsize=15151156 memory=281225466667376 CPUtime=0 cores=1,3,5,7
/proc/26885/task/26892/stat : 26892 (java) S 26883 26883 24688 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 446265735 15514783744 252975 33554432000 4194304 4196468 140725321963184 140009830405856 140010295666389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9076736 140725321966575 140725321966746 140725321966746 140725321969615 0
[pid=26885/tid=26893] ppid=26883 vsize=15151156 memory=281225466667440 CPUtime=0 cores=1,3,5,7
/proc/26885/task/26893/stat : 26893 (java) S 26883 26883 24688 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 15 0 446265735 15514783744 252975 33554432000 4194304 4196468 140725321963184 140009829352704 140010295666389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9076736 140725321966575 140725321966746 140725321966746 140725321969615 0
[pid=26885/tid=26894] ppid=26883 vsize=15151156 memory=281225466216048 CPUtime=0 cores=1,3,5,7
/proc/26885/task/26894/stat : 26894 (java) S 26883 26883 24688 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446265738 15514783744 252975 33554432000 4194304 4196468 140725321963184 140009828301264 140010295674779 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9076736 140725321966575 140725321966746 140725321966746 140725321969615 0
[pid=26885/tid=26895] ppid=26883 vsize=15151156 memory=0 CPUtime=0.59 cores=1,3,5,7
/proc/26885/task/26895/stat : 26895 (java) S 26883 26883 24688 0 -1 1077944384 1667 0 0 0 59 0 0 0 20 0 15 0 446265738 15514783744 252975 33554432000 4194304 4196468 140725321963184 140009165285616 140010295667330 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9076736 140725321966575 140725321966746 140725321966746 140725321969615 0
[pid=26885/tid=26896] ppid=26883 vsize=15151156 memory=0 CPUtime=0.59 cores=1,3,5,7
/proc/26885/task/26896/stat : 26896 (java) S 26883 26883 24688 0 -1 1077944384 1144 0 0 0 59 0 0 0 20 0 15 0 446265738 15514783744 252975 33554432000 4194304 4196468 140725321963184 140009164233072 140010295667330 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9076736 140725321966575 140725321966746 140725321966746 140725321969615 0
[pid=26885/tid=26897] ppid=26883 vsize=15151156 memory=0 CPUtime=0.48 cores=1,3,5,7
/proc/26885/task/26897/stat : 26897 (java) S 26883 26883 24688 0 -1 1077944384 1786 0 0 0 47 1 0 0 20 0 15 0 446265738 15514783744 252975 33554432000 4194304 4196468 140725321963184 140009163180016 140010295667330 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9076736 140725321966575 140725321966746 140725321966746 140725321969615 0
[pid=26885/tid=26898] ppid=26883 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26885/task/26898/stat : 26898 (java) S 26883 26883 24688 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446265738 15514783744 252975 33554432000 4194304 4196468 140725321963184 140009162127712 140010295666389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9076736 140725321966575 140725321966746 140725321966746 140725321969615 0
[pid=26885/tid=26899] ppid=26883 vsize=15151156 memory=7084838767039631696 CPUtime=0 cores=1,3,5,7
/proc/26885/task/26899/stat : 26899 (java) S 26883 26883 24688 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446265738 15514783744 252975 33554432000 4194304 4196468 140725321963184 140009161075760 140010295667330 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9076736 140725321966575 140725321966746 140725321966746 140725321969615 0
Current children cumulated CPU time: 6.63 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 1013348 KiB
[startup+3.63266 s]
# the end of solver process 26883 was just reported to runsolver
# cumulated CPU time of all completed processes: user=6.77457 s, system=0.738908 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3.20098 s]
/proc/loadavg: 6.97 7.02 5.77 6/229 26899
/proc/meminfo: memFree=17797376/32770624 swapFree=66938240/67108860
[pid=26883] ppid=26880 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/26883/stat : 26883 (xcsp3-exec) S 26880 26883 24688 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 446265732 115843072 362 33554432000 4194304 5098028 140722890632576 140722890630680 140050053214844 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 12906496 140722890634106 140722890634349 140722890634349 140722890637258 0
/proc/26883/statm: 28282 362 304 221 0 87 0
[pid=26885] ppid=26883 vsize=15151156 memory=1011900 CPUtime=6.72 cores=1,3,5,7
/proc/26885/stat : 26885 (java) S 26883 26883 24688 0 -1 1077944320 25344 0 0 0 600 72 0 0 20 0 15 0 446265732 15514783744 252975 33554432000 4194304 4196468 140725321963184 140725321945728 140010295656183 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 9076736 140725321966575 140725321966746 140725321966746 140725321969615 0
/proc/26885/statm: 3787789 252975 3491 1 0 3748889 0
[pid=26885/tid=26886] ppid=26883 vsize=15151156 memory=6791534058613427641 CPUtime=2.34 cores=1,3,5,7
/proc/26885/task/26886/stat : 26886 (java) R 26883 26883 24688 0 -1 4202560 9131 0 0 0 223 11 0 0 20 0 15 0 446265733 15514783744 252975 33554432000 4194304 4196468 140725321963184 140010299892224 140009911980723 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9076736 140725321966575 140725321966746 140725321966746 140725321969615 0
[pid=26885/tid=26887] ppid=26883 vsize=15151156 memory=0 CPUtime=0.61 cores=1,3,5,7
/proc/26885/task/26887/stat : 26887 (java) S 26883 26883 24688 0 -1 1077944384 2529 0 0 0 47 14 0 0 20 0 15 0 446265733 15514783744 252975 33554432000 4194304 4196468 140725321963184 140010231892496 140010295666389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9076736 140725321966575 140725321966746 140725321966746 140725321969615 0
[pid=26885/tid=26888] ppid=26883 vsize=15151156 memory=0 CPUtime=0.61 cores=1,3,5,7
/proc/26885/task/26888/stat : 26888 (java) S 26883 26883 24688 0 -1 1077944384 2302 0 0 0 47 14 0 0 20 0 15 0 446265733 15514783744 252975 33554432000 4194304 4196468 140725321963184 140010230839952 140010295666389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9076736 140725321966575 140725321966746 140725321966746 140725321969615 0
[pid=26885/tid=26889] ppid=26883 vsize=15151156 memory=0 CPUtime=0.6 cores=1,3,5,7
/proc/26885/task/26889/stat : 26889 (java) S 26883 26883 24688 0 -1 1077944384 2475 0 0 0 46 14 0 0 20 0 15 0 446265733 15514783744 252975 33554432000 4194304 4196468 140725321963184 140009886243088 140010295666389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9076736 140725321966575 140725321966746 140725321966746 140725321969615 0
[pid=26885/tid=26890] ppid=26883 vsize=15151156 memory=0 CPUtime=0.6 cores=1,3,5,7
/proc/26885/task/26890/stat : 26890 (java) S 26883 26883 24688 0 -1 1077944384 1956 0 0 0 46 14 0 0 20 0 15 0 446265733 15514783744 252975 33554432000 4194304 4196468 140725321963184 140009885190544 140010295666389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9076736 140725321966575 140725321966746 140725321966746 140725321969615 0
[pid=26885/tid=26891] ppid=26883 vsize=15151156 memory=0 CPUtime=0.21 cores=1,3,5,7
/proc/26885/task/26891/stat : 26891 (java) S 26883 26883 24688 0 -1 1077944384 1053 0 0 0 21 0 0 0 20 0 15 0 446265735 15514783744 252975 33554432000 4194304 4196468 140725321963184 140009831459568 140010295667330 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9076736 140725321966575 140725321966746 140725321966746 140725321969615 0
[pid=26885/tid=26892] ppid=26883 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26885/task/26892/stat : 26892 (java) S 26883 26883 24688 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 446265735 15514783744 252975 33554432000 4194304 4196468 140725321963184 140009830405856 140010295666389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9076736 140725321966575 140725321966746 140725321966746 140725321969615 0
[pid=26885/tid=26893] ppid=26883 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26885/task/26893/stat : 26893 (java) S 26883 26883 24688 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 15 0 446265735 15514783744 252975 33554432000 4194304 4196468 140725321963184 140009829352704 140010295666389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9076736 140725321966575 140725321966746 140725321966746 140725321969615 0
[pid=26885/tid=26894] ppid=26883 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26885/task/26894/stat : 26894 (java) S 26883 26883 24688 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446265738 15514783744 252975 33554432000 4194304 4196468 140725321963184 140009828301264 140010295674779 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9076736 140725321966575 140725321966746 140725321966746 140725321969615 0
[pid=26885/tid=26895] ppid=26883 vsize=15151156 memory=0 CPUtime=0.59 cores=1,3,5,7
/proc/26885/task/26895/stat : 26895 (java) S 26883 26883 24688 0 -1 1077944384 1667 0 0 0 59 0 0 0 20 0 15 0 446265738 15514783744 252975 33554432000 4194304 4196468 140725321963184 140009165285616 140010295667330 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9076736 140725321966575 140725321966746 140725321966746 140725321969615 0
[pid=26885/tid=26896] ppid=26883 vsize=15151156 memory=0 CPUtime=0.59 cores=1,3,5,7
/proc/26885/task/26896/stat : 26896 (java) S 26883 26883 24688 0 -1 1077944384 1144 0 0 0 59 0 0 0 20 0 15 0 446265738 15514783744 252975 33554432000 4194304 4196468 140725321963184 140009164233072 140010295667330 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9076736 140725321966575 140725321966746 140725321966746 140725321969615 0
[pid=26885/tid=26897] ppid=26883 vsize=15151156 memory=0 CPUtime=0.48 cores=1,3,5,7
/proc/26885/task/26897/stat : 26897 (java) S 26883 26883 24688 0 -1 1077944384 1786 0 0 0 47 1 0 0 20 0 15 0 446265738 15514783744 252975 33554432000 4194304 4196468 140725321963184 140009163180016 140010295667330 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9076736 140725321966575 140725321966746 140725321966746 140725321969615 0
[pid=26885/tid=26898] ppid=26883 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26885/task/26898/stat : 26898 (java) S 26883 26883 24688 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446265738 15514783744 252975 33554432000 4194304 4196468 140725321963184 140009162127712 140010295666389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9076736 140725321966575 140725321966746 140725321966746 140725321969615 0
[pid=26885/tid=26899] ppid=26883 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26885/task/26899/stat : 26899 (java) S 26883 26883 24688 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446265738 15514783744 252975 33554432000 4194304 4196468 140725321963184 140009161075760 140010295667330 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9076736 140725321966575 140725321966746 140725321966746 140725321969615 0
Current children cumulated CPU time: 6.72 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 1013348 KiB
[startup+3.6007 s]
/proc/loadavg: 6.97 7.02 5.77 6/229 26899
/proc/meminfo: memFree=17797376/32770624 swapFree=66938240/67108860
[pid=26883] ppid=26880 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/26883/stat : 26883 (xcsp3-exec) S 26880 26883 24688 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 446265732 115843072 362 33554432000 4194304 5098028 140722890632576 140722890630680 140050053214844 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 12906496 140722890634106 140722890634349 140722890634349 140722890637258 0
/proc/26883/statm: 28282 362 304 221 0 87 0
[pid=26885] ppid=26883 vsize=15417412 memory=1012564 CPUtime=7.44 cores=1,3,5,7
/proc/26885/stat : 26885 (java) S 26883 26883 24688 0 -1 1077944320 25675 0 0 0 672 72 0 0 20 0 19 0 446265732 15787429888 253141 33554432000 4194304 4196468 140725321963184 140725321945728 140010295656183 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 9076736 140725321966575 140725321966746 140725321966746 140725321969615 0
/proc/26885/statm: 3854353 253141 3498 1 0 3815453 0
[pid=26885/tid=26886] ppid=26883 vsize=15417412 memory=924 CPUtime=2.63 cores=1,3,5,7
/proc/26885/task/26886/stat : 26886 (java) S 26883 26883 24688 0 -1 1077944384 9180 0 0 0 252 11 0 0 20 0 19 0 446265733 15787429888 253141 33554432000 4194304 4196468 140725321963184 140010299896960 140010295666389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9076736 140725321966575 140725321966746 140725321966746 140725321969615 0
[pid=26885/tid=26887] ppid=26883 vsize=15417412 memory=1420 CPUtime=0.61 cores=1,3,5,7
/proc/26885/task/26887/stat : 26887 (java) S 26883 26883 24688 0 -1 1077944384 2529 0 0 0 47 14 0 0 20 0 19 0 446265733 15787429888 253141 33554432000 4194304 4196468 140725321963184 140010231892496 140010295666389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9076736 140725321966575 140725321966746 140725321966746 140725321969615 0
[pid=26885/tid=26888] ppid=26883 vsize=15417412 memory=1984 CPUtime=0.61 cores=1,3,5,7
/proc/26885/task/26888/stat : 26888 (java) S 26883 26883 24688 0 -1 1077944384 2302 0 0 0 47 14 0 0 20 0 19 0 446265733 15787429888 253141 33554432000 4194304 4196468 140725321963184 140010230839952 140010295666389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9076736 140725321966575 140725321966746 140725321966746 140725321969615 0
[pid=26885/tid=26889] ppid=26883 vsize=15417412 memory=7086240636112360802 CPUtime=0.6 cores=1,3,5,7
/proc/26885/task/26889/stat : 26889 (java) S 26883 26883 24688 0 -1 1077944384 2475 0 0 0 46 14 0 0 20 0 19 0 446265733 15787429888 253141 33554432000 4194304 4196468 140725321963184 140009886243088 140010295666389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9076736 140725321966575 140725321966746 140725321966746 140725321969615 0
[pid=26885/tid=26890] ppid=26883 vsize=15417412 memory=7594030298728260183 CPUtime=0.6 cores=1,3,5,7
/proc/26885/task/26890/stat : 26890 (java) S 26883 26883 24688 0 -1 1077944384 1956 0 0 0 46 14 0 0 20 0 19 0 446265733 15787429888 253141 33554432000 4194304 4196468 140725321963184 140009885190544 140010295666389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9076736 140725321966575 140725321966746 140725321966746 140725321969615 0
[pid=26885/tid=26891] ppid=26883 vsize=15417412 memory=4638778458746409040 CPUtime=0.21 cores=1,3,5,7
/proc/26885/task/26891/stat : 26891 (java) S 26883 26883 24688 0 -1 1077944384 1053 0 0 0 21 0 0 0 20 0 19 0 446265735 15787429888 253141 33554432000 4194304 4196468 140725321963184 140009831459568 140010295667330 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9076736 140725321966575 140725321966746 140725321966746 140725321969615 0
[pid=26885/tid=26892] ppid=26883 vsize=15417412 memory=5450909908396308010 CPUtime=0 cores=1,3,5,7
/proc/26885/task/26892/stat : 26892 (java) S 26883 26883 24688 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 19 0 446265735 15787429888 253141 33554432000 4194304 4196468 140725321963184 140009830405856 140010295666389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9076736 140725321966575 140725321966746 140725321966746 140725321969615 0
[pid=26885/tid=26893] ppid=26883 vsize=15417412 memory=-8253362664378451598 CPUtime=0 cores=1,3,5,7
/proc/26885/task/26893/stat : 26893 (java) S 26883 26883 24688 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 446265735 15787429888 253141 33554432000 4194304 4196468 140725321963184 140009829352704 140010295666389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9076736 140725321966575 140725321966746 140725321966746 140725321969615 0
[pid=26885/tid=26894] ppid=26883 vsize=15417412 memory=4206468019014099040 CPUtime=0 cores=1,3,5,7
/proc/26885/task/26894/stat : 26894 (java) S 26883 26883 24688 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446265738 15787429888 253141 33554432000 4194304 4196468 140725321963184 140009828301264 140010295674779 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9076736 140725321966575 140725321966746 140725321966746 140725321969615 0
[pid=26885/tid=26895] ppid=26883 vsize=15417412 memory=6944613755495348631 CPUtime=0.66 cores=1,3,5,7
/proc/26885/task/26895/stat : 26895 (java) R 26883 26883 24688 0 -1 4202560 1685 0 0 0 66 0 0 0 20 0 19 0 446265738 15787429888 253141 33554432000 4194304 4196468 140725321963184 140009165275104 140010279124427 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 9076736 140725321966575 140725321966746 140725321966746 140725321969615 0
[pid=26885/tid=26896] ppid=26883 vsize=15417412 memory=6944656592455350634 CPUtime=0.68 cores=1,3,5,7
/proc/26885/task/26896/stat : 26896 (java) S 26883 26883 24688 0 -1 1077944384 1172 0 0 0 68 0 0 0 20 0 19 0 446265738 15787429888 253141 33554432000 4194304 4196468 140725321963184 140009164226096 140010295666389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9076736 140725321966575 140725321966746 140725321966746 140725321969615 0
[pid=26885/tid=26897] ppid=26883 vsize=15417412 memory=6944613755361064352 CPUtime=0.52 cores=1,3,5,7
/proc/26885/task/26897/stat : 26897 (java) S 26883 26883 24688 0 -1 1077944384 1872 0 0 0 51 1 0 0 20 0 19 0 446265738 15787429888 253141 33554432000 4194304 4196468 140725321963184 140009163180016 140010295667330 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9076736 140725321966575 140725321966746 140725321966746 140725321969615 0
[pid=26885/tid=26898] ppid=26883 vsize=15417412 memory=-6948047529741492128 CPUtime=0 cores=1,3,5,7
/proc/26885/task/26898/stat : 26898 (java) S 26883 26883 24688 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446265738 15787429888 253141 33554432000 4194304 4196468 140725321963184 140009162127712 140010295666389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9076736 140725321966575 140725321966746 140725321966746 140725321969615 0
[pid=26885/tid=26899] ppid=26883 vsize=15417412 memory=-3252517613198930781 CPUtime=0 cores=1,3,5,7
/proc/26885/task/26899/stat : 26899 (java) S 26883 26883 24688 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446265738 15787429888 253141 33554432000 4194304 4196468 140725321963184 140009161075760 140010295667330 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9076736 140725321966575 140725321966746 140725321966746 140725321969615 0
Current children cumulated CPU time: 7.44 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 1014012 KiB
Child status: 0
Real time (s): 3.63271
CPU time (s): 7.51348
CPU user time (s): 6.77457
CPU system time (s): 0.738908
CPU usage (%): 206.829
Max. virtual memory (cumulated for all children) (KiB): 15530540
Max. memory (cumulated for all children) (KiB): 1014012
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 6.77457
system time used= 0.738908
maximum resident set size= 1014192
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 26268
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2468
involuntary context switches= 100
# summary of solver processes directly reported to runsolver:
# pid: 26883
# total CPU time (s): 7.51348
# total CPU user time (s): 6.77457
# total CPU system time (s): 0.738908
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.038873 second user time and 0.087733 second system time
The end