Trace number 2091196

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.1 1814.52

General information on the benchmark

Namecsp/rand-2-50-23/
normalized-rand-2-50-23-587-230-47_ext.xml
MD5SUM1932518460fde86d5c69bd8f5cfaa291
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 benchmark424.305
Satisfiable
(Un)Satisfiability was proved
Number of variables50
Number of constraints461
Maximum constraint arity2
Maximum domain size23
Number of constraints which are defined in extension461
Number of constraints which are defined in intension0
Global constraints used (with number of constraints)

Solver Data 

0.00/0.01	c small-domain mode
0.17/0.22	c Seed is 978314836
0.17/0.22	c Constructing HOME/instance-2091196-1247731669.xml  with 10585 constraints
0.17/0.22	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-2091196-1247731669/watcher-2091196-1247731669 -o /tmp/evaluation-result-2091196-1247731669/solver-2091196-1247731669 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 978314836 HOME/instance-2091196-1247731669.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.99 1.98 1.99 4/81 20031
/proc/meminfo: memFree=1502888/2055920 swapFree=4192812/4192956
[pid=20031] ppid=20029 vsize=18576 CPUtime=0
/proc/20031/stat : 20031 (runsolver) R 20029 20031 18214 0 -1 4194368 15 0 0 0 0 0 0 0 20 0 1 0 60230325 19021824 284 996147200 4194304 4302564 548682068496 18446744073709551615 246406507815 0 0 4096 24578 0 0 0 17 1 0 0
/proc/20031/statm: 4644 284 249 26 0 2626 0

[startup+0.0615421 s]
/proc/loadavg: 1.99 1.98 1.99 4/81 20031
/proc/meminfo: memFree=1502888/2055920 swapFree=4192812/4192956
[pid=20031] ppid=20029 vsize=5036 CPUtime=0.03
/proc/20031/stat : 20031 (pcs.small) R 20029 20031 18214 0 -1 4194304 964 822 0 0 3 0 0 0 18 0 1 0 60230325 5156864 573 996147200 134512640 135095119 4294956304 18446744073709551615 134724346 0 0 4096 0 0 0 0 17 1 0 0
/proc/20031/statm: 1259 573 364 142 0 213 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5036

[startup+0.10158 s]
/proc/loadavg: 1.99 1.98 1.99 4/81 20031
/proc/meminfo: memFree=1502888/2055920 swapFree=4192812/4192956
[pid=20031] ppid=20029 vsize=5696 CPUtime=0.07
/proc/20031/stat : 20031 (pcs.small) R 20029 20031 18214 0 -1 4194304 1132 822 0 0 7 0 0 0 18 0 1 0 60230325 5832704 741 996147200 134512640 135095119 4294956304 18446744073709551615 134769885 0 0 4096 0 0 0 0 17 1 0 0
/proc/20031/statm: 1424 741 364 142 0 378 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 5696

[startup+0.301602 s]
/proc/loadavg: 1.99 1.98 1.99 4/81 20031
/proc/meminfo: memFree=1502888/2055920 swapFree=4192812/4192956
[pid=20031] ppid=20029 vsize=8076 CPUtime=0.27
/proc/20031/stat : 20031 (pcs.small) R 20029 20031 18214 0 -1 4194304 1785 822 0 0 27 0 0 0 19 0 1 0 60230325 8269824 1296 996147200 134512640 135095119 4294956304 18446744073709551615 134589560 0 0 4096 0 0 0 0 17 1 0 0
/proc/20031/statm: 2019 1296 378 142 0 973 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 8076

[startup+0.701641 s]
/proc/loadavg: 1.99 1.98 1.99 4/81 20031
/proc/meminfo: memFree=1502888/2055920 swapFree=4192812/4192956
[pid=20031] ppid=20029 vsize=8076 CPUtime=0.66
/proc/20031/stat : 20031 (pcs.small) R 20029 20031 18214 0 -1 4194304 1789 822 0 0 66 0 0 0 23 0 1 0 60230325 8269824 1300 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 1 0 0
/proc/20031/statm: 2019 1300 378 142 0 973 0
Current children cumulated CPU time (s) 0.66
Current children cumulated vsize (KiB) 8076

