Trace number 2069108

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
pcs-restart 0.3.2? (TO) 1800.22 1809.74

General information on the benchmark

Namecsp/pseudo/uclid/
normalized-blast-floppy1-8.xml
MD5SUMda17e456c13770dbc7b0270954eaabf8
Bench CategoryN-ARY-INT (n-ary constraints in intension)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark3.20951
Satisfiable
(Un)Satisfiability was proved
Number of variables3618
Number of constraints3930
Maximum constraint arity25
Maximum domain size2
Number of constraints which are defined in extension0
Number of constraints which are defined in intension3930
Global constraints used (with number of constraints)

Solver Data 

0.00/0.02	c has operations which may create big domains
0.00/0.02	c big-domain mode
0.00/0.05	c Seed is 362606620
0.00/0.05	c Constructing HOME/instance-2069108-1247707772.xml  with 39342 constraints
0.55/0.69	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-2069108-1247707772/watcher-2069108-1247707772 -o /tmp/evaluation-result-2069108-1247707772/solver-2069108-1247707772 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 362606620 HOME/instance-2069108-1247707772.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.95 2.10 2.08 4/83 11646
/proc/meminfo: memFree=706656/2055920 swapFree=4192812/4192956
[pid=11646] ppid=11644 vsize=18576 CPUtime=0
/proc/11646/stat : 11646 (runsolver) R 11644 11646 9968 0 -1 4194368 15 0 0 0 0 0 0 0 20 0 1 0 57841805 19021824 284 996147200 4194304 4302564 548682068496 18446744073709551615 251601153319 0 0 4096 24578 0 0 0 17 1 0 0
/proc/11646/statm: 4644 284 249 26 0 2626 0

[startup+0.078063 s]
/proc/loadavg: 1.95 2.10 2.08 4/83 11646
/proc/meminfo: memFree=706656/2055920 swapFree=4192812/4192956
[pid=11646] ppid=11644 vsize=5644 CPUtime=0.02
/proc/11646/stat : 11646 (pcs.big) R 11644 11646 9968 0 -1 4194304 1096 826 0 0 2 0 0 0 21 0 1 0 57841805 5779456 669 996147200 134512640 135215973 4294956304 18446744073709551615 134736119 0 0 4096 0 0 0 0 17 0 0 0
/proc/11646/statm: 1411 669 385 171 0 336 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 5644

[startup+0.101064 s]
/proc/loadavg: 1.95 2.10 2.08 4/83 11646
/proc/meminfo: memFree=706656/2055920 swapFree=4192812/4192956
[pid=11646] ppid=11644 vsize=6060 CPUtime=0.05
/proc/11646/stat : 11646 (pcs.big) R 11644 11646 9968 0 -1 4194304 1220 826 0 0 5 0 0 0 21 0 1 0 57841805 6205440 752 996147200 134512640 135215973 4294956304 18446744073709551615 4159137407 0 0 4096 0 0 0 0 17 0 0 0
/proc/11646/statm: 1515 752 385 171 0 440 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 6060

[startup+0.301092 s]
/proc/loadavg: 1.95 2.10 2.08 4/83 11646
/proc/meminfo: memFree=706656/2055920 swapFree=4192812/4192956
[pid=11646] ppid=11644 vsize=8916 CPUtime=0.25
/proc/11646/stat : 11646 (pcs.big) R 11644 11646 9968 0 -1 4194304 2177 826 0 0 24 1 0 0 23 0 1 0 57841805 9129984 1459 996147200 134512640 135215973 4294956304 18446744073709551615 134906919 0 0 4096 0 0 0 0 17 0 0 0
/proc/11646/statm: 2229 1459 385 171 0 1154 0
Current children cumulated CPU time (s) 0.25
Current children cumulated vsize (KiB) 8916

