Trace number 2083672

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.09 1807.34

General information on the benchmark

Namecsp/fapp/fapp32/
normalized-fapp32-0550-4.xml
MD5SUMb49d49cefe14b8da913a5e29ecc6d023
Bench Category2-ARY-INT (binary constraints in intension)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark25.986
Satisfiable
(Un)Satisfiability was proved
Number of variables550
Number of constraints9461
Maximum constraint arity2
Maximum domain size998
Number of constraints which are defined in extension0
Number of constraints which are defined in intension9461
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.17/0.20	c Seed is 2012417425
0.17/0.20	c Constructing HOME/instance-2083672-1247723532.xml  with 59609 constraints
0.97/1.04	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-2083672-1247723532/watcher-2083672-1247723532 -o /tmp/evaluation-result-2083672-1247723532/solver-2083672-1247723532 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 2012417425 HOME/instance-2083672-1247723532.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.24 2.06 2.02 4/72 14468
/proc/meminfo: memFree=1371608/2055920 swapFree=4192812/4192956
[pid=14468] ppid=14466 vsize=5356 CPUtime=0
/proc/14468/stat : 14468 (pcssolve) R 14466 14468 14387 0 -1 4194304 265 0 0 0 0 0 0 0 22 0 1 0 59419657 5484544 233 996147200 4194304 4889804 548682068800 18446744073709551615 221236341362 0 0 4100 65536 0 0 0 17 1 0 0
/proc/14468/statm: 1339 233 194 169 0 50 0

[startup+0.166771 s]
/proc/loadavg: 2.24 2.06 2.02 4/72 14468
/proc/meminfo: memFree=1371608/2055920 swapFree=4192812/4192956
[pid=14468] ppid=14466 vsize=8796 CPUtime=0.13
/proc/14468/stat : 14468 (pcs.big) R 14466 14468 14387 0 -1 4194304 1954 667 0 0 13 0 0 0 18 0 1 0 59419657 9007104 1280 996147200 134512640 135215973 4294956304 18446744073709551615 4160505761 0 0 4096 0 0 0 0 17 1 0 0
/proc/14468/statm: 2199 1280 386 171 0 1124 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 8796

[startup+0.202767 s]
/proc/loadavg: 2.24 2.06 2.02 4/72 14468
/proc/meminfo: memFree=1371608/2055920 swapFree=4192812/4192956
[pid=14468] ppid=14466 vsize=9284 CPUtime=0.17
/proc/14468/stat : 14468 (pcs.big) R 14466 14468 14387 0 -1 4194304 2161 667 0 0 17 0 0 0 18 0 1 0 59419657 9506816 1401 996147200 134512640 135215973 4294956304 18446744073709551615 4158846796 0 0 4096 0 0 0 0 17 1 0 0
/proc/14468/statm: 2321 1401 386 171 0 1246 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 9284

[startup+0.302789 s]
/proc/loadavg: 2.24 2.06 2.02 4/72 14468
/proc/meminfo: memFree=1371608/2055920 swapFree=4192812/4192956
[pid=14468] ppid=14466 vsize=11100 CPUtime=0.27
/proc/14468/stat : 14468 (pcs.big) R 14466 14468 14387 0 -1 4194304 2823 667 0 0 27 0 0 0 19 0 1 0 59419657 11366400 1934 996147200 134512640 135215973 4294956304 18446744073709551615 8872098 0 0 4096 0 0 0 0 17 1 0 0
/proc/14468/statm: 2775 1934 386 171 0 1700 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 11100

[startup+0.701819 s]
/proc/loadavg: 2.24 2.06 2.02 4/72 14468
/proc/meminfo: memFree=1371608/2055920 swapFree=4192812/4192956
[pid=14468] ppid=14466 vsize=24384 CPUtime=0.67
/proc/14468/stat : 14468 (pcs.big) R 14466 14468 14387 0 -1 4194304 6467 667 0 0 65 2 0 0 22 0 1 0 59419657 24969216 4198 996147200 134512640 135215973 4294956304 18446744073709551615 134808183 0 0 4096 0 0 0 0 17 1 0 0
/proc/14468/statm: 6096 4202 387 171 0 5021 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 24384

