Trace number 2068293

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
pcs 0.3.2? (MO) 349.042 352.353

General information on the benchmark

Namecsp/pseudo/routing/
normalized-s4-4-3-5.xml
MD5SUMef668cf95e7f035a543c0de302ca244b
Bench CategoryN-ARY-INT (n-ary constraints in intension)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark3.75443
Satisfiable
(Un)Satisfiability was proved
Number of variables720
Number of constraints2168
Maximum constraint arity30
Maximum domain size2
Number of constraints which are defined in extension0
Number of constraints which are defined in intension2168
Global constraints used (with number of constraints)

Solver Data 

0.00/0.01	c has operations which may create big domains
0.00/0.01	c big-domain mode
0.00/0.02	c Seed is 2110941125
0.00/0.02	c Constructing HOME/instance-2068293-1247706391.xml  with 7872 constraints
0.08/0.18	c Solving

Verifier Data 

ERROR: Unexpected answer ! ('s SATISFIABLE'/'s UNSATISFIABLE' expected)
Got answer: <no 's ' line found>

Watcher Data 

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2068293-1247706391/watcher-2068293-1247706391 -o /tmp/evaluation-result-2068293-1247706391/solver-2068293-1247706391 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 2110941125 HOME/instance-2068293-1247706391.xml 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 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


[startup+0 s]
/proc/loadavg: 2.00 2.04 2.06 4/82 13300
/proc/meminfo: memFree=929680/2055920 swapFree=4192812/4192956
[pid=13300] ppid=13298 vsize=18576 CPUtime=0
/proc/13300/stat : 13300 (runsolver) R 13298 13300 11922 0 -1 4194368 15 0 0 0 0 0 0 0 20 0 1 0 57330818 19021824 284 996147200 4194304 4302564 548682068496 18446744073709551615 209135922471 0 0 4096 24578 0 0 0 17 1 0 0
/proc/13300/statm: 4644 284 249 26 0 2626 0

[startup+0.0831881 s]
/proc/loadavg: 2.00 2.04 2.06 4/82 13300
/proc/meminfo: memFree=929680/2055920 swapFree=4192812/4192956
[pid=13300] ppid=13298 vsize=5508 CPUtime=0.06
/proc/13300/stat : 13300 (pcs.big) R 13298 13300 11922 0 -1 4194304 1058 826 0 0 6 0 0 0 24 0 1 0 57330818 5640192 667 996147200 134512640 135215973 4294956304 18446744073709551615 12390979 0 0 4096 0 0 0 0 17 1 0 0
/proc/13300/statm: 1377 667 385 171 0 302 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 5508

[startup+0.102189 s]
/proc/loadavg: 2.00 2.04 2.06 4/82 13300
/proc/meminfo: memFree=929680/2055920 swapFree=4192812/4192956
[pid=13300] ppid=13298 vsize=5868 CPUtime=0.08
/proc/13300/stat : 13300 (pcs.big) R 13298 13300 11922 0 -1 4194304 1123 826 0 0 8 0 0 0 24 0 1 0 57330818 6008832 732 996147200 134512640 135215973 4294956304 18446744073709551615 12422783 0 0 4096 0 0 0 0 17 1 0 0
/proc/13300/statm: 1467 732 385 171 0 392 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 5868

[startup+0.301213 s]
/proc/loadavg: 2.00 2.04 2.06 4/82 13300
/proc/meminfo: memFree=929680/2055920 swapFree=4192812/4192956
[pid=13300] ppid=13298 vsize=9040 CPUtime=0.28
/proc/13300/stat : 13300 (pcs.big) R 13298 13300 11922 0 -1 4194304 2317 826 0 0 27 1 0 0 25 0 1 0 57330818 9256960 1557 996147200 134512640 135215973 4294956304 18446744073709551615 134600035 0 0 4096 0 0 0 0 17 1 0 0
/proc/13300/statm: 2260 1557 409 171 0 1185 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 9040

