Trace number 2091404

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.05 1809.42

General information on the benchmark

Namecsp/rand-2-40-19-fcd/
normalized-rand-2-40-19-443-230-fcd-2_ext.xml
MD5SUMf2851c1f0a286bb8918bbee02c016745
Bench Category2-ARY-EXT (binary constraints in extension)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark14.4538
Satisfiable
(Un)Satisfiability was proved
Number of variables40
Number of constraints330
Maximum constraint arity2
Maximum domain size19
Number of constraints which are defined in extension330
Number of constraints which are defined in intension0
Global constraints used (with number of constraints)

Solver Data 

0.00/0.01	c small-domain mode
0.18/0.21	c Seed is 1102020647
0.18/0.21	c Constructing HOME/instance-2091404-1247732531.xml  with 6220 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-2091404-1247732531/watcher-2091404-1247732531 -o /tmp/evaluation-result-2091404-1247732531/solver-2091404-1247732531 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 1102020647 HOME/instance-2091404-1247732531.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.01 2.00 2.00 4/72 15700
/proc/meminfo: memFree=1589792/2055920 swapFree=4191900/4192956
[pid=15700] ppid=15698 vsize=5356 CPUtime=0
/proc/15700/stat : 15700 (pcssolve) R 15698 15700 14524 0 -1 4194304 273 0 0 0 0 0 0 0 20 0 1 0 60319266 5484544 241 996147200 4194304 4889804 548682068800 18446744073709551615 221780699807 0 65538 4100 65536 0 0 0 17 1 0 0
/proc/15700/statm: 1339 241 200 169 0 50 0
[pid=15701] ppid=15700 vsize=5356 CPUtime=0
/proc/15701/stat : 15701 (pcssolve) R 15700 15700 14524 0 -1 4194368 0 0 0 0 0 0 0 0 20 0 1 0 60319266 5484544 241 996147200 4194304 4889804 548682068800 18446744073709551615 221780699807 0 65538 4100 65536 0 0 0 17 1 0 0
/proc/15701/statm: 1339 241 200 169 0 50 0

[startup+0.109993 s]
/proc/loadavg: 2.01 2.00 2.00 4/72 15700
/proc/meminfo: memFree=1589792/2055920 swapFree=4191900/4192956
[pid=15700] ppid=15698 vsize=6352 CPUtime=0.08
/proc/15700/stat : 15700 (pcs.small) R 15698 15700 14524 0 -1 4194304 1343 822 0 0 8 0 0 0 18 0 1 0 60319266 6504448 919 996147200 134512640 135095119 4294956304 18446744073709551615 4560798 0 0 4096 0 0 0 0 17 1 0 0
/proc/15700/statm: 1588 919 385 142 0 542 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 6352

[startup+0.203004 s]
/proc/loadavg: 2.01 2.00 2.00 4/72 15700
/proc/meminfo: memFree=1589792/2055920 swapFree=4191900/4192956
[pid=15700] ppid=15698 vsize=6352 CPUtime=0.18
/proc/15700/stat : 15700 (pcs.small) R 15698 15700 14524 0 -1 4194304 1349 822 0 0 18 0 0 0 18 0 1 0 60319266 6504448 925 996147200 134512640 135095119 4294956304 18446744073709551615 134643061 0 0 4096 0 0 0 0 17 1 0 0
/proc/15700/statm: 1588 925 390 142 0 542 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 6352

[startup+0.303007 s]
/proc/loadavg: 2.01 2.00 2.00 4/72 15700
/proc/meminfo: memFree=1589792/2055920 swapFree=4191900/4192956
[pid=15700] ppid=15698 vsize=6352 CPUtime=0.28
/proc/15700/stat : 15700 (pcs.small) R 15698 15700 14524 0 -1 4194304 1352 822 0 0 28 0 0 0 19 0 1 0 60319266 6504448 928 996147200 134512640 135095119 4294956304 18446744073709551615 134617205 0 0 4096 0 0 0 0 17 1 0 0
/proc/15700/statm: 1588 928 390 142 0 542 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 6352

