Trace number 1092092

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.12 1809.36

General information on the benchmark

Namecsp/bibdVariousK/
normalized-bibd-15-70-14-3-2_glb.xml
MD5SUM81667b41c334c0c7b4a522df36bf82a5
Bench CategoryGLOBAL (global constraints)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1.07384
Satisfiable
(Un)Satisfiability was proved
Number of variables8400
Number of constraints7540
Maximum constraint arity70
Maximum domain size2
Number of constraints which are defined in extension0
Number of constraints which are defined in intension7350
Global constraints used (with number of constraints)weightedsum(190)

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.38/0.44	c Building = 1
2.35/2.41	c [ NumberOfVariables = 8400 ]
2.35/2.41	c [ NumberOfConstraints = 7540 ]
2.35/2.41	c [ SizeOfSearchSpace(log2) = 8400 ]
2.35/2.41	c SymmetrySearch = 1
3.84/3.92	c [ Found 1.56641e+112 symmetries ]
4.45/4.53	c InitialPropagation = 1
4.45/4.55	c [ SizeOfSearchSpace(log2) = 8400 ]
4.45/4.55	c InitialSAC = (Timeout)
36.44/36.88	c [ SizeOfSearchSpace(log2) = 4602 ]
36.44/36.89	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-1092092-1215264078/watcher-1092092-1215264078 -o /tmp/evaluation-result-1092092-1215264078/solver-1092092-1215264078 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/casperzao HOME/instance-1092092-1215264078.xml 1562603309 

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: 2.00 2.00 2.00 4/74 19908
/proc/meminfo: memFree=1630176/2055920 swapFree=4180444/4192956
[pid=19908] ppid=19906 vsize=1056 CPUtime=0
/proc/19908/stat : 19908 (casperzao) R 19906 19908 18458 0 -1 4194304 40 0 0 0 0 0 0 0 19 0 1 0 2005377408 1081344 26 996147200 134512640 135477443 4294956224 18446744073709551615 6853412 0 2147483391 4096 0 0 0 0 17 1 0 0
/proc/19908/statm: 264 26 20 235 0 3 0

[startup+0.115562 s]
/proc/loadavg: 2.00 2.00 2.00 4/74 19908
/proc/meminfo: memFree=1630176/2055920 swapFree=4180444/4192956
[pid=19908] ppid=19906 vsize=6784 CPUtime=0.09
/proc/19908/stat : 19908 (casperzao) R 19906 19908 18458 0 -1 4194304 801 0 0 0 9 0 0 0 18 0 1 0 2005377408 6946816 761 996147200 134512640 135477443 4294956224 18446744073709551615 4158915865 0 0 4096 0 0 0 0 17 1 0 0
/proc/19908/statm: 1696 761 370 235 0 397 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 6784

[startup+0.201577 s]
/proc/loadavg: 2.00 2.00 2.00 4/74 19908
/proc/meminfo: memFree=1630176/2055920 swapFree=4180444/4192956
[pid=19908] ppid=19906 vsize=7708 CPUtime=0.18
/proc/19908/stat : 19908 (casperzao) R 19906 19908 18458 0 -1 4194304 1030 0 0 0 18 0 0 0 18 0 1 0 2005377408 7892992 990 996147200 134512640 135477443 4294956224 18446744073709551615 134813044 0 0 4096 0 0 0 0 17 1 0 0
/proc/19908/statm: 1927 990 370 235 0 628 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 7708

[startup+0.301596 s]
/proc/loadavg: 2.00 2.00 2.00 4/74 19908
/proc/meminfo: memFree=1630176/2055920 swapFree=4180444/4192956
[pid=19908] ppid=19906 vsize=8764 CPUtime=0.27
/proc/19908/stat : 19908 (casperzao) R 19906 19908 18458 0 -1 4194304 1292 0 0 0 27 0 0 0 19 0 1 0 2005377408 8974336 1252 996147200 134512640 135477443 4294956224 18446744073709551615 134814374 0 0 4096 0 0 0 0 17 1 0 0
/proc/19908/statm: 2191 1252 370 235 0 892 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 8764