[startup+0.701245 s]
/proc/loadavg: 2.00 2.04 2.06 4/82 13300
/proc/meminfo: memFree=929680/2055920 swapFree=4192812/4192956
[pid=13300] ppid=13298 vsize=10808 CPUtime=0.67
/proc/13300/stat : 13300 (pcs.big) R 13298 13300 11922 0 -1 4194304 2804 826 0 0 66 1 0 0 25 0 1 0 57330818 11067392 1835 996147200 134512640 135215973 4294956304 18446744073709551615 134592155 0 0 4096 0 0 0 0 17 1 0 0
/proc/13300/statm: 2702 1835 409 171 0 1627 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 10808

[startup+1.50232 s]
/proc/loadavg: 2.00 2.04 2.06 3/83 13306
/proc/meminfo: memFree=923144/2055920 swapFree=4192812/4192956
[pid=13300] ppid=13298 vsize=13124 CPUtime=1.47
/proc/13300/stat : 13300 (pcs.big) R 13298 13300 11922 0 -1 4194304 3361 826 0 0 146 1 0 0 25 0 1 0 57330818 13438976 2327 996147200 134512640 135215973 4294956304 18446744073709551615 134951421 0 0 4096 0 0 0 0 17 1 0 0
/proc/13300/statm: 3281 2327 409 171 0 2206 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 13124

[startup+3.10146 s]
/proc/loadavg: 2.00 2.04 2.06 3/83 13306
/proc/meminfo: memFree=919816/2055920 swapFree=4192812/4192956
[pid=13300] ppid=13298 vsize=17948 CPUtime=3.04
/proc/13300/stat : 13300 (pcs.big) R 13298 13300 11922 0 -1 4194304 4592 826 0 0 303 1 0 0 25 0 1 0 57330818 18378752 3525 996147200 134512640 135215973 4294956304 18446744073709551615 134590633 0 0 4096 0 0 0 0 17 1 0 0
/proc/13300/statm: 4487 3525 409 171 0 3412 0
Current children cumulated CPU time (s) 3.04
Current children cumulated vsize (KiB) 17948

[startup+6.30174 s]
/proc/loadavg: 2.00 2.04 2.06 3/83 13306
/proc/meminfo: memFree=910536/2055920 swapFree=4192812/4192956
[pid=13300] ppid=13298 vsize=26504 CPUtime=6.22
/proc/13300/stat : 13300 (pcs.big) R 13298 13300 11922 0 -1 4194304 6724 826 0 0 619 3 0 0 25 0 1 0 57330818 27140096 5657 996147200 134512640 135215973 4294956304 18446744073709551615 135097874 0 0 4096 0 0 0 0 17 1 0 0
/proc/13300/statm: 6626 5657 409 171 0 5551 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 26504

[startup+12.7013 s]
/proc/loadavg: 2.00 2.04 2.06 3/83 13306
/proc/meminfo: memFree=891336/2055920 swapFree=4192812/4192956
[pid=13300] ppid=13298 vsize=45184 CPUtime=12.55
/proc/13300/stat : 13300 (pcs.big) R 13298 13300 11922 0 -1 4194304 11460 826 0 0 1250 5 0 0 25 0 1 0 57330818 46268416 10328 996147200 134512640 135215973 4294956304 18446744073709551615 134523588 0 0 4096 0 0 0 0 17 1 0 0
/proc/13300/statm: 11296 10328 409 171 0 10221 0
Current children cumulated CPU time (s) 12.55
Current children cumulated vsize (KiB) 45184

[startup+25.5014 s]
/proc/loadavg: 2.00 2.04 2.06 3/83 13306
/proc/meminfo: memFree=861512/2055920 swapFree=4192812/4192956
[pid=13300] ppid=13298 vsize=73676 CPUtime=25.24
/proc/13300/stat : 13300 (pcs.big) R 13298 13300 11922 0 -1 4194304 18631 826 0 0 2514 10 0 0 25 0 1 0 57330818 75444224 17499 996147200 134512640 135215973 4294956304 18446744073709551615 134532661 0 0 4096 0 0 0 0 17 1 0 0
/proc/13300/statm: 18419 17499 409 171 0 17344 0
Current children cumulated CPU time (s) 25.24
Current children cumulated vsize (KiB) 73676

