runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node40/watcher-269497-1168980831 -o ROOT/results/node40/solver-269497-1168980831 -C 1800 -M 900 /tmp/evaluation/269497-1168980831/VALCSP /tmp/evaluation/269497-1168980831/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: 1.33 0.97 0.66 4/65 657
/proc/meminfo: memFree=1708824/2055920 swapFree=4191892/4192956
[pid=656] ppid=654 vsize=2804 CPUtime=0
/proc/656/stat : 656 (VALCSP) R 654 656 32728 0 -1 4194304 452 0 0 0 0 0 0 0 18 0 1 0 246482882 2871296 430 18446744073709551615 134512640 134547260 4294956736 18446744073709551615 7345787 0 0 4096 0 0 0 0 17 1 0 0
/proc/656/statm: 701 434 63 8 0 373 0
[startup+0.102586 s]
/proc/loadavg: 1.33 0.97 0.66 4/65 657
/proc/meminfo: memFree=1708824/2055920 swapFree=4191892/4192956
[pid=656] ppid=654 vsize=20040 CPUtime=0.09
/proc/656/stat : 656 (VALCSP) R 654 656 32728 0 -1 4194304 4750 0 0 0 7 2 0 0 18 0 1 0 246482882 20520960 4728 18446744073709551615 134512640 134547260 4294956736 18446744073709551615 134529329 0 0 4096 0 0 0 0 17 1 0 0
/proc/656/statm: 5010 4728 64 8 0 4682 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 20040
[startup+0.512636 s]
/proc/loadavg: 1.33 0.97 0.66 4/65 657
/proc/meminfo: memFree=1708824/2055920 swapFree=4191892/4192956
[pid=656] ppid=654 vsize=20040 CPUtime=0.5
/proc/656/stat : 656 (VALCSP) R 654 656 32728 0 -1 4194304 4750 0 0 0 48 2 0 0 21 0 1 0 246482882 20520960 4728 18446744073709551615 134512640 134547260 4294956736 18446744073709551615 134528738 0 0 4096 0 0 0 0 17 1 0 0
/proc/656/statm: 5010 4728 64 8 0 4682 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 20040
[startup+1.33474 s]
/proc/loadavg: 1.33 0.97 0.66 2/65 657
/proc/meminfo: memFree=1690136/2055920 swapFree=4191892/4192956
[pid=656] ppid=654 vsize=20040 CPUtime=1.33
/proc/656/stat : 656 (VALCSP) R 654 656 32728 0 -1 4194304 4750 0 0 0 131 2 0 0 25 0 1 0 246482882 20520960 4728 18446744073709551615 134512640 134547260 4294956736 18446744073709551615 134529339 0 0 4096 0 0 0 0 17 1 0 0
/proc/656/statm: 5010 4728 64 8 0 4682 0
Current children cumulated CPU time (s) 1.33
Current children cumulated vsize (KiB) 20040
[startup+2.97096 s]
/proc/loadavg: 1.31 0.97 0.66 2/65 657
/proc/meminfo: memFree=1682456/2055920 swapFree=4191892/4192956
[pid=656] ppid=654 vsize=27668 CPUtime=2.95
/proc/656/stat : 656 (VALCSP) R 654 656 32728 0 -1 4194304 6665 0 0 0 293 2 0 0 25 0 1 0 246482882 28332032 6643 18446744073709551615 134512640 134547260 4294956736 18446744073709551615 134529329 0 0 4096 0 0 0 0 17 1 0 0
/proc/656/statm: 6917 6643 64 8 0 6589 0
Current children cumulated CPU time (s) 2.95
Current children cumulated vsize (KiB) 27668
[startup+6.24738 s]
/proc/loadavg: 1.31 0.97 0.66 2/65 657
/proc/meminfo: memFree=1675096/2055920 swapFree=4191892/4192956
[pid=656] ppid=654 vsize=42444 CPUtime=6.24
/proc/656/stat : 656 (VALCSP) R 654 656 32728 0 -1 4194304 10337 0 0 0 620 4 0 0 25 0 1 0 246482882 43462656 10315 18446744073709551615 134512640 134547260 4294956736 18446744073709551615 134529339 0 0 4096 0 0 0 0 17 1 0 0
/proc/656/statm: 10611 10315 64 8 0 10283 0
Current children cumulated CPU time (s) 6.24
Current children cumulated vsize (KiB) 42444
[startup+12.7022 s]
/proc/loadavg: 1.26 0.97 0.66 2/65 657
/proc/meminfo: memFree=1644888/2055920 swapFree=4191892/4192956
[pid=656] ppid=654 vsize=65308 CPUtime=12.69
/proc/656/stat : 656 (VALCSP) R 654 656 32728 0 -1 4194304 16043 0 0 0 1262 7 0 0 25 0 1 0 246482882 66875392 16021 18446744073709551615 134512640 134547260 4294956736 18446744073709551615 134529339 0 0 4096 0 0 0 0 17 1 0 0
/proc/656/statm: 16327 16021 64 8 0 15999 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 65308
[startup+25.6029 s]
/proc/loadavg: 1.22 0.97 0.66 2/65 657
/proc/meminfo: memFree=1600344/2055920 swapFree=4191892/4192956
[pid=656] ppid=654 vsize=109644 CPUtime=25.59
/proc/656/stat : 656 (VALCSP) R 654 656 32728 0 -1 4194304 27154 0 0 0 2547 12 0 0 25 0 1 0 246482882 112275456 27132 18446744073709551615 134512640 134547260 4294956736 18446744073709551615 134529339 0 0 4096 0 0 0 0 17 1 0 0
/proc/656/statm: 27411 27132 64 8 0 27083 0
Current children cumulated CPU time (s) 25.59
Current children cumulated vsize (KiB) 109644
[startup+51.2082 s]
/proc/loadavg: 1.14 0.97 0.67 2/65 657
/proc/meminfo: memFree=1507800/2055920 swapFree=4191892/4192956
[pid=656] ppid=654 vsize=202024 CPUtime=51.18
/proc/656/stat : 656 (VALCSP) R 654 656 32728 0 -1 4194304 50248 0 0 0 5097 21 0 0 25 0 1 0 246482882 206872576 50226 18446744073709551615 134512640 134547260 4294956736 18446744073709551615 134529329 0 0 4096 0 0 0 0 17 1 0 0
/proc/656/statm: 50506 50226 64 8 0 50178 0
Current children cumulated CPU time (s) 51.18
Current children cumulated vsize (KiB) 202024
[startup+102.413 s]
/proc/loadavg: 1.06 0.97 0.69 2/65 657
/proc/meminfo: memFree=1321240/2055920 swapFree=4191892/4192956
[pid=656] ppid=654 vsize=388308 CPUtime=102.37
/proc/656/stat : 656 (VALCSP) R 654 656 32728 0 -1 4194304 96799 0 0 0 10196 41 0 0 25 0 1 0 246482882 397627392 96777 18446744073709551615 134512640 134547260 4294956736 18446744073709551615 134529339 0 0 4096 0 0 0 0 17 1 0 0
/proc/656/statm: 97077 96777 64 8 0 96749 0
Current children cumulated CPU time (s) 102.37
Current children cumulated vsize (KiB) 388308
[startup+162.433 s]
/proc/loadavg: 1.02 0.97 0.70 2/65 657
/proc/meminfo: memFree=1100184/2055920 swapFree=4191892/4192956
[pid=656] ppid=654 vsize=608880 CPUtime=162.37
/proc/656/stat : 656 (VALCSP) R 654 656 32728 0 -1 4194304 151955 0 0 0 16174 63 0 0 25 0 1 0 246482882 623493120 151933 18446744073709551615 134512640 134547260 4294956736 18446744073709551615 134529344 0 0 4096 0 0 0 0 17 1 0 0
/proc/656/statm: 152220 151933 64 8 0 151892 0
Current children cumulated CPU time (s) 162.37
Current children cumulated vsize (KiB) 608880
[startup+222.446 s]
/proc/loadavg: 1.00 0.97 0.72 2/65 657
/proc/meminfo: memFree=891416/2055920 swapFree=4191892/4192956
[pid=656] ppid=654 vsize=824808 CPUtime=222.37
/proc/656/stat : 656 (VALCSP) R 654 656 32728 0 -1 4194304 205936 0 0 0 22152 85 0 0 25 0 1 0 246482882 844603392 205914 18446744073709551615 134512640 134547260 4294956736 18446744073709551615 134529344 0 0 4096 0 0 0 0 17 1 0 0
/proc/656/statm: 206202 205914 64 8 0 205874 0
Current children cumulated CPU time (s) 222.37
Current children cumulated vsize (KiB) 824808
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+250.712 s]
/proc/loadavg: 1.00 0.97 0.73 2/65 657
/proc/meminfo: memFree=781528/2055920 swapFree=4191892/4192956
[pid=656] ppid=654 vsize=926848 CPUtime=250.63
/proc/656/stat : 656 (VALCSP) R 654 656 32728 0 -1 4194304 231438 0 0 0 24968 95 0 0 25 0 1 0 246482882 949092352 231416 18446744073709551615 134512640 134547260 4294956736 18446744073709551615 134529346 0 0 4096 0 0 0 0 17 1 0 0
/proc/656/statm: 231712 231416 64 8 0 231384 0
Current children cumulated CPU time (s) 250.63
Current children cumulated vsize (KiB) 926848
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child ended because it received signal 15 (SIGTERM)
Real time (s): 250.865
CPU time (s): 250.788
CPU user time (s): 249.689
CPU system time (s): 1.09883
CPU usage (%): 99.9692
Max. virtual memory (cumulated for all children) (KiB): 926848
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 249.689
system time used= 1.09883
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 231438
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= 6
involuntary context switches= 420
runsolver used 0.185971 s user time and 0.491925 s system time
The end
Begin job on node40 on Tue Jan 16 20:53:53 UTC 2007
IDJOB= 269497
IDBENCH= 6744
IDSOLVER= 90
FILE ID= node40/269497-1168980831
PBS_JOBID= 3566365
Free space on /tmp= 66564 MiB
SOLVER NAME= VALCSP 3.1
BENCH NAME= HOME/pub/bench/CPAI06/taillard/js-taillard-20-15/js-taillard-20-15-105-1.xml
COMMAND LINE= /tmp/evaluation/269497-1168980831/VALCSP /tmp/evaluation/269497-1168980831/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node40/watcher-269497-1168980831 -o ROOT/results/node40/solver-269497-1168980831 -C 1800 -M 900 /tmp/evaluation/269497-1168980831/VALCSP /tmp/evaluation/269497-1168980831/unknown.xml
META MD5SUM SOLVER= d4fc2c4e0b0392ee9c79e754aa39e238
MD5SUM BENCH= 55464d46279860904d9daa1ba63cb5fa
RANDOM SEED= 847974523
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.239
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.239
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: 1709368 kB
Buffers: 35152 kB
Cached: 217608 kB
SwapCached: 268 kB
Active: 28624 kB
Inactive: 238824 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1709368 kB
SwapTotal: 4192956 kB
SwapFree: 4191892 kB
Dirty: 676 kB
Writeback: 0 kB
Mapped: 23596 kB
Slab: 65252 kB
Committed_AS: 4797980 kB
PageTables: 1412 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 node40 on Tue Jan 16 20:58:06 UTC 2007