Trace number 2083418

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.19 1801.78

General information on the benchmark

Namecsp/fapp/fapp37/
normalized-fapp37-2250-2.xml
MD5SUMf8718ebaf51fd44c6f84abcaca826b6a
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 benchmark41.4797
Satisfiable
(Un)Satisfiability was proved
Number of variables2250
Number of constraints42699
Maximum constraint arity2
Maximum domain size998
Number of constraints which are defined in extension0
Number of constraints which are defined in intension42699
Global constraints used (with number of constraints)

Solver Data 

0.00/0.03	c has big domains
0.00/0.03	c big-domain mode
0.00/0.04	c Seed is 1803330955
0.00/0.04	c Constructing HOME/instance-2083418-1247723111.xml  with 269554 constraints
4.93/5.01	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-2083418-1247723111/watcher-2083418-1247723111 -o /tmp/evaluation-result-2083418-1247723111/solver-2083418-1247723111 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 1803330955 HOME/instance-2083418-1247723111.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.05 2.04 2.00 4/82 11156
/proc/meminfo: memFree=1360384/2055920 swapFree=4192812/4192956
[pid=11156] ppid=11154 vsize=18576 CPUtime=0
/proc/11156/stat : 11156 (runsolver) R 11154 11156 9017 0 -1 4194368 15 0 0 0 0 0 0 0 20 0 1 0 59374490 19021824 284 996147200 4194304 4302564 548682068496 18446744073709551615 251255123239 0 0 4096 24578 0 0 0 17 1 0 0
/proc/11156/statm: 4644 284 249 26 0 2626 0

[startup+0.0126009 s]
/proc/loadavg: 2.05 2.04 2.00 4/82 11156
/proc/meminfo: memFree=1360384/2055920 swapFree=4192812/4192956
[pid=11156] ppid=11154 vsize=5356 CPUtime=0
/proc/11156/stat : 11156 (pcssolve) S 11154 11156 9017 0 -1 4194304 305 0 0 0 0 0 0 0 20 0 1 0 59374490 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 251255120708 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11156/statm: 1339 242 201 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.102608 s]
/proc/loadavg: 2.05 2.04 2.00 4/82 11156
/proc/meminfo: memFree=1360384/2055920 swapFree=4192812/4192956
[pid=11156] ppid=11154 vsize=6748 CPUtime=0.07
/proc/11156/stat : 11156 (pcs.big) R 11154 11156 9017 0 -1 4194304 1347 670 0 0 6 0 0 1 18 0 1 0 59374490 6909952 893 996147200 134512640 135215973 4294956304 18446744073709551615 4159144305 0 0 4096 0 0 0 0 17 1 0 0
/proc/11156/statm: 1687 893 386 171 0 612 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 6748

[startup+0.302631 s]
/proc/loadavg: 2.05 2.04 2.00 4/82 11156
/proc/meminfo: memFree=1360384/2055920 swapFree=4192812/4192956
[pid=11156] ppid=11154 vsize=10576 CPUtime=0.28
/proc/11156/stat : 11156 (pcs.big) R 11154 11156 9017 0 -1 4194304 2656 670 0 0 26 1 0 1 19 0 1 0 59374490 10829824 1873 996147200 134512640 135215973 4294956304 18446744073709551615 134744228 0 0 4096 0 0 0 0 17 1 0 0
/proc/11156/statm: 2644 1873 386 171 0 1569 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 10576

[startup+0.701681 s]
/proc/loadavg: 2.05 2.04 2.00 4/82 11156
/proc/meminfo: memFree=1360384/2055920 swapFree=4192812/4192956
[pid=11156] ppid=11154 vsize=24160 CPUtime=0.67
/proc/11156/stat : 11156 (pcs.big) R 11154 11156 9017 0 -1 4194304 6194 670 0 0 63 3 0 1 23 0 1 0 59374490 24739840 4023 996147200 134512640 135215973 4294956304 18446744073709551615 134808183 0 0 4096 0 0 0 0 17 1 0 0
/proc/11156/statm: 6040 4023 386 171 0 4965 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 24160

