runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node33/watcher-268495-1168979273 -o ROOT/results/node33/solver-268495-1168979273 -C 1800 -M 900 /tmp/evaluation/268495-1168979273/VALCSP /tmp/evaluation/268495-1168979273/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.91 0.95 0.74 4/65 20041
/proc/meminfo: memFree=1370296/2055920 swapFree=4192224/4192956
[pid=20040] ppid=20038 vsize=3316 CPUtime=0
/proc/20040/stat : 20040 (VALCSP) R 20038 20040 19445 0 -1 4194304 585 0 0 0 0 0 0 0 18 0 1 0 246321198 3395584 563 18446744073709551615 134512640 134547260 4294956736 18446744073709551615 11380347 0 0 4096 0 0 0 0 17 1 0 0
/proc/20040/statm: 829 567 64 8 0 501 0
[startup+0.106816 s]
/proc/loadavg: 0.91 0.95 0.74 4/65 20041
/proc/meminfo: memFree=1370296/2055920 swapFree=4192224/4192956
[pid=20040] ppid=20038 vsize=6420 CPUtime=0.1
/proc/20040/stat : 20040 (VALCSP) R 20038 20040 19445 0 -1 4194304 1345 0 0 0 10 0 0 0 18 0 1 0 246321198 6574080 1323 18446744073709551615 134512640 134547260 4294956736 18446744073709551615 134529339 0 0 4096 0 0 0 0 17 1 0 0
/proc/20040/statm: 1605 1323 64 8 0 1277 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 6420
[startup+0.514899 s]
/proc/loadavg: 0.91 0.95 0.74 4/65 20041
/proc/meminfo: memFree=1370296/2055920 swapFree=4192224/4192956
[pid=20040] ppid=20038 vsize=9588 CPUtime=0.5
/proc/20040/stat : 20040 (VALCSP) R 20038 20040 19445 0 -1 4194304 2120 0 0 0 50 0 0 0 21 0 1 0 246321198 9818112 2098 18446744073709551615 134512640 134547260 4294956736 18446744073709551615 134529346 0 0 4096 0 0 0 0 17 1 0 0
/proc/20040/statm: 2397 2098 64 8 0 2069 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 9588
[startup+1.33507 s]
/proc/loadavg: 0.91 0.95 0.74 2/65 20041
/proc/meminfo: memFree=1355256/2055920 swapFree=4192224/4192956
[pid=20040] ppid=20038 vsize=17904 CPUtime=1.32
/proc/20040/stat : 20040 (VALCSP) R 20038 20040 19445 0 -1 4194304 4186 0 0 0 131 1 0 0 25 0 1 0 246321198 18333696 4164 18446744073709551615 134512640 134547260 4294956736 18446744073709551615 134529339 0 0 4096 0 0 0 0 17 1 0 0
/proc/20040/statm: 4476 4164 64 8 0 4148 0
Current children cumulated CPU time (s) 1.32
Current children cumulated vsize (KiB) 17904
[startup+2.97241 s]
/proc/loadavg: 0.91 0.95 0.74 2/65 20041
/proc/meminfo: memFree=1345080/2055920 swapFree=4192224/4192956
[pid=20040] ppid=20038 vsize=34008 CPUtime=2.96
/proc/20040/stat : 20040 (VALCSP) R 20038 20040 19445 0 -1 4194304 8237 0 0 0 293 3 0 0 25 0 1 0 246321198 34824192 8215 18446744073709551615 134512640 134547260 4294956736 18446744073709551615 134529359 0 0 4096 0 0 0 0 17 1 0 0
/proc/20040/statm: 8502 8215 64 8 0 8174 0
Current children cumulated CPU time (s) 2.96
Current children cumulated vsize (KiB) 34008
[startup+6.24908 s]
/proc/loadavg: 0.92 0.95 0.74 2/65 20041
/proc/meminfo: memFree=1309944/2055920 swapFree=4192224/4192956
[pid=20040] ppid=20038 vsize=66612 CPUtime=6.24
/proc/20040/stat : 20040 (VALCSP) R 20038 20040 19445 0 -1 4194304 16377 0 0 0 618 6 0 0 25 0 1 0 246321198 68210688 16355 18446744073709551615 134512640 134547260 4294956736 18446744073709551615 134529339 0 0 4096 0 0 0 0 17 1 0 0
/proc/20040/statm: 16653 16355 64 8 0 16325 0
Current children cumulated CPU time (s) 6.24
Current children cumulated vsize (KiB) 66612
[startup+12.7044 s]
/proc/loadavg: 0.93 0.95 0.74 2/65 20041
/proc/meminfo: memFree=1246272/2055920 swapFree=4192224/4192956
[pid=20040] ppid=20038 vsize=127464 CPUtime=12.69
/proc/20040/stat : 20040 (VALCSP) R 20038 20040 19445 0 -1 4194304 31608 0 0 0 1256 13 0 0 25 0 1 0 246321198 130523136 31586 18446744073709551615 134512640 134547260 4294956736 18446744073709551615 134528728 0 0 4096 0 0 0 0 17 1 0 0
/proc/20040/statm: 31866 31586 64 8 0 31538 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 127464
[startup+25.6061 s]
/proc/loadavg: 0.94 0.96 0.75 2/65 20041
/proc/meminfo: memFree=1126208/2055920 swapFree=4192224/4192956
[pid=20040] ppid=20038 vsize=252996 CPUtime=25.58
/proc/20040/stat : 20040 (VALCSP) R 20038 20040 19445 0 -1 4194304 62972 0 0 0 2531 27 0 0 25 0 1 0 246321198 259067904 62950 18446744073709551615 134512640 134547260 4294956736 18446744073709551615 134528736 0 0 4096 0 0 0 0 17 1 0 0
/proc/20040/statm: 63249 62950 64 8 0 62921 0
Current children cumulated CPU time (s) 25.58
Current children cumulated vsize (KiB) 252996
[startup+51.2104 s]
/proc/loadavg: 0.96 0.96 0.75 2/65 20041
/proc/meminfo: memFree=871872/2055920 swapFree=4192224/4192956
[pid=20040] ppid=20038 vsize=503536 CPUtime=51.19
/proc/20040/stat : 20040 (VALCSP) R 20038 20040 19445 0 -1 4194304 125630 0 0 0 5066 53 0 0 25 0 1 0 246321198 515620864 125608 18446744073709551615 134512640 134547260 4294956736 18446744073709551615 134528680 0 0 4096 0 0 0 0 17 1 0 0
/proc/20040/statm: 125884 125608 64 8 0 125556 0
Current children cumulated CPU time (s) 51.19
Current children cumulated vsize (KiB) 503536
Child status: 0
Real time (s): 83.982
CPU time (s): 83.9502
CPU user time (s): 82.9784
CPU system time (s): 0.971852
CPU usage (%): 99.9622
Max. virtual memory (cumulated for all children) (KiB): 819320
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 82.9784
system time used= 0.971852
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 204601
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= 216
runsolver used 0.06399 s user time and 0.166974 s system time
The end
Begin job on node33 on Tue Jan 16 20:27:54 UTC 2007
IDJOB= 268495
IDBENCH= 4274
IDSOLVER= 90
FILE ID= node33/268495-1168979273
PBS_JOBID= 3566176
Free space on /tmp= 66564 MiB
SOLVER NAME= VALCSP 3.1
BENCH NAME= HOME/pub/bench/CPAI06/fapp/test01-04/test03/test03-0400-3.xml
COMMAND LINE= /tmp/evaluation/268495-1168979273/VALCSP /tmp/evaluation/268495-1168979273/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node33/watcher-268495-1168979273 -o ROOT/results/node33/solver-268495-1168979273 -C 1800 -M 900 /tmp/evaluation/268495-1168979273/VALCSP /tmp/evaluation/268495-1168979273/unknown.xml
META MD5SUM SOLVER= d4fc2c4e0b0392ee9c79e754aa39e238
MD5SUM BENCH= 37793a615df6cddcc572c677e170f87f
RANDOM SEED= 360298709
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.281
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.281
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: 1370720 kB
Buffers: 49868 kB
Cached: 544456 kB
SwapCached: 268 kB
Active: 104560 kB
Inactive: 504776 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1370720 kB
SwapTotal: 4192956 kB
SwapFree: 4192224 kB
Dirty: 656 kB
Writeback: 0 kB
Mapped: 24636 kB
Slab: 61860 kB
Committed_AS: 4215464 kB
PageTables: 1408 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= 66564 MiB
End job on node33 on Tue Jan 16 20:29:18 UTC 2007