[startup+0.701137 s]
/proc/loadavg: 1.95 2.10 2.08 4/83 11646
/proc/meminfo: memFree=706656/2055920 swapFree=4192812/4192956
[pid=11646] ppid=11644 vsize=17280 CPUtime=0.65
/proc/11646/stat : 11646 (pcs.big) R 11644 11646 9968 0 -1 4194304 5645 826 0 0 62 3 0 0 25 0 1 0 57841805 17694720 3054 996147200 134512640 135215973 4294956304 18446744073709551615 12058776 0 0 4096 0 0 0 0 17 0 0 0
/proc/11646/statm: 4320 3054 395 171 0 3245 0
Current children cumulated CPU time (s) 0.65
Current children cumulated vsize (KiB) 17280

[startup+1.50121 s]
/proc/loadavg: 1.95 2.10 2.08 3/84 11652
/proc/meminfo: memFree=687824/2055920 swapFree=4192812/4192956
[pid=11646] ppid=11644 vsize=25384 CPUtime=1.45
/proc/11646/stat : 11646 (pcs.big) R 11644 11646 9968 0 -1 4194304 7766 826 0 0 141 4 0 0 25 0 1 0 57841805 25993216 5003 996147200 134512640 135215973 4294956304 18446744073709551615 134583589 0 0 4096 0 0 0 0 17 0 0 0
/proc/11646/statm: 6346 5003 407 171 0 5271 0
Current children cumulated CPU time (s) 1.45
Current children cumulated vsize (KiB) 25384

[startup+3.1024 s]
/proc/loadavg: 1.95 2.10 2.08 3/84 11652
/proc/meminfo: memFree=687824/2055920 swapFree=4192812/4192956
[pid=11646] ppid=11644 vsize=25384 CPUtime=3.04
/proc/11646/stat : 11646 (pcs.big) R 11644 11646 9968 0 -1 4194304 7772 826 0 0 300 4 0 0 25 0 1 0 57841805 25993216 5009 996147200 134512640 135215973 4294956304 18446744073709551615 134583640 0 0 4096 0 0 0 0 17 0 0 0
/proc/11646/statm: 6346 5009 407 171 0 5271 0
Current children cumulated CPU time (s) 3.04
Current children cumulated vsize (KiB) 25384

[startup+6.30175 s]
/proc/loadavg: 1.95 2.09 2.08 3/84 11652
/proc/meminfo: memFree=687440/2055920 swapFree=4192812/4192956
[pid=11646] ppid=11644 vsize=26044 CPUtime=6.23
/proc/11646/stat : 11646 (pcs.big) R 11644 11646 9968 0 -1 4194304 7929 826 0 0 619 4 0 0 25 0 1 0 57841805 26669056 5166 996147200 134512640 135215973 4294956304 18446744073709551615 134600637 0 0 4096 0 0 0 0 17 0 0 0
/proc/11646/statm: 6511 5166 407 171 0 5436 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 26044

[startup+12.7015 s]
/proc/loadavg: 2.03 2.11 2.08 3/84 11652
/proc/meminfo: memFree=684496/2055920 swapFree=4192812/4192956
[pid=11646] ppid=11644 vsize=27760 CPUtime=12.6
/proc/11646/stat : 11646 (pcs.big) R 11644 11646 9968 0 -1 4194304 8379 826 0 0 1256 4 0 0 25 0 1 0 57841805 28426240 5616 996147200 134512640 135215973 4294956304 18446744073709551615 134583640 0 0 4096 0 0 0 0 17 0 0 0
/proc/11646/statm: 6940 5616 407 171 0 5865 0
Current children cumulated CPU time (s) 12.6
Current children cumulated vsize (KiB) 27760

