Trace number 2059967

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.08 1801.02

General information on the benchmark

Namecsp/frb59-26/
normalized-frb59-26-4-mgd_ext.xml
MD5SUMfd3536ed5e2ccfdf16ec9d1318bd7cce
Bench Category2-ARY-EXT (binary constraints in extension)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables59
Number of constraints559
Maximum constraint arity2
Maximum domain size26
Number of constraints which are defined in extension559
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.17/0.22	c Seed is 1293816209
0.17/0.22	c Constructing HOME/instance-2059967-1247696029.xml  with 14529 constraints
0.17/0.27	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-2059967-1247696029/watcher-2059967-1247696029 -o /tmp/evaluation-result-2059967-1247696029/solver-2059967-1247696029 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 1293816209 HOME/instance-2059967-1247696029.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.85 1.97 1.68 4/72 9089
/proc/meminfo: memFree=1182128/2055920 swapFree=4192812/4192956
[pid=9089] ppid=9087 vsize=18576 CPUtime=0
/proc/9089/stat : 9089 (runsolver) R 9087 9089 8871 0 -1 4194368 15 0 0 0 0 0 0 0 20 0 1 0 56667584 19021824 284 996147200 4194304 4302564 548682068496 18446744073709551615 240907775271 0 0 4096 24578 0 0 0 17 1 0 0
/proc/9089/statm: 4644 284 249 26 0 2626 0

[startup+0.013193 s]
/proc/loadavg: 1.85 1.97 1.68 4/72 9089
/proc/meminfo: memFree=1182128/2055920 swapFree=4192812/4192956
[pid=9089] ppid=9087 vsize=5356 CPUtime=0
/proc/9089/stat : 9089 (pcssolve) R 9087 9089 8871 0 -1 4194304 326 317 0 0 0 0 0 0 21 0 1 0 56667584 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 240907774623 0 65538 4100 65536 0 0 0 17 1 0 0
/proc/9089/statm: 1339 242 201 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.102203 s]
/proc/loadavg: 1.85 1.97 1.68 4/72 9089
/proc/meminfo: memFree=1182128/2055920 swapFree=4192812/4192956
[pid=9089] ppid=9087 vsize=5564 CPUtime=0.07
/proc/9089/stat : 9089 (pcs.small) R 9087 9089 8871 0 -1 4194304 1101 822 0 0 7 0 0 0 18 0 1 0 56667584 5697536 710 996147200 134512640 135095119 4294956304 18446744073709551615 9387647 0 0 4096 0 0 0 0 17 1 0 0
/proc/9089/statm: 1391 710 364 142 0 345 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 5564

[startup+0.301226 s]
/proc/loadavg: 1.85 1.97 1.68 4/72 9089
/proc/meminfo: memFree=1182128/2055920 swapFree=4192812/4192956
[pid=9089] ppid=9087 vsize=9576 CPUtime=0.27
/proc/9089/stat : 9089 (pcs.small) R 9087 9089 8871 0 -1 4194304 2208 822 0 0 25 2 0 0 19 0 1 0 56667584 9805824 1719 996147200 134512640 135095119 4294956304 18446744073709551615 134642962 0 0 4096 0 0 0 0 17 1 0 0
/proc/9089/statm: 2394 1719 379 142 0 1348 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 9576

[startup+0.702267 s]
/proc/loadavg: 1.85 1.97 1.68 4/72 9089
/proc/meminfo: memFree=1182128/2055920 swapFree=4192812/4192956
[pid=9089] ppid=9087 vsize=9576 CPUtime=0.67
/proc/9089/stat : 9089 (pcs.small) R 9087 9089 8871 0 -1 4194304 2209 822 0 0 65 2 0 0 23 0 1 0 56667584 9805824 1720 996147200 134512640 135095119 4294956304 18446744073709551615 134642970 0 0 4096 0 0 0 0 17 1 0 0
/proc/9089/statm: 2394 1720 379 142 0 1348 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 9576

