Trace number 1081452

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.09 1823.82

General information on the benchmark

Namecsp/queensKnights/
normalized-queensKnights-80-5-add.xml
MD5SUM4a9833fa42d0a0932d635fb3733fa969
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.3133
Satisfiable
(Un)Satisfiability was proved
Number of variables85
Number of constraints3170
Maximum constraint arity2
Maximum domain size6400
Number of constraints which are defined in extension0
Number of constraints which are defined in intension3170
Global constraints used (with number of constraints)

Solver Data (download as text)

0.17/0.22	c [ This is CaSPERzao (C) mvc@di.fct.unl.pt ]
0.17/0.22	c Parsing = 1
0.17/0.22	c Building =

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-1081452-1215217040/watcher-1081452-1215217040 -o /tmp/evaluation-result-1081452-1215217040/solver-1081452-1215217040 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/casperzao HOME/instance-1081452-1215217040.xml 1159458247 

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.92 1.97 1.99 4/81 1716
/proc/meminfo: memFree=1419720/2055920 swapFree=4097984/4192956
[pid=1716] ppid=1714 vsize=18572 CPUtime=0
/proc/1716/stat : 1716 (runsolver) R 1714 1716 31254 0 -1 4194368 15 0 0 0 0 0 0 0 20 0 1 0 1551376157 19017728 292 996147200 4194304 4296836 548682068464 18446744073709551615 268213742887 0 0 4096 24578 0 0 0 17 1 0 0
/proc/1716/statm: 4643 292 257 25 0 2626 0

[startup+0.0596671 s]
/proc/loadavg: 1.92 1.97 1.99 4/81 1716
/proc/meminfo: memFree=1419720/2055920 swapFree=4097984/4192956
[pid=1716] ppid=1714 vsize=6100 CPUtime=0.05
/proc/1716/stat : 1716 (casperzao) R 1714 1716 31254 0 -1 4194304 623 0 0 0 5 0 0 0 18 0 1 0 1551376157 6246400 583 996147200 134512640 135477443 4294956224 18446744073709551615 9441285 0 0 4096 0 0 0 0 17 1 0 0
/proc/1716/statm: 1525 583 370 235 0 226 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 6100

[startup+0.101667 s]
/proc/loadavg: 1.92 1.97 1.99 4/81 1716
/proc/meminfo: memFree=1419720/2055920 swapFree=4097984/4192956
[pid=1716] ppid=1714 vsize=6496 CPUtime=0.09
/proc/1716/stat : 1716 (casperzao) R 1714 1716 31254 0 -1 4194304 750 0 0 0 9 0 0 0 18 0 1 0 1551376157 6651904 710 996147200 134512640 135477443 4294956224 18446744073709551615 4158762516 0 0 4096 0 0 0 0 17 1 0 0
/proc/1716/statm: 1624 710 370 235 0 325 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 6496

[startup+0.30169 s]
/proc/loadavg: 1.92 1.97 1.99 4/81 1716
/proc/meminfo: memFree=1419720/2055920 swapFree=4097984/4192956
[pid=1716] ppid=1714 vsize=288164 CPUtime=0.28
/proc/1716/stat : 1716 (casperzao) R 1714 1716 31254 0 -1 4194304 3569 0 0 0 27 1 0 0 19 0 1 0 1551376157 295079936 918 996147200 134512640 135477443 4294956224 18446744073709551615 135219329 0 0 4096 0 0 0 0 17 1 0 0
/proc/1716/statm: 72041 918 455 235 0 70742 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 288164

[startup+0.701735 s]
/proc/loadavg: 1.92 1.97 1.99 4/81 1716
/proc/meminfo: memFree=1419720/2055920 swapFree=4097984/4192956
[pid=1716] ppid=1714 vsize=289220 CPUtime=0.68
/proc/1716/stat : 1716 (casperzao) R 1714 1716 31254 0 -1 4194304 9652 0 0 0 63 5 0 0 23 0 1 0 1551376157 296161280 1230 996147200 134512640 135477443 4294956224 18446744073709551615 135272356 0 0 4096 0 0 0 0 17 1 0 0
/proc/1716/statm: 72305 1230 455 235 0 71006 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 289220

