Trace number 2083022

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.13 1813.05

General information on the benchmark

Namecsp/fapp/fapp40/
normalized-fapp40-3000-10.xml
MD5SUM6cee6301fe32a4b3c9ce453d6c18bf37
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 benchmark91.5551
Satisfiable
(Un)Satisfiability was proved
Number of variables3000
Number of constraints53548
Maximum constraint arity2
Maximum domain size698
Number of constraints which are defined in extension0
Number of constraints which are defined in intension53548
Global constraints used (with number of constraints)

Solver Data 

0.00/0.03	c has big domains
0.00/0.03	c big-domain mode
0.00/0.03	c Seed is 1847335118
0.00/0.03	c Constructing HOME/instance-2083022-1247722099.xml  with 337963 constraints
6.12/6.26	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-2083022-1247722099/watcher-2083022-1247722099 -o /tmp/evaluation-result-2083022-1247722099/solver-2083022-1247722099 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 1847335118 HOME/instance-2083022-1247722099.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.91 1.97 1.99 4/81 18151
/proc/meminfo: memFree=1509360/2055920 swapFree=4192812/4192956
[pid=18151] ppid=18149 vsize=18576 CPUtime=0
/proc/18151/stat : 18151 (runsolver) R 18149 18151 15134 0 -1 4194368 15 0 0 0 0 0 0 0 20 0 1 0 59273408 19021824 284 996147200 4194304 4302564 548682068496 18446744073709551615 246406507815 0 0 4096 24578 0 0 0 17 1 0 0
/proc/18151/statm: 4644 284 249 26 0 2626 0

[startup+0.0827721 s]
/proc/loadavg: 1.91 1.97 1.99 4/81 18151
/proc/meminfo: memFree=1509360/2055920 swapFree=4192812/4192956
[pid=18151] ppid=18149 vsize=6332 CPUtime=0.06
/proc/18151/stat : 18151 (pcs.big) R 18149 18151 15134 0 -1 4194304 1234 667 0 0 4 0 1 1 22 0 1 0 59273408 6483968 824 996147200 134512640 135215973 4294956304 18446744073709551615 10825364 0 0 4096 0 0 0 0 17 1 0 0
/proc/18151/statm: 1583 824 386 171 0 508 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 6332

[startup+0.101769 s]
/proc/loadavg: 1.91 1.97 1.99 4/81 18151
/proc/meminfo: memFree=1509360/2055920 swapFree=4192812/4192956
[pid=18151] ppid=18149 vsize=6620 CPUtime=0.08
/proc/18151/stat : 18151 (pcs.big) R 18149 18151 15134 0 -1 4194304 1323 667 0 0 6 0 1 1 22 0 1 0 59273408 6778880 913 996147200 134512640 135215973 4294956304 18446744073709551615 4158924096 0 0 4096 0 0 0 0 17 1 0 0
/proc/18151/statm: 1655 913 386 171 0 580 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 6620

[startup+0.301789 s]
/proc/loadavg: 1.91 1.97 1.99 4/81 18151
/proc/meminfo: memFree=1509360/2055920 swapFree=4192812/4192956
[pid=18151] ppid=18149 vsize=11008 CPUtime=0.28
/proc/18151/stat : 18151 (pcs.big) R 18149 18151 15134 0 -1 4194304 2772 667 0 0 25 1 1 1 24 0 1 0 59273408 11272192 1901 996147200 134512640 135215973 4294956304 18446744073709551615 134847916 0 0 4096 0 0 0 0 17 1 0 0
/proc/18151/statm: 2752 1901 386 171 0 1677 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 11008

