Trace number 2089325

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 0.3.2? (TO) 1800.14 1811.63

General information on the benchmark

Namecsp/tightness0.5/
normalized-rand-2-40-25-180-500-15_ext.xml
MD5SUM09f0ae9583655fad26f9d5c9dcc3419a
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 benchmark5.63414
Satisfiable
(Un)Satisfiability was proved
Number of variables40
Number of constraints180
Maximum constraint arity2
Maximum domain size25
Number of constraints which are defined in extension180
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 1952158175
0.00/0.02	c Constructing HOME/instance-2089325-1247729982.xml  with 4500 constraints
0.07/0.16	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-2089325-1247729982/watcher-2089325-1247729982 -o /tmp/evaluation-result-2089325-1247729982/solver-2089325-1247729982 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 1952158175 HOME/instance-2089325-1247729982.xml 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 4/72 20419
/proc/meminfo: memFree=1562912/2055920 swapFree=4192812/4192956
[pid=20419] ppid=20417 vsize=5356 CPUtime=0
/proc/20419/stat : 20419 (pcssolve) R 20417 20419 19575 0 -1 4194304 290 0 0 0 0 0 0 0 21 0 1 0 60061743 5484544 241 996147200 4194304 4889804 548682068800 18446744073709551615 235371293343 0 65538 4100 65536 0 0 0 17 1 0 0
/proc/20419/statm: 1339 241 200 169 0 50 0
[pid=20420] ppid=20419 vsize=3676 CPUtime=0
/proc/20420/stat : 20420 (fgrep) R 20419 20419 19575 0 -1 4194304 140 0 0 0 0 0 0 0 22 0 1 0 60061744 3764224 107 996147200 4194304 4274172 548682068976 18446744073709551615 235371462738 0 0 4096 0 0 0 0 17 1 0 0
/proc/20420/statm: 919 107 85 19 0 43 0
[pid=20421] ppid=20419 vsize=5356 CPUtime=0
/proc/20421/stat : 20421 (pcssolve) R 20419 20419 19575 0 -1 4194368 0 0 0 0 0 0 0 0 21 0 1 0 60061744 5484544 241 996147200 4194304 4889804 548682068800 18446744073709551615 235371293343 0 65538 4100 65536 0 0 0 17 1 0 0
/proc/20421/statm: 1339 241 200 169 0 50 0

[startup+0.06063 s]
/proc/loadavg: 2.00 2.00 2.00 4/72 20419
/proc/meminfo: memFree=1562912/2055920 swapFree=4192812/4192956
[pid=20419] ppid=20417 vsize=4904 CPUtime=0.03
/proc/20419/stat : 20419 (pcs.small) R 20417 20419 19575 0 -1 4194304 936 822 0 0 3 0 0 0 24 0 1 0 60061743 5021696 545 996147200 134512640 135095119 4294956304 18446744073709551615 3083870 0 0 4096 0 0 0 0 17 1 0 0
/proc/20419/statm: 1226 545 364 142 0 180 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 4904

[startup+0.102633 s]
/proc/loadavg: 2.00 2.00 2.00 4/72 20419
/proc/meminfo: memFree=1562912/2055920 swapFree=4192812/4192956
[pid=20419] ppid=20417 vsize=5568 CPUtime=0.07
/proc/20419/stat : 20419 (pcs.small) R 20417 20419 19575 0 -1 4194304 1113 822 0 0 7 0 0 0 24 0 1 0 60061743 5701632 722 996147200 134512640 135095119 4294956304 18446744073709551615 134739383 0 0 4096 0 0 0 0 17 1 0 0
/proc/20419/statm: 1392 722 364 142 0 346 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 5568

[startup+0.302778 s]
/proc/loadavg: 2.00 2.00 2.00 4/72 20419
/proc/meminfo: memFree=1562912/2055920 swapFree=4192812/4192956
[pid=20419] ppid=20417 vsize=7048 CPUtime=0.27
/proc/20419/stat : 20419 (pcs.small) R 20417 20419 19575 0 -1 4194304 1500 822 0 0 27 0 0 0 25 0 1 0 60061743 7217152 1076 996147200 134512640 135095119 4294956304 18446744073709551615 134577745 0 0 4096 0 0 0 0 17 1 0 0
/proc/20419/statm: 1762 1076 379 142 0 716 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 7048

