Trace number 2089897

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 1801.22

General information on the benchmark

Namecsp/rand-2-40-19/
normalized-rand-2-40-19-443-230-3_ext.xml
MD5SUM0c6e1c1c4ed482c33d9ef383824b7f75
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 benchmark50.2184
Satisfiable
(Un)Satisfiability was proved
Number of variables40
Number of constraints340
Maximum constraint arity2
Maximum domain size19
Number of constraints which are defined in extension340
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.11	c Seed is 1047301486
0.00/0.11	c Constructing HOME/instance-2089897-1247730771.xml  with 6434 constraints
0.00/0.11	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-2089897-1247730771/watcher-2089897-1247730771 -o /tmp/evaluation-result-2089897-1247730771/solver-2089897-1247730771 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 1047301486 HOME/instance-2089897-1247730771.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.04 2.01 2.00 4/81 17150
/proc/meminfo: memFree=1419224/2055920 swapFree=4192812/4192956
[pid=17150] ppid=17148 vsize=5212 CPUtime=0
/proc/17150/stat : 17150 (pcssolve) R 17148 17150 16451 0 -1 4194304 69 0 0 0 0 0 0 0 20 0 1 0 60143474 5337088 43 996147200 4194304 4889804 548682068800 18446744073709551615 266131798105 0 0 4096 0 0 0 0 17 1 0 0
/proc/17150/statm: 1303 43 29 169 0 14 0

[startup+0.0202919 s]
/proc/loadavg: 2.04 2.01 2.00 4/81 17150
/proc/meminfo: memFree=1419224/2055920 swapFree=4192812/4192956
[pid=17150] ppid=17148 vsize=2960 CPUtime=0
/proc/17150/stat : 17150 (pcs.small) R 17148 17150 16451 0 -1 4194304 422 822 0 0 0 0 0 0 18 0 1 0 60143474 3031040 46 996147200 134512640 135095119 4294956304 18446744073709551615 1463076 0 2147483391 4096 0 0 0 0 17 1 0 0
/proc/17150/statm: 1592 924 378 142 0 546 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 2960

[startup+0.290322 s]
/proc/loadavg: 2.04 2.01 2.00 4/81 17150
/proc/meminfo: memFree=1419224/2055920 swapFree=4192812/4192956
[pid=17150] ppid=17148 vsize=6368 CPUtime=0.26
/proc/17150/stat : 17150 (pcs.small) R 17148 17150 16451 0 -1 4194304 1350 822 0 0 26 0 0 0 19 0 1 0 60143474 6520832 926 996147200 134512640 135095119 4294956304 18446744073709551615 134617012 0 0 4096 0 0 0 0 17 1 0 0
/proc/17150/statm: 1592 926 378 142 0 546 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 6368

[startup+0.301322 s]
/proc/loadavg: 2.04 2.01 2.00 4/81 17150
/proc/meminfo: memFree=1419224/2055920 swapFree=4192812/4192956
[pid=17150] ppid=17148 vsize=6368 CPUtime=0.27
/proc/17150/stat : 17150 (pcs.small) R 17148 17150 16451 0 -1 4194304 1350 822 0 0 27 0 0 0 19 0 1 0 60143474 6520832 926 996147200 134512640 135095119 4294956304 18446744073709551615 134578275 0 0 4096 0 0 0 0 17 1 0 0
/proc/17150/statm: 1592 926 378 142 0 546 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 6368

[startup+0.701369 s]
/proc/loadavg: 2.04 2.01 2.00 4/81 17150
/proc/meminfo: memFree=1419224/2055920 swapFree=4192812/4192956
[pid=17150] ppid=17148 vsize=6368 CPUtime=0.67
/proc/17150/stat : 17150 (pcs.small) R 17148 17150 16451 0 -1 4194304 1359 822 0 0 67 0 0 0 23 0 1 0 60143474 6520832 935 996147200 134512640 135095119 4294956304 18446744073709551615 134589508 0 0 4096 0 0 0 0 17 1 0 0
/proc/17150/statm: 1592 935 378 142 0 546 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 6368

