Trace number 2083088

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.12 1804.16

General information on the benchmark

Namecsp/fapp/fapp15/
normalized-fapp15-3000-3.xml
MD5SUM86c7afc7e4b09f20d7870a92279200ee
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 benchmark32.0291
Satisfiable
(Un)Satisfiability was proved
Number of variables3000
Number of constraints33021
Maximum constraint arity2
Maximum domain size182
Number of constraints which are defined in extension0
Number of constraints which are defined in intension33021
Global constraints used (with number of constraints)

Solver Data 

0.00/0.02	c has big domains
0.00/0.02	c big-domain mode
0.00/0.03	c Seed is 1055645738
0.00/0.03	c Constructing HOME/instance-2083088-1247722325.xml  with 206868 constraints
3.64/3.71	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-2083088-1247722325/watcher-2083088-1247722325 -o /tmp/evaluation-result-2083088-1247722325/solver-2083088-1247722325 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 1055645738 HOME/instance-2083088-1247722325.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.38 2.13 2.03 4/81 19466
/proc/meminfo: memFree=1635752/2055920 swapFree=4192812/4192956
[pid=19466] ppid=19464 vsize=18576 CPUtime=0
/proc/19466/stat : 19466 (runsolver) R 19464 19466 17061 0 -1 4194368 15 0 0 0 0 0 0 0 21 0 1 0 59296014 19021824 284 996147200 4194304 4302564 548682068496 18446744073709551615 273653755175 0 0 4096 24578 0 0 0 17 1 0 0
/proc/19466/statm: 4644 284 249 26 0 2626 0

[startup+0.014836 s]
/proc/loadavg: 2.38 2.13 2.03 4/81 19466
/proc/meminfo: memFree=1635752/2055920 swapFree=4192812/4192956
[pid=19466] ppid=19464 vsize=5356 CPUtime=0
/proc/19466/stat : 19466 (pcssolve) S 19464 19466 17061 0 -1 4194304 305 0 0 0 0 0 0 0 21 0 1 0 59296014 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19466/statm: 1339 242 201 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.101842 s]
/proc/loadavg: 2.38 2.13 2.03 4/81 19466
/proc/meminfo: memFree=1635752/2055920 swapFree=4192812/4192956
[pid=19466] ppid=19464 vsize=6644 CPUtime=0.07
/proc/19466/stat : 19466 (pcs.big) R 19464 19466 17061 0 -1 4194304 1341 662 0 0 7 0 0 0 23 0 1 0 59296014 6803456 931 996147200 134512640 135215973 4294956304 18446744073709551615 4159075483 0 0 4096 0 0 0 0 17 1 0 0
/proc/19466/statm: 1661 931 386 171 0 586 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 6644

[startup+0.301859 s]
/proc/loadavg: 2.38 2.13 2.03 4/81 19466
/proc/meminfo: memFree=1635752/2055920 swapFree=4192812/4192956
[pid=19466] ppid=19464 vsize=12844 CPUtime=0.27
/proc/19466/stat : 19466 (pcs.big) R 19464 19466 17061 0 -1 4194304 3017 662 0 0 26 1 0 0 25 0 1 0 59296014 13152256 2126 996147200 134512640 135215973 4294956304 18446744073709551615 4744827 0 0 4096 0 0 0 0 17 1 0 0
/proc/19466/statm: 3211 2126 386 171 0 2136 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 12844

[startup+0.701879 s]
/proc/loadavg: 2.38 2.13 2.03 4/81 19466
/proc/meminfo: memFree=1635752/2055920 swapFree=4192812/4192956
[pid=19466] ppid=19464 vsize=22312 CPUtime=0.67
/proc/19466/stat : 19466 (pcs.big) R 19464 19466 17061 0 -1 4194304 6326 662 0 0 65 2 0 0 25 0 1 0 59296014 22847488 3952 996147200 134512640 135215973 4294956304 18446744073709551615 134761742 0 0 4096 0 0 0 0 17 1 0 0
/proc/19466/statm: 5578 3952 386 171 0 4503 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 22312

