Trace number 2058999

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 1800.88

General information on the benchmark

Namecsp/QCP-25/
normalized-qcp-25-264-9_ext.xml
MD5SUM38b9a03a664d7db0da8e03d924bebc38
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 benchmark108.773
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 370369026
0.00/0.02	c Constructing HOME/instance-2058999-1247694415.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-2058999-1247694415/watcher-2058999-1247694415 -o /tmp/evaluation-result-2058999-1247694415/solver-2058999-1247694415 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 370369026 HOME/instance-2058999-1247694415.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.90 0.35 4/72 15764
/proc/meminfo: memFree=1010976/2055920 swapFree=4192812/4192956
[pid=15764] ppid=15762 vsize=5260 CPUtime=0
/proc/15764/stat : 15764 (pcssolve) R 15762 15764 15513 0 -1 4194304 69 0 0 0 0 0 0 0 20 0 1 0 56505408 5386240 43 996147200 4194304 4889804 548682068800 18446744073709551615 221952145497 0 0 4096 0 0 0 0 17 1 0 0
/proc/15764/statm: 1315 43 29 169 0 14 0

[startup+0.0720499 s]
/proc/loadavg: 1.88 0.90 0.35 4/72 15764
/proc/meminfo: memFree=1010976/2055920 swapFree=4192812/4192956
[pid=15764] ppid=15762 vsize=6024 CPUtime=0.04
/proc/15764/stat : 15764 (pcs.small) R 15762 15764 15513 0 -1 4194304 1297 824 0 0 4 0 0 0 24 0 1 0 56505408 6168576 808 996147200 134512640 135095119 4294956304 18446744073709551615 4159314573 0 0 4096 0 0 0 0 17 1 0 0
/proc/15764/statm: 1506 808 367 142 0 460 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 6024

[startup+0.10105 s]
/proc/loadavg: 1.88 0.90 0.35 4/72 15764
/proc/meminfo: memFree=1010976/2055920 swapFree=4192812/4192956
[pid=15764] ppid=15762 vsize=7328 CPUtime=0.07
/proc/15764/stat : 15764 (pcs.small) R 15762 15764 15513 0 -1 4194304 1666 824 0 0 7 0 0 0 24 0 1 0 56505408 7503872 1048 996147200 134512640 135095119 4294956304 18446744073709551615 134646864 0 0 4096 0 0 0 0 17 1 0 0
/proc/15764/statm: 1832 1048 367 142 0 786 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 7328

[startup+0.301067 s]
/proc/loadavg: 1.88 0.90 0.35 4/72 15764
/proc/meminfo: memFree=1010976/2055920 swapFree=4192812/4192956
[pid=15764] ppid=15762 vsize=15932 CPUtime=0.27
/proc/15764/stat : 15764 (pcs.small) R 15762 15764 15513 0 -1 4194304 4242 824 0 0 25 2 0 0 25 0 1 0 56505408 16314368 2756 996147200 134512640 135095119 4294956304 18446744073709551615 134794537 0 0 4096 0 0 0 0 17 1 0 0
/proc/15764/statm: 3983 2756 367 142 0 2937 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 15932

[startup+0.701104 s]
/proc/loadavg: 1.88 0.90 0.35 4/72 15764
/proc/meminfo: memFree=1010976/2055920 swapFree=4192812/4192956
[pid=15764] ppid=15762 vsize=16096 CPUtime=0.67
/proc/15764/stat : 15764 (pcs.small) R 15762 15764 15513 0 -1 4194304 4317 824 0 0 65 2 0 0 25 0 1 0 56505408 16482304 2831 996147200 134512640 135095119 4294956304 18446744073709551615 134617024 0 0 4096 0 0 0 0 17 1 0 0
/proc/15764/statm: 4024 2831 378 142 0 2978 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 16096