[startup+0.701669 s]
/proc/loadavg: 2.00 2.00 2.00 4/74 19908
/proc/meminfo: memFree=1630176/2055920 swapFree=4180444/4192956
[pid=19908] ppid=19906 vsize=336088 CPUtime=0.68
/proc/19908/stat : 19908 (casperzao) R 19906 19908 18458 0 -1 4194304 14621 0 0 0 61 7 0 0 23 0 1 0 2005377408 344154112 13794 996147200 134512640 135477443 4294956224 18446744073709551615 7286500 0 0 4096 0 0 0 0 17 1 0 0
/proc/19908/statm: 84022 13794 461 235 0 82723 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 336088

[startup+1.50282 s]
/proc/loadavg: 2.00 2.00 2.00 3/75 19909
/proc/meminfo: memFree=1502808/2055920 swapFree=4180444/4192956
[pid=19908] ppid=19906 vsize=480944 CPUtime=1.47
/proc/19908/stat : 19908 (casperzao) R 19906 19908 18458 0 -1 4194304 53571 0 0 0 118 29 0 0 25 0 1 0 2005377408 492486656 50175 996147200 134512640 135477443 4294956224 18446744073709551615 7294693 0 0 4096 0 0 0 0 17 1 0 0
/proc/19908/statm: 120236 50175 461 235 0 118937 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 480944

[startup+3.10107 s]
/proc/loadavg: 2.00 2.00 2.00 3/75 19909
/proc/meminfo: memFree=1331288/2055920 swapFree=4180444/4192956
[pid=19908] ppid=19906 vsize=401976 CPUtime=3.06
/proc/19908/stat : 19908 (casperzao) R 19906 19908 18458 0 -1 4194304 89978 0 0 0 243 63 0 0 25 0 1 0 2005377408 411623424 78217 996147200 134512640 135477443 4294956224 18446744073709551615 134535892 0 0 4096 0 0 0 0 17 1 0 0
/proc/19908/statm: 100494 78217 506 235 0 99195 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 401976

[startup+6.30262 s]
/proc/loadavg: 2.08 2.02 2.01 3/75 19909
/proc/meminfo: memFree=1315288/2055920 swapFree=4180444/4192956
[pid=19908] ppid=19906 vsize=398080 CPUtime=6.23
/proc/19908/stat : 19908 (casperzao) R 19906 19908 18458 0 -1 4194304 109597 0 0 0 550 73 0 0 25 0 1 0 2005377408 407633920 78851 996147200 134512640 135477443 4294956224 18446744073709551615 134887830 0 0 4096 0 0 0 0 17 1 0 0
/proc/19908/statm: 99520 78851 522 235 0 98221 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 398080

[startup+12.7017 s]
/proc/loadavg: 2.07 2.02 2.00 3/75 19909
/proc/meminfo: memFree=1314072/2055920 swapFree=4180444/4192956
[pid=19908] ppid=19906 vsize=398080 CPUtime=12.56
/proc/19908/stat : 19908 (casperzao) R 19906 19908 18458 0 -1 4194304 109672 0 0 0 1183 73 0 0 25 0 1 0 2005377408 407633920 78926 996147200 134512640 135477443 4294956224 18446744073709551615 134887830 0 0 4096 0 0 0 0 17 1 0 0
/proc/19908/statm: 99520 78926 522 235 0 98221 0
Current children cumulated CPU time (s) 12.56
Current children cumulated vsize (KiB) 398080