[startup+1.50183 s]
/proc/loadavg: 1.92 1.97 1.99 3/82 1717
/proc/meminfo: memFree=1415616/2055920 swapFree=4097984/4192956
[pid=1716] ppid=1714 vsize=291200 CPUtime=1.46
/proc/1716/stat : 1716 (casperzao) R 1714 1716 31254 0 -1 4194304 21697 0 0 0 134 12 0 0 25 0 1 0 1551376157 298188800 1791 996147200 134512640 135477443 4294956224 18446744073709551615 135270856 0 0 4096 0 0 0 0 17 1 0 0
/proc/1716/statm: 72800 1791 455 235 0 71501 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 291200

[startup+3.10201 s]
/proc/loadavg: 1.92 1.97 1.99 3/82 1717
/proc/meminfo: memFree=1412352/2055920 swapFree=4097984/4192956
[pid=1716] ppid=1714 vsize=295292 CPUtime=3.06
/proc/1716/stat : 1716 (casperzao) R 1714 1716 31254 0 -1 4194304 45960 0 0 0 281 25 0 0 25 0 1 0 1551376157 302379008 2941 996147200 134512640 135477443 4294956224 18446744073709551615 135268944 0 0 4096 0 0 0 0 17 1 0 0
/proc/1716/statm: 73823 2941 455 235 0 72524 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 295292

[startup+6.30237 s]
/proc/loadavg: 1.93 1.97 1.99 3/82 1717
/proc/meminfo: memFree=1402752/2055920 swapFree=4097984/4192956
[pid=1716] ppid=1714 vsize=303476 CPUtime=6.23
/proc/1716/stat : 1716 (casperzao) R 1714 1716 31254 0 -1 4194304 94504 0 0 0 577 46 0 0 25 0 1 0 1551376157 310759424 5259 996147200 134512640 135477443 4294956224 18446744073709551615 135269729 0 0 4096 0 0 0 0 17 1 0 0
/proc/1716/statm: 75869 5259 455 235 0 74570 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 303476

[startup+12.7011 s]
/proc/loadavg: 1.93 1.97 1.99 3/82 1717
/proc/meminfo: memFree=1399040/2055920 swapFree=4097984/4192956
[pid=1716] ppid=1714 vsize=303872 CPUtime=12.57
/proc/1716/stat : 1716 (casperzao) R 1714 1716 31254 0 -1 4194304 97192 0 0 0 1210 47 0 0 25 0 1 0 1551376157 311164928 5511 996147200 134512640 135477443 4294956224 18446744073709551615 135270836 0 0 4096 0 0 0 0 17 1 0 0
/proc/1716/statm: 75968 5511 459 235 0 74669 0
Current children cumulated CPU time (s) 12.57
Current children cumulated vsize (KiB) 303872

[startup+25.5015 s]
/proc/loadavg: 1.95 1.97 1.99 3/82 1717
/proc/meminfo: memFree=1398656/2055920 swapFree=4097984/4192956
[pid=1716] ppid=1714 vsize=303872 CPUtime=25.26
/proc/1716/stat : 1716 (casperzao) R 1714 1716 31254 0 -1 4194304 97286 0 0 0 2479 47 0 0 25 0 1 0 1551376157 311164928 5605 996147200 134512640 135477443 4294956224 18446744073709551615 135269777 0 0 4096 0 0 0 0 17 1 0 0
/proc/1716/statm: 75968 5605 459 235 0 74669 0
Current children cumulated CPU time (s) 25.26
Current children cumulated vsize (KiB) 303872

