Trace number 2058988

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

General information on the benchmark

Namecsp/QCP-25/
normalized-qcp-25-264-5_ext.xml
MD5SUM16d7053869df773ae8032e14ad5c8f64
Bench Category2-ARY-EXT (binary constraints in extension)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark55.6345
Satisfiable
(Un)Satisfiability was proved
Number of variables625
Number of constraints10142
Maximum constraint arity2
Maximum domain size25
Number of constraints which are defined in extension10142
Number of constraints which are defined in intension0
Global constraints used (with number of constraints)

Solver Data 

0.00/0.02	c small-domain mode
0.00/0.02	c Seed is 2083806569
0.00/0.02	c Constructing HOME/instance-2058988-1247694410.xml  with 70862 constraints
0.27/0.30	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-2058988-1247694410/watcher-2058988-1247694410 -o /tmp/evaluation-result-2058988-1247694410/solver-2058988-1247694410 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 2083806569 HOME/instance-2058988-1247694410.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.88 0.87 0.33 4/72 13525
/proc/meminfo: memFree=1236784/2055920 swapFree=4192812/4192956
[pid=13525] ppid=13523 vsize=5356 CPUtime=0
/proc/13525/stat : 13525 (pcssolve) R 13523 13525 13333 0 -1 4194304 265 0 0 0 0 0 0 0 20 0 1 0 56507937 5484544 233 996147200 4194304 4889804 548682068800 18446744073709551615 212234316384 0 0 4100 65536 0 0 0 17 1 0 0
/proc/13525/statm: 1339 233 194 169 0 50 0

[startup+0.104014 s]
/proc/loadavg: 1.88 0.87 0.33 4/72 13525
/proc/meminfo: memFree=1236784/2055920 swapFree=4192812/4192956
[pid=13525] ppid=13523 vsize=7428 CPUtime=0.07
/proc/13525/stat : 13525 (pcs.small) R 13523 13525 13333 0 -1 4194304 1674 824 0 0 7 0 0 0 24 0 1 0 56507937 7606272 1056 996147200 134512640 135095119 4294956304 18446744073709551615 134706689 0 0 4096 0 0 0 0 17 1 0 0
/proc/13525/statm: 1857 1056 367 142 0 811 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 7428

[startup+0.202073 s]
/proc/loadavg: 1.88 0.87 0.33 4/72 13525
/proc/meminfo: memFree=1236784/2055920 swapFree=4192812/4192956
[pid=13525] ppid=13523 vsize=10956 CPUtime=0.17
/proc/13525/stat : 13525 (pcs.small) R 13523 13525 13333 0 -1 4194304 2806 824 0 0 17 0 0 0 25 0 1 0 56507937 11218944 1898 996147200 134512640 135095119 4294956304 18446744073709551615 4159787221 0 0 4096 0 0 0 0 17 1 0 0
/proc/13525/statm: 2739 1898 367 142 0 1693 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 10956

[startup+0.301047 s]
/proc/loadavg: 1.88 0.87 0.33 4/72 13525
/proc/meminfo: memFree=1236784/2055920 swapFree=4192812/4192956
[pid=13525] ppid=13523 vsize=15900 CPUtime=0.27
/proc/13525/stat : 13525 (pcs.small) R 13523 13525 13333 0 -1 4194304 4240 824 0 0 26 1 0 0 25 0 1 0 56507937 16281600 2754 996147200 134512640 135095119 4294956304 18446744073709551615 4158960165 0 0 4096 0 0 0 0 17 1 0 0
/proc/13525/statm: 3975 2754 367 142 0 2929 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 15900

[startup+0.701115 s]
/proc/loadavg: 1.88 0.87 0.33 4/72 13525
/proc/meminfo: memFree=1236784/2055920 swapFree=4192812/4192956
[pid=13525] ppid=13523 vsize=16196 CPUtime=0.67
/proc/13525/stat : 13525 (pcs.small) R 13523 13525 13333 0 -1 4194304 4324 824 0 0 66 1 0 0 25 0 1 0 56507937 16584704 2838 996147200 134512640 135095119 4294956304 18446744073709551615 134617265 0 0 4096 0 0 0 0 17 1 0 0
/proc/13525/statm: 4049 2838 378 142 0 3003 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 16196

