Trace number 2084397

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 1816.23

General information on the benchmark

Namecsp/rlfapScens11/
normalized-scen11-f4.xml
MD5SUMfd413cfecf35e255c4bf22fb461ea1f3
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 benchmark3.63545
Satisfiable
(Un)Satisfiability was proved
Number of variables680
Number of constraints4103
Maximum constraint arity2
Maximum domain size40
Number of constraints which are defined in extension0
Number of constraints which are defined in intension4103
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.20	c Seed is 669085262
0.18/0.20	c Constructing HOME/instance-2084397-1247724661.xml  with 11969 constraints
0.18/0.29	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-2084397-1247724661/watcher-2084397-1247724661 -o /tmp/evaluation-result-2084397-1247724661/solver-2084397-1247724661 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 669085262 HOME/instance-2084397-1247724661.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.15 2.14 2.10 4/83 15203
/proc/meminfo: memFree=1323080/2055920 swapFree=4192812/4192956
[pid=15203] ppid=15201 vsize=18576 CPUtime=0
/proc/15203/stat : 15203 (runsolver) R 15201 15203 12940 0 -1 4194368 15 0 0 0 0 0 0 0 20 0 1 0 59532606 19021824 284 996147200 4194304 4302564 548682068496 18446744073709551615 268213742887 0 0 4096 24578 0 0 0 17 1 0 0
/proc/15203/statm: 4644 284 249 26 0 2626 0

[startup+0.0791671 s]
/proc/loadavg: 2.15 2.14 2.10 4/83 15203
/proc/meminfo: memFree=1323080/2055920 swapFree=4192812/4192956
[pid=15203] ppid=15201 vsize=7068 CPUtime=0.05
/proc/15203/stat : 15203 (pcs.big) R 15201 15203 12940 0 -1 4194304 1457 662 0 0 5 0 0 0 18 0 1 0 59532606 7237632 1088 996147200 134512640 135215973 4294956304 18446744073709551615 134739661 0 0 4096 0 0 0 0 17 1 0 0
/proc/15203/statm: 1767 1088 385 171 0 692 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 7068

[startup+0.101126 s]
/proc/loadavg: 2.15 2.14 2.10 4/83 15203
/proc/meminfo: memFree=1323080/2055920 swapFree=4192812/4192956
[pid=15203] ppid=15201 vsize=7504 CPUtime=0.07
/proc/15203/stat : 15203 (pcs.big) R 15201 15203 12940 0 -1 4194304 1530 662 0 0 7 0 0 0 18 0 1 0 59532606 7684096 1161 996147200 134512640 135215973 4294956304 18446744073709551615 4159137391 0 0 4096 0 0 0 0 17 1 0 0
/proc/15203/statm: 1876 1161 385 171 0 801 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 7504

[startup+0.301156 s]
/proc/loadavg: 2.15 2.14 2.10 4/83 15203
/proc/meminfo: memFree=1323080/2055920 swapFree=4192812/4192956
[pid=15203] ppid=15201 vsize=10752 CPUtime=0.28
/proc/15203/stat : 15203 (pcs.big) R 15201 15203 12940 0 -1 4194304 2464 662 0 0 27 1 0 0 19 0 1 0 59532606 11010048 1737 996147200 134512640 135215973 4294956304 18446744073709551615 4159345920 0 0 4096 0 0 0 0 17 1 0 0
/proc/15203/statm: 2688 1737 395 171 0 1613 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 10752

[startup+0.701195 s]
/proc/loadavg: 2.15 2.14 2.10 4/83 15203
/proc/meminfo: memFree=1323080/2055920 swapFree=4192812/4192956
[pid=15203] ppid=15201 vsize=13428 CPUtime=0.67
/proc/15203/stat : 15203 (pcs.big) R 15201 15203 12940 0 -1 4194304 3249 662 0 0 66 1 0 0 23 0 1 0 59532606 13750272 2522 996147200 134512640 135215973 4294956304 18446744073709551615 134583640 0 0 4096 0 0 0 0 17 1 0 0
/proc/15203/statm: 3357 2522 401 171 0 2282 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 13428