[startup+1.50146 s]
/proc/loadavg: 2.04 2.01 2.00 3/82 17156
/proc/meminfo: memFree=1416656/2055920 swapFree=4192812/4192956
[pid=17150] ppid=17148 vsize=6624 CPUtime=1.46
/proc/17150/stat : 17150 (pcs.small) R 17148 17150 16451 0 -1 4194304 1437 822 0 0 146 0 0 0 25 0 1 0 60143474 6782976 948 996147200 134512640 135095119 4294956304 18446744073709551615 134589668 0 0 4096 0 0 0 0 17 1 0 0
/proc/17150/statm: 1656 948 378 142 0 610 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 6624

[startup+3.10163 s]
/proc/loadavg: 2.04 2.01 2.00 3/82 17156
/proc/meminfo: memFree=1416272/2055920 swapFree=4192812/4192956
[pid=17150] ppid=17148 vsize=7140 CPUtime=3.05
/proc/17150/stat : 17150 (pcs.small) R 17148 17150 16451 0 -1 4194304 1583 822 0 0 305 0 0 0 25 0 1 0 60143474 7311360 1094 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 1 0 0
/proc/17150/statm: 1785 1094 378 142 0 739 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 7140

[startup+6.302 s]
/proc/loadavg: 2.04 2.01 2.00 3/82 17156
/proc/meminfo: memFree=1414416/2055920 swapFree=4192812/4192956
[pid=17150] ppid=17148 vsize=9336 CPUtime=6.21
/proc/17150/stat : 17150 (pcs.small) R 17148 17150 16451 0 -1 4194304 2260 822 0 0 621 0 0 0 25 0 1 0 60143474 9560064 1513 996147200 134512640 135095119 4294956304 18446744073709551615 134642693 0 0 4096 0 0 0 0 17 1 0 0
/proc/17150/statm: 2334 1513 378 142 0 1288 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 9336

[startup+12.7027 s]
/proc/loadavg: 2.03 2.01 2.00 3/82 17156
/proc/meminfo: memFree=1412624/2055920 swapFree=4192812/4192956
[pid=17150] ppid=17148 vsize=11272 CPUtime=12.55
/proc/17150/stat : 17150 (pcs.small) R 17148 17150 16451 0 -1 4194304 2985 822 0 0 1254 1 0 0 25 0 1 0 60143474 11542528 1981 996147200 134512640 135095119 4294956304 18446744073709551615 134838329 0 0 4096 0 0 0 0 17 1 0 0
/proc/17150/statm: 2818 1981 378 142 0 1772 0
Current children cumulated CPU time (s) 12.55
Current children cumulated vsize (KiB) 11272

[startup+25.5011 s]
/proc/loadavg: 2.03 2.01 2.00 3/82 17156
/proc/meminfo: memFree=1409168/2055920 swapFree=4192812/4192956
[pid=17150] ppid=17148 vsize=16444 CPUtime=25.24
/proc/17150/stat : 17150 (pcs.small) R 17148 17150 16451 0 -1 4194304 4646 822 0 0 2521 3 0 0 25 0 1 0 60143474 16838656 2839 996147200 134512640 135095119 4294956304 18446744073709551615 134641734 0 0 4096 0 0 0 0 17 1 0 0
/proc/17150/statm: 4111 2839 378 142 0 3065 0
Current children cumulated CPU time (s) 25.24
Current children cumulated vsize (KiB) 16444

[startup+51.1019 s]
/proc/loadavg: 2.02 2.01 2.00 3/82 17156
/proc/meminfo: memFree=1405136/2055920 swapFree=4192812/4192956
[pid=17150] ppid=17148 vsize=18680 CPUtime=50.6
/proc/17150/stat : 17150 (pcs.small) R 17148 17150 16451 0 -1 4194304 5654 822 0 0 5055 5 0 0 25 0 1 0 60143474 19128320 3847 996147200 134512640 135095119 4294956304 18446744073709551615 134642931 0 0 4096 0 0 0 0 17 1 0 0
/proc/17150/statm: 4670 3847 378 142 0 3624 0
Current children cumulated CPU time (s) 50.6
Current children cumulated vsize (KiB) 18680