[startup+1.50235 s]
/proc/loadavg: 1.85 1.97 1.68 3/73 9095
/proc/meminfo: memFree=1176616/2055920 swapFree=4192812/4192956
[pid=9089] ppid=9087 vsize=9576 CPUtime=1.46
/proc/9089/stat : 9089 (pcs.small) R 9087 9089 8871 0 -1 4194304 2212 822 0 0 144 2 0 0 25 0 1 0 56667584 9805824 1723 996147200 134512640 135095119 4294956304 18446744073709551615 134570826 0 0 4096 0 0 0 0 17 1 0 0
/proc/9089/statm: 2394 1723 379 142 0 1348 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 9576

[startup+3.1015 s]
/proc/loadavg: 1.85 1.97 1.68 3/73 9095
/proc/meminfo: memFree=1176488/2055920 swapFree=4192812/4192956
[pid=9089] ppid=9087 vsize=9576 CPUtime=3.05
/proc/9089/stat : 9089 (pcs.small) R 9087 9089 8871 0 -1 4194304 2219 822 0 0 303 2 0 0 25 0 1 0 56667584 9805824 1730 996147200 134512640 135095119 4294956304 18446744073709551615 134554976 0 0 4096 0 0 0 0 17 1 0 0
/proc/9089/statm: 2394 1730 379 142 0 1348 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 9576

[startup+6.30182 s]
/proc/loadavg: 1.86 1.97 1.68 3/73 9095
/proc/meminfo: memFree=1176744/2055920 swapFree=4192812/4192956
[pid=9089] ppid=9087 vsize=9060 CPUtime=6.22
/proc/9089/stat : 9089 (pcs.small) R 9087 9089 8871 0 -1 4194304 2224 822 0 0 620 2 0 0 25 0 1 0 56667584 9277440 1606 996147200 134512640 135095119 4294956304 18446744073709551615 134589560 0 0 4096 0 0 0 0 17 1 0 0
/proc/9089/statm: 2265 1606 379 142 0 1219 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 9060

[startup+12.7015 s]
/proc/loadavg: 1.87 1.97 1.69 3/73 9095
/proc/meminfo: memFree=1176680/2055920 swapFree=4192812/4192956
[pid=9089] ppid=9087 vsize=9060 CPUtime=12.56
/proc/9089/stat : 9089 (pcs.small) R 9087 9089 8871 0 -1 4194304 2224 822 0 0 1254 2 0 0 25 0 1 0 56667584 9277440 1606 996147200 134512640 135095119 4294956304 18446744073709551615 134589601 0 0 4096 0 0 0 0 17 1 0 0
/proc/9089/statm: 2265 1606 379 142 0 1219 0
Current children cumulated CPU time (s) 12.56
Current children cumulated vsize (KiB) 9060

[startup+25.5017 s]
/proc/loadavg: 1.82 1.95 1.68 2/71 9096
/proc/meminfo: memFree=1261880/2055920 swapFree=4192812/4192956
[pid=9089] ppid=9087 vsize=10088 CPUtime=25.25
/proc/9089/stat : 9089 (pcs.small) R 9087 9089 8871 0 -1 4194304 2390 822 0 0 2523 2 0 0 25 0 1 0 56667584 10330112 1772 996147200 134512640 135095119 4294956304 18446744073709551615 134643994 0 0 4096 0 0 0 0 17 0 0 0
/proc/9089/statm: 2522 1772 379 142 0 1476 0
Current children cumulated CPU time (s) 25.25
Current children cumulated vsize (KiB) 10088

[startup+51.1013 s]
/proc/loadavg: 1.88 1.95 1.69 3/73 9127
/proc/meminfo: memFree=1250080/2055920 swapFree=4192812/4192956
[pid=9089] ppid=9087 vsize=15012 CPUtime=50.83
/proc/9089/stat : 9089 (pcs.small) R 9087 9089 8871 0 -1 4194304 3496 822 0 0 5080 3 0 0 25 0 1 0 56667584 15372288 2621 996147200 134512640 135095119 4294956304 18446744073709551615 134642865 0 0 4096 0 0 0 0 17 0 0 0
/proc/9089/statm: 3753 2621 379 142 0 2707 0
Current children cumulated CPU time (s) 50.83
Current children cumulated vsize (KiB) 15012

