Name | normalized-opb/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-NSR8K.opb |
MD5SUM | 4969ff20db6e3c380ff3de77937a8672 |
Bench Category | optimization, big integers (OPTBIGINT) |
Has Objective Function | YES |
Satisfiable | NO |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of terms in the objective function | 221520 |
Biggest coefficient in the objective function | 536870912000000000000 |
Number of bits for the biggest coefficient in the objective function | 69 |
Sum of the numbers in the objective function | 34400198927214220148736 |
Number of bits of the sum of numbers in the objective function | 75 |
Biggest number in a constraint | 536870912000000000000 |
Number of bits of the biggest number in a constraint | 69 |
Biggest sum of numbers in a constraint | 34400301327214220148736 |
Number of bits of the biggest sum of numbers | 75 |
Best result obtained on this benchmark | UNSAT |
Best CPU time to get the best result obtained on this benchmark | 2.17367 |
Number of variables | 221520 |
Total number of constraints | 38324 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 32041 |
Number of constraints which are nor clauses,nor cardinality constraints | 6283 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 221520 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc30 THE 2005-05-28 13:03:49 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=24694 boxname=wulflinc30 idbench=1166 idsolver=17 numberseed=0 MD5SUM SOLVER: MD5SUM BENCH: 4969ff20db6e3c380ff3de77937a8672 /oldhome/oroussel/tmp/wulflinc30/normalized-mps-v2-20-10-NSR8K.opb REAL COMMAND: pb2sat /oldhome/oroussel/tmp/wulflinc30/normalized-mps-v2-20-10-NSR8K.opb IDLAUNCH: 24694 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.072 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 : 3 cpu MHz : 451.072 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 : 901.12 /proc/meminfo: MemTotal: 1034660 kB MemFree: 776528 kB Buffers: 34500 kB Cached: 199484 kB SwapCached: 752 kB Active: 70000 kB Inactive: 166172 kB HighTotal: 131008 kB HighFree: 252 kB LowTotal: 903652 kB LowFree: 776276 kB SwapTotal: 2097892 kB SwapFree: 2096312 kB Dirty: 28 kB Writeback: 0 kB Mapped: 5060 kB Slab: 16308 kB Committed_AS: 63600 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-05-28 13:23:53 (client local time) WITH STATUS 0 IN 1201.29 SECONDS stats: 24694 7 1201.29 0 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c This solver internally uses Chaff 2004.11.15 Simplified 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.91 0.96 0.91 2/54 1152 Raw data (stat): 1152 (runsolver) R 1151 22056 22055 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 865011338 884736 94 4294967295 134512640 135332820 3221224464 3221219644 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.0021 s] Raw data (loadavg): 0.92 0.96 0.91 2/54 1152 Raw data (stat): 1152 (pb2sat) R 1151 22056 22055 0 -1 0 1968 0 0 0 994 5 0 0 25 0 1 0 865011338 7413760 1296 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 1810 1296 300 300 0 1510 0 vsize: 7240 [startup+20.0028 s] Raw data (loadavg): 0.94 0.96 0.91 2/54 1152 Raw data (stat): 1152 (pb2sat) R 1151 22056 22055 0 -1 0 2571 0 0 0 1992 6 0 0 25 0 1 0 865011338 9035776 1889 4294967295 134512640 135726644 3221224576 3221221872 134568007 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 2206 1889 300 300 0 1906 0 vsize: 8824 [startup+30.0032 s] Raw data (loadavg): 0.94 0.96 0.91 2/54 1152 Raw data (stat): 1152 (pb2sat) R 1151 22056 22055 0 -1 0 3821 0 0 0 2989 10 0 0 25 0 1 0 865011338 13410304 2426 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 3274 2426 300 300 0 2974 0 vsize: 13096 [startup+40.0042 s] Raw data (loadavg): 0.95 0.96 0.91 2/54 1152 Raw data (stat): 1152 (pb2sat) R 1151 22056 22055 0 -1 0 4017 0 0 0 3988 10 0 0 25 0 1 0 865011338 13815808 2617 4294967295 134512640 135726644 3221224576 3221221664 134556173 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 3373 2617 300 300 0 3073 0 vsize: 13492 [startup+50.005 s] Raw data (loadavg): 0.96 0.96 0.91 2/54 1152 Raw data (stat): 1152 (pb2sat) R 1151 22056 22055 0 -1 0 4291 0 0 0 4987 11 0 0 25 0 1 0 865011338 14491648 2887 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 3538 2887 300 300 0 3238 0 vsize: 14152 [startup+60.0058 s] Raw data (loadavg): 0.97 0.96 0.91 2/54 1152 Raw data (stat): 1152 (pb2sat) R 1151 22056 22055 0 -1 0 4538 0 0 0 5986 12 0 0 25 0 1 0 865011338 15167488 3130 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 3703 3130 300 300 0 3403 0 vsize: 14812 [startup+70.0165 s] Raw data (loadavg): 0.97 0.97 0.91 2/54 1152 Raw data (stat): 1152 (pb2sat) R 1151 22056 22055 0 -1 0 4761 0 0 0 6987 13 0 0 25 0 1 0 865011338 15708160 3349 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 3835 3349 300 300 0 3535 0 vsize: 15340 [startup+80.0224 s] Raw data (loadavg): 0.97 0.97 0.91 2/54 1152 Raw data (stat): 1152 (pb2sat) R 1151 22056 22055 0 -1 0 4964 0 0 0 7988 13 0 0 25 0 1 0 865011338 16248832 3549 4294967295 134512640 135726644 3221224576 3221221664 134556160 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 3967 3549 300 300 0 3667 0 vsize: 15868 [startup+90.0222 s] Raw data (loadavg): 0.98 0.97 0.91 2/54 1152 Raw data (stat): 1152 (pb2sat) R 1151 22056 22055 0 -1 0 5155 0 0 0 8987 13 0 0 25 0 1 0 865011338 16789504 3737 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 4099 3737 300 300 0 3799 0 vsize: 16396 [startup+100.023 s] Raw data (loadavg): 0.98 0.97 0.91 2/54 1152 Raw data (stat): 1152 (pb2sat) R 1151 22056 22055 0 -1 0 5333 0 0 0 9986 14 0 0 25 0 1 0 865011338 17195008 3912 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 4198 3912 300 300 0 3898 0 vsize: 16792 [startup+110.024 s] Raw data (loadavg): 0.98 0.97 0.91 2/54 1152 Raw data (stat): 1152 (pb2sat) R 1151 22056 22055 0 -1 0 5504 0 0 0 10986 15 0 0 25 0 1 0 865011338 17735680 4080 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 4330 4080 300 300 0 4030 0 vsize: 17320 [startup+120.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1152 Raw data (stat): 1152 (pb2sat) R 1151 22056 22055 0 -1 0 7494 0 0 0 11983 18 0 0 25 0 1 0 865011338 25403392 4658 4294967295 134512640 135726644 3221224576 3221221664 134556192 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 6202 4658 300 300 0 5902 0 vsize: 24808 [startup+130.034 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1154 Raw data (stat): 1152 (pb2sat) R 1151 22056 22055 0 -1 0 7550 0 0 0 12983 19 0 0 25 0 1 0 865011338 25403392 4711 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 6202 4711 300 300 0 5902 0 vsize: 24808 [startup+140.034 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1154 Raw data (stat): 1152 (pb2sat) R 1151 22056 22055 0 -1 0 7603 0 0 0 13983 19 0 0 25 0 1 0 865011338 25403392 4762 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 6202 4762 300 300 0 5902 0 vsize: 24808 [startup+150.036 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1154 Raw data (stat): 1152 (pb2sat) R 1151 22056 22055 0 -1 0 7681 0 0 0 14983 19 0 0 25 0 1 0 865011338 25403392 4838 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 6202 4838 300 300 0 5902 0 vsize: 24808 [startup+160.037 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1154 Raw data (stat): 1152 (pb2sat) R 1151 22056 22055 0 -1 0 7731 0 0 0 15982 20 0 0 25 0 1 0 865011338 25403392 4885 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 6202 4885 300 300 0 5902 0 vsize: 24808 [startup+170.037 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1154 Raw data (stat): 1152 (pb2sat) R 1151 22056 22055 0 -1 0 7860 0 0 0 16981 20 0 0 25 0 1 0 865011338 25808896 5012 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 6301 5012 300 300 0 6001 0 vsize: 25204 [startup+180.037 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1154 Raw data (stat): 1152 (pb2sat) R 1151 22056 22055 0 -1 0 7992 0 0 0 17981 20 0 0 25 0 1 0 865011338 26214400 5142 4294967295 134512640 135726644 3221224576 3221221664 134556160 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 6400 5142 300 300 0 6100 0 vsize: 25600 [startup+190.037 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1154 Raw data (stat): 1152 (pb2sat) R 1151 22056 22055 0 -1 0 8120 0 0 0 18981 21 0 0 25 0 1 0 865011338 26484736 5268 4294967295 134512640 135726644 3221224576 3221221664 134556187 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 6466 5268 300 300 0 6166 0 vsize: 25864 [startup+200.038 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1154 Raw data (stat): 1152 (pb2sat) R 1151 22056 22055 0 -1 0 8245 0 0 0 19981 21 0 0 25 0 1 0 865011338 26755072 5391 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 6532 5391 300 300 0 6232 0 vsize: 26128 [startup+210.039 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1154 Raw data (stat): 1152 (pb2sat) R 1151 22056 22055 0 -1 0 8368 0 0 0 20981 21 0 0 25 0 1 0 865011338 27160576 5512 4294967295 134512640 135726644 3221224576 3221221664 134556173 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 6631 5512 300 300 0 6331 0 vsize: 26524 [startup+220.039 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1154 Raw data (stat): 1152 (pb2sat) R 1151 22056 22055 0 -1 0 8485 0 0 0 21980 22 0 0 25 0 1 0 865011338 27430912 5627 4294967295 134512640 135726644 3221224576 3221221664 134556160 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 6697 5627 300 300 0 6397 0 vsize: 26788 [startup+230.039 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1154 Raw data (stat): 1152 (pb2sat) R 1151 22056 22055 0 -1 0 8602 0 0 0 22980 22 0 0 25 0 1 0 865011338 27701248 5742 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 6763 5742 300 300 0 6463 0 vsize: 27052 [startup+240.039 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1154 Raw data (stat): 1152 (pb2sat) R 1151 22056 22055 0 -1 0 8717 0 0 0 23979 23 0 0 25 0 1 0 865011338 28106752 5855 4294967295 134512640 135726644 3221224576 3221221664 134556173 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 6862 5855 300 300 0 6562 0 vsize: 27448 [startup+250.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1154 Raw data (stat): 1152 (pb2sat) R 1151 22056 22055 0 -1 0 8828 0 0 0 24979 23 0 0 25 0 1 0 865011338 28377088 5965 4294967295 134512640 135726644 3221224576 3221221664 134556173 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 6928 5965 300 300 0 6628 0 vsize: 27712 [startup+260.041 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1154 Raw data (stat): 1152 (pb2sat) R 1151 22056 22055 0 -1 0 8938 0 0 0 25979 24 0 0 25 0 1 0 865011338 28647424 6073 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 6994 6073 300 300 0 6694 0 vsize: 27976 [startup+270.041 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1154 Raw data (stat): 1152 (pb2sat) R 1151 22056 22055 0 -1 0 9047 0 0 0 26979 24 0 0 25 0 1 0 865011338 28917760 6180 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 7060 6180 300 300 0 6760 0 vsize: 28240 [startup+280.041 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1154 Raw data (stat): 1152 (pb2sat) R 1151 22056 22055 0 -1 0 9152 0 0 0 27978 25 0 0 25 0 1 0 865011338 29188096 6283 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 7126 6283 300 300 0 6826 0 vsize: 28504 [startup+290.041 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1154 Raw data (stat): 1152 (pb2sat) R 1151 22056 22055 0 -1 0 9256 0 0 0 28978 25 0 0 25 0 1 0 865011338 29458432 6386 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 7192 6386 300 300 0 6892 0 vsize: 28768 [startup+300.042 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1154 Raw data (stat): 1152 (pb2sat) R 1151 22056 22055 0 -1 0 9359 0 0 0 29977 25 0 0 25 0 1 0 865011338 29728768 6487 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 7258 6487 300 300 0 6958 0 vsize: 29032 [startup+310.043 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1154 Raw data (stat): 1152 (pb2sat) R 1151 22056 22055 0 -1 0 9461 0 0 0 30977 26 0 0 25 0 1 0 865011338 29999104 6587 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 7324 6587 300 300 0 7024 0 vsize: 29296 [startup+320.042 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1154 Raw data (stat): 1152 (pb2sat) R 1151 22056 22055 0 -1 0 9560 0 0 0 31977 26 0 0 25 0 1 0 865011338 30269440 6685 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 7390 6685 300 300 0 7090 0 vsize: 29560 [startup+330.043 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1154 Raw data (stat): 1152 (pb2sat) R 1151 22056 22055 0 -1 0 9658 0 0 0 32977 26 0 0 25 0 1 0 865011338 30539776 6781 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 7456 6781 300 300 0 7156 0 vsize: 29824 [startup+340.043 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1154 Raw data (stat): 1152 (pb2sat) R 1151 22056 22055 0 -1 0 9753 0 0 0 33977 27 0 0 25 0 1 0 865011338 30810112 6875 4294967295 134512640 135726644 3221224576 3221221664 134556173 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 7522 6875 300 300 0 7222 0 vsize: 30088 [startup+350.044 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1154 Raw data (stat): 1152 (pb2sat) R 1151 22056 22055 0 -1 0 9849 0 0 0 34977 27 0 0 25 0 1 0 865011338 31080448 6969 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 7588 6969 300 300 0 7288 0 vsize: 30352 [startup+360.044 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1154 Raw data (stat): 1152 (pb2sat) R 1151 22056 22055 0 -1 0 9942 0 0 0 35977 27 0 0 25 0 1 0 865011338 31350784 7061 4294967295 134512640 135726644 3221224576 3221221664 134556173 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 7654 7061 300 300 0 7354 0 vsize: 30616 [startup+370.046 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1154 Raw data (stat): 1152 (pb2sat) R 1151 22056 22055 0 -1 0 10035 0 0 0 36977 27 0 0 25 0 1 0 865011338 31485952 7152 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 7687 7152 300 300 0 7387 0 vsize: 30748 [startup+380.046 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1154 Raw data (stat): 1152 (pb2sat) R 1151 22056 22055 0 -1 0 10127 0 0 0 37977 27 0 0 25 0 1 0 865011338 31756288 7243 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 7753 7243 300 300 0 7453 0 vsize: 31012 [startup+390.046 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1154 Raw data (stat): 1152 (pb2sat) R 1151 22056 22055 0 -1 0 10218 0 0 0 38977 27 0 0 25 0 1 0 865011338 32026624 7332 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 7819 7332 300 300 0 7519 0 vsize: 31276 [startup+400.047 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1154 Raw data (stat): 1152 (pb2sat) R 1151 22056 22055 0 -1 0 10307 0 0 0 39977 28 0 0 25 0 1 0 865011338 32296960 7420 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 7885 7420 300 300 0 7585 0 vsize: 31540 [startup+410.053 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1154 Raw data (stat): 1152 (pb2sat) R 1151 22056 22055 0 -1 0 10396 0 0 0 40977 28 0 0 25 0 1 0 865011338 32567296 7507 4294967295 134512640 135726644 3221224576 3221221664 134556173 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 7951 7507 300 300 0 7651 0 vsize: 31804 [startup+420.053 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1154 Raw data (stat): 1152 (pb2sat) R 1151 22056 22055 0 -1 0 10482 0 0 0 41977 29 0 0 25 0 1 0 865011338 32702464 7592 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 7984 7592 300 300 0 7684 0 vsize: 31936 [startup+430.06 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1154 Raw data (stat): 1152 (pb2sat) R 1151 22056 22055 0 -1 0 10570 0 0 0 42977 29 0 0 25 0 1 0 865011338 32972800 7678 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 8050 7678 300 300 0 7750 0 vsize: 32200 [startup+440.063 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1154 Raw data (stat): 1152 (pb2sat) R 1151 22056 22055 0 -1 0 10654 0 0 0 43978 29 0 0 25 0 1 0 865011338 33243136 7761 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 8116 7761 300 300 0 7816 0 vsize: 32464 [startup+450.064 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1154 Raw data (stat): 1152 (pb2sat) R 1151 22056 22055 0 -1 0 10739 0 0 0 44978 29 0 0 25 0 1 0 865011338 33378304 7845 4294967295 134512640 135726644 3221224576 3221221448 135336109 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 8149 7845 300 300 0 7849 0 vsize: 32596 [startup+460.065 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1154 Raw data (stat): 1152 (pb2sat) R 1151 22056 22055 0 -1 0 10822 0 0 0 45977 29 0 0 25 0 1 0 865011338 33648640 7926 4294967295 134512640 135726644 3221224576 3221221664 134556168 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 8215 7926 300 300 0 7915 0 vsize: 32860 [startup+470.065 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1154 Raw data (stat): 1152 (pb2sat) R 1151 22056 22055 0 -1 0 10906 0 0 0 46977 30 0 0 25 0 1 0 865011338 33783808 8009 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 8248 8009 300 300 0 7948 0 vsize: 32992 [startup+480.065 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1154 Raw data (stat): 1152 (pb2sat) R 1151 22056 22055 0 -1 0 14813 0 0 0 47969 38 0 0 25 0 1 0 865011338 49254400 9097 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 12025 9097 300 300 0 11725 0 vsize: 48100 [startup+490.066 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1154 Raw data (stat): 1152 (pb2sat) R 1151 22056 22055 0 -1 0 14843 0 0 0 48969 38 0 0 25 0 1 0 865011338 49254400 9125 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 12025 9125 300 300 0 11725 0 vsize: 48100 [startup+500.067 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1154 Raw data (stat): 1152 (pb2sat) R 1151 22056 22055 0 -1 0 14871 0 0 0 49969 38 0 0 25 0 1 0 865011338 49254400 9152 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 12025 9152 300 300 0 11725 0 vsize: 48100 [startup+510.068 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1154 Raw data (stat): 1152 (pb2sat) R 1151 22056 22055 0 -1 0 14899 0 0 0 50969 38 0 0 25 0 1 0 865011338 49254400 9179 4294967295 134512640 135726644 3221224576 3221221664 134556173 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 12025 9179 300 300 0 11725 0 vsize: 48100 [startup+520.068 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1154 Raw data (stat): 1152 (pb2sat) R 1151 22056 22055 0 -1 0 14926 0 0 0 51969 39 0 0 25 0 1 0 865011338 49254400 9205 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12025 9205 300 300 0 11725 0 vsize: 48100 [startup+530.069 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1154 Raw data (stat): 1152 (pb2sat) R 1151 22056 22055 0 -1 0 14954 0 0 0 52969 39 0 0 25 0 1 0 865011338 49254400 9231 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 12025 9231 300 300 0 11725 0 vsize: 48100 [startup+540.068 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1154 Raw data (stat): 1152 (pb2sat) R 1151 22056 22055 0 -1 0 14982 0 0 0 53969 39 0 0 25 0 1 0 865011338 49254400 9258 4294967295 134512640 135726644 3221224576 3221221664 134556173 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 12025 9258 300 300 0 11725 0 vsize: 48100 [startup+550.078 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1154 Raw data (stat): 1152 (pb2sat) R 1151 22056 22055 0 -1 0 15009 0 0 0 54970 39 0 0 25 0 1 0 865011338 49254400 9284 4294967295 134512640 135726644 3221224576 3221221664 134556195 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 12025 9284 300 300 0 11725 0 vsize: 48100 [startup+560.078 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1154 Raw data (stat): 1152 (pb2sat) R 1151 22056 22055 0 -1 0 15035 0 0 0 55970 39 0 0 25 0 1 0 865011338 49254400 9309 4294967295 134512640 135726644 3221224576 3221221664 134556168 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 12025 9309 300 300 0 11725 0 vsize: 48100 [startup+570.078 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1154 Raw data (stat): 1152 (pb2sat) R 1151 22056 22055 0 -1 0 15063 0 0 0 56970 40 0 0 25 0 1 0 865011338 49254400 9335 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 12025 9335 300 300 0 11725 0 vsize: 48100 [startup+580.079 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1154 Raw data (stat): 1152 (pb2sat) R 1151 22056 22055 0 -1 0 15090 0 0 0 57970 40 0 0 25 0 1 0 865011338 49254400 9361 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12025 9361 300 300 0 11725 0 vsize: 48100 [startup+590.078 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1154 Raw data (stat): 1152 (pb2sat) R 1151 22056 22055 0 -1 0 15115 0 0 0 58969 40 0 0 25 0 1 0 865011338 49254400 9385 4294967295 134512640 135726644 3221224576 3221221664 134556160 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 12025 9385 300 300 0 11725 0 vsize: 48100 [startup+600.079 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1154 Raw data (stat): 1152 (pb2sat) R 1151 22056 22055 0 -1 0 15141 0 0 0 59969 40 0 0 25 0 1 0 865011338 49254400 9410 4294967295 134512640 135726644 3221224576 3221221664 134556173 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 12025 9410 300 300 0 11725 0 vsize: 48100 [startup+610.08 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1154 Raw data (stat): 1152 (pb2sat) R 1151 22056 22055 0 -1 0 15175 0 0 0 60970 40 0 0 25 0 1 0 865011338 49254400 9443 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 12025 9443 300 300 0 11725 0 vsize: 48100 [startup+620.081 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1154 Raw data (stat): 1152 (pb2sat) R 1151 22056 22055 0 -1 0 15218 0 0 0 61970 40 0 0 25 0 1 0 865011338 49254400 9485 4294967295 134512640 135726644 3221224576 3221221664 134556168 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 12025 9485 300 300 0 11725 0 vsize: 48100 [startup+630.082 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1154 Raw data (stat): 1152 (pb2sat) R 1151 22056 22055 0 -1 0 15244 0 0 0 62970 40 0 0 25 0 1 0 865011338 49254400 9509 4294967295 134512640 135726644 3221224576 3221221664 134556173 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 12025 9509 300 300 0 11725 0 vsize: 48100 [startup+640.081 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1154 Raw data (stat): 1152 (pb2sat) R 1151 22056 22055 0 -1 0 15270 0 0 0 63970 40 0 0 25 0 1 0 865011338 49254400 9534 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 12025 9534 300 300 0 11725 0 vsize: 48100 [startup+650.082 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1154 Raw data (stat): 1152 (pb2sat) R 1151 22056 22055 0 -1 0 15294 0 0 0 64970 40 0 0 25 0 1 0 865011338 49254400 9557 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12025 9557 300 300 0 11725 0 vsize: 48100 [startup+660.083 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1154 Raw data (stat): 1152 (pb2sat) R 1151 22056 22055 0 -1 0 15319 0 0 0 65969 41 0 0 25 0 1 0 865011338 49254400 9581 4294967295 134512640 135726644 3221224576 3221221664 134556168 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 12025 9581 300 300 0 11725 0 vsize: 48100 [startup+670.083 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1154 Raw data (stat): 1152 (pb2sat) R 1151 22056 22055 0 -1 0 15347 0 0 0 66969 41 0 0 25 0 1 0 865011338 49389568 9608 4294967295 134512640 135726644 3221224576 3221221664 134556160 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 12058 9608 300 300 0 11758 0 vsize: 48232 [startup+680.088 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1154 Raw data (stat): 1152 (pb2sat) R 1151 22056 22055 0 -1 0 15417 0 0 0 67969 41 0 0 25 0 1 0 865011338 49524736 9677 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 12091 9677 300 300 0 11791 0 vsize: 48364 [startup+690.095 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1154 Raw data (stat): 1152 (pb2sat) R 1151 22056 22055 0 -1 0 15485 0 0 0 68970 41 0 0 25 0 1 0 865011338 49659904 9744 4294967295 134512640 135726644 3221224576 3221221664 134556168 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 12124 9744 300 300 0 11824 0 vsize: 48496 [startup+700.096 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1154 Raw data (stat): 1152 (pb2sat) R 1151 22056 22055 0 -1 0 15552 0 0 0 69970 41 0 0 25 0 1 0 865011338 49930240 9810 4294967295 134512640 135726644 3221224576 3221221664 134556168 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 12190 9810 300 300 0 11890 0 vsize: 48760 [startup+710.096 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1154 Raw data (stat): 1152 (pb2sat) R 1151 22056 22055 0 -1 0 15621 0 0 0 70970 42 0 0 25 0 1 0 865011338 50065408 9877 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 12223 9877 300 300 0 11923 0 vsize: 48892 [startup+720.097 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1154 Raw data (stat): 1152 (pb2sat) R 1151 22056 22055 0 -1 0 15687 0 0 0 71970 42 0 0 25 0 1 0 865011338 50200576 9942 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 12256 9942 300 300 0 11956 0 vsize: 49024 [startup+730.098 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1154 Raw data (stat): 1152 (pb2sat) R 1151 22056 22055 0 -1 0 15753 0 0 0 72970 42 0 0 25 0 1 0 865011338 50470912 10007 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 12322 10007 300 300 0 12022 0 vsize: 49288 [startup+740.097 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1154 Raw data (stat): 1152 (pb2sat) R 1151 22056 22055 0 -1 0 15821 0 0 0 73970 42 0 0 25 0 1 0 865011338 50606080 10074 4294967295 134512640 135726644 3221224576 3221221664 134556160 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 12355 10074 300 300 0 12055 0 vsize: 49420 [startup+750.098 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1154 Raw data (stat): 1152 (pb2sat) R 1151 22056 22055 0 -1 0 15887 0 0 0 74970 42 0 0 25 0 1 0 865011338 50741248 10139 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 12388 10139 300 300 0 12088 0 vsize: 49552 [startup+760.099 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1154 Raw data (stat): 1152 (pb2sat) R 1151 22056 22055 0 -1 0 15952 0 0 0 75970 42 0 0 25 0 1 0 865011338 50876416 10203 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 12421 10203 300 300 0 12121 0 vsize: 49684 [startup+770.099 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1154 Raw data (stat): 1152 (pb2sat) R 1151 22056 22055 0 -1 0 16015 0 0 0 76970 43 0 0 25 0 1 0 865011338 51146752 10265 4294967295 134512640 135726644 3221224576 3221221664 134556173 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12487 10265 300 300 0 12187 0 vsize: 49948 [startup+780.1 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1154 Raw data (stat): 1152 (pb2sat) R 1151 22056 22055 0 -1 0 16079 0 0 0 77968 43 0 0 25 0 1 0 865011338 51281920 10328 4294967295 134512640 135726644 3221224576 3221221664 134556160 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 12520 10328 300 300 0 12220 0 vsize: 50080 [startup+790.101 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1154 Raw data (stat): 1152 (pb2sat) R 1151 22056 22055 0 -1 0 16143 0 0 0 78969 43 0 0 25 0 1 0 865011338 51417088 10391 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 12553 10391 300 300 0 12253 0 vsize: 50212 [startup+800.101 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1154 Raw data (stat): 1152 (pb2sat) R 1151 22056 22055 0 -1 0 16208 0 0 0 79969 44 0 0 25 0 1 0 865011338 51552256 10455 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 12586 10455 300 300 0 12286 0 vsize: 50344 [startup+810.102 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1154 Raw data (stat): 1152 (pb2sat) R 1151 22056 22055 0 -1 0 16271 0 0 0 80969 44 0 0 25 0 1 0 865011338 51822592 10517 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 12652 10517 300 300 0 12352 0 vsize: 50608 [startup+820.111 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1154 Raw data (stat): 1152 (pb2sat) R 1151 22056 22055 0 -1 0 16333 0 0 0 81970 44 0 0 25 0 1 0 865011338 51957760 10578 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 12685 10578 300 300 0 12385 0 vsize: 50740 [startup+830.111 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1154 Raw data (stat): 1152 (pb2sat) R 1151 22056 22055 0 -1 0 16395 0 0 0 82968 45 0 0 25 0 1 0 865011338 52092928 10639 4294967295 134512640 135726644 3221224576 3221221664 134556173 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 12718 10639 300 300 0 12418 0 vsize: 50872 [startup+840.111 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1154 Raw data (stat): 1152 (pb2sat) R 1151 22056 22055 0 -1 0 16457 0 0 0 83968 45 0 0 25 0 1 0 865011338 52228096 10700 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 12751 10700 300 300 0 12451 0 vsize: 51004 [startup+850.112 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1154 Raw data (stat): 1152 (pb2sat) R 1151 22056 22055 0 -1 0 16519 0 0 0 84968 45 0 0 25 0 1 0 865011338 52498432 10761 4294967295 134512640 135726644 3221224576 3221221664 134556168 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 12817 10761 300 300 0 12517 0 vsize: 51268 [startup+860.112 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1154 Raw data (stat): 1152 (pb2sat) R 1151 22056 22055 0 -1 0 16581 0 0 0 85968 45 0 0 25 0 1 0 865011338 52633600 10822 4294967295 134512640 135726644 3221224576 3221221664 134556173 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 12850 10822 300 300 0 12550 0 vsize: 51400 [startup+870.112 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1154 Raw data (stat): 1152 (pb2sat) R 1151 22056 22055 0 -1 0 16642 0 0 0 86968 45 0 0 25 0 1 0 865011338 52768768 10882 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 12883 10882 300 300 0 12583 0 vsize: 51532 [startup+880.113 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1154 Raw data (stat): 1152 (pb2sat) R 1151 22056 22055 0 -1 0 16704 0 0 0 87968 45 0 0 25 0 1 0 865011338 52903936 10943 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 12916 10943 300 300 0 12616 0 vsize: 51664 [startup+890.113 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1154 Raw data (stat): 1152 (pb2sat) R 1151 22056 22055 0 -1 0 16762 0 0 0 88967 46 0 0 25 0 1 0 865011338 53039104 11000 4294967295 134512640 135726644 3221224576 3221221520 134541104 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 12949 11000 300 300 0 12649 0 vsize: 51796 [startup+900.114 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1154 Raw data (stat): 1152 (pb2sat) R 1151 22056 22055 0 -1 0 16823 0 0 0 89968 46 0 0 25 0 1 0 865011338 53174272 11060 4294967295 134512640 135726644 3221224576 3221221664 134556173 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 12982 11060 300 300 0 12682 0 vsize: 51928 [startup+910.117 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1154 Raw data (stat): 1152 (pb2sat) R 1151 22056 22055 0 -1 0 16883 0 0 0 90968 46 0 0 25 0 1 0 865011338 53444608 11119 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 13048 11119 300 300 0 12748 0 vsize: 52192 [startup+920.117 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1154 Raw data (stat): 1152 (pb2sat) R 1151 22056 22055 0 -1 0 16942 0 0 0 91968 46 0 0 25 0 1 0 865011338 53579776 11177 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 13081 11177 300 300 0 12781 0 vsize: 52324 [startup+930.118 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1154 Raw data (stat): 1152 (pb2sat) R 1151 22056 22055 0 -1 0 17001 0 0 0 92968 46 0 0 25 0 1 0 865011338 53714944 11235 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 13114 11235 300 300 0 12814 0 vsize: 52456 [startup+940.117 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1154 Raw data (stat): 1152 (pb2sat) R 1151 22056 22055 0 -1 0 17061 0 0 0 93968 46 0 0 25 0 1 0 865011338 53850112 11294 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 13147 11294 300 300 0 12847 0 vsize: 52588 [startup+950.117 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1154 Raw data (stat): 1152 (pb2sat) R 1151 22056 22055 0 -1 0 17119 0 0 0 94967 47 0 0 25 0 1 0 865011338 53985280 11351 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 13180 11351 300 300 0 12880 0 vsize: 52720 [startup+960.118 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1154 Raw data (stat): 1152 (pb2sat) R 1151 22056 22055 0 -1 0 17177 0 0 0 95967 47 0 0 25 0 1 0 865011338 54120448 11408 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 13213 11408 300 300 0 12913 0 vsize: 52852 [startup+970.118 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1154 Raw data (stat): 1152 (pb2sat) R 1151 22056 22055 0 -1 0 17235 0 0 0 96967 47 0 0 25 0 1 0 865011338 54390784 11465 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 13279 11465 300 300 0 12979 0 vsize: 53116 [startup+980.118 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1154 Raw data (stat): 1152 (pb2sat) R 1151 22056 22055 0 -1 0 17292 0 0 0 97967 48 0 0 25 0 1 0 865011338 54525952 11522 4294967295 134512640 135726644 3221224576 3221221664 134556160 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 13312 11522 300 300 0 13012 0 vsize: 53248 [startup+990.119 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1154 Raw data (stat): 1152 (pb2sat) R 1151 22056 22055 0 -1 0 17349 0 0 0 98967 48 0 0 25 0 1 0 865011338 54661120 11578 4294967295 134512640 135726644 3221224576 3221221664 134556173 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 13345 11578 300 300 0 13045 0 vsize: 53380 [startup+1000.12 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1154 Raw data (stat): 1152 (pb2sat) R 1151 22056 22055 0 -1 0 17407 0 0 0 99967 48 0 0 25 0 1 0 865011338 54796288 11635 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 13378 11635 300 300 0 13078 0 vsize: 53512 [startup+1010.12 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1154 Raw data (stat): 1152 (pb2sat) R 1151 22056 22055 0 -1 0 17463 0 0 0 100966 48 0 0 25 0 1 0 865011338 54931456 11690 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13411 11690 300 300 0 13111 0 vsize: 53644 [startup+1020.12 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1154 Raw data (stat): 1152 (pb2sat) R 1151 22056 22055 0 -1 0 17518 0 0 0 101966 49 0 0 25 0 1 0 865011338 55066624 11744 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 13444 11744 300 300 0 13144 0 vsize: 53776 [startup+1030.12 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1154 Raw data (stat): 1152 (pb2sat) R 1151 22056 22055 0 -1 0 17576 0 0 0 102966 49 0 0 25 0 1 0 865011338 55201792 11801 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 13477 11801 300 300 0 13177 0 vsize: 53908 [startup+1040.12 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1154 Raw data (stat): 1152 (pb2sat) R 1151 22056 22055 0 -1 0 17631 0 0 0 103966 49 0 0 25 0 1 0 865011338 55336960 11855 4294967295 134512640 135726644 3221224576 3221221664 134556168 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 13510 11855 300 300 0 13210 0 vsize: 54040 [startup+1050.12 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1154 Raw data (stat): 1152 (pb2sat) R 1151 22056 22055 0 -1 0 17687 0 0 0 104966 49 0 0 25 0 1 0 865011338 55472128 11910 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 13543 11910 300 300 0 13243 0 vsize: 54172 [startup+1060.12 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1154 Raw data (stat): 1152 (pb2sat) R 1151 22056 22055 0 -1 0 17743 0 0 0 105966 49 0 0 25 0 1 0 865011338 55607296 11965 4294967295 134512640 135726644 3221224576 3221221664 134556173 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 13576 11965 300 300 0 13276 0 vsize: 54304 [startup+1070.12 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1154 Raw data (stat): 1152 (pb2sat) R 1151 22056 22055 0 -1 0 17798 0 0 0 106965 50 0 0 25 0 1 0 865011338 55877632 12019 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13642 12019 300 300 0 13342 0 vsize: 54568 [startup+1080.12 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1154 Raw data (stat): 1152 (pb2sat) R 1151 22056 22055 0 -1 0 17853 0 0 0 107965 50 0 0 25 0 1 0 865011338 56012800 12073 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 13675 12073 300 300 0 13375 0 vsize: 54700 [startup+1090.12 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1154 Raw data (stat): 1152 (pb2sat) R 1151 22056 22055 0 -1 0 17906 0 0 0 108965 50 0 0 25 0 1 0 865011338 56147968 12126 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 13708 12126 300 300 0 13408 0 vsize: 54832 [startup+1100.12 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1154 Raw data (stat): 1152 (pb2sat) R 1151 22056 22055 0 -1 0 17961 0 0 0 109965 50 0 0 25 0 1 0 865011338 56283136 12180 4294967295 134512640 135726644 3221224576 3221221664 134556181 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 13741 12180 300 300 0 13441 0 vsize: 54964 [startup+1110.12 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1154 Raw data (stat): 1152 (pb2sat) R 1151 22056 22055 0 -1 0 18014 0 0 0 110965 50 0 0 25 0 1 0 865011338 56418304 12232 4294967295 134512640 135726644 3221224576 3221221664 134556188 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 13774 12232 300 300 0 13474 0 vsize: 55096 [startup+1120.12 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1154 Raw data (stat): 1152 (pb2sat) R 1151 22056 22055 0 -1 0 18069 0 0 0 111965 51 0 0 25 0 1 0 865011338 56553472 12286 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 13807 12286 300 300 0 13507 0 vsize: 55228 [startup+1130.12 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1154 Raw data (stat): 1152 (pb2sat) R 1151 22056 22055 0 -1 0 18123 0 0 0 112965 51 0 0 25 0 1 0 865011338 56688640 12339 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13840 12339 300 300 0 13540 0 vsize: 55360 [startup+1140.12 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1154 Raw data (stat): 1152 (pb2sat) R 1151 22056 22055 0 -1 0 18177 0 0 0 113964 51 0 0 25 0 1 0 865011338 56823808 12392 4294967295 134512640 135726644 3221224576 3221221664 134556188 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 13873 12392 300 300 0 13573 0 vsize: 55492 [startup+1150.12 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1154 Raw data (stat): 1152 (pb2sat) R 1151 22056 22055 0 -1 0 18229 0 0 0 114964 51 0 0 25 0 1 0 865011338 56958976 12443 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 13906 12443 300 300 0 13606 0 vsize: 55624 [startup+1160.12 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1154 Raw data (stat): 1152 (pb2sat) R 1151 22056 22055 0 -1 0 18281 0 0 0 115964 51 0 0 25 0 1 0 865011338 57094144 12495 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 13939 12495 300 300 0 13639 0 vsize: 55756 [startup+1170.12 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1154 Raw data (stat): 1152 (pb2sat) R 1151 22056 22055 0 -1 0 18335 0 0 0 116964 51 0 0 25 0 1 0 865011338 57229312 12548 4294967295 134512640 135726644 3221224576 3221221664 134556192 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 13972 12548 300 300 0 13672 0 vsize: 55888 [startup+1180.12 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1154 Raw data (stat): 1152 (pb2sat) R 1151 22056 22055 0 -1 0 18387 0 0 0 117964 51 0 0 25 0 1 0 865011338 57364480 12599 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 14005 12599 300 300 0 13705 0 vsize: 56020 [startup+1190.12 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1154 Raw data (stat): 1152 (pb2sat) R 1151 22056 22055 0 -1 0 18440 0 0 0 118964 52 0 0 25 0 1 0 865011338 57499648 12651 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 14038 12651 300 300 0 13738 0 vsize: 56152 [startup+1200.12 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1154 Raw data (stat): 1152 (pb2sat) R 1151 22056 22055 0 -1 0 18492 0 0 0 119964 52 0 0 25 0 1 0 865011338 57634816 12702 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 14071 12702 300 300 0 13771 0 vsize: 56284 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1201.25 s] Raw data (loadavg): 0.99 0.97 0.91 1/54 1154 Raw data (stat): 1152 (pb2sat) Z 1151 22056 22055 0 -1 12 18495 0 0 0 120074 54 0 0 25 0 1 0 865011338 0 0 4294967295 0 0 0 0 0 0 16384 7 16384 3222412051 0 0 17 1 0 0 Raw data (statm): 0 0 0 0 0 0 0 vsize: 0 Maximum CPU time exceeded: sending SIGTERM and SIGKILL Child status: 0 Real time (s): 1201.25 CPU time (s): 1201.29 CPU user time (s): 1200.75 CPU system time (s): 0.546916 CPU usage (%): 100.004 Max. virtual memory (Kb): 56284 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####