[startup+1.50229 s]
/proc/loadavg: 1.88 0.87 0.33 3/73 13531
/proc/meminfo: memFree=1226344/2055920 swapFree=4192812/4192956
[pid=13525] ppid=13523 vsize=16196 CPUtime=1.47
/proc/13525/stat : 13525 (pcs.small) R 13523 13525 13333 0 -1 4194304 4361 824 0 0 146 1 0 0 25 0 1 0 56507937 16584704 2875 996147200 134512640 135095119 4294956304 18446744073709551615 134840435 0 0 4096 0 0 0 0 17 1 0 0
/proc/13525/statm: 4049 2875 378 142 0 3003 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 16196

[startup+3.10153 s]
/proc/loadavg: 1.89 0.89 0.34 3/73 13531
/proc/meminfo: memFree=1225448/2055920 swapFree=4192812/4192956
[pid=13525] ppid=13523 vsize=17096 CPUtime=3.06
/proc/13525/stat : 13525 (pcs.small) R 13523 13525 13333 0 -1 4194304 4643 824 0 0 305 1 0 0 25 0 1 0 56507937 17506304 3124 996147200 134512640 135095119 4294956304 18446744073709551615 134589560 0 0 4096 0 0 0 0 17 1 0 0
/proc/13525/statm: 4274 3124 378 142 0 3228 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 17096

[startup+6.30108 s]
/proc/loadavg: 1.89 0.89 0.34 3/73 13531
/proc/meminfo: memFree=1221480/2055920 swapFree=4192812/4192956
[pid=13525] ppid=13523 vsize=18760 CPUtime=6.24
/proc/13525/stat : 13525 (pcs.small) R 13523 13525 13333 0 -1 4194304 5181 824 0 0 622 2 0 0 25 0 1 0 56507937 19210240 3597 996147200 134512640 135095119 4294956304 18446744073709551615 134589560 0 0 4096 0 0 0 0 17 1 0 0
/proc/13525/statm: 4690 3597 378 142 0 3644 0
Current children cumulated CPU time (s) 6.24
Current children cumulated vsize (KiB) 18760

[startup+12.7012 s]
/proc/loadavg: 1.91 0.93 0.36 3/73 13531
/proc/meminfo: memFree=1215272/2055920 swapFree=4192812/4192956
[pid=13525] ppid=13523 vsize=21832 CPUtime=12.61
/proc/13525/stat : 13525 (pcs.small) R 13523 13525 13333 0 -1 4194304 6245 824 0 0 1258 3 0 0 25 0 1 0 56507937 22355968 4532 996147200 134512640 135095119 4294956304 18446744073709551615 134642970 0 0 4096 0 0 0 0 17 1 0 0
/proc/13525/statm: 5458 4532 378 142 0 4412 0
Current children cumulated CPU time (s) 12.61
Current children cumulated vsize (KiB) 21832

[startup+25.5014 s]
/proc/loadavg: 1.92 0.96 0.37 3/73 13531
/proc/meminfo: memFree=1205096/2055920 swapFree=4192812/4192956
[pid=13525] ppid=13523 vsize=27208 CPUtime=25.35
/proc/13525/stat : 13525 (pcs.small) R 13523 13525 13333 0 -1 4194304 8042 824 0 0 2530 5 0 0 25 0 1 0 56507937 27860992 6072 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 1 0 0
/proc/13525/statm: 6802 6072 378 142 0 5756 0
Current children cumulated CPU time (s) 25.35
Current children cumulated vsize (KiB) 27208

[startup+51.1018 s]
/proc/loadavg: 1.95 1.04 0.42 3/73 13531
/proc/meminfo: memFree=1186472/2055920 swapFree=4192812/4192956
[pid=13525] ppid=13523 vsize=42196 CPUtime=50.83
/proc/13525/stat : 13525 (pcs.small) R 13523 13525 13333 0 -1 4194304 12600 824 0 0 5075 8 0 0 25 0 1 0 56507937 43208704 8963 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 1 0 0
/proc/13525/statm: 10549 8963 378 142 0 9503 0
Current children cumulated CPU time (s) 50.83
Current children cumulated vsize (KiB) 42196

