Trace number 2083671

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.07 1815.13

General information on the benchmark

Namecsp/fapp/fapp32/
normalized-fapp32-0550-4.xml
MD5SUMb49d49cefe14b8da913a5e29ecc6d023
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 benchmark25.986
Satisfiable
(Un)Satisfiability was proved
Number of variables550
Number of constraints9461
Maximum constraint arity2
Maximum domain size998
Number of constraints which are defined in extension0
Number of constraints which are defined in intension9461
Global constraints used (with number of constraints)

Solver Data 

0.00/0.02	c has big domains
0.00/0.02	c big-domain mode
0.00/0.02	c Seed is 1195753661
0.00/0.02	c Constructing HOME/instance-2083671-1247723529.xml  with 59609 constraints
0.96/1.04	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-2083671-1247723529/watcher-2083671-1247723529 -o /tmp/evaluation-result-2083671-1247723529/solver-2083671-1247723529 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 1195753661 HOME/instance-2083671-1247723529.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.16 2.10 4/82 20268
/proc/meminfo: memFree=759364/2055920 swapFree=4192812/4192956
[pid=20268] ppid=20266 vsize=18576 CPUtime=0
/proc/20268/stat : 20268 (runsolver) R 20266 20268 20231 0 -1 4194368 15 0 0 0 0 0 0 0 20 0 1 0 59417567 19021824 284 996147200 4194304 4302564 548682068496 18446744073709551615 256364834087 0 0 4096 24578 0 0 0 17 1 0 0
/proc/20268/statm: 4644 284 249 26 0 2626 0

[startup+0.0161599 s]
/proc/loadavg: 2.17 2.16 2.10 4/82 20268
/proc/meminfo: memFree=759364/2055920 swapFree=4192812/4192956
[pid=20268] ppid=20266 vsize=5356 CPUtime=0
/proc/20268/stat : 20268 (pcssolve) S 20266 20268 20231 0 -1 4194304 339 317 0 0 0 0 0 0 21 0 1 0 59417567 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 256364831556 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/20268/statm: 1339 242 201 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.102012 s]
/proc/loadavg: 2.17 2.16 2.10 4/82 20268
/proc/meminfo: memFree=759364/2055920 swapFree=4192812/4192956
[pid=20268] ppid=20266 vsize=6660 CPUtime=0.07
/proc/20268/stat : 20268 (pcs.big) R 20266 20268 20231 0 -1 4194304 1317 667 0 0 7 0 0 0 23 0 1 0 59417567 6819840 864 996147200 134512640 135215973 4294956304 18446744073709551615 10690526 0 0 4096 0 0 0 0 17 0 0 0
/proc/20268/statm: 1665 864 386 171 0 590 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 6660

[startup+0.302037 s]
/proc/loadavg: 2.17 2.16 2.10 4/82 20268
/proc/meminfo: memFree=759364/2055920 swapFree=4192812/4192956
[pid=20268] ppid=20266 vsize=11100 CPUtime=0.26
/proc/20268/stat : 20268 (pcs.big) R 20266 20268 20231 0 -1 4194304 2821 667 0 0 25 1 0 0 25 0 1 0 59417567 11366400 1932 996147200 134512640 135215973 4294956304 18446744073709551615 134763503 0 0 4096 0 0 0 0 17 0 0 0
/proc/20268/statm: 2775 1932 386 171 0 1700 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 11100

[startup+0.702083 s]
/proc/loadavg: 2.17 2.16 2.10 4/82 20268
/proc/meminfo: memFree=759364/2055920 swapFree=4192812/4192956
[pid=20268] ppid=20266 vsize=23140 CPUtime=0.66
/proc/20268/stat : 20268 (pcs.big) R 20266 20268 20231 0 -1 4194304 6536 667 0 0 63 3 0 0 25 0 1 0 59417567 23695360 3923 996147200 134512640 135215973 4294956304 18446744073709551615 134761780 0 0 4096 0 0 0 0 17 0 0 0
/proc/20268/statm: 5785 3923 386 171 0 4710 0
Current children cumulated CPU time (s) 0.66
Current children cumulated vsize (KiB) 23140

