Trace number 2084079

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-restart 0.3.2? (TO) 1800.15 1807.64

General information on the benchmark

Namecsp/fapp/fapp09/
normalized-fapp09-0800-10.xml
MD5SUM0c9bd9627ff304e4b5c8ec56755ce638
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 benchmark10.0325
Satisfiable
(Un)Satisfiability was proved
Number of variables800
Number of constraints8975
Maximum constraint arity2
Maximum domain size350
Number of constraints which are defined in extension0
Number of constraints which are defined in intension8975
Global constraints used (with number of constraints)

Solver Data 

0.00/0.01	c has big domains
0.00/0.01	c big-domain mode
0.27/0.30	c Seed is 1973491722
0.27/0.30	c Constructing HOME/instance-2084079-1247724426.xml  with 56428 constraints
0.87/0.91	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-2084079-1247724426/watcher-2084079-1247724426 -o /tmp/evaluation-result-2084079-1247724426/solver-2084079-1247724426 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 1973491722 HOME/instance-2084079-1247724426.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.10 2.08 2.02 4/83 18149
/proc/meminfo: memFree=1376256/2055920 swapFree=4192812/4192956
[pid=18149] ppid=18147 vsize=5356 CPUtime=0
/proc/18149/stat : 18149 (pcssolve) R 18147 18149 16857 0 -1 4194304 305 0 0 0 0 0 0 0 21 0 1 0 59507174 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 226686985028 0 65536 4100 65538 0 0 0 17 1 0 0
/proc/18149/statm: 1339 242 201 169 0 50 0
[pid=18150] ppid=18149 vsize=0 CPUtime=0
/proc/18150/stat : 18150 (fgrep) Z 18149 18149 16857 0 -1 4194316 155 0 0 0 0 0 0 0 18 0 1 0 59507175 0 0 996147200 0 0 0 0 0 0 0 4096 0 18446744071563351923 0 0 17 0 0 0
/proc/18150/statm: 0 0 0 0 0 0 0
[pid=18151] ppid=18149 vsize=0 CPUtime=0
/proc/18151/stat : 18151 (grep) Z 18149 18149 16857 0 -1 4194316 162 0 0 0 0 0 0 0 18 0 1 0 59507175 0 0 996147200 0 0 0 0 0 0 0 4096 0 18446744071563351923 0 0 17 0 0 0
/proc/18151/statm: 0 0 0 0 0 0 0

[startup+0.0458801 s]
/proc/loadavg: 2.10 2.08 2.02 4/83 18149
/proc/meminfo: memFree=1376256/2055920 swapFree=4192812/4192956
[pid=18149] ppid=18147 vsize=5336 CPUtime=0.02
/proc/18149/stat : 18149 (pcs.big) R 18147 18149 16857 0 -1 4194304 992 665 0 0 2 0 0 0 17 0 1 0 59507174 5464064 623 996147200 134512640 135215973 4294956304 18446744073709551615 4159198288 0 0 4096 0 0 0 0 17 0 0 0
/proc/18149/statm: 1334 623 386 171 0 259 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 5336

[startup+0.10289 s]
/proc/loadavg: 2.10 2.08 2.02 4/83 18149
/proc/meminfo: memFree=1376256/2055920 swapFree=4192812/4192956
[pid=18149] ppid=18147 vsize=6864 CPUtime=0.08
/proc/18149/stat : 18149 (pcs.big) R 18147 18149 16857 0 -1 4194304 1381 665 0 0 8 0 0 0 17 0 1 0 59507174 7028736 938 996147200 134512640 135215973 4294956304 18446744073709551615 4160171875 0 0 4096 0 0 0 0 17 0 0 0
/proc/18149/statm: 1716 939 386 171 0 641 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 6864

[startup+0.301932 s]
/proc/loadavg: 2.10 2.08 2.02 4/83 18149
/proc/meminfo: memFree=1376256/2055920 swapFree=4192812/4192956
[pid=18149] ppid=18147 vsize=12100 CPUtime=0.27
/proc/18149/stat : 18149 (pcs.big) R 18147 18149 16857 0 -1 4194304 3039 665 0 0 27 0 0 0 18 0 1 0 59507174 12390400 1998 996147200 134512640 135215973 4294956304 18446744073709551615 134761742 0 0 4096 0 0 0 0 17 0 0 0
/proc/18149/statm: 3025 1998 386 171 0 1950 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 12100