[startup+51.1014 s]
/proc/loadavg: 1.96 1.97 1.99 3/82 1717
/proc/meminfo: memFree=1398272/2055920 swapFree=4097984/4192956
[pid=1716] ppid=1714 vsize=303872 CPUtime=50.64
/proc/1716/stat : 1716 (casperzao) R 1714 1716 31254 0 -1 4194304 97384 0 0 0 5017 47 0 0 25 0 1 0 1551376157 311164928 5703 996147200 134512640 135477443 4294956224 18446744073709551615 134673665 0 0 4096 0 0 0 0 17 1 0 0
/proc/1716/statm: 75968 5703 459 235 0 74669 0
Current children cumulated CPU time (s) 50.64
Current children cumulated vsize (KiB) 303872

[startup+102.306 s]
/proc/loadavg: 1.98 1.97 1.99 3/82 1717
/proc/meminfo: memFree=1397760/2055920 swapFree=4097984/4192956
[pid=1716] ppid=1714 vsize=303872 CPUtime=101.41
/proc/1716/stat : 1716 (casperzao) R 1714 1716 31254 0 -1 4194304 97503 0 0 0 10094 47 0 0 25 0 1 0 1551376157 311164928 5822 996147200 134512640 135477443 4294956224 18446744073709551615 135260752 0 0 4096 0 0 0 0 17 1 0 0
/proc/1716/statm: 75968 5822 459 235 0 74669 0
Current children cumulated CPU time (s) 101.41
Current children cumulated vsize (KiB) 303872

[startup+162.301 s]
/proc/loadavg: 1.99 1.97 1.99 3/82 1717
/proc/meminfo: memFree=1397312/2055920 swapFree=4097984/4192956
[pid=1716] ppid=1714 vsize=303872 CPUtime=160.91
/proc/1716/stat : 1716 (casperzao) R 1714 1716 31254 0 -1 4194304 97586 0 0 0 16043 48 0 0 25 0 1 0 1551376157 311164928 5905 996147200 134512640 135477443 4294956224 18446744073709551615 134899373 0 0 4096 0 0 0 0 17 1 0 0
/proc/1716/statm: 75968 5905 459 235 0 74669 0
Current children cumulated CPU time (s) 160.91
Current children cumulated vsize (KiB) 303872

[startup+222.302 s]
/proc/loadavg: 1.99 1.97 1.99 3/82 1717
/proc/meminfo: memFree=1397056/2055920 swapFree=4097984/4192956
[pid=1716] ppid=1714 vsize=303872 CPUtime=220.39
/proc/1716/stat : 1716 (casperzao) R 1714 1716 31254 0 -1 4194304 97657 0 0 0 21991 48 0 0 25 0 1 0 1551376157 311164928 5976 996147200 134512640 135477443 4294956224 18446744073709551615 135270892 0 0 4096 0 0 0 0 17 1 0 0
/proc/1716/statm: 75968 5976 459 235 0 74669 0
Current children cumulated CPU time (s) 220.39
Current children cumulated vsize (KiB) 303872

[startup+282.302 s]
/proc/loadavg: 1.99 1.97 1.99 3/82 1717
/proc/meminfo: memFree=1396736/2055920 swapFree=4097984/4192956
[pid=1716] ppid=1714 vsize=303872 CPUtime=279.88
/proc/1716/stat : 1716 (casperzao) R 1714 1716 31254 0 -1 4194304 97723 0 0 0 27940 48 0 0 25 0 1 0 1551376157 311164928 6042 996147200 134512640 135477443 4294956224 18446744073709551615 135270207 0 0 4096 0 0 0 0 17 1 0 0
/proc/1716/statm: 75968 6042 459 235 0 74669 0
Current children cumulated CPU time (s) 279.88
Current children cumulated vsize (KiB) 303872

