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-4256649-1501635090/watcher-4256649-1501635090 -o /tmp/evaluation-result-4256649-1501635090/solver-4256649-1501635090 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node132-1501623086-29847 --watchdog 300 java -Xmx11000m -jar oscar-cp-xcsp3-hybrid.jar --randomseed 1582602833 --timelimit 264 --memlimit 11000 --nbcore 4 HOME/instance-4256649-1501635090.xml
pid=7881
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: 1.84 1.68 1.68 2/200 7884
/proc/meminfo: memFree=28134320/32770624 swapFree=0/233308
[pid=7884] ppid=7881 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/7884/stat : 7884 (runsolver) D 7881 7884 18930 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 63162519 24240128 108 18446744073709551615 4194304 4338465 140730740604720 140730740602360 140078015062743 0 0 1 24578 18446744071580418449 0 0 17 0 0 0 0 0 0 6438912 6441760 37584896 140730740609129 140730740609605 140730740609605 140730740613066 0
/proc/7884/statm: 5918 108 54 36 0 2156 0
[startup+0.100128 s]
/proc/loadavg: 1.84 1.68 1.68 2/200 7884
/proc/meminfo: memFree=28134320/32770624 swapFree=0/233308
[pid=7884] ppid=7881 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/7884/stat : 7884 (runsolver) D 7881 7884 18930 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 63162519 24240128 108 18446744073709551615 4194304 4338465 140730740604720 140730740602360 140078015062743 0 0 1 24578 18446744071580418449 0 0 17 0 0 0 0 0 0 6438912 6441760 37584896 140730740609129 140730740609605 140730740609605 140730740613066 0
/proc/7884/statm: 5918 108 54 36 0 2156 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 23672
[startup+0.200253 s]
/proc/loadavg: 1.84 1.68 1.68 2/200 7884
/proc/meminfo: memFree=28134320/32770624 swapFree=0/233308
[pid=7884] ppid=7881 vsize=13976388 CPUtime=0.05 cores=0,2,4,6
/proc/7884/stat : 7884 (java) S 7881 7884 18930 0 -1 1077944320 4778 0 0 0 5 0 0 0 20 0 15 0 63162519 14311821312 5304 18446744073709551615 4194304 4196468 140723438703712 140723438686256 139952976068343 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 10 0 0 6293624 6294260 39559168 140723438711188 140723438711370 140723438711370 140723438714831 0
/proc/7884/statm: 3494097 5304 2608 1 0 3482884 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 13976388
[startup+0.300234 s]
/proc/loadavg: 1.84 1.68 1.68 2/200 7884
/proc/meminfo: memFree=28134320/32770624 swapFree=0/233308
[pid=7884] ppid=7881 vsize=13975920 CPUtime=0.21 cores=0,2,4,6
/proc/7884/stat : 7884 (java) S 7881 7884 18930 0 -1 1077944320 9856 0 0 0 19 2 0 0 20 0 15 0 63162519 14311342080 9615 18446744073709551615 4194304 4196468 140723438703712 140723438686256 139952976068343 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 10 0 0 6293624 6294260 39559168 140723438711188 140723438711370 140723438711370 140723438714831 0
/proc/7884/statm: 3493980 9615 3521 1 0 3482767 0
Current children cumulated CPU time (s) 0.21
Current children cumulated vsize (KiB) 13975920
[startup+0.702172 s]
/proc/loadavg: 1.84 1.68 1.68 2/200 7884
/proc/meminfo: memFree=28134320/32770624 swapFree=0/233308
[pid=7884] ppid=7881 vsize=13977988 CPUtime=0.95 cores=0,2,4,6
/proc/7884/stat : 7884 (java) S 7881 7884 18930 0 -1 1077944320 13814 0 0 0 91 4 0 0 20 0 15 0 63162519 14313459712 16580 18446744073709551615 4194304 4196468 140723438703712 140723438686256 139952976068343 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 10 0 0 6293624 6294260 39559168 140723438711188 140723438711370 140723438711370 140723438714831 0
/proc/7884/statm: 3494497 16580 3712 1 0 3483279 0
Current children cumulated CPU time (s) 0.95
Current children cumulated vsize (KiB) 13977988
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 7884 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+0.805011 s]
/proc/loadavg: 1.84 1.68 1.68 2/200 7884
/proc/meminfo: memFree=28134320/32770624 swapFree=0/233308
[pid=7884] ppid=7881 vsize=13980036 CPUtime=1.13 cores=0,2,4,6
/proc/7884/stat : 7884 (java) S 7881 7884 18930 0 -1 1077944320 14494 0 0 0 109 4 0 0 20 0 15 0 63162519 14315556864 18845 18446744073709551615 4194304 4196468 140723438703712 140723438686256 139952976068343 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 10 0 0 6293624 6294260 39559168 140723438711188 140723438711370 140723438711370 140723438714831 0
/proc/7884/statm: 3495009 18845 3728 1 0 3483791 0
Current children cumulated CPU time (s) 1.13
Current children cumulated vsize (KiB) 13980036
[startup+1.20698 s]
/proc/loadavg: 1.84 1.68 1.68 5/215 7899
/proc/meminfo: memFree=28045404/32770624 swapFree=0/233116
[pid=7884] ppid=7881 vsize=13980036 CPUtime=2.23 cores=0,2,4,6
/proc/7884/stat : 7884 (java) S 7881 7884 18930 0 -1 1077944320 25366 0 0 0 216 7 0 0 20 0 15 0 63162519 14315556864 28132 18446744073709551615 4194304 4196468 140723438703712 140723438686256 139952976068343 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 10 0 0 6293624 6294260 39559168 140723438711188 140723438711370 140723438711370 140723438714831 0
/proc/7884/statm: 3495009 28132 3739 1 0 3483791 0
[pid=7884/tid=7886] ppid=7881 vsize=13980036 CPUtime=1.05 cores=0,2,4,6
/proc/7884/task/7886/stat : 7886 (java) R 7881 7884 18930 0 -1 4202560 13558 0 0 0 100 5 0 0 20 0 15 0 63162530 14315556864 28132 18446744073709551615 4194304 4196468 140723438703712 139952980304392 139952957631895 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 39559168 140723438711188 140723438711370 140723438711370 140723438714831 0
[pid=7884/tid=7887] ppid=7881 vsize=13980036 CPUtime=0 cores=0,2,4,6
/proc/7884/task/7887/stat : 7887 (java) S 7881 7884 18930 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 63162531 14315556864 28132 18446744073709551615 4194304 4196468 140723438703712 139952933034640 139952976078549 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39559168 140723438711188 140723438711370 140723438711370 140723438714831 0
[pid=7884/tid=7888] ppid=7881 vsize=13980036 CPUtime=0 cores=0,2,4,6
/proc/7884/task/7888/stat : 7888 (java) S 7881 7884 18930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 63162531 14315556864 28132 18446744073709551615 4194304 4196468 140723438703712 139952931981840 139952976078549 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39559168 140723438711188 140723438711370 140723438711370 140723438714831 0
[pid=7884/tid=7889] ppid=7881 vsize=13980036 CPUtime=0 cores=0,2,4,6
/proc/7884/task/7889/stat : 7889 (java) S 7881 7884 18930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 63162531 14315556864 28132 18446744073709551615 4194304 4196468 140723438703712 139952930929040 139952976078549 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39559168 140723438711188 140723438711370 140723438711370 140723438714831 0
[pid=7884/tid=7890] ppid=7881 vsize=13980036 CPUtime=0 cores=0,2,4,6
/proc/7884/task/7890/stat : 7890 (java) S 7881 7884 18930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 63162531 14315556864 28132 18446744073709551615 4194304 4196468 140723438703712 139952929876240 139952976078549 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39559168 140723438711188 140723438711370 140723438711370 140723438714831 0
[pid=7884/tid=7891] ppid=7881 vsize=13980036 CPUtime=0 cores=0,2,4,6
/proc/7884/task/7891/stat : 7891 (java) S 7881 7884 18930 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 63162532 14315556864 28132 18446744073709551615 4194304 4196468 140723438703712 139952522046320 139952976079490 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39559168 140723438711188 140723438711370 140723438711370 140723438714831 0
[pid=7884/tid=7892] ppid=7881 vsize=13980036 CPUtime=0 cores=0,2,4,6
/proc/7884/task/7892/stat : 7892 (java) S 7881 7884 18930 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 63162533 14315556864 28132 18446744073709551615 4194304 4196468 140723438703712 139952520992288 139952976078549 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39559168 140723438711188 140723438711370 140723438711370 140723438714831 0
[pid=7884/tid=7893] ppid=7881 vsize=13980036 CPUtime=0 cores=0,2,4,6
/proc/7884/task/7893/stat : 7893 (java) S 7881 7884 18930 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 63162533 14315556864 28132 18446744073709551615 4194304 4196468 140723438703712 139952519939440 139952976078549 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39559168 140723438711188 140723438711370 140723438711370 140723438714831 0
[pid=7884/tid=7894] ppid=7881 vsize=13980036 CPUtime=0 cores=0,2,4,6
/proc/7884/task/7894/stat : 7894 (java) S 7881 7884 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 63162535 14315556864 28132 18446744073709551615 4194304 4196468 140723438703712 139952518887760 139952976086939 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39559168 140723438711188 140723438711370 140723438711370 140723438714831 0
[pid=7884/tid=7895] ppid=7881 vsize=13980036 CPUtime=0.4 cores=0,2,4,6
/proc/7884/task/7895/stat : 7895 (java) R 7881 7884 18930 0 -1 4202560 4478 0 0 0 40 0 0 0 20 0 15 0 63162535 14315556864 28132 18446744073709551615 4194304 4196468 140723438703712 139952517819480 139952969171975 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 39559168 140723438711188 140723438711370 140723438711370 140723438714831 0
[pid=7884/tid=7896] ppid=7881 vsize=13980036 CPUtime=0.4 cores=0,2,4,6
/proc/7884/task/7896/stat : 7896 (java) R 7881 7884 18930 0 -1 4202560 4407 0 0 0 40 0 0 0 20 0 15 0 63162535 14315556864 28132 18446744073709551615 4194304 4196468 140723438703712 139952448844376 139952960950422 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 39559168 140723438711188 140723438711370 140723438711370 140723438714831 0
[pid=7884/tid=7897] ppid=7881 vsize=13980036 CPUtime=0.33 cores=0,2,4,6
/proc/7884/task/7897/stat : 7897 (java) S 7881 7884 18930 0 -1 1077944384 1542 0 0 0 33 0 0 0 20 0 15 0 63162535 14315556864 28132 18446744073709551615 4194304 4196468 140723438703712 139952447805552 139952976079490 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39559168 140723438711188 140723438711370 140723438711370 140723438714831 0
[pid=7884/tid=7898] ppid=7881 vsize=13980036 CPUtime=0 cores=0,2,4,6
/proc/7884/task/7898/stat : 7898 (java) S 7881 7884 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 63162536 14315556864 28132 18446744073709551615 4194304 4196468 140723438703712 139952446752992 139952976078549 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39559168 140723438711188 140723438711370 140723438711370 140723438714831 0
[pid=7884/tid=7899] ppid=7881 vsize=13980036 CPUtime=0 cores=0,2,4,6
/proc/7884/task/7899/stat : 7899 (java) S 7881 7884 18930 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 63162539 14315556864 28132 18446744073709551615 4194304 4196468 140723438703712 139952445701296 139952976079490 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39559168 140723438711188 140723438711370 140723438711370 140723438714831 0
Current children cumulated CPU time (s) 2.23
Current children cumulated vsize (KiB) 13980036
[startup+1.40071 s]
/proc/loadavg: 1.84 1.68 1.68 5/215 7899
/proc/meminfo: memFree=28045404/32770624 swapFree=0/233116
[pid=7884] ppid=7881 vsize=13980036 CPUtime=2.68 cores=0,2,4,6
/proc/7884/stat : 7884 (java) S 7881 7884 18930 0 -1 1077944320 26215 0 0 0 261 7 0 0 20 0 15 0 63162519 14315556864 32254 18446744073709551615 4194304 4196468 140723438703712 140723438686256 139952976068343 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 10 0 0 6293624 6294260 39559168 140723438711188 140723438711370 140723438711370 140723438714831 0
/proc/7884/statm: 3495009 32254 3743 1 0 3483791 0
[pid=7884/tid=7886] ppid=7881 vsize=13980036 CPUtime=1.24 cores=0,2,4,6
/proc/7884/task/7886/stat : 7886 (java) R 7881 7884 18930 0 -1 4202560 13609 0 0 0 119 5 0 0 20 0 15 0 63162530 14315556864 32254 18446744073709551615 4194304 4196468 140723438703712 139952980304392 139952603921976 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 39559168 140723438711188 140723438711370 140723438711370 140723438714831 0
[pid=7884/tid=7887] ppid=7881 vsize=13980036 CPUtime=0 cores=0,2,4,6
/proc/7884/task/7887/stat : 7887 (java) S 7881 7884 18930 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 63162531 14315556864 32254 18446744073709551615 4194304 4196468 140723438703712 139952933034640 139952976078549 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39559168 140723438711188 140723438711370 140723438711370 140723438714831 0
[pid=7884/tid=7888] ppid=7881 vsize=13980036 CPUtime=0 cores=0,2,4,6
/proc/7884/task/7888/stat : 7888 (java) S 7881 7884 18930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 63162531 14315556864 32254 18446744073709551615 4194304 4196468 140723438703712 139952931981840 139952976078549 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39559168 140723438711188 140723438711370 140723438711370 140723438714831 0
[pid=7884/tid=7889] ppid=7881 vsize=13980036 CPUtime=0 cores=0,2,4,6
/proc/7884/task/7889/stat : 7889 (java) S 7881 7884 18930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 63162531 14315556864 32254 18446744073709551615 4194304 4196468 140723438703712 139952930929040 139952976078549 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39559168 140723438711188 140723438711370 140723438711370 140723438714831 0
[pid=7884/tid=7890] ppid=7881 vsize=13980036 CPUtime=0 cores=0,2,4,6
/proc/7884/task/7890/stat : 7890 (java) S 7881 7884 18930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 63162531 14315556864 32254 18446744073709551615 4194304 4196468 140723438703712 139952929876240 139952976078549 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39559168 140723438711188 140723438711370 140723438711370 140723438714831 0
[pid=7884/tid=7891] ppid=7881 vsize=13980036 CPUtime=0 cores=0,2,4,6
/proc/7884/task/7891/stat : 7891 (java) S 7881 7884 18930 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 63162532 14315556864 32254 18446744073709551615 4194304 4196468 140723438703712 139952522046320 139952976079490 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39559168 140723438711188 140723438711370 140723438711370 140723438714831 0
[pid=7884/tid=7892] ppid=7881 vsize=13980036 CPUtime=0 cores=0,2,4,6
/proc/7884/task/7892/stat : 7892 (java) S 7881 7884 18930 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 63162533 14315556864 32254 18446744073709551615 4194304 4196468 140723438703712 139952520992288 139952976078549 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39559168 140723438711188 140723438711370 140723438711370 140723438714831 0
[pid=7884/tid=7893] ppid=7881 vsize=13980036 CPUtime=0 cores=0,2,4,6
/proc/7884/task/7893/stat : 7893 (java) S 7881 7884 18930 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 63162533 14315556864 32254 18446744073709551615 4194304 4196468 140723438703712 139952519939440 139952976078549 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39559168 140723438711188 140723438711370 140723438711370 140723438714831 0
[pid=7884/tid=7894] ppid=7881 vsize=13980036 CPUtime=0 cores=0,2,4,6
/proc/7884/task/7894/stat : 7894 (java) S 7881 7884 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 63162535 14315556864 32254 18446744073709551615 4194304 4196468 140723438703712 139952518887760 139952976086939 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39559168 140723438711188 140723438711370 140723438711370 140723438714831 0
[pid=7884/tid=7895] ppid=7881 vsize=13980036 CPUtime=0.53 cores=0,2,4,6
/proc/7884/task/7895/stat : 7895 (java) S 7881 7884 18930 0 -1 1077944384 4943 0 0 0 53 0 0 0 20 0 15 0 63162535 14315556864 32254 18446744073709551615 4194304 4196468 140723438703712 139952517835120 139952976079490 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39559168 140723438711188 140723438711370 140723438711370 140723438714831 0
[pid=7884/tid=7896] ppid=7881 vsize=13980036 CPUtime=0.54 cores=0,2,4,6
/proc/7884/task/7896/stat : 7896 (java) S 7881 7884 18930 0 -1 1077944384 4739 0 0 0 54 0 0 0 20 0 15 0 63162535 14315556864 32254 18446744073709551615 4194304 4196468 140723438703712 139952448858352 139952976079490 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39559168 140723438711188 140723438711370 140723438711370 140723438714831 0
[pid=7884/tid=7897] ppid=7881 vsize=13980036 CPUtime=0.33 cores=0,2,4,6
/proc/7884/task/7897/stat : 7897 (java) S 7881 7884 18930 0 -1 1077944384 1542 0 0 0 33 0 0 0 20 0 15 0 63162535 14315556864 32254 18446744073709551615 4194304 4196468 140723438703712 139952447805552 139952976079490 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39559168 140723438711188 140723438711370 140723438711370 140723438714831 0
[pid=7884/tid=7898] ppid=7881 vsize=13980036 CPUtime=0 cores=0,2,4,6
/proc/7884/task/7898/stat : 7898 (java) S 7881 7884 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 63162536 14315556864 32254 18446744073709551615 4194304 4196468 140723438703712 139952446752992 139952976078549 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39559168 140723438711188 140723438711370 140723438711370 140723438714831 0
[pid=7884/tid=7899] ppid=7881 vsize=13980036 CPUtime=0 cores=0,2,4,6
/proc/7884/task/7899/stat : 7899 (java) S 7881 7884 18930 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 63162539 14315556864 32254 18446744073709551615 4194304 4196468 140723438703712 139952445701296 139952976079490 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39559168 140723438711188 140723438711370 140723438711370 140723438714831 0
Current children cumulated CPU time (s) 2.68
Current children cumulated vsize (KiB) 13980036
Child status: 0
Real time (s): 1.46304
CPU time (s): 2.74675
CPU user time (s): 2.66255
CPU system time (s): 0.084199
CPU usage (%): 187.743
Max. virtual memory (cumulated for all children) (KiB): 13980036
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2.66255
system time used= 0.084199
maximum resident set size= 133632
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 26804
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= 2169
involuntary context switches= 8
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.007774 second user time and 0.013413 second system time
The end