Trace number 2083605

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.14 1804.04

General information on the benchmark

Namecsp/fapp/fapp28/
normalized-fapp28-2800-9.xml
MD5SUM54b400bba60c57784266f5aabcfb5702
Bench Category2-ARY-INT (binary constraints in intension)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark49.0455
Satisfiable
(Un)Satisfiability was proved
Number of variables2800
Number of constraints22569
Maximum constraint arity2
Maximum domain size998
Number of constraints which are defined in extension0
Number of constraints which are defined in intension22569
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 962659637
0.00/0.02	c Constructing HOME/instance-2083605-1247723378.xml  with 142692 constraints
2.54/2.60	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-2083605-1247723378/watcher-2083605-1247723378 -o /tmp/evaluation-result-2083605-1247723378/solver-2083605-1247723378 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 962659637 HOME/instance-2083605-1247723378.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: 1.92 1.98 1.99 4/72 13994
/proc/meminfo: memFree=1334832/2055920 swapFree=4192812/4192956
[pid=13994] ppid=13992 vsize=5212 CPUtime=0
/proc/13994/stat : 13994 (pcssolve) R 13992 13994 12276 0 -1 4194304 71 0 0 0 0 0 0 0 20 0 1 0 59403987 5337088 45 996147200 4194304 4889804 548682068800 18446744073709551615 264907113304 0 0 4096 0 0 0 0 17 1 0 0
/proc/13994/statm: 1303 45 30 169 0 14 0

[startup+0.060083 s]
/proc/loadavg: 1.92 1.98 1.99 4/72 13994
/proc/meminfo: memFree=1334832/2055920 swapFree=4192812/4192956
[pid=13994] ppid=13992 vsize=5492 CPUtime=0.03
/proc/13994/stat : 13994 (pcs.big) R 13992 13994 12276 0 -1 4194304 1013 669 0 0 3 0 0 0 23 0 1 0 59403987 5623808 644 996147200 134512640 135215973 4294956304 18446744073709551615 134764157 0 0 4096 0 0 0 0 17 1 0 0
/proc/13994/statm: 1373 644 369 171 0 298 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5492

[startup+0.101083 s]
/proc/loadavg: 1.92 1.98 1.99 4/72 13994
/proc/meminfo: memFree=1334832/2055920 swapFree=4192812/4192956
[pid=13994] ppid=13992 vsize=6424 CPUtime=0.07
/proc/13994/stat : 13994 (pcs.big) R 13992 13994 12276 0 -1 4194304 1282 669 0 0 7 0 0 0 23 0 1 0 59403987 6578176 872 996147200 134512640 135215973 4294956304 18446744073709551615 4159314573 0 0 4096 0 0 0 0 17 1 0 0
/proc/13994/statm: 1606 872 386 171 0 531 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 6424

[startup+0.301112 s]
/proc/loadavg: 1.92 1.98 1.99 4/72 13994
/proc/meminfo: memFree=1334832/2055920 swapFree=4192812/4192956
[pid=13994] ppid=13992 vsize=10532 CPUtime=0.27
/proc/13994/stat : 13994 (pcs.big) R 13992 13994 12276 0 -1 4194304 2614 669 0 0 26 1 0 0 25 0 1 0 59403987 10784768 1860 996147200 134512640 135215973 4294956304 18446744073709551615 134608646 0 0 4096 0 0 0 0 17 1 0 0
/proc/13994/statm: 2633 1860 386 171 0 1558 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 10532

[startup+0.701174 s]
/proc/loadavg: 1.92 1.98 1.99 4/72 13994
/proc/meminfo: memFree=1334832/2055920 swapFree=4192812/4192956
[pid=13994] ppid=13992 vsize=22272 CPUtime=0.67
/proc/13994/stat : 13994 (pcs.big) R 13992 13994 12276 0 -1 4194304 6187 669 0 0 64 3 0 0 25 0 1 0 59403987 22806528 3913 996147200 134512640 135215973 4294956304 18446744073709551615 134785750 0 0 4096 0 0 0 0 17 1 0 0
/proc/13994/statm: 5568 3913 386 171 0 4493 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 22272