[startup+1.50128 s]
/proc/loadavg: 2.15 2.14 2.10 3/84 15208
/proc/meminfo: memFree=1310656/2055920 swapFree=4192812/4192956
[pid=15203] ppid=15201 vsize=20372 CPUtime=1.46
/proc/15203/stat : 15203 (pcs.big) R 15201 15203 12940 0 -1 4194304 5006 662 0 0 144 2 0 0 25 0 1 0 59532606 20860928 4279 996147200 134512640 135215973 4294956304 18446744073709551615 134583640 0 0 4096 0 0 0 0 17 1 0 0
/proc/15203/statm: 5093 4279 401 171 0 4018 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 20372

[startup+3.10147 s]
/proc/loadavg: 2.14 2.14 2.10 3/84 15208
/proc/meminfo: memFree=1301952/2055920 swapFree=4192812/4192956
[pid=15203] ppid=15201 vsize=39872 CPUtime=3.05
/proc/15203/stat : 15203 (pcs.big) R 15201 15203 12940 0 -1 4194304 9930 662 0 0 300 5 0 0 25 0 1 0 59532606 40828928 9045 996147200 134512640 135215973 4294956304 18446744073709551615 134599834 0 0 4096 0 0 0 0 17 1 0 0
/proc/15203/statm: 9968 9045 401 171 0 8893 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 39872

[startup+6.30183 s]
/proc/loadavg: 2.14 2.14 2.10 3/83 15208
/proc/meminfo: memFree=1282752/2055920 swapFree=4192812/4192956
[pid=15203] ppid=15201 vsize=45944 CPUtime=6.22
/proc/15203/stat : 15203 (pcs.big) R 15201 15203 12940 0 -1 4194304 11512 662 0 0 617 5 0 0 25 0 1 0 59532606 47046656 10627 996147200 134512640 135215973 4294956304 18446744073709551615 134585694 0 0 4096 0 0 0 0 17 1 0 0
/proc/15203/statm: 11486 10627 401 171 0 10411 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 45944

[startup+12.7016 s]
/proc/loadavg: 2.12 2.14 2.10 3/83 15208
/proc/meminfo: memFree=1276224/2055920 swapFree=4192812/4192956
[pid=15203] ppid=15201 vsize=52016 CPUtime=12.56
/proc/15203/stat : 15203 (pcs.big) R 15201 15203 12940 0 -1 4194304 13043 662 0 0 1250 6 0 0 25 0 1 0 59532606 53264384 12158 996147200 134512640 135215973 4294956304 18446744073709551615 134583640 0 0 4096 0 0 0 0 17 1 0 0
/proc/15203/statm: 13004 12158 401 171 0 11929 0
Current children cumulated CPU time (s) 12.56
Current children cumulated vsize (KiB) 52016

[startup+25.502 s]
/proc/loadavg: 2.10 2.13 2.10 3/83 15208
/proc/meminfo: memFree=1240128/2055920 swapFree=4192812/4192956
[pid=15203] ppid=15201 vsize=88092 CPUtime=25.24
/proc/15203/stat : 15203 (pcs.big) R 15201 15203 12940 0 -1 4194304 22102 662 0 0 2514 10 0 0 25 0 1 0 59532606 90206208 21008 996147200 134512640 135215973 4294956304 18446744073709551615 4158960058 0 0 4096 0 0 0 0 17 1 0 0
/proc/15203/statm: 22023 21008 401 171 0 20948 0
Current children cumulated CPU time (s) 25.24
Current children cumulated vsize (KiB) 88092

[startup+51.1019 s]
/proc/loadavg: 2.06 2.12 2.10 3/83 15208
/proc/meminfo: memFree=1240000/2055920 swapFree=4192812/4192956
[pid=15203] ppid=15201 vsize=88092 CPUtime=50.6
/proc/15203/stat : 15203 (pcs.big) R 15201 15203 12940 0 -1 4194304 22179 662 0 0 5050 10 0 0 25 0 1 0 59532606 90206208 21085 996147200 134512640 135215973 4294956304 18446744073709551615 134590521 0 0 4096 0 0 0 0 17 1 0 0
/proc/15203/statm: 22023 21085 401 171 0 20948 0
Current children cumulated CPU time (s) 50.6
Current children cumulated vsize (KiB) 88092

