Trace number 2083045

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.14 1804.55

General information on the benchmark

Namecsp/fapp/fapp34/
normalized-fapp34-0750-4.xml
MD5SUM1196fad89b5a5a4f355ab65ef889a576
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 benchmark28.3597
Satisfiable
(Un)Satisfiability was proved
Number of variables750
Number of constraints8639
Maximum constraint arity2
Maximum domain size998
Number of constraints which are defined in extension0
Number of constraints which are defined in intension8639
Global constraints used (with number of constraints)

Solver Data 

0.00/0.01	c has big domains
0.00/0.01	c big-domain mode
0.00/0.02	c Seed is 1082959876
0.00/0.02	c Constructing HOME/instance-2083045-1247722186.xml  with 54264 constraints
0.87/0.95	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-2083045-1247722186/watcher-2083045-1247722186 -o /tmp/evaluation-result-2083045-1247722186/solver-2083045-1247722186 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 1082959876 HOME/instance-2083045-1247722186.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 14211
/proc/meminfo: memFree=1633488/2055920 swapFree=4191900/4192956
[pid=14211] ppid=14209 vsize=18576 CPUtime=0
/proc/14211/stat : 14211 (runsolver) R 14209 14211 13117 0 -1 4194368 15 0 0 0 0 0 0 0 20 0 1 0 59284789 19021824 284 996147200 4194304 4302564 548682068496 18446744073709551615 221780700455 0 0 4096 24578 0 0 0 17 1 0 0
/proc/14211/statm: 4644 284 249 26 0 2626 0

[startup+0.0920939 s]
/proc/loadavg: 1.92 1.98 1.99 4/81 14211
/proc/meminfo: memFree=1633488/2055920 swapFree=4191900/4192956
[pid=14211] ppid=14209 vsize=6104 CPUtime=0.06
/proc/14211/stat : 14211 (pcs.big) R 14209 14211 13117 0 -1 4194304 1164 667 0 0 6 0 0 0 23 0 1 0 59284789 6250496 795 996147200 134512640 135215973 4294956304 18446744073709551615 134762870 0 0 4096 0 0 0 0 17 1 0 0
/proc/14211/statm: 1526 795 386 171 0 451 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 6104

[startup+0.101092 s]
/proc/loadavg: 1.92 1.98 1.99 4/81 14211
/proc/meminfo: memFree=1633488/2055920 swapFree=4191900/4192956
[pid=14211] ppid=14209 vsize=6608 CPUtime=0.07
/proc/14211/stat : 14211 (pcs.big) R 14209 14211 13117 0 -1 4194304 1293 667 0 0 7 0 0 0 23 0 1 0 59284789 6766592 883 996147200 134512640 135215973 4294956304 18446744073709551615 134759225 0 0 4096 0 0 0 0 17 1 0 0
/proc/14211/statm: 1652 883 386 171 0 577 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 6608

[startup+0.301106 s]
/proc/loadavg: 1.92 1.98 1.99 4/81 14211
/proc/meminfo: memFree=1633488/2055920 swapFree=4191900/4192956
[pid=14211] ppid=14209 vsize=10752 CPUtime=0.27
/proc/14211/stat : 14211 (pcs.big) R 14209 14211 13117 0 -1 4194304 2667 667 0 0 27 0 0 0 25 0 1 0 59284789 11010048 1853 996147200 134512640 135215973 4294956304 18446744073709551615 4564021 0 0 4096 0 0 0 0 17 1 0 0
/proc/14211/statm: 2688 1853 386 171 0 1613 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 10752

[startup+0.701135 s]
/proc/loadavg: 1.92 1.98 1.99 4/81 14211
/proc/meminfo: memFree=1633488/2055920 swapFree=4191900/4192956
[pid=14211] ppid=14209 vsize=21460 CPUtime=0.67
/proc/14211/stat : 14211 (pcs.big) R 14209 14211 13117 0 -1 4194304 6068 667 0 0 65 2 0 0 25 0 1 0 59284789 21975040 3845 996147200 134512640 135215973 4294956304 18446744073709551615 134532717 0 0 4096 0 0 0 0 17 1 0 0
/proc/14211/statm: 5365 3845 386 171 0 4290 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 21460