[startup+1.50129 s]
/proc/loadavg: 1.92 1.98 1.99 3/73 13999
/proc/meminfo: memFree=1314792/2055920 swapFree=4192812/4192956
[pid=13994] ppid=13992 vsize=40408 CPUtime=1.45
/proc/13994/stat : 13994 (pcs.big) R 13992 13994 12276 0 -1 4194304 12327 669 0 0 139 6 0 0 25 0 1 0 59403987 41377792 7654 996147200 134512640 135215973 4294956304 18446744073709551615 134631953 0 0 4096 0 0 0 0 17 1 0 0
/proc/13994/statm: 10102 7654 386 171 0 9027 0
Current children cumulated CPU time (s) 1.45
Current children cumulated vsize (KiB) 40408

[startup+3.10152 s]
/proc/loadavg: 1.92 1.98 1.99 3/73 13999
/proc/meminfo: memFree=1294120/2055920 swapFree=4192812/4192956
[pid=13994] ppid=13992 vsize=70080 CPUtime=3.04
/proc/13994/stat : 13994 (pcs.big) R 13992 13994 12276 0 -1 4194304 24734 669 0 0 292 12 0 0 25 0 1 0 59403987 71761920 15698 996147200 134512640 135215973 4294956304 18446744073709551615 134600006 0 0 4096 0 0 0 0 17 1 0 0
/proc/13994/statm: 17520 15698 410 171 0 16445 0
Current children cumulated CPU time (s) 3.04
Current children cumulated vsize (KiB) 70080

[startup+6.30198 s]
/proc/loadavg: 1.93 1.98 1.99 3/73 13999
/proc/meminfo: memFree=1272680/2055920 swapFree=4192812/4192956
[pid=13994] ppid=13992 vsize=70536 CPUtime=6.22
/proc/13994/stat : 13994 (pcs.big) R 13992 13994 12276 0 -1 4194304 24867 669 0 0 610 12 0 0 25 0 1 0 59403987 72228864 15778 996147200 134512640 135215973 4294956304 18446744073709551615 134591473 0 0 4096 0 0 0 0 17 1 0 0
/proc/13994/statm: 17634 15778 410 171 0 16559 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 70536

[startup+12.7019 s]
/proc/loadavg: 1.93 1.98 1.99 3/73 13999
/proc/meminfo: memFree=1272104/2055920 swapFree=4192812/4192956
[pid=13994] ppid=13992 vsize=70952 CPUtime=12.56
/proc/13994/stat : 13994 (pcs.big) R 13992 13994 12276 0 -1 4194304 25065 669 0 0 1244 12 0 0 25 0 1 0 59403987 72654848 15871 996147200 134512640 135215973 4294956304 18446744073709551615 134585549 0 0 4096 0 0 0 0 17 1 0 0
/proc/13994/statm: 17738 15871 410 171 0 16663 0
Current children cumulated CPU time (s) 12.56
Current children cumulated vsize (KiB) 70952

[startup+25.5018 s]
/proc/loadavg: 1.95 1.98 1.99 3/73 13999
/proc/meminfo: memFree=1270376/2055920 swapFree=4192812/4192956
[pid=13994] ppid=13992 vsize=72444 CPUtime=25.27
/proc/13994/stat : 13994 (pcs.big) R 13992 13994 12276 0 -1 4194304 25599 669 0 0 2514 13 0 0 25 0 1 0 59403987 74182656 16196 996147200 134512640 135215973 4294956304 18446744073709551615 134585752 0 0 4096 0 0 0 0 17 1 0 0
/proc/13994/statm: 18111 16196 410 171 0 17036 0
Current children cumulated CPU time (s) 25.27
Current children cumulated vsize (KiB) 72444

[startup+51.1015 s]
/proc/loadavg: 1.96 1.98 1.99 3/73 13999
/proc/meminfo: memFree=1261864/2055920 swapFree=4192812/4192956
[pid=13994] ppid=13992 vsize=80048 CPUtime=50.66
/proc/13994/stat : 13994 (pcs.big) R 13992 13994 12276 0 -1 4194304 27849 669 0 0 5053 13 0 0 25 0 1 0 59403987 81969152 18029 996147200 134512640 135215973 4294956304 18446744073709551615 134599865 0 0 4096 0 0 0 0 17 1 0 0
/proc/13994/statm: 20012 18029 410 171 0 18937 0
Current children cumulated CPU time (s) 50.66
Current children cumulated vsize (KiB) 80048

