Trace number 2086807

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.16 1808.35

General information on the benchmark

Namecsp/js-taillard-20/
normalized-js-taillard-20-105-7.xml
MD5SUM933af775481748d76719206dbc8b6623
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 benchmark18.7781
Satisfiable
(Un)Satisfiability was proved
Number of variables400
Number of constraints4180
Maximum constraint arity2
Maximum domain size1715
Number of constraints which are defined in extension0
Number of constraints which are defined in intension4180
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.17/0.20	c Seed is 183178689
0.17/0.20	c Constructing HOME/instance-2086807-1247726825.xml  with 27360 constraints
0.37/0.45	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-2086807-1247726825/watcher-2086807-1247726825 -o /tmp/evaluation-result-2086807-1247726825/solver-2086807-1247726825 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 183178689 HOME/instance-2086807-1247726825.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 14198
/proc/meminfo: memFree=1472216/2055920 swapFree=4192812/4192956
[pid=14198] ppid=14196 vsize=5260 CPUtime=0
/proc/14198/stat : 14198 (pcssolve) R 14196 14198 13932 0 -1 4194304 69 0 0 0 0 0 0 0 20 0 1 0 59745846 5386240 43 996147200 4194304 4889804 548682068800 18446744073709551615 248758990937 0 0 4096 0 0 0 0 17 1 0 0
/proc/14198/statm: 1315 43 29 169 0 14 0

[startup+0.106021 s]
/proc/loadavg: 1.92 1.98 1.99 4/72 14198
/proc/meminfo: memFree=1472216/2055920 swapFree=4192812/4192956
[pid=14198] ppid=14196 vsize=6520 CPUtime=0.08
/proc/14198/stat : 14198 (pcs.big) R 14196 14198 13932 0 -1 4194304 1302 663 0 0 8 0 0 0 18 0 1 0 59745846 6676480 859 996147200 134512640 135215973 4294956304 18446744073709551615 134762900 0 0 4096 0 0 0 0 17 1 0 0
/proc/14198/statm: 1630 859 388 171 0 555 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 6520

[startup+0.20103 s]
/proc/loadavg: 1.92 1.98 1.99 4/72 14198
/proc/meminfo: memFree=1472216/2055920 swapFree=4192812/4192956
[pid=14198] ppid=14196 vsize=8540 CPUtime=0.17
/proc/14198/stat : 14198 (pcs.big) R 14196 14198 13932 0 -1 4194304 1957 663 0 0 17 0 0 0 18 0 1 0 59745846 8744960 1305 996147200 134512640 135215973 4294956304 18446744073709551615 7316444 0 0 4096 0 0 0 0 17 1 0 0
/proc/14198/statm: 2135 1305 388 171 0 1060 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 8540

[startup+0.301041 s]
/proc/loadavg: 1.92 1.98 1.99 4/72 14198
/proc/meminfo: memFree=1472216/2055920 swapFree=4192812/4192956
[pid=14198] ppid=14196 vsize=11020 CPUtime=0.28
/proc/14198/stat : 14198 (pcs.big) R 14196 14198 13932 0 -1 4194304 2713 663 0 0 27 1 0 0 19 0 1 0 59745846 11284480 1806 996147200 134512640 135215973 4294956304 18446744073709551615 7290516 0 0 4096 0 0 0 0 17 1 0 0
/proc/14198/statm: 2755 1806 388 171 0 1680 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 11020

[startup+0.701074 s]
/proc/loadavg: 1.92 1.98 1.99 4/72 14198
/proc/meminfo: memFree=1472216/2055920 swapFree=4192812/4192956
[pid=14198] ppid=14196 vsize=22992 CPUtime=0.68
/proc/14198/stat : 14198 (pcs.big) R 14196 14198 13932 0 -1 4194304 6617 663 0 0 65 3 0 0 23 0 1 0 59745846 23543808 4486 996147200 134512640 135215973 4294956304 18446744073709551615 134600006 0 0 4096 0 0 0 0 17 1 0 0
/proc/14198/statm: 5748 4486 404 171 0 4673 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 22992

