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 (12257 MiB free)
memory of node 1: 16384 MiB (13547 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4269815-1502786381/watcher-4269815-1502786381 -o /tmp/evaluation-result-4269815-1502786381/solver-4269815-1502786381 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node105-1502785522-15705 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 523668418 HOME/instance-4269815-1502786381.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=15724, runsolver pid=15721
[startup+0.100172 s]*
/proc/loadavg: 8.15 8.68 8.72 3/198 15740
/proc/meminfo: memFree=26390660/32770624 swapFree=67108860/67108860
[pid=15724] ppid=15721 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/15724/stat : 15724 (xcsp3-exec) S 15721 15724 15674 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 111709701 9740288 345 33554432000 4194304 5098028 140721333619632 140721333617736 140630152811132 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 8171520 140721333625967 140721333626171 140721333626171 140721333628907 0
/proc/15724/statm: 2378 345 289 221 0 87 0
[pid=15726] ppid=15724 vsize=13978596 memory=26744 CPUtime=0.12 cores=0,2,4,6
/proc/15726/stat : 15726 (java) S 15724 15724 15674 0 -1 1077944320 5598 0 0 0 11 1 0 0 20 0 15 0 111709701 14314082304 6686 33554432000 4194304 4196468 140722604101200 140722604083744 140710407749367 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 19906560 140722604106903 140722604107079 140722604107079 140722604109775 0
/proc/15726/statm: 3494649 6686 2854 1 0 3482966 0
[pid=15726/tid=15727] ppid=15724 vsize=13978596 memory=-6517102902069810590 CPUtime=0.08 cores=0,2,4,6
/proc/15726/task/15727/stat : 15727 (java) R 15724 15724 15674 0 -1 4202560 3571 0 0 0 8 0 0 0 20 0 15 0 111709701 14314082304 6686 33554432000 4194304 4196468 140722604101200 140710411980672 140710407761302 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19906560 140722604106903 140722604107079 140722604107079 140722604109775 0
[pid=15726/tid=15728] ppid=15724 vsize=13978596 memory=-9181546050914066336 CPUtime=0 cores=0,2,4,6
/proc/15726/task/15728/stat : 15728 (java) S 15724 15724 15674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 111709702 14314082304 6686 33554432000 4194304 4196468 140722604101200 140710377462160 140710407759573 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19906560 140722604106903 140722604107079 140722604107079 140722604109775 0
[pid=15726/tid=15729] ppid=15724 vsize=13978596 memory=140540535502464 CPUtime=0 cores=0,2,4,6
/proc/15726/task/15729/stat : 15729 (java) S 15724 15724 15674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 111709702 14314082304 6686 33554432000 4194304 4196468 140722604101200 140710002956560 140710407759573 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19906560 140722604106903 140722604107079 140722604107079 140722604109775 0
[pid=15726/tid=15730] ppid=15724 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15726/task/15730/stat : 15730 (java) S 15724 15724 15674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 111709702 14314082304 6686 33554432000 4194304 4196468 140722604101200 140710001904272 140710407759573 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19906560 140722604106903 140722604107079 140722604107079 140722604109775 0
[pid=15726/tid=15731] ppid=15724 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/15726/task/15731/stat : 15731 (java) S 15724 15724 15674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 111709702 14314082304 6686 33554432000 4194304 4196468 140722604101200 140710000851472 140710407759573 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19906560 140722604106903 140722604107079 140722604107079 140722604109775 0
[pid=15726/tid=15732] ppid=15724 vsize=13978596 memory=140540535502464 CPUtime=0 cores=0,2,4,6
/proc/15726/task/15732/stat : 15732 (java) S 15724 15724 15674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 111709703 14314082304 6686 33554432000 4194304 4196468 140722604101200 140709320247920 140710407760514 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19906560 140722604106903 140722604107079 140722604107079 140722604109775 0
[pid=15726/tid=15733] ppid=15724 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/15726/task/15733/stat : 15733 (java) S 15724 15724 15674 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 111709704 14314082304 6686 33554432000 4194304 4196468 140722604101200 140709319193888 140710407759573 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19906560 140722604106903 140722604107079 140722604107079 140722604109775 0
[pid=15726/tid=15734] ppid=15724 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15726/task/15734/stat : 15734 (java) S 15724 15724 15674 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 111709704 14314082304 6686 33554432000 4194304 4196468 140722604101200 140709318141552 140710407759573 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19906560 140722604106903 140722604107079 140722604107079 140722604109775 0
[pid=15726/tid=15735] ppid=15724 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15726/task/15735/stat : 15735 (java) S 15724 15724 15674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 111709706 14314082304 6686 33554432000 4194304 4196468 140722604101200 140709317089872 140710407767963 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19906560 140722604106903 140722604107079 140722604107079 140722604109775 0
[pid=15726/tid=15736] ppid=15724 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15726/task/15736/stat : 15736 (java) R 15724 15724 15674 0 -1 1077944384 311 0 0 0 0 0 0 0 20 0 15 0 111709706 14314082304 6686 33554432000 4194304 4196468 140722604101200 140709316036720 140710407760514 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19906560 140722604106903 140722604107079 140722604107079 140722604109775 0
[pid=15726/tid=15737] ppid=15724 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/15726/task/15737/stat : 15737 (java) S 15724 15724 15674 0 -1 1077944384 132 0 0 0 0 0 0 0 20 0 15 0 111709706 14314082304 6686 33554432000 4194304 4196468 140722604101200 140709314983920 140710407760514 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19906560 140722604106903 140722604107079 140722604107079 140722604109775 0
[pid=15726/tid=15738] ppid=15724 vsize=13978596 memory=140540535502464 CPUtime=0.01 cores=0,2,4,6
/proc/15726/task/15738/stat : 15738 (java) R 15724 15724 15674 0 -1 1077944384 281 0 0 0 1 0 0 0 20 0 15 0 111709706 14314082304 6686 33554432000 4194304 4196468 140722604101200 140709313931632 140710407760514 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19906560 140722604106903 140722604107079 140722604107079 140722604109775 0
[pid=15726/tid=15739] ppid=15724 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/15726/task/15739/stat : 15739 (java) S 15724 15724 15674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 111709707 14314082304 6686 33554432000 4194304 4196468 140722604101200 140709312879072 140710407759573 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19906560 140722604106903 140722604107079 140722604107079 140722604109775 0
[pid=15726/tid=15740] ppid=15724 vsize=13978596 memory=140540535502464 CPUtime=0 cores=0,2,4,6
/proc/15726/task/15740/stat : 15740 (java) S 15724 15724 15674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 111709707 14314082304 6686 33554432000 4194304 4196468 140722604101200 140709311826864 140710407760514 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19906560 140722604106903 140722604107079 140722604107079 140722604109775 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 13988108 KiB
Current children cumulated memory: 28124 KiB
[startup+0.210762 s]*
/proc/loadavg: 8.15 8.68 8.72 4/198 15740
/proc/meminfo: memFree=26365592/32770624 swapFree=67108860/67108860
[pid=15724] ppid=15721 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/15724/stat : 15724 (xcsp3-exec) S 15721 15724 15674 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 111709701 9740288 345 33554432000 4194304 5098028 140721333619632 140721333617736 140630152811132 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 8171520 140721333625967 140721333626171 140721333626171 140721333628907 0
/proc/15724/statm: 2378 345 289 221 0 87 0
[pid=15726] ppid=15724 vsize=13982852 memory=39400 CPUtime=0.33 cores=0,2,4,6
/proc/15726/stat : 15726 (java) S 15724 15724 15674 0 -1 1077944320 8363 0 0 0 31 2 0 0 20 0 15 0 111709701 14318440448 9850 33554432000 4194304 4196468 140722604101200 140722604083744 140710407749367 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 19906560 140722604106903 140722604107079 140722604107079 140722604109775 0
/proc/15726/statm: 3495713 9850 3085 1 0 3482966 0
[pid=15726/tid=15727] ppid=15724 vsize=13982852 memory=7022364594140610616 CPUtime=0.19 cores=0,2,4,6
/proc/15726/task/15727/stat : 15727 (java) R 15724 15724 15674 0 -1 4202560 5333 0 0 0 18 1 0 0 20 0 15 0 111709701 14318440448 9850 33554432000 4194304 4196468 140722604101200 140710411970360 140710391829854 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19906560 140722604106903 140722604107079 140722604107079 140722604109775 0
[pid=15726/tid=15728] ppid=15724 vsize=13982852 memory=342 CPUtime=0 cores=0,2,4,6
/proc/15726/task/15728/stat : 15728 (java) S 15724 15724 15674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 111709702 14318440448 9850 33554432000 4194304 4196468 140722604101200 140710377462160 140710407759573 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19906560 140722604106903 140722604107079 140722604107079 140722604109775 0
[pid=15726/tid=15729] ppid=15724 vsize=13982852 memory=140540535518325 CPUtime=0 cores=0,2,4,6
/proc/15726/task/15729/stat : 15729 (java) S 15724 15724 15674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 111709702 14318440448 9850 33554432000 4194304 4196468 140722604101200 140710002956560 140710407759573 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19906560 140722604106903 140722604107079 140722604107079 140722604109775 0
[pid=15726/tid=15730] ppid=15724 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15726/task/15730/stat : 15730 (java) S 15724 15724 15674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 111709702 14318440448 9850 33554432000 4194304 4196468 140722604101200 140710001904272 140710407759573 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19906560 140722604106903 140722604107079 140722604107079 140722604109775 0
[pid=15726/tid=15731] ppid=15724 vsize=13982852 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/15726/task/15731/stat : 15731 (java) S 15724 15724 15674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 111709702 14318440448 9850 33554432000 4194304 4196468 140722604101200 140710000851472 140710407759573 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19906560 140722604106903 140722604107079 140722604107079 140722604109775 0
[pid=15726/tid=15732] ppid=15724 vsize=13982852 memory=140540535502464 CPUtime=0 cores=0,2,4,6
/proc/15726/task/15732/stat : 15732 (java) S 15724 15724 15674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 111709703 14318440448 9850 33554432000 4194304 4196468 140722604101200 140709320247920 140710407760514 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19906560 140722604106903 140722604107079 140722604107079 140722604109775 0
[pid=15726/tid=15733] ppid=15724 vsize=13982852 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/15726/task/15733/stat : 15733 (java) S 15724 15724 15674 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 111709704 14318440448 9850 33554432000 4194304 4196468 140722604101200 140709319193888 140710407759573 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19906560 140722604106903 140722604107079 140722604107079 140722604109775 0
[pid=15726/tid=15734] ppid=15724 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15726/task/15734/stat : 15734 (java) S 15724 15724 15674 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 111709704 14318440448 9850 33554432000 4194304 4196468 140722604101200 140709318141552 140710407759573 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19906560 140722604106903 140722604107079 140722604107079 140722604109775 0
[pid=15726/tid=15735] ppid=15724 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15726/task/15735/stat : 15735 (java) S 15724 15724 15674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 111709706 14318440448 9850 33554432000 4194304 4196468 140722604101200 140709317089872 140710407767963 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19906560 140722604106903 140722604107079 140722604107079 140722604109775 0
[pid=15726/tid=15736] ppid=15724 vsize=13982852 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/15726/task/15736/stat : 15736 (java) S 15724 15724 15674 0 -1 1077944384 466 0 0 0 3 0 0 0 20 0 15 0 111709706 14318440448 9850 33554432000 4194304 4196468 140722604101200 140709316036720 140710407760514 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19906560 140722604106903 140722604107079 140722604107079 140722604109775 0
[pid=15726/tid=15737] ppid=15724 vsize=13982852 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/15726/task/15737/stat : 15737 (java) S 15724 15724 15674 0 -1 1077944384 387 0 0 0 1 0 0 0 20 0 15 0 111709706 14318440448 9850 33554432000 4194304 4196468 140722604101200 140709314983920 140710407760514 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19906560 140722604106903 140722604107079 140722604107079 140722604109775 0
[pid=15726/tid=15738] ppid=15724 vsize=13982852 memory=140540535502464 CPUtime=0.07 cores=0,2,4,6
/proc/15726/task/15738/stat : 15738 (java) S 15724 15724 15674 0 -1 1077944384 874 0 0 0 7 0 0 0 20 0 15 0 111709706 14318440448 9850 33554432000 4194304 4196468 140722604101200 140709313931632 140710407760514 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19906560 140722604106903 140722604107079 140722604107079 140722604109775 0
[pid=15726/tid=15739] ppid=15724 vsize=13982852 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/15726/task/15739/stat : 15739 (java) S 15724 15724 15674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 111709707 14318440448 9850 33554432000 4194304 4196468 140722604101200 140709312879072 140710407759573 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19906560 140722604106903 140722604107079 140722604107079 140722604109775 0
[pid=15726/tid=15740] ppid=15724 vsize=13982852 memory=140540535502464 CPUtime=0 cores=0,2,4,6
/proc/15726/task/15740/stat : 15740 (java) S 15724 15724 15674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 111709707 14318440448 9850 33554432000 4194304 4196468 140722604101200 140709311826864 140710407760514 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19906560 140722604106903 140722604107079 140722604107079 140722604109775 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 40780 KiB
[startup+0.310351 s]*
/proc/loadavg: 8.15 8.68 8.72 3/198 15740
/proc/meminfo: memFree=26345592/32770624 swapFree=67108860/67108860
[pid=15724] ppid=15721 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/15724/stat : 15724 (xcsp3-exec) S 15721 15724 15674 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 111709701 9740288 345 33554432000 4194304 5098028 140721333619632 140721333617736 140630152811132 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 8171520 140721333625967 140721333626171 140721333626171 140721333628907 0
/proc/15724/statm: 2378 345 289 221 0 87 0
[pid=15726] ppid=15724 vsize=13982852 memory=46628 CPUtime=0.49 cores=0,2,4,6
/proc/15726/stat : 15726 (java) S 15724 15724 15674 0 -1 1077944320 9301 0 0 0 46 3 0 0 20 0 15 0 111709701 14318440448 11657 33554432000 4194304 4196468 140722604101200 140722604083744 140710407749367 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 19906560 140722604106903 140722604107079 140722604107079 140722604109775 0
/proc/15726/statm: 3495713 11657 3118 1 0 3482966 0
[pid=15726/tid=15727] ppid=15724 vsize=13982852 memory=7311146985107750967 CPUtime=0.29 cores=0,2,4,6
/proc/15726/task/15727/stat : 15727 (java) R 15724 15724 15674 0 -1 4202560 6023 0 0 0 27 2 0 0 20 0 15 0 111709701 14318440448 11657 33554432000 4194304 4196468 140722604101200 140710411987504 140710391829854 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19906560 140722604106903 140722604107079 140722604107079 140722604109775 0
[pid=15726/tid=15728] ppid=15724 vsize=13982852 memory=12537 CPUtime=0 cores=0,2,4,6
/proc/15726/task/15728/stat : 15728 (java) S 15724 15724 15674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 111709702 14318440448 11657 33554432000 4194304 4196468 140722604101200 140710377462160 140710407759573 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19906560 140722604106903 140722604107079 140722604107079 140722604109775 0
[pid=15726/tid=15729] ppid=15724 vsize=13982852 memory=140540535518317 CPUtime=0 cores=0,2,4,6
/proc/15726/task/15729/stat : 15729 (java) S 15724 15724 15674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 111709702 14318440448 11657 33554432000 4194304 4196468 140722604101200 140710002956560 140710407759573 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19906560 140722604106903 140722604107079 140722604107079 140722604109775 0
[pid=15726/tid=15730] ppid=15724 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15726/task/15730/stat : 15730 (java) S 15724 15724 15674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 111709702 14318440448 11657 33554432000 4194304 4196468 140722604101200 140710001904272 140710407759573 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19906560 140722604106903 140722604107079 140722604107079 140722604109775 0
[pid=15726/tid=15731] ppid=15724 vsize=13982852 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/15726/task/15731/stat : 15731 (java) S 15724 15724 15674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 111709702 14318440448 11657 33554432000 4194304 4196468 140722604101200 140710000851472 140710407759573 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19906560 140722604106903 140722604107079 140722604107079 140722604109775 0
[pid=15726/tid=15732] ppid=15724 vsize=13982852 memory=140540535502464 CPUtime=0 cores=0,2,4,6
/proc/15726/task/15732/stat : 15732 (java) S 15724 15724 15674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 111709703 14318440448 11657 33554432000 4194304 4196468 140722604101200 140709320247920 140710407760514 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19906560 140722604106903 140722604107079 140722604107079 140722604109775 0
[pid=15726/tid=15733] ppid=15724 vsize=13982852 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/15726/task/15733/stat : 15733 (java) S 15724 15724 15674 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 111709704 14318440448 11657 33554432000 4194304 4196468 140722604101200 140709319193888 140710407759573 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19906560 140722604106903 140722604107079 140722604107079 140722604109775 0
[pid=15726/tid=15734] ppid=15724 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15726/task/15734/stat : 15734 (java) S 15724 15724 15674 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 111709704 14318440448 11657 33554432000 4194304 4196468 140722604101200 140709318141552 140710407759573 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19906560 140722604106903 140722604107079 140722604107079 140722604109775 0
[pid=15726/tid=15735] ppid=15724 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15726/task/15735/stat : 15735 (java) S 15724 15724 15674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 111709706 14318440448 11657 33554432000 4194304 4196468 140722604101200 140709317089872 140710407767963 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19906560 140722604106903 140722604107079 140722604107079 140722604109775 0
[pid=15726/tid=15736] ppid=15724 vsize=13982852 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/15726/task/15736/stat : 15736 (java) R 15724 15724 15674 0 -1 1077944384 533 0 0 0 4 0 0 0 20 0 15 0 111709706 14318440448 11657 33554432000 4194304 4196468 140722604101200 140709316036720 140710407760514 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19906560 140722604106903 140722604107079 140722604107079 140722604109775 0
[pid=15726/tid=15737] ppid=15724 vsize=13982852 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/15726/task/15737/stat : 15737 (java) R 15724 15724 15674 0 -1 4202560 392 0 0 0 2 0 0 0 20 0 15 0 111709706 14318440448 11657 33554432000 4194304 4196468 140722604101200 140709314983920 140710407761302 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19906560 140722604106903 140722604107079 140722604107079 140722604109775 0
[pid=15726/tid=15738] ppid=15724 vsize=13982852 memory=140540535502464 CPUtime=0.11 cores=0,2,4,6
/proc/15726/task/15738/stat : 15738 (java) R 15724 15724 15674 0 -1 1077944384 1056 0 0 0 11 0 0 0 20 0 15 0 111709706 14318440448 11657 33554432000 4194304 4196468 140722604101200 140709313931632 140710407760514 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19906560 140722604106903 140722604107079 140722604107079 140722604109775 0
[pid=15726/tid=15739] ppid=15724 vsize=13982852 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/15726/task/15739/stat : 15739 (java) S 15724 15724 15674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 111709707 14318440448 11657 33554432000 4194304 4196468 140722604101200 140709312879072 140710407759573 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19906560 140722604106903 140722604107079 140722604107079 140722604109775 0
[pid=15726/tid=15740] ppid=15724 vsize=13982852 memory=140540535502464 CPUtime=0 cores=0,2,4,6
/proc/15726/task/15740/stat : 15740 (java) S 15724 15724 15674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 111709707 14318440448 11657 33554432000 4194304 4196468 140722604101200 140709311826864 140710407760514 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19906560 140722604106903 140722604107079 140722604107079 140722604109775 0
Current children cumulated CPU time: 0.49 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 48008 KiB
[startup+0.701612 s]
/proc/loadavg: 8.15 8.68 8.72 5/196 15740
/proc/meminfo: memFree=26304936/32770624 swapFree=67108860/67108860
[pid=15724] ppid=15721 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/15724/stat : 15724 (xcsp3-exec) S 15721 15724 15674 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 111709701 9740288 345 33554432000 4194304 5098028 140721333619632 140721333617736 140630152811132 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 8171520 140721333625967 140721333626171 140721333626171 140721333628907 0
/proc/15724/statm: 2378 345 289 221 0 87 0
[pid=15726] ppid=15724 vsize=13984976 memory=78924 CPUtime=1.66 cores=0,2,4,6
/proc/15726/stat : 15726 (java) S 15724 15724 15674 0 -1 1077944320 12410 0 0 0 161 5 0 0 20 0 15 0 111709701 14320615424 19731 33554432000 4194304 4196468 140722604101200 140722604083744 140710407749367 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 19906560 140722604106903 140722604107079 140722604107079 140722604109775 0
/proc/15726/statm: 3496244 19731 3204 1 0 3483478 0
[pid=15726/tid=15727] ppid=15724 vsize=13984976 memory=-7082918289762707292 CPUtime=0.67 cores=0,2,4,6
/proc/15726/task/15727/stat : 15727 (java) R 15724 15724 15674 0 -1 4202560 6591 0 0 0 64 3 0 0 20 0 15 0 111709701 14320615424 19731 33554432000 4194304 4196468 140722604101200 140710411986808 140710048153703 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 19906560 140722604106903 140722604107079 140722604107079 140722604109775 0
[pid=15726/tid=15728] ppid=15724 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15726/task/15728/stat : 15728 (java) S 15724 15724 15674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 111709702 14320615424 19731 33554432000 4194304 4196468 140722604101200 140710377462160 140710407759573 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19906560 140722604106903 140722604107079 140722604107079 140722604109775 0
[pid=15726/tid=15729] ppid=15724 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15726/task/15729/stat : 15729 (java) S 15724 15724 15674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 111709702 14320615424 19731 33554432000 4194304 4196468 140722604101200 140710002956560 140710407759573 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19906560 140722604106903 140722604107079 140722604107079 140722604109775 0
[pid=15726/tid=15730] ppid=15724 vsize=13984976 memory=31540 CPUtime=0 cores=0,2,4,6
/proc/15726/task/15730/stat : 15730 (java) S 15724 15724 15674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 111709702 14320615424 19731 33554432000 4194304 4196468 140722604101200 140710001904272 140710407759573 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19906560 140722604106903 140722604107079 140722604107079 140722604109775 0
[pid=15726/tid=15731] ppid=15724 vsize=13984976 memory=1296 CPUtime=0 cores=0,2,4,6
/proc/15726/task/15731/stat : 15731 (java) S 15724 15724 15674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 111709702 14320615424 19731 33554432000 4194304 4196468 140722604101200 140710000851472 140710407759573 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19906560 140722604106903 140722604107079 140722604107079 140722604109775 0
[pid=15726/tid=15732] ppid=15724 vsize=13984976 memory=2400 CPUtime=0 cores=0,2,4,6
/proc/15726/task/15732/stat : 15732 (java) S 15724 15724 15674 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 111709703 14320615424 19731 33554432000 4194304 4196468 140722604101200 140709320247920 140710407760514 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19906560 140722604106903 140722604107079 140722604107079 140722604109775 0
[pid=15726/tid=15733] ppid=15724 vsize=13984976 memory=1728 CPUtime=0 cores=0,2,4,6
/proc/15726/task/15733/stat : 15733 (java) S 15724 15724 15674 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 111709704 14320615424 19731 33554432000 4194304 4196468 140722604101200 140709319193888 140710407759573 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19906560 140722604106903 140722604107079 140722604107079 140722604109775 0
[pid=15726/tid=15734] ppid=15724 vsize=13984976 memory=12032 CPUtime=0 cores=0,2,4,6
/proc/15726/task/15734/stat : 15734 (java) S 15724 15724 15674 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 111709704 14320615424 19731 33554432000 4194304 4196468 140722604101200 140709318141552 140710407759573 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19906560 140722604106903 140722604107079 140722604107079 140722604109775 0
[pid=15726/tid=15735] ppid=15724 vsize=13984976 memory=1708 CPUtime=0 cores=0,2,4,6
/proc/15726/task/15735/stat : 15735 (java) S 15724 15724 15674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 111709706 14320615424 19731 33554432000 4194304 4196468 140722604101200 140709317089872 140710407767963 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19906560 140722604106903 140722604107079 140722604107079 140722604109775 0
[pid=15726/tid=15736] ppid=15724 vsize=13984976 memory=1012 CPUtime=0.34 cores=0,2,4,6
/proc/15726/task/15736/stat : 15736 (java) R 15724 15724 15674 0 -1 4202560 1385 0 0 0 34 0 0 0 20 0 15 0 111709706 14320615424 19731 33554432000 4194304 4196468 140722604101200 140709316029744 140710386995257 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19906560 140722604106903 140722604107079 140722604107079 140722604109775 0
[pid=15726/tid=15737] ppid=15724 vsize=13984976 memory=796 CPUtime=0.29 cores=0,2,4,6
/proc/15726/task/15737/stat : 15737 (java) R 15724 15724 15674 0 -1 4202560 1173 0 0 0 29 0 0 0 20 0 15 0 111709706 14320615424 19731 33554432000 4194304 4196468 140722604101200 140709314964936 140710386938817 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19906560 140722604106903 140722604107079 140722604107079 140722604109775 0
[pid=15726/tid=15738] ppid=15724 vsize=13984976 memory=1228 CPUtime=0.33 cores=0,2,4,6
/proc/15726/task/15738/stat : 15738 (java) S 15724 15724 15674 0 -1 1077944384 1954 0 0 0 32 1 0 0 20 0 15 0 111709706 14320615424 19731 33554432000 4194304 4196468 140722604101200 140709313931632 140710407760514 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19906560 140722604106903 140722604107079 140722604107079 140722604109775 0
[pid=15726/tid=15739] ppid=15724 vsize=13984976 memory=5300 CPUtime=0 cores=0,2,4,6
/proc/15726/task/15739/stat : 15739 (java) S 15724 15724 15674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 111709707 14320615424 19731 33554432000 4194304 4196468 140722604101200 140709312879072 140710407759573 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19906560 140722604106903 140722604107079 140722604107079 140722604109775 0
[pid=15726/tid=15740] ppid=15724 vsize=13984976 memory=4616 CPUtime=0 cores=0,2,4,6
/proc/15726/task/15740/stat : 15740 (java) S 15724 15724 15674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 111709707 14320615424 19731 33554432000 4194304 4196468 140722604101200 140709311826864 140710407760514 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19906560 140722604106903 140722604107079 140722604107079 140722604109775 0
Current children cumulated CPU time: 1.66 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 80304 KiB
[startup+0.719972 s]
# the end of solver process 15724 was just reported to runsolver
# cumulated CPU time of all completed processes: user=1.63377 s, system=0.059486 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+0.701612 s]
/proc/loadavg: 8.15 8.68 8.72 5/196 15740
/proc/meminfo: memFree=26304936/32770624 swapFree=67108860/67108860
[pid=15724] ppid=15721 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/15724/stat : 15724 (xcsp3-exec) S 15721 15724 15674 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 111709701 9740288 345 33554432000 4194304 5098028 140721333619632 140721333617736 140630152811132 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 8171520 140721333625967 140721333626171 140721333626171 140721333628907 0
/proc/15724/statm: 2378 345 289 221 0 87 0
[pid=15726] ppid=15724 vsize=13984976 memory=78924 CPUtime=1.66 cores=0,2,4,6
/proc/15726/stat : 15726 (java) S 15724 15724 15674 0 -1 1077944320 12410 0 0 0 161 5 0 0 20 0 15 0 111709701 14320615424 19731 33554432000 4194304 4196468 140722604101200 140722604083744 140710407749367 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 19906560 140722604106903 140722604107079 140722604107079 140722604109775 0
/proc/15726/statm: 3496244 19731 3204 1 0 3483478 0
[pid=15726/tid=15727] ppid=15724 vsize=13984976 memory=-7082918289762707292 CPUtime=0.67 cores=0,2,4,6
/proc/15726/task/15727/stat : 15727 (java) R 15724 15724 15674 0 -1 4202560 6591 0 0 0 64 3 0 0 20 0 15 0 111709701 14320615424 19731 33554432000 4194304 4196468 140722604101200 140710411986808 140710048153703 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 19906560 140722604106903 140722604107079 140722604107079 140722604109775 0
[pid=15726/tid=15728] ppid=15724 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15726/task/15728/stat : 15728 (java) S 15724 15724 15674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 111709702 14320615424 19731 33554432000 4194304 4196468 140722604101200 140710377462160 140710407759573 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19906560 140722604106903 140722604107079 140722604107079 140722604109775 0
[pid=15726/tid=15729] ppid=15724 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15726/task/15729/stat : 15729 (java) S 15724 15724 15674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 111709702 14320615424 19731 33554432000 4194304 4196468 140722604101200 140710002956560 140710407759573 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19906560 140722604106903 140722604107079 140722604107079 140722604109775 0
[pid=15726/tid=15730] ppid=15724 vsize=13984976 memory=31540 CPUtime=0 cores=0,2,4,6
/proc/15726/task/15730/stat : 15730 (java) S 15724 15724 15674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 111709702 14320615424 19731 33554432000 4194304 4196468 140722604101200 140710001904272 140710407759573 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19906560 140722604106903 140722604107079 140722604107079 140722604109775 0
[pid=15726/tid=15731] ppid=15724 vsize=13984976 memory=1296 CPUtime=0 cores=0,2,4,6
/proc/15726/task/15731/stat : 15731 (java) S 15724 15724 15674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 111709702 14320615424 19731 33554432000 4194304 4196468 140722604101200 140710000851472 140710407759573 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19906560 140722604106903 140722604107079 140722604107079 140722604109775 0
[pid=15726/tid=15732] ppid=15724 vsize=13984976 memory=2400 CPUtime=0 cores=0,2,4,6
/proc/15726/task/15732/stat : 15732 (java) S 15724 15724 15674 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 111709703 14320615424 19731 33554432000 4194304 4196468 140722604101200 140709320247920 140710407760514 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19906560 140722604106903 140722604107079 140722604107079 140722604109775 0
[pid=15726/tid=15733] ppid=15724 vsize=13984976 memory=1728 CPUtime=0 cores=0,2,4,6
/proc/15726/task/15733/stat : 15733 (java) S 15724 15724 15674 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 111709704 14320615424 19731 33554432000 4194304 4196468 140722604101200 140709319193888 140710407759573 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19906560 140722604106903 140722604107079 140722604107079 140722604109775 0
[pid=15726/tid=15734] ppid=15724 vsize=13984976 memory=12032 CPUtime=0 cores=0,2,4,6
/proc/15726/task/15734/stat : 15734 (java) S 15724 15724 15674 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 111709704 14320615424 19731 33554432000 4194304 4196468 140722604101200 140709318141552 140710407759573 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19906560 140722604106903 140722604107079 140722604107079 140722604109775 0
[pid=15726/tid=15735] ppid=15724 vsize=13984976 memory=1708 CPUtime=0 cores=0,2,4,6
/proc/15726/task/15735/stat : 15735 (java) S 15724 15724 15674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 111709706 14320615424 19731 33554432000 4194304 4196468 140722604101200 140709317089872 140710407767963 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19906560 140722604106903 140722604107079 140722604107079 140722604109775 0
[pid=15726/tid=15736] ppid=15724 vsize=13984976 memory=1012 CPUtime=0.34 cores=0,2,4,6
/proc/15726/task/15736/stat : 15736 (java) R 15724 15724 15674 0 -1 4202560 1385 0 0 0 34 0 0 0 20 0 15 0 111709706 14320615424 19731 33554432000 4194304 4196468 140722604101200 140709316029744 140710386995257 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19906560 140722604106903 140722604107079 140722604107079 140722604109775 0
[pid=15726/tid=15737] ppid=15724 vsize=13984976 memory=796 CPUtime=0.29 cores=0,2,4,6
/proc/15726/task/15737/stat : 15737 (java) R 15724 15724 15674 0 -1 4202560 1173 0 0 0 29 0 0 0 20 0 15 0 111709706 14320615424 19731 33554432000 4194304 4196468 140722604101200 140709314964936 140710386938817 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19906560 140722604106903 140722604107079 140722604107079 140722604109775 0
[pid=15726/tid=15738] ppid=15724 vsize=13984976 memory=1228 CPUtime=0.33 cores=0,2,4,6
/proc/15726/task/15738/stat : 15738 (java) S 15724 15724 15674 0 -1 1077944384 1954 0 0 0 32 1 0 0 20 0 15 0 111709706 14320615424 19731 33554432000 4194304 4196468 140722604101200 140709313931632 140710407760514 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19906560 140722604106903 140722604107079 140722604107079 140722604109775 0
[pid=15726/tid=15739] ppid=15724 vsize=13984976 memory=5300 CPUtime=0 cores=0,2,4,6
/proc/15726/task/15739/stat : 15739 (java) S 15724 15724 15674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 111709707 14320615424 19731 33554432000 4194304 4196468 140722604101200 140709312879072 140710407759573 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19906560 140722604106903 140722604107079 140722604107079 140722604109775 0
[pid=15726/tid=15740] ppid=15724 vsize=13984976 memory=4616 CPUtime=0 cores=0,2,4,6
/proc/15726/task/15740/stat : 15740 (java) S 15724 15724 15674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 111709707 14320615424 19731 33554432000 4194304 4196468 140722604101200 140709311826864 140710407760514 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19906560 140722604106903 140722604107079 140722604107079 140722604109775 0
Current children cumulated CPU time: 1.66 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 80304 KiB
Child status: 0
Real time (s): 0.720026
CPU time (s): 1.69326
CPU user time (s): 1.63377
CPU system time (s): 0.059486
CPU usage (%): 235.166
Max. virtual memory (cumulated for all children) (KiB): 13994488
Max. memory (cumulated for all children) (KiB): 80304
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.63377
system time used= 0.059486
maximum resident set size= 80104
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13065
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= 1491
involuntary context switches= 6
# summary of solver processes directly reported to runsolver:
# pid: 15724
# total CPU time (s): 1.69326
# total CPU user time (s): 1.63377
# total CPU system time (s): 0.059486
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.029163 second user time and 0.04626 second system time
The end