Trace number 2058734

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.05 1812.02

General information on the benchmark

Namecsp/rand-2-26/
normalized-rand-26-26-325-155-52021_ext.xml
MD5SUM1c48693b0a57d78b43fa49bf02ae620f
Bench Category2-ARY-EXT (binary constraints in extension)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark419.93
Satisfiable
(Un)Satisfiability was proved
Number of variables26
Number of constraints325
Maximum constraint arity2
Maximum domain size26
Number of constraints which are defined in extension325
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.00/0.02	c Seed is 47050435
0.00/0.02	c Constructing HOME/instance-2058734-1247694313.xml  with 8447 constraints
0.08/0.14	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-2058734-1247694313/watcher-2058734-1247694313 -o /tmp/evaluation-result-2058734-1247694313/solver-2058734-1247694313 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 47050435 HOME/instance-2058734-1247694313.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.53 0.51 0.18 4/72 9918
/proc/meminfo: memFree=1257400/2055924 swapFree=4192812/4192956
[pid=9918] ppid=9916 vsize=5356 CPUtime=0
/proc/9918/stat : 9918 (pcssolve) R 9916 9918 9835 0 -1 4194304 270 0 0 0 0 0 0 0 20 0 1 0 56498705 5484544 238 996147200 4194304 4889804 548682068800 18446744073709551615 4331008 0 0 4100 65536 0 0 0 17 1 0 0
/proc/9918/statm: 1339 238 198 169 0 50 0

[startup+0.0524699 s]
/proc/loadavg: 1.53 0.51 0.18 4/72 9918
/proc/meminfo: memFree=1257400/2055924 swapFree=4192812/4192956
[pid=9918] ppid=9916 vsize=4904 CPUtime=0.03
/proc/9918/stat : 9918 (pcs.small) R 9916 9918 9835 0 -1 4194304 924 822 0 0 3 0 0 0 24 0 1 0 56498705 5021696 533 996147200 134512640 135095119 4294956304 18446744073709551615 4159345961 0 0 4096 0 0 0 0 17 1 0 0
/proc/9918/statm: 1226 533 364 142 0 180 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 4904

[startup+0.102479 s]
/proc/loadavg: 1.53 0.51 0.18 4/72 9918
/proc/meminfo: memFree=1257400/2055924 swapFree=4192812/4192956
[pid=9918] ppid=9916 vsize=5696 CPUtime=0.08
/proc/9918/stat : 9918 (pcs.small) R 9916 9918 9835 0 -1 4194304 1133 822 0 0 8 0 0 0 24 0 1 0 56498705 5832704 742 996147200 134512640 135095119 4294956304 18446744073709551615 4159345937 0 0 4096 0 0 0 0 17 1 0 0
/proc/9918/statm: 1424 742 364 142 0 378 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 5696

[startup+0.30152 s]
/proc/loadavg: 1.53 0.51 0.18 4/72 9918
/proc/meminfo: memFree=1257400/2055924 swapFree=4192812/4192956
[pid=9918] ppid=9916 vsize=7496 CPUtime=0.27
/proc/9918/stat : 9918 (pcs.small) R 9916 9918 9835 0 -1 4194304 1615 822 0 0 27 0 0 0 25 0 1 0 56498705 7675904 1126 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 1 0 0
/proc/9918/statm: 1874 1126 378 142 0 828 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 7496

[startup+0.702598 s]
/proc/loadavg: 1.53 0.51 0.18 4/72 9918
/proc/meminfo: memFree=1257400/2055924 swapFree=4192812/4192956
[pid=9918] ppid=9916 vsize=7496 CPUtime=0.67
/proc/9918/stat : 9918 (pcs.small) R 9916 9918 9835 0 -1 4194304 1625 822 0 0 67 0 0 0 25 0 1 0 56498705 7675904 1136 996147200 134512640 135095119 4294956304 18446744073709551615 134638486 0 0 4096 0 0 0 0 17 1 0 0
/proc/9918/statm: 1874 1136 378 142 0 828 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 7496