[startup+0.701826 s]
/proc/loadavg: 1.91 1.97 1.99 4/81 18151
/proc/meminfo: memFree=1509360/2055920 swapFree=4192812/4192956
[pid=18151] ppid=18149 vsize=22000 CPUtime=0.68
/proc/18151/stat : 18151 (pcs.big) R 18149 18151 15134 0 -1 4194304 6238 667 0 0 64 2 1 1 25 0 1 0 59273408 22528000 3913 996147200 134512640 135215973 4294956304 18446744073709551615 134906865 0 0 4096 0 0 0 0 17 1 0 0
/proc/18151/statm: 5500 3913 386 171 0 4425 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 22000

[startup+1.5019 s]
/proc/loadavg: 1.91 1.97 1.99 3/82 18156
/proc/meminfo: memFree=1489128/2055920 swapFree=4192812/4192956
[pid=18151] ppid=18149 vsize=39720 CPUtime=1.47
/proc/18151/stat : 18151 (pcs.big) R 18149 18151 15134 0 -1 4194304 12270 667 0 0 140 5 1 1 25 0 1 0 59273408 40673280 7595 996147200 134512640 135215973 4294956304 18446744073709551615 4159732854 0 0 4096 0 0 0 0 17 1 0 0
/proc/18151/statm: 9930 7595 386 171 0 8855 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 39720

[startup+3.10106 s]
/proc/loadavg: 1.91 1.97 1.99 3/82 18156
/proc/meminfo: memFree=1468008/2055920 swapFree=4192812/4192956
[pid=18151] ppid=18149 vsize=75164 CPUtime=3.04
/proc/18151/stat : 18151 (pcs.big) R 18149 18151 15134 0 -1 4194304 24251 667 0 0 292 10 1 1 25 0 1 0 59273408 76967936 14881 996147200 134512640 135215973 4294956304 18446744073709551615 134762900 0 0 4096 0 0 0 0 17 1 0 0
/proc/18151/statm: 18791 14881 386 171 0 17716 0
Current children cumulated CPU time (s) 3.04
Current children cumulated vsize (KiB) 75164

[startup+6.30136 s]
/proc/loadavg: 2.00 1.99 1.99 3/82 18156
/proc/meminfo: memFree=1411880/2055920 swapFree=4192812/4192956
[pid=18151] ppid=18149 vsize=116940 CPUtime=6.23
/proc/18151/stat : 18151 (pcs.big) R 18149 18151 15134 0 -1 4194304 47519 667 0 0 596 25 1 1 25 0 1 0 59273408 119746560 23690 996147200 134512640 135215973 4294956304 18446744073709551615 10813509 0 0 4096 0 0 0 0 17 1 0 0
/proc/18151/statm: 29235 23690 396 171 0 28160 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 116940

[startup+12.702 s]
/proc/loadavg: 2.00 1.99 1.99 3/82 18156
/proc/meminfo: memFree=1361960/2055920 swapFree=4192812/4192956
[pid=18151] ppid=18149 vsize=170840 CPUtime=12.57
/proc/18151/stat : 18151 (pcs.big) R 18149 18151 15134 0 -1 4194304 61095 667 0 0 1225 30 1 1 25 0 1 0 59273408 174940160 37101 996147200 134512640 135215973 4294956304 18446744073709551615 134585786 0 0 4096 0 0 0 0 17 1 0 0
/proc/18151/statm: 42710 37101 411 171 0 41635 0
Current children cumulated CPU time (s) 12.57
Current children cumulated vsize (KiB) 170840

[startup+25.5012 s]
/proc/loadavg: 2.00 1.99 1.99 3/82 18156
/proc/meminfo: memFree=1361192/2055920 swapFree=4192812/4192956
[pid=18151] ppid=18149 vsize=171672 CPUtime=25.25
/proc/18151/stat : 18151 (pcs.big) R 18149 18151 15134 0 -1 4194304 61524 667 0 0 2493 30 1 1 25 0 1 0 59273408 175792128 37321 996147200 134512640 135215973 4294956304 18446744073709551615 134597668 0 0 4096 0 0 0 0 17 1 0 0
/proc/18151/statm: 42918 37321 411 171 0 41843 0
Current children cumulated CPU time (s) 25.25
Current children cumulated vsize (KiB) 171672