[startup+1.50118 s]
/proc/loadavg: 1.89 0.92 0.36 3/73 15770
/proc/meminfo: memFree=1000336/2055920 swapFree=4192812/4192956
[pid=15764] ppid=15762 vsize=16232 CPUtime=1.47
/proc/15764/stat : 15764 (pcs.small) R 15762 15764 15513 0 -1 4194304 4357 824 0 0 145 2 0 0 25 0 1 0 56505408 16621568 2871 996147200 134512640 135095119 4294956304 18446744073709551615 134637477 0 0 4096 0 0 0 0 17 1 0 0
/proc/15764/statm: 4058 2871 378 142 0 3012 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 16232

[startup+3.10132 s]
/proc/loadavg: 1.89 0.92 0.36 3/73 15770
/proc/meminfo: memFree=999312/2055920 swapFree=4192812/4192956
[pid=15764] ppid=15762 vsize=16492 CPUtime=3.06
/proc/15764/stat : 15764 (pcs.small) R 15762 15764 15513 0 -1 4194304 4469 824 0 0 304 2 0 0 25 0 1 0 56505408 16887808 2983 996147200 134512640 135095119 4294956304 18446744073709551615 134555074 0 0 4096 0 0 0 0 17 1 0 0
/proc/15764/statm: 4123 2983 378 142 0 3077 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 16492

[startup+6.30161 s]
/proc/loadavg: 1.89 0.92 0.36 3/73 15770
/proc/meminfo: memFree=995920/2055920 swapFree=4192812/4192956
[pid=15764] ppid=15762 vsize=17644 CPUtime=6.24
/proc/15764/stat : 15764 (pcs.small) R 15762 15764 15513 0 -1 4194304 4862 824 0 0 622 2 0 0 25 0 1 0 56505408 18067456 3343 996147200 134512640 135095119 4294956304 18446744073709551615 134589541 0 0 4096 0 0 0 0 17 1 0 0
/proc/15764/statm: 4411 3343 378 142 0 3365 0
Current children cumulated CPU time (s) 6.24
Current children cumulated vsize (KiB) 17644

[startup+12.7012 s]
/proc/loadavg: 1.91 0.96 0.37 3/73 15770
/proc/meminfo: memFree=988632/2055920 swapFree=4192812/4192956
[pid=15764] ppid=15762 vsize=20588 CPUtime=12.61
/proc/15764/stat : 15764 (pcs.small) R 15762 15764 15513 0 -1 4194304 5806 824 0 0 1258 3 0 0 25 0 1 0 56505408 21082112 4093 996147200 134512640 135095119 4294956304 18446744073709551615 134617204 0 0 4096 0 0 0 0 17 1 0 0
/proc/15764/statm: 5147 4093 378 142 0 4101 0
Current children cumulated CPU time (s) 12.61
Current children cumulated vsize (KiB) 20588

[startup+25.5013 s]
/proc/loadavg: 1.85 0.97 0.38 3/73 15802
/proc/meminfo: memFree=1033248/2055920 swapFree=4192812/4192956
[pid=15764] ppid=15762 vsize=25708 CPUtime=25.38
/proc/15764/stat : 15764 (pcs.small) R 15762 15764 15513 0 -1 4194304 7503 824 0 0 2533 5 0 0 25 0 1 0 56505408 26324992 5533 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 0 0 0
/proc/15764/statm: 6427 5533 378 142 0 5381 0
Current children cumulated CPU time (s) 25.38
Current children cumulated vsize (KiB) 25708

[startup+51.1016 s]
/proc/loadavg: 1.90 1.05 0.43 3/73 15802
/proc/meminfo: memFree=1006240/2055920 swapFree=4192812/4192956
[pid=15764] ppid=15762 vsize=39920 CPUtime=50.97
/proc/15764/stat : 15764 (pcs.small) R 15762 15764 15513 0 -1 4194304 11824 824 0 0 5089 8 0 0 25 0 1 0 56505408 40878080 8187 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 0 0 0
/proc/15764/statm: 9980 8187 378 142 0 8934 0
Current children cumulated CPU time (s) 50.97
Current children cumulated vsize (KiB) 39920

