Trace number 1087733

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
casper zao? (TO) 1800.07 1815.52

General information on the benchmark

Namecsp/fapp/fapp03/
normalized-fapp03-0300-4.xml
MD5SUM20a4b386543d008e4a5d9418ad2d042b
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 benchmark11.8522
Satisfiable
(Un)Satisfiability was proved
Number of variables300
Number of constraints4377
Maximum constraint arity2
Maximum domain size250
Number of constraints which are defined in extension0
Number of constraints which are defined in intension4377
Global constraints used (with number of constraints)

Solver Data (download as text)

0.18/0.21	c [ This is CaSPERzao (C) mvc@di.fct.unl.pt ]
0.18/0.21	c Parsing = 1
0.18/0.21	c Building = 1
36.49/36.81	c [ NumberOfVariables = 300 ]
36.49/36.81	c [ NumberOfConstraints = 4377 ]
36.49/36.82	c [ SizeOfSearchSpace(log2) = 2153.14 ]
36.49/36.82	c SymmetrySearch = 1
36.68/37.05	c InitialPropagation = 1
36.68/37.06	c [ SizeOfSearchSpace(log2) = 2153.14 ]
36.68/37.06	c InitialSAC = 1
36.79/37.20	c [ SizeOfSearchSpace(log2) = 2153.13 ]
36.89/37.20	c Search(DomWDeg) =

Verifier Data (download as text)

ERROR: Unexpected answer ! ('s SATISFIABLE'/'s UNSATISFIABLE' expected)
Got answer:

Watcher Data (download as text)

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

command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1087733-1215245489/watcher-1087733-1215245489 -o /tmp/evaluation-result-1087733-1215245489/solver-1087733-1215245489 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/casperzao HOME/instance-1087733-1215245489.xml 1349324107 

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): 2200 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
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.00 1.00 1.25 4/72 14018
/proc/meminfo: memFree=1858608/2055920 swapFree=4179416/4192956
[pid=14018] ppid=14016 vsize=1056 CPUtime=0
/proc/14018/stat : 14018 (casperzao) R 14016 14018 13877 0 -1 4194304 40 0 0 0 0 0 0 0 19 0 1 0 2003520613 1081344 26 996147200 134512640 135477443 4294956224 18446744073709551615 8106788 0 2147483391 4096 0 0 0 0 17 1 0 0
/proc/14018/statm: 264 26 20 235 0 3 0

[startup+0.0675321 s]
/proc/loadavg: 1.00 1.00 1.25 4/72 14018
/proc/meminfo: memFree=1858608/2055920 swapFree=4179416/4192956
[pid=14018] ppid=14016 vsize=6232 CPUtime=0.05
/proc/14018/stat : 14018 (casperzao) R 14016 14018 13877 0 -1 4194304 664 0 0 0 5 0 0 0 18 0 1 0 2003520613 6381568 624 996147200 134512640 135477443 4294956224 18446744073709551615 4158907105 0 0 4096 0 0 0 0 17 1 0 0
/proc/14018/statm: 1558 624 370 235 0 259 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 6232

[startup+0.101534 s]
/proc/loadavg: 1.00 1.00 1.25 4/72 14018
/proc/meminfo: memFree=1858608/2055920 swapFree=4179416/4192956
[pid=14018] ppid=14016 vsize=6628 CPUtime=0.09
/proc/14018/stat : 14018 (casperzao) R 14016 14018 13877 0 -1 4194304 773 0 0 0 9 0 0 0 18 0 1 0 2003520613 6787072 733 996147200 134512640 135477443 4294956224 18446744073709551615 4159670439 0 0 4096 0 0 0 0 17 1 0 0
/proc/14018/statm: 1657 733 370 235 0 358 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 6628