[startup+0.701032 s]
/proc/loadavg: 2.01 2.00 2.00 4/72 15700
/proc/meminfo: memFree=1589792/2055920 swapFree=4191900/4192956
[pid=15700] ppid=15698 vsize=6352 CPUtime=0.68
/proc/15700/stat : 15700 (pcs.small) R 15698 15700 14524 0 -1 4194304 1359 822 0 0 68 0 0 0 23 0 1 0 60319266 6504448 935 996147200 134512640 135095119 4294956304 18446744073709551615 134643125 0 0 4096 0 0 0 0 17 1 0 0
/proc/15700/statm: 1588 935 390 142 0 542 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 6352

[startup+1.50208 s]
/proc/loadavg: 2.01 2.00 2.00 3/73 15706
/proc/meminfo: memFree=1587288/2055920 swapFree=4191900/4192956
[pid=15700] ppid=15698 vsize=6608 CPUtime=1.47
/proc/15700/stat : 15700 (pcs.small) R 15698 15700 14524 0 -1 4194304 1436 822 0 0 147 0 0 0 25 0 1 0 60319266 6766592 947 996147200 134512640 135095119 4294956304 18446744073709551615 134582546 0 0 4096 0 0 0 0 17 1 0 0
/proc/15700/statm: 1652 947 390 142 0 606 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 6608

[startup+3.10118 s]
/proc/loadavg: 2.01 2.00 2.00 3/73 15706
/proc/meminfo: memFree=1586840/2055920 swapFree=4191900/4192956
[pid=15700] ppid=15698 vsize=7124 CPUtime=3.06
/proc/15700/stat : 15700 (pcs.small) R 15698 15700 14524 0 -1 4194304 1571 822 0 0 306 0 0 0 25 0 1 0 60319266 7294976 1082 996147200 134512640 135095119 4294956304 18446744073709551615 134642693 0 0 4096 0 0 0 0 17 1 0 0
/proc/15700/statm: 1781 1082 390 142 0 735 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 7124

[startup+6.30139 s]
/proc/loadavg: 2.01 2.00 2.00 3/73 15706
/proc/meminfo: memFree=1585560/2055920 swapFree=4191900/4192956
[pid=15700] ppid=15698 vsize=9196 CPUtime=6.23
/proc/15700/stat : 15700 (pcs.small) R 15698 15700 14524 0 -1 4194304 2236 822 0 0 622 1 0 0 25 0 1 0 60319266 9416704 1489 996147200 134512640 135095119 4294956304 18446744073709551615 134589572 0 0 4096 0 0 0 0 17 1 0 0
/proc/15700/statm: 2299 1489 390 142 0 1253 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 9196

[startup+12.7018 s]
/proc/loadavg: 2.01 2.00 2.00 3/73 15706
/proc/meminfo: memFree=1583128/2055920 swapFree=4191900/4192956
[pid=15700] ppid=15698 vsize=11012 CPUtime=12.57
/proc/15700/stat : 15700 (pcs.small) R 15698 15700 14524 0 -1 4194304 2887 822 0 0 1256 1 0 0 25 0 1 0 60319266 11276288 1883 996147200 134512640 135095119 4294956304 18446744073709551615 134641936 0 0 4096 0 0 0 0 17 1 0 0
/proc/15700/statm: 2753 1883 390 142 0 1707 0
Current children cumulated CPU time (s) 12.57
Current children cumulated vsize (KiB) 11012

[startup+25.5016 s]
/proc/loadavg: 2.01 2.00 2.00 3/73 15706
/proc/meminfo: memFree=1578712/2055920 swapFree=4191900/4192956
[pid=15700] ppid=15698 vsize=16716 CPUtime=25.25
/proc/15700/stat : 15700 (pcs.small) R 15698 15700 14524 0 -1 4194304 4618 822 0 0 2522 3 0 0 25 0 1 0 60319266 17117184 2844 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 1 0 0
/proc/15700/statm: 4179 2844 390 142 0 3133 0
Current children cumulated CPU time (s) 25.25
Current children cumulated vsize (KiB) 16716