[startup+1.50176 s]
/proc/loadavg: 1.53 0.51 0.18 3/73 9924
/proc/meminfo: memFree=1253232/2055924 swapFree=4192812/4192956
[pid=9918] ppid=9916 vsize=7496 CPUtime=1.46
/proc/9918/stat : 9918 (pcs.small) R 9916 9918 9835 0 -1 4194304 1643 822 0 0 146 0 0 0 25 0 1 0 56498705 7675904 1154 996147200 134512640 135095119 4294956304 18446744073709551615 134615477 0 0 4096 0 0 0 0 17 1 0 0
/proc/9918/statm: 1874 1154 378 142 0 828 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 7496

[startup+3.10107 s]
/proc/loadavg: 1.53 0.51 0.18 3/73 9924
/proc/meminfo: memFree=1252400/2055924 swapFree=4192812/4192956
[pid=9918] ppid=9916 vsize=8524 CPUtime=3.05
/proc/9918/stat : 9918 (pcs.small) R 9916 9918 9835 0 -1 4194304 1818 822 0 0 305 0 0 0 25 0 1 0 56498705 8728576 1329 996147200 134512640 135095119 4294956304 18446744073709551615 134636926 0 0 4096 0 0 0 0 17 1 0 0
/proc/9918/statm: 2131 1329 378 142 0 1085 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 8524

[startup+6.3017 s]
/proc/loadavg: 1.57 0.53 0.18 3/73 9924
/proc/meminfo: memFree=1249264/2055924 swapFree=4192812/4192956
[pid=9918] ppid=9916 vsize=9432 CPUtime=6.23
/proc/9918/stat : 9918 (pcs.small) R 9916 9918 9835 0 -1 4194304 2182 822 0 0 622 1 0 0 25 0 1 0 56498705 9658368 1564 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 1 0 0
/proc/9918/statm: 2358 1564 378 142 0 1312 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 9432

[startup+12.702 s]
/proc/loadavg: 1.60 0.55 0.19 3/73 9924
/proc/meminfo: memFree=1243504/2055924 swapFree=4192812/4192956
[pid=9918] ppid=9916 vsize=11620 CPUtime=12.56
/proc/9918/stat : 9918 (pcs.small) R 9916 9918 9835 0 -1 4194304 2987 822 0 0 1255 1 0 0 25 0 1 0 56498705 11898880 2112 996147200 134512640 135095119 4294956304 18446744073709551615 134641601 0 0 4096 0 0 0 0 17 1 0 0
/proc/9918/statm: 2905 2112 378 142 0 1859 0
Current children cumulated CPU time (s) 12.56
Current children cumulated vsize (KiB) 11620

[startup+25.5025 s]
/proc/loadavg: 1.69 0.62 0.22 3/73 9924
/proc/meminfo: memFree=1235120/2055924 swapFree=4192812/4192956
[pid=9918] ppid=9916 vsize=16664 CPUtime=25.25
/proc/9918/stat : 9918 (pcs.small) R 9916 9918 9835 0 -1 4194304 4631 822 0 0 2523 2 0 0 25 0 1 0 56498705 17063936 2953 996147200 134512640 135095119 4294956304 18446744073709551615 134636924 0 0 4096 0 0 0 0 17 1 0 0
/proc/9918/statm: 4166 2953 378 142 0 3120 0
Current children cumulated CPU time (s) 25.25
Current children cumulated vsize (KiB) 16664

[startup+51.1025 s]
/proc/loadavg: 1.79 0.73 0.27 3/73 9924
/proc/meminfo: memFree=1210608/2055924 swapFree=4192812/4192956
[pid=9918] ppid=9916 vsize=19152 CPUtime=50.63
/proc/9918/stat : 9918 (pcs.small) R 9916 9918 9835 0 -1 4194304 5767 822 0 0 5059 4 0 0 25 0 1 0 56498705 19611648 4089 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 1 0 0
/proc/9918/statm: 4788 4089 378 142 0 3742 0
Current children cumulated CPU time (s) 50.63
Current children cumulated vsize (KiB) 19152

[startup+102.307 s]
/proc/loadavg: 1.91 0.93 0.36 3/73 9924
/proc/meminfo: memFree=1193008/2055924 swapFree=4192812/4192956
[pid=9918] ppid=9916 vsize=29232 CPUtime=101.39
/proc/9918/stat : 9918 (pcs.small) R 9916 9918 9835 0 -1 4194304 8987 822 0 0 10133 6 0 0 25 0 1 0 56498705 29933568 5771 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 1 0 0
/proc/9918/statm: 7308 5771 378 142 0 6262 0
Current children cumulated CPU time (s) 101.39
Current children cumulated vsize (KiB) 29232