[startup+102.306 s]
/proc/loadavg: 1.95 1.96 1.71 3/73 9127
/proc/meminfo: memFree=1240864/2055920 swapFree=4192812/4192956
[pid=9089] ppid=9087 vsize=17456 CPUtime=102.02
/proc/9089/stat : 9089 (pcs.small) R 9087 9089 8871 0 -1 4194304 4430 822 0 0 10198 4 0 0 25 0 1 0 56667584 17874944 3042 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 0 0 0
/proc/9089/statm: 4364 3042 379 142 0 3318 0
Current children cumulated CPU time (s) 102.02
Current children cumulated vsize (KiB) 17456

[startup+162.301 s]
/proc/loadavg: 1.98 1.97 1.72 3/73 9127
/proc/meminfo: memFree=1232992/2055920 swapFree=4192812/4192956
[pid=9089] ppid=9087 vsize=19304 CPUtime=161.98
/proc/9089/stat : 9089 (pcs.small) R 9087 9089 8871 0 -1 4194304 5204 822 0 0 16194 4 0 0 25 0 1 0 56667584 19767296 3816 996147200 134512640 135095119 4294956304 18446744073709551615 134642970 0 0 4096 0 0 0 0 17 0 0 0
/proc/9089/statm: 4826 3816 379 142 0 3780 0
Current children cumulated CPU time (s) 161.98
Current children cumulated vsize (KiB) 19304

[startup+222.301 s]
/proc/loadavg: 1.99 1.97 1.74 3/73 9127
/proc/meminfo: memFree=1223392/2055920 swapFree=4192812/4192956
[pid=9089] ppid=9087 vsize=24520 CPUtime=221.96
/proc/9089/stat : 9089 (pcs.small) R 9087 9089 8871 0 -1 4194304 6795 822 0 0 22190 6 0 0 25 0 1 0 56667584 25108480 4894 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 0 0 0
/proc/9089/statm: 6130 4894 379 142 0 5084 0
Current children cumulated CPU time (s) 221.96
Current children cumulated vsize (KiB) 24520

[startup+282.301 s]
/proc/loadavg: 1.99 1.97 1.75 3/73 9127
/proc/meminfo: memFree=1216288/2055920 swapFree=4192812/4192956
[pid=9089] ppid=9087 vsize=28880 CPUtime=281.94
/proc/9089/stat : 9089 (pcs.small) R 9087 9089 8871 0 -1 4194304 8122 822 0 0 28187 7 0 0 25 0 1 0 56667584 29573120 5196 996147200 134512640 135095119 4294956304 18446744073709551615 134637249 0 0 4096 0 0 0 0 17 0 0 0
/proc/9089/statm: 7220 5196 379 142 0 6174 0
Current children cumulated CPU time (s) 281.94
Current children cumulated vsize (KiB) 28880

[startup+342.301 s]
/proc/loadavg: 2.04 1.99 1.77 3/73 9127
/proc/meminfo: memFree=1208224/2055920 swapFree=4192812/4192956
[pid=9089] ppid=9087 vsize=30068 CPUtime=341.91
/proc/9089/stat : 9089 (pcs.small) R 9087 9089 8871 0 -1 4194304 8643 822 0 0 34183 8 0 0 25 0 1 0 56667584 30789632 5717 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 0 0 0
/proc/9089/statm: 7517 5717 379 142 0 6471 0
Current children cumulated CPU time (s) 341.91
Current children cumulated vsize (KiB) 30068

[startup+402.301 s]
/proc/loadavg: 2.05 2.00 1.78 3/73 9127
/proc/meminfo: memFree=1197536/2055920 swapFree=4192812/4192956
[pid=9089] ppid=9087 vsize=31256 CPUtime=401.89
/proc/9089/stat : 9089 (pcs.small) R 9087 9089 8871 0 -1 4194304 9147 822 0 0 40181 8 0 0 25 0 1 0 56667584 32006144 6221 996147200 134512640 135095119 4294956304 18446744073709551615 134642970 0 0 4096 0 0 0 0 17 0 0 0
/proc/9089/statm: 7814 6221 379 142 0 6768 0
Current children cumulated CPU time (s) 401.89
Current children cumulated vsize (KiB) 31256