[startup+1.50118 s]
/proc/loadavg: 1.92 1.98 1.99 3/82 14216
/proc/meminfo: memFree=1610312/2055920 swapFree=4191900/4192956
[pid=14211] ppid=14209 vsize=28892 CPUtime=1.46
/proc/14211/stat : 14211 (pcs.big) R 14209 14211 13117 0 -1 4194304 9486 667 0 0 143 3 0 0 25 0 1 0 59284789 29585408 6206 996147200 134512640 135215973 4294956304 18446744073709551615 134591513 0 0 4096 0 0 0 0 17 1 0 0
/proc/14211/statm: 7223 6206 410 171 0 6148 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 28892

[startup+3.10128 s]
/proc/loadavg: 1.92 1.98 1.99 3/82 14216
/proc/meminfo: memFree=1609864/2055920 swapFree=4191900/4192956
[pid=14211] ppid=14209 vsize=29220 CPUtime=3.05
/proc/14211/stat : 14211 (pcs.big) R 14209 14211 13117 0 -1 4194304 9606 667 0 0 301 4 0 0 25 0 1 0 59284789 29921280 6256 996147200 134512640 135215973 4294956304 18446744073709551615 134591424 0 0 4096 0 0 0 0 17 1 0 0
/proc/14211/statm: 7305 6256 410 171 0 6230 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 29220

[startup+6.30148 s]
/proc/loadavg: 1.93 1.98 1.99 3/82 14216
/proc/meminfo: memFree=1609224/2055920 swapFree=4191900/4192956
[pid=14211] ppid=14209 vsize=30164 CPUtime=6.22
/proc/14211/stat : 14211 (pcs.big) R 14209 14211 13117 0 -1 4194304 9917 667 0 0 618 4 0 0 25 0 1 0 59284789 30887936 6462 996147200 134512640 135215973 4294956304 18446744073709551615 134591502 0 0 4096 0 0 0 0 17 1 0 0
/proc/14211/statm: 7541 6462 410 171 0 6466 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 30164

[startup+12.7019 s]
/proc/loadavg: 1.93 1.98 1.99 3/82 14216
/proc/meminfo: memFree=1605960/2055920 swapFree=4191900/4192956
[pid=14211] ppid=14209 vsize=33900 CPUtime=12.56
/proc/14211/stat : 14211 (pcs.big) R 14209 14211 13117 0 -1 4194304 10972 667 0 0 1252 4 0 0 25 0 1 0 59284789 34713600 7308 996147200 134512640 135215973 4294956304 18446744073709551615 4158960306 0 0 4096 0 0 0 0 17 1 0 0
/proc/14211/statm: 8475 7308 410 171 0 7400 0
Current children cumulated CPU time (s) 12.56
Current children cumulated vsize (KiB) 33900

[startup+25.5017 s]
/proc/loadavg: 1.95 1.98 1.99 3/82 14216
/proc/meminfo: memFree=1604936/2055920 swapFree=4191900/4192956
[pid=14211] ppid=14209 vsize=34032 CPUtime=25.25
/proc/14211/stat : 14211 (pcs.big) R 14209 14211 13117 0 -1 4194304 11140 667 0 0 2520 5 0 0 25 0 1 0 59284789 34848768 7476 996147200 134512640 135215973 4294956304 18446744073709551615 4158960028 0 0 4096 0 0 0 0 17 1 0 0
/proc/14211/statm: 8508 7476 410 171 0 7433 0
Current children cumulated CPU time (s) 25.25
Current children cumulated vsize (KiB) 34032

[startup+51.1013 s]
/proc/loadavg: 1.96 1.98 1.99 3/82 14216
/proc/meminfo: memFree=1602120/2055920 swapFree=4191900/4192956
[pid=14211] ppid=14209 vsize=37544 CPUtime=50.63
/proc/14211/stat : 14211 (pcs.big) R 14209 14211 13117 0 -1 4194304 25454 667 0 0 5054 9 0 0 25 0 1 0 59284789 38445056 8166 996147200 134512640 135215973 4294956304 18446744073709551615 134591798 0 0 4096 0 0 0 0 17 1 0 0
/proc/14211/statm: 9386 8166 413 171 0 8311 0
Current children cumulated CPU time (s) 50.63
Current children cumulated vsize (KiB) 37544