[startup+1.50172 s]
/proc/loadavg: 1.99 1.98 1.99 3/82 20037
/proc/meminfo: memFree=1499096/2055920 swapFree=4192812/4192956
[pid=20031] ppid=20029 vsize=8076 CPUtime=1.46
/proc/20031/stat : 20031 (pcs.small) R 20029 20031 18214 0 -1 4194304 1794 822 0 0 146 0 0 0 25 0 1 0 60230325 8269824 1305 996147200 134512640 135095119 4294956304 18446744073709551615 134637443 0 0 4096 0 0 0 0 17 1 0 0
/proc/20031/statm: 2019 1305 378 142 0 973 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 8076

[startup+3.10283 s]
/proc/loadavg: 1.99 1.98 1.99 3/82 20037
/proc/meminfo: memFree=1498904/2055920 swapFree=4192812/4192956
[pid=20031] ppid=20029 vsize=8076 CPUtime=3.04
/proc/20031/stat : 20031 (pcs.small) R 20029 20031 18214 0 -1 4194304 1808 822 0 0 304 0 0 0 25 0 1 0 60230325 8269824 1319 996147200 134512640 135095119 4294956304 18446744073709551615 134617071 0 0 4096 0 0 0 0 17 1 0 0
/proc/20031/statm: 2019 1319 378 142 0 973 0
Current children cumulated CPU time (s) 3.04
Current children cumulated vsize (KiB) 8076

[startup+6.30114 s]
/proc/loadavg: 1.99 1.98 1.99 3/82 20037
/proc/meminfo: memFree=1498776/2055920 swapFree=4192812/4192956
[pid=20031] ppid=20029 vsize=8076 CPUtime=6.22
/proc/20031/stat : 20031 (pcs.small) R 20029 20031 18214 0 -1 4194304 1831 822 0 0 621 1 0 0 25 0 1 0 60230325 8269824 1342 996147200 134512640 135095119 4294956304 18446744073709551615 134606339 0 0 4096 0 0 0 0 17 1 0 0
/proc/20031/statm: 2019 1342 378 142 0 973 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 8076

[startup+12.7027 s]
/proc/loadavg: 1.99 1.98 1.99 3/82 20037
/proc/meminfo: memFree=1497824/2055920 swapFree=4192812/4192956
[pid=20031] ppid=20029 vsize=9748 CPUtime=12.55
/proc/20031/stat : 20031 (pcs.small) R 20029 20031 18214 0 -1 4194304 2174 822 0 0 1254 1 0 0 25 0 1 0 60230325 9981952 1556 996147200 134512640 135095119 4294956304 18446744073709551615 134642970 0 0 4096 0 0 0 0 17 1 0 0
/proc/20031/statm: 2437 1556 378 142 0 1391 0
Current children cumulated CPU time (s) 12.55
Current children cumulated vsize (KiB) 9748

[startup+25.502 s]
/proc/loadavg: 1.99 1.98 1.99 3/82 20037
/proc/meminfo: memFree=1496480/2055920 swapFree=4192812/4192956
[pid=20031] ppid=20029 vsize=11300 CPUtime=25.23
/proc/20031/stat : 20031 (pcs.small) R 20029 20031 18214 0 -1 4194304 2761 822 0 0 2521 2 0 0 25 0 1 0 60230325 11571200 1886 996147200 134512640 135095119 4294956304 18446744073709551615 134607027 0 0 4096 0 0 0 0 17 1 0 0
/proc/20031/statm: 2825 1886 378 142 0 1779 0
Current children cumulated CPU time (s) 25.23
Current children cumulated vsize (KiB) 11300

[startup+51.1014 s]
/proc/loadavg: 1.99 1.98 1.99 3/82 20037
/proc/meminfo: memFree=1493472/2055920 swapFree=4192812/4192956
[pid=20031] ppid=20029 vsize=14172 CPUtime=50.59
/proc/20031/stat : 20031 (pcs.small) R 20029 20031 18214 0 -1 4194304 3810 822 0 0 5056 3 0 0 25 0 1 0 60230325 14512128 2645 996147200 134512640 135095119 4294956304 18446744073709551615 134617019 0 0 4096 0 0 0 0 17 1 0 0
/proc/20031/statm: 3543 2645 378 142 0 2497 0
Current children cumulated CPU time (s) 50.59
Current children cumulated vsize (KiB) 14172