[startup+25.5019 s]
/proc/loadavg: 2.06 2.01 2.00 3/75 19909
/proc/meminfo: memFree=1311192/2055920 swapFree=4180444/4192956
[pid=19908] ppid=19906 vsize=398080 CPUtime=25.24
/proc/19908/stat : 19908 (casperzao) R 19906 19908 18458 0 -1 4194304 109741 0 0 0 2451 73 0 0 25 0 1 0 2005377408 407633920 78995 996147200 134512640 135477443 4294956224 18446744073709551615 134951617 0 0 4096 0 0 0 0 17 1 0 0
/proc/19908/statm: 99520 78995 522 235 0 98221 0
Current children cumulated CPU time (s) 25.24
Current children cumulated vsize (KiB) 398080

[startup+51.1012 s]
/proc/loadavg: 2.04 2.01 2.00 3/75 19909
/proc/meminfo: memFree=1308824/2055920 swapFree=4180444/4192956
[pid=19908] ppid=19906 vsize=398084 CPUtime=50.6
/proc/19908/stat : 19908 (casperzao) R 19906 19908 18458 0 -1 4194304 110336 0 0 0 4986 74 0 0 25 0 1 0 2005377408 407638016 79590 996147200 134512640 135477443 4294956224 18446744073709551615 134693950 0 0 4096 0 0 0 0 17 1 0 0
/proc/19908/statm: 99521 79590 543 235 0 98222 0
Current children cumulated CPU time (s) 50.6
Current children cumulated vsize (KiB) 398084

[startup+102.303 s]
/proc/loadavg: 2.01 2.01 2.00 3/75 19909
/proc/meminfo: memFree=1308312/2055920 swapFree=4180444/4192956
[pid=19908] ppid=19906 vsize=398084 CPUtime=101.32
/proc/19908/stat : 19908 (casperzao) R 19906 19908 18458 0 -1 4194304 110438 0 0 0 10058 74 0 0 25 0 1 0 2005377408 407638016 79692 996147200 134512640 135477443 4294956224 18446744073709551615 135208677 0 0 4096 0 0 0 0 17 1 0 0
/proc/19908/statm: 99521 79692 543 235 0 98222 0
Current children cumulated CPU time (s) 101.32
Current children cumulated vsize (KiB) 398084