[startup+462.301 s]
/proc/loadavg: 2.06 2.01 1.80 3/73 9127
/proc/meminfo: memFree=1188128/2055920 swapFree=4192812/4192956
[pid=9089] ppid=9087 vsize=32440 CPUtime=461.87
/proc/9089/stat : 9089 (pcs.small) R 9087 9089 8871 0 -1 4194304 9645 822 0 0 46178 9 0 0 25 0 1 0 56667584 33218560 6719 996147200 134512640 135095119 4294956304 18446744073709551615 134589560 0 0 4096 0 0 0 0 17 0 0 0
/proc/9089/statm: 8110 6719 379 142 0 7064 0
Current children cumulated CPU time (s) 461.87
Current children cumulated vsize (KiB) 32440

[startup+522.302 s]
/proc/loadavg: 2.13 2.04 1.82 3/73 9127
/proc/meminfo: memFree=1177184/2055920 swapFree=4192812/4192956
[pid=9089] ppid=9087 vsize=33628 CPUtime=521.84
/proc/9089/stat : 9089 (pcs.small) R 9087 9089 8871 0 -1 4194304 10123 822 0 0 52175 9 0 0 25 0 1 0 56667584 34435072 7197 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 0 0 0
/proc/9089/statm: 8407 7197 379 142 0 7361 0
Current children cumulated CPU time (s) 521.84
Current children cumulated vsize (KiB) 33628

[startup+582.302 s]
/proc/loadavg: 2.21 2.07 1.84 3/73 9127
/proc/meminfo: memFree=1162720/2055920 swapFree=4192812/4192956
[pid=9089] ppid=9087 vsize=34684 CPUtime=581.81
/proc/9089/stat : 9089 (pcs.small) R 9087 9089 8871 0 -1 4194304 10591 822 0 0 58171 10 0 0 25 0 1 0 56667584 35516416 7665 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 0 0 0
/proc/9089/statm: 8671 7665 379 142 0 7625 0
Current children cumulated CPU time (s) 581.81
Current children cumulated vsize (KiB) 34684

[startup+642.303 s]
/proc/loadavg: 2.07 2.06 1.85 3/73 9127
/proc/meminfo: memFree=1147360/2055920 swapFree=4192812/4192956
[pid=9089] ppid=9087 vsize=35872 CPUtime=641.8
/proc/9089/stat : 9089 (pcs.small) R 9087 9089 8871 0 -1 4194304 11069 822 0 0 64169 11 0 0 25 0 1 0 56667584 36732928 8143 996147200 134512640 135095119 4294956304 18446744073709551615 134584709 0 0 4096 0 0 0 0 17 0 0 0
/proc/9089/statm: 8968 8143 379 142 0 7922 0
Current children cumulated CPU time (s) 641.8
Current children cumulated vsize (KiB) 35872

[startup+702.303 s]

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

[startup+822.303 s]
/proc/loadavg: 2.00 2.03 1.87 3/73 9127
/proc/meminfo: memFree=1119008/2055920 swapFree=4192812/4192956
[pid=9089] ppid=9087 vsize=54756 CPUtime=821.73
/proc/9089/stat : 9089 (pcs.small) R 9087 9089 8871 0 -1 4194304 16311 822 0 0 82159 14 0 0 25 0 1 0 56667584 56070144 10311 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 0 0 0
/proc/9089/statm: 13689 10311 379 142 0 12643 0
Current children cumulated CPU time (s) 821.73
Current children cumulated vsize (KiB) 54756