[startup+102.306 s]
/proc/loadavg: 1.99 1.98 1.99 3/82 20037
/proc/meminfo: memFree=1489248/2055920 swapFree=4192812/4192956
[pid=20031] ppid=20029 vsize=18720 CPUtime=101.32
/proc/20031/stat : 20031 (pcs.small) R 20029 20031 18214 0 -1 4194304 5343 822 0 0 10127 5 0 0 25 0 1 0 60230325 19169280 3665 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 1 0 0
/proc/20031/statm: 4680 3665 378 142 0 3634 0
Current children cumulated CPU time (s) 101.32
Current children cumulated vsize (KiB) 18720

[startup+162.302 s]
/proc/loadavg: 1.99 1.98 1.99 3/82 20037
/proc/meminfo: memFree=1483296/2055920 swapFree=4192812/4192956
[pid=20031] ppid=20029 vsize=29076 CPUtime=160.75
/proc/20031/stat : 20031 (pcs.small) R 20029 20031 18214 0 -1 4194304 8349 822 0 0 16068 7 0 0 25 0 1 0 60230325 29773824 5133 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 1 0 0
/proc/20031/statm: 7269 5133 378 142 0 6223 0
Current children cumulated CPU time (s) 160.75
Current children cumulated vsize (KiB) 29076

[startup+222.302 s]
/proc/loadavg: 1.99 1.98 1.99 3/82 20037
/proc/meminfo: memFree=1481376/2055920 swapFree=4192812/4192956
[pid=20031] ppid=20029 vsize=29604 CPUtime=220.19
/proc/20031/stat : 20031 (pcs.small) R 20029 20031 18214 0 -1 4194304 8822 822 0 0 22011 8 0 0 25 0 1 0 60230325 30314496 5606 996147200 134512640 135095119 4294956304 18446744073709551615 134617019 0 0 4096 0 0 0 0 17 1 0 0
/proc/20031/statm: 7401 5606 378 142 0 6355 0
Current children cumulated CPU time (s) 220.19
Current children cumulated vsize (KiB) 29604

[startup+282.301 s]
/proc/loadavg: 1.99 1.98 1.99 3/82 20037
/proc/meminfo: memFree=1478368/2055920 swapFree=4192812/4192956
[pid=20031] ppid=20029 vsize=31320 CPUtime=279.62
/proc/20031/stat : 20031 (pcs.small) R 20029 20031 18214 0 -1 4194304 9580 822 0 0 27953 9 0 0 25 0 1 0 60230325 32071680 6364 996147200 134512640 135095119 4294956304 18446744073709551615 134589560 0 0 4096 0 0 0 0 17 1 0 0
/proc/20031/statm: 7830 6364 378 142 0 6784 0
Current children cumulated CPU time (s) 279.62
Current children cumulated vsize (KiB) 31320

[startup+342.302 s]
/proc/loadavg: 1.99 1.98 1.99 3/82 20037
/proc/meminfo: memFree=1475424/2055920 swapFree=4192812/4192956
[pid=20031] ppid=20029 vsize=33036 CPUtime=339.06
/proc/20031/stat : 20031 (pcs.small) R 20029 20031 18214 0 -1 4194304 10312 822 0 0 33895 11 0 0 25 0 1 0 60230325 33828864 7096 996147200 134512640 135095119 4294956304 18446744073709551615 134617024 0 0 4096 0 0 0 0 17 1 0 0
/proc/20031/statm: 8259 7096 378 142 0 7213 0
Current children cumulated CPU time (s) 339.06
Current children cumulated vsize (KiB) 33036

