Trace number 2083814

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.08 1811.96

General information on the benchmark

Namecsp/fapp/fapp01/
normalized-fapp01-0200-4.xml
MD5SUMc966f4ac55d40e9ed821e9d3623796fc
Bench Category2-ARY-INT (binary constraints in intension)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark10.5704
Satisfiable
(Un)Satisfiability was proved
Number of variables200
Number of constraints2053
Maximum constraint arity2
Maximum domain size190
Number of constraints which are defined in extension0
Number of constraints which are defined in intension2053
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.00/0.02	c Seed is 1180024317
0.00/0.02	c Constructing HOME/instance-2083814-1247723791.xml  with 12829 constraints
0.17/0.22	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-2083814-1247723791/watcher-2083814-1247723791 -o /tmp/evaluation-result-2083814-1247723791/solver-2083814-1247723791 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 1180024317 HOME/instance-2083814-1247723791.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.13 2.11 2.09 4/72 17260
/proc/meminfo: memFree=1370168/2055920 swapFree=4192812/4192956
[pid=17260] ppid=17258 vsize=5356 CPUtime=0
/proc/17260/stat : 17260 (pcssolve) R 17258 17260 15506 0 -1 4194304 269 0 0 0 0 0 0 0 20 0 1 0 59446557 5484544 237 996147200 4194304 4889804 548682068800 18446744073709551615 226913325793 0 0 4100 65536 0 0 0 17 1 0 0
/proc/17260/statm: 1339 237 197 169 0 50 0

[startup+0.0164449 s]
/proc/loadavg: 2.13 2.11 2.09 4/72 17260
/proc/meminfo: memFree=1370168/2055920 swapFree=4192812/4192956
[pid=17260] ppid=17258 vsize=5360 CPUtime=0
/proc/17260/stat : 17260 (pcssolve) R 17258 17260 15506 0 -1 4194304 351 661 0 0 0 0 0 0 23 0 1 0 59446557 5488640 243 996147200 4194304 4889804 548682068800 18446744073709551615 4334664 0 0 4100 65536 0 0 0 17 1 0 0
/proc/17260/statm: 1340 243 201 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360

[startup+0.101466 s]
/proc/loadavg: 2.13 2.11 2.09 4/72 17260
/proc/meminfo: memFree=1370168/2055920 swapFree=4192812/4192956
[pid=17260] ppid=17258 vsize=6716 CPUtime=0.07
/proc/17260/stat : 17260 (pcs.big) R 17258 17260 15506 0 -1 4194304 1329 661 0 0 7 0 0 0 23 0 1 0 59446557 6877184 886 996147200 134512640 135215973 4294956304 18446744073709551615 134739661 0 0 4096 0 0 0 0 17 1 0 0
/proc/17260/statm: 1679 886 386 171 0 604 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 6716

[startup+0.301501 s]
/proc/loadavg: 2.13 2.11 2.09 4/72 17260
/proc/meminfo: memFree=1370168/2055920 swapFree=4192812/4192956
[pid=17260] ppid=17258 vsize=10428 CPUtime=0.28
/proc/17260/stat : 17260 (pcs.big) R 17258 17260 15506 0 -1 4194304 2702 661 0 0 27 1 0 0 25 0 1 0 59446557 10678272 1837 996147200 134512640 135215973 4294956304 18446744073709551615 134590016 0 0 4096 0 0 0 0 17 1 0 0
/proc/17260/statm: 2607 1837 410 171 0 1532 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 10428

[startup+0.701576 s]
/proc/loadavg: 2.13 2.11 2.09 4/72 17260
/proc/meminfo: memFree=1370168/2055920 swapFree=4192812/4192956
[pid=17260] ppid=17258 vsize=10728 CPUtime=0.68
/proc/17260/stat : 17260 (pcs.big) R 17258 17260 15506 0 -1 4194304 2778 661 0 0 67 1 0 0 25 0 1 0 59446557 10985472 1913 996147200 134512640 135215973 4294956304 18446744073709551615 134585367 0 0 4096 0 0 0 0 17 1 0 0
/proc/17260/statm: 2682 1913 410 171 0 1607 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 10728

