runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node63/watcher-268091-1168977968 -o ROOT/results/node63/solver-268091-1168977968 -C 1800 -M 900 /tmp/evaluation/268091-1168977968/VALCSP /tmp/evaluation/268091-1168977968/unknown.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB
/proc/loadavg: 0.25 0.06 0.02 4/68 7457
/proc/meminfo: memFree=1204992/2055920 swapFree=4192956/4192956
[pid=7456] ppid=7454 vsize=1864 CPUtime=0
/proc/7456/stat : 7456 (VALCSP) R 7454 7456 6969 0 -1 4194304 188 0 0 0 0 0 0 0 18 0 1 0 45297000 1908736 166 18446744073709551615 134512640 134547260 4294956736 18446744073709551615 3431644 0 0 4096 0 0 0 0 17 1 0 0
/proc/7456/statm: 466 166 64 8 0 138 0
[startup+0.104274 s]
/proc/loadavg: 0.25 0.06 0.02 4/68 7457
/proc/meminfo: memFree=1204992/2055920 swapFree=4192956/4192956
[pid=7456] ppid=7454 vsize=1864 CPUtime=0.1
/proc/7456/stat : 7456 (VALCSP) R 7454 7456 6969 0 -1 4194304 192 0 0 0 10 0 0 0 18 0 1 0 45297000 1908736 170 18446744073709551615 134512640 134547260 4294956736 18446744073709551615 3431607 0 0 4096 0 0 0 0 17 1 0 0
/proc/7456/statm: 466 170 64 8 0 138 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 1864
[startup+0.512316 s]
/proc/loadavg: 0.25 0.06 0.02 4/68 7457
/proc/meminfo: memFree=1204992/2055920 swapFree=4192956/4192956
[pid=7456] ppid=7454 vsize=2128 CPUtime=0.5
/proc/7456/stat : 7456 (VALCSP) R 7454 7456 6969 0 -1 4194304 263 0 0 0 50 0 0 0 21 0 1 0 45297000 2179072 241 18446744073709551615 134512640 134547260 4294956736 18446744073709551615 3429452 0 0 4096 0 0 0 0 17 0 0 0
/proc/7456/statm: 532 241 64 8 0 204 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 2128
[startup+1.3324 s]
/proc/loadavg: 0.39 0.09 0.03 2/68 7457
/proc/meminfo: memFree=1204736/2055920 swapFree=4192956/4192956
[pid=7456] ppid=7454 vsize=2656 CPUtime=1.32
/proc/7456/stat : 7456 (VALCSP) R 7454 7456 6969 0 -1 4194304 406 0 0 0 132 0 0 0 25 0 1 0 45297000 2719744 384 18446744073709551615 134512640 134547260 4294956736 18446744073709551615 3429473 0 0 4096 0 0 0 0 17 1 0 0
/proc/7456/statm: 664 384 64 8 0 336 0
Current children cumulated CPU time (s) 1.32
Current children cumulated vsize (KiB) 2656
[startup+2.96858 s]
/proc/loadavg: 0.39 0.09 0.03 2/68 7460
/proc/meminfo: memFree=1203776/2055920 swapFree=4192956/4192956
[pid=7456] ppid=7454 vsize=3644 CPUtime=2.95
/proc/7456/stat : 7456 (VALCSP) R 7454 7456 6969 0 -1 4194304 658 0 0 0 294 1 0 0 25 0 1 0 45297000 3731456 636 18446744073709551615 134512640 134547260 4294956736 18446744073709551615 3431589 0 0 4096 0 0 0 0 17 1 0 0
/proc/7456/statm: 911 636 64 8 0 583 0
Current children cumulated CPU time (s) 2.95
Current children cumulated vsize (KiB) 3644
[startup+6.24493 s]
/proc/loadavg: 0.44 0.11 0.03 2/68 7460
/proc/meminfo: memFree=1202112/2055920 swapFree=4192956/4192956
[pid=7456] ppid=7454 vsize=5796 CPUtime=6.2
/proc/7456/stat : 7456 (VALCSP) R 7454 7456 6969 0 -1 4194304 1194 0 0 0 619 1 0 0 25 0 1 0 45297000 5935104 1172 18446744073709551615 134512640 134547260 4294956736 18446744073709551615 3431596 0 0 4096 0 0 0 0 17 0 0 0
/proc/7456/statm: 1449 1172 64 8 0 1121 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 5796
[startup+12.7026 s]
/proc/loadavg: 0.48 0.12 0.04 2/68 7478
/proc/meminfo: memFree=1197248/2055920 swapFree=4192956/4192956
[pid=7456] ppid=7454 vsize=9948 CPUtime=12.65
/proc/7456/stat : 7456 (VALCSP) R 7454 7456 6969 0 -1 4194304 2233 0 0 0 1264 1 0 0 25 0 1 0 45297000 10186752 2211 18446744073709551615 134512640 134547260 4294956736 18446744073709551615 3431617 0 0 4096 0 0 0 0 17 1 0 0
/proc/7456/statm: 2487 2211 64 8 0 2159 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 9948
[startup+25.51 s]
/proc/loadavg: 0.56 0.15 0.05 2/68 7491
/proc/meminfo: memFree=1189056/2055920 swapFree=4192956/4192956
[pid=7456] ppid=7454 vsize=18616 CPUtime=25.45
/proc/7456/stat : 7456 (VALCSP) R 7454 7456 6969 0 -1 4194304 4399 0 0 0 2542 3 0 0 25 0 1 0 45297000 19062784 4377 18446744073709551615 134512640 134547260 4294956736 18446744073709551615 3429486 0 0 4096 0 0 0 0 17 1 0 0
/proc/7456/statm: 4654 4377 64 8 0 4326 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 18616
[startup+51.1217 s]
/proc/loadavg: 0.73 0.23 0.07 2/68 7495
/proc/meminfo: memFree=1172672/2055920 swapFree=4192956/4192956
[pid=7456] ppid=7454 vsize=35456 CPUtime=51.04
/proc/7456/stat : 7456 (VALCSP) R 7454 7456 6969 0 -1 4194304 8610 0 0 0 5099 5 0 0 25 0 1 0 45297000 36306944 8588 18446744073709551615 134512640 134547260 4294956736 18446744073709551615 3429514 0 0 4096 0 0 0 0 17 1 0 0
/proc/7456/statm: 8864 8588 64 8 0 8536 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 35456
[startup+102.334 s]
/proc/loadavg: 0.88 0.35 0.12 2/65 7535
/proc/meminfo: memFree=1143768/2055920 swapFree=4192956/4192956
[pid=7456] ppid=7454 vsize=69492 CPUtime=102.22
/proc/7456/stat : 7456 (VALCSP) R 7454 7456 6969 0 -1 4194304 17120 0 0 0 10211 11 0 0 25 0 1 0 45297000 71159808 17098 18446744073709551615 134512640 134547260 4294956736 18446744073709551615 3431629 0 0 4096 0 0 0 0 17 1 0 0
/proc/7456/statm: 17373 17098 64 8 0 17045 0
Current children cumulated CPU time (s) 102.22
Current children cumulated vsize (KiB) 69492
[startup+162.347 s]
/proc/loadavg: 0.95 0.46 0.17 2/65 7535
/proc/meminfo: memFree=1103512/2055920 swapFree=4192956/4192956
[pid=7456] ppid=7454 vsize=109124 CPUtime=162.22
/proc/7456/stat : 7456 (VALCSP) R 7454 7456 6969 0 -1 4194304 27028 0 0 0 16205 17 0 0 25 0 1 0 45297000 111742976 27006 18446744073709551615 134512640 134547260 4294956736 18446744073709551615 3431630 0 0 4096 0 0 0 0 17 1 0 0
/proc/7456/statm: 27281 27006 64 8 0 26953 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 109124
[startup+222.359 s]
/proc/loadavg: 0.98 0.56 0.22 2/65 7535
/proc/meminfo: memFree=1063960/2055920 swapFree=4192956/4192956
[pid=7456] ppid=7454 vsize=148752 CPUtime=222.2
/proc/7456/stat : 7456 (VALCSP) R 7454 7456 6969 0 -1 4194304 36935 0 0 0 22199 21 0 0 25 0 1 0 45297000 152322048 36913 18446744073709551615 134512640 134547260 4294956736 18446744073709551615 3429452 0 0 4096 0 0 0 0 17 1 0 0
/proc/7456/statm: 37188 36913 64 8 0 36860 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 148752
[startup+282.371 s]
/proc/loadavg: 0.99 0.64 0.27 2/65 7535
/proc/meminfo: memFree=1024472/2055920 swapFree=4192956/4192956
[pid=7456] ppid=7454 vsize=188388 CPUtime=282.2
/proc/7456/stat : 7456 (VALCSP) R 7454 7456 6969 0 -1 4194304 46847 0 0 0 28193 27 0 0 25 0 1 0 45297000 192909312 46825 18446744073709551615 134512640 134547260 4294956736 18446744073709551615 3429532 0 0 4096 0 0 0 0 17 1 0 0
/proc/7456/statm: 47097 46825 64 8 0 46769 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 188388
[startup+342.382 s]
/proc/loadavg: 0.99 0.70 0.31 2/65 7535
/proc/meminfo: memFree=984984/2055920 swapFree=4192956/4192956
[pid=7456] ppid=7454 vsize=227880 CPUtime=342.2
/proc/7456/stat : 7456 (VALCSP) R 7454 7456 6969 0 -1 4194304 56720 0 0 0 34188 32 0 0 25 0 1 0 45297000 233349120 56698 18446744073709551615 134512640 134547260 4294956736 18446744073709551615 3431609 0 0 4096 0 0 0 0 17 1 0 0
/proc/7456/statm: 56970 56698 64 8 0 56642 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 227880
[startup+402.394 s]
/proc/loadavg: 0.99 0.75 0.35 2/65 7535
/proc/meminfo: memFree=944920/2055920 swapFree=4192956/4192956
[pid=7456] ppid=7454 vsize=267212 CPUtime=402.19
/proc/7456/stat : 7456 (VALCSP) R 7454 7456 6969 0 -1 4194304 66557 0 0 0 40182 37 0 0 25 0 1 0 45297000 273625088 66535 18446744073709551615 134512640 134547260 4294956736 18446744073709551615 3429496 0 0 4096 0 0 0 0 17 1 0 0
/proc/7456/statm: 66803 66535 64 8 0 66475 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 267212
[startup+462.404 s]
/proc/loadavg: 0.99 0.79 0.39 2/65 7535
/proc/meminfo: memFree=905176/2055920 swapFree=4192956/4192956
[pid=7456] ppid=7454 vsize=306976 CPUtime=462.18
/proc/7456/stat : 7456 (VALCSP) R 7454 7456 6969 0 -1 4194304 76500 0 0 0 46177 41 0 0 25 0 1 0 45297000 314343424 76478 18446744073709551615 134512640 134547260 4294956736 18446744073709551615 3431617 0 0 4096 0 0 0 0 17 1 0 0
/proc/7456/statm: 76744 76478 64 8 0 76416 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 306976
[startup+522.413 s]
/proc/loadavg: 0.99 0.83 0.42 2/65 7535
/proc/meminfo: memFree=865624/2055920 swapFree=4192956/4192956
[pid=7456] ppid=7454 vsize=346592 CPUtime=522.18
/proc/7456/stat : 7456 (VALCSP) R 7454 7456 6969 0 -1 4194304 86404 0 0 0 52170 48 0 0 25 0 1 0 45297000 354910208 86382 18446744073709551615 134512640 134547260 4294956736 18446744073709551615 3431589 0 0 4096 0 0 0 0 17 1 0 0
/proc/7456/statm: 86648 86382 64 8 0 86320 0
Current children cumulated CPU time (s) 522.18
Current children cumulated vsize (KiB) 346592
[startup+582.491 s]
/proc/loadavg: 1.06 0.87 0.46 2/65 7535
/proc/meminfo: memFree=825240/2055920 swapFree=4192956/4192956
[pid=7456] ppid=7454 vsize=386212 CPUtime=582.25
/proc/7456/stat : 7456 (VALCSP) R 7454 7456 6969 0 -1 4194304 96310 0 0 0 58171 54 0 0 25 0 1 0 45297000 395481088 96288 18446744073709551615 134512640 134547260 4294956736 18446744073709551615 3429445 0 0 4096 0 0 0 0 17 1 0 0
/proc/7456/statm: 96553 96288 64 8 0 96225 0
Current children cumulated CPU time (s) 582.25
Current children cumulated vsize (KiB) 386212
[startup+642.505 s]
/proc/loadavg: 1.02 0.89 0.49 2/65 7535
/proc/meminfo: memFree=785624/2055920 swapFree=4192956/4192956
[pid=7456] ppid=7454 vsize=425984 CPUtime=642.24
/proc/7456/stat : 7456 (VALCSP) R 7454 7456 6969 0 -1 4194304 106249 0 0 0 64165 59 0 0 25 0 1 0 45297000 436207616 106227 18446744073709551615 134512640 134547260 4294956736 18446744073709551615 3431644 0 0 4096 0 0 0 0 17 1 0 0
/proc/7456/statm: 106496 106227 64 8 0 106168 0
Current children cumulated CPU time (s) 642.24
Current children cumulated vsize (KiB) 425984
[startup+702.521 s]
/proc/loadavg: 1.01 0.91 0.52 2/65 7535
/proc/meminfo: memFree=746200/2055920 swapFree=4192956/4192956
[pid=7456] ppid=7454 vsize=465336 CPUtime=702.24
/proc/7456/stat : 7456 (VALCSP) R 7454 7456 6969 0 -1 4194304 116088 0 0 0 70159 65 0 0 25 0 1 0 45297000 476504064 116066 18446744073709551615 134512640 134547260 4294956736 18446744073709551615 3429452 0 0 4096 0 0 0 0 17 1 0 0
/proc/7456/statm: 116334 116066 64 8 0 116006 0
Current children cumulated CPU time (s) 702.24
Current children cumulated vsize (KiB) 465336
[startup+762.535 s]
/proc/loadavg: 1.00 0.92 0.55 2/65 7537
/proc/meminfo: memFree=706712/2055920 swapFree=4192956/4192956
[pid=7456] ppid=7454 vsize=504832 CPUtime=762.23
/proc/7456/stat : 7456 (VALCSP) R 7454 7456 6969 0 -1 4194304 125963 0 0 0 76154 69 0 0 25 0 1 0 45297000 516947968 125941 18446744073709551615 134512640 134547260 4294956736 18446744073709551615 3431676 0 0 4096 0 0 0 0 17 1 0 0
/proc/7456/statm: 126208 125941 64 8 0 125880 0
Current children cumulated CPU time (s) 762.23
Current children cumulated vsize (KiB) 504832
[startup+822.552 s]
/proc/loadavg: 1.00 0.93 0.57 2/65 7537
/proc/meminfo: memFree=666392/2055920 swapFree=4192956/4192956
[pid=7456] ppid=7454 vsize=544328 CPUtime=822.23
/proc/7456/stat : 7456 (VALCSP) R 7454 7456 6969 0 -1 4194304 135844 0 0 0 82149 74 0 0 25 0 1 0 45297000 557391872 135822 18446744073709551615 134512640 134547260 4294956736 18446744073709551615 3429473 0 0 4096 0 0 0 0 17 1 0 0
/proc/7456/statm: 136082 135822 64 8 0 135754 0
Current children cumulated CPU time (s) 822.23
Current children cumulated vsize (KiB) 544328
[startup+882.564 s]
/proc/loadavg: 1.00 0.94 0.60 2/65 7537
/proc/meminfo: memFree=627096/2055920 swapFree=4192956/4192956
[pid=7456] ppid=7454 vsize=583820 CPUtime=882.23
/proc/7456/stat : 7456 (VALCSP) R 7454 7456 6969 0 -1 4194304 145717 0 0 0 88144 79 0 0 25 0 1 0 45297000 597831680 145695 18446744073709551615 134512640 134547260 4294956736 18446744073709551615 3431596 0 0 4096 0 0 0 0 17 1 0 0
/proc/7456/statm: 145955 145695 64 8 0 145627 0
Current children cumulated CPU time (s) 882.23
Current children cumulated vsize (KiB) 583820
[startup+942.576 s]
/proc/loadavg: 1.00 0.95 0.62 2/65 7537
/proc/meminfo: memFree=587288/2055920 swapFree=4192956/4192956
[pid=7456] ppid=7454 vsize=623584 CPUtime=942.23
/proc/7456/stat : 7456 (VALCSP) R 7454 7456 6969 0 -1 4194304 155657 0 0 0 94139 84 0 0 25 0 1 0 45297000 638550016 155635 18446744073709551615 134512640 134547260 4294956736 18446744073709551615 3429514 0 0 4096 0 0 0 0 17 1 0 0
/proc/7456/statm: 155896 155635 64 8 0 155568 0
Current children cumulated CPU time (s) 942.23
Current children cumulated vsize (KiB) 623584
Child status: 0
Real time (s): 989.439
CPU time (s): 989.084
CPU user time (s): 987.946
CPU system time (s): 1.13783
CPU usage (%): 99.9641
Max. virtual memory (cumulated for all children) (KiB): 822652
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 987.946
system time used= 1.13783
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 205698
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= 7
involuntary context switches= 1922
runsolver used 0.804877 s user time and 1.91171 s system time
The end
Begin job on node63 on Tue Jan 16 20:06:35 UTC 2007
IDJOB= 268091
IDBENCH= 3518
IDSOLVER= 90
FILE ID= node63/268091-1168977968
PBS_JOBID= 3566133
Free space on /tmp= 66448 MiB
SOLVER NAME= VALCSP 3.1
BENCH NAME= HOME/pub/bench/CPAI06/marc/large-96-sat_ext.xml
COMMAND LINE= /tmp/evaluation/268091-1168977968/VALCSP /tmp/evaluation/268091-1168977968/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node63/watcher-268091-1168977968 -o ROOT/results/node63/solver-268091-1168977968 -C 1800 -M 900 /tmp/evaluation/268091-1168977968/VALCSP /tmp/evaluation/268091-1168977968/unknown.xml
META MD5SUM SOLVER= d4fc2c4e0b0392ee9c79e754aa39e238
MD5SUM BENCH= 78e01a12f71df0e44efdb8c019bda621
RANDOM SEED= 991499991
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
/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.216
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.216
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: 1205024 kB
Buffers: 47068 kB
Cached: 705964 kB
SwapCached: 0 kB
Active: 289068 kB
Inactive: 484204 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1205024 kB
SwapTotal: 4192956 kB
SwapFree: 4192956 kB
Dirty: 119704 kB
Writeback: 0 kB
Mapped: 30352 kB
Slab: 63344 kB
Committed_AS: 421028 kB
PageTables: 1676 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= 66448 MiB
End job on node63 on Tue Jan 16 20:23:05 UTC 2007