[startup+882.303 s]
/proc/loadavg: 2.00 2.02 1.87 3/73 9127
/proc/meminfo: memFree=1112160/2055920 swapFree=4192812/4192956
[pid=9089] ppid=9087 vsize=54756 CPUtime=881.7
/proc/9089/stat : 9089 (pcs.small) R 9087 9089 8871 0 -1 4194304 16483 822 0 0 88156 14 0 0 25 0 1 0 56667584 56070144 10483 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 0 0 0
/proc/9089/statm: 13689 10483 379 142 0 12643 0
Current children cumulated CPU time (s) 881.7
Current children cumulated vsize (KiB) 54756

[startup+942.303 s]
/proc/loadavg: 2.00 2.01 1.88 3/73 9127
/proc/meminfo: memFree=1103968/2055920 swapFree=4192812/4192956
[pid=9089] ppid=9087 vsize=54756 CPUtime=941.67
/proc/9089/stat : 9089 (pcs.small) R 9087 9089 8871 0 -1 4194304 16650 822 0 0 94153 14 0 0 25 0 1 0 56667584 56070144 10650 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 0 0 0
/proc/9089/statm: 13689 10650 379 142 0 12643 0
Current children cumulated CPU time (s) 941.67
Current children cumulated vsize (KiB) 54756