[startup+102.307 s]
/proc/loadavg: 1.98 1.98 1.99 3/73 14001
/proc/meminfo: memFree=1255208/2055920 swapFree=4192812/4192956
[pid=13994] ppid=13992 vsize=86544 CPUtime=101.48
/proc/13994/stat : 13994 (pcs.big) R 13992 13994 12276 0 -1 4194304 29675 669 0 0 10134 14 0 0 25 0 1 0 59403987 88621056 19022 996147200 134512640 135215973 4294956304 18446744073709551615 134585694 0 0 4096 0 0 0 0 17 1 0 0
/proc/13994/statm: 21636 19022 410 171 0 20561 0
Current children cumulated CPU time (s) 101.48
Current children cumulated vsize (KiB) 86544

[startup+162.302 s]
/proc/loadavg: 1.99 1.98 1.99 3/73 14001
/proc/meminfo: memFree=1239272/2055920 swapFree=4192812/4192956
[pid=13994] ppid=13992 vsize=96180 CPUtime=161.01
/proc/13994/stat : 13994 (pcs.big) R 13992 13994 12276 0 -1 4194304 81747 669 0 0 16070 31 0 0 25 0 1 0 59403987 98488320 21484 996147200 134512640 135215973 4294956304 18446744073709551615 134969500 0 0 4096 0 0 0 0 17 1 0 0
/proc/13994/statm: 24045 21484 413 171 0 22970 0
Current children cumulated CPU time (s) 161.01
Current children cumulated vsize (KiB) 96180

[startup+222.301 s]
/proc/loadavg: 1.99 1.98 1.99 3/73 14001
/proc/meminfo: memFree=1221544/2055920 swapFree=4192812/4192956
[pid=13994] ppid=13992 vsize=102116 CPUtime=220.55
/proc/13994/stat : 13994 (pcs.big) R 13992 13994 12276 0 -1 4194304 100766 669 0 0 22019 36 0 0 25 0 1 0 59403987 104566784 23079 996147200 134512640 135215973 4294956304 18446744073709551615 134583377 0 0 4096 0 0 0 0 17 1 0 0
/proc/13994/statm: 25529 23079 413 171 0 24454 0
Current children cumulated CPU time (s) 220.55
Current children cumulated vsize (KiB) 102116

[startup+282.301 s]
/proc/loadavg: 1.99 1.98 1.99 3/73 14001
/proc/meminfo: memFree=1206440/2055920 swapFree=4192812/4192956
[pid=13994] ppid=13992 vsize=105416 CPUtime=280.09
/proc/13994/stat : 13994 (pcs.big) R 13992 13994 12276 0 -1 4194304 113399 669 0 0 27967 42 0 0 25 0 1 0 59403987 107945984 23975 996147200 134512640 135215973 4294956304 18446744073709551615 135097682 0 0 4096 0 0 0 0 17 1 0 0
/proc/13994/statm: 26354 23975 413 171 0 25279 0
Current children cumulated CPU time (s) 280.09
Current children cumulated vsize (KiB) 105416

[startup+342.302 s]
/proc/loadavg: 2.05 2.00 2.00 3/73 14001
/proc/meminfo: memFree=1199848/2055920 swapFree=4192812/4192956
[pid=13994] ppid=13992 vsize=109112 CPUtime=339.62
/proc/13994/stat : 13994 (pcs.big) R 13992 13994 12276 0 -1 4194304 122196 669 0 0 33917 45 0 0 25 0 1 0 59403987 111730688 24907 996147200 134512640 135215973 4294956304 18446744073709551615 134590052 0 0 4096 0 0 0 0 17 1 0 0
/proc/13994/statm: 27278 24907 413 171 0 26203 0
Current children cumulated CPU time (s) 339.62
Current children cumulated vsize (KiB) 109112

[startup+402.302 s]
/proc/loadavg: 2.06 2.01 2.00 3/73 14001
/proc/meminfo: memFree=1195624/2055920 swapFree=4192812/4192956
[pid=13994] ppid=13992 vsize=111884 CPUtime=399.18
/proc/13994/stat : 13994 (pcs.big) R 13992 13994 12276 0 -1 4194304 129543 669 0 0 39869 49 0 0 25 0 1 0 59403987 114569216 25599 996147200 134512640 135215973 4294956304 18446744073709551615 134590043 0 0 4096 0 0 0 0 17 1 0 0
/proc/13994/statm: 27971 25599 413 171 0 26896 0
Current children cumulated CPU time (s) 399.18
Current children cumulated vsize (KiB) 111884