[startup+0.301577 s]
/proc/loadavg: 1.00 1.00 1.25 4/72 14018
/proc/meminfo: memFree=1858608/2055920 swapFree=4179416/4192956
[pid=14018] ppid=14016 vsize=288560 CPUtime=0.27
/proc/14018/stat : 14018 (casperzao) R 14016 14018 13877 0 -1 4194304 3172 0 0 0 27 0 0 0 19 0 1 0 2003520613 295485440 2196 996147200 134512640 135477443 4294956224 18446744073709551615 135214563 0 0 4096 0 0 0 0 17 1 0 0
/proc/14018/statm: 72140 2196 461 235 0 70841 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 288560

[startup+0.701653 s]
/proc/loadavg: 1.00 1.00 1.25 4/72 14018
/proc/meminfo: memFree=1858608/2055920 swapFree=4179416/4192956
[pid=14018] ppid=14016 vsize=289352 CPUtime=0.68
/proc/14018/stat : 14018 (casperzao) R 14016 14018 13877 0 -1 4194304 5658 0 0 0 67 1 0 0 23 0 1 0 2003520613 296296448 2417 996147200 134512640 135477443 4294956224 18446744073709551615 135270899 0 0 4096 0 0 0 0 17 1 0 0
/proc/14018/statm: 72338 2417 462 235 0 71039 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 289352

[startup+1.50181 s]
/proc/loadavg: 1.00 1.00 1.25 3/73 14019
/proc/meminfo: memFree=1850152/2055920 swapFree=4179416/4192956
[pid=14018] ppid=14016 vsize=290672 CPUtime=1.47
/proc/14018/stat : 14018 (casperzao) R 14016 14018 13877 0 -1 4194304 10695 0 0 0 143 4 0 0 25 0 1 0 2003520613 297648128 2770 996147200 134512640 135477443 4294956224 18446744073709551615 135268676 0 0 4096 0 0 0 0 17 1 0 0
/proc/14018/statm: 72668 2770 462 235 0 71369 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 290672

[startup+3.10112 s]
/proc/loadavg: 1.00 1.00 1.25 3/73 14019
/proc/meminfo: memFree=1848488/2055920 swapFree=4179416/4192956
[pid=14018] ppid=14016 vsize=292784 CPUtime=3.06
/proc/14018/stat : 14018 (casperzao) R 14016 14018 13877 0 -1 4194304 18519 0 0 0 299 7 0 0 25 0 1 0 2003520613 299810816 3325 996147200 134512640 135477443 4294956224 18446744073709551615 134583200 0 0 4096 0 0 0 0 17 1 0 0
/proc/14018/statm: 73196 3325 462 235 0 71897 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 292784

[startup+6.30174 s]
/proc/loadavg: 1.08 1.02 1.26 3/73 14019
/proc/meminfo: memFree=1842152/2055920 swapFree=4179416/4192956
[pid=14018] ppid=14016 vsize=298328 CPUtime=6.23
/proc/14018/stat : 14018 (casperzao) R 14016 14018 13877 0 -1 4194304 37455 0 0 0 606 17 0 0 25 0 1 0 2003520613 305487872 4842 996147200 134512640 135477443 4294956224 18446744073709551615 134880319 0 0 4096 0 0 0 0 17 1 0 0
/proc/14018/statm: 74582 4842 466 235 0 73283 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 298328

[startup+12.702 s]
/proc/loadavg: 1.15 1.04 1.26 3/73 14019
/proc/meminfo: memFree=1829928/2055920 swapFree=4179416/4192956
[pid=14018] ppid=14016 vsize=309812 CPUtime=12.59
/proc/14018/stat : 14018 (casperzao) R 14016 14018 13877 0 -1 4194304 75289 0 0 0 1225 34 0 0 25 0 1 0 2003520613 317247488 7847 996147200 134512640 135477443 4294956224 18446744073709551615 135268208 0 0 4096 0 0 0 0 17 1 0 0
/proc/14018/statm: 77453 7847 466 235 0 76154 0
Current children cumulated CPU time (s) 12.59
Current children cumulated vsize (KiB) 309812

