Trace number 2091063

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.09 1809.62

General information on the benchmark

Namecsp/rand-2-50-23/
normalized-rand-2-50-23-587-230-16_ext.xml
MD5SUM1ca4cf4a2aab15eebe39756f015de1ff
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 benchmark190.256
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.23	c Seed is 1236898171
0.17/0.23	c Constructing HOME/instance-2091063-1247731352.xml  with 10584 constraints
0.17/0.23	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-2091063-1247731352/watcher-2091063-1247731352 -o /tmp/evaluation-result-2091063-1247731352/solver-2091063-1247731352 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 1236898171 HOME/instance-2091063-1247731352.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.01 2.00 2.00 4/72 23150
/proc/meminfo: memFree=1700784/2055920 swapFree=4192812/4192956
[pid=23150] ppid=23148 vsize=18576 CPUtime=0
/proc/23150/stat : 23150 (runsolver) R 23148 23150 21679 0 -1 4194368 15 0 0 0 0 0 0 0 20 0 1 0 60201846 19021824 284 996147200 4194304 4302564 548682068496 18446744073709551615 217871609127 0 0 4096 24578 0 0 0 17 1 0 0
/proc/23150/statm: 4644 284 249 26 0 2626 0

[startup+0.0725991 s]
/proc/loadavg: 2.01 2.00 2.00 4/72 23150
/proc/meminfo: memFree=1700784/2055920 swapFree=4192812/4192956
[pid=23150] ppid=23148 vsize=5168 CPUtime=0.04
/proc/23150/stat : 23150 (pcs.small) R 23148 23150 21679 0 -1 4194304 1009 822 0 0 4 0 0 0 18 0 1 0 60201846 5292032 618 996147200 134512640 135095119 4294956304 18446744073709551615 134741458 0 0 4096 0 0 0 0 17 1 0 0
/proc/23150/statm: 1292 618 364 142 0 246 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 5168

[startup+0.101598 s]
/proc/loadavg: 2.01 2.00 2.00 4/72 23150
/proc/meminfo: memFree=1700784/2055920 swapFree=4192812/4192956
[pid=23150] ppid=23148 vsize=5696 CPUtime=0.07
/proc/23150/stat : 23150 (pcs.small) R 23148 23150 21679 0 -1 4194304 1130 822 0 0 7 0 0 0 18 0 1 0 60201846 5832704 739 996147200 134512640 135095119 4294956304 18446744073709551615 4159337025 0 0 4096 0 0 0 0 17 1 0 0
/proc/23150/statm: 1424 739 364 142 0 378 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 5696

[startup+0.301623 s]
/proc/loadavg: 2.01 2.00 2.00 4/72 23150
/proc/meminfo: memFree=1700784/2055920 swapFree=4192812/4192956
[pid=23150] ppid=23148 vsize=8112 CPUtime=0.27
/proc/23150/stat : 23150 (pcs.small) R 23148 23150 21679 0 -1 4194304 1796 822 0 0 27 0 0 0 19 0 1 0 60201846 8306688 1307 996147200 134512640 135095119 4294956304 18446744073709551615 134642982 0 0 4096 0 0 0 0 17 1 0 0
/proc/23150/statm: 2028 1307 378 142 0 982 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 8112

[startup+0.70167 s]
/proc/loadavg: 2.01 2.00 2.00 4/72 23150
/proc/meminfo: memFree=1700784/2055920 swapFree=4192812/4192956
[pid=23150] ppid=23148 vsize=8112 CPUtime=0.67
/proc/23150/stat : 23150 (pcs.small) R 23148 23150 21679 0 -1 4194304 1799 822 0 0 67 0 0 0 23 0 1 0 60201846 8306688 1310 996147200 134512640 135095119 4294956304 18446744073709551615 134615498 0 0 4096 0 0 0 0 17 1 0 0
/proc/23150/statm: 2028 1310 378 142 0 982 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 8112

[startup+1.50176 s]
/proc/loadavg: 2.01 2.00 2.00 3/73 23156
/proc/meminfo: memFree=1696808/2055920 swapFree=4192812/4192956
[pid=23150] ppid=23148 vsize=8112 CPUtime=1.47
/proc/23150/stat : 23150 (pcs.small) R 23148 23150 21679 0 -1 4194304 1806 822 0 0 147 0 0 0 25 0 1 0 60201846 8306688 1317 996147200 134512640 135095119 4294956304 18446744073709551615 134589560 0 0 4096 0 0 0 0 17 1 0 0
/proc/23150/statm: 2028 1317 378 142 0 982 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 8112

