Trace number 365293

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, and are wall clock time (not CPU 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 NameAnswerObjective functionCPU timeWall clock time
Pueblo 1.4SAT16 1782.73 1783.56

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/~walser/
benchmarks/radar/normalized-10:20:4.5:0.95:100.opb
MD5SUMf9ec307a3c8f55679d3b9ab693efbd4c
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark1
Best CPU time to get the best result obtained on this benchmark0.797877
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 1
Optimality of the best value was proved YES
Number of variables934
Total number of constraints1063
Number of constraints which are clauses879
Number of constraints which are cardinality constraints (but not clauses)184
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint20
Number of terms in the objective function 934
Biggest coefficient in the objective function 546
Number of bits for the biggest coefficient in the objective function 10
Sum of the numbers in the objective function 2594
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 546
Number of bits of the biggest number in a constraint 10
Biggest sum of numbers in a constraint 2594
Number of bits of the biggest sum of numbers12
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data (download as text)

0.00/0.00	c Pueblo version 1.4 (September 2005)
0.00/0.00	c Developed @ University of Michigan, Ann Arbor, MI
0.00/0.00	c  by Hossein Sheini
0.00/0.02	c starting to Solve
0.00/0.02	c #variables read: 934 - #constraints read: 1064
0.00/0.02	o 566
0.00/0.03	o 565
0.00/0.03	o 564
0.00/0.03	o 563
0.00/0.04	o 562
1782.67/1783.55	c total time              : 1783 s
1782.67/1783.55	s SATISFIABLE
1782.67/1783.55	v -x854 -x783 -x198 x103 x22 x3 -x856 x104 x2 -x786 -x385 -x273 -x197 x21 x4 -x857 -x787 -x77 x56 x24 x5 -x384 -x276 -x203 -x76
1782.67/1783.55	v x55 x12 -x764 -x388 -x277 -x201 x57 x25 x6 -x763 -x248 -x151 -x78 x58 x27 x7 -x765 -x614 -x389 -x202 -x80 x59 -x40 x28 x8 -x766
1782.67/1783.55	v -x613 -x514 -x251 -x206 x150 x66 x39 -x767 -x619 -x252 -x81 x60 x41 -x774 -x618 -x513 -x327 -x156 -x126 x83 x61 x42 -x768 -x620
1782.67/1783.55	v -x154 x84 x62 x43 -x769 -x624 -x594 -x574 x519 x129 x50 -x770 -x623 -x578 x517 -x155 x130 x44 -x730 -x621 -x597 x577 -x159 x45
1782.67/1783.55	v -x622 -x598 x518 x46 -x882 x729 x522 -x853 -x782 -x193 x105 x18 -x858 -x788 -x538 -x469 -x272 -x199 x23 x15 -x542 -x72 x26 x16
1782.67/1783.55	v -x860 -x386 -x278 -x204 -x109 -x71 x30 x11 -x861 -x390 x29 -x791 -x247 -x207 -x146 -x79 x69 x9 -x205 -x82 x70 -x812 -x777 -x639
1782.67/1783.55	v -x509 -x392 -x323 -x281 -x253 x152 x86 -x65 -x778 -x643 -x615 -x393 x85 -x773 -x616 -x515 -x326 -x157 x125 -x63 x53 -x617 x54
1782.67/1783.55	v -x771 -x628 -x593 x520 -x256 -x160 x131 x49 -x573 -x158 -x878 -x599 -x575 x523 -x47 x579 x521 -x881 x731 -x134 -x602 -x855
1782.67/1783.55	v -x784 -x465 -x268 x106 x14 -x859 -x380 -x192 x17 x13 -x863 -x789 -x537 -x489 -x468 -x379 -x274 -x194 x110 x19 -x862 -x541 -x493
1782.67/1783.55	v -x200 -x108 x20 -x792 -x387 -x279 -x243 -x196 x68 x34 -x790 -x391 -x208 -x73 x67 -x808 -x776 -x395 -x302 -x282 -x249 -x74 x10
1782.67/1783.55	v -x775 -x394 -x280 -x145 x75 -x811 -x638 -x322 -x254 -x147 x121 x90 x52 -x642 -x508 x153 x51 -x631 -x589 -x510 -x328 -x257 x149
1782.67/1783.55	v x127 -x64 -x632 -x516 -x255 -x161 -x772 -x627 x595 x512 x132 -x726 x524 -x877 -x725 -x710 -x625 -x600 x331 x135 -x48 -x576
1782.67/1783.55	v -x133 -x883 x732 -x603 -x587 -x601 x583 -x901 x733 x582 -x905 x734 -x852 -x780 -x464 x423 x107 -x851 -x785 -x427 -x267 x111
1782.67/1783.55	v -x867 -x781 -x663 -x539 -x488 -x470 -x269 -x178 x37 -x793 -x667 -x543 -x492 -x381 x275 -x195 x38 -x382 -x298 x271 -x223 -x216
1782.67/1783.55	v x33 -x383 -x283 -x242 -x227 -x212 -x807 -x545 -x473 -x399 -x318 -x301 -x244 -x211 x93 x31 -x546 -x250 x94 -x813 -x640 -x630
1782.67/1783.55	v -x324 x246 x89 -x644 -x629 -x258 -x148 x120 -x914 -x837 -x329 -x169 x122 x87 -x918 -x588 -x511 -x165 x128 -x873 -x816 -x706
1782.67/1783.55	v -x646 -x590 -x532 x348 x332 -x164 x124 -x647 x596 -x528 -x352 x330 x136 -x879 -x709 -x626 x592 -x584 -x527 -x727 x604 -x586
1782.67/1783.55	v x96 -x884 x728 x95 -x900 -x885 x738 x580 -x904 -x886 -x870 -x534 -x466 x422 -x174 x119 x36 -x871 -x779 x426 x115 x35 -x866 -x801
1782.67/1783.55	v -x662 -x540 -x490 -x471 -x213 x177 -x114 -x797 -x666 -x544 -x494 x270 -x215 -x864 -x803 -x796 -x548 -x474 -x451 -x402 -x297
1782.67/1783.55	v -x291 x222 x92 -x634 -x547 -x472 -x403 x287 -x226 x91 -x809 -x633 -x496 -x398 -x303 x286 -x209 x32 -x497 -x317 -x245 -x833
1782.67/1783.55	v -x814 -x753 -x641 -x396 -x319 x266 -x210 -x166 -x645 -x325 x262 -x168 -x913 -x836 -x817 -x649 -x529 x321 -x306 -x261 -x88
1782.67/1783.55	v -x917 -x815 -x648 -x531 x333 x123 -x705 x347 -x162 x144 -x872 -x591 -x585 x351 x140 -x874 -x711 -x612 -x525 -x163 x139 x880
1782.67/1783.55	v x608 x876 -x741 -x607 x562 -x526 -x887 -x742 x566 x97 -x902 -x737 -x714 x581 x98 x906 -x868 -x798 -x485 -x462 x424 x173 x118
1782.67/1783.55	v -x800 -x533 -x467 x428 -x214 -x664 -x535 -x491 -x463 -x447 -x401 -x293 -x288 x179 -x112 -x668 -x536 -x495 -x475 -x400 -x290
1782.67/1783.55	v -x865 -x794 -x552 -x499 -x450 -x430 -x299 x224 -x113 -x802 -x498 -x431 -x228 -x804 -x795 -x749 -x688 -x670 -x304 -x284 x263
1782.67/1783.55	v x182 -x810 -x692 -x671 x635 x265 -x167 -x832 -x806 -x752 x636 -x397 -x307 -x285 -x230 -x818 x637 -x530 -x320 -x305 -x231 -x915
1782.67/1783.55	v -x838 -x701 -x653 x341 -x259 x141 -x919 x337 x143 -x707 -x609 x349 x336 -x260 -x611 x353 -x921 -x841 -x740 -x712 -x413 -x372
1782.67/1783.55	v -x137 -x922 -x897 -x875 -x739 -x376 -x896 -x895 -x715 -x605 x561 x355 -x138 -x891 -x713 x565 -x356 x903 -x890 -x735 -x606
1782.67/1783.55	v x101 x907 x102 -x869 -x799 -x659 x425 x175 x116 -x484 -x461 x429 -x289 x218 -x665 -x555 -x486 -x483 -x446 x433 x217 x180 -x669
1782.67/1783.55	v -x556 -x487 -x479 -x432 -x292 -x673 -x551 -x503 -x478 -x452 x294 x225 x183 -x672 x300 x264 -x229 x181 -x828 -x748 -x687 -x549
1782.67/1783.55	v x296 -x233 -x909 -x805 -x691 -x308 -x232 -x908 -x834 -x826 -x754 -x656 x455 x338 -x822 -x657 x343 x340 x142 -x916 -x839 -x821
1782.67/1783.55	v -x652 x342 -x920 -x700 -x610 -x924 -x842 -x757 -x702 -x650 -x409 x350 x334 -x923 -x840 -x708 x354 -x892 -x704 -x412 -x371
1782.67/1783.55	v x358 x335 -x894 -x716 -x375 x357 x563 x100 x898 x567 x99 x899 -x888 -x736 -x554 -x480 x442 -x421 x171 x117 -x658 -x553 -x482
1782.67/1783.55	v x420 x176 -x660 -x506 x448 -x437 x172 -x661 -x507 x219 x184 -x744 -x677 -x502 -x476 -x453 x220 x295 x221 -x823 -x750 -x689
1782.67/1783.55	v -x655 -x550 -x500 -x477 x456 -x316 x237 -x827 -x825 -x693 -x654 x454 -x339 x312 -x829 -x755 x311 -x910 x835 -x911 x831 -x819
1782.67/1783.55	v -x758 -x695 -x912 -x843 -x756 -x696 x344 -x928 -x820 -x651 -x408 x345 -x893 -x703 x558 x346 -x724 x557 -x414 x373 x362 -x720
1782.67/1783.55	v x377 -x719 x564 x568 -x889 -x569 -x417 -x570 -x505 -x481 x438 -x504 x441 x440 x170 -x680 x443 -x436 x191 -x683 -x681 x449 x188
1782.67/1783.55	v -x682 -x676 x445 -x434 -x313 x240 x187 -x824 -x743 x457 -x315 x241 -x745 -x690 -x674 -x501 x236 -x751 -x694 -x747 -x698 x309
1782.67/1783.55	v x234 x830 -x759 -x697 -x931 x850 x406 -x310 -x932 x847 -x368 -x927 x846 -x721 -x410 x367 x365 -x723 x366 -x925 -x415 x374 x361
1782.67/1783.55	v x559 x378 x933 -x717 x560 x418 -x359 -x416 -x718 -x679 x439 x190 -x678 x189 x239 x444 -x314 x238 x460 -x435 x185 -x684 x458
1782.67/1783.55	v -x685 -x675 x459 x186 -x746 -x686 -x930 x849 -x762 -x699 x235 -x929 x848 -x760 -x761 x364 -x722 x405 x363 -x844 x404 -x411
1782.67/1783.55	v x369 -x926 -x845 x407 x370 x419 x572 x934 -x360 x571 x1

Verifier Data (download as text)

OK	16

Conversion Script Data (download as text)

/tmp/evaluation/365293-1177048545/instance-365293-1177048545.opb is already a linear file

Watcher Data (download as text)

runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node10/watcher-365293-1177048545 -o ROOT/results/node10/solver-365293-1177048545 -C 1800 -W 3600 -M 1800 --output-limit 1,15 Pueblo /tmp/evaluation/365293-1177048545/instance-365293-1177048545.opb 

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): 3600 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 4797
/proc/meminfo: memFree=1656968/2055920 swapFree=4152380/4192956
[pid=4797] ppid=4795 vsize=2552 CPUtime=0
/proc/4797/stat : 4797 (Pueblo) R 4795 4797 3168 0 -1 4194304 258 0 0 0 0 0 0 0 18 0 1 0 180892004 2613248 228 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134546737 0 0 4096 0 0 0 0 17 1 0 0
/proc/4797/statm: 638 229 193 16 0 77 0