[startup+342.301 s]
/proc/loadavg: 1.99 1.97 1.99 3/82 1717
/proc/meminfo: memFree=1396544/2055920 swapFree=4097984/4192956
[pid=1716] ppid=1714 vsize=303872 CPUtime=339.36
/proc/1716/stat : 1716 (casperzao) R 1714 1716 31254 0 -1 4194304 97759 0 0 0 33888 48 0 0 25 0 1 0 1551376157 311164928 6078 996147200 134512640 135477443 4294956224 18446744073709551615 134899384 0 0 4096 0 0 0 0 17 1 0 0
/proc/1716/statm: 75968 6078 459 235 0 74669 0
Current children cumulated CPU time (s) 339.36
Current children cumulated vsize (KiB) 303872

[startup+402.301 s]
/proc/loadavg: 1.99 1.97 1.99 3/82 1717
/proc/meminfo: memFree=1396416/2055920 swapFree=4097984/4192956
[pid=1716] ppid=1714 vsize=303872 CPUtime=398.86
/proc/1716/stat : 1716 (casperzao) R 1714 1716 31254 0 -1 4194304 97804 0 0 0 39838 48 0 0 25 0 1 0 1551376157 311164928 6123 996147200 134512640 135477443 4294956224 18446744073709551615 135270897 0 0 4096 0 0 0 0 17 1 0 0
/proc/1716/statm: 75968 6123 459 235 0 74669 0
Current children cumulated CPU time (s) 398.86
Current children cumulated vsize (KiB) 303872

[startup+462.302 s]
/proc/loadavg: 1.99 1.97 1.99 3/82 1717
/proc/meminfo: memFree=1396032/2055920 swapFree=4097984/4192956
[pid=1716] ppid=1714 vsize=303872 CPUtime=458.34
/proc/1716/stat : 1716 (casperzao) R 1714 1716 31254 0 -1 4194304 97847 0 0 0 45786 48 0 0 25 0 1 0 1551376157 311164928 6166 996147200 134512640 135477443 4294956224 18446744073709551615 135270207 0 0 4096 0 0 0 0 17 1 0 0
/proc/1716/statm: 75968 6166 459 235 0 74669 0
Current children cumulated CPU time (s) 458.34
Current children cumulated vsize (KiB) 303872

[startup+522.302 s]
/proc/loadavg: 1.99 1.97 1.99 3/82 1717
/proc/meminfo: memFree=1395968/2055920 swapFree=4097984/4192956
[pid=1716] ppid=1714 vsize=303872 CPUtime=517.83
/proc/1716/stat : 1716 (casperzao) R 1714 1716 31254 0 -1 4194304 97877 0 0 0 51735 48 0 0 25 0 1 0 1551376157 311164928 6196 996147200 134512640 135477443 4294956224 18446744073709551615 135270176 0 0 4096 0 0 0 0 17 1 0 0
/proc/1716/statm: 75968 6196 459 235 0 74669 0
Current children cumulated CPU time (s) 517.83
Current children cumulated vsize (KiB) 303872

[startup+582.302 s]
/proc/loadavg: 1.99 1.97 1.99 3/82 1717
/proc/meminfo: memFree=1395776/2055920 swapFree=4097984/4192956
[pid=1716] ppid=1714 vsize=303872 CPUtime=577.31
/proc/1716/stat : 1716 (casperzao) R 1714 1716 31254 0 -1 4194304 97919 0 0 0 57683 48 0 0 25 0 1 0 1551376157 311164928 6238 996147200 134512640 135477443 4294956224 18446744073709551615 135270207 0 0 4096 0 0 0 0 17 1 0 0
/proc/1716/statm: 75968 6238 459 235 0 74669 0
Current children cumulated CPU time (s) 577.31
Current children cumulated vsize (KiB) 303872

[startup+642.301 s]
/proc/loadavg: 1.99 1.97 1.99 3/82 1717
/proc/meminfo: memFree=1395648/2055920 swapFree=4097984/4192956
[pid=1716] ppid=1714 vsize=303872 CPUtime=636.8
/proc/1716/stat : 1716 (casperzao) R 1714 1716 31254 0 -1 4194304 97947 0 0 0 63632 48 0 0 25 0 1 0 1551376157 311164928 6266 996147200 134512640 135477443 4294956224 18446744073709551615 135270207 0 0 4096 0 0 0 0 17 1 0 0
/proc/1716/statm: 75968 6266 459 235 0 74669 0
Current children cumulated CPU time (s) 636.8
Current children cumulated vsize (KiB) 303872


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