[startup+1.50193 s]
/proc/loadavg: 2.38 2.13 2.03 3/82 19471
/proc/meminfo: memFree=1615328/2055920 swapFree=4192812/4192956
[pid=19466] ppid=19464 vsize=40428 CPUtime=1.46
/proc/19466/stat : 19466 (pcs.big) R 19464 19466 17061 0 -1 4194304 12469 662 0 0 141 5 0 0 25 0 1 0 59296014 41398272 7676 996147200 134512640 135215973 4294956304 18446744073709551615 4159198288 0 0 4096 0 0 0 0 17 1 0 0
/proc/19466/statm: 10107 7676 386 171 0 9032 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 40428

[startup+3.10204 s]
/proc/loadavg: 2.38 2.13 2.03 3/82 19471
/proc/meminfo: memFree=1594336/2055920 swapFree=4192812/4192956
[pid=19466] ppid=19464 vsize=76452 CPUtime=3.04
/proc/19466/stat : 19466 (pcs.big) R 19464 19466 17061 0 -1 4194304 24599 662 0 0 294 10 0 0 25 0 1 0 59296014 78286848 14979 996147200 134512640 135215973 4294956304 18446744073709551615 4740420 0 0 4096 0 0 0 0 17 1 0 0
/proc/19466/statm: 19113 14979 386 171 0 18038 0
Current children cumulated CPU time (s) 3.04
Current children cumulated vsize (KiB) 76452

[startup+6.30126 s]
/proc/loadavg: 2.35 2.13 2.03 3/82 19471
/proc/meminfo: memFree=1547744/2055920 swapFree=4192812/4192956
[pid=19466] ppid=19464 vsize=98748 CPUtime=6.21
/proc/19466/stat : 19466 (pcs.big) R 19464 19466 17061 0 -1 4194304 35246 662 0 0 605 16 0 0 25 0 1 0 59296014 101117952 22339 996147200 134512640 135215973 4294956304 18446744073709551615 134597380 0 0 4096 0 0 0 0 17 1 0 0
/proc/19466/statm: 24687 22339 410 171 0 23612 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 98748

[startup+12.7017 s]
/proc/loadavg: 2.40 2.14 2.04 3/82 19471
/proc/meminfo: memFree=1544992/2055920 swapFree=4192812/4192956
[pid=19466] ppid=19464 vsize=103092 CPUtime=12.55
/proc/19466/stat : 19466 (pcs.big) R 19464 19466 17061 0 -1 4194304 36711 662 0 0 1238 17 0 0 25 0 1 0 59296014 105566208 23178 996147200 134512640 135215973 4294956304 18446744073709551615 4158960050 0 0 4096 0 0 0 0 17 1 0 0
/proc/19466/statm: 25773 23178 410 171 0 24698 0
Current children cumulated CPU time (s) 12.55
Current children cumulated vsize (KiB) 103092

[startup+25.5015 s]
/proc/loadavg: 2.31 2.14 2.04 3/82 19471
/proc/meminfo: memFree=1531936/2055920 swapFree=4192812/4192956
[pid=19466] ppid=19464 vsize=116584 CPUtime=25.23
/proc/19466/stat : 19466 (pcs.big) R 19464 19466 17061 0 -1 4194304 40621 662 0 0 2504 19 0 0 25 0 1 0 59296014 119382016 26255 996147200 134512640 135215973 4294956304 18446744073709551615 4158960074 0 0 4096 0 0 0 0 17 1 0 0
/proc/19466/statm: 29146 26255 410 171 0 28071 0
Current children cumulated CPU time (s) 25.23
Current children cumulated vsize (KiB) 116584

