Trace number 2083011

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.15 1808.04

General information on the benchmark

Namecsp/fapp/fapp40/
normalized-fapp40-3000-7.xml
MD5SUM03c519ee722ebb3400aacaf8b7a2d565
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 benchmark71.4491
Satisfiable
(Un)Satisfiability was proved
Number of variables3000
Number of constraints53548
Maximum constraint arity2
Maximum domain size698
Number of constraints which are defined in extension0
Number of constraints which are defined in intension53548
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 2104537637
0.00/0.04	c Constructing HOME/instance-2083011-1247722081.xml  with 337963 constraints
6.21/6.31	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-2083011-1247722081/watcher-2083011-1247722081 -o /tmp/evaluation-result-2083011-1247722081/solver-2083011-1247722081 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 2104537637 HOME/instance-2083011-1247722081.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: 1.92 1.98 1.99 4/81 14662
/proc/meminfo: memFree=1015000/2055924 swapFree=4192812/4192956
[pid=14662] ppid=14660 vsize=18576 CPUtime=0
/proc/14662/stat : 14662 (runsolver) R 14660 14662 12424 0 -1 4194368 15 0 0 0 0 0 0 0 20 0 1 0 59275560 19021824 284 996147200 4194304 4302564 548682068496 18446744073709551615 268582841639 0 0 4096 24578 0 0 0 17 1 0 0
/proc/14662/statm: 4644 284 249 26 0 2626 0

[startup+0.099093 s]
/proc/loadavg: 1.92 1.98 1.99 4/81 14662
/proc/meminfo: memFree=1015000/2055924 swapFree=4192812/4192956
[pid=14662] ppid=14660 vsize=6620 CPUtime=0.06
/proc/14662/stat : 14662 (pcs.big) R 14660 14662 12424 0 -1 4194304 1314 667 0 0 5 0 0 1 22 0 1 0 59275560 6778880 904 996147200 134512640 135215973 4294956304 18446744073709551615 4159314573 0 0 4096 0 0 0 0 17 1 0 0
/proc/14662/statm: 1655 904 386 171 0 580 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 6620

[startup+0.101086 s]
/proc/loadavg: 1.92 1.98 1.99 4/81 14662
/proc/meminfo: memFree=1015000/2055924 swapFree=4192812/4192956
[pid=14662] ppid=14660 vsize=6620 CPUtime=0.07
/proc/14662/stat : 14662 (pcs.big) R 14660 14662 12424 0 -1 4194304 1317 667 0 0 6 0 0 1 22 0 1 0 59275560 6778880 907 996147200 134512640 135215973 4294956304 18446744073709551615 2629349 0 0 4096 0 0 0 0 17 1 0 0
/proc/14662/statm: 1655 907 386 171 0 580 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 6620

[startup+0.301132 s]
/proc/loadavg: 1.92 1.98 1.99 4/81 14662
/proc/meminfo: memFree=1015000/2055924 swapFree=4192812/4192956
[pid=14662] ppid=14660 vsize=11008 CPUtime=0.27
/proc/14662/stat : 14662 (pcs.big) R 14660 14662 12424 0 -1 4194304 2771 667 0 0 25 1 0 1 23 0 1 0 59275560 11272192 1900 996147200 134512640 135215973 4294956304 18446744073709551615 134600809 0 0 4096 0 0 0 0 17 1 0 0
/proc/14662/statm: 2752 1900 386 171 0 1677 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 11008

[startup+0.701212 s]
/proc/loadavg: 1.92 1.98 1.99 4/81 14662
/proc/meminfo: memFree=1015000/2055924 swapFree=4192812/4192956
[pid=14662] ppid=14660 vsize=21992 CPUtime=0.67
/proc/14662/stat : 14662 (pcs.big) R 14660 14662 12424 0 -1 4194304 6241 667 0 0 64 2 0 1 25 0 1 0 59275560 22519808 3916 996147200 134512640 135215973 4294956304 18446744073709551615 134807810 0 0 4096 0 0 0 0 17 1 0 0
/proc/14662/statm: 5498 3916 386 171 0 4423 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 21992

