Trace number 2080492

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
pcs 0.3.2? (TO) 1800.17 1806.07

General information on the benchmark

Namecsp/queensKnights/
normalized-queensKnights-15-5-add.xml
MD5SUMf79a29efc9f65a8d195d10c1647254fc
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 benchmark1.00785
Satisfiable
(Un)Satisfiability was proved
Number of variables20
Number of constraints115
Maximum constraint arity2
Maximum domain size225
Number of constraints which are defined in extension0
Number of constraints which are defined in intension115
Global constraints used (with number of constraints)

Solver Data 

0.00/0.01	c has big domains
0.00/0.01	c big-domain mode
0.18/0.21	c Seed is 1636092020
0.18/0.21	c Constructing HOME/instance-2080492-1247717799.xml 
0.18/0.21	c deduced all_different(V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V0)
0.18/0.21	c  with 561 constraints
0.18/0.21	c Solving

Verifier Data 

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

Watcher Data 

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

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.17 2.11 2.03 4/72 12868
/proc/meminfo: memFree=1324128/2055920 swapFree=4192812/4192956
[pid=12868] ppid=12866 vsize=5356 CPUtime=0
/proc/12868/stat : 12868 (pcssolve) R 12866 12868 11570 0 -1 4194304 290 0 0 0 0 0 0 0 21 0 1 0 58846742 5484544 241 996147200 4194304 4889804 548682068800 18446744073709551615 237788261023 0 65538 4100 65536 0 0 0 17 1 0 0
/proc/12868/statm: 1339 241 200 169 0 50 0
[pid=12869] ppid=12868 vsize=0 CPUtime=0
/proc/12869/stat : 12869 (fgrep) R 12868 12868 11570 0 -1 4194308 150 0 0 0 0 0 0 0 22 0 1 0 58846742 0 0 996147200 0 0 0 0 0 0 0 4096 0 0 0 0 17 1 0 0
/proc/12869/statm: 0 0 0 0 0 0 0
[pid=12870] ppid=12868 vsize=5356 CPUtime=0
/proc/12870/stat : 12870 (pcssolve) R 12868 12868 11570 0 -1 4194368 0 0 0 0 0 0 0 0 21 0 1 0 58846742 5484544 241 996147200 4194304 4889804 548682068800 18446744073709551615 237788261023 0 65538 4100 65536 0 0 0 17 1 0 0
/proc/12870/statm: 1339 241 200 169 0 50 0

[startup+0.0838001 s]
/proc/loadavg: 2.17 2.11 2.03 4/72 12868
/proc/meminfo: memFree=1324128/2055920 swapFree=4192812/4192956
[pid=12868] ppid=12866 vsize=5188 CPUtime=0.06
/proc/12868/stat : 12868 (pcs.big) R 12866 12868 11570 0 -1 4194304 1004 647 0 0 6 0 0 0 18 0 1 0 58846742 5312512 635 996147200 134512640 135215973 4294956304 18446744073709551615 134533327 0 0 4096 0 0 0 0 17 1 0 0
/proc/12868/statm: 1297 635 421 171 0 222 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 5188

[startup+0.102798 s]
/proc/loadavg: 2.17 2.11 2.03 4/72 12868
/proc/meminfo: memFree=1324128/2055920 swapFree=4192812/4192956
[pid=12868] ppid=12866 vsize=5188 CPUtime=0.08
/proc/12868/stat : 12868 (pcs.big) R 12866 12868 11570 0 -1 4194304 1010 647 0 0 8 0 0 0 18 0 1 0 58846742 5312512 641 996147200 134512640 135215973 4294956304 18446744073709551615 134599858 0 0 4096 0 0 0 0 17 1 0 0
/proc/12868/statm: 1297 641 422 171 0 222 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 5188

[startup+0.301834 s]
/proc/loadavg: 2.17 2.11 2.03 4/72 12868
/proc/meminfo: memFree=1324128/2055920 swapFree=4192812/4192956
[pid=12868] ppid=12866 vsize=5372 CPUtime=0.28
/proc/12868/stat : 12868 (pcs.big) R 12866 12868 11570 0 -1 4194304 1027 647 0 0 28 0 0 0 19 0 1 0 58846742 5500928 658 996147200 134512640 135215973 4294956304 18446744073709551615 134583589 0 0 4096 0 0 0 0 17 1 0 0
/proc/12868/statm: 1343 658 422 171 0 268 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 5372