[startup+1.50115 s]
/proc/loadavg: 1.92 1.98 1.99 3/73 14203
/proc/meminfo: memFree=1450320/2055920 swapFree=4192812/4192956
[pid=14198] ppid=14196 vsize=38388 CPUtime=1.47
/proc/14198/stat : 14198 (pcs.big) R 14196 14198 13932 0 -1 4194304 11850 663 0 0 141 6 0 0 25 0 1 0 59745846 39309312 7221 996147200 134512640 135215973 4294956304 18446744073709551615 134957852 0 0 4096 0 0 0 0 17 1 0 0
/proc/14198/statm: 9597 7221 408 171 0 8522 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 38388

[startup+3.10129 s]
/proc/loadavg: 1.92 1.98 1.99 3/73 14203
/proc/meminfo: memFree=1442704/2055920 swapFree=4192812/4192956
[pid=14198] ppid=14196 vsize=38648 CPUtime=3.06
/proc/14198/stat : 14198 (pcs.big) R 14196 14198 13932 0 -1 4194304 12372 663 0 0 300 6 0 0 25 0 1 0 59745846 39575552 7738 996147200 134512640 135215973 4294956304 18446744073709551615 7290625 0 0 4096 0 0 0 0 17 1 0 0
/proc/14198/statm: 9662 7738 408 171 0 8587 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 38648

[startup+6.30159 s]
/proc/loadavg: 1.93 1.98 1.99 3/73 14203
/proc/meminfo: memFree=1441744/2055920 swapFree=4192812/4192956
[pid=14198] ppid=14196 vsize=38772 CPUtime=6.25
/proc/14198/stat : 14198 (pcs.big) R 14196 14198 13932 0 -1 4194304 12653 663 0 0 619 6 0 0 25 0 1 0 59745846 39702528 8015 996147200 134512640 135215973 4294956304 18446744073709551615 134581776 0 0 4096 0 0 0 0 17 1 0 0
/proc/14198/statm: 9693 8015 408 171 0 8618 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 38772

[startup+12.7012 s]
/proc/loadavg: 1.93 1.98 1.99 3/73 14203
/proc/meminfo: memFree=1439128/2055920 swapFree=4192812/4192956
[pid=14198] ppid=14196 vsize=39320 CPUtime=12.62
/proc/14198/stat : 14198 (pcs.big) R 14196 14198 13932 0 -1 4194304 12790 663 0 0 1255 7 0 0 25 0 1 0 59745846 40263680 8119 996147200 134512640 135215973 4294956304 18446744073709551615 134600344 0 0 4096 0 0 0 0 17 1 0 0
/proc/14198/statm: 9830 8119 408 171 0 8755 0
Current children cumulated CPU time (s) 12.62
Current children cumulated vsize (KiB) 39320

[startup+25.5013 s]
/proc/loadavg: 1.95 1.98 1.99 3/73 14203
/proc/meminfo: memFree=1434520/2055920 swapFree=4192812/4192956
[pid=14198] ppid=14196 vsize=40412 CPUtime=25.35
/proc/14198/stat : 14198 (pcs.big) R 14196 14198 13932 0 -1 4194304 13134 663 0 0 2528 7 0 0 25 0 1 0 59745846 41381888 8398 996147200 134512640 135215973 4294956304 18446744073709551615 134588292 0 0 4096 0 0 0 0 17 1 0 0
/proc/14198/statm: 10103 8398 408 171 0 9028 0
Current children cumulated CPU time (s) 25.35
Current children cumulated vsize (KiB) 40412

[startup+51.1017 s]
/proc/loadavg: 1.96 1.98 1.99 3/73 14203
/proc/meminfo: memFree=1428760/2055920 swapFree=4192812/4192956
[pid=14198] ppid=14196 vsize=42736 CPUtime=50.83
/proc/14198/stat : 14198 (pcs.big) R 14196 14198 13932 0 -1 4194304 13815 663 0 0 5075 8 0 0 25 0 1 0 59745846 43761664 8950 996147200 134512640 135215973 4294956304 18446744073709551615 134907445 0 0 4096 0 0 0 0 17 1 0 0
/proc/14198/statm: 10684 8950 408 171 0 9609 0
Current children cumulated CPU time (s) 50.83
Current children cumulated vsize (KiB) 42736