[startup+51.1013 s]
/proc/loadavg: 2.21 2.12 2.04 3/82 19471
/proc/meminfo: memFree=1530144/2055920 swapFree=4192812/4192956
[pid=19466] ppid=19464 vsize=117640 CPUtime=50.6
/proc/19466/stat : 19466 (pcs.big) R 19464 19466 17061 0 -1 4194304 91004 662 0 0 5024 36 0 0 25 0 1 0 59296014 120463360 26700 996147200 134512640 135215973 4294956304 18446744073709551615 134585388 0 0 4096 0 0 0 0 17 1 0 0
/proc/19466/statm: 29410 26700 413 171 0 28335 0
Current children cumulated CPU time (s) 50.6
Current children cumulated vsize (KiB) 117640

[startup+102.307 s]
/proc/loadavg: 2.09 2.10 2.03 3/82 19471
/proc/meminfo: memFree=1523616/2055920 swapFree=4192812/4192956
[pid=19466] ppid=19464 vsize=123840 CPUtime=101.32
/proc/19466/stat : 19466 (pcs.big) R 19464 19466 17061 0 -1 4194304 279462 662 0 0 10036 96 0 0 25 0 1 0 59296014 126812160 28282 996147200 134512640 135215973 4294956304 18446744073709551615 134591835 0 0 4096 0 0 0 0 17 1 0 0
/proc/19466/statm: 30960 28282 413 171 0 29885 0
Current children cumulated CPU time (s) 101.32
Current children cumulated vsize (KiB) 123840

[startup+162.302 s]
/proc/loadavg: 2.03 2.08 2.02 3/82 19471
/proc/meminfo: memFree=1517152/2055920 swapFree=4192812/4192956
[pid=19466] ppid=19464 vsize=130308 CPUtime=160.77
/proc/19466/stat : 19466 (pcs.big) R 19464 19466 17061 0 -1 4194304 450741 662 0 0 15925 152 0 0 25 0 1 0 59296014 133435392 29911 996147200 134512640 135215973 4294956304 18446744073709551615 134585800 0 0 4096 0 0 0 0 17 1 0 0
/proc/19466/statm: 32577 29911 413 171 0 31502 0
Current children cumulated CPU time (s) 160.77
Current children cumulated vsize (KiB) 130308

[startup+222.302 s]
/proc/loadavg: 2.01 2.06 2.02 3/82 19471
/proc/meminfo: memFree=1511904/2055920 swapFree=4192812/4192956
[pid=19466] ppid=19464 vsize=135320 CPUtime=220.21
/proc/19466/stat : 19466 (pcs.big) R 19464 19466 17061 0 -1 4194304 636625 662 0 0 21809 212 0 0 25 0 1 0 59296014 138567680 31181 996147200 134512640 135215973 4294956304 18446744073709551615 134585576 0 0 4096 0 0 0 0 17 1 0 0
/proc/19466/statm: 33830 31181 413 171 0 32755 0
Current children cumulated CPU time (s) 220.21
Current children cumulated vsize (KiB) 135320

[startup+282.302 s]
/proc/loadavg: 2.00 2.05 2.01 3/82 19471
/proc/meminfo: memFree=1508512/2055920 swapFree=4192812/4192956
[pid=19466] ppid=19464 vsize=138620 CPUtime=279.66
/proc/19466/stat : 19466 (pcs.big) R 19464 19466 17061 0 -1 4194304 747782 662 0 0 27717 249 0 0 25 0 1 0 59296014 141946880 32022 996147200 134512640 135215973 4294956304 18446744073709551615 134583949 0 0 4096 0 0 0 0 17 1 0 0
/proc/19466/statm: 34655 32022 413 171 0 33580 0
Current children cumulated CPU time (s) 279.66
Current children cumulated vsize (KiB) 138620