[startup+0.701908 s]
/proc/loadavg: 2.17 2.11 2.03 4/72 12868
/proc/meminfo: memFree=1324128/2055920 swapFree=4192812/4192956
[pid=12868] ppid=12866 vsize=5628 CPUtime=0.67
/proc/12868/stat : 12868 (pcs.big) R 12866 12868 11570 0 -1 4194304 1100 647 0 0 67 0 0 0 23 0 1 0 58846742 5763072 731 996147200 134512640 135215973 4294956304 18446744073709551615 134591595 0 0 4096 0 0 0 0 17 1 0 0
/proc/12868/statm: 1407 731 422 171 0 332 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 5628

[startup+1.50206 s]
/proc/loadavg: 2.17 2.11 2.03 3/73 12873
/proc/meminfo: memFree=1321816/2055920 swapFree=4192812/4192956
[pid=12868] ppid=12866 vsize=6536 CPUtime=1.46
/proc/12868/stat : 12868 (pcs.big) R 12866 12868 11570 0 -1 4194304 1328 647 0 0 146 0 0 0 25 0 1 0 58846742 6692864 959 996147200 134512640 135215973 4294956304 18446744073709551615 134585819 0 0 4096 0 0 0 0 17 1 0 0
/proc/12868/statm: 1634 959 422 171 0 559 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 6536

[startup+3.10135 s]
/proc/loadavg: 2.17 2.11 2.03 3/73 12873
/proc/meminfo: memFree=1320088/2055920 swapFree=4192812/4192956
[pid=12868] ppid=12866 vsize=7828 CPUtime=3.05
/proc/12868/stat : 12868 (pcs.big) R 12866 12868 11570 0 -1 4194304 1669 647 0 0 305 0 0 0 25 0 1 0 58846742 8015872 1267 996147200 134512640 135215973 4294956304 18446744073709551615 134583202 0 0 4096 0 0 0 0 17 1 0 0
/proc/12868/statm: 1957 1267 422 171 0 882 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 7828

[startup+6.30294 s]
/proc/loadavg: 2.16 2.11 2.03 3/73 12873
/proc/meminfo: memFree=1315288/2055920 swapFree=4192812/4192956
[pid=12868] ppid=12866 vsize=10556 CPUtime=6.22
/proc/12868/stat : 12868 (pcs.big) R 12866 12868 11570 0 -1 4194304 2375 647 0 0 621 1 0 0 25 0 1 0 58846742 10809344 1908 996147200 134512640 135215973 4294956304 18446744073709551615 134533062 0 0 4096 0 0 0 0 17 1 0 0
/proc/12868/statm: 2639 1908 422 171 0 1564 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 10556

[startup+12.7011 s]
/proc/loadavg: 2.14 2.11 2.03 3/73 12873
/proc/meminfo: memFree=1308384/2055920 swapFree=4192812/4192956
[pid=12868] ppid=12866 vsize=14456 CPUtime=12.57
/proc/12868/stat : 12868 (pcs.big) R 12866 12868 11570 0 -1 4194304 3404 647 0 0 1255 2 0 0 25 0 1 0 58846742 14802944 2904 996147200 134512640 135215973 4294956304 18446744073709551615 134648449 0 0 4096 0 0 0 0 17 1 0 0
/proc/12868/statm: 3614 2904 422 171 0 2539 0
Current children cumulated CPU time (s) 12.57
Current children cumulated vsize (KiB) 14456

[startup+25.5015 s]
/proc/loadavg: 2.11 2.10 2.03 3/73 12873
/proc/meminfo: memFree=1297312/2055920 swapFree=4192812/4192956
[pid=12868] ppid=12866 vsize=20444 CPUtime=25.26
/proc/12868/stat : 12868 (pcs.big) R 12866 12868 11570 0 -1 4194304 5002 647 0 0 2523 3 0 0 25 0 1 0 58846742 20934656 4308 996147200 134512640 135215973 4294956304 18446744073709551615 134648297 0 0 4096 0 0 0 0 17 1 0 0
/proc/12868/statm: 5111 4308 422 171 0 4036 0
Current children cumulated CPU time (s) 25.26
Current children cumulated vsize (KiB) 20444