[startup+25.5015 s]
/proc/loadavg: 1.34 1.08 1.27 3/73 14019
/proc/meminfo: memFree=1804200/2055920 swapFree=4179416/4192956
[pid=14018] ppid=14016 vsize=333440 CPUtime=25.28
/proc/14018/stat : 14018 (casperzao) R 14016 14018 13877 0 -1 4194304 154179 0 0 0 2460 68 0 0 25 0 1 0 2003520613 341442560 14120 996147200 134512640 135477443 4294956224 18446744073709551615 135269087 0 0 4096 0 0 0 0 17 1 0 0
/proc/14018/statm: 83360 14120 466 235 0 82061 0
Current children cumulated CPU time (s) 25.28
Current children cumulated vsize (KiB) 333440

[startup+51.1015 s]
/proc/loadavg: 1.56 1.15 1.29 3/73 14019
/proc/meminfo: memFree=1780712/2055920 swapFree=4179416/4192956
[pid=14018] ppid=14016 vsize=166468 CPUtime=50.66
/proc/14018/stat : 14018 (casperzao) R 14016 14018 13877 0 -1 4194304 223470 0 0 0 4969 97 0 0 25 0 1 0 2003520613 170463232 19825 996147200 134512640 135477443 4294956224 18446744073709551615 135208694 0 0 4096 0 0 0 0 17 1 0 0
/proc/14018/statm: 41617 19825 511 235 0 40318 0
Current children cumulated CPU time (s) 50.66
Current children cumulated vsize (KiB) 166468

[startup+102.306 s]
/proc/loadavg: 1.81 1.28 1.32 3/73 14019
/proc/meminfo: memFree=1780456/2055920 swapFree=4179416/4192956
[pid=14018] ppid=14016 vsize=166468 CPUtime=101.42
/proc/14018/stat : 14018 (casperzao) R 14016 14018 13877 0 -1 4194304 223470 0 0 0 10045 97 0 0 25 0 1 0 2003520613 170463232 19825 996147200 134512640 135477443 4294956224 18446744073709551615 135208668 0 0 4096 0 0 0 0 17 1 0 0
/proc/14018/statm: 41617 19825 511 235 0 40318 0
Current children cumulated CPU time (s) 101.42
Current children cumulated vsize (KiB) 166468

[startup+162.301 s]
/proc/loadavg: 1.93 1.41 1.37 3/73 14019
/proc/meminfo: memFree=1780328/2055920 swapFree=4179416/4192956
[pid=14018] ppid=14016 vsize=166468 CPUtime=160.88
/proc/14018/stat : 14018 (casperzao) R 14016 14018 13877 0 -1 4194304 223476 0 0 0 15990 98 0 0 25 0 1 0 2003520613 170463232 19831 996147200 134512640 135477443 4294956224 18446744073709551615 135208555 0 0 4096 0 0 0 0 17 1 0 0
/proc/14018/statm: 41617 19831 511 235 0 40318 0
Current children cumulated CPU time (s) 160.88
Current children cumulated vsize (KiB) 166468

[startup+222.303 s]
/proc/loadavg: 1.97 1.52 1.40 3/73 14019
/proc/meminfo: memFree=1780328/2055920 swapFree=4179416/4192956
[pid=14018] ppid=14016 vsize=166468 CPUtime=220.34
/proc/14018/stat : 14018 (casperzao) R 14016 14018 13877 0 -1 4194304 223478 0 0 0 21936 98 0 0 25 0 1 0 2003520613 170463232 19833 996147200 134512640 135477443 4294956224 18446744073709551615 135208555 0 0 4096 0 0 0 0 17 1 0 0
/proc/14018/statm: 41617 19833 511 235 0 40318 0
Current children cumulated CPU time (s) 220.34
Current children cumulated vsize (KiB) 166468

[startup+282.302 s]
/proc/loadavg: 1.99 1.60 1.44 3/73 14019
/proc/meminfo: memFree=1780328/2055920 swapFree=4179416/4192956
[pid=14018] ppid=14016 vsize=166468 CPUtime=279.81
/proc/14018/stat : 14018 (casperzao) R 14016 14018 13877 0 -1 4194304 223478 0 0 0 27883 98 0 0 25 0 1 0 2003520613 170463232 19833 996147200 134512640 135477443 4294956224 18446744073709551615 134942514 0 0 4096 0 0 0 0 17 1 0 0
/proc/14018/statm: 41617 19833 511 235 0 40318 0
Current children cumulated CPU time (s) 279.81
Current children cumulated vsize (KiB) 166468