[startup+342.302 s]
/proc/loadavg: 2.00 2.04 2.01 3/82 19471
/proc/meminfo: memFree=1498528/2055920 swapFree=4192812/4192956
[pid=19466] ppid=19464 vsize=148508 CPUtime=339.1
/proc/19466/stat : 19466 (pcs.big) R 19464 19466 17061 0 -1 4194304 1040352 662 0 0 33568 342 0 0 25 0 1 0 59296014 152072192 34534 996147200 134512640 135215973 4294956304 18446744073709551615 134597353 0 0 4096 0 0 0 0 17 1 0 0
/proc/19466/statm: 37127 34534 413 171 0 36052 0
Current children cumulated CPU time (s) 339.1
Current children cumulated vsize (KiB) 148508

[startup+402.302 s]
/proc/loadavg: 1.94 2.01 2.00 3/73 19504
/proc/meminfo: memFree=1433008/2055920 swapFree=4192812/4192956
[pid=19466] ppid=19464 vsize=157212 CPUtime=398.71
/proc/19466/stat : 19466 (pcs.big) R 19464 19466 17061 0 -1 4194304 1292071 662 0 0 39449 422 0 0 25 0 1 0 59296014 160985088 36737 996147200 134512640 135215973 4294956304 18446744073709551615 134585623 0 0 4096 0 0 0 0 17 0 0 0
/proc/19466/statm: 39303 36737 413 171 0 38228 0
Current children cumulated CPU time (s) 398.71
Current children cumulated vsize (KiB) 157212

[startup+462.302 s]
/proc/loadavg: 1.97 2.01 2.00 3/73 19504
/proc/meminfo: memFree=1416560/2055920 swapFree=4192812/4192956
[pid=19466] ppid=19464 vsize=162884 CPUtime=458.68
/proc/19466/stat : 19466 (pcs.big) R 19464 19466 17061 0 -1 4194304 1442099 662 0 0 45405 463 0 0 25 0 1 0 59296014 166793216 38169 996147200 134512640 135215973 4294956304 18446744073709551615 134583510 0 0 4096 0 0 0 0 17 0 0 0
/proc/19466/statm: 40721 38169 413 171 0 39646 0
Current children cumulated CPU time (s) 458.68
Current children cumulated vsize (KiB) 162884

[startup+522.302 s]
/proc/loadavg: 1.99 2.00 2.00 3/73 19504
/proc/meminfo: memFree=1398192/2055920 swapFree=4192812/4192956
[pid=19466] ppid=19464 vsize=168548 CPUtime=518.66
/proc/19466/stat : 19466 (pcs.big) R 19464 19466 17061 0 -1 4194304 1604997 662 0 0 51355 511 0 0 25 0 1 0 59296014 172593152 39595 996147200 134512640 135215973 4294956304 18446744073709551615 134585720 0 0 4096 0 0 0 0 17 0 0 0
/proc/19466/statm: 42137 39595 413 171 0 41062 0
Current children cumulated CPU time (s) 518.66
Current children cumulated vsize (KiB) 168548

[startup+582.301 s]
/proc/loadavg: 1.99 2.00 2.00 3/73 19504
/proc/meminfo: memFree=1382064/2055920 swapFree=4192812/4192956
[pid=19466] ppid=19464 vsize=175136 CPUtime=578.64
/proc/19466/stat : 19466 (pcs.big) R 19464 19466 17061 0 -1 4194304 1818977 662 0 0 57292 572 0 0 25 0 1 0 59296014 179339264 41295 996147200 134512640 135215973 4294956304 18446744073709551615 134589787 0 0 4096 0 0 0 0 17 0 0 0
/proc/19466/statm: 43784 41295 413 171 0 42709 0
Current children cumulated CPU time (s) 578.64
Current children cumulated vsize (KiB) 175136