[startup+1.50137 s]
/proc/loadavg: 1.92 1.98 1.99 3/82 14667
/proc/meminfo: memFree=994832/2055924 swapFree=4192812/4192956
[pid=14662] ppid=14660 vsize=39704 CPUtime=1.46
/proc/14662/stat : 14662 (pcs.big) R 14660 14662 12424 0 -1 4194304 12275 667 0 0 140 5 0 1 25 0 1 0 59275560 40656896 7601 996147200 134512640 135215973 4294956304 18446744073709551615 134632003 0 0 4096 0 0 0 0 17 1 0 0
/proc/14662/statm: 9926 7601 386 171 0 8851 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 39704

[startup+3.10268 s]
/proc/loadavg: 1.92 1.98 1.99 3/82 14667
/proc/meminfo: memFree=973968/2055924 swapFree=4192812/4192956
[pid=14662] ppid=14660 vsize=75156 CPUtime=3.05
/proc/14662/stat : 14662 (pcs.big) R 14660 14662 12424 0 -1 4194304 24242 667 0 0 293 11 0 1 25 0 1 0 59275560 76959744 14873 996147200 134512640 135215973 4294956304 18446744073709551615 134583653 0 0 4096 0 0 0 0 17 1 0 0
/proc/14662/statm: 18789 14873 386 171 0 17714 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 75156

[startup+6.30131 s]
/proc/loadavg: 1.93 1.98 1.99 3/82 14667
/proc/meminfo: memFree=918032/2055924 swapFree=4192812/4192956
[pid=14662] ppid=14660 vsize=131944 CPUtime=6.21
/proc/14662/stat : 14662 (pcs.big) R 14660 14662 12424 0 -1 4194304 47513 667 0 0 598 22 0 1 25 0 1 0 59275560 135110656 26506 996147200 134512640 135215973 4294956304 18446744073709551615 134812189 0 0 4096 0 0 0 0 17 1 0 0
/proc/14662/statm: 32986 26506 392 171 0 31911 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 131944

[startup+12.7016 s]
/proc/loadavg: 1.93 1.98 1.99 4/82 14667
/proc/meminfo: memFree=867600/2055924 swapFree=4192812/4192956
[pid=14662] ppid=14660 vsize=170848 CPUtime=12.56
/proc/14662/stat : 14662 (pcs.big) R 14660 14662 12424 0 -1 4194304 61091 667 0 0 1227 28 0 1 25 0 1 0 59275560 174948352 37099 996147200 134512640 135215973 4294956304 18446744073709551615 134599865 0 0 4096 0 0 0 0 17 1 0 0
/proc/14662/statm: 42712 37099 410 171 0 41637 0
Current children cumulated CPU time (s) 12.56
Current children cumulated vsize (KiB) 170848

[startup+25.5011 s]
/proc/loadavg: 1.95 1.98 1.99 3/82 14667
/proc/meminfo: memFree=866832/2055924 swapFree=4192812/4192956
[pid=14662] ppid=14660 vsize=171680 CPUtime=25.24
/proc/14662/stat : 14662 (pcs.big) R 14660 14662 12424 0 -1 4194304 61519 667 0 0 2495 28 0 1 25 0 1 0 59275560 175800320 37318 996147200 134512640 135215973 4294956304 18446744073709551615 134585794 0 0 4096 0 0 0 0 17 1 0 0
/proc/14662/statm: 42920 37318 410 171 0 41845 0
Current children cumulated CPU time (s) 25.24
Current children cumulated vsize (KiB) 171680

[startup+51.1011 s]
/proc/loadavg: 1.96 1.98 1.99 3/82 14667
/proc/meminfo: memFree=865168/2055924 swapFree=4192812/4192956
[pid=14662] ppid=14660 vsize=173344 CPUtime=50.62
/proc/14662/stat : 14662 (pcs.big) R 14660 14662 12424 0 -1 4194304 62364 667 0 0 5033 28 0 1 25 0 1 0 59275560 177504256 37746 996147200 134512640 135215973 4294956304 18446744073709551615 4158960050 0 0 4096 0 0 0 0 17 1 0 0
/proc/14662/statm: 43336 37746 410 171 0 42261 0
Current children cumulated CPU time (s) 50.62
Current children cumulated vsize (KiB) 173344