[startup+25.5019 s]
/proc/loadavg: 2.09 2.12 2.09 4/84 11652
/proc/meminfo: memFree=670672/2055920 swapFree=4192812/4192956
[pid=11646] ppid=11644 vsize=31720 CPUtime=25.35
/proc/11646/stat : 11646 (pcs.big) R 11644 11646 9968 0 -1 4194304 9367 826 0 0 2530 5 0 0 25 0 1 0 57841805 32481280 6604 996147200 134512640 135215973 4294956304 18446744073709551615 134583640 0 0 4096 0 0 0 0 17 0 0 0
/proc/11646/statm: 7930 6604 407 171 0 6855 0
Current children cumulated CPU time (s) 25.35
Current children cumulated vsize (KiB) 31720

[startup+51.1017 s]
/proc/loadavg: 2.18 2.14 2.09 3/84 11652
/proc/meminfo: memFree=652688/2055920 swapFree=4192812/4192956
[pid=11646] ppid=11644 vsize=39772 CPUtime=50.84
/proc/11646/stat : 11646 (pcs.big) R 11644 11646 9968 0 -1 4194304 11426 826 0 0 5078 6 0 0 25 0 1 0 57841805 40726528 8663 996147200 134512640 135215973 4294956304 18446744073709551615 134583642 0 0 4096 0 0 0 0 17 0 0 0
/proc/11646/statm: 9943 8663 407 171 0 8868 0
Current children cumulated CPU time (s) 50.84
Current children cumulated vsize (KiB) 39772

[startup+102.306 s]
/proc/loadavg: 2.27 2.16 2.10 3/84 11652
/proc/meminfo: memFree=623824/2055920 swapFree=4192812/4192956
[pid=11646] ppid=11644 vsize=53408 CPUtime=101.84
/proc/11646/stat : 11646 (pcs.big) R 11644 11646 9968 0 -1 4194304 14895 826 0 0 10177 7 0 0 25 0 1 0 57841805 54689792 11923 996147200 134512640 135215973 4294956304 18446744073709551615 134583510 0 0 4096 0 0 0 0 17 0 0 0
/proc/11646/statm: 13352 11923 407 171 0 12277 0
Current children cumulated CPU time (s) 101.84
Current children cumulated vsize (KiB) 53408

[startup+162.301 s]
/proc/loadavg: 2.33 2.19 2.11 3/84 11652
/proc/meminfo: memFree=595024/2055920 swapFree=4192812/4192956
[pid=11646] ppid=11644 vsize=68192 CPUtime=161.6
/proc/11646/stat : 11646 (pcs.big) R 11644 11646 9968 0 -1 4194304 18630 826 0 0 16151 9 0 0 25 0 1 0 57841805 69828608 15658 996147200 134512640 135215973 4294956304 18446744073709551615 134583640 0 0 4096 0 0 0 0 17 0 0 0
/proc/11646/statm: 17048 15658 407 171 0 15973 0
Current children cumulated CPU time (s) 161.6
Current children cumulated vsize (KiB) 68192

[startup+222.302 s]
/proc/loadavg: 2.39 2.23 2.12 4/84 11652
/proc/meminfo: memFree=573520/2055920 swapFree=4192812/4192956
[pid=11646] ppid=11644 vsize=82976 CPUtime=221.34
/proc/11646/stat : 11646 (pcs.big) R 11644 11646 9968 0 -1 4194304 22375 826 0 0 22124 10 0 0 25 0 1 0 57841805 84967424 19403 996147200 134512640 135215973 4294956304 18446744073709551615 134583640 0 0 4096 0 0 0 0 17 0 0 0
/proc/11646/statm: 20744 19403 407 171 0 19669 0
Current children cumulated CPU time (s) 221.34
Current children cumulated vsize (KiB) 82976

[startup+282.301 s]
/proc/loadavg: 2.39 2.26 2.14 4/84 11652
/proc/meminfo: memFree=554896/2055920 swapFree=4192812/4192956
[pid=11646] ppid=11644 vsize=97628 CPUtime=281.11
/proc/11646/stat : 11646 (pcs.big) R 11644 11646 9968 0 -1 4194304 26098 826 0 0 28099 12 0 0 25 0 1 0 57841805 99971072 23126 996147200 134512640 135215973 4294956304 18446744073709551615 134583640 0 0 4096 0 0 0 0 17 0 0 0
/proc/11646/statm: 24407 23126 407 171 0 23332 0
Current children cumulated CPU time (s) 281.11
Current children cumulated vsize (KiB) 97628

