Trace number 2083099

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.16 1812.15

General information on the benchmark

Namecsp/fapp/fapp08/
normalized-fapp08-0700-5.xml
MD5SUMfa37dee04ffe0cd0af7a8fde9f661bf5
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 benchmark48.6576
Satisfiable
(Un)Satisfiability was proved
Number of variables700
Number of constraints7122
Maximum constraint arity2
Maximum domain size282
Number of constraints which are defined in extension0
Number of constraints which are defined in intension7122
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.04	c Seed is 1918837724
0.00/0.04	c Constructing HOME/instance-2083099-1247722420.xml  with 44620 constraints
0.77/0.80	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-2083099-1247722420/watcher-2083099-1247722420 -o /tmp/evaluation-result-2083099-1247722420/solver-2083099-1247722420 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 1918837724 HOME/instance-2083099-1247722420.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.29 2.16 2.05 4/82 15733
/proc/meminfo: memFree=845576/2055920 swapFree=4192812/4192956
[pid=15733] ppid=15731 vsize=5356 CPUtime=0
/proc/15733/stat : 15733 (pcssolve) R 15731 15733 13934 0 -1 4194304 266 0 0 0 0 0 0 0 20 0 1 0 59305117 5484544 234 996147200 4194304 4889804 548682068800 18446744073709551615 4612308 0 0 4100 65536 0 0 0 17 1 0 0
/proc/15733/statm: 1339 234 195 169 0 50 0

[startup+0.207678 s]
/proc/loadavg: 2.29 2.16 2.05 4/82 15733
/proc/meminfo: memFree=845576/2055920 swapFree=4192812/4192956
[pid=15733] ppid=15731 vsize=9020 CPUtime=0.18
/proc/15733/stat : 15733 (pcs.big) R 15731 15733 13934 0 -1 4194304 2085 664 0 0 17 1 0 0 19 0 1 0 59305117 9236480 1398 996147200 134512640 135215973 4294956304 18446744073709551615 4159351180 0 0 4096 0 0 0 0 17 1 0 0
/proc/15733/statm: 2255 1398 386 171 0 1180 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 9020

[startup+0.302693 s]
/proc/loadavg: 2.29 2.16 2.05 4/82 15733
/proc/meminfo: memFree=845576/2055920 swapFree=4192812/4192956
[pid=15733] ppid=15731 vsize=11228 CPUtime=0.28
/proc/15733/stat : 15733 (pcs.big) R 15731 15733 13934 0 -1 4194304 2812 664 0 0 26 2 0 0 19 0 1 0 59305117 11497472 1886 996147200 134512640 135215973 4294956304 18446744073709551615 5300296 0 0 4096 0 0 0 0 17 1 0 0
/proc/15733/statm: 2807 1886 386 171 0 1732 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 11228

[startup+0.402694 s]
/proc/loadavg: 2.29 2.16 2.05 4/82 15733
/proc/meminfo: memFree=845576/2055920 swapFree=4192812/4192956
[pid=15733] ppid=15731 vsize=13548 CPUtime=0.38
/proc/15733/stat : 15733 (pcs.big) R 15731 15733 13934 0 -1 4194304 3544 664 0 0 36 2 0 0 20 0 1 0 59305117 13873152 2333 996147200 134512640 135215973 4294956304 18446744073709551615 5304910 0 0 4096 0 0 0 0 17 1 0 0
/proc/15733/statm: 3387 2333 386 171 0 2312 0
Current children cumulated CPU time (s) 0.38
Current children cumulated vsize (KiB) 13548

[startup+0.701718 s]
/proc/loadavg: 2.29 2.16 2.05 4/82 15733
/proc/meminfo: memFree=845576/2055920 swapFree=4192812/4192956
[pid=15733] ppid=15731 vsize=21912 CPUtime=0.67
/proc/15733/stat : 15733 (pcs.big) R 15731 15733 13934 0 -1 4194304 6152 664 0 0 64 3 0 0 23 0 1 0 59305117 22437888 3792 996147200 134512640 135215973 4294956304 18446744073709551615 4159050058 0 0 4096 0 0 0 0 17 1 0 0
/proc/15733/statm: 5478 3792 386 171 0 4403 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 21912