[startup+102.306 s]
/proc/loadavg: 1.98 1.98 1.99 3/82 14667
/proc/meminfo: memFree=849360/2055924 swapFree=4192812/4192956
[pid=14662] ppid=14660 vsize=189080 CPUtime=101.38
/proc/14662/stat : 14662 (pcs.big) R 14660 14662 12424 0 -1 4194304 67125 667 0 0 10107 30 0 1 25 0 1 0 59275560 193617920 41674 996147200 134512640 135215973 4294956304 18446744073709551615 134600006 0 0 4096 0 0 0 0 17 1 0 0
/proc/14662/statm: 47270 41674 410 171 0 46195 0
Current children cumulated CPU time (s) 101.38
Current children cumulated vsize (KiB) 189080

[startup+162.302 s]
/proc/loadavg: 1.99 1.98 1.99 3/82 14667
/proc/meminfo: memFree=843152/2055924 swapFree=4192812/4192956
[pid=14662] ppid=14660 vsize=201280 CPUtime=160.87
/proc/14662/stat : 14662 (pcs.big) R 14660 14662 12424 0 -1 4194304 70326 667 0 0 16054 32 0 1 25 0 1 0 59275560 206110720 43210 996147200 134512640 135215973 4294956304 18446744073709551615 4158960148 0 0 4096 0 0 0 0 17 1 0 0
/proc/14662/statm: 50320 43210 410 171 0 49245 0
Current children cumulated CPU time (s) 160.87
Current children cumulated vsize (KiB) 201280

[startup+222.302 s]
/proc/loadavg: 1.99 1.98 1.99 3/82 14667
/proc/meminfo: memFree=841680/2055924 swapFree=4192812/4192956
[pid=14662] ppid=14660 vsize=201412 CPUtime=220.35
/proc/14662/stat : 14662 (pcs.big) R 14660 14662 12424 0 -1 4194304 70698 667 0 0 22002 32 0 1 25 0 1 0 59275560 206245888 43582 996147200 134512640 135215973 4294956304 18446744073709551615 134585720 0 0 4096 0 0 0 0 17 1 0 0
/proc/14662/statm: 50353 43582 410 171 0 49278 0
Current children cumulated CPU time (s) 220.35
Current children cumulated vsize (KiB) 201412

[startup+282.302 s]
/proc/loadavg: 1.99 1.98 1.99 3/82 14667
/proc/meminfo: memFree=840912/2055924 swapFree=4192812/4192956
[pid=14662] ppid=14660 vsize=201412 CPUtime=279.84
/proc/14662/stat : 14662 (pcs.big) R 14660 14662 12424 0 -1 4194304 81844 667 0 0 27947 36 0 1 25 0 1 0 59275560 206245888 43730 996147200 134512640 135215973 4294956304 18446744073709551615 134585694 0 0 4096 0 0 0 0 17 1 0 0
/proc/14662/statm: 50353 43730 413 171 0 49278 0
Current children cumulated CPU time (s) 279.84
Current children cumulated vsize (KiB) 201412

[startup+342.301 s]
/proc/loadavg: 1.99 1.98 1.99 3/82 14667
/proc/meminfo: memFree=840912/2055924 swapFree=4192812/4192956
[pid=14662] ppid=14660 vsize=201412 CPUtime=339.32
/proc/14662/stat : 14662 (pcs.big) R 14660 14662 12424 0 -1 4194304 98201 667 0 0 33889 42 0 1 25 0 1 0 59275560 206245888 43731 996147200 134512640 135215973 4294956304 18446744073709551615 134600785 0 0 4096 0 0 0 0 17 1 0 0
/proc/14662/statm: 50353 43731 413 171 0 49278 0
Current children cumulated CPU time (s) 339.32
Current children cumulated vsize (KiB) 201412

[startup+402.301 s]
/proc/loadavg: 1.99 1.98 1.99 3/82 14667
/proc/meminfo: memFree=839696/2055924 swapFree=4192812/4192956
[pid=14662] ppid=14660 vsize=202600 CPUtime=398.8
/proc/14662/stat : 14662 (pcs.big) R 14660 14662 12424 0 -1 4194304 134318 667 0 0 39824 55 0 1 25 0 1 0 59275560 207462400 44034 996147200 134512640 135215973 4294956304 18446744073709551615 134585694 0 0 4096 0 0 0 0 17 1 0 0
/proc/14662/statm: 50650 44034 413 171 0 49575 0
Current children cumulated CPU time (s) 398.8
Current children cumulated vsize (KiB) 202600