[startup+342.301 s]
/proc/loadavg: 2.35 2.26 2.14 3/84 11652
/proc/meminfo: memFree=539792/2055920 swapFree=4192812/4192956
[pid=11646] ppid=11644 vsize=114076 CPUtime=340.87
/proc/11646/stat : 11646 (pcs.big) R 11644 11646 9968 0 -1 4194304 30247 826 0 0 34073 14 0 0 25 0 1 0 57841805 116813824 26858 996147200 134512640 135215973 4294956304 18446744073709551615 134583640 0 0 4096 0 0 0 0 17 0 0 0
/proc/11646/statm: 28519 26858 407 171 0 27444 0
Current children cumulated CPU time (s) 340.87
Current children cumulated vsize (KiB) 114076

[startup+402.302 s]
/proc/loadavg: 2.25 2.24 2.14 3/84 11652
/proc/meminfo: memFree=524880/2055920 swapFree=4192812/4192956
[pid=11646] ppid=11644 vsize=128992 CPUtime=400.62
/proc/11646/stat : 11646 (pcs.big) R 11644 11646 9968 0 -1 4194304 34012 826 0 0 40047 15 0 0 25 0 1 0 57841805 132087808 30623 996147200 134512640 135215973 4294956304 18446744073709551615 134585668 0 0 4096 0 0 0 0 17 0 0 0
/proc/11646/statm: 32248 30623 407 171 0 31173 0
Current children cumulated CPU time (s) 400.62
Current children cumulated vsize (KiB) 128992

[startup+462.302 s]
/proc/loadavg: 2.34 2.26 2.15 3/84 11652
/proc/meminfo: memFree=511312/2055920 swapFree=4192812/4192956
[pid=11646] ppid=11644 vsize=141796 CPUtime=460.38
/proc/11646/stat : 11646 (pcs.big) R 11644 11646 9968 0 -1 4194304 37333 826 0 0 46021 17 0 0 25 0 1 0 57841805 145199104 33944 996147200 134512640 135215973 4294956304 18446744073709551615 134583491 0 0 4096 0 0 0 0 17 0 0 0
/proc/11646/statm: 35449 33944 407 171 0 34374 0
Current children cumulated CPU time (s) 460.38
Current children cumulated vsize (KiB) 141796

[startup+522.301 s]
/proc/loadavg: 2.33 2.27 2.16 3/84 11652
/proc/meminfo: memFree=480336/2055920 swapFree=4192812/4192956
[pid=11646] ppid=11644 vsize=158164 CPUtime=520.14
/proc/11646/stat : 11646 (pcs.big) R 11644 11646 9968 0 -1 4194304 41441 826 0 0 51995 19 0 0 25 0 1 0 57841805 161959936 38052 996147200 134512640 135215973 4294956304 18446744073709551615 134583640 0 0 4096 0 0 0 0 17 0 0 0
/proc/11646/statm: 39541 38052 407 171 0 38466 0
Current children cumulated CPU time (s) 520.14
Current children cumulated vsize (KiB) 158164

[startup+582.302 s]
/proc/loadavg: 2.28 2.26 2.17 3/84 11652
/proc/meminfo: memFree=451664/2055920 swapFree=4192812/4192956
[pid=11646] ppid=11644 vsize=178096 CPUtime=579.68
/proc/11646/stat : 11646 (pcs.big) R 11644 11646 9968 0 -1 4194304 46567 826 0 0 57947 21 0 0 25 0 1 0 57841805 182370304 43178 996147200 134512640 135215973 4294956304 18446744073709551615 134583589 0 0 4096 0 0 0 0 17 0 0 0
/proc/11646/statm: 44524 43178 407 171 0 43449 0
Current children cumulated CPU time (s) 579.68
Current children cumulated vsize (KiB) 178096