[startup+102.307 s]
/proc/loadavg: 2.02 2.10 2.09 3/83 15208
/proc/meminfo: memFree=1153984/2055920 swapFree=4192812/4192956
[pid=15203] ppid=15201 vsize=174188 CPUtime=101.32
/proc/15203/stat : 15203 (pcs.big) R 15201 15203 12940 0 -1 4194304 44012 662 0 0 10113 19 0 0 25 0 1 0 59532606 178368512 42501 996147200 134512640 135215973 4294956304 18446744073709551615 134599879 0 0 4096 0 0 0 0 17 1 0 0
/proc/15203/statm: 43547 42501 404 171 0 42472 0
Current children cumulated CPU time (s) 101.32
Current children cumulated vsize (KiB) 174188

[startup+162.302 s]
/proc/loadavg: 2.01 2.08 2.08 3/83 15208
/proc/meminfo: memFree=1153984/2055920 swapFree=4192812/4192956
[pid=15203] ppid=15201 vsize=174188 CPUtime=160.76
/proc/15203/stat : 15203 (pcs.big) R 15201 15203 12940 0 -1 4194304 44018 662 0 0 16057 19 0 0 25 0 1 0 59532606 178368512 42507 996147200 134512640 135215973 4294956304 18446744073709551615 134583640 0 0 4096 0 0 0 0 17 1 0 0
/proc/15203/statm: 43547 42507 404 171 0 42472 0
Current children cumulated CPU time (s) 160.76
Current children cumulated vsize (KiB) 174188

[startup+222.301 s]
/proc/loadavg: 2.00 2.06 2.08 3/83 15208
/proc/meminfo: memFree=1153920/2055920 swapFree=4192812/4192956
[pid=15203] ppid=15201 vsize=174296 CPUtime=220.19
/proc/15203/stat : 15203 (pcs.big) R 15201 15203 12940 0 -1 4194304 44034 662 0 0 22000 19 0 0 25 0 1 0 59532606 178479104 42523 996147200 134512640 135215973 4294956304 18446744073709551615 134583626 0 0 4096 0 0 0 0 17 1 0 0
/proc/15203/statm: 43574 42523 404 171 0 42499 0
Current children cumulated CPU time (s) 220.19
Current children cumulated vsize (KiB) 174296

[startup+282.301 s]
/proc/loadavg: 2.00 2.05 2.07 3/83 15208
/proc/meminfo: memFree=1153792/2055920 swapFree=4192812/4192956
[pid=15203] ppid=15201 vsize=174396 CPUtime=279.63
/proc/15203/stat : 15203 (pcs.big) R 15201 15203 12940 0 -1 4194304 44058 662 0 0 27944 19 0 0 25 0 1 0 59532606 178581504 42547 996147200 134512640 135215973 4294956304 18446744073709551615 134583640 0 0 4096 0 0 0 0 17 1 0 0
/proc/15203/statm: 43599 42547 404 171 0 42524 0
Current children cumulated CPU time (s) 279.63
Current children cumulated vsize (KiB) 174396

[startup+342.302 s]
/proc/loadavg: 2.00 2.04 2.06 3/83 15208
/proc/meminfo: memFree=1153792/2055920 swapFree=4192812/4192956
[pid=15203] ppid=15201 vsize=174396 CPUtime=339.07
/proc/15203/stat : 15203 (pcs.big) R 15201 15203 12940 0 -1 4194304 44071 662 0 0 33888 19 0 0 25 0 1 0 59532606 178581504 42560 996147200 134512640 135215973 4294956304 18446744073709551615 134583589 0 0 4096 0 0 0 0 17 1 0 0
/proc/15203/statm: 43599 42560 404 171 0 42524 0
Current children cumulated CPU time (s) 339.07
Current children cumulated vsize (KiB) 174396

[startup+402.302 s]
/proc/loadavg: 2.00 2.03 2.06 3/83 15208
/proc/meminfo: memFree=1153664/2055920 swapFree=4192812/4192956
[pid=15203] ppid=15201 vsize=174492 CPUtime=398.5
/proc/15203/stat : 15203 (pcs.big) R 15201 15203 12940 0 -1 4194304 44090 662 0 0 39831 19 0 0 25 0 1 0 59532606 178679808 42579 996147200 134512640 135215973 4294956304 18446744073709551615 134590548 0 0 4096 0 0 0 0 17 1 0 0
/proc/15203/statm: 43623 42579 404 171 0 42548 0
Current children cumulated CPU time (s) 398.5
Current children cumulated vsize (KiB) 174492