[startup+462.302 s]
/proc/loadavg: 1.99 1.98 1.99 3/82 14667
/proc/meminfo: memFree=837648/2055924 swapFree=4192812/4192956
[pid=14662] ppid=14660 vsize=204712 CPUtime=458.29
/proc/14662/stat : 14662 (pcs.big) R 14660 14662 12424 0 -1 4194304 148656 667 0 0 45767 61 0 1 25 0 1 0 59275560 209625088 44554 996147200 134512640 135215973 4294956304 18446744073709551615 134585694 0 0 4096 0 0 0 0 17 1 0 0
/proc/14662/statm: 51178 44554 413 171 0 50103 0
Current children cumulated CPU time (s) 458.29
Current children cumulated vsize (KiB) 204712

[startup+522.302 s]
/proc/loadavg: 1.99 1.98 1.99 3/82 14667
/proc/meminfo: memFree=837520/2055924 swapFree=4192812/4192956
[pid=14662] ppid=14660 vsize=204976 CPUtime=517.78
/proc/14662/stat : 14662 (pcs.big) R 14660 14662 12424 0 -1 4194304 152948 667 0 0 51715 62 0 1 25 0 1 0 59275560 209895424 44616 996147200 134512640 135215973 4294956304 18446744073709551615 134969508 0 0 4096 0 0 0 0 17 1 0 0
/proc/14662/statm: 51244 44616 413 171 0 50169 0
Current children cumulated CPU time (s) 517.78
Current children cumulated vsize (KiB) 204976

[startup+582.302 s]
/proc/loadavg: 1.99 1.98 1.99 3/82 14667
/proc/meminfo: memFree=837136/2055924 swapFree=4192812/4192956
[pid=14662] ppid=14660 vsize=205240 CPUtime=577.27
/proc/14662/stat : 14662 (pcs.big) R 14660 14662 12424 0 -1 4194304 162064 667 0 0 57660 66 0 1 25 0 1 0 59275560 210165760 44708 996147200 134512640 135215973 4294956304 18446744073709551615 134591693 0 0 4096 0 0 0 0 17 1 0 0
/proc/14662/statm: 51310 44708 413 171 0 50235 0
Current children cumulated CPU time (s) 577.27
Current children cumulated vsize (KiB) 205240

[startup+642.301 s]
/proc/loadavg: 1.99 1.98 1.99 3/82 14667
/proc/meminfo: memFree=835920/2055924 swapFree=4192812/4192956
[pid=14662] ppid=14660 vsize=206428 CPUtime=636.75
/proc/14662/stat : 14662 (pcs.big) R 14660 14662 12424 0 -1 4194304 195074 667 0 0 63595 79 0 1 25 0 1 0 59275560 211382272 45006 996147200 134512640 135215973 4294956304 18446744073709551615 134524388 0 0 4096 0 0 0 0 17 1 0 0
/proc/14662/statm: 51607 45006 413 171 0 50532 0
Current children cumulated CPU time (s) 636.75
Current children cumulated vsize (KiB) 206428

[startup+702.302 s]

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

[startup+822.302 s]
/proc/loadavg: 1.99 1.98 1.99 3/82 14667
/proc/meminfo: memFree=831376/2055924 swapFree=4192812/4192956
[pid=14662] ppid=14660 vsize=210788 CPUtime=815.21
/proc/14662/stat : 14662 (pcs.big) R 14660 14662 12424 0 -1 4194304 257103 667 0 0 81417 103 0 1 25 0 1 0 59275560 215846912 46123 996147200 134512640 135215973 4294956304 18446744073709551615 134600806 0 0 4096 0 0 0 0 17 1 0 0
/proc/14662/statm: 52697 46123 413 171 0 51622 0
Current children cumulated CPU time (s) 815.21
Current children cumulated vsize (KiB) 210788

[startup+882.301 s]
/proc/loadavg: 1.99 1.98 1.99 3/83 14708
/proc/meminfo: memFree=1048664/2055924 swapFree=4192812/4192956
[pid=14662] ppid=14660 vsize=212368 CPUtime=874.81
/proc/14662/stat : 14662 (pcs.big) R 14660 14662 12424 0 -1 4194304 289932 667 0 0 87364 116 0 1 25 0 1 0 59275560 217464832 46522 996147200 134512640 135215973 4294956304 18446744073709551615 134589787 0 0 4096 0 0 0 0 17 0 0 0
/proc/14662/statm: 53092 46522 413 171 0 52017 0
Current children cumulated CPU time (s) 874.81
Current children cumulated vsize (KiB) 212368