[startup+642.302 s]
/proc/loadavg: 2.14 2.23 2.16 3/84 11652
/proc/meminfo: memFree=414352/2055920 swapFree=4192812/4192956
[pid=11646] ppid=11644 vsize=207792 CPUtime=639.17
/proc/11646/stat : 11646 (pcs.big) R 11644 11646 9968 0 -1 4194304 54053 826 0 0 63891 26 0 0 25 0 1 0 57841805 212779008 50664 996147200 134512640 135215973 4294956304 18446744073709551615 4158960018 0 0 4096 0 0 0 0 17 0 0 0
/proc/11646/statm: 51948 50664 407 171 0 50873 0
Current children cumulated CPU time (s) 639.17
Current children cumulated vsize (KiB) 207792

[startup+702.301 s]

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

[startup+882.301 s]
/proc/loadavg: 2.02 2.13 2.14 3/74 11823
/proc/meminfo: memFree=1060720/2055920 swapFree=4192812/4192956
[pid=11646] ppid=11644 vsize=317116 CPUtime=877.96
/proc/11646/stat : 11646 (pcs.big) R 11644 11646 9968 0 -1 4194304 81634 826 0 0 87757 39 0 0 25 0 1 0 57841805 324726784 77412 996147200 134512640 135215973 4294956304 18446744073709551615 4158960050 0 0 4096 0 0 0 0 17 0 0 0
/proc/11646/statm: 79279 77412 407 171 0 78204 0
Current children cumulated CPU time (s) 877.96
Current children cumulated vsize (KiB) 317116

[startup+942.302 s]
/proc/loadavg: 2.00 2.10 2.12 3/74 11823
/proc/meminfo: memFree=1022320/2055920 swapFree=4192812/4192956
[pid=11646] ppid=11644 vsize=354736 CPUtime=937.71
/proc/11646/stat : 11646 (pcs.big) R 11644 11646 9968 0 -1 4194304 91169 826 0 0 93729 42 0 0 25 0 1 0 57841805 363249664 86947 996147200 134512640 135215973 4294956304 18446744073709551615 4158960050 0 0 4096 0 0 0 0 17 0 0 0
/proc/11646/statm: 88684 86947 407 171 0 87609 0
Current children cumulated CPU time (s) 937.71
Current children cumulated vsize (KiB) 354736

[startup+1002.3 s]
/proc/loadavg: 2.00 2.08 2.11 3/74 11823
/proc/meminfo: memFree=990320/2055920 swapFree=4192812/4192956
[pid=11646] ppid=11644 vsize=385492 CPUtime=997.47
/proc/11646/stat : 11646 (pcs.big) R 11644 11646 9968 0 -1 4194304 99017 826 0 0 99703 44 0 0 25 0 1 0 57841805 394743808 94795 996147200 134512640 135215973 4294956304 18446744073709551615 134583640 0 0 4096 0 0 0 0 17 0 0 0
/proc/11646/statm: 96373 94795 407 171 0 95298 0
Current children cumulated CPU time (s) 997.47
Current children cumulated vsize (KiB) 385492

[startup+1062.3 s]
/proc/loadavg: 2.00 2.06 2.10 3/74 11823
/proc/meminfo: memFree=978800/2055920 swapFree=4192812/4192956
[pid=11646] ppid=11644 vsize=396844 CPUtime=1057.23
/proc/11646/stat : 11646 (pcs.big) R 11644 11646 9968 0 -1 4194304 101891 826 0 0 105678 45 0 0 25 0 1 0 57841805 406368256 97669 996147200 134512640 135215973 4294956304 18446744073709551615 134583640 0 0 4096 0 0 0 0 17 0 0 0
/proc/11646/statm: 99211 97669 407 171 0 98136 0
Current children cumulated CPU time (s) 1057.23
Current children cumulated vsize (KiB) 396844