[startup+51.1017 s]
/proc/loadavg: 2.00 2.03 2.06 3/83 13306
/proc/meminfo: memFree=793352/2055920 swapFree=4192812/4192956
[pid=13300] ppid=13298 vsize=142904 CPUtime=50.6
/proc/13300/stat : 13300 (pcs.big) R 13298 13300 11922 0 -1 4194304 36113 826 0 0 5041 19 0 0 25 0 1 0 57330818 146333696 34723 996147200 134512640 135215973 4294956304 18446744073709551615 134597613 0 0 4096 0 0 0 0 17 1 0 0
/proc/13300/statm: 35726 34723 409 171 0 34651 0
Current children cumulated CPU time (s) 50.6
Current children cumulated vsize (KiB) 142904

[startup+102.306 s]
/proc/loadavg: 2.00 2.03 2.05 3/83 13306
/proc/meminfo: memFree=660360/2055920 swapFree=4192812/4192956
[pid=13300] ppid=13298 vsize=274768 CPUtime=101.32
/proc/13300/stat : 13300 (pcs.big) R 13298 13300 11922 0 -1 4194304 69738 826 0 0 10096 36 0 0 25 0 1 0 57330818 281362432 67578 996147200 134512640 135215973 4294956304 18446744073709551615 134590633 0 0 4096 0 0 0 0 17 1 0 0
/proc/13300/statm: 68692 67578 409 171 0 67617 0
Current children cumulated CPU time (s) 101.32
Current children cumulated vsize (KiB) 274768

[startup+162.302 s]
/proc/loadavg: 2.00 2.02 2.05 3/83 13306
/proc/meminfo: memFree=514824/2055920 swapFree=4192812/4192956
[pid=13300] ppid=13298 vsize=421588 CPUtime=160.76
/proc/13300/stat : 13300 (pcs.big) R 13298 13300 11922 0 -1 4194304 106622 826 0 0 16020 56 0 0 25 0 1 0 57330818 431706112 104205 996147200 134512640 135215973 4294956304 18446744073709551615 134648399 0 0 4096 0 0 0 0 17 1 0 0
/proc/13300/statm: 105397 104205 409 171 0 104322 0
Current children cumulated CPU time (s) 160.76
Current children cumulated vsize (KiB) 421588

[startup+222.302 s]
/proc/loadavg: 2.00 2.02 2.04 3/83 13306
/proc/meminfo: memFree=357512/2055920 swapFree=4192812/4192956
[pid=13300] ppid=13298 vsize=577688 CPUtime=220.19
/proc/13300/stat : 13300 (pcs.big) R 13298 13300 11922 0 -1 4194304 146622 826 0 0 21943 76 0 0 25 0 1 0 57330818 591552512 143180 996147200 134512640 135215973 4294956304 18446744073709551615 134679387 0 0 4096 0 0 0 0 17 1 0 0
/proc/13300/statm: 144422 143180 409 171 0 143347 0
Current children cumulated CPU time (s) 220.19
Current children cumulated vsize (KiB) 577688

[startup+282.301 s]
/proc/loadavg: 2.00 2.01 2.04 3/83 13306
/proc/meminfo: memFree=198408/2055920 swapFree=4192812/4192956
[pid=13300] ppid=13298 vsize=738564 CPUtime=279.63
/proc/13300/stat : 13300 (pcs.big) R 13298 13300 11922 0 -1 4194304 187241 826 0 0 27869 94 0 0 25 0 1 0 57330818 756289536 183286 996147200 134512640 135215973 4294956304 18446744073709551615 134587239 0 0 4096 0 0 0 0 17 1 0 0
/proc/13300/statm: 184641 183286 409 171 0 183566 0
Current children cumulated CPU time (s) 279.63
Current children cumulated vsize (KiB) 738564