[startup+102.302 s]
/proc/loadavg: 1.98 1.20 0.50 3/73 13531
/proc/meminfo: memFree=1153256/2055920 swapFree=4192812/4192956
[pid=13525] ppid=13523 vsize=61012 CPUtime=101.79
/proc/13525/stat : 13525 (pcs.small) R 13523 13525 13333 0 -1 4194304 18715 824 0 0 10164 15 0 0 25 0 1 0 56507937 62476288 14053 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 1 0 0
/proc/13525/statm: 15253 14053 378 142 0 14207 0
Current children cumulated CPU time (s) 101.79
Current children cumulated vsize (KiB) 61012

[startup+162.302 s]
/proc/loadavg: 1.99 1.34 0.59 3/73 13531
/proc/meminfo: memFree=1103848/2055920 swapFree=4192812/4192956
[pid=13525] ppid=13523 vsize=107912 CPUtime=161.5
/proc/13525/stat : 13525 (pcs.small) R 13523 13525 13333 0 -1 4194304 32113 824 0 0 16126 24 0 0 25 0 1 0 56507937 110501888 23096 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 1 0 0
/proc/13525/statm: 26978 23096 378 142 0 25932 0
Current children cumulated CPU time (s) 161.5
Current children cumulated vsize (KiB) 107912

[startup+222.306 s]
/proc/loadavg: 1.99 1.46 0.68 3/73 13531
/proc/meminfo: memFree=1066984/2055920 swapFree=4192812/4192956
[pid=13525] ppid=13523 vsize=108808 CPUtime=221.21
/proc/13525/stat : 13525 (pcs.small) R 13523 13525 13333 0 -1 4194304 33557 824 0 0 22096 25 0 0 25 0 1 0 56507937 111419392 24540 996147200 134512640 135095119 4294956304 18446744073709551615 134643033 0 0 4096 0 0 0 0 17 1 0 0
/proc/13525/statm: 27202 24540 378 142 0 26156 0
Current children cumulated CPU time (s) 221.21
Current children cumulated vsize (KiB) 108808

[startup+282.302 s]
/proc/loadavg: 1.99 1.55 0.75 3/73 13533
/proc/meminfo: memFree=1040424/2055920 swapFree=4192812/4192956
[pid=13525] ppid=13523 vsize=139272 CPUtime=280.92
/proc/13525/stat : 13525 (pcs.small) R 13523 13525 13333 0 -1 4194304 42345 824 0 0 28057 35 0 0 25 0 1 0 56507937 142614528 29231 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 1 0 0
/proc/13525/statm: 34818 29231 378 142 0 33772 0
Current children cumulated CPU time (s) 280.92
Current children cumulated vsize (KiB) 139272

[startup+342.303 s]
/proc/loadavg: 1.99 1.63 0.83 3/73 13533
/proc/meminfo: memFree=1011624/2055920 swapFree=4192812/4192956
[pid=13525] ppid=13523 vsize=153224 CPUtime=340.63
/proc/13525/stat : 13525 (pcs.small) R 13523 13525 13333 0 -1 4194304 46954 824 0 0 34024 39 0 0 25 0 1 0 56507937 156901376 33840 996147200 134512640 135095119 4294956304 18446744073709551615 134589654 0 0 4096 0 0 0 0 17 1 0 0
/proc/13525/statm: 38306 33840 378 142 0 37260 0
Current children cumulated CPU time (s) 340.63
Current children cumulated vsize (KiB) 153224

[startup+402.301 s]
/proc/loadavg: 1.99 1.69 0.90 3/73 13533
/proc/meminfo: memFree=981608/2055920 swapFree=4192812/4192956
[pid=13525] ppid=13523 vsize=166408 CPUtime=400.36
/proc/13525/stat : 13525 (pcs.small) R 13523 13525 13333 0 -1 4194304 51247 824 0 0 39992 44 0 0 25 0 1 0 56507937 170401792 38133 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 1 0 0
/proc/13525/statm: 41602 38133 378 142 0 40556 0
Current children cumulated CPU time (s) 400.36
Current children cumulated vsize (KiB) 166408

