8.17/8.23 ERROR - clause too long
8.17/8.23 c +------------------------------+
8.17/8.23 c | gNovelty+, version 1.2 |
8.17/8.23 c +------------------------------+
8.17/8.23 c gnovelty+ -h for help
8.17/8.23 c
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1718782-1240640063/watcher-1718782-1240640063 -o /tmp/evaluation-result-1718782-1240640063/solver-1718782-1240640063 -C 1200 -W 1800 -M 1800 --output-limit 1,15 HOME/gnovelty+ HOME/instance-1718782-1240640063.cnf 1390088424
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.13 1.03 1.09 3/64 18901
/proc/meminfo: memFree=1573320/2055920 swapFree=4180784/4192956
[pid=18901] ppid=18899 vsize=1086008 CPUtime=0
/proc/18901/stat : 18901 (gnovelty+) R 18899 18901 18563 0 -1 4194304 807 0 0 0 0 0 0 0 18 0 1 0 92034923 1112072192 791 1992294400 134512640 135098890 4294956208 18446744073709551615 134517913 0 0 4096 0 0 0 0 17 0 0 0
/proc/18901/statm: 271502 797 46 143 0 271357 0
[startup+0.0705 s]
/proc/loadavg: 1.13 1.03 1.09 3/64 18901
/proc/meminfo: memFree=1573320/2055920 swapFree=4180784/4192956
[pid=18901] ppid=18899 vsize=1086792 CPUtime=0.06
/proc/18901/stat : 18901 (gnovelty+) R 18899 18901 18563 0 -1 4194304 9887 0 0 0 3 3 0 0 18 0 1 0 92034923 1112875008 9871 1992294400 134512640 135098890 4294956208 18446744073709551615 134603886 0 0 4096 0 0 0 0 17 0 0 0
/proc/18901/statm: 271698 9871 48 143 0 271553 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 1086792
[startup+0.101503 s]
/proc/loadavg: 1.13 1.03 1.09 3/64 18901
/proc/meminfo: memFree=1573320/2055920 swapFree=4180784/4192956
[pid=18901] ppid=18899 vsize=1086792 CPUtime=0.09
/proc/18901/stat : 18901 (gnovelty+) R 18899 18901 18563 0 -1 4194304 9988 0 0 0 6 3 0 0 18 0 1 0 92034923 1112875008 9972 1992294400 134512640 135098890 4294956208 18446744073709551615 134603886 0 0 4096 0 0 0 0 17 0 0 0
/proc/18901/statm: 271698 9972 48 143 0 271553 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1086792
[startup+0.301522 s]
/proc/loadavg: 1.13 1.03 1.09 3/64 18901
/proc/meminfo: memFree=1573320/2055920 swapFree=4180784/4192956
[pid=18901] ppid=18899 vsize=1088360 CPUtime=0.29
/proc/18901/stat : 18901 (gnovelty+) R 18899 18901 18563 0 -1 4194304 10614 0 0 0 26 3 0 0 19 0 1 0 92034923 1114480640 10598 1992294400 134512640 135098890 4294956208 18446744073709551615 134603886 0 0 4096 0 0 0 0 17 0 0 0
/proc/18901/statm: 272090 10598 48 143 0 271945 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1088360
[startup+0.701563 s]
/proc/loadavg: 1.13 1.03 1.09 3/64 18901
/proc/meminfo: memFree=1573320/2055920 swapFree=4180784/4192956
[pid=18901] ppid=18899 vsize=1090712 CPUtime=0.69
/proc/18901/stat : 18901 (gnovelty+) R 18899 18901 18563 0 -1 4194304 11855 0 0 0 65 4 0 0 23 0 1 0 92034923 1116889088 11839 1992294400 134512640 135098890 4294956208 18446744073709551615 134603886 0 0 4096 0 0 0 0 17 0 0 0
/proc/18901/statm: 272678 11839 48 143 0 272533 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1090712
[startup+1.50164 s]
/proc/loadavg: 1.13 1.03 1.09 2/65 18902
/proc/meminfo: memFree=1522944/2055920 swapFree=4180784/4192956
[pid=18901] ppid=18899 vsize=1096200 CPUtime=1.49
/proc/18901/stat : 18901 (gnovelty+) R 18899 18901 18563 0 -1 4194304 14303 0 0 0 143 6 0 0 25 0 1 0 92034923 1122508800 14287 1992294400 134512640 135098890 4294956208 18446744073709551615 134603886 0 0 4096 0 0 0 0 17 0 0 0
/proc/18901/statm: 274050 14287 48 143 0 273905 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1096200
[startup+3.10181 s]
/proc/loadavg: 1.20 1.05 1.09 2/65 18902
/proc/meminfo: memFree=1510144/2055920 swapFree=4180784/4192956
[pid=18901] ppid=18899 vsize=1107176 CPUtime=3.09
/proc/18901/stat : 18901 (gnovelty+) R 18899 18901 18563 0 -1 4194304 19118 0 0 0 298 11 0 0 25 0 1 0 92034923 1133748224 19102 1992294400 134512640 135098890 4294956208 18446744073709551615 134518240 0 0 4096 0 0 0 0 17 0 0 0
/proc/18901/statm: 276794 19102 48 143 0 276649 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1107176
[startup+6.30214 s]
/proc/loadavg: 1.20 1.05 1.09 2/65 18902
/proc/meminfo: memFree=1474304/2055920 swapFree=4180784/4192956
[pid=18901] ppid=18899 vsize=1127560 CPUtime=6.28
/proc/18901/stat : 18901 (gnovelty+) R 18899 18901 18563 0 -1 4194304 28176 0 0 0 610 18 0 0 25 0 1 0 92034923 1154621440 28160 1992294400 134512640 135098890 4294956208 18446744073709551615 134726424 0 0 4096 0 0 0 0 17 1 0 0
/proc/18901/statm: 281890 28160 48 143 0 281745 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 1127560
Solver just ended. Dumping a history of the last processes samples
[startup+7.10122 s]
/proc/loadavg: 1.20 1.05 1.09 2/65 18902
/proc/meminfo: memFree=1462144/2055920 swapFree=4180784/4192956
[pid=18901] ppid=18899 vsize=1132264 CPUtime=7.08
/proc/18901/stat : 18901 (gnovelty+) R 18899 18901 18563 0 -1 4194304 30380 0 0 0 688 20 0 0 25 0 1 0 92034923 1159438336 30364 1992294400 134512640 135098890 4294956208 18446744073709551615 134518225 0 0 4096 0 0 0 0 17 1 0 0
/proc/18901/statm: 283066 30364 48 143 0 282921 0
Current children cumulated CPU time (s) 7.08
Current children cumulated vsize (KiB) 1132264
[startup+7.9013 s]
/proc/loadavg: 1.19 1.05 1.09 2/65 18902
/proc/meminfo: memFree=1449920/2055920 swapFree=4180784/4192956
[pid=18901] ppid=18899 vsize=1136968 CPUtime=7.87
/proc/18901/stat : 18901 (gnovelty+) R 18899 18901 18563 0 -1 4194304 32668 0 0 0 765 22 0 0 25 0 1 0 92034923 1164255232 32652 1992294400 134512640 135098890 4294956208 18446744073709551615 134724262 0 0 4096 0 0 0 0 17 0 0 0
/proc/18901/statm: 284242 32652 48 143 0 284097 0
Current children cumulated CPU time (s) 7.87
Current children cumulated vsize (KiB) 1136968
[startup+8.10132 s]
/proc/loadavg: 1.19 1.05 1.09 2/65 18902
/proc/meminfo: memFree=1449920/2055920 swapFree=4180784/4192956
[pid=18901] ppid=18899 vsize=1138536 CPUtime=8.07
/proc/18901/stat : 18901 (gnovelty+) R 18899 18901 18563 0 -1 4194304 33262 0 0 0 785 22 0 0 25 0 1 0 92034923 1165860864 33246 1992294400 134512640 135098890 4294956208 18446744073709551615 134603886 0 0 4096 0 0 0 0 17 0 0 0
/proc/18901/statm: 284634 33246 48 143 0 284489 0
Current children cumulated CPU time (s) 8.07
Current children cumulated vsize (KiB) 1138536
[startup+8.20133 s]
/proc/loadavg: 1.19 1.05 1.09 2/65 18902
/proc/meminfo: memFree=1449920/2055920 swapFree=4180784/4192956
[pid=18901] ppid=18899 vsize=1139320 CPUtime=8.17
/proc/18901/stat : 18901 (gnovelty+) R 18899 18901 18563 0 -1 4194304 33559 0 0 0 795 22 0 0 25 0 1 0 92034923 1166663680 33543 1992294400 134512640 135098890 4294956208 18446744073709551615 134603886 0 0 4096 0 0 0 0 17 0 0 0
/proc/18901/statm: 284830 33543 48 143 0 284685 0
Current children cumulated CPU time (s) 8.17
Current children cumulated vsize (KiB) 1139320
Child status: 255
Real time (s): 8.26007
CPU time (s): 8.23775
CPU user time (s): 7.98879
CPU system time (s): 0.248962
CPU usage (%): 99.7298
Max. virtual memory (cumulated for all children) (KiB): 1139320
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 7.98879
system time used= 0.248962
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 33677
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= 2
involuntary context switches= 70
runsolver used 0.008998 second user time and 0.028995 second system time
The end
Begin job on node45 at 2009-04-25 08:14:30
IDJOB=1718782
IDBENCH=20506
IDSOLVER=536
FILE ID=node45/1718782-1240640063
PBS_JOBID= 9186418
Free space on /tmp= 66228 MiB
SOLVER NAME= gnovelty+ 2009-03-22
BENCH NAME= SAT07/industrial/narain/clauses-8.cnf
COMMAND LINE= HOME/gnovelty+ BENCHNAME RANDOMSEED
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1718782-1240640063/watcher-1718782-1240640063 -o /tmp/evaluation-result-1718782-1240640063/solver-1718782-1240640063 -C 1200 -W 1800 -M 1800 --output-limit 1,15 HOME/gnovelty+ HOME/instance-1718782-1240640063.cnf 1390088424
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 74bd745b1c68e4deddfa063e58b6b54d
RANDOM SEED=1390088424
node45.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.231
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5914.62
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.231
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1573800 kB
Buffers: 48164 kB
Cached: 363272 kB
SwapCached: 6628 kB
Active: 237240 kB
Inactive: 183272 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1573800 kB
SwapTotal: 4192956 kB
SwapFree: 4180784 kB
Dirty: 115352 kB
Writeback: 0 kB
Mapped: 14044 kB
Slab: 47636 kB
Committed_AS: 345552 kB
PageTables: 1376 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264952 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66224 MiB
End job on node45 at 2009-04-25 08:14:39