[startup+1122.3 s]
/proc/loadavg: 2.00 2.05 2.09 3/74 11823
/proc/meminfo: memFree=964144/2055920 swapFree=4192812/4192956
[pid=11646] ppid=11644 vsize=410968 CPUtime=1117
/proc/11646/stat : 11646 (pcs.big) R 11644 11646 9968 0 -1 4194304 105420 826 0 0 111653 47 0 0 25 0 1 0 57841805 420831232 101198 996147200 134512640 135215973 4294956304 18446744073709551615 134583640 0 0 4096 0 0 0 0 17 0 0 0
/proc/11646/statm: 102742 101198 407 171 0 101667 0
Current children cumulated CPU time (s) 1117
Current children cumulated vsize (KiB) 410968

[startup+1182.3 s]
/proc/loadavg: 2.00 2.04 2.08 3/74 11823
/proc/meminfo: memFree=950512/2055920 swapFree=4192812/4192956
[pid=11646] ppid=11644 vsize=424168 CPUtime=1176.76
/proc/11646/stat : 11646 (pcs.big) R 11644 11646 9968 0 -1 4194304 108751 826 0 0 117628 48 0 0 25 0 1 0 57841805 434348032 104529 996147200 134512640 135215973 4294956304 18446744073709551615 134583586 0 0 4096 0 0 0 0 17 0 0 0
/proc/11646/statm: 106042 104529 407 171 0 104967 0
Current children cumulated CPU time (s) 1176.76
Current children cumulated vsize (KiB) 424168

[startup+1242.3 s]
/proc/loadavg: 2.00 2.03 2.08 3/74 11823
/proc/meminfo: memFree=936496/2055920 swapFree=4192812/4192956
[pid=11646] ppid=11644 vsize=437236 CPUtime=1236.52
/proc/11646/stat : 11646 (pcs.big) R 11644 11646 9968 0 -1 4194304 112028 826 0 0 123603 49 0 0 25 0 1 0 57841805 447729664 107806 996147200 134512640 135215973 4294956304 18446744073709551615 134583640 0 0 4096 0 0 0 0 17 0 0 0
/proc/11646/statm: 109309 107806 407 171 0 108234 0
Current children cumulated CPU time (s) 1236.52
Current children cumulated vsize (KiB) 437236

[startup+1302.3 s]
/proc/loadavg: 2.00 2.02 2.07 3/74 11823
/proc/meminfo: memFree=916016/2055920 swapFree=4192812/4192956
[pid=11646] ppid=11644 vsize=457168 CPUtime=1296.28
/proc/11646/stat : 11646 (pcs.big) R 11644 11646 9968 0 -1 4194304 117044 826 0 0 129578 50 0 0 25 0 1 0 57841805 468140032 112822 996147200 134512640 135215973 4294956304 18446744073709551615 134583607 0 0 4096 0 0 0 0 17 0 0 0
/proc/11646/statm: 114292 112822 407 171 0 113217 0
Current children cumulated CPU time (s) 1296.28
Current children cumulated vsize (KiB) 457168

[startup+1362.3 s]
/proc/loadavg: 2.00 2.02 2.07 3/74 11825
/proc/meminfo: memFree=900464/2055920 swapFree=4192812/4192956
[pid=11646] ppid=11644 vsize=472348 CPUtime=1356.03
/proc/11646/stat : 11646 (pcs.big) R 11644 11646 9968 0 -1 4194304 120875 826 0 0 135552 51 0 0 25 0 1 0 57841805 483684352 116653 996147200 134512640 135215973 4294956304 18446744073709551615 134583485 0 0 4096 0 0 0 0 17 0 0 0
/proc/11646/statm: 118087 116653 407 171 0 117012 0
Current children cumulated CPU time (s) 1356.03
Current children cumulated vsize (KiB) 472348