[startup+102.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 17189
/proc/meminfo: memFree=1401312/2055920 swapFree=4192812/4192956
[pid=17150] ppid=17148 vsize=29564 CPUtime=101.75
/proc/17150/stat : 17150 (pcs.small) R 17148 17150 16451 0 -1 4194304 9077 822 0 0 10167 8 0 0 25 0 1 0 60143474 30273536 5732 996147200 134512640 135095119 4294956304 18446744073709551615 134589560 0 0 4096 0 0 0 0 17 0 0 0
/proc/17150/statm: 7391 5732 378 142 0 6345 0
Current children cumulated CPU time (s) 101.75
Current children cumulated vsize (KiB) 29564

[startup+162.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 17189
/proc/meminfo: memFree=1387488/2055920 swapFree=4192812/4192956
[pid=17150] ppid=17148 vsize=32188 CPUtime=161.73
/proc/17150/stat : 17150 (pcs.small) R 17148 17150 16451 0 -1 4194304 10352 822 0 0 16163 10 0 0 25 0 1 0 60143474 32960512 7007 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 0 0 0
/proc/17150/statm: 8047 7007 378 142 0 7001 0
Current children cumulated CPU time (s) 161.73
Current children cumulated vsize (KiB) 32188

[startup+222.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 17189
/proc/meminfo: memFree=1378400/2055920 swapFree=4192812/4192956
[pid=17150] ppid=17148 vsize=43272 CPUtime=221.71
/proc/17150/stat : 17150 (pcs.small) R 17148 17150 16451 0 -1 4194304 13646 822 0 0 22158 13 0 0 25 0 1 0 60143474 44310528 8252 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 0 0 0
/proc/17150/statm: 10818 8252 378 142 0 9772 0
Current children cumulated CPU time (s) 221.71
Current children cumulated vsize (KiB) 43272

[startup+282.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 17189
/proc/meminfo: memFree=1369568/2055920 swapFree=4192812/4192956
[pid=17150] ppid=17148 vsize=45768 CPUtime=281.68
/proc/17150/stat : 17150 (pcs.small) R 17148 17150 16451 0 -1 4194304 14752 822 0 0 28154 14 0 0 25 0 1 0 60143474 46866432 9358 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 0 0 0
/proc/17150/statm: 11442 9358 378 142 0 10396 0
Current children cumulated CPU time (s) 281.68
Current children cumulated vsize (KiB) 45768

[startup+342.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 17189
/proc/meminfo: memFree=1357280/2055920 swapFree=4192812/4192956
[pid=17150] ppid=17148 vsize=56200 CPUtime=341.66
/proc/17150/stat : 17150 (pcs.small) R 17148 17150 16451 0 -1 4194304 17806 822 0 0 34150 16 0 0 25 0 1 0 60143474 57548800 11387 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 0 0 0
/proc/17150/statm: 14050 11387 378 142 0 13004 0
Current children cumulated CPU time (s) 341.66
Current children cumulated vsize (KiB) 56200

[startup+402.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 17189
/proc/meminfo: memFree=1346016/2055920 swapFree=4192812/4192956
[pid=17150] ppid=17148 vsize=56200 CPUtime=401.64
/proc/17150/stat : 17150 (pcs.small) R 17148 17150 16451 0 -1 4194304 18208 822 0 0 40147 17 0 0 25 0 1 0 60143474 57548800 11789 996147200 134512640 135095119 4294956304 18446744073709551615 134589560 0 0 4096 0 0 0 0 17 0 0 0
/proc/17150/statm: 14050 11789 378 142 0 13004 0
Current children cumulated CPU time (s) 401.64
Current children cumulated vsize (KiB) 56200

[startup+462.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 17189
/proc/meminfo: memFree=1342240/2055920 swapFree=4192812/4192956
[pid=17150] ppid=17148 vsize=56980 CPUtime=461.61
/proc/17150/stat : 17150 (pcs.small) R 17148 17150 16451 0 -1 4194304 18759 822 0 0 46144 17 0 0 25 0 1 0 60143474 58347520 12340 996147200 134512640 135095119 4294956304 18446744073709551615 134589560 0 0 4096 0 0 0 0 17 0 0 0
/proc/17150/statm: 14245 12340 378 142 0 13199 0
Current children cumulated CPU time (s) 461.61
Current children cumulated vsize (KiB) 56980

[startup+522.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 17195
/proc/meminfo: memFree=1337568/2055920 swapFree=4192812/4192956
[pid=17150] ppid=17148 vsize=58680 CPUtime=521.58
/proc/17150/stat : 17150 (pcs.small) R 17148 17150 16451 0 -1 4194304 19575 822 0 0 52140 18 0 0 25 0 1 0 60143474 60088320 13156 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 0 0 0
/proc/17150/statm: 14670 13156 378 142 0 13624 0
Current children cumulated CPU time (s) 521.58
Current children cumulated vsize (KiB) 58680

[startup+582.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 17195
/proc/meminfo: memFree=1332512/2055920 swapFree=4192812/4192956
[pid=17150] ppid=17148 vsize=76896 CPUtime=581.55
/proc/17150/stat : 17150 (pcs.small) R 17148 17150 16451 0 -1 4194304 24448 822 0 0 58134 21 0 0 25 0 1 0 60143474 78741504 13932 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 0 0 0
/proc/17150/statm: 19224 13932 378 142 0 18178 0
Current children cumulated CPU time (s) 581.55
Current children cumulated vsize (KiB) 76896

[startup+642.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 17195
/proc/meminfo: memFree=1326496/2055920 swapFree=4192812/4192956
[pid=17150] ppid=17148 vsize=78600 CPUtime=641.53
/proc/17150/stat : 17150 (pcs.small) R 17148 17150 16451 0 -1 4194304 25228 822 0 0 64131 22 0 0 25 0 1 0 60143474 80486400 14712 996147200 134512640 135095119 4294956304 18446744073709551615 134642970 0 0 4096 0 0 0 0 17 0 0 0
/proc/17150/statm: 19650 14712 378 142 0 18604 0
Current children cumulated CPU time (s) 641.53
Current children cumulated vsize (KiB) 78600

[startup+702.301 s]

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

[startup+882.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 17195
/proc/meminfo: memFree=1303648/2055920 swapFree=4192812/4192956
[pid=17150] ppid=17148 vsize=85160 CPUtime=881.45
/proc/17150/stat : 17150 (pcs.small) R 17148 17150 16451 0 -1 4194304 28095 822 0 0 88118 27 0 0 25 0 1 0 60143474 87203840 17579 996147200 134512640 135095119 4294956304 18446744073709551615 134636890 0 0 4096 0 0 0 0 17 0 0 0
/proc/17150/statm: 21290 17579 378 142 0 20244 0
Current children cumulated CPU time (s) 881.45
Current children cumulated vsize (KiB) 85160

[startup+942.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 17195
/proc/meminfo: memFree=1298592/2055920 swapFree=4192812/4192956
[pid=17150] ppid=17148 vsize=86608 CPUtime=941.42
/proc/17150/stat : 17150 (pcs.small) R 17148 17150 16451 0 -1 4194304 28743 822 0 0 94114 28 0 0 25 0 1 0 60143474 88686592 18227 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 0 0 0
/proc/17150/statm: 21652 18227 378 142 0 20606 0
Current children cumulated CPU time (s) 941.42
Current children cumulated vsize (KiB) 86608

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 17195
/proc/meminfo: memFree=1293088/2055920 swapFree=4192812/4192956
[pid=17150] ppid=17148 vsize=88180 CPUtime=1001.39
/proc/17150/stat : 17150 (pcs.small) R 17148 17150 16451 0 -1 4194304 29411 822 0 0 100110 29 0 0 25 0 1 0 60143474 90296320 18895 996147200 134512640 135095119 4294956304 18446744073709551615 134642952 0 0 4096 0 0 0 0 17 0 0 0
/proc/17150/statm: 22045 18895 378 142 0 20999 0
Current children cumulated CPU time (s) 1001.39
Current children cumulated vsize (KiB) 88180

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 17195
/proc/meminfo: memFree=1274720/2055920 swapFree=4192812/4192956
[pid=17150] ppid=17148 vsize=111012 CPUtime=1061.37
/proc/17150/stat : 17150 (pcs.small) R 17148 17150 16451 0 -1 4194304 35405 822 0 0 106105 32 0 0 25 0 1 0 60143474 113676288 22840 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 0 0 0
/proc/17150/statm: 27753 22840 378 142 0 26707 0
Current children cumulated CPU time (s) 1061.37
Current children cumulated vsize (KiB) 111012

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 17195
/proc/meminfo: memFree=1271200/2055920 swapFree=4192812/4192956
[pid=17150] ppid=17148 vsize=111012 CPUtime=1121.35
/proc/17150/stat : 17150 (pcs.small) R 17148 17150 16451 0 -1 4194304 35669 822 0 0 112103 32 0 0 25 0 1 0 60143474 113676288 23104 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 0 0 0
/proc/17150/statm: 27753 23104 378 142 0 26707 0
Current children cumulated CPU time (s) 1121.35
Current children cumulated vsize (KiB) 111012

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 17195
/proc/meminfo: memFree=1267680/2055920 swapFree=4192812/4192956
[pid=17150] ppid=17148 vsize=111012 CPUtime=1181.32
/proc/17150/stat : 17150 (pcs.small) R 17148 17150 16451 0 -1 4194304 35932 822 0 0 118100 32 0 0 25 0 1 0 60143474 113676288 23367 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 0 0 0
/proc/17150/statm: 27753 23367 378 142 0 26707 0
Current children cumulated CPU time (s) 1181.32
Current children cumulated vsize (KiB) 111012

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 17195
/proc/meminfo: memFree=1250144/2055920 swapFree=4192812/4192956
[pid=17150] ppid=17148 vsize=111012 CPUtime=1241.31
/proc/17150/stat : 17150 (pcs.small) R 17148 17150 16451 0 -1 4194304 36191 822 0 0 124098 33 0 0 25 0 1 0 60143474 113676288 23626 996147200 134512640 135095119 4294956304 18446744073709551615 134617072 0 0 4096 0 0 0 0 17 0 0 0
/proc/17150/statm: 27753 23626 378 142 0 26707 0
Current children cumulated CPU time (s) 1241.31
Current children cumulated vsize (KiB) 111012

[startup+1302.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/73 17195
/proc/meminfo: memFree=1247968/2055920 swapFree=4192812/4192956
[pid=17150] ppid=17148 vsize=111012 CPUtime=1301.29
/proc/17150/stat : 17150 (pcs.small) R 17148 17150 16451 0 -1 4194304 36447 822 0 0 130096 33 0 0 25 0 1 0 60143474 113676288 23882 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 0 0 0
/proc/17150/statm: 27753 23882 378 142 0 26707 0
Current children cumulated CPU time (s) 1301.29
Current children cumulated vsize (KiB) 111012

[startup+1362.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/73 17195
/proc/meminfo: memFree=1246048/2055920 swapFree=4192812/4192956
[pid=17150] ppid=17148 vsize=111012 CPUtime=1361.26
/proc/17150/stat : 17150 (pcs.small) R 17148 17150 16451 0 -1 4194304 36698 822 0 0 136092 34 0 0 25 0 1 0 60143474 113676288 24133 996147200 134512640 135095119 4294956304 18446744073709551615 134642970 0 0 4096 0 0 0 0 17 0 0 0
/proc/17150/statm: 27753 24133 378 142 0 26707 0
Current children cumulated CPU time (s) 1361.26
Current children cumulated vsize (KiB) 111012

[startup+1422.3 s]
/proc/loadavg: 2.08 2.02 2.00 3/73 17195
/proc/meminfo: memFree=1244064/2055920 swapFree=4192812/4192956
[pid=17150] ppid=17148 vsize=111012 CPUtime=1421.24
/proc/17150/stat : 17150 (pcs.small) R 17148 17150 16451 0 -1 4194304 36946 822 0 0 142090 34 0 0 25 0 1 0 60143474 113676288 24381 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 0 0 0
/proc/17150/statm: 27753 24381 378 142 0 26707 0
Current children cumulated CPU time (s) 1421.24
Current children cumulated vsize (KiB) 111012

[startup+1482.3 s]
/proc/loadavg: 2.09 2.03 2.00 3/73 17195
/proc/meminfo: memFree=1242144/2055920 swapFree=4192812/4192956
[pid=17150] ppid=17148 vsize=111012 CPUtime=1481.22
/proc/17150/stat : 17150 (pcs.small) R 17148 17150 16451 0 -1 4194304 37189 822 0 0 148087 35 0 0 25 0 1 0 60143474 113676288 24624 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 0 0 0
/proc/17150/statm: 27753 24624 378 142 0 26707 0
Current children cumulated CPU time (s) 1481.22
Current children cumulated vsize (KiB) 111012

[startup+1542.31 s]
/proc/loadavg: 2.10 2.04 2.00 3/73 17195
/proc/meminfo: memFree=1240224/2055920 swapFree=4192812/4192956
[pid=17150] ppid=17148 vsize=111012 CPUtime=1541.2
/proc/17150/stat : 17150 (pcs.small) R 17148 17150 16451 0 -1 4194304 37430 822 0 0 154084 36 0 0 25 0 1 0 60143474 113676288 24865 996147200 134512640 135095119 4294956304 18446744073709551615 134642912 0 0 4096 0 0 0 0 17 0 0 0
/proc/17150/statm: 27753 24865 378 142 0 26707 0
Current children cumulated CPU time (s) 1541.2
Current children cumulated vsize (KiB) 111012

[startup+1602.3 s]
/proc/loadavg: 2.09 2.04 2.00 3/73 17195
/proc/meminfo: memFree=1238240/2055920 swapFree=4192812/4192956
[pid=17150] ppid=17148 vsize=111276 CPUtime=1601.17
/proc/17150/stat : 17150 (pcs.small) R 17148 17150 16451 0 -1 4194304 37743 822 0 0 160081 36 0 0 25 0 1 0 60143474 113946624 25178 996147200 134512640 135095119 4294956304 18446744073709551615 134589560 0 0 4096 0 0 0 0 17 0 0 0
/proc/17150/statm: 27819 25178 378 142 0 26773 0
Current children cumulated CPU time (s) 1601.17
Current children cumulated vsize (KiB) 111276

[startup+1662.3 s]
/proc/loadavg: 2.08 2.05 2.00 3/73 17195
/proc/meminfo: memFree=1235296/2055920 swapFree=4192812/4192956
[pid=17150] ppid=17148 vsize=112448 CPUtime=1661.16
/proc/17150/stat : 17150 (pcs.small) R 17148 17150 16451 0 -1 4194304 38248 822 0 0 166079 37 0 0 25 0 1 0 60143474 115146752 25683 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 0 0 0
/proc/17150/statm: 28112 25683 378 142 0 27066 0
Current children cumulated CPU time (s) 1661.16
Current children cumulated vsize (KiB) 112448

[startup+1722.3 s]
/proc/loadavg: 2.08 2.05 2.00 3/73 17195
/proc/meminfo: memFree=1232352/2055920 swapFree=4192812/4192956
[pid=17150] ppid=17148 vsize=113500 CPUtime=1721.13
/proc/17150/stat : 17150 (pcs.small) R 17148 17150 16451 0 -1 4194304 38765 822 0 0 172075 38 0 0 25 0 1 0 60143474 116224000 26200 996147200 134512640 135095119 4294956304 18446744073709551615 134642884 0 0 4096 0 0 0 0 17 0 0 0
/proc/17150/statm: 28375 26200 378 142 0 27329 0
Current children cumulated CPU time (s) 1721.13
Current children cumulated vsize (KiB) 113500

[startup+1782.3 s]
/proc/loadavg: 2.07 2.06 2.00 3/73 17195
/proc/meminfo: memFree=1229152/2055920 swapFree=4192812/4192956
[pid=17150] ppid=17148 vsize=147456 CPUtime=1781.12
/proc/17150/stat : 17150 (pcs.small) R 17148 17150 16451 0 -1 4194304 47456 822 0 0 178069 43 0 0 25 0 1 0 60143474 150994944 26698 996147200 134512640 135095119 4294956304 18446744073709551615 134589560 0 0 4096 0 0 0 0 17 0 0 0
/proc/17150/statm: 36864 26698 378 142 0 35818 0
Current children cumulated CPU time (s) 1781.12
Current children cumulated vsize (KiB) 147456



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1801.2 s]
/proc/loadavg: 2.13 2.07 2.01 3/73 17195
/proc/meminfo: memFree=1228384/2055920 swapFree=4192812/4192956
[pid=17150] ppid=17148 vsize=147724 CPUtime=1800.01
/proc/17150/stat : 17150 (pcs.small) R 17148 17150 16451 0 -1 4194304 47619 822 0 0 179958 43 0 0 25 0 1 0 60143474 151269376 26861 996147200 134512640 135095119 4294956304 18446744073709551615 134589545 0 0 4096 0 0 0 0 17 0 0 0
/proc/17150/statm: 36931 26861 378 142 0 35885 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 147724

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

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

[startup+1801.2 s]
/proc/loadavg: 2.13 2.07 2.01 3/73 17195
/proc/meminfo: memFree=1228384/2055920 swapFree=4192812/4192956
[pid=17150] ppid=17148 vsize=147724 CPUtime=1800.01
/proc/17150/stat : 17150 (pcs.small) R 17148 17150 16451 0 -1 4194304 47619 822 0 0 179958 43 0 0 25 0 1 0 60143474 151269376 26861 996147200 134512640 135095119 4294956304 18446744073709551615 134589545 0 0 4096 0 0 0 0 17 0 0 0
/proc/17150/statm: 36931 26861 378 142 0 35885 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 147724

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1801.22
CPU time (s): 1800.05
CPU user time (s): 1799.59
CPU system time (s): 0.45593
CPU usage (%): 99.9345
Max. virtual memory (cumulated for all children) (KiB): 147724

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

runsolver used 2.52861 second user time and 5.66914 second system time

The end

Launcher Data 

Begin job on node35 at 2009-07-16 09:52:51
IDJOB=2089897
IDBENCH=59644
IDSOLVER=733
FILE ID=node35/2089897-1247730771
PBS_JOBID= 9521554
Free space on /tmp= 66160 MiB

SOLVER NAME= pcs 0.2
BENCH NAME= CPAI08/csp/rand-2-40-19/normalized-rand-2-40-19-443-230-3_ext.xml
COMMAND LINE= HOME/pcssolve -s RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2089897-1247730771/watcher-2089897-1247730771 -o /tmp/evaluation-result-2089897-1247730771/solver-2089897-1247730771 -C 1800 -W 2000 -M 900  HOME/pcssolve -s 1047301486 HOME/instance-2089897-1247730771.xml

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

MD5SUM BENCH= 0c6e1c1c4ed482c33d9ef383824b7f75
RANDOM SEED=1047301486

node35.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.213
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.213
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:       1419704 kB
Buffers:         70588 kB
Cached:         448320 kB
SwapCached:          0 kB
Active:          99332 kB
Inactive:       452040 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1419704 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            1988 kB
Writeback:           0 kB
Mapped:          52844 kB
Slab:            69988 kB
Committed_AS:   604580 kB
PageTables:       1892 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= 66156 MiB
End job on node35 at 2009-07-16 10:22:54