Trace number 2083737

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.2 1812.6

General information on the benchmark

Namecsp/fapp/fapp25/
normalized-fapp25-2230-9.xml
MD5SUMcd2c3c12815b02c7c73d42faba495a48
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 benchmark29.0496
Satisfiable
(Un)Satisfiability was proved
Number of variables2230
Number of constraints18971
Maximum constraint arity2
Maximum domain size302
Number of constraints which are defined in extension0
Number of constraints which are defined in intension18971
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.04	c Seed is 1484379482
0.00/0.04	c Constructing HOME/instance-2083737-1247723679.xml  with 104746 constraints
1.85/1.98	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-2083737-1247723679/watcher-2083737-1247723679 -o /tmp/evaluation-result-2083737-1247723679/solver-2083737-1247723679 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 1484379482 HOME/instance-2083737-1247723679.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.15 2.17 2.10 4/72 12283
/proc/meminfo: memFree=1512636/2055920 swapFree=4192812/4192956
[pid=12283] ppid=12281 vsize=5212 CPUtime=0
/proc/12283/stat : 12283 (pcssolve) R 12281 12283 8667 0 -1 4194304 69 0 0 0 0 0 0 0 20 0 1 0 59435046 5337088 43 996147200 4194304 4889804 548682068800 18446744073709551615 215416371289 0 0 4096 0 0 0 0 17 1 0 0
/proc/12283/statm: 1303 43 29 169 0 14 0

[startup+0.0226331 s]
/proc/loadavg: 2.15 2.17 2.10 4/72 12283
/proc/meminfo: memFree=1512636/2055920 swapFree=4192812/4192956
[pid=12283] ppid=12281 vsize=5356 CPUtime=0
/proc/12283/stat : 12283 (pcssolve) S 12281 12283 8667 0 -1 4194304 339 474 0 0 0 0 0 0 23 0 1 0 59435046 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12283/statm: 1339 242 201 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.102583 s]
/proc/loadavg: 2.15 2.17 2.10 4/72 12283
/proc/meminfo: memFree=1512636/2055920 swapFree=4192812/4192956
[pid=12283] ppid=12281 vsize=6836 CPUtime=0.07
/proc/12283/stat : 12283 (pcs.big) R 12281 12283 8667 0 -1 4194304 1384 663 0 0 7 0 0 0 18 0 1 0 59435046 7000064 930 996147200 134512640 135215973 4294956304 18446744073709551615 4159784657 0 0 4096 0 0 0 0 17 1 0 0
/proc/12283/statm: 1709 930 386 171 0 634 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 6836

[startup+0.302606 s]
/proc/loadavg: 2.15 2.17 2.10 4/72 12283
/proc/meminfo: memFree=1512636/2055920 swapFree=4192812/4192956
[pid=12283] ppid=12281 vsize=10384 CPUtime=0.27
/proc/12283/stat : 12283 (pcs.big) R 12281 12283 8667 0 -1 4194304 2631 663 0 0 26 1 0 0 19 0 1 0 59435046 10633216 1855 996147200 134512640 135215973 4294956304 18446744073709551615 9094556 0 0 4096 0 0 0 0 17 1 0 0
/proc/12283/statm: 2596 1855 386 171 0 1521 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 10384

[startup+0.701653 s]
/proc/loadavg: 2.15 2.17 2.10 4/72 12283
/proc/meminfo: memFree=1512636/2055920 swapFree=4192812/4192956
[pid=12283] ppid=12281 vsize=20844 CPUtime=0.66
/proc/12283/stat : 12283 (pcs.big) R 12281 12283 8667 0 -1 4194304 5924 663 0 0 64 2 0 0 23 0 1 0 59435046 21344256 3798 996147200 134512640 135215973 4294956304 18446744073709551615 134752645 0 0 4096 0 0 0 0 17 1 0 0
/proc/12283/statm: 5211 3798 386 171 0 4136 0
Current children cumulated CPU time (s) 0.66
Current children cumulated vsize (KiB) 20844