[startup+342.301 s]
/proc/loadavg: 1.99 1.67 1.47 3/73 14019
/proc/meminfo: memFree=1780264/2055920 swapFree=4179416/4192956
[pid=14018] ppid=14016 vsize=166468 CPUtime=339.28
/proc/14018/stat : 14018 (casperzao) R 14016 14018 13877 0 -1 4194304 223478 0 0 0 33830 98 0 0 25 0 1 0 2003520613 170463232 19833 996147200 134512640 135477443 4294956224 18446744073709551615 135208648 0 0 4096 0 0 0 0 17 1 0 0
/proc/14018/statm: 41617 19833 511 235 0 40318 0
Current children cumulated CPU time (s) 339.28
Current children cumulated vsize (KiB) 166468

[startup+402.302 s]
/proc/loadavg: 1.99 1.73 1.50 3/73 14019
/proc/meminfo: memFree=1780200/2055920 swapFree=4179416/4192956
[pid=14018] ppid=14016 vsize=166468 CPUtime=398.77
/proc/14018/stat : 14018 (casperzao) R 14016 14018 13877 0 -1 4194304 223480 0 0 0 39778 99 0 0 25 0 1 0 2003520613 170463232 19835 996147200 134512640 135477443 4294956224 18446744073709551615 135208581 0 0 4096 0 0 0 0 17 1 0 0
/proc/14018/statm: 41617 19835 511 235 0 40318 0
Current children cumulated CPU time (s) 398.77
Current children cumulated vsize (KiB) 166468

[startup+462.302 s]
/proc/loadavg: 1.99 1.77 1.53 3/73 14019
/proc/meminfo: memFree=1780136/2055920 swapFree=4179416/4192956
[pid=14018] ppid=14016 vsize=166468 CPUtime=458.24
/proc/14018/stat : 14018 (casperzao) R 14016 14018 13877 0 -1 4194304 223480 0 0 0 45725 99 0 0 25 0 1 0 2003520613 170463232 19835 996147200 134512640 135477443 4294956224 18446744073709551615 135208587 0 0 4096 0 0 0 0 17 1 0 0
/proc/14018/statm: 41617 19835 511 235 0 40318 0
Current children cumulated CPU time (s) 458.24
Current children cumulated vsize (KiB) 166468

[startup+522.301 s]
/proc/loadavg: 1.99 1.81 1.55 3/73 14019
/proc/meminfo: memFree=1780136/2055920 swapFree=4179416/4192956
[pid=14018] ppid=14016 vsize=166468 CPUtime=517.7
/proc/14018/stat : 14018 (casperzao) R 14016 14018 13877 0 -1 4194304 223480 0 0 0 51671 99 0 0 25 0 1 0 2003520613 170463232 19835 996147200 134512640 135477443 4294956224 18446744073709551615 135208648 0 0 4096 0 0 0 0 17 1 0 0
/proc/14018/statm: 41617 19835 511 235 0 40318 0
Current children cumulated CPU time (s) 517.7
Current children cumulated vsize (KiB) 166468

[startup+582.301 s]
/proc/loadavg: 1.99 1.84 1.58 3/73 14019
/proc/meminfo: memFree=1780008/2055920 swapFree=4179416/4192956
[pid=14018] ppid=14016 vsize=166468 CPUtime=577.18
/proc/14018/stat : 14018 (casperzao) R 14016 14018 13877 0 -1 4194304 223480 0 0 0 57618 100 0 0 25 0 1 0 2003520613 170463232 19835 996147200 134512640 135477443 4294956224 18446744073709551615 135208666 0 0 4096 0 0 0 0 17 1 0 0
/proc/14018/statm: 41617 19835 511 235 0 40318 0
Current children cumulated CPU time (s) 577.18
Current children cumulated vsize (KiB) 166468

