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 (8964 MiB free)
memory of node 1: 16384 MiB (12655 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4299818-1532789440/watcher-4299818-1532789440 -o /tmp/evaluation-result-4299818-1532789440/solver-4299818-1532789440 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node138-1532773607-19388 --watchdog 2580 nacre_mini_release HOME/instance-4299818-1532789440.xml -ca -l100 -cm
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=22459, runsolver pid=22456
[startup+0.100115 s]*
/proc/loadavg: 2.00 2.01 2.05 3/188 22460
/proc/meminfo: memFree=22125380/32770624 swapFree=67108796/67108860
[pid=22459] ppid=22456 vsize=39760 memory=16136 CPUtime=0.1 cores=1,3,5,7
/proc/22459/stat : 22459 (nacre_mini_rele) R 22456 22459 24279 0 -1 4202496 4238 0 0 0 10 0 0 0 20 0 1 0 96507189 40714240 4034 33554432000 4194304 4933779 140733118381472 140733118378472 4380307 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 18276352 140733118383256 140733118383356 140733118383356 140733118386114 0
/proc/22459/statm: 9940 4034 605 181 0 3557 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 39760 KiB
Current children cumulated memory: 16136 KiB
[startup+0.209508 s]*
/proc/loadavg: 2.00 2.01 2.05 3/188 22460
/proc/meminfo: memFree=22123892/32770624 swapFree=67108796/67108860
[pid=22459] ppid=22456 vsize=40940 memory=17464 CPUtime=0.2 cores=1,3,5,7
/proc/22459/stat : 22459 (nacre_mini_rele) R 22456 22459 24279 0 -1 4202496 4556 0 0 0 20 0 0 0 20 0 1 0 96507189 41922560 4366 33554432000 4194304 4933779 140733118381472 140733118379016 4380447 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 18276352 140733118383256 140733118383356 140733118383356 140733118386114 0
/proc/22459/statm: 10235 4366 605 181 0 3852 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 40940 KiB
Current children cumulated memory: 17464 KiB
[startup+0.30912 s]*
/proc/loadavg: 2.00 2.01 2.05 3/188 22460
/proc/meminfo: memFree=22122556/32770624 swapFree=67108796/67108860
[pid=22459] ppid=22456 vsize=42104 memory=18516 CPUtime=0.3 cores=1,3,5,7
/proc/22459/stat : 22459 (nacre_mini_rele) R 22456 22459 24279 0 -1 4202496 4836 0 0 0 30 0 0 0 20 0 1 0 96507189 43114496 4629 33554432000 4194304 4933779 140733118381472 140733118379048 4380459 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 18276352 140733118383256 140733118383356 140733118383356 140733118386114 0
/proc/22459/statm: 10526 4629 605 181 0 4143 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 42104 KiB
Current children cumulated memory: 18516 KiB
[startup+0.700235 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 22460
/proc/meminfo: memFree=22120696/32770624 swapFree=67108796/67108860
[pid=22459] ppid=22456 vsize=45800 memory=22276 CPUtime=0.68 cores=1,3,5,7
/proc/22459/stat : 22459 (nacre_mini_rele) R 22456 22459 24279 0 -1 4202496 5759 0 0 0 68 0 0 0 20 0 1 0 96507189 46899200 5569 33554432000 4194304 4933779 140733118381472 140733118379048 140037020122085 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 18276352 140733118383256 140733118383356 140733118383356 140733118386114 0
/proc/22459/statm: 11450 5569 605 181 0 5067 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 45800 KiB
Current children cumulated memory: 22276 KiB
[startup+1.50025 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 22460
/proc/meminfo: memFree=22115364/32770624 swapFree=67108796/67108860
[pid=22459] ppid=22456 vsize=53256 memory=29516 CPUtime=1.49 cores=1,3,5,7
/proc/22459/stat : 22459 (nacre_mini_rele) R 22456 22459 24279 0 -1 4202496 7584 0 0 0 148 1 0 0 20 0 1 0 96507189 54534144 7379 33554432000 4194304 4933779 140733118381472 140733118379048 140037020977571 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 18276352 140733118383256 140733118383356 140733118383356 140733118386114 0
/proc/22459/statm: 13314 7379 605 181 0 6931 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 53256 KiB
Current children cumulated memory: 29516 KiB
[startup+3.10934 s]
/proc/loadavg: 1.92 2.00 2.04 3/188 22460
/proc/meminfo: memFree=22099244/32770624 swapFree=67108796/67108860
[pid=22459] ppid=22456 vsize=65752 memory=41928 CPUtime=3.1 cores=1,3,5,7
/proc/22459/stat : 22459 (nacre_mini_rele) R 22456 22459 24279 0 -1 4202496 15657 0 0 0 308 2 0 0 20 0 1 0 96507189 67330048 10482 33554432000 4194304 4933779 140733118381472 140733118378984 140037020122085 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 18276352 140733118383256 140733118383356 140733118383356 140733118386114 0
/proc/22459/statm: 16438 10482 605 181 0 10055 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 65752 KiB
Current children cumulated memory: 41928 KiB
[startup+6.30024 s]
/proc/loadavg: 1.92 2.00 2.04 3/188 22460
/proc/meminfo: memFree=22083780/32770624 swapFree=67108796/67108860
[pid=22459] ppid=22456 vsize=79604 memory=55992 CPUtime=6.29 cores=1,3,5,7
/proc/22459/stat : 22459 (nacre_mini_rele) R 22456 22459 24279 0 -1 4202496 27594 0 0 0 626 3 0 0 20 0 1 0 96507189 81514496 13998 33554432000 4194304 4933779 140733118381472 140733118379224 140037020122085 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 18276352 140733118383256 140733118383356 140733118383356 140733118386114 0
/proc/22459/statm: 19901 13998 605 181 0 13518 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 79604 KiB
Current children cumulated memory: 55992 KiB
[startup+12.7003 s]
/proc/loadavg: 1.93 2.00 2.04 3/188 22460
/proc/meminfo: memFree=22067236/32770624 swapFree=67108796/67108860
[pid=22459] ppid=22456 vsize=96800 memory=72704 CPUtime=12.68 cores=1,3,5,7
/proc/22459/stat : 22459 (nacre_mini_rele) R 22456 22459 24279 0 -1 4202496 43324 0 0 0 1264 4 0 0 20 0 1 0 96507189 99123200 18176 33554432000 4194304 4933779 140733118381472 140733118379224 4437393 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 18276352 140733118383256 140733118383356 140733118383356 140733118386114 0
/proc/22459/statm: 24200 18176 605 181 0 17817 0
Current children cumulated CPU time: 12.68 s
Current children cumulated vsize: 96800 KiB
Current children cumulated memory: 72704 KiB
[startup+25.5003 s]
/proc/loadavg: 1.95 2.00 2.04 3/188 22460
/proc/meminfo: memFree=22043412/32770624 swapFree=67108796/67108860
[pid=22459] ppid=22456 vsize=116436 memory=92440 CPUtime=25.49 cores=1,3,5,7
/proc/22459/stat : 22459 (nacre_mini_rele) R 22456 22459 24279 0 -1 4202496 80836 0 0 0 2541 8 0 0 20 0 1 0 96507189 119230464 23110 33554432000 4194304 4933779 140733118381472 140733118379224 4437393 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 18276352 140733118383256 140733118383356 140733118383356 140733118386114 0
/proc/22459/statm: 29109 23110 605 181 0 22726 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 116436 KiB
Current children cumulated memory: 92440 KiB
[startup+51.1094 s]
/proc/loadavg: 1.96 2.00 2.04 3/188 22460
/proc/meminfo: memFree=22010300/32770624 swapFree=67108796/67108860
[pid=22459] ppid=22456 vsize=141128 memory=117420 CPUtime=51.09 cores=1,3,5,7
/proc/22459/stat : 22459 (nacre_mini_rele) R 22456 22459 24279 0 -1 4202496 111043 0 0 0 5098 11 0 0 20 0 1 0 96507189 144515072 29355 33554432000 4194304 4933779 140733118381472 140733118379176 140037020977420 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 18276352 140733118383256 140733118383356 140733118383356 140733118386114 0
/proc/22459/statm: 35282 29355 605 181 0 28899 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 141128 KiB
Current children cumulated memory: 117420 KiB
[startup+102.3 s]
/proc/loadavg: 1.99 2.00 2.04 3/188 22461
/proc/meminfo: memFree=21963972/32770624 swapFree=67108796/67108860
[pid=22459] ppid=22456 vsize=173524 memory=149864 CPUtime=102.26 cores=1,3,5,7
/proc/22459/stat : 22459 (nacre_mini_rele) R 22456 22459 24279 0 -1 4202496 147479 0 0 0 10210 16 0 0 20 0 1 0 96507189 177688576 37466 33554432000 4194304 4933779 140733118381472 140733118379224 4437445 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 18276352 140733118383256 140733118383356 140733118383356 140733118386114 0
/proc/22459/statm: 43381 37466 605 181 0 36998 0
Current children cumulated CPU time: 102.26 s
Current children cumulated vsize: 173524 KiB
Current children cumulated memory: 149864 KiB
[startup+162.3 s]
/proc/loadavg: 1.92 1.98 2.03 3/188 22462
/proc/meminfo: memFree=21924148/32770624 swapFree=67108796/67108860
[pid=22459] ppid=22456 vsize=205616 memory=180736 CPUtime=162.22 cores=1,3,5,7
/proc/22459/stat : 22459 (nacre_mini_rele) R 22456 22459 24279 0 -1 4202496 171842 0 0 0 16201 21 0 0 20 0 1 0 96507189 210550784 45184 33554432000 4194304 4933779 140733118381472 140733118379160 4437536 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 18276352 140733118383256 140733118383356 140733118383356 140733118386114 0
/proc/22459/statm: 51404 45184 605 181 0 45021 0
Current children cumulated CPU time: 162.22 s
Current children cumulated vsize: 205616 KiB
Current children cumulated memory: 180736 KiB
[startup+222.3 s]
/proc/loadavg: 1.97 1.99 2.03 3/188 22463
/proc/meminfo: memFree=21894116/32770624 swapFree=67108796/67108860
[pid=22459] ppid=22456 vsize=227424 memory=202848 CPUtime=222.21 cores=1,3,5,7
/proc/22459/stat : 22459 (nacre_mini_rele) R 22456 22459 24279 0 -1 4202496 178782 0 0 0 22197 24 0 0 20 0 1 0 96507189 232882176 50712 33554432000 4194304 4933779 140733118381472 140733118379176 4437792 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 18276352 140733118383256 140733118383356 140733118383356 140733118386114 0
/proc/22459/statm: 56856 50712 605 181 0 50473 0
Current children cumulated CPU time: 222.21 s
Current children cumulated vsize: 227424 KiB
Current children cumulated memory: 202848 KiB
[startup+282.3 s]
/proc/loadavg: 1.99 1.99 2.03 3/187 22465
/proc/meminfo: memFree=21870288/32770624 swapFree=67108796/67108860
[pid=22459] ppid=22456 vsize=244528 memory=219776 CPUtime=282.21 cores=1,3,5,7
/proc/22459/stat : 22459 (nacre_mini_rele) R 22456 22459 24279 0 -1 4202496 189414 0 0 0 28193 28 0 0 20 0 1 0 96507189 250396672 54944 33554432000 4194304 4933779 140733118381472 140733118379176 4437536 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 18276352 140733118383256 140733118383356 140733118383356 140733118386114 0
/proc/22459/statm: 61132 54944 605 181 0 54749 0
Current children cumulated CPU time: 282.21 s
Current children cumulated vsize: 244528 KiB
Current children cumulated memory: 219776 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/187 22466
/proc/meminfo: memFree=21849568/32770624 swapFree=67108796/67108860
[pid=22459] ppid=22456 vsize=257972 memory=233264 CPUtime=342.21 cores=1,3,5,7
/proc/22459/stat : 22459 (nacre_mini_rele) R 22456 22459 24279 0 -1 4202496 202822 0 0 0 34190 31 0 0 20 0 1 0 96507189 264163328 58316 33554432000 4194304 4933779 140733118381472 140733118379224 4437558 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 18276352 140733118383256 140733118383356 140733118383356 140733118386114 0
/proc/22459/statm: 64493 58316 605 181 0 58110 0
Current children cumulated CPU time: 342.21 s
Current children cumulated vsize: 257972 KiB
Current children cumulated memory: 233264 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/187 22467
/proc/meminfo: memFree=21833744/32770624 swapFree=67108796/67108860
[pid=22459] ppid=22456 vsize=268464 memory=243808 CPUtime=402.2 cores=1,3,5,7
/proc/22459/stat : 22459 (nacre_mini_rele) R 22456 22459 24279 0 -1 4202496 218426 0 0 0 40187 33 0 0 20 0 1 0 96507189 274907136 60952 33554432000 4194304 4933779 140733118381472 140733118378984 4437558 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 18276352 140733118383256 140733118383356 140733118383356 140733118386114 0
/proc/22459/statm: 67116 60952 605 181 0 60733 0
Current children cumulated CPU time: 402.2 s
Current children cumulated vsize: 268464 KiB
Current children cumulated memory: 243808 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/187 22469
/proc/meminfo: memFree=21816508/32770624 swapFree=67108796/67108860
[pid=22459] ppid=22456 vsize=277100 memory=252456 CPUtime=462.2 cores=1,3,5,7
/proc/22459/stat : 22459 (nacre_mini_rele) R 22456 22459 24279 0 -1 4202496 235758 0 0 0 46184 36 0 0 20 0 1 0 96507189 283750400 63114 33554432000 4194304 4933779 140733118381472 140733118379224 4437393 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 18276352 140733118383256 140733118383356 140733118383356 140733118386114 0
/proc/22459/statm: 69275 63114 605 181 0 62892 0
Current children cumulated CPU time: 462.2 s
Current children cumulated vsize: 277100 KiB
Current children cumulated memory: 252456 KiB
[startup+508.108 s]
# the end of solver process 22459 was just reported to runsolver
# cumulated CPU time of all completed processes: user=507.607 s, system=0.385971 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+486.4 s]
/proc/loadavg: 2.00 1.99 2.03 3/187 22470
/proc/meminfo: memFree=21808500/32770624 swapFree=67108796/67108860
[pid=22459] ppid=22456 vsize=280316 memory=255848 CPUtime=486.29 cores=1,3,5,7
/proc/22459/stat : 22459 (nacre_mini_rele) R 22456 22459 24279 0 -1 4202496 248407 0 0 0 48591 38 0 0 20 0 1 0 96507189 287043584 63962 33554432000 4194304 4933779 140733118381472 140733118378984 4437538 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 18276352 140733118383256 140733118383356 140733118383356 140733118386114 0
/proc/22459/statm: 70079 63962 605 181 0 63696 0
Current children cumulated CPU time: 486.29 s
Current children cumulated vsize: 280316 KiB
Current children cumulated memory: 255848 KiB
[startup+499.2 s]
/proc/loadavg: 2.00 1.99 2.03 3/187 22470
/proc/meminfo: memFree=21807160/32770624 swapFree=67108796/67108860
[pid=22459] ppid=22456 vsize=280916 memory=256468 CPUtime=499.08 cores=1,3,5,7
/proc/22459/stat : 22459 (nacre_mini_rele) R 22456 22459 24279 0 -1 4202496 249177 0 0 0 49870 38 0 0 20 0 1 0 96507189 287657984 64117 33554432000 4194304 4933779 140733118381472 140733118379160 4437538 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 18276352 140733118383256 140733118383356 140733118383356 140733118386114 0
/proc/22459/statm: 70229 64117 605 181 0 63846 0
Current children cumulated CPU time: 499.08 s
Current children cumulated vsize: 280916 KiB
Current children cumulated memory: 256468 KiB
[startup+502.4 s]
/proc/loadavg: 2.00 1.99 2.03 3/187 22470
/proc/meminfo: memFree=21806664/32770624 swapFree=67108796/67108860
[pid=22459] ppid=22456 vsize=281188 memory=256720 CPUtime=502.28 cores=1,3,5,7
/proc/22459/stat : 22459 (nacre_mini_rele) R 22456 22459 24279 0 -1 4202496 249292 0 0 0 50190 38 0 0 20 0 1 0 96507189 287936512 64180 33554432000 4194304 4933779 140733118381472 140733118378984 140037020114603 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 18276352 140733118383256 140733118383356 140733118383356 140733118386114 0
/proc/22459/statm: 70297 64180 605 181 0 63914 0
Current children cumulated CPU time: 502.28 s
Current children cumulated vsize: 281188 KiB
Current children cumulated memory: 256720 KiB
[startup+505.6 s]
/proc/loadavg: 2.00 1.99 2.03 3/187 22470
/proc/meminfo: memFree=21806292/32770624 swapFree=67108796/67108860
[pid=22459] ppid=22456 vsize=281332 memory=256872 CPUtime=505.48 cores=1,3,5,7
/proc/22459/stat : 22459 (nacre_mini_rele) R 22456 22459 24279 0 -1 4202496 249393 0 0 0 50510 38 0 0 20 0 1 0 96507189 288083968 64218 33554432000 4194304 4933779 140733118381472 140733118378984 4437393 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 18276352 140733118383256 140733118383356 140733118383356 140733118386114 0
/proc/22459/statm: 70333 64218 605 181 0 63950 0
Current children cumulated CPU time: 505.48 s
Current children cumulated vsize: 281332 KiB
Current children cumulated memory: 256872 KiB
[startup+507.2 s]
/proc/loadavg: 2.00 1.99 2.03 3/187 22470
/proc/meminfo: memFree=21805656/32770624 swapFree=67108796/67108860
[pid=22459] ppid=22456 vsize=281332 memory=257036 CPUtime=507.08 cores=1,3,5,7
/proc/22459/stat : 22459 (nacre_mini_rele) R 22456 22459 24279 0 -1 4202496 249415 0 0 0 50670 38 0 0 20 0 1 0 96507189 288083968 64259 33554432000 4194304 4933779 140733118381472 140733118378984 4437570 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 18276352 140733118383256 140733118383356 140733118383356 140733118386114 0
/proc/22459/statm: 70333 64259 605 181 0 63950 0
Current children cumulated CPU time: 507.08 s
Current children cumulated vsize: 281332 KiB
Current children cumulated memory: 257036 KiB
[startup+507.6 s]
/proc/loadavg: 2.00 1.99 2.03 3/187 22470
/proc/meminfo: memFree=21805656/32770624 swapFree=67108796/67108860
[pid=22459] ppid=22456 vsize=281332 memory=257036 CPUtime=507.48 cores=1,3,5,7
/proc/22459/stat : 22459 (nacre_mini_rele) R 22456 22459 24279 0 -1 4202496 249419 0 0 0 50710 38 0 0 20 0 1 0 96507189 288083968 64259 33554432000 4194304 4933779 140733118381472 140733118378984 4437393 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 18276352 140733118383256 140733118383356 140733118383356 140733118386114 0
/proc/22459/statm: 70333 64259 605 181 0 63950 0
Current children cumulated CPU time: 507.48 s
Current children cumulated vsize: 281332 KiB
Current children cumulated memory: 257036 KiB
[startup+508 s]*
/proc/loadavg: 2.00 1.99 2.03 3/187 22470
/proc/meminfo: memFree=21805284/32770624 swapFree=67108796/67108860
[pid=22459] ppid=22456 vsize=281332 memory=257036 CPUtime=507.88 cores=1,3,5,7
/proc/22459/stat : 22459 (nacre_mini_rele) R 22456 22459 24279 0 -1 4202496 249419 0 0 0 50750 38 0 0 20 0 1 0 96507189 288083968 64259 33554432000 4194304 4933779 140733118381472 140733118378984 4388738 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 18276352 140733118383256 140733118383356 140733118383356 140733118386114 0
/proc/22459/statm: 70333 64259 605 181 0 63950 0
Current children cumulated CPU time: 507.88 s
Current children cumulated vsize: 281332 KiB
Current children cumulated memory: 257036 KiB
Child status: 20
Real time (s): 508.108
CPU time (s): 507.993
CPU user time (s): 507.607
CPU system time (s): 0.385971
CPU usage (%): 99.9773
Max. virtual memory (cumulated for all children) (KiB): 281332
Max. memory (cumulated for all children) (KiB): 257036
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 507.607
system time used= 0.385971
maximum resident set size= 257184
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 249462
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 127
involuntary context switches= 577
# summary of solver processes directly reported to runsolver:
# pid: 22459
# total CPU time (s): 507.993
# total CPU user time (s): 507.607
# total CPU system time (s): 0.385971
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.11258 second user time and 3.53451 second system time
The end