[startup+1.50174 s]
/proc/loadavg: 2.14 2.17 2.10 3/73 12288
/proc/meminfo: memFree=1494068/2055920 swapFree=4192812/4192956
[pid=12283] ppid=12281 vsize=37488 CPUtime=1.45
/proc/12283/stat : 12283 (pcs.big) R 12281 12283 8667 0 -1 4194304 11555 663 0 0 140 5 0 0 25 0 1 0 59435046 38387712 7314 996147200 134512640 135215973 4294956304 18446744073709551615 134761786 0 0 4096 0 0 0 0 17 1 0 0
/proc/12283/statm: 9372 7314 386 171 0 8297 0
Current children cumulated CPU time (s) 1.45
Current children cumulated vsize (KiB) 37488

[startup+3.10191 s]
/proc/loadavg: 2.14 2.17 2.10 3/73 12288
/proc/meminfo: memFree=1467380/2055920 swapFree=4192812/4192956
[pid=12283] ppid=12281 vsize=52268 CPUtime=3.04
/proc/12283/stat : 12283 (pcs.big) R 12281 12283 8667 0 -1 4194304 18684 663 0 0 295 9 0 0 25 0 1 0 59435046 53522432 11601 996147200 134512640 135215973 4294956304 18446744073709551615 134597605 0 0 4096 0 0 0 0 17 1 0 0
/proc/12283/statm: 13067 11601 410 171 0 11992 0
Current children cumulated CPU time (s) 3.04
Current children cumulated vsize (KiB) 52268

[startup+6.30127 s]
/proc/loadavg: 2.14 2.17 2.10 3/73 12288
/proc/meminfo: memFree=1466612/2055920 swapFree=4192812/4192956
[pid=12283] ppid=12281 vsize=52892 CPUtime=6.22
/proc/12283/stat : 12283 (pcs.big) R 12281 12283 8667 0 -1 4194304 18990 663 0 0 613 9 0 0 25 0 1 0 59435046 54161408 11749 996147200 134512640 135215973 4294956304 18446744073709551615 134585720 0 0 4096 0 0 0 0 17 1 0 0
/proc/12283/statm: 13223 11749 410 171 0 12148 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 52892

[startup+12.702 s]
/proc/loadavg: 2.12 2.16 2.10 3/73 12288
/proc/meminfo: memFree=1462580/2055920 swapFree=4192812/4192956
[pid=12283] ppid=12281 vsize=58424 CPUtime=12.57
/proc/12283/stat : 12283 (pcs.big) R 12281 12283 8667 0 -1 4194304 20644 663 0 0 1247 10 0 0 25 0 1 0 59435046 59826176 12777 996147200 134512640 135215973 4294956304 18446744073709551615 134589864 0 0 4096 0 0 0 0 17 1 0 0
/proc/12283/statm: 14606 12777 410 171 0 13531 0
Current children cumulated CPU time (s) 12.57
Current children cumulated vsize (KiB) 58424

[startup+25.5024 s]
/proc/loadavg: 2.10 2.16 2.10 3/73 12288
/proc/meminfo: memFree=1455476/2055920 swapFree=4192812/4192956
[pid=12283] ppid=12281 vsize=60404 CPUtime=25.27
/proc/12283/stat : 12283 (pcs.big) R 12281 12283 8667 0 -1 4194304 21354 663 0 0 2517 10 0 0 25 0 1 0 59435046 61853696 13487 996147200 134512640 135215973 4294956304 18446744073709551615 134585786 0 0 4096 0 0 0 0 17 1 0 0
/proc/12283/statm: 15101 13487 410 171 0 14026 0
Current children cumulated CPU time (s) 25.27
Current children cumulated vsize (KiB) 60404

[startup+51.1023 s]
/proc/loadavg: 2.06 2.14 2.10 3/73 12288
/proc/meminfo: memFree=1430260/2055920 swapFree=4192812/4192956
[pid=12283] ppid=12281 vsize=80684 CPUtime=50.66
/proc/12283/stat : 12283 (pcs.big) R 12281 12283 8667 0 -1 4194304 31305 663 0 0 5053 13 0 0 25 0 1 0 59435046 82620416 18678 996147200 134512640 135215973 4294956304 18446744073709551615 134970649 0 0 4096 0 0 0 0 17 1 0 0
/proc/12283/statm: 20171 18678 413 171 0 19096 0
Current children cumulated CPU time (s) 50.66
Current children cumulated vsize (KiB) 80684