[startup+642.302 s]
/proc/loadavg: 1.99 1.87 1.60 3/73 14019
/proc/meminfo: memFree=1780008/2055920 swapFree=4179416/4192956
[pid=14018] ppid=14016 vsize=166468 CPUtime=636.65
/proc/14018/stat : 14018 (casperzao) R 14016 14018 13877 0 -1 4194304 223480 0 0 0 63565 100 0 0 25 0 1 0 2003520613 170463232 19835 996147200 134512640 135477443 4294956224 18446744073709551615 135208555 0 0 4096 0 0 0 0 17 1 0 0
/proc/14018/statm: 41617 19835 511 235 0 40318 0
Current children cumulated CPU time (s) 636.65
Current children cumulated vsize (KiB) 166468


################
# More data... #
################

[startup+882.303 s]
/proc/loadavg: 1.99 1.93 1.68 3/73 14019
/proc/meminfo: memFree=1779816/2055920 swapFree=4179416/4192956
[pid=14018] ppid=14016 vsize=166468 CPUtime=874.55
/proc/14018/stat : 14018 (casperzao) R 14016 14018 13877 0 -1 4194304 223481 0 0 0 87354 101 0 0 25 0 1 0 2003520613 170463232 19836 996147200 134512640 135477443 4294956224 18446744073709551615 135208666 0 0 4096 0 0 0 0 17 1 0 0
/proc/14018/statm: 41617 19836 511 235 0 40318 0
Current children cumulated CPU time (s) 874.55
Current children cumulated vsize (KiB) 166468

[startup+942.301 s]
/proc/loadavg: 1.99 1.94 1.70 3/73 14019
/proc/meminfo: memFree=1779816/2055920 swapFree=4179416/4192956
[pid=14018] ppid=14016 vsize=166468 CPUtime=934
/proc/14018/stat : 14018 (casperzao) R 14016 14018 13877 0 -1 4194304 223482 0 0 0 93299 101 0 0 25 0 1 0 2003520613 170463232 19837 996147200 134512640 135477443 4294956224 18446744073709551615 135208666 0 0 4096 0 0 0 0 17 1 0 0
/proc/14018/statm: 41617 19837 511 235 0 40318 0
Current children cumulated CPU time (s) 934
Current children cumulated vsize (KiB) 166468

[startup+1002.3 s]
/proc/loadavg: 1.99 1.95 1.72 3/73 14019
/proc/meminfo: memFree=1779688/2055920 swapFree=4179416/4192956
[pid=14018] ppid=14016 vsize=166468 CPUtime=993.47
/proc/14018/stat : 14018 (casperzao) R 14016 14018 13877 0 -1 4194304 223482 0 0 0 99246 101 0 0 25 0 1 0 2003520613 170463232 19837 996147200 134512640 135477443 4294956224 18446744073709551615 135208587 0 0 4096 0 0 0 0 17 1 0 0
/proc/14018/statm: 41617 19837 511 235 0 40318 0
Current children cumulated CPU time (s) 993.47
Current children cumulated vsize (KiB) 166468

[startup+1062.3 s]
/proc/loadavg: 1.99 1.95 1.73 3/73 14019
/proc/meminfo: memFree=1779688/2055920 swapFree=4179416/4192956
[pid=14018] ppid=14016 vsize=166468 CPUtime=1052.96
/proc/14018/stat : 14018 (casperzao) R 14016 14018 13877 0 -1 4194304 223482 0 0 0 105194 102 0 0 25 0 1 0 2003520613 170463232 19837 996147200 134512640 135477443 4294956224 18446744073709551615 135208648 0 0 4096 0 0 0 0 17 1 0 0
/proc/14018/statm: 41617 19837 511 235 0 40318 0
Current children cumulated CPU time (s) 1052.96
Current children cumulated vsize (KiB) 166468