[startup+102.301 s]
/proc/loadavg: 1.98 1.98 1.99 3/73 14203
/proc/meminfo: memFree=1415064/2055920 swapFree=4192812/4192956
[pid=14198] ppid=14196 vsize=49520 CPUtime=101.8
/proc/14198/stat : 14198 (pcs.big) R 14196 14198 13932 0 -1 4194304 15735 663 0 0 10169 11 0 0 25 0 1 0 59745846 50708480 10613 996147200 134512640 135215973 4294956304 18446744073709551615 134581777 0 0 4096 0 0 0 0 17 1 0 0
/proc/14198/statm: 12380 10613 408 171 0 11305 0
Current children cumulated CPU time (s) 101.8
Current children cumulated vsize (KiB) 49520

[startup+162.302 s]
/proc/loadavg: 2.04 2.00 2.00 3/73 14203
/proc/meminfo: memFree=1397400/2055920 swapFree=4192812/4192956
[pid=14198] ppid=14196 vsize=59892 CPUtime=161.51
/proc/14198/stat : 14198 (pcs.big) R 14196 14198 13932 0 -1 4194304 18543 663 0 0 16138 13 0 0 25 0 1 0 59745846 61329408 12908 996147200 134512640 135215973 4294956304 18446744073709551615 134600026 0 0 4096 0 0 0 0 17 1 0 0
/proc/14198/statm: 14973 12908 408 171 0 13898 0
Current children cumulated CPU time (s) 161.51
Current children cumulated vsize (KiB) 59892

[startup+222.306 s]
/proc/loadavg: 2.05 2.01 2.00 3/73 14203
/proc/meminfo: memFree=1379736/2055920 swapFree=4192812/4192956
[pid=14198] ppid=14196 vsize=70192 CPUtime=221.23
/proc/14198/stat : 14198 (pcs.big) R 14196 14198 13932 0 -1 4194304 21390 663 0 0 22107 16 0 0 25 0 1 0 59745846 71876608 15465 996147200 134512640 135215973 4294956304 18446744073709551615 134600006 0 0 4096 0 0 0 0 17 1 0 0
/proc/14198/statm: 17548 15465 408 171 0 16473 0
Current children cumulated CPU time (s) 221.23
Current children cumulated vsize (KiB) 70192

[startup+282.302 s]
/proc/loadavg: 2.05 2.02 2.00 3/73 14205
/proc/meminfo: memFree=1362264/2055920 swapFree=4192812/4192956
[pid=14198] ppid=14196 vsize=83224 CPUtime=280.93
/proc/14198/stat : 14198 (pcs.big) R 14196 14198 13932 0 -1 4194304 24958 663 0 0 28075 18 0 0 25 0 1 0 59745846 85221376 18008 996147200 134512640 135215973 4294956304 18446744073709551615 134648323 0 0 4096 0 0 0 0 17 1 0 0
/proc/14198/statm: 20806 18008 408 171 0 19731 0
Current children cumulated CPU time (s) 280.93
Current children cumulated vsize (KiB) 83224

[startup+342.301 s]
/proc/loadavg: 2.10 2.04 2.01 3/73 14205
/proc/meminfo: memFree=1344024/2055920 swapFree=4192812/4192956
[pid=14198] ppid=14196 vsize=91716 CPUtime=340.65
/proc/14198/stat : 14198 (pcs.big) R 14196 14198 13932 0 -1 4194304 27334 663 0 0 34044 21 0 0 25 0 1 0 59745846 93917184 20384 996147200 134512640 135215973 4294956304 18446744073709551615 134982947 0 0 4096 0 0 0 0 17 1 0 0
/proc/14198/statm: 22929 20384 408 171 0 21854 0
Current children cumulated CPU time (s) 340.65
Current children cumulated vsize (KiB) 91716

[startup+402.302 s]
/proc/loadavg: 2.03 2.03 2.00 3/73 14205
/proc/meminfo: memFree=1324312/2055920 swapFree=4192812/4192956
[pid=14198] ppid=14196 vsize=102104 CPUtime=400.38
/proc/14198/stat : 14198 (pcs.big) R 14196 14198 13932 0 -1 4194304 30211 663 0 0 40014 24 0 0 25 0 1 0 59745846 104554496 23261 996147200 134512640 135215973 4294956304 18446744073709551615 134641100 0 0 4096 0 0 0 0 17 1 0 0
/proc/14198/statm: 25526 23261 408 171 0 24451 0
Current children cumulated CPU time (s) 400.38
Current children cumulated vsize (KiB) 102104