[startup+102.306 s]
/proc/loadavg: 1.96 1.21 0.51 3/73 15802
/proc/meminfo: memFree=969504/2055920 swapFree=4192812/4192956
[pid=15764] ppid=15762 vsize=57840 CPUtime=102.16
/proc/15764/stat : 15764 (pcs.small) R 15762 15764 15513 0 -1 4194304 17624 824 0 0 10201 15 0 0 25 0 1 0 56505408 59228160 12962 996147200 134512640 135095119 4294956304 18446744073709551615 134589668 0 0 4096 0 0 0 0 17 0 0 0
/proc/15764/statm: 14460 12962 378 142 0 13414 0
Current children cumulated CPU time (s) 102.16
Current children cumulated vsize (KiB) 57840

[startup+162.302 s]
/proc/loadavg: 1.98 1.35 0.60 3/73 15802
/proc/meminfo: memFree=910496/2055920 swapFree=4192812/4192956
[pid=15764] ppid=15762 vsize=104708 CPUtime=162.14
/proc/15764/stat : 15764 (pcs.small) R 15762 15764 15513 0 -1 4194304 30944 824 0 0 16189 25 0 0 25 0 1 0 56505408 107220992 21927 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 0 0 0
/proc/15764/statm: 26177 21927 378 142 0 25131 0
Current children cumulated CPU time (s) 162.14
Current children cumulated vsize (KiB) 104708

[startup+222.302 s]
/proc/loadavg: 1.99 1.47 0.69 3/73 15802
/proc/meminfo: memFree=876960/2055920 swapFree=4192812/4192956
[pid=15764] ppid=15762 vsize=104708 CPUtime=222.11
/proc/15764/stat : 15764 (pcs.small) R 15762 15764 15513 0 -1 4194304 32037 824 0 0 22185 26 0 0 25 0 1 0 56505408 107220992 23020 996147200 134512640 135095119 4294956304 18446744073709551615 134642970 0 0 4096 0 0 0 0 17 0 0 0
/proc/15764/statm: 26177 23020 378 142 0 25131 0
Current children cumulated CPU time (s) 222.11
Current children cumulated vsize (KiB) 104708

[startup+282.301 s]
/proc/loadavg: 1.99 1.56 0.77 3/73 15804
/proc/meminfo: memFree=847328/2055920 swapFree=4192812/4192956
[pid=15764] ppid=15762 vsize=118404 CPUtime=282.09
/proc/15764/stat : 15764 (pcs.small) R 15762 15764 15513 0 -1 4194304 36592 824 0 0 28178 31 0 0 25 0 1 0 56505408 121245696 27575 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 0 0 0
/proc/15764/statm: 29601 27575 378 142 0 28555 0
Current children cumulated CPU time (s) 282.09
Current children cumulated vsize (KiB) 118404

[startup+342.302 s]
/proc/loadavg: 1.99 1.64 0.84 3/73 15804
/proc/meminfo: memFree=809632/2055920 swapFree=4192812/4192956
[pid=15764] ppid=15762 vsize=147972 CPUtime=342.07
/proc/15764/stat : 15764 (pcs.small) R 15762 15764 15513 0 -1 4194304 45043 824 0 0 34168 39 0 0 25 0 1 0 56505408 151523328 31929 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 0 0 0
/proc/15764/statm: 36993 31929 378 142 0 35947 0
Current children cumulated CPU time (s) 342.07
Current children cumulated vsize (KiB) 147972

[startup+402.301 s]
/proc/loadavg: 2.04 1.72 0.92 3/73 15804
/proc/meminfo: memFree=773472/2055920 swapFree=4192812/4192956
[pid=15764] ppid=15762 vsize=161284 CPUtime=402.04
/proc/15764/stat : 15764 (pcs.small) R 15762 15764 15513 0 -1 4194304 49311 824 0 0 40159 45 0 0 25 0 1 0 56505408 165154816 36197 996147200 134512640 135095119 4294956304 18446744073709551615 134642970 0 0 4096 0 0 0 0 17 0 0 0
/proc/15764/statm: 40321 36197 378 142 0 39275 0
Current children cumulated CPU time (s) 402.04
Current children cumulated vsize (KiB) 161284