[startup+462.302 s]
/proc/loadavg: 2.00 2.02 2.05 3/83 15208
/proc/meminfo: memFree=1153600/2055920 swapFree=4192812/4192956
[pid=15203] ppid=15201 vsize=174636 CPUtime=457.95
/proc/15203/stat : 15203 (pcs.big) R 15201 15203 12940 0 -1 4194304 44129 662 0 0 45775 20 0 0 25 0 1 0 59532606 178827264 42618 996147200 134512640 135215973 4294956304 18446744073709551615 134583640 0 0 4096 0 0 0 0 17 1 0 0
/proc/15203/statm: 43659 42618 404 171 0 42584 0
Current children cumulated CPU time (s) 457.95
Current children cumulated vsize (KiB) 174636

[startup+522.301 s]
/proc/loadavg: 2.00 2.02 2.05 3/83 15208
/proc/meminfo: memFree=1153472/2055920 swapFree=4192812/4192956
[pid=15203] ppid=15201 vsize=174732 CPUtime=517.39
/proc/15203/stat : 15203 (pcs.big) R 15201 15203 12940 0 -1 4194304 44147 662 0 0 51719 20 0 0 25 0 1 0 59532606 178925568 42636 996147200 134512640 135215973 4294956304 18446744073709551615 134583640 0 0 4096 0 0 0 0 17 1 0 0
/proc/15203/statm: 43683 42636 404 171 0 42608 0
Current children cumulated CPU time (s) 517.39
Current children cumulated vsize (KiB) 174732

[startup+582.301 s]
/proc/loadavg: 2.00 2.01 2.04 3/83 15208
/proc/meminfo: memFree=1153280/2055920 swapFree=4192812/4192956
[pid=15203] ppid=15201 vsize=174832 CPUtime=576.82
/proc/15203/stat : 15203 (pcs.big) R 15201 15203 12940 0 -1 4194304 44179 662 0 0 57662 20 0 0 25 0 1 0 59532606 179027968 42668 996147200 134512640 135215973 4294956304 18446744073709551615 4158960165 0 0 4096 0 0 0 0 17 1 0 0
/proc/15203/statm: 43708 42668 404 171 0 42633 0
Current children cumulated CPU time (s) 576.82
Current children cumulated vsize (KiB) 174832

[startup+642.301 s]
/proc/loadavg: 2.00 2.00 2.03 3/83 15208
/proc/meminfo: memFree=1153152/2055920 swapFree=4192812/4192956
[pid=15203] ppid=15201 vsize=174928 CPUtime=636.26
/proc/15203/stat : 15203 (pcs.big) R 15201 15203 12940 0 -1 4194304 44203 662 0 0 63606 20 0 0 25 0 1 0 59532606 179126272 42692 996147200 134512640 135215973 4294956304 18446744073709551615 4158960027 0 0 4096 0 0 0 0 17 1 0 0
/proc/15203/statm: 43732 42692 404 171 0 42657 0
Current children cumulated CPU time (s) 636.26
Current children cumulated vsize (KiB) 174928

[startup+702.302 s]

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

[startup+822.302 s]
/proc/loadavg: 2.00 2.00 2.02 3/83 15208
/proc/meminfo: memFree=1152832/2055920 swapFree=4192812/4192956
[pid=15203] ppid=15201 vsize=175252 CPUtime=814.57
/proc/15203/stat : 15203 (pcs.big) R 15201 15203 12940 0 -1 4194304 44296 662 0 0 81437 20 0 0 25 0 1 0 59532606 179458048 42785 996147200 134512640 135215973 4294956304 18446744073709551615 4158960075 0 0 4096 0 0 0 0 17 1 0 0
/proc/15203/statm: 43813 42785 404 171 0 42738 0
Current children cumulated CPU time (s) 814.57
Current children cumulated vsize (KiB) 175252

[startup+882.301 s]
/proc/loadavg: 2.00 2.00 2.01 3/83 15208
/proc/meminfo: memFree=1152704/2055920 swapFree=4192812/4192956
[pid=15203] ppid=15201 vsize=175452 CPUtime=874
/proc/15203/stat : 15203 (pcs.big) R 15201 15203 12940 0 -1 4194304 44337 662 0 0 87380 20 0 0 25 0 1 0 59532606 179662848 42826 996147200 134512640 135215973 4294956304 18446744073709551615 4158960638 0 0 4096 0 0 0 0 17 1 0 0
/proc/15203/statm: 43863 42826 404 171 0 42788 0
Current children cumulated CPU time (s) 874
Current children cumulated vsize (KiB) 175452