[startup+1.50215 s]
/proc/loadavg: 2.16 2.16 2.10 3/83 20273
/proc/meminfo: memFree=739836/2055920 swapFree=4192812/4192956
[pid=20268] ppid=20266 vsize=30808 CPUtime=1.45
/proc/20268/stat : 20268 (pcs.big) R 20266 20268 20231 0 -1 4194304 10409 667 0 0 139 6 0 0 25 0 1 0 59417567 31547392 6802 996147200 134512640 135215973 4294956304 18446744073709551615 134584195 0 0 4096 0 0 0 0 17 0 0 0
/proc/20268/statm: 7702 6802 410 171 0 6627 0
Current children cumulated CPU time (s) 1.45
Current children cumulated vsize (KiB) 30808

[startup+3.10132 s]
/proc/loadavg: 2.16 2.16 2.10 3/83 20273
/proc/meminfo: memFree=733372/2055920 swapFree=4192812/4192956
[pid=20268] ppid=20266 vsize=31032 CPUtime=3.04
/proc/20268/stat : 20268 (pcs.big) R 20266 20268 20231 0 -1 4194304 10477 667 0 0 298 6 0 0 25 0 1 0 59417567 31776768 6853 996147200 134512640 135215973 4294956304 18446744073709551615 4158960010 0 0 4096 0 0 0 0 17 0 0 0
/proc/20268/statm: 7758 6853 410 171 0 6683 0
Current children cumulated CPU time (s) 3.04
Current children cumulated vsize (KiB) 31032

[startup+6.30165 s]
/proc/loadavg: 2.16 2.16 2.10 4/83 20273
/proc/meminfo: memFree=733116/2055920 swapFree=4192812/4192956
[pid=20268] ppid=20266 vsize=31240 CPUtime=5.62
/proc/20268/stat : 20268 (pcs.big) R 20266 20268 20231 0 -1 4194304 10559 667 0 0 555 7 0 0 25 0 1 0 59417567 31989760 6882 996147200 134512640 135215973 4294956304 18446744073709551615 134591867 0 0 4096 0 0 0 0 17 0 0 0
/proc/20268/statm: 7810 6882 410 171 0 6735 0
Current children cumulated CPU time (s) 5.62
Current children cumulated vsize (KiB) 31240

[startup+12.7013 s]
/proc/loadavg: 2.36 2.20 2.11 4/83 20273
/proc/meminfo: memFree=732220/2055920 swapFree=4192812/4192956
[pid=20268] ppid=20266 vsize=32316 CPUtime=11.9
/proc/20268/stat : 20268 (pcs.big) R 20266 20268 20231 0 -1 4194304 10899 667 0 0 1183 7 0 0 25 0 1 0 59417567 33091584 7117 996147200 134512640 135215973 4294956304 18446744073709551615 134583640 0 0 4096 0 0 0 0 17 0 0 0
/proc/20268/statm: 8079 7117 410 171 0 7004 0
Current children cumulated CPU time (s) 11.9
Current children cumulated vsize (KiB) 32316

[startup+25.5016 s]
/proc/loadavg: 2.38 2.21 2.12 3/83 20273
/proc/meminfo: memFree=728508/2055920 swapFree=4192812/4192956
[pid=20268] ppid=20266 vsize=36184 CPUtime=24.59
/proc/20268/stat : 20268 (pcs.big) R 20266 20268 20231 0 -1 4194304 12028 667 0 0 2451 8 0 0 25 0 1 0 59417567 37052416 8037 996147200 134512640 135215973 4294956304 18446744073709551615 134585880 0 0 4096 0 0 0 0 17 0 0 0
/proc/20268/statm: 9046 8037 410 171 0 7971 0
Current children cumulated CPU time (s) 24.59
Current children cumulated vsize (KiB) 36184