[startup+1.50191 s]
/proc/loadavg: 2.24 2.06 2.02 3/73 14473
/proc/meminfo: memFree=1345872/2055920 swapFree=4192812/4192956
[pid=14468] ppid=14466 vsize=30808 CPUtime=1.47
/proc/14468/stat : 14468 (pcs.big) R 14466 14468 14387 0 -1 4194304 10409 667 0 0 143 4 0 0 25 0 1 0 59419657 31547392 6802 996147200 134512640 135215973 4294956304 18446744073709551615 134583949 0 0 4096 0 0 0 0 17 1 0 0
/proc/14468/statm: 7702 6802 410 171 0 6627 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 30808

[startup+3.10108 s]
/proc/loadavg: 2.24 2.06 2.02 3/73 14473
/proc/meminfo: memFree=1345616/2055920 swapFree=4192812/4192956
[pid=14468] ppid=14466 vsize=31032 CPUtime=3.06
/proc/14468/stat : 14468 (pcs.big) R 14466 14468 14387 0 -1 4194304 10475 667 0 0 302 4 0 0 25 0 1 0 59419657 31776768 6851 996147200 134512640 135215973 4294956304 18446744073709551615 4158960603 0 0 4096 0 0 0 0 17 1 0 0
/proc/14468/statm: 7758 6851 410 171 0 6683 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 31032

[startup+6.30143 s]
/proc/loadavg: 2.22 2.06 2.02 3/73 14473
/proc/meminfo: memFree=1344976/2055920 swapFree=4192812/4192956
[pid=14468] ppid=14466 vsize=31240 CPUtime=6.25
/proc/14468/stat : 14468 (pcs.big) R 14466 14468 14387 0 -1 4194304 10568 667 0 0 621 4 0 0 25 0 1 0 59419657 31989760 6891 996147200 134512640 135215973 4294956304 18446744073709551615 134591510 0 0 4096 0 0 0 0 17 1 0 0
/proc/14468/statm: 7810 6891 410 171 0 6735 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 31240

[startup+12.7011 s]
/proc/loadavg: 2.20 2.06 2.02 3/73 14473
/proc/meminfo: memFree=1344016/2055920 swapFree=4192812/4192956
[pid=14468] ppid=14466 vsize=32448 CPUtime=12.62
/proc/14468/stat : 14468 (pcs.big) R 14466 14468 14387 0 -1 4194304 10937 667 0 0 1258 4 0 0 25 0 1 0 59419657 33226752 7155 996147200 134512640 135215973 4294956304 18446744073709551615 134600006 0 0 4096 0 0 0 0 17 1 0 0
/proc/14468/statm: 8112 7155 410 171 0 7037 0
Current children cumulated CPU time (s) 12.62
Current children cumulated vsize (KiB) 32448

[startup+25.5025 s]
/proc/loadavg: 2.16 2.06 2.02 3/73 14473
/proc/meminfo: memFree=1340112/2055920 swapFree=4192812/4192956
[pid=14468] ppid=14466 vsize=36184 CPUtime=25.38
/proc/14468/stat : 14468 (pcs.big) R 14466 14468 14387 0 -1 4194304 12028 667 0 0 2533 5 0 0 25 0 1 0 59419657 37052416 8037 996147200 134512640 135215973 4294956304 18446744073709551615 134600888 0 0 4096 0 0 0 0 17 1 0 0
/proc/14468/statm: 9046 8037 410 171 0 7971 0
Current children cumulated CPU time (s) 25.38
Current children cumulated vsize (KiB) 36184

[startup+51.1023 s]
/proc/loadavg: 2.18 2.07 2.02 3/73 14473
/proc/meminfo: memFree=1338320/2055920 swapFree=4192812/4192956
[pid=14468] ppid=14466 vsize=36184 CPUtime=50.87
/proc/14468/stat : 14468 (pcs.big) R 14466 14468 14387 0 -1 4194304 12126 667 0 0 5082 5 0 0 25 0 1 0 59419657 37052416 8135 996147200 134512640 135215973 4294956304 18446744073709551615 134591868 0 0 4096 0 0 0 0 17 1 0 0
/proc/14468/statm: 9046 8135 411 171 0 7971 0
Current children cumulated CPU time (s) 50.87
Current children cumulated vsize (KiB) 36184