[startup+3.10295 s]
/proc/loadavg: 2.01 2.00 2.00 3/73 23156
/proc/meminfo: memFree=1696552/2055920 swapFree=4192812/4192956
[pid=23150] ppid=23148 vsize=8112 CPUtime=3.06
/proc/23150/stat : 23150 (pcs.small) R 23148 23150 21679 0 -1 4194304 1818 822 0 0 306 0 0 0 25 0 1 0 60201846 8306688 1329 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 1 0 0
/proc/23150/statm: 2028 1329 378 142 0 982 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 8112

[startup+6.30132 s]
/proc/loadavg: 2.01 2.00 2.00 3/73 23156
/proc/meminfo: memFree=1696040/2055920 swapFree=4192812/4192956
[pid=23150] ppid=23148 vsize=8112 CPUtime=6.25
/proc/23150/stat : 23150 (pcs.small) R 23148 23150 21679 0 -1 4194304 1842 822 0 0 624 1 0 0 25 0 1 0 60201846 8306688 1353 996147200 134512640 135095119 4294956304 18446744073709551615 134617260 0 0 4096 0 0 0 0 17 1 0 0
/proc/23150/statm: 2028 1353 378 142 0 982 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 8112

[startup+12.7021 s]
/proc/loadavg: 2.01 2.00 2.00 3/73 23156
/proc/meminfo: memFree=1694376/2055920 swapFree=4192812/4192956
[pid=23150] ppid=23148 vsize=9784 CPUtime=12.61
/proc/23150/stat : 23150 (pcs.small) R 23148 23150 21679 0 -1 4194304 2207 822 0 0 1260 1 0 0 25 0 1 0 60201846 10018816 1589 996147200 134512640 135095119 4294956304 18446744073709551615 134636926 0 0 4096 0 0 0 0 17 1 0 0
/proc/23150/statm: 2446 1589 378 142 0 1400 0
Current children cumulated CPU time (s) 12.61
Current children cumulated vsize (KiB) 9784

[startup+25.5015 s]
/proc/loadavg: 2.01 2.00 2.00 3/73 23156
/proc/meminfo: memFree=1691304/2055920 swapFree=4192812/4192956
[pid=23150] ppid=23148 vsize=11464 CPUtime=25.34
/proc/23150/stat : 23150 (pcs.small) R 23148 23150 21679 0 -1 4194304 2843 822 0 0 2533 1 0 0 25 0 1 0 60201846 11739136 1968 996147200 134512640 135095119 4294956304 18446744073709551615 134589560 0 0 4096 0 0 0 0 17 1 0 0
/proc/23150/statm: 2866 1968 378 142 0 1820 0
Current children cumulated CPU time (s) 25.34
Current children cumulated vsize (KiB) 11464

