Trace number 205606

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, and are wall clock time (not CPU 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
Mistral 2006-12-04? (TO) 1800.03 1817.49

General information on the benchmark

Namefapp/fapp36-40/fapp40/
fapp40-3000-1.xml
MD5SUMe73fbce21894132281af3102ab806d6c
Bench Category2-ARY-INT (binary constraints in intension)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark16.8424
SatisfiableNO
(Un)Satisfiability was provedNO
Number of variables3000
Number of constraints53548
Maximum constraint arity2
Maximum domain size698
Number of constraints which are defined in extension0
Number of constraints which are defined in intension53548
Global constraints used (with number of constraints)

Solver Data (download as text)

0.23	c 
0.23	c Parsing xml file
0.23	c 	domains............... 0.09
0.23	c 	variables.............  0.2
0.31	c 	predicates............    0
0.31	c 	constraints........... 3.93
4.30	c Allocating memory
4.30	c 
4.30	c time limit = -1
4.30	c heuristic = dom/wdeg
4.30	c restart policy = No restart
4.30	c 
4.30	c Solving
4.30	c

Verifier Data (download as text)

ERROR: Unexpected answer ! (SAT/UNSAT expected)
Got answer:

Watcher Data (download as text)

runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node30/watcher-205606-1168167748 -o ROOT/results/node30/solver-205606-1168167748 -C 1800 -M 900 /tmp/evaluation/205606-1168167748/mistral/bin/solver /tmp/evaluation/205606-1168167748/unknown.xml -v 1 

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: 0.62 0.60 1.13 5/100 31540
/proc/meminfo: memFree=1527312/2055920 swapFree=4191880/4192956
[pid=31539] ppid=31537 vsize=18540 CPUtime=0
/proc/31539/stat : 31539 (runsolver) R 31537 31539 30521 0 -1 4194368 16 0 0 0 0 0 0 0 18 0 1 0 165169318 18984960 279 18446744073709551615 4194304 4267372 548682069056 18446744073709551615 264907582759 0 0 4096 24578 0 0 0 17 1 0 0
/proc/31539/statm: 4635 279 244 17 0 2626 0

[startup+0.108457 s]
/proc/loadavg: 0.62 0.60 1.13 5/100 31540
/proc/meminfo: memFree=1527312/2055920 swapFree=4191880/4192956
[pid=31539] ppid=31537 vsize=8648 CPUtime=0.09
/proc/31539/stat : 31539 (solver) R 31537 31539 30521 0 -1 4194304 1004 0 0 0 9 0 0 0 18 0 1 0 165169318 8855552 972 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134805188 0 0 4096 0 0 0 0 17 0 0 0
/proc/31539/statm: 2162 972 694 92 0 506 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 8648

[startup+0.51648 s]
/proc/loadavg: 0.62 0.60 1.13 5/100 31540
/proc/meminfo: memFree=1527312/2055920 swapFree=4191880/4192956
[pid=31539] ppid=31537 vsize=217752 CPUtime=0.49
/proc/31539/stat : 31539 (solver) R 31537 31539 30521 0 -1 4194304 22575 0 0 0 40 9 0 0 21 0 1 0 165169318 222978048 22543 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 7153220 0 0 4096 0 0 0 0 17 0 0 0
/proc/31539/statm: 54438 22543 709 92 0 52782 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 217752

[startup+1.34353 s]
/proc/loadavg: 0.62 0.60 1.13 4/99 31542
/proc/meminfo: memFree=1435160/2055920 swapFree=4191880/4192956
[pid=31539] ppid=31537 vsize=222120 CPUtime=1.3
/proc/31539/stat : 31539 (solver) R 31537 31539 30521 0 -1 4194304 23661 0 0 0 120 10 0 0 25 0 1 0 165169318 227450880 23629 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 4158501234 0 0 4096 0 0 0 0 17 0 0 0
/proc/31539/statm: 55530 23629 709 92 0 53874 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 222120

[startup+2.98964 s]
/proc/loadavg: 0.62 0.60 1.13 3/94 31560
/proc/meminfo: memFree=1429504/2055920 swapFree=4191880/4192956
[pid=31539] ppid=31537 vsize=230908 CPUtime=2.93
/proc/31539/stat : 31539 (solver) R 31537 31539 30521 0 -1 4194304 25885 0 0 0 282 11 0 0 25 0 1 0 165169318 236449792 25820 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 4159420334 0 0 4096 0 0 0 0 17 0 0 0
/proc/31539/statm: 57727 25820 709 92 0 56071 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 230908

[startup+6.27184 s]
/proc/loadavg: 0.73 0.62 1.13 3/94 31560
/proc/meminfo: memFree=1386560/2055920 swapFree=4191880/4192956
[pid=31539] ppid=31537 vsize=267380 CPUtime=6.17
/proc/31539/stat : 31539 (solver) R 31537 31539 30521 0 -1 4194304 35062 0 0 0 601 16 0 0 25 0 1 0 165169318 273797120 34910 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134722032 0 0 4096 0 0 0 0 17 0 0 0
/proc/31539/statm: 66845 34910 717 92 0 65189 0
Current children cumulated CPU time (s) 6.17
Current children cumulated vsize (KiB) 267380

[startup+12.7323 s]
/proc/loadavg: 0.83 0.65 1.14 3/94 31560
/proc/meminfo: memFree=1381200/2055920 swapFree=4191880/4192956
[pid=31539] ppid=31537 vsize=267380 CPUtime=12.58
/proc/31539/stat : 31539 (solver) R 31537 31539 30521 0 -1 4194304 35062 0 0 0 1242 16 0 0 25 0 1 0 165169318 273797120 34910 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134712048 0 0 4096 0 0 0 0 17 0 0 0
/proc/31539/statm: 66845 34910 717 92 0 65189 0
Current children cumulated CPU time (s) 12.58
Current children cumulated vsize (KiB) 267380

[startup+25.5401 s]
/proc/loadavg: 1.09 0.71 1.15 3/94 31560
/proc/meminfo: memFree=1371352/2055920 swapFree=4191880/4192956
[pid=31539] ppid=31537 vsize=267380 CPUtime=25.28
/proc/31539/stat : 31539 (solver) R 31537 31539 30521 0 -1 4194304 35062 0 0 0 2512 16 0 0 25 0 1 0 165169318 273797120 34910 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134711114 0 0 4096 0 0 0 0 17 0 0 0
/proc/31539/statm: 66845 34910 717 92 0 65189 0
Current children cumulated CPU time (s) 25.28
Current children cumulated vsize (KiB) 267380

[startup+51.1797 s]
/proc/loadavg: 1.40 0.81 1.17 3/94 31560
/proc/meminfo: memFree=1350616/2055920 swapFree=4191880/4192956
[pid=31539] ppid=31537 vsize=267380 CPUtime=50.63
/proc/31539/stat : 31539 (solver) R 31537 31539 30521 0 -1 4194304 35062 0 0 0 5047 16 0 0 25 0 1 0 165169318 273797120 34910 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134711286 0 0 4096 0 0 0 0 17 0 0 0
/proc/31539/statm: 66845 34910 717 92 0 65189 0
Current children cumulated CPU time (s) 50.63
Current children cumulated vsize (KiB) 267380

[startup+102.445 s]
/proc/loadavg: 1.74 1.00 1.21 3/94 31560
/proc/meminfo: memFree=1308952/2055920 swapFree=4191880/4192956
[pid=31539] ppid=31537 vsize=267380 CPUtime=101.4
/proc/31539/stat : 31539 (solver) R 31537 31539 30521 0 -1 4194304 35062 0 0 0 10123 17 0 0 25 0 1 0 165169318 273797120 34910 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134710287 0 0 4096 0 0 0 0 17 0 0 0
/proc/31539/statm: 66845 34910 717 92 0 65189 0
Current children cumulated CPU time (s) 101.4
Current children cumulated vsize (KiB) 267380

[startup+162.538 s]
/proc/loadavg: 1.90 1.17 1.26 3/94 31560
/proc/meminfo: memFree=1256984/2055920 swapFree=4191880/4192956
[pid=31539] ppid=31537 vsize=267380 CPUtime=160.94
/proc/31539/stat : 31539 (solver) R 31537 31539 30521 0 -1 4194304 35062 0 0 0 16075 19 0 0 25 0 1 0 165169318 273797120 34910 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134708944 0 0 4096 0 0 0 0 17 0 0 0
/proc/31539/statm: 66845 34910 717 92 0 65189 0
Current children cumulated CPU time (s) 160.94
Current children cumulated vsize (KiB) 267380

[startup+222.626 s]
/proc/loadavg: 1.96 1.32 1.30 3/94 31560
/proc/meminfo: memFree=1201496/2055920 swapFree=4191880/4192956
[pid=31539] ppid=31537 vsize=267384 CPUtime=220.44
/proc/31539/stat : 31539 (solver) R 31537 31539 30521 0 -1 4194304 35063 0 0 0 22024 20 0 0 25 0 1 0 165169318 273801216 34911 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134708954 0 0 4096 0 0 0 0 17 0 0 0
/proc/31539/statm: 66846 34911 717 92 0 65190 0
Current children cumulated CPU time (s) 220.44
Current children cumulated vsize (KiB) 267384

[startup+282.677 s]
/proc/loadavg: 1.98 1.44 1.34 3/94 31560
/proc/meminfo: memFree=1145624/2055920 swapFree=4191880/4192956
[pid=31539] ppid=31537 vsize=267384 CPUtime=279.92
/proc/31539/stat : 31539 (solver) R 31537 31539 30521 0 -1 4194304 35063 0 0 0 27970 22 0 0 25 0 1 0 165169318 273801216 34911 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134710273 0 0 4096 0 0 0 0 17 0 0 0
/proc/31539/statm: 66846 34911 717 92 0 65190 0
Current children cumulated CPU time (s) 279.92
Current children cumulated vsize (KiB) 267384

[startup+342.732 s]
/proc/loadavg: 1.99 1.54 1.38 3/94 31560
/proc/meminfo: memFree=1089760/2055920 swapFree=4191880/4192956
[pid=31539] ppid=31537 vsize=267384 CPUtime=339.39
/proc/31539/stat : 31539 (solver) R 31537 31539 30521 0 -1 4194304 35063 0 0 0 33915 24 0 0 25 0 1 0 165169318 273801216 34911 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134711713 0 0 4096 0 0 0 0 17 0 0 0
/proc/31539/statm: 66846 34911 717 92 0 65190 0
Current children cumulated CPU time (s) 339.39
Current children cumulated vsize (KiB) 267384

[startup+402.827 s]
/proc/loadavg: 1.99 1.62 1.42 3/94 31560
/proc/meminfo: memFree=1034080/2055920 swapFree=4191880/4192956
[pid=31539] ppid=31537 vsize=267384 CPUtime=398.89
/proc/31539/stat : 31539 (solver) R 31537 31539 30521 0 -1 4194304 35063 0 0 0 39864 25 0 0 25 0 1 0 165169318 273801216 34911 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134637293 0 0 4096 0 0 0 0 17 0 0 0
/proc/31539/statm: 66846 34911 717 92 0 65190 0
Current children cumulated CPU time (s) 398.89
Current children cumulated vsize (KiB) 267384

[startup+462.93 s]
/proc/loadavg: 1.99 1.69 1.45 3/94 31560
/proc/meminfo: memFree=977312/2055920 swapFree=4191880/4192956
[pid=31539] ppid=31537 vsize=267384 CPUtime=458.38
/proc/31539/stat : 31539 (solver) R 31537 31539 30521 0 -1 4194304 35063 0 0 0 45812 26 0 0 25 0 1 0 165169318 273801216 34911 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134712048 0 0 4096 0 0 0 0 17 0 0 0
/proc/31539/statm: 66846 34911 717 92 0 65190 0
Current children cumulated CPU time (s) 458.38
Current children cumulated vsize (KiB) 267384

[startup+523.022 s]
/proc/loadavg: 1.99 1.74 1.48 3/94 31560
/proc/meminfo: memFree=921632/2055920 swapFree=4191880/4192956
[pid=31539] ppid=31537 vsize=267384 CPUtime=517.91
/proc/31539/stat : 31539 (solver) R 31537 31539 30521 0 -1 4194304 35063 0 0 0 51762 29 0 0 25 0 1 0 165169318 273801216 34911 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134708953 0 0 4096 0 0 0 0 17 0 0 0
/proc/31539/statm: 66846 34911 717 92 0 65190 0
Current children cumulated CPU time (s) 517.91
Current children cumulated vsize (KiB) 267384

[startup+583.117 s]
/proc/loadavg: 1.99 1.79 1.51 3/94 31560
/proc/meminfo: memFree=865888/2055920 swapFree=4191880/4192956
[pid=31539] ppid=31537 vsize=267384 CPUtime=577.43
/proc/31539/stat : 31539 (solver) R 31537 31539 30521 0 -1 4194304 35063 0 0 0 57712 31 0 0 25 0 1 0 165169318 273801216 34911 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134722032 0 0 4096 0 0 0 0 17 0 0 0
/proc/31539/statm: 66846 34911 717 92 0 65190 0
Current children cumulated CPU time (s) 577.43
Current children cumulated vsize (KiB) 267384

[startup+643.19 s]
/proc/loadavg: 1.99 1.82 1.54 3/94 31560
/proc/meminfo: memFree=810208/2055920 swapFree=4191880/4192956
[pid=31539] ppid=31537 vsize=267384 CPUtime=636.9
/proc/31539/stat : 31539 (solver) R 31537 31539 30521 0 -1 4194304 35063 0 0 0 63659 31 0 0 25 0 1 0 165169318 273801216 34911 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134722033 0 0 4096 0 0 0 0 17 0 0 0
/proc/31539/statm: 66846 34911 717 92 0 65190 0
Current children cumulated CPU time (s) 636.9
Current children cumulated vsize (KiB) 267384

[startup+703.288 s]
/proc/loadavg: 1.99 1.85 1.57 4/94 31560
/proc/meminfo: memFree=753504/2055920 swapFree=4191880/4192956
[pid=31539] ppid=31537 vsize=267384 CPUtime=696.43
/proc/31539/stat : 31539 (solver) R 31537 31539 30521 0 -1 4194304 35063 0 0 0 69610 33 0 0 25 0 1 0 165169318 273801216 34911 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134638352 0 0 4096 0 0 0 0 17 0 0 0
/proc/31539/statm: 66846 34911 717 92 0 65190 0
Current children cumulated CPU time (s) 696.43
Current children cumulated vsize (KiB) 267384

[startup+763.36 s]
/proc/loadavg: 1.99 1.88 1.59 3/94 31560
/proc/meminfo: memFree=697760/2055920 swapFree=4191880/4192956
[pid=31539] ppid=31537 vsize=267384 CPUtime=755.94
/proc/31539/stat : 31539 (solver) R 31537 31539 30521 0 -1 4194304 35063 0 0 0 75560 34 0 0 25 0 1 0 165169318 273801216 34911 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134722033 0 0 4096 0 0 0 0 17 0 0 0
/proc/31539/statm: 66846 34911 717 92 0 65190 0
Current children cumulated CPU time (s) 755.94
Current children cumulated vsize (KiB) 267384

[startup+823.436 s]
/proc/loadavg: 1.99 1.90 1.61 3/94 31560
/proc/meminfo: memFree=642016/2055920 swapFree=4191880/4192956
[pid=31539] ppid=31537 vsize=267392 CPUtime=815.43
/proc/31539/stat : 31539 (solver) R 31537 31539 30521 0 -1 4194304 35065 0 0 0 81506 37 0 0 25 0 1 0 165169318 273809408 34913 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134722033 0 0 4096 0 0 0 0 17 0 0 0
/proc/31539/statm: 66848 34913 717 92 0 65192 0
Current children cumulated CPU time (s) 815.43
Current children cumulated vsize (KiB) 267392

[startup+883.502 s]
/proc/loadavg: 1.99 1.91 1.64 3/94 31560
/proc/meminfo: memFree=586208/2055920 swapFree=4191880/4192956
[pid=31539] ppid=31537 vsize=267396 CPUtime=874.9
/proc/31539/stat : 31539 (solver) R 31537 31539 30521 0 -1 4194304 35066 0 0 0 87452 38 0 0 25 0 1 0 165169318 273813504 34914 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134709318 0 0 4096 0 0 0 0 17 0 0 0
/proc/31539/statm: 66849 34914 717 92 0 65193 0
Current children cumulated CPU time (s) 874.9
Current children cumulated vsize (KiB) 267396

[startup+943.504 s]
/proc/loadavg: 1.99 1.92 1.65 3/94 31562
/proc/meminfo: memFree=530528/2055920 swapFree=4191880/4192956
[pid=31539] ppid=31537 vsize=267396 CPUtime=934.33
/proc/31539/stat : 31539 (solver) R 31537 31539 30521 0 -1 4194304 35066 0 0 0 93393 40 0 0 25 0 1 0 165169318 273813504 34914 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134710273 0 0 4096 0 0 0 0 17 0 0 0
/proc/31539/statm: 66849 34914 717 92 0 65193 0
Current children cumulated CPU time (s) 934.33
Current children cumulated vsize (KiB) 267396

[startup+1003.51 s]
/proc/loadavg: 1.99 1.94 1.67 3/94 31562
/proc/meminfo: memFree=473888/2055920 swapFree=4191880/4192956
[pid=31539] ppid=31537 vsize=267396 CPUtime=993.75
/proc/31539/stat : 31539 (solver) R 31537 31539 30521 0 -1 4194304 35066 0 0 0 99333 42 0 0 25 0 1 0 165169318 273813504 34914 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134727366 0 0 4096 0 0 0 0 17 0 0 0
/proc/31539/statm: 66849 34914 717 92 0 65193 0
Current children cumulated CPU time (s) 993.75
Current children cumulated vsize (KiB) 267396

[startup+1063.52 s]
/proc/loadavg: 2.05 1.96 1.70 3/94 31562
/proc/meminfo: memFree=418336/2055920 swapFree=4191880/4192956
[pid=31539] ppid=31537 vsize=267396 CPUtime=1053.16
/proc/31539/stat : 31539 (solver) R 31537 31539 30521 0 -1 4194304 35066 0 0 0 105272 44 0 0 25 0 1 0 165169318 273813504 34914 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134722033 0 0 4096 0 0 0 0 17 0 0 0
/proc/31539/statm: 66849 34914 717 92 0 65193 0
Current children cumulated CPU time (s) 1053.16
Current children cumulated vsize (KiB) 267396

[startup+1123.6 s]
/proc/loadavg: 2.02 1.97 1.71 3/94 31562
/proc/meminfo: memFree=362656/2055920 swapFree=4191880/4192956
[pid=31539] ppid=31537 vsize=267396 CPUtime=1112.66
/proc/31539/stat : 31539 (solver) R 31537 31539 30521 0 -1 4194304 35066 0 0 0 111221 45 0 0 25 0 1 0 165169318 273813504 34914 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134709313 0 0 4096 0 0 0 0 17 0 0 0
/proc/31539/statm: 66849 34914 717 92 0 65193 0
Current children cumulated CPU time (s) 1112.66
Current children cumulated vsize (KiB) 267396

[startup+1183.7 s]
/proc/loadavg: 2.00 1.97 1.73 3/94 31562
/proc/meminfo: memFree=307040/2055920 swapFree=4191880/4192956
[pid=31539] ppid=31537 vsize=267396 CPUtime=1172.18
/proc/31539/stat : 31539 (solver) R 31537 31539 30521 0 -1 4194304 35066 0 0 0 117171 47 0 0 25 0 1 0 165169318 273813504 34914 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134709312 0 0 4096 0 0 0 0 17 0 0 0
/proc/31539/statm: 66849 34914 717 92 0 65193 0
Current children cumulated CPU time (s) 1172.18
Current children cumulated vsize (KiB) 267396

[startup+1243.77 s]
/proc/loadavg: 2.00 1.97 1.74 3/94 31562
/proc/meminfo: memFree=251296/2055920 swapFree=4191880/4192956
[pid=31539] ppid=31537 vsize=267396 CPUtime=1231.65
/proc/31539/stat : 31539 (solver) R 31537 31539 30521 0 -1 4194304 35066 0 0 0 123117 48 0 0 25 0 1 0 165169318 273813504 34914 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134708945 0 0 4096 0 0 0 0 17 0 0 0
/proc/31539/statm: 66849 34914 717 92 0 65193 0
Current children cumulated CPU time (s) 1231.65
Current children cumulated vsize (KiB) 267396

[startup+1303.78 s]
/proc/loadavg: 2.00 1.97 1.75 3/94 31562
/proc/meminfo: memFree=194720/2055920 swapFree=4191880/4192956
[pid=31539] ppid=31537 vsize=267396 CPUtime=1291.09
/proc/31539/stat : 31539 (solver) R 31537 31539 30521 0 -1 4194304 35066 0 0 0 129058 51 0 0 25 0 1 0 165169318 273813504 34914 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134711730 0 0 4096 0 0 0 0 17 0 0 0
/proc/31539/statm: 66849 34914 717 92 0 65193 0
Current children cumulated CPU time (s) 1291.09
Current children cumulated vsize (KiB) 267396

[startup+1363.86 s]
/proc/loadavg: 2.00 1.97 1.76 3/94 31562
/proc/meminfo: memFree=139232/2055920 swapFree=4191880/4192956
[pid=31539] ppid=31537 vsize=267396 CPUtime=1350.58
/proc/31539/stat : 31539 (solver) R 31537 31539 30521 0 -1 4194304 35066 0 0 0 135005 53 0 0 25 0 1 0 165169318 273813504 34914 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134708950 0 0 4096 0 0 0 0 17 0 0 0
/proc/31539/statm: 66849 34914 717 92 0 65193 0
Current children cumulated CPU time (s) 1350.58
Current children cumulated vsize (KiB) 267396

[startup+1423.86 s]
/proc/loadavg: 2.00 1.97 1.78 3/94 31562
/proc/meminfo: memFree=83680/2055920 swapFree=4191880/4192956
[pid=31539] ppid=31537 vsize=267396 CPUtime=1410.01
/proc/31539/stat : 31539 (solver) R 31537 31539 30521 0 -1 4194304 35066 0 0 0 140946 55 0 0 25 0 1 0 165169318 273813504 34914 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134722033 0 0 4096 0 0 0 0 17 0 0 0
/proc/31539/statm: 66849 34914 717 92 0 65193 0
Current children cumulated CPU time (s) 1410.01
Current children cumulated vsize (KiB) 267396

[startup+1483.95 s]
/proc/loadavg: 2.00 1.97 1.79 3/94 31562
/proc/meminfo: memFree=28192/2055920 swapFree=4191880/4192956
[pid=31539] ppid=31537 vsize=267396 CPUtime=1469.52
/proc/31539/stat : 31539 (solver) R 31537 31539 30521 0 -1 4194304 35066 0 0 0 146894 58 0 0 25 0 1 0 165169318 273813504 34914 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134722033 0 0 4096 0 0 0 0 17 0 0 0
/proc/31539/statm: 66849 34914 717 92 0 65193 0
Current children cumulated CPU time (s) 1469.52
Current children cumulated vsize (KiB) 267396

[startup+1544.04 s]
/proc/loadavg: 2.00 1.97 1.80 3/94 31562
/proc/meminfo: memFree=15328/2055920 swapFree=4191880/4192956
[pid=31539] ppid=31537 vsize=267396 CPUtime=1529.01
/proc/31539/stat : 31539 (solver) R 31537 31539 30521 0 -1 4194304 35066 0 0 0 152842 59 0 0 25 0 1 0 165169318 273813504 34914 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134710322 0 0 4096 0 0 0 0 17 0 0 0
/proc/31539/statm: 66849 34914 717 92 0 65193 0
Current children cumulated CPU time (s) 1529.01
Current children cumulated vsize (KiB) 267396

[startup+1604.12 s]
/proc/loadavg: 2.03 1.99 1.82 3/94 31562
/proc/meminfo: memFree=15904/2055920 swapFree=4191880/4192956
[pid=31539] ppid=31537 vsize=267396 CPUtime=1588.54
/proc/31539/stat : 31539 (solver) R 31537 31539 30521 0 -1 4194304 35066 0 0 0 158793 61 0 0 25 0 1 0 165169318 273813504 34914 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134709313 0 0 4096 0 0 0 0 17 0 0 0
/proc/31539/statm: 66849 34914 717 92 0 65193 0
Current children cumulated CPU time (s) 1588.54
Current children cumulated vsize (KiB) 267396

[startup+1664.18 s]
/proc/loadavg: 2.01 1.99 1.82 3/94 31562
/proc/meminfo: memFree=16160/2055920 swapFree=4191880/4192956
[pid=31539] ppid=31537 vsize=267396 CPUtime=1648.02
/proc/31539/stat : 31539 (solver) R 31537 31539 30521 0 -1 4194304 35066 0 0 0 164739 63 0 0 25 0 1 0 165169318 273813504 34914 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134709321 0 0 4096 0 0 0 0 17 0 0 0
/proc/31539/statm: 66849 34914 717 92 0 65193 0
Current children cumulated CPU time (s) 1648.02
Current children cumulated vsize (KiB) 267396

[startup+1724.25 s]
/proc/loadavg: 2.00 1.99 1.83 3/94 31562
/proc/meminfo: memFree=15072/2055920 swapFree=4191880/4192956
[pid=31539] ppid=31537 vsize=267396 CPUtime=1707.48
/proc/31539/stat : 31539 (solver) R 31537 31539 30521 0 -1 4194304 35066 0 0 0 170684 64 0 0 25 0 1 0 165169318 273813504 34914 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134710287 0 0 4096 0 0 0 0 17 0 0 0
/proc/31539/statm: 66849 34914 717 92 0 65193 0
Current children cumulated CPU time (s) 1707.48
Current children cumulated vsize (KiB) 267396

[startup+1784.34 s]
/proc/loadavg: 2.19 2.03 1.85 3/94 31626
/proc/meminfo: memFree=1337496/2055920 swapFree=4191880/4192956
[pid=31539] ppid=31537 vsize=267396 CPUtime=1767.07
/proc/31539/stat : 31539 (solver) R 31537 31539 30521 0 -1 4194304 35066 0 0 0 176638 69 0 0 25 0 1 0 165169318 273813504 34914 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134722033 0 0 4096 0 0 0 0 17 0 0 0
/proc/31539/statm: 66849 34914 717 92 0 65193 0
Current children cumulated CPU time (s) 1767.07
Current children cumulated vsize (KiB) 267396



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1817.46 s]
/proc/loadavg: 2.24 2.06 1.87 3/94 31626
/proc/meminfo: memFree=983320/2055920 swapFree=4191880/4192956
[pid=31539] ppid=31537 vsize=267396 CPUtime=1800
/proc/31539/stat : 31539 (solver) R 31537 31539 30521 0 -1 4194304 35066 0 0 0 179931 69 0 0 25 0 1 0 165169318 273813504 34914 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134722032 0 0 4096 0 0 0 0 17 0 0 0
/proc/31539/statm: 66849 34914 717 92 0 65193 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 267396

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1817.49
CPU time (s): 1800.03
CPU user time (s): 1799.31
CPU system time (s): 0.715891
CPU usage (%): 99.0394
Max. virtual memory (cumulated for all children) (KiB): 267396

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.31
system time used= 0.715891
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 35066
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= 12
involuntary context switches= 77166