[startup+822.302 s]
/proc/loadavg: 1.99 1.97 1.99 3/82 1717
/proc/meminfo: memFree=1395328/2055920 swapFree=4097984/4192956
[pid=1716] ppid=1714 vsize=303872 CPUtime=815.27
/proc/1716/stat : 1716 (casperzao) R 1714 1716 31254 0 -1 4194304 98024 0 0 0 81479 48 0 0 25 0 1 0 1551376157 311164928 6343 996147200 134512640 135477443 4294956224 18446744073709551615 135268530 0 0 4096 0 0 0 0 17 1 0 0
/proc/1716/statm: 75968 6343 459 235 0 74669 0
Current children cumulated CPU time (s) 815.27
Current children cumulated vsize (KiB) 303872

[startup+882.302 s]
/proc/loadavg: 1.99 1.97 1.99 3/82 1717
/proc/meminfo: memFree=1395200/2055920 swapFree=4097984/4192956
[pid=1716] ppid=1714 vsize=303872 CPUtime=874.76
/proc/1716/stat : 1716 (casperzao) R 1714 1716 31254 0 -1 4194304 98048 0 0 0 87427 49 0 0 25 0 1 0 1551376157 311164928 6367 996147200 134512640 135477443 4294956224 18446744073709551615 134899381 0 0 4096 0 0 0 0 17 1 0 0
/proc/1716/statm: 75968 6367 459 235 0 74669 0
Current children cumulated CPU time (s) 874.76
Current children cumulated vsize (KiB) 303872

[startup+942.301 s]
/proc/loadavg: 1.99 1.97 1.99 3/82 1717
/proc/meminfo: memFree=1395136/2055920 swapFree=4097984/4192956
[pid=1716] ppid=1714 vsize=303872 CPUtime=934.25
/proc/1716/stat : 1716 (casperzao) R 1714 1716 31254 0 -1 4194304 98071 0 0 0 93376 49 0 0 25 0 1 0 1551376157 311164928 6390 996147200 134512640 135477443 4294956224 18446744073709551615 135270704 0 0 4096 0 0 0 0 17 1 0 0
/proc/1716/statm: 75968 6390 459 235 0 74669 0
Current children cumulated CPU time (s) 934.25
Current children cumulated vsize (KiB) 303872

[startup+1002.3 s]
/proc/loadavg: 1.99 1.97 1.99 3/82 1717
/proc/meminfo: memFree=1394944/2055920 swapFree=4097984/4192956
[pid=1716] ppid=1714 vsize=303872 CPUtime=993.74
/proc/1716/stat : 1716 (casperzao) R 1714 1716 31254 0 -1 4194304 98094 0 0 0 99325 49 0 0 25 0 1 0 1551376157 311164928 6413 996147200 134512640 135477443 4294956224 18446744073709551615 134583088 0 0 4096 0 0 0 0 17 1 0 0
/proc/1716/statm: 75968 6413 459 235 0 74669 0
Current children cumulated CPU time (s) 993.74
Current children cumulated vsize (KiB) 303872

[startup+1062.3 s]
/proc/loadavg: 1.91 1.95 1.98 3/75 1751
/proc/meminfo: memFree=1466232/2055920 swapFree=4097984/4192956
[pid=1716] ppid=1714 vsize=303872 CPUtime=1053.24
/proc/1716/stat : 1716 (casperzao) R 1714 1716 31254 0 -1 4194304 98116 0 0 0 105273 51 0 0 25 0 1 0 1551376157 311164928 6435 996147200 134512640 135477443 4294956224 18446744073709551615 134940874 0 0 4096 0 0 0 0 17 0 0 0
/proc/1716/statm: 75968 6435 459 235 0 74669 0
Current children cumulated CPU time (s) 1053.24
Current children cumulated vsize (KiB) 303872