[startup+642.301 s]
/proc/loadavg: 1.99 2.00 2.00 3/73 19504
/proc/meminfo: memFree=1363632/2055920 swapFree=4192812/4192956
[pid=19466] ppid=19464 vsize=183568 CPUtime=638.62
/proc/19466/stat : 19466 (pcs.big) R 19464 19466 17061 0 -1 4194304 2110522 662 0 0 63203 659 0 0 25 0 1 0 59296014 187973632 43478 996147200 134512640 135215973 4294956304 18446744073709551615 134585802 0 0 4096 0 0 0 0 17 0 0 0
/proc/19466/statm: 45892 43478 413 171 0 44817 0
Current children cumulated CPU time (s) 638.62
Current children cumulated vsize (KiB) 183568

[startup+702.301 s]

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

[startup+882.301 s]
/proc/loadavg: 1.99 2.00 2.00 3/73 19504
/proc/meminfo: memFree=1296368/2055920 swapFree=4192812/4192956
[pid=19466] ppid=19464 vsize=209152 CPUtime=878.54
/proc/19466/stat : 19466 (pcs.big) R 19464 19466 17061 0 -1 4194304 3011187 662 0 0 86923 931 0 0 25 0 1 0 59296014 214171648 49957 996147200 134512640 135215973 4294956304 18446744073709551615 134585694 0 0 4096 0 0 0 0 17 0 0 0
/proc/19466/statm: 52288 49957 413 171 0 51213 0
Current children cumulated CPU time (s) 878.54
Current children cumulated vsize (KiB) 209152

[startup+942.301 s]
/proc/loadavg: 1.99 2.00 2.00 3/73 19504
/proc/meminfo: memFree=1282224/2055920 swapFree=4192812/4192956
[pid=19466] ppid=19464 vsize=214424 CPUtime=938.52
/proc/19466/stat : 19466 (pcs.big) R 19464 19466 17061 0 -1 4194304 3216281 662 0 0 92860 992 0 0 25 0 1 0 59296014 219570176 51297 996147200 134512640 135215973 4294956304 18446744073709551615 4158960050 0 0 4096 0 0 0 0 17 0 0 0
/proc/19466/statm: 53606 51297 413 171 0 52531 0
Current children cumulated CPU time (s) 938.52
Current children cumulated vsize (KiB) 214424

[startup+1002.3 s]
/proc/loadavg: 1.99 2.00 2.00 3/73 19504
/proc/meminfo: memFree=1268400/2055920 swapFree=4192812/4192956
[pid=19466] ppid=19464 vsize=219568 CPUtime=998.51
/proc/19466/stat : 19466 (pcs.big) R 19464 19466 17061 0 -1 4194304 3422196 662 0 0 98798 1053 0 0 25 0 1 0 59296014 224837632 52588 996147200 134512640 135215973 4294956304 18446744073709551615 134585745 0 0 4096 0 0 0 0 17 0 0 0
/proc/19466/statm: 54892 52588 413 171 0 53817 0
Current children cumulated CPU time (s) 998.51
Current children cumulated vsize (KiB) 219568

[startup+1062.3 s]
/proc/loadavg: 1.99 2.00 2.00 3/73 19504
/proc/meminfo: memFree=1248432/2055920 swapFree=4192812/4192956
[pid=19466] ppid=19464 vsize=228668 CPUtime=1058.48
/proc/19466/stat : 19466 (pcs.big) R 19464 19466 17061 0 -1 4194304 3616589 662 0 0 104738 1110 0 0 25 0 1 0 59296014 234156032 54885 996147200 134512640 135215973 4294956304 18446744073709551615 134585880 0 0 4096 0 0 0 0 17 0 0 0
/proc/19466/statm: 57167 54885 413 171 0 56092 0
Current children cumulated CPU time (s) 1058.48
Current children cumulated vsize (KiB) 228668