[startup+0.0597591 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 4797
/proc/meminfo: memFree=1656968/2055920 swapFree=4152380/4192956
[pid=4797] ppid=4795 vsize=3084 CPUtime=0.05
/proc/4797/stat : 4797 (Pueblo) R 4795 4797 3168 0 -1 4194304 427 0 0 0 5 0 0 0 18 0 1 0 180892004 3158016 397 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/4797/statm: 771 397 205 16 0 210 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 3084

[startup+0.101766 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 4797
/proc/meminfo: memFree=1656968/2055920 swapFree=4152380/4192956
[pid=4797] ppid=4795 vsize=3332 CPUtime=0.09
/proc/4797/stat : 4797 (Pueblo) R 4795 4797 3168 0 -1 4194304 467 0 0 0 9 0 0 0 18 0 1 0 180892004 3411968 437 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 9340539 0 0 4096 0 0 0 0 17 1 0 0
/proc/4797/statm: 833 437 205 16 0 272 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3332

[startup+0.301811 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 4797
/proc/meminfo: memFree=1656968/2055920 swapFree=4152380/4192956
[pid=4797] ppid=4795 vsize=3716 CPUtime=0.29
/proc/4797/stat : 4797 (Pueblo) R 4795 4797 3168 0 -1 4194304 557 0 0 0 29 0 0 0 20 0 1 0 180892004 3805184 527 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/4797/statm: 929 527 205 16 0 368 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 3716

[startup+0.701898 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 4797
/proc/meminfo: memFree=1656968/2055920 swapFree=4152380/4192956
[pid=4797] ppid=4795 vsize=4104 CPUtime=0.69
/proc/4797/stat : 4797 (Pueblo) R 4795 4797 3168 0 -1 4194304 661 0 0 0 69 0 0 0 24 0 1 0 180892004 4202496 631 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/4797/statm: 1026 631 205 16 0 465 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 4104

[startup+1.50107 s]
/proc/loadavg: 0.92 0.98 0.99 2/78 4798
/proc/meminfo: memFree=1654528/2055920 swapFree=4152380/4192956
[pid=4797] ppid=4795 vsize=5260 CPUtime=1.49
/proc/4797/stat : 4797 (Pueblo) R 4795 4797 3168 0 -1 4194304 953 0 0 0 148 1 0 0 25 0 1 0 180892004 5386240 923 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/4797/statm: 1315 923 205 16 0 754 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 5260

[startup+3.10141 s]
/proc/loadavg: 0.92 0.98 0.99 2/78 4798
/proc/meminfo: memFree=1653568/2055920 swapFree=4152380/4192956
[pid=4797] ppid=4795 vsize=5892 CPUtime=3.09
/proc/4797/stat : 4797 (Pueblo) R 4795 4797 3168 0 -1 4194304 1117 0 0 0 308 1 0 0 25 0 1 0 180892004 6033408 1087 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/4797/statm: 1473 1087 205 16 0 912 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 5892

[startup+6.3021 s]
/proc/loadavg: 0.93 0.98 0.99 2/78 4798
/proc/meminfo: memFree=1652544/2055920 swapFree=4152380/4192956
[pid=4797] ppid=4795 vsize=6912 CPUtime=6.29
/proc/4797/stat : 4797 (Pueblo) R 4795 4797 3168 0 -1 4194304 1361 0 0 0 627 2 0 0 25 0 1 0 180892004 7077888 1331 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/4797/statm: 1728 1331 205 16 0 1167 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 6912

[startup+12.7015 s]
/proc/loadavg: 0.93 0.98 0.99 2/78 4798
/proc/meminfo: memFree=1651400/2055920 swapFree=4152380/4192956
[pid=4797] ppid=4795 vsize=7676 CPUtime=12.68
/proc/4797/stat : 4797 (Pueblo) R 4795 4797 3168 0 -1 4194304 1558 0 0 0 1264 4 0 0 25 0 1 0 180892004 7860224 1528 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/4797/statm: 1919 1528 205 16 0 1358 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 7676

[startup+25.5012 s]
/proc/loadavg: 0.95 0.98 0.99 2/78 4798
/proc/meminfo: memFree=1650440/2055920 swapFree=4152380/4192956
[pid=4797] ppid=4795 vsize=8572 CPUtime=25.48
/proc/4797/stat : 4797 (Pueblo) R 4795 4797 3168 0 -1 4194304 1774 0 0 0 2539 9 0 0 25 0 1 0 180892004 8777728 1744 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/4797/statm: 2143 1744 205 16 0 1582 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 8572

[startup+51.1018 s]
/proc/loadavg: 0.96 0.98 0.99 2/78 4798
/proc/meminfo: memFree=1649672/2055920 swapFree=4152380/4192956
[pid=4797] ppid=4795 vsize=9196 CPUtime=51.07
/proc/4797/stat : 4797 (Pueblo) R 4795 4797 3168 0 -1 4194304 1955 0 0 0 5089 18 0 0 25 0 1 0 180892004 9416704 1925 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/4797/statm: 2299 1925 205 16 0 1738 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 9196

[startup+102.306 s]
/proc/loadavg: 0.98 0.98 0.99 2/78 4798
/proc/meminfo: memFree=1648264/2055920 swapFree=4152380/4192956
[pid=4797] ppid=4795 vsize=10556 CPUtime=102.25
/proc/4797/stat : 4797 (Pueblo) R 4795 4797 3168 0 -1 4194304 2317 0 0 0 10186 39 0 0 25 0 1 0 180892004 10809344 2263 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/4797/statm: 2639 2263 205 16 0 2078 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 10556

[startup+162.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 4798
/proc/meminfo: memFree=1647176/2055920 swapFree=4152380/4192956
[pid=4797] ppid=4795 vsize=11684 CPUtime=162.23
/proc/4797/stat : 4797 (Pueblo) R 4795 4797 3168 0 -1 4194304 2655 0 0 0 16163 60 0 0 25 0 1 0 180892004 11964416 2540 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/4797/statm: 2921 2540 205 16 0 2360 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 11684

[startup+222.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 4798
/proc/meminfo: memFree=1646856/2055920 swapFree=4152380/4192956
[pid=4797] ppid=4795 vsize=11924 CPUtime=222.21
/proc/4797/stat : 4797 (Pueblo) R 4795 4797 3168 0 -1 4194304 2735 0 0 0 22134 87 0 0 25 0 1 0 180892004 12210176 2608 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/4797/statm: 2981 2608 205 16 0 2420 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 11924

[startup+282.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 4798
/proc/meminfo: memFree=1645128/2055920 swapFree=4152380/4192956
[pid=4797] ppid=4795 vsize=13692 CPUtime=282.18
/proc/4797/stat : 4797 (Pueblo) R 4795 4797 3168 0 -1 4194304 3180 0 0 0 28113 105 0 0 25 0 1 0 180892004 14020608 3045 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/4797/statm: 3423 3045 205 16 0 2862 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 13692

[startup+342.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/84 4936
/proc/meminfo: memFree=1643384/2055920 swapFree=4152380/4192956
[pid=4797] ppid=4795 vsize=14044 CPUtime=342.07
/proc/4797/stat : 4797 (Pueblo) R 4795 4797 3168 0 -1 4194304 3270 0 0 0 34085 122 0 0 25 0 1 0 180892004 14381056 3135 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/4797/statm: 3511 3135 205 16 0 2950 0
Current children cumulated CPU time (s) 342.07
Current children cumulated vsize (KiB) 14044

[startup+402.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 4996
/proc/meminfo: memFree=1643976/2055920 swapFree=4152380/4192956
[pid=4797] ppid=4795 vsize=14324 CPUtime=402.01
/proc/4797/stat : 4797 (Pueblo) R 4795 4797 3168 0 -1 4194304 3433 0 0 0 40063 138 0 0 25 0 1 0 180892004 14667776 3208 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/4797/statm: 3581 3208 205 16 0 3020 0
Current children cumulated CPU time (s) 402.01
Current children cumulated vsize (KiB) 14324

[startup+462.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 4996
/proc/meminfo: memFree=1644168/2055920 swapFree=4152380/4192956
[pid=4797] ppid=4795 vsize=14540 CPUtime=461.99
/proc/4797/stat : 4797 (Pueblo) R 4795 4797 3168 0 -1 4194304 3472 0 0 0 46044 155 0 0 25 0 1 0 180892004 14888960 3247 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/4797/statm: 3635 3247 205 16 0 3074 0
Current children cumulated CPU time (s) 461.99
Current children cumulated vsize (KiB) 14540

[startup+522.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 4996
/proc/meminfo: memFree=1644104/2055920 swapFree=4152380/4192956
[pid=4797] ppid=4795 vsize=14624 CPUtime=521.97
/proc/4797/stat : 4797 (Pueblo) R 4795 4797 3168 0 -1 4194304 3526 0 0 0 52022 175 0 0 25 0 1 0 180892004 14974976 3275 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/4797/statm: 3656 3275 205 16 0 3095 0
Current children cumulated CPU time (s) 521.97
Current children cumulated vsize (KiB) 14624

[startup+582.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 4996
/proc/meminfo: memFree=1644104/2055920 swapFree=4152380/4192956
[pid=4797] ppid=4795 vsize=14708 CPUtime=581.94
/proc/4797/stat : 4797 (Pueblo) R 4795 4797 3168 0 -1 4194304 3559 0 0 0 58002 192 0 0 25 0 1 0 180892004 15060992 3279 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/4797/statm: 3677 3279 205 16 0 3116 0
Current children cumulated CPU time (s) 581.94
Current children cumulated vsize (KiB) 14708

[startup+642.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 4996
/proc/meminfo: memFree=1643144/2055920 swapFree=4152380/4192956
[pid=4797] ppid=4795 vsize=15684 CPUtime=641.93
/proc/4797/stat : 4797 (Pueblo) R 4795 4797 3168 0 -1 4194304 3826 0 0 0 63981 212 0 0 25 0 1 0 180892004 16060416 3532 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/4797/statm: 3921 3532 205 16 0 3360 0
Current children cumulated CPU time (s) 641.93
Current children cumulated vsize (KiB) 15684


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

/proc/meminfo: memFree=1642248/2055920 swapFree=4152380/4192956
[pid=4797] ppid=4795 vsize=16404 CPUtime=821.85
/proc/4797/stat : 4797 (Pueblo) R 4795 4797 3168 0 -1 4194304 4104 0 0 0 81916 269 0 0 25 0 1 0 180892004 16797696 3728 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/4797/statm: 4101 3728 205 16 0 3540 0
Current children cumulated CPU time (s) 821.85
Current children cumulated vsize (KiB) 16404

[startup+882.302 s]
/proc/loadavg: 1.10 1.03 1.00 2/78 4996
/proc/meminfo: memFree=1641864/2055920 swapFree=4152380/4192956
[pid=4797] ppid=4795 vsize=16796 CPUtime=881.82
/proc/4797/stat : 4797 (Pueblo) R 4795 4797 3168 0 -1 4194304 4216 0 0 0 87894 288 0 0 25 0 1 0 180892004 17199104 3826 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/4797/statm: 4199 3826 205 16 0 3638 0
Current children cumulated CPU time (s) 881.82
Current children cumulated vsize (KiB) 16796

[startup+942.302 s]
/proc/loadavg: 1.10 1.04 1.00 2/78 4996
/proc/meminfo: memFree=1641672/2055920 swapFree=4152380/4192956
[pid=4797] ppid=4795 vsize=17100 CPUtime=941.8
/proc/4797/stat : 4797 (Pueblo) R 4795 4797 3168 0 -1 4194304 4298 0 0 0 93870 310 0 0 25 0 1 0 180892004 17510400 3902 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/4797/statm: 4275 3902 205 16 0 3714 0
Current children cumulated CPU time (s) 941.8
Current children cumulated vsize (KiB) 17100

[startup+1002.3 s]
/proc/loadavg: 1.09 1.04 1.00 2/78 4996
/proc/meminfo: memFree=1641672/2055920 swapFree=4152380/4192956
[pid=4797] ppid=4795 vsize=16992 CPUtime=1001.78
/proc/4797/stat : 4797 (Pueblo) R 4795 4797 3168 0 -1 4194304 4298 0 0 0 99843 335 0 0 25 0 1 0 180892004 17399808 3875 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/4797/statm: 4248 3875 205 16 0 3687 0
Current children cumulated CPU time (s) 1001.78
Current children cumulated vsize (KiB) 16992

[startup+1062.3 s]
/proc/loadavg: 1.09 1.05 1.00 2/78 4996
/proc/meminfo: memFree=1641736/2055920 swapFree=4152380/4192956
[pid=4797] ppid=4795 vsize=16992 CPUtime=1061.75
/proc/4797/stat : 4797 (Pueblo) R 4795 4797 3168 0 -1 4194304 4298 0 0 0 105816 359 0 0 25 0 1 0 180892004 17399808 3875 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/4797/statm: 4248 3875 205 16 0 3687 0
Current children cumulated CPU time (s) 1061.75
Current children cumulated vsize (KiB) 16992

[startup+1122.3 s]
/proc/loadavg: 1.03 1.03 1.00 2/78 4996
/proc/meminfo: memFree=1641736/2055920 swapFree=4152380/4192956
[pid=4797] ppid=4795 vsize=16832 CPUtime=1121.73
/proc/4797/stat : 4797 (Pueblo) R 4795 4797 3168 0 -1 4194304 4298 0 0 0 111792 381 0 0 25 0 1 0 180892004 17235968 3835 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/4797/statm: 4208 3835 205 16 0 3647 0
Current children cumulated CPU time (s) 1121.73
Current children cumulated vsize (KiB) 16832

[startup+1182.3 s]
/proc/loadavg: 1.01 1.03 1.00 2/78 4996
/proc/meminfo: memFree=1641800/2055920 swapFree=4152380/4192956
[pid=4797] ppid=4795 vsize=16888 CPUtime=1181.7
/proc/4797/stat : 4797 (Pueblo) R 4795 4797 3168 0 -1 4194304 4322 0 0 0 117762 408 0 0 25 0 1 0 180892004 17293312 3849 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/4797/statm: 4222 3849 205 16 0 3661 0
Current children cumulated CPU time (s) 1181.7
Current children cumulated vsize (KiB) 16888

[startup+1242.3 s]
/proc/loadavg: 1.00 1.02 1.00 2/78 4996
/proc/meminfo: memFree=1641736/2055920 swapFree=4152380/4192956
[pid=4797] ppid=4795 vsize=17112 CPUtime=1241.68
/proc/4797/stat : 4797 (Pueblo) R 4795 4797 3168 0 -1 4194304 4369 0 0 0 123734 434 0 0 25 0 1 0 180892004 17522688 3895 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/4797/statm: 4278 3895 205 16 0 3717 0
Current children cumulated CPU time (s) 1241.68
Current children cumulated vsize (KiB) 17112

[startup+1302.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/78 4996
/proc/meminfo: memFree=1641480/2055920 swapFree=4152380/4192956
[pid=4797] ppid=4795 vsize=17248 CPUtime=1301.66
/proc/4797/stat : 4797 (Pueblo) R 4795 4797 3168 0 -1 4194304 4476 0 0 0 129706 460 0 0 25 0 1 0 180892004 17661952 3939 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/4797/statm: 4312 3939 205 16 0 3751 0
Current children cumulated CPU time (s) 1301.66
Current children cumulated vsize (KiB) 17248

[startup+1362.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/78 4996
/proc/meminfo: memFree=1641480/2055920 swapFree=4152380/4192956
[pid=4797] ppid=4795 vsize=17248 CPUtime=1361.64
/proc/4797/stat : 4797 (Pueblo) R 4795 4797 3168 0 -1 4194304 4476 0 0 0 135674 490 0 0 25 0 1 0 180892004 17661952 3939 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/4797/statm: 4312 3939 205 16 0 3751 0
Current children cumulated CPU time (s) 1361.64
Current children cumulated vsize (KiB) 17248

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 4996
/proc/meminfo: memFree=1639816/2055920 swapFree=4152380/4192956
[pid=4797] ppid=4795 vsize=18940 CPUtime=1421.62
/proc/4797/stat : 4797 (Pueblo) R 4795 4797 3168 0 -1 4194304 4931 0 0 0 141653 509 0 0 25 0 1 0 180892004 19394560 4355 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/4797/statm: 4735 4355 205 16 0 4174 0
Current children cumulated CPU time (s) 1421.62
Current children cumulated vsize (KiB) 18940

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 4996
/proc/meminfo: memFree=1639240/2055920 swapFree=4152380/4192956
[pid=4797] ppid=4795 vsize=19536 CPUtime=1481.59
/proc/4797/stat : 4797 (Pueblo) R 4795 4797 3168 0 -1 4194304 5139 0 0 0 147638 521 0 0 25 0 1 0 180892004 20004864 4510 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/4797/statm: 4884 4510 205 16 0 4323 0
Current children cumulated CPU time (s) 1481.59
Current children cumulated vsize (KiB) 19536

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 4996
/proc/meminfo: memFree=1638856/2055920 swapFree=4152380/4192956
[pid=4797] ppid=4795 vsize=20036 CPUtime=1541.56
/proc/4797/stat : 4797 (Pueblo) R 4795 4797 3168 0 -1 4194304 5263 0 0 0 153623 533 0 0 25 0 1 0 180892004 20516864 4623 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/4797/statm: 5009 4623 205 16 0 4448 0
Current children cumulated CPU time (s) 1541.56
Current children cumulated vsize (KiB) 20036

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 4996
/proc/meminfo: memFree=1638856/2055920 swapFree=4152380/4192956
[pid=4797] ppid=4795 vsize=19992 CPUtime=1601.54
/proc/4797/stat : 4797 (Pueblo) R 4795 4797 3168 0 -1 4194304 5263 0 0 0 159608 546 0 0 25 0 1 0 180892004 20471808 4623 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/4797/statm: 4998 4623 205 16 0 4437 0
Current children cumulated CPU time (s) 1601.54
Current children cumulated vsize (KiB) 19992

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 4996
/proc/meminfo: memFree=1638536/2055920 swapFree=4152380/4192956
[pid=4797] ppid=4795 vsize=20196 CPUtime=1661.52
/proc/4797/stat : 4797 (Pueblo) R 4795 4797 3168 0 -1 4194304 5337 0 0 0 165590 562 0 0 25 0 1 0 180892004 20680704 4676 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/4797/statm: 5049 4676 205 16 0 4488 0
Current children cumulated CPU time (s) 1661.52
Current children cumulated vsize (KiB) 20196

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 4996
/proc/meminfo: memFree=1638280/2055920 swapFree=4152380/4192956
[pid=4797] ppid=4795 vsize=20636 CPUtime=1721.5
/proc/4797/stat : 4797 (Pueblo) R 4795 4797 3168 0 -1 4194304 5439 0 0 0 171574 576 0 0 25 0 1 0 180892004 21131264 4772 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/4797/statm: 5159 4772 205 16 0 4598 0
Current children cumulated CPU time (s) 1721.5
Current children cumulated vsize (KiB) 20636

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 4996
/proc/meminfo: memFree=1637576/2055920 swapFree=4152380/4192956
[pid=4797] ppid=4795 vsize=21344 CPUtime=1781.47
/proc/4797/stat : 4797 (Pueblo) R 4795 4797 3168 0 -1 4194304 5608 0 0 0 177560 587 0 0 25 0 1 0 180892004 21856256 4937 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134527661 0 0 4096 0 0 0 0 17 1 0 0
/proc/4797/statm: 5336 4937 205 16 0 4775 0
Current children cumulated CPU time (s) 1781.47
Current children cumulated vsize (KiB) 21344

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

[startup+1783.11 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 4996
/proc/meminfo: memFree=1637576/2055920 swapFree=4152380/4192956
[pid=4797] ppid=4795 vsize=21344 CPUtime=1782.27
/proc/4797/stat : 4797 (Pueblo) R 4795 4797 3168 0 -1 4194304 5608 0 0 0 177640 587 0 0 25 0 1 0 180892004 21856256 4937 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/4797/statm: 5336 4937 205 16 0 4775 0
Current children cumulated CPU time (s) 1782.27
Current children cumulated vsize (KiB) 21344

[startup+1783.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 4996
/proc/meminfo: memFree=1637576/2055920 swapFree=4152380/4192956
[pid=4797] ppid=4795 vsize=21344 CPUtime=1782.67
/proc/4797/stat : 4797 (Pueblo) R 4795 4797 3168 0 -1 4194304 5608 0 0 0 177680 587 0 0 25 0 1 0 180892004 21856256 4937 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/4797/statm: 5336 4937 205 16 0 4775 0
Current children cumulated CPU time (s) 1782.67
Current children cumulated vsize (KiB) 21344

Child status: 10
Real time (s): 1783.56
CPU time (s): 1782.73
CPU user time (s): 1776.85
CPU system time (s): 5.8821
CPU usage (%): 99.9538
Max. virtual memory (cumulated for all children) (KiB): 21344

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1776.85
system time used= 5.88211
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5615
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= 14
involuntary context switches= 37715

runsolver used 1.84872 second user time and 4.15137 second system time

The end

Launcher Data (download as text)

Begin job on node10 on Fri Apr 20 05:55:45 UTC 2007

IDJOB= 365293
IDBENCH= 2227
IDSOLVER= 165
FILE ID= node10/365293-1177048545

PBS_JOBID= 4640133

Free space on /tmp= 66268 MiB

SOLVER NAME= Pueblo 1.4
BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/~walser/benchmarks/radar/normalized-10:20:4.5:0.95:100.opb
COMMAND LINE= Pueblo /tmp/evaluation/365293-1177048545/instance-365293-1177048545.opb
CONVERSION COMMAND LINE= runsolver -w ROOT/results/node10/convwatcher-365293-1177048545 -o ROOT/results/node10/conversion-365293-1177048545 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/365293-1177048545/instance-365293-1177048545.opb
CONVERSION RUNSOLVER STATUS CODE= 0
CONVERSION STATUS CODE= 0

RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node10/watcher-365293-1177048545 -o ROOT/results/node10/solver-365293-1177048545 -C 1800 -W 3600 -M 1800 --output-limit 1,15  Pueblo /tmp/evaluation/365293-1177048545/instance-365293-1177048545.opb

META MD5SUM SOLVER= 9ebec3e8d890fdeefad01654ad9b68b7
MD5SUM BENCH=  f9ec307a3c8f55679d3b9ab693efbd4c

RANDOM SEED= 33252140

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node10.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux

/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.259
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.259
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:       1657312 kB
Buffers:         36268 kB
Cached:         286644 kB
SwapCached:       8860 kB
Active:         128284 kB
Inactive:       217772 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1657312 kB
SwapTotal:     4192956 kB
SwapFree:      4152380 kB
Dirty:            2412 kB
Writeback:           0 kB
Mapped:          30188 kB
Slab:            38104 kB
Committed_AS:  3611696 kB
PageTables:       1708 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= 66268 MiB

End job on node10 on Fri Apr 20 06:25:29 UTC 2007