[startup+462.302 s]
/proc/loadavg: 2.06 1.78 0.99 3/73 15804
/proc/meminfo: memFree=737888/2055920 swapFree=4192812/4192956
[pid=15764] ppid=15762 vsize=174212 CPUtime=462.02
/proc/15764/stat : 15764 (pcs.small) R 15762 15764 15513 0 -1 4194304 53488 824 0 0 46150 52 0 0 25 0 1 0 56505408 178393088 40374 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 0 0 0
/proc/15764/statm: 43553 40374 378 142 0 42507 0
Current children cumulated CPU time (s) 462.02
Current children cumulated vsize (KiB) 174212

[startup+522.302 s]
/proc/loadavg: 2.16 1.86 1.06 3/73 15804
/proc/meminfo: memFree=704416/2055920 swapFree=4192812/4192956
[pid=15764] ppid=15762 vsize=186756 CPUtime=522
/proc/15764/stat : 15764 (pcs.small) R 15762 15764 15513 0 -1 4194304 57519 824 0 0 52141 59 0 0 25 0 1 0 56505408 191238144 44405 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 0 0 0
/proc/15764/statm: 46689 44405 378 142 0 45643 0
Current children cumulated CPU time (s) 522
Current children cumulated vsize (KiB) 186756

[startup+582.301 s]
/proc/loadavg: 2.06 1.88 1.12 3/73 15804
/proc/meminfo: memFree=566560/2055920 swapFree=4192812/4192956
[pid=15764] ppid=15762 vsize=267932 CPUtime=581.98
/proc/15764/stat : 15764 (pcs.small) R 15762 15764 15513 0 -1 4194304 78625 824 0 0 58128 70 0 0 25 0 1 0 56505408 274362368 61414 996147200 134512640 135095119 4294956304 18446744073709551615 134589560 0 0 4096 0 0 0 0 17 0 0 0
/proc/15764/statm: 66983 61414 378 142 0 65937 0
Current children cumulated CPU time (s) 581.98
Current children cumulated vsize (KiB) 267932

[startup+642.302 s]
/proc/loadavg: 2.02 1.90 1.17 3/73 15804
/proc/meminfo: memFree=560928/2055920 swapFree=4192812/4192956
[pid=15764] ppid=15762 vsize=267932 CPUtime=641.96
/proc/15764/stat : 15764 (pcs.small) R 15762 15764 15513 0 -1 4194304 79288 824 0 0 64125 71 0 0 25 0 1 0 56505408 274362368 62077 996147200 134512640 135095119 4294956304 18446744073709551615 134638166 0 0 4096 0 0 0 0 17 0 0 0
/proc/15764/statm: 66983 62077 378 142 0 65937 0
Current children cumulated CPU time (s) 641.96
Current children cumulated vsize (KiB) 267932

[startup+702.301 s]

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

[startup+822.302 s]
/proc/loadavg: 2.00 1.94 1.31 3/73 15804
/proc/meminfo: memFree=542752/2055920 swapFree=4192812/4192956
[pid=15764] ppid=15762 vsize=300700 CPUtime=821.9
/proc/15764/stat : 15764 (pcs.small) R 15762 15764 15513 0 -1 4194304 89597 824 0 0 82111 79 0 0 25 0 1 0 56505408 307916800 64193 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 0 0 0
/proc/15764/statm: 75175 64193 378 142 0 74129 0
Current children cumulated CPU time (s) 821.9
Current children cumulated vsize (KiB) 300700

[startup+882.301 s]
/proc/loadavg: 2.00 1.95 1.35 3/73 15810
/proc/meminfo: memFree=529248/2055920 swapFree=4192812/4192956
[pid=15764] ppid=15762 vsize=302876 CPUtime=881.87
/proc/15764/stat : 15764 (pcs.small) R 15762 15764 15513 0 -1 4194304 90864 824 0 0 88107 80 0 0 25 0 1 0 56505408 310145024 65460 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 0 0 0
/proc/15764/statm: 75719 65460 378 142 0 74673 0
Current children cumulated CPU time (s) 881.87
Current children cumulated vsize (KiB) 302876