[startup+462.301 s]
/proc/loadavg: 2.01 2.03 2.00 3/73 14205
/proc/meminfo: memFree=1302552/2055920 swapFree=4192812/4192956
[pid=14198] ppid=14196 vsize=113448 CPUtime=460.09
/proc/14198/stat : 14198 (pcs.big) R 14196 14198 13932 0 -1 4194304 33356 663 0 0 45984 25 0 0 25 0 1 0 59745846 116170752 26406 996147200 134512640 135215973 4294956304 18446744073709551615 134583680 0 0 4096 0 0 0 0 17 1 0 0
/proc/14198/statm: 28362 26406 408 171 0 27287 0
Current children cumulated CPU time (s) 460.09
Current children cumulated vsize (KiB) 113448

[startup+522.302 s]
/proc/loadavg: 2.00 2.02 2.00 3/73 14205
/proc/meminfo: memFree=1284376/2055920 swapFree=4192812/4192956
[pid=14198] ppid=14196 vsize=121672 CPUtime=519.82
/proc/14198/stat : 14198 (pcs.big) R 14196 14198 13932 0 -1 4194304 35614 663 0 0 51954 28 0 0 25 0 1 0 59745846 124592128 28664 996147200 134512640 135215973 4294956304 18446744073709551615 4158960007 0 0 4096 0 0 0 0 17 1 0 0
/proc/14198/statm: 30418 28664 408 171 0 29343 0
Current children cumulated CPU time (s) 519.82
Current children cumulated vsize (KiB) 121672