[startup+1.50278 s]
/proc/loadavg: 2.29 2.16 2.05 3/83 15738
/proc/meminfo: memFree=825792/2055920 swapFree=4192812/4192956
[pid=15733] ppid=15731 vsize=26224 CPUtime=1.47
/proc/15733/stat : 15733 (pcs.big) R 15731 15733 13934 0 -1 4194304 8395 664 0 0 142 5 0 0 25 0 1 0 59305117 26853376 5337 996147200 134512640 135215973 4294956304 18446744073709551615 134583949 0 0 4096 0 0 0 0 17 1 0 0
/proc/15733/statm: 6556 5337 410 171 0 5481 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 26224

[startup+3.10192 s]
/proc/loadavg: 2.27 2.15 2.05 3/83 15738
/proc/meminfo: memFree=825216/2055920 swapFree=4192812/4192956
[pid=15733] ppid=15731 vsize=26848 CPUtime=3.05
/proc/15733/stat : 15733 (pcs.big) R 15731 15733 13934 0 -1 4194304 8631 664 0 0 300 5 0 0 25 0 1 0 59305117 27492352 5415 996147200 134512640 135215973 4294956304 18446744073709551615 4158960050 0 0 4096 0 0 0 0 17 1 0 0
/proc/15733/statm: 6712 5415 410 171 0 5637 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 26848

[startup+6.30121 s]
/proc/loadavg: 2.27 2.15 2.05 3/83 15738
/proc/meminfo: memFree=822528/2055920 swapFree=4192812/4192956
[pid=15733] ppid=15731 vsize=29924 CPUtime=6.22
/proc/15733/stat : 15733 (pcs.big) R 15731 15733 13934 0 -1 4194304 9495 664 0 0 617 5 0 0 25 0 1 0 59305117 30642176 6070 996147200 134512640 135215973 4294956304 18446744073709551615 134600784 0 0 4096 0 0 0 0 17 1 0 0
/proc/15733/statm: 7481 6070 410 171 0 6406 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 29924

[startup+12.7018 s]
/proc/loadavg: 2.23 2.15 2.04 3/83 15738
/proc/meminfo: memFree=821248/2055920 swapFree=4192812/4192956
[pid=15733] ppid=15731 vsize=30452 CPUtime=12.55
/proc/15733/stat : 15733 (pcs.big) R 15731 15733 13934 0 -1 4194304 9898 664 0 0 1250 5 0 0 25 0 1 0 59305117 31182848 6397 996147200 134512640 135215973 4294956304 18446744073709551615 4158960014 0 0 4096 0 0 0 0 17 1 0 0
/proc/15733/statm: 7613 6397 413 171 0 6538 0
Current children cumulated CPU time (s) 12.55
Current children cumulated vsize (KiB) 30452

[startup+25.5069 s]
/proc/loadavg: 2.19 2.14 2.04 3/83 15738
/proc/meminfo: memFree=820352/2055920 swapFree=4192812/4192956
[pid=15733] ppid=15731 vsize=31112 CPUtime=25.24
/proc/15733/stat : 15733 (pcs.big) R 15731 15733 13934 0 -1 4194304 13506 664 0 0 2518 6 0 0 25 0 1 0 59305117 31858688 6547 996147200 134512640 135215973 4294956304 18446744073709551615 134592246 0 0 4096 0 0 0 0 17 1 0 0
/proc/15733/statm: 7778 6547 413 171 0 6703 0
Current children cumulated CPU time (s) 25.24
Current children cumulated vsize (KiB) 31112

[startup+51.1012 s]
/proc/loadavg: 2.12 2.13 2.04 3/83 15738
/proc/meminfo: memFree=817408/2055920 swapFree=4192812/4192956
[pid=15733] ppid=15731 vsize=34148 CPUtime=50.59
/proc/15733/stat : 15733 (pcs.big) R 15731 15733 13934 0 -1 4194304 29850 664 0 0 5049 10 0 0 25 0 1 0 59305117 34967552 7311 996147200 134512640 135215973 4294956304 18446744073709551615 134969494 0 0 4096 0 0 0 0 17 1 0 0
/proc/15733/statm: 8537 7311 413 171 0 7462 0
Current children cumulated CPU time (s) 50.59
Current children cumulated vsize (KiB) 34148

