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-4244628-1502066432/watcher-4244628-1502066432 -o /tmp/evaluation-result-4244628-1502066432/solver-4244628-1502066432 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node133-1502065585-15257 --watchdog 2560 java -Xmx10000m -jar oscar-cp-xcsp3-conf_order.jar --randomseed 276275370 --timelimit 2400 --memlimit 15500 --nbcore 4 HOME/instance-4244628-1502066432.xml
pid=15284
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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: 3.90 5.08 6.54 3/189 15291
/proc/meminfo: memFree=31418380/32770624 swapFree=0/333300
[pid=15291] ppid=15284 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/15291/stat : 15291 (runsolver) D 15284 15291 25100 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 54458510 24240128 108 18446744073709551615 4194304 4338465 140723619917264 140723619914904 139675665945303 0 0 1 24578 18446744071580418449 0 0 17 5 0 0 0 0 0 6438912 6441760 28356608 140723619922022 140723619922505 140723619922505 140723619925962 0
/proc/15291/statm: 5918 108 54 36 0 2156 0
[startup+0.100192 s]
/proc/loadavg: 3.90 5.08 6.54 3/189 15291
/proc/meminfo: memFree=31418380/32770624 swapFree=0/333300
[pid=15291] ppid=15284 vsize=12380156 CPUtime=0.02 cores=1,3,5,7
/proc/15291/stat : 15291 (java) S 15284 15291 25100 0 -1 1077944320 3871 0 0 0 1 1 0 0 20 0 8 0 54458510 12677279744 4017 18446744073709551615 4194304 4196468 140735046597232 140735046579776 140027783368439 0 0 1 16784584 18446744073709551615 0 0 17 7 0 0 7 0 0 6293624 6294260 14286848 140735046599060 140735046599246 140735046599246 140735046602703 0
/proc/15291/statm: 3127807 4017 2032 1 0 3117304 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 12380156
[startup+0.200352 s]
/proc/loadavg: 3.90 5.08 6.54 3/189 15291
/proc/meminfo: memFree=31418380/32770624 swapFree=0/333300
[pid=15291] ppid=15284 vsize=12845076 CPUtime=0.05 cores=1,3,5,7
/proc/15291/stat : 15291 (java) S 15284 15291 25100 0 -1 1077944320 4892 0 0 0 4 1 0 0 20 0 14 0 54458510 13153357824 5440 18446744073709551615 4194304 4196468 140735046597232 140735046579776 140027783368439 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 7 0 0 6293624 6294260 14286848 140735046599060 140735046599246 140735046599246 140735046602703 0
/proc/15291/statm: 3211269 5440 2589 1 0 3200766 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 12845076
[startup+0.305176 s]
/proc/loadavg: 3.90 5.08 6.54 3/189 15291
/proc/meminfo: memFree=31418380/32770624 swapFree=0/333300
[pid=15291] ppid=15284 vsize=12914512 CPUtime=0.21 cores=1,3,5,7
/proc/15291/stat : 15291 (java) S 15284 15291 25100 0 -1 1077944320 10012 0 0 0 18 3 0 0 20 0 15 0 54458510 13224460288 8872 18446744073709551615 4194304 4196468 140735046597232 140735046579776 140027783368439 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 7 0 0 6293624 6294260 14286848 140735046599060 140735046599246 140735046599246 140735046602703 0
/proc/15291/statm: 3228628 8872 3537 1 0 3217407 0
Current children cumulated CPU time (s) 0.21
Current children cumulated vsize (KiB) 12914512
[startup+0.700171 s]
/proc/loadavg: 3.90 5.08 6.54 3/189 15291
/proc/meminfo: memFree=31418380/32770624 swapFree=0/333300
[pid=15291] ppid=15284 vsize=12916580 CPUtime=0.91 cores=1,3,5,7
/proc/15291/stat : 15291 (java) S 15284 15291 25100 0 -1 1077944320 13940 0 0 0 86 5 0 0 20 0 15 0 54458510 13226577920 15659 18446744073709551615 4194304 4196468 140735046597232 140735046579776 140027783368439 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 7 0 0 6293624 6294260 14286848 140735046599060 140735046599246 140735046599246 140735046602703 0
/proc/15291/statm: 3229145 15659 3723 1 0 3217919 0
Current children cumulated CPU time (s) 0.91
Current children cumulated vsize (KiB) 12916580
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 15291 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+0.802021 s]
/proc/loadavg: 3.90 5.08 6.54 3/189 15291
/proc/meminfo: memFree=31418380/32770624 swapFree=0/333300
[pid=15291] ppid=15284 vsize=12918628 CPUtime=1.12 cores=1,3,5,7
/proc/15291/stat : 15291 (java) S 15284 15291 25100 0 -1 1077944320 14615 0 0 0 106 6 0 0 20 0 15 0 54458510 13228675072 17929 18446744073709551615 4194304 4196468 140735046597232 140735046579776 140027783368439 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 7 0 0 6293624 6294260 14286848 140735046599060 140735046599246 140735046599246 140735046602703 0
/proc/15291/statm: 3229657 17929 3735 1 0 3218431 0
Current children cumulated CPU time (s) 1.12
Current children cumulated vsize (KiB) 12918628
[startup+1.20699 s]
/proc/loadavg: 3.90 5.08 6.54 7/213 15315
/proc/meminfo: memFree=31238208/32770624 swapFree=0/333376
[pid=15291] ppid=15284 vsize=12920676 CPUtime=2.19 cores=1,3,5,7
/proc/15291/stat : 15291 (java) S 15284 15291 25100 0 -1 1077944320 27173 0 0 0 210 9 0 0 20 0 15 0 54458510 13230772224 28534 18446744073709551615 4194304 4196468 140735046597232 140735046579776 140027783368439 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 7 0 0 6293624 6294260 14286848 140735046599060 140735046599246 140735046599246 140735046602703 0
/proc/15291/statm: 3230169 28534 3738 1 0 3218943 0
[pid=15291/tid=15301] ppid=15284 vsize=12920676 CPUtime=1.04 cores=1,3,5,7
/proc/15291/task/15301/stat : 15301 (java) R 15284 15291 25100 0 -1 4202560 14052 0 0 0 98 6 0 0 20 0 15 0 54458518 13230772224 28534 18446744073709551615 4194304 4196468 140735046597232 140027787605888 140027427664177 0 4 1 16800974 0 0 0 -1 3 0 0 7 0 0 6293624 6294260 14286848 140735046599060 140735046599246 140735046599246 140735046602703 0
[pid=15291/tid=15302] ppid=15284 vsize=12920676 CPUtime=0 cores=1,3,5,7
/proc/15291/task/15302/stat : 15302 (java) S 15284 15291 25100 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 54458518 13230772224 28534 18446744073709551615 4194304 4196468 140735046597232 140027746474768 140027783378645 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14286848 140735046599060 140735046599246 140735046599246 140735046602703 0
[pid=15291/tid=15303] ppid=15284 vsize=12920676 CPUtime=0 cores=1,3,5,7
/proc/15291/task/15303/stat : 15303 (java) S 15284 15291 25100 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 54458518 13230772224 28534 18446744073709551615 4194304 4196468 140735046597232 140027385957264 140027783378645 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14286848 140735046599060 140735046599246 140735046599246 140735046602703 0
[pid=15291/tid=15304] ppid=15284 vsize=12920676 CPUtime=0 cores=1,3,5,7
/proc/15291/task/15304/stat : 15304 (java) S 15284 15291 25100 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 54458518 13230772224 28534 18446744073709551615 4194304 4196468 140735046597232 140027384904720 140027783378645 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14286848 140735046599060 140735046599246 140735046599246 140735046602703 0
[pid=15291/tid=15305] ppid=15284 vsize=12920676 CPUtime=0 cores=1,3,5,7
/proc/15291/task/15305/stat : 15305 (java) S 15284 15291 25100 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 54458518 13230772224 28534 18446744073709551615 4194304 4196468 140735046597232 140027383852176 140027783378645 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14286848 140735046599060 140735046599246 140735046599246 140735046602703 0
[pid=15291/tid=15306] ppid=15284 vsize=12920676 CPUtime=0 cores=1,3,5,7
/proc/15291/task/15306/stat : 15306 (java) S 15284 15291 25100 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 54458520 13230772224 28534 18446744073709551615 4194304 4196468 140735046597232 140027267872752 140027783379586 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14286848 140735046599060 140735046599246 140735046599246 140735046602703 0
[pid=15291/tid=15307] ppid=15284 vsize=12920676 CPUtime=0 cores=1,3,5,7
/proc/15291/task/15307/stat : 15307 (java) S 15284 15291 25100 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 54458520 13230772224 28534 18446744073709551615 4194304 4196468 140735046597232 140027266818976 140027783378645 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14286848 140735046599060 140735046599246 140735046599246 140735046602703 0
[pid=15291/tid=15308] ppid=15284 vsize=12920676 CPUtime=0 cores=1,3,5,7
/proc/15291/task/15308/stat : 15308 (java) S 15284 15291 25100 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 54458520 13230772224 28534 18446744073709551615 4194304 4196468 140735046597232 140027265766384 140027783378645 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14286848 140735046599060 140735046599246 140735046599246 140735046602703 0
[pid=15291/tid=15310] ppid=15284 vsize=12920676 CPUtime=0 cores=1,3,5,7
/proc/15291/task/15310/stat : 15310 (java) S 15284 15291 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 54458523 13230772224 28534 18446744073709551615 4194304 4196468 140735046597232 140027264714960 140027783387035 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14286848 140735046599060 140735046599246 140735046599246 140735046602703 0
[pid=15291/tid=15311] ppid=15284 vsize=12920676 CPUtime=0.37 cores=1,3,5,7
/proc/15291/task/15311/stat : 15311 (java) R 15284 15291 25100 0 -1 4202560 5284 0 0 0 36 1 0 0 20 0 15 0 54458523 13230772224 28534 18446744073709551615 4194304 4196468 140735046597232 140027263655768 140027768247996 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14286848 140735046599060 140735046599246 140735046599246 140735046602703 0
[pid=15291/tid=15312] ppid=15284 vsize=12920676 CPUtime=0.35 cores=1,3,5,7
/proc/15291/task/15312/stat : 15312 (java) R 15284 15291 25100 0 -1 4202560 3622 0 0 0 35 0 0 0 20 0 15 0 54458523 13230772224 28534 18446744073709551615 4194304 4196468 140735046597232 140027262592992 140027766868645 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14286848 140735046599060 140735046599246 140735046599246 140735046602703 0
[pid=15291/tid=15313] ppid=15284 vsize=12920676 CPUtime=0.4 cores=1,3,5,7
/proc/15291/task/15313/stat : 15313 (java) S 15284 15291 25100 0 -1 1077944384 2834 0 0 0 40 0 0 0 20 0 15 0 54458523 13230772224 28534 18446744073709551615 4194304 4196468 140735046597232 140027261557488 140027783379586 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14286848 140735046599060 140735046599246 140735046599246 140735046602703 0
[pid=15291/tid=15314] ppid=15284 vsize=12920676 CPUtime=0 cores=1,3,5,7
/proc/15291/task/15314/stat : 15314 (java) S 15284 15291 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 54458523 13230772224 28534 18446744073709551615 4194304 4196468 140735046597232 140027260505184 140027783378645 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14286848 140735046599060 140735046599246 140735046599246 140735046602703 0
[pid=15291/tid=15315] ppid=15284 vsize=12920676 CPUtime=0 cores=1,3,5,7
/proc/15291/task/15315/stat : 15315 (java) S 15284 15291 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 54458531 13230772224 28534 18446744073709551615 4194304 4196468 140735046597232 140027259451696 140027783379586 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14286848 140735046599060 140735046599246 140735046599246 140735046602703 0
Current children cumulated CPU time (s) 2.19
Current children cumulated vsize (KiB) 12920676
[startup+1.40066 s]
/proc/loadavg: 3.90 5.08 6.54 7/213 15315
/proc/meminfo: memFree=31238208/32770624 swapFree=0/333376
[pid=15291] ppid=15284 vsize=12920676 CPUtime=2.78 cores=1,3,5,7
/proc/15291/stat : 15291 (java) S 15284 15291 25100 0 -1 1077944320 28655 0 0 0 269 9 0 0 20 0 15 0 54458510 13230772224 29660 18446744073709551615 4194304 4196468 140735046597232 140735046579776 140027783368439 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 7 0 0 6293624 6294260 14286848 140735046599060 140735046599246 140735046599246 140735046602703 0
/proc/15291/statm: 3230169 29660 3743 1 0 3218943 0
[pid=15291/tid=15301] ppid=15284 vsize=12920676 CPUtime=1.23 cores=1,3,5,7
/proc/15291/task/15301/stat : 15301 (java) R 15284 15291 25100 0 -1 4202560 14328 0 0 0 117 6 0 0 20 0 15 0 54458518 13230772224 29660 18446744073709551615 4194304 4196468 140735046597232 140027787605888 140027427838769 0 4 1 16800974 0 0 0 -1 3 0 0 7 0 0 6293624 6294260 14286848 140735046599060 140735046599246 140735046599246 140735046602703 0
[pid=15291/tid=15302] ppid=15284 vsize=12920676 CPUtime=0 cores=1,3,5,7
/proc/15291/task/15302/stat : 15302 (java) S 15284 15291 25100 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 54458518 13230772224 29660 18446744073709551615 4194304 4196468 140735046597232 140027746474768 140027783378645 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14286848 140735046599060 140735046599246 140735046599246 140735046602703 0
[pid=15291/tid=15303] ppid=15284 vsize=12920676 CPUtime=0 cores=1,3,5,7
/proc/15291/task/15303/stat : 15303 (java) S 15284 15291 25100 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 54458518 13230772224 29660 18446744073709551615 4194304 4196468 140735046597232 140027385957264 140027783378645 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14286848 140735046599060 140735046599246 140735046599246 140735046602703 0
[pid=15291/tid=15304] ppid=15284 vsize=12920676 CPUtime=0 cores=1,3,5,7
/proc/15291/task/15304/stat : 15304 (java) S 15284 15291 25100 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 54458518 13230772224 29660 18446744073709551615 4194304 4196468 140735046597232 140027384904720 140027783378645 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14286848 140735046599060 140735046599246 140735046599246 140735046602703 0
[pid=15291/tid=15305] ppid=15284 vsize=12920676 CPUtime=0 cores=1,3,5,7
/proc/15291/task/15305/stat : 15305 (java) S 15284 15291 25100 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 54458518 13230772224 29660 18446744073709551615 4194304 4196468 140735046597232 140027383852176 140027783378645 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14286848 140735046599060 140735046599246 140735046599246 140735046602703 0
[pid=15291/tid=15306] ppid=15284 vsize=12920676 CPUtime=0 cores=1,3,5,7
/proc/15291/task/15306/stat : 15306 (java) S 15284 15291 25100 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 54458520 13230772224 29660 18446744073709551615 4194304 4196468 140735046597232 140027267872752 140027783379586 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14286848 140735046599060 140735046599246 140735046599246 140735046602703 0
[pid=15291/tid=15307] ppid=15284 vsize=12920676 CPUtime=0 cores=1,3,5,7
/proc/15291/task/15307/stat : 15307 (java) S 15284 15291 25100 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 54458520 13230772224 29660 18446744073709551615 4194304 4196468 140735046597232 140027266818976 140027783378645 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14286848 140735046599060 140735046599246 140735046599246 140735046602703 0
[pid=15291/tid=15308] ppid=15284 vsize=12920676 CPUtime=0 cores=1,3,5,7
/proc/15291/task/15308/stat : 15308 (java) S 15284 15291 25100 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 54458520 13230772224 29660 18446744073709551615 4194304 4196468 140735046597232 140027265766384 140027783378645 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14286848 140735046599060 140735046599246 140735046599246 140735046602703 0
[pid=15291/tid=15310] ppid=15284 vsize=12920676 CPUtime=0 cores=1,3,5,7
/proc/15291/task/15310/stat : 15310 (java) S 15284 15291 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 54458523 13230772224 29660 18446744073709551615 4194304 4196468 140735046597232 140027264714960 140027783387035 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14286848 140735046599060 140735046599246 140735046599246 140735046602703 0
[pid=15291/tid=15311] ppid=15284 vsize=12920676 CPUtime=0.57 cores=1,3,5,7
/proc/15291/task/15311/stat : 15311 (java) R 15284 15291 25100 0 -1 4202560 6077 0 0 0 56 1 0 0 20 0 15 0 54458523 13230772224 29660 18446744073709551615 4194304 4196468 140735046597232 140027263647568 140027761257665 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14286848 140735046599060 140735046599246 140735046599246 140735046602703 0
[pid=15291/tid=15312] ppid=15284 vsize=12920676 CPUtime=0.54 cores=1,3,5,7
/proc/15291/task/15312/stat : 15312 (java) R 15284 15291 25100 0 -1 4202560 4021 0 0 0 54 0 0 0 20 0 15 0 54458523 13230772224 29660 18446744073709551615 4194304 4196468 140735046597232 140027262598832 140027766753308 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14286848 140735046599060 140735046599246 140735046599246 140735046602703 0
[pid=15291/tid=15313] ppid=15284 vsize=12920676 CPUtime=0.4 cores=1,3,5,7
/proc/15291/task/15313/stat : 15313 (java) S 15284 15291 25100 0 -1 1077944384 2848 0 0 0 40 0 0 0 20 0 15 0 54458523 13230772224 29660 18446744073709551615 4194304 4196468 140735046597232 140027261557488 140027783379586 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14286848 140735046599060 140735046599246 140735046599246 140735046602703 0
[pid=15291/tid=15314] ppid=15284 vsize=12920676 CPUtime=0 cores=1,3,5,7
/proc/15291/task/15314/stat : 15314 (java) S 15284 15291 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 54458523 13230772224 29660 18446744073709551615 4194304 4196468 140735046597232 140027260505184 140027783378645 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14286848 140735046599060 140735046599246 140735046599246 140735046602703 0
[pid=15291/tid=15315] ppid=15284 vsize=12920676 CPUtime=0 cores=1,3,5,7
/proc/15291/task/15315/stat : 15315 (java) S 15284 15291 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 54458531 13230772224 29660 18446744073709551615 4194304 4196468 140735046597232 140027259451696 140027783379586 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14286848 140735046599060 140735046599246 140735046599246 140735046602703 0
Current children cumulated CPU time (s) 2.78
Current children cumulated vsize (KiB) 12920676
Child status: 0
Real time (s): 1.48951
CPU time (s): 3.02686
CPU user time (s): 2.91887
CPU system time (s): 0.107991
CPU usage (%): 203.212
Max. virtual memory (cumulated for all children) (KiB): 12920676
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2.91887
system time used= 0.107991
maximum resident set size= 126424
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 29965
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= 2293
involuntary context switches= 7
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.0063 second user time and 0.015752 second system time
The end