[startup+1422.31 s]
/proc/loadavg: 2.00 2.01 2.06 3/74 11825
/proc/meminfo: memFree=880880/2055920 swapFree=4192812/4192956
[pid=11646] ppid=11644 vsize=490960 CPUtime=1415.8
/proc/11646/stat : 11646 (pcs.big) R 11644 11646 9968 0 -1 4194304 125657 826 0 0 141527 53 0 0 25 0 1 0 57841805 502743040 121435 996147200 134512640 135215973 4294956304 18446744073709551615 4158960004 0 0 4096 0 0 0 0 17 0 0 0
/proc/11646/statm: 122740 121435 407 171 0 121665 0
Current children cumulated CPU time (s) 1415.8
Current children cumulated vsize (KiB) 490960

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.05 3/74 11825
/proc/meminfo: memFree=858992/2055920 swapFree=4192812/4192956
[pid=11646] ppid=11644 vsize=512344 CPUtime=1475.54
/proc/11646/stat : 11646 (pcs.big) R 11644 11646 9968 0 -1 4194304 131041 826 0 0 147500 54 0 0 25 0 1 0 57841805 524640256 126819 996147200 134512640 135215973 4294956304 18446744073709551615 4158960021 0 0 4096 0 0 0 0 17 0 0 0
/proc/11646/statm: 128086 126819 407 171 0 127011 0
Current children cumulated CPU time (s) 1475.54
Current children cumulated vsize (KiB) 512344

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.05 3/83 11866
/proc/meminfo: memFree=455640/2055920 swapFree=4192812/4192956
[pid=11646] ppid=11644 vsize=912228 CPUtime=1535.05
/proc/11646/stat : 11646 (pcs.big) R 11644 11646 9968 0 -1 4194304 231099 826 0 0 153413 92 0 0 25 0 1 0 57841805 934121472 225212 996147200 134512640 135215973 4294956304 18446744073709551615 4158960050 0 0 4096 0 0 0 0 17 0 0 0
/proc/11646/statm: 228057 225212 407 171 0 226982 0
Current children cumulated CPU time (s) 1535.05
Current children cumulated vsize (KiB) 912228

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/83 11866
/proc/meminfo: memFree=455320/2055920 swapFree=4192812/4192956
[pid=11646] ppid=11644 vsize=912228 CPUtime=1594.54
/proc/11646/stat : 11646 (pcs.big) R 11644 11646 9968 0 -1 4194304 231125 826 0 0 159362 92 0 0 25 0 1 0 57841805 934121472 225238 996147200 134512640 135215973 4294956304 18446744073709551615 134583640 0 0 4096 0 0 0 0 17 0 0 0
/proc/11646/statm: 228057 225238 407 171 0 226982 0
Current children cumulated CPU time (s) 1594.54
Current children cumulated vsize (KiB) 912228

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/83 11866
/proc/meminfo: memFree=454872/2055920 swapFree=4192812/4192956
[pid=11646] ppid=11644 vsize=912228 CPUtime=1654.02
/proc/11646/stat : 11646 (pcs.big) R 11644 11646 9968 0 -1 4194304 231263 826 0 0 165310 92 0 0 25 0 1 0 57841805 934121472 225376 996147200 134512640 135215973 4294956304 18446744073709551615 4158960018 0 0 4096 0 0 0 0 17 0 0 0
/proc/11646/statm: 228057 225376 407 171 0 226982 0
Current children cumulated CPU time (s) 1654.02
Current children cumulated vsize (KiB) 912228

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.03 3/83 11866
/proc/meminfo: memFree=454296/2055920 swapFree=4192812/4192956
[pid=11646] ppid=11644 vsize=912228 CPUtime=1713.51
/proc/11646/stat : 11646 (pcs.big) R 11644 11646 9968 0 -1 4194304 231385 826 0 0 171259 92 0 0 25 0 1 0 57841805 934121472 225498 996147200 134512640 135215973 4294956304 18446744073709551615 134583664 0 0 4096 0 0 0 0 17 0 0 0
/proc/11646/statm: 228057 225498 407 171 0 226982 0
Current children cumulated CPU time (s) 1713.51
Current children cumulated vsize (KiB) 912228

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.03 3/83 11866
/proc/meminfo: memFree=453208/2055920 swapFree=4192812/4192956
[pid=11646] ppid=11644 vsize=912228 CPUtime=1773.01
/proc/11646/stat : 11646 (pcs.big) R 11644 11646 9968 0 -1 4194304 231636 826 0 0 177208 93 0 0 25 0 1 0 57841805 934121472 225749 996147200 134512640 135215973 4294956304 18446744073709551615 134583690 0 0 4096 0 0 0 0 17 0 0 0
/proc/11646/statm: 228057 225749 407 171 0 226982 0
Current children cumulated CPU time (s) 1773.01
Current children cumulated vsize (KiB) 912228



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1809.6 s]
/proc/loadavg: 2.00 2.00 2.02 3/83 11866
/proc/meminfo: memFree=453080/2055920 swapFree=4192812/4192956
[pid=11646] ppid=11644 vsize=912228 CPUtime=1800.07
/proc/11646/stat : 11646 (pcs.big) R 11644 11646 9968 0 -1 4194304 231667 826 0 0 179914 93 0 0 25 0 1 0 57841805 934121472 225780 996147200 134512640 135215973 4294956304 18446744073709551615 134583697 0 0 4096 0 0 0 0 17 0 0 0
/proc/11646/statm: 228057 225780 407 171 0 226982 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 912228

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

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