[startup+102.306 s]
/proc/loadavg: 2.02 2.00 2.00 3/82 14216
/proc/meminfo: memFree=1593224/2055920 swapFree=4191900/4192956
[pid=14211] ppid=14209 vsize=46124 CPUtime=101.4
/proc/14211/stat : 14211 (pcs.big) R 14209 14211 13117 0 -1 4194304 49321 667 0 0 10123 17 0 0 25 0 1 0 59284789 47230976 10319 996147200 134512640 135215973 4294956304 18446744073709551615 134591790 0 0 4096 0 0 0 0 17 1 0 0
/proc/14211/statm: 11531 10319 413 171 0 10456 0
Current children cumulated CPU time (s) 101.4
Current children cumulated vsize (KiB) 46124

[startup+162.301 s]
/proc/loadavg: 2.16 2.04 2.01 3/82 14216
/proc/meminfo: memFree=1585096/2055920 swapFree=4191900/4192956
[pid=14211] ppid=14209 vsize=54440 CPUtime=160.88
/proc/14211/stat : 14211 (pcs.big) R 14209 14211 13117 0 -1 4194304 86127 667 0 0 16058 30 0 0 25 0 1 0 59284789 55746560 12392 996147200 134512640 135215973 4294956304 18446744073709551615 134600828 0 0 4096 0 0 0 0 17 1 0 0
/proc/14211/statm: 13610 12392 413 171 0 12535 0
Current children cumulated CPU time (s) 160.88
Current children cumulated vsize (KiB) 54440

[startup+222.302 s]
/proc/loadavg: 2.06 2.03 2.00 3/82 14216
/proc/meminfo: memFree=1576136/2055920 swapFree=4191900/4192956
[pid=14211] ppid=14209 vsize=63144 CPUtime=220.37
/proc/14211/stat : 14211 (pcs.big) R 14209 14211 13117 0 -1 4194304 116240 667 0 0 21997 40 0 0 25 0 1 0 59284789 64659456 14587 996147200 134512640 135215973 4294956304 18446744073709551615 134585658 0 0 4096 0 0 0 0 17 1 0 0
/proc/14211/statm: 15786 14587 413 171 0 14711 0
Current children cumulated CPU time (s) 220.37
Current children cumulated vsize (KiB) 63144

[startup+282.302 s]
/proc/loadavg: 2.02 2.02 2.00 3/82 14216
/proc/meminfo: memFree=1568904/2055920 swapFree=4191900/4192956
[pid=14211] ppid=14209 vsize=70268 CPUtime=279.86
/proc/14211/stat : 14211 (pcs.big) R 14209 14211 13117 0 -1 4194304 141378 667 0 0 27937 49 0 0 25 0 1 0 59284789 71954432 16413 996147200 134512640 135215973 4294956304 18446744073709551615 134585388 0 0 4096 0 0 0 0 17 1 0 0
/proc/14211/statm: 17567 16413 413 171 0 16492 0
Current children cumulated CPU time (s) 279.86
Current children cumulated vsize (KiB) 70268

[startup+342.302 s]
/proc/loadavg: 2.00 2.02 2.00 3/82 14216
/proc/meminfo: memFree=1565448/2055920 swapFree=4191900/4192956
[pid=14211] ppid=14209 vsize=73696 CPUtime=339.34
/proc/14211/stat : 14211 (pcs.big) R 14209 14211 13117 0 -1 4194304 168816 667 0 0 33876 58 0 0 25 0 1 0 59284789 75464704 17249 996147200 134512640 135215973 4294956304 18446744073709551615 134585720 0 0 4096 0 0 0 0 17 1 0 0
/proc/14211/statm: 18424 17249 413 171 0 17349 0
Current children cumulated CPU time (s) 339.34
Current children cumulated vsize (KiB) 73696