[startup+51.1016 s]
/proc/loadavg: 2.00 1.99 1.99 3/82 18156
/proc/meminfo: memFree=1359528/2055920 swapFree=4192812/4192956
[pid=18151] ppid=18149 vsize=173336 CPUtime=50.64
/proc/18151/stat : 18151 (pcs.big) R 18149 18151 15134 0 -1 4194304 62372 667 0 0 5031 31 1 1 25 0 1 0 59273408 177496064 37752 996147200 134512640 135215973 4294956304 18446744073709551615 134597613 0 0 4096 0 0 0 0 17 1 0 0
/proc/18151/statm: 43334 37752 411 171 0 42259 0
Current children cumulated CPU time (s) 50.64
Current children cumulated vsize (KiB) 173336

[startup+102.305 s]
/proc/loadavg: 2.00 1.99 1.99 3/82 18156
/proc/meminfo: memFree=1343336/2055920 swapFree=4192812/4192956
[pid=18151] ppid=18149 vsize=189336 CPUtime=101.4
/proc/18151/stat : 18151 (pcs.big) R 18149 18151 15134 0 -1 4194304 67211 667 0 0 10106 32 1 1 25 0 1 0 59273408 193880064 41758 996147200 134512640 135215973 4294956304 18446744073709551615 134585701 0 0 4096 0 0 0 0 17 1 0 0
/proc/18151/statm: 47334 41758 411 171 0 46259 0
Current children cumulated CPU time (s) 101.4
Current children cumulated vsize (KiB) 189336

[startup+162.301 s]
/proc/loadavg: 2.00 1.99 1.99 3/82 18156
/proc/meminfo: memFree=1337512/2055920 swapFree=4192812/4192956
[pid=18151] ppid=18149 vsize=201272 CPUtime=160.9
/proc/18151/stat : 18151 (pcs.big) R 18149 18151 15134 0 -1 4194304 70327 667 0 0 16054 34 1 1 25 0 1 0 59273408 206102528 43209 996147200 134512640 135215973 4294956304 18446744073709551615 134597628 0 0 4096 0 0 0 0 17 1 0 0
/proc/18151/statm: 50318 43209 411 171 0 49243 0
Current children cumulated CPU time (s) 160.9
Current children cumulated vsize (KiB) 201272

[startup+222.302 s]
/proc/loadavg: 2.00 1.99 1.99 3/82 18156
/proc/meminfo: memFree=1335720/2055920 swapFree=4192812/4192956
[pid=18151] ppid=18149 vsize=201416 CPUtime=220.39
/proc/18151/stat : 18151 (pcs.big) R 18149 18151 15134 0 -1 4194304 70755 667 0 0 22002 35 1 1 25 0 1 0 59273408 206249984 43637 996147200 134512640 135215973 4294956304 18446744073709551615 134585694 0 0 4096 0 0 0 0 17 1 0 0
/proc/18151/statm: 50354 43637 411 171 0 49279 0
Current children cumulated CPU time (s) 220.39
Current children cumulated vsize (KiB) 201416

[startup+282.302 s]
/proc/loadavg: 2.00 1.99 1.99 3/82 18156
/proc/meminfo: memFree=1335208/2055920 swapFree=4192812/4192956
[pid=18151] ppid=18149 vsize=201416 CPUtime=279.89
/proc/18151/stat : 18151 (pcs.big) R 18149 18151 15134 0 -1 4194304 84947 667 0 0 27946 41 1 1 25 0 1 0 59273408 206249984 43729 996147200 134512640 135215973 4294956304 18446744073709551615 134585697 0 0 4096 0 0 0 0 17 1 0 0
/proc/18151/statm: 50354 43729 414 171 0 49279 0
Current children cumulated CPU time (s) 279.89
Current children cumulated vsize (KiB) 201416