[startup+1809.71 s]
/proc/loadavg: 2.00 2.00 2.02 3/83 11866
/proc/meminfo: memFree=453080/2055920 swapFree=4192812/4192956
[pid=11646] ppid=11644 vsize=0 CPUtime=1800.17
/proc/11646/stat : 11646 (pcs.big) R 11644 11646 9968 0 -1 4195332 231667 826 0 0 179914 103 0 0 25 0 1 0 57841805 0 0 996147200 0 0 0 0 0 0 0 4096 0 0 0 0 17 0 0 0
/proc/11646/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.17
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1809.74
CPU time (s): 1800.22
CPU user time (s): 1799.15
CPU system time (s): 1.07084
CPU usage (%): 99.4742
Max. virtual memory (cumulated for all children) (KiB): 918888

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

runsolver used 1.72674 second user time and 4.89725 second system time

The end

Launcher Data 

Begin job on node91 at 2009-07-16 03:29:32
IDJOB=2069108
IDBENCH=54986
IDSOLVER=734
FILE ID=node91/2069108-1247707772
PBS_JOBID= 9521137
Free space on /tmp= 66196 MiB

SOLVER NAME= pcs-restart 0.2.restart
BENCH NAME= CPAI08/csp/pseudo/uclid/normalized-blast-floppy1-8.xml
COMMAND LINE= HOME/pcssolve -s RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2069108-1247707772/watcher-2069108-1247707772 -o /tmp/evaluation-result-2069108-1247707772/solver-2069108-1247707772 -C 1800 -W 2000 -M 900  HOME/pcssolve -s 362606620 HOME/instance-2069108-1247707772.xml

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

MD5SUM BENCH= da17e456c13770dbc7b0270954eaabf8
RANDOM SEED=362606620

node91.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.241
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.241
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:        707280 kB
Buffers:         79160 kB
Cached:         518900 kB
SwapCached:          0 kB
Active:         890128 kB
Inactive:       388660 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:        707280 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            2804 kB
Writeback:           0 kB
Mapped:         701120 kB
Slab:            53692 kB
Committed_AS:  1266004 kB
PageTables:       3092 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= 66196 MiB
End job on node91 at 2009-07-16 03:59:43