[startup+942.301 s]
/proc/loadavg: 2.03 2.00 2.00 3/73 14741
/proc/meminfo: memFree=1064552/2055924 swapFree=4192812/4192956
[pid=14662] ppid=14660 vsize=215668 CPUtime=934.78
/proc/14662/stat : 14662 (pcs.big) R 14660 14662 12424 0 -1 4194304 333346 667 0 0 93347 130 0 1 25 0 1 0 59275560 220844032 47354 996147200 134512640 135215973 4294956304 18446744073709551615 134585786 0 0 4096 0 0 0 0 17 0 0 0
/proc/14662/statm: 53917 47354 413 171 0 52842 0
Current children cumulated CPU time (s) 934.78
Current children cumulated vsize (KiB) 215668

[startup+1002.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/73 14741
/proc/meminfo: memFree=1045672/2055924 swapFree=4192812/4192956
[pid=14662] ppid=14660 vsize=219260 CPUtime=994.76
/proc/14662/stat : 14662 (pcs.big) R 14660 14662 12424 0 -1 4194304 379089 667 0 0 99330 145 0 1 25 0 1 0 59275560 224522240 48259 996147200 134512640 135215973 4294956304 18446744073709551615 134583659 0 0 4096 0 0 0 0 17 0 0 0
/proc/14662/statm: 54815 48259 413 171 0 53740 0
Current children cumulated CPU time (s) 994.76
Current children cumulated vsize (KiB) 219260

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 14741
/proc/meminfo: memFree=1030440/2055924 swapFree=4192812/4192956
[pid=14662] ppid=14660 vsize=221900 CPUtime=1054.73
/proc/14662/stat : 14662 (pcs.big) R 14660 14662 12424 0 -1 4194304 424032 667 0 0 105312 160 0 1 25 0 1 0 59275560 227225600 48928 996147200 134512640 135215973 4294956304 18446744073709551615 134583680 0 0 4096 0 0 0 0 17 0 0 0
/proc/14662/statm: 55475 48928 413 171 0 54400 0
Current children cumulated CPU time (s) 1054.73
Current children cumulated vsize (KiB) 221900

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 14741
/proc/meminfo: memFree=1009896/2055924 swapFree=4192812/4192956
[pid=14662] ppid=14660 vsize=222692 CPUtime=1114.71
/proc/14662/stat : 14662 (pcs.big) R 14660 14662 12424 0 -1 4194304 451289 667 0 0 111300 170 0 1 25 0 1 0 59275560 228036608 49113 996147200 134512640 135215973 4294956304 18446744073709551615 134585786 0 0 4096 0 0 0 0 17 0 0 0
/proc/14662/statm: 55673 49113 413 171 0 54598 0
Current children cumulated CPU time (s) 1114.71
Current children cumulated vsize (KiB) 222692

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 14741
/proc/meminfo: memFree=992552/2055924 swapFree=4192812/4192956
[pid=14662] ppid=14660 vsize=224012 CPUtime=1174.68
/proc/14662/stat : 14662 (pcs.big) R 14660 14662 12424 0 -1 4194304 467966 667 0 0 117291 176 0 1 25 0 1 0 59275560 229388288 49434 996147200 134512640 135215973 4294956304 18446744073709551615 134590055 0 0 4096 0 0 0 0 17 0 0 0
/proc/14662/statm: 56003 49434 413 171 0 54928 0
Current children cumulated CPU time (s) 1174.68
Current children cumulated vsize (KiB) 224012

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 14741
/proc/meminfo: memFree=974888/2055924 swapFree=4192812/4192956
[pid=14662] ppid=14660 vsize=226124 CPUtime=1234.64
/proc/14662/stat : 14662 (pcs.big) R 14660 14662 12424 0 -1 4194304 496412 667 0 0 123277 186 0 1 25 0 1 0 59275560 231550976 49962 996147200 134512640 135215973 4294956304 18446744073709551615 4158960021 0 0 4096 0 0 0 0 17 0 0 0
/proc/14662/statm: 56531 49962 413 171 0 55456 0
Current children cumulated CPU time (s) 1234.64
Current children cumulated vsize (KiB) 226124

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 14741
/proc/meminfo: memFree=955688/2055924 swapFree=4192812/4192956
[pid=14662] ppid=14660 vsize=228100 CPUtime=1294.63
/proc/14662/stat : 14662 (pcs.big) R 14660 14662 12424 0 -1 4194304 524707 667 0 0 129265 197 0 1 25 0 1 0 59275560 233574400 50621 996147200 134512640 135215973 4294956304 18446744073709551615 134585720 0 0 4096 0 0 0 0 17 0 0 0
/proc/14662/statm: 57025 50621 413 171 0 55950 0
Current children cumulated CPU time (s) 1294.63
Current children cumulated vsize (KiB) 228100

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 14741
/proc/meminfo: memFree=938920/2055924 swapFree=4192812/4192956
[pid=14662] ppid=14660 vsize=229944 CPUtime=1354.59
/proc/14662/stat : 14662 (pcs.big) R 14660 14662 12424 0 -1 4194304 553842 667 0 0 135251 207 0 1 25 0 1 0 59275560 235462656 51274 996147200 134512640 135215973 4294956304 18446744073709551615 134585733 0 0 4096 0 0 0 0 17 0 0 0
/proc/14662/statm: 57486 51274 413 171 0 56411 0
Current children cumulated CPU time (s) 1354.59
Current children cumulated vsize (KiB) 229944

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 14743
/proc/meminfo: memFree=923432/2055924 swapFree=4192812/4192956
[pid=14662] ppid=14660 vsize=231924 CPUtime=1414.57
/proc/14662/stat : 14662 (pcs.big) R 14660 14662 12424 0 -1 4194304 578249 667 0 0 141240 216 0 1 25 0 1 0 59275560 237490176 51993 996147200 134512640 135215973 4294956304 18446744073709551615 135096364 0 0 4096 0 0 0 0 17 0 0 0
/proc/14662/statm: 57981 51993 413 171 0 56906 0
Current children cumulated CPU time (s) 1414.57
Current children cumulated vsize (KiB) 231924

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 14743
/proc/meminfo: memFree=911912/2055924 swapFree=4192812/4192956
[pid=14662] ppid=14660 vsize=233504 CPUtime=1474.53
/proc/14662/stat : 14662 (pcs.big) R 14660 14662 12424 0 -1 4194304 594824 667 0 0 147231 221 0 1 25 0 1 0 59275560 239108096 52494 996147200 134512640 135215973 4294956304 18446744073709551615 134583456 0 0 4096 0 0 0 0 17 0 0 0
/proc/14662/statm: 58376 52494 413 171 0 57301 0
Current children cumulated CPU time (s) 1474.53
Current children cumulated vsize (KiB) 233504

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 14743
/proc/meminfo: memFree=902440/2055924 swapFree=4192812/4192956
[pid=14662] ppid=14660 vsize=233504 CPUtime=1534.52
/proc/14662/stat : 14662 (pcs.big) R 14660 14662 12424 0 -1 4194304 624725 667 0 0 153219 232 0 1 25 0 1 0 59275560 239108096 52503 996147200 134512640 135215973 4294956304 18446744073709551615 134597340 0 0 4096 0 0 0 0 17 0 0 0
/proc/14662/statm: 58376 52503 413 171 0 57301 0
Current children cumulated CPU time (s) 1534.52
Current children cumulated vsize (KiB) 233504

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 14743
/proc/meminfo: memFree=885480/2055924 swapFree=4192812/4192956
[pid=14662] ppid=14660 vsize=234560 CPUtime=1594.48
/proc/14662/stat : 14662 (pcs.big) R 14660 14662 12424 0 -1 4194304 655465 667 0 0 159205 242 0 1 25 0 1 0 59275560 240189440 52787 996147200 134512640 135215973 4294956304 18446744073709551615 134600828 0 0 4096 0 0 0 0 17 0 0 0
/proc/14662/statm: 58640 52787 413 171 0 57565 0
Current children cumulated CPU time (s) 1594.48
Current children cumulated vsize (KiB) 234560

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 14743
/proc/meminfo: memFree=857896/2055924 swapFree=4192812/4192956
[pid=14662] ppid=14660 vsize=236144 CPUtime=1654.46
/proc/14662/stat : 14662 (pcs.big) R 14660 14662 12424 0 -1 4194304 682636 667 0 0 165192 253 0 1 25 0 1 0 59275560 241811456 53168 996147200 134512640 135215973 4294956304 18446744073709551615 134597427 0 0 4096 0 0 0 0 17 0 0 0
/proc/14662/statm: 59036 53168 413 171 0 57961 0
Current children cumulated CPU time (s) 1654.46
Current children cumulated vsize (KiB) 236144

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 14743
/proc/meminfo: memFree=827432/2055924 swapFree=4192812/4192956
[pid=14662] ppid=14660 vsize=238124 CPUtime=1714.42
/proc/14662/stat : 14662 (pcs.big) R 14660 14662 12424 0 -1 4194304 711612 667 0 0 171178 263 0 1 25 0 1 0 59275560 243838976 53662 996147200 134512640 135215973 4294956304 18446744073709551615 4158960170 0 0 4096 0 0 0 0 17 0 0 0
/proc/14662/statm: 59531 53662 413 171 0 58456 0
Current children cumulated CPU time (s) 1714.42
Current children cumulated vsize (KiB) 238124

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 14743
/proc/meminfo: memFree=803624/2055924 swapFree=4192812/4192956
[pid=14662] ppid=14660 vsize=241604 CPUtime=1774.39
/proc/14662/stat : 14662 (pcs.big) R 14660 14662 12424 0 -1 4194304 751693 667 0 0 177161 277 0 1 25 0 1 0 59275560 247402496 54545 996147200 134512640 135215973 4294956304 18446744073709551615 134591798 0 0 4096 0 0 0 0 17 0 0 0
/proc/14662/statm: 60401 54545 413 171 0 59326 0
Current children cumulated CPU time (s) 1774.39
Current children cumulated vsize (KiB) 241604



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1808 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 14743
/proc/meminfo: memFree=795688/2055924 swapFree=4192812/4192956
[pid=14662] ppid=14660 vsize=241736 CPUtime=1800.09
/proc/14662/stat : 14662 (pcs.big) R 14660 14662 12424 0 -1 4194304 764703 667 0 0 179726 282 0 1 25 0 1 0 59275560 247537664 54583 996147200 134512640 135215973 4294956304 18446744073709551615 134585880 0 0 4096 0 0 0 0 17 0 0 0
/proc/14662/statm: 60434 54583 413 171 0 59359 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 241736

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): 1808.04
CPU time (s): 1800.15
CPU user time (s): 1797.28
CPU system time (s): 2.87656
CPU usage (%): 99.5638
Max. virtual memory (cumulated for all children) (KiB): 242864

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.28
system time used= 2.87656
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 765370
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= 28
involuntary context switches= 22187