[startup+1002.3 s]
/proc/loadavg: 2.00 2.01 1.89 3/73 9127
/proc/meminfo: memFree=1096928/2055920 swapFree=4192812/4192956
[pid=9089] ppid=9087 vsize=55156 CPUtime=1001.66
/proc/9089/stat : 9089 (pcs.small) R 9087 9089 8871 0 -1 4194304 16920 822 0 0 100151 15 0 0 25 0 1 0 56667584 56479744 10920 996147200 134512640 135095119 4294956304 18446744073709551615 134589560 0 0 4096 0 0 0 0 17 0 0 0
/proc/9089/statm: 13789 10920 379 142 0 12743 0
Current children cumulated CPU time (s) 1001.66
Current children cumulated vsize (KiB) 55156

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 1.89 3/73 9127
/proc/meminfo: memFree=1089120/2055920 swapFree=4192812/4192956
[pid=9089] ppid=9087 vsize=56080 CPUtime=1061.63
/proc/9089/stat : 9089 (pcs.small) R 9087 9089 8871 0 -1 4194304 17316 822 0 0 106148 15 0 0 25 0 1 0 56667584 57425920 11316 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 0 0 0
/proc/9089/statm: 14020 11316 379 142 0 12974 0
Current children cumulated CPU time (s) 1061.63
Current children cumulated vsize (KiB) 56080

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 1.90 3/73 9127
/proc/meminfo: memFree=1082528/2055920 swapFree=4192812/4192956
[pid=9089] ppid=9087 vsize=56872 CPUtime=1121.61
/proc/9089/stat : 9089 (pcs.small) R 9087 9089 8871 0 -1 4194304 17675 822 0 0 112145 16 0 0 25 0 1 0 56667584 58236928 11675 996147200 134512640 135095119 4294956304 18446744073709551615 134570838 0 0 4096 0 0 0 0 17 0 0 0
/proc/9089/statm: 14218 11675 379 142 0 13172 0
Current children cumulated CPU time (s) 1121.61
Current children cumulated vsize (KiB) 56872

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.90 3/73 9127
/proc/meminfo: memFree=1076320/2055920 swapFree=4192812/4192956
[pid=9089] ppid=9087 vsize=57664 CPUtime=1181.59
/proc/9089/stat : 9089 (pcs.small) R 9087 9089 8871 0 -1 4194304 18038 822 0 0 118143 16 0 0 25 0 1 0 56667584 59047936 12038 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 0 0 0
/proc/9089/statm: 14416 12038 379 142 0 13370 0
Current children cumulated CPU time (s) 1181.59
Current children cumulated vsize (KiB) 57664

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/73 9127
/proc/meminfo: memFree=1070560/2055920 swapFree=4192812/4192956
[pid=9089] ppid=9087 vsize=58588 CPUtime=1241.56
/proc/9089/stat : 9089 (pcs.small) R 9087 9089 8871 0 -1 4194304 18403 822 0 0 124139 17 0 0 25 0 1 0 56667584 59994112 12403 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 0 0 0
/proc/9089/statm: 14647 12403 379 142 0 13601 0
Current children cumulated CPU time (s) 1241.56
Current children cumulated vsize (KiB) 58588

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/73 9127
/proc/meminfo: memFree=1062368/2055920 swapFree=4192812/4192956
[pid=9089] ppid=9087 vsize=59516 CPUtime=1301.54
/proc/9089/stat : 9089 (pcs.small) R 9087 9089 8871 0 -1 4194304 18772 822 0 0 130137 17 0 0 25 0 1 0 56667584 60944384 12772 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 0 0 0
/proc/9089/statm: 14879 12772 379 142 0 13833 0
Current children cumulated CPU time (s) 1301.54
Current children cumulated vsize (KiB) 59516

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/73 9127
/proc/meminfo: memFree=1054752/2055920 swapFree=4192812/4192956
[pid=9089] ppid=9087 vsize=60312 CPUtime=1361.52
/proc/9089/stat : 9089 (pcs.small) R 9087 9089 8871 0 -1 4194304 19129 822 0 0 136134 18 0 0 25 0 1 0 56667584 61759488 13129 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 0 0 0
/proc/9089/statm: 15078 13129 379 142 0 14032 0
Current children cumulated CPU time (s) 1361.52
Current children cumulated vsize (KiB) 60312

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.91 3/73 9127
/proc/meminfo: memFree=1047456/2055920 swapFree=4192812/4192956
[pid=9089] ppid=9087 vsize=61104 CPUtime=1421.5
/proc/9089/stat : 9089 (pcs.small) R 9087 9089 8871 0 -1 4194304 19481 822 0 0 142132 18 0 0 25 0 1 0 56667584 62570496 13481 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 0 0 0
/proc/9089/statm: 15276 13481 379 142 0 14230 0
Current children cumulated CPU time (s) 1421.5
Current children cumulated vsize (KiB) 61104

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/73 9127
/proc/meminfo: memFree=1041632/2055920 swapFree=4192812/4192956
[pid=9089] ppid=9087 vsize=61896 CPUtime=1481.47
/proc/9089/stat : 9089 (pcs.small) R 9087 9089 8871 0 -1 4194304 19811 822 0 0 148128 19 0 0 25 0 1 0 56667584 63381504 13811 996147200 134512640 135095119 4294956304 18446744073709551615 134589560 0 0 4096 0 0 0 0 17 0 0 0
/proc/9089/statm: 15474 13811 379 142 0 14428 0
Current children cumulated CPU time (s) 1481.47
Current children cumulated vsize (KiB) 61896

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/73 9127
/proc/meminfo: memFree=1034784/2055920 swapFree=4192812/4192956
[pid=9089] ppid=9087 vsize=62828 CPUtime=1541.44
/proc/9089/stat : 9089 (pcs.small) R 9087 9089 8871 0 -1 4194304 20174 822 0 0 154125 19 0 0 25 0 1 0 56667584 64335872 14174 996147200 134512640 135095119 4294956304 18446744073709551615 134589560 0 0 4096 0 0 0 0 17 0 0 0
/proc/9089/statm: 15707 14174 379 142 0 14661 0
Current children cumulated CPU time (s) 1541.44
Current children cumulated vsize (KiB) 62828

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/73 9127
/proc/meminfo: memFree=1024928/2055920 swapFree=4192812/4192956
[pid=9089] ppid=9087 vsize=63484 CPUtime=1601.42
/proc/9089/stat : 9089 (pcs.small) R 9087 9089 8871 0 -1 4194304 20494 822 0 0 160122 20 0 0 25 0 1 0 56667584 65007616 14494 996147200 134512640 135095119 4294956304 18446744073709551615 134589560 0 0 4096 0 0 0 0 17 0 0 0
/proc/9089/statm: 15871 14494 379 142 0 14825 0
Current children cumulated CPU time (s) 1601.42
Current children cumulated vsize (KiB) 63484

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/73 9127
/proc/meminfo: memFree=1015520/2055920 swapFree=4192812/4192956
[pid=9089] ppid=9087 vsize=64552 CPUtime=1661.39
/proc/9089/stat : 9089 (pcs.small) R 9087 9089 8871 0 -1 4194304 20894 822 0 0 166119 20 0 0 25 0 1 0 56667584 66101248 14894 996147200 134512640 135095119 4294956304 18446744073709551615 134589560 0 0 4096 0 0 0 0 17 0 0 0
/proc/9089/statm: 16138 14894 379 142 0 15092 0
Current children cumulated CPU time (s) 1661.39
Current children cumulated vsize (KiB) 64552

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/73 9127
/proc/meminfo: memFree=1010080/2055920 swapFree=4192812/4192956
[pid=9089] ppid=9087 vsize=65212 CPUtime=1721.38
/proc/9089/stat : 9089 (pcs.small) R 9087 9089 8871 0 -1 4194304 21195 822 0 0 172117 21 0 0 25 0 1 0 56667584 66777088 15195 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 0 0 0
/proc/9089/statm: 16303 15195 379 142 0 15257 0
Current children cumulated CPU time (s) 1721.38
Current children cumulated vsize (KiB) 65212

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/73 9127
/proc/meminfo: memFree=1003552/2055920 swapFree=4192812/4192956
[pid=9089] ppid=9087 vsize=66004 CPUtime=1781.35
/proc/9089/stat : 9089 (pcs.small) R 9087 9089 8871 0 -1 4194304 21538 822 0 0 178114 21 0 0 25 0 1 0 56667584 67588096 15538 996147200 134512640 135095119 4294956304 18446744073709551615 134589560 0 0 4096 0 0 0 0 17 0 0 0
/proc/9089/statm: 16501 15538 379 142 0 15455 0
Current children cumulated CPU time (s) 1781.35
Current children cumulated vsize (KiB) 66004



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1801 s]
/proc/loadavg: 2.00 2.00 1.91 3/73 9127
/proc/meminfo: memFree=1001760/2055920 swapFree=4192812/4192956
[pid=9089] ppid=9087 vsize=82652 CPUtime=1800.05
/proc/9089/stat : 9089 (pcs.small) R 9087 9089 8871 0 -1 4194304 25750 822 0 0 179982 23 0 0 25 0 1 0 56667584 84635648 15653 996147200 134512640 135095119 4294956304 18446744073709551615 134589560 0 0 4096 0 0 0 0 17 0 0 0
/proc/9089/statm: 20663 15653 379 142 0 19617 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 82652

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): 1801.02
CPU time (s): 1800.08
CPU user time (s): 1799.83
CPU system time (s): 0.254961
CPU usage (%): 99.9482
Max. virtual memory (cumulated for all children) (KiB): 82652

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

