Trace number 2083815

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
pcs-restart 0.3.2? (TO) 1800.12 1805.35

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.01	c Seed is 275553685
0.00/0.01	c Constructing HOME/instance-2083815-1247723792.xml  with 12829 constraints
0.17/0.21	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-2083815-1247723792/watcher-2083815-1247723792 -o /tmp/evaluation-result-2083815-1247723792/solver-2083815-1247723792 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 275553685 HOME/instance-2083815-1247723792.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.23 2.07 2.07 3/73 17387
/proc/meminfo: memFree=1261592/2055920 swapFree=4192812/4192956
[pid=17387] ppid=17385 vsize=780 CPUtime=0
/proc/17387/stat : 17387 (pcssolve) R 17385 17387 17224 0 -1 4194304 17 0 0 0 0 0 0 0 20 0 1 0 59444556 798720 3 996147200 0 0 548682069571 18446744073709551615 265674091815 0 0 4096 0 0 0 0 17 1 0 0
/proc/17387/statm: 195 3 0 0 0 6 0

[startup+0.106484 s]
/proc/loadavg: 2.23 2.07 2.07 3/73 17387
/proc/meminfo: memFree=1261592/2055920 swapFree=4192812/4192956
[pid=17387] ppid=17385 vsize=6844 CPUtime=0.09
/proc/17387/stat : 17387 (pcs.big) R 17385 17387 17224 0 -1 4194304 1391 661 0 0 9 0 0 0 24 0 1 0 59444556 7008256 948 996147200 134512640 135215973 4294956304 18446744073709551615 12203643 0 0 4096 0 0 0 0 17 1 0 0
/proc/17387/statm: 1711 948 386 171 0 636 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 6844

[startup+0.201503 s]
/proc/loadavg: 2.23 2.07 2.07 3/73 17387
/proc/meminfo: memFree=1261592/2055920 swapFree=4192812/4192956
[pid=17387] ppid=17385 vsize=9084 CPUtime=0.17
/proc/17387/stat : 17387 (pcs.big) R 17385 17387 17224 0 -1 4194304 2145 661 0 0 17 0 0 0 24 0 1 0 59444556 9302016 1455 996147200 134512640 135215973 4294956304 18446744073709551615 134608549 0 0 4096 0 0 0 0 17 1 0 0
/proc/17387/statm: 2271 1455 386 171 0 1196 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 9084

[startup+0.301521 s]
/proc/loadavg: 2.23 2.07 2.07 3/73 17387
/proc/meminfo: memFree=1261592/2055920 swapFree=4192812/4192956
[pid=17387] ppid=17385 vsize=10428 CPUtime=0.28
/proc/17387/stat : 17387 (pcs.big) R 17385 17387 17224 0 -1 4194304 2710 661 0 0 27 1 0 0 25 0 1 0 59444556 10678272 1845 996147200 134512640 135215973 4294956304 18446744073709551615 134583970 0 0 4096 0 0 0 0 17 1 0 0
/proc/17387/statm: 2607 1845 410 171 0 1532 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 10428

[startup+0.701596 s]
/proc/loadavg: 2.23 2.07 2.07 3/73 17387
/proc/meminfo: memFree=1261592/2055920 swapFree=4192812/4192956
[pid=17387] ppid=17385 vsize=10860 CPUtime=0.68
/proc/17387/stat : 17387 (pcs.big) R 17385 17387 17224 0 -1 4194304 2798 661 0 0 67 1 0 0 25 0 1 0 59444556 11120640 1933 996147200 134512640 135215973 4294956304 18446744073709551615 135094589 0 0 4096 0 0 0 0 17 1 0 0
/proc/17387/statm: 2715 1933 410 171 0 1640 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 10860

[startup+1.50176 s]
/proc/loadavg: 2.21 2.07 2.07 3/74 17392
/proc/meminfo: memFree=1254608/2055920 swapFree=4192812/4192956
[pid=17387] ppid=17385 vsize=11596 CPUtime=1.47
/proc/17387/stat : 17387 (pcs.big) R 17385 17387 17224 0 -1 4194304 3003 661 0 0 146 1 0 0 25 0 1 0 59444556 11874304 2085 996147200 134512640 135215973 4294956304 18446744073709551615 4158960128 0 0 4096 0 0 0 0 17 1 0 0
/proc/17387/statm: 2899 2085 410 171 0 1824 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 11596