[startup+51.1063 s]
/proc/loadavg: 2.23 2.19 2.11 3/73 20305
/proc/meminfo: memFree=1470548/2055920 swapFree=4192812/4192956
[pid=20268] ppid=20266 vsize=36184 CPUtime=49.65
/proc/20268/stat : 20268 (pcs.big) R 20266 20268 20231 0 -1 4194304 12108 667 0 0 4957 8 0 0 25 0 1 0 59417567 37052416 8117 996147200 134512640 135215973 4294956304 18446744073709551615 4158960134 0 0 4096 0 0 0 0 17 0 0 0
/proc/20268/statm: 9046 8117 410 171 0 7971 0
Current children cumulated CPU time (s) 49.65
Current children cumulated vsize (KiB) 36184

[startup+102.302 s]
/proc/loadavg: 2.10 2.16 2.10 3/73 20307
/proc/meminfo: memFree=1457108/2055920 swapFree=4192812/4192956
[pid=20268] ppid=20266 vsize=46852 CPUtime=100.44
/proc/20268/stat : 20268 (pcs.big) R 20266 20268 20231 0 -1 4194304 19560 667 0 0 10033 11 0 0 25 0 1 0 59417567 47976448 10107 996147200 134512640 135215973 4294956304 18446744073709551615 134591607 0 0 4096 0 0 0 0 17 0 0 0
/proc/20268/statm: 11713 10107 413 171 0 10638 0
Current children cumulated CPU time (s) 100.44
Current children cumulated vsize (KiB) 46852

[startup+162.302 s]
/proc/loadavg: 2.03 2.13 2.09 3/73 20307
/proc/meminfo: memFree=1449940/2055920 swapFree=4192812/4192956
[pid=20268] ppid=20266 vsize=46980 CPUtime=159.98
/proc/20268/stat : 20268 (pcs.big) R 20266 20268 20231 0 -1 4194304 28587 667 0 0 15984 14 0 0 25 0 1 0 59417567 48107520 10138 996147200 134512640 135215973 4294956304 18446744073709551615 134597631 0 0 4096 0 0 0 0 17 0 0 0
/proc/20268/statm: 11745 10138 413 171 0 10670 0
Current children cumulated CPU time (s) 159.98
Current children cumulated vsize (KiB) 46980

[startup+222.301 s]
/proc/loadavg: 2.01 2.10 2.08 3/73 20307
/proc/meminfo: memFree=1441812/2055920 swapFree=4192812/4192956
[pid=20268] ppid=20266 vsize=51348 CPUtime=219.52
/proc/20268/stat : 20268 (pcs.big) R 20266 20268 20231 0 -1 4194304 35819 667 0 0 21935 17 0 0 25 0 1 0 59417567 52580352 11234 996147200 134512640 135215973 4294956304 18446744073709551615 134585720 0 0 4096 0 0 0 0 17 0 0 0
/proc/20268/statm: 12837 11234 413 171 0 11762 0
Current children cumulated CPU time (s) 219.52
Current children cumulated vsize (KiB) 51348

[startup+282.301 s]
/proc/loadavg: 2.00 2.08 2.08 3/73 20307
/proc/meminfo: memFree=1432468/2055920 swapFree=4192812/4192956
[pid=20268] ppid=20266 vsize=57680 CPUtime=279.04
/proc/20268/stat : 20268 (pcs.big) R 20266 20268 20231 0 -1 4194304 59081 667 0 0 27881 23 0 0 25 0 1 0 59417567 59064320 12812 996147200 134512640 135215973 4294956304 18446744073709551615 134585786 0 0 4096 0 0 0 0 17 0 0 0
/proc/20268/statm: 14420 12812 413 171 0 13345 0
Current children cumulated CPU time (s) 279.04
Current children cumulated vsize (KiB) 57680