[startup+1122.3 s]
/proc/loadavg: 2.00 1.97 1.99 3/95 1776
/proc/meminfo: memFree=1364952/2055920 swapFree=4097984/4192956
[pid=1716] ppid=1714 vsize=303872 CPUtime=1112.17
/proc/1716/stat : 1716 (casperzao) R 1714 1716 31254 0 -1 4194304 98125 0 0 0 111165 52 0 0 25 0 1 0 1551376157 311164928 6444 996147200 134512640 135477443 4294956224 18446744073709551615 135270207 0 0 4096 0 0 0 0 17 1 0 0
/proc/1716/statm: 75968 6444 459 235 0 74669 0
Current children cumulated CPU time (s) 1112.17
Current children cumulated vsize (KiB) 303872

[startup+1182.3 s]
/proc/loadavg: 2.00 1.97 1.99 3/95 1776
/proc/meminfo: memFree=1364696/2055920 swapFree=4097984/4192956
[pid=1716] ppid=1714 vsize=303872 CPUtime=1171.01
/proc/1716/stat : 1716 (casperzao) R 1714 1716 31254 0 -1 4194304 98146 0 0 0 117048 53 0 0 25 0 1 0 1551376157 311164928 6465 996147200 134512640 135477443 4294956224 18446744073709551615 134942067 0 0 4096 0 0 0 0 17 1 0 0
/proc/1716/statm: 75968 6465 459 235 0 74669 0
Current children cumulated CPU time (s) 1171.01
Current children cumulated vsize (KiB) 303872

[startup+1242.3 s]
/proc/loadavg: 2.00 1.97 1.99 3/95 1776
/proc/meminfo: memFree=1364440/2055920 swapFree=4097984/4192956
[pid=1716] ppid=1714 vsize=303872 CPUtime=1229.85
/proc/1716/stat : 1716 (casperzao) R 1714 1716 31254 0 -1 4194304 98167 0 0 0 122932 53 0 0 25 0 1 0 1551376157 311164928 6486 996147200 134512640 135477443 4294956224 18446744073709551615 134899373 0 0 4096 0 0 0 0 17 1 0 0
/proc/1716/statm: 75968 6486 459 235 0 74669 0
Current children cumulated CPU time (s) 1229.85
Current children cumulated vsize (KiB) 303872

[startup+1302.3 s]
/proc/loadavg: 2.00 1.97 1.99 3/95 1776
/proc/meminfo: memFree=1364312/2055920 swapFree=4097984/4192956
[pid=1716] ppid=1714 vsize=303872 CPUtime=1288.69
/proc/1716/stat : 1716 (casperzao) R 1714 1716 31254 0 -1 4194304 98188 0 0 0 128816 53 0 0 25 0 1 0 1551376157 311164928 6507 996147200 134512640 135477443 4294956224 18446744073709551615 135270268 0 0 4096 0 0 0 0 17 1 0 0
/proc/1716/statm: 75968 6507 459 235 0 74669 0
Current children cumulated CPU time (s) 1288.69
Current children cumulated vsize (KiB) 303872

[startup+1362.3 s]
/proc/loadavg: 2.00 1.97 1.99 3/95 1776
/proc/meminfo: memFree=1364248/2055920 swapFree=4097984/4192956
[pid=1716] ppid=1714 vsize=303872 CPUtime=1347.52
/proc/1716/stat : 1716 (casperzao) R 1714 1716 31254 0 -1 4194304 98196 0 0 0 134699 53 0 0 25 0 1 0 1551376157 311164928 6515 996147200 134512640 135477443 4294956224 18446744073709551615 134586795 0 0 4096 0 0 0 0 17 1 0 0
/proc/1716/statm: 75968 6515 459 235 0 74669 0
Current children cumulated CPU time (s) 1347.52
Current children cumulated vsize (KiB) 303872