[startup+1.50173 s]
/proc/loadavg: 2.13 2.11 2.09 3/73 17265
/proc/meminfo: memFree=1363248/2055920 swapFree=4192812/4192956
[pid=17260] ppid=17258 vsize=11596 CPUtime=1.47
/proc/17260/stat : 17260 (pcs.big) R 17258 17260 15506 0 -1 4194304 3002 661 0 0 146 1 0 0 25 0 1 0 59446557 11874304 2084 996147200 134512640 135215973 4294956304 18446744073709551615 134589797 0 0 4096 0 0 0 0 17 1 0 0
/proc/17260/statm: 2899 2084 410 171 0 1824 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 11596

[startup+3.10104 s]
/proc/loadavg: 2.12 2.10 2.09 3/73 17265
/proc/meminfo: memFree=1362736/2055920 swapFree=4192812/4192956
[pid=17260] ppid=17258 vsize=12276 CPUtime=3.06
/proc/17260/stat : 17260 (pcs.big) R 17258 17260 15506 0 -1 4194304 3295 661 0 0 305 1 0 0 25 0 1 0 59446557 12570624 2272 996147200 134512640 135215973 4294956304 18446744073709551615 134585694 0 0 4096 0 0 0 0 17 1 0 0
/proc/17260/statm: 3069 2272 411 171 0 1994 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 12276

[startup+6.30165 s]
/proc/loadavg: 2.12 2.10 2.09 3/73 17265
/proc/meminfo: memFree=1360560/2055920 swapFree=4192812/4192956
[pid=17260] ppid=17258 vsize=14132 CPUtime=6.23
/proc/17260/stat : 17260 (pcs.big) R 17258 17260 15506 0 -1 4194304 3884 661 0 0 622 1 0 0 25 0 1 0 59446557 14471168 2652 996147200 134512640 135215973 4294956304 18446744073709551615 134599870 0 0 4096 0 0 0 0 17 1 0 0
/proc/17260/statm: 3533 2652 413 171 0 2458 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 14132

[startup+12.7019 s]
/proc/loadavg: 2.10 2.10 2.09 3/73 17265
/proc/meminfo: memFree=1358896/2055920 swapFree=4192812/4192956
[pid=17260] ppid=17258 vsize=14132 CPUtime=12.58
/proc/17260/stat : 17260 (pcs.big) R 17258 17260 15506 0 -1 4194304 3891 661 0 0 1257 1 0 0 25 0 1 0 59446557 14471168 2659 996147200 134512640 135215973 4294956304 18446744073709551615 134585374 0 0 4096 0 0 0 0 17 1 0 0
/proc/17260/statm: 3533 2659 413 171 0 2458 0
Current children cumulated CPU time (s) 12.58
Current children cumulated vsize (KiB) 14132

[startup+25.5013 s]
/proc/loadavg: 2.08 2.10 2.09 3/73 17265
/proc/meminfo: memFree=1353584/2055920 swapFree=4192812/4192956
[pid=17260] ppid=17258 vsize=16436 CPUtime=25.27
/proc/17260/stat : 17260 (pcs.big) R 17258 17260 15506 0 -1 4194304 4465 661 0 0 2526 1 0 0 25 0 1 0 59446557 16830464 3233 996147200 134512640 135215973 4294956304 18446744073709551615 134585600 0 0 4096 0 0 0 0 17 1 0 0
/proc/17260/statm: 4109 3233 413 171 0 3034 0
Current children cumulated CPU time (s) 25.27
Current children cumulated vsize (KiB) 16436

[startup+51.1012 s]
/proc/loadavg: 2.05 2.09 2.08 3/73 17265
/proc/meminfo: memFree=1345520/2055920 swapFree=4192812/4192956
[pid=17260] ppid=17258 vsize=19592 CPUtime=50.68
/proc/17260/stat : 17260 (pcs.big) R 17258 17260 15506 0 -1 4194304 5262 661 0 0 5066 2 0 0 25 0 1 0 59446557 20062208 4030 996147200 134512640 135215973 4294956304 18446744073709551615 134591798 0 0 4096 0 0 0 0 17 1 0 0
/proc/17260/statm: 4898 4030 413 171 0 3823 0
Current children cumulated CPU time (s) 50.68
Current children cumulated vsize (KiB) 19592