[startup+402.302 s]
/proc/loadavg: 1.99 1.98 1.99 3/82 20037
/proc/meminfo: memFree=1472544/2055920 swapFree=4192812/4192956
[pid=20031] ppid=20029 vsize=34620 CPUtime=398.5
/proc/20031/stat : 20031 (pcs.small) R 20029 20031 18214 0 -1 4194304 10998 822 0 0 39838 12 0 0 25 0 1 0 60230325 35450880 7782 996147200 134512640 135095119 4294956304 18446744073709551615 134616997 0 0 4096 0 0 0 0 17 1 0 0
/proc/20031/statm: 8655 7782 378 142 0 7609 0
Current children cumulated CPU time (s) 398.5
Current children cumulated vsize (KiB) 34620

[startup+462.301 s]
/proc/loadavg: 1.99 1.98 1.99 3/82 20037
/proc/meminfo: memFree=1469920/2055920 swapFree=4192812/4192956
[pid=20031] ppid=20029 vsize=44396 CPUtime=457.94
/proc/20031/stat : 20031 (pcs.small) R 20029 20031 18214 0 -1 4194304 13712 822 0 0 45780 14 0 0 25 0 1 0 60230325 45461504 8447 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 1 0 0
/proc/20031/statm: 11099 8447 378 142 0 10053 0
Current children cumulated CPU time (s) 457.94
Current children cumulated vsize (KiB) 44396

[startup+522.301 s]
/proc/loadavg: 1.99 1.98 1.99 3/82 20037
/proc/meminfo: memFree=1461984/2055920 swapFree=4192812/4192956
[pid=20031] ppid=20029 vsize=55496 CPUtime=517.37
/proc/20031/stat : 20031 (pcs.small) R 20029 20031 18214 0 -1 4194304 16735 822 0 0 51721 16 0 0 25 0 1 0 60230325 56827904 10445 996147200 134512640 135095119 4294956304 18446744073709551615 134589560 0 0 4096 0 0 0 0 17 1 0 0
/proc/20031/statm: 13874 10445 378 142 0 12828 0
Current children cumulated CPU time (s) 517.37
Current children cumulated vsize (KiB) 55496

[startup+582.302 s]
/proc/loadavg: 1.99 1.98 1.99 3/82 20037
/proc/meminfo: memFree=1460960/2055920 swapFree=4192812/4192956
[pid=20031] ppid=20029 vsize=55496 CPUtime=576.82
/proc/20031/stat : 20031 (pcs.small) R 20029 20031 18214 0 -1 4194304 16981 822 0 0 57665 17 0 0 25 0 1 0 60230325 56827904 10691 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 1 0 0
/proc/20031/statm: 13874 10691 378 142 0 12828 0
Current children cumulated CPU time (s) 576.82
Current children cumulated vsize (KiB) 55496

[startup+642.301 s]
/proc/loadavg: 1.99 1.98 1.99 3/82 20037
/proc/meminfo: memFree=1459936/2055920 swapFree=4192812/4192956
[pid=20031] ppid=20029 vsize=55496 CPUtime=636.25
/proc/20031/stat : 20031 (pcs.small) R 20029 20031 18214 0 -1 4194304 17217 822 0 0 63608 17 0 0 25 0 1 0 60230325 56827904 10927 996147200 134512640 135095119 4294956304 18446744073709551615 134642755 0 0 4096 0 0 0 0 17 1 0 0
/proc/20031/statm: 13874 10927 378 142 0 12828 0
Current children cumulated CPU time (s) 636.25
Current children cumulated vsize (KiB) 55496

[startup+702.301 s]

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

[startup+882.301 s]
/proc/loadavg: 1.99 1.98 1.99 3/82 20037
/proc/meminfo: memFree=1453280/2055920 swapFree=4192812/4192956
[pid=20031] ppid=20029 vsize=58532 CPUtime=874.01
/proc/20031/stat : 20031 (pcs.small) R 20029 20031 18214 0 -1 4194304 18860 822 0 0 87380 21 0 0 25 0 1 0 60230325 59936768 12570 996147200 134512640 135095119 4294956304 18446744073709551615 134839484 0 0 4096 0 0 0 0 17 1 0 0
/proc/20031/statm: 14633 12570 378 142 0 13587 0
Current children cumulated CPU time (s) 874.01
Current children cumulated vsize (KiB) 58532