[startup+1422.31 s]
/proc/loadavg: 2.00 1.97 1.99 3/95 1776
/proc/meminfo: memFree=1364184/2055920 swapFree=4097984/4192956
[pid=1716] ppid=1714 vsize=303872 CPUtime=1406.36
/proc/1716/stat : 1716 (casperzao) R 1714 1716 31254 0 -1 4194304 98216 0 0 0 140583 53 0 0 25 0 1 0 1551376157 311164928 6535 996147200 134512640 135477443 4294956224 18446744073709551615 134899373 0 0 4096 0 0 0 0 17 1 0 0
/proc/1716/statm: 75968 6535 459 235 0 74669 0
Current children cumulated CPU time (s) 1406.36
Current children cumulated vsize (KiB) 303872

[startup+1482.3 s]
/proc/loadavg: 2.00 1.97 1.99 3/95 1776
/proc/meminfo: memFree=1364120/2055920 swapFree=4097984/4192956
[pid=1716] ppid=1714 vsize=303872 CPUtime=1465.2
/proc/1716/stat : 1716 (casperzao) R 1714 1716 31254 0 -1 4194304 98223 0 0 0 146466 54 0 0 25 0 1 0 1551376157 311164928 6542 996147200 134512640 135477443 4294956224 18446744073709551615 135270212 0 0 4096 0 0 0 0 17 1 0 0
/proc/1716/statm: 75968 6542 459 235 0 74669 0
Current children cumulated CPU time (s) 1465.2
Current children cumulated vsize (KiB) 303872

[startup+1542.3 s]
/proc/loadavg: 2.00 1.97 1.99 3/95 1776
/proc/meminfo: memFree=1364056/2055920 swapFree=4097984/4192956
[pid=1716] ppid=1714 vsize=303872 CPUtime=1524.04
/proc/1716/stat : 1716 (casperzao) R 1714 1716 31254 0 -1 4194304 98242 0 0 0 152350 54 0 0 25 0 1 0 1551376157 311164928 6561 996147200 134512640 135477443 4294956224 18446744073709551615 135268965 0 0 4096 0 0 0 0 17 1 0 0
/proc/1716/statm: 75968 6561 459 235 0 74669 0
Current children cumulated CPU time (s) 1524.04
Current children cumulated vsize (KiB) 303872

[startup+1602.3 s]
/proc/loadavg: 2.00 1.97 1.99 3/95 1776
/proc/meminfo: memFree=1363928/2055920 swapFree=4097984/4192956
[pid=1716] ppid=1714 vsize=303872 CPUtime=1582.87
/proc/1716/stat : 1716 (casperzao) R 1714 1716 31254 0 -1 4194304 98261 0 0 0 158233 54 0 0 25 0 1 0 1551376157 311164928 6580 996147200 134512640 135477443 4294956224 18446744073709551615 135268511 0 0 4096 0 0 0 0 17 1 0 0
/proc/1716/statm: 75968 6580 459 235 0 74669 0
Current children cumulated CPU time (s) 1582.87
Current children cumulated vsize (KiB) 303872

[startup+1662.3 s]
/proc/loadavg: 2.00 1.97 1.99 3/95 1776
/proc/meminfo: memFree=1363928/2055920 swapFree=4097984/4192956
[pid=1716] ppid=1714 vsize=303872 CPUtime=1641.71
/proc/1716/stat : 1716 (casperzao) R 1714 1716 31254 0 -1 4194304 98267 0 0 0 164117 54 0 0 25 0 1 0 1551376157 311164928 6586 996147200 134512640 135477443 4294956224 18446744073709551615 134586795 0 0 4096 0 0 0 0 17 1 0 0
/proc/1716/statm: 75968 6586 459 235 0 74669 0
Current children cumulated CPU time (s) 1641.71
Current children cumulated vsize (KiB) 303872