[startup+102.306 s]
/proc/loadavg: 2.02 2.07 2.08 3/73 17265
/proc/meminfo: memFree=1329904/2055920 swapFree=4192812/4192956
[pid=17260] ppid=17258 vsize=24608 CPUtime=101.48
/proc/17260/stat : 17260 (pcs.big) R 17258 17260 15506 0 -1 4194304 6529 661 0 0 10146 2 0 0 25 0 1 0 59446557 25198592 5297 996147200 134512640 135215973 4294956304 18446744073709551615 134591824 0 0 4096 0 0 0 0 17 1 0 0
/proc/17260/statm: 6152 5297 413 171 0 5077 0
Current children cumulated CPU time (s) 101.48
Current children cumulated vsize (KiB) 24608

[startup+162.302 s]
/proc/loadavg: 2.01 2.05 2.07 3/73 17265
/proc/meminfo: memFree=1314928/2055920 swapFree=4192812/4192956
[pid=17260] ppid=17258 vsize=31900 CPUtime=161.01
/proc/17260/stat : 17260 (pcs.big) R 17258 17260 15506 0 -1 4194304 8340 661 0 0 16098 3 0 0 25 0 1 0 59446557 32665600 6979 996147200 134512640 135215973 4294956304 18446744073709551615 4158960136 0 0 4096 0 0 0 0 17 1 0 0
/proc/17260/statm: 7975 6979 413 171 0 6900 0
Current children cumulated CPU time (s) 161.01
Current children cumulated vsize (KiB) 31900

[startup+222.301 s]
/proc/loadavg: 2.00 2.04 2.07 3/73 17265
/proc/meminfo: memFree=1295920/2055920 swapFree=4192812/4192956
[pid=17260] ppid=17258 vsize=41632 CPUtime=220.55
/proc/17260/stat : 17260 (pcs.big) R 17258 17260 15506 0 -1 4194304 10782 661 0 0 22051 4 0 0 25 0 1 0 59446557 42631168 9421 996147200 134512640 135215973 4294956304 18446744073709551615 134591518 0 0 4096 0 0 0 0 17 1 0 0
/proc/17260/statm: 10408 9421 413 171 0 9333 0
Current children cumulated CPU time (s) 220.55
Current children cumulated vsize (KiB) 41632

[startup+282.302 s]
/proc/loadavg: 2.04 2.05 2.07 3/73 17271
/proc/meminfo: memFree=1277488/2055920 swapFree=4192812/4192956
[pid=17260] ppid=17258 vsize=52696 CPUtime=280.08
/proc/17260/stat : 17260 (pcs.big) R 17258 17260 15506 0 -1 4194304 13590 661 0 0 28002 6 0 0 25 0 1 0 59446557 53960704 12229 996147200 134512640 135215973 4294956304 18446744073709551615 134585880 0 0 4096 0 0 0 0 17 1 0 0
/proc/17260/statm: 13174 12229 413 171 0 12099 0
Current children cumulated CPU time (s) 280.08
Current children cumulated vsize (KiB) 52696

[startup+342.301 s]
/proc/loadavg: 2.01 2.04 2.06 3/73 17271
/proc/meminfo: memFree=1232752/2055920 swapFree=4192812/4192956
[pid=17260] ppid=17258 vsize=62800 CPUtime=339.61
/proc/17260/stat : 17260 (pcs.big) R 17258 17260 15506 0 -1 4194304 16173 661 0 0 33954 7 0 0 25 0 1 0 59446557 64307200 14812 996147200 134512640 135215973 4294956304 18446744073709551615 134585880 0 0 4096 0 0 0 0 17 1 0 0
/proc/17260/statm: 15700 14812 413 171 0 14625 0
Current children cumulated CPU time (s) 339.61
Current children cumulated vsize (KiB) 62800

[startup+402.302 s]
/proc/loadavg: 2.00 2.03 2.05 3/73 17271
/proc/meminfo: memFree=1201008/2055920 swapFree=4192812/4192956
[pid=17260] ppid=17258 vsize=73896 CPUtime=399.15
/proc/17260/stat : 17260 (pcs.big) R 17258 17260 15506 0 -1 4194304 19031 661 0 0 39906 9 0 0 25 0 1 0 59446557 75669504 17253 996147200 134512640 135215973 4294956304 18446744073709551615 134583640 0 0 4096 0 0 0 0 17 1 0 0
/proc/17260/statm: 18474 17253 413 171 0 17399 0
Current children cumulated CPU time (s) 399.15
Current children cumulated vsize (KiB) 73896