[startup+102.302 s]
/proc/loadavg: 2.05 2.11 2.04 3/83 15738
/proc/meminfo: memFree=778112/2055920 swapFree=4192812/4192956
[pid=15733] ppid=15731 vsize=40352 CPUtime=101.34
/proc/15733/stat : 15733 (pcs.big) R 15731 15733 13934 0 -1 4194304 65429 664 0 0 10111 23 0 0 25 0 1 0 59305117 41320448 8880 996147200 134512640 135215973 4294956304 18446744073709551615 134648275 0 0 4096 0 0 0 0 17 1 0 0
/proc/15733/statm: 10088 8880 413 171 0 9013 0
Current children cumulated CPU time (s) 101.34
Current children cumulated vsize (KiB) 40352

[startup+162.302 s]
/proc/loadavg: 2.02 2.08 2.03 3/83 15738
/proc/meminfo: memFree=733184/2055920 swapFree=4192812/4192956
[pid=15733] ppid=15731 vsize=46684 CPUtime=160.77
/proc/15733/stat : 15733 (pcs.big) R 15731 15733 13934 0 -1 4194304 98891 664 0 0 16042 35 0 0 25 0 1 0 59305117 47804416 10460 996147200 134512640 135215973 4294956304 18446744073709551615 134585720 0 0 4096 0 0 0 0 17 1 0 0
/proc/15733/statm: 11671 10460 413 171 0 10596 0
Current children cumulated CPU time (s) 160.77
Current children cumulated vsize (KiB) 46684

[startup+222.301 s]
/proc/loadavg: 2.00 2.07 2.02 3/83 15738
/proc/meminfo: memFree=701184/2055920 swapFree=4192812/4192956
[pid=15733] ppid=15731 vsize=55352 CPUtime=220.23
/proc/15733/stat : 15733 (pcs.big) R 15731 15733 13934 0 -1 4194304 136544 664 0 0 21975 48 0 0 25 0 1 0 59305117 56680448 12318 996147200 134512640 135215973 4294956304 18446744073709551615 134591440 0 0 4096 0 0 0 0 17 1 0 0
/proc/15733/statm: 13838 12318 413 171 0 12763 0
Current children cumulated CPU time (s) 220.23
Current children cumulated vsize (KiB) 55352

[startup+282.302 s]
/proc/loadavg: 2.00 2.05 2.02 3/83 15738
/proc/meminfo: memFree=682496/2055920 swapFree=4192812/4192956
[pid=15733] ppid=15731 vsize=60892 CPUtime=279.66
/proc/15733/stat : 15733 (pcs.big) R 15731 15733 13934 0 -1 4194304 163309 664 0 0 27909 57 0 0 25 0 1 0 59305117 62353408 13699 996147200 134512640 135215973 4294956304 18446744073709551615 134597469 0 0 4096 0 0 0 0 17 1 0 0
/proc/15733/statm: 15223 13699 413 171 0 14148 0
Current children cumulated CPU time (s) 279.66
Current children cumulated vsize (KiB) 60892

[startup+342.307 s]
/proc/loadavg: 2.00 2.04 2.01 3/83 15738
/proc/meminfo: memFree=638400/2055920 swapFree=4192812/4192956
[pid=15733] ppid=15731 vsize=65632 CPUtime=339.11
/proc/15733/stat : 15733 (pcs.big) R 15731 15733 13934 0 -1 4194304 204001 664 0 0 33840 71 0 0 25 0 1 0 59305117 67207168 14909 996147200 134512640 135215973 4294956304 18446744073709551615 134585786 0 0 4096 0 0 0 0 17 1 0 0
/proc/15733/statm: 16408 14909 413 171 0 15333 0
Current children cumulated CPU time (s) 339.11
Current children cumulated vsize (KiB) 65632

[startup+402.301 s]
/proc/loadavg: 2.00 2.03 2.01 3/83 15738
/proc/meminfo: memFree=615488/2055920 swapFree=4192812/4192956
[pid=15733] ppid=15731 vsize=74872 CPUtime=398.55
/proc/15733/stat : 15733 (pcs.big) R 15731 15733 13934 0 -1 4194304 237820 664 0 0 39771 84 0 0 25 0 1 0 59305117 76668928 17264 996147200 134512640 135215973 4294956304 18446744073709551615 134585549 0 0 4096 0 0 0 0 17 1 0 0
/proc/15733/statm: 18718 17264 413 171 0 17643 0
Current children cumulated CPU time (s) 398.55
Current children cumulated vsize (KiB) 74872