[startup+51.1012 s]
/proc/loadavg: 2.07 2.10 2.03 3/73 12873
/proc/meminfo: memFree=1276704/2055920 swapFree=4192812/4192956
[pid=12868] ppid=12866 vsize=28636 CPUtime=50.63
/proc/12868/stat : 12868 (pcs.big) R 12866 12868 11570 0 -1 4194304 7202 647 0 0 5058 5 0 0 25 0 1 0 58846742 29323264 6379 996147200 134512640 135215973 4294956304 18446744073709551615 134583640 0 0 4096 0 0 0 0 17 1 0 0
/proc/12868/statm: 7159 6379 422 171 0 6084 0
Current children cumulated CPU time (s) 50.63
Current children cumulated vsize (KiB) 28636

[startup+102.307 s]
/proc/loadavg: 2.03 2.08 2.02 3/73 12873
/proc/meminfo: memFree=1227872/2055920 swapFree=4192812/4192956
[pid=12868] ppid=12866 vsize=54144 CPUtime=101.39
/proc/12868/stat : 12868 (pcs.big) R 12866 12868 11570 0 -1 4194304 14137 647 0 0 10129 10 0 0 25 0 1 0 58846742 55443456 12287 996147200 134512640 135215973 4294956304 18446744073709551615 134603545 0 0 4096 0 0 0 0 17 1 0 0
/proc/12868/statm: 13536 12287 422 171 0 12461 0
Current children cumulated CPU time (s) 101.39
Current children cumulated vsize (KiB) 54144

[startup+162.302 s]
/proc/loadavg: 2.01 2.06 2.02 3/73 12873
/proc/meminfo: memFree=1179808/2055920 swapFree=4192812/4192956
[pid=12868] ppid=12866 vsize=75348 CPUtime=160.86
/proc/12868/stat : 12868 (pcs.big) R 12866 12868 11570 0 -1 4194304 19873 647 0 0 16072 14 0 0 25 0 1 0 58846742 77156352 18023 996147200 134512640 135215973 4294956304 18446744073709551615 134597340 0 0 4096 0 0 0 0 17 1 0 0
/proc/12868/statm: 18837 18023 422 171 0 17762 0
Current children cumulated CPU time (s) 160.86
Current children cumulated vsize (KiB) 75348

[startup+222.302 s]
/proc/loadavg: 2.00 2.05 2.01 3/73 12873
/proc/meminfo: memFree=1141728/2055920 swapFree=4192812/4192956
[pid=12868] ppid=12866 vsize=98272 CPUtime=220.33
/proc/12868/stat : 12868 (pcs.big) R 12866 12868 11570 0 -1 4194304 25861 647 0 0 22013 20 0 0 25 0 1 0 58846742 100630528 22473 996147200 134512640 135215973 4294956304 18446744073709551615 134591129 0 0 4096 0 0 0 0 17 1 0 0
/proc/12868/statm: 24568 22473 422 171 0 23493 0
Current children cumulated CPU time (s) 220.33
Current children cumulated vsize (KiB) 98272

[startup+282.302 s]
/proc/loadavg: 2.00 2.04 2.01 3/73 12873
/proc/meminfo: memFree=1112224/2055920 swapFree=4192812/4192956
[pid=12868] ppid=12866 vsize=110084 CPUtime=279.8
/proc/12868/stat : 12868 (pcs.big) R 12866 12868 11570 0 -1 4194304 29056 647 0 0 27956 24 0 0 25 0 1 0 58846742 112726016 25668 996147200 134512640 135215973 4294956304 18446744073709551615 134609802 0 0 4096 0 0 0 0 17 1 0 0
/proc/12868/statm: 27521 25668 422 171 0 26446 0
Current children cumulated CPU time (s) 279.8
Current children cumulated vsize (KiB) 110084

[startup+342.302 s]
/proc/loadavg: 2.00 2.03 2.00 3/73 12873
/proc/meminfo: memFree=1083040/2055920 swapFree=4192812/4192956
[pid=12868] ppid=12866 vsize=121644 CPUtime=339.28
/proc/12868/stat : 12868 (pcs.big) R 12866 12868 11570 0 -1 4194304 32148 647 0 0 33899 29 0 0 25 0 1 0 58846742 124563456 28760 996147200 134512640 135215973 4294956304 18446744073709551615 134597637 0 0 4096 0 0 0 0 17 1 0 0
/proc/12868/statm: 30411 28760 422 171 0 29336 0
Current children cumulated CPU time (s) 339.28
Current children cumulated vsize (KiB) 121644