[startup+3.10206 s]
/proc/loadavg: 2.21 2.07 2.07 3/74 17392
/proc/meminfo: memFree=1250192/2055920 swapFree=4192812/4192956
[pid=17387] ppid=17385 vsize=12392 CPUtime=3.07
/proc/17387/stat : 17387 (pcs.big) R 17385 17387 17224 0 -1 4194304 3270 661 0 0 306 1 0 0 25 0 1 0 59444556 12689408 2247 996147200 134512640 135215973 4294956304 18446744073709551615 134597660 0 0 4096 0 0 0 0 17 1 0 0
/proc/17387/statm: 3098 2247 413 171 0 2023 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 12392

[startup+6.30167 s]
/proc/loadavg: 2.21 2.07 2.07 3/74 17392
/proc/meminfo: memFree=1250000/2055920 swapFree=4192812/4192956
[pid=17387] ppid=17385 vsize=12592 CPUtime=6.26
/proc/17387/stat : 17387 (pcs.big) R 17385 17387 17224 0 -1 4194304 3314 661 0 0 625 1 0 0 25 0 1 0 59444556 12894208 2291 996147200 134512640 135215973 4294956304 18446744073709551615 134585576 0 0 4096 0 0 0 0 17 1 0 0
/proc/17387/statm: 3148 2291 413 171 0 2073 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 12592

[startup+12.7019 s]
/proc/loadavg: 2.18 2.07 2.07 3/74 17392
/proc/meminfo: memFree=1249232/2055920 swapFree=4192812/4192956
[pid=17387] ppid=17385 vsize=13184 CPUtime=12.63
/proc/17387/stat : 17387 (pcs.big) R 17385 17387 17224 0 -1 4194304 3484 661 0 0 1262 1 0 0 25 0 1 0 59444556 13500416 2461 996147200 134512640 135215973 4294956304 18446744073709551615 134589855 0 0 4096 0 0 0 0 17 1 0 0
/proc/17387/statm: 3296 2461 413 171 0 2221 0
Current children cumulated CPU time (s) 12.63
Current children cumulated vsize (KiB) 13184

[startup+25.5014 s]
/proc/loadavg: 2.15 2.07 2.07 3/74 17392
/proc/meminfo: memFree=1247440/2055920 swapFree=4192812/4192956
[pid=17387] ppid=17385 vsize=14900 CPUtime=25.38
/proc/17387/stat : 17387 (pcs.big) R 17385 17387 17224 0 -1 4194304 3918 661 0 0 2537 1 0 0 25 0 1 0 59444556 15257600 2895 996147200 134512640 135215973 4294956304 18446744073709551615 134597343 0 0 4096 0 0 0 0 17 1 0 0
/proc/17387/statm: 3725 2895 413 171 0 2650 0
Current children cumulated CPU time (s) 25.38
Current children cumulated vsize (KiB) 14900

[startup+51.1013 s]
/proc/loadavg: 2.10 2.06 2.07 3/74 17392
/proc/meminfo: memFree=1236048/2055920 swapFree=4192812/4192956
[pid=17387] ppid=17385 vsize=18636 CPUtime=50.87
/proc/17387/stat : 17387 (pcs.big) R 17385 17387 17224 0 -1 4194304 4890 661 0 0 5086 1 0 0 25 0 1 0 59444556 19083264 3867 996147200 134512640 135215973 4294956304 18446744073709551615 134583589 0 0 4096 0 0 0 0 17 1 0 0
/proc/17387/statm: 4659 3867 413 171 0 3584 0
Current children cumulated CPU time (s) 50.87
Current children cumulated vsize (KiB) 18636

[startup+102.301 s]
/proc/loadavg: 2.04 2.05 2.06 3/74 17392
/proc/meminfo: memFree=1215760/2055920 swapFree=4192812/4192956
[pid=17387] ppid=17385 vsize=27692 CPUtime=101.87
/proc/17387/stat : 17387 (pcs.big) R 17385 17387 17224 0 -1 4194304 7286 661 0 0 10185 2 0 0 25 0 1 0 59444556 28356608 5925 996147200 134512640 135215973 4294956304 18446744073709551615 134597628 0 0 4096 0 0 0 0 17 1 0 0
/proc/17387/statm: 6923 5925 413 171 0 5848 0
Current children cumulated CPU time (s) 101.87
Current children cumulated vsize (KiB) 27692