[startup+462.301 s]
/proc/loadavg: 2.00 2.02 2.05 3/73 17271
/proc/meminfo: memFree=1168560/2055920 swapFree=4192812/4192956
[pid=17260] ppid=17258 vsize=87112 CPUtime=458.69
/proc/17260/stat : 17260 (pcs.big) R 17258 17260 15506 0 -1 4194304 22407 661 0 0 45859 10 0 0 25 0 1 0 59446557 89202688 20531 996147200 134512640 135215973 4294956304 18446744073709551615 4158960136 0 0 4096 0 0 0 0 17 1 0 0
/proc/17260/statm: 21778 20531 413 171 0 20703 0
Current children cumulated CPU time (s) 458.69
Current children cumulated vsize (KiB) 87112

[startup+522.302 s]
/proc/loadavg: 2.00 2.02 2.04 3/73 17271
/proc/meminfo: memFree=1146992/2055920 swapFree=4192812/4192956
[pid=17260] ppid=17258 vsize=92380 CPUtime=518.23
/proc/17260/stat : 17260 (pcs.big) R 17258 17260 15506 0 -1 4194304 23737 661 0 0 51812 11 0 0 25 0 1 0 59446557 94597120 21861 996147200 134512640 135215973 4294956304 18446744073709551615 134585694 0 0 4096 0 0 0 0 17 1 0 0
/proc/17260/statm: 23095 21861 413 171 0 22020 0
Current children cumulated CPU time (s) 518.23
Current children cumulated vsize (KiB) 92380

[startup+582.301 s]
/proc/loadavg: 2.00 2.01 2.04 3/73 17271
/proc/meminfo: memFree=1128696/2055920 swapFree=4192812/4192956
[pid=17260] ppid=17258 vsize=97216 CPUtime=577.78
/proc/17260/stat : 17260 (pcs.big) R 17258 17260 15506 0 -1 4194304 24978 661 0 0 57766 12 0 0 25 0 1 0 59446557 99549184 23102 996147200 134512640 135215973 4294956304 18446744073709551615 134585708 0 0 4096 0 0 0 0 17 1 0 0
/proc/17260/statm: 24304 23102 413 171 0 23229 0
Current children cumulated CPU time (s) 577.78
Current children cumulated vsize (KiB) 97216

[startup+642.303 s]
/proc/loadavg: 2.00 2.00 2.03 3/73 17271
/proc/meminfo: memFree=1109944/2055920 swapFree=4192812/4192956
[pid=17260] ppid=17258 vsize=102168 CPUtime=637.31
/proc/17260/stat : 17260 (pcs.big) R 17258 17260 15506 0 -1 4194304 26220 661 0 0 63719 12 0 0 25 0 1 0 59446557 104620032 24344 996147200 134512640 135215973 4294956304 18446744073709551615 134902469 0 0 4096 0 0 0 0 17 1 0 0
/proc/17260/statm: 25542 24344 413 171 0 24467 0
Current children cumulated CPU time (s) 637.31
Current children cumulated vsize (KiB) 102168

[startup+702.301 s]

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

[startup+882.302 s]
/proc/loadavg: 2.00 2.00 2.01 3/73 17271
/proc/meminfo: memFree=992952/2055920 swapFree=4192812/4192956
[pid=17260] ppid=17258 vsize=154960 CPUtime=875.47
/proc/17260/stat : 17260 (pcs.big) R 17258 17260 15506 0 -1 4194304 39563 661 0 0 87530 17 0 0 25 0 1 0 59446557 158679040 37397 996147200 134512640 135215973 4294956304 18446744073709551615 134592043 0 0 4096 0 0 0 0 17 1 0 0
/proc/17260/statm: 38740 37397 413 171 0 37665 0
Current children cumulated CPU time (s) 875.47
Current children cumulated vsize (KiB) 154960