[startup+102.303 s]
/proc/loadavg: 2.16 2.07 2.02 3/73 14473
/proc/meminfo: memFree=1332048/2055920 swapFree=4192812/4192956
[pid=14468] ppid=14466 vsize=39220 CPUtime=101.88
/proc/14468/stat : 14468 (pcs.big) R 14466 14468 14387 0 -1 4194304 18883 667 0 0 10180 8 0 0 25 0 1 0 59419657 40161280 8912 996147200 134512640 135215973 4294956304 18446744073709551615 134599825 0 0 4096 0 0 0 0 17 1 0 0
/proc/14468/statm: 9805 8912 413 171 0 8730 0
Current children cumulated CPU time (s) 101.88
Current children cumulated vsize (KiB) 39220

[startup+162.302 s]
/proc/loadavg: 2.13 2.07 2.02 3/73 14473
/proc/meminfo: memFree=1324560/2055920 swapFree=4192812/4192956
[pid=14468] ppid=14466 vsize=45768 CPUtime=161.62
/proc/14468/stat : 14468 (pcs.big) R 14466 14468 14387 0 -1 4194304 32462 667 0 0 16150 12 0 0 25 0 1 0 59419657 46866432 10166 996147200 134512640 135215973 4294956304 18446744073709551615 134599868 0 0 4096 0 0 0 0 17 1 0 0
/proc/14468/statm: 11442 10166 413 171 0 10367 0
Current children cumulated CPU time (s) 161.62
Current children cumulated vsize (KiB) 45768

[startup+222.307 s]
/proc/loadavg: 2.11 2.07 2.02 3/73 14473
/proc/meminfo: memFree=1318096/2055920 swapFree=4192812/4192956
[pid=14468] ppid=14466 vsize=51576 CPUtime=221.4
/proc/14468/stat : 14468 (pcs.big) R 14466 14468 14387 0 -1 4194304 38517 667 0 0 22127 13 0 0 25 0 1 0 59419657 52813824 11801 996147200 134512640 135215973 4294956304 18446744073709551615 135094864 0 0 4096 0 0 0 0 17 1 0 0
/proc/14468/statm: 12894 11801 413 171 0 11819 0
Current children cumulated CPU time (s) 221.4
Current children cumulated vsize (KiB) 51576

[startup+282.302 s]
/proc/loadavg: 2.10 2.07 2.02 3/73 14473
/proc/meminfo: memFree=1312656/2055920 swapFree=4192812/4192956
[pid=14468] ppid=14466 vsize=53820 CPUtime=281.16
/proc/14468/stat : 14468 (pcs.big) R 14466 14468 14387 0 -1 4194304 42957 667 0 0 28101 15 0 0 25 0 1 0 59419657 55111680 12445 996147200 134512640 135215973 4294956304 18446744073709551615 134532692 0 0 4096 0 0 0 0 17 1 0 0
/proc/14468/statm: 13455 12445 413 171 0 12380 0
Current children cumulated CPU time (s) 281.16
Current children cumulated vsize (KiB) 53820

[startup+342.303 s]
/proc/loadavg: 2.09 2.07 2.02 3/73 14473
/proc/meminfo: memFree=1302224/2055920 swapFree=4192812/4192956
[pid=14468] ppid=14466 vsize=62532 CPUtime=340.92
/proc/14468/stat : 14468 (pcs.big) R 14466 14468 14387 0 -1 4194304 51087 667 0 0 34074 18 0 0 25 0 1 0 59419657 64032768 14647 996147200 134512640 135215973 4294956304 18446744073709551615 134585789 0 0 4096 0 0 0 0 17 1 0 0
/proc/14468/statm: 15633 14647 413 171 0 14558 0
Current children cumulated CPU time (s) 340.92
Current children cumulated vsize (KiB) 62532

[startup+402.302 s]
/proc/loadavg: 2.08 2.07 2.02 4/82 14513
/proc/meminfo: memFree=1478536/2055920 swapFree=4192812/4192956
[pid=14468] ppid=14466 vsize=68472 CPUtime=400.68
/proc/14468/stat : 14468 (pcs.big) R 14466 14468 14387 0 -1 4194304 57321 667 0 0 40046 22 0 0 25 0 1 0 59419657 70115328 16149 996147200 134512640 135215973 4294956304 18446744073709551615 134585880 0 0 4096 0 0 0 0 17 0 0 0
/proc/14468/statm: 17118 16149 413 171 0 16043 0
Current children cumulated CPU time (s) 400.68
Current children cumulated vsize (KiB) 68472