[startup+0.702819 s]
/proc/loadavg: 2.00 2.00 2.00 4/72 20419
/proc/meminfo: memFree=1562912/2055920 swapFree=4192812/4192956
[pid=20419] ppid=20417 vsize=7048 CPUtime=0.67
/proc/20419/stat : 20419 (pcs.small) R 20417 20419 19575 0 -1 4194304 1510 822 0 0 67 0 0 0 25 0 1 0 60061743 7217152 1086 996147200 134512640 135095119 4294956304 18446744073709551615 134589639 0 0 4096 0 0 0 0 17 1 0 0
/proc/20419/statm: 1762 1086 379 142 0 716 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 7048

[startup+1.50176 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 20425
/proc/meminfo: memFree=1559896/2055920 swapFree=4192812/4192956
[pid=20419] ppid=20417 vsize=7048 CPUtime=1.46
/proc/20419/stat : 20419 (pcs.small) R 20417 20419 19575 0 -1 4194304 1527 822 0 0 146 0 0 0 25 0 1 0 60061743 7217152 1103 996147200 134512640 135095119 4294956304 18446744073709551615 134589545 0 0 4096 0 0 0 0 17 1 0 0
/proc/20419/statm: 1762 1103 379 142 0 716 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 7048

[startup+3.10191 s]
/proc/loadavg: 2.00 2.00 2.00 4/73 20425
/proc/meminfo: memFree=1559832/2055920 swapFree=4192812/4192956
[pid=20419] ppid=20417 vsize=7944 CPUtime=3.05
/proc/20419/stat : 20419 (pcs.small) R 20417 20419 19575 0 -1 4194304 1696 822 0 0 305 0 0 0 25 0 1 0 60061743 8134656 1207 996147200 134512640 135095119 4294956304 18446744073709551615 134643050 0 0 4096 0 0 0 0 17 1 0 0
/proc/20419/statm: 1986 1207 379 142 0 940 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 7944

[startup+6.3012 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 20425
/proc/meminfo: memFree=1558424/2055920 swapFree=4192812/4192956
[pid=20419] ppid=20417 vsize=10920 CPUtime=6.22
/proc/20419/stat : 20419 (pcs.small) R 20417 20419 19575 0 -1 4194304 2454 822 0 0 621 1 0 0 25 0 1 0 60061743 11182080 1708 996147200 134512640 135095119 4294956304 18446744073709551615 134617345 0 0 4096 0 0 0 0 17 1 0 0
/proc/20419/statm: 2730 1708 379 142 0 1684 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 10920

[startup+12.7018 s]
/proc/loadavg: 2.00 2.00 2.00 4/73 20425
/proc/meminfo: memFree=1555928/2055920 swapFree=4192812/4192956
[pid=20419] ppid=20417 vsize=11180 CPUtime=12.56
/proc/20419/stat : 20419 (pcs.small) R 20417 20419 19575 0 -1 4194304 2784 822 0 0 1254 2 0 0 25 0 1 0 60061743 11448320 2038 996147200 134512640 135095119 4294956304 18446744073709551615 134589681 0 0 4096 0 0 0 0 17 1 0 0
/proc/20419/statm: 2795 2038 379 142 0 1749 0
Current children cumulated CPU time (s) 12.56
Current children cumulated vsize (KiB) 11180

[startup+25.5029 s]
/proc/loadavg: 2.00 2.00 2.00 4/73 20425
/proc/meminfo: memFree=1551832/2055920 swapFree=4192812/4192956
[pid=20419] ppid=20417 vsize=16756 CPUtime=25.24
/proc/20419/stat : 20419 (pcs.small) R 20417 20419 19575 0 -1 4194304 4481 822 0 0 2521 3 0 0 25 0 1 0 60061743 17158144 2965 996147200 134512640 135095119 4294956304 18446744073709551615 134641657 0 0 4096 0 0 0 0 17 1 0 0
/proc/20419/statm: 4189 2965 379 142 0 3143 0
Current children cumulated CPU time (s) 25.24
Current children cumulated vsize (KiB) 16756

[startup+51.1022 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 20425
/proc/meminfo: memFree=1547864/2055920 swapFree=4192812/4192956
[pid=20419] ppid=20417 vsize=22432 CPUtime=50.6
/proc/20419/stat : 20419 (pcs.small) R 20417 20419 19575 0 -1 4194304 6385 822 0 0 5055 5 0 0 25 0 1 0 60061743 22970368 3844 996147200 134512640 135095119 4294956304 18446744073709551615 134642952 0 0 4096 0 0 0 0 17 1 0 0
/proc/20419/statm: 5608 3844 379 142 0 4562 0
Current children cumulated CPU time (s) 50.6
Current children cumulated vsize (KiB) 22432

[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 20425
/proc/meminfo: memFree=1539032/2055920 swapFree=4192812/4192956
[pid=20419] ppid=20417 vsize=29624 CPUtime=101.33
/proc/20419/stat : 20419 (pcs.small) R 20417 20419 19575 0 -1 4194304 8853 822 0 0 10125 8 0 0 25 0 1 0 60061743 30334976 5799 996147200 134512640 135095119 4294956304 18446744073709551615 134636931 0 0 4096 0 0 0 0 17 1 0 0
/proc/20419/statm: 7406 5799 379 142 0 6360 0
Current children cumulated CPU time (s) 101.33
Current children cumulated vsize (KiB) 29624

[startup+162.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 20425
/proc/meminfo: memFree=1534168/2055920 swapFree=4192812/4192956
[pid=20419] ppid=20417 vsize=30944 CPUtime=160.77
/proc/20419/stat : 20419 (pcs.small) R 20417 20419 19575 0 -1 4194304 9733 822 0 0 16069 8 0 0 25 0 1 0 60061743 31686656 6679 996147200 134512640 135095119 4294956304 18446744073709551615 134642970 0 0 4096 0 0 0 0 17 1 0 0
/proc/20419/statm: 7736 6679 379 142 0 6690 0
Current children cumulated CPU time (s) 160.77
Current children cumulated vsize (KiB) 30944

[startup+222.302 s]
/proc/loadavg: 2.00 2.00 2.00 4/73 20425
/proc/meminfo: memFree=1527832/2055920 swapFree=4192812/4192956
[pid=20419] ppid=20417 vsize=41508 CPUtime=220.22
/proc/20419/stat : 20419 (pcs.small) R 20417 20419 19575 0 -1 4194304 12872 822 0 0 22011 11 0 0 25 0 1 0 60061743 42504192 7769 996147200 134512640 135095119 4294956304 18446744073709551615 134643059 0 0 4096 0 0 0 0 17 1 0 0
/proc/20419/statm: 10377 7769 379 142 0 9331 0
Current children cumulated CPU time (s) 220.22
Current children cumulated vsize (KiB) 41508

[startup+282.302 s]
/proc/loadavg: 2.12 2.03 2.01 3/73 20425
/proc/meminfo: memFree=1522200/2055920 swapFree=4192812/4192956
[pid=20419] ppid=20417 vsize=43612 CPUtime=279.67
/proc/20419/stat : 20419 (pcs.small) R 20417 20419 19575 0 -1 4194304 13850 822 0 0 27955 12 0 0 25 0 1 0 60061743 44658688 8747 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 1 0 0
/proc/20419/statm: 10903 8747 379 142 0 9857 0
Current children cumulated CPU time (s) 279.67
Current children cumulated vsize (KiB) 43612

[startup+342.302 s]
/proc/loadavg: 2.17 2.06 2.01 4/73 20425
/proc/meminfo: memFree=1516824/2055920 swapFree=4192812/4192956
[pid=20419] ppid=20417 vsize=45708 CPUtime=339.11
/proc/20419/stat : 20419 (pcs.small) R 20417 20419 19575 0 -1 4194304 14786 822 0 0 33898 13 0 0 25 0 1 0 60061743 46804992 9683 996147200 134512640 135095119 4294956304 18446744073709551615 134642970 0 0 4096 0 0 0 0 17 1 0 0
/proc/20419/statm: 11427 9683 379 142 0 10381 0
Current children cumulated CPU time (s) 339.11
Current children cumulated vsize (KiB) 45708

[startup+402.302 s]
/proc/loadavg: 2.17 2.07 2.02 4/73 20425
/proc/meminfo: memFree=1506328/2055920 swapFree=4192812/4192956
[pid=20419] ppid=20417 vsize=56536 CPUtime=398.56
/proc/20419/stat : 20419 (pcs.small) R 20417 20419 19575 0 -1 4194304 17865 822 0 0 39842 14 0 0 25 0 1 0 60061743 57892864 11737 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 1 0 0
/proc/20419/statm: 14134 11737 379 142 0 13088 0
Current children cumulated CPU time (s) 398.56
Current children cumulated vsize (KiB) 56536

[startup+462.302 s]
/proc/loadavg: 2.22 2.10 2.03 4/73 20425
/proc/meminfo: memFree=1502424/2055920 swapFree=4192812/4192956
[pid=20419] ppid=20417 vsize=56536 CPUtime=458.01
/proc/20419/stat : 20419 (pcs.small) R 20417 20419 19575 0 -1 4194304 18223 822 0 0 45786 15 0 0 25 0 1 0 60061743 57892864 12095 996147200 134512640 135095119 4294956304 18446744073709551615 134589560 0 0 4096 0 0 0 0 17 1 0 0
/proc/20419/statm: 14134 12095 379 142 0 13088 0
Current children cumulated CPU time (s) 458.01
Current children cumulated vsize (KiB) 56536

[startup+522.303 s]
/proc/loadavg: 2.20 2.13 2.04 3/73 20425
/proc/meminfo: memFree=1492248/2055920 swapFree=4192812/4192956
[pid=20419] ppid=20417 vsize=56536 CPUtime=517.45
/proc/20419/stat : 20419 (pcs.small) R 20417 20419 19575 0 -1 4194304 18572 822 0 0 51730 15 0 0 25 0 1 0 60061743 57892864 12444 996147200 134512640 135095119 4294956304 18446744073709551615 134642970 0 0 4096 0 0 0 0 17 1 0 0
/proc/20419/statm: 14134 12444 379 142 0 13088 0
Current children cumulated CPU time (s) 517.45
Current children cumulated vsize (KiB) 56536

[startup+582.302 s]
/proc/loadavg: 2.07 2.10 2.03 3/73 20425
/proc/meminfo: memFree=1488984/2055920 swapFree=4192812/4192956
[pid=20419] ppid=20417 vsize=73712 CPUtime=576.89
/proc/20419/stat : 20419 (pcs.small) R 20417 20419 19575 0 -1 4194304 23213 822 0 0 57671 18 0 0 25 0 1 0 60061743 75481088 12988 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 1 0 0
/proc/20419/statm: 18428 12988 379 142 0 17382 0
Current children cumulated CPU time (s) 576.89
Current children cumulated vsize (KiB) 73712

[startup+642.303 s]
/proc/loadavg: 2.02 2.08 2.03 4/73 20425
/proc/meminfo: memFree=1485016/2055920 swapFree=4192812/4192956
[pid=20419] ppid=20417 vsize=75156 CPUtime=636.35

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

[startup+822.303 s]
/proc/loadavg: 2.00 2.04 2.01 4/73 20427
/proc/meminfo: memFree=1474584/2055920 swapFree=4192812/4192956
[pid=20419] ppid=20417 vsize=79364 CPUtime=814.67
/proc/20419/stat : 20419 (pcs.small) R 20417 20419 19575 0 -1 4194304 25836 822 0 0 81445 22 0 0 25 0 1 0 60061743 81268736 15611 996147200 134512640 135095119 4294956304 18446744073709551615 134617009 0 0 4096 0 0 0 0 17 1 0 0
/proc/20419/statm: 19841 15611 379 142 0 18795 0
Current children cumulated CPU time (s) 814.67
Current children cumulated vsize (KiB) 79364

[startup+882.302 s]
/proc/loadavg: 2.00 2.03 2.00 3/73 20427
/proc/meminfo: memFree=1470232/2055920 swapFree=4192812/4192956
[pid=20419] ppid=20417 vsize=80676 CPUtime=874.12
/proc/20419/stat : 20419 (pcs.small) R 20417 20419 19575 0 -1 4194304 26435 822 0 0 87389 23 0 0 25 0 1 0 60061743 82612224 16210 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 1 0 0
/proc/20419/statm: 20169 16210 379 142 0 19123 0
Current children cumulated CPU time (s) 874.12
Current children cumulated vsize (KiB) 80676

[startup+942.302 s]
/proc/loadavg: 2.00 2.02 2.00 4/73 20427
/proc/meminfo: memFree=1466008/2055920 swapFree=4192812/4192956
[pid=20419] ppid=20417 vsize=81860 CPUtime=933.57
/proc/20419/stat : 20419 (pcs.small) R 20417 20419 19575 0 -1 4194304 26999 822 0 0 93333 24 0 0 25 0 1 0 60061743 83824640 16774 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 1 0 0
/proc/20419/statm: 20465 16774 379 142 0 19419 0
Current children cumulated CPU time (s) 933.57
Current children cumulated vsize (KiB) 81860

[startup+1002.3 s]
/proc/loadavg: 2.00 2.02 2.00 4/73 20427
/proc/meminfo: memFree=1461656/2055920 swapFree=4192812/4192956
[pid=20419] ppid=20417 vsize=83040 CPUtime=993.01
/proc/20419/stat : 20419 (pcs.small) R 20417 20419 19575 0 -1 4194304 27594 822 0 0 99276 25 0 0 25 0 1 0 60061743 85032960 17369 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 1 0 0
/proc/20419/statm: 20760 17369 379 142 0 19714 0
Current children cumulated CPU time (s) 993.01
Current children cumulated vsize (KiB) 83040

[startup+1062.3 s]
/proc/loadavg: 2.00 2.01 2.00 4/73 20427
/proc/meminfo: memFree=1457560/2055920 swapFree=4192812/4192956
[pid=20419] ppid=20417 vsize=84228 CPUtime=1052.46
/proc/20419/stat : 20419 (pcs.small) R 20417 20419 19575 0 -1 4194304 28138 822 0 0 105220 26 0 0 25 0 1 0 60061743 86249472 17913 996147200 134512640 135095119 4294956304 18446744073709551615 134840788 0 0 4096 0 0 0 0 17 1 0 0
/proc/20419/statm: 21057 17913 379 142 0 20011 0
Current children cumulated CPU time (s) 1052.46
Current children cumulated vsize (KiB) 84228

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/73 20427
/proc/meminfo: memFree=1453272/2055920 swapFree=4192812/4192956
[pid=20419] ppid=20417 vsize=85532 CPUtime=1111.91
/proc/20419/stat : 20419 (pcs.small) R 20417 20419 19575 0 -1 4194304 28725 822 0 0 111164 27 0 0 25 0 1 0 60061743 87584768 18500 996147200 134512640 135095119 4294956304 18446744073709551615 134842288 0 0 4096 0 0 0 0 17 1 0 0
/proc/20419/statm: 21383 18500 379 142 0 20337 0
Current children cumulated CPU time (s) 1111.91
Current children cumulated vsize (KiB) 85532

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 20427
/proc/meminfo: memFree=1449048/2055920 swapFree=4192812/4192956
[pid=20419] ppid=20417 vsize=86712 CPUtime=1171.36
/proc/20419/stat : 20419 (pcs.small) R 20417 20419 19575 0 -1 4194304 29289 822 0 0 117108 28 0 0 25 0 1 0 60061743 88793088 19064 996147200 134512640 135095119 4294956304 18446744073709551615 134642970 0 0 4096 0 0 0 0 17 1 0 0
/proc/20419/statm: 21678 19064 379 142 0 20632 0
Current children cumulated CPU time (s) 1171.36
Current children cumulated vsize (KiB) 86712

[startup+1242.3 s]
/proc/loadavg: 1.94 1.98 1.99 3/83 20469
/proc/meminfo: memFree=1483336/2055920 swapFree=4192812/4192956
[pid=20419] ppid=20417 vsize=87900 CPUtime=1230.99
/proc/20419/stat : 20419 (pcs.small) R 20417 20419 19575 0 -1 4194304 29839 822 0 0 123069 30 0 0 25 0 1 0 60061743 90009600 19614 996147200 134512640 135095119 4294956304 18446744073709551615 134642884 0 0 4096 0 0 0 0 17 0 0 0
/proc/20419/statm: 21975 19614 379 142 0 20929 0
Current children cumulated CPU time (s) 1230.99
Current children cumulated vsize (KiB) 87900

[startup+1302.3 s]
/proc/loadavg: 1.98 1.98 1.99 3/82 20475
/proc/meminfo: memFree=1478984/2055920 swapFree=4192812/4192956
[pid=20419] ppid=20417 vsize=89084 CPUtime=1290.98
/proc/20419/stat : 20419 (pcs.small) R 20417 20419 19575 0 -1 4194304 30390 822 0 0 129066 32 0 0 25 0 1 0 60061743 91222016 20165 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 0 0 0
/proc/20419/statm: 22271 20165 379 142 0 21225 0
Current children cumulated CPU time (s) 1290.98
Current children cumulated vsize (KiB) 89084

[startup+1362.3 s]
/proc/loadavg: 2.12 2.03 2.01 3/82 20517
/proc/meminfo: memFree=1486920/2055920 swapFree=4192812/4192956
[pid=20419] ppid=20417 vsize=111532 CPUtime=1350.96
/proc/20419/stat : 20419 (pcs.small) R 20417 20419 19575 0 -1 4194304 36227 822 0 0 135061 35 0 0 25 0 1 0 60061743 114208768 23953 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 0 0 0
/proc/20419/statm: 27883 23953 379 142 0 26837 0
Current children cumulated CPU time (s) 1350.96
Current children cumulated vsize (KiB) 111532

[startup+1422.31 s]
/proc/loadavg: 2.16 2.05 2.01 3/82 20517
/proc/meminfo: memFree=1485704/2055920 swapFree=4192812/4192956
[pid=20419] ppid=20417 vsize=111532 CPUtime=1410.93
/proc/20419/stat : 20419 (pcs.small) R 20417 20419 19575 0 -1 4194304 36470 822 0 0 141058 35 0 0 25 0 1 0 60061743 114208768 24196 996147200 134512640 135095119 4294956304 18446744073709551615 134589545 0 0 4096 0 0 0 0 17 0 0 0
/proc/20419/statm: 27883 24196 379 142 0 26837 0
Current children cumulated CPU time (s) 1410.93
Current children cumulated vsize (KiB) 111532

[startup+1482.3 s]
/proc/loadavg: 2.26 2.09 2.02 3/82 20517
/proc/meminfo: memFree=1484744/2055920 swapFree=4192812/4192956
[pid=20419] ppid=20417 vsize=111532 CPUtime=1470.91
/proc/20419/stat : 20419 (pcs.small) R 20417 20419 19575 0 -1 4194304 36718 822 0 0 147056 35 0 0 25 0 1 0 60061743 114208768 24444 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 0 0 0
/proc/20419/statm: 27883 24444 379 142 0 26837 0
Current children cumulated CPU time (s) 1470.91
Current children cumulated vsize (KiB) 111532

[startup+1542.3 s]
/proc/loadavg: 2.21 2.11 2.03 3/82 20517
/proc/meminfo: memFree=1483848/2055920 swapFree=4192812/4192956
[pid=20419] ppid=20417 vsize=111532 CPUtime=1530.88
/proc/20419/stat : 20419 (pcs.small) R 20417 20419 19575 0 -1 4194304 36944 822 0 0 153053 35 0 0 25 0 1 0 60061743 114208768 24670 996147200 134512640 135095119 4294956304 18446744073709551615 134642970 0 0 4096 0 0 0 0 17 0 0 0
/proc/20419/statm: 27883 24670 379 142 0 26837 0
Current children cumulated CPU time (s) 1530.88
Current children cumulated vsize (KiB) 111532

[startup+1602.3 s]
/proc/loadavg: 2.07 2.09 2.03 3/82 20517
/proc/meminfo: memFree=1482952/2055920 swapFree=4192812/4192956
[pid=20419] ppid=20417 vsize=111532 CPUtime=1590.87
/proc/20419/stat : 20419 (pcs.small) R 20417 20419 19575 0 -1 4194304 37173 822 0 0 159051 36 0 0 25 0 1 0 60061743 114208768 24899 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 0 0 0
/proc/20419/statm: 27883 24899 379 142 0 26837 0
Current children cumulated CPU time (s) 1590.87
Current children cumulated vsize (KiB) 111532

[startup+1662.3 s]
/proc/loadavg: 2.02 2.07 2.02 3/82 20517
/proc/meminfo: memFree=1482056/2055920 swapFree=4192812/4192956
[pid=20419] ppid=20417 vsize=111532 CPUtime=1650.84
/proc/20419/stat : 20419 (pcs.small) R 20417 20419 19575 0 -1 4194304 37400 822 0 0 165048 36 0 0 25 0 1 0 60061743 114208768 25126 996147200 134512640 135095119 4294956304 18446744073709551615 134589560 0 0 4096 0 0 0 0 17 0 0 0
/proc/20419/statm: 27883 25126 379 142 0 26837 0
Current children cumulated CPU time (s) 1650.84
Current children cumulated vsize (KiB) 111532

[startup+1722.3 s]
/proc/loadavg: 2.01 2.06 2.01 3/82 20517
/proc/meminfo: memFree=1481096/2055920 swapFree=4192812/4192956
[pid=20419] ppid=20417 vsize=111532 CPUtime=1710.82
/proc/20419/stat : 20419 (pcs.small) R 20417 20419 19575 0 -1 4194304 37631 822 0 0 171045 37 0 0 25 0 1 0 60061743 114208768 25357 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 0 0 0
/proc/20419/statm: 27883 25357 379 142 0 26837 0
Current children cumulated CPU time (s) 1710.82
Current children cumulated vsize (KiB) 111532

[startup+1782.3 s]
/proc/loadavg: 2.00 2.04 2.01 3/82 20517
/proc/meminfo: memFree=1480008/2055920 swapFree=4192812/4192956
[pid=20419] ppid=20417 vsize=144300 CPUtime=1770.8
/proc/20419/stat : 20419 (pcs.small) R 20417 20419 19575 0 -1 4194304 46044 822 0 0 177039 41 0 0 25 0 1 0 60061743 147763200 25577 996147200 134512640 135095119 4294956304 18446744073709551615 134643120 0 0 4096 0 0 0 0 17 0 0 0
/proc/20419/statm: 36075 25577 379 142 0 35029 0
Current children cumulated CPU time (s) 1770.8
Current children cumulated vsize (KiB) 144300



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1811.6 s]
/proc/loadavg: 2.00 2.04 2.00 3/82 20517
/proc/meminfo: memFree=1479624/2055920 swapFree=4192812/4192956
[pid=20419] ppid=20417 vsize=144300 CPUtime=1800.1
/proc/20419/stat : 20419 (pcs.small) R 20417 20419 19575 0 -1 4194304 46150 822 0 0 179969 41 0 0 25 0 1 0 60061743 147763200 25683 996147200 134512640 135095119 4294956304 18446744073709551615 134642704 0 0 4096 0 0 0 0 17 0 0 0
/proc/20419/statm: 36075 25683 379 142 0 35029 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 144300

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): 1811.63
CPU time (s): 1800.14
CPU user time (s): 1799.71
CPU system time (s): 0.434933
CPU usage (%): 99.3658
Max. virtual memory (cumulated for all children) (KiB): 177072

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

runsolver used 2.33364 second user time and 5.43617 second system time

The end

Launcher Data 

Begin job on node51 at 2009-07-16 09:39:42
IDJOB=2089325
IDBENCH=59454
IDSOLVER=733
FILE ID=node51/2089325-1247729982
PBS_JOBID= 9521545
Free space on /tmp= 66312 MiB

SOLVER NAME= pcs 0.2
BENCH NAME= CPAI08/csp/tightness0.5/normalized-rand-2-40-25-180-500-15_ext.xml
COMMAND LINE= HOME/pcssolve -s RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2089325-1247729982/watcher-2089325-1247729982 -o /tmp/evaluation-result-2089325-1247729982/solver-2089325-1247729982 -C 1800 -W 2000 -M 900  HOME/pcssolve -s 1952158175 HOME/instance-2089325-1247729982.xml

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

MD5SUM BENCH= 09f0ae9583655fad26f9d5c9dcc3419a
RANDOM SEED=1952158175

node51.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.225
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.225
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:       1563392 kB
Buffers:         67544 kB
Cached:         308836 kB
SwapCached:          0 kB
Active:         119484 kB
Inactive:       305788 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1563392 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            2260 kB
Writeback:           0 kB
Mapped:          60348 kB
Slab:            52732 kB
Committed_AS:   520624 kB
PageTables:       1812 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66316 MiB
End job on node51 at 2009-07-16 10:09:56