[startup+462.302 s]
/proc/loadavg: 1.99 1.75 0.97 3/73 13533
/proc/meminfo: memFree=952488/2055920 swapFree=4192812/4192956
[pid=13525] ppid=13523 vsize=179336 CPUtime=460.06
/proc/13525/stat : 13525 (pcs.small) R 13523 13525 13333 0 -1 4194304 55465 824 0 0 45958 48 0 0 25 0 1 0 56507937 183640064 42351 996147200 134512640 135095119 4294956304 18446744073709551615 134642693 0 0 4096 0 0 0 0 17 1 0 0
/proc/13525/statm: 44834 42351 378 142 0 43788 0
Current children cumulated CPU time (s) 460.06
Current children cumulated vsize (KiB) 179336

[startup+522.302 s]
/proc/loadavg: 1.99 1.79 1.03 3/73 13533
/proc/meminfo: memFree=924264/2055920 swapFree=4192812/4192956
[pid=13525] ppid=13523 vsize=191880 CPUtime=519.77
/proc/13525/stat : 13525 (pcs.small) R 13523 13525 13333 0 -1 4194304 59538 824 0 0 51925 52 0 0 25 0 1 0 56507937 196485120 46424 996147200 134512640 135095119 4294956304 18446744073709551615 134589560 0 0 4096 0 0 0 0 17 1 0 0
/proc/13525/statm: 47970 46424 378 142 0 46924 0
Current children cumulated CPU time (s) 519.77
Current children cumulated vsize (KiB) 191880

[startup+582.301 s]
/proc/loadavg: 1.99 1.83 1.09 3/73 13533
/proc/meminfo: memFree=841064/2055920 swapFree=4192812/4192956
[pid=13525] ppid=13523 vsize=274000 CPUtime=579.48
/proc/13525/stat : 13525 (pcs.small) R 13523 13525 13333 0 -1 4194304 80951 824 0 0 57885 63 0 0 25 0 1 0 56507937 280576000 63740 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 1 0 0
/proc/13525/statm: 68500 63740 378 142 0 67454 0
Current children cumulated CPU time (s) 579.48
Current children cumulated vsize (KiB) 274000

[startup+642.302 s]
/proc/loadavg: 1.99 1.85 1.14 3/73 13533
/proc/meminfo: memFree=823464/2055920 swapFree=4192812/4192956
[pid=13525] ppid=13523 vsize=306768 CPUtime=639.19
/proc/13525/stat : 13525 (pcs.small) R 13523 13525 13333 0 -1 4194304 89842 824 0 0 63851 68 0 0 25 0 1 0 56507937 314130432 64438 996147200 134512640 135095119 4294956304 18446744073709551615 134636931 0 0 4096 0 0 0 0 17 1 0 0
/proc/13525/statm: 76692 64438 378 142 0 75646 0
Current children cumulated CPU time (s) 639.19
Current children cumulated vsize (KiB) 306768

[startup+702.303 s]

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

[startup+882.307 s]
/proc/loadavg: 2.02 1.95 1.34 3/73 13570
/proc/meminfo: memFree=954664/2055920 swapFree=4192812/4192956
[pid=13525] ppid=13523 vsize=306768 CPUtime=878.73
/proc/13525/stat : 13525 (pcs.small) R 13523 13525 13333 0 -1 4194304 92895 824 0 0 87800 73 0 0 25 0 1 0 56507937 314130432 67491 996147200 134512640 135095119 4294956304 18446744073709551615 134589545 0 0 4096 0 0 0 0 17 0 0 0
/proc/13525/statm: 76692 67491 378 142 0 75646 0
Current children cumulated CPU time (s) 878.73
Current children cumulated vsize (KiB) 306768

[startup+942.301 s]
/proc/loadavg: 2.01 1.95 1.37 3/73 13570
/proc/meminfo: memFree=918568/2055920 swapFree=4192812/4192956
[pid=13525] ppid=13523 vsize=317904 CPUtime=938.7
/proc/13525/stat : 13525 (pcs.small) R 13523 13525 13333 0 -1 4194304 96485 824 0 0 93792 78 0 0 25 0 1 0 56507937 325533696 71081 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 0 0 0
/proc/13525/statm: 79476 71081 378 142 0 78430 0
Current children cumulated CPU time (s) 938.7
Current children cumulated vsize (KiB) 317904