[startup+462.303 s]
/proc/loadavg: 2.08 2.07 2.02 3/82 14513
/proc/meminfo: memFree=1459144/2055920 swapFree=4192812/4192956
[pid=14468] ppid=14466 vsize=70312 CPUtime=460.44
/proc/14468/stat : 14468 (pcs.big) R 14466 14468 14387 0 -1 4194304 65979 667 0 0 46019 25 0 0 25 0 1 0 59419657 71999488 16591 996147200 134512640 135215973 4294956304 18446744073709551615 134600799 0 0 4096 0 0 0 0 17 0 0 0
/proc/14468/statm: 17578 16591 413 171 0 16503 0
Current children cumulated CPU time (s) 460.44
Current children cumulated vsize (KiB) 70312

[startup+522.302 s]
/proc/loadavg: 2.12 2.08 2.02 3/82 14513
/proc/meminfo: memFree=1440328/2055920 swapFree=4192812/4192956
[pid=14468] ppid=14466 vsize=73876 CPUtime=520.2
/proc/14468/stat : 14468 (pcs.big) R 14466 14468 14387 0 -1 4194304 76280 667 0 0 51991 29 0 0 25 0 1 0 59419657 75649024 17480 996147200 134512640 135215973 4294956304 18446744073709551615 4158960075 0 0 4096 0 0 0 0 17 0 0 0
/proc/14468/statm: 18469 17480 413 171 0 17394 0
Current children cumulated CPU time (s) 520.2
Current children cumulated vsize (KiB) 73876

[startup+582.302 s]
/proc/loadavg: 2.16 2.10 2.03 3/83 14520
/proc/meminfo: memFree=1415096/2055920 swapFree=4192812/4192956
[pid=14468] ppid=14466 vsize=79576 CPUtime=579.95
/proc/14468/stat : 14468 (pcs.big) R 14466 14468 14387 0 -1 4194304 86552 667 0 0 57963 32 0 0 25 0 1 0 59419657 81485824 18912 996147200 134512640 135215973 4294956304 18446744073709551615 134585694 0 0 4096 0 0 0 0 17 0 0 0
/proc/14468/statm: 19894 18912 413 171 0 18819 0
Current children cumulated CPU time (s) 579.95
Current children cumulated vsize (KiB) 79576

[startup+642.301 s]
/proc/loadavg: 2.06 2.08 2.02 3/83 14520
/proc/meminfo: memFree=1399032/2055920 swapFree=4192812/4192956
[pid=14468] ppid=14466 vsize=85120 CPUtime=639.71
/proc/14468/stat : 14468 (pcs.big) R 14466 14468 14387 0 -1 4194304 93814 667 0 0 63936 35 0 0 25 0 1 0 59419657 87162880 20350 996147200 134512640 135215973 4294956304 18446744073709551615 134597311 0 0 4096 0 0 0 0 17 0 0 0
/proc/14468/statm: 21280 20350 413 171 0 20205 0
Current children cumulated CPU time (s) 639.71
Current children cumulated vsize (KiB) 85120

[startup+702.302 s]

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

[startup+822.302 s]
/proc/loadavg: 2.09 2.08 2.02 3/83 14520
/proc/meminfo: memFree=950584/2055920 swapFree=4192812/4192956
[pid=14468] ppid=14466 vsize=96628 CPUtime=818.98
/proc/14468/stat : 14468 (pcs.big) R 14466 14468 14387 0 -1 4194304 117173 667 0 0 81854 44 0 0 25 0 1 0 59419657 98947072 22492 996147200 134512640 135215973 4294956304 18446744073709551615 134969789 0 0 4096 0 0 0 0 17 0 0 0
/proc/14468/statm: 24157 22492 413 171 0 23082 0
Current children cumulated CPU time (s) 818.98
Current children cumulated vsize (KiB) 96628

[startup+882.305 s]
/proc/loadavg: 2.12 2.10 2.03 3/83 14520
/proc/meminfo: memFree=776640/2055920 swapFree=4192812/4192956
[pid=14468] ppid=14466 vsize=99004 CPUtime=878.75
/proc/14468/stat : 14468 (pcs.big) R 14466 14468 14387 0 -1 4194304 123377 667 0 0 87829 46 0 0 25 0 1 0 59419657 101380096 23080 996147200 134512640 135215973 4294956304 18446744073709551615 134585388 0 0 4096 0 0 0 0 17 0 0 0
/proc/14468/statm: 24751 23080 413 171 0 23676 0
Current children cumulated CPU time (s) 878.75
Current children cumulated vsize (KiB) 99004