[startup+342.301 s]
/proc/loadavg: 2.00 1.99 1.99 3/82 18156
/proc/meminfo: memFree=1334632/2055920 swapFree=4192812/4192956
[pid=18151] ppid=18149 vsize=201812 CPUtime=339.36
/proc/18151/stat : 18151 (pcs.big) R 18149 18151 15134 0 -1 4194304 114951 667 0 0 33882 52 1 1 25 0 1 0 59273408 206655488 43841 996147200 134512640 135215973 4294956304 18446744073709551615 134585882 0 0 4096 0 0 0 0 17 1 0 0
/proc/18151/statm: 50453 43841 414 171 0 49378 0
Current children cumulated CPU time (s) 339.36
Current children cumulated vsize (KiB) 201812

[startup+402.302 s]
/proc/loadavg: 2.00 1.99 1.99 3/82 18156
/proc/meminfo: memFree=1332264/2055920 swapFree=4192812/4192956
[pid=18151] ppid=18149 vsize=204188 CPUtime=398.85
/proc/18151/stat : 18151 (pcs.big) R 18149 18151 15134 0 -1 4194304 154462 667 0 0 39815 68 1 1 25 0 1 0 59273408 209088512 44436 996147200 134512640 135215973 4294956304 18446744073709551615 134585694 0 0 4096 0 0 0 0 17 1 0 0
/proc/18151/statm: 51047 44436 414 171 0 49972 0
Current children cumulated CPU time (s) 398.85
Current children cumulated vsize (KiB) 204188

[startup+462.302 s]
/proc/loadavg: 2.00 1.99 1.99 3/82 18156
/proc/meminfo: memFree=1330984/2055920 swapFree=4192812/4192956
[pid=18151] ppid=18149 vsize=205640 CPUtime=458.33
/proc/18151/stat : 18151 (pcs.big) R 18149 18151 15134 0 -1 4194304 176266 667 0 0 45754 77 1 1 25 0 1 0 59273408 210575360 44808 996147200 134512640 135215973 4294956304 18446744073709551615 134585786 0 0 4096 0 0 0 0 17 1 0 0
/proc/18151/statm: 51410 44808 414 171 0 50335 0
Current children cumulated CPU time (s) 458.33
Current children cumulated vsize (KiB) 205640

[startup+522.301 s]
/proc/loadavg: 2.00 1.99 1.99 3/82 18156
/proc/meminfo: memFree=1326888/2055920 swapFree=4192812/4192956
[pid=18151] ppid=18149 vsize=209728 CPUtime=517.81
/proc/18151/stat : 18151 (pcs.big) R 18149 18151 15134 0 -1 4194304 208318 667 0 0 51690 89 1 1 25 0 1 0 59273408 214761472 45840 996147200 134512640 135215973 4294956304 18446744073709551615 134585708 0 0 4096 0 0 0 0 17 1 0 0
/proc/18151/statm: 52432 45840 414 171 0 51357 0
Current children cumulated CPU time (s) 517.81
Current children cumulated vsize (KiB) 209728

[startup+582.302 s]
/proc/loadavg: 2.00 1.99 1.99 3/82 18156
/proc/meminfo: memFree=1325544/2055920 swapFree=4192812/4192956
[pid=18151] ppid=18149 vsize=210916 CPUtime=577.29
/proc/18151/stat : 18151 (pcs.big) R 18149 18151 15134 0 -1 4194304 248683 667 0 0 57622 105 1 1 25 0 1 0 59273408 215977984 46161 996147200 134512640 135215973 4294956304 18446744073709551615 134585745 0 0 4096 0 0 0 0 17 1 0 0
/proc/18151/statm: 52729 46161 414 171 0 51654 0
Current children cumulated CPU time (s) 577.29
Current children cumulated vsize (KiB) 210916

