runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
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-3706439-1338219135/watcher-3706439-1338219135 -o /tmp/evaluation-result-3706439-1338219135/solver-3706439-1338219135 -C 1800 -W 1900 -M 15500 HOME/toysat --pb HOME/instance-3706439-1338219135.opb
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 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: 2.04 2.01 2.00 3/178 23139
/proc/meminfo: memFree=30280032/32873844 swapFree=7616/7616
[pid=23139] ppid=23137 vsize=6208 CPUtime=0 cores=0,2,4,6
/proc/23139/stat : 23139 (toysat) R 23137 23139 21285 0 -1 4202496 809 0 0 0 0 0 0 0 20 0 1 0 288038378 6356992 730 33554432000 4194304 8973514 140736091688656 140736128266312 7694450 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/23139/statm: 1552 730 412 1167 0 333 0
[startup+0.101002 s]
/proc/loadavg: 2.04 2.01 2.00 3/178 23139
/proc/meminfo: memFree=30280032/32873844 swapFree=7616/7616
[pid=23139] ppid=23137 vsize=14400 CPUtime=0.09 cores=0,2,4,6
/proc/23139/stat : 23139 (toysat) R 23137 23139 21285 0 -1 4202496 2631 0 0 0 9 0 0 0 20 0 1 0 288038378 14745600 2552 33554432000 4194304 8973514 140736091688656 140736128266312 7841851 0 2 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/23139/statm: 3600 2554 413 1167 0 2381 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 14400
[startup+0.200252 s]
/proc/loadavg: 2.04 2.01 2.00 3/178 23139
/proc/meminfo: memFree=30280032/32873844 swapFree=7616/7616
[pid=23139] ppid=23137 vsize=21568 CPUtime=0.19 cores=0,2,4,6
/proc/23139/stat : 23139 (toysat) R 23137 23139 21285 0 -1 4202496 4414 0 0 0 19 0 0 0 20 0 1 0 288038378 22085632 4336 33554432000 4194304 8973514 140736091688656 140736128266312 4209439 0 2 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/23139/statm: 5392 4342 413 1167 0 4173 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 21568
[startup+0.300267 s]
/proc/loadavg: 2.04 2.01 2.00 3/178 23139
/proc/meminfo: memFree=30280032/32873844 swapFree=7616/7616
[pid=23139] ppid=23137 vsize=28736 CPUtime=0.28 cores=0,2,4,6
/proc/23139/stat : 23139 (toysat) R 23137 23139 21285 0 -1 4202496 6448 0 0 0 28 0 0 0 20 0 1 0 288038378 29425664 6369 33554432000 4194304 8973514 140736091688656 140736128266312 4591300 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/23139/statm: 7184 6369 414 1167 0 5965 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 28736
[startup+0.700199 s]
/proc/loadavg: 2.04 2.01 2.00 3/178 23139
/proc/meminfo: memFree=30280032/32873844 swapFree=7616/7616
[pid=23139] ppid=23137 vsize=56384 CPUtime=0.69 cores=0,2,4,6
/proc/23139/stat : 23139 (toysat) R 23137 23139 21285 0 -1 4202496 13360 0 0 0 67 2 0 0 20 0 1 0 288038378 57737216 13281 33554432000 4194304 8973514 140736091688656 140736091687920 7841851 0 2 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/23139/statm: 14096 13281 414 1167 0 12877 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 56384
[startup+1.50022 s]
/proc/loadavg: 2.04 2.01 2.00 3/179 23140
/proc/meminfo: memFree=30195976/32873844 swapFree=7616/7616
[pid=23139] ppid=23137 vsize=112704 CPUtime=1.49 cores=0,2,4,6
/proc/23139/stat : 23139 (toysat) R 23137 23139 21285 0 -1 4202496 27443 0 0 0 144 5 0 0 20 0 1 0 288038378 115408896 27364 33554432000 4194304 8973514 140736091688656 140736091688152 7841851 0 2 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/23139/statm: 28176 27364 417 1167 0 26957 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 112704
[startup+3.10024 s]
/proc/loadavg: 2.03 2.01 2.00 3/179 23140
/proc/meminfo: memFree=30128032/32873844 swapFree=7616/7616
[pid=23139] ppid=23137 vsize=208960 CPUtime=3.09 cores=0,2,4,6
/proc/23139/stat : 23139 (toysat) R 23137 23139 21285 0 -1 4202496 51508 0 0 0 299 10 0 0 20 0 1 0 288038378 213975040 51429 33554432000 4194304 8973514 140736091688656 140736091688152 4635005 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/23139/statm: 52240 51429 418 1167 0 51021 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 208960
[startup+6.30024 s]
/proc/loadavg: 2.03 2.01 2.00 3/179 23140
/proc/meminfo: memFree=29931724/32873844 swapFree=7616/7616
[pid=23139] ppid=23137 vsize=353344 CPUtime=6.29 cores=0,2,4,6
/proc/23139/stat : 23139 (toysat) R 23137 23139 21285 0 -1 4202496 87604 0 0 0 610 19 0 0 20 0 1 0 288038378 361824256 87525 33554432000 4194304 8973514 140736091688656 140736091688152 7937344 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/23139/statm: 88336 87525 418 1167 0 87117 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 353344
[startup+12.7003 s]
/proc/loadavg: 2.03 2.01 2.00 3/179 23140
/proc/meminfo: memFree=29495152/32873844 swapFree=7616/7616
[pid=23139] ppid=23137 vsize=789568 CPUtime=12.68 cores=0,2,4,6
/proc/23139/stat : 23139 (toysat) R 23137 23139 21285 0 -1 4202496 196660 0 0 0 1228 40 0 0 20 0 1 0 288038378 808517632 196581 33554432000 4194304 8973514 140736091688656 140736091687920 7841851 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/23139/statm: 197392 196581 418 1167 0 196173 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 789568
Solver just ended. Dumping a history of the last processes samples
[startup+12.8003 s]
/proc/loadavg: 2.03 2.01 2.00 3/179 23140
/proc/meminfo: memFree=29495152/32873844 swapFree=7616/7616
[pid=23139] ppid=23137 vsize=789568 CPUtime=12.78 cores=0,2,4,6
/proc/23139/stat : 23139 (toysat) R 23137 23139 21285 0 -1 4202496 196660 0 0 0 1238 40 0 0 20 0 1 0 288038378 808517632 196581 33554432000 4194304 8973514 140736091688656 140736091687920 7937344 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/23139/statm: 197392 196581 418 1167 0 196173 0
Current children cumulated CPU time (s) 12.78
Current children cumulated vsize (KiB) 789568
[startup+14.4068 s]
/proc/loadavg: 2.03 2.01 2.00 3/179 23140
/proc/meminfo: memFree=29298372/32873844 swapFree=7616/7616
[pid=23139] ppid=23137 vsize=986176 CPUtime=14.4 cores=0,2,4,6
/proc/23139/stat : 23139 (toysat) R 23137 23139 21285 0 -1 4202496 245822 0 0 0 1391 49 0 0 20 0 1 0 288038378 1009844224 245743 33554432000 4194304 8973514 140736091688656 140736091687496 7937344 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/23139/statm: 246544 245743 422 1167 0 245325 0
Current children cumulated CPU time (s) 14.4
Current children cumulated vsize (KiB) 986176
[startup+16.0003 s]
/proc/loadavg: 2.03 2.01 2.00 3/179 23140
/proc/meminfo: memFree=29297984/32873844 swapFree=7616/7616
[pid=23139] ppid=23137 vsize=986176 CPUtime=15.99 cores=0,2,4,6
/proc/23139/stat : 23139 (toysat) R 23137 23139 21285 0 -1 4202496 245827 0 0 0 1549 50 0 0 20 0 1 0 288038378 1009844224 245748 33554432000 4194304 8973514 140736091688656 140736091688152 6576360 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/23139/statm: 246544 245748 427 1167 0 245325 0
Current children cumulated CPU time (s) 15.99
Current children cumulated vsize (KiB) 986176
[startup+16.8003 s]
/proc/loadavg: 2.03 2.01 2.00 3/179 23140
/proc/meminfo: memFree=29298232/32873844 swapFree=7616/7616
[pid=23139] ppid=23137 vsize=986176 CPUtime=16.78 cores=0,2,4,6
/proc/23139/stat : 23139 (toysat) R 23137 23139 21285 0 -1 4202496 245827 0 0 0 1628 50 0 0 20 0 1 0 288038378 1009844224 245748 33554432000 4194304 8973514 140736091688656 140736091688152 7937344 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/23139/statm: 246544 245748 427 1167 0 245325 0
Current children cumulated CPU time (s) 16.78
Current children cumulated vsize (KiB) 986176
[startup+17.0003 s]
/proc/loadavg: 2.03 2.01 2.00 3/179 23140
/proc/meminfo: memFree=29298232/32873844 swapFree=7616/7616
[pid=23139] ppid=23137 vsize=0 CPUtime=16.99 cores=0,2,4,6
/proc/23139/stat : 23139 (toysat) R 23137 23139 21285 0 -1 4202500 245839 0 0 0 1648 51 0 0 20 0 1 0 288038378 0 0 33554432000 0 0 0 0 0 0 0 0 33554432 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23139/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 16.99
Current children cumulated vsize (KiB) 0
Child status: 2
Real time (s): 17.0612
CPU time (s): 17.0554
CPU user time (s): 16.4835
CPU system time (s): 0.571913
CPU usage (%): 99.9659
Max. virtual memory (cumulated for all children) (KiB): 986176
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 16.4835
system time used= 0.571913
maximum resident set size= 983040
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 245839
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= 3
involuntary context switches= 45
runsolver used 0.019996 second user time and 0.093985 second system time
The end
Begin job on node135 at 2012-05-28 17:32:16
IDJOB=3706439
IDBENCH=92155
IDSOLVER=2285
FILE ID=node135/3706439-1338219135
RUNJOBID= node135-1338188468-21301
PBS_JOBID= 14624569
Free space on /tmp= 71580 MiB
SOLVER NAME= toysat 2012-05-17
BENCH NAME= PB12/normalized-PB12/OPT-BIGINT-LIN/sroussel/NG/normalized-NG.dot_unif_20null20mast_rapportOE2.0_TMAX180_K192_cod1.opb
COMMAND LINE= HOME/toysat --pb BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3706439-1338219135/watcher-3706439-1338219135 -o /tmp/evaluation-result-3706439-1338219135/solver-3706439-1338219135 -C 1800 -W 1900 -M 15500 HOME/toysat --pb HOME/instance-3706439-1338219135.opb
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4
MD5SUM BENCH= 2a10ffb4379dcfb9c244e555ac5887ed
RANDOM SEED=407199538
node135.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.820
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips : 5333.64
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.820
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips : 5332.57
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.820
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips : 5332.55
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.820
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips : 5332.55
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.820
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips : 5332.54
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.820
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips : 5332.55
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.820
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips : 5238.35
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.820
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips : 5332.55
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 32873844 kB
MemFree: 30281088 kB
Buffers: 323912 kB
Cached: 456968 kB
SwapCached: 1720 kB
Active: 1593768 kB
Inactive: 178284 kB
Active(anon): 981708 kB
Inactive(anon): 12012 kB
Active(file): 612060 kB
Inactive(file): 166272 kB
Unevictable: 7616 kB
Mlocked: 7616 kB
SwapTotal: 67108856 kB
SwapFree: 67105800 kB
Dirty: 73356 kB
Writeback: 0 kB
AnonPages: 997412 kB
Mapped: 13444 kB
Shmem: 132 kB
Slab: 677356 kB
SReclaimable: 118676 kB
SUnreclaim: 558680 kB
KernelStack: 1448 kB
PageTables: 5808 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 83545776 kB
Committed_AS: 1104676 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 346376 kB
VmallocChunk: 34341987860 kB
HardwareCorrupted: 0 kB
AnonHugePages: 18432 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
DirectMap4k: 7872 kB
DirectMap2M: 33538048 kB
Free space on /tmp at the end= 71572 MiB
End job on node135 at 2012-05-28 17:32:33