Trace number 2089974

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

General information on the benchmark

Namecsp/rand-2-40-19/
normalized-rand-2-40-19-443-230-13_ext.xml
MD5SUM651c62c6961ea46c870b8699d9d0bf8b
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 benchmark25.6561
Satisfiable
(Un)Satisfiability was proved
Number of variables40
Number of constraints342
Maximum constraint arity2
Maximum domain size19
Number of constraints which are defined in extension342
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.18/0.20	c Seed is 1697924583
0.18/0.20	c Constructing HOME/instance-2089974-1247730913.xml  with 6462 constraints
0.18/0.20	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-2089974-1247730913/watcher-2089974-1247730913 -o /tmp/evaluation-result-2089974-1247730913/solver-2089974-1247730913 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 1697924583 HOME/instance-2089974-1247730913.xml 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 4/73 16226
/proc/meminfo: memFree=1562120/2055920 swapFree=4192812/4192956
[pid=16226] ppid=16224 vsize=5356 CPUtime=0
/proc/16226/stat : 16226 (pcssolve) S 16224 16226 14707 0 -1 4194304 339 317 0 0 0 0 0 0 18 0 1 0 60156660 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 243665527620 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16226/statm: 1339 242 201 169 0 50 0
[pid=16229] ppid=16226 vsize=5356 CPUtime=0
/proc/16229/stat : 16229 (pcssolve) R 16226 16226 14707 0 -1 4194368 21 0 0 0 0 0 0 0 21 0 1 0 60156661 5484544 243 996147200 4194304 4889804 548682068800 18446744073709551615 243665530151 0 0 4096 0 0 0 0 17 1 0 0
/proc/16229/statm: 1339 243 202 169 0 50 0
[pid=16230] ppid=16226 vsize=5356 CPUtime=0
/proc/16230/stat : 16230 (pcssolve) R 16226 16226 14707 0 -1 4194368 22 0 0 0 0 0 0 0 22 0 1 0 60156661 5484544 244 996147200 4194304 4889804 548682068800 18446744073709551615 243665530151 0 0 4096 0 0 0 0 17 1 0 0
/proc/16230/statm: 1339 244 203 169 0 50 0

[startup+0.0352041 s]
/proc/loadavg: 2.00 2.00 2.00 4/73 16226
/proc/meminfo: memFree=1562120/2055920 swapFree=4192812/4192956
[pid=16226] ppid=16224 vsize=4640 CPUtime=0.02
/proc/16226/stat : 16226 (pcs.small) R 16224 16226 14707 0 -1 4194304 885 822 0 0 2 0 0 0 17 0 1 0 60156660 4751360 494 996147200 134512640 135095119 4294956304 18446744073709551615 134741727 0 0 4096 0 0 0 0 17 0 0 0
/proc/16226/statm: 1160 494 364 142 0 114 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 4640

[startup+0.102216 s]
/proc/loadavg: 2.00 2.00 2.00 4/73 16226
/proc/meminfo: memFree=1562120/2055920 swapFree=4192812/4192956
[pid=16226] ppid=16224 vsize=6372 CPUtime=0.08
/proc/16226/stat : 16226 (pcs.small) R 16224 16226 14707 0 -1 4194304 1349 822 0 0 8 0 0 0 17 0 1 0 60156660 6524928 925 996147200 134512640 135095119 4294956304 18446744073709551615 134839422 0 0 4096 0 0 0 0 17 0 0 0
/proc/16226/statm: 1593 925 377 142 0 547 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 6372

[startup+0.302252 s]
/proc/loadavg: 2.00 2.00 2.00 4/73 16226
/proc/meminfo: memFree=1562120/2055920 swapFree=4192812/4192956
[pid=16226] ppid=16224 vsize=6372 CPUtime=0.28
/proc/16226/stat : 16226 (pcs.small) R 16224 16226 14707 0 -1 4194304 1354 822 0 0 28 0 0 0 19 0 1 0 60156660 6524928 930 996147200 134512640 135095119 4294956304 18446744073709551615 134617208 0 0 4096 0 0 0 0 17 0 0 0
/proc/16226/statm: 1593 930 378 142 0 547 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 6372

[startup+0.701325 s]
/proc/loadavg: 2.00 2.00 2.00 4/73 16226
/proc/meminfo: memFree=1562120/2055920 swapFree=4192812/4192956
[pid=16226] ppid=16224 vsize=6372 CPUtime=0.68
/proc/16226/stat : 16226 (pcs.small) R 16224 16226 14707 0 -1 4194304 1362 822 0 0 68 0 0 0 23 0 1 0 60156660 6524928 938 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 0 0 0
/proc/16226/statm: 1593 938 378 142 0 547 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 6372