[startup+642.302 s]
/proc/loadavg: 2.00 1.99 1.99 3/82 18156
/proc/meminfo: memFree=1323816/2055920 swapFree=4192812/4192956
[pid=18151] ppid=18149 vsize=212632 CPUtime=636.78
/proc/18151/stat : 18151 (pcs.big) R 18149 18151 15134 0 -1 4194304 273920 667 0 0 63563 113 1 1 25 0 1 0 59273408 217735168 46582 996147200 134512640 135215973 4294956304 18446744073709551615 134585658 0 0 4096 0 0 0 0 17 1 0 0
/proc/18151/statm: 53158 46582 414 171 0 52083 0
Current children cumulated CPU time (s) 636.78
Current children cumulated vsize (KiB) 212632

[startup+702.301 s]

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

[startup+822.302 s]
/proc/loadavg: 2.00 1.99 1.99 3/82 18156
/proc/meminfo: memFree=1315880/2055920 swapFree=4192812/4192956
[pid=18151] ppid=18149 vsize=220284 CPUtime=815.24
/proc/18151/stat : 18151 (pcs.big) R 18149 18151 15134 0 -1 4194304 365526 667 0 0 81374 148 1 1 25 0 1 0 59273408 225570816 48512 996147200 134512640 135215973 4294956304 18446744073709551615 134524388 0 0 4096 0 0 0 0 17 1 0 0
/proc/18151/statm: 55071 48512 414 171 0 53996 0
Current children cumulated CPU time (s) 815.24
Current children cumulated vsize (KiB) 220284

[startup+882.301 s]
/proc/loadavg: 2.00 1.99 1.99 3/82 18156
/proc/meminfo: memFree=1313768/2055920 swapFree=4192812/4192956
[pid=18151] ppid=18149 vsize=222396 CPUtime=874.72
/proc/18151/stat : 18151 (pcs.big) R 18149 18151 15134 0 -1 4194304 398756 667 0 0 87308 162 1 1 25 0 1 0 59273408 227733504 49030 996147200 134512640 135215973 4294956304 18446744073709551615 134600887 0 0 4096 0 0 0 0 17 1 0 0
/proc/18151/statm: 55599 49030 414 171 0 54524 0
Current children cumulated CPU time (s) 874.72
Current children cumulated vsize (KiB) 222396

[startup+942.301 s]
/proc/loadavg: 2.00 1.99 1.99 3/82 18156
/proc/meminfo: memFree=1312040/2055920 swapFree=4192812/4192956
[pid=18151] ppid=18149 vsize=224244 CPUtime=934.21
/proc/18151/stat : 18151 (pcs.big) R 18149 18151 15134 0 -1 4194304 431919 667 0 0 93244 175 1 1 25 0 1 0 59273408 229625856 49481 996147200 134512640 135215973 4294956304 18446744073709551615 135094891 0 0 4096 0 0 0 0 17 1 0 0
/proc/18151/statm: 56061 49481 414 171 0 54986 0
Current children cumulated CPU time (s) 934.21
Current children cumulated vsize (KiB) 224244

[startup+1002.3 s]
/proc/loadavg: 2.00 1.99 1.99 3/82 18156
/proc/meminfo: memFree=1307624/2055920 swapFree=4192812/4192956
[pid=18151] ppid=18149 vsize=228600 CPUtime=993.69
/proc/18151/stat : 18151 (pcs.big) R 18149 18151 15134 0 -1 4194304 456701 667 0 0 99183 184 1 1 25 0 1 0 59273408 234086400 50575 996147200 134512640 135215973 4294956304 18446744073709551615 134585469 0 0 4096 0 0 0 0 17 1 0 0
/proc/18151/statm: 57150 50575 414 171 0 56075 0
Current children cumulated CPU time (s) 993.69
Current children cumulated vsize (KiB) 228600