[startup+342.302 s]
/proc/loadavg: 2.00 2.06 2.07 3/73 20307
/proc/meminfo: memFree=1422804/2055920 swapFree=4192812/4192956
[pid=20268] ppid=20266 vsize=65600 CPUtime=338.59
/proc/20268/stat : 20268 (pcs.big) R 20266 20268 20231 0 -1 4194304 75099 667 0 0 33831 28 0 0 25 0 1 0 59417567 67174400 14790 996147200 134512640 135215973 4294956304 18446744073709551615 134585786 0 0 4096 0 0 0 0 17 0 0 0
/proc/20268/statm: 16400 14790 413 171 0 15325 0
Current children cumulated CPU time (s) 338.59
Current children cumulated vsize (KiB) 65600

[startup+402.302 s]
/proc/loadavg: 2.00 2.05 2.07 3/73 20307
/proc/meminfo: memFree=1414356/2055920 swapFree=4192812/4192956
[pid=20268] ppid=20266 vsize=72196 CPUtime=398.12
/proc/20268/stat : 20268 (pcs.big) R 20266 20268 20231 0 -1 4194304 102038 667 0 0 39777 35 0 0 25 0 1 0 59417567 73928704 16457 996147200 134512640 135215973 4294956304 18446744073709551615 134599849 0 0 4096 0 0 0 0 17 0 0 0
/proc/20268/statm: 18049 16457 413 171 0 16974 0
Current children cumulated CPU time (s) 398.12
Current children cumulated vsize (KiB) 72196

[startup+462.301 s]
/proc/loadavg: 2.00 2.04 2.06 3/73 20307
/proc/meminfo: memFree=1402964/2055920 swapFree=4192812/4192956
[pid=20268] ppid=20266 vsize=78004 CPUtime=457.66
/proc/20268/stat : 20268 (pcs.big) R 20266 20268 20231 0 -1 4194304 117643 667 0 0 45724 42 0 0 25 0 1 0 59417567 79876096 17918 996147200 134512640 135215973 4294956304 18446744073709551615 134971004 0 0 4096 0 0 0 0 17 0 0 0
/proc/20268/statm: 19501 17918 413 171 0 18426 0
Current children cumulated CPU time (s) 457.66
Current children cumulated vsize (KiB) 78004

[startup+522.301 s]
/proc/loadavg: 2.00 2.03 2.05 3/73 20307
/proc/meminfo: memFree=1394004/2055920 swapFree=4192812/4192956
[pid=20268] ppid=20266 vsize=82096 CPUtime=517.2
/proc/20268/stat : 20268 (pcs.big) R 20266 20268 20231 0 -1 4194304 124474 667 0 0 51676 44 0 0 25 0 1 0 59417567 84066304 18925 996147200 134512640 135215973 4294956304 18446744073709551615 134585694 0 0 4096 0 0 0 0 17 0 0 0
/proc/20268/statm: 20524 18925 413 171 0 19449 0
Current children cumulated CPU time (s) 517.2
Current children cumulated vsize (KiB) 82096

[startup+582.302 s]
/proc/loadavg: 2.00 2.02 2.05 3/73 20313
/proc/meminfo: memFree=1385364/2055920 swapFree=4192812/4192956
[pid=20268] ppid=20266 vsize=85792 CPUtime=576.72
/proc/20268/stat : 20268 (pcs.big) R 20266 20268 20231 0 -1 4194304 129457 667 0 0 57626 46 0 0 25 0 1 0 59417567 87851008 19852 996147200 134512640 135215973 4294956304 18446744073709551615 134583364 0 0 4096 0 0 0 0 17 0 0 0
/proc/20268/statm: 21448 19852 413 171 0 20373 0
Current children cumulated CPU time (s) 576.72
Current children cumulated vsize (KiB) 85792

