Trace number 2091151

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.04 1805.82

General information on the benchmark

Namecsp/rand-2-50-23/
normalized-rand-2-50-23-587-230-25_ext.xml
MD5SUM2f8e56df20045f33c3d8c74cea282230
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 variables50
Number of constraints471
Maximum constraint arity2
Maximum domain size23
Number of constraints which are defined in extension471
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 196091774
0.00/0.02	c Constructing HOME/instance-2091151-1247731553.xml  with 10811 constraints
0.08/0.18	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-2091151-1247731553/watcher-2091151-1247731553 -o /tmp/evaluation-result-2091151-1247731553/solver-2091151-1247731553 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 196091774 HOME/instance-2091151-1247731553.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 19111
/proc/meminfo: memFree=1459912/2055920 swapFree=4192812/4192956
[pid=19111] ppid=19109 vsize=5356 CPUtime=0
/proc/19111/stat : 19111 (pcssolve) R 19109 19111 17638 0 -1 4194304 290 0 0 0 0 0 0 0 21 0 1 0 60221689 5484544 241 996147200 4194304 4889804 548682068800 18446744073709551615 238487661215 0 65538 4100 65536 0 0 0 17 1 0 0
/proc/19111/statm: 1339 241 200 169 0 50 0
[pid=19112] ppid=19111 vsize=0 CPUtime=0
/proc/19112/stat : 19112 (fgrep) Z 19111 19111 17638 0 -1 4194316 155 0 0 0 0 0 0 0 22 0 1 0 60221690 0 0 996147200 0 0 0 0 0 0 0 4096 0 18446744071563351923 0 0 17 1 0 0
/proc/19112/statm: 0 0 0 0 0 0 0
[pid=19113] ppid=19111 vsize=5356 CPUtime=0
/proc/19113/stat : 19113 (pcssolve) R 19111 19111 17638 0 -1 4194368 0 0 0 0 0 0 0 0 21 0 1 0 60221690 5484544 241 996147200 4194304 4889804 548682068800 18446744073709551615 238487661215 0 65538 4100 65536 0 0 0 17 1 0 0
/proc/19113/statm: 1339 241 200 169 0 50 0

[startup+0.109937 s]
/proc/loadavg: 2.00 2.00 2.00 4/72 19111
/proc/meminfo: memFree=1459912/2055920 swapFree=4192812/4192956
[pid=19111] ppid=19109 vsize=5828 CPUtime=0.08
/proc/19111/stat : 19111 (pcs.small) R 19109 19111 17638 0 -1 4194304 1164 822 0 0 8 0 0 0 24 0 1 0 60221689 5967872 773 996147200 134512640 135095119 4294956304 18446744073709551615 134706730 0 0 4096 0 0 0 0 17 1 0 0
/proc/19111/statm: 1457 773 364 142 0 411 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 5828

[startup+0.201958 s]
/proc/loadavg: 2.00 2.00 2.00 4/72 19111
/proc/meminfo: memFree=1459912/2055920 swapFree=4192812/4192956
[pid=19111] ppid=19109 vsize=8112 CPUtime=0.18
/proc/19111/stat : 19111 (pcs.small) R 19109 19111 17638 0 -1 4194304 1801 822 0 0 17 1 0 0 25 0 1 0 60221689 8306688 1312 996147200 134512640 135095119 4294956304 18446744073709551615 134589541 0 0 4096 0 0 0 0 17 1 0 0
/proc/19111/statm: 2028 1312 378 142 0 982 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 8112

[startup+0.301975 s]
/proc/loadavg: 2.00 2.00 2.00 4/72 19111
/proc/meminfo: memFree=1459912/2055920 swapFree=4192812/4192956
[pid=19111] ppid=19109 vsize=8112 CPUtime=0.28
/proc/19111/stat : 19111 (pcs.small) R 19109 19111 17638 0 -1 4194304 1802 822 0 0 27 1 0 0 25 0 1 0 60221689 8306688 1313 996147200 134512640 135095119 4294956304 18446744073709551615 134642864 0 0 4096 0 0 0 0 17 1 0 0
/proc/19111/statm: 2028 1313 378 142 0 982 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 8112