[startup+1062.3 s]
/proc/loadavg: 2.00 1.99 1.99 3/82 18156
/proc/meminfo: memFree=1303208/2055920 swapFree=4192812/4192956
[pid=18151] ppid=18149 vsize=232296 CPUtime=1053.19
/proc/18151/stat : 18151 (pcs.big) R 18149 18151 15134 0 -1 4194304 473313 667 0 0 105126 191 1 1 25 0 1 0 59273408 237871104 51677 996147200 134512640 135215973 4294956304 18446744073709551615 134600802 0 0 4096 0 0 0 0 17 1 0 0
/proc/18151/statm: 58074 51677 414 171 0 56999 0
Current children cumulated CPU time (s) 1053.19
Current children cumulated vsize (KiB) 232296

[startup+1122.3 s]
/proc/loadavg: 2.00 1.99 1.99 3/82 18156
/proc/meminfo: memFree=1300904/2055920 swapFree=4192812/4192956
[pid=18151] ppid=18149 vsize=234012 CPUtime=1112.67
/proc/18151/stat : 18151 (pcs.big) R 18149 18151 15134 0 -1 4194304 500101 667 0 0 111064 201 1 1 25 0 1 0 59273408 239628288 52239 996147200 134512640 135215973 4294956304 18446744073709551615 134585786 0 0 4096 0 0 0 0 17 1 0 0
/proc/18151/statm: 58503 52239 414 171 0 57428 0
Current children cumulated CPU time (s) 1112.67
Current children cumulated vsize (KiB) 234012

[startup+1182.3 s]
/proc/loadavg: 2.00 1.99 1.99 3/82 18156
/proc/meminfo: memFree=1299240/2055920 swapFree=4192812/4192956
[pid=18151] ppid=18149 vsize=235464 CPUtime=1172.16
/proc/18151/stat : 18151 (pcs.big) R 18149 18151 15134 0 -1 4194304 528431 667 0 0 117001 213 1 1 25 0 1 0 59273408 241115136 52651 996147200 134512640 135215973 4294956304 18446744073709551615 134585720 0 0 4096 0 0 0 0 17 1 0 0
/proc/18151/statm: 58866 52651 414 171 0 57791 0
Current children cumulated CPU time (s) 1172.16
Current children cumulated vsize (KiB) 235464

[startup+1242.3 s]
/proc/loadavg: 2.04 2.00 2.00 3/82 18156
/proc/meminfo: memFree=1297256/2055920 swapFree=4192812/4192956
[pid=18151] ppid=18149 vsize=237048 CPUtime=1231.65
/proc/18151/stat : 18151 (pcs.big) R 18149 18151 15134 0 -1 4194304 555409 667 0 0 122937 226 1 1 25 0 1 0 59273408 242737152 53121 996147200 134512640 135215973 4294956304 18446744073709551615 134590047 0 0 4096 0 0 0 0 17 1 0 0
/proc/18151/statm: 59262 53121 414 171 0 58187 0
Current children cumulated CPU time (s) 1231.65
Current children cumulated vsize (KiB) 237048

[startup+1302.3 s]
/proc/loadavg: 2.08 2.03 2.01 3/82 18156
/proc/meminfo: memFree=1297000/2055920 swapFree=4192812/4192956
[pid=18151] ppid=18149 vsize=237312 CPUtime=1291.13
/proc/18151/stat : 18151 (pcs.big) R 18149 18151 15134 0 -1 4194304 582811 667 0 0 128874 237 1 1 25 0 1 0 59273408 243007488 53169 996147200 134512640 135215973 4294956304 18446744073709551615 135094705 0 0 4096 0 0 0 0 17 1 0 0
/proc/18151/statm: 59328 53169 414 171 0 58253 0
Current children cumulated CPU time (s) 1291.13
Current children cumulated vsize (KiB) 237312