[startup+1.50176 s]
/proc/loadavg: 2.05 2.04 2.00 3/83 11161
/proc/meminfo: memFree=1336816/2055920 swapFree=4192812/4192956
[pid=11156] ppid=11154 vsize=42400 CPUtime=1.47
/proc/11156/stat : 11156 (pcs.big) R 11154 11156 9017 0 -1 4194304 12867 670 0 0 139 7 0 1 25 0 1 0 59374490 43417600 7651 996147200 134512640 135215973 4294956304 18446744073709551615 134739766 0 0 4096 0 0 0 0 17 1 0 0
/proc/11156/statm: 10600 7651 386 171 0 9525 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 42400

[startup+3.10194 s]
/proc/loadavg: 2.05 2.04 2.00 3/83 11161
/proc/meminfo: memFree=1312112/2055920 swapFree=4192812/4192956
[pid=11156] ppid=11154 vsize=80548 CPUtime=3.04
/proc/11156/stat : 11156 (pcs.big) R 11154 11156 9017 0 -1 4194304 25478 670 0 0 290 13 0 1 25 0 1 0 59374490 82481152 15009 996147200 134512640 135215973 4294956304 18446744073709551615 134761798 0 0 4096 0 0 0 0 17 1 0 0
/proc/11156/statm: 20137 15009 386 171 0 19062 0
Current children cumulated CPU time (s) 3.04
Current children cumulated vsize (KiB) 80548

[startup+6.30128 s]
/proc/loadavg: 2.05 2.04 2.00 3/83 11161
/proc/meminfo: memFree=1222768/2055920 swapFree=4192812/4192956
[pid=11156] ppid=11154 vsize=129288 CPUtime=6.21
/proc/11156/stat : 11156 (pcs.big) R 11154 11156 9017 0 -1 4194304 47068 670 0 0 597 23 0 1 25 0 1 0 59374490 132390912 29003 996147200 134512640 135215973 4294956304 18446744073709551615 134585699 0 0 4096 0 0 0 0 17 1 0 0
/proc/11156/statm: 32322 29003 410 171 0 31247 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 129288

[startup+12.702 s]
/proc/loadavg: 2.12 2.05 2.01 3/83 11161
/proc/meminfo: memFree=1200440/2055920 swapFree=4192812/4192956
[pid=11156] ppid=11154 vsize=130124 CPUtime=12.56
/proc/11156/stat : 11156 (pcs.big) R 11154 11156 9017 0 -1 4194304 47331 670 0 0 1231 24 0 1 25 0 1 0 59374490 133246976 29108 996147200 134512640 135215973 4294956304 18446744073709551615 134585720 0 0 4096 0 0 0 0 17 1 0 0
/proc/11156/statm: 32531 29108 410 171 0 31456 0
Current children cumulated CPU time (s) 12.56
Current children cumulated vsize (KiB) 130124

[startup+25.5024 s]
/proc/loadavg: 2.10 2.05 2.00 3/83 11161
/proc/meminfo: memFree=1139320/2055920 swapFree=4192812/4192956
[pid=11156] ppid=11154 vsize=130956 CPUtime=25.23
/proc/11156/stat : 11156 (pcs.big) R 11154 11156 9017 0 -1 4194304 47721 670 0 0 2498 24 0 1 25 0 1 0 59374490 134098944 29289 996147200 134512640 135215973 4294956304 18446744073709551615 135094939 0 0 4096 0 0 0 0 17 1 0 0
/proc/11156/statm: 32739 29289 410 171 0 31664 0
Current children cumulated CPU time (s) 25.23
Current children cumulated vsize (KiB) 130956

[startup+51.1022 s]
/proc/loadavg: 2.20 2.08 2.01 3/83 11161
/proc/meminfo: memFree=1036408/2055920 swapFree=4192812/4192956
[pid=11156] ppid=11154 vsize=135524 CPUtime=50.6
/proc/11156/stat : 11156 (pcs.big) R 11154 11156 9017 0 -1 4194304 49231 670 0 0 5034 25 0 1 25 0 1 0 59374490 138776576 30382 996147200 134512640 135215973 4294956304 18446744073709551615 135094851 0 0 4096 0 0 0 0 17 1 0 0
/proc/11156/statm: 33881 30382 410 171 0 32806 0
Current children cumulated CPU time (s) 50.6
Current children cumulated vsize (KiB) 135524