runsolver used 1.78273 s user time and 5.13622 s system time

The end

Launcher Data (download as text)

Begin job on node30 on Sun Jan  7 11:02:31 UTC 2007


IDJOB= 205606
IDBENCH= 4158
FILE ID= node30/205606-1168167748

PBS_JOBID= 3478777

Free space on /tmp= 66451 MiB

BENCH NAME= HOME/pub/bench/CPAI06/fapp/fapp36-40/fapp40/fapp40-3000-1.xml
COMMAND LINE= /tmp/evaluation/205606-1168167748/mistral/bin/solver /tmp/evaluation/205606-1168167748/unknown.xml -v 1
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node30/watcher-205606-1168167748 -o ROOT/results/node30/solver-205606-1168167748 -C 1800 -M 900  /tmp/evaluation/205606-1168167748/mistral/bin/solver /tmp/evaluation/205606-1168167748/unknown.xml -v 1

META MD5SUM SOLVER= cb80ed4ac975bdc0101f830a5b1b8f77
MD5SUM BENCH=  e73fbce21894132281af3102ab806d6c

RANDOM SEED= 554769272

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:       1530096 kB
Buffers:         41616 kB
Cached:         280912 kB
SwapCached:        268 kB
Active:         323652 kB
Inactive:       131548 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1530096 kB
SwapTotal:     4192956 kB
SwapFree:      4191880 kB
Dirty:           33556 kB
Writeback:           0 kB
Mapped:         159612 kB
Slab:            54760 kB
Committed_AS:  4250296 kB
PageTables:       2692 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= 66449 MiB



End job on node30 on Sun Jan  7 11:32:51 UTC 2007