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-4247812-1500731497/watcher-4247812-1500731497 -o /tmp/evaluation-result-4247812-1500731497/solver-4247812-1500731497 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node104-1500714400-18228 --watchdog 2560 java -Xmx10000m -jar oscar-cp-xcsp3-conf_order.jar --randomseed 908601909 --timelimit 2400 --memlimit 15500 --nbcore 8 HOME/instance-4247812-1500731497.xml
pid=21975
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.99 1.97 1.96 3/261 21978
/proc/meminfo: memFree=31522316/32770624 swapFree=5892/165292
[pid=21978] ppid=21975 vsize=10635564 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21978/stat : 21978 (java) S 21975 21978 18196 0 -1 1077944320 2229 0 0 0 0 0 0 0 20 0 3 0 8419395 10890817536 2432 33554432000 4194304 4196468 140729152446720 140729152429264 140407047016183 0 0 0 16784584 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 8978432 140729152455818 140729152456004 140729152456004 140729152458703 0
/proc/21978/statm: 2658891 2432 1188 1 0 2647802 0
[pid=21978/tid=21979] ppid=21975 vsize=10636592 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21978/task/21979/stat : 21979 (java) R 21975 21978 18196 0 -1 4202560 917 0 0 0 0 0 0 0 20 0 4 0 8419395 10891870208 2432 33554432000 4194304 4196468 140729152446720 140407051257552 140407039253310 0 4 0 16784584 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 8978432 140729152455818 140729152456004 140729152456004 140729152458703 0
[pid=21978/tid=21980] ppid=21975 vsize=10637620 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21978/task/21980/stat : 21980 (java) S 21975 21978 18196 0 -1 1077944384 0 0 0 0 0 0 0 0 20 0 5 0 8419396 10892922880 2498 33554432000 4194304 4196468 140729152446720 140406979153120 140407047026389 0 4 0 16784584 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 8978432 140729152455818 140729152456004 140729152456004 140729152458703 0
[pid=21978/tid=21981] ppid=21975 vsize=10637620 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21978/task/21981/stat : 21981 (java) S 21975 21978 18196 0 -1 1077944384 0 0 0 0 0 0 0 0 20 0 5 0 8419396 10892922880 2498 33554432000 4194304 4196468 140729152446720 140406644771936 140407047026389 0 4 0 16784584 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 8978432 140729152455818 140729152456004 140729152456004 140729152458703 0
[pid=21978/tid=21982] ppid=21975 vsize=10638648 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21978/task/21982/stat : 21982 (java) S 21975 21978 18196 0 -1 1077944384 0 0 0 0 0 0 0 0 20 0 5 0 8419396 10893975552 2498 33554432000 4194304 4196468 140729152446720 140406643719648 140407047026389 0 4 0 16784584 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 8978432 140729152455818 140729152456004 140729152456004 140729152458703 0
[pid=21978/tid=21983] ppid=21975 vsize=10638648 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21978/task/21983/stat : 21983 (java) R 21975 21978 18196 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 6 0 8419396 10893975552 2498 33554432000 4194304 4196468 140729152446720 140407051257552 140407039756033 0 4 0 16784584 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 8978432 140729152455818 140729152456004 140729152456004 140729152458703 0
[startup+0.100127 s]
/proc/loadavg: 1.99 1.97 1.96 3/261 21978
/proc/meminfo: memFree=31522316/32770624 swapFree=5892/165292
[pid=21978] ppid=21975 vsize=13263912 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/21978/stat : 21978 (java) S 21975 21978 18196 0 -1 1077944320 6924 0 0 0 8 1 0 0 20 0 20 0 8419395 13582245888 7193 33554432000 4194304 4196468 140729152446720 140729152429264 140407047016183 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 8978432 140729152455818 140729152456004 140729152456004 140729152458703 0
/proc/21978/statm: 3315978 7193 3369 1 0 3303698 0
[pid=21978/tid=21979] ppid=21975 vsize=13263912 CPUtime=0.08 cores=1,3,5,7,9,11,13,15
/proc/21978/task/21979/stat : 21979 (java) R 21975 21978 18196 0 -1 4202560 4988 0 0 0 7 1 0 0 20 0 20 0 8419395 13582245888 7193 33554432000 4194304 4196468 140729152446720 140407051249216 140407033237503 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 8978432 140729152455818 140729152456004 140729152456004 140729152458703 0
[pid=21978/tid=21980] ppid=21975 vsize=13263912 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21978/task/21980/stat : 21980 (java) S 21975 21978 18196 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 8419396 13582245888 7193 33554432000 4194304 4196468 140729152446720 140406979152784 140407047026389 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 8978432 140729152455818 140729152456004 140729152456004 140729152458703 0
[pid=21978/tid=21981] ppid=21975 vsize=13263912 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21978/task/21981/stat : 21981 (java) S 21975 21978 18196 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 8419396 13582245888 7193 33554432000 4194304 4196468 140729152446720 140406644771600 140407047026389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8978432 140729152455818 140729152456004 140729152456004 140729152458703 0
[pid=21978/tid=21982] ppid=21975 vsize=13263912 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21978/task/21982/stat : 21982 (java) S 21975 21978 18196 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 8419396 13582245888 7193 33554432000 4194304 4196468 140729152446720 140406643719312 140407047026389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8978432 140729152455818 140729152456004 140729152456004 140729152458703 0
[pid=21978/tid=21983] ppid=21975 vsize=13263912 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21978/task/21983/stat : 21983 (java) S 21975 21978 18196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 8419396 13582245888 7193 33554432000 4194304 4196468 140729152446720 140406642666512 140407047026389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8978432 140729152455818 140729152456004 140729152456004 140729152458703 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13263912
[startup+0.200604 s]
/proc/loadavg: 1.99 1.97 1.96 3/261 21978
/proc/meminfo: memFree=31522316/32770624 swapFree=5892/165292
[pid=21978] ppid=21975 vsize=13263912 CPUtime=0.26 cores=1,3,5,7,9,11,13,15
/proc/21978/stat : 21978 (java) S 21975 21978 18196 0 -1 1077944320 9382 0 0 0 23 3 0 0 20 0 20 0 8419395 13582245888 9689 33554432000 4194304 4196468 140729152446720 140729152429264 140407047016183 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 8978432 140729152455818 140729152456004 140729152456004 140729152458703 0
/proc/21978/statm: 3315978 9689 3533 1 0 3303698 0
[pid=21978/tid=21979] ppid=21975 vsize=13263912 CPUtime=0.18 cores=1,3,5,7,9,11,13,15
/proc/21978/task/21979/stat : 21979 (java) R 21975 21978 18196 0 -1 4202560 7063 0 0 0 16 2 0 0 20 0 20 0 8419395 13582245888 9689 33554432000 4194304 4196468 140729152446720 140407051215968 140407031096670 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 8978432 140729152455818 140729152456004 140729152456004 140729152458703 0
[pid=21978/tid=21980] ppid=21975 vsize=13263912 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21978/task/21980/stat : 21980 (java) S 21975 21978 18196 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 8419396 13582245888 9689 33554432000 4194304 4196468 140729152446720 140406979152784 140407047026389 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 8978432 140729152455818 140729152456004 140729152456004 140729152458703 0
[pid=21978/tid=21981] ppid=21975 vsize=13263912 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21978/task/21981/stat : 21981 (java) S 21975 21978 18196 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 8419396 13582245888 9689 33554432000 4194304 4196468 140729152446720 140406644771600 140407047026389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8978432 140729152455818 140729152456004 140729152456004 140729152458703 0
[pid=21978/tid=21982] ppid=21975 vsize=13263912 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21978/task/21982/stat : 21982 (java) S 21975 21978 18196 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 8419396 13582245888 9689 33554432000 4194304 4196468 140729152446720 140406643719312 140407047026389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8978432 140729152455818 140729152456004 140729152456004 140729152458703 0
[pid=21978/tid=21983] ppid=21975 vsize=13263912 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21978/task/21983/stat : 21983 (java) S 21975 21978 18196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 8419396 13582245888 9689 33554432000 4194304 4196468 140729152446720 140406642666512 140407047026389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8978432 140729152455818 140729152456004 140729152456004 140729152458703 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 13263912
[startup+0.300467 s]
/proc/loadavg: 1.99 1.97 1.96 3/261 21978
/proc/meminfo: memFree=31522316/32770624 swapFree=5892/165292
[pid=21978] ppid=21975 vsize=13263932 CPUtime=0.46 cores=1,3,5,7,9,11,13,15
/proc/21978/stat : 21978 (java) S 21975 21978 18196 0 -1 1077944320 10533 0 0 0 42 4 0 0 20 0 20 0 8419395 13582266368 12252 33554432000 4194304 4196468 140729152446720 140729152429264 140407047016183 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 8978432 140729152455818 140729152456004 140729152456004 140729152458703 0
/proc/21978/statm: 3315983 12252 3668 1 0 3303698 0
[pid=21978/tid=21979] ppid=21975 vsize=13263932 CPUtime=0.27 cores=1,3,5,7,9,11,13,15
/proc/21978/task/21979/stat : 21979 (java) R 21975 21978 18196 0 -1 4202560 7655 0 0 0 25 2 0 0 20 0 20 0 8419395 13582266368 12252 33554432000 4194304 4196468 140729152446720 140407051235952 140407047028118 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 8978432 140729152455818 140729152456004 140729152456004 140729152458703 0
[pid=21978/tid=21980] ppid=21975 vsize=13263932 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21978/task/21980/stat : 21980 (java) S 21975 21978 18196 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 8419396 13582266368 12252 33554432000 4194304 4196468 140729152446720 140406979152784 140407047026389 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 8978432 140729152455818 140729152456004 140729152456004 140729152458703 0
[pid=21978/tid=21981] ppid=21975 vsize=13263932 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21978/task/21981/stat : 21981 (java) S 21975 21978 18196 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 8419396 13582266368 12252 33554432000 4194304 4196468 140729152446720 140406644771600 140407047026389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8978432 140729152455818 140729152456004 140729152456004 140729152458703 0
[pid=21978/tid=21982] ppid=21975 vsize=13263932 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21978/task/21982/stat : 21982 (java) S 21975 21978 18196 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 8419396 13582266368 12252 33554432000 4194304 4196468 140729152446720 140406643719312 140407047026389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8978432 140729152455818 140729152456004 140729152456004 140729152458703 0
[pid=21978/tid=21983] ppid=21975 vsize=13263932 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21978/task/21983/stat : 21983 (java) S 21975 21978 18196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 8419396 13582266368 12252 33554432000 4194304 4196468 140729152446720 140406642666512 140407047026389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8978432 140729152455818 140729152456004 140729152456004 140729152458703 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 13263932
[startup+0.700408 s]
/proc/loadavg: 1.99 1.97 1.96 3/261 21978
/proc/meminfo: memFree=31522316/32770624 swapFree=5892/165292
[pid=21978] ppid=21975 vsize=13268028 CPUtime=1.17 cores=1,3,5,7,9,11,13,15
/proc/21978/stat : 21978 (java) S 21975 21978 18196 0 -1 1077944320 12915 0 0 0 111 6 0 0 20 0 20 0 8419395 13586460672 19248 33554432000 4194304 4196468 140729152446720 140729152429264 140407047016183 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 8978432 140729152455818 140729152456004 140729152456004 140729152458703 0
/proc/21978/statm: 3317007 19248 3754 1 0 3304722 0
[pid=21978/tid=21979] ppid=21975 vsize=13268028 CPUtime=0.68 cores=1,3,5,7,9,11,13,15
/proc/21978/task/21979/stat : 21979 (java) R 21975 21978 18196 0 -1 4202560 9344 0 0 0 64 4 0 0 20 0 20 0 8419395 13586460672 19248 33554432000 4194304 4196468 140729152446720 140407051251744 140407047037530 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 8978432 140729152455818 140729152456004 140729152456004 140729152458703 0
[pid=21978/tid=21980] ppid=21975 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21978/task/21980/stat : 21980 (java) S 21975 21978 18196 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 8419396 13586460672 19248 33554432000 4194304 4196468 140729152446720 140406979152784 140407047026389 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 8978432 140729152455818 140729152456004 140729152456004 140729152458703 0
[pid=21978/tid=21981] ppid=21975 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21978/task/21981/stat : 21981 (java) S 21975 21978 18196 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 8419396 13586460672 19248 33554432000 4194304 4196468 140729152446720 140406644771600 140407047026389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8978432 140729152455818 140729152456004 140729152456004 140729152458703 0
[pid=21978/tid=21982] ppid=21975 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21978/task/21982/stat : 21982 (java) S 21975 21978 18196 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 8419396 13586460672 19248 33554432000 4194304 4196468 140729152446720 140406643719312 140407047026389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8978432 140729152455818 140729152456004 140729152456004 140729152458703 0
[pid=21978/tid=21983] ppid=21975 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21978/task/21983/stat : 21983 (java) S 21975 21978 18196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 8419396 13586460672 19248 33554432000 4194304 4196468 140729152446720 140406642666512 140407047026389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8978432 140729152455818 140729152456004 140729152456004 140729152458703 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 13268028
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 21978 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+0.800411 s]
/proc/loadavg: 1.99 1.97 1.96 3/261 21978
/proc/meminfo: memFree=31522316/32770624 swapFree=5892/165292
[pid=21978] ppid=21975 vsize=13268028 CPUtime=1.43 cores=1,3,5,7,9,11,13,15
/proc/21978/stat : 21978 (java) S 21975 21978 18196 0 -1 1077944320 14151 0 0 0 136 7 0 0 20 0 20 0 8419395 13586460672 20957 33554432000 4194304 4196468 140729152446720 140729152429264 140407047016183 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 8978432 140729152455818 140729152456004 140729152456004 140729152458703 0
/proc/21978/statm: 3317007 20957 3761 1 0 3304722 0
[pid=21978/tid=21979] ppid=21975 vsize=13268028 CPUtime=0.77 cores=1,3,5,7,9,11,13,15
/proc/21978/task/21979/stat : 21979 (java) R 21975 21978 18196 0 -1 4202560 10236 0 0 0 73 4 0 0 20 0 20 0 8419395 13586460672 20957 33554432000 4194304 4196468 140729152446720 140407051253408 140407031059813 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 8978432 140729152455818 140729152456004 140729152456004 140729152458703 0
[pid=21978/tid=21980] ppid=21975 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21978/task/21980/stat : 21980 (java) S 21975 21978 18196 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 8419396 13586460672 20957 33554432000 4194304 4196468 140729152446720 140406979152784 140407047026389 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 8978432 140729152455818 140729152456004 140729152456004 140729152458703 0
[pid=21978/tid=21981] ppid=21975 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21978/task/21981/stat : 21981 (java) S 21975 21978 18196 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 8419396 13586460672 20957 33554432000 4194304 4196468 140729152446720 140406644771600 140407047026389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8978432 140729152455818 140729152456004 140729152456004 140729152458703 0
[pid=21978/tid=21982] ppid=21975 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21978/task/21982/stat : 21982 (java) S 21975 21978 18196 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 8419396 13586460672 20957 33554432000 4194304 4196468 140729152446720 140406643719312 140407047026389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8978432 140729152455818 140729152456004 140729152456004 140729152458703 0
[pid=21978/tid=21983] ppid=21975 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21978/task/21983/stat : 21983 (java) S 21975 21978 18196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 8419396 13586460672 20957 33554432000 4194304 4196468 140729152446720 140406642666512 140407047026389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8978432 140729152455818 140729152456004 140729152456004 140729152458703 0
Current children cumulated CPU time (s) 1.43
Current children cumulated vsize (KiB) 13268028
Child status: 0
Real time (s): 0.899194
CPU time (s): 1.8266
CPU user time (s): 1.74066
CPU system time (s): 0.085945
CPU usage (%): 203.138
Max. virtual memory (cumulated for all children) (KiB): 13268028
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.74066
system time used= 0.085945
maximum resident set size= 97940
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 16498
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= 3020
involuntary context switches= 154
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.010593 second user time and 0.013771 second system time
The end