[startup+102.307 s]
/proc/loadavg: 2.22 2.11 2.02 3/73 11194
/proc/meminfo: memFree=1312320/2055920 swapFree=4192812/4192956
[pid=11156] ppid=11154 vsize=150996 CPUtime=101.34
/proc/11156/stat : 11156 (pcs.big) R 11154 11156 9017 0 -1 4194304 53770 670 0 0 10107 26 0 1 25 0 1 0 59374490 154619904 34088 996147200 134512640 135215973 4294956304 18446744073709551615 134585694 0 0 4096 0 0 0 0 17 0 0 0
/proc/11156/statm: 37749 34088 410 171 0 36674 0
Current children cumulated CPU time (s) 101.34
Current children cumulated vsize (KiB) 150996

[startup+162.301 s]
/proc/loadavg: 2.08 2.08 2.02 3/73 11194
/proc/meminfo: memFree=1301704/2055920 swapFree=4192812/4192956
[pid=11156] ppid=11154 vsize=151392 CPUtime=161.3
/proc/11156/stat : 11156 (pcs.big) R 11154 11156 9017 0 -1 4194304 53995 670 0 0 16103 26 0 1 25 0 1 0 59374490 155025408 34313 996147200 134512640 135215973 4294956304 18446744073709551615 134585720 0 0 4096 0 0 0 0 17 0 0 0
/proc/11156/statm: 37848 34313 410 171 0 36773 0
Current children cumulated CPU time (s) 161.3
Current children cumulated vsize (KiB) 151392

[startup+222.303 s]
/proc/loadavg: 2.03 2.07 2.01 3/73 11194
/proc/meminfo: memFree=1289544/2055920 swapFree=4192812/4192956
[pid=11156] ppid=11154 vsize=157992 CPUtime=221.29
/proc/11156/stat : 11156 (pcs.big) R 11154 11156 9017 0 -1 4194304 64181 670 0 0 22099 29 0 1 25 0 1 0 59374490 161783808 36137 996147200 134512640 135215973 4294956304 18446744073709551615 134585880 0 0 4096 0 0 0 0 17 0 0 0
/proc/11156/statm: 39498 36137 413 171 0 38423 0
Current children cumulated CPU time (s) 221.29
Current children cumulated vsize (KiB) 157992

[startup+282.302 s]
/proc/loadavg: 2.09 2.07 2.01 3/73 11194
/proc/meminfo: memFree=1277448/2055920 swapFree=4192812/4192956
[pid=11156] ppid=11154 vsize=167228 CPUtime=281.27
/proc/11156/stat : 11156 (pcs.big) R 11154 11156 9017 0 -1 4194304 67402 670 0 0 28095 31 0 1 25 0 1 0 59374490 171241472 38454 996147200 134512640 135215973 4294956304 18446744073709551615 135094305 0 0 4096 0 0 0 0 17 0 0 0
/proc/11156/statm: 41807 38454 413 171 0 40732 0
Current children cumulated CPU time (s) 281.27
Current children cumulated vsize (KiB) 167228

[startup+342.303 s]
/proc/loadavg: 2.03 2.05 2.01 3/73 11194
/proc/meminfo: memFree=1260104/2055920 swapFree=4192812/4192956
[pid=11156] ppid=11154 vsize=181356 CPUtime=341.24
/proc/11156/stat : 11156 (pcs.big) R 11154 11156 9017 0 -1 4194304 71835 670 0 0 34091 32 0 1 25 0 1 0 59374490 185708544 41983 996147200 134512640 135215973 4294956304 18446744073709551615 134590017 0 0 4096 0 0 0 0 17 0 0 0
/proc/11156/statm: 45339 41983 413 171 0 44264 0
Current children cumulated CPU time (s) 341.24
Current children cumulated vsize (KiB) 181356

[startup+402.302 s]
/proc/loadavg: 2.01 2.04 2.00 3/73 11194
/proc/meminfo: memFree=1249544/2055920 swapFree=4192812/4192956
[pid=11156] ppid=11154 vsize=192448 CPUtime=401.21
/proc/11156/stat : 11156 (pcs.big) R 11154 11156 9017 0 -1 4194304 75747 670 0 0 40087 33 0 1 25 0 1 0 59374490 197066752 44765 996147200 134512640 135215973 4294956304 18446744073709551615 134588519 0 0 4096 0 0 0 0 17 0 0 0
/proc/11156/statm: 48112 44765 413 171 0 47037 0
Current children cumulated CPU time (s) 401.21
Current children cumulated vsize (KiB) 192448