[startup+942.301 s]
/proc/loadavg: 2.00 2.00 2.01 3/83 15208
/proc/meminfo: memFree=1152512/2055920 swapFree=4192812/4192956
[pid=15203] ppid=15201 vsize=175548 CPUtime=933.44
/proc/15203/stat : 15203 (pcs.big) R 15201 15203 12940 0 -1 4194304 44377 662 0 0 93324 20 0 0 25 0 1 0 59532606 179761152 42866 996147200 134512640 135215973 4294956304 18446744073709551615 134585756 0 0 4096 0 0 0 0 17 1 0 0
/proc/15203/statm: 43887 42866 404 171 0 42812 0
Current children cumulated CPU time (s) 933.44
Current children cumulated vsize (KiB) 175548

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 15208
/proc/meminfo: memFree=1152320/2055920 swapFree=4192812/4192956
[pid=15203] ppid=15201 vsize=175740 CPUtime=992.89
/proc/15203/stat : 15203 (pcs.big) R 15201 15203 12940 0 -1 4194304 44426 662 0 0 99268 21 0 0 25 0 1 0 59532606 179957760 42915 996147200 134512640 135215973 4294956304 18446744073709551615 134599868 0 0 4096 0 0 0 0 17 1 0 0
/proc/15203/statm: 43935 42915 404 171 0 42860 0
Current children cumulated CPU time (s) 992.89
Current children cumulated vsize (KiB) 175740

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 15208
/proc/meminfo: memFree=1152256/2055920 swapFree=4192812/4192956
[pid=15203] ppid=15201 vsize=175964 CPUtime=1052.33
/proc/15203/stat : 15203 (pcs.big) R 15201 15203 12940 0 -1 4194304 44494 662 0 0 105212 21 0 0 25 0 1 0 59532606 180187136 42950 996147200 134512640 135215973 4294956304 18446744073709551615 134583634 0 0 4096 0 0 0 0 17 1 0 0
/proc/15203/statm: 43991 42950 404 171 0 42916 0
Current children cumulated CPU time (s) 1052.33
Current children cumulated vsize (KiB) 175964

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 15208
/proc/meminfo: memFree=1152000/2055920 swapFree=4192812/4192956
[pid=15203] ppid=15201 vsize=176164 CPUtime=1111.76
/proc/15203/stat : 15203 (pcs.big) R 15201 15203 12940 0 -1 4194304 44536 662 0 0 111155 21 0 0 25 0 1 0 59532606 180391936 42992 996147200 134512640 135215973 4294956304 18446744073709551615 134583640 0 0 4096 0 0 0 0 17 1 0 0
/proc/15203/statm: 44041 42992 404 171 0 42966 0
Current children cumulated CPU time (s) 1111.76
Current children cumulated vsize (KiB) 176164

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 15208
/proc/meminfo: memFree=1151872/2055920 swapFree=4192812/4192956
[pid=15203] ppid=15201 vsize=176260 CPUtime=1171.2
/proc/15203/stat : 15203 (pcs.big) R 15201 15203 12940 0 -1 4194304 44566 662 0 0 117099 21 0 0 25 0 1 0 59532606 180490240 43022 996147200 134512640 135215973 4294956304 18446744073709551615 134591843 0 0 4096 0 0 0 0 17 1 0 0
/proc/15203/statm: 44065 43022 404 171 0 42990 0
Current children cumulated CPU time (s) 1171.2
Current children cumulated vsize (KiB) 176260

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 15208
/proc/meminfo: memFree=1151680/2055920 swapFree=4192812/4192956
[pid=15203] ppid=15201 vsize=176356 CPUtime=1230.64
/proc/15203/stat : 15203 (pcs.big) R 15201 15203 12940 0 -1 4194304 44594 662 0 0 123043 21 0 0 25 0 1 0 59532606 180588544 43050 996147200 134512640 135215973 4294956304 18446744073709551615 134583640 0 0 4096 0 0 0 0 17 1 0 0
/proc/15203/statm: 44089 43050 404 171 0 43014 0
Current children cumulated CPU time (s) 1230.64
Current children cumulated vsize (KiB) 176356

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 15208
/proc/meminfo: memFree=1151616/2055920 swapFree=4192812/4192956
[pid=15203] ppid=15201 vsize=176452 CPUtime=1290.07
/proc/15203/stat : 15203 (pcs.big) R 15201 15203 12940 0 -1 4194304 44625 662 0 0 128986 21 0 0 25 0 1 0 59532606 180686848 43081 996147200 134512640 135215973 4294956304 18446744073709551615 134583697 0 0 4096 0 0 0 0 17 1 0 0
/proc/15203/statm: 44113 43081 404 171 0 43038 0
Current children cumulated CPU time (s) 1290.07
Current children cumulated vsize (KiB) 176452

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 15208
/proc/meminfo: memFree=1151424/2055920 swapFree=4192812/4192956
[pid=15203] ppid=15201 vsize=176548 CPUtime=1349.51
/proc/15203/stat : 15203 (pcs.big) R 15201 15203 12940 0 -1 4194304 44657 662 0 0 134930 21 0 0 25 0 1 0 59532606 180785152 43113 996147200 134512640 135215973 4294956304 18446744073709551615 134583640 0 0 4096 0 0 0 0 17 1 0 0
/proc/15203/statm: 44137 43113 404 171 0 43062 0
Current children cumulated CPU time (s) 1349.51
Current children cumulated vsize (KiB) 176548

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 15208
/proc/meminfo: memFree=1151296/2055920 swapFree=4192812/4192956
[pid=15203] ppid=15201 vsize=176644 CPUtime=1408.95
/proc/15203/stat : 15203 (pcs.big) R 15201 15203 12940 0 -1 4194304 44685 662 0 0 140874 21 0 0 25 0 1 0 59532606 180883456 43141 996147200 134512640 135215973 4294956304 18446744073709551615 134583640 0 0 4096 0 0 0 0 17 1 0 0
/proc/15203/statm: 44161 43141 404 171 0 43086 0
Current children cumulated CPU time (s) 1408.95
Current children cumulated vsize (KiB) 176644

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 15208
/proc/meminfo: memFree=1151168/2055920 swapFree=4192812/4192956
[pid=15203] ppid=15201 vsize=176740 CPUtime=1468.38
/proc/15203/stat : 15203 (pcs.big) R 15201 15203 12940 0 -1 4194304 44719 662 0 0 146817 21 0 0 25 0 1 0 59532606 180981760 43175 996147200 134512640 135215973 4294956304 18446744073709551615 134532677 0 0 4096 0 0 0 0 17 1 0 0
/proc/15203/statm: 44185 43175 404 171 0 43110 0
Current children cumulated CPU time (s) 1468.38
Current children cumulated vsize (KiB) 176740

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 15208
/proc/meminfo: memFree=1151040/2055920 swapFree=4192812/4192956
[pid=15203] ppid=15201 vsize=176936 CPUtime=1527.82
/proc/15203/stat : 15203 (pcs.big) R 15201 15203 12940 0 -1 4194304 44752 662 0 0 152760 22 0 0 25 0 1 0 59532606 181182464 43208 996147200 134512640 135215973 4294956304 18446744073709551615 134596306 0 0 4096 0 0 0 0 17 1 0 0
/proc/15203/statm: 44234 43208 404 171 0 43159 0
Current children cumulated CPU time (s) 1527.82
Current children cumulated vsize (KiB) 176936

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 15208
/proc/meminfo: memFree=1150464/2055920 swapFree=4192812/4192956
[pid=15203] ppid=15201 vsize=177976 CPUtime=1587.26
/proc/15203/stat : 15203 (pcs.big) R 15201 15203 12940 0 -1 4194304 45002 662 0 0 158704 22 0 0 25 0 1 0 59532606 182247424 43329 996147200 134512640 135215973 4294956304 18446744073709551615 134599868 0 0 4096 0 0 0 0 17 1 0 0
/proc/15203/statm: 44494 43329 404 171 0 43419 0
Current children cumulated CPU time (s) 1587.26
Current children cumulated vsize (KiB) 177976

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 15208
/proc/meminfo: memFree=1150464/2055920 swapFree=4192812/4192956
[pid=15203] ppid=15201 vsize=177976 CPUtime=1646.7
/proc/15203/stat : 15203 (pcs.big) R 15201 15203 12940 0 -1 4194304 45005 662 0 0 164648 22 0 0 25 0 1 0 59532606 182247424 43332 996147200 134512640 135215973 4294956304 18446744073709551615 4158960050 0 0 4096 0 0 0 0 17 1 0 0
/proc/15203/statm: 44494 43332 404 171 0 43419 0
Current children cumulated CPU time (s) 1646.7
Current children cumulated vsize (KiB) 177976

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 2/69 15227
/proc/meminfo: memFree=1207488/2055920 swapFree=4192812/4192956
[pid=15203] ppid=15201 vsize=177976 CPUtime=1706.16
/proc/15203/stat : 15203 (pcs.big) R 15201 15203 12940 0 -1 4194304 45015 662 0 0 170594 22 0 0 25 0 1 0 59532606 182247424 43342 996147200 134512640 135215973 4294956304 18446744073709551615 134583697 0 0 4096 0 0 0 0 17 0 0 0
/proc/15203/statm: 44494 43342 404 171 0 43419 0
Current children cumulated CPU time (s) 1706.16
Current children cumulated vsize (KiB) 177976