[startup+942.302 s]
/proc/loadavg: 2.00 1.95 1.39 3/73 15810
/proc/meminfo: memFree=500640/2055920 swapFree=4192812/4192956
[pid=15764] ppid=15762 vsize=313628 CPUtime=941.85
/proc/15764/stat : 15764 (pcs.small) R 15762 15764 15513 0 -1 4194304 94315 824 0 0 94101 84 0 0 25 0 1 0 56505408 321155072 68911 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 0 0 0
/proc/15764/statm: 78407 68911 378 142 0 77361 0
Current children cumulated CPU time (s) 941.85
Current children cumulated vsize (KiB) 313628

[startup+1002.3 s]
/proc/loadavg: 2.00 1.96 1.42 3/73 15810
/proc/meminfo: memFree=471584/2055920 swapFree=4192812/4192956
[pid=15764] ppid=15762 vsize=324764 CPUtime=1001.84
/proc/15764/stat : 15764 (pcs.small) R 15762 15764 15513 0 -1 4194304 97799 824 0 0 100095 89 0 0 25 0 1 0 56505408 332558336 72395 996147200 134512640 135095119 4294956304 18446744073709551615 134638185 0 0 4096 0 0 0 0 17 0 0 0
/proc/15764/statm: 81191 72395 378 142 0 80145 0
Current children cumulated CPU time (s) 1001.84
Current children cumulated vsize (KiB) 324764

[startup+1062.3 s]
/proc/loadavg: 2.00 1.96 1.46 3/73 15810
/proc/meminfo: memFree=442720/2055920 swapFree=4192812/4192956
[pid=15764] ppid=15762 vsize=336028 CPUtime=1061.81
/proc/15764/stat : 15764 (pcs.small) R 15762 15764 15513 0 -1 4194304 101305 824 0 0 106087 94 0 0 25 0 1 0 56505408 344092672 75901 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 0 0 0
/proc/15764/statm: 84007 75901 378 142 0 82961 0
Current children cumulated CPU time (s) 1061.81
Current children cumulated vsize (KiB) 336028

[startup+1122.3 s]
/proc/loadavg: 2.00 1.97 1.49 3/73 15810
/proc/meminfo: memFree=413984/2055920 swapFree=4192812/4192956
[pid=15764] ppid=15762 vsize=346908 CPUtime=1121.79
/proc/15764/stat : 15764 (pcs.small) R 15762 15764 15513 0 -1 4194304 104728 824 0 0 112080 99 0 0 25 0 1 0 56505408 355233792 79324 996147200 134512640 135095119 4294956304 18446744073709551615 134617221 0 0 4096 0 0 0 0 17 0 0 0
/proc/15764/statm: 86727 79324 378 142 0 85681 0
Current children cumulated CPU time (s) 1121.79
Current children cumulated vsize (KiB) 346908

[startup+1182.3 s]
/proc/loadavg: 2.00 1.97 1.52 3/73 15810
/proc/meminfo: memFree=386080/2055920 swapFree=4192812/4192956
[pid=15764] ppid=15762 vsize=357404 CPUtime=1181.78
/proc/15764/stat : 15764 (pcs.small) R 15762 15764 15513 0 -1 4194304 108059 824 0 0 118075 103 0 0 25 0 1 0 56505408 365981696 82655 996147200 134512640 135095119 4294956304 18446744073709551615 134642978 0 0 4096 0 0 0 0 17 0 0 0
/proc/15764/statm: 89351 82655 378 142 0 88305 0
Current children cumulated CPU time (s) 1181.78
Current children cumulated vsize (KiB) 357404

[startup+1242.3 s]
/proc/loadavg: 2.00 1.97 1.54 3/73 15810
/proc/meminfo: memFree=357792/2055920 swapFree=4192812/4192956
[pid=15764] ppid=15762 vsize=368028 CPUtime=1241.75
/proc/15764/stat : 15764 (pcs.small) R 15762 15764 15513 0 -1 4194304 111393 824 0 0 124068 107 0 0 25 0 1 0 56505408 376860672 85989 996147200 134512640 135095119 4294956304 18446744073709551615 134840821 0 0 4096 0 0 0 0 17 0 0 0
/proc/15764/statm: 92007 85989 378 142 0 90961 0
Current children cumulated CPU time (s) 1241.75
Current children cumulated vsize (KiB) 368028

