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 (11727 MiB free)
memory of node 1: 16384 MiB (11323 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4282804-1503214932/watcher-4282804-1503214932 -o /tmp/evaluation-result-4282804-1503214932/solver-4282804-1503214932 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node149-1503210552-7328 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 1290234658 HOME/instance-4282804-1503214932.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 264 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 294 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 240 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=10609, runsolver pid=10606
[startup+0.100537 s]*
/proc/loadavg: 2.43 2.10 1.99 4/217 10625
/proc/meminfo: memFree=23587200/32770624 swapFree=67108860/67108860
[pid=10609] ppid=10606 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/10609/stat : 10609 (xcsp3-exec) S 10606 10609 7296 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 154573937 9740288 346 33554432000 4194304 5098028 140732094396096 140732094394200 140170267816572 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 27291648 140732094403700 140732094403904 140732094403904 140732094406635 0
/proc/10609/statm: 2378 346 289 221 0 87 0
[pid=10611] ppid=10609 vsize=13978596 memory=27900 CPUtime=0.12 cores=1,3,5,7
/proc/10611/stat : 10611 (java) S 10609 10609 7296 0 -1 1077944320 5328 0 0 0 11 1 0 0 20 0 15 0 154573938 14314082304 6975 33554432000 4194304 4196468 140734775636608 140734775619152 140338239803127 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 29589504 140734775641245 140734775641420 140734775641420 140734775644111 0
/proc/10611/statm: 3494649 6975 2866 1 0 3482966 0
[pid=10611/tid=10612] ppid=10609 vsize=13978596 memory=-6962121287837372198 CPUtime=0.08 cores=1,3,5,7
/proc/10611/task/10612/stat : 10612 (java) R 10609 10609 7296 0 -1 4202560 3331 0 0 0 8 0 0 0 20 0 15 0 154573938 14314082304 6975 33554432000 4194304 4196468 140734775636608 140338244035648 140338239815062 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29589504 140734775641245 140734775641420 140734775641420 140734775644111 0
[pid=10611/tid=10613] ppid=10609 vsize=13978596 memory=-3689349214911541841 CPUtime=0 cores=1,3,5,7
/proc/10611/task/10613/stat : 10613 (java) S 10609 10609 7296 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154573939 14314082304 6975 33554432000 4194304 4196468 140734775636608 140338192423696 140338239813333 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29589504 140734775641245 140734775641420 140734775641420 140734775644111 0
[pid=10611/tid=10614] ppid=10609 vsize=13978596 memory=140320345388672 CPUtime=0 cores=1,3,5,7
/proc/10611/task/10614/stat : 10614 (java) S 10609 10609 7296 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154573939 14314082304 6975 33554432000 4194304 4196468 140734775636608 140337834290064 140338239813333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29589504 140734775641245 140734775641420 140734775641420 140734775644111 0
[pid=10611/tid=10615] ppid=10609 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10611/task/10615/stat : 10615 (java) S 10609 10609 7296 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154573939 14314082304 6975 33554432000 4194304 4196468 140734775636608 140337833237520 140338239813333 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29589504 140734775641245 140734775641420 140734775641420 140734775644111 0
[pid=10611/tid=10616] ppid=10609 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10611/task/10616/stat : 10616 (java) S 10609 10609 7296 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154573939 14314082304 6975 33554432000 4194304 4196468 140734775636608 140337832184976 140338239813333 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29589504 140734775641245 140734775641420 140734775641420 140734775644111 0
[pid=10611/tid=10617] ppid=10609 vsize=13978596 memory=140320345388672 CPUtime=0 cores=1,3,5,7
/proc/10611/task/10617/stat : 10617 (java) S 10609 10609 7296 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154573940 14314082304 6975 33554432000 4194304 4196468 140734775636608 140337151973360 140338239814274 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29589504 140734775641245 140734775641420 140734775641420 140734775644111 0
[pid=10611/tid=10618] ppid=10609 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10611/task/10618/stat : 10618 (java) S 10609 10609 7296 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154573941 14314082304 6975 33554432000 4194304 4196468 140734775636608 140337150919584 140338239813333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29589504 140734775641245 140734775641420 140734775641420 140734775644111 0
[pid=10611/tid=10619] ppid=10609 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10611/task/10619/stat : 10619 (java) S 10609 10609 7296 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154573941 14314082304 6975 33554432000 4194304 4196468 140734775636608 140337149866992 140338239813333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29589504 140734775641245 140734775641420 140734775641420 140734775644111 0
[pid=10611/tid=10620] ppid=10609 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10611/task/10620/stat : 10620 (java) S 10609 10609 7296 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154573943 14314082304 6975 33554432000 4194304 4196468 140734775636608 140337148815568 140338239821723 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29589504 140734775641245 140734775641420 140734775641420 140734775644111 0
[pid=10611/tid=10621] ppid=10609 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10611/task/10621/stat : 10621 (java) S 10609 10609 7296 0 -1 1077944384 297 0 0 0 0 0 0 0 20 0 15 0 154573943 14314082304 6975 33554432000 4194304 4196468 140734775636608 140337147763184 140338239814274 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29589504 140734775641245 140734775641420 140734775641420 140734775644111 0
[pid=10611/tid=10622] ppid=10609 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10611/task/10622/stat : 10622 (java) S 10609 10609 7296 0 -1 1077944384 124 0 0 0 0 0 0 0 20 0 15 0 154573943 14314082304 6975 33554432000 4194304 4196468 140734775636608 140337146710640 140338239814274 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29589504 140734775641245 140734775641420 140734775641420 140734775644111 0
[pid=10611/tid=10623] ppid=10609 vsize=13978596 memory=140320345388672 CPUtime=0.01 cores=1,3,5,7
/proc/10611/task/10623/stat : 10623 (java) R 10609 10609 7296 0 -1 4202560 273 0 0 0 1 0 0 0 20 0 15 0 154573943 14314082304 6975 33554432000 4194304 4196468 140734775636608 140337145658096 140338223883614 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29589504 140734775641245 140734775641420 140734775641420 140734775644111 0
[pid=10611/tid=10624] ppid=10609 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10611/task/10624/stat : 10624 (java) S 10609 10609 7296 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154573944 14314082304 6975 33554432000 4194304 4196468 140734775636608 140337144605792 140338239813333 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29589504 140734775641245 140734775641420 140734775641420 140734775644111 0
[pid=10611/tid=10625] ppid=10609 vsize=13978596 memory=140320345388672 CPUtime=0 cores=1,3,5,7
/proc/10611/task/10625/stat : 10625 (java) S 10609 10609 7296 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154573944 14314082304 6975 33554432000 4194304 4196468 140734775636608 140337143552304 140338239814274 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29589504 140734775641245 140734775641420 140734775641420 140734775644111 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 13988108 KiB
Current children cumulated memory: 29284 KiB
[startup+0.210636 s]*
/proc/loadavg: 2.43 2.10 1.99 3/217 10625
/proc/meminfo: memFree=23575152/32770624 swapFree=67108860/67108860
[pid=10609] ppid=10606 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/10609/stat : 10609 (xcsp3-exec) S 10606 10609 7296 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 154573937 9740288 346 33554432000 4194304 5098028 140732094396096 140732094394200 140170267816572 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 27291648 140732094403700 140732094403904 140732094403904 140732094406635 0
/proc/10609/statm: 2378 346 289 221 0 87 0
[pid=10611] ppid=10609 vsize=13982852 memory=40464 CPUtime=0.34 cores=1,3,5,7
/proc/10611/stat : 10611 (java) S 10609 10609 7296 0 -1 1077944320 8100 0 0 0 32 2 0 0 20 0 15 0 154573938 14318440448 10116 33554432000 4194304 4196468 140734775636608 140734775619152 140338239803127 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 29589504 140734775641245 140734775641420 140734775641420 140734775644111 0
/proc/10611/statm: 3495713 10116 3056 1 0 3482966 0
[pid=10611/tid=10612] ppid=10609 vsize=13982852 memory=7883960649037381690 CPUtime=0.19 cores=1,3,5,7
/proc/10611/task/10612/stat : 10612 (java) D 10609 10609 7296 0 -1 1077944384 5273 0 0 0 18 1 0 0 20 0 15 0 154573938 14318440448 10116 33554432000 4194304 4196468 140734775636608 140338244013920 140338232482349 0 4 0 16800975 18446744072101568036 0 0 -1 1 0 0 0 0 0 6293624 6294260 29589504 140734775641245 140734775641420 140734775641420 140734775644111 0
[pid=10611/tid=10613] ppid=10609 vsize=13982852 memory=8911 CPUtime=0 cores=1,3,5,7
/proc/10611/task/10613/stat : 10613 (java) S 10609 10609 7296 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154573939 14318440448 10116 33554432000 4194304 4196468 140734775636608 140338192423696 140338239813333 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29589504 140734775641245 140734775641420 140734775641420 140734775644111 0
[pid=10611/tid=10614] ppid=10609 vsize=13982852 memory=140320346434937 CPUtime=0 cores=1,3,5,7
/proc/10611/task/10614/stat : 10614 (java) S 10609 10609 7296 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154573939 14318440448 10116 33554432000 4194304 4196468 140734775636608 140337834290064 140338239813333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29589504 140734775641245 140734775641420 140734775641420 140734775644111 0
[pid=10611/tid=10615] ppid=10609 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10611/task/10615/stat : 10615 (java) S 10609 10609 7296 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154573939 14318440448 10116 33554432000 4194304 4196468 140734775636608 140337833237520 140338239813333 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29589504 140734775641245 140734775641420 140734775641420 140734775644111 0
[pid=10611/tid=10616] ppid=10609 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10611/task/10616/stat : 10616 (java) S 10609 10609 7296 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154573939 14318440448 10116 33554432000 4194304 4196468 140734775636608 140337832184976 140338239813333 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29589504 140734775641245 140734775641420 140734775641420 140734775644111 0
[pid=10611/tid=10617] ppid=10609 vsize=13982852 memory=140320345388672 CPUtime=0 cores=1,3,5,7
/proc/10611/task/10617/stat : 10617 (java) S 10609 10609 7296 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 154573940 14318440448 10116 33554432000 4194304 4196468 140734775636608 140337151973360 140338239814274 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29589504 140734775641245 140734775641420 140734775641420 140734775644111 0
[pid=10611/tid=10618] ppid=10609 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10611/task/10618/stat : 10618 (java) S 10609 10609 7296 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154573941 14318440448 10116 33554432000 4194304 4196468 140734775636608 140337150919584 140338239813333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29589504 140734775641245 140734775641420 140734775641420 140734775644111 0
[pid=10611/tid=10619] ppid=10609 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10611/task/10619/stat : 10619 (java) S 10609 10609 7296 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154573941 14318440448 10116 33554432000 4194304 4196468 140734775636608 140337149866992 140338239813333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29589504 140734775641245 140734775641420 140734775641420 140734775644111 0
[pid=10611/tid=10620] ppid=10609 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10611/task/10620/stat : 10620 (java) S 10609 10609 7296 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154573943 14318440448 10116 33554432000 4194304 4196468 140734775636608 140337148815568 140338239821723 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29589504 140734775641245 140734775641420 140734775641420 140734775644111 0
[pid=10611/tid=10621] ppid=10609 vsize=13982852 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/10611/task/10621/stat : 10621 (java) S 10609 10609 7296 0 -1 1077944384 426 0 0 0 2 0 0 0 20 0 15 0 154573943 14318440448 10116 33554432000 4194304 4196468 140734775636608 140337147763184 140338239814274 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29589504 140734775641245 140734775641420 140734775641420 140734775644111 0
[pid=10611/tid=10622] ppid=10609 vsize=13982852 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/10611/task/10622/stat : 10622 (java) S 10609 10609 7296 0 -1 1077944384 361 0 0 0 2 0 0 0 20 0 15 0 154573943 14318440448 10116 33554432000 4194304 4196468 140734775636608 140337146710640 140338239814274 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29589504 140734775641245 140734775641420 140734775641420 140734775644111 0
[pid=10611/tid=10623] ppid=10609 vsize=13982852 memory=140320345388672 CPUtime=0.08 cores=1,3,5,7
/proc/10611/task/10623/stat : 10623 (java) S 10609 10609 7296 0 -1 1077944384 740 0 0 0 8 0 0 0 20 0 15 0 154573943 14318440448 10116 33554432000 4194304 4196468 140734775636608 140337145658096 140338239814274 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29589504 140734775641245 140734775641420 140734775641420 140734775644111 0
[pid=10611/tid=10624] ppid=10609 vsize=13982884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10611/task/10624/stat : 10624 (java) S 10609 10609 7296 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154573944 14318473216 10116 33554432000 4194304 4196468 140734775636608 140337144605792 140338239813333 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29589504 140734775641245 140734775641420 140734775641420 140734775644111 0
[pid=10611/tid=10625] ppid=10609 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10611/task/10625/stat : 10625 (java) S 10609 10609 7296 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154573944 14318440448 10116 33554432000 4194304 4196468 140734775636608 140337143552304 140338239814274 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29589504 140734775641245 140734775641420 140734775641420 140734775644111 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 41848 KiB
[startup+0.311785 s]*
/proc/loadavg: 2.43 2.10 1.99 3/217 10625
/proc/meminfo: memFree=23568832/32770624 swapFree=67108860/67108860
[pid=10609] ppid=10606 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/10609/stat : 10609 (xcsp3-exec) S 10606 10609 7296 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 154573937 9740288 346 33554432000 4194304 5098028 140732094396096 140732094394200 140170267816572 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 27291648 140732094403700 140732094403904 140732094403904 140732094406635 0
/proc/10609/statm: 2378 346 289 221 0 87 0
[pid=10611] ppid=10609 vsize=13982852 memory=47192 CPUtime=0.51 cores=1,3,5,7
/proc/10611/stat : 10611 (java) S 10609 10609 7296 0 -1 1077944320 9017 0 0 0 48 3 0 0 20 0 15 0 154573938 14318440448 11798 33554432000 4194304 4196468 140734775636608 140734775619152 140338239803127 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 29589504 140734775641245 140734775641420 140734775641420 140734775644111 0
/proc/10611/statm: 3495713 11798 3067 1 0 3482966 0
[pid=10611/tid=10612] ppid=10609 vsize=13982852 memory=6791534058613427641 CPUtime=0.29 cores=1,3,5,7
/proc/10611/task/10612/stat : 10612 (java) R 10609 10609 7296 0 -1 4202560 5973 0 0 0 27 2 0 0 20 0 15 0 154573938 14318440448 11798 33554432000 4194304 4196468 140734775636608 140338244025968 140338223883614 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29589504 140734775641245 140734775641420 140734775641420 140734775644111 0
[pid=10611/tid=10613] ppid=10609 vsize=13982852 memory=4126316290023845779 CPUtime=0 cores=1,3,5,7
/proc/10611/task/10613/stat : 10613 (java) S 10609 10609 7296 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154573939 14318440448 11798 33554432000 4194304 4196468 140734775636608 140338192423696 140338239813333 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29589504 140734775641245 140734775641420 140734775641420 140734775644111 0
[pid=10611/tid=10614] ppid=10609 vsize=13982852 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/10611/task/10614/stat : 10614 (java) S 10609 10609 7296 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154573939 14318440448 11798 33554432000 4194304 4196468 140734775636608 140337834290064 140338239813333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29589504 140734775641245 140734775641420 140734775641420 140734775644111 0
[pid=10611/tid=10615] ppid=10609 vsize=13982852 memory=-5587046532246807594 CPUtime=0 cores=1,3,5,7
/proc/10611/task/10615/stat : 10615 (java) S 10609 10609 7296 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154573939 14318440448 11798 33554432000 4194304 4196468 140734775636608 140337833237520 140338239813333 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29589504 140734775641245 140734775641420 140734775641420 140734775644111 0
[pid=10611/tid=10616] ppid=10609 vsize=13982852 memory=7307460116655545206 CPUtime=0 cores=1,3,5,7
/proc/10611/task/10616/stat : 10616 (java) S 10609 10609 7296 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154573939 14318440448 11798 33554432000 4194304 4196468 140734775636608 140337832184976 140338239813333 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29589504 140734775641245 140734775641420 140734775641420 140734775644111 0
[pid=10611/tid=10617] ppid=10609 vsize=13982852 memory=7016714186490735262 CPUtime=0 cores=1,3,5,7
/proc/10611/task/10617/stat : 10617 (java) S 10609 10609 7296 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 154573940 14318440448 11798 33554432000 4194304 4196468 140734775636608 140337151973360 140338239814274 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29589504 140734775641245 140734775641420 140734775641420 140734775644111 0
[pid=10611/tid=10618] ppid=10609 vsize=13982852 memory=-9062862659931694204 CPUtime=0 cores=1,3,5,7
/proc/10611/task/10618/stat : 10618 (java) S 10609 10609 7296 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154573941 14318440448 11798 33554432000 4194304 4196468 140734775636608 140337150919584 140338239813333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29589504 140734775641245 140734775641420 140734775641420 140734775644111 0
[pid=10611/tid=10619] ppid=10609 vsize=13982852 memory=3047711566422646390 CPUtime=0 cores=1,3,5,7
/proc/10611/task/10619/stat : 10619 (java) S 10609 10609 7296 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154573941 14318440448 11798 33554432000 4194304 4196468 140734775636608 140337149866992 140338239813333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29589504 140734775641245 140734775641420 140734775641420 140734775644111 0
[pid=10611/tid=10620] ppid=10609 vsize=13982852 memory=8982046290584177472 CPUtime=0 cores=1,3,5,7
/proc/10611/task/10620/stat : 10620 (java) S 10609 10609 7296 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154573943 14318440448 11798 33554432000 4194304 4196468 140734775636608 140337148815568 140338239821723 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29589504 140734775641245 140734775641420 140734775641420 140734775644111 0
[pid=10611/tid=10621] ppid=10609 vsize=13982852 memory=4630099104583218061 CPUtime=0.04 cores=1,3,5,7
/proc/10611/task/10621/stat : 10621 (java) S 10609 10609 7296 0 -1 1077944384 437 0 0 0 4 0 0 0 20 0 15 0 154573943 14318440448 11798 33554432000 4194304 4196468 140734775636608 140337147763184 140338239814274 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29589504 140734775641245 140734775641420 140734775641420 140734775644111 0
[pid=10611/tid=10622] ppid=10609 vsize=13982852 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/10611/task/10622/stat : 10622 (java) S 10609 10609 7296 0 -1 1077944384 375 0 0 0 3 0 0 0 20 0 15 0 154573943 14318440448 11798 33554432000 4194304 4196468 140734775636608 140337146710640 140338239814274 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29589504 140734775641245 140734775641420 140734775641420 140734775644111 0
[pid=10611/tid=10623] ppid=10609 vsize=13982852 memory=0 CPUtime=0.13 cores=1,3,5,7
/proc/10611/task/10623/stat : 10623 (java) R 10609 10609 7296 0 -1 4202560 929 0 0 0 13 0 0 0 20 0 15 0 154573943 14318440448 11798 33554432000 4194304 4196468 140734775636608 140337145655904 140338218782938 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29589504 140734775641245 140734775641420 140734775641420 140734775644111 0
[pid=10611/tid=10624] ppid=10609 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10611/task/10624/stat : 10624 (java) S 10609 10609 7296 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154573944 14318440448 11798 33554432000 4194304 4196468 140734775636608 140337144605792 140338239813333 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29589504 140734775641245 140734775641420 140734775641420 140734775644111 0
[pid=10611/tid=10625] ppid=10609 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10611/task/10625/stat : 10625 (java) S 10609 10609 7296 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154573944 14318440448 11798 33554432000 4194304 4196468 140734775636608 140337143552304 140338239814274 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29589504 140734775641245 140734775641420 140734775641420 140734775644111 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 48576 KiB
[startup+0.634601 s]
# the end of solver process 10609 was just reported to runsolver
# cumulated CPU time of all completed processes: user=1.37324 s, system=0.05417 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+0.410783 s]*
/proc/loadavg: 2.43 2.10 1.99 3/217 10625
/proc/meminfo: memFree=23560088/32770624 swapFree=67108860/67108860
[pid=10609] ppid=10606 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/10609/stat : 10609 (xcsp3-exec) S 10606 10609 7296 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 154573937 9740288 346 33554432000 4194304 5098028 140732094396096 140732094394200 140170267816572 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 27291648 140732094403700 140732094403904 140732094403904 140732094406635 0
/proc/10609/statm: 2378 346 289 221 0 87 0
[pid=10611] ppid=10609 vsize=13982928 memory=56356 CPUtime=0.75 cores=1,3,5,7
/proc/10611/stat : 10611 (java) S 10609 10609 7296 0 -1 1077944320 10289 0 0 0 72 3 0 0 20 0 15 0 154573938 14318518272 14089 33554432000 4194304 4196468 140734775636608 140734775619152 140338239803127 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 29589504 140734775641245 140734775641420 140734775641420 140734775644111 0
/proc/10611/statm: 3495732 14089 3159 1 0 3482966 0
[pid=10611/tid=10612] ppid=10609 vsize=13982928 memory=7883960649037381690 CPUtime=0.39 cores=1,3,5,7
/proc/10611/task/10612/stat : 10612 (java) D 10609 10609 7296 0 -1 4202560 6294 0 0 0 37 2 0 0 20 0 15 0 154573938 14318518272 14089 33554432000 4194304 4196468 140734775636608 140338244037288 140338232520090 0 4 0 16800975 18446744071582151463 0 0 -1 1 0 0 0 0 0 6293624 6294260 29589504 140734775641245 140734775641420 140734775641420 140734775644111 0
[pid=10611/tid=10613] ppid=10609 vsize=13982928 memory=8911 CPUtime=0 cores=1,3,5,7
/proc/10611/task/10613/stat : 10613 (java) S 10609 10609 7296 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154573939 14318518272 14089 33554432000 4194304 4196468 140734775636608 140338192423696 140338239813333 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29589504 140734775641245 140734775641420 140734775641420 140734775644111 0
[pid=10611/tid=10614] ppid=10609 vsize=13982928 memory=140320346434937 CPUtime=0 cores=1,3,5,7
/proc/10611/task/10614/stat : 10614 (java) S 10609 10609 7296 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154573939 14318518272 14089 33554432000 4194304 4196468 140734775636608 140337834290064 140338239813333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29589504 140734775641245 140734775641420 140734775641420 140734775644111 0
[pid=10611/tid=10615] ppid=10609 vsize=13982928 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10611/task/10615/stat : 10615 (java) S 10609 10609 7296 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154573939 14318518272 14089 33554432000 4194304 4196468 140734775636608 140337833237520 140338239813333 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29589504 140734775641245 140734775641420 140734775641420 140734775644111 0
[pid=10611/tid=10616] ppid=10609 vsize=13982928 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10611/task/10616/stat : 10616 (java) S 10609 10609 7296 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154573939 14318518272 14089 33554432000 4194304 4196468 140734775636608 140337832184976 140338239813333 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29589504 140734775641245 140734775641420 140734775641420 140734775644111 0
[pid=10611/tid=10617] ppid=10609 vsize=13982928 memory=140320345388672 CPUtime=0 cores=1,3,5,7
/proc/10611/task/10617/stat : 10617 (java) S 10609 10609 7296 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 154573940 14318518272 14089 33554432000 4194304 4196468 140734775636608 140337151973360 140338239814274 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29589504 140734775641245 140734775641420 140734775641420 140734775644111 0
[pid=10611/tid=10618] ppid=10609 vsize=13982928 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10611/task/10618/stat : 10618 (java) S 10609 10609 7296 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154573941 14318518272 14089 33554432000 4194304 4196468 140734775636608 140337150919584 140338239813333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29589504 140734775641245 140734775641420 140734775641420 140734775644111 0
[pid=10611/tid=10619] ppid=10609 vsize=13982928 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10611/task/10619/stat : 10619 (java) S 10609 10609 7296 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154573941 14318518272 14089 33554432000 4194304 4196468 140734775636608 140337149866992 140338239813333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29589504 140734775641245 140734775641420 140734775641420 140734775644111 0
[pid=10611/tid=10620] ppid=10609 vsize=13982928 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10611/task/10620/stat : 10620 (java) S 10609 10609 7296 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154573943 14318518272 14089 33554432000 4194304 4196468 140734775636608 140337148815568 140338239821723 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29589504 140734775641245 140734775641420 140734775641420 140734775644111 0
[pid=10611/tid=10621] ppid=10609 vsize=13982928 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/10611/task/10621/stat : 10621 (java) R 10609 10609 7296 0 -1 4202560 806 0 0 0 8 0 0 0 20 0 15 0 154573943 14318518272 14089 33554432000 4194304 4196468 140734775636608 140337147749208 140338219520263 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29589504 140734775641245 140734775641420 140734775641420 140734775644111 0
[pid=10611/tid=10622] ppid=10609 vsize=13982928 memory=-1 CPUtime=0.06 cores=1,3,5,7
/proc/10611/task/10622/stat : 10622 (java) R 10609 10609 7296 0 -1 4202560 581 0 0 0 6 0 0 0 20 0 15 0 154573943 14318518272 14089 33554432000 4194304 4196468 140734775636608 140337146691544 140338219465406 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29589504 140734775641245 140734775641420 140734775641420 140734775644111 0
[pid=10611/tid=10623] ppid=10609 vsize=13982928 memory=140320345388672 CPUtime=0.21 cores=1,3,5,7
/proc/10611/task/10623/stat : 10623 (java) D 10609 10609 7296 0 -1 4202560 1300 0 0 0 21 0 0 0 20 0 15 0 154573943 14318518272 14089 33554432000 4194304 4196468 140734775636608 140337145655352 140338232520090 0 4 0 16800975 18446744071582151463 0 0 -1 3 0 0 0 0 0 6293624 6294260 29589504 140734775641245 140734775641420 140734775641420 140734775644111 0
[pid=10611/tid=10624] ppid=10609 vsize=13982928 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10611/task/10624/stat : 10624 (java) S 10609 10609 7296 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154573944 14318518272 14089 33554432000 4194304 4196468 140734775636608 140337144605792 140338239813333 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29589504 140734775641245 140734775641420 140734775641420 140734775644111 0
[pid=10611/tid=10625] ppid=10609 vsize=13982928 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10611/task/10625/stat : 10625 (java) S 10609 10609 7296 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154573944 14318518272 14089 33554432000 4194304 4196468 140734775636608 140337143552304 140338239814274 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29589504 140734775641245 140734775641420 140734775641420 140734775644111 0
Current children cumulated CPU time: 0.75 s
Current children cumulated vsize: 13992440 KiB
Current children cumulated memory: 57740 KiB
[startup+0.610859 s]
/proc/loadavg: 2.43 2.10 1.99 6/217 10625
/proc/meminfo: memFree=23548176/32770624 swapFree=67108860/67108860
[pid=10609] ppid=10606 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/10609/stat : 10609 (xcsp3-exec) S 10606 10609 7296 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 154573937 9740288 346 33554432000 4194304 5098028 140732094396096 140732094394200 140170267816572 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 27291648 140732094403700 140732094403904 140732094403904 140732094406635 0
/proc/10609/statm: 2378 346 289 221 0 87 0
[pid=10611] ppid=10609 vsize=13984976 memory=71832 CPUtime=1.37 cores=1,3,5,7
/proc/10611/stat : 10611 (java) S 10609 10609 7296 0 -1 1077944320 11596 0 0 0 133 4 0 0 20 0 15 0 154573938 14320615424 17958 33554432000 4194304 4196468 140734775636608 140734775619152 140338239803127 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 29589504 140734775641245 140734775641420 140734775641420 140734775644111 0
/proc/10611/statm: 3496244 17958 3202 1 0 3483478 0
[pid=10611/tid=10612] ppid=10609 vsize=13984976 memory=13565994345957952 CPUtime=0.57 cores=1,3,5,7
/proc/10611/task/10612/stat : 10612 (java) R 10609 10609 7296 0 -1 4202560 6691 0 0 0 54 3 0 0 20 0 15 0 154573938 14320615424 17958 33554432000 4194304 4196468 140734775636608 140338244042552 140337875723505 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 29589504 140734775641245 140734775641420 140734775641420 140734775644111 0
[pid=10611/tid=10613] ppid=10609 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10611/task/10613/stat : 10613 (java) S 10609 10609 7296 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154573939 14320615424 17958 33554432000 4194304 4196468 140734775636608 140338192423696 140338239813333 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29589504 140734775641245 140734775641420 140734775641420 140734775644111 0
[pid=10611/tid=10614] ppid=10609 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10611/task/10614/stat : 10614 (java) S 10609 10609 7296 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154573939 14320615424 17958 33554432000 4194304 4196468 140734775636608 140337834290064 140338239813333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29589504 140734775641245 140734775641420 140734775641420 140734775644111 0
[pid=10611/tid=10615] ppid=10609 vsize=13984976 memory=6656426216303648864 CPUtime=0 cores=1,3,5,7
/proc/10611/task/10615/stat : 10615 (java) S 10609 10609 7296 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154573939 14320615424 17958 33554432000 4194304 4196468 140734775636608 140337833237520 140338239813333 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29589504 140734775641245 140734775641420 140734775641420 140734775644111 0
[pid=10611/tid=10616] ppid=10609 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10611/task/10616/stat : 10616 (java) S 10609 10609 7296 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154573939 14320615424 17958 33554432000 4194304 4196468 140734775636608 140337832184976 140338239813333 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29589504 140734775641245 140734775641420 140734775641420 140734775644111 0
[pid=10611/tid=10617] ppid=10609 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10611/task/10617/stat : 10617 (java) S 10609 10609 7296 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 154573940 14320615424 17958 33554432000 4194304 4196468 140734775636608 140337151973360 140338239814274 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29589504 140734775641245 140734775641420 140734775641420 140734775644111 0
[pid=10611/tid=10618] ppid=10609 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10611/task/10618/stat : 10618 (java) S 10609 10609 7296 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154573941 14320615424 17958 33554432000 4194304 4196468 140734775636608 140337150919584 140338239813333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29589504 140734775641245 140734775641420 140734775641420 140734775644111 0
[pid=10611/tid=10619] ppid=10609 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10611/task/10619/stat : 10619 (java) S 10609 10609 7296 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154573941 14320615424 17958 33554432000 4194304 4196468 140734775636608 140337149866992 140338239813333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29589504 140734775641245 140734775641420 140734775641420 140734775644111 0
[pid=10611/tid=10620] ppid=10609 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10611/task/10620/stat : 10620 (java) S 10609 10609 7296 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154573943 14320615424 17958 33554432000 4194304 4196468 140734775636608 140337148815568 140338239821723 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29589504 140734775641245 140734775641420 140734775641420 140734775644111 0
[pid=10611/tid=10621] ppid=10609 vsize=13984976 memory=0 CPUtime=0.23 cores=1,3,5,7
/proc/10611/task/10621/stat : 10621 (java) R 10609 10609 7296 0 -1 4202560 957 0 0 0 23 0 0 0 20 0 15 0 154573943 14320615424 17958 33554432000 4194304 4196468 140734775636608 140337147763312 140338223214018 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29589504 140734775641245 140734775641420 140734775641420 140734775644111 0
[pid=10611/tid=10622] ppid=10609 vsize=13984976 memory=0 CPUtime=0.23 cores=1,3,5,7
/proc/10611/task/10622/stat : 10622 (java) R 10609 10609 7296 0 -1 4202560 1026 0 0 0 23 0 0 0 20 0 15 0 154573943 14320615424 17958 33554432000 4194304 4196468 140734775636608 140337146701616 140338223286573 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29589504 140734775641245 140734775641420 140734775641420 140734775644111 0
[pid=10611/tid=10623] ppid=10609 vsize=13984976 memory=0 CPUtime=0.31 cores=1,3,5,7
/proc/10611/task/10623/stat : 10623 (java) S 10609 10609 7296 0 -1 1077944384 1614 0 0 0 31 0 0 0 20 0 15 0 154573943 14320615424 17958 33554432000 4194304 4196468 140734775636608 140337145658096 140338239814274 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29589504 140734775641245 140734775641420 140734775641420 140734775644111 0
[pid=10611/tid=10624] ppid=10609 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10611/task/10624/stat : 10624 (java) S 10609 10609 7296 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154573944 14320615424 17958 33554432000 4194304 4196468 140734775636608 140337144605792 140338239813333 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29589504 140734775641245 140734775641420 140734775641420 140734775644111 0
[pid=10611/tid=10625] ppid=10609 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10611/task/10625/stat : 10625 (java) S 10609 10609 7296 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154573944 14320615424 17958 33554432000 4194304 4196468 140734775636608 140337143552304 140338239814274 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29589504 140734775641245 140734775641420 140734775641420 140734775644111 0
Current children cumulated CPU time: 1.37 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 73216 KiB
Child status: 0
Real time (s): 0.634658
CPU time (s): 1.42741
CPU user time (s): 1.37324
CPU system time (s): 0.05417
CPU usage (%): 224.91
Max. virtual memory (cumulated for all children) (KiB): 13994488
Max. memory (cumulated for all children) (KiB): 73216
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.37324
system time used= 0.05417
maximum resident set size= 72432
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 12156
page faults= 0
swaps= 0
block input operations= 0
block output operations= 72
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1396
involuntary context switches= 8
# summary of solver processes directly reported to runsolver:
# pid: 10609
# total CPU time (s): 1.42741
# total CPU user time (s): 1.37324
# total CPU system time (s): 0.05417
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.026444 second user time and 0.048897 second system time
The end