[startup+402.303 s]
/proc/loadavg: 2.00 2.02 2.00 3/73 12873
/proc/meminfo: memFree=1056160/2055920 swapFree=4192812/4192956
[pid=12868] ppid=12866 vsize=132188 CPUtime=398.74
/proc/12868/stat : 12868 (pcs.big) R 12866 12868 11570 0 -1 4194304 35004 647 0 0 39843 31 0 0 25 0 1 0 58846742 135360512 31616 996147200 134512640 135215973 4294956304 18446744073709551615 134599868 0 0 4096 0 0 0 0 17 1 0 0
/proc/12868/statm: 33047 31616 422 171 0 31972 0
Current children cumulated CPU time (s) 398.74
Current children cumulated vsize (KiB) 132188

[startup+462.302 s]
/proc/loadavg: 2.00 2.02 2.00 3/73 12873
/proc/meminfo: memFree=1027232/2055920 swapFree=4192812/4192956
[pid=12868] ppid=12866 vsize=143056 CPUtime=458.22
/proc/12868/stat : 12868 (pcs.big) R 12866 12868 11570 0 -1 4194304 38021 647 0 0 45788 34 0 0 25 0 1 0 58846742 146489344 34633 996147200 134512640 135215973 4294956304 18446744073709551615 4158960185 0 0 4096 0 0 0 0 17 1 0 0
/proc/12868/statm: 35764 34633 422 171 0 34689 0
Current children cumulated CPU time (s) 458.22
Current children cumulated vsize (KiB) 143056

[startup+522.302 s]
/proc/loadavg: 2.00 2.01 2.00 3/73 12873
/proc/meminfo: memFree=997984/2055920 swapFree=4192812/4192956
[pid=12868] ppid=12866 vsize=153896 CPUtime=517.7
/proc/12868/stat : 12868 (pcs.big) R 12866 12868 11570 0 -1 4194304 41033 647 0 0 51731 39 0 0 25 0 1 0 58846742 157589504 37645 996147200 134512640 135215973 4294956304 18446744073709551615 134687067 0 0 4096 0 0 0 0 17 1 0 0
/proc/12868/statm: 38474 37645 422 171 0 37399 0
Current children cumulated CPU time (s) 517.7
Current children cumulated vsize (KiB) 153896

