Trace number 2081010

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.23 1817.25

General information on the benchmark

Namecsp/super-os/super-os-taillard-10/
normalized-super-os-taillard-10-8.xml
MD5SUMb41d261486a0b1beb3e9c4ad0daa644f
Bench Category2-ARY-INT (binary constraints in intension)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark800.17
Satisfiable
(Un)Satisfiability was proved
Number of variables200
Number of constraints2800
Maximum constraint arity2
Maximum domain size595
Number of constraints which are defined in extension0
Number of constraints which are defined in intension2800
Global constraints used (with number of constraints)

Solver Data 

0.00/0.01	c has big domains
0.00/0.01	c big-domain mode
0.18/0.25	c Seed is 1363085463
0.18/0.25	c Constructing HOME/instance-2081010-1247719207.xml  with 19000 constraints
0.28/0.31	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-2081010-1247719207/watcher-2081010-1247719207 -o /tmp/evaluation-result-2081010-1247719207/solver-2081010-1247719207 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 1363085463 HOME/instance-2081010-1247719207.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/72 20708
/proc/meminfo: memFree=1439360/2055920 swapFree=4192812/4192956
[pid=20708] ppid=20706 vsize=18576 CPUtime=0
/proc/20708/stat : 20708 (runsolver) R 20706 20708 18528 0 -1 4194368 15 0 0 0 0 0 0 0 20 0 1 0 58984561 19021824 284 996147200 4194304 4302564 548682068496 18446744073709551615 264840473895 0 0 4096 24578 0 0 0 17 1 0 0
/proc/20708/statm: 4644 284 249 26 0 2626 0

[startup+0.104139 s]
/proc/loadavg: 2.00 2.00 2.00 4/72 20708
/proc/meminfo: memFree=1439360/2055920 swapFree=4192812/4192956
[pid=20708] ppid=20706 vsize=6472 CPUtime=0.08
/proc/20708/stat : 20708 (pcs.big) R 20706 20708 18528 0 -1 4194304 1307 658 0 0 8 0 0 0 18 0 1 0 58984561 6627328 864 996147200 134512640 135215973 4294956304 18446744073709551615 4159782574 0 0 4096 0 0 0 0 17 1 0 0
/proc/20708/statm: 1618 864 388 171 0 543 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 6472

[startup+0.201149 s]
/proc/loadavg: 2.00 2.00 2.00 4/72 20708
/proc/meminfo: memFree=1439360/2055920 swapFree=4192812/4192956
[pid=20708] ppid=20706 vsize=8608 CPUtime=0.18
/proc/20708/stat : 20708 (pcs.big) R 20706 20708 18528 0 -1 4194304 1982 658 0 0 17 1 0 0 18 0 1 0 58984561 8814592 1330 996147200 134512640 135215973 4294956304 18446744073709551615 4159078787 0 0 4096 0 0 0 0 17 1 0 0
/proc/20708/statm: 2152 1330 388 171 0 1077 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 8608

[startup+0.30116 s]
/proc/loadavg: 2.00 2.00 2.00 4/72 20708
/proc/meminfo: memFree=1439360/2055920 swapFree=4192812/4192956
[pid=20708] ppid=20706 vsize=10856 CPUtime=0.28
/proc/20708/stat : 20708 (pcs.big) R 20706 20708 18528 0 -1 4194304 2723 658 0 0 27 1 0 0 19 0 1 0 58984561 11116544 1816 996147200 134512640 135215973 4294956304 18446744073709551615 11722368 0 0 4096 0 0 0 0 17 1 0 0
/proc/20708/statm: 2714 1816 388 171 0 1639 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 10856

[startup+0.701204 s]
/proc/loadavg: 2.00 2.00 2.00 4/72 20708
/proc/meminfo: memFree=1439360/2055920 swapFree=4192812/4192956
[pid=20708] ppid=20706 vsize=17324 CPUtime=0.68
/proc/20708/stat : 20708 (pcs.big) R 20706 20708 18528 0 -1 4194304 4847 658 0 0 66 2 0 0 23 0 1 0 58984561 17739776 3218 996147200 134512640 135215973 4294956304 18446744073709551615 134590569 0 0 4096 0 0 0 0 17 1 0 0
/proc/20708/statm: 4331 3218 406 171 0 3256 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 17324