[startup+0.702013 s]
/proc/loadavg: 2.10 2.08 2.02 4/83 18149
/proc/meminfo: memFree=1376256/2055920 swapFree=4192812/4192956
[pid=18149] ppid=18147 vsize=22544 CPUtime=0.67
/proc/18149/stat : 18149 (pcs.big) R 18147 18149 16857 0 -1 4194304 6473 665 0 0 65 2 0 0 21 0 1 0 59507174 23085056 4057 996147200 134512640 135215973 4294956304 18446744073709551615 6149755 0 0 4096 0 0 0 0 17 0 0 0
/proc/18149/statm: 5636 4057 386 171 0 4561 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 22544

[startup+1.50118 s]
/proc/loadavg: 2.10 2.08 2.02 3/84 18154
/proc/meminfo: memFree=1348280/2055920 swapFree=4192812/4192956
[pid=18149] ppid=18147 vsize=29644 CPUtime=1.47
/proc/18149/stat : 18149 (pcs.big) R 18147 18149 16857 0 -1 4194304 9729 665 0 0 143 4 0 0 25 0 1 0 59507174 30355456 6439 996147200 134512640 135215973 4294956304 18446744073709551615 134599868 0 0 4096 0 0 0 0 17 0 0 0
/proc/18149/statm: 7411 6439 410 171 0 6336 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 29644

[startup+3.1015 s]
/proc/loadavg: 2.09 2.08 2.02 3/84 18154
/proc/meminfo: memFree=1343672/2055920 swapFree=4192812/4192956
[pid=18149] ppid=18147 vsize=30796 CPUtime=3.06
/proc/18149/stat : 18149 (pcs.big) R 18147 18149 16857 0 -1 4194304 10121 665 0 0 302 4 0 0 25 0 1 0 59507174 31535104 6673 996147200 134512640 135215973 4294956304 18446744073709551615 135094878 0 0 4096 0 0 0 0 17 0 0 0
/proc/18149/statm: 7699 6673 410 171 0 6624 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 30796

[startup+6.30116 s]
/proc/loadavg: 2.09 2.08 2.02 3/84 18154
/proc/meminfo: memFree=1328120/2055920 swapFree=4192812/4192956
[pid=18149] ppid=18147 vsize=34532 CPUtime=6.25
/proc/18149/stat : 18149 (pcs.big) R 18147 18149 16857 0 -1 4194304 11195 665 0 0 620 5 0 0 25 0 1 0 59507174 35360768 7538 996147200 134512640 135215973 4294956304 18446744073709551615 134583674 0 0 4096 0 0 0 0 17 0 0 0
/proc/18149/statm: 8633 7538 410 171 0 7558 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 34532

[startup+12.7015 s]
/proc/loadavg: 2.08 2.07 2.01 3/84 18154
/proc/meminfo: memFree=1251576/2055920 swapFree=4192812/4192956
[pid=18149] ppid=18147 vsize=37648 CPUtime=12.61
/proc/18149/stat : 18149 (pcs.big) R 18147 18149 16857 0 -1 4194304 12696 665 0 0 1256 5 0 0 25 0 1 0 59507174 38551552 8142 996147200 134512640 135215973 4294956304 18446744073709551615 4158960069 0 0 4096 0 0 0 0 17 0 0 0
/proc/18149/statm: 9412 8142 413 171 0 8337 0
Current children cumulated CPU time (s) 12.61
Current children cumulated vsize (KiB) 37648

[startup+25.5021 s]
/proc/loadavg: 2.07 2.07 2.01 3/74 18187
/proc/meminfo: memFree=1511752/2055920 swapFree=4192812/4192956
[pid=18149] ppid=18147 vsize=38440 CPUtime=25.31
/proc/18149/stat : 18149 (pcs.big) R 18147 18149 16857 0 -1 4194304 25307 665 0 0 2521 10 0 0 25 0 1 0 59507174 39362560 8369 996147200 134512640 135215973 4294956304 18446744073709551615 134583640 0 0 4096 0 0 0 0 17 1 0 0
/proc/18149/statm: 9610 8369 413 171 0 8535 0
Current children cumulated CPU time (s) 25.31
Current children cumulated vsize (KiB) 38440