[startup+162.302 s]
/proc/loadavg: 2.01 2.04 2.05 3/74 17392
/proc/meminfo: memFree=1193040/2055920 swapFree=4192812/4192956
[pid=17387] ppid=17385 vsize=36724 CPUtime=161.64
/proc/17387/stat : 17387 (pcs.big) R 17385 17387 17224 0 -1 4194304 9563 661 0 0 16161 3 0 0 25 0 1 0 59444556 37605376 8202 996147200 134512640 135215973 4294956304 18446744073709551615 134589784 0 0 4096 0 0 0 0 17 1 0 0
/proc/17387/statm: 9181 8202 413 171 0 8106 0
Current children cumulated CPU time (s) 161.64
Current children cumulated vsize (KiB) 36724

[startup+222.305 s]
/proc/loadavg: 2.00 2.03 2.05 3/74 17392
/proc/meminfo: memFree=1172176/2055920 swapFree=4192812/4192956
[pid=17387] ppid=17385 vsize=44632 CPUtime=221.39
/proc/17387/stat : 17387 (pcs.big) R 17385 17387 17224 0 -1 4194304 11567 661 0 0 22136 3 0 0 25 0 1 0 59444556 45703168 10206 996147200 134512640 135215973 4294956304 18446744073709551615 134589079 0 0 4096 0 0 0 0 17 1 0 0
/proc/17387/statm: 11158 10206 413 171 0 10083 0
Current children cumulated CPU time (s) 221.39
Current children cumulated vsize (KiB) 44632

[startup+282.302 s]
/proc/loadavg: 2.00 2.02 2.04 3/74 17398
/proc/meminfo: memFree=1154512/2055920 swapFree=4192812/4192956
[pid=17387] ppid=17385 vsize=54308 CPUtime=281.15
/proc/17387/stat : 17387 (pcs.big) R 17385 17387 17224 0 -1 4194304 13998 661 0 0 28110 5 0 0 25 0 1 0 59444556 55611392 12637 996147200 134512640 135215973 4294956304 18446744073709551615 134591823 0 0 4096 0 0 0 0 17 1 0 0
/proc/17387/statm: 13577 12637 413 171 0 12502 0
Current children cumulated CPU time (s) 281.15
Current children cumulated vsize (KiB) 54308

[startup+342.301 s]
/proc/loadavg: 2.00 2.02 2.04 3/74 17398
/proc/meminfo: memFree=1120208/2055920 swapFree=4192812/4192956
[pid=17387] ppid=17385 vsize=67508 CPUtime=340.91
/proc/17387/stat : 17387 (pcs.big) R 17385 17387 17224 0 -1 4194304 17313 661 0 0 34085 6 0 0 25 0 1 0 59444556 69128192 15919 996147200 134512640 135215973 4294956304 18446744073709551615 134583640 0 0 4096 0 0 0 0 17 1 0 0
/proc/17387/statm: 16877 15919 413 171 0 15802 0
Current children cumulated CPU time (s) 340.91
Current children cumulated vsize (KiB) 67508

[startup+402.302 s]
/proc/loadavg: 2.00 2.01 2.03 3/74 17398
/proc/meminfo: memFree=1103120/2055920 swapFree=4192812/4192956
[pid=17387] ppid=17385 vsize=78612 CPUtime=400.68
/proc/17387/stat : 17387 (pcs.big) R 17385 17387 17224 0 -1 4194304 20133 661 0 0 40061 7 0 0 25 0 1 0 59444556 80498688 18739 996147200 134512640 135215973 4294956304 18446744073709551615 134589807 0 0 4096 0 0 0 0 17 1 0 0
/proc/17387/statm: 19653 18739 413 171 0 18578 0
Current children cumulated CPU time (s) 400.68
Current children cumulated vsize (KiB) 78612

