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-4248928-1500744860/watcher-4248928-1500744860 -o /tmp/evaluation-result-4248928-1500744860/solver-4248928-1500744860 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node117-1500718502-14415 --watchdog 2560 java -jar HOME/AbsCon-basic.jar HOME/instance-4248928-1500744860.xml
pid=18343
running on 8 cores: 1,3,5,7,9,11,13,15
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: 1.67 1.73 1.82 3/263 18346
/proc/meminfo: memFree=31544272/32770624 swapFree=5852/320900
[pid=18346] ppid=18343 vsize=8349744 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18346/stat : 18346 (java) S 18343 18346 14383 0 -1 1077944320 2125 0 0 0 0 0 0 0 20 0 2 0 9754640 8550137856 2375 33554432000 4194304 4196468 140732747858208 140732747840752 140129292861175 0 0 0 16784584 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 27467776 140732747859139 140732747859268 140732747859268 140732747861967 0
/proc/18346/statm: 2087436 2375 1198 1 0 2076347 0
[pid=18346/tid=18347] ppid=18343 vsize=8349744 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18346/task/18347/stat : 18347 (java) R 18343 18346 14383 0 -1 4202560 910 0 0 0 0 0 0 0 20 0 2 0 9754640 8550137856 2441 33554432000 4194304 4196468 140732747858208 140129297103264 140129273970448 0 4 0 16784584 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 27467776 140732747859139 140732747859268 140732747859268 140732747861967 0
[startup+0.100124 s]
/proc/loadavg: 1.67 1.73 1.82 3/263 18346
/proc/meminfo: memFree=31544272/32770624 swapFree=5852/320900
[pid=18346] ppid=18343 vsize=10900580 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/18346/stat : 18346 (java) S 18343 18346 14383 0 -1 1077944320 4946 0 0 0 8 1 0 0 20 0 20 0 9754640 11162193920 6497 33554432000 4194304 4196468 140732747858208 140732747840752 140129292861175 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 27467776 140732747859139 140732747859268 140732747859268 140732747861967 0
/proc/18346/statm: 2725145 6497 2632 1 0 2713552 0
[pid=18346/tid=18347] ppid=18343 vsize=10900580 CPUtime=0.08 cores=1,3,5,7,9,11,13,15
/proc/18346/task/18347/stat : 18347 (java) R 18343 18346 14383 0 -1 4202560 3019 0 0 0 7 1 0 0 20 0 20 0 9754640 11162193920 6497 33554432000 4194304 4196468 140732747858208 140129297092576 140129292883101 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 27467776 140732747859139 140732747859268 140732747859268 140732747861967 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 10900580
[startup+0.200378 s]
/proc/loadavg: 1.67 1.73 1.82 3/263 18346
/proc/meminfo: memFree=31544272/32770624 swapFree=5852/320900
[pid=18346] ppid=18343 vsize=10900580 CPUtime=0.27 cores=1,3,5,7,9,11,13,15
/proc/18346/stat : 18346 (java) S 18343 18346 14383 0 -1 1077944320 7744 0 0 0 25 2 0 0 20 0 20 0 9754640 11162193920 9089 33554432000 4194304 4196468 140732747858208 140732747840752 140129292861175 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 27467776 140732747859139 140732747859268 140732747859268 140732747861967 0
/proc/18346/statm: 2725145 9089 2924 1 0 2713552 0
[pid=18346/tid=18347] ppid=18343 vsize=10900580 CPUtime=0.17 cores=1,3,5,7,9,11,13,15
/proc/18346/task/18347/stat : 18347 (java) R 18343 18346 14383 0 -1 4202560 4889 0 0 0 16 1 0 0 20 0 20 0 9754640 11162193920 9089 33554432000 4194304 4196468 140732747858208 140129297084960 140129276941662 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 27467776 140732747859139 140732747859268 140732747859268 140732747861967 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 10900580
[startup+0.300348 s]
/proc/loadavg: 1.67 1.73 1.82 3/263 18346
/proc/meminfo: memFree=31544272/32770624 swapFree=5852/320900
[pid=18346] ppid=18343 vsize=10969228 CPUtime=0.49 cores=1,3,5,7,9,11,13,15
/proc/18346/stat : 18346 (java) S 18343 18346 14383 0 -1 1077944320 8507 0 0 0 46 3 0 0 20 0 21 0 9754640 11232489472 13369 33554432000 4194304 4196468 140732747858208 140732747840752 140129292861175 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 27467776 140732747859139 140732747859268 140732747859268 140732747861967 0
/proc/18346/statm: 2742307 13369 2973 1 0 2730193 0
[pid=18346/tid=18347] ppid=18343 vsize=10969228 CPUtime=0.24 cores=1,3,5,7,9,11,13,15
/proc/18346/task/18347/stat : 18347 (java) S 18343 18346 14383 0 -1 1077944384 5173 0 0 0 22 2 0 0 20 0 21 0 9754640 11232489472 13369 33554432000 4194304 4196468 140732747858208 140129297104048 140129292871381 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 27467776 140732747859139 140732747859268 140732747859268 140732747861967 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 10969228
[startup+0.700257 s]
/proc/loadavg: 1.67 1.73 1.82 3/263 18346
/proc/meminfo: memFree=31544272/32770624 swapFree=5852/320900
[pid=18346] ppid=18343 vsize=10971352 CPUtime=1.5 cores=1,3,5,7,9,11,13,15
/proc/18346/stat : 18346 (java) S 18343 18346 14383 0 -1 1077944320 12578 0 0 0 145 5 0 0 20 0 21 0 9754640 11234664448 21866 33554432000 4194304 4196468 140732747858208 140732747840752 140129292861175 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 27467776 140732747859139 140732747859268 140732747859268 140732747861967 0
/proc/18346/statm: 2742838 21866 3118 1 0 2730705 0
[pid=18346/tid=18347] ppid=18343 vsize=10971352 CPUtime=0.24 cores=1,3,5,7,9,11,13,15
/proc/18346/task/18347/stat : 18347 (java) S 18343 18346 14383 0 -1 1077944384 5173 0 0 0 22 2 0 0 20 0 21 0 9754640 11234664448 21866 33554432000 4194304 4196468 140732747858208 140129297104048 140129292871381 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 27467776 140732747859139 140732747859268 140732747859268 140732747861967 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 10971352
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 18346 sig 9
??? kill -18346 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+0.800343 s]
/proc/loadavg: 1.67 1.73 1.82 3/263 18346
/proc/meminfo: memFree=31544272/32770624 swapFree=5852/320900
[pid=18346] ppid=18343 vsize=10973400 CPUtime=1.92 cores=1,3,5,7,9,11,13,15
/proc/18346/stat : 18346 (java) S 18343 18346 14383 0 -1 1077944320 13539 0 0 0 186 6 0 0 20 0 21 0 9754640 11236761600 26889 33554432000 4194304 4196468 140732747858208 140732747840752 140129292861175 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 27467776 140732747859139 140732747859268 140732747859268 140732747861967 0
/proc/18346/statm: 2743350 26889 3123 1 0 2731217 0
[pid=18346/tid=18347] ppid=18343 vsize=10973400 CPUtime=0.24 cores=1,3,5,7,9,11,13,15
/proc/18346/task/18347/stat : 18347 (java) S 18343 18346 14383 0 -1 1077944384 5173 0 0 0 22 2 0 0 20 0 21 0 9754640 11236761600 26889 33554432000 4194304 4196468 140732747858208 140129297104048 140129292871381 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 27467776 140732747859139 140732747859268 140732747859268 140732747861967 0
Current children cumulated CPU time (s) 1.92
Current children cumulated vsize (KiB) 10973400
[startup+1.00026 s]
/proc/loadavg: 1.67 1.73 1.82 3/263 18346
/proc/meminfo: memFree=31544272/32770624 swapFree=5852/320900
[pid=18346] ppid=18343 vsize=10973400 CPUtime=2.39 cores=1,3,5,7,9,11,13,15
/proc/18346/stat : 18346 (java) S 18343 18346 14383 0 -1 1077944320 13769 0 0 0 233 6 0 0 20 0 21 0 9754640 11236761600 27092 33554432000 4194304 4196468 140732747858208 140732747840752 140129292861175 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 27467776 140732747859139 140732747859268 140732747859268 140732747861967 0
/proc/18346/statm: 2743350 27092 3125 1 0 2731217 0
[pid=18346/tid=18347] ppid=18343 vsize=10973400 CPUtime=0.24 cores=1,3,5,7,9,11,13,15
/proc/18346/task/18347/stat : 18347 (java) S 18343 18346 14383 0 -1 1077944384 5173 0 0 0 22 2 0 0 20 0 21 0 9754640 11236761600 27092 33554432000 4194304 4196468 140732747858208 140129297104048 140129292871381 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 27467776 140732747859139 140732747859268 140732747859268 140732747861967 0
Current children cumulated CPU time (s) 2.39
Current children cumulated vsize (KiB) 10973400
[startup+1.10025 s]
/proc/loadavg: 1.67 1.73 1.82 3/284 18367
/proc/meminfo: memFree=31448900/32770624 swapFree=5852/320952
[pid=18346] ppid=18343 vsize=10973400 CPUtime=2.51 cores=1,3,5,7,9,11,13,15
/proc/18346/stat : 18346 (java) S 18343 18346 14383 0 -1 1077944320 13774 0 0 0 245 6 0 0 20 0 21 0 9754640 11236761600 27092 33554432000 4194304 4196468 140732747858208 140732747840752 140129292861175 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 27467776 140732747859139 140732747859268 140732747859268 140732747861967 0
/proc/18346/statm: 2743350 27092 3125 1 0 2731217 0
[pid=18346/tid=18347] ppid=18343 vsize=10973400 CPUtime=0.24 cores=1,3,5,7,9,11,13,15
/proc/18346/task/18347/stat : 18347 (java) S 18343 18346 14383 0 -1 1077944384 5173 0 0 0 22 2 0 0 20 0 21 0 9754640 11236761600 27092 33554432000 4194304 4196468 140732747858208 140129297104048 140129292871381 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 27467776 140732747859139 140732747859268 140732747859268 140732747861967 0
[pid=18346/tid=18348] ppid=18343 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18346/task/18348/stat : 18348 (java) S 18343 18346 14383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 21 0 9754641 11236761600 27092 33554432000 4194304 4196468 140732747858208 140129218935696 140129292871381 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 27467776 140732747859139 140732747859268 140732747859268 140732747861967 0
[pid=18346/tid=18350] ppid=18343 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18346/task/18350/stat : 18350 (java) S 18343 18346 14383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 9754641 11236761600 27092 33554432000 4194304 4196468 140732747858208 140129217882896 140129292871381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27467776 140732747859139 140732747859268 140732747859268 140732747861967 0
[pid=18346/tid=18351] ppid=18343 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18346/task/18351/stat : 18351 (java) S 18343 18346 14383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 9754641 11236761600 27092 33554432000 4194304 4196468 140732747858208 140129216830608 140129292871381 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27467776 140732747859139 140732747859268 140732747859268 140732747861967 0
[pid=18346/tid=18352] ppid=18343 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18346/task/18352/stat : 18352 (java) S 18343 18346 14383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 21 0 9754641 11236761600 27092 33554432000 4194304 4196468 140732747858208 140129215777808 140129292871381 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27467776 140732747859139 140732747859268 140732747859268 140732747861967 0
[pid=18346/tid=18353] ppid=18343 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18346/task/18353/stat : 18353 (java) S 18343 18346 14383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 9754641 11236761600 27092 33554432000 4194304 4196468 140732747858208 140129214724496 140129292871381 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27467776 140732747859139 140732747859268 140732747859268 140732747861967 0
[pid=18346/tid=18354] ppid=18343 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18346/task/18354/stat : 18354 (java) S 18343 18346 14383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 9754641 11236761600 27092 33554432000 4194304 4196468 140732747858208 140128894839056 140129292871381 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27467776 140732747859139 140732747859268 140732747859268 140732747861967 0
[pid=18346/tid=18355] ppid=18343 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18346/task/18355/stat : 18355 (java) S 18343 18346 14383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 9754641 11236761600 27092 33554432000 4194304 4196468 140732747858208 140128893786768 140129292871381 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 27467776 140732747859139 140732747859268 140732747859268 140732747861967 0
[pid=18346/tid=18356] ppid=18343 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18346/task/18356/stat : 18356 (java) S 18343 18346 14383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 9754641 11236761600 27092 33554432000 4194304 4196468 140732747858208 140128892733968 140129292871381 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 27467776 140732747859139 140732747859268 140732747859268 140732747861967 0
[pid=18346/tid=18357] ppid=18343 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18346/task/18357/stat : 18357 (java) S 18343 18346 14383 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 21 0 9754643 11236761600 27092 33554432000 4194304 4196468 140732747858208 140128768711280 140129292872322 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27467776 140732747859139 140732747859268 140732747859268 140732747861967 0
[pid=18346/tid=18358] ppid=18343 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18346/task/18358/stat : 18358 (java) S 18343 18346 14383 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 21 0 9754644 11236761600 27092 33554432000 4194304 4196468 140732747858208 140128767657248 140129292871381 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 27467776 140732747859139 140732747859268 140732747859268 140732747861967 0
[pid=18346/tid=18359] ppid=18343 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18346/task/18359/stat : 18359 (java) S 18343 18346 14383 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 21 0 9754644 11236761600 27092 33554432000 4194304 4196468 140732747858208 140128766604912 140129292871381 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 27467776 140732747859139 140732747859268 140732747859268 140732747861967 0
[pid=18346/tid=18360] ppid=18343 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18346/task/18360/stat : 18360 (java) S 18343 18346 14383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 9754648 11236761600 27092 33554432000 4194304 4196468 140732747858208 140128765553232 140129292879771 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 27467776 140732747859139 140732747859268 140732747859268 140732747861967 0
[pid=18346/tid=18361] ppid=18343 vsize=10973400 CPUtime=0.33 cores=1,3,5,7,9,11,13,15
/proc/18346/task/18361/stat : 18361 (java) S 18343 18346 14383 0 -1 1077944384 1039 0 0 0 33 0 0 0 20 0 21 0 9754648 11236761600 27092 33554432000 4194304 4196468 140732747858208 140128764500080 140129292872322 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 27467776 140732747859139 140732747859268 140732747859268 140732747861967 0
[pid=18346/tid=18362] ppid=18343 vsize=10973400 CPUtime=0.35 cores=1,3,5,7,9,11,13,15
/proc/18346/task/18362/stat : 18362 (java) S 18343 18346 14383 0 -1 1077944384 955 0 0 0 35 0 0 0 20 0 21 0 9754648 11236761600 27092 33554432000 4194304 4196468 140732747858208 140128763447280 140129292872322 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27467776 140732747859139 140732747859268 140732747859268 140732747861967 0
[pid=18346/tid=18363] ppid=18343 vsize=10973400 CPUtime=0.32 cores=1,3,5,7,9,11,13,15
/proc/18346/task/18363/stat : 18363 (java) S 18343 18346 14383 0 -1 1077944384 1103 0 0 0 32 0 0 0 20 0 21 0 9754648 11236761600 27092 33554432000 4194304 4196468 140732747858208 140128762394992 140129292872322 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 27467776 140732747859139 140732747859268 140732747859268 140732747861967 0
[pid=18346/tid=18364] ppid=18343 vsize=10973400 CPUtime=0.39 cores=1,3,5,7,9,11,13,15
/proc/18346/task/18364/stat : 18364 (java) S 18343 18346 14383 0 -1 1077944384 1984 0 0 0 39 0 0 0 20 0 21 0 9754648 11236761600 27092 33554432000 4194304 4196468 140732747858208 140128761342192 140129292872322 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 27467776 140732747859139 140732747859268 140732747859268 140732747861967 0
[pid=18346/tid=18365] ppid=18343 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18346/task/18365/stat : 18365 (java) S 18343 18346 14383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 9754648 11236761600 27092 33554432000 4194304 4196468 140732747858208 140128760290144 140129292871381 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 27467776 140732747859139 140732747859268 140732747859268 140732747861967 0
[pid=18346/tid=18366] ppid=18343 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18346/task/18366/stat : 18366 (java) S 18343 18346 14383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 9754648 11236761600 27092 33554432000 4194304 4196468 140732747858208 140128759237424 140129292872322 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27467776 140732747859139 140732747859268 140732747859268 140732747861967 0
[pid=18346/tid=18367] ppid=18343 vsize=10973400 CPUtime=0.83 cores=1,3,5,7,9,11,13,15
/proc/18346/task/18367/stat : 18367 (java) R 18343 18346 14383 0 -1 4202560 2139 0 0 0 81 2 0 0 20 0 21 0 9754666 11236761600 27092 33554432000 4194304 4196468 140732747858208 140128756044952 140129276904805 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 27467776 140732747859139 140732747859268 140732747859268 140732747861967 0
Current children cumulated CPU time (s) 2.51
Current children cumulated vsize (KiB) 10973400
Child status: 0
Real time (s): 1.12728
CPU time (s): 2.53308
CPU user time (s): 2.46564
CPU system time (s): 0.067439
CPU usage (%): 224.707
Max. virtual memory (cumulated for all children) (KiB): 10973400
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2.46564
system time used= 0.067439
maximum resident set size= 108872
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13827
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= 2578
involuntary context switches= 201
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.01302 second user time and 0.016275 second system time
The end