[startup+1002.3 s]
/proc/loadavg: 2.00 1.96 1.41 3/73 13570
/proc/meminfo: memFree=870824/2055920 swapFree=4192812/4192956
[pid=13525] ppid=13523 vsize=329296 CPUtime=998.67
/proc/13525/stat : 13525 (pcs.small) R 13523 13525 13333 0 -1 4194304 100077 824 0 0 99784 83 0 0 25 0 1 0 56507937 337199104 74673 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 0 0 0
/proc/13525/statm: 82324 74673 378 142 0 81278 0
Current children cumulated CPU time (s) 998.67
Current children cumulated vsize (KiB) 329296

[startup+1062.3 s]
/proc/loadavg: 2.00 1.97 1.44 3/73 13570
/proc/meminfo: memFree=827048/2055920 swapFree=4192812/4192956
[pid=13525] ppid=13523 vsize=340688 CPUtime=1058.65
/proc/13525/stat : 13525 (pcs.small) R 13523 13525 13333 0 -1 4194304 103684 824 0 0 105776 89 0 0 25 0 1 0 56507937 348864512 78280 996147200 134512640 135095119 4294956304 18446744073709551615 134637494 0 0 4096 0 0 0 0 17 0 0 0
/proc/13525/statm: 85172 78280 378 142 0 84126 0
Current children cumulated CPU time (s) 1058.65
Current children cumulated vsize (KiB) 340688

[startup+1122.3 s]
/proc/loadavg: 2.00 1.97 1.48 3/73 13570
/proc/meminfo: memFree=782824/2055920 swapFree=4192812/4192956
[pid=13525] ppid=13523 vsize=352080 CPUtime=1118.62
/proc/13525/stat : 13525 (pcs.small) R 13523 13525 13333 0 -1 4194304 107288 824 0 0 111769 93 0 0 25 0 1 0 56507937 360529920 81884 996147200 134512640 135095119 4294956304 18446744073709551615 134642952 0 0 4096 0 0 0 0 17 0 0 0
/proc/13525/statm: 88020 81884 378 142 0 86974 0
Current children cumulated CPU time (s) 1118.62
Current children cumulated vsize (KiB) 352080

[startup+1182.3 s]
/proc/loadavg: 2.00 1.97 1.50 3/73 13570
/proc/meminfo: memFree=741168/2055920 swapFree=4192812/4192956
[pid=13525] ppid=13523 vsize=363344 CPUtime=1178.59
/proc/13525/stat : 13525 (pcs.small) R 13523 13525 13333 0 -1 4194304 110866 824 0 0 117762 97 0 0 25 0 1 0 56507937 372064256 85462 996147200 134512640 135095119 4294956304 18446744073709551615 134589560 0 0 4096 0 0 0 0 17 0 0 0
/proc/13525/statm: 90836 85462 378 142 0 89790 0
Current children cumulated CPU time (s) 1178.59
Current children cumulated vsize (KiB) 363344

[startup+1242.3 s]
/proc/loadavg: 2.05 1.99 1.54 3/73 13570
/proc/meminfo: memFree=696816/2055920 swapFree=4192812/4192956
[pid=13525] ppid=13523 vsize=374864 CPUtime=1238.57
/proc/13525/stat : 13525 (pcs.small) R 13523 13525 13333 0 -1 4194304 114444 824 0 0 123755 102 0 0 25 0 1 0 56507937 383860736 89040 996147200 134512640 135095119 4294956304 18446744073709551615 134616896 0 0 4096 0 0 0 0 17 0 0 0
/proc/13525/statm: 93716 89040 378 142 0 92670 0
Current children cumulated CPU time (s) 1238.57
Current children cumulated vsize (KiB) 374864

[startup+1302.3 s]
/proc/loadavg: 2.07 2.00 1.57 3/73 13570
/proc/meminfo: memFree=651248/2055920 swapFree=4192812/4192956
[pid=13525] ppid=13523 vsize=385872 CPUtime=1298.55
/proc/13525/stat : 13525 (pcs.small) R 13523 13525 13333 0 -1 4194304 117951 824 0 0 129748 107 0 0 25 0 1 0 56507937 395132928 92547 996147200 134512640 135095119 4294956304 18446744073709551615 134642964 0 0 4096 0 0 0 0 17 0 0 0
/proc/13525/statm: 96468 92547 378 142 0 95422 0
Current children cumulated CPU time (s) 1298.55
Current children cumulated vsize (KiB) 385872