[startup+942.302 s]
/proc/loadavg: 2.19 2.11 2.03 3/83 14521
/proc/meminfo: memFree=733240/2055920 swapFree=4192812/4192956
[pid=14468] ppid=14466 vsize=101636 CPUtime=938.51
/proc/14468/stat : 14468 (pcs.big) R 14466 14468 14387 0 -1 4194304 130631 667 0 0 93802 49 0 0 25 0 1 0 59419657 104075264 23782 996147200 134512640 135215973 4294956304 18446744073709551615 134590043 0 0 4096 0 0 0 0 17 0 0 0
/proc/14468/statm: 25409 23782 413 171 0 24334 0
Current children cumulated CPU time (s) 938.51
Current children cumulated vsize (KiB) 101636

[startup+1002.3 s]
/proc/loadavg: 2.10 2.10 2.03 3/82 14521
/proc/meminfo: memFree=700024/2055920 swapFree=4192812/4192956
[pid=14468] ppid=14466 vsize=104408 CPUtime=998.27
/proc/14468/stat : 14468 (pcs.big) R 14466 14468 14387 0 -1 4194304 139614 667 0 0 99776 51 0 0 25 0 1 0 59419657 106913792 24497 996147200 134512640 135215973 4294956304 18446744073709551615 134585694 0 0 4096 0 0 0 0 17 0 0 0
/proc/14468/statm: 26102 24497 413 171 0 25027 0
Current children cumulated CPU time (s) 998.27
Current children cumulated vsize (KiB) 104408

[startup+1062.3 s]
/proc/loadavg: 2.07 2.09 2.03 3/82 14521
/proc/meminfo: memFree=695544/2055920 swapFree=4192812/4192956
[pid=14468] ppid=14466 vsize=108368 CPUtime=1058.03
/proc/14468/stat : 14468 (pcs.big) R 14466 14468 14387 0 -1 4194304 150036 667 0 0 105749 54 0 0 25 0 1 0 59419657 110968832 25611 996147200 134512640 135215973 4294956304 18446744073709551615 135094939 0 0 4096 0 0 0 0 17 0 0 0
/proc/14468/statm: 27092 25611 413 171 0 26017 0
Current children cumulated CPU time (s) 1058.03
Current children cumulated vsize (KiB) 108368

[startup+1122.3 s]
/proc/loadavg: 1.99 2.06 2.02 3/83 14596
/proc/meminfo: memFree=1438192/2055920 swapFree=4192812/4192956
[pid=14468] ppid=14466 vsize=112196 CPUtime=1117.79
/proc/14468/stat : 14468 (pcs.big) R 14466 14468 14387 0 -1 4194304 161999 667 0 0 111719 60 0 0 25 0 1 0 59419657 114888704 26914 996147200 134512640 135215973 4294956304 18446744073709551615 134583674 0 0 4096 0 0 0 0 17 0 0 0
/proc/14468/statm: 28049 26914 413 171 0 26974 0
Current children cumulated CPU time (s) 1117.79
Current children cumulated vsize (KiB) 112196

[startup+1182.3 s]
/proc/loadavg: 1.99 2.05 2.02 3/73 14629
/proc/meminfo: memFree=1424136/2055920 swapFree=4192812/4192956
[pid=14468] ppid=14466 vsize=128092 CPUtime=1177.54
/proc/14468/stat : 14468 (pcs.big) R 14466 14468 14387 0 -1 4194304 178066 667 0 0 117689 65 0 0 25 0 1 0 59419657 131166208 29616 996147200 134512640 135215973 4294956304 18446744073709551615 134970000 0 0 4096 0 0 0 0 17 0 0 0
/proc/14468/statm: 32023 29616 413 171 0 30948 0
Current children cumulated CPU time (s) 1177.54
Current children cumulated vsize (KiB) 128092

[startup+1242.3 s]
/proc/loadavg: 1.99 2.04 2.01 3/73 14629
/proc/meminfo: memFree=1267592/2055920 swapFree=4192812/4192956
[pid=14468] ppid=14466 vsize=128092 CPUtime=1237.3
/proc/14468/stat : 14468 (pcs.big) R 14466 14468 14387 0 -1 4194304 188923 667 0 0 123661 69 0 0 25 0 1 0 59419657 131166208 29917 996147200 134512640 135215973 4294956304 18446744073709551615 135094891 0 0 4096 0 0 0 0 17 0 0 0
/proc/14468/statm: 32023 29917 413 171 0 30948 0
Current children cumulated CPU time (s) 1237.3
Current children cumulated vsize (KiB) 128092