[startup+942.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 17271
/proc/meminfo: memFree=969400/2055920 swapFree=4192812/4192956
[pid=17260] ppid=17258 vsize=169248 CPUtime=935.01
/proc/17260/stat : 17260 (pcs.big) R 17258 17260 15506 0 -1 4194304 43157 661 0 0 93482 19 0 0 25 0 1 0 59446557 173309952 40991 996147200 134512640 135215973 4294956304 18446744073709551615 4158960180 0 0 4096 0 0 0 0 17 1 0 0
/proc/17260/statm: 42312 40991 413 171 0 41237 0
Current children cumulated CPU time (s) 935.01
Current children cumulated vsize (KiB) 169248

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 17271
/proc/meminfo: memFree=938040/2055920 swapFree=4192812/4192956
[pid=17260] ppid=17258 vsize=179220 CPUtime=994.54
/proc/17260/stat : 17260 (pcs.big) R 17258 17260 15506 0 -1 4194304 45699 661 0 0 99435 19 0 0 25 0 1 0 59446557 183521280 43533 996147200 134512640 135215973 4294956304 18446744073709551615 134583707 0 0 4096 0 0 0 0 17 1 0 0
/proc/17260/statm: 44805 43533 413 171 0 43730 0
Current children cumulated CPU time (s) 994.54
Current children cumulated vsize (KiB) 179220

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 17271
/proc/meminfo: memFree=918584/2055920 swapFree=4192812/4192956
[pid=17260] ppid=17258 vsize=188652 CPUtime=1054.09
/proc/17260/stat : 17260 (pcs.big) R 17258 17260 15506 0 -1 4194304 48071 661 0 0 105389 20 0 0 25 0 1 0 59446557 193179648 45905 996147200 134512640 135215973 4294956304 18446744073709551615 134641187 0 0 4096 0 0 0 0 17 1 0 0
/proc/17260/statm: 47163 45905 413 171 0 46088 0
Current children cumulated CPU time (s) 1054.09
Current children cumulated vsize (KiB) 188652

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 17271
/proc/meminfo: memFree=895608/2055920 swapFree=4192812/4192956
[pid=17260] ppid=17258 vsize=203068 CPUtime=1113.63
/proc/17260/stat : 17260 (pcs.big) R 17258 17260 15506 0 -1 4194304 51717 661 0 0 111342 21 0 0 25 0 1 0 59446557 207941632 49551 996147200 134512640 135215973 4294956304 18446744073709551615 134585350 0 0 4096 0 0 0 0 17 1 0 0
/proc/17260/statm: 50767 49551 413 171 0 49692 0
Current children cumulated CPU time (s) 1113.63
Current children cumulated vsize (KiB) 203068

[startup+1182.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/73 17271
/proc/meminfo: memFree=876408/2055920 swapFree=4192812/4192956
[pid=17260] ppid=17258 vsize=216252 CPUtime=1173.17
/proc/17260/stat : 17260 (pcs.big) R 17258 17260 15506 0 -1 4194304 55030 661 0 0 117294 23 0 0 25 0 1 0 59446557 221442048 52864 996147200 134512640 135215973 4294956304 18446744073709551615 134973370 0 0 4096 0 0 0 0 17 1 0 0
/proc/17260/statm: 54063 52864 413 171 0 52988 0
Current children cumulated CPU time (s) 1173.17
Current children cumulated vsize (KiB) 216252

[startup+1242.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/73 17271
/proc/meminfo: memFree=862712/2055920 swapFree=4192812/4192956
[pid=17260] ppid=17258 vsize=224388 CPUtime=1232.71
/proc/17260/stat : 17260 (pcs.big) R 17258 17260 15506 0 -1 4194304 57075 661 0 0 123247 24 0 0 25 0 1 0 59446557 229773312 54909 996147200 134512640 135215973 4294956304 18446744073709551615 134585880 0 0 4096 0 0 0 0 17 1 0 0
/proc/17260/statm: 56097 54909 413 171 0 55022 0
Current children cumulated CPU time (s) 1232.71
Current children cumulated vsize (KiB) 224388

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 17271
/proc/meminfo: memFree=843704/2055920 swapFree=4192812/4192956
[pid=17260] ppid=17258 vsize=242740 CPUtime=1292.25
/proc/17260/stat : 17260 (pcs.big) R 17258 17260 15506 0 -1 4194304 61695 661 0 0 129199 26 0 0 25 0 1 0 59446557 248565760 59016 996147200 134512640 135215973 4294956304 18446744073709551615 134971074 0 0 4096 0 0 0 0 17 1 0 0
/proc/17260/statm: 60685 59016 413 171 0 59610 0
Current children cumulated CPU time (s) 1292.25
Current children cumulated vsize (KiB) 242740

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 17271
/proc/meminfo: memFree=827576/2055920 swapFree=4192812/4192956
[pid=17260] ppid=17258 vsize=255812 CPUtime=1351.79
/proc/17260/stat : 17260 (pcs.big) R 17258 17260 15506 0 -1 4194304 65002 661 0 0 135151 28 0 0 25 0 1 0 59446557 261951488 62323 996147200 134512640 135215973 4294956304 18446744073709551615 134585576 0 0 4096 0 0 0 0 17 1 0 0
/proc/17260/statm: 63953 62323 413 171 0 62878 0
Current children cumulated CPU time (s) 1351.79
Current children cumulated vsize (KiB) 255812

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 17271
/proc/meminfo: memFree=809656/2055920 swapFree=4192812/4192956
[pid=17260] ppid=17258 vsize=269460 CPUtime=1411.33
/proc/17260/stat : 17260 (pcs.big) R 17258 17260 15506 0 -1 4194304 68465 661 0 0 141104 29 0 0 25 0 1 0 59446557 275927040 65657 996147200 134512640 135215973 4294956304 18446744073709551615 4158960056 0 0 4096 0 0 0 0 17 1 0 0
/proc/17260/statm: 67365 65657 413 171 0 66290 0
Current children cumulated CPU time (s) 1411.33
Current children cumulated vsize (KiB) 269460

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 17271
/proc/meminfo: memFree=795704/2055920 swapFree=4192812/4192956
[pid=17260] ppid=17258 vsize=282884 CPUtime=1470.87
/proc/17260/stat : 17260 (pcs.big) R 17258 17260 15506 0 -1 4194304 71919 661 0 0 147057 30 0 0 25 0 1 0 59446557 289673216 69111 996147200 134512640 135215973 4294956304 18446744073709551615 134585708 0 0 4096 0 0 0 0 17 1 0 0
/proc/17260/statm: 70721 69111 413 171 0 69646 0
Current children cumulated CPU time (s) 1470.87
Current children cumulated vsize (KiB) 282884

[startup+1542.3 s]
/proc/loadavg: 1.94 1.98 1.99 3/82 17344
/proc/meminfo: memFree=1108144/2055920 swapFree=4192812/4192956
[pid=17260] ppid=17258 vsize=299504 CPUtime=1530.53
/proc/17260/stat : 17260 (pcs.big) R 17258 17260 15506 0 -1 4194304 76154 661 0 0 153020 33 0 0 25 0 1 0 59446557 306692096 73089 996147200 134512640 135215973 4294956304 18446744073709551615 134600057 0 0 4096 0 0 0 0 17 0 0 0
/proc/17260/statm: 74876 73089 413 171 0 73801 0
Current children cumulated CPU time (s) 1530.53
Current children cumulated vsize (KiB) 299504

[startup+1602.3 s]
/proc/loadavg: 2.09 2.02 2.01 3/83 17346
/proc/meminfo: memFree=1057760/2055920 swapFree=4192812/4192956
[pid=17260] ppid=17258 vsize=318400 CPUtime=1590.5
/proc/17260/stat : 17260 (pcs.big) R 17258 17260 15506 0 -1 4194304 80970 661 0 0 159014 36 0 0 25 0 1 0 59446557 326041600 77905 996147200 134512640 135215973 4294956304 18446744073709551615 134585786 0 0 4096 0 0 0 0 17 0 0 0
/proc/17260/statm: 79600 77905 413 171 0 78525 0
Current children cumulated CPU time (s) 1590.5
Current children cumulated vsize (KiB) 318400

[startup+1662.3 s]
/proc/loadavg: 2.10 2.03 2.00 4/82 17346
/proc/meminfo: memFree=1039584/2055920 swapFree=4192812/4192956
[pid=17260] ppid=17258 vsize=334672 CPUtime=1650.47
/proc/17260/stat : 17260 (pcs.big) R 17258 17260 15506 0 -1 4194304 85086 661 0 0 165008 39 0 0 25 0 1 0 59446557 342704128 82021 996147200 134512640 135215973 4294956304 18446744073709551615 134583589 0 0 4096 0 0 0 0 17 0 0 0
/proc/17260/statm: 83668 82021 413 171 0 82593 0
Current children cumulated CPU time (s) 1650.47
Current children cumulated vsize (KiB) 334672

[startup+1722.3 s]
/proc/loadavg: 2.10 2.04 2.00 3/82 17346
/proc/meminfo: memFree=1033120/2055920 swapFree=4192812/4192956
[pid=17260] ppid=17258 vsize=340908 CPUtime=1710.45
/proc/17260/stat : 17260 (pcs.big) R 17258 17260 15506 0 -1 4194304 86666 661 0 0 171005 40 0 0 25 0 1 0 59446557 349089792 83601 996147200 134512640 135215973 4294956304 18446744073709551615 134585391 0 0 4096 0 0 0 0 17 0 0 0
/proc/17260/statm: 85227 83601 413 171 0 84152 0
Current children cumulated CPU time (s) 1710.45
Current children cumulated vsize (KiB) 340908

[startup+1782.3 s]
/proc/loadavg: 2.16 2.06 2.01 3/82 17346
/proc/meminfo: memFree=1021920/2055920 swapFree=4192812/4192956
[pid=17260] ppid=17258 vsize=351984 CPUtime=1770.4
/proc/17260/stat : 17260 (pcs.big) R 17258 17260 15506 0 -1 4194304 89456 661 0 0 176999 41 0 0 25 0 1 0 59446557 360431616 86391 996147200 134512640 135215973 4294956304 18446744073709551615 4158960160 0 0 4096 0 0 0 0 17 0 0 0
/proc/17260/statm: 87996 86391 413 171 0 86921 0
Current children cumulated CPU time (s) 1770.4
Current children cumulated vsize (KiB) 351984



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1811.9 s]
/proc/loadavg: 2.10 2.05 2.01 3/82 17346
/proc/meminfo: memFree=1016544/2055920 swapFree=4192812/4192956
[pid=17260] ppid=17258 vsize=357256 CPUtime=1800
/proc/17260/stat : 17260 (pcs.big) R 17258 17260 15506 0 -1 4194304 90780 661 0 0 179958 42 0 0 25 0 1 0 59446557 365830144 87715 996147200 134512640 135215973 4294956304 18446744073709551615 134585880 0 0 4096 0 0 0 0 17 0 0 0
/proc/17260/statm: 89314 87715 413 171 0 88239 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 357256

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

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

[startup+1811.9 s]
/proc/loadavg: 2.10 2.05 2.01 3/82 17346
/proc/meminfo: memFree=1016544/2055920 swapFree=4192812/4192956
[pid=17260] ppid=17258 vsize=357256 CPUtime=1800
/proc/17260/stat : 17260 (pcs.big) R 17258 17260 15506 0 -1 4194304 90780 661 0 0 179958 42 0 0 25 0 1 0 59446557 365830144 87715 996147200 134512640 135215973 4294956304 18446744073709551615 134585880 0 0 4096 0 0 0 0 17 0 0 0
/proc/17260/statm: 89314 87715 413 171 0 88239 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 357256

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1811.96
CPU time (s): 1800.08
CPU user time (s): 1799.59
CPU system time (s): 0.483926
CPU usage (%): 99.3441
Max. virtual memory (cumulated for all children) (KiB): 357256

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.59
system time used= 0.483926
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 91441
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= 21
involuntary context switches= 34134

runsolver used 1.9657 second user time and 4.92225 second system time

The end

Launcher Data 

Begin job on node5 at 2009-07-16 07:56:31
IDJOB=2083814
IDBENCH=57943
IDSOLVER=733
FILE ID=node5/2083814-1247723791
PBS_JOBID= 9521470
Free space on /tmp= 66324 MiB

SOLVER NAME= pcs 0.2
BENCH NAME= CPAI08/csp/fapp/fapp01/normalized-fapp01-0200-4.xml
COMMAND LINE= HOME/pcssolve -s RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2083814-1247723791/watcher-2083814-1247723791 -o /tmp/evaluation-result-2083814-1247723791/solver-2083814-1247723791 -C 1800 -W 2000 -M 900  HOME/pcssolve -s 1180024317 HOME/instance-2083814-1247723791.xml

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

MD5SUM BENCH= c966f4ac55d40e9ed821e9d3623796fc
RANDOM SEED=1180024317

node5.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.258
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.258
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:       1370648 kB
Buffers:         78348 kB
Cached:         462864 kB
SwapCached:          0 kB
Active:         116188 kB
Inactive:       498088 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1370648 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            2352 kB
Writeback:           0 kB
Mapped:          84580 kB
Slab:            56456 kB
Committed_AS:   659832 kB
PageTables:       1844 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= 66320 MiB
End job on node5 at 2009-07-16 08:26:45