[startup+642.302 s]
/proc/loadavg: 2.00 2.02 2.04 3/73 20313
/proc/meminfo: memFree=1372948/2055920 swapFree=4192812/4192956
[pid=20268] ppid=20266 vsize=97008 CPUtime=636.26
/proc/20268/stat : 20268 (pcs.big) R 20266 20268 20231 0 -1 4194304 135503 667 0 0 63577 49 0 0 25 0 1 0 59417567 99336192 22674 996147200 134512640 135215973 4294956304 18446744073709551615 4158960129 0 0 4096 0 0 0 0 17 0 0 0
/proc/20268/statm: 24252 22674 413 171 0 23177 0
Current children cumulated CPU time (s) 636.26
Current children cumulated vsize (KiB) 97008

[startup+702.307 s]

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

[startup+822.302 s]
/proc/loadavg: 2.08 2.03 2.04 3/73 20313
/proc/meminfo: memFree=1347988/2055920 swapFree=4192812/4192956
[pid=20268] ppid=20266 vsize=125036 CPUtime=814.88
/proc/20268/stat : 20268 (pcs.big) R 20266 20268 20231 0 -1 4194304 158237 667 0 0 81431 57 0 0 25 0 1 0 59417567 128036864 28819 996147200 134512640 135215973 4294956304 18446744073709551615 134599825 0 0 4096 0 0 0 0 17 0 0 0
/proc/20268/statm: 31259 28819 413 171 0 30184 0
Current children cumulated CPU time (s) 814.88
Current children cumulated vsize (KiB) 125036

[startup+882.302 s]
/proc/loadavg: 2.08 2.04 2.04 3/73 20313
/proc/meminfo: memFree=1345364/2055920 swapFree=4192812/4192956
[pid=20268] ppid=20266 vsize=125168 CPUtime=874.41
/proc/20268/stat : 20268 (pcs.big) R 20266 20268 20231 0 -1 4194304 172068 667 0 0 87381 60 0 0 25 0 1 0 59417567 128172032 29234 996147200 134512640 135215973 4294956304 18446744073709551615 134585880 0 0 4096 0 0 0 0 17 0 0 0
/proc/20268/statm: 31292 29234 413 171 0 30217 0
Current children cumulated CPU time (s) 874.41
Current children cumulated vsize (KiB) 125168

[startup+942.303 s]
/proc/loadavg: 2.08 2.04 2.04 3/73 20313
/proc/meminfo: memFree=1339220/2055920 swapFree=4192812/4192956
[pid=20268] ppid=20266 vsize=129524 CPUtime=933.95
/proc/20268/stat : 20268 (pcs.big) R 20266 20268 20231 0 -1 4194304 187653 667 0 0 93329 66 0 0 25 0 1 0 59417567 132632576 30727 996147200 134512640 135215973 4294956304 18446744073709551615 134590021 0 0 4096 0 0 0 0 17 0 0 0
/proc/20268/statm: 32381 30727 413 171 0 31306 0
Current children cumulated CPU time (s) 933.95
Current children cumulated vsize (KiB) 129524

[startup+1002.3 s]
/proc/loadavg: 2.07 2.05 2.03 3/73 20313
/proc/meminfo: memFree=1332628/2055920 swapFree=4192812/4192956
[pid=20268] ppid=20266 vsize=130580 CPUtime=993.48
/proc/20268/stat : 20268 (pcs.big) R 20266 20268 20231 0 -1 4194304 198876 667 0 0 99278 70 0 0 25 0 1 0 59417567 133713920 31134 996147200 134512640 135215973 4294956304 18446744073709551615 134599873 0 0 4096 0 0 0 0 17 0 0 0
/proc/20268/statm: 32645 31134 413 171 0 31570 0
Current children cumulated CPU time (s) 993.48
Current children cumulated vsize (KiB) 130580