[startup+51.1012 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 15706
/proc/meminfo: memFree=1574552/2055920 swapFree=4191900/4192956
[pid=15700] ppid=15698 vsize=18288 CPUtime=50.6
/proc/15700/stat : 15700 (pcs.small) R 15698 15700 14524 0 -1 4194304 5461 822 0 0 5057 3 0 0 25 0 1 0 60319266 18726912 3687 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 1 0 0
/proc/15700/statm: 4572 3687 390 142 0 3526 0
Current children cumulated CPU time (s) 50.6
Current children cumulated vsize (KiB) 18288

[startup+102.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 15706
/proc/meminfo: memFree=1564568/2055920 swapFree=4191900/4192956
[pid=15700] ppid=15698 vsize=29828 CPUtime=101.33
/proc/15700/stat : 15700 (pcs.small) R 15698 15700 14524 0 -1 4194304 8986 822 0 0 10127 6 0 0 25 0 1 0 60319266 30543872 5674 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 1 0 0
/proc/15700/statm: 7457 5674 390 142 0 6411 0
Current children cumulated CPU time (s) 101.33
Current children cumulated vsize (KiB) 29828

[startup+162.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 15706
/proc/meminfo: memFree=1559064/2055920 swapFree=4191900/4192956
[pid=15700] ppid=15698 vsize=31140 CPUtime=160.78
/proc/15700/stat : 15700 (pcs.small) R 15698 15700 14524 0 -1 4194304 9879 822 0 0 16070 8 0 0 25 0 1 0 60319266 31887360 6567 996147200 134512640 135095119 4294956304 18446744073709551615 134589560 0 0 4096 0 0 0 0 17 1 0 0
/proc/15700/statm: 7785 6567 390 142 0 6739 0
Current children cumulated CPU time (s) 160.78
Current children cumulated vsize (KiB) 31140

[startup+222.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 15706
/proc/meminfo: memFree=1552472/2055920 swapFree=4191900/4192956
[pid=15700] ppid=15698 vsize=41960 CPUtime=220.22
/proc/15700/stat : 15700 (pcs.small) R 15698 15700 14524 0 -1 4194304 13105 822 0 0 22012 10 0 0 25 0 1 0 60319266 42967040 7744 996147200 134512640 135095119 4294956304 18446744073709551615 134617201 0 0 4096 0 0 0 0 17 1 0 0
/proc/15700/statm: 10490 7744 390 142 0 9444 0
Current children cumulated CPU time (s) 220.22
Current children cumulated vsize (KiB) 41960

[startup+282.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 15706
/proc/meminfo: memFree=1546392/2055920 swapFree=4191900/4192956
[pid=15700] ppid=15698 vsize=44452 CPUtime=279.65
/proc/15700/stat : 15700 (pcs.small) R 15698 15700 14524 0 -1 4194304 14176 822 0 0 27954 11 0 0 25 0 1 0 60319266 45518848 8815 996147200 134512640 135095119 4294956304 18446744073709551615 134642881 0 0 4096 0 0 0 0 17 1 0 0
/proc/15700/statm: 11113 8815 390 142 0 10067 0
Current children cumulated CPU time (s) 279.65
Current children cumulated vsize (KiB) 44452

[startup+342.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 15706
/proc/meminfo: memFree=1534104/2055920 swapFree=4191900/4192956
[pid=15700] ppid=15698 vsize=56860 CPUtime=339.09
/proc/15700/stat : 15700 (pcs.small) R 15698 15700 14524 0 -1 4194304 17717 822 0 0 33895 14 0 0 25 0 1 0 60319266 58224640 11331 996147200 134512640 135095119 4294956304 18446744073709551615 134589560 0 0 4096 0 0 0 0 17 1 0 0
/proc/15700/statm: 14215 11331 390 142 0 13169 0
Current children cumulated CPU time (s) 339.09
Current children cumulated vsize (KiB) 56860

[startup+402.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 15706
/proc/meminfo: memFree=1530520/2055920 swapFree=4191900/4192956
[pid=15700] ppid=15698 vsize=56860 CPUtime=398.54
/proc/15700/stat : 15700 (pcs.small) R 15698 15700 14524 0 -1 4194304 18102 822 0 0 39839 15 0 0 25 0 1 0 60319266 58224640 11716 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 1 0 0
/proc/15700/statm: 14215 11716 390 142 0 13169 0
Current children cumulated CPU time (s) 398.54
Current children cumulated vsize (KiB) 56860

[startup+462.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 15706
/proc/meminfo: memFree=1527128/2055920 swapFree=4191900/4192956
[pid=15700] ppid=15698 vsize=56860 CPUtime=457.98
/proc/15700/stat : 15700 (pcs.small) R 15698 15700 14524 0 -1 4194304 18468 822 0 0 45783 15 0 0 25 0 1 0 60319266 58224640 12082 996147200 134512640 135095119 4294956304 18446744073709551615 134571101 0 0 4096 0 0 0 0 17 1 0 0
/proc/15700/statm: 14215 12082 390 142 0 13169 0
Current children cumulated CPU time (s) 457.98
Current children cumulated vsize (KiB) 56860

[startup+522.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 15706
/proc/meminfo: memFree=1523608/2055920 swapFree=4191900/4192956
[pid=15700] ppid=15698 vsize=57256 CPUtime=517.43
/proc/15700/stat : 15700 (pcs.small) R 15698 15700 14524 0 -1 4194304 18917 822 0 0 51727 16 0 0 25 0 1 0 60319266 58630144 12531 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 1 0 0
/proc/15700/statm: 14314 12531 390 142 0 13268 0
Current children cumulated CPU time (s) 517.43
Current children cumulated vsize (KiB) 57256

[startup+582.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 15706
/proc/meminfo: memFree=1518552/2055920 swapFree=4191900/4192956
[pid=15700] ppid=15698 vsize=58956 CPUtime=576.86
/proc/15700/stat : 15700 (pcs.small) R 15698 15700 14524 0 -1 4194304 19670 822 0 0 57669 17 0 0 25 0 1 0 60319266 60370944 13284 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 1 0 0
/proc/15700/statm: 14739 13284 390 142 0 13693 0
Current children cumulated CPU time (s) 576.86
Current children cumulated vsize (KiB) 58956

[startup+642.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 15706
/proc/meminfo: memFree=1513880/2055920 swapFree=4191900/4192956
[pid=15700] ppid=15698 vsize=76912 CPUtime=636.3
/proc/15700/stat : 15700 (pcs.small) R 15698 15700 14524 0 -1 4194304 24512 822 0 0 63610 20 0 0 25 0 1 0 60319266 78757888 14029 996147200 134512640 135095119 4294956304 18446744073709551615 134589648 0 0 4096 0 0 0 0 17 1 0 0
/proc/15700/statm: 19228 14029 390 142 0 18182 0
Current children cumulated CPU time (s) 636.3

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

[startup+882.306 s]
/proc/loadavg: 2.02 2.02 2.00 3/73 15706
/proc/meminfo: memFree=1483800/2055920 swapFree=4191900/4192956
[pid=15700] ppid=15698 vsize=83204 CPUtime=874.07
/proc/15700/stat : 15700 (pcs.small) R 15698 15700 14524 0 -1 4194304 27313 822 0 0 87383 24 0 0 25 0 1 0 60319266 85200896 16830 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 1 0 0
/proc/15700/statm: 20801 16830 390 142 0 19755 0
Current children cumulated CPU time (s) 874.07
Current children cumulated vsize (KiB) 83204

[startup+942.303 s]
/proc/loadavg: 2.12 2.04 2.01 3/73 15706
/proc/meminfo: memFree=1480472/2055920 swapFree=4191900/4192956
[pid=15700] ppid=15698 vsize=84784 CPUtime=933.52
/proc/15700/stat : 15700 (pcs.small) R 15698 15700 14524 0 -1 4194304 27969 822 0 0 93326 26 0 0 25 0 1 0 60319266 86818816 17486 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 1 0 0
/proc/15700/statm: 21196 17486 390 142 0 20150 0
Current children cumulated CPU time (s) 933.52
Current children cumulated vsize (KiB) 84784

[startup+1002.3 s]
/proc/loadavg: 1.91 2.00 1.99 3/82 15790
/proc/meminfo: memFree=1549512/2055920 swapFree=4191900/4192956
[pid=15700] ppid=15698 vsize=86224 CPUtime=993.2
/proc/15700/stat : 15700 (pcs.small) R 15698 15700 14524 0 -1 4194304 28636 822 0 0 99292 28 0 0 25 0 1 0 60319266 88293376 18153 996147200 134512640 135095119 4294956304 18446744073709551615 134617205 0 0 4096 0 0 0 0 17 0 0 0
/proc/15700/statm: 21556 18153 390 142 0 20510 0
Current children cumulated CPU time (s) 993.2
Current children cumulated vsize (KiB) 86224

[startup+1062.3 s]
/proc/loadavg: 1.96 2.00 1.99 3/73 15823
/proc/meminfo: memFree=1537880/2055920 swapFree=4191900/4192956
[pid=15700] ppid=15698 vsize=87792 CPUtime=1053.19
/proc/15700/stat : 15700 (pcs.small) R 15698 15700 14524 0 -1 4194304 29314 822 0 0 105289 30 0 0 25 0 1 0 60319266 89899008 18831 996147200 134512640 135095119 4294956304 18446744073709551615 134642970 0 0 4096 0 0 0 0 17 0 0 0
/proc/15700/statm: 21948 18831 390 142 0 20902 0
Current children cumulated CPU time (s) 1053.19
Current children cumulated vsize (KiB) 87792

[startup+1122.3 s]
/proc/loadavg: 1.98 2.00 1.99 3/73 15823
/proc/meminfo: memFree=1514136/2055920 swapFree=4191900/4192956
[pid=15700] ppid=15698 vsize=89104 CPUtime=1113.17
/proc/15700/stat : 15700 (pcs.small) R 15698 15700 14524 0 -1 4194304 29954 822 0 0 111286 31 0 0 25 0 1 0 60319266 91242496 19471 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 0 0 0
/proc/15700/statm: 22276 19471 390 142 0 21230 0
Current children cumulated CPU time (s) 1113.17
Current children cumulated vsize (KiB) 89104

[startup+1182.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/73 15938
/proc/meminfo: memFree=1533336/2055920 swapFree=4191900/4192956
[pid=15700] ppid=15698 vsize=112740 CPUtime=1173.14
/proc/15700/stat : 15700 (pcs.small) R 15698 15700 14524 0 -1 4194304 36131 822 0 0 117278 36 0 0 25 0 1 0 60319266 115445760 23599 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 0 0 0
/proc/15700/statm: 28185 23599 390 142 0 27139 0
Current children cumulated CPU time (s) 1173.14
Current children cumulated vsize (KiB) 112740

[startup+1242.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/73 15938
/proc/meminfo: memFree=1521944/2055920 swapFree=4191900/4192956
[pid=15700] ppid=15698 vsize=112740 CPUtime=1233.12
/proc/15700/stat : 15700 (pcs.small) R 15698 15700 14524 0 -1 4194304 36416 822 0 0 123276 36 0 0 25 0 1 0 60319266 115445760 23884 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 0 0 0
/proc/15700/statm: 28185 23884 390 142 0 27139 0
Current children cumulated CPU time (s) 1233.12
Current children cumulated vsize (KiB) 112740

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 15938
/proc/meminfo: memFree=1510104/2055920 swapFree=4191900/4192956
[pid=15700] ppid=15698 vsize=112740 CPUtime=1293.1
/proc/15700/stat : 15700 (pcs.small) R 15698 15700 14524 0 -1 4194304 36698 822 0 0 129273 37 0 0 25 0 1 0 60319266 115445760 24166 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 0 0 0
/proc/15700/statm: 28185 24166 390 142 0 27139 0
Current children cumulated CPU time (s) 1293.1
Current children cumulated vsize (KiB) 112740

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 15938
/proc/meminfo: memFree=1499544/2055920 swapFree=4191900/4192956
[pid=15700] ppid=15698 vsize=112740 CPUtime=1353.08
/proc/15700/stat : 15700 (pcs.small) R 15698 15700 14524 0 -1 4194304 36971 822 0 0 135270 38 0 0 25 0 1 0 60319266 115445760 24439 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 0 0 0
/proc/15700/statm: 28185 24439 390 142 0 27139 0
Current children cumulated CPU time (s) 1353.08
Current children cumulated vsize (KiB) 112740

[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 15938
/proc/meminfo: memFree=1488600/2055920 swapFree=4191900/4192956
[pid=15700] ppid=15698 vsize=112740 CPUtime=1413.06
/proc/15700/stat : 15700 (pcs.small) R 15698 15700 14524 0 -1 4194304 37239 822 0 0 141268 38 0 0 25 0 1 0 60319266 115445760 24707 996147200 134512640 135095119 4294956304 18446744073709551615 134589560 0 0 4096 0 0 0 0 17 0 0 0
/proc/15700/statm: 28185 24707 390 142 0 27139 0
Current children cumulated CPU time (s) 1413.06
Current children cumulated vsize (KiB) 112740

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 15938
/proc/meminfo: memFree=1478744/2055920 swapFree=4191900/4192956
[pid=15700] ppid=15698 vsize=112740 CPUtime=1473.04
/proc/15700/stat : 15700 (pcs.small) R 15698 15700 14524 0 -1 4194304 37498 822 0 0 147265 39 0 0 25 0 1 0 60319266 115445760 24966 996147200 134512640 135095119 4294956304 18446744073709551615 134589560 0 0 4096 0 0 0 0 17 0 0 0
/proc/15700/statm: 28185 24966 390 142 0 27139 0
Current children cumulated CPU time (s) 1473.04
Current children cumulated vsize (KiB) 112740

[startup+1542.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 15938
/proc/meminfo: memFree=1468056/2055920 swapFree=4191900/4192956
[pid=15700] ppid=15698 vsize=112740 CPUtime=1533.01
/proc/15700/stat : 15700 (pcs.small) R 15698 15700 14524 0 -1 4194304 37757 822 0 0 153262 39 0 0 25 0 1 0 60319266 115445760 25225 996147200 134512640 135095119 4294956304 18446744073709551615 134570821 0 0 4096 0 0 0 0 17 0 0 0
/proc/15700/statm: 28185 25225 390 142 0 27139 0
Current children cumulated CPU time (s) 1533.01
Current children cumulated vsize (KiB) 112740

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 15938
/proc/meminfo: memFree=1458008/2055920 swapFree=4191900/4192956
[pid=15700] ppid=15698 vsize=112740 CPUtime=1592.99
/proc/15700/stat : 15700 (pcs.small) R 15698 15700 14524 0 -1 4194304 38007 822 0 0 159259 40 0 0 25 0 1 0 60319266 115445760 25475 996147200 134512640 135095119 4294956304 18446744073709551615 134589560 0 0 4096 0 0 0 0 17 0 0 0
/proc/15700/statm: 28185 25475 390 142 0 27139 0
Current children cumulated CPU time (s) 1592.99
Current children cumulated vsize (KiB) 112740

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 15938
/proc/meminfo: memFree=1447256/2055920 swapFree=4191900/4192956
[pid=15700] ppid=15698 vsize=112740 CPUtime=1652.97
/proc/15700/stat : 15700 (pcs.small) R 15698 15700 14524 0 -1 4194304 38259 822 0 0 165257 40 0 0 25 0 1 0 60319266 115445760 25727 996147200 134512640 135095119 4294956304 18446744073709551615 134617057 0 0 4096 0 0 0 0 17 0 0 0
/proc/15700/statm: 28185 25727 390 142 0 27139 0
Current children cumulated CPU time (s) 1652.97
Current children cumulated vsize (KiB) 112740

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 15938
/proc/meminfo: memFree=1437336/2055920 swapFree=4191900/4192956
[pid=15700] ppid=15698 vsize=112740 CPUtime=1712.95
/proc/15700/stat : 15700 (pcs.small) R 15698 15700 14524 0 -1 4194304 38503 822 0 0 171255 40 0 0 25 0 1 0 60319266 115445760 25971 996147200 134512640 135095119 4294956304 18446744073709551615 134589560 0 0 4096 0 0 0 0 17 0 0 0
/proc/15700/statm: 28185 25971 390 142 0 27139 0
Current children cumulated CPU time (s) 1712.95
Current children cumulated vsize (KiB) 112740

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 15940
/proc/meminfo: memFree=1426776/2055920 swapFree=4191900/4192956
[pid=15700] ppid=15698 vsize=146556 CPUtime=1772.93
/proc/15700/stat : 15700 (pcs.small) R 15698 15700 14524 0 -1 4194304 47213 822 0 0 177248 45 0 0 25 0 1 0 60319266 150073344 26488 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 0 0 0
/proc/15700/statm: 36639 26488 390 142 0 35593 0
Current children cumulated CPU time (s) 1772.93
Current children cumulated vsize (KiB) 146556



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1809.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 15940
/proc/meminfo: memFree=1421528/2055920 swapFree=4191900/4192956
[pid=15700] ppid=15698 vsize=147088 CPUtime=1800.02
/proc/15700/stat : 15700 (pcs.small) R 15698 15700 14524 0 -1 4194304 47469 822 0 0 179957 45 0 0 25 0 1 0 60319266 150618112 26744 996147200 134512640 135095119 4294956304 18446744073709551615 134589560 0 0 4096 0 0 0 0 17 0 0 0
/proc/15700/statm: 36772 26744 390 142 0 35726 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 147088

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

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

[startup+1809.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 15940
/proc/meminfo: memFree=1421528/2055920 swapFree=4191900/4192956
[pid=15700] ppid=15698 vsize=147088 CPUtime=1800.02
/proc/15700/stat : 15700 (pcs.small) R 15698 15700 14524 0 -1 4194304 47469 822 0 0 179957 45 0 0 25 0 1 0 60319266 150618112 26744 996147200 134512640 135095119 4294956304 18446744073709551615 134589560 0 0 4096 0 0 0 0 17 0 0 0
/proc/15700/statm: 36772 26744 390 142 0 35726 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 147088

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1809.42
CPU time (s): 1800.05
CPU user time (s): 1799.57
CPU system time (s): 0.478927
CPU usage (%): 99.4821
Max. virtual memory (cumulated for all children) (KiB): 178672

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.57
system time used= 0.478927
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 48291
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= 23
involuntary context switches= 23914

runsolver used 2.49762 second user time and 5.69913 second system time

The end

Launcher Data 

Begin job on node29 at 2009-07-16 10:22:11
IDJOB=2091404
IDBENCH=60056
IDSOLVER=733
FILE ID=node29/2091404-1247732531
PBS_JOBID= 9521592
Free space on /tmp= 66320 MiB

SOLVER NAME= pcs 0.2
BENCH NAME= CPAI08/csp/rand-2-40-19-fcd/normalized-rand-2-40-19-443-230-fcd-2_ext.xml
COMMAND LINE= HOME/pcssolve -s RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2091404-1247732531/watcher-2091404-1247732531 -o /tmp/evaluation-result-2091404-1247732531/solver-2091404-1247732531 -C 1800 -W 2000 -M 900  HOME/pcssolve -s 1102020647 HOME/instance-2091404-1247732531.xml

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

MD5SUM BENCH= f2851c1f0a286bb8918bbee02c016745
RANDOM SEED=1102020647

node29.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.225
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.225
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:       1590272 kB
Buffers:         74656 kB
Cached:         260872 kB
SwapCached:        392 kB
Active:         142616 kB
Inactive:       256352 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1590272 kB
SwapTotal:     4192956 kB
SwapFree:      4191900 kB
Dirty:            2100 kB
Writeback:           0 kB
Mapped:          74176 kB
Slab:            51928 kB
Committed_AS:   677500 kB
PageTables:       1960 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= 66320 MiB
End job on node29 at 2009-07-16 10:52:23