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 (12026 MiB free)
memory of node 1: 16384 MiB (13358 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4283064-1503210591/watcher-4283064-1503210591 -o /tmp/evaluation-result-4283064-1503210591/solver-4283064-1503210591 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node103-1503209003-32625 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 2099225357 HOME/instance-4283064-1503210591.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=812, runsolver pid=809
[startup+0.100141 s]*
/proc/loadavg: 1.95 1.85 1.52 3/217 828
/proc/meminfo: memFree=25976188/32770624 swapFree=67108860/67108860
[pid=812] ppid=809 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/812/stat : 812 (xcsp3-exec) S 809 812 32593 0 -1 4202496 512 0 0 0 0 0 0 0 20 0 1 0 154147154 9740288 345 33554432000 4194304 5098028 140734297386112 140734297384216 139652035207804 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 12447744 140734297388148 140734297388352 140734297388352 140734297391083 0
/proc/812/statm: 2378 345 289 221 0 87 0
[pid=814] ppid=812 vsize=13978596 memory=27980 CPUtime=0.11 cores=1,3,5,7
/proc/814/stat : 814 (java) S 812 812 32593 0 -1 1077944320 5414 0 0 0 10 1 0 0 20 0 15 0 154147155 14314082304 6995 33554432000 4194304 4196468 140722696565104 140722696547648 139957692178167 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 13549568 140722696574109 140722696574284 140722696574284 140722696576975 0
/proc/814/statm: 3494649 6995 2831 1 0 3482966 0
[pid=814/tid=815] ppid=812 vsize=13978596 memory=7022364632946311227 CPUtime=0.09 cores=1,3,5,7
/proc/814/task/815/stat : 815 (java) R 812 812 32593 0 -1 4202560 3433 0 0 0 8 1 0 0 20 0 15 0 154147155 14314082304 7060 33554432000 4194304 4196468 140722696565104 139957696411440 139957692190102 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13549568 140722696574109 140722696574284 140722696574284 140722696576975 0
[pid=814/tid=816] ppid=812 vsize=13978596 memory=4294976320 CPUtime=0 cores=1,3,5,7
/proc/814/task/816/stat : 816 (java) S 812 812 32593 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154147156 14314082304 7060 33554432000 4194304 4196468 140722696565104 139957622266256 139957692188373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13549568 140722696574109 140722696574284 140722696574284 140722696576975 0
[pid=814/tid=817] ppid=812 vsize=13978596 memory=139800163419682 CPUtime=0 cores=1,3,5,7
/proc/814/task/817/stat : 817 (java) S 812 812 32593 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154147156 14314082304 7060 33554432000 4194304 4196468 140722696565104 139957621213456 139957692188373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13549568 140722696574109 140722696574284 140722696574284 140722696576975 0
[pid=814/tid=818] ppid=812 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/814/task/818/stat : 818 (java) S 812 812 32593 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154147156 14314082304 7060 33554432000 4194304 4196468 140722696565104 139957620161168 139957692188373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13549568 140722696574109 140722696574284 140722696574284 140722696576975 0
[pid=814/tid=819] ppid=812 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/814/task/819/stat : 819 (java) S 812 812 32593 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154147156 14314082304 7060 33554432000 4194304 4196468 140722696565104 139957619108368 139957692188373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13549568 140722696574109 140722696574284 140722696574284 140722696576975 0
[pid=814/tid=820] ppid=812 vsize=13978596 memory=139800163387008 CPUtime=0 cores=1,3,5,7
/proc/814/task/820/stat : 820 (java) S 812 812 32593 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154147157 14314082304 7060 33554432000 4194304 4196468 140722696565104 139957165996656 139957692189314 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13549568 140722696574109 140722696574284 140722696574284 140722696576975 0
[pid=814/tid=821] ppid=812 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/814/task/821/stat : 821 (java) S 812 812 32593 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154147158 14314082304 7060 33554432000 4194304 4196468 140722696565104 139957164942624 139957692188373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13549568 140722696574109 140722696574284 140722696574284 140722696576975 0
[pid=814/tid=822] ppid=812 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/814/task/822/stat : 822 (java) S 812 812 32593 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154147158 14314082304 7060 33554432000 4194304 4196468 140722696565104 139957163890288 139957692188373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13549568 140722696574109 140722696574284 140722696574284 140722696576975 0
[pid=814/tid=823] ppid=812 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/814/task/823/stat : 823 (java) S 812 812 32593 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154147160 14314082304 7060 33554432000 4194304 4196468 140722696565104 139957162838608 139957692196763 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13549568 140722696574109 140722696574284 140722696574284 140722696576975 0
[pid=814/tid=824] ppid=812 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/814/task/824/stat : 824 (java) S 812 812 32593 0 -1 1077944384 302 0 0 0 0 0 0 0 20 0 15 0 154147160 14314082304 7060 33554432000 4194304 4196468 140722696565104 139957161785456 139957692189314 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13549568 140722696574109 140722696574284 140722696574284 140722696576975 0
[pid=814/tid=825] ppid=812 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/814/task/825/stat : 825 (java) S 812 812 32593 0 -1 1077944384 126 0 0 0 0 0 0 0 20 0 15 0 154147160 14314082304 7060 33554432000 4194304 4196468 140722696565104 139957160732656 139957692189314 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13549568 140722696574109 140722696574284 140722696574284 140722696576975 0
[pid=814/tid=826] ppid=812 vsize=13978596 memory=139800163387008 CPUtime=0.01 cores=1,3,5,7
/proc/814/task/826/stat : 826 (java) R 812 812 32593 0 -1 4202560 267 0 0 0 1 0 0 0 20 0 15 0 154147160 14314082304 7060 33554432000 4194304 4196468 140722696565104 139957159680368 139957692199514 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13549568 140722696574109 140722696574284 140722696574284 140722696576975 0
[pid=814/tid=827] ppid=812 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/814/task/827/stat : 827 (java) S 812 812 32593 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154147161 14314082304 7060 33554432000 4194304 4196468 140722696565104 139957158627808 139957692188373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13549568 140722696574109 140722696574284 140722696574284 140722696576975 0
[pid=814/tid=828] ppid=812 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/814/task/828/stat : 828 (java) S 812 812 32593 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154147161 14314082304 7060 33554432000 4194304 4196468 140722696565104 139957157575600 139957692189314 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13549568 140722696574109 140722696574284 140722696574284 140722696576975 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 13988108 KiB
Current children cumulated memory: 29360 KiB
[startup+0.210662 s]*
/proc/loadavg: 1.95 1.85 1.52 3/217 828
/proc/meminfo: memFree=25956152/32770624 swapFree=67108860/67108860
[pid=812] ppid=809 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/812/stat : 812 (xcsp3-exec) S 809 812 32593 0 -1 4202496 512 0 0 0 0 0 0 0 20 0 1 0 154147154 9740288 345 33554432000 4194304 5098028 140734297386112 140734297384216 139652035207804 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 12447744 140734297388148 140734297388352 140734297388352 140734297391083 0
/proc/812/statm: 2378 345 289 221 0 87 0
[pid=814] ppid=812 vsize=13982852 memory=40284 CPUtime=0.33 cores=1,3,5,7
/proc/814/stat : 814 (java) S 812 812 32593 0 -1 1077944320 8141 0 0 0 31 2 0 0 20 0 15 0 154147155 14318440448 10071 33554432000 4194304 4196468 140722696565104 140722696547648 139957692178167 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 13549568 140722696574109 140722696574284 140722696574284 140722696576975 0
/proc/814/statm: 3495713 10071 3066 1 0 3482966 0
[pid=814/tid=815] ppid=812 vsize=13982852 memory=7022364632946311227 CPUtime=0.19 cores=1,3,5,7
/proc/814/task/815/stat : 815 (java) R 812 812 32593 0 -1 4202560 5296 0 0 0 18 1 0 0 20 0 15 0 154147155 14318440448 10092 33554432000 4194304 4196468 140722696565104 139957696388960 139957684895271 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13549568 140722696574109 140722696574284 140722696574284 140722696576975 0
[pid=814/tid=816] ppid=812 vsize=13982852 memory=4294976320 CPUtime=0 cores=1,3,5,7
/proc/814/task/816/stat : 816 (java) S 812 812 32593 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154147156 14318440448 10092 33554432000 4194304 4196468 140722696565104 139957622266256 139957692188373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13549568 140722696574109 140722696574284 140722696574284 140722696576975 0
[pid=814/tid=817] ppid=812 vsize=13982852 memory=139800163419682 CPUtime=0 cores=1,3,5,7
/proc/814/task/817/stat : 817 (java) S 812 812 32593 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154147156 14318440448 10092 33554432000 4194304 4196468 140722696565104 139957621213456 139957692188373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13549568 140722696574109 140722696574284 140722696574284 140722696576975 0
[pid=814/tid=818] ppid=812 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/814/task/818/stat : 818 (java) S 812 812 32593 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154147156 14318440448 10092 33554432000 4194304 4196468 140722696565104 139957620161168 139957692188373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13549568 140722696574109 140722696574284 140722696574284 140722696576975 0
[pid=814/tid=819] ppid=812 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/814/task/819/stat : 819 (java) S 812 812 32593 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154147156 14318440448 10092 33554432000 4194304 4196468 140722696565104 139957619108368 139957692188373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13549568 140722696574109 140722696574284 140722696574284 140722696576975 0
[pid=814/tid=820] ppid=812 vsize=13982852 memory=139800163387008 CPUtime=0 cores=1,3,5,7
/proc/814/task/820/stat : 820 (java) S 812 812 32593 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154147157 14318440448 10092 33554432000 4194304 4196468 140722696565104 139957165996656 139957692189314 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13549568 140722696574109 140722696574284 140722696574284 140722696576975 0
[pid=814/tid=821] ppid=812 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/814/task/821/stat : 821 (java) S 812 812 32593 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154147158 14318440448 10092 33554432000 4194304 4196468 140722696565104 139957164942624 139957692188373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13549568 140722696574109 140722696574284 140722696574284 140722696576975 0
[pid=814/tid=822] ppid=812 vsize=13982884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/814/task/822/stat : 822 (java) S 812 812 32593 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154147158 14318473216 10092 33554432000 4194304 4196468 140722696565104 139957163890288 139957692188373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13549568 140722696574109 140722696574284 140722696574284 140722696576975 0
[pid=814/tid=823] ppid=812 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/814/task/823/stat : 823 (java) S 812 812 32593 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154147160 14318440448 10092 33554432000 4194304 4196468 140722696565104 139957162838608 139957692196763 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13549568 140722696574109 140722696574284 140722696574284 140722696576975 0
[pid=814/tid=824] ppid=812 vsize=13982852 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/814/task/824/stat : 824 (java) S 812 812 32593 0 -1 1077944384 687 0 0 0 3 0 0 0 20 0 15 0 154147160 14318440448 10092 33554432000 4194304 4196468 140722696565104 139957161785456 139957692189314 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13549568 140722696574109 140722696574284 140722696574284 140722696576975 0
[pid=814/tid=825] ppid=812 vsize=13982852 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/814/task/825/stat : 825 (java) S 812 812 32593 0 -1 1077944384 195 0 0 0 1 0 0 0 20 0 15 0 154147160 14318440448 10092 33554432000 4194304 4196468 140722696565104 139957160732656 139957692189314 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13549568 140722696574109 140722696574284 140722696574284 140722696576975 0
[pid=814/tid=826] ppid=812 vsize=13982852 memory=139800163387008 CPUtime=0.08 cores=1,3,5,7
/proc/814/task/826/stat : 826 (java) S 812 812 32593 0 -1 1077944384 720 0 0 0 8 0 0 0 20 0 15 0 154147160 14318440448 10092 33554432000 4194304 4196468 140722696565104 139957159680368 139957692189314 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13549568 140722696574109 140722696574284 140722696574284 140722696576975 0
[pid=814/tid=827] ppid=812 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/814/task/827/stat : 827 (java) S 812 812 32593 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154147161 14318440448 10092 33554432000 4194304 4196468 140722696565104 139957158627808 139957692188373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13549568 140722696574109 140722696574284 140722696574284 140722696576975 0
[pid=814/tid=828] ppid=812 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/814/task/828/stat : 828 (java) S 812 812 32593 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154147161 14318440448 10092 33554432000 4194304 4196468 140722696565104 139957157575600 139957692189314 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13549568 140722696574109 140722696574284 140722696574284 140722696576975 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 41664 KiB
[startup+0.310432 s]*
/proc/loadavg: 1.95 1.85 1.52 3/217 828
/proc/meminfo: memFree=25949824/32770624 swapFree=67108860/67108860
[pid=812] ppid=809 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/812/stat : 812 (xcsp3-exec) S 809 812 32593 0 -1 4202496 512 0 0 0 0 0 0 0 20 0 1 0 154147154 9740288 345 33554432000 4194304 5098028 140734297386112 140734297384216 139652035207804 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 12447744 140734297388148 140734297388352 140734297388352 140734297391083 0
/proc/812/statm: 2378 345 289 221 0 87 0
[pid=814] ppid=812 vsize=13982852 memory=46992 CPUtime=0.5 cores=1,3,5,7
/proc/814/stat : 814 (java) S 812 812 32593 0 -1 1077944320 8968 0 0 0 47 3 0 0 20 0 15 0 154147155 14318440448 11748 33554432000 4194304 4196468 140722696565104 140722696547648 139957692178167 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 13549568 140722696574109 140722696574284 140722696574284 140722696576975 0
/proc/814/statm: 3495713 11748 3099 1 0 3482966 0
[pid=814/tid=815] ppid=812 vsize=13982852 memory=6935054825532540783 CPUtime=0.3 cores=1,3,5,7
/proc/814/task/815/stat : 815 (java) R 812 812 32593 0 -1 4202560 6004 0 0 0 28 2 0 0 20 0 15 0 154147155 14318440448 11828 33554432000 4194304 4196468 140722696565104 139957696416320 139957676258654 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13549568 140722696574109 140722696574284 140722696574284 140722696576975 0
[pid=814/tid=816] ppid=812 vsize=13982852 memory=6944656592455360604 CPUtime=0 cores=1,3,5,7
/proc/814/task/816/stat : 816 (java) S 812 812 32593 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154147156 14318440448 11828 33554432000 4194304 4196468 140722696565104 139957622266256 139957692188373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13549568 140722696574109 140722696574284 140722696574284 140722696576975 0
[pid=814/tid=817] ppid=812 vsize=13982852 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/814/task/817/stat : 817 (java) S 812 812 32593 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154147156 14318440448 11828 33554432000 4194304 4196468 140722696565104 139957621213456 139957692188373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13549568 140722696574109 140722696574284 140722696574284 140722696576975 0
[pid=814/tid=818] ppid=812 vsize=13982852 memory=7681407940103534239 CPUtime=0 cores=1,3,5,7
/proc/814/task/818/stat : 818 (java) S 812 812 32593 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154147156 14318440448 11828 33554432000 4194304 4196468 140722696565104 139957620161168 139957692188373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13549568 140722696574109 140722696574284 140722696574284 140722696576975 0
[pid=814/tid=819] ppid=812 vsize=13982852 memory=7378391939515104108 CPUtime=0 cores=1,3,5,7
/proc/814/task/819/stat : 819 (java) S 812 812 32593 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154147156 14318440448 11828 33554432000 4194304 4196468 140722696565104 139957619108368 139957692188373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13549568 140722696574109 140722696574284 140722696574284 140722696576975 0
[pid=814/tid=820] ppid=812 vsize=13982852 memory=7234576917979478634 CPUtime=0 cores=1,3,5,7
/proc/814/task/820/stat : 820 (java) S 812 812 32593 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154147157 14318440448 11828 33554432000 4194304 4196468 140722696565104 139957165996656 139957692189314 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13549568 140722696574109 140722696574284 140722696574284 140722696576975 0
[pid=814/tid=821] ppid=812 vsize=13982852 memory=-7025448733113094249 CPUtime=0 cores=1,3,5,7
/proc/814/task/821/stat : 821 (java) S 812 812 32593 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154147158 14318440448 11828 33554432000 4194304 4196468 140722696565104 139957164942624 139957692188373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13549568 140722696574109 140722696574284 140722696574284 140722696576975 0
[pid=814/tid=822] ppid=812 vsize=13982852 memory=3047711553320166262 CPUtime=0 cores=1,3,5,7
/proc/814/task/822/stat : 822 (java) S 812 812 32593 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154147158 14318440448 11828 33554432000 4194304 4196468 140722696565104 139957163890288 139957692188373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13549568 140722696574109 140722696574284 140722696574284 140722696576975 0
[pid=814/tid=823] ppid=812 vsize=13982852 memory=-7022969359889120089 CPUtime=0 cores=1,3,5,7
/proc/814/task/823/stat : 823 (java) S 812 812 32593 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154147160 14318440448 11828 33554432000 4194304 4196468 140722696565104 139957162838608 139957692196763 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13549568 140722696574109 140722696574284 140722696574284 140722696576975 0
[pid=814/tid=824] ppid=812 vsize=13982852 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/814/task/824/stat : 824 (java) S 812 812 32593 0 -1 1077944384 706 0 0 0 4 0 0 0 20 0 15 0 154147160 14318440448 11828 33554432000 4194304 4196468 140722696565104 139957161785456 139957692189314 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13549568 140722696574109 140722696574284 140722696574284 140722696576975 0
[pid=814/tid=825] ppid=812 vsize=13982852 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/814/task/825/stat : 825 (java) S 812 812 32593 0 -1 1077944384 203 0 0 0 3 0 0 0 20 0 15 0 154147160 14318440448 11828 33554432000 4194304 4196468 140722696565104 139957160732656 139957692189314 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13549568 140722696574109 140722696574284 140722696574284 140722696576975 0
[pid=814/tid=826] ppid=812 vsize=13982852 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/814/task/826/stat : 826 (java) S 812 812 32593 0 -1 1077944384 783 0 0 0 12 0 0 0 20 0 15 0 154147160 14318440448 11828 33554432000 4194304 4196468 140722696565104 139957159680368 139957692189314 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13549568 140722696574109 140722696574284 140722696574284 140722696576975 0
[pid=814/tid=827] ppid=812 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/814/task/827/stat : 827 (java) S 812 812 32593 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154147161 14318440448 11828 33554432000 4194304 4196468 140722696565104 139957158627808 139957692188373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13549568 140722696574109 140722696574284 140722696574284 140722696576975 0
[pid=814/tid=828] ppid=812 vsize=13982852 memory=3467826827021590575 CPUtime=0 cores=1,3,5,7
/proc/814/task/828/stat : 828 (java) S 812 812 32593 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154147161 14318440448 11828 33554432000 4194304 4196468 140722696565104 139957157575600 139957692189314 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13549568 140722696574109 140722696574284 140722696574284 140722696576975 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 48372 KiB
[startup+0.560894 s]
# the end of solver process 812 was just reported to runsolver
# cumulated CPU time of all completed processes: user=1.17412 s, system=0.048329 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+0.410492 s]*
/proc/loadavg: 1.95 1.85 1.52 6/217 828
/proc/meminfo: memFree=25941576/32770624 swapFree=67108860/67108860
[pid=812] ppid=809 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/812/stat : 812 (xcsp3-exec) S 809 812 32593 0 -1 4202496 512 0 0 0 0 0 0 0 20 0 1 0 154147154 9740288 345 33554432000 4194304 5098028 140734297386112 140734297384216 139652035207804 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 12447744 140734297388148 140734297388352 140734297388352 140734297391083 0
/proc/812/statm: 2378 345 289 221 0 87 0
[pid=814] ppid=812 vsize=13982928 memory=57896 CPUtime=0.77 cores=1,3,5,7
/proc/814/stat : 814 (java) S 812 812 32593 0 -1 1077944320 10559 0 0 0 74 3 0 0 20 0 15 0 154147155 14318518272 14474 33554432000 4194304 4196468 140722696565104 140722696547648 139957692178167 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 13549568 140722696574109 140722696574284 140722696574284 140722696576975 0
/proc/814/statm: 3495732 14474 3165 1 0 3482966 0
[pid=814/tid=815] ppid=812 vsize=13982928 memory=7022364632946311227 CPUtime=0.39 cores=1,3,5,7
/proc/814/task/815/stat : 815 (java) R 812 812 32593 0 -1 4202560 6279 0 0 0 37 2 0 0 20 0 15 0 154147155 14318518272 14540 33554432000 4194304 4196468 140722696565104 139957696412672 139957297557243 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13549568 140722696574109 140722696574284 140722696574284 140722696576975 0
[pid=814/tid=816] ppid=812 vsize=13982928 memory=4294976320 CPUtime=0 cores=1,3,5,7
/proc/814/task/816/stat : 816 (java) S 812 812 32593 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154147156 14318518272 14540 33554432000 4194304 4196468 140722696565104 139957622266256 139957692188373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13549568 140722696574109 140722696574284 140722696574284 140722696576975 0
[pid=814/tid=817] ppid=812 vsize=13982928 memory=139800163419682 CPUtime=0 cores=1,3,5,7
/proc/814/task/817/stat : 817 (java) S 812 812 32593 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154147156 14318518272 14540 33554432000 4194304 4196468 140722696565104 139957621213456 139957692188373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13549568 140722696574109 140722696574284 140722696574284 140722696576975 0
[pid=814/tid=818] ppid=812 vsize=13982928 memory=0 CPUtime=0 cores=1,3,5,7
/proc/814/task/818/stat : 818 (java) S 812 812 32593 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154147156 14318518272 14540 33554432000 4194304 4196468 140722696565104 139957620161168 139957692188373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13549568 140722696574109 140722696574284 140722696574284 140722696576975 0
[pid=814/tid=819] ppid=812 vsize=13982928 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/814/task/819/stat : 819 (java) S 812 812 32593 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154147156 14318518272 14540 33554432000 4194304 4196468 140722696565104 139957619108368 139957692188373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13549568 140722696574109 140722696574284 140722696574284 140722696576975 0
[pid=814/tid=820] ppid=812 vsize=13982928 memory=139800163387008 CPUtime=0 cores=1,3,5,7
/proc/814/task/820/stat : 820 (java) S 812 812 32593 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154147157 14318518272 14540 33554432000 4194304 4196468 140722696565104 139957165996656 139957692189314 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13549568 140722696574109 140722696574284 140722696574284 140722696576975 0
[pid=814/tid=821] ppid=812 vsize=13982928 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/814/task/821/stat : 821 (java) S 812 812 32593 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154147158 14318518272 14540 33554432000 4194304 4196468 140722696565104 139957164942624 139957692188373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13549568 140722696574109 140722696574284 140722696574284 140722696576975 0
[pid=814/tid=822] ppid=812 vsize=13982928 memory=0 CPUtime=0 cores=1,3,5,7
/proc/814/task/822/stat : 822 (java) S 812 812 32593 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154147158 14318518272 14540 33554432000 4194304 4196468 140722696565104 139957163890288 139957692188373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13549568 140722696574109 140722696574284 140722696574284 140722696576975 0
[pid=814/tid=823] ppid=812 vsize=13982928 memory=0 CPUtime=0 cores=1,3,5,7
/proc/814/task/823/stat : 823 (java) S 812 812 32593 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154147160 14318518272 14540 33554432000 4194304 4196468 140722696565104 139957162838608 139957692196763 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13549568 140722696574109 140722696574284 140722696574284 140722696576975 0
[pid=814/tid=824] ppid=812 vsize=13982928 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/814/task/824/stat : 824 (java) R 812 812 32593 0 -1 4202560 1328 0 0 0 10 0 0 0 20 0 15 0 154147160 14318518272 14540 33554432000 4194304 4196468 140722696565104 139957161771336 139957673701071 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13549568 140722696574109 140722696574284 140722696574284 140722696576975 0
[pid=814/tid=825] ppid=812 vsize=13982928 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/814/task/825/stat : 825 (java) R 812 812 32593 0 -1 4202560 535 0 0 0 8 0 0 0 20 0 15 0 154147160 14318518272 14540 33554432000 4194304 4196468 140722696565104 139957160725680 139957692190102 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13549568 140722696574109 140722696574284 140722696574284 140722696576975 0
[pid=814/tid=826] ppid=812 vsize=13982928 memory=139800163387008 CPUtime=0.18 cores=1,3,5,7
/proc/814/task/826/stat : 826 (java) R 812 812 32593 0 -1 1077944384 1158 0 0 0 18 0 0 0 20 0 15 0 154147160 14318518272 14540 33554432000 4194304 4196468 140722696565104 139957159680368 139957692189314 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13549568 140722696574109 140722696574284 140722696574284 140722696576975 0
[pid=814/tid=827] ppid=812 vsize=13982928 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/814/task/827/stat : 827 (java) S 812 812 32593 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154147161 14318518272 14540 33554432000 4194304 4196468 140722696565104 139957158627808 139957692188373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13549568 140722696574109 140722696574284 140722696574284 140722696576975 0
[pid=814/tid=828] ppid=812 vsize=13982928 memory=0 CPUtime=0 cores=1,3,5,7
/proc/814/task/828/stat : 828 (java) S 812 812 32593 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154147161 14318518272 14540 33554432000 4194304 4196468 140722696565104 139957157575600 139957692189314 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13549568 140722696574109 140722696574284 140722696574284 140722696576975 0
Current children cumulated CPU time: 0.77 s
Current children cumulated vsize: 13992440 KiB
Current children cumulated memory: 59276 KiB
[startup+0.515701 s]*
/proc/loadavg: 1.95 1.85 1.52 6/217 828
/proc/meminfo: memFree=25932828/32770624 swapFree=67108860/67108860
[pid=812] ppid=809 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/812/stat : 812 (xcsp3-exec) S 809 812 32593 0 -1 4202496 512 0 0 0 0 0 0 0 20 0 1 0 154147154 9740288 345 33554432000 4194304 5098028 140734297386112 140734297384216 139652035207804 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 12447744 140734297388148 140734297388352 140734297388352 140734297391083 0
/proc/812/statm: 2378 345 289 221 0 87 0
[pid=814] ppid=812 vsize=13984976 memory=64180 CPUtime=1.12 cores=1,3,5,7
/proc/814/stat : 814 (java) S 812 812 32593 0 -1 1077944320 11245 0 0 0 108 4 0 0 20 0 15 0 154147155 14320615424 16045 33554432000 4194304 4196468 140722696565104 140722696547648 139957692178167 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 13549568 140722696574109 140722696574284 140722696574284 140722696576975 0
/proc/814/statm: 3496244 16045 3185 1 0 3483478 0
[pid=814/tid=815] ppid=812 vsize=13984976 memory=6935054825532540783 CPUtime=0.49 cores=1,3,5,7
/proc/814/task/815/stat : 815 (java) R 812 812 32593 0 -1 4202560 6637 0 0 0 47 2 0 0 20 0 15 0 154147155 14320615424 16045 33554432000 4194304 4196468 140722696565104 139957696415888 139957675535581 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13549568 140722696574109 140722696574284 140722696574284 140722696576975 0
[pid=814/tid=816] ppid=812 vsize=13984976 memory=6944656592455360604 CPUtime=0 cores=1,3,5,7
/proc/814/task/816/stat : 816 (java) S 812 812 32593 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154147156 14320615424 16045 33554432000 4194304 4196468 140722696565104 139957622266256 139957692188373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13549568 140722696574109 140722696574284 140722696574284 140722696576975 0
[pid=814/tid=817] ppid=812 vsize=13984976 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/814/task/817/stat : 817 (java) S 812 812 32593 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154147156 14320615424 16045 33554432000 4194304 4196468 140722696565104 139957621213456 139957692188373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13549568 140722696574109 140722696574284 140722696574284 140722696576975 0
[pid=814/tid=818] ppid=812 vsize=13984976 memory=7681407940103534239 CPUtime=0 cores=1,3,5,7
/proc/814/task/818/stat : 818 (java) S 812 812 32593 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154147156 14320615424 16045 33554432000 4194304 4196468 140722696565104 139957620161168 139957692188373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13549568 140722696574109 140722696574284 140722696574284 140722696576975 0
[pid=814/tid=819] ppid=812 vsize=13984976 memory=7378391939515104108 CPUtime=0 cores=1,3,5,7
/proc/814/task/819/stat : 819 (java) S 812 812 32593 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154147156 14320615424 16045 33554432000 4194304 4196468 140722696565104 139957619108368 139957692188373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13549568 140722696574109 140722696574284 140722696574284 140722696576975 0
[pid=814/tid=820] ppid=812 vsize=13984976 memory=7234576917979478634 CPUtime=0 cores=1,3,5,7
/proc/814/task/820/stat : 820 (java) S 812 812 32593 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 154147157 14320615424 16045 33554432000 4194304 4196468 140722696565104 139957165996656 139957692189314 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13549568 140722696574109 140722696574284 140722696574284 140722696576975 0
[pid=814/tid=821] ppid=812 vsize=13984976 memory=-7025448733113094249 CPUtime=0 cores=1,3,5,7
/proc/814/task/821/stat : 821 (java) S 812 812 32593 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154147158 14320615424 16045 33554432000 4194304 4196468 140722696565104 139957164942624 139957692188373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13549568 140722696574109 140722696574284 140722696574284 140722696576975 0
[pid=814/tid=822] ppid=812 vsize=13984976 memory=3047711553320166262 CPUtime=0 cores=1,3,5,7
/proc/814/task/822/stat : 822 (java) S 812 812 32593 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154147158 14320615424 16045 33554432000 4194304 4196468 140722696565104 139957163890288 139957692188373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13549568 140722696574109 140722696574284 140722696574284 140722696576975 0
[pid=814/tid=823] ppid=812 vsize=13984976 memory=-7022969359889120089 CPUtime=0 cores=1,3,5,7
/proc/814/task/823/stat : 823 (java) S 812 812 32593 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154147160 14320615424 16045 33554432000 4194304 4196468 140722696565104 139957162838608 139957692196763 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13549568 140722696574109 140722696574284 140722696574284 140722696576975 0
[pid=814/tid=824] ppid=812 vsize=13984976 memory=0 CPUtime=0.2 cores=1,3,5,7
/proc/814/task/824/stat : 824 (java) R 812 812 32593 0 -1 4202560 1427 0 0 0 20 0 0 0 20 0 15 0 154147160 14320615424 16045 33554432000 4194304 4196468 140722696565104 139957161772688 139957685275003 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13549568 140722696574109 140722696574284 140722696574284 140722696576975 0
[pid=814/tid=825] ppid=812 vsize=13984976 memory=0 CPUtime=0.17 cores=1,3,5,7
/proc/814/task/825/stat : 825 (java) R 812 812 32593 0 -1 4202560 610 0 0 0 17 0 0 0 20 0 15 0 154147160 14320615424 16045 33554432000 4194304 4196468 140722696565104 139957160718536 139957692199514 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13549568 140722696574109 140722696574284 140722696574284 140722696576975 0
[pid=814/tid=826] ppid=812 vsize=13984976 memory=0 CPUtime=0.24 cores=1,3,5,7
/proc/814/task/826/stat : 826 (java) R 812 812 32593 0 -1 1077944384 1299 0 0 0 24 0 0 0 20 0 15 0 154147160 14320615424 16045 33554432000 4194304 4196468 140722696565104 139957159680368 139957692189314 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 13549568 140722696574109 140722696574284 140722696574284 140722696576975 0
[pid=814/tid=827] ppid=812 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/814/task/827/stat : 827 (java) S 812 812 32593 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154147161 14320615424 16045 33554432000 4194304 4196468 140722696565104 139957158627808 139957692188373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13549568 140722696574109 140722696574284 140722696574284 140722696576975 0
[pid=814/tid=828] ppid=812 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/814/task/828/stat : 828 (java) S 812 812 32593 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154147161 14320615424 16045 33554432000 4194304 4196468 140722696565104 139957157575600 139957692189314 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13549568 140722696574109 140722696574284 140722696574284 140722696576975 0
Current children cumulated CPU time: 1.12 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 65560 KiB
Child status: 0
Real time (s): 0.560941
CPU time (s): 1.22245
CPU user time (s): 1.17412
CPU system time (s): 0.048329
CPU usage (%): 217.928
Max. virtual memory (cumulated for all children) (KiB): 13994488
Max. memory (cumulated for all children) (KiB): 65560
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.17412
system time used= 0.048329
maximum resident set size= 65496
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11980
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= 1365
involuntary context switches= 5
# summary of solver processes directly reported to runsolver:
# pid: 812
# total CPU time (s): 1.22245
# total CPU user time (s): 1.17412
# total CPU system time (s): 0.048329
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.025722 second user time and 0.048359 second system time
The end