runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node16/watcher-196523-1168123845 -o ROOT/results/node16/solver-196523-1168123845 -C 1800 -M 900 /tmp/evaluation/196523-1168123845/VALCSP /tmp/evaluation/196523-1168123845/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.92 2.08 2.06 3/87 3285
/proc/meminfo: memFree=1576904/2055920 swapFree=4191880/4192956
[pid=3284] ppid=3282 vsize=1384 CPUtime=0
/proc/3284/stat : 3284 (VALCSP) R 3282 3284 3229 0 -1 4194304 73 0 0 0 0 0 0 0 25 0 1 0 160779308 1417216 57 18446744073709551615 134512640 134548440 4294956720 18446744073709551615 7207700 0 0 4096 0 0 0 0 17 1 0 0
/proc/3284/statm: 346 57 46 8 0 6 0
[startup+0.103615 s]
/proc/loadavg: 1.92 2.08 2.06 3/87 3285
/proc/meminfo: memFree=1576904/2055920 swapFree=4191880/4192956
[pid=3284] ppid=3282 vsize=12768 CPUtime=0.08
/proc/3284/stat : 3284 (VALCSP) R 3282 3284 3229 0 -1 4194304 2895 0 0 0 7 1 0 0 25 0 1 0 160779308 13074432 2873 18446744073709551615 134512640 134548440 4294956720 18446744073709551615 134530305 0 0 4096 0 0 0 0 17 1 0 0
/proc/3284/statm: 3192 2873 65 8 0 2864 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 12768
[startup+0.511529 s]
/proc/loadavg: 1.92 2.08 2.06 3/87 3285
/proc/meminfo: memFree=1576904/2055920 swapFree=4191880/4192956
[pid=3284] ppid=3282 vsize=16992 CPUtime=0.5
/proc/3284/stat : 3284 (VALCSP) R 3282 3284 3229 0 -1 4194304 3932 0 0 0 48 2 0 0 25 0 1 0 160779308 17399808 3910 18446744073709551615 134512640 134548440 4294956720 18446744073709551615 134530207 0 0 4096 0 0 0 0 17 1 0 0
/proc/3284/statm: 4248 3910 65 8 0 3920 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 16992
[startup+1.33238 s]
/proc/loadavg: 1.92 2.08 2.06 3/87 3285
/proc/meminfo: memFree=1554376/2055920 swapFree=4191880/4192956
[pid=3284] ppid=3282 vsize=25968 CPUtime=1.31
/proc/3284/stat : 3284 (VALCSP) R 3282 3284 3229 0 -1 4194304 6199 0 0 0 128 3 0 0 25 0 1 0 160779308 26591232 6177 18446744073709551615 134512640 134548440 4294956720 18446744073709551615 134530948 0 0 4096 0 0 0 0 17 1 0 0
/proc/3284/statm: 6492 6177 65 8 0 6164 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 25968
[startup+2.97009 s]
/proc/loadavg: 1.92 2.08 2.06 3/87 3285
/proc/meminfo: memFree=1542664/2055920 swapFree=4191880/4192956
[pid=3284] ppid=3282 vsize=43128 CPUtime=2.94
/proc/3284/stat : 3284 (VALCSP) R 3282 3284 3229 0 -1 4194304 10474 0 0 0 288 6 0 0 25 0 1 0 160779308 44163072 10452 18446744073709551615 134512640 134548440 4294956720 18446744073709551615 134530305 0 0 4096 0 0 0 0 17 1 0 0
/proc/3284/statm: 10782 10452 65 8 0 10454 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 43128
[startup+6.26049 s]
/proc/loadavg: 1.93 2.08 2.06 3/87 3285
/proc/meminfo: memFree=1505608/2055920 swapFree=4191880/4192956
[pid=3284] ppid=3282 vsize=80220 CPUtime=6.22
/proc/3284/stat : 3284 (VALCSP) R 3282 3284 3229 0 -1 4194304 19758 0 0 0 610 12 0 0 25 0 1 0 160779308 82145280 19736 18446744073709551615 134512640 134548440 4294956720 18446744073709551615 134530955 0 0 4096 0 0 0 0 17 1 0 0
/proc/3284/statm: 20055 19736 65 8 0 19727 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 80220
[startup+12.7163 s]
/proc/loadavg: 1.93 2.08 2.06 3/87 3285
/proc/meminfo: memFree=1433232/2055920 swapFree=4191880/4192956
[pid=3284] ppid=3282 vsize=147804 CPUtime=12.64
/proc/3284/stat : 3284 (VALCSP) R 3282 3284 3229 0 -1 4194304 36643 0 0 0 1245 19 0 0 25 0 1 0 160779308 151351296 36621 18446744073709551615 134512640 134548440 4294956720 18446744073709551615 134530283 0 0 4096 0 0 0 0 17 1 0 0
/proc/3284/statm: 36951 36621 65 8 0 36623 0
Current children cumulated CPU time (s) 12.64
Current children cumulated vsize (KiB) 147804
[startup+25.542 s]
/proc/loadavg: 1.95 2.07 2.06 3/87 3285
/proc/meminfo: memFree=1304208/2055920 swapFree=4191880/4192956
[pid=3284] ppid=3282 vsize=280068 CPUtime=25.42
/proc/3284/stat : 3284 (VALCSP) R 3282 3284 3229 0 -1 4194304 69730 0 0 0 2506 36 0 0 25 0 1 0 160779308 286789632 69708 18446744073709551615 134512640 134548440 4294956720 18446744073709551615 134530945 0 0 4096 0 0 0 0 17 1 0 0
/proc/3284/statm: 70017 69708 65 8 0 69689 0
Current children cumulated CPU time (s) 25.42
Current children cumulated vsize (KiB) 280068
[startup+51.1883 s]
/proc/loadavg: 2.03 2.08 2.06 3/87 3285
/proc/meminfo: memFree=1033616/2055920 swapFree=4191880/4192956
[pid=3284] ppid=3282 vsize=546340 CPUtime=50.95
/proc/3284/stat : 3284 (VALCSP) R 3282 3284 3229 0 -1 4194304 136296 0 0 0 5027 68 0 0 25 0 1 0 160779308 559452160 136274 18446744073709551615 134512640 134548440 4294956720 18446744073709551615 134530955 0 0 4096 0 0 0 0 17 1 0 0
/proc/3284/statm: 136585 136274 65 8 0 136257 0
Current children cumulated CPU time (s) 50.95
Current children cumulated vsize (KiB) 546340
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+87.1908 s]
/proc/loadavg: 2.08 2.09 2.07 3/87 3285
/proc/meminfo: memFree=651600/2055920 swapFree=4191880/4192956
[pid=3284] ppid=3282 vsize=921820 CPUtime=86.79
/proc/3284/stat : 3284 (VALCSP) R 3282 3284 3229 0 -1 4194304 230188 0 0 0 8564 115 0 0 25 0 1 0 160779308 943943680 230166 18446744073709551615 134512640 134548440 4294956720 18446744073709551615 134530198 0 0 4096 0 0 0 0 17 1 0 0
/proc/3284/statm: 230455 230166 65 8 0 230127 0
Current children cumulated CPU time (s) 86.79
Current children cumulated vsize (KiB) 921820
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child ended because it received signal 15 (SIGTERM)
Real time (s): 87.3461
CPU time (s): 86.9488
CPU user time (s): 85.643
CPU system time (s): 1.3058
CPU usage (%): 99.5452
Max. virtual memory (cumulated for all children) (KiB): 921820
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 85.643
system time used= 1.3058
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 230188
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= 1023
runsolver used 0.093985 s user time and 0.303953 s system time
The end
Begin job on node16 on Sat Jan 6 22:50:45 UTC 2007
IDJOB= 196523
IDBENCH= 3356
FILE ID= node16/196523-1168123845
PBS_JOBID= 3477177
Free space on /tmp= 66482 MiB
BENCH NAME= HOME/pub/bench/CPAI06/fapp/fapp06-10/fapp09/fapp09-0800-1.xml
COMMAND LINE= /tmp/evaluation/196523-1168123845/VALCSP /tmp/evaluation/196523-1168123845/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node16/watcher-196523-1168123845 -o ROOT/results/node16/solver-196523-1168123845 -C 1800 -M 900 /tmp/evaluation/196523-1168123845/VALCSP /tmp/evaluation/196523-1168123845/unknown.xml
META MD5SUM SOLVER= 6fc756be3a7e45a17a81a19ce431bc48
MD5SUM BENCH= 1db5257978eff61c65ce0c3f9cca118b
RANDOM SEED= 375238643
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.220
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.220
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: 1577384 kB
Buffers: 45612 kB
Cached: 123872 kB
SwapCached: 448 kB
Active: 337624 kB
Inactive: 84864 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1577384 kB
SwapTotal: 4192956 kB
SwapFree: 4191880 kB
Dirty: 1480 kB
Writeback: 0 kB
Mapped: 272324 kB
Slab: 40444 kB
Committed_AS: 4288752 kB
PageTables: 2784 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= 66482 MiB
End job on node16 on Sat Jan 6 22:52:12 UTC 2007