[startup+102.307 s]
/proc/loadavg: 2.02 2.12 2.09 3/73 12288
/proc/meminfo: memFree=1407604/2055920 swapFree=4192812/4192956
[pid=12283] ppid=12281 vsize=107312 CPUtime=101.42
/proc/12283/stat : 12283 (pcs.big) R 12281 12283 8667 0 -1 4194304 275529 663 0 0 10051 91 0 0 25 0 1 0 59435046 109887488 22498 996147200 134512640 135215973 4294956304 18446744073709551615 134583498 0 0 4096 0 0 0 0 17 1 0 0
/proc/12283/statm: 26828 22498 413 171 0 25753 0
Current children cumulated CPU time (s) 101.42
Current children cumulated vsize (KiB) 107312

[startup+162.303 s]
/proc/loadavg: 2.01 2.09 2.08 3/73 12288
/proc/meminfo: memFree=1379124/2055920 swapFree=4192812/4192956
[pid=12283] ppid=12281 vsize=127988 CPUtime=160.89
/proc/12283/stat : 12283 (pcs.big) R 12281 12283 8667 0 -1 4194304 538988 663 0 0 15913 176 0 0 25 0 1 0 59435046 131059712 27915 996147200 134512640 135215973 4294956304 18446744073709551615 4158960004 0 0 4096 0 0 0 0 17 1 0 0
/proc/12283/statm: 31997 27915 413 171 0 30922 0
Current children cumulated CPU time (s) 160.89
Current children cumulated vsize (KiB) 127988

[startup+222.302 s]
/proc/loadavg: 2.00 2.07 2.08 3/73 12288
/proc/meminfo: memFree=1348020/2055920 swapFree=4192812/4192956
[pid=12283] ppid=12281 vsize=149924 CPUtime=220.4
/proc/12283/stat : 12283 (pcs.big) R 12281 12283 8667 0 -1 4194304 868594 663 0 0 21762 278 0 0 25 0 1 0 59435046 153522176 33794 996147200 134512640 135215973 4294956304 18446744073709551615 134585880 0 0 4096 0 0 0 0 17 1 0 0
/proc/12283/statm: 37481 33794 413 171 0 36406 0
Current children cumulated CPU time (s) 220.4
Current children cumulated vsize (KiB) 149924

[startup+282.302 s]
/proc/loadavg: 2.00 2.06 2.07 3/73 12288
/proc/meminfo: memFree=1323316/2055920 swapFree=4192812/4192956
[pid=12283] ppid=12281 vsize=169568 CPUtime=279.89
/proc/12283/stat : 12283 (pcs.big) R 12281 12283 8667 0 -1 4194304 1125198 663 0 0 27637 352 0 0 25 0 1 0 59435046 173637632 38881 996147200 134512640 135215973 4294956304 18446744073709551615 4158960129 0 0 4096 0 0 0 0 17 1 0 0
/proc/12283/statm: 42392 38881 413 171 0 41317 0
Current children cumulated CPU time (s) 279.89
Current children cumulated vsize (KiB) 169568

[startup+342.303 s]
/proc/loadavg: 2.00 2.05 2.06 3/73 12288
/proc/meminfo: memFree=1306932/2055920 swapFree=4192812/4192956
[pid=12283] ppid=12281 vsize=179064 CPUtime=339.38
/proc/12283/stat : 12283 (pcs.big) R 12281 12283 8667 0 -1 4194304 1308872 663 0 0 33527 411 0 0 25 0 1 0 59435046 183361536 41595 996147200 134512640 135215973 4294956304 18446744073709551615 134585760 0 0 4096 0 0 0 0 17 1 0 0
/proc/12283/statm: 44766 41595 413 171 0 43691 0
Current children cumulated CPU time (s) 339.38
Current children cumulated vsize (KiB) 179064

[startup+402.302 s]
/proc/loadavg: 2.00 2.03 2.06 3/73 12293
/proc/meminfo: memFree=1280812/2055920 swapFree=4192812/4192956
[pid=12283] ppid=12281 vsize=198596 CPUtime=398.86
/proc/12283/stat : 12283 (pcs.big) R 12281 12283 8667 0 -1 4194304 1479406 663 0 0 39419 467 0 0 25 0 1 0 59435046 203362304 46448 996147200 134512640 135215973 4294956304 18446744073709551615 134585694 0 0 4096 0 0 0 0 17 1 0 0
/proc/12283/statm: 49649 46448 413 171 0 48574 0
Current children cumulated CPU time (s) 398.86
Current children cumulated vsize (KiB) 198596