[startup+1122.3 s]
/proc/loadavg: 1.99 1.96 1.74 3/73 14019
/proc/meminfo: memFree=1779688/2055920 swapFree=4179416/4192956
[pid=14018] ppid=14016 vsize=166468 CPUtime=1112.42
/proc/14018/stat : 14018 (casperzao) R 14016 14018 13877 0 -1 4194304 223482 0 0 0 111140 102 0 0 25 0 1 0 2003520613 170463232 19837 996147200 134512640 135477443 4294956224 18446744073709551615 135208648 0 0 4096 0 0 0 0 17 1 0 0
/proc/14018/statm: 41617 19837 511 235 0 40318 0
Current children cumulated CPU time (s) 1112.42
Current children cumulated vsize (KiB) 166468

[startup+1182.3 s]
/proc/loadavg: 1.99 1.97 1.75 3/73 14019
/proc/meminfo: memFree=1779560/2055920 swapFree=4179416/4192956
[pid=14018] ppid=14016 vsize=166468 CPUtime=1171.91
/proc/14018/stat : 14018 (casperzao) R 14016 14018 13877 0 -1 4194304 223483 0 0 0 117089 102 0 0 25 0 1 0 2003520613 170463232 19838 996147200 134512640 135477443 4294956224 18446744073709551615 135208555 0 0 4096 0 0 0 0 17 1 0 0
/proc/14018/statm: 41617 19838 511 235 0 40318 0
Current children cumulated CPU time (s) 1171.91
Current children cumulated vsize (KiB) 166468

[startup+1242.3 s]
/proc/loadavg: 1.99 1.97 1.77 3/73 14019
/proc/meminfo: memFree=1779496/2055920 swapFree=4179416/4192956
[pid=14018] ppid=14016 vsize=166468 CPUtime=1231.38
/proc/14018/stat : 14018 (casperzao) R 14016 14018 13877 0 -1 4194304 223483 0 0 0 123035 103 0 0 25 0 1 0 2003520613 170463232 19838 996147200 134512640 135477443 4294956224 18446744073709551615 135208555 0 0 4096 0 0 0 0 17 1 0 0
/proc/14018/statm: 41617 19838 511 235 0 40318 0
Current children cumulated CPU time (s) 1231.38
Current children cumulated vsize (KiB) 166468

[startup+1302.3 s]
/proc/loadavg: 1.99 1.97 1.78 3/73 14019
/proc/meminfo: memFree=1779368/2055920 swapFree=4179416/4192956
[pid=14018] ppid=14016 vsize=166468 CPUtime=1290.85
/proc/14018/stat : 14018 (casperzao) R 14016 14018 13877 0 -1 4194304 223484 0 0 0 128982 103 0 0 25 0 1 0 2003520613 170463232 19839 996147200 134512640 135477443 4294956224 18446744073709551615 135208650 0 0 4096 0 0 0 0 17 1 0 0
/proc/14018/statm: 41617 19839 511 235 0 40318 0
Current children cumulated CPU time (s) 1290.85
Current children cumulated vsize (KiB) 166468

[startup+1362.3 s]
/proc/loadavg: 1.99 1.97 1.79 3/73 14019
/proc/meminfo: memFree=1779368/2055920 swapFree=4179416/4192956
[pid=14018] ppid=14016 vsize=166468 CPUtime=1350.31
/proc/14018/stat : 14018 (casperzao) R 14016 14018 13877 0 -1 4194304 223485 0 0 0 134928 103 0 0 25 0 1 0 2003520613 170463232 19840 996147200 134512640 135477443 4294956224 18446744073709551615 135208648 0 0 4096 0 0 0 0 17 1 0 0
/proc/14018/statm: 41617 19840 511 235 0 40318 0
Current children cumulated CPU time (s) 1350.31
Current children cumulated vsize (KiB) 166468

[startup+1422.31 s]
/proc/loadavg: 1.99 1.97 1.80 3/73 14019
/proc/meminfo: memFree=1779304/2055920 swapFree=4179416/4192956
[pid=14018] ppid=14016 vsize=166468 CPUtime=1409.79
/proc/14018/stat : 14018 (casperzao) R 14016 14018 13877 0 -1 4194304 223487 0 0 0 140876 103 0 0 25 0 1 0 2003520613 170463232 19842 996147200 134512640 135477443 4294956224 18446744073709551615 135208574 0 0 4096 0 0 0 0 17 1 0 0
/proc/14018/statm: 41617 19842 511 235 0 40318 0
Current children cumulated CPU time (s) 1409.79
Current children cumulated vsize (KiB) 166468