[startup+462.301 s]
/proc/loadavg: 2.00 2.00 2.03 3/74 17398
/proc/meminfo: memFree=1083344/2055920 swapFree=4192812/4192956
[pid=17387] ppid=17385 vsize=84484 CPUtime=460.43
/proc/17387/stat : 17387 (pcs.big) R 17385 17387 17224 0 -1 4194304 21623 661 0 0 46036 7 0 0 25 0 1 0 59444556 86511616 20229 996147200 134512640 135215973 4294956304 18446744073709551615 134590116 0 0 4096 0 0 0 0 17 1 0 0
/proc/17387/statm: 21121 20229 413 171 0 20046 0
Current children cumulated CPU time (s) 460.43
Current children cumulated vsize (KiB) 84484

[startup+522.302 s]
/proc/loadavg: 2.00 2.00 2.02 3/74 17398
/proc/meminfo: memFree=1060240/2055920 swapFree=4192812/4192956
[pid=17387] ppid=17385 vsize=92124 CPUtime=520.19
/proc/17387/stat : 17387 (pcs.big) R 17385 17387 17224 0 -1 4194304 23550 661 0 0 52011 8 0 0 25 0 1 0 59444556 94334976 22156 996147200 134512640 135215973 4294956304 18446744073709551615 134585786 0 0 4096 0 0 0 0 17 1 0 0
/proc/17387/statm: 23031 22156 413 171 0 21956 0
Current children cumulated CPU time (s) 520.19
Current children cumulated vsize (KiB) 92124

[startup+582.303 s]
/proc/loadavg: 2.00 2.00 2.01 3/74 17398
/proc/meminfo: memFree=1038672/2055920 swapFree=4192812/4192956
[pid=17387] ppid=17385 vsize=98660 CPUtime=579.95
/proc/17387/stat : 17387 (pcs.big) R 17385 17387 17224 0 -1 4194304 25247 661 0 0 57987 8 0 0 25 0 1 0 59444556 101027840 23563 996147200 134512640 135215973 4294956304 18446744073709551615 134585549 0 0 4096 0 0 0 0 17 1 0 0
/proc/17387/statm: 24665 23563 413 171 0 23590 0
Current children cumulated CPU time (s) 579.95
Current children cumulated vsize (KiB) 98660

[startup+642.301 s]
/proc/loadavg: 2.00 2.00 2.01 3/74 17398
/proc/meminfo: memFree=1007824/2055920 swapFree=4192812/4192956
[pid=17387] ppid=17385 vsize=115504 CPUtime=639.72
/proc/17387/stat : 17387 (pcs.big) R 17385 17387 17224 0 -1 4194304 29482 661 0 0 63962 10 0 0 25 0 1 0 59444556 118276096 27798 996147200 134512640 135215973 4294956304 18446744073709551615 134583557 0 0 4096 0 0 0 0 17 1 0 0
/proc/17387/statm: 28876 27798 413 171 0 27801 0
Current children cumulated CPU time (s) 639.72
Current children cumulated vsize (KiB) 115504

[startup+702.302 s]

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