[startup+1062.3 s]
/proc/loadavg: 2.10 2.06 2.04 3/73 20313
/proc/meminfo: memFree=1328084/2055920 swapFree=4192812/4192956
[pid=20268] ppid=20266 vsize=130712 CPUtime=1053.03
/proc/20268/stat : 20268 (pcs.big) R 20266 20268 20231 0 -1 4194304 205338 667 0 0 105230 73 0 0 25 0 1 0 59417567 133849088 31148 996147200 134512640 135215973 4294956304 18446744073709551615 134585720 0 0 4096 0 0 0 0 17 0 0 0
/proc/20268/statm: 32678 31148 413 171 0 31603 0
Current children cumulated CPU time (s) 1053.03
Current children cumulated vsize (KiB) 130712

[startup+1122.3 s]
/proc/loadavg: 2.11 2.08 2.04 3/73 20313
/proc/meminfo: memFree=1321300/2055920 swapFree=4192812/4192956
[pid=20268] ppid=20266 vsize=133352 CPUtime=1112.56
/proc/20268/stat : 20268 (pcs.big) R 20266 20268 20231 0 -1 4194304 211262 667 0 0 111182 74 0 0 25 0 1 0 59417567 136552448 31820 996147200 134512640 135215973 4294956304 18446744073709551615 134585694 0 0 4096 0 0 0 0 17 0 0 0
/proc/20268/statm: 33338 31820 413 171 0 32263 0
Current children cumulated CPU time (s) 1112.56
Current children cumulated vsize (KiB) 133352

[startup+1182.3 s]
/proc/loadavg: 2.04 2.06 2.04 3/73 20313
/proc/meminfo: memFree=1312916/2055920 swapFree=4192812/4192956
[pid=20268] ppid=20266 vsize=137444 CPUtime=1172.09
/proc/20268/stat : 20268 (pcs.big) R 20266 20268 20231 0 -1 4194304 217066 667 0 0 117134 75 0 0 25 0 1 0 59417567 140742656 32840 996147200 134512640 135215973 4294956304 18446744073709551615 134585880 0 0 4096 0 0 0 0 17 0 0 0
/proc/20268/statm: 34361 32840 413 171 0 33286 0
Current children cumulated CPU time (s) 1172.09
Current children cumulated vsize (KiB) 137444

[startup+1242.3 s]
/proc/loadavg: 2.01 2.05 2.03 3/73 20313
/proc/meminfo: memFree=1304148/2055920 swapFree=4192812/4192956
[pid=20268] ppid=20266 vsize=141668 CPUtime=1231.64
/proc/20268/stat : 20268 (pcs.big) R 20266 20268 20231 0 -1 4194304 222802 667 0 0 123086 78 0 0 25 0 1 0 59417567 145068032 33896 996147200 134512640 135215973 4294956304 18446744073709551615 134600790 0 0 4096 0 0 0 0 17 0 0 0
/proc/20268/statm: 35417 33896 413 171 0 34342 0
Current children cumulated CPU time (s) 1231.64
Current children cumulated vsize (KiB) 141668

[startup+1302.3 s]
/proc/loadavg: 2.00 2.04 2.03 3/73 20313
/proc/meminfo: memFree=1293908/2055920 swapFree=4192812/4192956
[pid=20268] ppid=20266 vsize=145628 CPUtime=1291.18
/proc/20268/stat : 20268 (pcs.big) R 20266 20268 20231 0 -1 4194304 228017 667 0 0 129037 81 0 0 25 0 1 0 59417567 149123072 34899 996147200 134512640 135215973 4294956304 18446744073709551615 135094891 0 0 4096 0 0 0 0 17 0 0 0
/proc/20268/statm: 36407 34899 413 171 0 35332 0
Current children cumulated CPU time (s) 1291.18
Current children cumulated vsize (KiB) 145628