[startup+162.301 s]
/proc/loadavg: 1.96 1.12 0.46 3/73 9924
/proc/meminfo: memFree=1168496/2055924 swapFree=4192812/4192956
[pid=9918] ppid=9916 vsize=32492 CPUtime=160.86
/proc/9918/stat : 9918 (pcs.small) R 9916 9918 9835 0 -1 4194304 10428 822 0 0 16078 8 0 0 25 0 1 0 56498705 33271808 7212 996147200 134512640 135095119 4294956304 18446744073709551615 134617043 0 0 4096 0 0 0 0 17 1 0 0
/proc/9918/statm: 8123 7212 378 142 0 7077 0
Current children cumulated CPU time (s) 160.86
Current children cumulated vsize (KiB) 32492

[startup+222.302 s]
/proc/loadavg: 1.98 1.28 0.55 3/73 9924
/proc/meminfo: memFree=1150320/2055924 swapFree=4192812/4192956
[pid=9918] ppid=9916 vsize=43300 CPUtime=220.34
/proc/9918/stat : 9918 (pcs.small) R 9916 9918 9835 0 -1 4194304 13686 822 0 0 22024 10 0 0 25 0 1 0 56498705 44339200 8421 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 1 0 0
/proc/9918/statm: 10825 8421 378 142 0 9779 0
Current children cumulated CPU time (s) 220.34
Current children cumulated vsize (KiB) 43300

[startup+282.302 s]
/proc/loadavg: 1.99 1.41 0.64 3/73 9924
/proc/meminfo: memFree=1131312/2055924 swapFree=4192812/4192956
[pid=9918] ppid=9916 vsize=53196 CPUtime=279.82
/proc/9918/stat : 9918 (pcs.small) R 9916 9918 9835 0 -1 4194304 16613 822 0 0 27970 12 0 0 25 0 1 0 56498705 54472704 10323 996147200 134512640 135095119 4294956304 18446744073709551615 134615477 0 0 4096 0 0 0 0 17 1 0 0
/proc/9918/statm: 13299 10323 378 142 0 12253 0
Current children cumulated CPU time (s) 279.82
Current children cumulated vsize (KiB) 53196

[startup+342.302 s]
/proc/loadavg: 1.99 1.51 0.72 3/73 9926
/proc/meminfo: memFree=1095664/2055924 swapFree=4192812/4192956
[pid=9918] ppid=9916 vsize=53196 CPUtime=339.28
/proc/9918/stat : 9918 (pcs.small) R 9916 9918 9835 0 -1 4194304 17027 822 0 0 33915 13 0 0 25 0 1 0 56498705 54472704 10737 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 1 0 0
/proc/9918/statm: 13299 10737 378 142 0 12253 0
Current children cumulated CPU time (s) 339.28
Current children cumulated vsize (KiB) 53196

[startup+402.301 s]
/proc/loadavg: 1.99 1.60 0.80 3/73 9926
/proc/meminfo: memFree=1086960/2055924 swapFree=4192812/4192956
[pid=9918] ppid=9916 vsize=54640 CPUtime=398.75
/proc/9918/stat : 9918 (pcs.small) R 9916 9918 9835 0 -1 4194304 17757 822 0 0 39861 14 0 0 25 0 1 0 56498705 55951360 11467 996147200 134512640 135095119 4294956304 18446744073709551615 134589560 0 0 4096 0 0 0 0 17 1 0 0
/proc/9918/statm: 13660 11467 378 142 0 12614 0
Current children cumulated CPU time (s) 398.75
Current children cumulated vsize (KiB) 54640

[startup+462.302 s]
/proc/loadavg: 1.99 1.67 0.87 3/73 9926
/proc/meminfo: memFree=1077616/2055924 swapFree=4192812/4192956
[pid=9918] ppid=9916 vsize=56472 CPUtime=458.23
/proc/9918/stat : 9918 (pcs.small) R 9916 9918 9835 0 -1 4194304 18600 822 0 0 45807 16 0 0 25 0 1 0 56498705 57827328 12310 996147200 134512640 135095119 4294956304 18446744073709551615 134617038 0 0 4096 0 0 0 0 17 1 0 0
/proc/9918/statm: 14118 12310 378 142 0 13072 0
Current children cumulated CPU time (s) 458.23
Current children cumulated vsize (KiB) 56472