[startup+1.50129 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 20713
/proc/meminfo: memFree=1427832/2055920 swapFree=4192812/4192956
[pid=20708] ppid=20706 vsize=17520 CPUtime=1.47
/proc/20708/stat : 20708 (pcs.big) R 20706 20708 18528 0 -1 4194304 4895 658 0 0 145 2 0 0 25 0 1 0 58984561 17940480 3266 996147200 134512640 135215973 4294956304 18446744073709551615 135095326 0 0 4096 0 0 0 0 17 1 0 0
/proc/20708/statm: 4380 3266 406 171 0 3305 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 17520

[startup+3.10145 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 20713
/proc/meminfo: memFree=1427448/2055920 swapFree=4192812/4192956
[pid=20708] ppid=20706 vsize=18012 CPUtime=3.06
/proc/20708/stat : 20708 (pcs.big) R 20706 20708 18528 0 -1 4194304 5017 658 0 0 304 2 0 0 25 0 1 0 58984561 18444288 3388 996147200 134512640 135215973 4294956304 18446744073709551615 134533272 0 0 4096 0 0 0 0 17 1 0 0
/proc/20708/statm: 4503 3388 406 171 0 3428 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 18012

[startup+6.30178 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 20713
/proc/meminfo: memFree=1426296/2055920 swapFree=4192812/4192956
[pid=20708] ppid=20706 vsize=19064 CPUtime=6.23
/proc/20708/stat : 20708 (pcs.big) R 20706 20708 18528 0 -1 4194304 5306 658 0 0 620 3 0 0 25 0 1 0 58984561 19521536 3644 996147200 134512640 135215973 4294956304 18446744073709551615 134585694 0 0 4096 0 0 0 0 17 1 0 0
/proc/20708/statm: 4766 3644 406 171 0 3691 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 19064

[startup+12.7014 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 20713
/proc/meminfo: memFree=1423232/2055920 swapFree=4192812/4192956
[pid=20708] ppid=20706 vsize=22008 CPUtime=12.57
/proc/20708/stat : 20708 (pcs.big) R 20706 20708 18528 0 -1 4194304 6124 658 0 0 1254 3 0 0 25 0 1 0 58984561 22536192 4397 996147200 134512640 135215973 4294956304 18446744073709551615 134600026 0 0 4096 0 0 0 0 17 1 0 0
/proc/20708/statm: 5502 4397 406 171 0 4427 0
Current children cumulated CPU time (s) 12.57
Current children cumulated vsize (KiB) 22008

[startup+25.5018 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 20713
/proc/meminfo: memFree=1417600/2055920 swapFree=4192812/4192956
[pid=20708] ppid=20706 vsize=27780 CPUtime=25.25
/proc/20708/stat : 20708 (pcs.big) R 20706 20708 18528 0 -1 4194304 7645 658 0 0 2521 4 0 0 25 0 1 0 58984561 28446720 5789 996147200 134512640 135215973 4294956304 18446744073709551615 134957889 0 0 4096 0 0 0 0 17 1 0 0
/proc/20708/statm: 6945 5789 406 171 0 5870 0
Current children cumulated CPU time (s) 25.25
Current children cumulated vsize (KiB) 27780

[startup+51.1024 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 20713
/proc/meminfo: memFree=1404032/2055920 swapFree=4192812/4192956
[pid=20708] ppid=20706 vsize=41960 CPUtime=50.61
/proc/20708/stat : 20708 (pcs.big) R 20706 20708 18528 0 -1 4194304 11554 658 0 0 5055 6 0 0 25 0 1 0 58984561 42967040 9151 996147200 134512640 135215973 4294956304 18446744073709551615 4158960056 0 0 4096 0 0 0 0 17 1 0 0
/proc/20708/statm: 10490 9151 406 171 0 9415 0
Current children cumulated CPU time (s) 50.61
Current children cumulated vsize (KiB) 41960

[startup+102.303 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 20713
/proc/meminfo: memFree=1383680/2055920 swapFree=4192812/4192956
[pid=20708] ppid=20706 vsize=61876 CPUtime=101.34
/proc/20708/stat : 20708 (pcs.big) R 20706 20708 18528 0 -1 4194304 17119 658 0 0 10124 10 0 0 25 0 1 0 58984561 63361024 14203 996147200 134512640 135215973 4294956304 18446744073709551615 4158960140 0 0 4096 0 0 0 0 17 1 0 0
/proc/20708/statm: 15469 14203 406 171 0 14394 0
Current children cumulated CPU time (s) 101.34
Current children cumulated vsize (KiB) 61876

[startup+162.303 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 20713
/proc/meminfo: memFree=1350656/2055920 swapFree=4192812/4192956
[pid=20708] ppid=20706 vsize=97804 CPUtime=160.79
/proc/20708/stat : 20708 (pcs.big) R 20706 20708 18528 0 -1 4194304 26989 658 0 0 16063 16 0 0 25 0 1 0 58984561 100151296 22470 996147200 134512640 135215973 4294956304 18446744073709551615 134648241 0 0 4096 0 0 0 0 17 1 0 0
/proc/20708/statm: 24451 22470 406 171 0 23376 0
Current children cumulated CPU time (s) 160.79
Current children cumulated vsize (KiB) 97804

[startup+222.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 20713
/proc/meminfo: memFree=1325248/2055920 swapFree=4192812/4192956
[pid=20708] ppid=20706 vsize=121084 CPUtime=220.24
/proc/20708/stat : 20708 (pcs.big) R 20706 20708 18528 0 -1 4194304 33327 658 0 0 22003 21 0 0 25 0 1 0 58984561 123990016 28808 996147200 134512640 135215973 4294956304 18446744073709551615 134583616 0 0 4096 0 0 0 0 17 1 0 0
/proc/20708/statm: 30271 28808 406 171 0 29196 0
Current children cumulated CPU time (s) 220.24
Current children cumulated vsize (KiB) 121084

[startup+282.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 20713
/proc/meminfo: memFree=1295808/2055920 swapFree=4192812/4192956
[pid=20708] ppid=20706 vsize=155744 CPUtime=279.68
/proc/20708/stat : 20708 (pcs.big) R 20706 20708 18528 0 -1 4194304 42681 658 0 0 27941 27 0 0 25 0 1 0 58984561 159481856 36113 996147200 134512640 135215973 4294956304 18446744073709551615 134583660 0 0 4096 0 0 0 0 17 1 0 0
/proc/20708/statm: 38936 36113 406 171 0 37861 0
Current children cumulated CPU time (s) 279.68
Current children cumulated vsize (KiB) 155744

[startup+342.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 20713
/proc/meminfo: memFree=1268672/2055920 swapFree=4192812/4192956
[pid=20708] ppid=20706 vsize=179660 CPUtime=339.12
/proc/20708/stat : 20708 (pcs.big) R 20706 20708 18528 0 -1 4194304 49376 658 0 0 33880 32 0 0 25 0 1 0 58984561 183971840 42808 996147200 134512640 135215973 4294956304 18446744073709551615 134599858 0 0 4096 0 0 0 0 17 1 0 0
/proc/20708/statm: 44915 42808 406 171 0 43840 0
Current children cumulated CPU time (s) 339.12
Current children cumulated vsize (KiB) 179660

[startup+402.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 20713
/proc/meminfo: memFree=1237568/2055920 swapFree=4192812/4192956
[pid=20708] ppid=20706 vsize=208308 CPUtime=398.57
/proc/20708/stat : 20708 (pcs.big) R 20706 20708 18528 0 -1 4194304 57169 658 0 0 39819 38 0 0 25 0 1 0 58984561 213307392 50601 996147200 134512640 135215973 4294956304 18446744073709551615 134566521 0 0 4096 0 0 0 0 17 1 0 0
/proc/20708/statm: 52077 50601 406 171 0 51002 0
Current children cumulated CPU time (s) 398.57
Current children cumulated vsize (KiB) 208308

[startup+462.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 20713
/proc/meminfo: memFree=1210688/2055920 swapFree=4192812/4192956
[pid=20708] ppid=20706 vsize=252588 CPUtime=458.02
/proc/20708/stat : 20708 (pcs.big) R 20706 20708 18528 0 -1 4194304 68962 658 0 0 45755 47 0 0 25 0 1 0 58984561 258650112 57272 996147200 134512640 135215973 4294956304 18446744073709551615 134583710 0 0 4096 0 0 0 0 17 1 0 0
/proc/20708/statm: 63147 57272 406 171 0 62072 0
Current children cumulated CPU time (s) 458.02
Current children cumulated vsize (KiB) 252588

[startup+522.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 20713
/proc/meminfo: memFree=1190016/2055920 swapFree=4192812/4192956
[pid=20708] ppid=20706 vsize=270356 CPUtime=517.47
/proc/20708/stat : 20708 (pcs.big) R 20706 20708 18528 0 -1 4194304 74119 658 0 0 51697 50 0 0 25 0 1 0 58984561 276844544 62429 996147200 134512640 135215973 4294956304 18446744073709551615 134648275 0 0 4096 0 0 0 0 17 1 0 0
/proc/20708/statm: 67589 62429 406 171 0 66514 0
Current children cumulated CPU time (s) 517.47
Current children cumulated vsize (KiB) 270356

[startup+582.302 s]
/proc/loadavg: 2.00 2.00 2.00 4/83 20754
/proc/meminfo: memFree=1247912/2055920 swapFree=4192812/4192956
[pid=20708] ppid=20706 vsize=285972 CPUtime=576.84
/proc/20708/stat : 20708 (pcs.big) R 20706 20708 18528 0 -1 4194304 78732 658 0 0 57630 54 0 0 25 0 1 0 58984561 292835328 67042 996147200 134512640 135215973 4294956304 18446744073709551615 134583365 0 0 4096 0 0 0 0 17 1 0 0
/proc/20708/statm: 71493 67042 406 171 0 70418 0
Current children cumulated CPU time (s) 576.84
Current children cumulated vsize (KiB) 285972

[startup+642.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 20755
/proc/meminfo: memFree=1189152/2055920 swapFree=4192812/4192956
[pid=20708] ppid=20706 vsize=303516 CPUtime=636.27
/proc/20708/stat : 20708 (pcs.big) R 20706 20708 18528 0 -1 4194304 83894 658 0 0 63569 58 0 0 25 0 1 0 58984561 310800384 72204 996147200 134512640 135215973 4294956304 18446744073709551615 135097099 0 0 4096 0 0 0 0 17 1 0 0
/proc/20708/statm: 75879 72204 406 171 0 74804 0
Current children cumulated CPU time (s) 636.27
Current children cumulated vsize (KiB) 303516

[startup+702.301 s]

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

[startup+882.307 s]
/proc/loadavg: 2.00 2.00 2.00 4/82 20757
/proc/meminfo: memFree=1081760/2055920 swapFree=4192812/4192956
[pid=20708] ppid=20706 vsize=430672 CPUtime=874.04
/proc/20708/stat : 20708 (pcs.big) R 20706 20708 18528 0 -1 4194304 118590 658 0 0 87324 80 0 0 25 0 1 0 58984561 441008128 98707 996147200 134512640 135215973 4294956304 18446744073709551615 134581779 0 0 4096 0 0 0 0 17 1 0 0
/proc/20708/statm: 107668 98707 406 171 0 106593 0
Current children cumulated CPU time (s) 874.04
Current children cumulated vsize (KiB) 430672

[startup+942.302 s]
/proc/loadavg: 2.00 2.00 2.00 4/82 20757
/proc/meminfo: memFree=1043488/2055920 swapFree=4192812/4192956
[pid=20708] ppid=20706 vsize=473808 CPUtime=933.47
/proc/20708/stat : 20708 (pcs.big) R 20706 20708 18528 0 -1 4194304 130211 658 0 0 93259 88 0 0 25 0 1 0 58984561 485179392 108279 996147200 134512640 135215973 4294956304 18446744073709551615 134640965 0 0 4096 0 0 0 0 17 1 0 0
/proc/20708/statm: 118452 108279 406 171 0 117377 0
Current children cumulated CPU time (s) 933.47
Current children cumulated vsize (KiB) 473808

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 20757
/proc/meminfo: memFree=1015264/2055920 swapFree=4192812/4192956
[pid=20708] ppid=20706 vsize=498740 CPUtime=992.91
/proc/20708/stat : 20708 (pcs.big) R 20706 20708 18528 0 -1 4194304 137258 658 0 0 99198 93 0 0 25 0 1 0 58984561 510709760 115326 996147200 134512640 135215973 4294956304 18446744073709551615 134648275 0 0 4096 0 0 0 0 17 1 0 0
/proc/20708/statm: 124685 115326 406 171 0 123610 0
Current children cumulated CPU time (s) 992.91
Current children cumulated vsize (KiB) 498740

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 20757
/proc/meminfo: memFree=987040/2055920 swapFree=4192812/4192956
[pid=20708] ppid=20706 vsize=523860 CPUtime=1052.35
/proc/20708/stat : 20708 (pcs.big) R 20706 20708 18528 0 -1 4194304 144389 658 0 0 105136 99 0 0 25 0 1 0 58984561 536432640 122457 996147200 134512640 135215973 4294956304 18446744073709551615 11714342 0 0 4096 0 0 0 0 17 1 0 0
/proc/20708/statm: 130965 122457 406 171 0 129890 0
Current children cumulated CPU time (s) 1052.35
Current children cumulated vsize (KiB) 523860

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 20757
/proc/meminfo: memFree=957600/2055920 swapFree=4192812/4192956
[pid=20708] ppid=20706 vsize=548776 CPUtime=1111.79
/proc/20708/stat : 20708 (pcs.big) R 20706 20708 18528 0 -1 4194304 151439 658 0 0 111075 104 0 0 25 0 1 0 58984561 561946624 129507 996147200 134512640 135215973 4294956304 18446744073709551615 134597454 0 0 4096 0 0 0 0 17 1 0 0
/proc/20708/statm: 137194 129507 406 171 0 136119 0
Current children cumulated CPU time (s) 1111.79
Current children cumulated vsize (KiB) 548776

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 5/82 20757
/proc/meminfo: memFree=927584/2055920 swapFree=4192812/4192956
[pid=20708] ppid=20706 vsize=575376 CPUtime=1171.23
/proc/20708/stat : 20708 (pcs.big) R 20706 20708 18528 0 -1 4194304 158961 658 0 0 117015 108 0 0 25 0 1 0 58984561 589185024 137029 996147200 134512640 135215973 4294956304 18446744073709551615 134590083 0 0 4096 0 0 0 0 17 1 0 0
/proc/20708/statm: 143844 137029 406 171 0 142769 0
Current children cumulated CPU time (s) 1171.23
Current children cumulated vsize (KiB) 575376

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/82 20757
/proc/meminfo: memFree=897888/2055920 swapFree=4192812/4192956
[pid=20708] ppid=20706 vsize=601168 CPUtime=1230.67
/proc/20708/stat : 20708 (pcs.big) R 20706 20708 18528 0 -1 4194304 166291 658 0 0 122955 112 0 0 25 0 1 0 58984561 615596032 144359 996147200 134512640 135215973 4294956304 18446744073709551615 4158960128 0 0 4096 0 0 0 0 17 1 0 0
/proc/20708/statm: 150292 144359 406 171 0 149217 0
Current children cumulated CPU time (s) 1230.67
Current children cumulated vsize (KiB) 601168

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/82 20763
/proc/meminfo: memFree=867288/2055920 swapFree=4192812/4192956
[pid=20708] ppid=20706 vsize=628296 CPUtime=1290.09
/proc/20708/stat : 20708 (pcs.big) R 20706 20708 18528 0 -1 4194304 173879 658 0 0 128892 117 0 0 25 0 1 0 58984561 643375104 151947 996147200 134512640 135215973 4294956304 18446744073709551615 134532930 0 0 4096 0 0 0 0 17 1 0 0
/proc/20708/statm: 157074 151947 406 171 0 155999 0
Current children cumulated CPU time (s) 1290.09
Current children cumulated vsize (KiB) 628296

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 20763
/proc/meminfo: memFree=837912/2055920 swapFree=4192812/4192956
[pid=20708] ppid=20706 vsize=654524 CPUtime=1349.53
/proc/20708/stat : 20708 (pcs.big) R 20706 20708 18528 0 -1 4194304 181232 658 0 0 134830 123 0 0 25 0 1 0 58984561 670232576 159300 996147200 134512640 135215973 4294956304 18446744073709551615 4158960014 0 0 4096 0 0 0 0 17 1 0 0
/proc/20708/statm: 163631 159300 406 171 0 162556 0
Current children cumulated CPU time (s) 1349.53
Current children cumulated vsize (KiB) 654524

[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 20763
/proc/meminfo: memFree=807064/2055920 swapFree=4192812/4192956
[pid=20708] ppid=20706 vsize=681604 CPUtime=1408.97
/proc/20708/stat : 20708 (pcs.big) R 20706 20708 18528 0 -1 4194304 188829 658 0 0 140769 128 0 0 25 0 1 0 58984561 697962496 166897 996147200 134512640 135215973 4294956304 18446744073709551615 134907454 0 0 4096 0 0 0 0 17 1 0 0
/proc/20708/statm: 170401 166897 406 171 0 169326 0
Current children cumulated CPU time (s) 1408.97
Current children cumulated vsize (KiB) 681604

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 20763
/proc/meminfo: memFree=776024/2055920 swapFree=4192812/4192956
[pid=20708] ppid=20706 vsize=709668 CPUtime=1468.41
/proc/20708/stat : 20708 (pcs.big) R 20706 20708 18528 0 -1 4194304 196657 658 0 0 146707 134 0 0 25 0 1 0 58984561 726700032 174725 996147200 134512640 135215973 4294956304 18446744073709551615 134589885 0 0 4096 0 0 0 0 17 1 0 0
/proc/20708/statm: 177417 174725 406 171 0 176342 0
Current children cumulated CPU time (s) 1468.41
Current children cumulated vsize (KiB) 709668

[startup+1542.31 s]
/proc/loadavg: 2.00 2.00 2.00 4/82 20763
/proc/meminfo: memFree=744344/2055920 swapFree=4192812/4192956
[pid=20708] ppid=20706 vsize=803600 CPUtime=1527.84
/proc/20708/stat : 20708 (pcs.big) R 20706 20708 18528 0 -1 4194304 220865 658 0 0 152636 148 0 0 25 0 1 0 58984561 822886400 182548 996147200 134512640 135215973 4294956304 18446744073709551615 134648399 0 0 4096 0 0 0 0 17 1 0 0
/proc/20708/statm: 200900 182548 406 171 0 199825 0
Current children cumulated CPU time (s) 1527.84
Current children cumulated vsize (KiB) 803600

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/82 20763
/proc/meminfo: memFree=717408/2055920 swapFree=4192812/4192956
[pid=20708] ppid=20706 vsize=827484 CPUtime=1587.28
/proc/20708/stat : 20708 (pcs.big) R 20706 20708 18528 0 -1 4194304 227613 658 0 0 158574 154 0 0 25 0 1 0 58984561 847343616 189296 996147200 134512640 135215973 4294956304 18446744073709551615 134640948 0 0 4096 0 0 0 0 17 1 0 0
/proc/20708/statm: 206871 189296 406 171 0 205796 0
Current children cumulated CPU time (s) 1587.28
Current children cumulated vsize (KiB) 827484

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/82 20763
/proc/meminfo: memFree=691616/2055920 swapFree=4192812/4192956
[pid=20708] ppid=20706 vsize=850392 CPUtime=1646.72
/proc/20708/stat : 20708 (pcs.big) R 20706 20708 18528 0 -1 4194304 234024 658 0 0 164513 159 0 0 25 0 1 0 58984561 870801408 195707 996147200 134512640 135215973 4294956304 18446744073709551615 134591129 0 0 4096 0 0 0 0 17 1 0 0
/proc/20708/statm: 212598 195707 406 171 0 211523 0
Current children cumulated CPU time (s) 1646.72
Current children cumulated vsize (KiB) 850392

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 20763
/proc/meminfo: memFree=666400/2055920 swapFree=4192812/4192956
[pid=20708] ppid=20706 vsize=873196 CPUtime=1706.16
/proc/20708/stat : 20708 (pcs.big) R 20706 20708 18528 0 -1 4194304 240316 658 0 0 170452 164 0 0 25 0 1 0 58984561 894152704 201999 996147200 134512640 135215973 4294956304 18446744073709551615 134957966 0 0 4096 0 0 0 0 17 1 0 0
/proc/20708/statm: 218299 201999 406 171 0 217224 0
Current children cumulated CPU time (s) 1706.16
Current children cumulated vsize (KiB) 873196

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 20763
/proc/meminfo: memFree=642912/2055920 swapFree=4192812/4192956
[pid=20708] ppid=20706 vsize=893796 CPUtime=1765.6
/proc/20708/stat : 20708 (pcs.big) R 20706 20708 18528 0 -1 4194304 246105 658 0 0 176391 169 0 0 25 0 1 0 58984561 915247104 207788 996147200 134512640 135215973 4294956304 18446744073709551615 4158960304 0 0 4096 0 0 0 0 17 1 0 0
/proc/20708/statm: 223449 207788 406 171 0 222374 0
Current children cumulated CPU time (s) 1765.6
Current children cumulated vsize (KiB) 893796



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1817.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 20763
/proc/meminfo: memFree=624288/2055920 swapFree=4192812/4192956
[pid=20708] ppid=20706 vsize=910576 CPUtime=1800.08
/proc/20708/stat : 20708 (pcs.big) R 20706 20708 18528 0 -1 4194304 250749 658 0 0 179835 173 0 0 25 0 1 0 58984561 932429824 212432 996147200 134512640 135215973 4294956304 18446744073709551615 134609891 0 0 4096 0 0 0 0 17 1 0 0
/proc/20708/statm: 227644 212432 406 171 0 226569 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 910576

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

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

[startup+1817.21 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 20764
/proc/meminfo: memFree=1252760/2055920 swapFree=4192812/4192956
[pid=20708] ppid=20706 vsize=0 CPUtime=1800.18
/proc/20708/stat : 20708 (pcs.big) R 20706 20708 18528 0 -1 4195332 250749 658 0 0 179835 183 0 0 25 0 1 0 58984561 0 0 996147200 0 0 0 0 0 0 0 4096 0 0 0 0 17 1 0 0
/proc/20708/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.18
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1817.25
CPU time (s): 1800.23
CPU user time (s): 1798.35
CPU system time (s): 1.87971
CPU usage (%): 99.0634
Max. virtual memory (cumulated for all children) (KiB): 910576

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.35
system time used= 1.87971
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 251407
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= 19
involuntary context switches= 59940

runsolver used 2.39164 second user time and 5.81012 second system time

The end

Launcher Data 

Begin job on node44 at 2009-07-16 06:40:07
IDJOB=2081010
IDBENCH=57258
IDSOLVER=734
FILE ID=node44/2081010-1247719207
PBS_JOBID= 9521388
Free space on /tmp= 66280 MiB

SOLVER NAME= pcs-restart 0.2.restart
BENCH NAME= CPAI08/csp/super-os/super-os-taillard-10/normalized-super-os-taillard-10-8.xml
COMMAND LINE= HOME/pcssolve -s RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2081010-1247719207/watcher-2081010-1247719207 -o /tmp/evaluation-result-2081010-1247719207/solver-2081010-1247719207 -C 1800 -W 2000 -M 900  HOME/pcssolve -s 1363085463 HOME/instance-2081010-1247719207.xml

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

MD5SUM BENCH= b41d261486a0b1beb3e9c4ad0daa644f
RANDOM SEED=1363085463

node44.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.219
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.219
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:       1439840 kB
Buffers:         79864 kB
Cached:         298760 kB
SwapCached:          0 kB
Active:         230872 kB
Inactive:       299304 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1439840 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            2104 kB
Writeback:           0 kB
Mapped:         163104 kB
Slab:            70944 kB
Committed_AS:   700116 kB
PageTables:       1996 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= 66280 MiB
End job on node44 at 2009-07-16 07:10:26