runsolver used 2.57061 second user time and 5.56715 second system time

The end

Launcher Data 

Begin job on node36 at 2009-07-16 00:13:49
IDJOB=2059967
IDBENCH=53633
IDSOLVER=734
FILE ID=node36/2059967-1247696029
PBS_JOBID= 9521238
Free space on /tmp= 66312 MiB

SOLVER NAME= pcs-restart 0.2.restart
BENCH NAME= CPAI08/csp/frb59-26/normalized-frb59-26-4-mgd_ext.xml
COMMAND LINE= HOME/pcssolve -s RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2059967-1247696029/watcher-2059967-1247696029 -o /tmp/evaluation-result-2059967-1247696029/solver-2059967-1247696029 -C 1800 -W 2000 -M 900  HOME/pcssolve -s 1293816209 HOME/instance-2059967-1247696029.xml

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

MD5SUM BENCH= fd3536ed5e2ccfdf16ec9d1318bd7cce
RANDOM SEED=1293816209

node36.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.238
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.238
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:       1182608 kB
Buffers:         72280 kB
Cached:         628596 kB
SwapCached:          0 kB
Active:         263064 kB
Inactive:       539460 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1182608 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            2600 kB
Writeback:           0 kB
Mapped:         113100 kB
Slab:            56040 kB
Committed_AS:   658844 kB
PageTables:       1888 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= 66308 MiB
End job on node36 at 2009-07-16 00:43:52