[startup+522.302 s]
/proc/loadavg: 1.99 1.73 0.94 3/73 9926
/proc/meminfo: memFree=1068720/2055924 swapFree=4192812/4192956
[pid=9918] ppid=9916 vsize=58172 CPUtime=517.71
/proc/9918/stat : 9918 (pcs.small) R 9916 9918 9835 0 -1 4194304 19373 822 0 0 51754 17 0 0 25 0 1 0 56498705 59568128 13083 996147200 134512640 135095119 4294956304 18446744073709551615 134641462 0 0 4096 0 0 0 0 17 1 0 0
/proc/9918/statm: 14543 13083 378 142 0 13497 0
Current children cumulated CPU time (s) 517.71
Current children cumulated vsize (KiB) 58172

[startup+582.302 s]
/proc/loadavg: 1.99 1.77 1.00 3/73 9926
/proc/meminfo: memFree=1053616/2055924 swapFree=4192812/4192956
[pid=9918] ppid=9916 vsize=59996 CPUtime=577.17
/proc/9918/stat : 9918 (pcs.small) R 9916 9918 9835 0 -1 4194304 20152 822 0 0 57698 19 0 0 25 0 1 0 56498705 61435904 13862 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 1 0 0
/proc/9918/statm: 14999 13862 378 142 0 13953 0
Current children cumulated CPU time (s) 577.17
Current children cumulated vsize (KiB) 59996

[startup+642.301 s]
/proc/loadavg: 1.99 1.81 1.06 3/73 9926
/proc/meminfo: memFree=1038640/2055924 swapFree=4192812/4192956
[pid=9918] ppid=9916 vsize=77952 CPUtime=636.65
/proc/9918/stat : 9918 (pcs.small) R 9916 9918 9835 0 -1 4194304 24961 822 0 0 63642 23 0 0 25 0 1 0 56498705 79822848 14574 996147200 134512640 135095119 4294956304 18446744073709551615 134589560 0 0 4096 0 0 0 0 17 1 0 0
/proc/9918/statm: 19488 14574 378 142 0 18442 0
Current children cumulated CPU time (s) 636.65
Current children cumulated vsize (KiB) 77952

[startup+702.301 s]

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

[startup+822.302 s]
/proc/loadavg: 1.99 1.89 1.22 3/73 9926
/proc/meminfo: memFree=990576/2055924 swapFree=4192812/4192956
[pid=9918] ppid=9916 vsize=82416 CPUtime=815.07
/proc/9918/stat : 9918 (pcs.small) R 9916 9918 9835 0 -1 4194304 26950 822 0 0 81481 26 0 0 25 0 1 0 56498705 84393984 16563 996147200 134512640 135095119 4294956304 18446744073709551615 134642970 0 0 4096 0 0 0 0 17 1 0 0
/proc/9918/statm: 20604 16563 378 142 0 19558 0
Current children cumulated CPU time (s) 815.07
Current children cumulated vsize (KiB) 82416

[startup+882.301 s]
/proc/loadavg: 1.99 1.91 1.26 3/73 9926
/proc/meminfo: memFree=975024/2055924 swapFree=4192812/4192956
[pid=9918] ppid=9916 vsize=83848 CPUtime=874.54
/proc/9918/stat : 9918 (pcs.small) R 9916 9918 9835 0 -1 4194304 27600 822 0 0 87427 27 0 0 25 0 1 0 56498705 85860352 17213 996147200 134512640 135095119 4294956304 18446744073709551615 134589681 0 0 4096 0 0 0 0 17 1 0 0
/proc/9918/statm: 20962 17213 378 142 0 19916 0
Current children cumulated CPU time (s) 874.54
Current children cumulated vsize (KiB) 83848

[startup+942.301 s]
/proc/loadavg: 1.99 1.92 1.31 3/73 9926
/proc/meminfo: memFree=953264/2055924 swapFree=4192812/4192956
[pid=9918] ppid=9916 vsize=104040 CPUtime=934.01
/proc/9918/stat : 9918 (pcs.small) R 9916 9918 9835 0 -1 4194304 32906 822 0 0 93371 30 0 0 25 0 1 0 56498705 106536960 20470 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 1 0 0
/proc/9918/statm: 26010 20470 378 142 0 24964 0
Current children cumulated CPU time (s) 934.01
Current children cumulated vsize (KiB) 104040

