runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node35/watcher-232620-1168323721 -o ROOT/results/node35/solver-232620-1168323721 -C 1800 -M 900 /tmp/evaluation/232620-1168323721/VALCSP /tmp/evaluation/232620-1168323721/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: 2.03 2.01 1.93 3/73 7528
/proc/meminfo: memFree=820224/2055920 swapFree=4184712/4192956
[pid=7527] ppid=7525 vsize=1468 CPUtime=0
/proc/7527/stat : 7527 (VALCSP) R 7525 7527 6181 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 180765729 1503232 87 18446744073709551615 134512640 134548440 4294956736 18446744073709551615 1905944 0 0 4096 0 0 0 0 17 1 0 0
/proc/7527/statm: 367 87 62 8 0 39 0
[startup+0.103813 s]
/proc/loadavg: 2.03 2.01 1.93 3/73 7528
/proc/meminfo: memFree=820224/2055920 swapFree=4184712/4192956
[pid=7527] ppid=7525 vsize=29472 CPUtime=0.09
/proc/7527/stat : 7527 (VALCSP) R 7525 7527 6181 0 -1 4194304 7078 0 0 0 6 3 0 0 20 0 1 0 180765729 30179328 7056 18446744073709551615 134512640 134548440 4294956736 18446744073709551615 134530955 0 0 4096 0 0 0 0 17 1 0 0
/proc/7527/statm: 7368 7056 64 8 0 7040 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 29472
[startup+0.512848 s]
/proc/loadavg: 2.03 2.01 1.93 3/73 7528
/proc/meminfo: memFree=820224/2055920 swapFree=4184712/4192956
[pid=7527] ppid=7525 vsize=29472 CPUtime=0.5
/proc/7527/stat : 7527 (VALCSP) R 7525 7527 6181 0 -1 4194304 7078 0 0 0 47 3 0 0 23 0 1 0 180765729 30179328 7056 18446744073709551615 134512640 134548440 4294956736 18446744073709551615 134530960 0 0 4096 0 0 0 0 17 1 0 0
/proc/7527/statm: 7368 7056 64 8 0 7040 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 29472
[startup+1.33395 s]
/proc/loadavg: 2.03 2.01 1.93 3/73 7528
/proc/meminfo: memFree=792192/2055920 swapFree=4184712/4192956
[pid=7527] ppid=7525 vsize=29472 CPUtime=1.31
/proc/7527/stat : 7527 (VALCSP) R 7525 7527 6181 0 -1 4194304 7078 0 0 0 128 3 0 0 25 0 1 0 180765729 30179328 7056 18446744073709551615 134512640 134548440 4294956736 18446744073709551615 134530955 0 0 4096 0 0 0 0 17 1 0 0
/proc/7527/statm: 7368 7056 64 8 0 7040 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 29472
[startup+2.97614 s]
/proc/loadavg: 2.03 2.01 1.93 3/73 7528
/proc/meminfo: memFree=792192/2055920 swapFree=4184712/4192956
[pid=7527] ppid=7525 vsize=29472 CPUtime=2.94
/proc/7527/stat : 7527 (VALCSP) R 7525 7527 6181 0 -1 4194304 7078 0 0 0 291 3 0 0 25 0 1 0 180765729 30179328 7056 18446744073709551615 134512640 134548440 4294956736 18446744073709551615 134530192 0 0 4096 0 0 0 0 17 1 0 0
/proc/7527/statm: 7368 7056 64 8 0 7040 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 29472
[startup+6.25554 s]
/proc/loadavg: 2.03 2.01 1.93 3/73 7528
/proc/meminfo: memFree=781952/2055920 swapFree=4184712/4192956
[pid=7527] ppid=7525 vsize=50268 CPUtime=6.19
/proc/7527/stat : 7527 (VALCSP) R 7525 7527 6181 0 -1 4194304 12305 0 0 0 614 5 0 0 25 0 1 0 180765729 51474432 12283 18446744073709551615 134512640 134548440 4294956736 18446744073709551615 134530955 0 0 4096 0 0 0 0 17 1 0 0
/proc/7527/statm: 12567 12283 64 8 0 12239 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 50268
[startup+12.7173 s]
/proc/loadavg: 2.03 2.01 1.93 3/73 7528
/proc/meminfo: memFree=760448/2055920 swapFree=4184712/4192956
[pid=7527] ppid=7525 vsize=61064 CPUtime=12.61
/proc/7527/stat : 7527 (VALCSP) R 7525 7527 6181 0 -1 4194304 14999 0 0 0 1255 6 0 0 25 0 1 0 180765729 62529536 14977 18446744073709551615 134512640 134548440 4294956736 18446744073709551615 134530955 0 0 4096 0 0 0 0 17 1 0 0
/proc/7527/statm: 15266 14977 64 8 0 14938 0
Current children cumulated CPU time (s) 12.61
Current children cumulated vsize (KiB) 61064
[startup+25.5268 s]
/proc/loadavg: 2.02 2.01 1.93 3/73 7528
/proc/meminfo: memFree=718528/2055920 swapFree=4184712/4192956
[pid=7527] ppid=7525 vsize=103052 CPUtime=25.32
/proc/7527/stat : 7527 (VALCSP) R 7525 7527 6181 0 -1 4194304 25491 0 0 0 2521 11 0 0 25 0 1 0 180765729 105525248 25469 18446744073709551615 134512640 134548440 4294956736 18446744073709551615 134530945 0 0 4096 0 0 0 0 17 1 0 0
/proc/7527/statm: 25763 25469 64 8 0 25435 0
Current children cumulated CPU time (s) 25.32
Current children cumulated vsize (KiB) 103052
[startup+51.1588 s]
/proc/loadavg: 2.01 2.01 1.93 3/73 7528
/proc/meminfo: memFree=644416/2055920 swapFree=4184712/4192956
[pid=7527] ppid=7525 vsize=187660 CPUtime=50.76
/proc/7527/stat : 7527 (VALCSP) R 7525 7527 6181 0 -1 4194304 46646 0 0 0 5056 20 0 0 25 0 1 0 180765729 192163840 46624 18446744073709551615 134512640 134548440 4294956736 18446744073709551615 134530960 0 0 4096 0 0 0 0 17 1 0 0
/proc/7527/statm: 46915 46624 64 8 0 46587 0
Current children cumulated CPU time (s) 50.76
Current children cumulated vsize (KiB) 187660
[startup+102.428 s]
/proc/loadavg: 1.93 1.99 1.93 3/81 7601
/proc/meminfo: memFree=445384/2055920 swapFree=4184712/4192956
[pid=7527] ppid=7525 vsize=346960 CPUtime=101.73
/proc/7527/stat : 7527 (VALCSP) R 7525 7527 6181 0 -1 4194304 86452 0 0 0 10134 39 0 0 25 0 1 0 180765729 355287040 86430 18446744073709551615 134512640 134548440 4294956736 18446744073709551615 134530955 0 0 4096 0 0 0 0 17 0 0 0
/proc/7527/statm: 86740 86430 64 8 0 86412 0
Current children cumulated CPU time (s) 101.73
Current children cumulated vsize (KiB) 346960
[startup+162.531 s]
/proc/loadavg: 1.66 1.92 1.90 2/65 7688
/proc/meminfo: memFree=333008/2055920 swapFree=4184712/4192956
[pid=7527] ppid=7525 vsize=537048 CPUtime=161.77
/proc/7527/stat : 7527 (VALCSP) R 7525 7527 6181 0 -1 4194304 133985 0 0 0 16118 59 0 0 25 0 1 0 180765729 549937152 133963 18446744073709551615 134512640 134548440 4294956736 18446744073709551615 134530955 0 0 4096 0 0 0 0 17 0 0 0
/proc/7527/statm: 134262 133963 64 8 0 133934 0
Current children cumulated CPU time (s) 161.77
Current children cumulated vsize (KiB) 537048
[startup+222.563 s]
/proc/loadavg: 1.24 1.75 1.85 2/65 7688
/proc/meminfo: memFree=135520/2055920 swapFree=4184712/4192956
[pid=7527] ppid=7525 vsize=734248 CPUtime=221.79
/proc/7527/stat : 7527 (VALCSP) R 7525 7527 6181 0 -1 4194304 183288 0 0 0 22100 79 0 0 25 0 1 0 180765729 751869952 183266 18446744073709551615 134512640 134548440 4294956736 18446744073709551615 134530960 0 0 4096 0 0 0 0 17 0 0 0
/proc/7527/statm: 183562 183266 64 8 0 183234 0
Current children cumulated CPU time (s) 221.79
Current children cumulated vsize (KiB) 734248
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+280.65 s]
/proc/loadavg: 1.09 1.61 1.79 2/65 7688
/proc/meminfo: memFree=15136/2055920 swapFree=4184712/4192956
[pid=7527] ppid=7525 vsize=924036 CPUtime=279.86
/proc/7527/stat : 7527 (VALCSP) R 7525 7527 6181 0 -1 4194304 230744 0 0 0 27887 99 0 0 25 0 1 0 180765729 946212864 230722 18446744073709551615 134512640 134548440 4294956736 18446744073709551615 134530955 0 0 4096 0 0 0 0 17 0 0 0
/proc/7527/statm: 231009 230722 64 8 0 230681 0
Current children cumulated CPU time (s) 279.86
Current children cumulated vsize (KiB) 924036
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child ended because it received signal 15 (SIGTERM)
Real time (s): 280.795
CPU time (s): 280.01
CPU user time (s): 278.878
CPU system time (s): 1.13283
CPU usage (%): 99.7206
Max. virtual memory (cumulated for all children) (KiB): 924036
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 278.878
system time used= 1.13283
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 230744
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= 2572
runsolver used 0.275958 s user time and 0.768883 s system time
The end
Begin job on node35 on Tue Jan 9 06:22:01 UTC 2007
IDJOB= 232620
IDBENCH= 6538
FILE ID= node35/232620-1168323721
PBS_JOBID= 3502785
Free space on /tmp= 66559 MiB
BENCH NAME= HOME/pub/bench/CPAI06/taillard/js-taillard-20/js-taillard-20-105-1.xml
COMMAND LINE= /tmp/evaluation/232620-1168323721/VALCSP /tmp/evaluation/232620-1168323721/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node35/watcher-232620-1168323721 -o ROOT/results/node35/solver-232620-1168323721 -C 1800 -M 900 /tmp/evaluation/232620-1168323721/VALCSP /tmp/evaluation/232620-1168323721/unknown.xml
META MD5SUM SOLVER= 6fc756be3a7e45a17a81a19ce431bc48
MD5SUM BENCH= ab07e163281424af8d5ceae6e2460409
RANDOM SEED= 398949225
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.234
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.234
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: 820704 kB
Buffers: 10336 kB
Cached: 1114624 kB
SwapCached: 2140 kB
Active: 606244 kB
Inactive: 573908 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 820704 kB
SwapTotal: 4192956 kB
SwapFree: 4184712 kB
Dirty: 632 kB
Writeback: 0 kB
Mapped: 65472 kB
Slab: 40484 kB
Committed_AS: 4007096 kB
PageTables: 1820 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= 66562 MiB
End job on node35 on Tue Jan 9 06:26:42 UTC 2007