[startup+51.1013 s]
/proc/loadavg: 2.04 2.06 2.01 3/74 18187
/proc/meminfo: memFree=1504328/2055920 swapFree=4192812/4192956
[pid=18149] ppid=18147 vsize=41208 CPUtime=50.71
/proc/18149/stat : 18149 (pcs.big) R 18147 18149 16857 0 -1 4194304 44291 665 0 0 5055 16 0 0 25 0 1 0 59507174 42196992 9065 996147200 134512640 135215973 4294956304 18446744073709551615 4158960128 0 0 4096 0 0 0 0 17 1 0 0
/proc/18149/statm: 10302 9065 413 171 0 9227 0
Current children cumulated CPU time (s) 50.71
Current children cumulated vsize (KiB) 41208

[startup+102.306 s]
/proc/loadavg: 2.02 2.05 2.01 3/74 18187
/proc/meminfo: memFree=1491912/2055920 swapFree=4192812/4192956
[pid=18149] ppid=18147 vsize=49644 CPUtime=101.53
/proc/18149/stat : 18149 (pcs.big) R 18147 18149 16857 0 -1 4194304 98604 665 0 0 10121 32 0 0 25 0 1 0 59507174 50835456 11154 996147200 134512640 135215973 4294956304 18446744073709551615 134585576 0 0 4096 0 0 0 0 17 1 0 0
/proc/18149/statm: 12411 11154 413 171 0 11336 0
Current children cumulated CPU time (s) 101.53
Current children cumulated vsize (KiB) 49644

[startup+162.302 s]
/proc/loadavg: 2.04 2.05 2.01 4/74 18291
/proc/meminfo: memFree=1447736/2055920 swapFree=4192812/4192956
[pid=18149] ppid=18147 vsize=63928 CPUtime=161.35
/proc/18149/stat : 18149 (pcs.big) R 18147 18149 16857 0 -1 4194304 139328 665 0 0 16091 44 0 0 25 0 1 0 59507174 65462272 14229 996147200 134512640 135215973 4294956304 18446744073709551615 134585720 0 0 4096 0 0 0 0 17 0 0 0
/proc/18149/statm: 15982 14229 413 171 0 14907 0
Current children cumulated CPU time (s) 161.35
Current children cumulated vsize (KiB) 63928

[startup+222.301 s]
/proc/loadavg: 2.01 2.04 2.00 4/74 18291
/proc/meminfo: memFree=1339704/2055920 swapFree=4192812/4192956
[pid=18149] ppid=18147 vsize=67488 CPUtime=221.33
/proc/18149/stat : 18149 (pcs.big) R 18147 18149 16857 0 -1 4194304 171666 665 0 0 22077 56 0 0 25 0 1 0 59507174 69107712 15127 996147200 134512640 135215973 4294956304 18446744073709551615 134591473 0 0 4096 0 0 0 0 17 0 0 0
/proc/18149/statm: 16872 15127 413 171 0 15797 0
Current children cumulated CPU time (s) 221.33
Current children cumulated vsize (KiB) 67488

[startup+282.301 s]
/proc/loadavg: 2.00 2.03 2.00 3/74 18291
/proc/meminfo: memFree=1330680/2055920 swapFree=4192812/4192956
[pid=18149] ppid=18147 vsize=76464 CPUtime=281.16
/proc/18149/stat : 18149 (pcs.big) R 18147 18149 16857 0 -1 4194304 215336 665 0 0 28046 70 0 0 25 0 1 0 59507174 78299136 17373 996147200 134512640 135215973 4294956304 18446744073709551615 134585576 0 0 4096 0 0 0 0 17 0 0 0
/proc/18149/statm: 19116 17373 413 171 0 18041 0
Current children cumulated CPU time (s) 281.16
Current children cumulated vsize (KiB) 76464

