runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 961)
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-3386168-1305577785/watcher-3386168-1305577785 -o /tmp/evaluation-result-3386168-1305577785/solver-3386168-1305577785 -C 4800 -W 1300 -M 15500 SArTagnan HOME/instance-3386168-1305577785.cnf -threads=4
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 4800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 4830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 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: 10240 KiB
[startup+0 s]
/proc/loadavg: 7.87 8.07 8.18 7/376 5099
/proc/meminfo: memFree=26570128/32951124 swapFree=37160408/67111528
[pid=5099] ppid=5097 vsize=34296 CPUtime=0 cores=0,2,4,6
/proc/5099/stat : 5099 (SArTagnan) R 5097 5099 5006 0 -1 4202496 2966 0 0 0 0 0 0 0 22 0 1 0 669379044 35119104 2904 33554432000 4194304 4625164 140733786067344 18446744073709551615 4295708 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/5099/statm: 8574 2916 291 106 0 4077 0
[startup+0.111134 s]
/proc/loadavg: 7.87 8.07 8.18 7/376 5099
/proc/meminfo: memFree=26570128/32951124 swapFree=37160408/67111528
[pid=5099] ppid=5097 vsize=75464 CPUtime=0.1 cores=0,2,4,6
/proc/5099/stat : 5099 (SArTagnan) R 5097 5099 5006 0 -1 4202496 9138 0 0 0 9 1 0 0 23 0 1 0 669379044 77275136 6370 33554432000 4194304 4625164 140733786067344 18446744073709551615 230809165568 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/5099/statm: 18866 6370 296 106 0 14369 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 75464
[startup+0.201119 s]
/proc/loadavg: 7.87 8.07 8.18 7/376 5099
/proc/meminfo: memFree=26570128/32951124 swapFree=37160408/67111528
[pid=5099] ppid=5097 vsize=88188 CPUtime=0.19 cores=0,2,4,6
/proc/5099/stat : 5099 (SArTagnan) R 5097 5099 5006 0 -1 4202496 13440 0 0 0 18 1 0 0 23 0 1 0 669379044 90304512 9285 33554432000 4194304 4625164 140733786067344 18446744073709551615 4339447 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/5099/statm: 22047 9285 296 106 0 17550 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 88188
[startup+0.301099 s]
/proc/loadavg: 7.87 8.07 8.18 7/376 5099
/proc/meminfo: memFree=26570128/32951124 swapFree=37160408/67111528
[pid=5099] ppid=5097 vsize=96288 CPUtime=0.29 cores=0,2,4,6
/proc/5099/stat : 5099 (SArTagnan) R 5097 5099 5006 0 -1 4202496 15923 0 0 0 28 1 0 0 23 0 1 0 669379044 98598912 11768 33554432000 4194304 4625164 140733786067344 18446744073709551615 230809165568 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/5099/statm: 24072 11768 296 106 0 19575 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 96288
[startup+0.700988 s]
/proc/loadavg: 7.87 8.07 8.18 7/376 5099
/proc/meminfo: memFree=26570128/32951124 swapFree=37160408/67111528
[pid=5099] ppid=5097 vsize=428944 CPUtime=0.93 cores=0,2,4,6
/proc/5099/stat : 5099 (SArTagnan) R 5097 5099 5006 0 -1 4202496 59288 0 0 0 87 6 0 0 25 0 4 0 669379044 439238656 53051 33554432000 4194304 4625164 140733786067344 18446744073709551615 230808826565 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/5099/statm: 107236 53051 331 106 0 102739 0
Current children cumulated CPU time (s) 0.93
Current children cumulated vsize (KiB) 428944
[startup+1.50084 s]
/proc/loadavg: 7.87 8.07 8.18 9/380 5103
/proc/meminfo: memFree=26357552/32951124 swapFree=37160408/67111528
[pid=5099] ppid=5097 vsize=501744 CPUtime=4.11 cores=0,2,4,6
/proc/5099/stat : 5099 (SArTagnan) R 5097 5099 5006 0 -1 4202496 65042 0 0 0 404 7 0 0 25 0 4 0 669379044 513785856 54735 33554432000 4194304 4625164 140733786067344 18446744073709551615 4390575 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/5099/statm: 125436 54735 336 106 0 120939 0
[pid=5099/tid=5101] ppid=5097 vsize=501744 CPUtime=0.87 cores=0,2,4,6
/proc/5099/task/5101/stat : 5101 (SArTagnan) R 5097 5099 5006 0 -1 4202560 2252 0 0 0 87 0 0 0 25 0 4 0 669379106 513785856 54735 33554432000 4194304 4625164 140733786067344 18446744073709551615 4477965 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=5099/tid=5102] ppid=5097 vsize=501744 CPUtime=0.87 cores=0,2,4,6
/proc/5099/task/5102/stat : 5102 (SArTagnan) R 5097 5099 5006 0 -1 4202560 2354 0 0 0 87 0 0 0 25 0 4 0 669379106 513785856 54735 33554432000 4194304 4625164 140733786067344 18446744073709551615 4482058 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=5099/tid=5103] ppid=5097 vsize=501744 CPUtime=0.86 cores=0,2,4,6
/proc/5099/task/5103/stat : 5103 (SArTagnan) R 5097 5099 5006 0 -1 4202560 1695 0 0 0 86 0 0 0 25 0 4 0 669379106 513785856 54735 33554432000 4194304 4625164 140733786067344 18446744073709551615 4477965 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4.11
Current children cumulated vsize (KiB) 501744
[startup+3.10055 s]
/proc/loadavg: 7.87 8.07 8.18 9/380 5103
/proc/meminfo: memFree=26347384/32951124 swapFree=37160408/67111528
[pid=5099] ppid=5097 vsize=501744 CPUtime=10.49 cores=0,2,4,6
/proc/5099/stat : 5099 (SArTagnan) R 5097 5099 5006 0 -1 4202496 68525 0 0 0 1041 8 0 0 25 0 4 0 669379044 513785856 55094 33554432000 4194304 4625164 140733786067344 18446744073709551615 4390569 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/5099/statm: 125436 55094 336 106 0 120939 0
[pid=5099/tid=5101] ppid=5097 vsize=501744 CPUtime=2.47 cores=0,2,4,6
/proc/5099/task/5101/stat : 5101 (SArTagnan) R 5097 5099 5006 0 -1 4202560 2493 0 0 0 247 0 0 0 25 0 4 0 669379106 513785856 55094 33554432000 4194304 4625164 140733786067344 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=5099/tid=5102] ppid=5097 vsize=501744 CPUtime=2.47 cores=0,2,4,6
/proc/5099/task/5102/stat : 5102 (SArTagnan) R 5097 5099 5006 0 -1 4202560 2354 0 0 0 247 0 0 0 25 0 4 0 669379106 513785856 55094 33554432000 4194304 4625164 140733786067344 18446744073709551615 4317274 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=5099/tid=5103] ppid=5097 vsize=501744 CPUtime=2.44 cores=0,2,4,6
/proc/5099/task/5103/stat : 5103 (SArTagnan) R 5097 5099 5006 0 -1 4202560 4937 0 0 0 244 0 0 0 25 0 4 0 669379106 513785856 55094 33554432000 4194304 4625164 140733786067344 18446744073709551615 4352739 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 10.49
Current children cumulated vsize (KiB) 501744
Solver just ended. Dumping a history of the last processes samples
[startup+3.20053 s]
/proc/loadavg: 7.87 8.07 8.18 9/380 5103
/proc/meminfo: memFree=26347384/32951124 swapFree=37160408/67111528
[pid=5099] ppid=5097 vsize=501744 CPUtime=10.89 cores=0,2,4,6
/proc/5099/stat : 5099 (SArTagnan) R 5097 5099 5006 0 -1 4202496 68587 0 0 0 1081 8 0 0 25 0 4 0 669379044 513785856 55023 33554432000 4194304 4625164 140733786067344 18446744073709551615 4390564 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/5099/statm: 125436 55023 336 106 0 120939 0
[pid=5099/tid=5101] ppid=5097 vsize=501744 CPUtime=2.57 cores=0,2,4,6
/proc/5099/task/5101/stat : 5101 (SArTagnan) R 5097 5099 5006 0 -1 4202560 2493 0 0 0 257 0 0 0 25 0 4 0 669379106 513785856 55023 33554432000 4194304 4625164 140733786067344 18446744073709551615 4288686 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=5099/tid=5102] ppid=5097 vsize=501744 CPUtime=2.57 cores=0,2,4,6
/proc/5099/task/5102/stat : 5102 (SArTagnan) R 5097 5099 5006 0 -1 4202560 2354 0 0 0 257 0 0 0 25 0 4 0 669379106 513785856 55023 33554432000 4194304 4625164 140733786067344 18446744073709551615 4288861 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=5099/tid=5103] ppid=5097 vsize=501744 CPUtime=2.54 cores=0,2,4,6
/proc/5099/task/5103/stat : 5103 (SArTagnan) R 5097 5099 5006 0 -1 4202560 4999 0 0 0 254 0 0 0 25 0 4 0 669379106 513785856 55023 33554432000 4194304 4625164 140733786067344 18446744073709551615 4351781 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 10.89
Current children cumulated vsize (KiB) 501744
[startup+3.60046 s]
/proc/loadavg: 7.88 8.07 8.18 9/380 5103
/proc/meminfo: memFree=26353836/32951124 swapFree=37160408/67111528
[pid=5099] ppid=5097 vsize=501744 CPUtime=12.48 cores=0,2,4,6
/proc/5099/stat : 5099 (SArTagnan) R 5097 5099 5006 0 -1 4202496 68959 0 0 0 1240 8 0 0 25 0 4 0 669379044 513785856 55025 33554432000 4194304 4625164 140733786067344 18446744073709551615 4390542 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/5099/statm: 125436 55025 336 106 0 120939 0
[pid=5099/tid=5101] ppid=5097 vsize=501744 CPUtime=2.97 cores=0,2,4,6
/proc/5099/task/5101/stat : 5101 (SArTagnan) R 5097 5099 5006 0 -1 4202560 2493 0 0 0 297 0 0 0 25 0 4 0 669379106 513785856 55025 33554432000 4194304 4625164 140733786067344 18446744073709551615 4463787 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=5099/tid=5102] ppid=5097 vsize=501744 CPUtime=2.97 cores=0,2,4,6
/proc/5099/task/5102/stat : 5102 (SArTagnan) R 5097 5099 5006 0 -1 4202560 2354 0 0 0 297 0 0 0 25 0 4 0 669379106 513785856 55025 33554432000 4194304 4625164 140733786067344 18446744073709551615 4352032 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=5099/tid=5103] ppid=5097 vsize=501744 CPUtime=2.93 cores=0,2,4,6
/proc/5099/task/5103/stat : 5103 (SArTagnan) R 5097 5099 5006 0 -1 4202560 5371 0 0 0 292 1 0 0 25 0 4 0 669379106 513785856 55025 33554432000 4194304 4625164 140733786067344 18446744073709551615 4288731 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 12.48
Current children cumulated vsize (KiB) 501744
[startup+3.80042 s]
/proc/loadavg: 7.88 8.07 8.18 9/380 5103
/proc/meminfo: memFree=26353836/32951124 swapFree=37160408/67111528
[pid=5099] ppid=5097 vsize=501744 CPUtime=13.28 cores=0,2,4,6
/proc/5099/stat : 5099 (SArTagnan) R 5097 5099 5006 0 -1 4202496 70908 0 0 0 1319 9 0 0 25 0 4 0 669379044 513785856 56811 33554432000 4194304 4625164 140733786067344 18446744073709551615 4390569 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/5099/statm: 125436 56811 337 106 0 120939 0
[pid=5099/tid=5101] ppid=5097 vsize=501744 CPUtime=3.17 cores=0,2,4,6
/proc/5099/task/5101/stat : 5101 (SArTagnan) R 5097 5099 5006 0 -1 4202560 2496 0 0 0 317 0 0 0 25 0 4 0 669379106 513785856 56811 33554432000 4194304 4625164 140733786067344 18446744073709551615 4352562 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=5099/tid=5102] ppid=5097 vsize=501744 CPUtime=3.17 cores=0,2,4,6
/proc/5099/task/5102/stat : 5102 (SArTagnan) R 5097 5099 5006 0 -1 4202560 2354 0 0 0 317 0 0 0 25 0 4 0 669379106 513785856 56811 33554432000 4194304 4625164 140733786067344 18446744073709551615 4317256 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=5099/tid=5103] ppid=5097 vsize=501744 CPUtime=3.13 cores=0,2,4,6
/proc/5099/task/5103/stat : 5103 (SArTagnan) R 5097 5099 5006 0 -1 4202560 5485 0 0 0 312 1 0 0 25 0 4 0 669379106 513785856 56811 33554432000 4194304 4625164 140733786067344 18446744073709551615 4547257 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 13.28
Current children cumulated vsize (KiB) 501744
Child status: 20
Real time (s): 3.89544
CPU time (s): 13.6369
CPU user time (s): 13.5359
CPU system time (s): 0.100984
CPU usage (%): 350.074
Max. virtual memory (cumulated for all children) (KiB): 501744
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 13.5359
system time used= 0.100984
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 70944
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 35
involuntary context switches= 78
runsolver used 0.012998 second user time and 0.040993 second system time
The end