runsolver used 1.90071 second user time and 4.76028 second system time

The end

Launcher Data 

Begin job on node6 at 2009-07-16 07:28:01
IDJOB=2083011
IDBENCH=57673
IDSOLVER=733
FILE ID=node6/2083011-1247722081
PBS_JOBID= 9521477
Free space on /tmp= 66288 MiB

SOLVER NAME= pcs 0.2
BENCH NAME= CPAI08/csp/fapp/fapp40/normalized-fapp40-3000-7.xml
COMMAND LINE= HOME/pcssolve -s RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2083011-1247722081/watcher-2083011-1247722081 -o /tmp/evaluation-result-2083011-1247722081/solver-2083011-1247722081 -C 1800 -W 2000 -M 900  HOME/pcssolve -s 2104537637 HOME/instance-2083011-1247722081.xml

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

MD5SUM BENCH= 03c519ee722ebb3400aacaf8b7a2d565
RANDOM SEED=2104537637

node6.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.263
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.263
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:      2055924 kB
MemFree:       1015480 kB
Buffers:        108784 kB
Cached:         591412 kB
SwapCached:          0 kB
Active:         514124 kB
Inactive:       429436 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055924 kB
LowFree:       1015480 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            9252 kB
Writeback:           0 kB
Mapped:         263728 kB
Slab:            81544 kB
Committed_AS:   875460 kB
PageTables:       2380 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= 66304 MiB
End job on node6 at 2009-07-16 07:58:11