runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node17/watcher-207481-1168181955 -o ROOT/results/node17/solver-207481-1168181955 -C 1800 -M 900 /tmp/evaluation/207481-1168181955/VALCSP /tmp/evaluation/207481-1168181955/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.90 1.99 1.99 3/86 20201
/proc/meminfo: memFree=1602712/2055920 swapFree=4192812/4192956
[pid=20200] ppid=20198 vsize=140 CPUtime=0
/proc/20200/stat : 20200 (VALCSP) R 20198 20200 20145 0 -1 4194304 38 0 0 0 0 0 0 0 25 0 1 0 166590407 143360 23 18446744073709551615 134512640 134548440 4294956720 18446744073709551615 2859812 0 0 4096 0 0 0 0 17 1 0 0
/proc/20200/statm: 35 23 18 8 0 2 0
[startup+0.10317 s]
/proc/loadavg: 1.90 1.99 1.99 3/86 20201
/proc/meminfo: memFree=1602712/2055920 swapFree=4192812/4192956
[pid=20200] ppid=20198 vsize=26612 CPUtime=0.09
/proc/20200/stat : 20200 (VALCSP) R 20198 20200 20145 0 -1 4194304 6285 0 0 0 7 2 0 0 25 0 1 0 166590407 27250688 6263 18446744073709551615 134512640 134548440 4294956720 18446744073709551615 134530258 0 0 4096 0 0 0 0 17 1 0 0
/proc/20200/statm: 6653 6263 65 8 0 6325 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 26612
[startup+0.515202 s]
/proc/loadavg: 1.90 1.99 1.99 3/86 20201
/proc/meminfo: memFree=1602712/2055920 swapFree=4192812/4192956
[pid=20200] ppid=20198 vsize=30704 CPUtime=0.5
/proc/20200/stat : 20200 (VALCSP) R 20198 20200 20145 0 -1 4194304 7330 0 0 0 48 2 0 0 25 0 1 0 166590407 31440896 7308 18446744073709551615 134512640 134548440 4294956720 18446744073709551615 134530960 0 0 4096 0 0 0 0 17 1 0 0
/proc/20200/statm: 7676 7308 65 8 0 7348 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 30704
[startup+1.33929 s]
/proc/loadavg: 1.90 1.99 1.99 3/86 20201
/proc/meminfo: memFree=1568280/2055920 swapFree=4192812/4192956
[pid=20200] ppid=20198 vsize=38096 CPUtime=1.31
/proc/20200/stat : 20200 (VALCSP) R 20198 20200 20145 0 -1 4194304 9165 0 0 0 128 3 0 0 25 0 1 0 166590407 39010304 9143 18446744073709551615 134512640 134548440 4294956720 18446744073709551615 134530957 0 0 4096 0 0 0 0 17 1 0 0
/proc/20200/statm: 9524 9143 65 8 0 9196 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 38096
[startup+2.97646 s]
/proc/loadavg: 1.90 1.99 1.99 3/86 20201
/proc/meminfo: memFree=1556696/2055920 swapFree=4192812/4192956
[pid=20200] ppid=20198 vsize=55652 CPUtime=2.94
/proc/20200/stat : 20200 (VALCSP) R 20198 20200 20145 0 -1 4194304 13546 0 0 0 289 5 0 0 25 0 1 0 166590407 56987648 13524 18446744073709551615 134512640 134548440 4294956720 18446744073709551615 134530945 0 0 4096 0 0 0 0 17 1 0 0
/proc/20200/statm: 13913 13524 65 8 0 13585 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 55652
[startup+6.2558 s]
/proc/loadavg: 1.91 1.99 1.99 3/86 20201
/proc/meminfo: memFree=1521560/2055920 swapFree=4192812/4192956
[pid=20200] ppid=20198 vsize=89312 CPUtime=6.19
/proc/20200/stat : 20200 (VALCSP) R 20198 20200 20145 0 -1 4194304 21987 0 0 0 610 9 0 0 25 0 1 0 166590407 91455488 21965 18446744073709551615 134512640 134548440 4294956720 18446744073709551615 134530267 0 0 4096 0 0 0 0 17 1 0 0
/proc/20200/statm: 22328 21965 65 8 0 22000 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 89312
[startup+12.7205 s]
/proc/loadavg: 1.92 1.99 1.99 3/86 20201
/proc/meminfo: memFree=1454552/2055920 swapFree=4192812/4192956
[pid=20200] ppid=20198 vsize=153068 CPUtime=12.59
/proc/20200/stat : 20200 (VALCSP) R 20198 20200 20145 0 -1 4194304 37911 0 0 0 1244 15 0 0 25 0 1 0 166590407 156741632 37889 18446744073709551615 134512640 134548440 4294956720 18446744073709551615 134530955 0 0 4096 0 0 0 0 17 1 0 0
/proc/20200/statm: 38267 37889 65 8 0 37939 0
Current children cumulated CPU time (s) 12.59
Current children cumulated vsize (KiB) 153068
[startup+25.5358 s]
/proc/loadavg: 1.94 1.99 1.99 3/86 20201
/proc/meminfo: memFree=1331864/2055920 swapFree=4192812/4192956
[pid=20200] ppid=20198 vsize=279392 CPUtime=25.29
/proc/20200/stat : 20200 (VALCSP) R 20198 20200 20145 0 -1 4194304 69486 0 0 0 2502 27 0 0 25 0 1 0 166590407 286097408 69464 18446744073709551615 134512640 134548440 4294956720 18446744073709551615 134530229 0 0 4096 0 0 0 0 17 1 0 0
/proc/20200/statm: 69848 69464 65 8 0 69520 0
Current children cumulated CPU time (s) 25.29
Current children cumulated vsize (KiB) 279392
[startup+51.1805 s]
/proc/loadavg: 1.96 1.99 1.99 3/86 20201
/proc/meminfo: memFree=1075352/2055920 swapFree=4192812/4192956
[pid=20200] ppid=20198 vsize=532308 CPUtime=50.7
/proc/20200/stat : 20200 (VALCSP) R 20198 20200 20145 0 -1 4194304 132750 0 0 0 5017 53 0 0 25 0 1 0 166590407 545083392 132728 18446744073709551615 134512640 134548440 4294956720 18446744073709551615 134530960 0 0 4096 0 0 0 0 17 1 0 0
/proc/20200/statm: 133077 132728 65 8 0 132749 0
Current children cumulated CPU time (s) 50.7
Current children cumulated vsize (KiB) 532308
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+91.4917 s]
/proc/loadavg: 1.98 1.99 1.99 3/86 20201
/proc/meminfo: memFree=680216/2055920 swapFree=4192812/4192956
[pid=20200] ppid=20198 vsize=922392 CPUtime=90.64
/proc/20200/stat : 20200 (VALCSP) R 20198 20200 20145 0 -1 4194304 230255 0 0 0 8972 92 0 0 25 0 1 0 166590407 944529408 230233 18446744073709551615 134512640 134548440 4294956720 18446744073709551615 134530955 0 0 4096 0 0 0 0 17 1 0 0
/proc/20200/statm: 230598 230233 65 8 0 230270 0
Current children cumulated CPU time (s) 90.64
Current children cumulated vsize (KiB) 922392
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child ended because it received signal 15 (SIGTERM)
Real time (s): 91.6416
CPU time (s): 90.7972
CPU user time (s): 89.7284
CPU system time (s): 1.06884
CPU usage (%): 99.0785
Max. virtual memory (cumulated for all children) (KiB): 922392
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 89.7284
system time used= 1.06884
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 230255
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= 1691
runsolver used 0.144977 s user time and 0.269958 s system time
The end
Begin job on node17 on Sun Jan 7 14:59:16 UTC 2007
IDJOB= 207481
IDBENCH= 4293
FILE ID= node17/207481-1168181955
PBS_JOBID= 3478915
Free space on /tmp= 66321 MiB
BENCH NAME= HOME/pub/bench/CPAI06/fapp/test01-04/test04/test04-1250-7.xml
COMMAND LINE= /tmp/evaluation/207481-1168181955/VALCSP /tmp/evaluation/207481-1168181955/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node17/watcher-207481-1168181955 -o ROOT/results/node17/solver-207481-1168181955 -C 1800 -M 900 /tmp/evaluation/207481-1168181955/VALCSP /tmp/evaluation/207481-1168181955/unknown.xml
META MD5SUM SOLVER= 6fc756be3a7e45a17a81a19ce431bc48
MD5SUM BENCH= a5a2a79608f0cb592c23dd9c76bf8e68
RANDOM SEED= 696914573
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: 1603192 kB
Buffers: 63556 kB
Cached: 237888 kB
SwapCached: 0 kB
Active: 196344 kB
Inactive: 194128 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1603192 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 2792 kB
Writeback: 0 kB
Mapped: 111444 kB
Slab: 47092 kB
Committed_AS: 4453836 kB
PageTables: 2336 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= 66321 MiB
End job on node17 on Sun Jan 7 15:00:48 UTC 2007