[startup+462.302 s]
/proc/loadavg: 2.00 2.03 2.05 3/73 12293
/proc/meminfo: memFree=1258988/2055920 swapFree=4192812/4192956
[pid=12283] ppid=12281 vsize=215332 CPUtime=458.35
/proc/12283/stat : 12283 (pcs.big) R 12281 12283 8667 0 -1 4194304 1628863 663 0 0 45320 515 0 0 25 0 1 0 59435046 220499968 50637 996147200 134512640 135215973 4294956304 18446744073709551615 134597311 0 0 4096 0 0 0 0 17 1 0 0
/proc/12283/statm: 53833 50637 413 171 0 52758 0
Current children cumulated CPU time (s) 458.35
Current children cumulated vsize (KiB) 215332

[startup+522.303 s]
/proc/loadavg: 2.00 2.02 2.05 3/73 12293
/proc/meminfo: memFree=1235308/2055920 swapFree=4192812/4192956
[pid=12283] ppid=12281 vsize=230872 CPUtime=517.83
/proc/12283/stat : 12283 (pcs.big) R 12281 12283 8667 0 -1 4194304 1788293 663 0 0 51220 563 0 0 25 0 1 0 59435046 236412928 54469 996147200 134512640 135215973 4294956304 18446744073709551615 134585694 0 0 4096 0 0 0 0 17 1 0 0
/proc/12283/statm: 57718 54469 413 171 0 56643 0
Current children cumulated CPU time (s) 517.83
Current children cumulated vsize (KiB) 230872

[startup+582.302 s]
/proc/loadavg: 2.00 2.01 2.04 3/73 12293
/proc/meminfo: memFree=1216812/2055920 swapFree=4192812/4192956
[pid=12283] ppid=12281 vsize=243396 CPUtime=577.32
/proc/12283/stat : 12283 (pcs.big) R 12281 12283 8667 0 -1 4194304 1982902 663 0 0 57107 625 0 0 25 0 1 0 59435046 249237504 57678 996147200 134512640 135215973 4294956304 18446744073709551615 134597419 0 0 4096 0 0 0 0 17 1 0 0
/proc/12283/statm: 60849 57678 413 171 0 59774 0
Current children cumulated CPU time (s) 577.32
Current children cumulated vsize (KiB) 243396

[startup+642.301 s]
/proc/loadavg: 2.00 2.01 2.03 3/73 12293
/proc/meminfo: memFree=1175724/2055920 swapFree=4192812/4192956
[pid=12283] ppid=12281 vsize=282176 CPUtime=636.82
/proc/12283/stat : 12283 (pcs.big) R 12281 12283 8667 0 -1 4194304 2426435 663 0 0 62923 759 0 0 25 0 1 0 59435046 288948224 66275 996147200 134512640 135215973 4294956304 18446744073709551615 134588685 0 0 4096 0 0 0 0 17 1 0 0
/proc/12283/statm: 70544 66275 413 171 0 69469 0
Current children cumulated CPU time (s) 636.82
Current children cumulated vsize (KiB) 282176

[startup+702.302 s]

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

[startup+882.301 s]
/proc/loadavg: 2.00 2.00 2.01 3/73 12293
/proc/meminfo: memFree=1035956/2055920 swapFree=4192812/4192956
[pid=12283] ppid=12281 vsize=390996 CPUtime=874.85
/proc/12283/stat : 12283 (pcs.big) R 12281 12283 8667 0 -1 4194304 3782537 663 0 0 86309 1176 0 0 25 0 1 0 59435046 400379904 94148 996147200 134512640 135215973 4294956304 18446744073709551615 4158960519 0 0 4096 0 0 0 0 17 1 0 0
/proc/12283/statm: 97749 94148 413 171 0 96674 0
Current children cumulated CPU time (s) 874.85
Current children cumulated vsize (KiB) 390996