[startup+462.301 s]
/proc/loadavg: 2.07 2.02 2.00 3/73 14066
/proc/meminfo: memFree=1281640/2055920 swapFree=4192812/4192956
[pid=13994] ppid=13992 vsize=114520 CPUtime=458.94
/proc/13994/stat : 13994 (pcs.big) R 13992 13994 12276 0 -1 4194304 136131 669 0 0 45842 52 0 0 25 0 1 0 59403987 117268480 26258 996147200 134512640 135215973 4294956304 18446744073709551615 134590017 0 0 4096 0 0 0 0 17 0 0 0
/proc/13994/statm: 28630 26258 413 171 0 27555 0
Current children cumulated CPU time (s) 458.94
Current children cumulated vsize (KiB) 114520

[startup+522.302 s]
/proc/loadavg: 2.07 2.03 2.00 3/73 14066
/proc/meminfo: memFree=1260840/2055920 swapFree=4192812/4192956
[pid=13994] ppid=13992 vsize=116368 CPUtime=518.92
/proc/13994/stat : 13994 (pcs.big) R 13992 13994 12276 0 -1 4194304 153877 669 0 0 51834 58 0 0 25 0 1 0 59403987 119160832 26701 996147200 134512640 135215973 4294956304 18446744073709551615 134585549 0 0 4096 0 0 0 0 17 0 0 0
/proc/13994/statm: 29092 26701 413 171 0 28017 0
Current children cumulated CPU time (s) 518.92
Current children cumulated vsize (KiB) 116368

[startup+582.302 s]
/proc/loadavg: 2.02 2.02 2.00 3/73 14066
/proc/meminfo: memFree=1248872/2055920 swapFree=4192812/4192956
[pid=13994] ppid=13992 vsize=122308 CPUtime=578.89
/proc/13994/stat : 13994 (pcs.big) R 13992 13994 12276 0 -1 4194304 190827 669 0 0 57819 70 0 0 25 0 1 0 59403987 125243392 28198 996147200 134512640 135215973 4294956304 18446744073709551615 134597302 0 0 4096 0 0 0 0 17 0 0 0
/proc/13994/statm: 30577 28198 413 171 0 29502 0
Current children cumulated CPU time (s) 578.89
Current children cumulated vsize (KiB) 122308

[startup+642.302 s]
/proc/loadavg: 2.01 2.02 2.00 3/73 14066
/proc/meminfo: memFree=1240296/2055920 swapFree=4192812/4192956
[pid=13994] ppid=13992 vsize=125212 CPUtime=638.86
/proc/13994/stat : 13994 (pcs.big) R 13992 13994 12276 0 -1 4194304 211762 669 0 0 63809 77 0 0 25 0 1 0 59403987 128217088 28926 996147200 134512640 135215973 4294956304 18446744073709551615 134583607 0 0 4096 0 0 0 0 17 0 0 0
/proc/13994/statm: 31303 28926 413 171 0 30228 0
Current children cumulated CPU time (s) 638.86
Current children cumulated vsize (KiB) 125212

[startup+702.302 s]

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