[startup+1122.3 s]
/proc/loadavg: 1.99 2.00 2.00 3/73 19504
/proc/meminfo: memFree=1235632/2055920 swapFree=4192812/4192956
[pid=19466] ppid=19464 vsize=233280 CPUtime=1118.47
/proc/19466/stat : 19466 (pcs.big) R 19464 19466 17061 0 -1 4194304 3741813 662 0 0 110698 1149 0 0 25 0 1 0 59296014 238878720 56047 996147200 134512640 135215973 4294956304 18446744073709551615 134585842 0 0 4096 0 0 0 0 17 0 0 0
/proc/19466/statm: 58320 56047 413 171 0 57245 0
Current children cumulated CPU time (s) 1118.47
Current children cumulated vsize (KiB) 233280

[startup+1182.3 s]
/proc/loadavg: 1.99 2.00 2.00 3/73 19506
/proc/meminfo: memFree=1208816/2055920 swapFree=4192812/4192956
[pid=19466] ppid=19464 vsize=245412 CPUtime=1178.44
/proc/19466/stat : 19466 (pcs.big) R 19464 19466 17061 0 -1 4194304 4024454 662 0 0 116610 1234 0 0 25 0 1 0 59296014 251301888 59070 996147200 134512640 135215973 4294956304 18446744073709551615 134532689 0 0 4096 0 0 0 0 17 0 0 0
/proc/19466/statm: 61353 59070 413 171 0 60278 0
Current children cumulated CPU time (s) 1178.44
Current children cumulated vsize (KiB) 245412

[startup+1242.3 s]
/proc/loadavg: 1.99 2.00 2.00 3/73 19506
/proc/meminfo: memFree=1180016/2055920 swapFree=4192812/4192956
[pid=19466] ppid=19464 vsize=259924 CPUtime=1238.42
/proc/19466/stat : 19466 (pcs.big) R 19464 19466 17061 0 -1 4194304 4326351 662 0 0 122519 1323 0 0 25 0 1 0 59296014 266162176 62731 996147200 134512640 135215973 4294956304 18446744073709551615 134585720 0 0 4096 0 0 0 0 17 0 0 0
/proc/19466/statm: 64981 62731 413 171 0 63906 0
Current children cumulated CPU time (s) 1238.42
Current children cumulated vsize (KiB) 259924

[startup+1302.3 s]
/proc/loadavg: 1.99 2.00 2.00 3/73 19506
/proc/meminfo: memFree=1163376/2055920 swapFree=4192812/4192956
[pid=19466] ppid=19464 vsize=271572 CPUtime=1298.41
/proc/19466/stat : 19466 (pcs.big) R 19464 19466 17061 0 -1 4194304 4613073 662 0 0 128433 1408 0 0 25 0 1 0 59296014 278089728 65659 996147200 134512640 135215973 4294956304 18446744073709551615 134599879 0 0 4096 0 0 0 0 17 0 0 0
/proc/19466/statm: 67893 65659 413 171 0 66818 0
Current children cumulated CPU time (s) 1298.41
Current children cumulated vsize (KiB) 271572

[startup+1362.3 s]
/proc/loadavg: 1.99 2.00 2.00 3/73 19506
/proc/meminfo: memFree=1150256/2055920 swapFree=4192812/4192956
[pid=19466] ppid=19464 vsize=279716 CPUtime=1358.39
/proc/19466/stat : 19466 (pcs.big) R 19464 19466 17061 0 -1 4194304 4906422 662 0 0 134341 1498 0 0 25 0 1 0 59296014 286429184 67732 996147200 134512640 135215973 4294956304 18446744073709551615 134585694 0 0 4096 0 0 0 0 17 0 0 0
/proc/19466/statm: 69929 67732 413 171 0 68854 0
Current children cumulated CPU time (s) 1358.39
Current children cumulated vsize (KiB) 279716