[startup+1722.3 s]
/proc/loadavg: 2.00 1.97 1.99 3/95 1776
/proc/meminfo: memFree=1363864/2055920 swapFree=4097984/4192956
[pid=1716] ppid=1714 vsize=303872 CPUtime=1700.54
/proc/1716/stat : 1716 (casperzao) R 1714 1716 31254 0 -1 4194304 98286 0 0 0 170000 54 0 0 25 0 1 0 1551376157 311164928 6605 996147200 134512640 135477443 4294956224 18446744073709551615 135269552 0 0 4096 0 0 0 0 17 1 0 0
/proc/1716/statm: 75968 6605 459 235 0 74669 0
Current children cumulated CPU time (s) 1700.54
Current children cumulated vsize (KiB) 303872

[startup+1782.3 s]
/proc/loadavg: 2.00 1.97 1.99 4/95 1776
/proc/meminfo: memFree=1363672/2055920 swapFree=4097984/4192956
[pid=1716] ppid=1714 vsize=303872 CPUtime=1759.38
/proc/1716/stat : 1716 (casperzao) R 1714 1716 31254 0 -1 4194304 98292 0 0 0 175884 54 0 0 25 0 1 0 1551376157 311164928 6611 996147200 134512640 135477443 4294956224 18446744073709551615 134586795 0 0 4096 0 0 0 0 17 1 0 0
/proc/1716/statm: 75968 6611 459 235 0 74669 0
Current children cumulated CPU time (s) 1759.38
Current children cumulated vsize (KiB) 303872



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1823.81 s]
/proc/loadavg: 2.00 1.97 1.99 3/95 1776
/proc/meminfo: memFree=1363736/2055920 swapFree=4097984/4192956
[pid=1716] ppid=1714 vsize=303872 CPUtime=1800.08
/proc/1716/stat : 1716 (casperzao) R 1714 1716 31254 0 -1 4194304 98296 0 0 0 179953 55 0 0 25 0 1 0 1551376157 311164928 6615 996147200 134512640 135477443 4294956224 18446744073709551615 134586795 0 0 4096 0 0 0 0 17 1 0 0
/proc/1716/statm: 75968 6615 459 235 0 74669 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 303872

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): 1823.82
CPU time (s): 1800.09
CPU user time (s): 1799.54
CPU system time (s): 0.555915
CPU usage (%): 98.6992
Max. virtual memory (cumulated for all children) (KiB): 303872

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.54
system time used= 0.555915
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 98296
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= 52862

runsolver used 1.9887 second user time and 5.41518 second system time

The end

Launcher Data (download as text)

Begin job on node32 at 2008-07-05 02:17:20
IDJOB=1081452
IDBENCH=57104
IDSOLVER=361
FILE ID=node32/1081452-1215217040
PBS_JOBID= 7881699
Free space on /tmp= 66436 MiB

SOLVER NAME= casper zao
BENCH NAME= CPAI08/csp/queensKnights/normalized-queensKnights-80-5-add.xml
COMMAND LINE= HOME/casperzao BENCHNAME RANDOMSEED 
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1081452-1215217040/watcher-1081452-1215217040 -o /tmp/evaluation-result-1081452-1215217040/solver-1081452-1215217040 -C 1800 -W 2200 -M 900 --output-limit 1,15  HOME/casperzao HOME/instance-1081452-1215217040.xml 1159458247 

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB

MD5SUM BENCH= 4a9833fa42d0a0932d635fb3733fa969
RANDOM SEED=1159458247

node32.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.218
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.218
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:       1420200 kB
Buffers:         71444 kB
Cached:         286788 kB
SwapCached:      88256 kB
Active:         396700 kB
Inactive:       180032 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1420200 kB
SwapTotal:     4192956 kB
SwapFree:      4097984 kB
Dirty:            3264 kB
Writeback:           0 kB
Mapped:         231812 kB
Slab:            43628 kB
Committed_AS:  4140080 kB
PageTables:       2320 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= 66416 MiB
End job on node32 at 2008-07-05 02:47:46