Name | normalized-opb/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb53-24-opb/normalized-frb53-24-3.opb |
MD5SUM | baa7b619e2dc55a18c674a719d78c00c |
Bench Category | optimization, small integers (OPTSMALLINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -41 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 1272 |
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 | 1272 |
Number of bits of the sum of numbers in the objective function | 11 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 1272 |
Number of bits of the biggest sum of numbers | 11 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1175.12 |
Number of variables | 1272 |
Total number of constraints | 94127 |
Number of constraints which are clauses | 94127 |
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 | 2 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc2 THE 2005-05-28 11:35:19 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=24267 boxname=wulflinc2 idbench=341 idsolver=17 numberseed=0 MD5SUM SOLVER: MD5SUM BENCH: baa7b619e2dc55a18c674a719d78c00c /oldhome/oroussel/tmp/wulflinc2/normalized-frb53-24-3.opb REAL COMMAND: pb2sat /oldhome/oroussel/tmp/wulflinc2/normalized-frb53-24-3.opb IDLAUNCH: 24267 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.191 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.191 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: 742408 kB Buffers: 36956 kB Cached: 232320 kB SwapCached: 820 kB Active: 22924 kB Inactive: 248572 kB HighTotal: 131008 kB HighFree: 50344 kB LowTotal: 903652 kB LowFree: 692064 kB SwapTotal: 2097136 kB SwapFree: 2095480 kB Dirty: 24 kB Writeback: 0 kB Mapped: 5340 kB Slab: 15044 kB Committed_AS: 71788 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1388 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-05-28 11:55:22 (client local time) WITH STATUS 0 IN 1202.35 SECONDS stats: 24267 7 1202.35 0 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c This solver internally uses Chaff 2004.11.15 Simplified c running zchaff... c [startup+1081.22 s] setting bit 10 to 0 s UNKNOWN #### 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.92 0.97 0.91 2/54 9063 Raw data (stat): 9063 (runsolver) R 9062 31399 31398 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 806267186 884736 94 4294967295 134512640 135332820 3221224480 3221219660 135092226 0 2147483391 7 90112 0 0 0 17 0 0 0 Raw data (statm): 216 94 205 205 0 11 0 vsize: 864 [startup+10.001 s] Raw data (loadavg): 0.93 0.97 0.91 2/54 9063 Raw data (stat): 9063 (pb2sat) R 9062 31399 31398 0 -1 0 29103 0 0 0 930 68 0 0 25 0 1 0 806267186 88600576 18201 4294967295 134512640 135726644 3221224592 3220852304 135278593 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 21631 18201 300 300 0 21331 0 vsize: 86524 [startup+20.0017 s] Raw data (loadavg): 0.94 0.97 0.91 2/54 9063 Raw data (stat): 9063 (pb2sat) R 9062 31399 31398 0 -1 0 57325 0 0 0 1869 130 0 0 25 0 1 0 806267186 174051328 35469 4294967295 134512640 135726644 3221224592 3220925408 134784489 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 42493 35469 300 300 0 42193 0 vsize: 169972 [startup+30.003 s] Raw data (loadavg): 0.95 0.97 0.91 2/54 9063 Raw data (stat): 9063 (pb2sat) R 9062 31399 31398 0 -1 0 97593 0 0 0 2786 214 0 0 25 0 1 0 806267186 298151936 54062 4294967295 134512640 135726644 3221224592 3221211448 135280642 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 72791 54062 300 300 0 72491 0 vsize: 291164 [startup+40.0032 s] Raw data (loadavg): 0.96 0.97 0.91 2/54 9063 Raw data (stat): 9063 (pb2sat) R 9062 31399 31398 0 -1 0 112632 0 0 0 3752 248 0 0 25 0 1 0 806267186 343330816 68885 4294967295 134512640 135726644 3221224592 3221221744 134573046 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 83821 68885 300 300 0 83521 0 vsize: 335284 [startup+50.0029 s] Raw data (loadavg): 0.96 0.97 0.91 2/54 9063 Raw data (stat): 9063 (pb2sat) R 9062 31399 31398 0 -1 0 121017 0 0 0 4731 268 0 0 25 0 1 0 806267186 366174208 74686 4294967295 134512640 135726644 3221224592 3221223088 134744120 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 89398 74686 300 300 0 89098 0 vsize: 357592 [startup+60.0033 s] Raw data (loadavg): 0.97 0.97 0.91 2/54 9063 Raw data (stat): 9063 (pb2sat) R 9062 31399 31398 0 -1 0 122666 0 0 0 5727 272 0 0 25 0 1 0 806267186 373391360 75956 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 91160 75956 300 300 0 90860 0 vsize: 364640 [startup+70.0032 s] Raw data (loadavg): 0.97 0.97 0.91 2/54 9063 Raw data (stat): 9063 (pb2sat) R 9062 31399 31398 0 -1 0 126231 0 0 0 6720 280 0 0 25 0 1 0 806267186 384643072 77673 4294967295 134512640 135726644 3221224592 3221223184 134760008 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 93907 77673 300 300 0 93607 0 vsize: 375628 [startup+80.004 s] Raw data (loadavg): 0.98 0.97 0.91 2/54 9063 Raw data (stat): 9063 (pb2sat) R 9062 31399 31398 0 -1 0 128121 0 0 0 7716 284 0 0 25 0 1 0 806267186 390193152 78550 4294967295 134512640 135726644 3221224592 3221223280 134744861 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 95262 78550 300 300 0 94962 0 vsize: 381048 [startup+90.0041 s] Raw data (loadavg): 0.98 0.97 0.91 2/54 9063 Raw data (stat): 9063 (pb2sat) R 9062 31399 31398 0 -1 0 128151 0 0 0 8716 284 0 0 25 0 1 0 806267186 390193152 78580 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 95262 78580 300 300 0 94962 0 vsize: 381048 [startup+100.003 s] Raw data (loadavg): 0.98 0.97 0.91 2/54 9063 Raw data (stat): 9063 (pb2sat) R 9062 31399 31398 0 -1 0 128522 0 0 0 9715 286 0 0 25 0 1 0 806267186 391618560 78820 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 95610 78820 300 300 0 95310 0 vsize: 382440 [startup+110.004 s] Raw data (loadavg): 0.98 0.97 0.91 2/54 9063 Raw data (stat): 9063 (pb2sat) R 9062 31399 31398 0 -1 0 128745 0 0 0 10714 286 0 0 25 0 1 0 806267186 392216576 78962 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 95756 78962 300 300 0 95456 0 vsize: 383024 [startup+120.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9063 Raw data (stat): 9063 (pb2sat) R 9062 31399 31398 0 -1 0 128904 0 0 0 11713 287 0 0 25 0 1 0 806267186 392613888 79055 4294967295 134512640 135726644 3221224592 3221222912 134728892 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 95853 79055 300 300 0 95553 0 vsize: 383412 [startup+130.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9063 Raw data (stat): 9063 (pb2sat) R 9062 31399 31398 0 -1 0 129104 0 0 0 12712 288 0 0 25 0 1 0 806267186 393281536 79189 4294967295 134512640 135726644 3221224592 3221223072 134729188 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 96016 79189 300 300 0 95716 0 vsize: 384064 [startup+140.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9063 Raw data (stat): 9063 (pb2sat) R 9062 31399 31398 0 -1 0 129728 0 0 0 13711 289 0 0 25 0 1 0 806267186 395128832 79454 4294967295 134512640 135726644 3221224592 3221223184 134760008 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 96467 79454 300 300 0 96167 0 vsize: 385868 [startup+150.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9063 Raw data (stat): 9063 (pb2sat) R 9062 31399 31398 0 -1 0 129921 0 0 0 14711 290 0 0 25 0 1 0 806267186 395657216 79549 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 96596 79549 300 300 0 96296 0 vsize: 386384 [startup+160.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9063 Raw data (stat): 9063 (pb2sat) R 9062 31399 31398 0 -1 0 130502 0 0 0 15709 291 0 0 25 0 1 0 806267186 396976128 79870 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 96918 79870 300 300 0 96618 0 vsize: 387672 [startup+170.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9063 Raw data (stat): 9063 (pb2sat) R 9062 31399 31398 0 -1 0 130674 0 0 0 16708 292 0 0 25 0 1 0 806267186 397504512 79944 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 97047 79944 300 300 0 96747 0 vsize: 388188 [startup+180.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9063 Raw data (stat): 9063 (pb2sat) R 9062 31399 31398 0 -1 0 131168 0 0 0 17706 294 0 0 25 0 1 0 806267186 398962688 80209 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 97403 80209 300 300 0 97103 0 vsize: 389612 [startup+190.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9063 Raw data (stat): 9063 (pb2sat) R 9062 31399 31398 0 -1 0 131562 0 0 0 18705 296 0 0 25 0 1 0 806267186 400568320 80521 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 97795 80521 300 300 0 97495 0 vsize: 391180 [startup+200.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9063 Raw data (stat): 9063 (pb2sat) R 9062 31399 31398 0 -1 0 131564 0 0 0 19705 296 0 0 25 0 1 0 806267186 400568320 80523 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 97795 80523 300 300 0 97495 0 vsize: 391180 [startup+210.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9063 Raw data (stat): 9063 (pb2sat) R 9062 31399 31398 0 -1 0 131568 0 0 0 20705 296 0 0 25 0 1 0 806267186 400568320 80527 4294967295 134512640 135726644 3221224592 3221223072 134729188 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 97795 80527 300 300 0 97495 0 vsize: 391180 [startup+220.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9063 Raw data (stat): 9063 (pb2sat) R 9062 31399 31398 0 -1 0 131580 0 0 0 21705 296 0 0 25 0 1 0 806267186 400568320 80539 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 97795 80539 300 300 0 97495 0 vsize: 391180 [startup+230.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9063 Raw data (stat): 9063 (pb2sat) R 9062 31399 31398 0 -1 0 131583 0 0 0 22705 296 0 0 25 0 1 0 806267186 400568320 80542 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 97795 80542 300 300 0 97495 0 vsize: 391180 [startup+240.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9063 Raw data (stat): 9063 (pb2sat) R 9062 31399 31398 0 -1 0 131588 0 0 0 23705 297 0 0 25 0 1 0 806267186 400568320 80547 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 97795 80547 300 300 0 97495 0 vsize: 391180 [startup+250.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9063 Raw data (stat): 9063 (pb2sat) R 9062 31399 31398 0 -1 0 131623 0 0 0 24705 297 0 0 25 0 1 0 806267186 400568320 80582 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 97795 80582 300 300 0 97495 0 vsize: 391180 [startup+260.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9063 Raw data (stat): 9063 (pb2sat) R 9062 31399 31398 0 -1 0 131897 0 0 0 25704 297 0 0 25 0 1 0 806267186 401489920 80662 4294967295 134512640 135726644 3221224592 3221223184 134760008 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 98020 80662 300 300 0 97720 0 vsize: 392080 [startup+270.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9063 Raw data (stat): 9063 (pb2sat) R 9062 31399 31398 0 -1 0 131925 0 0 0 26704 298 0 0 25 0 1 0 806267186 401489920 80690 4294967295 134512640 135726644 3221224592 3221223184 134760517 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 98020 80690 300 300 0 97720 0 vsize: 392080 [startup+280.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9063 Raw data (stat): 9063 (pb2sat) R 9062 31399 31398 0 -1 0 131940 0 0 0 27704 298 0 0 25 0 1 0 806267186 401489920 80705 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 98020 80705 300 300 0 97720 0 vsize: 392080 [startup+290.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9063 Raw data (stat): 9063 (pb2sat) R 9062 31399 31398 0 -1 0 131946 0 0 0 28704 298 0 0 25 0 1 0 806267186 401489920 80711 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 98020 80711 300 300 0 97720 0 vsize: 392080 [startup+300.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9063 Raw data (stat): 9063 (pb2sat) R 9062 31399 31398 0 -1 0 132109 0 0 0 29703 298 0 0 25 0 1 0 806267186 402018304 80775 4294967295 134512640 135726644 3221224592 3221223196 134743852 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 98149 80775 300 300 0 97849 0 vsize: 392596 [startup+310.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9063 Raw data (stat): 9063 (pb2sat) R 9062 31399 31398 0 -1 0 132114 0 0 0 30704 298 0 0 25 0 1 0 806267186 402018304 80780 4294967295 134512640 135726644 3221224592 3221223216 134744555 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 98149 80780 300 300 0 97849 0 vsize: 392596 [startup+320.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9063 Raw data (stat): 9063 (pb2sat) R 9062 31399 31398 0 -1 0 132485 0 0 0 31703 299 0 0 25 0 1 0 806267186 403628032 81052 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 98542 81052 300 300 0 98242 0 vsize: 394168 [startup+330.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9063 Raw data (stat): 9063 (pb2sat) R 9062 31399 31398 0 -1 0 132780 0 0 0 32702 300 0 0 25 0 1 0 806267186 404836352 81281 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 98837 81281 300 300 0 98537 0 vsize: 395348 [startup+340.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9063 Raw data (stat): 9063 (pb2sat) R 9062 31399 31398 0 -1 0 133527 0 0 0 33701 302 0 0 25 0 1 0 806267186 407089152 81667 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 99387 81667 300 300 0 99087 0 vsize: 397548 [startup+350.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9063 Raw data (stat): 9063 (pb2sat) R 9062 31399 31398 0 -1 0 134211 0 0 0 34699 304 0 0 25 0 1 0 806267186 408932352 82025 4294967295 134512640 135726644 3221224592 3221223072 134729188 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 99837 82025 300 300 0 99537 0 vsize: 399348 [startup+360.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9063 Raw data (stat): 9063 (pb2sat) R 9062 31399 31398 0 -1 0 134591 0 0 0 35699 305 0 0 25 0 1 0 806267186 409849856 82178 4294967295 134512640 135726644 3221224592 3221222912 134728895 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 100061 82178 300 300 0 99761 0 vsize: 400244 [startup+370.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9063 Raw data (stat): 9063 (pb2sat) R 9062 31399 31398 0 -1 0 134714 0 0 0 36698 305 0 0 25 0 1 0 806267186 410247168 82235 4294967295 134512640 135726644 3221224592 3221223216 134744557 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 100158 82235 300 300 0 99858 0 vsize: 400632 [startup+380.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9063 Raw data (stat): 9063 (pb2sat) R 9062 31399 31398 0 -1 0 135276 0 0 0 37698 306 0 0 25 0 1 0 806267186 412094464 82538 4294967295 134512640 135726644 3221224592 3221223088 134744379 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 100609 82538 300 300 0 100309 0 vsize: 402436 [startup+390.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9063 Raw data (stat): 9063 (pb2sat) R 9062 31399 31398 0 -1 0 135808 0 0 0 38697 307 0 0 25 0 1 0 806267186 414093312 82840 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 101097 82840 300 300 0 100797 0 vsize: 404388 [startup+400.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9063 Raw data (stat): 9063 (pb2sat) R 9062 31399 31398 0 -1 0 135937 0 0 0 39697 307 0 0 25 0 1 0 806267186 414490624 82953 4294967295 134512640 135726644 3221224592 3221223184 134760424 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 101194 82953 300 300 0 100894 0 vsize: 404776 [startup+410.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9063 Raw data (stat): 9063 (pb2sat) R 9062 31399 31398 0 -1 0 136074 0 0 0 40696 308 0 0 25 0 1 0 806267186 414887936 83025 4294967295 134512640 135726644 3221224592 3221223072 134729188 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 101291 83025 300 300 0 100991 0 vsize: 405164 [startup+420.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9063 Raw data (stat): 9063 (pb2sat) R 9062 31399 31398 0 -1 0 136485 0 0 0 41695 309 0 0 25 0 1 0 806267186 416202752 83179 4294967295 134512640 135726644 3221224592 3221223072 134729188 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 101612 83179 300 300 0 101312 0 vsize: 406448 [startup+430.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9063 Raw data (stat): 9063 (pb2sat) R 9062 31399 31398 0 -1 0 136525 0 0 0 42696 309 0 0 25 0 1 0 806267186 416202752 83219 4294967295 134512640 135726644 3221224592 3221223088 134744377 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 101612 83219 300 300 0 101312 0 vsize: 406448 [startup+440.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9063 Raw data (stat): 9063 (pb2sat) R 9062 31399 31398 0 -1 0 136619 0 0 0 43695 309 0 0 25 0 1 0 806267186 416464896 83248 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 101676 83248 300 300 0 101376 0 vsize: 406704 [startup+450.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9063 Raw data (stat): 9063 (pb2sat) R 9062 31399 31398 0 -1 0 136700 0 0 0 44695 310 0 0 25 0 1 0 806267186 416731136 83296 4294967295 134512640 135726644 3221224592 3221222912 134728934 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 101741 83296 300 300 0 101441 0 vsize: 406964 [startup+460.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9063 Raw data (stat): 9063 (pb2sat) R 9062 31399 31398 0 -1 0 136705 0 0 0 45695 310 0 0 25 0 1 0 806267186 416731136 83301 4294967295 134512640 135726644 3221224592 3221223216 134744550 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 101741 83301 300 300 0 101441 0 vsize: 406964 [startup+470.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9063 Raw data (stat): 9063 (pb2sat) R 9062 31399 31398 0 -1 0 136822 0 0 0 46695 310 0 0 25 0 1 0 806267186 416993280 83353 4294967295 134512640 135726644 3221224592 3221222912 134728892 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 101805 83353 300 300 0 101505 0 vsize: 407220 [startup+480.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9063 Raw data (stat): 9063 (pb2sat) R 9062 31399 31398 0 -1 0 136824 0 0 0 47695 310 0 0 25 0 1 0 806267186 416993280 83355 4294967295 134512640 135726644 3221224592 3221223184 134760008 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 101805 83355 300 300 0 101505 0 vsize: 407220 [startup+490.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9063 Raw data (stat): 9063 (pb2sat) R 9062 31399 31398 0 -1 0 136975 0 0 0 48695 310 0 0 25 0 1 0 806267186 417517568 83377 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 101933 83377 300 300 0 101633 0 vsize: 407732 [startup+500.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9063 Raw data (stat): 9063 (pb2sat) R 9062 31399 31398 0 -1 0 136979 0 0 0 49695 310 0 0 25 0 1 0 806267186 417517568 83381 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 101933 83381 300 300 0 101633 0 vsize: 407732 [startup+510.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9063 Raw data (stat): 9063 (pb2sat) R 9062 31399 31398 0 -1 0 136982 0 0 0 50696 310 0 0 25 0 1 0 806267186 417517568 83384 4294967295 134512640 135726644 3221224592 3221222912 134728861 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 101933 83384 300 300 0 101633 0 vsize: 407732 [startup+520.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9063 Raw data (stat): 9063 (pb2sat) R 9062 31399 31398 0 -1 0 136985 0 0 0 51696 311 0 0 25 0 1 0 806267186 417517568 83387 4294967295 134512640 135726644 3221224592 3221223072 134729188 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 101933 83387 300 300 0 101633 0 vsize: 407732 [startup+530.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9063 Raw data (stat): 9063 (pb2sat) R 9062 31399 31398 0 -1 0 136988 0 0 0 52696 311 0 0 25 0 1 0 806267186 417517568 83390 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 101933 83390 300 300 0 101633 0 vsize: 407732 [startup+540.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9063 Raw data (stat): 9063 (pb2sat) R 9062 31399 31398 0 -1 0 137008 0 0 0 53697 311 0 0 25 0 1 0 806267186 417517568 83410 4294967295 134512640 135726644 3221224592 3221222912 134728934 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 101933 83410 300 300 0 101633 0 vsize: 407732 [startup+550.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9063 Raw data (stat): 9063 (pb2sat) R 9062 31399 31398 0 -1 0 137638 0 0 0 54696 312 0 0 25 0 1 0 806267186 419221504 83619 4294967295 134512640 135726644 3221224592 3221223088 134744295 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 102349 83619 300 300 0 102049 0 vsize: 409396 [startup+560.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9063 Raw data (stat): 9063 (pb2sat) R 9062 31399 31398 0 -1 0 138002 0 0 0 55695 313 0 0 25 0 1 0 806267186 420147200 83820 4294967295 134512640 135726644 3221224592 3221223184 134760424 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 102575 83820 300 300 0 102275 0 vsize: 410300 [startup+570.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9063 Raw data (stat): 9063 (pb2sat) R 9062 31399 31398 0 -1 0 138005 0 0 0 56695 313 0 0 25 0 1 0 806267186 420147200 83823 4294967295 134512640 135726644 3221224592 3221223280 134744977 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 102575 83823 300 300 0 102275 0 vsize: 410300 [startup+580.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9063 Raw data (stat): 9063 (pb2sat) R 9062 31399 31398 0 -1 0 138008 0 0 0 57696 313 0 0 25 0 1 0 806267186 420147200 83826 4294967295 134512640 135726644 3221224592 3221223088 134743889 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 102575 83826 300 300 0 102275 0 vsize: 410300 [startup+590.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9063 Raw data (stat): 9063 (pb2sat) R 9062 31399 31398 0 -1 0 138012 0 0 0 58696 313 0 0 25 0 1 0 806267186 420147200 83830 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 102575 83830 300 300 0 102275 0 vsize: 410300 [startup+600.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9063 Raw data (stat): 9063 (pb2sat) R 9062 31399 31398 0 -1 0 138015 0 0 0 59696 313 0 0 25 0 1 0 806267186 420147200 83833 4294967295 134512640 135726644 3221224592 3221223088 134744036 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 102575 83833 300 300 0 102275 0 vsize: 410300 [startup+610.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9063 Raw data (stat): 9063 (pb2sat) R 9062 31399 31398 0 -1 0 138019 0 0 0 60696 313 0 0 25 0 1 0 806267186 420147200 83837 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 102575 83837 300 300 0 102275 0 vsize: 410300 [startup+620.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9063 Raw data (stat): 9063 (pb2sat) R 9062 31399 31398 0 -1 0 138022 0 0 0 61696 313 0 0 25 0 1 0 806267186 420147200 83840 4294967295 134512640 135726644 3221224592 3221223216 134744570 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 102575 83840 300 300 0 102275 0 vsize: 410300 [startup+630.021 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9063 Raw data (stat): 9063 (pb2sat) R 9062 31399 31398 0 -1 0 138025 0 0 0 62696 313 0 0 25 0 1 0 806267186 420147200 83843 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 102575 83843 300 300 0 102275 0 vsize: 410300 [startup+640.021 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9063 Raw data (stat): 9063 (pb2sat) R 9062 31399 31398 0 -1 0 138029 0 0 0 63696 313 0 0 25 0 1 0 806267186 420147200 83847 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 102575 83847 300 300 0 102275 0 vsize: 410300 [startup+650.021 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9063 Raw data (stat): 9063 (pb2sat) R 9062 31399 31398 0 -1 0 138032 0 0 0 64696 313 0 0 25 0 1 0 806267186 420147200 83850 4294967295 134512640 135726644 3221224592 3221223248 134731248 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 102575 83850 300 300 0 102275 0 vsize: 410300 [startup+660.022 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9063 Raw data (stat): 9063 (pb2sat) R 9062 31399 31398 0 -1 0 138036 0 0 0 65697 313 0 0 25 0 1 0 806267186 420147200 83854 4294967295 134512640 135726644 3221224592 3221222912 134728895 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 102575 83854 300 300 0 102275 0 vsize: 410300 [startup+670.023 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9063 Raw data (stat): 9063 (pb2sat) R 9062 31399 31398 0 -1 0 138039 0 0 0 66697 313 0 0 25 0 1 0 806267186 420147200 83857 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 102575 83857 300 300 0 102275 0 vsize: 410300 [startup+680.024 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9063 Raw data (stat): 9063 (pb2sat) R 9062 31399 31398 0 -1 0 138042 0 0 0 67697 313 0 0 25 0 1 0 806267186 420147200 83860 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 102575 83860 300 300 0 102275 0 vsize: 410300 [startup+690.023 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9063 Raw data (stat): 9063 (pb2sat) R 9062 31399 31398 0 -1 0 138046 0 0 0 68697 313 0 0 25 0 1 0 806267186 420147200 83864 4294967295 134512640 135726644 3221224592 3221223280 134744858 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 102575 83864 300 300 0 102275 0 vsize: 410300 [startup+700.023 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9063 Raw data (stat): 9063 (pb2sat) R 9062 31399 31398 0 -1 0 138049 0 0 0 69697 313 0 0 25 0 1 0 806267186 420147200 83867 4294967295 134512640 135726644 3221224592 3221223072 134729188 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 102575 83867 300 300 0 102275 0 vsize: 410300 [startup+710.024 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9063 Raw data (stat): 9063 (pb2sat) R 9062 31399 31398 0 -1 0 138054 0 0 0 70698 313 0 0 25 0 1 0 806267186 420147200 83872 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 102575 83872 300 300 0 102275 0 vsize: 410300 [startup+720.024 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9063 Raw data (stat): 9063 (pb2sat) R 9062 31399 31398 0 -1 0 138058 0 0 0 71698 313 0 0 25 0 1 0 806267186 420147200 83876 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 102575 83876 300 300 0 102275 0 vsize: 410300 [startup+730.024 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9063 Raw data (stat): 9063 (pb2sat) R 9062 31399 31398 0 -1 0 138062 0 0 0 72698 313 0 0 25 0 1 0 806267186 420147200 83880 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 102575 83880 300 300 0 102275 0 vsize: 410300 [startup+740.023 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9063 Raw data (stat): 9063 (pb2sat) R 9062 31399 31398 0 -1 0 138065 0 0 0 73698 313 0 0 25 0 1 0 806267186 420147200 83883 4294967295 134512640 135726644 3221224592 3221223088 134744022 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 102575 83883 300 300 0 102275 0 vsize: 410300 [startup+750.023 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9063 Raw data (stat): 9063 (pb2sat) R 9062 31399 31398 0 -1 0 138071 0 0 0 74698 313 0 0 25 0 1 0 806267186 420147200 83889 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 102575 83889 300 300 0 102275 0 vsize: 410300 [startup+760.024 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9063 Raw data (stat): 9063 (pb2sat) R 9062 31399 31398 0 -1 0 138074 0 0 0 75698 313 0 0 25 0 1 0 806267186 420147200 83892 4294967295 134512640 135726644 3221224592 3221223088 134744002 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 102575 83892 300 300 0 102275 0 vsize: 410300 [startup+770.024 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9063 Raw data (stat): 9063 (pb2sat) R 9062 31399 31398 0 -1 0 138079 0 0 0 76698 314 0 0 25 0 1 0 806267186 420147200 83897 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 102575 83897 300 300 0 102275 0 vsize: 410300 [startup+780.025 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9063 Raw data (stat): 9063 (pb2sat) R 9062 31399 31398 0 -1 0 138084 0 0 0 77698 314 0 0 25 0 1 0 806267186 420147200 83902 4294967295 134512640 135726644 3221224592 3221223184 134760424 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 102575 83902 300 300 0 102275 0 vsize: 410300 [startup+790.025 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9063 Raw data (stat): 9063 (pb2sat) R 9062 31399 31398 0 -1 0 138086 0 0 0 78698 314 0 0 25 0 1 0 806267186 420147200 83904 4294967295 134512640 135726644 3221224592 3221223072 134729188 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 102575 83904 300 300 0 102275 0 vsize: 410300 [startup+800.025 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9063 Raw data (stat): 9063 (pb2sat) R 9062 31399 31398 0 -1 0 138090 0 0 0 79698 314 0 0 25 0 1 0 806267186 420147200 83908 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 102575 83908 300 300 0 102275 0 vsize: 410300 [startup+810.025 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9063 Raw data (stat): 9063 (pb2sat) R 9062 31399 31398 0 -1 0 138095 0 0 0 80699 314 0 0 25 0 1 0 806267186 420147200 83913 4294967295 134512640 135726644 3221224592 3221223072 134729188 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 102575 83913 300 300 0 102275 0 vsize: 410300 [startup+820.025 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9063 Raw data (stat): 9063 (pb2sat) R 9062 31399 31398 0 -1 0 138098 0 0 0 81699 314 0 0 25 0 1 0 806267186 420147200 83916 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 102575 83916 300 300 0 102275 0 vsize: 410300 [startup+830.025 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9063 Raw data (stat): 9063 (pb2sat) R 9062 31399 31398 0 -1 0 138103 0 0 0 82699 314 0 0 25 0 1 0 806267186 420147200 83921 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 102575 83921 300 300 0 102275 0 vsize: 410300 [startup+840.025 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9063 Raw data (stat): 9063 (pb2sat) R 9062 31399 31398 0 -1 0 138108 0 0 0 83699 314 0 0 25 0 1 0 806267186 420147200 83926 4294967295 134512640 135726644 3221224592 3221223216 134744582 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 102575 83926 300 300 0 102275 0 vsize: 410300 [startup+850.025 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9063 Raw data (stat): 9063 (pb2sat) R 9062 31399 31398 0 -1 0 138111 0 0 0 84699 314 0 0 25 0 1 0 806267186 420147200 83929 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 102575 83929 300 300 0 102275 0 vsize: 410300 [startup+860.025 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9063 Raw data (stat): 9063 (pb2sat) R 9062 31399 31398 0 -1 0 138115 0 0 0 85699 314 0 0 25 0 1 0 806267186 420147200 83933 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 102575 83933 300 300 0 102275 0 vsize: 410300 [startup+870.025 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9063 Raw data (stat): 9063 (pb2sat) R 9062 31399 31398 0 -1 0 138119 0 0 0 86699 314 0 0 25 0 1 0 806267186 420147200 83937 4294967295 134512640 135726644 3221224592 3221223088 134743901 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 102575 83937 300 300 0 102275 0 vsize: 410300 [startup+880.025 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9063 Raw data (stat): 9063 (pb2sat) R 9062 31399 31398 0 -1 0 138125 0 0 0 87700 314 0 0 25 0 1 0 806267186 420147200 83943 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 102575 83943 300 300 0 102275 0 vsize: 410300 [startup+890.025 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9063 Raw data (stat): 9063 (pb2sat) R 9062 31399 31398 0 -1 0 138131 0 0 0 88700 314 0 0 25 0 1 0 806267186 420147200 83949 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 102575 83949 300 300 0 102275 0 vsize: 410300 [startup+900.025 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9063 Raw data (stat): 9063 (pb2sat) R 9062 31399 31398 0 -1 0 138138 0 0 0 89700 315 0 0 25 0 1 0 806267186 420147200 83956 4294967295 134512640 135726644 3221224592 3221223088 134744025 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 102575 83956 300 300 0 102275 0 vsize: 410300 [startup+910.025 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9063 Raw data (stat): 9063 (pb2sat) R 9062 31399 31398 0 -1 0 138141 0 0 0 90700 315 0 0 25 0 1 0 806267186 420147200 83959 4294967295 134512640 135726644 3221224592 3221223072 134729188 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 102575 83959 300 300 0 102275 0 vsize: 410300 [startup+920.025 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9063 Raw data (stat): 9063 (pb2sat) R 9062 31399 31398 0 -1 0 138145 0 0 0 91700 315 0 0 25 0 1 0 806267186 420147200 83963 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 102575 83963 300 300 0 102275 0 vsize: 410300 [startup+930.025 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9063 Raw data (stat): 9063 (pb2sat) R 9062 31399 31398 0 -1 0 138151 0 0 0 92700 315 0 0 25 0 1 0 806267186 420147200 83969 4294967295 134512640 135726644 3221224592 3221222912 134728892 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 102575 83969 300 300 0 102275 0 vsize: 410300 [startup+940.024 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9063 Raw data (stat): 9063 (pb2sat) R 9062 31399 31398 0 -1 0 138156 0 0 0 93700 315 0 0 25 0 1 0 806267186 420147200 83974 4294967295 134512640 135726644 3221224592 3221223248 134731175 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 102575 83974 300 300 0 102275 0 vsize: 410300 [startup+950.024 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9063 Raw data (stat): 9063 (pb2sat) R 9062 31399 31398 0 -1 0 138161 0 0 0 94700 315 0 0 25 0 1 0 806267186 420147200 83979 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 102575 83979 300 300 0 102275 0 vsize: 410300 [startup+960.024 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9063 Raw data (stat): 9063 (pb2sat) R 9062 31399 31398 0 -1 0 138169 0 0 0 95700 315 0 0 25 0 1 0 806267186 420147200 83987 4294967295 134512640 135726644 3221224592 3221222912 134728934 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 102575 83987 300 300 0 102275 0 vsize: 410300 [startup+970.024 s] Raw data (loadavg): 1.07 0.99 0.91 2/54 9063 Raw data (stat): 9063 (pb2sat) R 9062 31399 31398 0 -1 0 138173 0 0 0 96700 315 0 0 25 0 1 0 806267186 420147200 83991 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 102575 83991 300 300 0 102275 0 vsize: 410300 [startup+980.025 s] Raw data (loadavg): 1.14 1.00 0.92 2/54 9063 Raw data (stat): 9063 (pb2sat) R 9062 31399 31398 0 -1 0 138378 0 0 0 97700 316 0 0 25 0 1 0 806267186 420671488 84067 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 102703 84067 300 300 0 102403 0 vsize: 410812 [startup+990.025 s] Raw data (loadavg): 1.11 1.00 0.92 2/54 9063 Raw data (stat): 9063 (pb2sat) R 9062 31399 31398 0 -1 0 138386 0 0 0 98700 316 0 0 25 0 1 0 806267186 420671488 84075 4294967295 134512640 135726644 3221224592 3221223184 134760008 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 102703 84075 300 300 0 102403 0 vsize: 410812 [startup+1000.02 s] Raw data (loadavg): 1.10 1.00 0.92 2/54 9063 Raw data (stat): 9063 (pb2sat) R 9062 31399 31398 0 -1 0 138392 0 0 0 99700 316 0 0 25 0 1 0 806267186 420671488 84081 4294967295 134512640 135726644 3221224592 3221223072 134729188 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 102703 84081 300 300 0 102403 0 vsize: 410812 [startup+1010.03 s] Raw data (loadavg): 1.08 1.00 0.92 2/54 9063 Raw data (stat): 9063 (pb2sat) R 9062 31399 31398 0 -1 0 138402 0 0 0 100700 316 0 0 25 0 1 0 806267186 420671488 84091 4294967295 134512640 135726644 3221224592 3221223088 134744372 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 102703 84091 300 300 0 102403 0 vsize: 410812 [startup+1020.03 s] Raw data (loadavg): 1.07 1.00 0.92 2/54 9063 Raw data (stat): 9063 (pb2sat) R 9062 31399 31398 0 -1 0 138405 0 0 0 101700 316 0 0 25 0 1 0 806267186 420671488 84094 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 102703 84094 300 300 0 102403 0 vsize: 410812 [startup+1030.03 s] Raw data (loadavg): 1.06 1.00 0.92 2/54 9063 Raw data (stat): 9063 (pb2sat) R 9062 31399 31398 0 -1 0 138409 0 0 0 102700 316 0 0 25 0 1 0 806267186 420671488 84098 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 102703 84098 300 300 0 102403 0 vsize: 410812 [startup+1040.03 s] Raw data (loadavg): 1.05 1.00 0.92 2/54 9063 Raw data (stat): 9063 (pb2sat) R 9062 31399 31398 0 -1 0 138440 0 0 0 103700 317 0 0 25 0 1 0 806267186 420671488 84129 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 102703 84129 300 300 0 102403 0 vsize: 410812 [startup+1050.03 s] Raw data (loadavg): 1.04 1.00 0.92 2/54 9063 Raw data (stat): 9063 (pb2sat) R 9062 31399 31398 0 -1 0 138455 0 0 0 104700 317 0 0 25 0 1 0 806267186 420671488 84144 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 102703 84144 300 300 0 102403 0 vsize: 410812 [startup+1060.03 s] Raw data (loadavg): 1.03 1.00 0.92 2/54 9063 Raw data (stat): 9063 (pb2sat) R 9062 31399 31398 0 -1 0 138486 0 0 0 105700 317 0 0 25 0 1 0 806267186 420671488 84175 4294967295 134512640 135726644 3221224592 3221223088 134744059 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 102703 84175 300 300 0 102403 0 vsize: 410812 [startup+1070.03 s] Raw data (loadavg): 1.03 1.00 0.92 2/54 9063 Raw data (stat): 9063 (pb2sat) R 9062 31399 31398 0 -1 0 138493 0 0 0 106700 317 0 0 25 0 1 0 806267186 420671488 84182 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 102703 84182 300 300 0 102403 0 vsize: 410812 [startup+1080.03 s] Raw data (loadavg): 1.02 1.00 0.92 2/54 9063 Raw data (stat): 9063 (pb2sat) R 9062 31399 31398 0 -1 0 138554 0 0 0 107700 317 0 0 25 0 1 0 806267186 420671488 84243 4294967295 134512640 135726644 3221224592 3221223072 134729041 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 102703 84243 300 300 0 102403 0 vsize: 410812 [startup+1090.03 s] Raw data (loadavg): 1.02 1.00 0.92 2/54 9063 Raw data (stat): 9063 (pb2sat) R 9062 31399 31398 0 -1 0 140203 0 0 0 108696 321 0 0 25 0 1 0 806267186 421003264 84305 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 102784 84305 300 300 0 102484 0 vsize: 411136 [startup+1100.03 s] Raw data (loadavg): 1.02 1.00 0.92 2/54 9063 Raw data (stat): 9063 (pb2sat) R 9062 31399 31398 0 -1 0 140239 0 0 0 109695 321 0 0 25 0 1 0 806267186 421003264 84341 4294967295 134512640 135726644 3221224592 3221223136 134736624 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 102784 84341 300 300 0 102484 0 vsize: 411136 [startup+1110.03 s] Raw data (loadavg): 1.01 1.00 0.92 2/54 9063 Raw data (stat): 9063 (pb2sat) R 9062 31399 31398 0 -1 0 140266 0 0 0 110694 322 0 0 25 0 1 0 806267186 421003264 84368 4294967295 134512640 135726644 3221224592 3221223248 134731205 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 102784 84368 300 300 0 102484 0 vsize: 411136 [startup+1120.03 s] Raw data (loadavg): 1.01 1.00 0.92 2/54 9063 Raw data (stat): 9063 (pb2sat) R 9062 31399 31398 0 -1 0 140297 0 0 0 111694 322 0 0 25 0 1 0 806267186 421003264 84399 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 102784 84399 300 300 0 102484 0 vsize: 411136 [startup+1130.03 s] Raw data (loadavg): 1.01 1.00 0.92 2/54 9063 Raw data (stat): 9063 (pb2sat) R 9062 31399 31398 0 -1 0 140488 0 0 0 112694 322 0 0 25 0 1 0 806267186 421527552 84461 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 102912 84461 300 300 0 102612 0 vsize: 411648 [startup+1140.03 s] Raw data (loadavg): 1.01 1.00 0.92 2/54 9063 Raw data (stat): 9063 (pb2sat) R 9062 31399 31398 0 -1 0 140536 0 0 0 113694 322 0 0 25 0 1 0 806267186 421527552 84509 4294967295 134512640 135726644 3221224592 3221223136 134736726 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 102912 84509 300 300 0 102612 0 vsize: 411648 [startup+1150.03 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 9063 Raw data (stat): 9063 (pb2sat) R 9062 31399 31398 0 -1 0 140555 0 0 0 114694 322 0 0 25 0 1 0 806267186 421527552 84528 4294967295 134512640 135726644 3221224592 3221223088 134744223 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 102912 84528 300 300 0 102612 0 vsize: 411648 [startup+1160.03 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 9063 Raw data (stat): 9063 (pb2sat) R 9062 31399 31398 0 -1 0 140568 0 0 0 115694 322 0 0 25 0 1 0 806267186 421527552 84541 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 102912 84541 300 300 0 102612 0 vsize: 411648 [startup+1170.03 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 9063 Raw data (stat): 9063 (pb2sat) R 9062 31399 31398 0 -1 0 140579 0 0 0 116694 323 0 0 25 0 1 0 806267186 421527552 84552 4294967295 134512640 135726644 3221224592 3221223184 134760055 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 102912 84552 300 300 0 102612 0 vsize: 411648 [startup+1180.03 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 9063 Raw data (stat): 9063 (pb2sat) R 9062 31399 31398 0 -1 0 140593 0 0 0 117694 323 0 0 25 0 1 0 806267186 421527552 84566 4294967295 134512640 135726644 3221224592 3221223280 134744845 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 102912 84566 300 300 0 102612 0 vsize: 411648 [startup+1190.03 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 9063 Raw data (stat): 9063 (pb2sat) R 9062 31399 31398 0 -1 0 140611 0 0 0 118694 323 0 0 25 0 1 0 806267186 421527552 84584 4294967295 134512640 135726644 3221224592 3221222912 134728892 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 102912 84584 300 300 0 102612 0 vsize: 411648 [startup+1200.03 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 9063 Raw data (stat): 9063 (pb2sat) R 9062 31399 31398 0 -1 0 140626 0 0 0 119694 323 0 0 25 0 1 0 806267186 421527552 84599 4294967295 134512640 135726644 3221224592 3221223184 134760008 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 102912 84599 300 300 0 102612 0 vsize: 411648 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1202.2 s] Raw data (loadavg): 1.00 1.00 0.92 1/53 9063 Raw data (stat): 9063 (pb2sat) R 9062 31399 31398 0 -1 0 140626 0 0 0 119694 323 0 0 25 0 1 0 806267186 421527552 84599 4294967295 134512640 135726644 3221224592 3221223184 134760008 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 102912 84599 300 300 0 102612 0 vsize: 0 Child ended because it received signal 9 (SIGKILL) Real time (s): 1202.2 CPU time (s): 1202.35 CPU user time (s): 1198.94 CPU system time (s): 3.40048 CPU usage (%): 100.012 Max. virtual memory (Kb): 411648 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####