[startup+1482.3 s]
/proc/loadavg: 1.99 1.97 1.81 3/73 14019
/proc/meminfo: memFree=1779304/2055920 swapFree=4179416/4192956
[pid=14018] ppid=14016 vsize=166468 CPUtime=1469.25
/proc/14018/stat : 14018 (casperzao) R 14016 14018 13877 0 -1 4194304 223487 0 0 0 146821 104 0 0 25 0 1 0 2003520613 170463232 19842 996147200 134512640 135477443 4294956224 18446744073709551615 135208648 0 0 4096 0 0 0 0 17 1 0 0
/proc/14018/statm: 41617 19842 511 235 0 40318 0
Current children cumulated CPU time (s) 1469.25
Current children cumulated vsize (KiB) 166468

[startup+1542.3 s]
/proc/loadavg: 1.99 1.97 1.82 3/73 14019
/proc/meminfo: memFree=1779304/2055920 swapFree=4179416/4192956
[pid=14018] ppid=14016 vsize=166468 CPUtime=1528.71
/proc/14018/stat : 14018 (casperzao) R 14016 14018 13877 0 -1 4194304 223487 0 0 0 152767 104 0 0 25 0 1 0 2003520613 170463232 19842 996147200 134512640 135477443 4294956224 18446744073709551615 135208555 0 0 4096 0 0 0 0 17 1 0 0
/proc/14018/statm: 41617 19842 511 235 0 40318 0
Current children cumulated CPU time (s) 1528.71
Current children cumulated vsize (KiB) 166468

[startup+1602.3 s]
/proc/loadavg: 1.99 1.97 1.83 3/73 14019
/proc/meminfo: memFree=1779240/2055920 swapFree=4179416/4192956
[pid=14018] ppid=14016 vsize=166468 CPUtime=1588.16
/proc/14018/stat : 14018 (casperzao) R 14016 14018 13877 0 -1 4194304 223487 0 0 0 158712 104 0 0 25 0 1 0 2003520613 170463232 19842 996147200 134512640 135477443 4294956224 18446744073709551615 135208689 0 0 4096 0 0 0 0 17 1 0 0
/proc/14018/statm: 41617 19842 511 235 0 40318 0
Current children cumulated CPU time (s) 1588.16
Current children cumulated vsize (KiB) 166468

[startup+1662.3 s]
/proc/loadavg: 1.99 1.97 1.83 3/73 14019
/proc/meminfo: memFree=1779240/2055920 swapFree=4179416/4192956
[pid=14018] ppid=14016 vsize=166468 CPUtime=1647.64
/proc/14018/stat : 14018 (casperzao) R 14016 14018 13877 0 -1 4194304 223489 0 0 0 164660 104 0 0 25 0 1 0 2003520613 170463232 19844 996147200 134512640 135477443 4294956224 18446744073709551615 135208689 0 0 4096 0 0 0 0 17 1 0 0
/proc/14018/statm: 41617 19844 511 235 0 40318 0
Current children cumulated CPU time (s) 1647.64
Current children cumulated vsize (KiB) 166468

[startup+1722.3 s]
/proc/loadavg: 1.99 1.97 1.84 3/73 14019
/proc/meminfo: memFree=1779048/2055920 swapFree=4179416/4192956
[pid=14018] ppid=14016 vsize=166468 CPUtime=1707.1
/proc/14018/stat : 14018 (casperzao) R 14016 14018 13877 0 -1 4194304 223490 0 0 0 170606 104 0 0 25 0 1 0 2003520613 170463232 19845 996147200 134512640 135477443 4294956224 18446744073709551615 135208666 0 0 4096 0 0 0 0 17 1 0 0
/proc/14018/statm: 41617 19845 511 235 0 40318 0
Current children cumulated CPU time (s) 1707.1
Current children cumulated vsize (KiB) 166468