[startup+1002.3 s]
/proc/loadavg: 1.99 1.93 1.35 3/73 9964
/proc/meminfo: memFree=1212528/2055924 swapFree=4192812/4192956
[pid=9918] ppid=9916 vsize=104040 CPUtime=993.64
/proc/9918/stat : 9918 (pcs.small) R 9916 9918 9835 0 -1 4194304 33171 822 0 0 99334 30 0 0 25 0 1 0 56498705 106536960 20735 996147200 134512640 135095119 4294956304 18446744073709551615 134589560 0 0 4096 0 0 0 0 17 0 0 0
/proc/9918/statm: 26010 20735 378 142 0 24964 0
Current children cumulated CPU time (s) 993.64
Current children cumulated vsize (KiB) 104040

[startup+1062.3 s]
/proc/loadavg: 1.99 1.94 1.39 3/73 9964
/proc/meminfo: memFree=1203504/2055924 swapFree=4192812/4192956
[pid=9918] ppid=9916 vsize=104040 CPUtime=1053.39
/proc/9918/stat : 9918 (pcs.small) R 9916 9918 9835 0 -1 4194304 33430 822 0 0 105308 31 0 0 25 0 1 0 56498705 106536960 20994 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 0 0 0
/proc/9918/statm: 26010 20994 378 142 0 24964 0
Current children cumulated CPU time (s) 1053.39
Current children cumulated vsize (KiB) 104040

[startup+1122.3 s]
/proc/loadavg: 1.99 1.95 1.42 3/73 9964
/proc/meminfo: memFree=1196912/2055924 swapFree=4192812/4192956
[pid=9918] ppid=9916 vsize=104040 CPUtime=1113.14
/proc/9918/stat : 9918 (pcs.small) R 9916 9918 9835 0 -1 4194304 33690 822 0 0 111283 31 0 0 25 0 1 0 56498705 106536960 21254 996147200 134512640 135095119 4294956304 18446744073709551615 134589545 0 0 4096 0 0 0 0 17 0 0 0
/proc/9918/statm: 26010 21254 378 142 0 24964 0
Current children cumulated CPU time (s) 1113.14
Current children cumulated vsize (KiB) 104040

[startup+1182.3 s]
/proc/loadavg: 1.99 1.95 1.46 3/73 9964
/proc/meminfo: memFree=1191088/2055924 swapFree=4192812/4192956
[pid=9918] ppid=9916 vsize=104040 CPUtime=1172.9
/proc/9918/stat : 9918 (pcs.small) R 9916 9918 9835 0 -1 4194304 33938 822 0 0 117258 32 0 0 25 0 1 0 56498705 106536960 21502 996147200 134512640 135095119 4294956304 18446744073709551615 134589560 0 0 4096 0 0 0 0 17 0 0 0
/proc/9918/statm: 26010 21502 378 142 0 24964 0
Current children cumulated CPU time (s) 1172.9
Current children cumulated vsize (KiB) 104040

[startup+1242.3 s]
/proc/loadavg: 1.99 1.96 1.49 3/73 9964
/proc/meminfo: memFree=1182384/2055924 swapFree=4192812/4192956
[pid=9918] ppid=9916 vsize=104040 CPUtime=1232.65
/proc/9918/stat : 9918 (pcs.small) R 9916 9918 9835 0 -1 4194304 34182 822 0 0 123233 32 0 0 25 0 1 0 56498705 106536960 21746 996147200 134512640 135095119 4294956304 18446744073709551615 134642662 0 0 4096 0 0 0 0 17 0 0 0
/proc/9918/statm: 26010 21746 378 142 0 24964 0
Current children cumulated CPU time (s) 1232.65
Current children cumulated vsize (KiB) 104040

