Name | normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-ii16b1.opb |
MD5SUM | dd9b4ae34921e1731f1a12dcd9d29b23 |
Bench Category | optimization, small integers (OPTSMALLINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 1528 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 3456 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 3456 |
Number of bits of the sum of numbers in the objective function | 12 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 3456 |
Number of bits of the biggest sum of numbers | 12 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1175.09 |
Number of variables | 3456 |
Total number of constraints | 26520 |
Number of constraints which are clauses | 26520 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 16 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc1 THE 2005-06-15 21:34:09 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=25236 boxname=wulflinc1 idbench=138 idsolver=18 numberseed=0 MD5SUM SOLVER: MD5SUM BENCH: dd9b4ae34921e1731f1a12dcd9d29b23 /oldhome/oroussel/tmp/wulflinc1/normalized-ii16b1.opb REAL COMMAND: pb2sat-v2 /oldhome/oroussel/tmp/wulflinc1/normalized-ii16b1.opb IDLAUNCH: 25236 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.053 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 888.83 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.053 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 899.07 /proc/meminfo: MemTotal: 1034660 kB MemFree: 827536 kB Buffers: 33672 kB Cached: 149280 kB SwapCached: 1192 kB Active: 77360 kB Inactive: 107956 kB HighTotal: 131008 kB HighFree: 252 kB LowTotal: 903652 kB LowFree: 827284 kB SwapTotal: 2097136 kB SwapFree: 2094880 kB Dirty: 28 kB Writeback: 0 kB Mapped: 5364 kB Slab: 15932 kB Committed_AS: 92720 kB PageTables: 332 kB VmallocTotal: 114680 kB VmallocUsed: 1388 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-06-15 21:44:23 (client local time) WITH STATUS 1 IN 614.182 SECONDS stats: 25236 7 614.182 1 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c This solver internally uses Chaff 2004.11.15 Simplified c running zchaff... c got solution with objective value: 1728 c big objective detected c trying from 0 to 511 Unexpected exception : St9bad_alloc #### END SOLVER DATA #### #### BEGIN WATCHER DATA #### Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds Enforcing VSIZE limit: 943718400 bytes Enforcing Stack size limit: 67108864 bytes Current StackSize limit: 67108864 bytes Raw data (loadavg): 0.91 0.95 0.90 2/55 6272 Raw data (stat): 6272 (runsolver) R 6271 8378 8377 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 908541094 884736 94 4294967295 134512640 135332820 3221224480 3221219660 135092226 0 2147483391 7 90112 0 0 0 17 1 0 0 Raw data (statm): 216 94 205 205 0 11 0 vsize: 864 [startup+10.0004 s] Raw data (loadavg): 0.93 0.95 0.90 2/55 6272 Raw data (stat): 6272 (pb2sat-v2) R 6271 8378 8377 0 -1 0 25084 0 0 0 945 53 0 0 25 0 1 0 908541094 86167552 14244 4294967295 134512640 135730672 3221224592 3220772528 134783984 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 21037 14244 301 301 0 20736 0 vsize: 84148 [startup+20.001 s] Raw data (loadavg): 0.94 0.96 0.91 2/55 6272 Raw data (stat): 6272 (pb2sat-v2) R 6271 8378 8377 0 -1 0 52200 0 0 0 1886 113 0 0 25 0 1 0 908541094 168644608 30412 4294967295 134512640 135730672 3221224592 3220548064 135282773 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 41173 30412 301 301 0 40872 0 vsize: 164692 [startup+30.0019 s] Raw data (loadavg): 0.95 0.96 0.91 2/55 6272 Raw data (stat): 6272 (pb2sat-v2) R 6271 8378 8377 0 -1 0 94537 0 0 0 2801 198 0 0 25 0 1 0 908541094 335429632 59774 4294967295 134512640 135730672 3221224592 3221114672 135284078 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 81892 59774 301 301 0 81591 0 vsize: 327568 [startup+40.0016 s] Raw data (loadavg): 0.95 0.96 0.91 2/55 6272 Raw data (stat): 6272 (pb2sat-v2) R 6271 8378 8377 0 -1 0 106078 0 0 0 3771 228 0 0 25 0 1 0 908541094 335085568 62411 4294967295 134512640 135730672 3221224592 3220751740 134608033 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 81808 62412 301 301 0 81507 0 vsize: 327232 [startup+50.0019 s] Raw data (loadavg): 0.96 0.96 0.91 2/55 6272 Raw data (stat): 6272 (pb2sat-v2) R 6271 8378 8377 0 -1 0 124594 0 0 0 4728 271 0 0 25 0 1 0 908541094 361578496 80712 4294967295 134512640 135730672 3221224592 3220448408 134787727 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 88276 80713 301 301 0 87975 0 vsize: 353104 [startup+60.0027 s] Raw data (loadavg): 0.97 0.96 0.91 2/55 6272 Raw data (stat): 6272 (pb2sat-v2) R 6271 8378 8377 0 -1 0 188305 0 0 0 5596 403 0 0 25 0 1 0 908541094 595992576 101315 4294967295 134512640 135730672 3221224592 3220073956 135281187 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 145506 101315 301 301 0 145205 0 vsize: 582024 [startup+70.003 s] Raw data (loadavg): 0.97 0.96 0.91 2/55 6272 Raw data (stat): 6272 (pb2sat-v2) R 6271 8378 8377 0 -1 0 198934 0 0 0 6572 427 0 0 25 0 1 0 908541094 629547008 111755 4294967295 134512640 135730672 3221224592 3221180448 134742871 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 153698 111755 301 301 0 153397 0 vsize: 614792 [startup+80.0038 s] Raw data (loadavg): 0.98 0.96 0.91 2/55 6272 Raw data (stat): 6272 (pb2sat-v2) R 6271 8378 8377 0 -1 0 212400 0 0 0 7544 456 0 0 25 0 1 0 908541094 634277888 125001 4294967295 134512640 135730672 3221224592 3221026128 134550503 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 154853 125001 301 301 0 154552 0 vsize: 619412 [startup+90.0036 s] Raw data (loadavg): 0.98 0.96 0.91 2/55 6272 Raw data (stat): 6272 (pb2sat-v2) R 6271 8378 8377 0 -1 0 233544 0 0 0 8500 500 0 0 25 0 1 0 908541094 681652224 145974 4294967295 134512640 135730672 3221224592 3221222632 134765483 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 166419 145974 301 301 0 166118 0 vsize: 665676 [startup+100.003 s] Raw data (loadavg): 0.98 0.96 0.91 2/55 6272 Raw data (stat): 6272 (pb2sat-v2) R 6271 8378 8377 0 -1 0 240699 0 0 0 9486 515 0 0 25 0 1 0 908541094 695173120 149068 4294967295 134512640 135730672 3221224592 3221222912 134763604 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 169720 149068 301 301 0 169419 0 vsize: 678880 [startup+110.004 s] Raw data (loadavg): 0.98 0.96 0.91 2/55 6272 Raw data (stat): 6272 (pb2sat-v2) R 6271 8378 8377 0 -1 0 244377 0 0 0 10480 520 0 0 25 0 1 0 908541094 707067904 151565 4294967295 134512640 135730672 3221224592 3221222816 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 172624 151565 301 301 0 172323 0 vsize: 690496 [startup+120.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 6272 Raw data (stat): 6272 (pb2sat-v2) R 6271 8378 8377 0 -1 0 249514 0 0 0 11471 530 0 0 25 0 1 0 908541094 720224256 153793 4294967295 134512640 135730672 3221224592 3221222816 134747751 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 175836 153793 301 301 0 175535 0 vsize: 703344 [startup+130.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 6272 Raw data (stat): 6272 (pb2sat-v2) R 6271 8378 8377 0 -1 0 249727 0 0 0 12471 530 0 0 25 0 1 0 908541094 720752640 153908 4294967295 134512640 135730672 3221224592 3221222912 134763606 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 175965 153908 301 301 0 175664 0 vsize: 703860 [startup+140.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 6272 Raw data (stat): 6272 (pb2sat-v2) R 6271 8378 8377 0 -1 0 252751 0 0 0 13464 537 0 0 25 0 1 0 908541094 728117248 155347 4294967295 134512640 135730672 3221224592 3221222640 134732518 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 177763 155347 301 301 0 177462 0 vsize: 711052 [startup+150.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 6272 Raw data (stat): 6272 (pb2sat-v2) R 6271 8378 8377 0 -1 0 253151 0 0 0 14464 538 0 0 25 0 1 0 908541094 729436160 155553 4294967295 134512640 135730672 3221224592 3221222640 134732476 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 178085 155553 301 301 0 177784 0 vsize: 712340 [startup+160.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 6272 Raw data (stat): 6272 (pb2sat-v2) R 6271 8378 8377 0 -1 0 255474 0 0 0 15460 542 0 0 25 0 1 0 908541094 735657984 156681 4294967295 134512640 135730672 3221224592 3221222816 134747563 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 179604 156681 301 301 0 179303 0 vsize: 718416 [startup+170.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 6272 Raw data (stat): 6272 (pb2sat-v2) R 6271 8378 8377 0 -1 0 258272 0 0 0 16453 548 0 0 25 0 1 0 908541094 743108608 157779 4294967295 134512640 135730672 3221224592 3221222816 134747608 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 181423 157779 301 301 0 181122 0 vsize: 725692 [startup+180.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 6272 Raw data (stat): 6272 (pb2sat-v2) R 6271 8378 8377 0 -1 0 259902 0 0 0 17451 551 0 0 25 0 1 0 908541094 747393024 158551 4294967295 134512640 135730672 3221224592 3221222640 134732476 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 182469 158551 301 301 0 182168 0 vsize: 729876 [startup+190.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 6272 Raw data (stat): 6272 (pb2sat-v2) R 6271 8378 8377 0 -1 0 261778 0 0 0 18448 554 0 0 25 0 1 0 908541094 751751168 159615 4294967295 134512640 135730672 3221224592 3221222816 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 183533 159615 301 301 0 183232 0 vsize: 734132 [startup+200.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 6272 Raw data (stat): 6272 (pb2sat-v2) R 6271 8378 8377 0 -1 0 264521 0 0 0 19443 559 0 0 25 0 1 0 908541094 759414784 160966 4294967295 134512640 135730672 3221224592 3221222912 134764020 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 185404 160966 301 301 0 185103 0 vsize: 741616 [startup+210.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 6272 Raw data (stat): 6272 (pb2sat-v2) R 6271 8378 8377 0 -1 0 266837 0 0 0 20440 563 0 0 25 0 1 0 908541094 765591552 161890 4294967295 134512640 135730672 3221224592 3221222816 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 186912 161890 301 301 0 186611 0 vsize: 747648 [startup+220.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 6272 Raw data (stat): 6272 (pb2sat-v2) R 6271 8378 8377 0 -1 0 272106 0 0 0 21430 573 0 0 25 0 1 0 908541094 779825152 164134 4294967295 134512640 135730672 3221224592 3221222816 134747477 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 190387 164134 301 301 0 190086 0 vsize: 761548 [startup+230.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 6272 Raw data (stat): 6272 (pb2sat-v2) R 6271 8378 8377 0 -1 0 275952 0 0 0 22424 579 0 0 25 0 1 0 908541094 789934080 165623 4294967295 134512640 135730672 3221224592 3221222640 134732518 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 192855 165623 301 301 0 192554 0 vsize: 771420 [startup+240.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 6272 Raw data (stat): 6272 (pb2sat-v2) R 6271 8378 8377 0 -1 0 277849 0 0 0 23420 583 0 0 25 0 1 0 908541094 795787264 166684 4294967295 134512640 135730672 3221224592 3221222944 134748264 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 194284 166684 301 301 0 193983 0 vsize: 777136 [startup+250.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 6272 Raw data (stat): 6272 (pb2sat-v2) R 6271 8378 8377 0 -1 0 282483 0 0 0 24412 592 0 0 25 0 1 0 908541094 807915520 168857 4294967295 134512640 135730672 3221224592 3221222640 134732518 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 197245 168857 301 301 0 196944 0 vsize: 788980 [startup+260.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 6272 Raw data (stat): 6272 (pb2sat-v2) R 6271 8378 8377 0 -1 0 285041 0 0 0 25407 596 0 0 25 0 1 0 908541094 814907392 170102 4294967295 134512640 135730672 3221224592 3221222816 134747741 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 198952 170102 301 301 0 198651 0 vsize: 795808 [startup+270.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 6272 Raw data (stat): 6272 (pb2sat-v2) R 6271 8378 8377 0 -1 0 287613 0 0 0 26402 602 0 0 25 0 1 0 908541094 821907456 171154 4294967295 134512640 135730672 3221224592 3221222816 134747541 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 200661 171155 301 301 0 200360 0 vsize: 802644 [startup+280.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 6272 Raw data (stat): 6272 (pb2sat-v2) R 6271 8378 8377 0 -1 0 290345 0 0 0 27397 607 0 0 25 0 1 0 908541094 828731392 172275 4294967295 134512640 135730672 3221224592 3221222640 134732476 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 202327 172275 301 301 0 202026 0 vsize: 809308 [startup+290.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 6272 Raw data (stat): 6272 (pb2sat-v2) R 6271 8378 8377 0 -1 0 294289 0 0 0 28390 614 0 0 25 0 1 0 908541094 839520256 173939 4294967295 134512640 135730672 3221224592 3221222640 134732476 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 204961 173939 301 301 0 204660 0 vsize: 819844 [startup+300.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 6272 Raw data (stat): 6272 (pb2sat-v2) R 6271 8378 8377 0 -1 0 295627 0 0 0 29388 616 0 0 25 0 1 0 908541094 842940416 174532 4294967295 134512640 135730672 3221224592 3221222816 134747892 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 205796 174532 301 301 0 205495 0 vsize: 823184 [startup+310.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 6272 Raw data (stat): 6272 (pb2sat-v2) R 6271 8378 8377 0 -1 0 297739 0 0 0 30384 620 0 0 25 0 1 0 908541094 847933440 175512 4294967295 134512640 135730672 3221224592 3221222816 134747541 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 207015 175512 301 301 0 206714 0 vsize: 828060 [startup+320.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 6272 Raw data (stat): 6272 (pb2sat-v2) R 6271 8378 8377 0 -1 0 300125 0 0 0 31379 625 0 0 25 0 1 0 908541094 854388736 176620 4294967295 134512640 135730672 3221224592 3221222816 134747489 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 208591 176620 301 301 0 208290 0 vsize: 834364 [startup+330.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 6272 Raw data (stat): 6272 (pb2sat-v2) R 6271 8378 8377 0 -1 0 303484 0 0 0 32374 631 0 0 25 0 1 0 908541094 863997952 178053 4294967295 134512640 135730672 3221224592 3221222816 134747751 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 210937 178053 301 301 0 210636 0 vsize: 843748 [startup+340.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 6272 Raw data (stat): 6272 (pb2sat-v2) R 6271 8378 8377 0 -1 0 303803 0 0 0 33373 632 0 0 25 0 1 0 908541094 864923648 178241 4294967295 134512640 135730672 3221224592 3221222816 134747627 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 211163 178241 301 301 0 210862 0 vsize: 844652 [startup+350.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 6272 Raw data (stat): 6272 (pb2sat-v2) R 6271 8378 8377 0 -1 0 305059 0 0 0 34371 635 0 0 25 0 1 0 908541094 868200448 178689 4294967295 134512640 135730672 3221224592 3221222944 134748264 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 211963 178689 301 301 0 211662 0 vsize: 847852 [startup+360.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 6272 Raw data (stat): 6272 (pb2sat-v2) R 6271 8378 8377 0 -1 0 305832 0 0 0 35370 636 0 0 25 0 1 0 908541094 870305792 179008 4294967295 134512640 135730672 3221224592 3221222976 134734832 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 212477 179008 301 301 0 212176 0 vsize: 849908 [startup+370.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 6272 Raw data (stat): 6272 (pb2sat-v2) R 6271 8378 8377 0 -1 0 308764 0 0 0 36364 642 0 0 25 0 1 0 908541094 878198784 180276 4294967295 134512640 135730672 3221224592 3221222944 134748120 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 214404 180276 301 301 0 214103 0 vsize: 857616 [startup+380.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 6272 Raw data (stat): 6272 (pb2sat-v2) R 6271 8378 8377 0 -1 0 311027 0 0 0 37360 646 0 0 25 0 1 0 908541094 884109312 181213 4294967295 134512640 135730672 3221224592 3221222816 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 215847 181213 301 301 0 215546 0 vsize: 863388 [startup+390.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 6272 Raw data (stat): 6272 (pb2sat-v2) R 6271 8378 8377 0 -1 0 313253 0 0 0 38356 650 0 0 25 0 1 0 908541094 889765888 182305 4294967295 134512640 135730672 3221224592 3221222912 134763606 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 217228 182305 301 301 0 216927 0 vsize: 868912 [startup+400.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 6272 Raw data (stat): 6272 (pb2sat-v2) R 6271 8378 8377 0 -1 0 313920 0 0 0 39355 651 0 0 25 0 1 0 908541094 891338752 182586 4294967295 134512640 135730672 3221224592 3221222816 134747651 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 217612 182586 301 301 0 217311 0 vsize: 870448 [startup+410.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 6272 Raw data (stat): 6272 (pb2sat-v2) R 6271 8378 8377 0 -1 0 315059 0 0 0 40353 653 0 0 25 0 1 0 908541094 894226432 183080 4294967295 134512640 135730672 3221224592 3221222944 134748264 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 218317 183080 301 301 0 218016 0 vsize: 873268 [startup+420.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 6272 Raw data (stat): 6272 (pb2sat-v2) R 6271 8378 8377 0 -1 0 316315 0 0 0 41351 655 0 0 25 0 1 0 908541094 897376256 183625 4294967295 134512640 135730672 3221224592 3221222816 134747568 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 219086 183625 301 301 0 218785 0 vsize: 876344 [startup+430.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 6272 Raw data (stat): 6272 (pb2sat-v2) R 6271 8378 8377 0 -1 0 317032 0 0 0 42351 656 0 0 25 0 1 0 908541094 899743744 183891 4294967295 134512640 135730672 3221224592 3221222816 134747751 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 219664 183891 301 301 0 219363 0 vsize: 878656 [startup+440.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 6272 Raw data (stat): 6272 (pb2sat-v2) R 6271 8378 8377 0 -1 0 317937 0 0 0 43349 658 0 0 25 0 1 0 908541094 901713920 184375 4294967295 134512640 135730672 3221224592 3221222816 134747610 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 220145 184375 301 301 0 219844 0 vsize: 880580 [startup+450.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 6272 Raw data (stat): 6272 (pb2sat-v2) R 6271 8378 8377 0 -1 0 317962 0 0 0 44349 658 0 0 25 0 1 0 908541094 901713920 184400 4294967295 134512640 135730672 3221224592 3221222816 134747549 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 220145 184400 301 301 0 219844 0 vsize: 880580 [startup+460.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 6272 Raw data (stat): 6272 (pb2sat-v2) R 6271 8378 8377 0 -1 0 318359 0 0 0 45349 658 0 0 25 0 1 0 908541094 902500352 184603 4294967295 134512640 135730672 3221224592 3221222816 134747568 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 220337 184603 301 301 0 220036 0 vsize: 881348 [startup+470.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 6272 Raw data (stat): 6272 (pb2sat-v2) R 6271 8378 8377 0 -1 0 320730 0 0 0 46345 662 0 0 25 0 1 0 908541094 908791808 185431 4294967295 134512640 135730672 3221224592 3221222816 134747751 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 221873 185431 301 301 0 221572 0 vsize: 887492 [startup+480.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 6272 Raw data (stat): 6272 (pb2sat-v2) R 6271 8378 8377 0 -1 0 322835 0 0 0 47342 666 0 0 25 0 1 0 908541094 914300928 186246 4294967295 134512640 135730672 3221224592 3221222816 134747942 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 223218 186246 301 301 0 222917 0 vsize: 892872 [startup+490.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 6272 Raw data (stat): 6272 (pb2sat-v2) R 6271 8378 8377 0 -1 0 323748 0 0 0 48340 668 0 0 25 0 1 0 908541094 916267008 186675 4294967295 134512640 135730672 3221224592 3221222816 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 223698 186675 301 301 0 223397 0 vsize: 894792 [startup+500.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 6272 Raw data (stat): 6272 (pb2sat-v2) R 6271 8378 8377 0 -1 0 323748 0 0 0 49340 668 0 0 25 0 1 0 908541094 916267008 186675 4294967295 134512640 135730672 3221224592 3221222816 134747751 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 223698 186675 301 301 0 223397 0 vsize: 894792 [startup+510.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 6272 Raw data (stat): 6272 (pb2sat-v2) R 6271 8378 8377 0 -1 0 323749 0 0 0 50340 668 0 0 25 0 1 0 908541094 916267008 186676 4294967295 134512640 135730672 3221224592 3221222816 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 223698 186676 301 301 0 223397 0 vsize: 894792 [startup+520.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 6272 Raw data (stat): 6272 (pb2sat-v2) R 6271 8378 8377 0 -1 0 323752 0 0 0 51339 669 0 0 25 0 1 0 908541094 916267008 186679 4294967295 134512640 135730672 3221224592 3221222816 134747751 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 223698 186679 301 301 0 223397 0 vsize: 894792 [startup+530.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 6272 Raw data (stat): 6272 (pb2sat-v2) R 6271 8378 8377 0 -1 0 323988 0 0 0 52339 669 0 0 25 0 1 0 908541094 916795392 186850 4294967295 134512640 135730672 3221224592 3221222640 134732476 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 223827 186850 301 301 0 223526 0 vsize: 895308 [startup+540.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 6272 Raw data (stat): 6272 (pb2sat-v2) R 6271 8378 8377 0 -1 0 324502 0 0 0 53338 671 0 0 25 0 1 0 908541094 918384640 187135 4294967295 134512640 135730672 3221224592 3221222816 134747651 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 224215 187135 301 301 0 223914 0 vsize: 896860 [startup+550.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 6272 Raw data (stat): 6272 (pb2sat-v2) R 6271 8378 8377 0 -1 0 326781 0 0 0 54334 675 0 0 25 0 1 0 908541094 923910144 188216 4294967295 134512640 135730672 3221224592 3221222816 134747657 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 225564 188216 301 301 0 225263 0 vsize: 902256 [startup+560.015 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 6272 Raw data (stat): 6272 (pb2sat-v2) R 6271 8378 8377 0 -1 0 330381 0 0 0 55326 683 0 0 25 0 1 0 908541094 933363712 189754 4294967295 134512640 135730672 3221224592 3221222816 134747541 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 227872 189754 301 301 0 227571 0 vsize: 911488 [startup+570.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 6272 Raw data (stat): 6272 (pb2sat-v2) R 6271 8378 8377 0 -1 0 330745 0 0 0 56325 684 0 0 25 0 1 0 908541094 934412288 189861 4294967295 134512640 135730672 3221224592 3221222972 134748262 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 228128 189861 301 301 0 227827 0 vsize: 912512 [startup+580.015 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 6272 Raw data (stat): 6272 (pb2sat-v2) R 6271 8378 8377 0 -1 0 330746 0 0 0 57325 684 0 0 25 0 1 0 908541094 934412288 189862 4294967295 134512640 135730672 3221224592 3221222816 134747651 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 228128 189862 301 301 0 227827 0 vsize: 912512 [startup+590.017 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 6272 Raw data (stat): 6272 (pb2sat-v2) R 6271 8378 8377 0 -1 0 331745 0 0 0 58324 686 0 0 25 0 1 0 908541094 937431040 190314 4294967295 134512640 135730672 3221224592 3221222640 134732518 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 228865 190314 301 301 0 228564 0 vsize: 915460 [startup+600.017 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 6272 Raw data (stat): 6272 (pb2sat-v2) R 6271 8378 8377 0 -1 0 332906 0 0 0 59321 689 0 0 25 0 1 0 908541094 940584960 190828 4294967295 134512640 135730672 3221224592 3221222816 134747651 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 229635 190828 301 301 0 229334 0 vsize: 918540 [startup+610.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 6272 Raw data (stat): 6272 (pb2sat-v2) R 6271 8378 8377 0 -1 0 333523 0 0 0 60320 690 0 0 25 0 1 0 908541094 941768704 191217 4294967295 134512640 135730672 3221224592 3221222844 135281112 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 229924 191217 301 301 0 229623 0 vsize: 919696 [startup+614.094 s] Raw data (loadavg): 0.99 0.97 0.91 1/54 6272 Raw data (stat): 6272 (pb2sat-v2) R 6271 8378 8377 0 -1 0 333523 0 0 0 60320 690 0 0 25 0 1 0 908541094 941768704 191217 4294967295 134512640 135730672 3221224592 3221222844 135281112 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 229924 191217 301 301 0 229623 0 vsize: 0 Child status: 1 Real time (s): 614.094 CPU time (s): 614.182 CPU user time (s): 606.897 CPU system time (s): 7.28489 CPU usage (%): 100.014 Max. virtual memory (Kb): 919696 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####