[startup+1302.3 s]
/proc/loadavg: 2.00 1.97 1.57 3/73 15810
/proc/meminfo: memFree=328864/2055920 swapFree=4192812/4192956
[pid=15764] ppid=15762 vsize=379164 CPUtime=1301.73
/proc/15764/stat : 15764 (pcs.small) R 15762 15764 15513 0 -1 4194304 114865 824 0 0 130061 112 0 0 25 0 1 0 56505408 388263936 89461 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 0 0 0
/proc/15764/statm: 94791 89461 378 142 0 93745 0
Current children cumulated CPU time (s) 1301.73
Current children cumulated vsize (KiB) 379164

[startup+1362.3 s]
/proc/loadavg: 2.00 1.97 1.59 3/73 15810
/proc/meminfo: memFree=301280/2055920 swapFree=4192812/4192956
[pid=15764] ppid=15762 vsize=389532 CPUtime=1361.71
/proc/15764/stat : 15764 (pcs.small) R 15762 15764 15513 0 -1 4194304 118116 824 0 0 136055 116 0 0 25 0 1 0 56505408 398880768 92712 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 0 0 0
/proc/15764/statm: 97383 92712 378 142 0 96337 0
Current children cumulated CPU time (s) 1361.71
Current children cumulated vsize (KiB) 389532

[startup+1422.31 s]
/proc/loadavg: 2.00 1.97 1.62 3/73 15810
/proc/meminfo: memFree=273632/2055920 swapFree=4192812/4192956
[pid=15764] ppid=15762 vsize=399900 CPUtime=1421.69
/proc/15764/stat : 15764 (pcs.small) R 15762 15764 15513 0 -1 4194304 121345 824 0 0 142048 121 0 0 25 0 1 0 56505408 409497600 95941 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 0 0 0
/proc/15764/statm: 99975 95941 378 142 0 98929 0
Current children cumulated CPU time (s) 1421.69
Current children cumulated vsize (KiB) 399900

[startup+1482.3 s]
/proc/loadavg: 2.00 1.97 1.64 3/73 15810
/proc/meminfo: memFree=247008/2055920 swapFree=4192812/4192956
[pid=15764] ppid=15762 vsize=410140 CPUtime=1481.67
/proc/15764/stat : 15764 (pcs.small) R 15762 15764 15513 0 -1 4194304 124569 824 0 0 148042 125 0 0 25 0 1 0 56505408 419983360 99165 996147200 134512640 135095119 4294956304 18446744073709551615 134589560 0 0 4096 0 0 0 0 17 0 0 0
/proc/15764/statm: 102535 99165 378 142 0 101489 0
Current children cumulated CPU time (s) 1481.67
Current children cumulated vsize (KiB) 410140

[startup+1542.3 s]
/proc/loadavg: 2.00 1.97 1.66 3/73 15810
/proc/meminfo: memFree=219360/2055920 swapFree=4192812/4192956
[pid=15764] ppid=15762 vsize=420636 CPUtime=1541.65
/proc/15764/stat : 15764 (pcs.small) R 15762 15764 15513 0 -1 4194304 127895 824 0 0 154036 129 0 0 25 0 1 0 56505408 430731264 102491 996147200 134512640 135095119 4294956304 18446744073709551615 134589520 0 0 4096 0 0 0 0 17 0 0 0
/proc/15764/statm: 105159 102491 378 142 0 104113 0
Current children cumulated CPU time (s) 1541.65
Current children cumulated vsize (KiB) 420636

[startup+1602.3 s]
/proc/loadavg: 2.00 1.97 1.67 3/73 15810
/proc/meminfo: memFree=192608/2055920 swapFree=4192812/4192956
[pid=15764] ppid=15762 vsize=431004 CPUtime=1601.62
/proc/15764/stat : 15764 (pcs.small) R 15762 15764 15513 0 -1 4194304 131125 824 0 0 160030 132 0 0 25 0 1 0 56505408 441348096 105721 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 0 0 0
/proc/15764/statm: 107751 105721 378 142 0 106705 0
Current children cumulated CPU time (s) 1601.62
Current children cumulated vsize (KiB) 431004

