runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node55/watcher-234226-1168331211 -o ROOT/results/node55/solver-234226-1168331211 -C 1800 -M 900 /tmp/evaluation/234226-1168331211/VALCSP /tmp/evaluation/234226-1168331211/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.95 1.99 1.91 5/73 14745
/proc/meminfo: memFree=1771848/2055920 swapFree=4192192/4192956
[pid=14744] ppid=14742 vsize=2132 CPUtime=0
/proc/14744/stat : 14744 (VALCSP) R 14742 14744 14047 0 -1 4194304 283 0 0 0 0 0 0 0 21 0 1 0 181519384 2183168 261 18446744073709551615 134512640 134548440 4294956736 18446744073709551615 7284347 0 0 4096 0 0 0 0 17 1 0 0
/proc/14744/statm: 533 261 62 8 0 205 0
[startup+0.105566 s]
/proc/loadavg: 1.95 1.99 1.91 5/73 14745
/proc/meminfo: memFree=1771848/2055920 swapFree=4192192/4192956
[pid=14744] ppid=14742 vsize=12988 CPUtime=0.09
/proc/14744/stat : 14744 (VALCSP) R 14742 14744 14047 0 -1 4194304 2975 0 0 0 8 1 0 0 21 0 1 0 181519384 13299712 2953 18446744073709551615 134512640 134548440 4294956736 18446744073709551615 134530955 0 0 4096 0 0 0 0 17 1 0 0
/proc/14744/statm: 3247 2953 64 8 0 2919 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12988
[startup+0.517594 s]
/proc/loadavg: 1.95 1.99 1.91 5/73 14745
/proc/meminfo: memFree=1771848/2055920 swapFree=4192192/4192956
[pid=14744] ppid=14742 vsize=12988 CPUtime=0.5
/proc/14744/stat : 14744 (VALCSP) R 14742 14744 14047 0 -1 4194304 2975 0 0 0 49 1 0 0 25 0 1 0 181519384 13299712 2953 18446744073709551615 134512640 134548440 4294956736 18446744073709551615 134530955 0 0 4096 0 0 0 0 17 1 0 0
/proc/14744/statm: 3247 2953 64 8 0 2919 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 12988
[startup+1.33867 s]
/proc/loadavg: 1.95 1.99 1.91 3/73 14745
/proc/meminfo: memFree=1756040/2055920 swapFree=4192192/4192956
[pid=14744] ppid=14742 vsize=17832 CPUtime=1.32
/proc/14744/stat : 14744 (VALCSP) R 14742 14744 14047 0 -1 4194304 4197 0 0 0 131 1 0 0 25 0 1 0 181519384 18259968 4175 18446744073709551615 134512640 134548440 4294956736 18446744073709551615 134530945 0 0 4096 0 0 0 0 17 1 0 0
/proc/14744/statm: 4458 4175 64 8 0 4130 0
Current children cumulated CPU time (s) 1.32
Current children cumulated vsize (KiB) 17832
[startup+2.97583 s]
/proc/loadavg: 1.95 1.99 1.91 3/73 14745
/proc/meminfo: memFree=1750984/2055920 swapFree=4192192/4192956
[pid=14744] ppid=14742 vsize=22756 CPUtime=2.95
/proc/14744/stat : 14744 (VALCSP) R 14742 14744 14047 0 -1 4194304 5441 0 0 0 293 2 0 0 25 0 1 0 181519384 23302144 5419 18446744073709551615 134512640 134548440 4294956736 18446744073709551615 134530960 0 0 4096 0 0 0 0 17 1 0 0
/proc/14744/statm: 5689 5419 64 8 0 5361 0
Current children cumulated CPU time (s) 2.95
Current children cumulated vsize (KiB) 22756
[startup+6.25515 s]
/proc/loadavg: 1.95 1.99 1.91 3/73 14745
/proc/meminfo: memFree=1736264/2055920 swapFree=4192192/4192956
[pid=14744] ppid=14742 vsize=37584 CPUtime=6.22
/proc/14744/stat : 14744 (VALCSP) R 14742 14744 14047 0 -1 4194304 9127 0 0 0 619 3 0 0 25 0 1 0 181519384 38486016 9105 18446744073709551615 134512640 134548440 4294956736 18446744073709551615 134530955 0 0 4096 0 0 0 0 17 1 0 0
/proc/14744/statm: 9396 9105 64 8 0 9068 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 37584
[startup+12.7168 s]
/proc/loadavg: 1.95 1.99 1.91 3/73 14745
/proc/meminfo: memFree=1706192/2055920 swapFree=4192192/4192956
[pid=14744] ppid=14742 vsize=67476 CPUtime=12.66
/proc/14744/stat : 14744 (VALCSP) R 14742 14744 14047 0 -1 4194304 16621 0 0 0 1260 6 0 0 25 0 1 0 181519384 69095424 16599 18446744073709551615 134512640 134548440 4294956736 18446744073709551615 134530955 0 0 4096 0 0 0 0 17 1 0 0
/proc/14744/statm: 16869 16599 64 8 0 16541 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 67476
[startup+25.528 s]
/proc/loadavg: 1.96 1.99 1.91 3/73 14745
/proc/meminfo: memFree=1651792/2055920 swapFree=4192192/4192956
[pid=14744] ppid=14742 vsize=121904 CPUtime=25.42
/proc/14744/stat : 14744 (VALCSP) R 14742 14744 14047 0 -1 4194304 30201 0 0 0 2531 11 0 0 25 0 1 0 181519384 124829696 30179 18446744073709551615 134512640 134548440 4294956736 18446744073709551615 134530960 0 0 4096 0 0 0 0 17 1 0 0
/proc/14744/statm: 30476 30179 64 8 0 30148 0
Current children cumulated CPU time (s) 25.42
Current children cumulated vsize (KiB) 121904
[startup+51.1585 s]
/proc/loadavg: 1.98 1.99 1.91 3/73 14745
/proc/meminfo: memFree=1541136/2055920 swapFree=4192192/4192956
[pid=14744] ppid=14742 vsize=237580 CPUtime=50.95
/proc/14744/stat : 14744 (VALCSP) R 14742 14744 14047 0 -1 4194304 59124 0 0 0 5072 23 0 0 25 0 1 0 181519384 243281920 59102 18446744073709551615 134512640 134548440 4294956736 18446744073709551615 134530192 0 0 4096 0 0 0 0 17 1 0 0
/proc/14744/statm: 59395 59102 64 8 0 59067 0
Current children cumulated CPU time (s) 50.95
Current children cumulated vsize (KiB) 237580
[startup+102.417 s]
/proc/loadavg: 1.99 1.99 1.91 3/73 14745
/proc/meminfo: memFree=1321680/2055920 swapFree=4192192/4192956
[pid=14744] ppid=14742 vsize=456412 CPUtime=102.02
/proc/14744/stat : 14744 (VALCSP) R 14742 14744 14047 0 -1 4194304 113854 0 0 0 10157 45 0 0 25 0 1 0 181519384 467365888 113832 18446744073709551615 134512640 134548440 4294956736 18446744073709551615 134530948 0 0 4096 0 0 0 0 17 1 0 0
/proc/14744/statm: 114103 113832 64 8 0 113775 0
Current children cumulated CPU time (s) 102.02
Current children cumulated vsize (KiB) 456412
[startup+162.503 s]
/proc/loadavg: 1.99 1.99 1.91 3/73 14745
/proc/meminfo: memFree=1057808/2055920 swapFree=4192192/4192956
[pid=14744] ppid=14742 vsize=714536 CPUtime=161.87
/proc/14744/stat : 14744 (VALCSP) R 14742 14744 14047 0 -1 4194304 178382 0 0 0 16116 71 0 0 25 0 1 0 181519384 731684864 178360 18446744073709551615 134512640 134548440 4294956736 18446744073709551615 134530960 0 0 4096 0 0 0 0 17 1 0 0
/proc/14744/statm: 178634 178360 64 8 0 178306 0
Current children cumulated CPU time (s) 161.87
Current children cumulated vsize (KiB) 714536
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+208.229 s]
/proc/loadavg: 1.99 1.99 1.91 3/73 14745
/proc/meminfo: memFree=850000/2055920 swapFree=4192192/4192956
[pid=14744] ppid=14742 vsize=921928 CPUtime=207.42
/proc/14744/stat : 14744 (VALCSP) R 14742 14744 14047 0 -1 4194304 230216 0 0 0 20650 92 0 0 25 0 1 0 181519384 944054272 230194 18446744073709551615 134512640 134548440 4294956736 18446744073709551615 134530955 0 0 4096 0 0 0 0 17 1 0 0
/proc/14744/statm: 230482 230194 64 8 0 230154 0
Current children cumulated CPU time (s) 207.42
Current children cumulated vsize (KiB) 921928
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child ended because it received signal 15 (SIGTERM)
Real time (s): 208.377
CPU time (s): 207.573
CPU user time (s): 206.506
CPU system time (s): 1.06784
CPU usage (%): 99.6145
Max. virtual memory (cumulated for all children) (KiB): 921928
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 206.506
system time used= 1.06784
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 230216
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= 2299
runsolver used 0.247962 s user time and 0.505923 s system time
The end
Begin job on node55 on Tue Jan 9 08:26:51 UTC 2007
IDJOB= 234226
IDBENCH= 6672
FILE ID= node55/234226-1168331211
PBS_JOBID= 3503258
Free space on /tmp= 66561 MiB
BENCH NAME= HOME/pub/bench/CPAI06/taillard/js-taillard-15/js-taillard-15-100-3.xml
COMMAND LINE= /tmp/evaluation/234226-1168331211/VALCSP /tmp/evaluation/234226-1168331211/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node55/watcher-234226-1168331211 -o ROOT/results/node55/solver-234226-1168331211 -C 1800 -M 900 /tmp/evaluation/234226-1168331211/VALCSP /tmp/evaluation/234226-1168331211/unknown.xml
META MD5SUM SOLVER= 6fc756be3a7e45a17a81a19ce431bc48
MD5SUM BENCH= 43bdd08ffdcb9ff8323d7868c2b8c930
RANDOM SEED= 417198290
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.218
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 : 5931.00
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.218
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: 1772968 kB
Buffers: 19328 kB
Cached: 137756 kB
SwapCached: 268 kB
Active: 134236 kB
Inactive: 93128 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1772968 kB
SwapTotal: 4192956 kB
SwapFree: 4192192 kB
Dirty: 316 kB
Writeback: 0 kB
Mapped: 82672 kB
Slab: 41052 kB
Committed_AS: 4113872 kB
PageTables: 1784 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= 66561 MiB
End job on node55 on Tue Jan 9 08:30:20 UTC 2007