[startup+0.701051 s]
/proc/loadavg: 2.00 2.00 2.00 4/72 19111
/proc/meminfo: memFree=1459912/2055920 swapFree=4192812/4192956
[pid=19111] ppid=19109 vsize=8112 CPUtime=0.68
/proc/19111/stat : 19111 (pcs.small) R 19109 19111 17638 0 -1 4194304 1804 822 0 0 67 1 0 0 25 0 1 0 60221689 8306688 1315 996147200 134512640 135095119 4294956304 18446744073709551615 134642693 0 0 4096 0 0 0 0 17 1 0 0
/proc/19111/statm: 2028 1315 378 142 0 982 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 8112

[startup+1.50121 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 19117
/proc/meminfo: memFree=1455936/2055920 swapFree=4192812/4192956
[pid=19111] ppid=19109 vsize=8112 CPUtime=1.47
/proc/19111/stat : 19111 (pcs.small) R 19109 19111 17638 0 -1 4194304 1811 822 0 0 146 1 0 0 25 0 1 0 60221689 8306688 1322 996147200 134512640 135095119 4294956304 18446744073709551615 134641818 0 0 4096 0 0 0 0 17 1 0 0
/proc/19111/statm: 2028 1322 378 142 0 982 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 8112

[startup+3.10152 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 19117
/proc/meminfo: memFree=1455680/2055920 swapFree=4192812/4192956
[pid=19111] ppid=19109 vsize=8112 CPUtime=3.06
/proc/19111/stat : 19111 (pcs.small) R 19109 19111 17638 0 -1 4194304 1823 822 0 0 305 1 0 0 25 0 1 0 60221689 8306688 1334 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 1 0 0
/proc/19111/statm: 2028 1334 378 142 0 982 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 8112

[startup+6.30114 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 19117
/proc/meminfo: memFree=1455360/2055920 swapFree=4192812/4192956
[pid=19111] ppid=19109 vsize=8112 CPUtime=6.25
/proc/19111/stat : 19111 (pcs.small) R 19109 19111 17638 0 -1 4194304 1844 822 0 0 624 1 0 0 25 0 1 0 60221689 8306688 1355 996147200 134512640 135095119 4294956304 18446744073709551615 134555136 0 0 4096 0 0 0 0 17 1 0 0
/proc/19111/statm: 2028 1355 378 142 0 982 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 8112

[startup+12.7014 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 19117
/proc/meminfo: memFree=1454144/2055920 swapFree=4192812/4192956
[pid=19111] ppid=19109 vsize=9652 CPUtime=12.61
/proc/19111/stat : 19111 (pcs.small) R 19109 19111 17638 0 -1 4194304 2172 822 0 0 1260 1 0 0 25 0 1 0 60221689 9883648 1554 996147200 134512640 135095119 4294956304 18446744073709551615 134616992 0 0 4096 0 0 0 0 17 1 0 0
/proc/19111/statm: 2413 1554 378 142 0 1367 0
Current children cumulated CPU time (s) 12.61
Current children cumulated vsize (KiB) 9652

[startup+25.5019 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 19117
/proc/meminfo: memFree=1452352/2055920 swapFree=4192812/4192956
[pid=19111] ppid=19109 vsize=11204 CPUtime=25.35
/proc/19111/stat : 19111 (pcs.small) R 19109 19111 17638 0 -1 4194304 2747 822 0 0 2533 2 0 0 25 0 1 0 60221689 11472896 1872 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 1 0 0
/proc/19111/statm: 2801 1872 378 142 0 1755 0
Current children cumulated CPU time (s) 25.35
Current children cumulated vsize (KiB) 11204

[startup+51.1018 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 19117
/proc/meminfo: memFree=1448128/2055920 swapFree=4192812/4192956
[pid=19111] ppid=19109 vsize=14200 CPUtime=50.82
/proc/19111/stat : 19111 (pcs.small) R 19109 19111 17638 0 -1 4194304 3746 822 0 0 5079 3 0 0 25 0 1 0 60221689 14540800 2614 996147200 134512640 135095119 4294956304 18446744073709551615 134607138 0 0 4096 0 0 0 0 17 1 0 0
/proc/19111/statm: 3550 2614 378 142 0 2504 0
Current children cumulated CPU time (s) 50.82
Current children cumulated vsize (KiB) 14200

[startup+102.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 19117
/proc/meminfo: memFree=1441664/2055920 swapFree=4192812/4192956
[pid=19111] ppid=19109 vsize=18492 CPUtime=101.77
/proc/19111/stat : 19111 (pcs.small) R 19109 19111 17638 0 -1 4194304 5227 822 0 0 10172 5 0 0 25 0 1 0 60221689 18935808 3582 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 1 0 0
/proc/19111/statm: 4623 3582 378 142 0 3577 0
Current children cumulated CPU time (s) 101.77
Current children cumulated vsize (KiB) 18492

[startup+162.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 19117
/proc/meminfo: memFree=1432896/2055920 swapFree=4192812/4192956
[pid=19111] ppid=19109 vsize=28856 CPUtime=161.48
/proc/19111/stat : 19111 (pcs.small) R 19109 19111 17638 0 -1 4194304 8249 822 0 0 16140 8 0 0 25 0 1 0 60221689 29548544 5066 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 1 0 0
/proc/19111/statm: 7214 5066 378 142 0 6168 0
Current children cumulated CPU time (s) 161.48
Current children cumulated vsize (KiB) 28856

[startup+222.308 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 19117
/proc/meminfo: memFree=1428672/2055920 swapFree=4192812/4192956
[pid=19111] ppid=19109 vsize=29120 CPUtime=221.18
/proc/19111/stat : 19111 (pcs.small) R 19109 19111 17638 0 -1 4194304 8646 822 0 0 22110 8 0 0 25 0 1 0 60221689 29818880 5463 996147200 134512640 135095119 4294956304 18446744073709551615 134638369 0 0 4096 0 0 0 0 17 1 0 0
/proc/19111/statm: 7280 5463 378 142 0 6234 0
Current children cumulated CPU time (s) 221.18
Current children cumulated vsize (KiB) 29120

[startup+282.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 19117
/proc/meminfo: memFree=1423424/2055920 swapFree=4192812/4192956
[pid=19111] ppid=19109 vsize=30700 CPUtime=280.89
/proc/19111/stat : 19111 (pcs.small) R 19109 19111 17638 0 -1 4194304 9340 822 0 0 28080 9 0 0 25 0 1 0 60221689 31436800 6157 996147200 134512640 135095119 4294956304 18446744073709551615 134607029 0 0 4096 0 0 0 0 17 1 0 0
/proc/19111/statm: 7675 6157 378 142 0 6629 0
Current children cumulated CPU time (s) 280.89
Current children cumulated vsize (KiB) 30700

[startup+342.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 19117
/proc/meminfo: memFree=1418176/2055920 swapFree=4192812/4192956
[pid=19111] ppid=19109 vsize=32416 CPUtime=340.59
/proc/19111/stat : 19111 (pcs.small) R 19109 19111 17638 0 -1 4194304 10028 822 0 0 34049 10 0 0 25 0 1 0 60221689 33193984 6845 996147200 134512640 135095119 4294956304 18446744073709551615 134607027 0 0 4096 0 0 0 0 17 1 0 0
/proc/19111/statm: 8104 6845 378 142 0 7058 0
Current children cumulated CPU time (s) 340.59
Current children cumulated vsize (KiB) 32416

[startup+402.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 19117
/proc/meminfo: memFree=1413120/2055920 swapFree=4192812/4192956
[pid=19111] ppid=19109 vsize=33868 CPUtime=400.3
/proc/19111/stat : 19111 (pcs.small) R 19109 19111 17638 0 -1 4194304 10664 822 0 0 40019 11 0 0 25 0 1 0 60221689 34680832 7481 996147200 134512640 135095119 4294956304 18446744073709551615 134576613 0 0 4096 0 0 0 0 17 1 0 0
/proc/19111/statm: 8467 7481 378 142 0 7421 0
Current children cumulated CPU time (s) 400.3
Current children cumulated vsize (KiB) 33868

[startup+462.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 19117
/proc/meminfo: memFree=1394560/2055920 swapFree=4192812/4192956
[pid=19111] ppid=19109 vsize=43512 CPUtime=460
/proc/19111/stat : 19111 (pcs.small) R 19109 19111 17638 0 -1 4194304 13338 822 0 0 45987 13 0 0 25 0 1 0 60221689 44556288 8106 996147200 134512640 135095119 4294956304 18446744073709551615 134615604 0 0 4096 0 0 0 0 17 1 0 0
/proc/19111/statm: 10878 8106 378 142 0 9832 0
Current children cumulated CPU time (s) 460
Current children cumulated vsize (KiB) 43512

[startup+522.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 19117
/proc/meminfo: memFree=1391040/2055920 swapFree=4192812/4192956
[pid=19111] ppid=19109 vsize=44964 CPUtime=519.7
/proc/19111/stat : 19111 (pcs.small) R 19109 19111 17638 0 -1 4194304 13957 822 0 0 51956 14 0 0 25 0 1 0 60221689 46043136 8725 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 1 0 0
/proc/19111/statm: 11241 8725 378 142 0 10195 0
Current children cumulated CPU time (s) 519.7
Current children cumulated vsize (KiB) 44964

[startup+582.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 19117
/proc/meminfo: memFree=1382912/2055920 swapFree=4192812/4192956
[pid=19111] ppid=19109 vsize=55264 CPUtime=579.41
/proc/19111/stat : 19111 (pcs.small) R 19109 19111 17638 0 -1 4194304 16753 822 0 0 57926 15 0 0 25 0 1 0 60221689 56590336 10496 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 1 0 0
/proc/19111/statm: 13816 10496 378 142 0 12770 0
Current children cumulated CPU time (s) 579.41
Current children cumulated vsize (KiB) 55264

[startup+642.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 19117
/proc/meminfo: memFree=1381056/2055920 swapFree=4192812/4192956
[pid=19111] ppid=19109 vsize=55264 CPUtime=639.11

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

[startup+882.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 19117
/proc/meminfo: memFree=1371200/2055920 swapFree=4192812/4192956
[pid=19111] ppid=19109 vsize=57512 CPUtime=877.93
/proc/19111/stat : 19111 (pcs.small) R 19109 19111 17638 0 -1 4194304 18482 822 0 0 87776 17 0 0 25 0 1 0 60221689 58892288 12225 996147200 134512640 135095119 4294956304 18446744073709551615 134642982 0 0 4096 0 0 0 0 17 1 0 0
/proc/19111/statm: 14378 12225 378 142 0 13332 0
Current children cumulated CPU time (s) 877.93
Current children cumulated vsize (KiB) 57512

[startup+942.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 19117
/proc/meminfo: memFree=1368384/2055920 swapFree=4192812/4192956
[pid=19111] ppid=19109 vsize=58564 CPUtime=937.64
/proc/19111/stat : 19111 (pcs.small) R 19109 19111 17638 0 -1 4194304 18961 822 0 0 93746 18 0 0 25 0 1 0 60221689 59969536 12704 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 1 0 0
/proc/19111/statm: 14641 12704 378 142 0 13595 0
Current children cumulated CPU time (s) 937.64
Current children cumulated vsize (KiB) 58564

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 19117
/proc/meminfo: memFree=1365568/2055920 swapFree=4192812/4192956
[pid=19111] ppid=19109 vsize=59616 CPUtime=997.34
/proc/19111/stat : 19111 (pcs.small) R 19109 19111 17638 0 -1 4194304 19425 822 0 0 99715 19 0 0 25 0 1 0 60221689 61046784 13168 996147200 134512640 135095119 4294956304 18446744073709551615 134589510 0 0 4096 0 0 0 0 17 1 0 0
/proc/19111/statm: 14904 13168 378 142 0 13858 0
Current children cumulated CPU time (s) 997.34
Current children cumulated vsize (KiB) 59616

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 19117
/proc/meminfo: memFree=1361792/2055920 swapFree=4192812/4192956
[pid=19111] ppid=19109 vsize=60936 CPUtime=1057.05
/proc/19111/stat : 19111 (pcs.small) R 19109 19111 17638 0 -1 4194304 19951 822 0 0 105685 20 0 0 25 0 1 0 60221689 62398464 13694 996147200 134512640 135095119 4294956304 18446744073709551615 134591749 0 0 4096 0 0 0 0 17 1 0 0
/proc/19111/statm: 15234 13694 378 142 0 14188 0
Current children cumulated CPU time (s) 1057.05
Current children cumulated vsize (KiB) 60936

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 19150
/proc/meminfo: memFree=1455744/2055920 swapFree=4192812/4192956
[pid=19111] ppid=19109 vsize=62124 CPUtime=1116.82
/proc/19111/stat : 19111 (pcs.small) R 19109 19111 17638 0 -1 4194304 20438 822 0 0 111661 21 0 0 25 0 1 0 60221689 63614976 14181 996147200 134512640 135095119 4294956304 18446744073709551615 134607027 0 0 4096 0 0 0 0 17 0 0 0
/proc/19111/statm: 15531 14181 378 142 0 14485 0
Current children cumulated CPU time (s) 1116.82
Current children cumulated vsize (KiB) 62124

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 19150
/proc/meminfo: memFree=1444288/2055920 swapFree=4192812/4192956
[pid=19111] ppid=19109 vsize=63048 CPUtime=1176.79
/proc/19111/stat : 19111 (pcs.small) R 19109 19111 17638 0 -1 4194304 20894 822 0 0 117657 22 0 0 25 0 1 0 60221689 64561152 14637 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 0 0 0
/proc/19111/statm: 15762 14637 378 142 0 14716 0
Current children cumulated CPU time (s) 1176.79
Current children cumulated vsize (KiB) 63048

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 19150
/proc/meminfo: memFree=1435584/2055920 swapFree=4192812/4192956
[pid=19111] ppid=19109 vsize=80624 CPUtime=1236.76
/proc/19111/stat : 19111 (pcs.small) R 19109 19111 17638 0 -1 4194304 25467 822 0 0 123651 25 0 0 25 0 1 0 60221689 82558976 15113 996147200 134512640 135095119 4294956304 18446744073709551615 134589560 0 0 4096 0 0 0 0 17 0 0 0
/proc/19111/statm: 20156 15113 378 142 0 19110 0
Current children cumulated CPU time (s) 1236.76
Current children cumulated vsize (KiB) 80624

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 19150
/proc/meminfo: memFree=1428800/2055920 swapFree=4192812/4192956
[pid=19111] ppid=19109 vsize=81680 CPUtime=1296.73
/proc/19111/stat : 19111 (pcs.small) R 19109 19111 17638 0 -1 4194304 25946 822 0 0 129648 25 0 0 25 0 1 0 60221689 83640320 15592 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 0 0 0
/proc/19111/statm: 20420 15592 378 142 0 19374 0
Current children cumulated CPU time (s) 1296.73
Current children cumulated vsize (KiB) 81680

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 19150
/proc/meminfo: memFree=1422464/2055920 swapFree=4192812/4192956
[pid=19111] ppid=19109 vsize=82736 CPUtime=1356.7
/proc/19111/stat : 19111 (pcs.small) R 19109 19111 17638 0 -1 4194304 26399 822 0 0 135644 26 0 0 25 0 1 0 60221689 84721664 16045 996147200 134512640 135095119 4294956304 18446744073709551615 134642970 0 0 4096 0 0 0 0 17 0 0 0
/proc/19111/statm: 20684 16045 378 142 0 19638 0
Current children cumulated CPU time (s) 1356.7
Current children cumulated vsize (KiB) 82736

[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 19150
/proc/meminfo: memFree=1416448/2055920 swapFree=4192812/4192956
[pid=19111] ppid=19109 vsize=83796 CPUtime=1416.68
/proc/19111/stat : 19111 (pcs.small) R 19109 19111 17638 0 -1 4194304 26862 822 0 0 141641 27 0 0 25 0 1 0 60221689 85807104 16508 996147200 134512640 135095119 4294956304 18446744073709551615 134589545 0 0 4096 0 0 0 0 17 0 0 0
/proc/19111/statm: 20949 16508 378 142 0 19903 0
Current children cumulated CPU time (s) 1416.68
Current children cumulated vsize (KiB) 83796

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 19150
/proc/meminfo: memFree=1406080/2055920 swapFree=4192812/4192956
[pid=19111] ppid=19109 vsize=84856 CPUtime=1476.64
/proc/19111/stat : 19111 (pcs.small) R 19109 19111 17638 0 -1 4194304 27312 822 0 0 147637 27 0 0 25 0 1 0 60221689 86892544 16958 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 0 0 0
/proc/19111/statm: 21214 16958 378 142 0 20168 0
Current children cumulated CPU time (s) 1476.64
Current children cumulated vsize (KiB) 84856

[startup+1542.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 19150
/proc/meminfo: memFree=1402752/2055920 swapFree=4192812/4192956
[pid=19111] ppid=19109 vsize=85916 CPUtime=1536.63
/proc/19111/stat : 19111 (pcs.small) R 19109 19111 17638 0 -1 4194304 27760 822 0 0 153635 28 0 0 25 0 1 0 60221689 87977984 17406 996147200 134512640 135095119 4294956304 18446744073709551615 134589560 0 0 4096 0 0 0 0 17 0 0 0
/proc/19111/statm: 21479 17406 378 142 0 20433 0
Current children cumulated CPU time (s) 1536.63
Current children cumulated vsize (KiB) 85916

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 19150
/proc/meminfo: memFree=1399616/2055920 swapFree=4192812/4192956
[pid=19111] ppid=19109 vsize=86844 CPUtime=1596.6
/proc/19111/stat : 19111 (pcs.small) R 19109 19111 17638 0 -1 4194304 28184 822 0 0 159631 29 0 0 25 0 1 0 60221689 88928256 17830 996147200 134512640 135095119 4294956304 18446744073709551615 134642884 0 0 4096 0 0 0 0 17 0 0 0
/proc/19111/statm: 21711 17830 378 142 0 20665 0
Current children cumulated CPU time (s) 1596.6
Current children cumulated vsize (KiB) 86844

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 19150
/proc/meminfo: memFree=1395072/2055920 swapFree=4192812/4192956
[pid=19111] ppid=19109 vsize=87776 CPUtime=1656.56
/proc/19111/stat : 19111 (pcs.small) R 19109 19111 17638 0 -1 4194304 28565 822 0 0 165627 29 0 0 25 0 1 0 60221689 89882624 18211 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 0 0 0
/proc/19111/statm: 21944 18211 378 142 0 20898 0
Current children cumulated CPU time (s) 1656.56
Current children cumulated vsize (KiB) 87776

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 19150
/proc/meminfo: memFree=1377600/2055920 swapFree=4192812/4192956
[pid=19111] ppid=19109 vsize=109700 CPUtime=1716.54
/proc/19111/stat : 19111 (pcs.small) R 19109 19111 17638 0 -1 4194304 34243 822 0 0 171621 33 0 0 25 0 1 0 60221689 112332800 21840 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 0 0 0
/proc/19111/statm: 27425 21840 378 142 0 26379 0
Current children cumulated CPU time (s) 1716.54
Current children cumulated vsize (KiB) 109700

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 19150
/proc/meminfo: memFree=1373760/2055920 swapFree=4192812/4192956
[pid=19111] ppid=19109 vsize=109700 CPUtime=1776.51
/proc/19111/stat : 19111 (pcs.small) R 19109 19111 17638 0 -1 4194304 34411 822 0 0 177618 33 0 0 25 0 1 0 60221689 112332800 22008 996147200 134512640 135095119 4294956304 18446744073709551615 134643984 0 0 4096 0 0 0 0 17 0 0 0
/proc/19111/statm: 27425 22008 378 142 0 26379 0
Current children cumulated CPU time (s) 1776.51
Current children cumulated vsize (KiB) 109700



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1805.8 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 19150
/proc/meminfo: memFree=1372480/2055920 swapFree=4192812/4192956
[pid=19111] ppid=19109 vsize=109700 CPUtime=1800.01
/proc/19111/stat : 19111 (pcs.small) R 19109 19111 17638 0 -1 4194304 34480 822 0 0 179968 33 0 0 25 0 1 0 60221689 112332800 22077 996147200 134512640 135095119 4294956304 18446744073709551615 134589560 0 0 4096 0 0 0 0 17 0 0 0
/proc/19111/statm: 27425 22077 378 142 0 26379 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 109700

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

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

[startup+1805.8 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 19150
/proc/meminfo: memFree=1372480/2055920 swapFree=4192812/4192956
[pid=19111] ppid=19109 vsize=109700 CPUtime=1800.01
/proc/19111/stat : 19111 (pcs.small) R 19109 19111 17638 0 -1 4194304 34480 822 0 0 179968 33 0 0 25 0 1 0 60221689 112332800 22077 996147200 134512640 135095119 4294956304 18446744073709551615 134589560 0 0 4096 0 0 0 0 17 0 0 0
/proc/19111/statm: 27425 22077 378 142 0 26379 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 109700

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1805.82
CPU time (s): 1800.04
CPU user time (s): 1799.69
CPU system time (s): 0.354946
CPU usage (%): 99.6799
Max. virtual memory (cumulated for all children) (KiB): 113408

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.69
system time used= 0.354946
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 35302
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= 21
involuntary context switches= 15261

runsolver used 2.49662 second user time and 5.72113 second system time

The end

Launcher Data 

Begin job on node23 at 2009-07-16 10:05:53
IDJOB=2091151
IDBENCH=60003
IDSOLVER=733
FILE ID=node23/2091151-1247731553
PBS_JOBID= 9521586
Free space on /tmp= 66392 MiB

SOLVER NAME= pcs 0.2
BENCH NAME= CPAI08/csp/rand-2-50-23/normalized-rand-2-50-23-587-230-25_ext.xml
COMMAND LINE= HOME/pcssolve -s RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2091151-1247731553/watcher-2091151-1247731553 -o /tmp/evaluation-result-2091151-1247731553/solver-2091151-1247731553 -C 1800 -W 2000 -M 900  HOME/pcssolve -s 196091774 HOME/instance-2091151-1247731553.xml

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

MD5SUM BENCH= 2f8e56df20045f33c3d8c74cea282230
RANDOM SEED=196091774

node23.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.277
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.277
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:       1460336 kB
Buffers:         89464 kB
Cached:         353556 kB
SwapCached:          0 kB
Active:         125496 kB
Inactive:       391256 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1460336 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            2112 kB
Writeback:           0 kB
Mapped:          85132 kB
Slab:            64164 kB
Committed_AS:   553212 kB
PageTables:       1880 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= 66392 MiB
End job on node23 at 2009-07-16 10:36:01