[startup+1782.3 s]
/proc/loadavg: 1.94 1.97 1.99 3/83 15316
/proc/meminfo: memFree=1185176/2055920 swapFree=4192812/4192956
[pid=15203] ppid=15201 vsize=178072 CPUtime=1766.12
/proc/15203/stat : 15203 (pcs.big) R 15201 15203 12940 0 -1 4194304 45037 662 0 0 176588 24 0 0 25 0 1 0 59532606 182345728 43364 996147200 134512640 135215973 4294956304 18446744073709551615 134583496 0 0 4096 0 0 0 0 17 0 0 0
/proc/15203/statm: 44518 43364 404 171 0 43443 0
Current children cumulated CPU time (s) 1766.12
Current children cumulated vsize (KiB) 178072



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1816.2 s]
/proc/loadavg: 1.96 1.97 1.99 3/83 15316
/proc/meminfo: memFree=1185176/2055920 swapFree=4192812/4192956
[pid=15203] ppid=15201 vsize=178072 CPUtime=1800.01
/proc/15203/stat : 15203 (pcs.big) R 15201 15203 12940 0 -1 4194304 45051 662 0 0 179977 24 0 0 25 0 1 0 59532606 182345728 43378 996147200 134512640 135215973 4294956304 18446744073709551615 134583640 0 0 4096 0 0 0 0 17 0 0 0
/proc/15203/statm: 44518 43378 404 171 0 43443 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 178072

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): 1816.23
CPU time (s): 1800.05
CPU user time (s): 1799.78
CPU system time (s): 0.278957
CPU usage (%): 99.1092
Max. virtual memory (cumulated for all children) (KiB): 178072

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

