Name | normalized-opb/web/www.ps.uni-sb.de/~walser/benchmarks/ppp-problems/normalized-ppp:1-11,19,21.opb |
MD5SUM | 552cc7fcebca47ae66a3cb1c13679513 |
Bench Category | no optimization function (SAT) |
Has Objective Function | NO |
Satisfiable | |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of terms in the objective function | 0 |
Biggest coefficient in the objective function | 0 |
Number of bits for the biggest coefficient in the objective function | 0 |
Sum of the numbers in the objective function | 0 |
Number of bits of the sum of numbers in the objective function | 0 |
Biggest number in a constraint | 10 |
Number of bits of the biggest number in a constraint | 4 |
Biggest sum of numbers in a constraint | 103 |
Number of bits of the biggest sum of numbers | 7 |
Best result obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | |
Number of variables | 4602 |
Total number of constraints | 34781 |
Number of constraints which are clauses | 29160 |
Number of constraints which are cardinality constraints (but not clauses) | 5543 |
Number of constraints which are nor clauses,nor cardinality constraints | 78 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 29 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc26 THE 2005-04-17 17:23:42 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=3228 boxname=wulflinc26 idbench=359 idsolver=6 numberseed=0 MD5SUM SOLVER: 2225cba0d9b2c30e235f6cafc823d7ac /oldhome/oroussel/solvers/PBS4 MD5SUM BENCH: 552cc7fcebca47ae66a3cb1c13679513 /oldhome/oroussel/tmp/wulflinc26/normalized-ppp:1-11,19,21.opb REAL COMMAND: PBS4 /oldhome/oroussel/tmp/wulflinc26/normalized-ppp:1-11,19,21.opb IDLAUNCH: 3228 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.061 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.061 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: 779788 kB Buffers: 37348 kB Cached: 175736 kB SwapCached: 2476 kB Active: 78564 kB Inactive: 139916 kB HighTotal: 131008 kB HighFree: 252 kB LowTotal: 903652 kB LowFree: 779536 kB SwapTotal: 2097892 kB SwapFree: 2095416 kB Dirty: 28 kB Writeback: 0 kB Mapped: 6956 kB Slab: 30800 kB Committed_AS: 63616 kB PageTables: 320 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-04-17 17:43:45 (client local time) WITH STATUS 0 IN 1200.22 SECONDS stats: 3228 7 1200.22 0 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c PBS v4 by Bashar Al-Rawi & Fadi Aloul c Solving /oldhome/oroussel/tmp/wulflinc26/normalized-ppp:1-11,19,21.opb ...... #### 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 Raw data (loadavg): 0.84 0.95 0.91 2/54 19533 Raw data (stat): 19533 (runsolver) R 19532 22612 22611 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 512293102 1052672 99 4294967295 134512640 135381576 3221224528 3221219776 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0 Raw data (statm): 257 99 215 215 0 42 0 vsize: 1028 [startup+9.99985 s] Raw data (loadavg): 0.87 0.95 0.91 2/54 19533 Raw data (stat): 19533 (PBS4) R 19532 22612 22611 0 -1 0 2360 0 0 0 987 11 0 0 25 0 1 0 512293102 9723904 2017 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2374 2017 231 231 0 2143 0 vsize: 9496 [startup+20.0008 s] Raw data (loadavg): 0.89 0.95 0.91 2/54 19533 Raw data (stat): 19533 (PBS4) R 19532 22612 22611 0 -1 0 2912 0 0 0 1978 20 0 0 25 0 1 0 512293102 14471168 2569 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3533 2569 231 231 0 3302 0 vsize: 14132 [startup+30.0005 s] Raw data (loadavg): 0.90 0.95 0.91 2/54 19533 Raw data (stat): 19533 (PBS4) R 19532 22612 22611 0 -1 0 3432 0 0 0 2974 25 0 0 25 0 1 0 512293102 14876672 3089 4294967295 134512640 135450300 3221224640 3221223472 134549846 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3632 3089 231 231 0 3401 0 vsize: 14528 [startup+40.0008 s] Raw data (loadavg): 0.92 0.95 0.91 2/54 19533 Raw data (stat): 19533 (PBS4) R 19532 22612 22611 0 -1 0 3585 0 0 0 3968 31 0 0 25 0 1 0 512293102 15343616 3242 4294967295 134512640 135450300 3221224640 3221223376 134538651 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3746 3242 231 231 0 3515 0 vsize: 14984 [startup+50.0005 s] Raw data (loadavg): 0.93 0.95 0.91 2/54 19533 Raw data (stat): 19533 (PBS4) R 19532 22612 22611 0 -1 0 4283 0 0 0 4961 38 0 0 25 0 1 0 512293102 17330176 3555 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4231 3555 231 231 0 4000 0 vsize: 16924 [startup+60.0005 s] Raw data (loadavg): 0.94 0.95 0.91 2/54 19533 Raw data (stat): 19533 (PBS4) R 19532 22612 22611 0 -1 0 4354 0 0 0 5956 43 0 0 25 0 1 0 512293102 17489920 3626 4294967295 134512640 135450300 3221224640 3221223376 134538672 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4270 3626 231 231 0 4039 0 vsize: 17080 [startup+70.0009 s] Raw data (loadavg): 0.95 0.96 0.91 2/54 19533 Raw data (stat): 19533 (PBS4) R 19532 22612 22611 0 -1 0 4435 0 0 0 6949 50 0 0 25 0 1 0 512293102 17797120 3707 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4345 3707 231 231 0 4114 0 vsize: 17380 [startup+80.0009 s] Raw data (loadavg): 0.96 0.96 0.91 2/54 19533 Raw data (stat): 19533 (PBS4) R 19532 22612 22611 0 -1 0 4489 0 0 0 7941 58 0 0 25 0 1 0 512293102 17903616 3761 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4371 3761 231 231 0 4140 0 vsize: 17484 [startup+90.0015 s] Raw data (loadavg): 0.96 0.96 0.91 2/54 19533 Raw data (stat): 19533 (PBS4) R 19532 22612 22611 0 -1 0 4544 0 0 0 8934 66 0 0 25 0 1 0 512293102 18055168 3816 4294967295 134512640 135450300 3221224640 3221223376 134538443 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4408 3816 231 231 0 4177 0 vsize: 17632 [startup+100.001 s] Raw data (loadavg): 0.97 0.96 0.91 2/54 19533 Raw data (stat): 19533 (PBS4) R 19532 22612 22611 0 -1 0 4584 0 0 0 9925 75 0 0 25 0 1 0 512293102 18194432 3856 4294967295 134512640 135450300 3221224640 3221223456 134536422 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4442 3856 231 231 0 4211 0 vsize: 17768 [startup+110.001 s] Raw data (loadavg): 0.97 0.96 0.91 2/54 19533 Raw data (stat): 19533 (PBS4) R 19532 22612 22611 0 -1 0 4622 0 0 0 10918 82 0 0 25 0 1 0 512293102 18194432 3894 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4442 3894 231 231 0 4211 0 vsize: 17768 [startup+120.002 s] Raw data (loadavg): 0.98 0.96 0.91 2/54 19533 Raw data (stat): 19533 (PBS4) R 19532 22612 22611 0 -1 0 4680 0 0 0 11911 89 0 0 25 0 1 0 512293102 18440192 3952 4294967295 134512640 135450300 3221224640 3221223456 134536478 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4502 3952 231 231 0 4271 0 vsize: 18008 [startup+130.001 s] Raw data (loadavg): 0.98 0.96 0.91 2/54 19533 Raw data (stat): 19533 (PBS4) R 19532 22612 22611 0 -1 0 4717 0 0 0 12904 97 0 0 25 0 1 0 512293102 18579456 3989 4294967295 134512640 135450300 3221224640 3221223456 134537049 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4536 3989 231 231 0 4305 0 vsize: 18144 [startup+140.001 s] Raw data (loadavg): 0.98 0.96 0.91 2/54 19533 Raw data (stat): 19533 (PBS4) R 19532 22612 22611 0 -1 0 4751 0 0 0 13898 102 0 0 25 0 1 0 512293102 18579456 4023 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4536 4023 231 231 0 4305 0 vsize: 18144 [startup+150.002 s] Raw data (loadavg): 0.98 0.96 0.91 2/54 19533 Raw data (stat): 19533 (PBS4) R 19532 22612 22611 0 -1 0 4783 0 0 0 14890 110 0 0 25 0 1 0 512293102 18579456 4055 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4536 4055 231 231 0 4305 0 vsize: 18144 [startup+160.001 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 19533 Raw data (stat): 19533 (PBS4) R 19532 22612 22611 0 -1 0 4827 0 0 0 15883 118 0 0 25 0 1 0 512293102 18833408 4099 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4598 4099 231 231 0 4367 0 vsize: 18392 [startup+170.001 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19533 Raw data (stat): 19533 (PBS4) R 19532 22612 22611 0 -1 0 4866 0 0 0 16878 123 0 0 25 0 1 0 512293102 18833408 4138 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4598 4138 231 231 0 4367 0 vsize: 18392 [startup+180.001 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19533 Raw data (stat): 19533 (PBS4) R 19532 22612 22611 0 -1 0 4903 0 0 0 17872 129 0 0 25 0 1 0 512293102 18935808 4175 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4623 4175 231 231 0 4392 0 vsize: 18492 [startup+190.001 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19533 Raw data (stat): 19533 (PBS4) R 19532 22612 22611 0 -1 0 4952 0 0 0 18867 135 0 0 25 0 1 0 512293102 19050496 4224 4294967295 134512640 135450300 3221224640 3221223472 134549362 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4651 4224 231 231 0 4420 0 vsize: 18604 [startup+200.001 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19533 Raw data (stat): 19533 (PBS4) R 19532 22612 22611 0 -1 0 5011 0 0 0 19860 141 0 0 25 0 1 0 512293102 19206144 4283 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4689 4283 231 231 0 4458 0 vsize: 18756 [startup+210.001 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19533 Raw data (stat): 19533 (PBS4) R 19532 22612 22611 0 -1 0 5066 0 0 0 20852 150 0 0 25 0 1 0 512293102 19476480 4338 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4755 4338 231 231 0 4524 0 vsize: 19020 [startup+220.001 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19533 Raw data (stat): 19533 (PBS4) R 19532 22612 22611 0 -1 0 5112 0 0 0 21842 160 0 0 25 0 1 0 512293102 19476480 4384 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4755 4384 231 231 0 4524 0 vsize: 19020 [startup+230.001 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19533 Raw data (stat): 19533 (PBS4) R 19532 22612 22611 0 -1 0 5170 0 0 0 22833 169 0 0 25 0 1 0 512293102 19755008 4442 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4823 4442 231 231 0 4592 0 vsize: 19292 [startup+240.001 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19533 Raw data (stat): 19533 (PBS4) R 19532 22612 22611 0 -1 0 5206 0 0 0 23826 176 0 0 25 0 1 0 512293102 19755008 4478 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4823 4478 231 231 0 4592 0 vsize: 19292 [startup+250 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19533 Raw data (stat): 19533 (PBS4) R 19532 22612 22611 0 -1 0 5256 0 0 0 24817 185 0 0 25 0 1 0 512293102 19857408 4528 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4848 4528 231 231 0 4617 0 vsize: 19392 [startup+260 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19533 Raw data (stat): 19533 (PBS4) R 19532 22612 22611 0 -1 0 5303 0 0 0 25806 197 0 0 25 0 1 0 512293102 20045824 4575 4294967295 134512640 135450300 3221224640 3221223580 134530276 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4894 4575 231 231 0 4663 0 vsize: 19576 [startup+270.001 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19533 Raw data (stat): 19533 (PBS4) R 19532 22612 22611 0 -1 0 5326 0 0 0 26799 204 0 0 25 0 1 0 512293102 20045824 4598 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4894 4598 231 231 0 4663 0 vsize: 19576 [startup+280 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19533 Raw data (stat): 19533 (PBS4) R 19532 22612 22611 0 -1 0 6135 0 0 0 27790 213 0 0 25 0 1 0 512293102 23298048 4638 4294967295 134512640 135450300 3221224640 3221223376 134538721 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5688 4638 231 231 0 5457 0 vsize: 22752 [startup+290.001 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19533 Raw data (stat): 19533 (PBS4) R 19532 22612 22611 0 -1 0 6189 0 0 0 28781 222 0 0 25 0 1 0 512293102 23498752 4692 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5737 4692 231 231 0 5506 0 vsize: 22948 [startup+300.001 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19533 Raw data (stat): 19533 (PBS4) R 19532 22612 22611 0 -1 0 6218 0 0 0 29772 231 0 0 25 0 1 0 512293102 23498752 4721 4294967295 134512640 135450300 3221224640 3221223376 134538677 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5737 4721 231 231 0 5506 0 vsize: 22948 [startup+310 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19533 Raw data (stat): 19533 (PBS4) R 19532 22612 22611 0 -1 0 6267 0 0 0 30763 240 0 0 25 0 1 0 512293102 23711744 4770 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5789 4770 231 231 0 5558 0 vsize: 23156 [startup+320 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19533 Raw data (stat): 19533 (PBS4) R 19532 22612 22611 0 -1 0 6293 0 0 0 31756 248 0 0 25 0 1 0 512293102 23810048 4796 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5813 4796 231 231 0 5582 0 vsize: 23252 [startup+330 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19533 Raw data (stat): 19533 (PBS4) R 19532 22612 22611 0 -1 0 6330 0 0 0 32747 257 0 0 25 0 1 0 512293102 23810048 4833 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5813 4833 231 231 0 5582 0 vsize: 23252 [startup+340 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19533 Raw data (stat): 19533 (PBS4) R 19532 22612 22611 0 -1 0 6357 0 0 0 33739 265 0 0 25 0 1 0 512293102 23810048 4860 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5813 4860 231 231 0 5582 0 vsize: 23252 [startup+350 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19533 Raw data (stat): 19533 (PBS4) R 19532 22612 22611 0 -1 0 6382 0 0 0 34732 272 0 0 25 0 1 0 512293102 23810048 4885 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5813 4885 231 231 0 5582 0 vsize: 23252 [startup+360 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19533 Raw data (stat): 19533 (PBS4) R 19532 22612 22611 0 -1 0 6432 0 0 0 35726 279 0 0 25 0 1 0 512293102 24035328 4935 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5868 4935 231 231 0 5637 0 vsize: 23472 [startup+369.999 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19533 Raw data (stat): 19533 (PBS4) R 19532 22612 22611 0 -1 0 6479 0 0 0 36718 287 0 0 25 0 1 0 512293102 24035328 4982 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5868 4982 231 231 0 5637 0 vsize: 23472 [startup+379.999 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19533 Raw data (stat): 19533 (PBS4) R 19532 22612 22611 0 -1 0 6502 0 0 0 37708 297 0 0 25 0 1 0 512293102 24141824 5005 4294967295 134512640 135450300 3221224640 3221223472 134550227 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5894 5005 231 231 0 5663 0 vsize: 23576 [startup+390 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19533 Raw data (stat): 19533 (PBS4) R 19532 22612 22611 0 -1 0 6560 0 0 0 38700 305 0 0 25 0 1 0 512293102 24379392 5063 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5952 5063 231 231 0 5721 0 vsize: 23808 [startup+400 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19533 Raw data (stat): 19533 (PBS4) R 19532 22612 22611 0 -1 0 6600 0 0 0 39692 313 0 0 25 0 1 0 512293102 24379392 5103 4294967295 134512640 135450300 3221224640 3221223100 134572888 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5952 5103 231 231 0 5721 0 vsize: 23808 [startup+410 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19533 Raw data (stat): 19533 (PBS4) R 19532 22612 22611 0 -1 0 6627 0 0 0 40684 321 0 0 25 0 1 0 512293102 24633344 5130 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6014 5130 231 231 0 5783 0 vsize: 24056 [startup+420 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19533 Raw data (stat): 19533 (PBS4) R 19532 22612 22611 0 -1 0 6643 0 0 0 41673 332 0 0 25 0 1 0 512293102 24633344 5146 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6014 5146 231 231 0 5783 0 vsize: 24056 [startup+430 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19533 Raw data (stat): 19533 (PBS4) R 19532 22612 22611 0 -1 0 6675 0 0 0 42666 340 0 0 25 0 1 0 512293102 24633344 5178 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6014 5178 231 231 0 5783 0 vsize: 24056 [startup+440 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19533 Raw data (stat): 19533 (PBS4) R 19532 22612 22611 0 -1 0 6718 0 0 0 43658 348 0 0 25 0 1 0 512293102 24633344 5221 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6014 5221 231 231 0 5783 0 vsize: 24056 [startup+450 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19533 Raw data (stat): 19533 (PBS4) R 19532 22612 22611 0 -1 0 6746 0 0 0 44650 356 0 0 25 0 1 0 512293102 24633344 5249 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6014 5249 231 231 0 5783 0 vsize: 24056 [startup+459.999 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19533 Raw data (stat): 19533 (PBS4) R 19532 22612 22611 0 -1 0 6782 0 0 0 45643 363 0 0 25 0 1 0 512293102 25006080 5285 4294967295 134512640 135450300 3221224640 3221223456 134536478 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6105 5285 231 231 0 5874 0 vsize: 24420 [startup+470 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19533 Raw data (stat): 19533 (PBS4) R 19532 22612 22611 0 -1 0 6826 0 0 0 46634 372 0 0 25 0 1 0 512293102 25006080 5329 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6105 5329 231 231 0 5874 0 vsize: 24420 [startup+480 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19533 Raw data (stat): 19533 (PBS4) R 19532 22612 22611 0 -1 0 6859 0 0 0 47625 381 0 0 25 0 1 0 512293102 25006080 5362 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6105 5362 231 231 0 5874 0 vsize: 24420 [startup+490 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19533 Raw data (stat): 19533 (PBS4) R 19532 22612 22611 0 -1 0 6911 0 0 0 48617 390 0 0 25 0 1 0 512293102 25292800 5414 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6175 5414 231 231 0 5944 0 vsize: 24700 [startup+500 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19533 Raw data (stat): 19533 (PBS4) R 19532 22612 22611 0 -1 0 6935 0 0 0 49608 399 0 0 25 0 1 0 512293102 25292800 5438 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6175 5438 231 231 0 5944 0 vsize: 24700 [startup+510 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19533 Raw data (stat): 19533 (PBS4) R 19532 22612 22611 0 -1 0 6970 0 0 0 50600 407 0 0 25 0 1 0 512293102 25292800 5473 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6175 5473 231 231 0 5944 0 vsize: 24700 [startup+519.999 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19533 Raw data (stat): 19533 (PBS4) R 19532 22612 22611 0 -1 0 7003 0 0 0 51594 413 0 0 25 0 1 0 512293102 25292800 5506 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6175 5506 231 231 0 5944 0 vsize: 24700 [startup+529.999 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19533 Raw data (stat): 19533 (PBS4) R 19532 22612 22611 0 -1 0 7035 0 0 0 52589 419 0 0 25 0 1 0 512293102 25595904 5538 4294967295 134512640 135450300 3221224640 3221223472 134549371 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6249 5538 231 231 0 6018 0 vsize: 24996 [startup+540 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19533 Raw data (stat): 19533 (PBS4) R 19532 22612 22611 0 -1 0 7061 0 0 0 53581 427 0 0 25 0 1 0 512293102 25595904 5564 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6249 5564 231 231 0 6018 0 vsize: 24996 [startup+549.999 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19533 Raw data (stat): 19533 (PBS4) R 19532 22612 22611 0 -1 0 7098 0 0 0 54574 434 0 0 25 0 1 0 512293102 25595904 5601 4294967295 134512640 135450300 3221224640 3221223376 134538672 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6249 5601 231 231 0 6018 0 vsize: 24996 [startup+559.999 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19533 Raw data (stat): 19533 (PBS4) R 19532 22612 22611 0 -1 0 7129 0 0 0 55567 441 0 0 25 0 1 0 512293102 25595904 5632 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6249 5632 231 231 0 6018 0 vsize: 24996 [startup+570 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19533 Raw data (stat): 19533 (PBS4) R 19532 22612 22611 0 -1 0 7160 0 0 0 56561 447 0 0 25 0 1 0 512293102 25595904 5663 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6249 5663 231 231 0 6018 0 vsize: 24996 [startup+580 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19533 Raw data (stat): 19533 (PBS4) R 19532 22612 22611 0 -1 0 7185 0 0 0 57556 453 0 0 25 0 1 0 512293102 25595904 5688 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6249 5688 231 231 0 6018 0 vsize: 24996 [startup+589.999 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19533 Raw data (stat): 19533 (PBS4) R 19532 22612 22611 0 -1 0 7216 0 0 0 58550 458 0 0 25 0 1 0 512293102 25919488 5719 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6328 5719 231 231 0 6097 0 vsize: 25312 [startup+599.999 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19533 Raw data (stat): 19533 (PBS4) R 19532 22612 22611 0 -1 0 7266 0 0 0 59544 465 0 0 25 0 1 0 512293102 26030080 5769 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6355 5769 231 231 0 6124 0 vsize: 25420 [startup+609.999 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19533 Raw data (stat): 19533 (PBS4) R 19532 22612 22611 0 -1 0 7332 0 0 0 60536 473 0 0 25 0 1 0 512293102 26132480 5835 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6380 5835 231 231 0 6149 0 vsize: 25520 [startup+619.999 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19533 Raw data (stat): 19533 (PBS4) R 19532 22612 22611 0 -1 0 7356 0 0 0 61530 479 0 0 25 0 1 0 512293102 26132480 5859 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6380 5859 231 231 0 6149 0 vsize: 25520 [startup+629.998 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19533 Raw data (stat): 19533 (PBS4) R 19532 22612 22611 0 -1 0 7391 0 0 0 62523 486 0 0 25 0 1 0 512293102 26132480 5894 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6380 5894 231 231 0 6149 0 vsize: 25520 [startup+639.999 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19533 Raw data (stat): 19533 (PBS4) R 19532 22612 22611 0 -1 0 7419 0 0 0 63518 492 0 0 25 0 1 0 512293102 26476544 5922 4294967295 134512640 135450300 3221224640 3221223376 134538443 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6464 5922 231 231 0 6233 0 vsize: 25856 [startup+649.998 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19533 Raw data (stat): 19533 (PBS4) R 19532 22612 22611 0 -1 0 7452 0 0 0 64512 498 0 0 25 0 1 0 512293102 26476544 5955 4294967295 134512640 135450300 3221224640 3221223552 134597287 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6464 5955 231 231 0 6233 0 vsize: 25856 [startup+659.998 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19533 Raw data (stat): 19533 (PBS4) R 19532 22612 22611 0 -1 0 7480 0 0 0 65505 505 0 0 25 0 1 0 512293102 26476544 5983 4294967295 134512640 135450300 3221224640 3221223456 134537277 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6464 5983 231 231 0 6233 0 vsize: 25856 [startup+669.999 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19533 Raw data (stat): 19533 (PBS4) R 19532 22612 22611 0 -1 0 7518 0 0 0 66496 514 0 0 25 0 1 0 512293102 26578944 6021 4294967295 134512640 135450300 3221224640 3221223472 134549502 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6489 6021 231 231 0 6258 0 vsize: 25956 [startup+679.999 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19533 Raw data (stat): 19533 (PBS4) R 19532 22612 22611 0 -1 0 7551 0 0 0 67489 521 0 0 25 0 1 0 512293102 26578944 6054 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6489 6054 231 231 0 6258 0 vsize: 25956 [startup+689.999 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19533 Raw data (stat): 19533 (PBS4) R 19532 22612 22611 0 -1 0 7578 0 0 0 68482 528 0 0 25 0 1 0 512293102 26578944 6081 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6489 6081 231 231 0 6258 0 vsize: 25956 [startup+699.999 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19533 Raw data (stat): 19533 (PBS4) R 19532 22612 22611 0 -1 0 7618 0 0 0 69475 536 0 0 25 0 1 0 512293102 26943488 6121 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6578 6121 231 231 0 6347 0 vsize: 26312 [startup+709.998 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19533 Raw data (stat): 19533 (PBS4) R 19532 22612 22611 0 -1 0 7644 0 0 0 70467 543 0 0 25 0 1 0 512293102 26943488 6147 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6578 6147 231 231 0 6347 0 vsize: 26312 [startup+719.998 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19533 Raw data (stat): 19533 (PBS4) R 19532 22612 22611 0 -1 0 7680 0 0 0 71458 552 0 0 25 0 1 0 512293102 26943488 6183 4294967295 134512640 135450300 3221224640 3221223472 134549464 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6578 6183 231 231 0 6347 0 vsize: 26312 [startup+729.998 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19533 Raw data (stat): 19533 (PBS4) R 19532 22612 22611 0 -1 0 7707 0 0 0 72451 560 0 0 25 0 1 0 512293102 26943488 6210 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6578 6210 231 231 0 6347 0 vsize: 26312 [startup+739.998 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19533 Raw data (stat): 19533 (PBS4) R 19532 22612 22611 0 -1 0 7750 0 0 0 73443 568 0 0 25 0 1 0 512293102 27041792 6253 4294967295 134512640 135450300 3221224640 3221223248 134622099 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6602 6253 231 231 0 6371 0 vsize: 26408 [startup+749.998 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19533 Raw data (stat): 19533 (PBS4) R 19532 22612 22611 0 -1 0 7773 0 0 0 74438 574 0 0 25 0 1 0 512293102 27041792 6276 4294967295 134512640 135450300 3221224640 3221223104 134532777 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6602 6276 231 231 0 6371 0 vsize: 26408 [startup+759.998 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19533 Raw data (stat): 19533 (PBS4) R 19532 22612 22611 0 -1 0 7810 0 0 0 75430 581 0 0 25 0 1 0 512293102 27426816 6313 4294967295 134512640 135450300 3221224640 3221223376 134538757 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6696 6313 231 231 0 6465 0 vsize: 26784 [startup+769.997 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19533 Raw data (stat): 19533 (PBS4) R 19532 22612 22611 0 -1 0 9398 0 0 0 76422 590 0 0 25 0 1 0 512293102 33718272 6364 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8232 6364 231 231 0 8001 0 vsize: 32928 [startup+779.997 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19533 Raw data (stat): 19533 (PBS4) R 19532 22612 22611 0 -1 0 9426 0 0 0 77414 598 0 0 25 0 1 0 512293102 33718272 6392 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8232 6392 231 231 0 8001 0 vsize: 32928 [startup+789.998 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19533 Raw data (stat): 19533 (PBS4) R 19532 22612 22611 0 -1 0 9458 0 0 0 78406 607 0 0 25 0 1 0 512293102 33718272 6424 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8232 6424 231 231 0 8001 0 vsize: 32928 [startup+799.998 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19533 Raw data (stat): 19533 (PBS4) R 19532 22612 22611 0 -1 0 9482 0 0 0 79398 614 0 0 25 0 1 0 512293102 33718272 6448 4294967295 134512640 135450300 3221224640 3221223580 134530276 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8232 6448 231 231 0 8001 0 vsize: 32928 [startup+809.997 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19533 Raw data (stat): 19533 (PBS4) R 19532 22612 22611 0 -1 0 9518 0 0 0 80391 621 0 0 25 0 1 0 512293102 33718272 6484 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8232 6484 231 231 0 8001 0 vsize: 32928 [startup+819.998 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19533 Raw data (stat): 19533 (PBS4) R 19532 22612 22611 0 -1 0 9546 0 0 0 81385 628 0 0 25 0 1 0 512293102 34127872 6512 4294967295 134512640 135450300 3221224640 3221223472 134549553 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8332 6512 231 231 0 8101 0 vsize: 33328 [startup+829.997 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19533 Raw data (stat): 19533 (PBS4) R 19532 22612 22611 0 -1 0 9578 0 0 0 82377 636 0 0 25 0 1 0 512293102 34127872 6544 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8332 6544 231 231 0 8101 0 vsize: 33328 [startup+839.997 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19533 Raw data (stat): 19533 (PBS4) R 19532 22612 22611 0 -1 0 9616 0 0 0 83371 642 0 0 25 0 1 0 512293102 34127872 6582 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8332 6582 231 231 0 8101 0 vsize: 33328 [startup+849.998 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19533 Raw data (stat): 19533 (PBS4) R 19532 22612 22611 0 -1 0 9644 0 0 0 84365 648 0 0 25 0 1 0 512293102 34127872 6610 4294967295 134512640 135450300 3221224640 3221223376 134538759 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8332 6610 231 231 0 8101 0 vsize: 33328 [startup+859.998 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19533 Raw data (stat): 19533 (PBS4) R 19532 22612 22611 0 -1 0 9681 0 0 0 85357 656 0 0 25 0 1 0 512293102 34127872 6647 4294967295 134512640 135450300 3221224640 3221223472 134549368 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8332 6647 231 231 0 8101 0 vsize: 33328 [startup+869.999 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19533 Raw data (stat): 19533 (PBS4) R 19532 22612 22611 0 -1 0 9718 0 0 0 86350 663 0 0 25 0 1 0 512293102 34127872 6684 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8332 6684 231 231 0 8101 0 vsize: 33328 [startup+879.998 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19533 Raw data (stat): 19533 (PBS4) R 19532 22612 22611 0 -1 0 9736 0 0 0 87343 671 0 0 25 0 1 0 512293102 34562048 6702 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8438 6702 231 231 0 8207 0 vsize: 33752 [startup+889.999 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19533 Raw data (stat): 19533 (PBS4) R 19532 22612 22611 0 -1 0 9770 0 0 0 88337 677 0 0 25 0 1 0 512293102 34664448 6736 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8463 6736 231 231 0 8232 0 vsize: 33852 [startup+899.999 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19533 Raw data (stat): 19533 (PBS4) R 19532 22612 22611 0 -1 0 9802 0 0 0 89332 682 0 0 25 0 1 0 512293102 34664448 6768 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8463 6768 231 231 0 8232 0 vsize: 33852 [startup+909.998 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19533 Raw data (stat): 19533 (PBS4) R 19532 22612 22611 0 -1 0 9827 0 0 0 90325 689 0 0 25 0 1 0 512293102 34664448 6793 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8463 6793 231 231 0 8232 0 vsize: 33852 [startup+919.999 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19533 Raw data (stat): 19533 (PBS4) R 19532 22612 22611 0 -1 0 9853 0 0 0 91319 695 0 0 25 0 1 0 512293102 34664448 6819 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8463 6819 231 231 0 8232 0 vsize: 33852 [startup+929.999 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19533 Raw data (stat): 19533 (PBS4) R 19532 22612 22611 0 -1 0 9892 0 0 0 92312 702 0 0 25 0 1 0 512293102 34664448 6858 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8463 6858 231 231 0 8232 0 vsize: 33852 [startup+939.999 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19533 Raw data (stat): 19533 (PBS4) R 19532 22612 22611 0 -1 0 9922 0 0 0 93307 707 0 0 25 0 1 0 512293102 34664448 6888 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8463 6888 231 231 0 8232 0 vsize: 33852 [startup+949.999 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19533 Raw data (stat): 19533 (PBS4) R 19532 22612 22611 0 -1 0 9958 0 0 0 94299 716 0 0 25 0 1 0 512293102 35127296 6924 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8576 6924 231 231 0 8345 0 vsize: 34304 [startup+959.999 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19533 Raw data (stat): 19533 (PBS4) R 19532 22612 22611 0 -1 0 9989 0 0 0 95293 723 0 0 25 0 1 0 512293102 35127296 6955 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8576 6955 231 231 0 8345 0 vsize: 34304 [startup+969.999 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19533 Raw data (stat): 19533 (PBS4) R 19532 22612 22611 0 -1 0 10018 0 0 0 96285 730 0 0 25 0 1 0 512293102 35127296 6984 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8576 6984 231 231 0 8345 0 vsize: 34304 [startup+979.999 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19533 Raw data (stat): 19533 (PBS4) R 19532 22612 22611 0 -1 0 10060 0 0 0 97277 739 0 0 25 0 1 0 512293102 35127296 7026 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8576 7026 231 231 0 8345 0 vsize: 34304 [startup+990 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19533 Raw data (stat): 19533 (PBS4) R 19532 22612 22611 0 -1 0 10087 0 0 0 98270 746 0 0 25 0 1 0 512293102 35127296 7053 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8576 7053 231 231 0 8345 0 vsize: 34304 [startup+999.999 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19533 Raw data (stat): 19533 (PBS4) R 19532 22612 22611 0 -1 0 10109 0 0 0 99263 753 0 0 25 0 1 0 512293102 35127296 7075 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8576 7075 231 231 0 8345 0 vsize: 34304 [startup+1010 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19533 Raw data (stat): 19533 (PBS4) R 19532 22612 22611 0 -1 0 10133 0 0 0 100258 758 0 0 25 0 1 0 512293102 35127296 7099 4294967295 134512640 135450300 3221224640 3221223472 134549289 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8576 7099 231 231 0 8345 0 vsize: 34304 [startup+1020 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19533 Raw data (stat): 19533 (PBS4) R 19532 22612 22611 0 -1 0 10173 0 0 0 101251 766 0 0 25 0 1 0 512293102 35618816 7139 4294967295 134512640 135450300 3221224640 3221223472 134549289 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8696 7139 231 231 0 8465 0 vsize: 34784 [startup+1030 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19533 Raw data (stat): 19533 (PBS4) R 19532 22612 22611 0 -1 0 10199 0 0 0 102245 772 0 0 25 0 1 0 512293102 35618816 7165 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8696 7165 231 231 0 8465 0 vsize: 34784 [startup+1040 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19533 Raw data (stat): 19533 (PBS4) R 19532 22612 22611 0 -1 0 10225 0 0 0 103237 779 0 0 25 0 1 0 512293102 35618816 7191 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8696 7191 231 231 0 8465 0 vsize: 34784 [startup+1050 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19533 Raw data (stat): 19533 (PBS4) R 19532 22612 22611 0 -1 0 10252 0 0 0 104231 786 0 0 25 0 1 0 512293102 35618816 7218 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8696 7218 231 231 0 8465 0 vsize: 34784 [startup+1060 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19533 Raw data (stat): 19533 (PBS4) R 19532 22612 22611 0 -1 0 10300 0 0 0 105222 795 0 0 25 0 1 0 512293102 35618816 7266 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8696 7266 231 231 0 8465 0 vsize: 34784 [startup+1070 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19533 Raw data (stat): 19533 (PBS4) R 19532 22612 22611 0 -1 0 10324 0 0 0 106214 803 0 0 25 0 1 0 512293102 35618816 7290 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8696 7290 231 231 0 8465 0 vsize: 34784 [startup+1080 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19533 Raw data (stat): 19533 (PBS4) R 19532 22612 22611 0 -1 0 10356 0 0 0 107208 809 0 0 25 0 1 0 512293102 35618816 7322 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8696 7322 231 231 0 8465 0 vsize: 34784 [startup+1090 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19533 Raw data (stat): 19533 (PBS4) R 19532 22612 22611 0 -1 0 10392 0 0 0 108203 815 0 0 25 0 1 0 512293102 35618816 7358 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8696 7358 231 231 0 8465 0 vsize: 34784 [startup+1100 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19533 Raw data (stat): 19533 (PBS4) R 19532 22612 22611 0 -1 0 10405 0 0 0 109196 822 0 0 25 0 1 0 512293102 35618816 7371 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8696 7371 231 231 0 8465 0 vsize: 34784 [startup+1110 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19533 Raw data (stat): 19533 (PBS4) R 19532 22612 22611 0 -1 0 10442 0 0 0 110190 828 0 0 25 0 1 0 512293102 36139008 7408 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8823 7408 231 231 0 8592 0 vsize: 35292 [startup+1120 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19533 Raw data (stat): 19533 (PBS4) R 19532 22612 22611 0 -1 0 10467 0 0 0 111184 834 0 0 25 0 1 0 512293102 36139008 7433 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8823 7433 231 231 0 8592 0 vsize: 35292 [startup+1130 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19533 Raw data (stat): 19533 (PBS4) R 19532 22612 22611 0 -1 0 10498 0 0 0 112179 839 0 0 25 0 1 0 512293102 36139008 7464 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8823 7464 231 231 0 8592 0 vsize: 35292 [startup+1140 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19533 Raw data (stat): 19533 (PBS4) R 19532 22612 22611 0 -1 0 10524 0 0 0 113174 844 0 0 25 0 1 0 512293102 36139008 7490 4294967295 134512640 135450300 3221224640 3221223472 134549464 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8823 7490 231 231 0 8592 0 vsize: 35292 [startup+1150 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19533 Raw data (stat): 19533 (PBS4) R 19532 22612 22611 0 -1 0 10546 0 0 0 114169 850 0 0 25 0 1 0 512293102 36139008 7512 4294967295 134512640 135450300 3221224640 3221223472 134549462 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8823 7512 231 231 0 8592 0 vsize: 35292 [startup+1160 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19533 Raw data (stat): 19533 (PBS4) R 19532 22612 22611 0 -1 0 10572 0 0 0 115161 858 0 0 25 0 1 0 512293102 36139008 7538 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8823 7538 231 231 0 8592 0 vsize: 35292 [startup+1170 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19533 Raw data (stat): 19533 (PBS4) R 19532 22612 22611 0 -1 0 10610 0 0 0 116155 864 0 0 25 0 1 0 512293102 36139008 7576 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8823 7576 231 231 0 8592 0 vsize: 35292 [startup+1180 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19533 Raw data (stat): 19533 (PBS4) R 19532 22612 22611 0 -1 0 10634 0 0 0 117148 871 0 0 25 0 1 0 512293102 36139008 7600 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8823 7600 231 231 0 8592 0 vsize: 35292 [startup+1190 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19533 Raw data (stat): 19533 (PBS4) R 19532 22612 22611 0 -1 0 10663 0 0 0 118144 876 0 0 25 0 1 0 512293102 36139008 7629 4294967295 134512640 135450300 3221224640 3221223376 134538435 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8823 7629 231 231 0 8592 0 vsize: 35292 [startup+1200 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19533 Raw data (stat): 19533 (PBS4) R 19532 22612 22611 0 -1 0 10686 0 0 0 119137 882 0 0 25 0 1 0 512293102 36691968 7652 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8958 7652 231 231 0 8727 0 vsize: 35832 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1200.02 s] Raw data (loadavg): 0.99 0.97 0.91 1/54 19533 Raw data (stat): 19533 (PBS4) Z 19532 22612 22611 0 -1 1036 10686 0 0 0 119137 884 0 0 25 0 1 0 512293102 0 0 4294967295 0 0 0 0 0 0 0 7 0 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 ended because it received signal 15 (SIGTERM) Real time (s): 1200.02 CPU time (s): 1200.22 CPU user time (s): 1191.38 CPU system time (s): 8.84466 CPU usage (%): 100.017 Max. virtual memory (Kb): 35832 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####