[startup+822.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 17398
/proc/meminfo: memFree=911184/2055920 swapFree=4192812/4192956
[pid=17387] ppid=17385 vsize=156280 CPUtime=819
/proc/17387/stat : 17387 (pcs.big) R 17385 17387 17224 0 -1 4194304 39789 661 0 0 81886 14 0 0 25 0 1 0 59444556 160030720 38105 996147200 134512640 135215973 4294956304 18446744073709551615 134585694 0 0 4096 0 0 0 0 17 1 0 0
/proc/17387/statm: 39070 38105 413 171 0 37995 0
Current children cumulated CPU time (s) 819
Current children cumulated vsize (KiB) 156280

[startup+882.305 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 17398
/proc/meminfo: memFree=899856/2055920 swapFree=4192812/4192956
[pid=17387] ppid=17385 vsize=167192 CPUtime=878.76
/proc/17387/stat : 17387 (pcs.big) R 17385 17387 17224 0 -1 4194304 42532 661 0 0 87861 15 0 0 25 0 1 0 59444556 171204608 40848 996147200 134512640 135215973 4294956304 18446744073709551615 134585694 0 0 4096 0 0 0 0 17 1 0 0
/proc/17387/statm: 41798 40848 413 171 0 40723 0
Current children cumulated CPU time (s) 878.76
Current children cumulated vsize (KiB) 167192

[startup+942.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 17398
/proc/meminfo: memFree=877008/2055920 swapFree=4192812/4192956
[pid=17387] ppid=17385 vsize=185704 CPUtime=938.52
/proc/17387/stat : 17387 (pcs.big) R 17385 17387 17224 0 -1 4194304 47226 661 0 0 93835 17 0 0 25 0 1 0 59444556 190160896 45477 996147200 134512640 135215973 4294956304 18446744073709551615 134590043 0 0 4096 0 0 0 0 17 1 0 0
/proc/17387/statm: 46426 45477 413 171 0 45351 0
Current children cumulated CPU time (s) 938.52
Current children cumulated vsize (KiB) 185704

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 17398
/proc/meminfo: memFree=857168/2055920 swapFree=4192812/4192956
[pid=17387] ppid=17385 vsize=202012 CPUtime=998.29
/proc/17387/stat : 17387 (pcs.big) R 17385 17387 17224 0 -1 4194304 51371 661 0 0 99810 19 0 0 25 0 1 0 59444556 206860288 49622 996147200 134512640 135215973 4294956304 18446744073709551615 135008335 0 0 4096 0 0 0 0 17 1 0 0
/proc/17387/statm: 50503 49622 413 171 0 49428 0
Current children cumulated CPU time (s) 998.29
Current children cumulated vsize (KiB) 202012

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 17398
/proc/meminfo: memFree=829008/2055920 swapFree=4192812/4192956
[pid=17387] ppid=17385 vsize=216616 CPUtime=1058.05
/proc/17387/stat : 17387 (pcs.big) R 17385 17387 17224 0 -1 4194304 55112 661 0 0 105784 21 0 0 25 0 1 0 59444556 221814784 53234 996147200 134512640 135215973 4294956304 18446744073709551615 134591887 0 0 4096 0 0 0 0 17 1 0 0
/proc/17387/statm: 54154 53234 413 171 0 53079 0
Current children cumulated CPU time (s) 1058.05
Current children cumulated vsize (KiB) 216616

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 17398
/proc/meminfo: memFree=816784/2055920 swapFree=4192812/4192956
[pid=17387] ppid=17385 vsize=227336 CPUtime=1117.81
/proc/17387/stat : 17387 (pcs.big) R 17385 17387 17224 0 -1 4194304 57991 661 0 0 111759 22 0 0 25 0 1 0 59444556 232792064 55696 996147200 134512640 135215973 4294956304 18446744073709551615 134532714 0 0 4096 0 0 0 0 17 1 0 0
/proc/17387/statm: 56834 55696 413 171 0 55759 0
Current children cumulated CPU time (s) 1117.81
Current children cumulated vsize (KiB) 227336

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 17398
/proc/meminfo: memFree=809680/2055920 swapFree=4192812/4192956
[pid=17387] ppid=17385 vsize=234012 CPUtime=1177.56
/proc/17387/stat : 17387 (pcs.big) R 17385 17387 17224 0 -1 4194304 59682 661 0 0 117734 22 0 0 25 0 1 0 59444556 239628288 57387 996147200 134512640 135215973 4294956304 18446744073709551615 134585677 0 0 4096 0 0 0 0 17 1 0 0
/proc/17387/statm: 58503 57387 413 171 0 57428 0
Current children cumulated CPU time (s) 1177.56
Current children cumulated vsize (KiB) 234012

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 17504
/proc/meminfo: memFree=1228272/2055920 swapFree=4192812/4192956
[pid=17387] ppid=17385 vsize=244136 CPUtime=1237.24
/proc/17387/stat : 17387 (pcs.big) R 17385 17387 17224 0 -1 4194304 62220 661 0 0 123700 24 0 0 25 0 1 0 59444556 249995264 59412 996147200 134512640 135215973 4294956304 18446744073709551615 134585694 0 0 4096 0 0 0 0 17 1 0 0
/proc/17387/statm: 61034 59412 413 171 0 59959 0
Current children cumulated CPU time (s) 1237.24
Current children cumulated vsize (KiB) 244136

[startup+1302.3 s]
/proc/loadavg: 2.43 2.11 2.03 3/83 17504
/proc/meminfo: memFree=1222576/2055920 swapFree=4192812/4192956
[pid=17387] ppid=17385 vsize=249468 CPUtime=1297.22
/proc/17387/stat : 17387 (pcs.big) R 17385 17387 17224 0 -1 4194304 63582 661 0 0 129697 25 0 0 25 0 1 0 59444556 255455232 60774 996147200 134512640 135215973 4294956304 18446744073709551615 4158512689 0 0 4096 0 0 0 0 17 1 0 0
/proc/17387/statm: 62367 60774 413 171 0 61292 0
Current children cumulated CPU time (s) 1297.22
Current children cumulated vsize (KiB) 249468

[startup+1362.3 s]
/proc/loadavg: 2.26 2.13 2.04 3/83 17504
/proc/meminfo: memFree=1215280/2055920 swapFree=4192812/4192956
[pid=17387] ppid=17385 vsize=256588 CPUtime=1357.2
/proc/17387/stat : 17387 (pcs.big) R 17385 17387 17224 0 -1 4194304 65391 661 0 0 135694 26 0 0 25 0 1 0 59444556 262746112 62583 996147200 134512640 135215973 4294956304 18446744073709551615 135095040 0 0 4096 0 0 0 0 17 1 0 0
/proc/17387/statm: 64147 62583 413 171 0 63072 0
Current children cumulated CPU time (s) 1357.2
Current children cumulated vsize (KiB) 256588

[startup+1422.3 s]
/proc/loadavg: 2.21 2.13 2.05 3/83 17504
/proc/meminfo: memFree=1207728/2055920 swapFree=4192812/4192956
[pid=17387] ppid=17385 vsize=264128 CPUtime=1417.18
/proc/17387/stat : 17387 (pcs.big) R 17385 17387 17224 0 -1 4194304 67273 661 0 0 141692 26 0 0 25 0 1 0 59444556 270467072 64465 996147200 134512640 135215973 4294956304 18446744073709551615 4158960033 0 0 4096 0 0 0 0 17 1 0 0
/proc/17387/statm: 66032 64465 413 171 0 64957 0
Current children cumulated CPU time (s) 1417.18
Current children cumulated vsize (KiB) 264128

[startup+1482.3 s]
/proc/loadavg: 2.56 2.23 2.09 3/83 17504
/proc/meminfo: memFree=1198704/2055920 swapFree=4192812/4192956
[pid=17387] ppid=17385 vsize=273024 CPUtime=1477.16
/proc/17387/stat : 17387 (pcs.big) R 17385 17387 17224 0 -1 4194304 69528 661 0 0 147688 28 0 0 25 0 1 0 59444556 279576576 66720 996147200 134512640 135215973 4294956304 18446744073709551615 134583607 0 0 4096 0 0 0 0 17 1 0 0
/proc/17387/statm: 68256 66720 413 171 0 67181 0
Current children cumulated CPU time (s) 1477.16
Current children cumulated vsize (KiB) 273024

[startup+1542.31 s]
/proc/loadavg: 2.65 2.32 2.12 3/83 17504
/proc/meminfo: memFree=1192952/2055920 swapFree=4192812/4192956
[pid=17387] ppid=17385 vsize=278696 CPUtime=1537.14
/proc/17387/stat : 17387 (pcs.big) R 17385 17387 17224 0 -1 4194304 70948 661 0 0 153685 29 0 0 25 0 1 0 59444556 285384704 68140 996147200 134512640 135215973 4294956304 18446744073709551615 135096455 0 0 4096 0 0 0 0 17 1 0 0
/proc/17387/statm: 69674 68140 413 171 0 68599 0
Current children cumulated CPU time (s) 1537.14
Current children cumulated vsize (KiB) 278696

[startup+1602.3 s]
/proc/loadavg: 2.24 2.26 2.11 3/83 17504
/proc/meminfo: memFree=1187896/2055920 swapFree=4192812/4192956
[pid=17387] ppid=17385 vsize=283868 CPUtime=1597.11
/proc/17387/stat : 17387 (pcs.big) R 17385 17387 17224 0 -1 4194304 72252 661 0 0 159682 29 0 0 25 0 1 0 59444556 290680832 69444 996147200 134512640 135215973 4294956304 18446744073709551615 134583640 0 0 4096 0 0 0 0 17 1 0 0
/proc/17387/statm: 70967 69444 413 171 0 69892 0
Current children cumulated CPU time (s) 1597.11
Current children cumulated vsize (KiB) 283868

[startup+1662.3 s]
/proc/loadavg: 2.14 2.23 2.11 3/83 17504
/proc/meminfo: memFree=1183608/2055920 swapFree=4192812/4192956
[pid=17387] ppid=17385 vsize=288132 CPUtime=1657.1
/proc/17387/stat : 17387 (pcs.big) R 17385 17387 17224 0 -1 4194304 73319 661 0 0 165680 30 0 0 25 0 1 0 59444556 295047168 70511 996147200 134512640 135215973 4294956304 18446744073709551615 4158960056 0 0 4096 0 0 0 0 17 1 0 0
/proc/17387/statm: 72033 70511 413 171 0 70958 0
Current children cumulated CPU time (s) 1657.1
Current children cumulated vsize (KiB) 288132

[startup+1722.3 s]
/proc/loadavg: 2.05 2.18 2.09 3/83 17504
/proc/meminfo: memFree=1174264/2055920 swapFree=4192812/4192956
[pid=17387] ppid=17385 vsize=297512 CPUtime=1717.07
/proc/17387/stat : 17387 (pcs.big) R 17385 17387 17224 0 -1 4194304 75677 661 0 0 171676 31 0 0 25 0 1 0 59444556 304652288 72869 996147200 134512640 135215973 4294956304 18446744073709551615 134585720 0 0 4096 0 0 0 0 17 1 0 0
/proc/17387/statm: 74378 72869 413 171 0 73303 0
Current children cumulated CPU time (s) 1717.07
Current children cumulated vsize (KiB) 297512

[startup+1782.3 s]
/proc/loadavg: 2.02 2.15 2.09 3/83 17504
/proc/meminfo: memFree=1167800/2055920 swapFree=4192812/4192956
[pid=17387] ppid=17385 vsize=303624 CPUtime=1777.05
/proc/17387/stat : 17387 (pcs.big) R 17385 17387 17224 0 -1 4194304 77220 661 0 0 177673 32 0 0 25 0 1 0 59444556 310910976 74412 996147200 134512640 135215973 4294956304 18446744073709551615 134970900 0 0 4096 0 0 0 0 17 1 0 0
/proc/17387/statm: 75906 74412 413 171 0 74831 0
Current children cumulated CPU time (s) 1777.05
Current children cumulated vsize (KiB) 303624



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1805.3 s]
/proc/loadavg: 2.01 2.14 2.08 3/83 17504
/proc/meminfo: memFree=1164728/2055920 swapFree=4192812/4192956
[pid=17387] ppid=17385 vsize=306548 CPUtime=1800.05
/proc/17387/stat : 17387 (pcs.big) R 17385 17387 17224 0 -1 4194304 77974 661 0 0 179973 32 0 0 25 0 1 0 59444556 313905152 75166 996147200 134512640 135215973 4294956304 18446744073709551615 134585694 0 0 4096 0 0 0 0 17 1 0 0
/proc/17387/statm: 76637 75166 413 171 0 75562 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 306548

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): 1805.35
CPU time (s): 1800.12
CPU user time (s): 1799.74
CPU system time (s): 0.380942
CPU usage (%): 99.71
Max. virtual memory (cumulated for all children) (KiB): 306548

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.74
system time used= 0.380942
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 78635
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= 17
involuntary context switches= 14579

runsolver used 1.76073 second user time and 4.81827 second system time

The end

Launcher Data 

Begin job on node76 at 2009-07-16 07:56:32
IDJOB=2083815
IDBENCH=57943
IDSOLVER=734
FILE ID=node76/2083815-1247723792
PBS_JOBID= 9521499
Free space on /tmp= 66388 MiB

SOLVER NAME= pcs-restart 0.2.restart
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-2083815-1247723792/watcher-2083815-1247723792 -o /tmp/evaluation-result-2083815-1247723792/solver-2083815-1247723792 -C 1800 -W 2000 -M 900  HOME/pcssolve -s 275553685 HOME/instance-2083815-1247723792.xml

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

MD5SUM BENCH= c966f4ac55d40e9ed821e9d3623796fc
RANDOM SEED=275553685

node76.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.277
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.277
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	: 5996.54
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1262008 kB
Buffers:         80796 kB
Cached:         392144 kB
SwapCached:          0 kB
Active:         335756 kB
Inactive:       386300 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1262008 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            2348 kB
Writeback:           0 kB
Mapped:         260588 kB
Slab:            56632 kB
Committed_AS:   733576 kB
PageTables:       2412 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= 66396 MiB
End job on node76 at 2009-07-16 08:26:40