[startup+1362.31 s]
/proc/loadavg: 2.00 2.03 2.02 3/73 20313
/proc/meminfo: memFree=1289876/2055920 swapFree=4192812/4192956
[pid=20268] ppid=20266 vsize=149060 CPUtime=1350.72
/proc/20268/stat : 20268 (pcs.big) R 20266 20268 20231 0 -1 4194304 232451 667 0 0 134989 83 0 0 25 0 1 0 59417567 152637440 35745 996147200 134512640 135215973 4294956304 18446744073709551615 134585606 0 0 4096 0 0 0 0 17 0 0 0
/proc/20268/statm: 37265 35745 413 171 0 36190 0
Current children cumulated CPU time (s) 1350.72
Current children cumulated vsize (KiB) 149060

[startup+1422.3 s]
/proc/loadavg: 2.00 2.02 2.02 3/73 20313
/proc/meminfo: memFree=1282836/2055920 swapFree=4192812/4192956
[pid=20268] ppid=20266 vsize=152096 CPUtime=1410.26
/proc/20268/stat : 20268 (pcs.big) R 20266 20268 20231 0 -1 4194304 236369 667 0 0 140942 84 0 0 25 0 1 0 59417567 155746304 36491 996147200 134512640 135215973 4294956304 18446744073709551615 134585880 0 0 4096 0 0 0 0 17 0 0 0
/proc/20268/statm: 38024 36491 413 171 0 36949 0
Current children cumulated CPU time (s) 1410.26
Current children cumulated vsize (KiB) 152096

[startup+1482.3 s]
/proc/loadavg: 2.00 2.02 2.01 3/73 20313
/proc/meminfo: memFree=1275668/2055920 swapFree=4192812/4192956
[pid=20268] ppid=20266 vsize=154732 CPUtime=1469.79
/proc/20268/stat : 20268 (pcs.big) R 20266 20268 20231 0 -1 4194304 239772 667 0 0 146894 85 0 0 25 0 1 0 59417567 158445568 37138 996147200 134512640 135215973 4294956304 18446744073709551615 134585880 0 0 4096 0 0 0 0 17 0 0 0
/proc/20268/statm: 38683 37138 413 171 0 37608 0
Current children cumulated CPU time (s) 1469.79
Current children cumulated vsize (KiB) 154732