[startup+1.50147 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 16232
/proc/meminfo: memFree=1559488/2055920 swapFree=4192812/4192956
[pid=16226] ppid=16224 vsize=7144 CPUtime=1.48
/proc/16226/stat : 16226 (pcs.small) R 16224 16226 14707 0 -1 4194304 1507 822 0 0 148 0 0 0 25 0 1 0 60156660 7315456 1018 996147200 134512640 135095119 4294956304 18446744073709551615 134641649 0 0 4096 0 0 0 0 17 0 0 0
/proc/16226/statm: 1786 1018 378 142 0 740 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 7144

[startup+3.10176 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 16232
/proc/meminfo: memFree=1559104/2055920 swapFree=4192812/4192956
[pid=16226] ppid=16224 vsize=7788 CPUtime=3.06
/proc/16226/stat : 16226 (pcs.small) R 16224 16226 14707 0 -1 4194304 1742 822 0 0 306 0 0 0 25 0 1 0 60156660 7974912 1124 996147200 134512640 135095119 4294956304 18446744073709551615 134589560 0 0 4096 0 0 0 0 17 0 0 0
/proc/16226/statm: 1947 1124 378 142 0 901 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 7788

[startup+6.30134 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 16232
/proc/meminfo: memFree=1557056/2055920 swapFree=4192812/4192956
[pid=16226] ppid=16224 vsize=9356 CPUtime=6.26
/proc/16226/stat : 16226 (pcs.small) R 16224 16226 14707 0 -1 4194304 2288 822 0 0 625 1 0 0 25 0 1 0 60156660 9580544 1541 996147200 134512640 135095119 4294956304 18446744073709551615 134589560 0 0 4096 0 0 0 0 17 0 0 0
/proc/16226/statm: 2339 1541 378 142 0 1293 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 9356

[startup+12.7015 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 16232
/proc/meminfo: memFree=1554696/2055920 swapFree=4192812/4192956
[pid=16226] ppid=16224 vsize=11416 CPUtime=12.64
/proc/16226/stat : 16226 (pcs.small) R 16224 16226 14707 0 -1 4194304 3036 822 0 0 1262 2 0 0 25 0 1 0 60156660 11689984 2032 996147200 134512640 135095119 4294956304 18446744073709551615 134589504 0 0 4096 0 0 0 0 17 0 0 0
/proc/16226/statm: 2854 2032 378 142 0 1808 0
Current children cumulated CPU time (s) 12.64
Current children cumulated vsize (KiB) 11416

[startup+25.5028 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 16232
/proc/meminfo: memFree=1550728/2055920 swapFree=4192812/4192956
[pid=16226] ppid=16224 vsize=16468 CPUtime=25.38
/proc/16226/stat : 16226 (pcs.small) R 16224 16226 14707 0 -1 4194304 4694 822 0 0 2535 3 0 0 25 0 1 0 60156660 16863232 2887 996147200 134512640 135095119 4294956304 18446744073709551615 134589560 0 0 4096 0 0 0 0 17 0 0 0
/proc/16226/statm: 4117 2887 378 142 0 3071 0
Current children cumulated CPU time (s) 25.38
Current children cumulated vsize (KiB) 16468

[startup+51.1025 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 16232
/proc/meminfo: memFree=1545864/2055920 swapFree=4192812/4192956
[pid=16226] ppid=16224 vsize=18956 CPUtime=50.87
/proc/16226/stat : 16226 (pcs.small) R 16224 16226 14707 0 -1 4194304 5768 822 0 0 5082 5 0 0 25 0 1 0 60156660 19410944 3961 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 0 0 0
/proc/16226/statm: 4739 3961 378 142 0 3693 0
Current children cumulated CPU time (s) 50.87
Current children cumulated vsize (KiB) 18956

[startup+102.306 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 16274
/proc/meminfo: memFree=1598512/2055920 swapFree=4192812/4192956
[pid=16226] ppid=16224 vsize=29716 CPUtime=101.79
/proc/16226/stat : 16226 (pcs.small) R 16224 16226 14707 0 -1 4194304 9159 822 0 0 10172 7 0 0 25 0 1 0 60156660 30429184 5814 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 0 0 0
/proc/16226/statm: 7429 5814 378 142 0 6383 0
Current children cumulated CPU time (s) 101.79
Current children cumulated vsize (KiB) 29716

[startup+162.303 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 16632
/proc/meminfo: memFree=1589240/2055920 swapFree=4192812/4192956
[pid=16226] ppid=16224 vsize=32340 CPUtime=161.06
/proc/16226/stat : 16226 (pcs.small) R 16224 16226 14707 0 -1 4194304 10443 822 0 0 16095 11 0 0 25 0 1 0 60156660 33116160 7098 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 1 0 0
/proc/16226/statm: 8085 7098 378 142 0 7039 0
Current children cumulated CPU time (s) 161.06
Current children cumulated vsize (KiB) 32340

[startup+222.302 s]
/proc/loadavg: 2.03 2.01 2.00 3/74 16664
/proc/meminfo: memFree=1586184/2055920 swapFree=4192812/4192956
[pid=16226] ppid=16224 vsize=43432 CPUtime=220.78
/proc/16226/stat : 16226 (pcs.small) R 16224 16226 14707 0 -1 4194304 13767 822 0 0 22065 13 0 0 25 0 1 0 60156660 44474368 8373 996147200 134512640 135095119 4294956304 18446744073709551615 134643063 0 0 4096 0 0 0 0 17 1 0 0
/proc/16226/statm: 10858 8373 378 142 0 9812 0
Current children cumulated CPU time (s) 220.78
Current children cumulated vsize (KiB) 43432

[startup+282.301 s]
/proc/loadavg: 2.01 2.01 2.00 3/74 16664
/proc/meminfo: memFree=1570760/2055920 swapFree=4192812/4192956
[pid=16226] ppid=16224 vsize=56352 CPUtime=280.54
/proc/16226/stat : 16226 (pcs.small) R 16224 16226 14707 0 -1 4194304 17486 822 0 0 28039 15 0 0 25 0 1 0 60156660 57704448 11067 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 1 0 0
/proc/16226/statm: 14088 11067 378 142 0 13042 0
Current children cumulated CPU time (s) 280.54
Current children cumulated vsize (KiB) 56352

[startup+342.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 16664
/proc/meminfo: memFree=1549704/2055920 swapFree=4192812/4192956
[pid=16226] ppid=16224 vsize=56352 CPUtime=340.3
/proc/16226/stat : 16226 (pcs.small) R 16224 16226 14707 0 -1 4194304 17931 822 0 0 34015 15 0 0 25 0 1 0 60156660 57704448 11512 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 1 0 0
/proc/16226/statm: 14088 11512 378 142 0 13042 0
Current children cumulated CPU time (s) 340.3
Current children cumulated vsize (KiB) 56352

[startup+402.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 16670
/proc/meminfo: memFree=1536264/2055920 swapFree=4192812/4192956
[pid=16226] ppid=16224 vsize=56352 CPUtime=400.06
/proc/16226/stat : 16226 (pcs.small) R 16224 16226 14707 0 -1 4194304 18350 822 0 0 39990 16 0 0 25 0 1 0 60156660 57704448 11931 996147200 134512640 135095119 4294956304 18446744073709551615 134589648 0 0 4096 0 0 0 0 17 1 0 0
/proc/16226/statm: 14088 11931 378 142 0 13042 0
Current children cumulated CPU time (s) 400.06
Current children cumulated vsize (KiB) 56352

[startup+462.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 16670
/proc/meminfo: memFree=1521928/2055920 swapFree=4192812/4192956
[pid=16226] ppid=16224 vsize=57272 CPUtime=459.82
/proc/16226/stat : 16226 (pcs.small) R 16224 16226 14707 0 -1 4194304 18965 822 0 0 45966 16 0 0 25 0 1 0 60156660 58646528 12546 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 1 0 0
/proc/16226/statm: 14318 12546 378 142 0 13272 0
Current children cumulated CPU time (s) 459.82
Current children cumulated vsize (KiB) 57272

[startup+522.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 16670
/proc/meminfo: memFree=1506504/2055920 swapFree=4192812/4192956
[pid=16226] ppid=16224 vsize=59112 CPUtime=519.58
/proc/16226/stat : 16226 (pcs.small) R 16224 16226 14707 0 -1 4194304 19813 822 0 0 51941 17 0 0 25 0 1 0 60156660 60530688 13394 996147200 134512640 135095119 4294956304 18446744073709551615 134589575 0 0 4096 0 0 0 0 17 1 0 0
/proc/16226/statm: 14778 13394 378 142 0 13732 0
Current children cumulated CPU time (s) 519.58
Current children cumulated vsize (KiB) 59112

[startup+582.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 16670
/proc/meminfo: memFree=1490952/2055920 swapFree=4192812/4192956
[pid=16226] ppid=16224 vsize=77460 CPUtime=579.35
/proc/16226/stat : 16226 (pcs.small) R 16224 16226 14707 0 -1 4194304 24750 822 0 0 57915 20 0 0 25 0 1 0 60156660 79319040 14234 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 1 0 0
/proc/16226/statm: 19365 14234 378 142 0 18319 0
Current children cumulated CPU time (s) 579.35
Current children cumulated vsize (KiB) 77460

[startup+642.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 16670
/proc/meminfo: memFree=1475080/2055920 swapFree=4192812/4192956
[pid=16226] ppid=16224 vsize=79160 CPUtime=639.11

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

[startup+822.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 16670
/proc/meminfo: memFree=1432328/2055920 swapFree=4192812/4192956
[pid=16226] ppid=16224 vsize=84408 CPUtime=818.39
/proc/16226/stat : 16226 (pcs.small) R 16224 16226 14707 0 -1 4194304 27820 822 0 0 81816 23 0 0 25 0 1 0 60156660 86433792 17304 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 1 0 0
/proc/16226/statm: 21102 17304 378 142 0 20056 0
Current children cumulated CPU time (s) 818.39
Current children cumulated vsize (KiB) 84408

[startup+882.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 16670
/proc/meminfo: memFree=1418824/2055920 swapFree=4192812/4192956
[pid=16226] ppid=16224 vsize=85984 CPUtime=878.15
/proc/16226/stat : 16226 (pcs.small) R 16224 16226 14707 0 -1 4194304 28523 822 0 0 87791 24 0 0 25 0 1 0 60156660 88047616 18007 996147200 134512640 135095119 4294956304 18446744073709551615 134589545 0 0 4096 0 0 0 0 17 1 0 0
/proc/16226/statm: 21496 18007 378 142 0 20450 0
Current children cumulated CPU time (s) 878.15
Current children cumulated vsize (KiB) 85984

[startup+942.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 16670
/proc/meminfo: memFree=1405576/2055920 swapFree=4192812/4192956
[pid=16226] ppid=16224 vsize=87556 CPUtime=937.92
/proc/16226/stat : 16226 (pcs.small) R 16224 16226 14707 0 -1 4194304 29212 822 0 0 93767 25 0 0 25 0 1 0 60156660 89657344 18696 996147200 134512640 135095119 4294956304 18446744073709551615 4158851740 0 0 4096 0 0 0 0 17 1 0 0
/proc/16226/statm: 21889 18696 378 142 0 20843 0
Current children cumulated CPU time (s) 937.92
Current children cumulated vsize (KiB) 87556

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 16670
/proc/meminfo: memFree=1375880/2055920 swapFree=4192812/4192956
[pid=16226] ppid=16224 vsize=111176 CPUtime=997.67
/proc/16226/stat : 16226 (pcs.small) R 16224 16226 14707 0 -1 4194304 35412 822 0 0 99740 27 0 0 25 0 1 0 60156660 113844224 22847 996147200 134512640 135095119 4294956304 18446744073709551615 134589545 0 0 4096 0 0 0 0 17 1 0 0
/proc/16226/statm: 27794 22847 378 142 0 26748 0
Current children cumulated CPU time (s) 997.67
Current children cumulated vsize (KiB) 111176

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 16670
/proc/meminfo: memFree=1365256/2055920 swapFree=4192812/4192956
[pid=16226] ppid=16224 vsize=111176 CPUtime=1057.44
/proc/16226/stat : 16226 (pcs.small) R 16224 16226 14707 0 -1 4194304 35694 822 0 0 105716 28 0 0 25 0 1 0 60156660 113844224 23129 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 1 0 0
/proc/16226/statm: 27794 23129 378 142 0 26748 0
Current children cumulated CPU time (s) 1057.44
Current children cumulated vsize (KiB) 111176

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 16670
/proc/meminfo: memFree=1353352/2055920 swapFree=4192812/4192956
[pid=16226] ppid=16224 vsize=111176 CPUtime=1117.2
/proc/16226/stat : 16226 (pcs.small) R 16224 16226 14707 0 -1 4194304 35968 822 0 0 111692 28 0 0 25 0 1 0 60156660 113844224 23403 996147200 134512640 135095119 4294956304 18446744073709551615 134615460 0 0 4096 0 0 0 0 17 1 0 0
/proc/16226/statm: 27794 23403 378 142 0 26748 0
Current children cumulated CPU time (s) 1117.2
Current children cumulated vsize (KiB) 111176

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 16670
/proc/meminfo: memFree=1340296/2055920 swapFree=4192812/4192956
[pid=16226] ppid=16224 vsize=111176 CPUtime=1176.96
/proc/16226/stat : 16226 (pcs.small) R 16224 16226 14707 0 -1 4194304 36242 822 0 0 117668 28 0 0 25 0 1 0 60156660 113844224 23677 996147200 134512640 135095119 4294956304 18446744073709551615 134576176 0 0 4096 0 0 0 0 17 1 0 0
/proc/16226/statm: 27794 23677 378 142 0 26748 0
Current children cumulated CPU time (s) 1176.96
Current children cumulated vsize (KiB) 111176

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 16670
/proc/meminfo: memFree=1328776/2055920 swapFree=4192812/4192956
[pid=16226] ppid=16224 vsize=111176 CPUtime=1236.72
/proc/16226/stat : 16226 (pcs.small) R 16224 16226 14707 0 -1 4194304 36502 822 0 0 123644 28 0 0 25 0 1 0 60156660 113844224 23937 996147200 134512640 135095119 4294956304 18446744073709551615 134637450 0 0 4096 0 0 0 0 17 1 0 0
/proc/16226/statm: 27794 23937 378 142 0 26748 0
Current children cumulated CPU time (s) 1236.72
Current children cumulated vsize (KiB) 111176

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 16670
/proc/meminfo: memFree=1316168/2055920 swapFree=4192812/4192956
[pid=16226] ppid=16224 vsize=111176 CPUtime=1296.49
/proc/16226/stat : 16226 (pcs.small) R 16224 16226 14707 0 -1 4194304 36770 822 0 0 129620 29 0 0 25 0 1 0 60156660 113844224 24205 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 1 0 0
/proc/16226/statm: 27794 24205 378 142 0 26748 0
Current children cumulated CPU time (s) 1296.49
Current children cumulated vsize (KiB) 111176

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 16670
/proc/meminfo: memFree=1305736/2055920 swapFree=4192812/4192956
[pid=16226] ppid=16224 vsize=111176 CPUtime=1356.25
/proc/16226/stat : 16226 (pcs.small) R 16224 16226 14707 0 -1 4194304 37030 822 0 0 135596 29 0 0 25 0 1 0 60156660 113844224 24465 996147200 134512640 135095119 4294956304 18446744073709551615 134589560 0 0 4096 0 0 0 0 17 1 0 0
/proc/16226/statm: 27794 24465 378 142 0 26748 0
Current children cumulated CPU time (s) 1356.25
Current children cumulated vsize (KiB) 111176

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 16670
/proc/meminfo: memFree=1294088/2055920 swapFree=4192812/4192956
[pid=16226] ppid=16224 vsize=111176 CPUtime=1416.01
/proc/16226/stat : 16226 (pcs.small) R 16224 16226 14707 0 -1 4194304 37282 822 0 0 141572 29 0 0 25 0 1 0 60156660 113844224 24717 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 1 0 0
/proc/16226/statm: 27794 24717 378 142 0 26748 0
Current children cumulated CPU time (s) 1416.01
Current children cumulated vsize (KiB) 111176

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 16670
/proc/meminfo: memFree=1281352/2055920 swapFree=4192812/4192956
[pid=16226] ppid=16224 vsize=111176 CPUtime=1475.77
/proc/16226/stat : 16226 (pcs.small) R 16224 16226 14707 0 -1 4194304 37525 822 0 0 147548 29 0 0 25 0 1 0 60156660 113844224 24960 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 1 0 0
/proc/16226/statm: 27794 24960 378 142 0 26748 0
Current children cumulated CPU time (s) 1475.77
Current children cumulated vsize (KiB) 111176

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 16670
/proc/meminfo: memFree=1268808/2055920 swapFree=4192812/4192956
[pid=16226] ppid=16224 vsize=111176 CPUtime=1535.53
/proc/16226/stat : 16226 (pcs.small) R 16224 16226 14707 0 -1 4194304 37769 822 0 0 153523 30 0 0 25 0 1 0 60156660 113844224 25204 996147200 134512640 135095119 4294956304 18446744073709551615 134641664 0 0 4096 0 0 0 0 17 1 0 0
/proc/16226/statm: 27794 25204 378 142 0 26748 0
Current children cumulated CPU time (s) 1535.53
Current children cumulated vsize (KiB) 111176

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 16670
/proc/meminfo: memFree=1255752/2055920 swapFree=4192812/4192956
[pid=16226] ppid=16224 vsize=112352 CPUtime=1595.3
/proc/16226/stat : 16226 (pcs.small) R 16224 16226 14707 0 -1 4194304 38313 822 0 0 159499 31 0 0 25 0 1 0 60156660 115048448 25748 996147200 134512640 135095119 4294956304 18446744073709551615 134589560 0 0 4096 0 0 0 0 17 1 0 0
/proc/16226/statm: 28088 25748 378 142 0 27042 0
Current children cumulated CPU time (s) 1595.3
Current children cumulated vsize (KiB) 112352

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 16670
/proc/meminfo: memFree=1243912/2055920 swapFree=4192812/4192956
[pid=16226] ppid=16224 vsize=113404 CPUtime=1655.05
/proc/16226/stat : 16226 (pcs.small) R 16224 16226 14707 0 -1 4194304 38844 822 0 0 165474 31 0 0 25 0 1 0 60156660 116125696 26279 996147200 134512640 135095119 4294956304 18446744073709551615 134582115 0 0 4096 0 0 0 0 17 1 0 0
/proc/16226/statm: 28351 26279 378 142 0 27305 0
Current children cumulated CPU time (s) 1655.05
Current children cumulated vsize (KiB) 113404

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 16670
/proc/meminfo: memFree=1232008/2055920 swapFree=4192812/4192956
[pid=16226] ppid=16224 vsize=147352 CPUtime=1714.82
/proc/16226/stat : 16226 (pcs.small) R 16224 16226 14707 0 -1 4194304 47553 822 0 0 171447 35 0 0 25 0 1 0 60156660 150888448 26795 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 1 0 0
/proc/16226/statm: 36838 26795 378 142 0 35792 0
Current children cumulated CPU time (s) 1714.82
Current children cumulated vsize (KiB) 147352

[startup+1782.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/74 16670
/proc/meminfo: memFree=1220744/2055920 swapFree=4192812/4192956
[pid=16226] ppid=16224 vsize=148536 CPUtime=1774.58
/proc/16226/stat : 16226 (pcs.small) R 16224 16226 14707 0 -1 4194304 48077 822 0 0 177422 36 0 0 25 0 1 0 60156660 152100864 27319 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 1 0 0
/proc/16226/statm: 37134 27319 378 142 0 36088 0
Current children cumulated CPU time (s) 1774.58
Current children cumulated vsize (KiB) 148536



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1808 s]
/proc/loadavg: 2.04 2.01 2.00 3/74 16702
/proc/meminfo: memFree=1517000/2055920 swapFree=4192812/4192956
[pid=16226] ppid=16224 vsize=149056 CPUtime=1800.07
/proc/16226/stat : 16226 (pcs.small) R 16224 16226 14707 0 -1 4194304 48314 822 0 0 179971 36 0 0 25 0 1 0 60156660 152633344 27556 996147200 134512640 135095119 4294956304 18446744073709551615 134607065 0 0 4096 0 0 0 0 17 1 0 0
/proc/16226/statm: 37264 27556 378 142 0 36218 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 149056

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): 1808.03
CPU time (s): 1800.1
CPU user time (s): 1799.71
CPU system time (s): 0.38894
CPU usage (%): 99.5618
Max. virtual memory (cumulated for all children) (KiB): 179208

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.71
system time used= 0.38894
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 49136
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= 20
involuntary context switches= 21158

runsolver used 2.21766 second user time and 4.37134 second system time

The end

Launcher Data 

Begin job on node84 at 2009-07-16 09:55:13
IDJOB=2089974
IDBENCH=59656
IDSOLVER=733
FILE ID=node84/2089974-1247730913
PBS_JOBID= 9521598
Free space on /tmp= 66176 MiB

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

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

MD5SUM BENCH= 651c62c6961ea46c870b8699d9d0bf8b
RANDOM SEED=1697924583

node84.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.259
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.259
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	: 5996.54
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1562536 kB
Buffers:         79756 kB
Cached:         239912 kB
SwapCached:          0 kB
Active:         179360 kB
Inactive:       225400 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1562536 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            1980 kB
Writeback:           0 kB
Mapped:          96436 kB
Slab:            73888 kB
Committed_AS:   566140 kB
PageTables:       1872 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= 66180 MiB
End job on node84 at 2009-07-16 10:25:23