runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node26/watcher-234343-1168331881 -o ROOT/results/node26/solver-234343-1168331881 -C 1800 -M 900 /tmp/evaluation/234343-1168331881/VALCSP /tmp/evaluation/234343-1168331881/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.92 0.98 1.01 7/84 361
/proc/meminfo: memFree=1121016/2055920 swapFree=4192812/4192956
[pid=359] ppid=352 vsize=6364 CPUtime=0
/proc/359/stat : 359 (VALCSP) R 352 359 32715 0 -1 4194304 1332 0 0 0 0 0 0 0 18 0 1 0 181582379 6516736 1310 18446744073709551615 134512640 134548440 4294956736 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/359/statm: 1591 1316 62 8 0 1263 0
[startup+0.102868 s]
/proc/loadavg: 0.92 0.98 1.01 7/84 361
/proc/meminfo: memFree=1121016/2055920 swapFree=4192812/4192956
[pid=359] ppid=352 vsize=12844 CPUtime=0.09
/proc/359/stat : 359 (VALCSP) R 352 359 32715 0 -1 4194304 2938 0 0 0 8 1 0 0 18 0 1 0 181582379 13152256 2916 18446744073709551615 134512640 134548440 4294956736 18446744073709551615 134530955 0 0 4096 0 0 0 0 17 1 0 0
/proc/359/statm: 3211 2916 64 8 0 2883 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12844
[startup+0.514908 s]
/proc/loadavg: 0.92 0.98 1.01 7/84 361
/proc/meminfo: memFree=1121016/2055920 swapFree=4192812/4192956
[pid=359] ppid=352 vsize=12844 CPUtime=0.51
/proc/359/stat : 359 (VALCSP) R 352 359 32715 0 -1 4194304 2938 0 0 0 50 1 0 0 21 0 1 0 181582379 13152256 2916 18446744073709551615 134512640 134548440 4294956736 18446744073709551615 134530960 0 0 4096 0 0 0 0 17 1 0 0
/proc/359/statm: 3211 2916 64 8 0 2883 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 12844
[startup+1.34099 s]
/proc/loadavg: 0.92 0.98 1.01 3/97 374
/proc/meminfo: memFree=1067408/2055920 swapFree=4192812/4192956
[pid=359] ppid=352 vsize=17604 CPUtime=1.33
/proc/359/stat : 359 (VALCSP) R 352 359 32715 0 -1 4194304 4153 0 0 0 132 1 0 0 25 0 1 0 181582379 18026496 4131 18446744073709551615 134512640 134548440 4294956736 18446744073709551615 134530960 0 0 4096 0 0 0 0 17 1 0 0
/proc/359/statm: 4401 4131 64 8 0 4073 0
Current children cumulated CPU time (s) 1.33
Current children cumulated vsize (KiB) 17604
[startup+2.97714 s]
/proc/loadavg: 0.92 0.98 1.01 3/97 374
/proc/meminfo: memFree=980560/2055920 swapFree=4192812/4192956
[pid=359] ppid=352 vsize=22512 CPUtime=2.64
/proc/359/stat : 359 (VALCSP) R 352 359 32715 0 -1 4194304 5381 0 0 0 262 2 0 0 25 0 1 0 181582379 23052288 5359 18446744073709551615 134512640 134548440 4294956736 18446744073709551615 134530945 0 0 4096 0 0 0 0 17 1 0 0
/proc/359/statm: 5628 5359 64 8 0 5300 0
Current children cumulated CPU time (s) 2.64
Current children cumulated vsize (KiB) 22512
[startup+6.27445 s]
/proc/loadavg: 1.01 1.00 1.01 6/97 374
/proc/meminfo: memFree=901072/2055920 swapFree=4192812/4192956
[pid=359] ppid=352 vsize=37060 CPUtime=5.93
/proc/359/stat : 359 (VALCSP) R 352 359 32715 0 -1 4194304 9021 0 0 0 589 4 0 0 25 0 1 0 181582379 37949440 8999 18446744073709551615 134512640 134548440 4294956736 18446744073709551615 134530945 0 0 4096 0 0 0 0 17 1 0 0
/proc/359/statm: 9265 8999 64 8 0 8937 0
Current children cumulated CPU time (s) 5.93
Current children cumulated vsize (KiB) 37060
[startup+12.7721 s]
/proc/loadavg: 1.25 1.05 1.03 5/97 374
/proc/meminfo: memFree=760984/2055920 swapFree=4192812/4192956
[pid=359] ppid=352 vsize=66424 CPUtime=12.35
/proc/359/stat : 359 (VALCSP) R 352 359 32715 0 -1 4194304 16345 0 0 0 1228 7 0 0 25 0 1 0 181582379 68018176 16323 18446744073709551615 134512640 134548440 4294956736 18446744073709551615 134530945 0 0 4096 0 0 0 0 17 1 0 0
/proc/359/statm: 16606 16323 64 8 0 16278 0
Current children cumulated CPU time (s) 12.35
Current children cumulated vsize (KiB) 66424
[startup+25.6059 s]
/proc/loadavg: 1.55 1.13 1.05 3/97 374
/proc/meminfo: memFree=491416/2055920 swapFree=4192812/4192956
[pid=359] ppid=352 vsize=119288 CPUtime=24.85
/proc/359/stat : 359 (VALCSP) R 352 359 32715 0 -1 4194304 29548 0 0 0 2473 12 0 0 25 0 1 0 181582379 122150912 29526 18446744073709551615 134512640 134548440 4294956736 18446744073709551615 134530960 0 0 4096 0 0 0 0 17 1 0 0
/proc/359/statm: 29822 29526 64 8 0 29494 0
Current children cumulated CPU time (s) 24.85
Current children cumulated vsize (KiB) 119288
[startup+51.2859 s]
/proc/loadavg: 1.70 1.20 1.08 3/97 374
/proc/meminfo: memFree=166744/2055920 swapFree=4192812/4192956
[pid=359] ppid=352 vsize=232128 CPUtime=49.75
/proc/359/stat : 359 (VALCSP) R 352 359 32715 0 -1 4194304 57781 0 0 0 4949 26 0 0 25 0 1 0 181582379 237699072 57759 18446744073709551615 134512640 134548440 4294956736 18446744073709551615 134530960 0 0 4096 0 0 0 0 17 1 0 0
/proc/359/statm: 58032 57759 64 8 0 57704 0
Current children cumulated CPU time (s) 49.75
Current children cumulated vsize (KiB) 232128
[startup+102.579 s]
/proc/loadavg: 2.10 1.38 1.14 3/97 374
/proc/meminfo: memFree=16024/2055920 swapFree=4192812/4192956
[pid=359] ppid=352 vsize=465040 CPUtime=100.33
/proc/359/stat : 359 (VALCSP) R 352 359 32715 0 -1 4194304 116009 0 0 0 9972 61 0 0 25 0 1 0 181582379 476200960 115987 18446744073709551615 134512640 134548440 4294956736 18446744073709551615 134530960 0 0 4096 0 0 0 0 17 0 0 0
/proc/359/statm: 116260 115987 64 8 0 115932 0
Current children cumulated CPU time (s) 100.33
Current children cumulated vsize (KiB) 465040
[startup+162.658 s]
/proc/loadavg: 2.04 1.49 1.20 3/87 1071
/proc/meminfo: memFree=436832/2055920 swapFree=4192812/4192956
[pid=359] ppid=352 vsize=745240 CPUtime=160.12
/proc/359/stat : 359 (VALCSP) R 352 359 32715 0 -1 4194304 186046 0 0 0 15920 92 0 0 25 0 1 0 181582379 763125760 186024 18446744073709551615 134512640 134548440 4294956736 18446744073709551615 134530305 0 0 4096 0 0 0 0 17 0 0 0
/proc/359/statm: 186310 186024 64 8 0 185982 0
Current children cumulated CPU time (s) 160.12
Current children cumulated vsize (KiB) 745240
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+200.9 s]
/proc/loadavg: 2.02 1.55 1.23 3/87 1071
/proc/meminfo: memFree=251680/2055920 swapFree=4192812/4192956
[pid=359] ppid=352 vsize=924672 CPUtime=198.19
/proc/359/stat : 359 (VALCSP) R 352 359 32715 0 -1 4194304 230906 0 0 0 19708 111 0 0 25 0 1 0 181582379 946864128 230884 18446744073709551615 134512640 134548440 4294956736 18446744073709551615 134530955 0 0 4096 0 0 0 0 17 0 0 0
/proc/359/statm: 231168 230884 64 8 0 230840 0
Current children cumulated CPU time (s) 198.19
Current children cumulated vsize (KiB) 924672
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child ended because it received signal 15 (SIGTERM)
Real time (s): 201.04
CPU time (s): 198.326
CPU user time (s): 197.08
CPU system time (s): 1.24581
CPU usage (%): 98.6501
Max. virtual memory (cumulated for all children) (KiB): 924672
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 197.08
system time used= 1.24581
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 230906
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= 6117
runsolver used 0.214967 s user time and 0.567913 s system time
The end
Begin job on node26 on Tue Jan 9 08:38:01 UTC 2007
IDJOB= 234343
IDBENCH= 6682
FILE ID= node26/234343-1168331881
PBS_JOBID= 3503297
Free space on /tmp= 66540 MiB
BENCH NAME= HOME/pub/bench/CPAI06/taillard/js-taillard-15/js-taillard-15-95-2.xml
COMMAND LINE= /tmp/evaluation/234343-1168331881/VALCSP /tmp/evaluation/234343-1168331881/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node26/watcher-234343-1168331881 -o ROOT/results/node26/solver-234343-1168331881 -C 1800 -M 900 /tmp/evaluation/234343-1168331881/VALCSP /tmp/evaluation/234343-1168331881/unknown.xml
META MD5SUM SOLVER= 6fc756be3a7e45a17a81a19ce431bc48
MD5SUM BENCH= 1be6534ea2a6d2988f7221fd0bff0aca
RANDOM SEED= 753429903
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.236
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.236
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: 1121496 kB
Buffers: 14940 kB
Cached: 802216 kB
SwapCached: 0 kB
Active: 329192 kB
Inactive: 552420 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1121496 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 3148 kB
Writeback: 0 kB
Mapped: 83568 kB
Slab: 37740 kB
Committed_AS: 3585036 kB
PageTables: 2208 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= 66526 MiB
End job on node26 on Tue Jan 9 08:41:22 UTC 2007