[startup+1362.3 s]
/proc/loadavg: 2.14 2.05 2.01 3/82 18156
/proc/meminfo: memFree=1296488/2055920 swapFree=4192812/4192956
[pid=18151] ppid=18149 vsize=237840 CPUtime=1350.61
/proc/18151/stat : 18151 (pcs.big) R 18149 18151 15134 0 -1 4194304 612577 667 0 0 134812 247 1 1 25 0 1 0 59273408 243548160 53325 996147200 134512640 135215973 4294956304 18446744073709551615 134600809 0 0 4096 0 0 0 0 17 1 0 0
/proc/18151/statm: 59460 53325 414 171 0 58385 0
Current children cumulated CPU time (s) 1350.61
Current children cumulated vsize (KiB) 237840

[startup+1422.31 s]
/proc/loadavg: 2.08 2.05 2.01 3/82 18158
/proc/meminfo: memFree=1294760/2055920 swapFree=4192812/4192956
[pid=18151] ppid=18149 vsize=239556 CPUtime=1410.09
/proc/18151/stat : 18151 (pcs.big) R 18149 18151 15134 0 -1 4194304 636979 667 0 0 140751 256 1 1 25 0 1 0 59273408 245305344 53757 996147200 134512640 135215973 4294956304 18446744073709551615 134585804 0 0 4096 0 0 0 0 17 1 0 0
/proc/18151/statm: 59889 53757 414 171 0 58814 0
Current children cumulated CPU time (s) 1410.09
Current children cumulated vsize (KiB) 239556

[startup+1482.3 s]
/proc/loadavg: 2.10 2.06 2.01 3/82 18158
/proc/meminfo: memFree=1289640/2055920 swapFree=4192812/4192956
[pid=18151] ppid=18149 vsize=244308 CPUtime=1469.57
/proc/18151/stat : 18151 (pcs.big) R 18149 18151 15134 0 -1 4194304 701993 667 0 0 146677 278 1 1 25 0 1 0 59273408 250171392 55039 996147200 134512640 135215973 4294956304 18446744073709551615 134585720 0 0 4096 0 0 0 0 17 1 0 0
/proc/18151/statm: 61077 55039 414 171 0 60002 0
Current children cumulated CPU time (s) 1469.57
Current children cumulated vsize (KiB) 244308