[startup+822.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 14072
/proc/meminfo: memFree=1219360/2055920 swapFree=4192812/4192956
[pid=13994] ppid=13992 vsize=132076 CPUtime=818.78
/proc/13994/stat : 13994 (pcs.big) R 13992 13994 12276 0 -1 4194304 247409 669 0 0 81787 91 0 0 25 0 1 0 59403987 135245824 30935 996147200 134512640 135215973 4294956304 18446744073709551615 134597419 0 0 4096 0 0 0 0 17 0 0 0
/proc/13994/statm: 33019 30935 413 171 0 31944 0
Current children cumulated CPU time (s) 818.78
Current children cumulated vsize (KiB) 132076

[startup+882.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 14072
/proc/meminfo: memFree=1211808/2055920 swapFree=4192812/4192956
[pid=13994] ppid=13992 vsize=134184 CPUtime=878.76
/proc/13994/stat : 13994 (pcs.big) R 13992 13994 12276 0 -1 4194304 259229 669 0 0 87781 95 0 0 25 0 1 0 59403987 137404416 31623 996147200 134512640 135215973 4294956304 18446744073709551615 135094995 0 0 4096 0 0 0 0 17 0 0 0
/proc/13994/statm: 33546 31623 413 171 0 32471 0
Current children cumulated CPU time (s) 878.76
Current children cumulated vsize (KiB) 134184

[startup+942.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 14072
/proc/meminfo: memFree=1199072/2055920 swapFree=4192812/4192956
[pid=13994] ppid=13992 vsize=148364 CPUtime=938.73
/proc/13994/stat : 13994 (pcs.big) R 13992 13994 12276 0 -1 4194304 274431 669 0 0 93774 99 0 0 25 0 1 0 59403987 151924736 33665 996147200 134512640 135215973 4294956304 18446744073709551615 134585694 0 0 4096 0 0 0 0 17 0 0 0
/proc/13994/statm: 37091 33665 413 171 0 36016 0
Current children cumulated CPU time (s) 938.73
Current children cumulated vsize (KiB) 148364

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 14072
/proc/meminfo: memFree=1193192/2055920 swapFree=4192812/4192956
[pid=13994] ppid=13992 vsize=148496 CPUtime=998.72
/proc/13994/stat : 13994 (pcs.big) R 13992 13994 12276 0 -1 4194304 290419 669 0 0 99767 105 0 0 25 0 1 0 59403987 152059904 33681 996147200 134512640 135215973 4294956304 18446744073709551615 134585549 0 0 4096 0 0 0 0 17 0 0 0
/proc/13994/statm: 37124 33681 413 171 0 36049 0
Current children cumulated CPU time (s) 998.72
Current children cumulated vsize (KiB) 148496

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 14072
/proc/meminfo: memFree=1189416/2055920 swapFree=4192812/4192956
[pid=13994] ppid=13992 vsize=151268 CPUtime=1058.69
/proc/13994/stat : 13994 (pcs.big) R 13992 13994 12276 0 -1 4194304 307568 669 0 0 105759 110 0 0 25 0 1 0 59403987 154898432 34374 996147200 134512640 135215973 4294956304 18446744073709551615 135094452 0 0 4096 0 0 0 0 17 0 0 0
/proc/13994/statm: 37817 34374 413 171 0 36742 0
Current children cumulated CPU time (s) 1058.69
Current children cumulated vsize (KiB) 151268

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 14072
/proc/meminfo: memFree=1176424/2055920 swapFree=4192812/4192956
[pid=13994] ppid=13992 vsize=156532 CPUtime=1118.66
/proc/13994/stat : 13994 (pcs.big) R 13992 13994 12276 0 -1 4194304 328512 669 0 0 111750 116 0 0 25 0 1 0 59403987 160288768 35716 996147200 134512640 135215973 4294956304 18446744073709551615 134585694 0 0 4096 0 0 0 0 17 0 0 0
/proc/13994/statm: 39133 35716 413 171 0 38058 0
Current children cumulated CPU time (s) 1118.66
Current children cumulated vsize (KiB) 156532

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 14072
/proc/meminfo: memFree=1165928/2055920 swapFree=4192812/4192956
[pid=13994] ppid=13992 vsize=159568 CPUtime=1178.64
/proc/13994/stat : 13994 (pcs.big) R 13992 13994 12276 0 -1 4194304 349120 669 0 0 117741 123 0 0 25 0 1 0 59403987 163397632 36480 996147200 134512640 135215973 4294956304 18446744073709551615 134585388 0 0 4096 0 0 0 0 17 0 0 0
/proc/13994/statm: 39892 36480 413 171 0 38817 0
Current children cumulated CPU time (s) 1178.64
Current children cumulated vsize (KiB) 159568

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 14072
/proc/meminfo: memFree=1156392/2055920 swapFree=4192812/4192956
[pid=13994] ppid=13992 vsize=163528 CPUtime=1238.61
/proc/13994/stat : 13994 (pcs.big) R 13992 13994 12276 0 -1 4194304 367510 669 0 0 123731 130 0 0 25 0 1 0 59403987 167452672 37446 996147200 134512640 135215973 4294956304 18446744073709551615 134585694 0 0 4096 0 0 0 0 17 0 0 0
/proc/13994/statm: 40882 37446 413 171 0 39807 0
Current children cumulated CPU time (s) 1238.61
Current children cumulated vsize (KiB) 163528

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 14072
/proc/meminfo: memFree=1147240/2055920 swapFree=4192812/4192956
[pid=13994] ppid=13992 vsize=168544 CPUtime=1298.59
/proc/13994/stat : 13994 (pcs.big) R 13992 13994 12276 0 -1 4194304 386447 669 0 0 129723 136 0 0 25 0 1 0 59403987 172589056 38717 996147200 134512640 135215973 4294956304 18446744073709551615 134585388 0 0 4096 0 0 0 0 17 0 0 0
/proc/13994/statm: 42136 38717 413 171 0 41061 0
Current children cumulated CPU time (s) 1298.59
Current children cumulated vsize (KiB) 168544

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 14072
/proc/meminfo: memFree=1140456/2055920 swapFree=4192812/4192956
[pid=13994] ppid=13992 vsize=171052 CPUtime=1358.56
/proc/13994/stat : 13994 (pcs.big) R 13992 13994 12276 0 -1 4194304 402433 669 0 0 135715 141 0 0 25 0 1 0 59403987 175157248 39336 996147200 134512640 135215973 4294956304 18446744073709551615 4158960140 0 0 4096 0 0 0 0 17 0 0 0
/proc/13994/statm: 42763 39336 413 171 0 41688 0
Current children cumulated CPU time (s) 1358.56
Current children cumulated vsize (KiB) 171052

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 14072
/proc/meminfo: memFree=1134056/2055920 swapFree=4192812/4192956
[pid=13994] ppid=13992 vsize=173952 CPUtime=1418.54
/proc/13994/stat : 13994 (pcs.big) R 13992 13994 12276 0 -1 4194304 410900 669 0 0 141709 145 0 0 25 0 1 0 59403987 178126848 40059 996147200 134512640 135215973 4294956304 18446744073709551615 134583491 0 0 4096 0 0 0 0 17 0 0 0
/proc/13994/statm: 43488 40059 413 171 0 42413 0
Current children cumulated CPU time (s) 1418.54
Current children cumulated vsize (KiB) 173952

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 14072
/proc/meminfo: memFree=1124904/2055920 swapFree=4192812/4192956
[pid=13994] ppid=13992 vsize=176324 CPUtime=1478.52
/proc/13994/stat : 13994 (pcs.big) R 13992 13994 12276 0 -1 4194304 415726 669 0 0 147706 146 0 0 25 0 1 0 59403987 180555776 40650 996147200 134512640 135215973 4294956304 18446744073709551615 4158960148 0 0 4096 0 0 0 0 17 0 0 0
/proc/13994/statm: 44081 40650 413 171 0 43006 0
Current children cumulated CPU time (s) 1478.52
Current children cumulated vsize (KiB) 176324

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 14072
/proc/meminfo: memFree=1117672/2055920 swapFree=4192812/4192956
[pid=13994] ppid=13992 vsize=178436 CPUtime=1538.49
/proc/13994/stat : 13994 (pcs.big) R 13992 13994 12276 0 -1 4194304 420004 669 0 0 153701 148 0 0 25 0 1 0 59403987 182718464 41177 996147200 134512640 135215973 4294956304 18446744073709551615 134583557 0 0 4096 0 0 0 0 17 0 0 0
/proc/13994/statm: 44609 41177 413 171 0 43534 0
Current children cumulated CPU time (s) 1538.49
Current children cumulated vsize (KiB) 178436

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 14072
/proc/meminfo: memFree=1109352/2055920 swapFree=4192812/4192956
[pid=13994] ppid=13992 vsize=180152 CPUtime=1598.46
/proc/13994/stat : 13994 (pcs.big) R 13992 13994 12276 0 -1 4194304 423357 669 0 0 159697 149 0 0 25 0 1 0 59403987 184475648 41626 996147200 134512640 135215973 4294956304 18446744073709551615 4158960075 0 0 4096 0 0 0 0 17 0 0 0
/proc/13994/statm: 45038 41626 413 171 0 43963 0
Current children cumulated CPU time (s) 1598.46
Current children cumulated vsize (KiB) 180152

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 14072
/proc/meminfo: memFree=1104616/2055920 swapFree=4192812/4192956
[pid=13994] ppid=13992 vsize=181864 CPUtime=1658.43
/proc/13994/stat : 13994 (pcs.big) R 13992 13994 12276 0 -1 4194304 426687 669 0 0 165693 150 0 0 25 0 1 0 59403987 186228736 42052 996147200 134512640 135215973 4294956304 18446744073709551615 134585694 0 0 4096 0 0 0 0 17 0 0 0
/proc/13994/statm: 45466 42052 413 171 0 44391 0
Current children cumulated CPU time (s) 1658.43
Current children cumulated vsize (KiB) 181864

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 14072
/proc/meminfo: memFree=1098664/2055920 swapFree=4192812/4192956
[pid=13994] ppid=13992 vsize=183704 CPUtime=1718.41
/proc/13994/stat : 13994 (pcs.big) R 13992 13994 12276 0 -1 4194304 430288 669 0 0 171689 152 0 0 25 0 1 0 59403987 188112896 42507 996147200 134512640 135215973 4294956304 18446744073709551615 134583659 0 0 4096 0 0 0 0 17 0 0 0
/proc/13994/statm: 45926 42507 413 171 0 44851 0
Current children cumulated CPU time (s) 1718.41
Current children cumulated vsize (KiB) 183704

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 14072
/proc/meminfo: memFree=1092712/2055920 swapFree=4192812/4192956
[pid=13994] ppid=13992 vsize=185288 CPUtime=1778.38
/proc/13994/stat : 13994 (pcs.big) R 13992 13994 12276 0 -1 4194304 433461 669 0 0 177685 153 0 0 25 0 1 0 59403987 189734912 42897 996147200 134512640 135215973 4294956304 18446744073709551615 134585720 0 0 4096 0 0 0 0 17 0 0 0
/proc/13994/statm: 46322 42897 413 171 0 45247 0
Current children cumulated CPU time (s) 1778.38
Current children cumulated vsize (KiB) 185288



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1804.01 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 14072
/proc/meminfo: memFree=1090664/2055920 swapFree=4192812/4192956
[pid=13994] ppid=13992 vsize=185948 CPUtime=1800.09
/proc/13994/stat : 13994 (pcs.big) R 13992 13994 12276 0 -1 4194304 434707 669 0 0 179855 154 0 0 25 0 1 0 59403987 190410752 43054 996147200 134512640 135215973 4294956304 18446744073709551615 134589807 0 0 4096 0 0 0 0 17 0 0 0
/proc/13994/statm: 46487 43054 413 171 0 45412 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 185948

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): 1804.04
CPU time (s): 1800.14
CPU user time (s): 1798.56
CPU system time (s): 1.57576
CPU usage (%): 99.7838
Max. virtual memory (cumulated for all children) (KiB): 186300

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.56
system time used= 1.57576
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 435376
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= 34
involuntary context switches= 14582

runsolver used 1.63275 second user time and 5.14622 second system time

The end

Launcher Data 

Begin job on node30 at 2009-07-16 07:49:39
IDJOB=2083605
IDBENCH=57871
IDSOLVER=733
FILE ID=node30/2083605-1247723378
PBS_JOBID= 9521469
Free space on /tmp= 66280 MiB

SOLVER NAME= pcs 0.2
BENCH NAME= CPAI08/csp/fapp/fapp28/normalized-fapp28-2800-9.xml
COMMAND LINE= HOME/pcssolve -s RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2083605-1247723378/watcher-2083605-1247723378 -o /tmp/evaluation-result-2083605-1247723378/solver-2083605-1247723378 -C 1800 -W 2000 -M 900  HOME/pcssolve -s 962659637 HOME/instance-2083605-1247723378.xml

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

MD5SUM BENCH= 54b400bba60c57784266f5aabcfb5702
RANDOM SEED=962659637

node30.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.277
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.277
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:       1335312 kB
Buffers:         79240 kB
Cached:         376428 kB
SwapCached:          0 kB
Active:         233904 kB
Inactive:       402764 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1335312 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            4992 kB
Writeback:           0 kB
Mapped:         192536 kB
Slab:            68932 kB
Committed_AS:   701196 kB
PageTables:       2104 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= 66276 MiB
End job on node30 at 2009-07-16 08:19:45