[startup+342.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/74 18291
/proc/meminfo: memFree=1315768/2055920 swapFree=4192812/4192956
[pid=18149] ppid=18147 vsize=91368 CPUtime=340.91
/proc/18149/stat : 18149 (pcs.big) R 18147 18149 16857 0 -1 4194304 298263 665 0 0 33995 96 0 0 25 0 1 0 59507174 93560832 21100 996147200 134512640 135215973 4294956304 18446744073709551615 4158960033 0 0 4096 0 0 0 0 17 0 0 0
/proc/18149/statm: 22842 21100 413 171 0 21767 0
Current children cumulated CPU time (s) 340.91
Current children cumulated vsize (KiB) 91368

[startup+402.302 s]
/proc/loadavg: 2.00 2.02 2.00 3/74 18291
/proc/meminfo: memFree=1305912/2055920 swapFree=4192812/4192956
[pid=18149] ppid=18147 vsize=101384 CPUtime=400.66
/proc/18149/stat : 18149 (pcs.big) R 18147 18149 16857 0 -1 4194304 361337 665 0 0 39955 111 0 0 25 0 1 0 59507174 103817216 23598 996147200 134512640 135215973 4294956304 18446744073709551615 134597621 0 0 4096 0 0 0 0 17 0 0 0
/proc/18149/statm: 25346 23598 413 171 0 24271 0
Current children cumulated CPU time (s) 400.66
Current children cumulated vsize (KiB) 101384

[startup+462.302 s]
/proc/loadavg: 2.00 2.01 2.00 3/74 18291
/proc/meminfo: memFree=1296248/2055920 swapFree=4192812/4192956
[pid=18149] ppid=18147 vsize=110752 CPUtime=460.4
/proc/18149/stat : 18149 (pcs.big) R 18147 18149 16857 0 -1 4194304 419431 665 0 0 45912 128 0 0 25 0 1 0 59507174 113410048 25964 996147200 134512640 135215973 4294956304 18446744073709551615 134585786 0 0 4096 0 0 0 0 17 0 0 0
/proc/18149/statm: 27688 25964 413 171 0 26613 0
Current children cumulated CPU time (s) 460.4
Current children cumulated vsize (KiB) 110752

[startup+522.301 s]
/proc/loadavg: 2.00 2.01 2.00 4/74 18291
/proc/meminfo: memFree=1287608/2055920 swapFree=4192812/4192956
[pid=18149] ppid=18147 vsize=119320 CPUtime=520.16
/proc/18149/stat : 18149 (pcs.big) R 18147 18149 16857 0 -1 4194304 464261 665 0 0 51875 141 0 0 25 0 1 0 59507174 122183680 28122 996147200 134512640 135215973 4294956304 18446744073709551615 134599824 0 0 4096 0 0 0 0 17 0 0 0
/proc/18149/statm: 29830 28122 413 171 0 28755 0
Current children cumulated CPU time (s) 520.16
Current children cumulated vsize (KiB) 119320

[startup+582.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 18291
/proc/meminfo: memFree=1277880/2055920 swapFree=4192812/4192956
[pid=18149] ppid=18147 vsize=130728 CPUtime=579.91
/proc/18149/stat : 18149 (pcs.big) R 18147 18149 16857 0 -1 4194304 511680 665 0 0 57835 156 0 0 25 0 1 0 59507174 133865472 30467 996147200 134512640 135215973 4294956304 18446744073709551615 4158960134 0 0 4096 0 0 0 0 17 0 0 0
/proc/18149/statm: 32682 30467 413 171 0 31607 0
Current children cumulated CPU time (s) 579.91
Current children cumulated vsize (KiB) 130728

[startup+642.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 18291
/proc/meminfo: memFree=1272120/2055920 swapFree=4192812/4192956
[pid=18149] ppid=18147 vsize=136008 CPUtime=639.66

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

[startup+822.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 18291
/proc/meminfo: memFree=1253880/2055920 swapFree=4192812/4192956
[pid=18149] ppid=18147 vsize=153816 CPUtime=818.91
/proc/18149/stat : 18149 (pcs.big) R 18147 18149 16857 0 -1 4194304 710799 665 0 0 81677 214 0 0 25 0 1 0 59507174 157507584 36338 996147200 134512640 135215973 4294956304 18446744073709551615 134585694 0 0 4096 0 0 0 0 17 0 0 0
/proc/18149/statm: 38454 36338 413 171 0 37379 0
Current children cumulated CPU time (s) 818.91
Current children cumulated vsize (KiB) 153816

[startup+882.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 18291
/proc/meminfo: memFree=1246200/2055920 swapFree=4192812/4192956
[pid=18149] ppid=18147 vsize=161208 CPUtime=878.66
/proc/18149/stat : 18149 (pcs.big) R 18147 18149 16857 0 -1 4194304 741755 665 0 0 87643 223 0 0 25 0 1 0 59507174 165076992 38206 996147200 134512640 135215973 4294956304 18446744073709551615 4158960056 0 0 4096 0 0 0 0 17 0 0 0
/proc/18149/statm: 40302 38206 413 171 0 39227 0
Current children cumulated CPU time (s) 878.66
Current children cumulated vsize (KiB) 161208

[startup+942.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 18291
/proc/meminfo: memFree=1242040/2055920 swapFree=4192812/4192956
[pid=18149] ppid=18147 vsize=165692 CPUtime=938.41
/proc/18149/stat : 18149 (pcs.big) R 18147 18149 16857 0 -1 4194304 766904 665 0 0 93610 231 0 0 25 0 1 0 59507174 169668608 39307 996147200 134512640 135215973 4294956304 18446744073709551615 134585694 0 0 4096 0 0 0 0 17 0 0 0
/proc/18149/statm: 41423 39307 413 171 0 40348 0
Current children cumulated CPU time (s) 938.41
Current children cumulated vsize (KiB) 165692

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/74 18291
/proc/meminfo: memFree=1238392/2055920 swapFree=4192812/4192956
[pid=18149] ppid=18147 vsize=168992 CPUtime=998.15
/proc/18149/stat : 18149 (pcs.big) R 18147 18149 16857 0 -1 4194304 786665 665 0 0 99577 238 0 0 25 0 1 0 59507174 173047808 40156 996147200 134512640 135215973 4294956304 18446744073709551615 134970496 0 0 4096 0 0 0 0 17 0 0 0
/proc/18149/statm: 42248 40156 413 171 0 41173 0
Current children cumulated CPU time (s) 998.15
Current children cumulated vsize (KiB) 168992

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 18291
/proc/meminfo: memFree=1233720/2055920 swapFree=4192812/4192956
[pid=18149] ppid=18147 vsize=173872 CPUtime=1057.91
/proc/18149/stat : 18149 (pcs.big) R 18147 18149 16857 0 -1 4194304 812567 665 0 0 105545 246 0 0 25 0 1 0 59507174 178044928 41386 996147200 134512640 135215973 4294956304 18446744073709551615 134583640 0 0 4096 0 0 0 0 17 0 0 0
/proc/18149/statm: 43468 41386 413 171 0 42393 0
Current children cumulated CPU time (s) 1057.91
Current children cumulated vsize (KiB) 173872

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 18291
/proc/meminfo: memFree=1231544/2055920 swapFree=4192812/4192956
[pid=18149] ppid=18147 vsize=175780 CPUtime=1117.66
/proc/18149/stat : 18149 (pcs.big) R 18147 18149 16857 0 -1 4194304 833575 665 0 0 111513 253 0 0 25 0 1 0 59507174 179998720 41850 996147200 134512640 135215973 4294956304 18446744073709551615 134591688 0 0 4096 0 0 0 0 17 0 0 0
/proc/18149/statm: 43945 41850 413 171 0 42870 0
Current children cumulated CPU time (s) 1117.66
Current children cumulated vsize (KiB) 175780

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 18291
/proc/meminfo: memFree=1225080/2055920 swapFree=4192812/4192956
[pid=18149] ppid=18147 vsize=182188 CPUtime=1177.4
/proc/18149/stat : 18149 (pcs.big) R 18147 18149 16857 0 -1 4194304 863311 665 0 0 117478 262 0 0 25 0 1 0 59507174 186560512 43458 996147200 134512640 135215973 4294956304 18446744073709551615 134583640 0 0 4096 0 0 0 0 17 0 0 0
/proc/18149/statm: 45547 43458 413 171 0 44472 0
Current children cumulated CPU time (s) 1177.4
Current children cumulated vsize (KiB) 182188

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 18291
/proc/meminfo: memFree=1220472/2055920 swapFree=4192812/4192956
[pid=18149] ppid=18147 vsize=186276 CPUtime=1237.15
/proc/18149/stat : 18149 (pcs.big) R 18147 18149 16857 0 -1 4194304 887220 665 0 0 123445 270 0 0 25 0 1 0 59507174 190746624 44471 996147200 134512640 135215973 4294956304 18446744073709551615 134597419 0 0 4096 0 0 0 0 17 0 0 0
/proc/18149/statm: 46569 44471 413 171 0 45494 0
Current children cumulated CPU time (s) 1237.15
Current children cumulated vsize (KiB) 186276

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/74 18291
/proc/meminfo: memFree=1215352/2055920 swapFree=4192812/4192956
[pid=18149] ppid=18147 vsize=191472 CPUtime=1296.9
/proc/18149/stat : 18149 (pcs.big) R 18147 18149 16857 0 -1 4194304 911387 665 0 0 129414 276 0 0 25 0 1 0 59507174 196067328 45757 996147200 134512640 135215973 4294956304 18446744073709551615 134599858 0 0 4096 0 0 0 0 17 0 0 0
/proc/18149/statm: 47868 45757 413 171 0 46793 0
Current children cumulated CPU time (s) 1296.9
Current children cumulated vsize (KiB) 191472

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 18291
/proc/meminfo: memFree=1210616/2055920 swapFree=4192812/4192956
[pid=18149] ppid=18147 vsize=195636 CPUtime=1356.64
/proc/18149/stat : 18149 (pcs.big) R 18147 18149 16857 0 -1 4194304 935111 665 0 0 135380 284 0 0 25 0 1 0 59507174 200331264 46825 996147200 134512640 135215973 4294956304 18446744073709551615 134585880 0 0 4096 0 0 0 0 17 0 0 0
/proc/18149/statm: 48909 46825 413 171 0 47834 0
Current children cumulated CPU time (s) 1356.64
Current children cumulated vsize (KiB) 195636

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 18291
/proc/meminfo: memFree=1207032/2055920 swapFree=4192812/4192956
[pid=18149] ppid=18147 vsize=198932 CPUtime=1416.39
/proc/18149/stat : 18149 (pcs.big) R 18147 18149 16857 0 -1 4194304 959704 665 0 0 141347 292 0 0 25 0 1 0 59507174 203706368 47658 996147200 134512640 135215973 4294956304 18446744073709551615 135097452 0 0 4096 0 0 0 0 17 0 0 0
/proc/18149/statm: 49733 47658 413 171 0 48658 0
Current children cumulated CPU time (s) 1416.39
Current children cumulated vsize (KiB) 198932

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 18291
/proc/meminfo: memFree=1206584/2055920 swapFree=4192812/4192956
[pid=18149] ppid=18147 vsize=199064 CPUtime=1476.14
/proc/18149/stat : 18149 (pcs.big) R 18147 18149 16857 0 -1 4194304 991342 665 0 0 147311 303 0 0 25 0 1 0 59507174 203841536 47712 996147200 134512640 135215973 4294956304 18446744073709551615 134583589 0 0 4096 0 0 0 0 17 0 0 0
/proc/18149/statm: 49766 47712 413 171 0 48691 0
Current children cumulated CPU time (s) 1476.14
Current children cumulated vsize (KiB) 199064

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/74 18291
/proc/meminfo: memFree=1192696/2055920 swapFree=4192812/4192956
[pid=18149] ppid=18147 vsize=212788 CPUtime=1535.89
/proc/18149/stat : 18149 (pcs.big) R 18147 18149 16857 0 -1 4194304 1030532 665 0 0 153276 313 0 0 25 0 1 0 59507174 217894912 51142 996147200 134512640 135215973 4294956304 18446744073709551615 4158960012 0 0 4096 0 0 0 0 17 0 0 0
/proc/18149/statm: 53197 51142 413 171 0 52122 0
Current children cumulated CPU time (s) 1535.89
Current children cumulated vsize (KiB) 212788

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/74 18291
/proc/meminfo: memFree=1187064/2055920 swapFree=4192812/4192956
[pid=18149] ppid=18147 vsize=217796 CPUtime=1595.64
/proc/18149/stat : 18149 (pcs.big) R 18147 18149 16857 0 -1 4194304 1062561 665 0 0 159242 322 0 0 25 0 1 0 59507174 223023104 52403 996147200 134512640 135215973 4294956304 18446744073709551615 134599849 0 0 4096 0 0 0 0 17 0 0 0
/proc/18149/statm: 54449 52403 413 171 0 53374 0
Current children cumulated CPU time (s) 1595.64
Current children cumulated vsize (KiB) 217796

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/74 18291
/proc/meminfo: memFree=1186488/2055920 swapFree=4192812/4192956
[pid=18149] ppid=18147 vsize=218452 CPUtime=1655.39
/proc/18149/stat : 18149 (pcs.big) R 18147 18149 16857 0 -1 4194304 1099722 665 0 0 165207 332 0 0 25 0 1 0 59507174 223694848 52556 996147200 134512640 135215973 4294956304 18446744073709551615 134599870 0 0 4096 0 0 0 0 17 0 0 0
/proc/18149/statm: 54613 52556 413 171 0 53538 0
Current children cumulated CPU time (s) 1655.39
Current children cumulated vsize (KiB) 218452

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 18291
/proc/meminfo: memFree=1179960/2055920 swapFree=4192812/4192956
[pid=18149] ppid=18147 vsize=224908 CPUtime=1715.14
/proc/18149/stat : 18149 (pcs.big) R 18147 18149 16857 0 -1 4194304 1127762 665 0 0 171173 341 0 0 25 0 1 0 59507174 230305792 54196 996147200 134512640 135215973 4294956304 18446744073709551615 134585694 0 0 4096 0 0 0 0 17 0 0 0
/proc/18149/statm: 56227 54196 413 171 0 55152 0
Current children cumulated CPU time (s) 1715.14
Current children cumulated vsize (KiB) 224908

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 18291
/proc/meminfo: memFree=1169336/2055920 swapFree=4192812/4192956
[pid=18149] ppid=18147 vsize=235336 CPUtime=1774.89
/proc/18149/stat : 18149 (pcs.big) R 18147 18149 16857 0 -1 4194304 1181756 665 0 0 177132 357 0 0 25 0 1 0 59507174 240984064 56830 996147200 134512640 135215973 4294956304 18446744073709551615 134585720 0 0 4096 0 0 0 0 17 0 0 0
/proc/18149/statm: 58834 56830 413 171 0 57759 0
Current children cumulated CPU time (s) 1774.89
Current children cumulated vsize (KiB) 235336



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1807.6 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 18291
/proc/meminfo: memFree=1164280/2055920 swapFree=4192812/4192956
[pid=18149] ppid=18147 vsize=240484 CPUtime=1800.09
/proc/18149/stat : 18149 (pcs.big) R 18147 18149 16857 0 -1 4194304 1210618 665 0 0 179644 365 0 0 25 0 1 0 59507174 246255616 58092 996147200 134512640 135215973 4294956304 18446744073709551615 134596291 0 0 4096 0 0 0 0 17 0 0 0
/proc/18149/statm: 60121 58092 413 171 0 59046 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 240484

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): 1807.64
CPU time (s): 1800.15
CPU user time (s): 1796.45
CPU system time (s): 3.69344
CPU usage (%): 99.5852
Max. virtual memory (cumulated for all children) (KiB): 240484

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

runsolver used 1.76973 second user time and 4.94325 second system time

The end

Launcher Data 

Begin job on node80 at 2009-07-16 08:07:06
IDJOB=2084079
IDBENCH=58032
IDSOLVER=734
FILE ID=node80/2084079-1247724426
PBS_JOBID= 9521430
Free space on /tmp= 66320 MiB

SOLVER NAME= pcs-restart 0.2.restart
BENCH NAME= CPAI08/csp/fapp/fapp09/normalized-fapp09-0800-10.xml
COMMAND LINE= HOME/pcssolve -s RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2084079-1247724426/watcher-2084079-1247724426 -o /tmp/evaluation-result-2084079-1247724426/solver-2084079-1247724426 -C 1800 -W 2000 -M 900  HOME/pcssolve -s 1973491722 HOME/instance-2084079-1247724426.xml

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

MD5SUM BENCH= 0c9bd9627ff304e4b5c8ec56755ce638
RANDOM SEED=1973491722

node80.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.285
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.285
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:       1376736 kB
Buffers:         76520 kB
Cached:         320056 kB
SwapCached:          0 kB
Active:         273920 kB
Inactive:       319660 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1376736 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            3000 kB
Writeback:           0 kB
Mapped:         217416 kB
Slab:            70488 kB
Committed_AS:   788252 kB
PageTables:       2208 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= 66316 MiB
End job on node80 at 2009-07-16 08:37:16