[startup+51.1015 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 23156
/proc/meminfo: memFree=1684776/2055920 swapFree=4192812/4192956
[pid=23150] ppid=23148 vsize=16516 CPUtime=50.81
/proc/23150/stat : 23150 (pcs.small) R 23148 23150 21679 0 -1 4194304 4473 822 0 0 5078 3 0 0 25 0 1 0 60201846 16912384 2795 996147200 134512640 135095119 4294956304 18446744073709551615 134589657 0 0 4096 0 0 0 0 17 1 0 0
/proc/23150/statm: 4129 2795 378 142 0 3083 0
Current children cumulated CPU time (s) 50.81
Current children cumulated vsize (KiB) 16516

[startup+102.306 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 23156
/proc/meminfo: memFree=1673128/2055920 swapFree=4192812/4192956
[pid=23150] ppid=23148 vsize=19280 CPUtime=101.75
/proc/23150/stat : 23150 (pcs.small) R 23148 23150 21679 0 -1 4194304 5669 822 0 0 10170 5 0 0 25 0 1 0 60201846 19742720 3991 996147200 134512640 135095119 4294956304 18446744073709551615 134642970 0 0 4096 0 0 0 0 17 1 0 0
/proc/23150/statm: 4820 3991 378 142 0 3774 0
Current children cumulated CPU time (s) 101.75
Current children cumulated vsize (KiB) 19280

[startup+162.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 23156
/proc/meminfo: memFree=1660520/2055920 swapFree=4192812/4192956
[pid=23150] ppid=23148 vsize=29116 CPUtime=161.44
/proc/23150/stat : 23150 (pcs.small) R 23148 23150 21679 0 -1 4194304 8610 822 0 0 16138 6 0 0 25 0 1 0 60201846 29814784 5394 996147200 134512640 135095119 4294956304 18446744073709551615 134589668 0 0 4096 0 0 0 0 17 1 0 0
/proc/23150/statm: 7279 5394 378 142 0 6233 0
Current children cumulated CPU time (s) 161.44
Current children cumulated vsize (KiB) 29116

[startup+222.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 23156
/proc/meminfo: memFree=1649960/2055920 swapFree=4192812/4192956
[pid=23150] ppid=23148 vsize=30300 CPUtime=221.14
/proc/23150/stat : 23150 (pcs.small) R 23148 23150 21679 0 -1 4194304 9302 822 0 0 22107 7 0 0 25 0 1 0 60201846 31027200 6086 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 1 0 0
/proc/23150/statm: 7575 6086 378 142 0 6529 0
Current children cumulated CPU time (s) 221.14
Current children cumulated vsize (KiB) 30300

[startup+282.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 23156
/proc/meminfo: memFree=1639272/2055920 swapFree=4192812/4192956
[pid=23150] ppid=23148 vsize=32280 CPUtime=280.85
/proc/23150/stat : 23150 (pcs.small) R 23148 23150 21679 0 -1 4194304 10138 822 0 0 28077 8 0 0 25 0 1 0 60201846 33054720 6922 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 1 0 0
/proc/23150/statm: 8070 6922 378 142 0 7024 0
Current children cumulated CPU time (s) 280.85
Current children cumulated vsize (KiB) 32280

[startup+342.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 23156
/proc/meminfo: memFree=1628712/2055920 swapFree=4192812/4192956
[pid=23150] ppid=23148 vsize=42316 CPUtime=340.55
/proc/23150/stat : 23150 (pcs.small) R 23148 23150 21679 0 -1 4194304 12982 822 0 0 34045 10 0 0 25 0 1 0 60201846 43331584 7717 996147200 134512640 135095119 4294956304 18446744073709551615 134641475 0 0 4096 0 0 0 0 17 1 0 0
/proc/23150/statm: 10579 7717 378 142 0 9533 0
Current children cumulated CPU time (s) 340.55
Current children cumulated vsize (KiB) 42316

[startup+402.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 23156
/proc/meminfo: memFree=1618600/2055920 swapFree=4192812/4192956
[pid=23150] ppid=23148 vsize=44164 CPUtime=400.26
/proc/23150/stat : 23150 (pcs.small) R 23148 23150 21679 0 -1 4194304 13753 822 0 0 40015 11 0 0 25 0 1 0 60201846 45223936 8488 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 1 0 0
/proc/23150/statm: 11041 8488 378 142 0 9995 0
Current children cumulated CPU time (s) 400.26
Current children cumulated vsize (KiB) 44164

[startup+462.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 23156
/proc/meminfo: memFree=1602664/2055920 swapFree=4192812/4192956
[pid=23150] ppid=23148 vsize=55652 CPUtime=459.95
/proc/23150/stat : 23150 (pcs.small) R 23148 23150 21679 0 -1 4194304 16937 822 0 0 45983 12 0 0 25 0 1 0 60201846 56987648 10647 996147200 134512640 135095119 4294956304 18446744073709551615 134642869 0 0 4096 0 0 0 0 17 1 0 0
/proc/23150/statm: 13913 10647 378 142 0 12867 0
Current children cumulated CPU time (s) 459.95
Current children cumulated vsize (KiB) 55652

[startup+522.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 23156
/proc/meminfo: memFree=1594152/2055920 swapFree=4192812/4192956
[pid=23150] ppid=23148 vsize=55652 CPUtime=519.66
/proc/23150/stat : 23150 (pcs.small) R 23148 23150 21679 0 -1 4194304 17234 822 0 0 51953 13 0 0 25 0 1 0 60201846 56987648 10944 996147200 134512640 135095119 4294956304 18446744073709551615 134589560 0 0 4096 0 0 0 0 17 1 0 0
/proc/23150/statm: 13913 10944 378 142 0 12867 0
Current children cumulated CPU time (s) 519.66
Current children cumulated vsize (KiB) 55652

[startup+582.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 23156
/proc/meminfo: memFree=1586152/2055920 swapFree=4192812/4192956
[pid=23150] ppid=23148 vsize=55652 CPUtime=579.36
/proc/23150/stat : 23150 (pcs.small) R 23148 23150 21679 0 -1 4194304 17521 822 0 0 57923 13 0 0 25 0 1 0 60201846 56987648 11231 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 1 0 0
/proc/23150/statm: 13913 11231 378 142 0 12867 0
Current children cumulated CPU time (s) 579.36
Current children cumulated vsize (KiB) 55652

[startup+642.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 23156
/proc/meminfo: memFree=1578344/2055920 swapFree=4192812/4192956
[pid=23150] ppid=23148 vsize=55652 CPUtime=639.08
/proc/23150/stat : 23150 (pcs.small) R 23148 23150 21679 0 -1 4194304 17801 822 0 0 63894 14 0 0 25 0 1 0 60201846 56987648 11511 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 1 0 0
/proc/23150/statm: 13913 11511 378 142 0 12867 0
Current children cumulated CPU time (s) 639.08
Current children cumulated vsize (KiB) 55652

[startup+702.301 s]

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

[startup+822.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 23156
/proc/meminfo: memFree=1551656/2055920 swapFree=4192812/4192956
[pid=23150] ppid=23148 vsize=59480 CPUtime=818.18
/proc/23150/stat : 23150 (pcs.small) R 23148 23150 21679 0 -1 4194304 19562 822 0 0 81801 17 0 0 25 0 1 0 60201846 60907520 13272 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 1 0 0
/proc/23150/statm: 14870 13272 378 142 0 13824 0
Current children cumulated CPU time (s) 818.18
Current children cumulated vsize (KiB) 59480

[startup+882.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 23156
/proc/meminfo: memFree=1543784/2055920 swapFree=4192812/4192956
[pid=23150] ppid=23148 vsize=60668 CPUtime=877.88
/proc/23150/stat : 23150 (pcs.small) R 23148 23150 21679 0 -1 4194304 20127 822 0 0 87771 17 0 0 25 0 1 0 60201846 62124032 13837 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 1 0 0
/proc/23150/statm: 15167 13837 378 142 0 14121 0
Current children cumulated CPU time (s) 877.88
Current children cumulated vsize (KiB) 60668

[startup+942.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 23156
/proc/meminfo: memFree=1534824/2055920 swapFree=4192812/4192956
[pid=23150] ppid=23148 vsize=78372 CPUtime=937.59
/proc/23150/stat : 23150 (pcs.small) R 23148 23150 21679 0 -1 4194304 24799 822 0 0 93739 20 0 0 25 0 1 0 60201846 80252928 14412 996147200 134512640 135095119 4294956304 18446744073709551615 134589593 0 0 4096 0 0 0 0 17 1 0 0
/proc/23150/statm: 19593 14412 378 142 0 18547 0
Current children cumulated CPU time (s) 937.59
Current children cumulated vsize (KiB) 78372

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 23156
/proc/meminfo: memFree=1526184/2055920 swapFree=4192812/4192956
[pid=23150] ppid=23148 vsize=79692 CPUtime=997.3
/proc/23150/stat : 23150 (pcs.small) R 23148 23150 21679 0 -1 4194304 25341 822 0 0 99709 21 0 0 25 0 1 0 60201846 81604608 14954 996147200 134512640 135095119 4294956304 18446744073709551615 134589560 0 0 4096 0 0 0 0 17 1 0 0
/proc/23150/statm: 19923 14954 378 142 0 18877 0
Current children cumulated CPU time (s) 997.3
Current children cumulated vsize (KiB) 79692

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 23156
/proc/meminfo: memFree=1518184/2055920 swapFree=4192812/4192956
[pid=23150] ppid=23148 vsize=80888 CPUtime=1057
/proc/23150/stat : 23150 (pcs.small) R 23148 23150 21679 0 -1 4194304 25883 822 0 0 105678 22 0 0 25 0 1 0 60201846 82829312 15496 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 1 0 0
/proc/23150/statm: 20222 15496 378 142 0 19176 0
Current children cumulated CPU time (s) 1057
Current children cumulated vsize (KiB) 80888

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 23156
/proc/meminfo: memFree=1510056/2055920 swapFree=4192812/4192956
[pid=23150] ppid=23148 vsize=82204 CPUtime=1116.71
/proc/23150/stat : 23150 (pcs.small) R 23148 23150 21679 0 -1 4194304 26436 822 0 0 111648 23 0 0 25 0 1 0 60201846 84176896 16049 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 1 0 0
/proc/23150/statm: 20551 16049 378 142 0 19505 0
Current children cumulated CPU time (s) 1116.71
Current children cumulated vsize (KiB) 82204

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 23156
/proc/meminfo: memFree=1501672/2055920 swapFree=4192812/4192956
[pid=23150] ppid=23148 vsize=83272 CPUtime=1176.41
/proc/23150/stat : 23150 (pcs.small) R 23148 23150 21679 0 -1 4194304 26963 822 0 0 117618 23 0 0 25 0 1 0 60201846 85270528 16576 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 1 0 0
/proc/23150/statm: 20818 16576 378 142 0 19772 0
Current children cumulated CPU time (s) 1176.41
Current children cumulated vsize (KiB) 83272

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 23156
/proc/meminfo: memFree=1493736/2055920 swapFree=4192812/4192956
[pid=23150] ppid=23148 vsize=84588 CPUtime=1236.12
/proc/23150/stat : 23150 (pcs.small) R 23148 23150 21679 0 -1 4194304 27498 822 0 0 123588 24 0 0 25 0 1 0 60201846 86618112 17111 996147200 134512640 135095119 4294956304 18446744073709551615 134607027 0 0 4096 0 0 0 0 17 1 0 0
/proc/23150/statm: 21147 17111 378 142 0 20101 0
Current children cumulated CPU time (s) 1236.12
Current children cumulated vsize (KiB) 84588

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 23156
/proc/meminfo: memFree=1485800/2055920 swapFree=4192812/4192956
[pid=23150] ppid=23148 vsize=85776 CPUtime=1295.82
/proc/23150/stat : 23150 (pcs.small) R 23148 23150 21679 0 -1 4194304 28004 822 0 0 129558 24 0 0 25 0 1 0 60201846 87834624 17617 996147200 134512640 135095119 4294956304 18446744073709551615 134636916 0 0 4096 0 0 0 0 17 1 0 0
/proc/23150/statm: 21444 17617 378 142 0 20398 0
Current children cumulated CPU time (s) 1295.82
Current children cumulated vsize (KiB) 85776

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 23156
/proc/meminfo: memFree=1478120/2055920 swapFree=4192812/4192956
[pid=23150] ppid=23148 vsize=86832 CPUtime=1355.53
/proc/23150/stat : 23150 (pcs.small) R 23148 23150 21679 0 -1 4194304 28482 822 0 0 135528 25 0 0 25 0 1 0 60201846 88915968 18095 996147200 134512640 135095119 4294956304 18446744073709551615 134589560 0 0 4096 0 0 0 0 17 1 0 0
/proc/23150/statm: 21708 18095 378 142 0 20662 0
Current children cumulated CPU time (s) 1355.53
Current children cumulated vsize (KiB) 86832

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 23156
/proc/meminfo: memFree=1470440/2055920 swapFree=4192812/4192956
[pid=23150] ppid=23148 vsize=87764 CPUtime=1415.23
/proc/23150/stat : 23150 (pcs.small) R 23148 23150 21679 0 -1 4194304 28926 822 0 0 141498 25 0 0 25 0 1 0 60201846 89870336 18539 996147200 134512640 135095119 4294956304 18446744073709551615 134589560 0 0 4096 0 0 0 0 17 1 0 0
/proc/23150/statm: 21941 18539 378 142 0 20895 0
Current children cumulated CPU time (s) 1415.23
Current children cumulated vsize (KiB) 87764

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 23156
/proc/meminfo: memFree=1449384/2055920 swapFree=4192812/4192956
[pid=23150] ppid=23148 vsize=110212 CPUtime=1474.93
/proc/23150/stat : 23150 (pcs.small) R 23148 23150 21679 0 -1 4194304 34740 822 0 0 147465 28 0 0 25 0 1 0 60201846 112857088 22304 996147200 134512640 135095119 4294956304 18446744073709551615 134607136 0 0 4096 0 0 0 0 17 1 0 0
/proc/23150/statm: 27553 22304 378 142 0 26507 0
Current children cumulated CPU time (s) 1474.93
Current children cumulated vsize (KiB) 110212

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 23156
/proc/meminfo: memFree=1442984/2055920 swapFree=4192812/4192956
[pid=23150] ppid=23148 vsize=110212 CPUtime=1534.64
/proc/23150/stat : 23150 (pcs.small) R 23148 23150 21679 0 -1 4194304 34936 822 0 0 153435 29 0 0 25 0 1 0 60201846 112857088 22500 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 1 0 0
/proc/23150/statm: 27553 22500 378 142 0 26507 0
Current children cumulated CPU time (s) 1534.64
Current children cumulated vsize (KiB) 110212

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 23156
/proc/meminfo: memFree=1436392/2055920 swapFree=4192812/4192956
[pid=23150] ppid=23148 vsize=110212 CPUtime=1594.35
/proc/23150/stat : 23150 (pcs.small) R 23148 23150 21679 0 -1 4194304 35137 822 0 0 159406 29 0 0 25 0 1 0 60201846 112857088 22701 996147200 134512640 135095119 4294956304 18446744073709551615 134570977 0 0 4096 0 0 0 0 17 1 0 0
/proc/23150/statm: 27553 22701 378 142 0 26507 0
Current children cumulated CPU time (s) 1594.35
Current children cumulated vsize (KiB) 110212

[startup+1662.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/82 23198
/proc/meminfo: memFree=1620760/2055920 swapFree=4192812/4192956
[pid=23150] ppid=23148 vsize=110212 CPUtime=1653.51
/proc/23150/stat : 23150 (pcs.small) R 23148 23150 21679 0 -1 4194304 35331 822 0 0 165321 30 0 0 25 0 1 0 60201846 112857088 22895 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 0 0 0
/proc/23150/statm: 27553 22895 378 142 0 26507 0
Current children cumulated CPU time (s) 1653.51
Current children cumulated vsize (KiB) 110212

[startup+1722.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/82 23198
/proc/meminfo: memFree=1619864/2055920 swapFree=4192812/4192956
[pid=23150] ppid=23148 vsize=110212 CPUtime=1713.2
/proc/23150/stat : 23150 (pcs.small) R 23148 23150 21679 0 -1 4194304 35524 822 0 0 171290 30 0 0 25 0 1 0 60201846 112857088 23088 996147200 134512640 135095119 4294956304 18446744073709551615 134589560 0 0 4096 0 0 0 0 17 0 0 0
/proc/23150/statm: 27553 23088 378 142 0 26507 0
Current children cumulated CPU time (s) 1713.2
Current children cumulated vsize (KiB) 110212

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 23198
/proc/meminfo: memFree=1618904/2055920 swapFree=4192812/4192956
[pid=23150] ppid=23148 vsize=110212 CPUtime=1772.89
/proc/23150/stat : 23150 (pcs.small) R 23148 23150 21679 0 -1 4194304 35715 822 0 0 177258 31 0 0 25 0 1 0 60201846 112857088 23279 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 0 0 0
/proc/23150/statm: 27553 23279 378 142 0 26507 0
Current children cumulated CPU time (s) 1772.89
Current children cumulated vsize (KiB) 110212



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1809.6 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 23198
/proc/meminfo: memFree=1618520/2055920 swapFree=4192812/4192956
[pid=23150] ppid=23148 vsize=110212 CPUtime=1800.05
/proc/23150/stat : 23150 (pcs.small) R 23148 23150 21679 0 -1 4194304 35801 822 0 0 179974 31 0 0 25 0 1 0 60201846 112857088 23365 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 0 0 0
/proc/23150/statm: 27553 23365 378 142 0 26507 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 110212

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): 1809.62
CPU time (s): 1800.09
CPU user time (s): 1799.75
CPU system time (s): 0.338948
CPU usage (%): 99.4732
Max. virtual memory (cumulated for all children) (KiB): 118012

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

runsolver used 2.87056 second user time and 5.2542 second system time

The end

Launcher Data 

Begin job on node28 at 2009-07-16 10:02:32
IDJOB=2091063
IDBENCH=59989
IDSOLVER=733
FILE ID=node28/2091063-1247731352
PBS_JOBID= 9521522
Free space on /tmp= 66008 MiB

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

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

MD5SUM BENCH= 1ca4cf4a2aab15eebe39756f015de1ff
RANDOM SEED=1236898171

node28.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.230
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.230
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:       1701264 kB
Buffers:         55916 kB
Cached:         190788 kB
SwapCached:          0 kB
Active:         126608 kB
Inactive:       164960 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1701264 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            2124 kB
Writeback:           0 kB
Mapped:          56300 kB
Slab:            48432 kB
Committed_AS:   592756 kB
PageTables:       1816 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264960 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66008 MiB
End job on node28 at 2009-07-16 10:32:44