[startup+162.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/75 19909
/proc/meminfo: memFree=1301592/2055920 swapFree=4180444/4192956
[pid=19908] ppid=19906 vsize=398084 CPUtime=160.75
/proc/19908/stat : 19908 (casperzao) R 19906 19908 18458 0 -1 4194304 110503 0 0 0 16001 74 0 0 25 0 1 0 2005377408 407638016 79757 996147200 134512640 135477443 4294956224 18446744073709551615 134888572 0 0 4096 0 0 0 0 17 1 0 0
/proc/19908/statm: 99521 79757 543 235 0 98222 0
Current children cumulated CPU time (s) 160.75
Current children cumulated vsize (KiB) 398084

[startup+222.309 s]
/proc/loadavg: 2.00 2.00 2.00 3/75 19909
/proc/meminfo: memFree=1301400/2055920 swapFree=4180444/4192956
[pid=19908] ppid=19906 vsize=398084 CPUtime=220.18
/proc/19908/stat : 19908 (casperzao) R 19906 19908 18458 0 -1 4194304 110545 0 0 0 21944 74 0 0 25 0 1 0 2005377408 407638016 79799 996147200 134512640 135477443 4294956224 18446744073709551615 134887904 0 0 4096 0 0 0 0 17 1 0 0
/proc/19908/statm: 99521 79799 543 235 0 98222 0
Current children cumulated CPU time (s) 220.18
Current children cumulated vsize (KiB) 398084

[startup+282.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/75 19909
/proc/meminfo: memFree=1299928/2055920 swapFree=4180444/4192956
[pid=19908] ppid=19906 vsize=398084 CPUtime=279.62
/proc/19908/stat : 19908 (casperzao) R 19906 19908 18458 0 -1 4194304 110545 0 0 0 27887 75 0 0 25 0 1 0 2005377408 407638016 79799 996147200 134512640 135477443 4294956224 18446744073709551615 134951751 0 0 4096 0 0 0 0 17 1 0 0
/proc/19908/statm: 99521 79799 543 235 0 98222 0
Current children cumulated CPU time (s) 279.62
Current children cumulated vsize (KiB) 398084

[startup+342.302 s]
/proc/loadavg: 2.09 2.03 2.01 3/75 19909
/proc/meminfo: memFree=1299864/2055920 swapFree=4180444/4192956
[pid=19908] ppid=19906 vsize=398084 CPUtime=339.05
/proc/19908/stat : 19908 (casperzao) R 19906 19908 18458 0 -1 4194304 110546 0 0 0 33830 75 0 0 25 0 1 0 2005377408 407638016 79800 996147200 134512640 135477443 4294956224 18446744073709551615 134673670 0 0 4096 0 0 0 0 17 1 0 0
/proc/19908/statm: 99521 79800 543 235 0 98222 0
Current children cumulated CPU time (s) 339.05
Current children cumulated vsize (KiB) 398084

[startup+402.303 s]
/proc/loadavg: 2.11 2.05 2.01 3/75 19909
/proc/meminfo: memFree=1287192/2055920 swapFree=4180444/4192956
[pid=19908] ppid=19906 vsize=398084 CPUtime=398.49
/proc/19908/stat : 19908 (casperzao) R 19906 19908 18458 0 -1 4194304 110546 0 0 0 39774 75 0 0 25 0 1 0 2005377408 407638016 79800 996147200 134512640 135477443 4294956224 18446744073709551615 135208609 0 0 4096 0 0 0 0 17 1 0 0
/proc/19908/statm: 99521 79800 543 235 0 98222 0
Current children cumulated CPU time (s) 398.49
Current children cumulated vsize (KiB) 398084

[startup+462.301 s]
/proc/loadavg: 2.48 2.17 2.05 3/75 19909
/proc/meminfo: memFree=1286680/2055920 swapFree=4180444/4192956
[pid=19908] ppid=19906 vsize=398084 CPUtime=457.92
/proc/19908/stat : 19908 (casperzao) R 19906 19908 18458 0 -1 4194304 110617 0 0 0 45717 75 0 0 25 0 1 0 2005377408 407638016 79871 996147200 134512640 135477443 4294956224 18446744073709551615 135208668 0 0 4096 0 0 0 0 17 1 0 0
/proc/19908/statm: 99521 79871 543 235 0 98222 0
Current children cumulated CPU time (s) 457.92
Current children cumulated vsize (KiB) 398084

[startup+522.301 s]
/proc/loadavg: 2.25 2.16 2.05 3/75 19909
/proc/meminfo: memFree=1286680/2055920 swapFree=4180444/4192956
[pid=19908] ppid=19906 vsize=398084 CPUtime=517.36
/proc/19908/stat : 19908 (casperzao) R 19906 19908 18458 0 -1 4194304 110617 0 0 0 51661 75 0 0 25 0 1 0 2005377408 407638016 79871 996147200 134512640 135477443 4294956224 18446744073709551615 134942740 0 0 4096 0 0 0 0 17 1 0 0
/proc/19908/statm: 99521 79871 543 235 0 98222 0
Current children cumulated CPU time (s) 517.36
Current children cumulated vsize (KiB) 398084

[startup+582.302 s]
/proc/loadavg: 2.09 2.12 2.05 3/75 19909
/proc/meminfo: memFree=1286680/2055920 swapFree=4180444/4192956
[pid=19908] ppid=19906 vsize=398084 CPUtime=576.78
/proc/19908/stat : 19908 (casperzao) R 19906 19908 18458 0 -1 4194304 110617 0 0 0 57603 75 0 0 25 0 1 0 2005377408 407638016 79871 996147200 134512640 135477443 4294956224 18446744073709551615 134693727 0 0 4096 0 0 0 0 17 1 0 0
/proc/19908/statm: 99521 79871 543 235 0 98222 0
Current children cumulated CPU time (s) 576.78
Current children cumulated vsize (KiB) 398084

[startup+642.302 s]
/proc/loadavg: 2.03 2.10 2.04 3/75 19909
/proc/meminfo: memFree=1286680/2055920 swapFree=4180444/4192956
[pid=19908] ppid=19906 vsize=398084 CPUtime=636.22
/proc/19908/stat : 19908 (casperzao) R 19906 19908 18458 0 -1 4194304 110617 0 0 0 63547 75 0 0 25 0 1 0 2005377408 407638016 79871 996147200 134512640 135477443 4294956224 18446744073709551615 135208524 0 0 4096 0 0 0 0 17 1 0 0
/proc/19908/statm: 99521 79871 543 235 0 98222 0
Current children cumulated CPU time (s) 636.22
Current children cumulated vsize (KiB) 398084


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

[startup+822.301 s]
/proc/loadavg: 2.00 2.05 2.02 3/75 19909
/proc/meminfo: memFree=1283672/2055920 swapFree=4180444/4192956
[pid=19908] ppid=19906 vsize=398084 CPUtime=814.52
/proc/19908/stat : 19908 (casperzao) R 19906 19908 18458 0 -1 4194304 110618 0 0 0 81377 75 0 0 25 0 1 0 2005377408 407638016 79872 996147200 134512640 135477443 4294956224 18446744073709551615 135208668 0 0 4096 0 0 0 0 17 1 0 0
/proc/19908/statm: 99521 79872 543 235 0 98222 0
Current children cumulated CPU time (s) 814.52
Current children cumulated vsize (KiB) 398084

[startup+882.31 s]
/proc/loadavg: 2.00 2.04 2.02 3/75 19911
/proc/meminfo: memFree=1271704/2055920 swapFree=4180444/4192956
[pid=19908] ppid=19906 vsize=398084 CPUtime=873.96
/proc/19908/stat : 19908 (casperzao) R 19906 19908 18458 0 -1 4194304 110618 0 0 0 87321 75 0 0 25 0 1 0 2005377408 407638016 79872 996147200 134512640 135477443 4294956224 18446744073709551615 134887902 0 0 4096 0 0 0 0 17 1 0 0
/proc/19908/statm: 99521 79872 543 235 0 98222 0
Current children cumulated CPU time (s) 873.96
Current children cumulated vsize (KiB) 398084

[startup+942.301 s]
/proc/loadavg: 2.08 2.04 2.02 3/82 19954
/proc/meminfo: memFree=1371624/2055920 swapFree=4180444/4192956
[pid=19908] ppid=19906 vsize=398084 CPUtime=933.45
/proc/19908/stat : 19908 (casperzao) R 19906 19908 18458 0 -1 4194304 110618 0 0 0 93266 79 0 0 25 0 1 0 2005377408 407638016 79872 996147200 134512640 135477443 4294956224 18446744073709551615 135208668 0 0 4096 0 0 0 0 17 0 0 0
/proc/19908/statm: 99521 79872 543 235 0 98222 0
Current children cumulated CPU time (s) 933.45
Current children cumulated vsize (KiB) 398084

[startup+1002.3 s]
/proc/loadavg: 2.03 2.03 2.01 3/75 20007
/proc/meminfo: memFree=1341408/2055920 swapFree=4180444/4192956
[pid=19908] ppid=19906 vsize=398084 CPUtime=993.42
/proc/19908/stat : 19908 (casperzao) R 19906 19908 18458 0 -1 4194304 110618 0 0 0 99261 81 0 0 25 0 1 0 2005377408 407638016 79872 996147200 134512640 135477443 4294956224 18446744073709551615 134693943 0 0 4096 0 0 0 0 17 0 0 0
/proc/19908/statm: 99521 79872 543 235 0 98222 0
Current children cumulated CPU time (s) 993.42
Current children cumulated vsize (KiB) 398084

[startup+1062.3 s]
/proc/loadavg: 2.01 2.02 2.01 3/75 20007
/proc/meminfo: memFree=1330464/2055920 swapFree=4180444/4192956
[pid=19908] ppid=19906 vsize=398084 CPUtime=1053.38
/proc/19908/stat : 19908 (casperzao) R 19906 19908 18458 0 -1 4194304 110679 0 0 0 105257 81 0 0 25 0 1 0 2005377408 407638016 79933 996147200 134512640 135477443 4294956224 18446744073709551615 134693943 0 0 4096 0 0 0 0 17 0 0 0
/proc/19908/statm: 99521 79933 543 235 0 98222 0
Current children cumulated CPU time (s) 1053.38
Current children cumulated vsize (KiB) 398084

[startup+1122.3 s]
/proc/loadavg: 2.07 2.04 2.01 3/73 20044
/proc/meminfo: memFree=1402416/2055920 swapFree=4180444/4192956
[pid=19908] ppid=19906 vsize=398084 CPUtime=1113.36
/proc/19908/stat : 19908 (casperzao) R 19906 19908 18458 0 -1 4194304 110680 0 0 0 111254 82 0 0 25 0 1 0 2005377408 407638016 79934 996147200 134512640 135477443 4294956224 18446744073709551615 134585566 0 0 4096 0 0 0 0 17 0 0 0
/proc/19908/statm: 99521 79934 543 235 0 98222 0
Current children cumulated CPU time (s) 1113.36
Current children cumulated vsize (KiB) 398084

[startup+1182.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/73 20044
/proc/meminfo: memFree=1402480/2055920 swapFree=4180444/4192956
[pid=19908] ppid=19906 vsize=398084 CPUtime=1173.33
/proc/19908/stat : 19908 (casperzao) R 19906 19908 18458 0 -1 4194304 110681 0 0 0 117251 82 0 0 25 0 1 0 2005377408 407638016 79935 996147200 134512640 135477443 4294956224 18446744073709551615 134585526 0 0 4096 0 0 0 0 17 0 0 0
/proc/19908/statm: 99521 79935 543 235 0 98222 0
Current children cumulated CPU time (s) 1173.33
Current children cumulated vsize (KiB) 398084

[startup+1242.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/73 20044
/proc/meminfo: memFree=1402352/2055920 swapFree=4180444/4192956
[pid=19908] ppid=19906 vsize=398084 CPUtime=1233.3
/proc/19908/stat : 19908 (casperzao) R 19906 19908 18458 0 -1 4194304 110681 0 0 0 123248 82 0 0 25 0 1 0 2005377408 407638016 79935 996147200 134512640 135477443 4294956224 18446744073709551615 135270910 0 0 4096 0 0 0 0 17 0 0 0
/proc/19908/statm: 99521 79935 543 235 0 98222 0
Current children cumulated CPU time (s) 1233.3
Current children cumulated vsize (KiB) 398084

[startup+1302.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/73 20044
/proc/meminfo: memFree=1402288/2055920 swapFree=4180444/4192956
[pid=19908] ppid=19906 vsize=398084 CPUtime=1293.27
/proc/19908/stat : 19908 (casperzao) R 19906 19908 18458 0 -1 4194304 110681 0 0 0 129245 82 0 0 25 0 1 0 2005377408 407638016 79935 996147200 134512640 135477443 4294956224 18446744073709551615 134887835 0 0 4096 0 0 0 0 17 0 0 0
/proc/19908/statm: 99521 79935 543 235 0 98222 0
Current children cumulated CPU time (s) 1293.27
Current children cumulated vsize (KiB) 398084

[startup+1362.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/73 20044
/proc/meminfo: memFree=1402288/2055920 swapFree=4180444/4192956
[pid=19908] ppid=19906 vsize=398084 CPUtime=1353.26
/proc/19908/stat : 19908 (casperzao) R 19906 19908 18458 0 -1 4194304 110681 0 0 0 135243 83 0 0 25 0 1 0 2005377408 407638016 79935 996147200 134512640 135477443 4294956224 18446744073709551615 135208694 0 0 4096 0 0 0 0 17 0 0 0
/proc/19908/statm: 99521 79935 543 235 0 98222 0
Current children cumulated CPU time (s) 1353.26
Current children cumulated vsize (KiB) 398084

[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 20044
/proc/meminfo: memFree=1402352/2055920 swapFree=4180444/4192956
[pid=19908] ppid=19906 vsize=398084 CPUtime=1413.23
/proc/19908/stat : 19908 (casperzao) R 19906 19908 18458 0 -1 4194304 110681 0 0 0 141240 83 0 0 25 0 1 0 2005377408 407638016 79935 996147200 134512640 135477443 4294956224 18446744073709551615 135272086 0 0 4096 0 0 0 0 17 0 0 0
/proc/19908/statm: 99521 79935 543 235 0 98222 0
Current children cumulated CPU time (s) 1413.23
Current children cumulated vsize (KiB) 398084

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 20044
/proc/meminfo: memFree=1402352/2055920 swapFree=4180444/4192956
[pid=19908] ppid=19906 vsize=398084 CPUtime=1473.2
/proc/19908/stat : 19908 (casperzao) R 19906 19908 18458 0 -1 4194304 110681 0 0 0 147237 83 0 0 25 0 1 0 2005377408 407638016 79935 996147200 134512640 135477443 4294956224 18446744073709551615 135208699 0 0 4096 0 0 0 0 17 0 0 0
/proc/19908/statm: 99521 79935 543 235 0 98222 0
Current children cumulated CPU time (s) 1473.2
Current children cumulated vsize (KiB) 398084

[startup+1542.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 20044
/proc/meminfo: memFree=1402352/2055920 swapFree=4180444/4192956
[pid=19908] ppid=19906 vsize=398084 CPUtime=1533.18
/proc/19908/stat : 19908 (casperzao) R 19906 19908 18458 0 -1 4194304 110681 0 0 0 153235 83 0 0 25 0 1 0 2005377408 407638016 79935 996147200 134512640 135477443 4294956224 18446744073709551615 134693727 0 0 4096 0 0 0 0 17 0 0 0
/proc/19908/statm: 99521 79935 543 235 0 98222 0
Current children cumulated CPU time (s) 1533.18
Current children cumulated vsize (KiB) 398084

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 20044
/proc/meminfo: memFree=1402352/2055920 swapFree=4180444/4192956
[pid=19908] ppid=19906 vsize=398084 CPUtime=1593.15
/proc/19908/stat : 19908 (casperzao) R 19906 19908 18458 0 -1 4194304 110681 0 0 0 159232 83 0 0 25 0 1 0 2005377408 407638016 79935 996147200 134512640 135477443 4294956224 18446744073709551615 135208648 0 0 4096 0 0 0 0 17 0 0 0
/proc/19908/statm: 99521 79935 543 235 0 98222 0
Current children cumulated CPU time (s) 1593.15
Current children cumulated vsize (KiB) 398084

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 20044
/proc/meminfo: memFree=1402352/2055920 swapFree=4180444/4192956
[pid=19908] ppid=19906 vsize=398084 CPUtime=1653.12
/proc/19908/stat : 19908 (casperzao) R 19906 19908 18458 0 -1 4194304 110681 0 0 0 165229 83 0 0 25 0 1 0 2005377408 407638016 79935 996147200 134512640 135477443 4294956224 18446744073709551615 134674258 0 0 4096 0 0 0 0 17 0 0 0
/proc/19908/statm: 99521 79935 543 235 0 98222 0
Current children cumulated CPU time (s) 1653.12
Current children cumulated vsize (KiB) 398084

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 20044
/proc/meminfo: memFree=1402352/2055920 swapFree=4180444/4192956
[pid=19908] ppid=19906 vsize=398084 CPUtime=1713.1
/proc/19908/stat : 19908 (casperzao) R 19906 19908 18458 0 -1 4194304 110681 0 0 0 171227 83 0 0 25 0 1 0 2005377408 407638016 79935 996147200 134512640 135477443 4294956224 18446744073709551615 135208677 0 0 4096 0 0 0 0 17 0 0 0
/proc/19908/statm: 99521 79935 543 235 0 98222 0
Current children cumulated CPU time (s) 1713.1
Current children cumulated vsize (KiB) 398084

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 20044
/proc/meminfo: memFree=1402224/2055920 swapFree=4180444/4192956
[pid=19908] ppid=19906 vsize=398084 CPUtime=1773.07
/proc/19908/stat : 19908 (casperzao) R 19906 19908 18458 0 -1 4194304 110681 0 0 0 177224 83 0 0 25 0 1 0 2005377408 407638016 79935 996147200 134512640 135477443 4294956224 18446744073709551615 134942756 0 0 4096 0 0 0 0 17 0 0 0
/proc/19908/statm: 99521 79935 543 235 0 98222 0
Current children cumulated CPU time (s) 1773.07
Current children cumulated vsize (KiB) 398084



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1809.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 20044
/proc/meminfo: memFree=1402224/2055920 swapFree=4180444/4192956
[pid=19908] ppid=19906 vsize=398084 CPUtime=1800.06
/proc/19908/stat : 19908 (casperzao) R 19906 19908 18458 0 -1 4194304 110681 0 0 0 179923 83 0 0 25 0 1 0 2005377408 407638016 79935 996147200 134512640 135477443 4294956224 18446744073709551615 135208515 0 0 4096 0 0 0 0 17 0 0 0
/proc/19908/statm: 99521 79935 543 235 0 98222 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 398084

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1809.36
CPU time (s): 1800.12
CPU user time (s): 1799.24
CPU system time (s): 0.884865
CPU usage (%): 99.4898
Max. virtual memory (cumulated for all children) (KiB): 572016

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.24
system time used= 0.884865
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 110681
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= 16
involuntary context switches= 21646

runsolver used 2.14567 second user time and 5.45717 second system time

The end

Launcher Data (download as text)

Begin job on node68 at 2008-07-05 15:21:18
IDJOB=1092092
IDBENCH=58595
IDSOLVER=361
FILE ID=node68/1092092-1215264078
PBS_JOBID= 7882094
Free space on /tmp= 66504 MiB

SOLVER NAME= casper zao
BENCH NAME= CPAI08/csp/bibdVariousK/normalized-bibd-15-70-14-3-2_glb.xml
COMMAND LINE= HOME/casperzao BENCHNAME RANDOMSEED 
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1092092-1215264078/watcher-1092092-1215264078 -o /tmp/evaluation-result-1092092-1215264078/solver-1092092-1215264078 -C 1800 -W 2200 -M 900 --output-limit 1,15  HOME/casperzao HOME/instance-1092092-1215264078.xml 1562603309 

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB

MD5SUM BENCH= 81667b41c334c0c7b4a522df36bf82a5
RANDOM SEED=1562603309

node68.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.261
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.261
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:       1630656 kB
Buffers:         36460 kB
Cached:         240940 kB
SwapCached:       6772 kB
Active:         250100 kB
Inactive:       122916 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1630656 kB
SwapTotal:     4192956 kB
SwapFree:      4180444 kB
Dirty:            4328 kB
Writeback:           0 kB
Mapped:         101428 kB
Slab:            37392 kB
Committed_AS:  4403504 kB
PageTables:       1948 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= 66520 MiB
End job on node68 at 2008-07-05 15:51:30