[startup+402.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/82 14216
/proc/meminfo: memFree=1561736/2055920 swapFree=4191900/4192956
[pid=14211] ppid=14209 vsize=77388 CPUtime=398.83
/proc/14211/stat : 14211 (pcs.big) R 14209 14211 13117 0 -1 4194304 190297 667 0 0 39818 65 0 0 25 0 1 0 59284789 79245312 18191 996147200 134512640 135215973 4294956304 18446744073709551615 134583647 0 0 4096 0 0 0 0 17 1 0 0
/proc/14211/statm: 19347 18191 413 171 0 18272 0
Current children cumulated CPU time (s) 398.83
Current children cumulated vsize (KiB) 77388

[startup+462.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/73 14249
/proc/meminfo: memFree=1523408/2055920 swapFree=4191900/4192956
[pid=14211] ppid=14209 vsize=84120 CPUtime=458.35
/proc/14211/stat : 14211 (pcs.big) R 14209 14211 13117 0 -1 4194304 213411 667 0 0 45762 73 0 0 25 0 1 0 59284789 86138880 19873 996147200 134512640 135215973 4294956304 18446744073709551615 4158960053 0 0 4096 0 0 0 0 17 0 0 0
/proc/14211/statm: 21030 19873 413 171 0 19955 0
Current children cumulated CPU time (s) 458.35
Current children cumulated vsize (KiB) 84120

[startup+522.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 14249
/proc/meminfo: memFree=1481240/2055920 swapFree=4191900/4192956
[pid=14211] ppid=14209 vsize=92828 CPUtime=518.32
/proc/14211/stat : 14211 (pcs.big) R 14209 14211 13117 0 -1 4194304 241298 667 0 0 51750 82 0 0 25 0 1 0 59284789 95055872 22051 996147200 134512640 135215973 4294956304 18446744073709551615 134585720 0 0 4096 0 0 0 0 17 0 0 0
/proc/14211/statm: 23207 22051 413 171 0 22132 0
Current children cumulated CPU time (s) 518.32
Current children cumulated vsize (KiB) 92828

[startup+582.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 14249
/proc/meminfo: memFree=1462872/2055920 swapFree=4191900/4192956
[pid=14211] ppid=14209 vsize=107068 CPUtime=578.3
/proc/14211/stat : 14211 (pcs.big) R 14209 14211 13117 0 -1 4194304 301460 667 0 0 57732 98 0 0 25 0 1 0 59284789 109637632 25625 996147200 134512640 135215973 4294956304 18446744073709551615 134970782 0 0 4096 0 0 0 0 17 0 0 0
/proc/14211/statm: 26767 25625 413 171 0 25692 0
Current children cumulated CPU time (s) 578.3
Current children cumulated vsize (KiB) 107068

[startup+642.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 14249
/proc/meminfo: memFree=1449112/2055920 swapFree=4191900/4192956
[pid=14211] ppid=14209 vsize=116700 CPUtime=638.28
/proc/14211/stat : 14211 (pcs.big) R 14209 14211 13117 0 -1 4194304 345074 667 0 0 63719 109 0 0 25 0 1 0 59284789 119500800 28020 996147200 134512640 135215973 4294956304 18446744073709551615 135094344 0 0 4096 0 0 0 0 17 0 0 0
/proc/14211/statm: 29175 28020 413 171 0 28100 0
Current children cumulated CPU time (s) 638.28
Current children cumulated vsize (KiB) 116700

[startup+702.301 s]

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

[startup+882.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 14249
/proc/meminfo: memFree=1390360/2055920 swapFree=4191900/4192956
[pid=14211] ppid=14209 vsize=157312 CPUtime=878.21
/proc/14211/stat : 14211 (pcs.big) R 14209 14211 13117 0 -1 4194304 478986 667 0 0 87670 151 0 0 25 0 1 0 59284789 161087488 38228 996147200 134512640 135215973 4294956304 18446744073709551615 4158960000 0 0 4096 0 0 0 0 17 0 0 0
/proc/14211/statm: 39328 38228 413 171 0 38253 0
Current children cumulated CPU time (s) 878.21
Current children cumulated vsize (KiB) 157312

[startup+942.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 14249
/proc/meminfo: memFree=1379992/2055920 swapFree=4191900/4192956
[pid=14211] ppid=14209 vsize=163904 CPUtime=938.17
/proc/14211/stat : 14211 (pcs.big) R 14209 14211 13117 0 -1 4194304 506901 667 0 0 93659 158 0 0 25 0 1 0 59284789 167837696 39917 996147200 134512640 135215973 4294956304 18446744073709551615 134596293 0 0 4096 0 0 0 0 17 0 0 0
/proc/14211/statm: 40976 39917 413 171 0 39901 0
Current children cumulated CPU time (s) 938.17
Current children cumulated vsize (KiB) 163904

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 14249
/proc/meminfo: memFree=1370264/2055920 swapFree=4191900/4192956
[pid=14211] ppid=14209 vsize=171420 CPUtime=998.15
/proc/14211/stat : 14211 (pcs.big) R 14209 14211 13117 0 -1 4194304 545464 667 0 0 99646 169 0 0 25 0 1 0 59284789 175534080 41820 996147200 134512640 135215973 4294956304 18446744073709551615 134597519 0 0 4096 0 0 0 0 17 0 0 0
/proc/14211/statm: 42855 41820 413 171 0 41780 0
Current children cumulated CPU time (s) 998.15
Current children cumulated vsize (KiB) 171420

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 14249
/proc/meminfo: memFree=1359960/2055920 swapFree=4191900/4192956
[pid=14211] ppid=14209 vsize=176832 CPUtime=1058.14
/proc/14211/stat : 14211 (pcs.big) R 14209 14211 13117 0 -1 4194304 576921 667 0 0 105636 178 0 0 25 0 1 0 59284789 181075968 43197 996147200 134512640 135215973 4294956304 18446744073709551615 134585720 0 0 4096 0 0 0 0 17 0 0 0
/proc/14211/statm: 44208 43197 413 171 0 43133 0
Current children cumulated CPU time (s) 1058.14
Current children cumulated vsize (KiB) 176832

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 14249
/proc/meminfo: memFree=1344664/2055920 swapFree=4191900/4192956
[pid=14211] ppid=14209 vsize=186132 CPUtime=1118.12
/proc/14211/stat : 14211 (pcs.big) R 14209 14211 13117 0 -1 4194304 614945 667 0 0 111622 190 0 0 25 0 1 0 59284789 190599168 44970 996147200 134512640 135215973 4294956304 18446744073709551615 134590055 0 0 4096 0 0 0 0 17 0 0 0
/proc/14211/statm: 46533 44970 413 171 0 45458 0
Current children cumulated CPU time (s) 1118.12
Current children cumulated vsize (KiB) 186132

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 14249
/proc/meminfo: memFree=1329368/2055920 swapFree=4191900/4192956
[pid=14211] ppid=14209 vsize=190884 CPUtime=1178.1
/proc/14211/stat : 14211 (pcs.big) R 14209 14211 13117 0 -1 4194304 630142 667 0 0 117616 194 0 0 25 0 1 0 59284789 195465216 46161 996147200 134512640 135215973 4294956304 18446744073709551615 134587840 0 0 4096 0 0 0 0 17 0 0 0
/proc/14211/statm: 47721 46161 413 171 0 46646 0
Current children cumulated CPU time (s) 1178.1
Current children cumulated vsize (KiB) 190884

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 14249
/proc/meminfo: memFree=1317656/2055920 swapFree=4191900/4192956
[pid=14211] ppid=14209 vsize=195896 CPUtime=1238.07
/proc/14211/stat : 14211 (pcs.big) R 14209 14211 13117 0 -1 4194304 642990 667 0 0 123609 198 0 0 25 0 1 0 59284789 200597504 47400 996147200 134512640 135215973 4294956304 18446744073709551615 134585694 0 0 4096 0 0 0 0 17 0 0 0
/proc/14211/statm: 48974 47400 413 171 0 47899 0
Current children cumulated CPU time (s) 1238.07
Current children cumulated vsize (KiB) 195896

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 14251
/proc/meminfo: memFree=1307544/2055920 swapFree=4191900/4192956
[pid=14211] ppid=14209 vsize=201044 CPUtime=1298.05
/proc/14211/stat : 14211 (pcs.big) R 14209 14211 13117 0 -1 4194304 656401 667 0 0 129602 203 0 0 25 0 1 0 59284789 205869056 48685 996147200 134512640 135215973 4294956304 18446744073709551615 134585615 0 0 4096 0 0 0 0 17 0 0 0
/proc/14211/statm: 50261 48685 413 171 0 49186 0
Current children cumulated CPU time (s) 1298.05
Current children cumulated vsize (KiB) 201044

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 14251
/proc/meminfo: memFree=1298200/2055920 swapFree=4191900/4192956
[pid=14211] ppid=14209 vsize=205384 CPUtime=1358.03
/proc/14211/stat : 14211 (pcs.big) R 14209 14211 13117 0 -1 4194304 669507 667 0 0 135596 207 0 0 25 0 1 0 59284789 210313216 49773 996147200 134512640 135215973 4294956304 18446744073709551615 134969792 0 0 4096 0 0 0 0 17 0 0 0
/proc/14211/statm: 51346 49773 413 171 0 50271 0
Current children cumulated CPU time (s) 1358.03
Current children cumulated vsize (KiB) 205384

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 14251
/proc/meminfo: memFree=1289752/2055920 swapFree=4191900/4192956
[pid=14211] ppid=14209 vsize=210400 CPUtime=1418.01
/proc/14211/stat : 14211 (pcs.big) R 14209 14211 13117 0 -1 4194304 687032 667 0 0 141590 211 0 0 25 0 1 0 59284789 215449600 51036 996147200 134512640 135215973 4294956304 18446744073709551615 134585694 0 0 4096 0 0 0 0 17 0 0 0
/proc/14211/statm: 52600 51036 413 171 0 51525 0
Current children cumulated CPU time (s) 1418.01
Current children cumulated vsize (KiB) 210400

[startup+1482.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/73 14251
/proc/meminfo: memFree=1281432/2055920 swapFree=4191900/4192956
[pid=14211] ppid=14209 vsize=215668 CPUtime=1477.99
/proc/14211/stat : 14211 (pcs.big) R 14209 14211 13117 0 -1 4194304 699623 667 0 0 147584 215 0 0 25 0 1 0 59284789 220844032 52347 996147200 134512640 135215973 4294956304 18446744073709551615 4158960128 0 0 4096 0 0 0 0 17 0 0 0
/proc/14211/statm: 53917 52347 413 171 0 52842 0
Current children cumulated CPU time (s) 1477.99
Current children cumulated vsize (KiB) 215668

[startup+1542.3 s]
/proc/loadavg: 2.13 2.04 2.01 3/73 14251
/proc/meminfo: memFree=1273048/2055920 swapFree=4191900/4192956
[pid=14211] ppid=14209 vsize=220152 CPUtime=1537.96
/proc/14211/stat : 14211 (pcs.big) R 14209 14211 13117 0 -1 4194304 712416 667 0 0 153577 219 0 0 25 0 1 0 59284789 225435648 53484 996147200 134512640 135215973 4294956304 18446744073709551615 135095326 0 0 4096 0 0 0 0 17 0 0 0
/proc/14211/statm: 55038 53484 413 171 0 53963 0
Current children cumulated CPU time (s) 1537.96
Current children cumulated vsize (KiB) 220152

[startup+1602.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/73 14251
/proc/meminfo: memFree=1263640/2055920 swapFree=4191900/4192956
[pid=14211] ppid=14209 vsize=227140 CPUtime=1597.94
/proc/14211/stat : 14211 (pcs.big) R 14209 14211 13117 0 -1 4194304 733697 667 0 0 159568 226 0 0 25 0 1 0 59284789 232591360 55195 996147200 134512640 135215973 4294956304 18446744073709551615 134585736 0 0 4096 0 0 0 0 17 0 0 0
/proc/14211/statm: 56785 55195 413 171 0 55710 0
Current children cumulated CPU time (s) 1597.94
Current children cumulated vsize (KiB) 227140

[startup+1662.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/73 14251
/proc/meminfo: memFree=1254936/2055920 swapFree=4191900/4192956
[pid=14211] ppid=14209 vsize=232416 CPUtime=1657.92
/proc/14211/stat : 14211 (pcs.big) R 14209 14211 13117 0 -1 4194304 756420 667 0 0 165558 234 0 0 25 0 1 0 59284789 237993984 56486 996147200 134512640 135215973 4294956304 18446744073709551615 134585720 0 0 4096 0 0 0 0 17 0 0 0
/proc/14211/statm: 58104 56486 413 171 0 57029 0
Current children cumulated CPU time (s) 1657.92
Current children cumulated vsize (KiB) 232416

[startup+1722.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/73 14251
/proc/meminfo: memFree=1244632/2055920 swapFree=4191900/4192956
[pid=14211] ppid=14209 vsize=238996 CPUtime=1717.91
/proc/14211/stat : 14211 (pcs.big) R 14209 14211 13117 0 -1 4194304 775472 667 0 0 171551 240 0 0 25 0 1 0 59284789 244731904 58148 996147200 134512640 135215973 4294956304 18446744073709551615 134585880 0 0 4096 0 0 0 0 17 0 0 0
/proc/14211/statm: 59749 58148 413 171 0 58674 0
Current children cumulated CPU time (s) 1717.91
Current children cumulated vsize (KiB) 238996

[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/73 14251
/proc/meminfo: memFree=1237720/2055920 swapFree=4191900/4192956
[pid=14211] ppid=14209 vsize=242688 CPUtime=1777.88
/proc/14211/stat : 14211 (pcs.big) R 14209 14211 13117 0 -1 4194304 792655 667 0 0 177543 245 0 0 25 0 1 0 59284789 248512512 59069 996147200 134512640 135215973 4294956304 18446744073709551615 134585786 0 0 4096 0 0 0 0 17 0 0 0
/proc/14211/statm: 60672 59069 413 171 0 59597 0
Current children cumulated CPU time (s) 1777.88
Current children cumulated vsize (KiB) 242688



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1804.5 s]
/proc/loadavg: 2.00 2.01 2.00 3/73 14251
/proc/meminfo: memFree=1233496/2055920 swapFree=4191900/4192956
[pid=14211] ppid=14209 vsize=244140 CPUtime=1800.08
/proc/14211/stat : 14211 (pcs.big) R 14209 14211 13117 0 -1 4194304 798259 667 0 0 179761 247 0 0 25 0 1 0 59284789 249999360 59456 996147200 134512640 135215973 4294956304 18446744073709551615 134599834 0 0 4096 0 0 0 0 17 0 0 0
/proc/14211/statm: 61035 59456 413 171 0 59960 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 244140

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

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

[startup+1804.5 s]
/proc/loadavg: 2.00 2.01 2.00 3/73 14251
/proc/meminfo: memFree=1233496/2055920 swapFree=4191900/4192956
[pid=14211] ppid=14209 vsize=244140 CPUtime=1800.08
/proc/14211/stat : 14211 (pcs.big) R 14209 14211 13117 0 -1 4194304 798259 667 0 0 179761 247 0 0 25 0 1 0 59284789 249999360 59456 996147200 134512640 135215973 4294956304 18446744073709551615 134599834 0 0 4096 0 0 0 0 17 0 0 0
/proc/14211/statm: 61035 59456 413 171 0 59960 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 244140

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1804.55
CPU time (s): 1800.14
CPU user time (s): 1797.62
CPU system time (s): 2.51662
CPU usage (%): 99.7557
Max. virtual memory (cumulated for all children) (KiB): 244328

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.62
system time used= 2.51662
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 798926
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= 29
involuntary context switches= 24171

runsolver used 1.72074 second user time and 4.96124 second system time

The end

Launcher Data 

Begin job on node29 at 2009-07-16 07:29:46
IDJOB=2083045
IDBENCH=57690
IDSOLVER=734
FILE ID=node29/2083045-1247722186
PBS_JOBID= 9521437
Free space on /tmp= 66320 MiB

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

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

MD5SUM BENCH= 1196fad89b5a5a4f355ab65ef889a576
RANDOM SEED=1082959876

node29.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.225
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.225
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:       1633968 kB
Buffers:         67992 kB
Cached:         250264 kB
SwapCached:        392 kB
Active:         110632 kB
Inactive:       244700 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1633968 kB
SwapTotal:     4192956 kB
SwapFree:      4191900 kB
Dirty:            2916 kB
Writeback:           0 kB
Mapped:          56772 kB
Slab:            51596 kB
Committed_AS:   677028 kB
PageTables:       2000 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= 66316 MiB
End job on node29 at 2009-07-16 07:59:53