[startup+1362.3 s]
/proc/loadavg: 2.07 2.01 1.60 3/73 13570
/proc/meminfo: memFree=612720/2055920 swapFree=4192812/4192956
[pid=13525] ppid=13523 vsize=396880 CPUtime=1358.51
/proc/13525/stat : 13525 (pcs.small) R 13523 13525 13333 0 -1 4194304 121472 824 0 0 135739 112 0 0 25 0 1 0 56507937 406405120 96068 996147200 134512640 135095119 4294956304 18446744073709551615 134616900 0 0 4096 0 0 0 0 17 0 0 0
/proc/13525/statm: 99220 96068 378 142 0 98174 0
Current children cumulated CPU time (s) 1358.51
Current children cumulated vsize (KiB) 396880

[startup+1422.3 s]
/proc/loadavg: 2.06 2.02 1.63 3/73 13570
/proc/meminfo: memFree=569392/2055920 swapFree=4192812/4192956
[pid=13525] ppid=13523 vsize=408148 CPUtime=1418.5
/proc/13525/stat : 13525 (pcs.small) R 13523 13525 13333 0 -1 4194304 125042 824 0 0 141733 117 0 0 25 0 1 0 56507937 417943552 99638 996147200 134512640 135095119 4294956304 18446744073709551615 134643035 0 0 4096 0 0 0 0 17 0 0 0
/proc/13525/statm: 102037 99638 378 142 0 100991 0
Current children cumulated CPU time (s) 1418.5
Current children cumulated vsize (KiB) 408148

[startup+1482.3 s]
/proc/loadavg: 2.02 2.02 1.65 3/73 13570
/proc/meminfo: memFree=524912/2055920 swapFree=4192812/4192956
[pid=13525] ppid=13523 vsize=484440 CPUtime=1478.47
/proc/13525/stat : 13525 (pcs.small) R 13523 13525 13333 0 -1 4194304 144824 824 0 0 147719 128 0 0 25 0 1 0 56507937 496066560 103035 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 0 0 0
/proc/13525/statm: 121110 103035 378 142 0 120064 0
Current children cumulated CPU time (s) 1478.47
Current children cumulated vsize (KiB) 484440

[startup+1542.31 s]
/proc/loadavg: 2.01 2.01 1.67 3/73 13570
/proc/meminfo: memFree=485296/2055920 swapFree=4192812/4192956
[pid=13525] ppid=13523 vsize=494936 CPUtime=1538.44
/proc/13525/stat : 13525 (pcs.small) R 13523 13525 13333 0 -1 4194304 148204 824 0 0 153712 132 0 0 25 0 1 0 56507937 506814464 106415 996147200 134512640 135095119 4294956304 18446744073709551615 134589545 0 0 4096 0 0 0 0 17 0 0 0
/proc/13525/statm: 123734 106415 378 142 0 122688 0
Current children cumulated CPU time (s) 1538.44
Current children cumulated vsize (KiB) 494936