[startup+582.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 12873
/proc/meminfo: memFree=961760/2055920 swapFree=4192812/4192956
[pid=12868] ppid=12866 vsize=173192 CPUtime=577.15
/proc/12868/stat : 12868 (pcs.big) R 12866 12868 11570 0 -1 4194304 46158 647 0 0 57672 43 0 0 25 0 1 0 58846742 177348608 40721 996147200 134512640 135215973 4294956304 18446744073709551615 134583312 0 0 4096 0 0 0 0 17 1 0 0
/proc/12868/statm: 43298 40721 422 171 0 42223 0
Current children cumulated CPU time (s) 577.15
Current children cumulated vsize (KiB) 173192

[startup+642.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 12904
/proc/meminfo: memFree=1047776/2055920 swapFree=4192812/4192956
[pid=12868] ppid=12866 vsize=191308 CPUtime=636.91

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

[startup+822.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 12904
/proc/meminfo: memFree=1008672/2055920 swapFree=4192812/4192956
[pid=12868] ppid=12866 vsize=225624 CPUtime=816.82
/proc/12868/stat : 12868 (pcs.big) R 12866 12868 11570 0 -1 4194304 60391 647 0 0 81626 56 0 0 25 0 1 0 58846742 231038976 53929 996147200 134512640 135215973 4294956304 18446744073709551615 134584619 0 0 4096 0 0 0 0 17 0 0 0
/proc/12868/statm: 56406 53929 422 171 0 55331 0
Current children cumulated CPU time (s) 816.82
Current children cumulated vsize (KiB) 225624

[startup+882.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 12904
/proc/meminfo: memFree=995296/2055920 swapFree=4192812/4192956
[pid=12868] ppid=12866 vsize=237636 CPUtime=876.8
/proc/12868/stat : 12868 (pcs.big) R 12866 12868 11570 0 -1 4194304 63704 647 0 0 87621 59 0 0 25 0 1 0 58846742 243339264 57242 996147200 134512640 135215973 4294956304 18446744073709551615 134585168 0 0 4096 0 0 0 0 17 0 0 0
/proc/12868/statm: 59409 57242 422 171 0 58334 0
Current children cumulated CPU time (s) 876.8
Current children cumulated vsize (KiB) 237636

[startup+942.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 12904
/proc/meminfo: memFree=980768/2055920 swapFree=4192812/4192956
[pid=12868] ppid=12866 vsize=250156 CPUtime=936.78
/proc/12868/stat : 12868 (pcs.big) R 12866 12868 11570 0 -1 4194304 67155 647 0 0 93616 62 0 0 25 0 1 0 58846742 256159744 60693 996147200 134512640 135215973 4294956304 18446744073709551615 134648275 0 0 4096 0 0 0 0 17 0 0 0
/proc/12868/statm: 62539 60693 422 171 0 61464 0
Current children cumulated CPU time (s) 936.78
Current children cumulated vsize (KiB) 250156

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 12904
/proc/meminfo: memFree=965664/2055920 swapFree=4192812/4192956
[pid=12868] ppid=12866 vsize=263312 CPUtime=996.74
/proc/12868/stat : 12868 (pcs.big) R 12866 12868 11570 0 -1 4194304 70731 647 0 0 99610 64 0 0 25 0 1 0 58846742 269631488 64269 996147200 134512640 135215973 4294956304 18446744073709551615 134597390 0 0 4096 0 0 0 0 17 0 0 0
/proc/12868/statm: 65828 64269 422 171 0 64753 0
Current children cumulated CPU time (s) 996.74
Current children cumulated vsize (KiB) 263312

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 12904
/proc/meminfo: memFree=951136/2055920 swapFree=4192812/4192956
[pid=12868] ppid=12866 vsize=274784 CPUtime=1056.72
/proc/12868/stat : 12868 (pcs.big) R 12866 12868 11570 0 -1 4194304 73914 647 0 0 105604 68 0 0 25 0 1 0 58846742 281378816 67452 996147200 134512640 135215973 4294956304 18446744073709551615 134599868 0 0 4096 0 0 0 0 17 0 0 0
/proc/12868/statm: 68696 67452 422 171 0 67621 0
Current children cumulated CPU time (s) 1056.72
Current children cumulated vsize (KiB) 274784

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 12904
/proc/meminfo: memFree=938080/2055920 swapFree=4192812/4192956
[pid=12868] ppid=12866 vsize=302972 CPUtime=1116.69
/proc/12868/stat : 12868 (pcs.big) R 12866 12868 11570 0 -1 4194304 81212 647 0 0 111595 74 0 0 25 0 1 0 58846742 310243328 70653 996147200 134512640 135215973 4294956304 18446744073709551615 134609802 0 0 4096 0 0 0 0 17 0 0 0
/proc/12868/statm: 75743 70653 422 171 0 74668 0
Current children cumulated CPU time (s) 1116.69
Current children cumulated vsize (KiB) 302972

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 12904
/proc/meminfo: memFree=924320/2055920 swapFree=4192812/4192956
[pid=12868] ppid=12866 vsize=315388 CPUtime=1176.66
/proc/12868/stat : 12868 (pcs.big) R 12866 12868 11570 0 -1 4194304 84648 647 0 0 117590 76 0 0 25 0 1 0 58846742 322957312 74089 996147200 134512640 135215973 4294956304 18446744073709551615 4158960089 0 0 4096 0 0 0 0 17 0 0 0
/proc/12868/statm: 78847 74089 422 171 0 77772 0
Current children cumulated CPU time (s) 1176.66
Current children cumulated vsize (KiB) 315388

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 12904
/proc/meminfo: memFree=910880/2055920 swapFree=4192812/4192956
[pid=12868] ppid=12866 vsize=327540 CPUtime=1236.63
/proc/12868/stat : 12868 (pcs.big) R 12866 12868 11570 0 -1 4194304 87938 647 0 0 123583 80 0 0 25 0 1 0 58846742 335400960 77379 996147200 134512640 135215973 4294956304 18446744073709551615 3040891 0 0 4096 0 0 0 0 17 0 0 0
/proc/12868/statm: 81885 77379 422 171 0 80810 0
Current children cumulated CPU time (s) 1236.63
Current children cumulated vsize (KiB) 327540

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 12904
/proc/meminfo: memFree=898464/2055920 swapFree=4192812/4192956
[pid=12868] ppid=12866 vsize=338624 CPUtime=1296.61
/proc/12868/stat : 12868 (pcs.big) R 12866 12868 11570 0 -1 4194304 90953 647 0 0 129577 84 0 0 25 0 1 0 58846742 346750976 80394 996147200 134512640 135215973 4294956304 18446744073709551615 4158960080 0 0 4096 0 0 0 0 17 0 0 0
/proc/12868/statm: 84656 80394 422 171 0 83581 0
Current children cumulated CPU time (s) 1296.61
Current children cumulated vsize (KiB) 338624

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 12904
/proc/meminfo: memFree=887072/2055920 swapFree=4192812/4192956
[pid=12868] ppid=12866 vsize=349084 CPUtime=1356.59
/proc/12868/stat : 12868 (pcs.big) R 12866 12868 11570 0 -1 4194304 93807 647 0 0 135572 87 0 0 25 0 1 0 58846742 357462016 83248 996147200 134512640 135215973 4294956304 18446744073709551615 134648311 0 0 4096 0 0 0 0 17 0 0 0
/proc/12868/statm: 87271 83248 422 171 0 86196 0
Current children cumulated CPU time (s) 1356.59
Current children cumulated vsize (KiB) 349084

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 12904
/proc/meminfo: memFree=874400/2055920 swapFree=4192812/4192956
[pid=12868] ppid=12866 vsize=360568 CPUtime=1416.56
/proc/12868/stat : 12868 (pcs.big) R 12866 12868 11570 0 -1 4194304 96903 647 0 0 141566 90 0 0 25 0 1 0 58846742 369221632 86344 996147200 134512640 135215973 4294956304 18446744073709551615 134609802 0 0 4096 0 0 0 0 17 0 0 0
/proc/12868/statm: 90142 86344 422 171 0 89067 0
Current children cumulated CPU time (s) 1416.56
Current children cumulated vsize (KiB) 360568

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 12904
/proc/meminfo: memFree=861984/2055920 swapFree=4192812/4192956
[pid=12868] ppid=12866 vsize=371656 CPUtime=1476.53
/proc/12868/stat : 12868 (pcs.big) R 12866 12868 11570 0 -1 4194304 99995 647 0 0 147558 95 0 0 25 0 1 0 58846742 380575744 89436 996147200 134512640 135215973 4294956304 18446744073709551615 134609800 0 0 4096 0 0 0 0 17 0 0 0
/proc/12868/statm: 92914 89436 422 171 0 91839 0
Current children cumulated CPU time (s) 1476.53
Current children cumulated vsize (KiB) 371656

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 12904
/proc/meminfo: memFree=850528/2055920 swapFree=4192812/4192956
[pid=12868] ppid=12866 vsize=382120 CPUtime=1536.5
/proc/12868/stat : 12868 (pcs.big) R 12866 12868 11570 0 -1 4194304 102834 647 0 0 153553 97 0 0 25 0 1 0 58846742 391290880 92275 996147200 134512640 135215973 4294956304 18446744073709551615 134591029 0 0 4096 0 0 0 0 17 0 0 0
/proc/12868/statm: 95530 92275 422 171 0 94455 0
Current children cumulated CPU time (s) 1536.5
Current children cumulated vsize (KiB) 382120

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 12904
/proc/meminfo: memFree=839264/2055920 swapFree=4192812/4192956
[pid=12868] ppid=12866 vsize=392416 CPUtime=1596.47
/proc/12868/stat : 12868 (pcs.big) R 12866 12868 11570 0 -1 4194304 105644 647 0 0 159548 99 0 0 25 0 1 0 58846742 401833984 95085 996147200 134512640 135215973 4294956304 18446744073709551615 134591029 0 0 4096 0 0 0 0 17 0 0 0
/proc/12868/statm: 98104 95085 422 171 0 97029 0
Current children cumulated CPU time (s) 1596.47
Current children cumulated vsize (KiB) 392416

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 12904
/proc/meminfo: memFree=828576/2055920 swapFree=4192812/4192956
[pid=12868] ppid=12866 vsize=402160 CPUtime=1656.45
/proc/12868/stat : 12868 (pcs.big) R 12866 12868 11570 0 -1 4194304 108281 647 0 0 165543 102 0 0 25 0 1 0 58846742 411811840 97722 996147200 134512640 135215973 4294956304 18446744073709551615 134584968 0 0 4096 0 0 0 0 17 0 0 0
/proc/12868/statm: 100540 97722 422 171 0 99465 0
Current children cumulated CPU time (s) 1656.45
Current children cumulated vsize (KiB) 402160

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 12904
/proc/meminfo: memFree=818848/2055920 swapFree=4192812/4192956
[pid=12868] ppid=12866 vsize=431736 CPUtime=1716.42
/proc/12868/stat : 12868 (pcs.big) R 12866 12868 11570 0 -1 4194304 115849 647 0 0 171536 106 0 0 25 0 1 0 58846742 442097664 103241 996147200 134512640 135215973 4294956304 18446744073709551615 134609800 0 0 4096 0 0 0 0 17 0 0 0
/proc/12868/statm: 107934 103241 422 171 0 106859 0
Current children cumulated CPU time (s) 1716.42
Current children cumulated vsize (KiB) 431736

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 12904
/proc/meminfo: memFree=801376/2055920 swapFree=4192812/4192956
[pid=12868] ppid=12866 vsize=435780 CPUtime=1776.39
/proc/12868/stat : 12868 (pcs.big) R 12866 12868 11570 0 -1 4194304 117074 647 0 0 177532 107 0 0 25 0 1 0 58846742 446238720 104466 996147200 134512640 135215973 4294956304 18446744073709551615 134590075 0 0 4096 0 0 0 0 17 0 0 0
/proc/12868/statm: 108945 104466 422 171 0 107870 0
Current children cumulated CPU time (s) 1776.39
Current children cumulated vsize (KiB) 435780



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1806 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 12904
/proc/meminfo: memFree=797600/2055920 swapFree=4192812/4192956
[pid=12868] ppid=12866 vsize=439172 CPUtime=1800.09
/proc/12868/stat : 12868 (pcs.big) R 12866 12868 11570 0 -1 4194304 118002 647 0 0 179901 108 0 0 25 0 1 0 58846742 449712128 105394 996147200 134512640 135215973 4294956304 18446744073709551615 4158960146 0 0 4096 0 0 0 0 17 0 0 0
/proc/12868/statm: 109793 105394 422 171 0 108718 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 439172

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): 1806.07
CPU time (s): 1800.17
CPU user time (s): 1799.02
CPU system time (s): 1.15482
CPU usage (%): 99.6735
Max. virtual memory (cumulated for all children) (KiB): 439932

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.02
system time used= 1.15482
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 118649
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= 19
involuntary context switches= 17408

runsolver used 2.57061 second user time and 5.45717 second system time

The end

Launcher Data 

Begin job on node24 at 2009-07-16 06:16:39
IDJOB=2080492
IDBENCH=57096
IDSOLVER=733
FILE ID=node24/2080492-1247717799
PBS_JOBID= 9521478
Free space on /tmp= 66412 MiB

SOLVER NAME= pcs 0.2
BENCH NAME= CPAI08/csp/queensKnights/normalized-queensKnights-15-5-add.xml
COMMAND LINE= HOME/pcssolve -s RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2080492-1247717799/watcher-2080492-1247717799 -o /tmp/evaluation-result-2080492-1247717799/solver-2080492-1247717799 -C 1800 -W 2000 -M 900  HOME/pcssolve -s 1636092020 HOME/instance-2080492-1247717799.xml

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

MD5SUM BENCH= f79a29efc9f65a8d195d10c1647254fc
RANDOM SEED=1636092020

node24.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.287
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.287
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:       1324608 kB
Buffers:         90644 kB
Cached:         521628 kB
SwapCached:          0 kB
Active:         214936 kB
Inactive:       426444 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1324608 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            3712 kB
Writeback:           0 kB
Mapped:          40720 kB
Slab:            75300 kB
Committed_AS:   549992 kB
PageTables:       1804 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= 66408 MiB
End job on node24 at 2009-07-16 06:46:47