runsolver Copyright (C) 2010-2013 Olivier ROUSSEL
This is runsolver version 3.3.7 (svn: 2553)
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.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4257462-1501648402/watcher-4257462-1501648402 -o /tmp/evaluation-result-4257462-1501648402/solver-4257462-1501648402 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node134-1501642909-6626 --watchdog 300 java -jar HOME/AbsCon-basic.jar HOME/instance-4257462-1501648402.xml
pid=12249
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
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 2.02 2.04 1.97 3/198 12252
/proc/meminfo: memFree=31538496/32770624 swapFree=0/324372
[pid=12252] ppid=12249 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/12252/stat : 12252 (runsolver) D 12249 12252 5234 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 12345968 24240128 107 18446744073709551615 4194304 4338465 140731668443824 140731668441464 139860160357079 0 0 1 24578 18446744071580418449 0 0 17 0 0 0 0 0 0 6438912 6441760 17801216 140731668447392 140731668447814 140731668447814 140731668451274 0
/proc/12252/statm: 5918 107 54 36 0 2156 0
[startup+0.10011 s]
/proc/loadavg: 2.02 2.04 1.97 3/198 12252
/proc/meminfo: memFree=31538496/32770624 swapFree=0/324372
[pid=12252] ppid=12249 vsize=356952 CPUtime=0 cores=0,2,4,6
/proc/12252/stat : 12252 (java) S 12249 12252 5234 0 -1 1077944320 1730 0 0 0 0 0 0 0 20 0 2 0 12345968 365518848 1891 18446744073709551615 4194304 4196468 140736508455680 140736508438224 140076648828663 0 0 1 16784584 18446744073709551615 0 0 17 2 0 0 9 0 0 6293624 6294260 15036416 140736508461514 140736508461643 140736508461643 140736508465103 0
/proc/12252/statm: 89238 1891 1042 1 0 79216 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 356952
[startup+0.200671 s]
/proc/loadavg: 2.02 2.04 1.97 3/198 12252
/proc/meminfo: memFree=31538496/32770624 swapFree=0/324372
[pid=12252] ppid=12249 vsize=10551056 CPUtime=0.06 cores=0,2,4,6
/proc/12252/stat : 12252 (java) S 12249 12252 5234 0 -1 1077944320 4751 0 0 0 5 1 0 0 20 0 15 0 12345968 10804281344 6296 18446744073709551615 4194304 4196468 140736508455680 140736508438224 140076648828663 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 9 0 0 6293624 6294260 15036416 140736508461514 140736508461643 140736508461643 140736508465103 0
/proc/12252/statm: 2637764 6296 2601 1 0 2627269 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 10551056
[startup+0.303376 s]
/proc/loadavg: 2.02 2.04 1.97 3/198 12252
/proc/meminfo: memFree=31538496/32770624 swapFree=0/324372
[pid=12252] ppid=12249 vsize=10551180 CPUtime=0.24 cores=0,2,4,6
/proc/12252/stat : 12252 (java) S 12249 12252 5234 0 -1 1077944320 8746 0 0 0 21 3 0 0 20 0 15 0 12345968 10804408320 9071 18446744073709551615 4194304 4196468 140736508455680 140736508438224 140076648828663 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 9 0 0 6293624 6294260 15036416 140736508461514 140736508461643 140736508461643 140736508465103 0
/proc/12252/statm: 2637795 9071 2875 1 0 2627269 0
Current children cumulated CPU time (s) 0.24
Current children cumulated vsize (KiB) 10551180
[startup+0.703685 s]
/proc/loadavg: 2.02 2.04 1.97 3/198 12252
/proc/meminfo: memFree=31538496/32770624 swapFree=0/324372
[pid=12252] ppid=12249 vsize=10621952 CPUtime=1.1 cores=0,2,4,6
/proc/12252/stat : 12252 (java) S 12249 12252 5234 0 -1 1077944320 12803 0 0 0 104 6 0 0 20 0 16 0 12345968 10876878848 18568 18446744073709551615 4194304 4196468 140736508455680 140736508438224 140076648828663 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 9 0 0 6293624 6294260 15036416 140736508461514 140736508461643 140736508461643 140736508465103 0
/proc/12252/statm: 2655488 18568 3069 1 0 2644422 0
Current children cumulated CPU time (s) 1.1
Current children cumulated vsize (KiB) 10621952
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 12252 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+0.800491 s]
/proc/loadavg: 2.02 2.04 1.97 3/198 12252
/proc/meminfo: memFree=31538496/32770624 swapFree=0/324372
[pid=12252] ppid=12249 vsize=10621952 CPUtime=1.42 cores=0,2,4,6
/proc/12252/stat : 12252 (java) S 12249 12252 5234 0 -1 1077944320 13894 0 0 0 136 6 0 0 20 0 16 0 12345968 10876878848 21723 18446744073709551615 4194304 4196468 140736508455680 140736508438224 140076648828663 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 9 0 0 6293624 6294260 15036416 140736508461514 140736508461643 140736508461643 140736508465103 0
/proc/12252/statm: 2655488 21723 3074 1 0 2644422 0
Current children cumulated CPU time (s) 1.42
Current children cumulated vsize (KiB) 10621952
[startup+1.2067 s]
/proc/loadavg: 2.02 2.04 1.97 5/214 12268
/proc/meminfo: memFree=31440100/32770624 swapFree=0/324120
[pid=12252] ppid=12249 vsize=10624000 CPUtime=2.71 cores=0,2,4,6
/proc/12252/stat : 12252 (java) S 12249 12252 5234 0 -1 1077944320 18107 0 0 0 264 7 0 0 20 0 16 0 12345968 10878976000 27966 18446744073709551615 4194304 4196468 140736508455680 140736508438224 140076648828663 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 9 0 0 6293624 6294260 15036416 140736508461514 140736508461643 140736508461643 140736508465103 0
/proc/12252/statm: 2656000 27966 3099 1 0 2644934 0
[pid=12252/tid=12254] ppid=12249 vsize=10624000 CPUtime=0.21 cores=0,2,4,6
/proc/12252/task/12254/stat : 12254 (java) S 12249 12252 5234 0 -1 1077944384 6172 0 0 0 19 2 0 0 20 0 16 0 12345978 10878976000 27966 18446744073709551615 4194304 4196468 140736508455680 140076653071536 140076648838869 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 4 0 0 6293624 6294260 15036416 140736508461514 140736508461643 140736508461643 140736508465103 0
[pid=12252/tid=12255] ppid=12249 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/12252/task/12255/stat : 12255 (java) S 12249 12252 5234 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 12345979 10878976000 27966 18446744073709551615 4194304 4196468 140736508455680 140076605794960 140076648838869 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15036416 140736508461514 140736508461643 140736508461643 140736508465103 0
[pid=12252/tid=12256] ppid=12249 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/12252/task/12256/stat : 12256 (java) S 12249 12252 5234 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 12345979 10878976000 27966 18446744073709551615 4194304 4196468 140736508455680 140076604742160 140076648838869 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15036416 140736508461514 140736508461643 140736508461643 140736508465103 0
[pid=12252/tid=12257] ppid=12249 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/12252/task/12257/stat : 12257 (java) S 12249 12252 5234 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 12345979 10878976000 27966 18446744073709551615 4194304 4196468 140736508455680 140076603689360 140076648838869 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15036416 140736508461514 140736508461643 140736508461643 140736508465103 0
[pid=12252/tid=12258] ppid=12249 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/12252/task/12258/stat : 12258 (java) S 12249 12252 5234 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 16 0 12345979 10878976000 27966 18446744073709551615 4194304 4196468 140736508455680 140076602636560 140076648838869 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15036416 140736508461514 140736508461643 140736508461643 140736508465103 0
[pid=12252/tid=12259] ppid=12249 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/12252/task/12259/stat : 12259 (java) S 12249 12252 5234 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 16 0 12345980 10878976000 27966 18446744073709551615 4194304 4196468 140736508455680 140076212902768 140076648839810 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15036416 140736508461514 140736508461643 140736508461643 140736508465103 0
[pid=12252/tid=12260] ppid=12249 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/12252/task/12260/stat : 12260 (java) S 12249 12252 5234 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 16 0 12345981 10878976000 27966 18446744073709551615 4194304 4196468 140736508455680 140076211848736 140076648838869 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15036416 140736508461514 140736508461643 140736508461643 140736508465103 0
[pid=12252/tid=12261] ppid=12249 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/12252/task/12261/stat : 12261 (java) S 12249 12252 5234 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 12345981 10878976000 27966 18446744073709551615 4194304 4196468 140736508455680 140076210795888 140076648838869 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15036416 140736508461514 140736508461643 140736508461643 140736508465103 0
[pid=12252/tid=12262] ppid=12249 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/12252/task/12262/stat : 12262 (java) S 12249 12252 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 12345983 10878976000 27966 18446744073709551615 4194304 4196468 140736508455680 140076209744208 140076648847259 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15036416 140736508461514 140736508461643 140736508461643 140736508465103 0
[pid=12252/tid=12263] ppid=12249 vsize=10624000 CPUtime=0.59 cores=0,2,4,6
/proc/12252/task/12263/stat : 12263 (java) R 12249 12252 5234 0 -1 4202560 1776 0 0 0 59 0 0 0 20 0 16 0 12345983 10878976000 27966 18446744073709551615 4194304 4196468 140736508455680 140076208683520 140076630356473 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15036416 140736508461514 140736508461643 140736508461643 140736508465103 0
[pid=12252/tid=12264] ppid=12249 vsize=10624000 CPUtime=0.57 cores=0,2,4,6
/proc/12252/task/12264/stat : 12264 (java) R 12249 12252 5234 0 -1 4202560 1529 0 0 0 57 0 0 0 20 0 16 0 12345983 10878976000 27966 18446744073709551615 4194304 4196468 140736508455680 140076207628688 140076628217945 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15036416 140736508461514 140736508461643 140736508461643 140736508465103 0
[pid=12252/tid=12265] ppid=12249 vsize=10624000 CPUtime=0.46 cores=0,2,4,6
/proc/12252/task/12265/stat : 12265 (java) R 12249 12252 5234 0 -1 1077944384 2556 0 0 0 45 1 0 0 20 0 16 0 12345983 10878976000 27966 18446744073709551615 4194304 4196468 140736508455680 140076206585968 140076648839810 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 15036416 140736508461514 140736508461643 140736508461643 140736508465103 0
[pid=12252/tid=12266] ppid=12249 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/12252/task/12266/stat : 12266 (java) S 12249 12252 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 12345983 10878976000 27966 18446744073709551615 4194304 4196468 140736508455680 140076205533408 140076648838869 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15036416 140736508461514 140736508461643 140736508461643 140736508465103 0
[pid=12252/tid=12267] ppid=12249 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/12252/task/12267/stat : 12267 (java) S 12249 12252 5234 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 12345988 10878976000 27966 18446744073709551615 4194304 4196468 140736508455680 140076204481712 140076648839810 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15036416 140736508461514 140736508461643 140736508461643 140736508465103 0
[pid=12252/tid=12268] ppid=12249 vsize=10624000 CPUtime=0.83 cores=0,2,4,6
/proc/12252/task/12268/stat : 12268 (java) R 12249 12252 5234 0 -1 4202560 4707 0 0 0 81 2 0 0 20 0 16 0 12346005 10878976000 27966 18446744073709551615 4194304 4196468 140736508455680 140076201288608 140076648840598 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15036416 140736508461514 140736508461643 140736508461643 140736508465103 0
Current children cumulated CPU time (s) 2.71
Current children cumulated vsize (KiB) 10624000
[startup+1.30073 s]
/proc/loadavg: 2.02 2.04 1.97 5/214 12268
/proc/meminfo: memFree=31440100/32770624 swapFree=0/324120
[pid=12252] ppid=12249 vsize=10690564 CPUtime=2.99 cores=0,2,4,6
/proc/12252/stat : 12252 (java) S 12249 12252 5234 0 -1 1077944320 18451 0 0 0 292 7 0 0 20 0 14 0 12345968 10947137536 28488 18446744073709551615 4194304 4196468 140736508455680 140736508438224 140076648828663 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 9 0 0 6293624 6294260 15036416 140736508461514 140736508461643 140736508461643 140736508465103 0
/proc/12252/statm: 2672641 28488 3100 1 0 2661575 0
[pid=12252/tid=12254] ppid=12249 vsize=10690564 CPUtime=0.21 cores=0,2,4,6
/proc/12252/task/12254/stat : 12254 (java) S 12249 12252 5234 0 -1 1077944384 6178 0 0 0 19 2 0 0 20 0 14 0 12345978 10947137536 28488 18446744073709551615 4194304 4196468 140736508455680 140076653071504 140076648838869 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 4 0 0 6293624 6294260 15036416 140736508461514 140736508461643 140736508461643 140736508465103 0
[pid=12252/tid=12255] ppid=12249 vsize=10690564 CPUtime=0 cores=0,2,4,6
/proc/12252/task/12255/stat : 12255 (java) S 12249 12252 5234 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 12345979 10947137536 28488 18446744073709551615 4194304 4196468 140736508455680 140076605794960 140076648838869 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15036416 140736508461514 140736508461643 140736508461643 140736508465103 0
[pid=12252/tid=12256] ppid=12249 vsize=10690564 CPUtime=0 cores=0,2,4,6
/proc/12252/task/12256/stat : 12256 (java) S 12249 12252 5234 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 12345979 10947137536 28488 18446744073709551615 4194304 4196468 140736508455680 140076604742160 140076648838869 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15036416 140736508461514 140736508461643 140736508461643 140736508465103 0
[pid=12252/tid=12257] ppid=12249 vsize=10690564 CPUtime=0 cores=0,2,4,6
/proc/12252/task/12257/stat : 12257 (java) S 12249 12252 5234 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 12345979 10947137536 28488 18446744073709551615 4194304 4196468 140736508455680 140076603689360 140076648838869 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15036416 140736508461514 140736508461643 140736508461643 140736508465103 0
[pid=12252/tid=12258] ppid=12249 vsize=10690564 CPUtime=0 cores=0,2,4,6
/proc/12252/task/12258/stat : 12258 (java) S 12249 12252 5234 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 12345979 10947137536 28488 18446744073709551615 4194304 4196468 140736508455680 140076602636560 140076648838869 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15036416 140736508461514 140736508461643 140736508461643 140736508465103 0
[pid=12252/tid=12259] ppid=12249 vsize=10690564 CPUtime=0 cores=0,2,4,6
/proc/12252/task/12259/stat : 12259 (java) S 12249 12252 5234 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 14 0 12345980 10947137536 28488 18446744073709551615 4194304 4196468 140736508455680 140076212902976 140076648839810 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15036416 140736508461514 140736508461643 140736508461643 140736508465103 0
[pid=12252/tid=12260] ppid=12249 vsize=10690564 CPUtime=0 cores=0,2,4,6
/proc/12252/task/12260/stat : 12260 (java) S 12249 12252 5234 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 14 0 12345981 10947137536 28488 18446744073709551615 4194304 4196468 140736508455680 140076211848736 140076648838869 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15036416 140736508461514 140736508461643 140736508461643 140736508465103 0
[pid=12252/tid=12261] ppid=12249 vsize=10690564 CPUtime=0 cores=0,2,4,6
/proc/12252/task/12261/stat : 12261 (java) S 12249 12252 5234 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 14 0 12345981 10947137536 28488 18446744073709551615 4194304 4196468 140736508455680 140076210795888 140076648838869 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15036416 140736508461514 140736508461643 140736508461643 140736508465103 0
[pid=12252/tid=12262] ppid=12249 vsize=10690564 CPUtime=0 cores=0,2,4,6
/proc/12252/task/12262/stat : 12262 (java) S 12249 12252 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 12345983 10947137536 28488 18446744073709551615 4194304 4196468 140736508455680 140076209743264 140076648838869 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15036416 140736508461514 140736508461643 140736508461643 140736508465103 0
[pid=12252/tid=12263] ppid=12249 vsize=10690564 CPUtime=0.69 cores=0,2,4,6
/proc/12252/task/12263/stat : 12263 (java) S 12249 12252 5234 0 -1 1077944384 1787 0 0 0 69 0 0 0 20 0 14 0 12345983 10947137536 28488 18446744073709551615 4194304 4196468 140736508455680 140076208676080 140076648838869 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15036416 140736508461514 140736508461643 140736508461643 140736508465103 0
[pid=12252/tid=12264] ppid=12249 vsize=10690564 CPUtime=0.67 cores=0,2,4,6
/proc/12252/task/12264/stat : 12264 (java) R 12249 12252 5234 0 -1 4202560 1587 0 0 0 67 0 0 0 20 0 14 0 12345983 10947137536 28488 18446744073709551615 4194304 4196468 140736508455680 140076207624792 140076630373627 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15036416 140736508461514 140736508461643 140736508461643 140736508465103 0
[pid=12252/tid=12265] ppid=12249 vsize=10690564 CPUtime=0.47 cores=0,2,4,6
/proc/12252/task/12265/stat : 12265 (java) S 12249 12252 5234 0 -1 1077944384 2562 0 0 0 46 1 0 0 20 0 14 0 12345983 10947137536 28488 18446744073709551615 4194304 4196468 140736508455680 140076206585968 140076648839810 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15036416 140736508461514 140736508461643 140736508461643 140736508465103 0
[pid=12252/tid=12266] ppid=12249 vsize=10690564 CPUtime=0 cores=0,2,4,6
/proc/12252/task/12266/stat : 12266 (java) S 12249 12252 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 12345983 10947137536 28488 18446744073709551615 4194304 4196468 140736508455680 140076205533408 140076648838869 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15036416 140736508461514 140736508461643 140736508461643 140736508465103 0
Current children cumulated CPU time (s) 2.99
Current children cumulated vsize (KiB) 10690564
Child status: 0
Real time (s): 1.31304
CPU time (s): 3.0124
CPU user time (s): 2.92955
CPU system time (s): 0.082853
CPU usage (%): 229.422
Max. virtual memory (cumulated for all children) (KiB): 10690564
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2.92955
system time used= 0.082853
maximum resident set size= 114568
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 18455
page faults= 0
swaps= 0
block input operations= 0
block output operations= 8
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2072
involuntary context switches= 16
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.008063 second user time and 0.011519 second system time
The end