[startup+1302.3 s]
/proc/loadavg: 2.05 2.04 2.01 3/82 14670
/proc/meminfo: memFree=1453104/2055920 swapFree=4192812/4192956
[pid=14468] ppid=14466 vsize=128224 CPUtime=1297.07
/proc/14468/stat : 14468 (pcs.big) R 14466 14468 14387 0 -1 4194304 195696 667 0 0 129635 72 0 0 25 0 1 0 59419657 131301376 29930 996147200 134512640 135215973 4294956304 18446744073709551615 134585750 0 0 4096 0 0 0 0 17 0 0 0
/proc/14468/statm: 32056 29930 413 171 0 30981 0
Current children cumulated CPU time (s) 1297.07
Current children cumulated vsize (KiB) 128224

[startup+1362.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/82 14670
/proc/meminfo: memFree=1452848/2055920 swapFree=4192812/4192956
[pid=14468] ppid=14466 vsize=128224 CPUtime=1356.81
/proc/14468/stat : 14468 (pcs.big) R 14466 14468 14387 0 -1 4194304 202521 667 0 0 135607 74 0 0 25 0 1 0 59419657 131301376 29943 996147200 134512640 135215973 4294956304 18446744073709551615 134583674 0 0 4096 0 0 0 0 17 0 0 0
/proc/14468/statm: 32056 29943 413 171 0 30981 0
Current children cumulated CPU time (s) 1356.81
Current children cumulated vsize (KiB) 128224

[startup+1422.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/82 14670
/proc/meminfo: memFree=1447344/2055920 swapFree=4192812/4192956
[pid=14468] ppid=14466 vsize=133768 CPUtime=1416.58
/proc/14468/stat : 14468 (pcs.big) R 14466 14468 14387 0 -1 4194304 208737 667 0 0 141582 76 0 0 25 0 1 0 59419657 136978432 31323 996147200 134512640 135215973 4294956304 18446744073709551615 134583607 0 0 4096 0 0 0 0 17 0 0 0
/proc/14468/statm: 33442 31323 413 171 0 32367 0
Current children cumulated CPU time (s) 1416.58
Current children cumulated vsize (KiB) 133768

[startup+1482.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/82 14670
/proc/meminfo: memFree=1440880/2055920 swapFree=4192812/4192956
[pid=14468] ppid=14466 vsize=140232 CPUtime=1476.34
/proc/14468/stat : 14468 (pcs.big) R 14466 14468 14387 0 -1 4194304 214675 667 0 0 147556 78 0 0 25 0 1 0 59419657 143597568 32945 996147200 134512640 135215973 4294956304 18446744073709551615 4158960170 0 0 4096 0 0 0 0 17 0 0 0
/proc/14468/statm: 35058 32945 413 171 0 33983 0
Current children cumulated CPU time (s) 1476.34
Current children cumulated vsize (KiB) 140232

[startup+1542.31 s]
/proc/loadavg: 2.00 2.01 2.00 3/82 14670
/proc/meminfo: memFree=1434160/2055920 swapFree=4192812/4192956
[pid=14468] ppid=14466 vsize=146964 CPUtime=1536.1
/proc/14468/stat : 14468 (pcs.big) R 14466 14468 14387 0 -1 4194304 220398 667 0 0 153530 80 0 0 25 0 1 0 59419657 150491136 34612 996147200 134512640 135215973 4294956304 18446744073709551615 134591598 0 0 4096 0 0 0 0 17 0 0 0
/proc/14468/statm: 36741 34612 413 171 0 35666 0
Current children cumulated CPU time (s) 1536.1
Current children cumulated vsize (KiB) 146964

[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/82 14670
/proc/meminfo: memFree=1427184/2055920 swapFree=4192812/4192956
[pid=14468] ppid=14466 vsize=153960 CPUtime=1595.86
/proc/14468/stat : 14468 (pcs.big) R 14466 14468 14387 0 -1 4194304 226153 667 0 0 159504 82 0 0 25 0 1 0 59419657 157655040 36363 996147200 134512640 135215973 4294956304 18446744073709551615 134583640 0 0 4096 0 0 0 0 17 0 0 0
/proc/14468/statm: 38490 36363 413 171 0 37415 0
Current children cumulated CPU time (s) 1595.86
Current children cumulated vsize (KiB) 153960

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 14670
/proc/meminfo: memFree=1420080/2055920 swapFree=4192812/4192956
[pid=14468] ppid=14466 vsize=161088 CPUtime=1655.62
/proc/14468/stat : 14468 (pcs.big) R 14466 14468 14387 0 -1 4194304 231574 667 0 0 165477 85 0 0 25 0 1 0 59419657 164954112 38144 996147200 134512640 135215973 4294956304 18446744073709551615 135094891 0 0 4096 0 0 0 0 17 0 0 0
/proc/14468/statm: 40272 38144 413 171 0 39197 0
Current children cumulated CPU time (s) 1655.62
Current children cumulated vsize (KiB) 161088

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 14670
/proc/meminfo: memFree=1413168/2055920 swapFree=4192812/4192956
[pid=14468] ppid=14466 vsize=167820 CPUtime=1715.38
/proc/14468/stat : 14468 (pcs.big) R 14466 14468 14387 0 -1 4194304 236708 667 0 0 171451 87 0 0 25 0 1 0 59419657 171847680 39846 996147200 134512640 135215973 4294956304 18446744073709551615 134597400 0 0 4096 0 0 0 0 17 0 0 0
/proc/14468/statm: 41955 39846 413 171 0 40880 0
Current children cumulated CPU time (s) 1715.38
Current children cumulated vsize (KiB) 167820

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 14670
/proc/meminfo: memFree=1406704/2055920 swapFree=4192812/4192956
[pid=14468] ppid=14466 vsize=174156 CPUtime=1775.14
/proc/14468/stat : 14468 (pcs.big) R 14466 14468 14387 0 -1 4194304 241368 667 0 0 177425 89 0 0 25 0 1 0 59419657 178335744 41438 996147200 134512640 135215973 4294956304 18446744073709551615 134585720 0 0 4096 0 0 0 0 17 0 0 0
/proc/14468/statm: 43539 41438 413 171 0 42464 0
Current children cumulated CPU time (s) 1775.14
Current children cumulated vsize (KiB) 174156



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1807.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 14670
/proc/meminfo: memFree=1403888/2055920 swapFree=4192812/4192956
[pid=14468] ppid=14466 vsize=176928 CPUtime=1800.03
/proc/14468/stat : 14468 (pcs.big) R 14466 14468 14387 0 -1 4194304 243520 667 0 0 179913 90 0 0 25 0 1 0 59419657 181174272 42134 996147200 134512640 135215973 4294956304 18446744073709551615 134585658 0 0 4096 0 0 0 0 17 0 0 0
/proc/14468/statm: 44232 42134 413 171 0 43157 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 176928

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): 1807.34
CPU time (s): 1800.09
CPU user time (s): 1799.14
CPU system time (s): 0.942856
CPU usage (%): 99.5987
Max. virtual memory (cumulated for all children) (KiB): 176928

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.14
system time used= 0.942856
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 244187
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= 23619

runsolver used 1.74473 second user time and 4.84126 second system time

The end

Launcher Data 

Begin job on node21 at 2009-07-16 07:52:12
IDJOB=2083672
IDBENCH=57895
IDSOLVER=734
FILE ID=node21/2083672-1247723532
PBS_JOBID= 9521483
Free space on /tmp= 66316 MiB

SOLVER NAME= pcs-restart 0.2.restart
BENCH NAME= CPAI08/csp/fapp/fapp32/normalized-fapp32-0550-4.xml
COMMAND LINE= HOME/pcssolve -s RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2083672-1247723532/watcher-2083672-1247723532 -o /tmp/evaluation-result-2083672-1247723532/solver-2083672-1247723532 -C 1800 -W 2000 -M 900  HOME/pcssolve -s 2012417425 HOME/instance-2083672-1247723532.xml

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

MD5SUM BENCH= b49d49cefe14b8da913a5e29ecc6d023
RANDOM SEED=2012417425

node21.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.240
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.240
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:       1372088 kB
Buffers:         72808 kB
Cached:         300580 kB
SwapCached:          0 kB
Active:         318836 kB
Inactive:       288740 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1372088 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            3032 kB
Writeback:           0 kB
Mapped:         245696 kB
Slab:            61028 kB
Committed_AS:   694400 kB
PageTables:       2272 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= 66324 MiB
End job on node21 at 2009-07-16 08:22:21