[startup+1782.3 s]
/proc/loadavg: 2.04 1.99 1.85 3/74 14069
/proc/meminfo: memFree=1845160/2055920 swapFree=4179416/4192956
[pid=14018] ppid=14016 vsize=166468 CPUtime=1766.85
/proc/14018/stat : 14018 (casperzao) R 14016 14018 13877 0 -1 4194304 223491 0 0 0 176576 109 0 0 25 0 1 0 2003520613 170463232 19846 996147200 134512640 135477443 4294956224 18446744073709551615 135208555 0 0 4096 0 0 0 0 17 0 0 0
/proc/14018/statm: 41617 19846 511 235 0 40318 0
Current children cumulated CPU time (s) 1766.85
Current children cumulated vsize (KiB) 166468



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1815.5 s]
/proc/loadavg: 2.02 1.99 1.85 3/74 14069
/proc/meminfo: memFree=1844136/2055920 swapFree=4179416/4192956
[pid=14018] ppid=14016 vsize=166468 CPUtime=1800.04
/proc/14018/stat : 14018 (casperzao) R 14016 14018 13877 0 -1 4194304 223491 0 0 0 179895 109 0 0 25 0 1 0 2003520613 170463232 19846 996147200 134512640 135477443 4294956224 18446744073709551615 135208666 0 0 4096 0 0 0 0 17 0 0 0
/proc/14018/statm: 41617 19846 511 235 0 40318 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 166468

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

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

[startup+1815.5 s]
/proc/loadavg: 2.02 1.99 1.85 3/74 14069
/proc/meminfo: memFree=1844136/2055920 swapFree=4179416/4192956
[pid=14018] ppid=14016 vsize=166468 CPUtime=1800.04
/proc/14018/stat : 14018 (casperzao) R 14016 14018 13877 0 -1 4194304 223491 0 0 0 179895 109 0 0 25 0 1 0 2003520613 170463232 19846 996147200 134512640 135477443 4294956224 18446744073709551615 135208666 0 0 4096 0 0 0 0 17 0 0 0
/proc/14018/statm: 41617 19846 511 235 0 40318 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 166468

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1815.52
CPU time (s): 1800.07
CPU user time (s): 1798.96
CPU system time (s): 1.11083
CPU usage (%): 99.1488
Max. virtual memory (cumulated for all children) (KiB): 353900

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.96
system time used= 1.11083
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 223491
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= 13
involuntary context switches= 38654

runsolver used 2.74058 second user time and 5.11622 second system time

The end

Launcher Data (download as text)

Begin job on node62 at 2008-07-05 10:11:29
IDJOB=1087733
IDBENCH=58038
IDSOLVER=361
FILE ID=node62/1087733-1215245489
PBS_JOBID= 7882024
Free space on /tmp= 65256 MiB

SOLVER NAME= casper zao
BENCH NAME= CPAI08/csp/fapp/fapp03/normalized-fapp03-0300-4.xml
COMMAND LINE= HOME/casperzao BENCHNAME RANDOMSEED 
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1087733-1215245489/watcher-1087733-1215245489 -o /tmp/evaluation-result-1087733-1215245489/solver-1087733-1215245489 -C 1800 -W 2200 -M 900 --output-limit 1,15  HOME/casperzao HOME/instance-1087733-1215245489.xml 1349324107 

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB

MD5SUM BENCH= 20a4b386543d008e4a5d9418ad2d042b
RANDOM SEED=1349324107

node62.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.259
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.259
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:       1859088 kB
Buffers:          5208 kB
Cached:          46996 kB
SwapCached:       7024 kB
Active:         129292 kB
Inactive:        11972 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1859088 kB
SwapTotal:     4192956 kB
SwapFree:      4179416 kB
Dirty:            3512 kB
Writeback:           0 kB
Mapped:          96652 kB
Slab:            40536 kB
Committed_AS:  4224152 kB
PageTables:       2004 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264960 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 65252 MiB
End job on node62 at 2008-07-05 10:41:46