[startup+462.303 s]
/proc/loadavg: 2.00 2.03 2.00 3/73 11196
/proc/meminfo: memFree=1239688/2055920 swapFree=4192812/4192956
[pid=11156] ppid=11154 vsize=196144 CPUtime=461.19
/proc/11156/stat : 11156 (pcs.big) R 11154 11156 9017 0 -1 4194304 77577 670 0 0 46084 34 0 1 25 0 1 0 59374490 200851456 45691 996147200 134512640 135215973 4294956304 18446744073709551615 134585626 0 0 4096 0 0 0 0 17 0 0 0
/proc/11156/statm: 49036 45691 413 171 0 47961 0
Current children cumulated CPU time (s) 461.19
Current children cumulated vsize (KiB) 196144

[startup+522.302 s]
/proc/loadavg: 2.00 2.02 2.00 3/73 11196
/proc/meminfo: memFree=1230920/2055920 swapFree=4192812/4192956
[pid=11156] ppid=11154 vsize=209060 CPUtime=521.17
/proc/11156/stat : 11156 (pcs.big) R 11154 11156 9017 0 -1 4194304 81731 670 0 0 52080 36 0 1 25 0 1 0 59374490 214077440 47276 996147200 134512640 135215973 4294956304 18446744073709551615 134585880 0 0 4096 0 0 0 0 17 0 0 0
/proc/11156/statm: 52265 47276 413 171 0 51190 0
Current children cumulated CPU time (s) 521.17
Current children cumulated vsize (KiB) 209060