[startup+462.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/83 15738
/proc/meminfo: memFree=568640/2055920 swapFree=4192812/4192956
[pid=15733] ppid=15731 vsize=85420 CPUtime=458
/proc/15733/stat : 15733 (pcs.big) R 15731 15733 13934 0 -1 4194304 281791 664 0 0 45701 99 0 0 25 0 1 0 59305117 87470080 19929 996147200 134512640 135215973 4294956304 18446744073709551615 4158960050 0 0 4096 0 0 0 0 17 1 0 0
/proc/15733/statm: 21355 19929 413 171 0 20280 0
Current children cumulated CPU time (s) 458
Current children cumulated vsize (KiB) 85420

[startup+522.302 s]
/proc/loadavg: 2.00 2.02 2.00 3/83 15738
/proc/meminfo: memFree=552896/2055920 swapFree=4192812/4192956
[pid=15733] ppid=15731 vsize=95576 CPUtime=517.45
/proc/15733/stat : 15733 (pcs.big) R 15731 15733 13934 0 -1 4194304 309786 664 0 0 51635 110 0 0 25 0 1 0 59305117 97869824 22464 996147200 134512640 135215973 4294956304 18446744073709551615 134597328 0 0 4096 0 0 0 0 17 1 0 0
/proc/15733/statm: 23894 22464 413 171 0 22819 0
Current children cumulated CPU time (s) 517.45
Current children cumulated vsize (KiB) 95576

[startup+582.302 s]
/proc/loadavg: 2.00 2.01 2.00 3/83 15738
/proc/meminfo: memFree=512000/2055920 swapFree=4192812/4192956
[pid=15733] ppid=15731 vsize=105980 CPUtime=576.89
/proc/15733/stat : 15733 (pcs.big) R 15731 15733 13934 0 -1 4194304 336385 664 0 0 57569 120 0 0 25 0 1 0 59305117 108523520 25085 996147200 134512640 135215973 4294956304 18446744073709551615 134597477 0 0 4096 0 0 0 0 17 1 0 0
/proc/15733/statm: 26495 25085 413 171 0 25420 0
Current children cumulated CPU time (s) 576.89
Current children cumulated vsize (KiB) 105980

[startup+642.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/83 15738
/proc/meminfo: memFree=494784/2055920 swapFree=4192812/4192956
[pid=15733] ppid=15731 vsize=117324 CPUtime=636.33
/proc/15733/stat : 15733 (pcs.big) R 15731 15733 13934 0 -1 4194304 363386 664 0 0 63503 130 0 0 25 0 1 0 59305117 120139776 27918 996147200 134512640 135215973 4294956304 18446744073709551615 134585623 0 0 4096 0 0 0 0 17 1 0 0
/proc/15733/statm: 29331 27918 413 171 0 28256 0
Current children cumulated CPU time (s) 636.33
Current children cumulated vsize (KiB) 117324

[startup+702.302 s]

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

[startup+882.301 s]
/proc/loadavg: 2.01 2.01 2.00 3/83 15738
/proc/meminfo: memFree=367744/2055920 swapFree=4192812/4192956
[pid=15733] ppid=15731 vsize=150424 CPUtime=874.11
/proc/15733/stat : 15733 (pcs.big) R 15731 15733 13934 0 -1 4194304 501596 664 0 0 87233 178 0 0 25 0 1 0 59305117 154034176 36249 996147200 134512640 135215973 4294956304 18446744073709551615 4158960134 0 0 4096 0 0 0 0 17 1 0 0
/proc/15733/statm: 37606 36249 413 171 0 36531 0
Current children cumulated CPU time (s) 874.11
Current children cumulated vsize (KiB) 150424

[startup+942.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 15738
/proc/meminfo: memFree=361408/2055920 swapFree=4192812/4192956
[pid=15733] ppid=15731 vsize=156748 CPUtime=933.54
/proc/15733/stat : 15733 (pcs.big) R 15731 15733 13934 0 -1 4194304 531396 664 0 0 93167 187 0 0 25 0 1 0 59305117 160509952 37853 996147200 134512640 135215973 4294956304 18446744073709551615 134589810 0 0 4096 0 0 0 0 17 1 0 0
/proc/15733/statm: 39187 37853 413 171 0 38112 0
Current children cumulated CPU time (s) 933.54
Current children cumulated vsize (KiB) 156748

[startup+1002.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 15738
/proc/meminfo: memFree=355520/2055920 swapFree=4192812/4192956
[pid=15733] ppid=15731 vsize=162800 CPUtime=992.99
/proc/15733/stat : 15733 (pcs.big) R 15731 15733 13934 0 -1 4194304 564755 664 0 0 99099 200 0 0 25 0 1 0 59305117 166707200 39341 996147200 134512640 135215973 4294956304 18446744073709551615 134591443 0 0 4096 0 0 0 0 17 1 0 0
/proc/15733/statm: 40700 39341 413 171 0 39625 0
Current children cumulated CPU time (s) 992.99
Current children cumulated vsize (KiB) 162800

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 15738
/proc/meminfo: memFree=349056/2055920 swapFree=4192812/4192956
[pid=15733] ppid=15731 vsize=169256 CPUtime=1052.42
/proc/15733/stat : 15733 (pcs.big) R 15731 15733 13934 0 -1 4194304 599352 664 0 0 105032 210 0 0 25 0 1 0 59305117 173318144 40954 996147200 134512640 135215973 4294956304 18446744073709551615 135094872 0 0 4096 0 0 0 0 17 1 0 0
/proc/15733/statm: 42314 40954 413 171 0 41239 0
Current children cumulated CPU time (s) 1052.42
Current children cumulated vsize (KiB) 169256

[startup+1122.3 s]
/proc/loadavg: 2.19 2.05 2.01 3/83 15740
/proc/meminfo: memFree=342976/2055920 swapFree=4192812/4192956
[pid=15733] ppid=15731 vsize=175060 CPUtime=1111.86
/proc/15733/stat : 15733 (pcs.big) R 15731 15733 13934 0 -1 4194304 626045 664 0 0 110966 220 0 0 25 0 1 0 59305117 179261440 42415 996147200 134512640 135215973 4294956304 18446744073709551615 134585880 0 0 4096 0 0 0 0 17 1 0 0
/proc/15733/statm: 43765 42415 413 171 0 42690 0
Current children cumulated CPU time (s) 1111.86
Current children cumulated vsize (KiB) 175060

[startup+1182.3 s]
/proc/loadavg: 2.11 2.05 2.01 3/83 15740
/proc/meminfo: memFree=340160/2055920 swapFree=4192812/4192956
[pid=15733] ppid=15731 vsize=178084 CPUtime=1171.3
/proc/15733/stat : 15733 (pcs.big) R 15731 15733 13934 0 -1 4194304 659515 664 0 0 116899 231 0 0 25 0 1 0 59305117 182358016 43167 996147200 134512640 135215973 4294956304 18446744073709551615 134597311 0 0 4096 0 0 0 0 17 1 0 0
/proc/15733/statm: 44521 43167 413 171 0 43446 0
Current children cumulated CPU time (s) 1171.3
Current children cumulated vsize (KiB) 178084

[startup+1242.3 s]
/proc/loadavg: 2.13 2.07 2.02 3/83 15740
/proc/meminfo: memFree=335616/2055920 swapFree=4192812/4192956
[pid=15733] ppid=15731 vsize=182172 CPUtime=1230.74
/proc/15733/stat : 15733 (pcs.big) R 15731 15733 13934 0 -1 4194304 698868 664 0 0 122831 243 0 0 25 0 1 0 59305117 186544128 44216 996147200 134512640 135215973 4294956304 18446744073709551615 134599879 0 0 4096 0 0 0 0 17 1 0 0
/proc/15733/statm: 45543 44216 413 171 0 44468 0
Current children cumulated CPU time (s) 1230.74
Current children cumulated vsize (KiB) 182172

[startup+1302.3 s]
/proc/loadavg: 2.05 2.05 2.01 3/73 15773
/proc/meminfo: memFree=1023064/2055920 swapFree=4192812/4192956
[pid=15733] ppid=15731 vsize=186916 CPUtime=1290.48
/proc/15733/stat : 15733 (pcs.big) R 15731 15733 13934 0 -1 4194304 733160 664 0 0 128794 254 0 0 25 0 1 0 59305117 191401984 45410 996147200 134512640 135215973 4294956304 18446744073709551615 134585786 0 0 4096 0 0 0 0 17 0 0 0
/proc/15733/statm: 46729 45410 413 171 0 45654 0
Current children cumulated CPU time (s) 1290.48
Current children cumulated vsize (KiB) 186916

[startup+1362.3 s]
/proc/loadavg: 2.02 2.04 2.01 3/73 15773
/proc/meminfo: memFree=989272/2055920 swapFree=4192812/4192956
[pid=15733] ppid=15731 vsize=190604 CPUtime=1350.47
/proc/15733/stat : 15733 (pcs.big) R 15731 15733 13934 0 -1 4194304 770803 664 0 0 134783 264 0 0 25 0 1 0 59305117 195178496 46383 996147200 134512640 135215973 4294956304 18446744073709551615 135094878 0 0 4096 0 0 0 0 17 0 0 0
/proc/15733/statm: 47651 46383 413 171 0 46576 0
Current children cumulated CPU time (s) 1350.47
Current children cumulated vsize (KiB) 190604

[startup+1422.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/73 15773
/proc/meminfo: memFree=969752/2055920 swapFree=4192812/4192956
[pid=15733] ppid=15731 vsize=194392 CPUtime=1410.44
/proc/15733/stat : 15733 (pcs.big) R 15731 15733 13934 0 -1 4194304 811439 664 0 0 140768 276 0 0 25 0 1 0 59305117 199057408 47218 996147200 134512640 135215973 4294956304 18446744073709551615 134969721 0 0 4096 0 0 0 0 17 0 0 0
/proc/15733/statm: 48598 47218 413 171 0 47523 0
Current children cumulated CPU time (s) 1410.44
Current children cumulated vsize (KiB) 194392

[startup+1482.3 s]
/proc/loadavg: 2.10 2.05 2.01 3/73 15773
/proc/meminfo: memFree=942424/2055920 swapFree=4192812/4192956
[pid=15733] ppid=15731 vsize=202104 CPUtime=1470.42
/proc/15733/stat : 15733 (pcs.big) R 15731 15733 13934 0 -1 4194304 852586 664 0 0 146752 290 0 0 25 0 1 0 59305117 206954496 48609 996147200 134512640 135215973 4294956304 18446744073709551615 4158960027 0 0 4096 0 0 0 0 17 0 0 0
/proc/15733/statm: 50526 48609 413 171 0 49451 0
Current children cumulated CPU time (s) 1470.42
Current children cumulated vsize (KiB) 202104

[startup+1542.3 s]
/proc/loadavg: 2.10 2.06 2.00 3/73 15773
/proc/meminfo: memFree=908376/2055920 swapFree=4192812/4192956
[pid=15733] ppid=15731 vsize=213984 CPUtime=1530.4
/proc/15733/stat : 15733 (pcs.big) R 15731 15733 13934 0 -1 4194304 906597 664 0 0 152733 307 0 0 25 0 1 0 59305117 219119616 51586 996147200 134512640 135215973 4294956304 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 0 0 0
/proc/15733/statm: 53496 51586 413 171 0 52421 0
Current children cumulated CPU time (s) 1530.4
Current children cumulated vsize (KiB) 213984

[startup+1602.3 s]
/proc/loadavg: 2.04 2.04 2.00 3/73 15773
/proc/meminfo: memFree=885208/2055920 swapFree=4192812/4192956
[pid=15733] ppid=15731 vsize=226520 CPUtime=1590.37
/proc/15733/stat : 15733 (pcs.big) R 15731 15733 13934 0 -1 4194304 1004040 664 0 0 158701 336 0 0 25 0 1 0 59305117 231956480 54751 996147200 134512640 135215973 4294956304 18446744073709551615 134589793 0 0 4096 0 0 0 0 17 0 0 0
/proc/15733/statm: 56630 54751 413 171 0 55555 0
Current children cumulated CPU time (s) 1590.37
Current children cumulated vsize (KiB) 226520

[startup+1662.31 s]
/proc/loadavg: 2.07 2.05 2.00 3/73 15779
/proc/meminfo: memFree=855056/2055920 swapFree=4192812/4192956
[pid=15733] ppid=15731 vsize=240116 CPUtime=1650.35
/proc/15733/stat : 15733 (pcs.big) R 15731 15733 13934 0 -1 4194304 1090330 664 0 0 164674 361 0 0 25 0 1 0 59305117 245878784 58201 996147200 134512640 135215973 4294956304 18446744073709551615 134585786 0 0 4096 0 0 0 0 17 0 0 0
/proc/15733/statm: 60029 58201 413 171 0 58954 0
Current children cumulated CPU time (s) 1650.35
Current children cumulated vsize (KiB) 240116

[startup+1722.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/73 15779
/proc/meminfo: memFree=825488/2055920 swapFree=4192812/4192956
[pid=15733] ppid=15731 vsize=256088 CPUtime=1710.33
/proc/15733/stat : 15733 (pcs.big) R 15731 15733 13934 0 -1 4194304 1214997 664 0 0 170637 396 0 0 25 0 1 0 59305117 262234112 62218 996147200 134512640 135215973 4294956304 18446744073709551615 134524388 0 0 4096 0 0 0 0 17 0 0 0
/proc/15733/statm: 64022 62218 413 171 0 62947 0
Current children cumulated CPU time (s) 1710.33
Current children cumulated vsize (KiB) 256088

[startup+1782.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/73 15779
/proc/meminfo: memFree=804688/2055920 swapFree=4192812/4192956
[pid=15733] ppid=15731 vsize=266648 CPUtime=1770.3
/proc/15733/stat : 15733 (pcs.big) R 15731 15733 13934 0 -1 4194304 1298175 664 0 0 176612 418 0 0 25 0 1 0 59305117 273047552 64874 996147200 134512640 135215973 4294956304 18446744073709551615 134597431 0 0 4096 0 0 0 0 17 0 0 0
/proc/15733/statm: 66662 64874 413 171 0 65587 0
Current children cumulated CPU time (s) 1770.3
Current children cumulated vsize (KiB) 266648



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1812.1 s]
/proc/loadavg: 2.00 2.02 2.00 3/73 15779
/proc/meminfo: memFree=799312/2055920 swapFree=4192812/4192956
[pid=15733] ppid=15731 vsize=269944 CPUtime=1800.09
/proc/15733/stat : 15733 (pcs.big) R 15731 15733 13934 0 -1 4194304 1326512 664 0 0 179584 425 0 0 25 0 1 0 59305117 276422656 65699 996147200 134512640 135215973 4294956304 18446744073709551615 134583660 0 0 4096 0 0 0 0 17 0 0 0
/proc/15733/statm: 67486 65699 413 171 0 66411 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 269944

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

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

[startup+1812.1 s]
/proc/loadavg: 2.00 2.02 2.00 3/73 15779
/proc/meminfo: memFree=799312/2055920 swapFree=4192812/4192956
[pid=15733] ppid=15731 vsize=269944 CPUtime=1800.09
/proc/15733/stat : 15733 (pcs.big) R 15731 15733 13934 0 -1 4194304 1326512 664 0 0 179584 425 0 0 25 0 1 0 59305117 276422656 65699 996147200 134512640 135215973 4294956304 18446744073709551615 134583660 0 0 4096 0 0 0 0 17 0 0 0
/proc/15733/statm: 67486 65699 413 171 0 66411 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 269944

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1812.15
CPU time (s): 1800.16
CPU user time (s): 1795.85
CPU system time (s): 4.30335
CPU usage (%): 99.3384
Max. virtual memory (cumulated for all children) (KiB): 269964

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.85
system time used= 4.30335
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1327176
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= 27
involuntary context switches= 53055

runsolver used 2.38764 second user time and 5.54816 second system time

The end

Launcher Data 

Begin job on node58 at 2009-07-16 07:33:40
IDJOB=2083099
IDBENCH=57704
IDSOLVER=733
FILE ID=node58/2083099-1247722420
PBS_JOBID= 9521349
Free space on /tmp= 66244 MiB

SOLVER NAME= pcs 0.2
BENCH NAME= CPAI08/csp/fapp/fapp08/normalized-fapp08-0700-5.xml
COMMAND LINE= HOME/pcssolve -s RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2083099-1247722420/watcher-2083099-1247722420 -o /tmp/evaluation-result-2083099-1247722420/solver-2083099-1247722420 -C 1800 -W 2000 -M 900  HOME/pcssolve -s 1918837724 HOME/instance-2083099-1247722420.xml

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

MD5SUM BENCH= fa37dee04ffe0cd0af7a8fde9f661bf5
RANDOM SEED=1918837724

node58.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.234
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.234
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:        846056 kB
Buffers:         84196 kB
Cached:         618176 kB
SwapCached:          0 kB
Active:         626860 kB
Inactive:       509592 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:        846056 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            2724 kB
Writeback:           0 kB
Mapped:         454412 kB
Slab:            58040 kB
Committed_AS:  1057792 kB
PageTables:       2596 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= 66240 MiB
End job on node58 at 2009-07-16 08:03:54