[startup+342.302 s]
/proc/loadavg: 2.00 2.00 2.03 3/83 13306
/proc/meminfo: memFree=39120/2055920 swapFree=4192812/4192956
[pid=13300] ppid=13298 vsize=895760 CPUtime=339.07
/proc/13300/stat : 13300 (pcs.big) R 13298 13300 11922 0 -1 4194304 226662 826 0 0 33795 112 0 0 25 0 1 0 57330818 917258240 222707 996147200 134512640 135215973 4294956304 18446744073709551615 134590944 0 0 4096 0 0 0 0 17 1 0 0
/proc/13300/statm: 223940 222707 409 171 0 222865 0
Current children cumulated CPU time (s) 339.07
Current children cumulated vsize (KiB) 895760



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+352.202 s]
/proc/loadavg: 2.00 2.00 2.03 3/83 13306
/proc/meminfo: memFree=15312/2055920 swapFree=4192812/4192956
[pid=13300] ppid=13298 vsize=921636 CPUtime=348.87
/proc/13300/stat : 13300 (pcs.big) R 13298 13300 11922 0 -1 4194304 233167 826 0 0 34772 115 0 0 25 0 1 0 57330818 943755264 229212 996147200 134512640 135215973 4294956304 18446744073709551615 134588292 0 0 4096 0 0 0 0 17 1 0 0
/proc/13300/statm: 230409 229212 409 171 0 229334 0
Current children cumulated CPU time (s) 348.87
Current children cumulated vsize (KiB) 921636

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Solver just ended. Dumping a history of the last processes samples

[startup+352.308 s]
/proc/loadavg: 2.00 2.00 2.03 3/83 13306
/proc/meminfo: memFree=15312/2055920 swapFree=4192812/4192956
[pid=13300] ppid=13298 vsize=0 CPUtime=348.97
/proc/13300/stat : 13300 (pcs.big) R 13298 13300 11922 0 -1 4195332 233167 826 0 0 34772 125 0 0 25 0 1 0 57330818 0 0 996147200 0 0 0 0 0 0 0 4096 0 0 0 0 17 1 0 0
/proc/13300/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 348.97
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 352.353
CPU time (s): 349.042
CPU user time (s): 347.732
CPU system time (s): 1.3098
CPU usage (%): 99.0603
Max. virtual memory (cumulated for all children) (KiB): 921636

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 347.732
system time used= 1.3098
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 233993
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= 22
involuntary context switches= 14143

runsolver used 0.508922 second user time and 1.10583 second system time

The end

Launcher Data 

Begin job on node41 at 2009-07-16 03:06:31
IDJOB=2068293
IDBENCH=54848
IDSOLVER=733
FILE ID=node41/2068293-1247706391
PBS_JOBID= 9521229
Free space on /tmp= 65792 MiB

SOLVER NAME= pcs 0.2
BENCH NAME= CPAI08/csp/pseudo/routing/normalized-s4-4-3-5.xml
COMMAND LINE= HOME/pcssolve -s RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2068293-1247706391/watcher-2068293-1247706391 -o /tmp/evaluation-result-2068293-1247706391/solver-2068293-1247706391 -C 1800 -W 2000 -M 900  HOME/pcssolve -s 2110941125 HOME/instance-2068293-1247706391.xml

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MAX NB THREAD= 0

MD5SUM BENCH= ef668cf95e7f035a543c0de302ca244b
RANDOM SEED=2110941125

node41.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005

/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.212
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.212
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:        930096 kB
Buffers:         59412 kB
Cached:         267940 kB
SwapCached:          0 kB
Active:         748628 kB
Inactive:       299864 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:        930096 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            2040 kB
Writeback:           0 kB
Mapped:         741620 kB
Slab:            60872 kB
Committed_AS:  1189092 kB
PageTables:       3260 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= 65792 MiB
End job on node41 at 2009-07-16 03:12:25