[startup+1302.3 s]
/proc/loadavg: 1.99 1.97 1.51 3/73 9964
/proc/meminfo: memFree=1179632/2055924 swapFree=4192812/4192956
[pid=9918] ppid=9916 vsize=104040 CPUtime=1292.41
/proc/9918/stat : 9918 (pcs.small) R 9916 9918 9835 0 -1 4194304 34419 822 0 0 129209 32 0 0 25 0 1 0 56498705 106536960 21983 996147200 134512640 135095119 4294956304 18446744073709551615 134642970 0 0 4096 0 0 0 0 17 0 0 0
/proc/9918/statm: 26010 21983 378 142 0 24964 0
Current children cumulated CPU time (s) 1292.41
Current children cumulated vsize (KiB) 104040

[startup+1362.3 s]
/proc/loadavg: 1.99 1.97 1.54 3/73 9964
/proc/meminfo: memFree=1175984/2055924 swapFree=4192812/4192956
[pid=9918] ppid=9916 vsize=104040 CPUtime=1352.16
/proc/9918/stat : 9918 (pcs.small) R 9916 9918 9835 0 -1 4194304 34647 822 0 0 135183 33 0 0 25 0 1 0 56498705 106536960 22211 996147200 134512640 135095119 4294956304 18446744073709551615 134636914 0 0 4096 0 0 0 0 17 0 0 0
/proc/9918/statm: 26010 22211 378 142 0 24964 0
Current children cumulated CPU time (s) 1352.16
Current children cumulated vsize (KiB) 104040

[startup+1422.31 s]
/proc/loadavg: 1.99 1.97 1.57 3/73 9964
/proc/meminfo: memFree=1171056/2055924 swapFree=4192812/4192956
[pid=9918] ppid=9916 vsize=104944 CPUtime=1411.91
/proc/9918/stat : 9918 (pcs.small) R 9916 9918 9835 0 -1 4194304 35090 822 0 0 141158 33 0 0 25 0 1 0 56498705 107462656 22654 996147200 134512640 135095119 4294956304 18446744073709551615 134589560 0 0 4096 0 0 0 0 17 0 0 0
/proc/9918/statm: 26236 22654 378 142 0 25190 0
Current children cumulated CPU time (s) 1411.91
Current children cumulated vsize (KiB) 104944

[startup+1482.3 s]
/proc/loadavg: 1.99 1.97 1.59 3/73 9964
/proc/meminfo: memFree=1166064/2055924 swapFree=4192812/4192956
[pid=9918] ppid=9916 vsize=105864 CPUtime=1471.67
/proc/9918/stat : 9918 (pcs.small) R 9916 9918 9835 0 -1 4194304 35568 822 0 0 147133 34 0 0 25 0 1 0 56498705 108404736 23132 996147200 134512640 135095119 4294956304 18446744073709551615 134589560 0 0 4096 0 0 0 0 17 0 0 0
/proc/9918/statm: 26466 23132 378 142 0 25420 0
Current children cumulated CPU time (s) 1471.67
Current children cumulated vsize (KiB) 105864

[startup+1542.3 s]
/proc/loadavg: 1.99 1.97 1.61 3/73 9964
/proc/meminfo: memFree=1161072/2055924 swapFree=4192812/4192956
[pid=9918] ppid=9916 vsize=107040 CPUtime=1531.41
/proc/9918/stat : 9918 (pcs.small) R 9916 9918 9835 0 -1 4194304 36057 822 0 0 153107 34 0 0 25 0 1 0 56498705 109608960 23621 996147200 134512640 135095119 4294956304 18446744073709551615 134617038 0 0 4096 0 0 0 0 17 0 0 0
/proc/9918/statm: 26760 23621 378 142 0 25714 0
Current children cumulated CPU time (s) 1531.41
Current children cumulated vsize (KiB) 107040

[startup+1602.3 s]
/proc/loadavg: 1.99 1.97 1.64 3/73 9964
/proc/meminfo: memFree=1156144/2055924 swapFree=4192812/4192956
[pid=9918] ppid=9916 vsize=108088 CPUtime=1591.17
/proc/9918/stat : 9918 (pcs.small) R 9916 9918 9835 0 -1 4194304 36546 822 0 0 159082 35 0 0 25 0 1 0 56498705 110682112 24110 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 0 0 0
/proc/9918/statm: 27022 24110 378 142 0 25976 0
Current children cumulated CPU time (s) 1591.17
Current children cumulated vsize (KiB) 108088

