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 (9877 MiB free)
memory of node 1: 16384 MiB (12124 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4283180-1503215678/watcher-4283180-1503215678 -o /tmp/evaluation-result-4283180-1503215678/solver-4283180-1503215678 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node150-1503208459-5116 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 704998399 HOME/instance-4283180-1503215678.xml
running on 4 cores: 0,2,4,6
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
solver pid=10708, runsolver pid=10705
Current StackSize limit: 8192 KiB
[startup+0.10008 s]*
/proc/loadavg: 2.28 2.10 1.96 4/218 10724
/proc/meminfo: memFree=22512976/32770624 swapFree=67108860/67108860
[pid=10708] ppid=10705 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/10708/stat : 10708 (xcsp3-exec) S 10705 10708 5085 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 154648822 9740288 346 33554432000 4194304 5098028 140726877542832 140726877540936 140462874342012 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 8704000 140726877545589 140726877545792 140726877545792 140726877548523 0
/proc/10708/statm: 2378 346 289 221 0 87 0
[pid=10710] ppid=10708 vsize=13978596 memory=28548 CPUtime=0.12 cores=0,2,4,6
/proc/10710/stat : 10710 (java) S 10708 10708 5085 0 -1 1077944320 5065 0 0 0 11 1 0 0 20 0 15 0 154648822 14314082304 7137 33554432000 4194304 4196468 140722721442864 140722721425408 139919856377591 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 7163904 140722721449117 140722721449292 140722721449292 140722721451983 0
/proc/10710/statm: 3494649 7137 2834 1 0 3482966 0
[pid=10710/tid=10711] ppid=10708 vsize=13978596 memory=-6962121287837372198 CPUtime=0.09 cores=0,2,4,6
/proc/10710/task/10711/stat : 10711 (java) R 10708 10708 5085 0 -1 4202560 3068 0 0 0 8 1 0 0 20 0 15 0 154648822 14314082304 7137 33554432000 4194304 4196468 140722721442864 139919860593744 139919838027071 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7163904 140722721449117 140722721449292 140722721449292 140722721451983 0
[pid=10710/tid=10712] ppid=10708 vsize=13978596 memory=-3689349214911541841 CPUtime=0 cores=0,2,4,6
/proc/10710/task/10712/stat : 10712 (java) S 10708 10708 5085 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154648823 14314082304 7137 33554432000 4194304 4196468 140722721442864 139919771445648 139919856387797 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7163904 140722721449117 140722721449292 140722721449292 140722721451983 0
[pid=10710/tid=10713] ppid=10708 vsize=13978596 memory=139647404586624 CPUtime=0 cores=0,2,4,6
/proc/10710/task/10713/stat : 10713 (java) S 10708 10708 5085 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154648823 14314082304 7137 33554432000 4194304 4196468 140722721442864 139919770392848 139919856387797 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7163904 140722721449117 140722721449292 140722721449292 140722721451983 0
[pid=10710/tid=10714] ppid=10708 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10710/task/10714/stat : 10714 (java) S 10708 10708 5085 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154648823 14314082304 7137 33554432000 4194304 4196468 140722721442864 139919769340560 139919856387797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7163904 140722721449117 140722721449292 140722721449292 140722721451983 0
[pid=10710/tid=10715] ppid=10708 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10710/task/10715/stat : 10715 (java) S 10708 10708 5085 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154648823 14314082304 7137 33554432000 4194304 4196468 140722721442864 139919768287760 139919856387797 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7163904 140722721449117 140722721449292 140722721449292 140722721451983 0
[pid=10710/tid=10716] ppid=10708 vsize=13978596 memory=139647404586624 CPUtime=0 cores=0,2,4,6
/proc/10710/task/10716/stat : 10716 (java) S 10708 10708 5085 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154648824 14314082304 7137 33554432000 4194304 4196468 140722721442864 139919330593392 139919856388738 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7163904 140722721449117 140722721449292 140722721449292 140722721451983 0
[pid=10710/tid=10717] ppid=10708 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10710/task/10717/stat : 10717 (java) S 10708 10708 5085 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154648825 14314082304 7137 33554432000 4194304 4196468 140722721442864 139919329539360 139919856387797 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7163904 140722721449117 140722721449292 140722721449292 140722721451983 0
[pid=10710/tid=10718] ppid=10708 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10710/task/10718/stat : 10718 (java) S 10708 10708 5085 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154648825 14314082304 7137 33554432000 4194304 4196468 140722721442864 139919328487024 139919856387797 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7163904 140722721449117 140722721449292 140722721449292 140722721451983 0
[pid=10710/tid=10719] ppid=10708 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10710/task/10719/stat : 10719 (java) S 10708 10708 5085 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154648827 14314082304 7137 33554432000 4194304 4196468 140722721442864 139919327435344 139919856396187 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7163904 140722721449117 140722721449292 140722721449292 140722721451983 0
[pid=10710/tid=10720] ppid=10708 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10710/task/10720/stat : 10720 (java) S 10708 10708 5085 0 -1 1077944384 306 0 0 0 0 0 0 0 20 0 15 0 154648827 14314082304 7137 33554432000 4194304 4196468 140722721442864 139919326382192 139919856388738 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7163904 140722721449117 140722721449292 140722721449292 140722721451983 0
[pid=10710/tid=10721] ppid=10708 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10710/task/10721/stat : 10721 (java) S 10708 10708 5085 0 -1 1077944384 125 0 0 0 0 0 0 0 20 0 15 0 154648828 14314082304 7202 33554432000 4194304 4196468 140722721442864 139919325329392 139919856388738 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7163904 140722721449117 140722721449292 140722721449292 140722721451983 0
[pid=10710/tid=10722] ppid=10708 vsize=13978596 memory=139647404586624 CPUtime=0.01 cores=0,2,4,6
/proc/10710/task/10722/stat : 10722 (java) R 10708 10708 5085 0 -1 4202560 272 0 0 0 1 0 0 0 20 0 15 0 154648828 14314082304 7202 33554432000 4194304 4196468 140722721442864 139919324277104 139919849474292 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7163904 140722721449117 140722721449292 140722721449292 140722721451983 0
[pid=10710/tid=10723] ppid=10708 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10710/task/10723/stat : 10723 (java) S 10708 10708 5085 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154648828 14314082304 7202 33554432000 4194304 4196468 140722721442864 139919323224544 139919856387797 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7163904 140722721449117 140722721449292 140722721449292 140722721451983 0
[pid=10710/tid=10724] ppid=10708 vsize=13978596 memory=139647404586624 CPUtime=0 cores=0,2,4,6
/proc/10710/task/10724/stat : 10724 (java) S 10708 10708 5085 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154648828 14314082304 7202 33554432000 4194304 4196468 140722721442864 139919322172336 139919856388738 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7163904 140722721449117 140722721449292 140722721449292 140722721451983 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 13988108 KiB
Current children cumulated memory: 29932 KiB
[startup+0.210725 s]*
/proc/loadavg: 2.28 2.10 1.96 3/218 10724
/proc/meminfo: memFree=22502444/32770624 swapFree=67108860/67108860
[pid=10708] ppid=10705 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/10708/stat : 10708 (xcsp3-exec) S 10705 10708 5085 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 154648822 9740288 346 33554432000 4194304 5098028 140726877542832 140726877540936 140462874342012 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 8704000 140726877545589 140726877545792 140726877545792 140726877548523 0
/proc/10708/statm: 2378 346 289 221 0 87 0
[pid=10710] ppid=10708 vsize=13982852 memory=40844 CPUtime=0.33 cores=0,2,4,6
/proc/10710/stat : 10710 (java) S 10708 10708 5085 0 -1 1077944320 7699 0 0 0 31 2 0 0 20 0 15 0 154648822 14318440448 10211 33554432000 4194304 4196468 140722721442864 140722721425408 139919856377591 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 7163904 140722721449117 140722721449292 140722721449292 140722721451983 0
/proc/10710/statm: 3495713 10211 3067 1 0 3482966 0
[pid=10710/tid=10711] ppid=10708 vsize=13982884 memory=7883960649037381690 CPUtime=0.2 cores=0,2,4,6
/proc/10710/task/10711/stat : 10711 (java) R 10708 10708 5085 0 -1 4202560 4868 0 0 0 18 2 0 0 20 0 15 0 154648822 14318473216 10211 33554432000 4194304 4196468 140722721442864 139919860587216 139919849057309 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7163904 140722721449117 140722721449292 140722721449292 140722721451983 0
[pid=10710/tid=10712] ppid=10708 vsize=13982884 memory=9010 CPUtime=0 cores=0,2,4,6
/proc/10710/task/10712/stat : 10712 (java) S 10708 10708 5085 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154648823 14318473216 10211 33554432000 4194304 4196468 140722721442864 139919771445648 139919856387797 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7163904 140722721449117 140722721449292 140722721449292 140722721451983 0
[pid=10710/tid=10713] ppid=10708 vsize=13982852 memory=139647404597433 CPUtime=0 cores=0,2,4,6
/proc/10710/task/10713/stat : 10713 (java) S 10708 10708 5085 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154648823 14318440448 10211 33554432000 4194304 4196468 140722721442864 139919770392848 139919856387797 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7163904 140722721449117 140722721449292 140722721449292 140722721451983 0
[pid=10710/tid=10714] ppid=10708 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10710/task/10714/stat : 10714 (java) S 10708 10708 5085 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154648823 14318440448 10211 33554432000 4194304 4196468 140722721442864 139919769340560 139919856387797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7163904 140722721449117 140722721449292 140722721449292 140722721451983 0
[pid=10710/tid=10715] ppid=10708 vsize=13982852 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10710/task/10715/stat : 10715 (java) S 10708 10708 5085 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154648823 14318440448 10211 33554432000 4194304 4196468 140722721442864 139919768287760 139919856387797 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7163904 140722721449117 140722721449292 140722721449292 140722721451983 0
[pid=10710/tid=10716] ppid=10708 vsize=13982852 memory=139647404586624 CPUtime=0 cores=0,2,4,6
/proc/10710/task/10716/stat : 10716 (java) S 10708 10708 5085 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154648824 14318440448 10211 33554432000 4194304 4196468 140722721442864 139919330593392 139919856388738 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7163904 140722721449117 140722721449292 140722721449292 140722721451983 0
[pid=10710/tid=10717] ppid=10708 vsize=13982852 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10710/task/10717/stat : 10717 (java) S 10708 10708 5085 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154648825 14318440448 10211 33554432000 4194304 4196468 140722721442864 139919329539360 139919856387797 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7163904 140722721449117 140722721449292 140722721449292 140722721451983 0
[pid=10710/tid=10718] ppid=10708 vsize=13982884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10710/task/10718/stat : 10718 (java) S 10708 10708 5085 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154648825 14318473216 10211 33554432000 4194304 4196468 140722721442864 139919328487024 139919856387797 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7163904 140722721449117 140722721449292 140722721449292 140722721451983 0
[pid=10710/tid=10719] ppid=10708 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10710/task/10719/stat : 10719 (java) S 10708 10708 5085 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154648827 14318440448 10211 33554432000 4194304 4196468 140722721442864 139919327435344 139919856396187 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7163904 140722721449117 140722721449292 140722721449292 140722721451983 0
[pid=10710/tid=10720] ppid=10708 vsize=13982852 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/10710/task/10720/stat : 10720 (java) S 10708 10708 5085 0 -1 1077944384 550 0 0 0 2 0 0 0 20 0 15 0 154648827 14318440448 10211 33554432000 4194304 4196468 140722721442864 139919326382192 139919856388738 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7163904 140722721449117 140722721449292 140722721449292 140722721451983 0
[pid=10710/tid=10721] ppid=10708 vsize=13982852 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/10710/task/10721/stat : 10721 (java) S 10708 10708 5085 0 -1 1077944384 273 0 0 0 1 0 0 0 20 0 15 0 154648828 14318440448 10211 33554432000 4194304 4196468 140722721442864 139919325329392 139919856388738 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7163904 140722721449117 140722721449292 140722721449292 140722721451983 0
[pid=10710/tid=10722] ppid=10708 vsize=13982852 memory=139647404586624 CPUtime=0.07 cores=0,2,4,6
/proc/10710/task/10722/stat : 10722 (java) S 10708 10708 5085 0 -1 1077944384 730 0 0 0 7 0 0 0 20 0 15 0 154648828 14318440448 10211 33554432000 4194304 4196468 140722721442864 139919324277104 139919856388738 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7163904 140722721449117 140722721449292 140722721449292 140722721451983 0
[pid=10710/tid=10723] ppid=10708 vsize=13982852 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10710/task/10723/stat : 10723 (java) S 10708 10708 5085 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154648828 14318440448 10211 33554432000 4194304 4196468 140722721442864 139919323224544 139919856387797 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7163904 140722721449117 140722721449292 140722721449292 140722721451983 0
[pid=10710/tid=10724] ppid=10708 vsize=13982884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10710/task/10724/stat : 10724 (java) S 10708 10708 5085 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154648828 14318473216 10211 33554432000 4194304 4196468 140722721442864 139919322172336 139919856388738 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7163904 140722721449117 140722721449292 140722721449292 140722721451983 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 42228 KiB
[startup+0.310445 s]*
/proc/loadavg: 2.28 2.10 1.96 4/218 10724
/proc/meminfo: memFree=22495824/32770624 swapFree=67108860/67108860
[pid=10708] ppid=10705 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/10708/stat : 10708 (xcsp3-exec) S 10705 10708 5085 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 154648822 9740288 346 33554432000 4194304 5098028 140726877542832 140726877540936 140462874342012 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 8704000 140726877545589 140726877545792 140726877545792 140726877548523 0
/proc/10708/statm: 2378 346 289 221 0 87 0
[pid=10710] ppid=10708 vsize=13982852 memory=47404 CPUtime=0.51 cores=0,2,4,6
/proc/10710/stat : 10710 (java) S 10708 10708 5085 0 -1 1077944320 8508 0 0 0 48 3 0 0 20 0 15 0 154648822 14318440448 11851 33554432000 4194304 4196468 140722721442864 140722721425408 139919856377591 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 7163904 140722721449117 140722721449292 140722721449292 140722721451983 0
/proc/10710/statm: 3495713 11851 3081 1 0 3482966 0
[pid=10710/tid=10711] ppid=10708 vsize=13982852 memory=6791534058613427641 CPUtime=0.29 cores=0,2,4,6
/proc/10710/task/10711/stat : 10711 (java) R 10708 10708 5085 0 -1 4202560 5513 0 0 0 27 2 0 0 20 0 15 0 154648822 14318440448 11851 33554432000 4194304 4196468 140722721442864 139919860614000 139919840458078 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7163904 140722721449117 140722721449292 140722721449292 140722721451983 0
[pid=10710/tid=10712] ppid=10708 vsize=13982852 memory=4126316290023845779 CPUtime=0 cores=0,2,4,6
/proc/10710/task/10712/stat : 10712 (java) S 10708 10708 5085 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154648823 14318440448 11851 33554432000 4194304 4196468 140722721442864 139919771445648 139919856387797 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7163904 140722721449117 140722721449292 140722721449292 140722721451983 0
[pid=10710/tid=10713] ppid=10708 vsize=13982852 memory=6944656575208382560 CPUtime=0 cores=0,2,4,6
/proc/10710/task/10713/stat : 10713 (java) S 10708 10708 5085 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154648823 14318440448 11851 33554432000 4194304 4196468 140722721442864 139919770392848 139919856387797 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7163904 140722721449117 140722721449292 140722721449292 140722721451983 0
[pid=10710/tid=10714] ppid=10708 vsize=13982852 memory=-5587046532246807594 CPUtime=0 cores=0,2,4,6
/proc/10710/task/10714/stat : 10714 (java) S 10708 10708 5085 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154648823 14318440448 11851 33554432000 4194304 4196468 140722721442864 139919769340560 139919856387797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7163904 140722721449117 140722721449292 140722721449292 140722721451983 0
[pid=10710/tid=10715] ppid=10708 vsize=13982852 memory=7307460116655545206 CPUtime=0 cores=0,2,4,6
/proc/10710/task/10715/stat : 10715 (java) S 10708 10708 5085 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154648823 14318440448 11851 33554432000 4194304 4196468 140722721442864 139919768287760 139919856387797 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7163904 140722721449117 140722721449292 140722721449292 140722721451983 0
[pid=10710/tid=10716] ppid=10708 vsize=13982852 memory=7016714186490735262 CPUtime=0 cores=0,2,4,6
/proc/10710/task/10716/stat : 10716 (java) S 10708 10708 5085 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154648824 14318440448 11851 33554432000 4194304 4196468 140722721442864 139919330593392 139919856388738 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7163904 140722721449117 140722721449292 140722721449292 140722721451983 0
[pid=10710/tid=10717] ppid=10708 vsize=13982852 memory=-9062862659931694204 CPUtime=0 cores=0,2,4,6
/proc/10710/task/10717/stat : 10717 (java) S 10708 10708 5085 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154648825 14318440448 11851 33554432000 4194304 4196468 140722721442864 139919329539360 139919856387797 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7163904 140722721449117 140722721449292 140722721449292 140722721451983 0
[pid=10710/tid=10718] ppid=10708 vsize=13982852 memory=3047711566422646390 CPUtime=0 cores=0,2,4,6
/proc/10710/task/10718/stat : 10718 (java) S 10708 10708 5085 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154648825 14318440448 11851 33554432000 4194304 4196468 140722721442864 139919328487024 139919856387797 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7163904 140722721449117 140722721449292 140722721449292 140722721451983 0
[pid=10710/tid=10719] ppid=10708 vsize=13982852 memory=8693815914432465728 CPUtime=0 cores=0,2,4,6
/proc/10710/task/10719/stat : 10719 (java) S 10708 10708 5085 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154648827 14318440448 11851 33554432000 4194304 4196468 140722721442864 139919327435344 139919856396187 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7163904 140722721449117 140722721449292 140722721449292 140722721451983 0
[pid=10710/tid=10720] ppid=10708 vsize=13982852 memory=4630099104583218061 CPUtime=0.04 cores=0,2,4,6
/proc/10710/task/10720/stat : 10720 (java) S 10708 10708 5085 0 -1 1077944384 570 0 0 0 4 0 0 0 20 0 15 0 154648827 14318440448 11851 33554432000 4194304 4196468 140722721442864 139919326382192 139919856388738 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7163904 140722721449117 140722721449292 140722721449292 140722721451983 0
[pid=10710/tid=10721] ppid=10708 vsize=13982852 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/10710/task/10721/stat : 10721 (java) S 10708 10708 5085 0 -1 1077944384 292 0 0 0 3 0 0 0 20 0 15 0 154648828 14318440448 11851 33554432000 4194304 4196468 140722721442864 139919325329392 139919856388738 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7163904 140722721449117 140722721449292 140722721449292 140722721451983 0
[pid=10710/tid=10722] ppid=10708 vsize=13982852 memory=0 CPUtime=0.13 cores=0,2,4,6
/proc/10710/task/10722/stat : 10722 (java) S 10708 10708 5085 0 -1 1077944384 833 0 0 0 13 0 0 0 20 0 15 0 154648828 14318440448 11851 33554432000 4194304 4196468 140722721442864 139919324277104 139919856388738 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7163904 140722721449117 140722721449292 140722721449292 140722721451983 0
[pid=10710/tid=10723] ppid=10708 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10710/task/10723/stat : 10723 (java) S 10708 10708 5085 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154648828 14318440448 11851 33554432000 4194304 4196468 140722721442864 139919323224544 139919856387797 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7163904 140722721449117 140722721449292 140722721449292 140722721451983 0
[pid=10710/tid=10724] ppid=10708 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10710/task/10724/stat : 10724 (java) S 10708 10708 5085 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154648828 14318440448 11851 33554432000 4194304 4196468 140722721442864 139919322172336 139919856388738 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7163904 140722721449117 140722721449292 140722721449292 140722721451983 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 48788 KiB
[startup+0.700841 s]
/proc/loadavg: 2.28 2.10 1.96 5/218 10724
/proc/meminfo: memFree=22479252/32770624 swapFree=67108860/67108860
[pid=10708] ppid=10705 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/10708/stat : 10708 (xcsp3-exec) S 10705 10708 5085 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 154648822 9740288 346 33554432000 4194304 5098028 140726877542832 140726877540936 140462874342012 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 8704000 140726877545589 140726877545792 140726877545792 140726877548523 0
/proc/10708/statm: 2378 346 289 221 0 87 0
[pid=10710] ppid=10708 vsize=13984976 memory=67384 CPUtime=1.71 cores=0,2,4,6
/proc/10710/stat : 10710 (java) S 10708 10708 5085 0 -1 1077944320 11578 0 0 0 167 4 0 0 20 0 15 0 154648822 14320615424 16846 33554432000 4194304 4196468 140722721442864 140722721425408 139919856377591 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 7163904 140722721449117 140722721449292 140722721449292 140722721451983 0
/proc/10710/statm: 3496244 16846 3207 1 0 3483478 0
[pid=10710/tid=10711] ppid=10708 vsize=13984976 memory=33 CPUtime=0.67 cores=0,2,4,6
/proc/10710/task/10711/stat : 10711 (java) R 10708 10708 5085 0 -1 4202560 6199 0 0 0 64 3 0 0 20 0 15 0 154648822 14320615424 16846 33554432000 4194304 4196468 140722721442864 139919860615632 139919452422729 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7163904 140722721449117 140722721449292 140722721449292 140722721451983 0
[pid=10710/tid=10712] ppid=10708 vsize=13984976 memory=-7816663703405220396 CPUtime=0 cores=0,2,4,6
/proc/10710/task/10712/stat : 10712 (java) S 10708 10708 5085 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154648823 14320615424 16846 33554432000 4194304 4196468 140722721442864 139919771445648 139919856387797 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7163904 140722721449117 140722721449292 140722721449292 140722721451983 0
[pid=10710/tid=10713] ppid=10708 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10710/task/10713/stat : 10713 (java) S 10708 10708 5085 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154648823 14320615424 16846 33554432000 4194304 4196468 140722721442864 139919770392848 139919856387797 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7163904 140722721449117 140722721449292 140722721449292 140722721451983 0
[pid=10710/tid=10714] ppid=10708 vsize=13984976 memory=43116 CPUtime=0 cores=0,2,4,6
/proc/10710/task/10714/stat : 10714 (java) S 10708 10708 5085 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154648823 14320615424 16846 33554432000 4194304 4196468 140722721442864 139919769340560 139919856387797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7163904 140722721449117 140722721449292 140722721449292 140722721451983 0
[pid=10710/tid=10715] ppid=10708 vsize=13984976 memory=1296 CPUtime=0 cores=0,2,4,6
/proc/10710/task/10715/stat : 10715 (java) S 10708 10708 5085 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154648823 14320615424 16846 33554432000 4194304 4196468 140722721442864 139919768287760 139919856387797 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7163904 140722721449117 140722721449292 140722721449292 140722721451983 0
[pid=10710/tid=10716] ppid=10708 vsize=13984976 memory=2396 CPUtime=0 cores=0,2,4,6
/proc/10710/task/10716/stat : 10716 (java) S 10708 10708 5085 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 154648824 14320615424 16846 33554432000 4194304 4196468 140722721442864 139919330593392 139919856388738 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7163904 140722721449117 140722721449292 140722721449292 140722721451983 0
[pid=10710/tid=10717] ppid=10708 vsize=13984976 memory=1728 CPUtime=0 cores=0,2,4,6
/proc/10710/task/10717/stat : 10717 (java) S 10708 10708 5085 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154648825 14320615424 16846 33554432000 4194304 4196468 140722721442864 139919329539360 139919856387797 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7163904 140722721449117 140722721449292 140722721449292 140722721451983 0
[pid=10710/tid=10718] ppid=10708 vsize=13984976 memory=1004 CPUtime=0 cores=0,2,4,6
/proc/10710/task/10718/stat : 10718 (java) S 10708 10708 5085 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154648825 14320615424 16846 33554432000 4194304 4196468 140722721442864 139919328487024 139919856387797 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7163904 140722721449117 140722721449292 140722721449292 140722721451983 0
[pid=10710/tid=10719] ppid=10708 vsize=13984976 memory=11112 CPUtime=0 cores=0,2,4,6
/proc/10710/task/10719/stat : 10719 (java) S 10708 10708 5085 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154648827 14320615424 16846 33554432000 4194304 4196468 140722721442864 139919327435344 139919856396187 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7163904 140722721449117 140722721449292 140722721449292 140722721451983 0
[pid=10710/tid=10720] ppid=10708 vsize=13984976 memory=5776 CPUtime=0.33 cores=0,2,4,6
/proc/10710/task/10720/stat : 10720 (java) R 10708 10708 5085 0 -1 4202560 1348 0 0 0 33 0 0 0 20 0 15 0 154648827 14320615424 16846 33554432000 4194304 4196468 140722721442864 139919326367392 139919840666593 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7163904 140722721449117 140722721449292 140722721449292 140722721451983 0
[pid=10710/tid=10721] ppid=10708 vsize=13984976 memory=4616 CPUtime=0.33 cores=0,2,4,6
/proc/10710/task/10721/stat : 10721 (java) R 10708 10708 5085 0 -1 4202560 1122 0 0 0 33 0 0 0 20 0 15 0 154648828 14320615424 16846 33554432000 4194304 4196468 140722721442864 139919325318992 139919835633947 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7163904 140722721449117 140722721449292 140722721449292 140722721451983 0
[pid=10710/tid=10722] ppid=10708 vsize=13984976 memory=792 CPUtime=0.35 cores=0,2,4,6
/proc/10710/task/10722/stat : 10722 (java) S 10708 10708 5085 0 -1 1077944384 1601 0 0 0 35 0 0 0 20 0 15 0 154648828 14320615424 16846 33554432000 4194304 4196468 140722721442864 139919324277104 139919856388738 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7163904 140722721449117 140722721449292 140722721449292 140722721451983 0
[pid=10710/tid=10723] ppid=10708 vsize=13984976 memory=1424 CPUtime=0 cores=0,2,4,6
/proc/10710/task/10723/stat : 10723 (java) S 10708 10708 5085 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154648828 14320615424 16846 33554432000 4194304 4196468 140722721442864 139919323224544 139919856387797 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7163904 140722721449117 140722721449292 140722721449292 140722721451983 0
[pid=10710/tid=10724] ppid=10708 vsize=13984976 memory=1936 CPUtime=0 cores=0,2,4,6
/proc/10710/task/10724/stat : 10724 (java) S 10708 10708 5085 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154648828 14320615424 16846 33554432000 4194304 4196468 140722721442864 139919322172336 139919856388738 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7163904 140722721449117 140722721449292 140722721449292 140722721451983 0
Current children cumulated CPU time: 1.71 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 68768 KiB
[startup+0.907121 s]
# the end of solver process 10708 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2.2658 s, system=0.054209 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+0.800952 s]
/proc/loadavg: 2.28 2.10 1.96 5/218 10724
/proc/meminfo: memFree=22479252/32770624 swapFree=67108860/67108860
[pid=10708] ppid=10705 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/10708/stat : 10708 (xcsp3-exec) S 10705 10708 5085 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 154648822 9740288 346 33554432000 4194304 5098028 140726877542832 140726877540936 140462874342012 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 8704000 140726877545589 140726877545792 140726877545792 140726877548523 0
/proc/10708/statm: 2378 346 289 221 0 87 0
[pid=10710] ppid=10708 vsize=13984976 memory=70344 CPUtime=2.02 cores=0,2,4,6
/proc/10710/stat : 10710 (java) S 10708 10708 5085 0 -1 1077944320 12347 0 0 0 198 4 0 0 20 0 15 0 154648822 14320615424 17586 33554432000 4194304 4196468 140722721442864 140722721425408 139919856377591 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 7163904 140722721449117 140722721449292 140722721449292 140722721451983 0
/proc/10710/statm: 3496244 17586 3207 1 0 3483478 0
[pid=10710/tid=10711] ppid=10708 vsize=13984976 memory=10640 CPUtime=0.77 cores=0,2,4,6
/proc/10710/task/10711/stat : 10711 (java) R 10708 10708 5085 0 -1 4202560 6199 0 0 0 74 3 0 0 20 0 15 0 154648822 14320615424 17586 33554432000 4194304 4196468 140722721442864 139919860615632 139919452422623 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7163904 140722721449117 140722721449292 140722721449292 140722721451983 0
[pid=10710/tid=10712] ppid=10708 vsize=13984976 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6
/proc/10710/task/10712/stat : 10712 (java) S 10708 10708 5085 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154648823 14320615424 17586 33554432000 4194304 4196468 140722721442864 139919771445648 139919856387797 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7163904 140722721449117 140722721449292 140722721449292 140722721451983 0
[pid=10710/tid=10713] ppid=10708 vsize=13984976 memory=4420 CPUtime=0 cores=0,2,4,6
/proc/10710/task/10713/stat : 10713 (java) S 10708 10708 5085 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154648823 14320615424 17586 33554432000 4194304 4196468 140722721442864 139919770392848 139919856387797 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7163904 140722721449117 140722721449292 140722721449292 140722721451983 0
[pid=10710/tid=10714] ppid=10708 vsize=13984976 memory=6628 CPUtime=0 cores=0,2,4,6
/proc/10710/task/10714/stat : 10714 (java) S 10708 10708 5085 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154648823 14320615424 17586 33554432000 4194304 4196468 140722721442864 139919769340560 139919856387797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7163904 140722721449117 140722721449292 140722721449292 140722721451983 0
[pid=10710/tid=10715] ppid=10708 vsize=13984976 memory=8836 CPUtime=0 cores=0,2,4,6
/proc/10710/task/10715/stat : 10715 (java) S 10708 10708 5085 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154648823 14320615424 17586 33554432000 4194304 4196468 140722721442864 139919768287760 139919856387797 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7163904 140722721449117 140722721449292 140722721449292 140722721451983 0
[pid=10710/tid=10716] ppid=10708 vsize=13984976 memory=11044 CPUtime=0 cores=0,2,4,6
/proc/10710/task/10716/stat : 10716 (java) S 10708 10708 5085 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 154648824 14320615424 17586 33554432000 4194304 4196468 140722721442864 139919330593392 139919856388738 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7163904 140722721449117 140722721449292 140722721449292 140722721451983 0
[pid=10710/tid=10717] ppid=10708 vsize=13984976 memory=13252 CPUtime=0 cores=0,2,4,6
/proc/10710/task/10717/stat : 10717 (java) S 10708 10708 5085 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154648825 14320615424 17586 33554432000 4194304 4196468 140722721442864 139919329539360 139919856387797 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7163904 140722721449117 140722721449292 140722721449292 140722721451983 0
[pid=10710/tid=10718] ppid=10708 vsize=13984976 memory=15460 CPUtime=0 cores=0,2,4,6
/proc/10710/task/10718/stat : 10718 (java) S 10708 10708 5085 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154648825 14320615424 17586 33554432000 4194304 4196468 140722721442864 139919328487024 139919856387797 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7163904 140722721449117 140722721449292 140722721449292 140722721451983 0
[pid=10710/tid=10719] ppid=10708 vsize=13984976 memory=17668 CPUtime=0 cores=0,2,4,6
/proc/10710/task/10719/stat : 10719 (java) S 10708 10708 5085 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154648827 14320615424 17586 33554432000 4194304 4196468 140722721442864 139919327435344 139919856396187 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7163904 140722721449117 140722721449292 140722721449292 140722721451983 0
[pid=10710/tid=10720] ppid=10708 vsize=13984976 memory=19876 CPUtime=0.43 cores=0,2,4,6
/proc/10710/task/10720/stat : 10720 (java) R 10708 10708 5085 0 -1 4202560 1953 0 0 0 43 0 0 0 20 0 15 0 154648827 14320615424 17586 33554432000 4194304 4196468 140722721442864 139919326363208 139919835624563 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7163904 140722721449117 140722721449292 140722721449292 140722721451983 0
[pid=10710/tid=10721] ppid=10708 vsize=13984976 memory=22084 CPUtime=0.43 cores=0,2,4,6
/proc/10710/task/10721/stat : 10721 (java) R 10708 10708 5085 0 -1 4202560 1268 0 0 0 43 0 0 0 20 0 15 0 154648828 14320615424 17586 33554432000 4194304 4196468 140722721442864 139919325321880 139919839764212 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7163904 140722721449117 140722721449292 140722721449292 140722721451983 0
[pid=10710/tid=10722] ppid=10708 vsize=13984976 memory=24292 CPUtime=0.36 cores=0,2,4,6
/proc/10710/task/10722/stat : 10722 (java) S 10708 10708 5085 0 -1 1077944384 1619 0 0 0 36 0 0 0 20 0 15 0 154648828 14320615424 17586 33554432000 4194304 4196468 140722721442864 139919324277104 139919856388738 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7163904 140722721449117 140722721449292 140722721449292 140722721451983 0
[pid=10710/tid=10723] ppid=10708 vsize=13984976 memory=26500 CPUtime=0 cores=0,2,4,6
/proc/10710/task/10723/stat : 10723 (java) S 10708 10708 5085 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154648828 14320615424 17586 33554432000 4194304 4196468 140722721442864 139919323224544 139919856387797 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7163904 140722721449117 140722721449292 140722721449292 140722721451983 0
[pid=10710/tid=10724] ppid=10708 vsize=13984976 memory=28708 CPUtime=0 cores=0,2,4,6
/proc/10710/task/10724/stat : 10724 (java) S 10708 10708 5085 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154648828 14320615424 17586 33554432000 4194304 4196468 140722721442864 139919322172336 139919856388738 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7163904 140722721449117 140722721449292 140722721449292 140722721451983 0
Current children cumulated CPU time: 2.02 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 71728 KiB
[startup+0.90078 s]
/proc/loadavg: 2.28 2.10 1.96 5/218 10724
/proc/meminfo: memFree=22479252/32770624 swapFree=67108860/67108860
[pid=10708] ppid=10705 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/10708/stat : 10708 (xcsp3-exec) S 10705 10708 5085 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 154648822 9740288 346 33554432000 4194304 5098028 140726877542832 140726877540936 140462874342012 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 8704000 140726877545589 140726877545792 140726877545792 140726877548523 0
/proc/10708/statm: 2378 346 289 221 0 87 0
[pid=10710] ppid=10708 vsize=13984976 memory=70928 CPUtime=2.3 cores=0,2,4,6
/proc/10710/stat : 10710 (java) S 10708 10708 5085 0 -1 1077944320 12479 0 0 0 226 4 0 0 20 0 14 0 154648822 14320615424 17732 33554432000 4194304 4196468 140722721442864 140722721425408 139919856377591 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 7163904 140722721449117 140722721449292 140722721449292 140722721451983 0
/proc/10710/statm: 3496244 17732 3209 1 0 3483478 0
[pid=10710/tid=10711] ppid=10708 vsize=13984976 memory=33 CPUtime=0.86 cores=0,2,4,6
/proc/10710/task/10711/stat : 10711 (java) S 10708 10708 5085 0 -1 1077944384 6204 0 0 0 83 3 0 0 20 0 14 0 154648822 14320615424 17732 33554432000 4194304 4196468 140722721442864 139919860620432 139919856387797 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7163904 140722721449117 140722721449292 140722721449292 140722721451983 0
[pid=10710/tid=10712] ppid=10708 vsize=13984976 memory=-7816663703405220396 CPUtime=0 cores=0,2,4,6
/proc/10710/task/10712/stat : 10712 (java) S 10708 10708 5085 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 154648823 14320615424 17732 33554432000 4194304 4196468 140722721442864 139919771445648 139919856387797 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7163904 140722721449117 140722721449292 140722721449292 140722721451983 0
[pid=10710/tid=10713] ppid=10708 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10710/task/10713/stat : 10713 (java) S 10708 10708 5085 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 154648823 14320615424 17732 33554432000 4194304 4196468 140722721442864 139919770392848 139919856387797 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7163904 140722721449117 140722721449292 140722721449292 140722721451983 0
[pid=10710/tid=10714] ppid=10708 vsize=13984976 memory=43116 CPUtime=0 cores=0,2,4,6
/proc/10710/task/10714/stat : 10714 (java) S 10708 10708 5085 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 154648823 14320615424 17732 33554432000 4194304 4196468 140722721442864 139919769340560 139919856387797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7163904 140722721449117 140722721449292 140722721449292 140722721451983 0
[pid=10710/tid=10715] ppid=10708 vsize=13984976 memory=1296 CPUtime=0 cores=0,2,4,6
/proc/10710/task/10715/stat : 10715 (java) S 10708 10708 5085 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 154648823 14320615424 17732 33554432000 4194304 4196468 140722721442864 139919768287760 139919856387797 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7163904 140722721449117 140722721449292 140722721449292 140722721451983 0
[pid=10710/tid=10716] ppid=10708 vsize=13984976 memory=2396 CPUtime=0 cores=0,2,4,6
/proc/10710/task/10716/stat : 10716 (java) S 10708 10708 5085 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 14 0 154648824 14320615424 17732 33554432000 4194304 4196468 140722721442864 139919330593600 139919856388738 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7163904 140722721449117 140722721449292 140722721449292 140722721451983 0
[pid=10710/tid=10717] ppid=10708 vsize=13984976 memory=1728 CPUtime=0 cores=0,2,4,6
/proc/10710/task/10717/stat : 10717 (java) S 10708 10708 5085 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 14 0 154648825 14320615424 17732 33554432000 4194304 4196468 140722721442864 139919329539360 139919856387797 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7163904 140722721449117 140722721449292 140722721449292 140722721451983 0
[pid=10710/tid=10718] ppid=10708 vsize=13984976 memory=1004 CPUtime=0 cores=0,2,4,6
/proc/10710/task/10718/stat : 10718 (java) S 10708 10708 5085 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 14 0 154648825 14320615424 17732 33554432000 4194304 4196468 140722721442864 139919328487024 139919856387797 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7163904 140722721449117 140722721449292 140722721449292 140722721451983 0
[pid=10710/tid=10719] ppid=10708 vsize=13984976 memory=11112 CPUtime=0 cores=0,2,4,6
/proc/10710/task/10719/stat : 10719 (java) S 10708 10708 5085 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 14 0 154648827 14320615424 17732 33554432000 4194304 4196468 140722721442864 139919327434112 139919856387797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7163904 140722721449117 140722721449292 140722721449292 140722721451983 0
[pid=10710/tid=10720] ppid=10708 vsize=13984976 memory=5776 CPUtime=0.52 cores=0,2,4,6
/proc/10710/task/10720/stat : 10720 (java) S 10708 10708 5085 0 -1 1077944384 2042 0 0 0 52 0 0 0 20 0 14 0 154648827 14320615424 17732 33554432000 4194304 4196468 140722721442864 139919326373472 139919856387797 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7163904 140722721449117 140722721449292 140722721449292 140722721451983 0
[pid=10710/tid=10721] ppid=10708 vsize=13984976 memory=4616 CPUtime=0.53 cores=0,2,4,6
/proc/10710/task/10721/stat : 10721 (java) S 10708 10708 5085 0 -1 1077944384 1285 0 0 0 53 0 0 0 20 0 14 0 154648828 14320615424 17732 33554432000 4194304 4196468 140722721442864 139919325314464 139919856387797 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7163904 140722721449117 140722721449292 140722721449292 140722721451983 0
[pid=10710/tid=10722] ppid=10708 vsize=13984976 memory=792 CPUtime=0.36 cores=0,2,4,6
/proc/10710/task/10722/stat : 10722 (java) S 10708 10708 5085 0 -1 1077944384 1619 0 0 0 36 0 0 0 20 0 14 0 154648828 14320615424 17732 33554432000 4194304 4196468 140722721442864 139919324277104 139919856388738 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7163904 140722721449117 140722721449292 140722721449292 140722721451983 0
[pid=10710/tid=10723] ppid=10708 vsize=13984976 memory=1424 CPUtime=0 cores=0,2,4,6
/proc/10710/task/10723/stat : 10723 (java) S 10708 10708 5085 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 154648828 14320615424 17732 33554432000 4194304 4196468 140722721442864 139919323224544 139919856387797 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7163904 140722721449117 140722721449292 140722721449292 140722721451983 0
Current children cumulated CPU time: 2.3 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 72312 KiB
Child status: 0
Real time (s): 0.907169
CPU time (s): 2.32001
CPU user time (s): 2.2658
CPU system time (s): 0.054209
CPU usage (%): 255.742
Max. virtual memory (cumulated for all children) (KiB): 13994488
Max. memory (cumulated for all children) (KiB): 72312
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2.2658
system time used= 0.054209
maximum resident set size= 71644
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13009
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= 1630
involuntary context switches= 7
# summary of solver processes directly reported to runsolver:
# pid: 10708
# total CPU time (s): 2.32001
# total CPU user time (s): 2.2658
# total CPU system time (s): 0.054209
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.033464 second user time and 0.044291 second system time
The end