runsolver used 2.12068 second user time and 6.10507 second system time

The end

Launcher Data 

Begin job on node32 at 2009-07-16 08:11:01
IDJOB=2084397
IDBENCH=58075
IDSOLVER=733
FILE ID=node32/2084397-1247724661
PBS_JOBID= 9521459
Free space on /tmp= 66324 MiB

SOLVER NAME= pcs 0.2
BENCH NAME= CPAI08/csp/rlfapScens11/normalized-scen11-f4.xml
COMMAND LINE= HOME/pcssolve -s RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2084397-1247724661/watcher-2084397-1247724661 -o /tmp/evaluation-result-2084397-1247724661/solver-2084397-1247724661 -C 1800 -W 2000 -M 900  HOME/pcssolve -s 669085262 HOME/instance-2084397-1247724661.xml

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

MD5SUM BENCH= fd413cfecf35e255c4bf22fb461ea1f3
RANDOM SEED=669085262

node32.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.236
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.236
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:       1323560 kB
Buffers:         93084 kB
Cached:         480632 kB
SwapCached:          0 kB
Active:         258408 kB
Inactive:       386784 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1323560 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            2616 kB
Writeback:           0 kB
Mapped:          91968 kB
Slab:            71832 kB
Committed_AS:   635352 kB
PageTables:       2084 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= 66320 MiB
End job on node32 at 2009-07-16 08:41:19