[startup+1662.3 s]
/proc/loadavg: 1.99 1.97 1.66 3/73 9964
/proc/meminfo: memFree=1151472/2055924 swapFree=4192812/4192956
[pid=9918] ppid=9916 vsize=109268 CPUtime=1650.92
/proc/9918/stat : 9918 (pcs.small) R 9916 9918 9835 0 -1 4194304 37045 822 0 0 165056 36 0 0 25 0 1 0 56498705 111890432 24609 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 0 0 0
/proc/9918/statm: 27317 24609 378 142 0 26271 0
Current children cumulated CPU time (s) 1650.92
Current children cumulated vsize (KiB) 109268

[startup+1722.3 s]
/proc/loadavg: 1.99 1.97 1.67 3/73 9964
/proc/meminfo: memFree=1146992/2055924 swapFree=4192812/4192956
[pid=9918] ppid=9916 vsize=110320 CPUtime=1710.67
/proc/9918/stat : 9918 (pcs.small) R 9916 9918 9835 0 -1 4194304 37532 822 0 0 171030 37 0 0 25 0 1 0 56498705 112967680 25096 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 0 0 0
/proc/9918/statm: 27580 25096 378 142 0 26534 0
Current children cumulated CPU time (s) 1710.67
Current children cumulated vsize (KiB) 110320

[startup+1782.3 s]
/proc/loadavg: 1.99 1.97 1.69 3/73 9964
/proc/meminfo: memFree=1142448/2055924 swapFree=4192812/4192956
[pid=9918] ppid=9916 vsize=111384 CPUtime=1770.42
/proc/9918/stat : 9918 (pcs.small) R 9916 9918 9835 0 -1 4194304 37993 822 0 0 177004 38 0 0 25 0 1 0 56498705 114057216 25557 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 0 0 0
/proc/9918/statm: 27846 25557 378 142 0 26800 0
Current children cumulated CPU time (s) 1770.42
Current children cumulated vsize (KiB) 111384



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1812 s]
/proc/loadavg: 1.99 1.97 1.70 3/73 9964
/proc/meminfo: memFree=1140272/2055924 swapFree=4192812/4192956
[pid=9918] ppid=9916 vsize=111904 CPUtime=1800.01
/proc/9918/stat : 9918 (pcs.small) R 9916 9918 9835 0 -1 4194304 38228 822 0 0 179963 38 0 0 25 0 1 0 56498705 114589696 25792 996147200 134512640 135095119 4294956304 18446744073709551615 134589545 0 0 4096 0 0 0 0 17 0 0 0
/proc/9918/statm: 27976 25792 378 142 0 26930 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 111904

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): 1812.02
CPU time (s): 1800.05
CPU user time (s): 1799.64
CPU system time (s): 0.410937
CPU usage (%): 99.339
Max. virtual memory (cumulated for all children) (KiB): 111904

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.64
system time used= 0.410937
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 39050
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= 23
involuntary context switches= 32259

runsolver used 2.58161 second user time and 5.35019 second system time

The end

Launcher Data 

Begin job on node6 at 2009-07-15 23:45:13
IDJOB=2058734
IDBENCH=53518
IDSOLVER=733
FILE ID=node6/2058734-1247694313
PBS_JOBID= 9521297
Free space on /tmp= 66316 MiB

SOLVER NAME= pcs 0.2
BENCH NAME= CPAI08/csp/rand-2-26/normalized-rand-26-26-325-155-52021_ext.xml
COMMAND LINE= HOME/pcssolve -s RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2058734-1247694313/watcher-2058734-1247694313 -o /tmp/evaluation-result-2058734-1247694313/solver-2058734-1247694313 -C 1800 -W 2000 -M 900  HOME/pcssolve -s 47050435 HOME/instance-2058734-1247694313.xml

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

MD5SUM BENCH= 1c48693b0a57d78b43fa49bf02ae620f
RANDOM SEED=47050435

node6.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.263
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.263
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:      2055924 kB
MemFree:       1257880 kB
Buffers:         96224 kB
Cached:         540936 kB
SwapCached:          0 kB
Active:         287900 kB
Inactive:       416060 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055924 kB
LowFree:       1257880 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            2020 kB
Writeback:           0 kB
Mapped:          78272 kB
Slab:            79332 kB
Committed_AS:   547284 kB
PageTables:       1976 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= 66312 MiB
End job on node6 at 2009-07-16 00:15:27