[startup+582.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/73 11196
/proc/meminfo: memFree=1219208/2055920 swapFree=4192812/4192956
[pid=11156] ppid=11154 vsize=216716 CPUtime=581.15
/proc/11156/stat : 11156 (pcs.big) R 11154 11156 9017 0 -1 4194304 84549 670 0 0 58076 38 0 1 25 0 1 0 59374490 221917184 49190 996147200 134512640 135215973 4294956304 18446744073709551615 134583607 0 0 4096 0 0 0 0 17 0 0 0
/proc/11156/statm: 54179 49190 413 171 0 53104 0
Current children cumulated CPU time (s) 581.15
Current children cumulated vsize (KiB) 216716

[startup+642.302 s]
/proc/loadavg: 2.00 2.01 2.00 3/73 11196
/proc/meminfo: memFree=1209736/2055920 swapFree=4192812/4192956
[pid=11156] ppid=11154 vsize=223052 CPUtime=641.13
/proc/11156/stat : 11156 (pcs.big) R 11154 11156 9017 0 -1 4194304 87038 670 0 0 64073 39 0 1 25 0 1 0 59374490 228405248 50775 996147200 134512640 135215973 4294956304 18446744073709551615 4158960148 0 0 4096 0 0 0 0 17 0 0 0
/proc/11156/statm: 55763 50775 413 171 0 54688 0
Current children cumulated CPU time (s) 641.13
Current children cumulated vsize (KiB) 223052

[startup+702.301 s]

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

[startup+882.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 11196
/proc/meminfo: memFree=1144200/2055920 swapFree=4192812/4192956
[pid=11156] ppid=11154 vsize=272708 CPUtime=881.03
/proc/11156/stat : 11156 (pcs.big) R 11154 11156 9017 0 -1 4194304 107503 670 0 0 88054 48 0 1 25 0 1 0 59374490 279252992 63165 996147200 134512640 135215973 4294956304 18446744073709551615 134600802 0 0 4096 0 0 0 0 17 0 0 0
/proc/11156/statm: 68177 63165 413 171 0 67102 0
Current children cumulated CPU time (s) 881.03
Current children cumulated vsize (KiB) 272708

[startup+942.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 11196
/proc/meminfo: memFree=1136136/2055920 swapFree=4192812/4192956
[pid=11156] ppid=11154 vsize=279288 CPUtime=941.01
/proc/11156/stat : 11156 (pcs.big) R 11154 11156 9017 0 -1 4194304 109826 670 0 0 94051 49 0 1 25 0 1 0 59374490 285990912 64810 996147200 134512640 135215973 4294956304 18446744073709551615 134599873 0 0 4096 0 0 0 0 17 0 0 0
/proc/11156/statm: 69822 64810 413 171 0 68747 0
Current children cumulated CPU time (s) 941.01
Current children cumulated vsize (KiB) 279288

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 11202
/proc/meminfo: memFree=1106304/2055920 swapFree=4192812/4192956
[pid=11156] ppid=11154 vsize=303992 CPUtime=1000.98
/proc/11156/stat : 11156 (pcs.big) R 11154 11156 9017 0 -1 4194304 116935 670 0 0 100045 52 0 1 25 0 1 0 59374490 311287808 71015 996147200 134512640 135215973 4294956304 18446744073709551615 134583557 0 0 4096 0 0 0 0 17 0 0 0
/proc/11156/statm: 75998 71015 413 171 0 74923 0
Current children cumulated CPU time (s) 1000.98
Current children cumulated vsize (KiB) 303992

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 11202
/proc/meminfo: memFree=1100160/2055920 swapFree=4192812/4192956
[pid=11156] ppid=11154 vsize=307424 CPUtime=1060.96
/proc/11156/stat : 11156 (pcs.big) R 11154 11156 9017 0 -1 4194304 118695 670 0 0 106042 53 0 1 25 0 1 0 59374490 314802176 71871 996147200 134512640 135215973 4294956304 18446744073709551615 134585388 0 0 4096 0 0 0 0 17 0 0 0
/proc/11156/statm: 76856 71871 413 171 0 75781 0
Current children cumulated CPU time (s) 1060.96
Current children cumulated vsize (KiB) 307424

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 11202
/proc/meminfo: memFree=1070400/2055920 swapFree=4192812/4192956
[pid=11156] ppid=11154 vsize=332636 CPUtime=1120.95
/proc/11156/stat : 11156 (pcs.big) R 11154 11156 9017 0 -1 4194304 126349 670 0 0 112037 57 0 1 25 0 1 0 59374490 340619264 78169 996147200 134512640 135215973 4294956304 18446744073709551615 4158960165 0 0 4096 0 0 0 0 17 0 0 0
/proc/11156/statm: 83159 78169 413 171 0 82084 0
Current children cumulated CPU time (s) 1120.95
Current children cumulated vsize (KiB) 332636

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 11202
/proc/meminfo: memFree=1052864/2055920 swapFree=4192812/4192956
[pid=11156] ppid=11154 vsize=343724 CPUtime=1180.92
/proc/11156/stat : 11156 (pcs.big) R 11154 11156 9017 0 -1 4194304 130217 670 0 0 118033 58 0 1 25 0 1 0 59374490 351973376 80907 996147200 134512640 135215973 4294956304 18446744073709551615 134585720 0 0 4096 0 0 0 0 17 0 0 0
/proc/11156/statm: 85931 80907 413 171 0 84856 0
Current children cumulated CPU time (s) 1180.92
Current children cumulated vsize (KiB) 343724

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 11202
/proc/meminfo: memFree=1037056/2055920 swapFree=4192812/4192956
[pid=11156] ppid=11154 vsize=351776 CPUtime=1240.9
/proc/11156/stat : 11156 (pcs.big) R 11154 11156 9017 0 -1 4194304 133390 670 0 0 124030 59 0 1 25 0 1 0 59374490 360218624 82950 996147200 134512640 135215973 4294956304 18446744073709551615 134585576 0 0 4096 0 0 0 0 17 0 0 0
/proc/11156/statm: 87944 82950 413 171 0 86869 0
Current children cumulated CPU time (s) 1240.9
Current children cumulated vsize (KiB) 351776

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 11202
/proc/meminfo: memFree=1029384/2055920 swapFree=4192812/4192956
[pid=11156] ppid=11154 vsize=353492 CPUtime=1300.88
/proc/11156/stat : 11156 (pcs.big) R 11154 11156 9017 0 -1 4194304 134719 670 0 0 130027 60 0 1 25 0 1 0 59374490 361975808 83375 996147200 134512640 135215973 4294956304 18446744073709551615 4158960138 0 0 4096 0 0 0 0 17 0 0 0
/proc/11156/statm: 88373 83375 413 171 0 87298 0
Current children cumulated CPU time (s) 1300.88
Current children cumulated vsize (KiB) 353492

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 11202
/proc/meminfo: memFree=1018312/2055920 swapFree=4192812/4192956
[pid=11156] ppid=11154 vsize=360752 CPUtime=1360.85
/proc/11156/stat : 11156 (pcs.big) R 11154 11156 9017 0 -1 4194304 139256 670 0 0 136022 62 0 1 25 0 1 0 59374490 369410048 85200 996147200 134512640 135215973 4294956304 18446744073709551615 134591453 0 0 4096 0 0 0 0 17 0 0 0
/proc/11156/statm: 90188 85200 413 171 0 89113 0
Current children cumulated CPU time (s) 1360.85
Current children cumulated vsize (KiB) 360752

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 11202
/proc/meminfo: memFree=991112/2055920 swapFree=4192812/4192956
[pid=11156] ppid=11154 vsize=380420 CPUtime=1420.83
/proc/11156/stat : 11156 (pcs.big) R 11154 11156 9017 0 -1 4194304 145048 670 0 0 142019 63 0 1 25 0 1 0 59374490 389550080 90088 996147200 134512640 135215973 4294956304 18446744073709551615 134585720 0 0 4096 0 0 0 0 17 0 0 0
/proc/11156/statm: 95105 90088 413 171 0 94030 0
Current children cumulated CPU time (s) 1420.83
Current children cumulated vsize (KiB) 380420

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 11202
/proc/meminfo: memFree=970376/2055920 swapFree=4192812/4192956
[pid=11156] ppid=11154 vsize=391648 CPUtime=1480.81
/proc/11156/stat : 11156 (pcs.big) R 11154 11156 9017 0 -1 4194304 148552 670 0 0 148015 65 0 1 25 0 1 0 59374490 401047552 92914 996147200 134512640 135215973 4294956304 18446744073709551615 134585723 0 0 4096 0 0 0 0 17 0 0 0
/proc/11156/statm: 97912 92914 413 171 0 96837 0
Current children cumulated CPU time (s) 1480.81
Current children cumulated vsize (KiB) 391648

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 11202
/proc/meminfo: memFree=953992/2055920 swapFree=4192812/4192956
[pid=11156] ppid=11154 vsize=401152 CPUtime=1540.78
/proc/11156/stat : 11156 (pcs.big) R 11154 11156 9017 0 -1 4194304 153182 670 0 0 154010 67 0 1 25 0 1 0 59374490 410779648 95284 996147200 134512640 135215973 4294956304 18446744073709551615 134590055 0 0 4096 0 0 0 0 17 0 0 0
/proc/11156/statm: 100288 95284 413 171 0 99213 0
Current children cumulated CPU time (s) 1540.78
Current children cumulated vsize (KiB) 401152

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 11202
/proc/meminfo: memFree=931080/2055920 swapFree=4192812/4192956
[pid=11156] ppid=11154 vsize=412900 CPUtime=1600.76
/proc/11156/stat : 11156 (pcs.big) R 11154 11156 9017 0 -1 4194304 156131 670 0 0 160007 68 0 1 25 0 1 0 59374490 422809600 98233 996147200 134512640 135215973 4294956304 18446744073709551615 134591502 0 0 4096 0 0 0 0 17 0 0 0
/proc/11156/statm: 103225 98233 413 171 0 102150 0
Current children cumulated CPU time (s) 1600.76
Current children cumulated vsize (KiB) 412900

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 11202
/proc/meminfo: memFree=913544/2055920 swapFree=4192812/4192956
[pid=11156] ppid=11154 vsize=420028 CPUtime=1660.74
/proc/11156/stat : 11156 (pcs.big) R 11154 11156 9017 0 -1 4194304 172593 670 0 0 165999 74 0 1 25 0 1 0 59374490 430108672 100005 996147200 134512640 135215973 4294956304 18446744073709551615 134585708 0 0 4096 0 0 0 0 17 0 0 0
/proc/11156/statm: 105007 100005 413 171 0 103932 0
Current children cumulated CPU time (s) 1660.74
Current children cumulated vsize (KiB) 420028

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 11202
/proc/meminfo: memFree=907016/2055920 swapFree=4192812/4192956
[pid=11156] ppid=11154 vsize=426372 CPUtime=1720.71
/proc/11156/stat : 11156 (pcs.big) R 11154 11156 9017 0 -1 4194304 175102 670 0 0 171995 75 0 1 25 0 1 0 59374490 436604928 101610 996147200 134512640 135215973 4294956304 18446744073709551615 134589807 0 0 4096 0 0 0 0 17 0 0 0
/proc/11156/statm: 106593 101610 413 171 0 105518 0
Current children cumulated CPU time (s) 1720.71
Current children cumulated vsize (KiB) 426372

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 11202
/proc/meminfo: memFree=894984/2055920 swapFree=4192812/4192956
[pid=11156] ppid=11154 vsize=431256 CPUtime=1780.7
/proc/11156/stat : 11156 (pcs.big) R 11154 11156 9017 0 -1 4194304 177002 670 0 0 177993 76 0 1 25 0 1 0 59374490 441606144 102832 996147200 134512640 135215973 4294956304 18446744073709551615 4158960056 0 0 4096 0 0 0 0 17 0 0 0
/proc/11156/statm: 107814 102832 413 171 0 106739 0
Current children cumulated CPU time (s) 1780.7
Current children cumulated vsize (KiB) 431256



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1801.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 11202
/proc/meminfo: memFree=892232/2055920 swapFree=4192812/4192956
[pid=11156] ppid=11154 vsize=432444 CPUtime=1800.1
/proc/11156/stat : 11156 (pcs.big) R 11154 11156 9017 0 -1 4194304 177283 670 0 0 179933 76 0 1 25 0 1 0 59374490 442822656 103113 996147200 134512640 135215973 4294956304 18446744073709551615 134585880 0 0 4096 0 0 0 0 17 0 0 0
/proc/11156/statm: 108111 103113 413 171 0 107036 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 432444

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

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

[startup+1801.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 11202
/proc/meminfo: memFree=892232/2055920 swapFree=4192812/4192956
[pid=11156] ppid=11154 vsize=432444 CPUtime=1800.1
/proc/11156/stat : 11156 (pcs.big) R 11154 11156 9017 0 -1 4194304 177283 670 0 0 179933 76 0 1 25 0 1 0 59374490 442822656 103113 996147200 134512640 135215973 4294956304 18446744073709551615 134585880 0 0 4096 0 0 0 0 17 0 0 0
/proc/11156/statm: 108111 103113 413 171 0 107036 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 432444

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1801.78
CPU time (s): 1800.19
CPU user time (s): 1799.34
CPU system time (s): 0.85087
CPU usage (%): 99.912
Max. virtual memory (cumulated for all children) (KiB): 432444

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.34
system time used= 0.85087
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 177953
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= 36
involuntary context switches= 10705

runsolver used 2.12668 second user time and 5.8831 second system time

The end

Launcher Data 

Begin job on node64 at 2009-07-16 07:45:12
IDJOB=2083418
IDBENCH=57810
IDSOLVER=733
FILE ID=node64/2083418-1247723111
PBS_JOBID= 9521362
Free space on /tmp= 66324 MiB

SOLVER NAME= pcs 0.2
BENCH NAME= CPAI08/csp/fapp/fapp37/normalized-fapp37-2250-2.xml
COMMAND LINE= HOME/pcssolve -s RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2083418-1247723111/watcher-2083418-1247723111 -o /tmp/evaluation-result-2083418-1247723111/solver-2083418-1247723111 -C 1800 -W 2000 -M 900  HOME/pcssolve -s 1803330955 HOME/instance-2083418-1247723111.xml

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

MD5SUM BENCH= f8718ebaf51fd44c6f84abcaca826b6a
RANDOM SEED=1803330955

node64.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.220
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.220
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:       1360864 kB
Buffers:         87052 kB
Cached:         354540 kB
SwapCached:          0 kB
Active:         242956 kB
Inactive:       364496 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1360864 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            7716 kB
Writeback:           0 kB
Mapped:         186280 kB
Slab:            72288 kB
Committed_AS:   698840 kB
PageTables:       2132 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 node64 at 2009-07-16 08:15:16