[startup+582.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/73 14205
/proc/meminfo: memFree=1267800/2055920 swapFree=4192812/4192956
[pid=14198] ppid=14196 vsize=137024 CPUtime=579.52
/proc/14198/stat : 14198 (pcs.big) R 14196 14198 13932 0 -1 4194304 39629 663 0 0 57922 30 0 0 25 0 1 0 59745846 140312576 30630 996147200 134512640 135215973 4294956304 18446744073709551615 134982814 0 0 4096 0 0 0 0 17 1 0 0
/proc/14198/statm: 34256 30630 408 171 0 33181 0
Current children cumulated CPU time (s) 579.52
Current children cumulated vsize (KiB) 137024

[startup+642.302 s]
/proc/loadavg: 2.00 2.01 2.00 3/73 14205
/proc/meminfo: memFree=1253592/2055920 swapFree=4192812/4192956
[pid=14198] ppid=14196 vsize=142824 CPUtime=639.24
/proc/14198/stat : 14198 (pcs.big) R 14196 14198 13932 0 -1 4194304 41236 663 0 0 63892 32 0 0 25 0 1 0 59745846 146251776 32237 996147200 134512640 135215973 4294956304 18446744073709551615 134902681 0 0 4096 0 0 0 0 17 1 0 0
/proc/14198/statm: 35706 32237 408 171 0 34631 0
Current children cumulated CPU time (s) 639.24
Current children cumulated vsize (KiB) 142824

[startup+702.302 s]

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

[startup+822.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 14205
/proc/meminfo: memFree=1206680/2055920 swapFree=4192812/4192956
[pid=14198] ppid=14196 vsize=162640 CPUtime=818.4
/proc/14198/stat : 14198 (pcs.big) R 14196 14198 13932 0 -1 4194304 46677 663 0 0 81803 37 0 0 25 0 1 0 59745846 166543360 37678 996147200 134512640 135215973 4294956304 18446744073709551615 134982947 0 0 4096 0 0 0 0 17 1 0 0
/proc/14198/statm: 40660 37678 408 171 0 39585 0
Current children cumulated CPU time (s) 818.4
Current children cumulated vsize (KiB) 162640

[startup+882.306 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 14211
/proc/meminfo: memFree=1189144/2055920 swapFree=4192812/4192956
[pid=14198] ppid=14196 vsize=170400 CPUtime=878.11
/proc/14198/stat : 14198 (pcs.big) R 14196 14198 13932 0 -1 4194304 49109 663 0 0 87772 39 0 0 25 0 1 0 59745846 174489600 40110 996147200 134512640 135215973 4294956304 18446744073709551615 4158960067 0 0 4096 0 0 0 0 17 1 0 0
/proc/14198/statm: 42600 40110 408 171 0 41525 0
Current children cumulated CPU time (s) 878.11
Current children cumulated vsize (KiB) 170400

[startup+942.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 14211
/proc/meminfo: memFree=1173784/2055920 swapFree=4192812/4192956
[pid=14198] ppid=14196 vsize=178116 CPUtime=937.83
/proc/14198/stat : 14198 (pcs.big) R 14196 14198 13932 0 -1 4194304 51244 663 0 0 93742 41 0 0 25 0 1 0 59745846 182390784 42245 996147200 134512640 135215973 4294956304 18446744073709551615 134641008 0 0 4096 0 0 0 0 17 1 0 0
/proc/14198/statm: 44529 42245 408 171 0 43454 0
Current children cumulated CPU time (s) 937.83
Current children cumulated vsize (KiB) 178116

[startup+1002.3 s]
/proc/loadavg: 2.06 2.01 2.00 3/73 14211
/proc/meminfo: memFree=1158552/2055920 swapFree=4192812/4192956
[pid=14198] ppid=14196 vsize=184552 CPUtime=997.56
/proc/14198/stat : 14198 (pcs.big) R 14196 14198 13932 0 -1 4194304 53094 663 0 0 99714 42 0 0 25 0 1 0 59745846 188981248 44095 996147200 134512640 135215973 4294956304 18446744073709551615 135096194 0 0 4096 0 0 0 0 17 1 0 0
/proc/14198/statm: 46138 44095 408 171 0 45063 0
Current children cumulated CPU time (s) 997.56
Current children cumulated vsize (KiB) 184552

[startup+1062.3 s]
/proc/loadavg: 2.07 2.03 2.00 3/73 14211
/proc/meminfo: memFree=1144280/2055920 swapFree=4192812/4192956
[pid=14198] ppid=14196 vsize=190784 CPUtime=1057.29
/proc/14198/stat : 14198 (pcs.big) R 14196 14198 13932 0 -1 4194304 54862 663 0 0 105685 44 0 0 25 0 1 0 59745846 195362816 45863 996147200 134512640 135215973 4294956304 18446744073709551615 134533259 0 0 4096 0 0 0 0 17 1 0 0
/proc/14198/statm: 47696 45863 408 171 0 46621 0
Current children cumulated CPU time (s) 1057.29
Current children cumulated vsize (KiB) 190784

[startup+1122.3 s]
/proc/loadavg: 2.10 2.05 2.01 3/73 14211
/proc/meminfo: memFree=1126616/2055920 swapFree=4192812/4192956
[pid=14198] ppid=14196 vsize=198740 CPUtime=1117.01
/proc/14198/stat : 14198 (pcs.big) R 14196 14198 13932 0 -1 4194304 57272 663 0 0 111655 46 0 0 25 0 1 0 59745846 203509760 48273 996147200 134512640 135215973 4294956304 18446744073709551615 134590548 0 0 4096 0 0 0 0 17 1 0 0
/proc/14198/statm: 49685 48273 408 171 0 48610 0
Current children cumulated CPU time (s) 1117.01
Current children cumulated vsize (KiB) 198740

[startup+1182.3 s]
/proc/loadavg: 2.04 2.04 2.00 3/73 14211
/proc/meminfo: memFree=1107480/2055920 swapFree=4192812/4192956
[pid=14198] ppid=14196 vsize=208608 CPUtime=1176.73
/proc/14198/stat : 14198 (pcs.big) R 14196 14198 13932 0 -1 4194304 60034 663 0 0 117625 48 0 0 25 0 1 0 59745846 213614592 51035 996147200 134512640 135215973 4294956304 18446744073709551615 134600006 0 0 4096 0 0 0 0 17 1 0 0
/proc/14198/statm: 52152 51035 408 171 0 51077 0
Current children cumulated CPU time (s) 1176.73
Current children cumulated vsize (KiB) 208608

[startup+1242.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/73 14211
/proc/meminfo: memFree=1090776/2055920 swapFree=4192812/4192956
[pid=14198] ppid=14196 vsize=231664 CPUtime=1236.46
/proc/14198/stat : 14198 (pcs.big) R 14196 14198 13932 0 -1 4194304 65989 663 0 0 123594 52 0 0 25 0 1 0 59745846 237223936 52893 996147200 134512640 135215973 4294956304 18446744073709551615 134648399 0 0 4096 0 0 0 0 17 1 0 0
/proc/14198/statm: 57916 52893 408 171 0 56841 0
Current children cumulated CPU time (s) 1236.46
Current children cumulated vsize (KiB) 231664

[startup+1302.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/73 14211
/proc/meminfo: memFree=1070424/2055920 swapFree=4192812/4192956
[pid=14198] ppid=14196 vsize=240444 CPUtime=1296.18
/proc/14198/stat : 14198 (pcs.big) R 14196 14198 13932 0 -1 4194304 68510 663 0 0 129564 54 0 0 25 0 1 0 59745846 246214656 55414 996147200 134512640 135215973 4294956304 18446744073709551615 134609785 0 0 4096 0 0 0 0 17 1 0 0
/proc/14198/statm: 60111 55414 408 171 0 59036 0
Current children cumulated CPU time (s) 1296.18
Current children cumulated vsize (KiB) 240444

[startup+1362.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/73 14211
/proc/meminfo: memFree=1050776/2055920 swapFree=4192812/4192956
[pid=14198] ppid=14196 vsize=249472 CPUtime=1355.91
/proc/14198/stat : 14198 (pcs.big) R 14196 14198 13932 0 -1 4194304 71155 663 0 0 135535 56 0 0 25 0 1 0 59745846 255459328 58059 996147200 134512640 135215973 4294956304 18446744073709551615 4158960484 0 0 4096 0 0 0 0 17 1 0 0
/proc/14198/statm: 62368 58059 408 171 0 61293 0
Current children cumulated CPU time (s) 1355.91
Current children cumulated vsize (KiB) 249472

[startup+1422.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/73 14211
/proc/meminfo: memFree=1022936/2055920 swapFree=4192812/4192956
[pid=14198] ppid=14196 vsize=266624 CPUtime=1415.64
/proc/14198/stat : 14198 (pcs.big) R 14196 14198 13932 0 -1 4194304 75794 663 0 0 141507 57 0 0 25 0 1 0 59745846 273022976 62120 996147200 134512640 135215973 4294956304 18446744073709551615 134609749 0 0 4096 0 0 0 0 17 1 0 0
/proc/14198/statm: 66656 62120 408 171 0 65581 0
Current children cumulated CPU time (s) 1415.64
Current children cumulated vsize (KiB) 266624

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 14211
/proc/meminfo: memFree=1006040/2055920 swapFree=4192812/4192956
[pid=14198] ppid=14196 vsize=270156 CPUtime=1475.37
/proc/14198/stat : 14198 (pcs.big) R 14196 14198 13932 0 -1 4194304 76915 663 0 0 147478 59 0 0 25 0 1 0 59745846 276639744 63241 996147200 134512640 135215973 4294956304 18446744073709551615 134609802 0 0 4096 0 0 0 0 17 1 0 0
/proc/14198/statm: 67539 63241 408 171 0 66464 0
Current children cumulated CPU time (s) 1475.37
Current children cumulated vsize (KiB) 270156

[startup+1542.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 14211
/proc/meminfo: memFree=984536/2055920 swapFree=4192812/4192956
[pid=14198] ppid=14196 vsize=280504 CPUtime=1535.1
/proc/14198/stat : 14198 (pcs.big) R 14196 14198 13932 0 -1 4194304 79800 663 0 0 153449 61 0 0 25 0 1 0 59745846 287236096 66126 996147200 134512640 135215973 4294956304 18446744073709551615 134616412 0 0 4096 0 0 0 0 17 1 0 0
/proc/14198/statm: 70126 66126 408 171 0 69051 0
Current children cumulated CPU time (s) 1535.1
Current children cumulated vsize (KiB) 280504

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 14211
/proc/meminfo: memFree=962136/2055920 swapFree=4192812/4192956
[pid=14198] ppid=14196 vsize=292532 CPUtime=1594.82
/proc/14198/stat : 14198 (pcs.big) R 14196 14198 13932 0 -1 4194304 83125 663 0 0 159419 63 0 0 25 0 1 0 59745846 299552768 69451 996147200 134512640 135215973 4294956304 18446744073709551615 134532674 0 0 4096 0 0 0 0 17 1 0 0
/proc/14198/statm: 73133 69451 408 171 0 72058 0
Current children cumulated CPU time (s) 1594.82
Current children cumulated vsize (KiB) 292532

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 14211
/proc/meminfo: memFree=945368/2055920 swapFree=4192812/4192956
[pid=14198] ppid=14196 vsize=299756 CPUtime=1654.55
/proc/14198/stat : 14198 (pcs.big) R 14196 14198 13932 0 -1 4194304 85183 663 0 0 165389 66 0 0 25 0 1 0 59745846 306950144 71509 996147200 134512640 135215973 4294956304 18446744073709551615 134590561 0 0 4096 0 0 0 0 17 1 0 0
/proc/14198/statm: 74939 71509 408 171 0 73864 0
Current children cumulated CPU time (s) 1654.55
Current children cumulated vsize (KiB) 299756

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 14211
/proc/meminfo: memFree=931544/2055920 swapFree=4192812/4192956
[pid=14198] ppid=14196 vsize=305580 CPUtime=1714.28
/proc/14198/stat : 14198 (pcs.big) R 14196 14198 13932 0 -1 4194304 86795 663 0 0 171361 67 0 0 25 0 1 0 59745846 312913920 73121 996147200 134512640 135215973 4294956304 18446744073709551615 134532946 0 0 4096 0 0 0 0 17 1 0 0
/proc/14198/statm: 76395 73121 408 171 0 75320 0
Current children cumulated CPU time (s) 1714.28
Current children cumulated vsize (KiB) 305580

[startup+1782.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/73 14244
/proc/meminfo: memFree=1001496/2055920 swapFree=4192812/4192956
[pid=14198] ppid=14196 vsize=311412 CPUtime=1774.1
/proc/14198/stat : 14198 (pcs.big) R 14196 14198 13932 0 -1 4194304 88439 663 0 0 177336 74 0 0 25 0 1 0 59745846 318885888 74765 996147200 134512640 135215973 4294956304 18446744073709551615 134610603 0 0 4096 0 0 0 0 17 0 0 0
/proc/14198/statm: 77853 74765 408 171 0 76778 0
Current children cumulated CPU time (s) 1774.1
Current children cumulated vsize (KiB) 311412



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1808.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 14244
/proc/meminfo: memFree=947032/2055920 swapFree=4192812/4192956
[pid=14198] ppid=14196 vsize=313672 CPUtime=1800.1
/proc/14198/stat : 14198 (pcs.big) R 14196 14198 13932 0 -1 4194304 89081 663 0 0 179935 75 0 0 25 0 1 0 59745846 321200128 75407 996147200 134512640 135215973 4294956304 18446744073709551615 134957837 0 0 4096 0 0 0 0 17 0 0 0
/proc/14198/statm: 78418 75407 408 171 0 77343 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 313672

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): 1808.35
CPU time (s): 1800.16
CPU user time (s): 1799.36
CPU system time (s): 0.804877
CPU usage (%): 99.5471
Max. virtual memory (cumulated for all children) (KiB): 313672

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.36
system time used= 0.804877
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 89744
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= 29
involuntary context switches= 20605

runsolver used 2.51162 second user time and 5.42117 second system time

The end

Launcher Data 

Begin job on node55 at 2009-07-16 08:47:05
IDJOB=2086807
IDBENCH=58637
IDSOLVER=734
FILE ID=node55/2086807-1247726825
PBS_JOBID= 9521549
Free space on /tmp= 66372 MiB

SOLVER NAME= pcs-restart 0.2.restart
BENCH NAME= CPAI08/csp/js-taillard-20/normalized-js-taillard-20-105-7.xml
COMMAND LINE= HOME/pcssolve -s RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2086807-1247726825/watcher-2086807-1247726825 -o /tmp/evaluation-result-2086807-1247726825/solver-2086807-1247726825 -C 1800 -W 2000 -M 900  HOME/pcssolve -s 183178689 HOME/instance-2086807-1247726825.xml

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

MD5SUM BENCH= 933af775481748d76719206dbc8b6623
RANDOM SEED=183178689

node55.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.231
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.231
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:       1472696 kB
Buffers:         85224 kB
Cached:         374524 kB
SwapCached:          0 kB
Active:         223708 kB
Inactive:       286928 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1472696 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            2340 kB
Writeback:           0 kB
Mapped:          62404 kB
Slab:            57904 kB
Committed_AS:   563016 kB
PageTables:       1776 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= 66304 MiB
End job on node55 at 2009-07-16 09:17:16