[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 1.68 3/73 13570
/proc/meminfo: memFree=449776/2055920 swapFree=4192812/4192956
[pid=13525] ppid=13523 vsize=505304 CPUtime=1598.42
/proc/13525/stat : 13525 (pcs.small) R 13523 13525 13333 0 -1 4194304 151470 824 0 0 159705 137 0 0 25 0 1 0 56507937 517431296 109681 996147200 134512640 135095119 4294956304 18446744073709551615 134576613 0 0 4096 0 0 0 0 17 0 0 0
/proc/13525/statm: 126326 109681 378 142 0 125280 0
Current children cumulated CPU time (s) 1598.42
Current children cumulated vsize (KiB) 505304

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.70 3/73 13570
/proc/meminfo: memFree=415984/2055920 swapFree=4192812/4192956
[pid=13525] ppid=13523 vsize=515416 CPUtime=1658.38
/proc/13525/stat : 13525 (pcs.small) R 13523 13525 13333 0 -1 4194304 154717 824 0 0 165698 140 0 0 25 0 1 0 56507937 527785984 112928 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 0 0 0
/proc/13525/statm: 128854 112928 378 142 0 127808 0
Current children cumulated CPU time (s) 1658.38
Current children cumulated vsize (KiB) 515416

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.72 3/73 13570
/proc/meminfo: memFree=382192/2055920 swapFree=4192812/4192956
[pid=13525] ppid=13523 vsize=525656 CPUtime=1718.35
/proc/13525/stat : 13525 (pcs.small) R 13523 13525 13333 0 -1 4194304 157985 824 0 0 171692 143 0 0 25 0 1 0 56507937 538271744 116196 996147200 134512640 135095119 4294956304 18446744073709551615 134637399 0 0 4096 0 0 0 0 17 0 0 0
/proc/13525/statm: 131414 116196 378 142 0 130368 0
Current children cumulated CPU time (s) 1718.35
Current children cumulated vsize (KiB) 525656

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.73 3/73 13570
/proc/meminfo: memFree=341424/2055920 swapFree=4192812/4192956
[pid=13525] ppid=13523 vsize=535896 CPUtime=1778.33
/proc/13525/stat : 13525 (pcs.small) R 13523 13525 13333 0 -1 4194304 161256 824 0 0 177687 146 0 0 25 0 1 0 56507937 548757504 119467 996147200 134512640 135095119 4294956304 18446744073709551615 134589560 0 0 4096 0 0 0 0 17 0 0 0
/proc/13525/statm: 133974 119467 378 142 0 132928 0
Current children cumulated CPU time (s) 1778.33
Current children cumulated vsize (KiB) 535896



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1804 s]
/proc/loadavg: 2.00 2.00 1.74 3/73 13570
/proc/meminfo: memFree=327600/2055920 swapFree=4192812/4192956
[pid=13525] ppid=13523 vsize=539480 CPUtime=1800.03
/proc/13525/stat : 13525 (pcs.small) R 13523 13525 13333 0 -1 4194304 162422 824 0 0 179855 148 0 0 25 0 1 0 56507937 552427520 120633 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 0 0 0
/proc/13525/statm: 134870 120633 378 142 0 133824 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 539480

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Solver just ended. Dumping a history of the last processes samples

[startup+1804 s]
/proc/loadavg: 2.00 2.00 1.74 3/73 13570
/proc/meminfo: memFree=327600/2055920 swapFree=4192812/4192956
[pid=13525] ppid=13523 vsize=539480 CPUtime=1800.03
/proc/13525/stat : 13525 (pcs.small) R 13523 13525 13333 0 -1 4194304 162422 824 0 0 179855 148 0 0 25 0 1 0 56507937 552427520 120633 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 0 0 0
/proc/13525/statm: 134870 120633 378 142 0 133824 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 539480

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1804.09
CPU time (s): 1800.13
CPU user time (s): 1798.56
CPU system time (s): 1.56376
CPU usage (%): 99.7806
Max. virtual memory (cumulated for all children) (KiB): 545880

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

runsolver used 2.87356 second user time and 5.2282 second system time

The end

Launcher Data 

Begin job on node14 at 2009-07-15 23:46:50
IDJOB=2058988
IDBENCH=53541
IDSOLVER=734
FILE ID=node14/2058988-1247694410
PBS_JOBID= 9521281
Free space on /tmp= 66452 MiB

SOLVER NAME= pcs-restart 0.2.restart
BENCH NAME= CPAI08/csp/QCP-25/normalized-qcp-25-264-5_ext.xml
COMMAND LINE= HOME/pcssolve -s RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2058988-1247694410/watcher-2058988-1247694410 -o /tmp/evaluation-result-2058988-1247694410/solver-2058988-1247694410 -C 1800 -W 2000 -M 900  HOME/pcssolve -s 2083806569 HOME/instance-2058988-1247694410.xml

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

MD5SUM BENCH= 16d7053869df773ae8032e14ad5c8f64
RANDOM SEED=2083806569

node14.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.265
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.265
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:       1237264 kB
Buffers:         81224 kB
Cached:         551380 kB
SwapCached:          0 kB
Active:         273480 kB
Inactive:       463156 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1237264 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            2440 kB
Writeback:           0 kB
Mapped:         115436 kB
Slab:            67272 kB
Committed_AS:   650176 kB
PageTables:       2012 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= 66452 MiB
End job on node14 at 2009-07-16 00:16:56