[startup+1422.31 s]
/proc/loadavg: 1.99 2.00 2.00 3/73 19506
/proc/meminfo: memFree=1131568/2055920 swapFree=4192812/4192956
[pid=19466] ppid=19464 vsize=290140 CPUtime=1418.37
/proc/19466/stat : 19466 (pcs.big) R 19464 19466 17061 0 -1 4194304 5185672 662 0 0 140254 1583 0 0 25 0 1 0 59296014 297103360 70322 996147200 134512640 135215973 4294956304 18446744073709551615 134585720 0 0 4096 0 0 0 0 17 0 0 0
/proc/19466/statm: 72535 70322 413 171 0 71460 0
Current children cumulated CPU time (s) 1418.37
Current children cumulated vsize (KiB) 290140

[startup+1482.3 s]
/proc/loadavg: 1.99 2.00 2.00 3/73 19506
/proc/meminfo: memFree=1114160/2055920 swapFree=4192812/4192956
[pid=19466] ppid=19464 vsize=299764 CPUtime=1478.35
/proc/19466/stat : 19466 (pcs.big) R 19464 19466 17061 0 -1 4194304 5475383 662 0 0 146168 1667 0 0 25 0 1 0 59296014 306958336 72759 996147200 134512640 135215973 4294956304 18446744073709551615 134591422 0 0 4096 0 0 0 0 17 0 0 0
/proc/19466/statm: 74941 72759 413 171 0 73866 0
Current children cumulated CPU time (s) 1478.35
Current children cumulated vsize (KiB) 299764

[startup+1542.3 s]
/proc/loadavg: 1.99 2.00 2.00 3/73 19506
/proc/meminfo: memFree=1098800/2055920 swapFree=4192812/4192956
[pid=19466] ppid=19464 vsize=310320 CPUtime=1538.32
/proc/19466/stat : 19466 (pcs.big) R 19464 19466 17061 0 -1 4194304 5682303 662 0 0 152102 1730 0 0 25 0 1 0 59296014 317767680 75403 996147200 134512640 135215973 4294956304 18446744073709551615 134597380 0 0 4096 0 0 0 0 17 0 0 0
/proc/19466/statm: 77580 75403 413 171 0 76505 0
Current children cumulated CPU time (s) 1538.32
Current children cumulated vsize (KiB) 310320

[startup+1602.3 s]
/proc/loadavg: 1.99 2.00 2.00 3/73 19506
/proc/meminfo: memFree=1088944/2055920 swapFree=4192812/4192956
[pid=19466] ppid=19464 vsize=315464 CPUtime=1598.3
/proc/19466/stat : 19466 (pcs.big) R 19464 19466 17061 0 -1 4194304 5820899 662 0 0 158056 1774 0 0 25 0 1 0 59296014 323035136 76713 996147200 134512640 135215973 4294956304 18446744073709551615 134590087 0 0 4096 0 0 0 0 17 0 0 0
/proc/19466/statm: 78866 76713 413 171 0 77791 0
Current children cumulated CPU time (s) 1598.3
Current children cumulated vsize (KiB) 315464

[startup+1662.3 s]
/proc/loadavg: 1.99 2.00 2.00 3/73 19506
/proc/meminfo: memFree=1078320/2055920 swapFree=4192812/4192956
[pid=19466] ppid=19464 vsize=319944 CPUtime=1658.29
/proc/19466/stat : 19466 (pcs.big) R 19464 19466 17061 0 -1 4194304 5952684 662 0 0 164013 1816 0 0 25 0 1 0 59296014 327622656 77824 996147200 134512640 135215973 4294956304 18446744073709551615 134524452 0 0 4096 0 0 0 0 17 0 0 0
/proc/19466/statm: 79986 77824 413 171 0 78911 0
Current children cumulated CPU time (s) 1658.29
Current children cumulated vsize (KiB) 319944