[startup+942.302 s]
/proc/loadavg: 1.99 1.98 1.99 3/82 20037
/proc/meminfo: memFree=1451232/2055920 swapFree=4192812/4192956
[pid=20031] ppid=20029 vsize=59588 CPUtime=933.44
/proc/20031/stat : 20031 (pcs.small) R 20029 20031 18214 0 -1 4194304 19350 822 0 0 93322 22 0 0 25 0 1 0 60230325 61018112 13060 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 1 0 0
/proc/20031/statm: 14897 13060 378 142 0 13851 0
Current children cumulated CPU time (s) 933.44
Current children cumulated vsize (KiB) 59588

[startup+1002.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/82 20037
/proc/meminfo: memFree=1449312/2055920 swapFree=4192812/4192956
[pid=20031] ppid=20029 vsize=60908 CPUtime=992.88
/proc/20031/stat : 20031 (pcs.small) R 20029 20031 18214 0 -1 4194304 19863 822 0 0 99265 23 0 0 25 0 1 0 60230325 62369792 13573 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 1 0 0
/proc/20031/statm: 15227 13573 378 142 0 14181 0
Current children cumulated CPU time (s) 992.88
Current children cumulated vsize (KiB) 60908

[startup+1062.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/82 20037
/proc/meminfo: memFree=1447264/2055920 swapFree=4192812/4192956
[pid=20031] ppid=20029 vsize=62096 CPUtime=1052.31
/proc/20031/stat : 20031 (pcs.small) R 20029 20031 18214 0 -1 4194304 20377 822 0 0 105207 24 0 0 25 0 1 0 60230325 63586304 14087 996147200 134512640 135095119 4294956304 18446744073709551615 134642970 0 0 4096 0 0 0 0 17 1 0 0
/proc/20031/statm: 15524 14087 378 142 0 14478 0
Current children cumulated CPU time (s) 1052.31
Current children cumulated vsize (KiB) 62096

[startup+1122.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/82 20037
/proc/meminfo: memFree=1445280/2055920 swapFree=4192812/4192956
[pid=20031] ppid=20029 vsize=63152 CPUtime=1111.75
/proc/20031/stat : 20031 (pcs.small) R 20029 20031 18214 0 -1 4194304 20856 822 0 0 111150 25 0 0 25 0 1 0 60230325 64667648 14566 996147200 134512640 135095119 4294956304 18446744073709551615 134641646 0 0 4096 0 0 0 0 17 1 0 0
/proc/20031/statm: 15788 14566 378 142 0 14742 0
Current children cumulated CPU time (s) 1111.75
Current children cumulated vsize (KiB) 63152

[startup+1182.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/82 20037
/proc/meminfo: memFree=1443488/2055920 swapFree=4192812/4192956
[pid=20031] ppid=20029 vsize=64208 CPUtime=1171.2
/proc/20031/stat : 20031 (pcs.small) R 20029 20031 18214 0 -1 4194304 21324 822 0 0 117093 27 0 0 25 0 1 0 60230325 65748992 15034 996147200 134512640 135095119 4294956304 18446744073709551615 134607029 0 0 4096 0 0 0 0 17 1 0 0
/proc/20031/statm: 16052 15034 378 142 0 15006 0
Current children cumulated CPU time (s) 1171.2
Current children cumulated vsize (KiB) 64208

[startup+1242.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/82 20037
/proc/meminfo: memFree=1441440/2055920 swapFree=4192812/4192956
[pid=20031] ppid=20029 vsize=81784 CPUtime=1230.63
/proc/20031/stat : 20031 (pcs.small) R 20029 20031 18214 0 -1 4194304 25907 822 0 0 123033 30 0 0 25 0 1 0 60230325 83746816 15520 996147200 134512640 135095119 4294956304 18446744073709551615 134555178 0 0 4096 0 0 0 0 17 1 0 0
/proc/20031/statm: 20446 15520 378 142 0 19400 0
Current children cumulated CPU time (s) 1230.63
Current children cumulated vsize (KiB) 81784

[startup+1302.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/82 20037
/proc/meminfo: memFree=1439328/2055920 swapFree=4192812/4192956
[pid=20031] ppid=20029 vsize=82972 CPUtime=1290.07
/proc/20031/stat : 20031 (pcs.small) R 20029 20031 18214 0 -1 4194304 26403 822 0 0 128976 31 0 0 25 0 1 0 60230325 84963328 16016 996147200 134512640 135095119 4294956304 18446744073709551615 134642884 0 0 4096 0 0 0 0 17 1 0 0
/proc/20031/statm: 20743 16016 378 142 0 19697 0
Current children cumulated CPU time (s) 1290.07
Current children cumulated vsize (KiB) 82972

[startup+1362.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/82 20037
/proc/meminfo: memFree=1437728/2055920 swapFree=4192812/4192956
[pid=20031] ppid=20029 vsize=84028 CPUtime=1349.51
/proc/20031/stat : 20031 (pcs.small) R 20029 20031 18214 0 -1 4194304 26844 822 0 0 134919 32 0 0 25 0 1 0 60230325 86044672 16457 996147200 134512640 135095119 4294956304 18446744073709551615 134589545 0 0 4096 0 0 0 0 17 1 0 0
/proc/20031/statm: 21007 16457 378 142 0 19961 0
Current children cumulated CPU time (s) 1349.51
Current children cumulated vsize (KiB) 84028

[startup+1422.31 s]
/proc/loadavg: 1.99 1.98 1.99 3/82 20037
/proc/meminfo: memFree=1435872/2055920 swapFree=4192812/4192956
[pid=20031] ppid=20029 vsize=84952 CPUtime=1408.95
/proc/20031/stat : 20031 (pcs.small) R 20029 20031 18214 0 -1 4194304 27288 822 0 0 140862 33 0 0 25 0 1 0 60230325 86990848 16901 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 1 0 0
/proc/20031/statm: 21238 16901 378 142 0 20192 0
Current children cumulated CPU time (s) 1408.95
Current children cumulated vsize (KiB) 84952

[startup+1482.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/82 20037
/proc/meminfo: memFree=1434016/2055920 swapFree=4192812/4192956
[pid=20031] ppid=20029 vsize=86140 CPUtime=1468.38
/proc/20031/stat : 20031 (pcs.small) R 20029 20031 18214 0 -1 4194304 27757 822 0 0 146804 34 0 0 25 0 1 0 60230325 88207360 17370 996147200 134512640 135095119 4294956304 18446744073709551615 134607098 0 0 4096 0 0 0 0 17 1 0 0
/proc/20031/statm: 21535 17370 378 142 0 20489 0
Current children cumulated CPU time (s) 1468.38
Current children cumulated vsize (KiB) 86140

[startup+1542.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/73 20071
/proc/meminfo: memFree=1445488/2055920 swapFree=4192812/4192956
[pid=20031] ppid=20029 vsize=87072 CPUtime=1527.96
/proc/20031/stat : 20031 (pcs.small) R 20029 20031 18214 0 -1 4194304 28184 822 0 0 152760 36 0 0 25 0 1 0 60230325 89161728 17797 996147200 134512640 135095119 4294956304 18446744073709551615 134642970 0 0 4096 0 0 0 0 17 0 0 0
/proc/20031/statm: 21768 17797 378 142 0 20722 0
Current children cumulated CPU time (s) 1527.96
Current children cumulated vsize (KiB) 87072

[startup+1602.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/73 20071
/proc/meminfo: memFree=1437680/2055920 swapFree=4192812/4192956
[pid=20031] ppid=20029 vsize=88136 CPUtime=1587.94
/proc/20031/stat : 20031 (pcs.small) R 20029 20031 18214 0 -1 4194304 28603 822 0 0 158758 36 0 0 25 0 1 0 60230325 90251264 18216 996147200 134512640 135095119 4294956304 18446744073709551615 134642970 0 0 4096 0 0 0 0 17 0 0 0
/proc/20031/statm: 22034 18216 378 142 0 20988 0
Current children cumulated CPU time (s) 1587.94
Current children cumulated vsize (KiB) 88136

[startup+1662.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/73 20071
/proc/meminfo: memFree=1418544/2055920 swapFree=4192812/4192956
[pid=20031] ppid=20029 vsize=110188 CPUtime=1647.91
/proc/20031/stat : 20031 (pcs.small) R 20029 20031 18214 0 -1 4194304 34308 822 0 0 164752 39 0 0 25 0 1 0 60230325 112832512 21872 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 0 0 0
/proc/20031/statm: 27547 21872 378 142 0 26501 0
Current children cumulated CPU time (s) 1647.91
Current children cumulated vsize (KiB) 110188

[startup+1722.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/73 20071
/proc/meminfo: memFree=1413296/2055920 swapFree=4192812/4192956
[pid=20031] ppid=20029 vsize=110188 CPUtime=1707.89
/proc/20031/stat : 20031 (pcs.small) R 20029 20031 18214 0 -1 4194304 34476 822 0 0 170750 39 0 0 25 0 1 0 60230325 112832512 22040 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 0 0 0
/proc/20031/statm: 27547 22040 378 142 0 26501 0
Current children cumulated CPU time (s) 1707.89
Current children cumulated vsize (KiB) 110188

[startup+1782.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/73 20071
/proc/meminfo: memFree=1409776/2055920 swapFree=4192812/4192956
[pid=20031] ppid=20029 vsize=110188 CPUtime=1767.87
/proc/20031/stat : 20031 (pcs.small) R 20029 20031 18214 0 -1 4194304 34642 822 0 0 176748 39 0 0 25 0 1 0 60230325 112832512 22206 996147200 134512640 135095119 4294956304 18446744073709551615 134641688 0 0 4096 0 0 0 0 17 0 0 0
/proc/20031/statm: 27547 22206 378 142 0 26501 0
Current children cumulated CPU time (s) 1767.87
Current children cumulated vsize (KiB) 110188



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1814.5 s]
/proc/loadavg: 1.99 1.98 1.99 3/73 20071
/proc/meminfo: memFree=1407920/2055920 swapFree=4192812/4192956
[pid=20031] ppid=20029 vsize=110188 CPUtime=1800.07
/proc/20031/stat : 20031 (pcs.small) R 20029 20031 18214 0 -1 4194304 34732 822 0 0 179967 40 0 0 25 0 1 0 60230325 112832512 22296 996147200 134512640 135095119 4294956304 18446744073709551615 134589545 0 0 4096 0 0 0 0 17 0 0 0
/proc/20031/statm: 27547 22296 378 142 0 26501 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 110188

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

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

[startup+1814.5 s]
/proc/loadavg: 1.99 1.98 1.99 3/73 20071
/proc/meminfo: memFree=1407920/2055920 swapFree=4192812/4192956
[pid=20031] ppid=20029 vsize=110188 CPUtime=1800.07
/proc/20031/stat : 20031 (pcs.small) R 20029 20031 18214 0 -1 4194304 34732 822 0 0 179967 40 0 0 25 0 1 0 60230325 112832512 22296 996147200 134512640 135095119 4294956304 18446744073709551615 134589545 0 0 4096 0 0 0 0 17 0 0 0
/proc/20031/statm: 27547 22296 378 142 0 26501 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 110188

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1814.52
CPU time (s): 1800.1
CPU user time (s): 1799.68
CPU system time (s): 0.422935
CPU usage (%): 99.2054
Max. virtual memory (cumulated for all children) (KiB): 114952

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

runsolver used 2.77258 second user time and 5.48417 second system time

The end

Launcher Data 

Begin job on node61 at 2009-07-16 10:07:49
IDJOB=2091196
IDBENCH=60008
IDSOLVER=734
FILE ID=node61/2091196-1247731669
PBS_JOBID= 9521508
Free space on /tmp= 66380 MiB

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

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

MD5SUM BENCH= 1932518460fde86d5c69bd8f5cfaa291
RANDOM SEED=978314836

node61.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.229
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.229
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:       1503368 kB
Buffers:        113460 kB
Cached:         303652 kB
SwapCached:          0 kB
Active:         126136 kB
Inactive:       325388 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1503368 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            2112 kB
Writeback:           0 kB
Mapped:          54748 kB
Slab:            86356 kB
Committed_AS:   590544 kB
PageTables:       1840 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264884 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66376 MiB
End job on node61 at 2009-07-16 10:38:05