[startup+1662.3 s]
/proc/loadavg: 2.00 1.97 1.69 3/73 15810
/proc/meminfo: memFree=166048/2055920 swapFree=4192812/4192956
[pid=15764] ppid=15762 vsize=572064 CPUtime=1661.6
/proc/15764/stat : 15764 (pcs.small) R 15762 15764 15513 0 -1 4194304 143464 824 0 0 166019 141 0 0 25 0 1 0 56505408 585793536 118060 996147200 134512640 135095119 4294956304 18446744073709551615 2444883 0 0 4096 0 0 0 0 17 0 0 0
/proc/15764/statm: 143016 118071 378 142 0 141970 0
Current children cumulated CPU time (s) 1661.6
Current children cumulated vsize (KiB) 572064

[startup+1722.3 s]
/proc/loadavg: 2.00 1.97 1.71 3/73 15810
/proc/meminfo: memFree=139616/2055920 swapFree=4192812/4192956
[pid=15764] ppid=15762 vsize=516892 CPUtime=1721.58
/proc/15764/stat : 15764 (pcs.small) R 15762 15764 15513 0 -1 4194304 153848 824 0 0 172007 151 0 0 25 0 1 0 56505408 529297408 112059 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 0 0 0
/proc/15764/statm: 129223 112059 378 142 0 128177 0
Current children cumulated CPU time (s) 1721.58
Current children cumulated vsize (KiB) 516892

[startup+1782.3 s]
/proc/loadavg: 2.00 1.97 1.73 3/73 15810
/proc/meminfo: memFree=113312/2055920 swapFree=4192812/4192956
[pid=15764] ppid=15762 vsize=526748 CPUtime=1781.55
/proc/15764/stat : 15764 (pcs.small) R 15762 15764 15513 0 -1 4194304 156934 824 0 0 178002 153 0 0 25 0 1 0 56505408 539389952 115145 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 0 0 0
/proc/15764/statm: 131687 115145 378 142 0 130641 0
Current children cumulated CPU time (s) 1781.55
Current children cumulated vsize (KiB) 526748



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.8 s]
/proc/loadavg: 2.00 1.97 1.73 3/73 15810
/proc/meminfo: memFree=45472/2055920 swapFree=4192812/4192956
[pid=15764] ppid=15762 vsize=529820 CPUtime=1800.06
/proc/15764/stat : 15764 (pcs.small) R 15762 15764 15513 0 -1 4194304 157900 824 0 0 179852 154 0 0 25 0 1 0 56505408 542535680 116111 996147200 134512640 135095119 4294956304 18446744073709551615 134617003 0 0 4096 0 0 0 0 17 0 0 0
/proc/15764/statm: 132455 116111 378 142 0 131409 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 529820

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): 1800.88
CPU time (s): 1800.15
CPU user time (s): 1798.53
CPU system time (s): 1.62375
CPU usage (%): 99.9596
Max. virtual memory (cumulated for all children) (KiB): 572064

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

runsolver used 2.51362 second user time and 5.67914 second system time

The end

Launcher Data 

Begin job on node43 at 2009-07-15 23:46:55
IDJOB=2058999
IDBENCH=53542
IDSOLVER=734
FILE ID=node43/2058999-1247694415
PBS_JOBID= 9521225
Free space on /tmp= 66192 MiB

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

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

MD5SUM BENCH= 38b9a03a664d7db0da8e03d924bebc38
RANDOM SEED=370369026

node43.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.213
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	: 5931.00
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.213
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:       1011392 kB
Buffers:         97660 kB
Cached:         770564 kB
SwapCached:          0 kB
Active:         282820 kB
Inactive:       658664 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1011392 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            2548 kB
Writeback:           0 kB
Mapped:          84724 kB
Slab:            88212 kB
Committed_AS:   585904 kB
PageTables:       1952 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= 66192 MiB
End job on node43 at 2009-07-16 00:16:58