[startup+942.302 s]
/proc/loadavg: 2.00 2.00 2.01 3/73 12293
/proc/meminfo: memFree=1004724/2055920 swapFree=4192812/4192956
[pid=12283] ppid=12281 vsize=415220 CPUtime=934.35
/proc/12283/stat : 12283 (pcs.big) R 12281 12283 8667 0 -1 4194304 4147201 663 0 0 92150 1285 0 0 25 0 1 0 59435046 425185280 100459 996147200 134512640 135215973 4294956304 18446744073709551615 134627170 0 0 4096 0 0 0 0 17 1 0 0
/proc/12283/statm: 103805 100459 413 171 0 102730 0
Current children cumulated CPU time (s) 934.35
Current children cumulated vsize (KiB) 415220

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 12293
/proc/meminfo: memFree=977076/2055920 swapFree=4192812/4192956
[pid=12283] ppid=12281 vsize=437168 CPUtime=993.86
/proc/12283/stat : 12283 (pcs.big) R 12281 12283 8667 0 -1 4194304 4455392 663 0 0 98006 1380 0 0 25 0 1 0 59435046 447660032 106238 996147200 134512640 135215973 4294956304 18446744073709551615 134591783 0 0 4096 0 0 0 0 17 1 0 0
/proc/12283/statm: 109292 106238 413 171 0 108217 0
Current children cumulated CPU time (s) 993.86
Current children cumulated vsize (KiB) 437168

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 12293
/proc/meminfo: memFree=963380/2055920 swapFree=4192812/4192956
[pid=12283] ppid=12281 vsize=447452 CPUtime=1053.33
/proc/12283/stat : 12283 (pcs.big) R 12281 12283 8667 0 -1 4194304 4632841 663 0 0 103896 1437 0 0 25 0 1 0 59435046 458190848 108991 996147200 134512640 135215973 4294956304 18446744073709551615 134591470 0 0 4096 0 0 0 0 17 1 0 0
/proc/12283/statm: 111863 108991 413 171 0 110788 0
Current children cumulated CPU time (s) 1053.33
Current children cumulated vsize (KiB) 447452

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 12293
/proc/meminfo: memFree=938548/2055920 swapFree=4192812/4192956
[pid=12283] ppid=12281 vsize=468956 CPUtime=1112.84
/proc/12283/stat : 12283 (pcs.big) R 12281 12283 8667 0 -1 4194304 4934167 663 0 0 109754 1530 0 0 25 0 1 0 59435046 480210944 114517 996147200 134512640 135215973 4294956304 18446744073709551615 135096302 0 0 4096 0 0 0 0 17 1 0 0
/proc/12283/statm: 117239 114517 413 171 0 116164 0
Current children cumulated CPU time (s) 1112.84
Current children cumulated vsize (KiB) 468956

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 12293
/proc/meminfo: memFree=924276/2055920 swapFree=4192812/4192956
[pid=12283] ppid=12281 vsize=476344 CPUtime=1172.3
/proc/12283/stat : 12283 (pcs.big) R 12281 12283 8667 0 -1 4194304 5021236 663 0 0 115672 1558 0 0 25 0 1 0 59435046 487776256 116587 996147200 134512640 135215973 4294956304 18446744073709551615 134585716 0 0 4096 0 0 0 0 17 1 0 0
/proc/12283/statm: 119086 116587 413 171 0 118011 0
Current children cumulated CPU time (s) 1172.3
Current children cumulated vsize (KiB) 476344

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 12293
/proc/meminfo: memFree=916788/2055920 swapFree=4192812/4192956
[pid=12283] ppid=12281 vsize=479776 CPUtime=1231.76
/proc/12283/stat : 12283 (pcs.big) R 12281 12283 8667 0 -1 4194304 5078794 663 0 0 121599 1577 0 0 25 0 1 0 59435046 491290624 117682 996147200 134512640 135215973 4294956304 18446744073709551615 134583387 0 0 4096 0 0 0 0 17 1 0 0
/proc/12283/statm: 119944 117682 413 171 0 118869 0
Current children cumulated CPU time (s) 1231.76
Current children cumulated vsize (KiB) 479776

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 12293
/proc/meminfo: memFree=878708/2055920 swapFree=4192812/4192956
[pid=12283] ppid=12281 vsize=540584 CPUtime=1291.25
/proc/12283/stat : 12283 (pcs.big) R 12281 12283 8667 0 -1 4194304 5130123 663 0 0 127531 1594 0 0 25 0 1 0 59435046 553558016 126336 996147200 134512640 135215973 4294956304 18446744073709551615 134591826 0 0 4096 0 0 0 0 17 1 0 0
/proc/12283/statm: 135146 126336 413 171 0 134071 0
Current children cumulated CPU time (s) 1291.25
Current children cumulated vsize (KiB) 540584

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 12293
/proc/meminfo: memFree=874356/2055920 swapFree=4192812/4192956
[pid=12283] ppid=12281 vsize=541232 CPUtime=1350.71
/proc/12283/stat : 12283 (pcs.big) R 12281 12283 8667 0 -1 4194304 5254174 663 0 0 133437 1634 0 0 25 0 1 0 59435046 554221568 126499 996147200 134512640 135215973 4294956304 18446744073709551615 4158960181 0 0 4096 0 0 0 0 17 1 0 0
/proc/12283/statm: 135308 126499 413 171 0 134233 0
Current children cumulated CPU time (s) 1350.71
Current children cumulated vsize (KiB) 541232

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 12293
/proc/meminfo: memFree=870772/2055920 swapFree=4192812/4192956
[pid=12283] ppid=12281 vsize=541620 CPUtime=1410.2
/proc/12283/stat : 12283 (pcs.big) R 12281 12283 8667 0 -1 4194304 5348506 663 0 0 139356 1664 0 0 25 0 1 0 59435046 554618880 126610 996147200 134512640 135215973 4294956304 18446744073709551615 134600107 0 0 4096 0 0 0 0 17 1 0 0
/proc/12283/statm: 135405 126610 413 171 0 134330 0
Current children cumulated CPU time (s) 1410.2
Current children cumulated vsize (KiB) 541620