[startup+1542.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/73 18191
/proc/meminfo: memFree=1271928/2055920 swapFree=4192812/4192956
[pid=18151] ppid=18149 vsize=272272 CPUtime=1529.46
/proc/18151/stat : 18151 (pcs.big) R 18149 18151 15134 0 -1 4194304 788569 667 0 0 152637 307 1 1 25 0 1 0 59273408 278806528 59326 996147200 134512640 135215973 4294956304 18446744073709551615 4158960170 0 0 4096 0 0 0 0 17 0 0 0
/proc/18151/statm: 68068 59326 414 171 0 66993 0
Current children cumulated CPU time (s) 1529.46
Current children cumulated vsize (KiB) 272272

[startup+1602.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/73 18191
/proc/meminfo: memFree=1264824/2055920 swapFree=4192812/4192956
[pid=18151] ppid=18149 vsize=272536 CPUtime=1589.45
/proc/18151/stat : 18151 (pcs.big) R 18149 18151 15134 0 -1 4194304 869814 667 0 0 158609 334 1 1 25 0 1 0 59273408 279076864 59355 996147200 134512640 135215973 4294956304 18446744073709551615 134585880 0 0 4096 0 0 0 0 17 0 0 0
/proc/18151/statm: 68134 59355 414 171 0 67059 0
Current children cumulated CPU time (s) 1589.45
Current children cumulated vsize (KiB) 272536

[startup+1662.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/73 18191
/proc/meminfo: memFree=1254648/2055920 swapFree=4192812/4192956
[pid=18151] ppid=18149 vsize=272536 CPUtime=1649.42
/proc/18151/stat : 18151 (pcs.big) R 18149 18151 15134 0 -1 4194304 896335 667 0 0 164597 343 1 1 25 0 1 0 59273408 279076864 59368 996147200 134512640 135215973 4294956304 18446744073709551615 134585720 0 0 4096 0 0 0 0 17 0 0 0
/proc/18151/statm: 68134 59368 414 171 0 67059 0
Current children cumulated CPU time (s) 1649.42
Current children cumulated vsize (KiB) 272536

[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/73 18191
/proc/meminfo: memFree=1246072/2055920 swapFree=4192812/4192956
[pid=18151] ppid=18149 vsize=272536 CPUtime=1709.4
/proc/18151/stat : 18151 (pcs.big) R 18149 18151 15134 0 -1 4194304 914957 667 0 0 170589 349 1 1 25 0 1 0 59273408 279076864 59378 996147200 134512640 135215973 4294956304 18446744073709551615 134585750 0 0 4096 0 0 0 0 17 0 0 0
/proc/18151/statm: 68134 59378 414 171 0 67059 0
Current children cumulated CPU time (s) 1709.4
Current children cumulated vsize (KiB) 272536

[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/73 18191
/proc/meminfo: memFree=1238072/2055920 swapFree=4192812/4192956
[pid=18151] ppid=18149 vsize=272536 CPUtime=1769.38
/proc/18151/stat : 18151 (pcs.big) R 18149 18151 15134 0 -1 4194304 932166 667 0 0 176581 355 1 1 25 0 1 0 59273408 279076864 59385 996147200 134512640 135215973 4294956304 18446744073709551615 134583680 0 0 4096 0 0 0 0 17 0 0 0
/proc/18151/statm: 68134 59385 414 171 0 67059 0
Current children cumulated CPU time (s) 1769.38
Current children cumulated vsize (KiB) 272536



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1813 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 18191
/proc/meminfo: memFree=1234872/2055920 swapFree=4192812/4192956
[pid=18151] ppid=18149 vsize=272664 CPUtime=1800.07
/proc/18151/stat : 18151 (pcs.big) R 18149 18151 15134 0 -1 4194304 939785 667 0 0 179647 358 1 1 25 0 1 0 59273408 279207936 59390 996147200 134512640 135215973 4294956304 18446744073709551615 135094710 0 0 4096 0 0 0 0 17 0 0 0
/proc/18151/statm: 68166 59390 414 171 0 67091 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 272664

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): 1813.05
CPU time (s): 1800.13
CPU user time (s): 1796.49
CPU system time (s): 3.64045
CPU usage (%): 99.2876
Max. virtual memory (cumulated for all children) (KiB): 276480

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

runsolver used 1.9457 second user time and 4.82327 second system time

The end

Launcher Data 

Begin job on node61 at 2009-07-16 07:28:20
IDJOB=2083022
IDBENCH=57676
IDSOLVER=733
FILE ID=node61/2083022-1247722099
PBS_JOBID= 9521363
Free space on /tmp= 66372 MiB

SOLVER NAME= pcs 0.2
BENCH NAME= CPAI08/csp/fapp/fapp40/normalized-fapp40-3000-10.xml
COMMAND LINE= HOME/pcssolve -s RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2083022-1247722099/watcher-2083022-1247722099 -o /tmp/evaluation-result-2083022-1247722099/solver-2083022-1247722099 -C 1800 -W 2000 -M 900  HOME/pcssolve -s 1847335118 HOME/instance-2083022-1247722099.xml

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

MD5SUM BENCH= 6cee6301fe32a4b3c9ce453d6c18bf37
RANDOM SEED=1847335118

node61.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.229
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.229
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:       1509776 kB
Buffers:        107188 kB
Cached:         302036 kB
SwapCached:          0 kB
Active:         124084 kB
Inactive:       321116 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1509776 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            9268 kB
Writeback:           0 kB
Mapped:          56404 kB
Slab:            86136 kB
Committed_AS:   589408 kB
PageTables:       1848 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264884 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66372 MiB
End job on node61 at 2009-07-16 07:58:35