[startup+1542.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/73 20313
/proc/meminfo: memFree=1268372/2055920 swapFree=4192812/4192956
[pid=20268] ppid=20266 vsize=157108 CPUtime=1529.32
/proc/20268/stat : 20268 (pcs.big) R 20266 20268 20231 0 -1 4194304 243406 667 0 0 152846 86 0 0 25 0 1 0 59417567 160878592 37756 996147200 134512640 135215973 4294956304 18446744073709551615 134585800 0 0 4096 0 0 0 0 17 0 0 0
/proc/20268/statm: 39277 37756 413 171 0 38202 0
Current children cumulated CPU time (s) 1529.32
Current children cumulated vsize (KiB) 157108

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 20313
/proc/meminfo: memFree=1259220/2055920 swapFree=4192812/4192956
[pid=20268] ppid=20266 vsize=158032 CPUtime=1588.86
/proc/20268/stat : 20268 (pcs.big) R 20266 20268 20231 0 -1 4194304 248209 667 0 0 158798 88 0 0 25 0 1 0 59417567 161824768 37983 996147200 134512640 135215973 4294956304 18446744073709551615 134599873 0 0 4096 0 0 0 0 17 0 0 0
/proc/20268/statm: 39508 37983 413 171 0 38433 0
Current children cumulated CPU time (s) 1588.86
Current children cumulated vsize (KiB) 158032

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 20313
/proc/meminfo: memFree=1259092/2055920 swapFree=4192812/4192956
[pid=20268] ppid=20266 vsize=158032 CPUtime=1648.4
/proc/20268/stat : 20268 (pcs.big) R 20266 20268 20231 0 -1 4194304 252589 667 0 0 164750 90 0 0 25 0 1 0 59417567 161824768 37995 996147200 134512640 135215973 4294956304 18446744073709551615 134585786 0 0 4096 0 0 0 0 17 0 0 0
/proc/20268/statm: 39508 37995 413 171 0 38433 0
Current children cumulated CPU time (s) 1648.4
Current children cumulated vsize (KiB) 158032

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 20313
/proc/meminfo: memFree=1259220/2055920 swapFree=4192812/4192956
[pid=20268] ppid=20266 vsize=158164 CPUtime=1707.94
/proc/20268/stat : 20268 (pcs.big) R 20266 20268 20231 0 -1 4194304 255614 667 0 0 170703 91 0 0 25 0 1 0 59417567 161959936 38004 996147200 134512640 135215973 4294956304 18446744073709551615 134585880 0 0 4096 0 0 0 0 17 0 0 0
/proc/20268/statm: 39541 38004 413 171 0 38466 0
Current children cumulated CPU time (s) 1707.94
Current children cumulated vsize (KiB) 158164

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 20313
/proc/meminfo: memFree=1253844/2055920 swapFree=4192812/4192956
[pid=20268] ppid=20266 vsize=158164 CPUtime=1767.48
/proc/20268/stat : 20268 (pcs.big) R 20266 20268 20231 0 -1 4194304 258065 667 0 0 176656 92 0 0 25 0 1 0 59417567 161959936 38011 996147200 134512640 135215973 4294956304 18446744073709551615 134585600 0 0 4096 0 0 0 0 17 0 0 0
/proc/20268/statm: 39541 38011 413 171 0 38466 0
Current children cumulated CPU time (s) 1767.48
Current children cumulated vsize (KiB) 158164



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1815.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 20313
/proc/meminfo: memFree=1250388/2055920 swapFree=4192812/4192956
[pid=20268] ppid=20266 vsize=158164 CPUtime=1800.03
/proc/20268/stat : 20268 (pcs.big) R 20266 20268 20231 0 -1 4194304 259472 667 0 0 179910 93 0 0 25 0 1 0 59417567 161959936 38014 996147200 134512640 135215973 4294956304 18446744073709551615 134585786 0 0 4096 0 0 0 0 17 0 0 0
/proc/20268/statm: 39541 38014 413 171 0 38466 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 158164

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): 1815.13
CPU time (s): 1800.07
CPU user time (s): 1799.11
CPU system time (s): 0.964853
CPU usage (%): 99.1702
Max. virtual memory (cumulated for all children) (KiB): 158372

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.11
system time used= 0.964853
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 260139
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= 28
involuntary context switches= 42961

runsolver used 1.90571 second user time and 5.19621 second system time

The end

Launcher Data 

Begin job on node90 at 2009-07-16 07:52:09
IDJOB=2083671
IDBENCH=57895
IDSOLVER=733
FILE ID=node90/2083671-1247723529
PBS_JOBID= 9521497
Free space on /tmp= 66092 MiB

SOLVER NAME= pcs 0.2
BENCH NAME= CPAI08/csp/fapp/fapp32/normalized-fapp32-0550-4.xml
COMMAND LINE= HOME/pcssolve -s RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2083671-1247723529/watcher-2083671-1247723529 -o /tmp/evaluation-result-2083671-1247723529/solver-2083671-1247723529 -C 1800 -W 2000 -M 900  HOME/pcssolve -s 1195753661 HOME/instance-2083671-1247723529.xml

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

MD5SUM BENCH= b49d49cefe14b8da913a5e29ecc6d023
RANDOM SEED=1195753661

node90.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.212
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.212
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	: 5996.54
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:        759844 kB
Buffers:         92572 kB
Cached:         310464 kB
SwapCached:          0 kB
Active:         820384 kB
Inactive:       369884 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:        759844 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            3316 kB
Writeback:           0 kB
Mapped:         801460 kB
Slab:            89508 kB
Committed_AS:  1414996 kB
PageTables:       3384 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= 66092 MiB
End job on node90 at 2009-07-16 08:22:26