[startup+1482.3 s]
/proc/loadavg: 1.97 1.98 1.99 3/82 12432
/proc/meminfo: memFree=1100652/2055920 swapFree=4192812/4192956
[pid=12283] ppid=12281 vsize=542008 CPUtime=1470
/proc/12283/stat : 12283 (pcs.big) R 12281 12283 8667 0 -1 4194304 5435179 663 0 0 145309 1691 0 0 25 0 1 0 59435046 555016192 126805 996147200 134512640 135215973 4294956304 18446744073709551615 134533294 0 0 4096 0 0 0 0 17 0 0 0
/proc/12283/statm: 135502 126805 413 171 0 134427 0
Current children cumulated CPU time (s) 1470
Current children cumulated vsize (KiB) 542008

[startup+1542.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/82 12432
/proc/meminfo: memFree=1099308/2055920 swapFree=4192812/4192956
[pid=12283] ppid=12281 vsize=542524 CPUtime=1529.98
/proc/12283/stat : 12283 (pcs.big) R 12281 12283 8667 0 -1 4194304 5544897 663 0 0 151273 1725 0 0 25 0 1 0 59435046 555544576 127164 996147200 134512640 135215973 4294956304 18446744073709551615 134583634 0 0 4096 0 0 0 0 17 0 0 0
/proc/12283/statm: 135631 127164 413 171 0 134556 0
Current children cumulated CPU time (s) 1529.98
Current children cumulated vsize (KiB) 542524

[startup+1602.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/82 12432
/proc/meminfo: memFree=1098732/2055920 swapFree=4192812/4192956
[pid=12283] ppid=12281 vsize=542912 CPUtime=1589.96
/proc/12283/stat : 12283 (pcs.big) R 12281 12283 8667 0 -1 4194304 5621903 663 0 0 157245 1751 0 0 25 0 1 0 59435046 555941888 127262 996147200 134512640 135215973 4294956304 18446744073709551615 134585388 0 0 4096 0 0 0 0 17 0 0 0
/proc/12283/statm: 135728 127262 413 171 0 134653 0
Current children cumulated CPU time (s) 1589.96
Current children cumulated vsize (KiB) 542912

[startup+1662.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/82 12432
/proc/meminfo: memFree=1098348/2055920 swapFree=4192812/4192956
[pid=12283] ppid=12281 vsize=543300 CPUtime=1649.94
/proc/12283/stat : 12283 (pcs.big) R 12281 12283 8667 0 -1 4194304 5697608 663 0 0 163215 1779 0 0 25 0 1 0 59435046 556339200 127364 996147200 134512640 135215973 4294956304 18446744073709551615 134600802 0 0 4096 0 0 0 0 17 0 0 0
/proc/12283/statm: 135825 127364 413 171 0 134750 0
Current children cumulated CPU time (s) 1649.94
Current children cumulated vsize (KiB) 543300

[startup+1722.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/82 12432
/proc/meminfo: memFree=1088556/2055920 swapFree=4192812/4192956
[pid=12283] ppid=12281 vsize=553308 CPUtime=1709.92
/proc/12283/stat : 12283 (pcs.big) R 12281 12283 8667 0 -1 4194304 5907111 663 0 0 169152 1840 0 0 25 0 1 0 59435046 566587392 129894 996147200 134512640 135215973 4294956304 18446744073709551615 134591448 0 0 4096 0 0 0 0 17 0 0 0
/proc/12283/statm: 138327 129894 413 171 0 137252 0
Current children cumulated CPU time (s) 1709.92
Current children cumulated vsize (KiB) 553308

[startup+1782.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/82 12432
/proc/meminfo: memFree=1076524/2055920 swapFree=4192812/4192956
[pid=12283] ppid=12281 vsize=565708 CPUtime=1769.89
/proc/12283/stat : 12283 (pcs.big) R 12281 12283 8667 0 -1 4194304 6062753 663 0 0 175102 1887 0 0 25 0 1 0 59435046 579284992 133025 996147200 134512640 135215973 4294956304 18446744073709551615 134587924 0 0 4096 0 0 0 0 17 0 0 0
/proc/12283/statm: 141427 133026 413 171 0 140352 0
Current children cumulated CPU time (s) 1769.89
Current children cumulated vsize (KiB) 565708



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1812.5 s]
/proc/loadavg: 1.99 1.98 1.99 3/82 12432
/proc/meminfo: memFree=1071596/2055920 swapFree=4192812/4192956
[pid=12283] ppid=12281 vsize=569792 CPUtime=1800.09
/proc/12283/stat : 12283 (pcs.big) R 12281 12283 8667 0 -1 4194304 6153741 663 0 0 178094 1915 0 0 25 0 1 0 59435046 583467008 134055 996147200 134512640 135215973 4294956304 18446744073709551615 134585880 0 0 4096 0 0 0 0 17 0 0 0
/proc/12283/statm: 142448 134055 413 171 0 141373 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 569792

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

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

[startup+1812.5 s]
/proc/loadavg: 1.99 1.98 1.99 3/82 12432
/proc/meminfo: memFree=1071596/2055920 swapFree=4192812/4192956
[pid=12283] ppid=12281 vsize=569792 CPUtime=1800.09
/proc/12283/stat : 12283 (pcs.big) R 12281 12283 8667 0 -1 4194304 6153741 663 0 0 178094 1915 0 0 25 0 1 0 59435046 583467008 134055 996147200 134512640 135215973 4294956304 18446744073709551615 134585880 0 0 4096 0 0 0 0 17 0 0 0
/proc/12283/statm: 142448 134055 413 171 0 141373 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 569792

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1812.6
CPU time (s): 1800.2
CPU user time (s): 1780.95
CPU system time (s): 19.2511
CPU usage (%): 99.316
Max. virtual memory (cumulated for all children) (KiB): 570008

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1780.95
system time used= 19.2511
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 6154404
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= 25
involuntary context switches= 32258

runsolver used 2.38164 second user time and 5.41218 second system time

The end

Launcher Data 

Begin job on node9 at 2009-07-16 07:54:39
IDJOB=2083737
IDBENCH=57914
IDSOLVER=733
FILE ID=node9/2083737-1247723679
PBS_JOBID= 9521367
Free space on /tmp= 66368 MiB

SOLVER NAME= pcs 0.2
BENCH NAME= CPAI08/csp/fapp/fapp25/normalized-fapp25-2230-9.xml
COMMAND LINE= HOME/pcssolve -s RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2083737-1247723679/watcher-2083737-1247723679 -o /tmp/evaluation-result-2083737-1247723679/solver-2083737-1247723679 -C 1800 -W 2000 -M 900  HOME/pcssolve -s 1484379482 HOME/instance-2083737-1247723679.xml

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

MD5SUM BENCH= cd2c3c12815b02c7c73d42faba495a48
RANDOM SEED=1484379482

node9.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.216
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.216
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:       1513116 kB
Buffers:         76112 kB
Cached:         248860 kB
SwapCached:          0 kB
Active:         189104 kB
Inactive:       283748 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1513116 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            4360 kB
Writeback:           0 kB
Mapped:         159448 kB
Slab:            54844 kB
Committed_AS:   660740 kB
PageTables:       2068 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= 66372 MiB
End job on node9 at 2009-07-16 08:24:54