[startup+1722.3 s]
/proc/loadavg: 1.99 2.00 2.00 3/73 19506
/proc/meminfo: memFree=1068208/2055920 swapFree=4192812/4192956
[pid=19466] ppid=19464 vsize=323640 CPUtime=1718.27
/proc/19466/stat : 19466 (pcs.big) R 19464 19466 17061 0 -1 4194304 6027039 662 0 0 169986 1841 0 0 25 0 1 0 59296014 331407360 78751 996147200 134512640 135215973 4294956304 18446744073709551615 134590020 0 0 4096 0 0 0 0 17 0 0 0
/proc/19466/statm: 80910 78751 413 171 0 79835 0
Current children cumulated CPU time (s) 1718.27
Current children cumulated vsize (KiB) 323640

[startup+1782.3 s]
/proc/loadavg: 1.99 2.00 2.00 3/73 19512
/proc/meminfo: memFree=1059880/2055920 swapFree=4192812/4192956
[pid=19466] ppid=19464 vsize=327336 CPUtime=1778.24
/proc/19466/stat : 19466 (pcs.big) R 19464 19466 17061 0 -1 4194304 6127673 662 0 0 175950 1874 0 0 25 0 1 0 59296014 335192064 79683 996147200 134512640 135215973 4294956304 18446744073709551615 134591360 0 0 4096 0 0 0 0 17 0 0 0
/proc/19466/statm: 81834 79683 413 171 0 80759 0
Current children cumulated CPU time (s) 1778.24
Current children cumulated vsize (KiB) 327336



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1804.1 s]
/proc/loadavg: 1.99 2.00 2.00 3/73 19512
/proc/meminfo: memFree=1055336/2055920 swapFree=4192812/4192956
[pid=19466] ppid=19464 vsize=329448 CPUtime=1800.04
/proc/19466/stat : 19466 (pcs.big) R 19464 19466 17061 0 -1 4194304 6186378 662 0 0 178111 1893 0 0 25 0 1 0 59296014 337354752 80272 996147200 134512640 135215973 4294956304 18446744073709551615 134600799 0 0 4096 0 0 0 0 17 0 0 0
/proc/19466/statm: 82362 80272 413 171 0 81287 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 329448

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

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

[startup+1804.1 s]
/proc/loadavg: 1.99 2.00 2.00 3/73 19512
/proc/meminfo: memFree=1055336/2055920 swapFree=4192812/4192956
[pid=19466] ppid=19464 vsize=329448 CPUtime=1800.04
/proc/19466/stat : 19466 (pcs.big) R 19464 19466 17061 0 -1 4194304 6186378 662 0 0 178111 1893 0 0 25 0 1 0 59296014 337354752 80272 996147200 134512640 135215973 4294956304 18446744073709551615 134600799 0 0 4096 0 0 0 0 17 0 0 0
/proc/19466/statm: 82362 80272 413 171 0 81287 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 329448

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1804.16
CPU time (s): 1800.12
CPU user time (s): 1781.12
CPU system time (s): 18.9971
CPU usage (%): 99.7762
Max. virtual memory (cumulated for all children) (KiB): 329448

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1781.12
system time used= 18.9971
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 6187040
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= 23
involuntary context switches= 21545

runsolver used 2.16567 second user time and 5.08923 second system time

The end

Launcher Data 

Begin job on node52 at 2009-07-16 07:32:05
IDJOB=2083088
IDBENCH=57702
IDSOLVER=733
FILE ID=node52/2083088-1247722325
PBS_JOBID= 9521458
Free space on /tmp= 66184 MiB

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

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

MD5SUM BENCH= 86c7afc7e4b09f20d7870a92279200ee
RANDOM SEED=1055645738

node52.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.236
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.236
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:       1636232 kB
Buffers:         77860 kB
Cached:         238408 kB
SwapCached:          0 kB
Active:         112896 kB
Inactive:       237844 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1636232 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            6404 kB
Writeback:           0 kB
Mapped:          54928 kB
Slab:            53968 kB
Committed_AS:   699244 kB
PageTables:       1996 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= 66180 MiB
End job on node52 at 2009-07-16 08:02:12