Name | normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-ii32e1.opb |
MD5SUM | 33d46caaa6c22613488909eddb5a530f |
Bench Category | optimization, small integers (OPTSMALLINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 162 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 444 |
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 | 444 |
Number of bits of the sum of numbers in the objective function | 9 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 444 |
Number of bits of the biggest sum of numbers | 9 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1.02184 |
Number of variables | 444 |
Total number of constraints | 1408 |
Number of constraints which are clauses | 1408 |
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 | 32 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc18 THE 2005-04-17 16:03:52 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=1419 boxname=wulflinc18 idbench=158 idsolver=6 numberseed=0 MD5SUM SOLVER: 2225cba0d9b2c30e235f6cafc823d7ac /oldhome/oroussel/solvers/PBS4 MD5SUM BENCH: 33d46caaa6c22613488909eddb5a530f /oldhome/oroussel/tmp/wulflinc18/normalized-ii32e1.opb REAL COMMAND: PBS4 /oldhome/oroussel/tmp/wulflinc18/normalized-ii32e1.opb IDLAUNCH: 1419 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.177 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.177 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: 831116 kB Buffers: 36344 kB Cached: 130208 kB SwapCached: 320 kB Active: 74072 kB Inactive: 95700 kB HighTotal: 131008 kB HighFree: 308 kB LowTotal: 903652 kB LowFree: 830808 kB SwapTotal: 2097892 kB SwapFree: 2097572 kB Dirty: 52 kB Writeback: 0 kB Mapped: 6944 kB Slab: 28056 kB Committed_AS: 63692 kB PageTables: 328 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-04-17 16:23:54 (client local time) WITH STATUS 0 IN 1200.22 SECONDS stats: 1419 7 1200.22 0 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c PBS v4 by Bashar Al-Rawi & Fadi Aloul c Solving /oldhome/oroussel/tmp/wulflinc18/normalized-ii32e1.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.85 0.96 0.70 2/55 16259 Raw data (stat): 16259 (runsolver) R 16258 20024 20023 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 511800995 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+10.0012 s] Raw data (loadavg): 0.87 0.97 0.70 2/55 16259 Raw data (stat): 16259 (PBS4) R 16258 20024 20023 0 -1 0 279 0 0 0 998 1 0 0 25 0 1 0 511800995 1851392 275 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 452 275 231 231 0 221 0 vsize: 1808 [startup+20.002 s] Raw data (loadavg): 0.89 0.97 0.70 2/55 16259 Raw data (stat): 16259 (PBS4) R 16258 20024 20023 0 -1 0 359 0 0 0 1998 1 0 0 25 0 1 0 511800995 2375680 355 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 580 355 231 231 0 349 0 vsize: 2320 [startup+30.0016 s] Raw data (loadavg): 0.91 0.97 0.70 2/55 16259 Raw data (stat): 16259 (PBS4) R 16258 20024 20023 0 -1 0 446 0 0 0 2998 1 0 0 25 0 1 0 511800995 2564096 442 4294967295 134512640 135450300 3221224640 3221223360 134535782 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 626 442 231 231 0 395 0 vsize: 2504 [startup+40.0018 s] Raw data (loadavg): 0.92 0.97 0.71 2/55 16259 Raw data (stat): 16259 (PBS4) R 16258 20024 20023 0 -1 0 522 0 0 0 3998 1 0 0 25 0 1 0 511800995 3612672 518 4294967295 134512640 135450300 3221224640 3221223360 134535740 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 882 518 231 231 0 651 0 vsize: 3528 [startup+50.0017 s] Raw data (loadavg): 0.93 0.97 0.71 2/55 16259 Raw data (stat): 16259 (PBS4) R 16258 20024 20023 0 -1 0 595 0 0 0 4998 1 0 0 25 0 1 0 511800995 3612672 591 4294967295 134512640 135450300 3221224640 3221223360 134535703 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 882 591 231 231 0 651 0 vsize: 3528 [startup+60.0023 s] Raw data (loadavg): 0.94 0.97 0.71 2/55 16259 Raw data (stat): 16259 (PBS4) R 16258 20024 20023 0 -1 0 670 0 0 0 5998 1 0 0 25 0 1 0 511800995 3612672 666 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 882 666 231 231 0 651 0 vsize: 3528 [startup+70.0025 s] Raw data (loadavg): 0.95 0.97 0.72 2/55 16259 Raw data (stat): 16259 (PBS4) R 16258 20024 20023 0 -1 0 744 0 0 0 6998 2 0 0 25 0 1 0 511800995 5709824 740 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1394 740 231 231 0 1163 0 vsize: 5576 [startup+80.0024 s] Raw data (loadavg): 0.96 0.97 0.72 2/55 16259 Raw data (stat): 16259 (PBS4) R 16258 20024 20023 0 -1 0 818 0 0 0 7998 2 0 0 25 0 1 0 511800995 5709824 814 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1394 814 231 231 0 1163 0 vsize: 5576 [startup+90.002 s] Raw data (loadavg): 0.96 0.97 0.72 2/55 16261 Raw data (stat): 16259 (PBS4) R 16258 20024 20023 0 -1 0 892 0 0 0 8998 2 0 0 25 0 1 0 511800995 5709824 888 4294967295 134512640 135450300 3221224640 3221223360 134535782 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1394 888 231 231 0 1163 0 vsize: 5576 [startup+100.002 s] Raw data (loadavg): 0.97 0.97 0.73 2/55 16261 Raw data (stat): 16259 (PBS4) R 16258 20024 20023 0 -1 0 967 0 0 0 9998 2 0 0 25 0 1 0 511800995 5709824 963 4294967295 134512640 135450300 3221224640 3221223360 134535709 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1394 963 231 231 0 1163 0 vsize: 5576 [startup+110.003 s] Raw data (loadavg): 0.97 0.97 0.73 2/55 16261 Raw data (stat): 16259 (PBS4) R 16258 20024 20023 0 -1 0 1038 0 0 0 10997 3 0 0 25 0 1 0 511800995 5709824 1034 4294967295 134512640 135450300 3221224640 3221223360 134535724 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1394 1034 231 231 0 1163 0 vsize: 5576 [startup+120.004 s] Raw data (loadavg): 0.98 0.97 0.73 2/55 16261 Raw data (stat): 16259 (PBS4) R 16258 20024 20023 0 -1 0 1134 0 0 0 11997 3 0 0 25 0 1 0 511800995 5910528 1130 4294967295 134512640 135450300 3221224640 3221222992 134533112 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1443 1130 231 231 0 1212 0 vsize: 5772 [startup+130.004 s] Raw data (loadavg): 0.98 0.97 0.73 2/55 16261 Raw data (stat): 16259 (PBS4) R 16258 20024 20023 0 -1 0 1207 0 0 0 12997 4 0 0 25 0 1 0 511800995 5910528 1203 4294967295 134512640 135450300 3221224640 3221223360 134535932 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1443 1203 231 231 0 1212 0 vsize: 5772 [startup+140.005 s] Raw data (loadavg): 0.98 0.97 0.73 2/55 16261 Raw data (stat): 16259 (PBS4) R 16258 20024 20023 0 -1 0 1281 0 0 0 13997 4 0 0 25 0 1 0 511800995 10104832 1277 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2467 1277 231 231 0 2236 0 vsize: 9868 [startup+150.004 s] Raw data (loadavg): 0.98 0.97 0.74 2/55 16263 Raw data (stat): 16259 (PBS4) R 16258 20024 20023 0 -1 0 1355 0 0 0 14997 4 0 0 25 0 1 0 511800995 10104832 1351 4294967295 134512640 135450300 3221224640 3221223360 134535732 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2467 1351 231 231 0 2236 0 vsize: 9868 [startup+160.005 s] Raw data (loadavg): 0.99 0.97 0.74 2/55 16263 Raw data (stat): 16259 (PBS4) R 16258 20024 20023 0 -1 0 1428 0 0 0 15997 5 0 0 25 0 1 0 511800995 10104832 1424 4294967295 134512640 135450300 3221224640 3221223360 134535764 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2467 1424 231 231 0 2236 0 vsize: 9868 [startup+170.004 s] Raw data (loadavg): 0.99 0.97 0.74 2/55 16263 Raw data (stat): 16259 (PBS4) R 16258 20024 20023 0 -1 0 1503 0 0 0 16997 5 0 0 25 0 1 0 511800995 10104832 1499 4294967295 134512640 135450300 3221224640 3221223360 134535706 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2467 1499 231 231 0 2236 0 vsize: 9868 [startup+180.004 s] Raw data (loadavg): 0.99 0.97 0.74 2/55 16263 Raw data (stat): 16259 (PBS4) R 16258 20024 20023 0 -1 0 1575 0 0 0 17997 5 0 0 25 0 1 0 511800995 10104832 1571 4294967295 134512640 135450300 3221224640 3221223360 134535681 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2467 1571 231 231 0 2236 0 vsize: 9868 [startup+190.005 s] Raw data (loadavg): 0.99 0.97 0.74 2/55 16263 Raw data (stat): 16259 (PBS4) R 16258 20024 20023 0 -1 0 1649 0 0 0 18997 5 0 0 25 0 1 0 511800995 10104832 1645 4294967295 134512640 135450300 3221224640 3221223360 134535675 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2467 1645 231 231 0 2236 0 vsize: 9868 [startup+200.005 s] Raw data (loadavg): 0.99 0.97 0.75 2/55 16263 Raw data (stat): 16259 (PBS4) R 16258 20024 20023 0 -1 0 1722 0 0 0 19996 6 0 0 25 0 1 0 511800995 10104832 1718 4294967295 134512640 135450300 3221224640 3221223360 134535770 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2467 1718 231 231 0 2236 0 vsize: 9868 [startup+210.006 s] Raw data (loadavg): 0.99 0.97 0.75 2/55 16263 Raw data (stat): 16259 (PBS4) R 16258 20024 20023 0 -1 0 1795 0 0 0 20996 6 0 0 25 0 1 0 511800995 10104832 1791 4294967295 134512640 135450300 3221224640 3221223360 134535695 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2467 1791 231 231 0 2236 0 vsize: 9868 [startup+220.006 s] Raw data (loadavg): 0.99 0.97 0.75 2/55 16263 Raw data (stat): 16259 (PBS4) R 16258 20024 20023 0 -1 0 1867 0 0 0 21996 6 0 0 25 0 1 0 511800995 10088448 1863 4294967295 134512640 135450300 3221224640 3221223360 134535789 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2463 1863 231 231 0 2232 0 vsize: 9852 [startup+230.006 s] Raw data (loadavg): 0.99 0.97 0.75 2/55 16263 Raw data (stat): 16259 (PBS4) R 16258 20024 20023 0 -1 0 1939 0 0 0 22996 7 0 0 25 0 1 0 511800995 10088448 1935 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2463 1935 231 231 0 2232 0 vsize: 9852 [startup+240.005 s] Raw data (loadavg): 0.99 0.97 0.75 2/55 16263 Raw data (stat): 16259 (PBS4) R 16258 20024 20023 0 -1 0 2013 0 0 0 23996 7 0 0 25 0 1 0 511800995 10088448 2009 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2463 2009 231 231 0 2232 0 vsize: 9852 [startup+250.006 s] Raw data (loadavg): 0.99 0.97 0.76 2/55 16263 Raw data (stat): 16259 (PBS4) R 16258 20024 20023 0 -1 0 2088 0 0 0 24996 7 0 0 25 0 1 0 511800995 10088448 2084 4294967295 134512640 135450300 3221224640 3221223360 134535724 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2463 2084 231 231 0 2232 0 vsize: 9852 [startup+260.007 s] Raw data (loadavg): 0.99 0.97 0.76 2/55 16263 Raw data (stat): 16259 (PBS4) R 16258 20024 20023 0 -1 0 2164 0 0 0 25996 8 0 0 25 0 1 0 511800995 10088448 2160 4294967295 134512640 135450300 3221224640 3221223360 134535687 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2463 2160 231 231 0 2232 0 vsize: 9852 [startup+270.006 s] Raw data (loadavg): 0.99 0.97 0.76 2/55 16263 Raw data (stat): 16259 (PBS4) R 16258 20024 20023 0 -1 0 2236 0 0 0 26995 8 0 0 25 0 1 0 511800995 10088448 2232 4294967295 134512640 135450300 3221224640 3221223360 134535775 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2463 2232 231 231 0 2232 0 vsize: 9852 [startup+280.006 s] Raw data (loadavg): 0.99 0.97 0.76 2/55 16263 Raw data (stat): 16259 (PBS4) R 16258 20024 20023 0 -1 0 2320 0 0 0 27995 8 0 0 25 0 1 0 511800995 18612224 2316 4294967295 134512640 135450300 3221224640 3221223360 134535681 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4544 2316 231 231 0 4313 0 vsize: 18176 [startup+290.007 s] Raw data (loadavg): 0.99 0.97 0.76 2/55 16263 Raw data (stat): 16259 (PBS4) R 16258 20024 20023 0 -1 0 2391 0 0 0 28995 9 0 0 25 0 1 0 511800995 18612224 2387 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4544 2387 231 231 0 4313 0 vsize: 18176 [startup+300.007 s] Raw data (loadavg): 0.99 0.97 0.77 2/55 16263 Raw data (stat): 16259 (PBS4) R 16258 20024 20023 0 -1 0 2464 0 0 0 29995 9 0 0 25 0 1 0 511800995 18612224 2460 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4544 2460 231 231 0 4313 0 vsize: 18176 [startup+310.007 s] Raw data (loadavg): 0.99 0.97 0.77 2/55 16263 Raw data (stat): 16259 (PBS4) R 16258 20024 20023 0 -1 0 2586 0 0 0 30995 9 0 0 25 0 1 0 511800995 18808832 2533 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4592 2533 231 231 0 4361 0 vsize: 18368 [startup+320.007 s] Raw data (loadavg): 0.99 0.97 0.77 2/55 16263 Raw data (stat): 16259 (PBS4) R 16258 20024 20023 0 -1 0 2629 0 0 0 31995 9 0 0 25 0 1 0 511800995 18808832 2576 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4592 2576 231 231 0 4361 0 vsize: 18368 [startup+330.007 s] Raw data (loadavg): 0.99 0.97 0.77 2/55 16263 Raw data (stat): 16259 (PBS4) R 16258 20024 20023 0 -1 0 2665 0 0 0 32995 9 0 0 25 0 1 0 511800995 18808832 2612 4294967295 134512640 135450300 3221224640 3221223360 134535752 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4592 2612 231 231 0 4361 0 vsize: 18368 [startup+340.007 s] Raw data (loadavg): 0.99 0.97 0.77 2/55 16263 Raw data (stat): 16259 (PBS4) R 16258 20024 20023 0 -1 0 2730 0 0 0 33995 10 0 0 25 0 1 0 511800995 18808832 2677 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4592 2677 231 231 0 4361 0 vsize: 18368 [startup+350.007 s] Raw data (loadavg): 0.99 0.97 0.78 2/55 16263 Raw data (stat): 16259 (PBS4) R 16258 20024 20023 0 -1 0 2817 0 0 0 34995 10 0 0 25 0 1 0 511800995 18948096 2764 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4626 2764 231 231 0 4395 0 vsize: 18504 [startup+360.007 s] Raw data (loadavg): 0.99 0.97 0.78 2/55 16263 Raw data (stat): 16259 (PBS4) R 16258 20024 20023 0 -1 0 2885 0 0 0 35995 10 0 0 25 0 1 0 511800995 18948096 2832 4294967295 134512640 135450300 3221224640 3221223456 134546452 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4626 2832 231 231 0 4395 0 vsize: 18504 [startup+370.007 s] Raw data (loadavg): 0.99 0.97 0.78 2/55 16263 Raw data (stat): 16259 (PBS4) R 16258 20024 20023 0 -1 0 2956 0 0 0 36995 10 0 0 25 0 1 0 511800995 18948096 2903 4294967295 134512640 135450300 3221224640 3221223360 134535746 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4626 2903 231 231 0 4395 0 vsize: 18504 [startup+380.007 s] Raw data (loadavg): 0.99 0.97 0.78 2/55 16263 Raw data (stat): 16259 (PBS4) R 16258 20024 20023 0 -1 0 3042 0 0 0 37995 10 0 0 25 0 1 0 511800995 19083264 2989 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4659 2989 231 231 0 4428 0 vsize: 18636 [startup+390.008 s] Raw data (loadavg): 0.99 0.97 0.78 2/55 16263 Raw data (stat): 16259 (PBS4) R 16258 20024 20023 0 -1 0 3108 0 0 0 38995 11 0 0 25 0 1 0 511800995 19083264 3055 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4659 3055 231 231 0 4428 0 vsize: 18636 [startup+400.008 s] Raw data (loadavg): 0.99 0.97 0.79 2/55 16263 Raw data (stat): 16259 (PBS4) R 16258 20024 20023 0 -1 0 3181 0 0 0 39995 11 0 0 25 0 1 0 511800995 19083264 3128 4294967295 134512640 135450300 3221224640 3221223360 134535709 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4659 3128 231 231 0 4428 0 vsize: 18636 [startup+410.009 s] Raw data (loadavg): 0.99 0.97 0.79 2/55 16263 Raw data (stat): 16259 (PBS4) R 16258 20024 20023 0 -1 0 3250 0 0 0 40995 11 0 0 25 0 1 0 511800995 19083264 3197 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4659 3197 231 231 0 4428 0 vsize: 18636 [startup+420.009 s] Raw data (loadavg): 0.99 0.97 0.79 2/55 16263 Raw data (stat): 16259 (PBS4) R 16258 20024 20023 0 -1 0 3316 0 0 0 41995 11 0 0 25 0 1 0 511800995 19083264 3263 4294967295 134512640 135450300 3221224640 3221223360 134535740 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4659 3263 231 231 0 4428 0 vsize: 18636 [startup+430.009 s] Raw data (loadavg): 0.99 0.97 0.79 2/55 16263 Raw data (stat): 16259 (PBS4) R 16258 20024 20023 0 -1 0 3374 0 0 0 42995 11 0 0 25 0 1 0 511800995 19083264 3321 4294967295 134512640 135450300 3221224640 3221223360 134535950 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4659 3321 231 231 0 4428 0 vsize: 18636 [startup+440.009 s] Raw data (loadavg): 0.99 0.97 0.79 2/55 16263 Raw data (stat): 16259 (PBS4) R 16258 20024 20023 0 -1 0 3433 0 0 0 43995 12 0 0 25 0 1 0 511800995 19083264 3380 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4659 3380 231 231 0 4428 0 vsize: 18636 [startup+450.008 s] Raw data (loadavg): 0.99 0.97 0.79 2/55 16265 Raw data (stat): 16259 (PBS4) R 16258 20024 20023 0 -1 0 3496 0 0 0 44995 12 0 0 25 0 1 0 511800995 19083264 3443 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4659 3443 231 231 0 4428 0 vsize: 18636 [startup+460.008 s] Raw data (loadavg): 0.99 0.97 0.80 2/55 16265 Raw data (stat): 16259 (PBS4) R 16258 20024 20023 0 -1 0 3582 0 0 0 45994 13 0 0 25 0 1 0 511800995 19222528 3529 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4693 3529 231 231 0 4462 0 vsize: 18772 [startup+470.009 s] Raw data (loadavg): 0.99 0.97 0.80 2/55 16265 Raw data (stat): 16259 (PBS4) R 16258 20024 20023 0 -1 0 3651 0 0 0 46994 13 0 0 25 0 1 0 511800995 19222528 3598 4294967295 134512640 135450300 3221224640 3221223360 134535724 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4693 3598 231 231 0 4462 0 vsize: 18772 [startup+480.009 s] Raw data (loadavg): 0.99 0.97 0.80 2/55 16265 Raw data (stat): 16259 (PBS4) R 16258 20024 20023 0 -1 0 3719 0 0 0 47994 13 0 0 25 0 1 0 511800995 19222528 3666 4294967295 134512640 135450300 3221224640 3221223360 134535740 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4693 3666 231 231 0 4462 0 vsize: 18772 [startup+490.01 s] Raw data (loadavg): 0.99 0.97 0.80 2/55 16265 Raw data (stat): 16259 (PBS4) R 16258 20024 20023 0 -1 0 3811 0 0 0 48992 15 0 0 25 0 1 0 511800995 19505152 3758 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4762 3758 231 231 0 4531 0 vsize: 19048 [startup+500.01 s] Raw data (loadavg): 0.99 0.97 0.80 2/55 16265 Raw data (stat): 16259 (PBS4) R 16258 20024 20023 0 -1 0 3853 0 0 0 49991 16 0 0 25 0 1 0 511800995 19644416 3800 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4796 3800 231 231 0 4565 0 vsize: 19184 [startup+510.011 s] Raw data (loadavg): 0.99 0.97 0.81 2/55 16265 Raw data (stat): 16259 (PBS4) R 16258 20024 20023 0 -1 0 3854 0 0 0 50991 16 0 0 25 0 1 0 511800995 19644416 3801 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4796 3801 231 231 0 4565 0 vsize: 19184 [startup+520.011 s] Raw data (loadavg): 0.99 0.97 0.81 2/55 16265 Raw data (stat): 16259 (PBS4) R 16258 20024 20023 0 -1 0 3857 0 0 0 51991 16 0 0 25 0 1 0 511800995 19644416 3804 4294967295 134512640 135450300 3221224640 3221223360 134535737 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4796 3804 231 231 0 4565 0 vsize: 19184 [startup+530.011 s] Raw data (loadavg): 0.99 0.97 0.81 2/55 16265 Raw data (stat): 16259 (PBS4) R 16258 20024 20023 0 -1 0 3873 0 0 0 52991 16 0 0 25 0 1 0 511800995 19779584 3820 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4829 3820 231 231 0 4598 0 vsize: 19316 [startup+540.012 s] Raw data (loadavg): 0.99 0.97 0.81 2/55 16265 Raw data (stat): 16259 (PBS4) R 16258 20024 20023 0 -1 0 3884 0 0 0 53991 17 0 0 25 0 1 0 511800995 19779584 3831 4294967295 134512640 135450300 3221224640 3221223360 134535706 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4829 3831 231 231 0 4598 0 vsize: 19316 [startup+550.011 s] Raw data (loadavg): 0.99 0.97 0.81 2/55 16265 Raw data (stat): 16259 (PBS4) R 16258 20024 20023 0 -1 0 3905 0 0 0 54992 17 0 0 25 0 1 0 511800995 19779584 3852 4294967295 134512640 135450300 3221224640 3221223360 134535726 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4829 3852 231 231 0 4598 0 vsize: 19316 [startup+560.012 s] Raw data (loadavg): 0.99 0.97 0.82 2/55 16265 Raw data (stat): 16259 (PBS4) R 16258 20024 20023 0 -1 0 3981 0 0 0 55991 17 0 0 25 0 1 0 511800995 19914752 3928 4294967295 134512640 135450300 3221224640 3221223360 134535681 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4862 3928 231 231 0 4631 0 vsize: 19448 [startup+570.013 s] Raw data (loadavg): 0.99 0.97 0.82 2/55 16265 Raw data (stat): 16259 (PBS4) R 16258 20024 20023 0 -1 0 4009 0 0 0 56990 19 0 0 25 0 1 0 511800995 19914752 3956 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4862 3956 231 231 0 4631 0 vsize: 19448 [startup+580.013 s] Raw data (loadavg): 0.99 0.97 0.82 2/55 16265 Raw data (stat): 16259 (PBS4) R 16258 20024 20023 0 -1 0 4011 0 0 0 57990 19 0 0 25 0 1 0 511800995 19914752 3958 4294967295 134512640 135450300 3221224640 3221223360 134535726 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4862 3958 231 231 0 4631 0 vsize: 19448 [startup+590.014 s] Raw data (loadavg): 0.99 0.97 0.82 2/55 16265 Raw data (stat): 16259 (PBS4) R 16258 20024 20023 0 -1 0 4013 0 0 0 58990 19 0 0 25 0 1 0 511800995 19914752 3960 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4862 3960 231 231 0 4631 0 vsize: 19448 [startup+600.014 s] Raw data (loadavg): 0.99 0.97 0.82 2/55 16265 Raw data (stat): 16259 (PBS4) R 16258 20024 20023 0 -1 0 4015 0 0 0 59990 19 0 0 25 0 1 0 511800995 19914752 3962 4294967295 134512640 135450300 3221224640 3221223360 134535782 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4862 3962 231 231 0 4631 0 vsize: 19448 [startup+610.015 s] Raw data (loadavg): 0.99 0.97 0.82 2/55 16265 Raw data (stat): 16259 (PBS4) R 16258 20024 20023 0 -1 0 4022 0 0 0 60990 19 0 0 25 0 1 0 511800995 20049920 3969 4294967295 134512640 135450300 3221224640 3221223360 134535740 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4895 3969 231 231 0 4664 0 vsize: 19580 [startup+620.015 s] Raw data (loadavg): 0.99 0.97 0.82 2/55 16265 Raw data (stat): 16259 (PBS4) R 16258 20024 20023 0 -1 0 4120 0 0 0 61990 20 0 0 25 0 1 0 511800995 20443136 3970 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4991 3970 231 231 0 4760 0 vsize: 19964 [startup+630.014 s] Raw data (loadavg): 0.99 0.97 0.82 2/55 16265 Raw data (stat): 16259 (PBS4) R 16258 20024 20023 0 -1 0 4121 0 0 0 62990 20 0 0 25 0 1 0 511800995 20443136 3971 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4991 3971 231 231 0 4760 0 vsize: 19964 [startup+640.016 s] Raw data (loadavg): 0.99 0.97 0.83 2/55 16265 Raw data (stat): 16259 (PBS4) R 16258 20024 20023 0 -1 0 4122 0 0 0 63990 20 0 0 25 0 1 0 511800995 20443136 3972 4294967295 134512640 135450300 3221224640 3221223360 134535806 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4991 3972 231 231 0 4760 0 vsize: 19964 [startup+650.015 s] Raw data (loadavg): 0.99 0.97 0.83 2/55 16265 Raw data (stat): 16259 (PBS4) R 16258 20024 20023 0 -1 0 4127 0 0 0 64990 20 0 0 25 0 1 0 511800995 20443136 3977 4294967295 134512640 135450300 3221224640 3221223360 134535546 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4991 3977 231 231 0 4760 0 vsize: 19964 [startup+660.016 s] Raw data (loadavg): 0.99 0.97 0.83 2/55 16265 Raw data (stat): 16259 (PBS4) R 16258 20024 20023 0 -1 0 4128 0 0 0 65991 20 0 0 25 0 1 0 511800995 20443136 3978 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4991 3978 231 231 0 4760 0 vsize: 19964 [startup+670.016 s] Raw data (loadavg): 0.99 0.97 0.83 2/55 16265 Raw data (stat): 16259 (PBS4) R 16258 20024 20023 0 -1 0 4129 0 0 0 66991 20 0 0 25 0 1 0 511800995 20443136 3979 4294967295 134512640 135450300 3221224640 3221223360 134535737 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4991 3979 231 231 0 4760 0 vsize: 19964 [startup+680.016 s] Raw data (loadavg): 0.99 0.97 0.83 2/55 16265 Raw data (stat): 16259 (PBS4) R 16258 20024 20023 0 -1 0 4133 0 0 0 67991 20 0 0 25 0 1 0 511800995 20443136 3983 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4991 3983 231 231 0 4760 0 vsize: 19964 [startup+690.017 s] Raw data (loadavg): 0.99 0.97 0.83 2/55 16265 Raw data (stat): 16259 (PBS4) R 16258 20024 20023 0 -1 0 4134 0 0 0 68991 20 0 0 25 0 1 0 511800995 20443136 3984 4294967295 134512640 135450300 3221224640 3221223360 134535791 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4991 3984 231 231 0 4760 0 vsize: 19964 [startup+700.017 s] Raw data (loadavg): 0.99 0.97 0.83 2/55 16265 Raw data (stat): 16259 (PBS4) R 16258 20024 20023 0 -1 0 4136 0 0 0 69991 20 0 0 25 0 1 0 511800995 20443136 3986 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4991 3986 231 231 0 4760 0 vsize: 19964 [startup+710.018 s] Raw data (loadavg): 0.99 0.97 0.83 2/55 16265 Raw data (stat): 16259 (PBS4) R 16258 20024 20023 0 -1 0 4137 0 0 0 70991 20 0 0 25 0 1 0 511800995 20443136 3987 4294967295 134512640 135450300 3221224640 3221223360 134535712 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4991 3987 231 231 0 4760 0 vsize: 19964 [startup+720.018 s] Raw data (loadavg): 0.99 0.97 0.83 2/55 16265 Raw data (stat): 16259 (PBS4) R 16258 20024 20023 0 -1 0 4144 0 0 0 71991 21 0 0 25 0 1 0 511800995 20443136 3994 4294967295 134512640 135450300 3221224640 3221223360 134535706 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4991 3994 231 231 0 4760 0 vsize: 19964 [startup+730.018 s] Raw data (loadavg): 0.99 0.97 0.83 2/55 16265 Raw data (stat): 16259 (PBS4) R 16258 20024 20023 0 -1 0 4154 0 0 0 72991 21 0 0 25 0 1 0 511800995 20443136 4004 4294967295 134512640 135450300 3221224640 3221223360 134535752 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4991 4004 231 231 0 4760 0 vsize: 19964 [startup+740.019 s] Raw data (loadavg): 0.99 0.97 0.83 2/55 16265 Raw data (stat): 16259 (PBS4) R 16258 20024 20023 0 -1 0 4177 0 0 0 73991 21 0 0 25 0 1 0 511800995 20578304 4027 4294967295 134512640 135450300 3221224640 3221223360 134535806 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5024 4027 231 231 0 4793 0 vsize: 20096 [startup+750.018 s] Raw data (loadavg): 0.99 0.97 0.84 2/55 16267 Raw data (stat): 16259 (PBS4) R 16258 20024 20023 0 -1 0 4181 0 0 0 74991 21 0 0 25 0 1 0 511800995 20578304 4031 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5024 4031 231 231 0 4793 0 vsize: 20096 [startup+760.018 s] Raw data (loadavg): 0.99 0.97 0.84 2/55 16267 Raw data (stat): 16259 (PBS4) R 16258 20024 20023 0 -1 0 4183 0 0 0 75991 21 0 0 25 0 1 0 511800995 20578304 4033 4294967295 134512640 135450300 3221224640 3221223360 134535803 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5024 4033 231 231 0 4793 0 vsize: 20096 [startup+770.018 s] Raw data (loadavg): 0.99 0.97 0.84 2/55 16267 Raw data (stat): 16259 (PBS4) R 16258 20024 20023 0 -1 0 4184 0 0 0 76991 21 0 0 25 0 1 0 511800995 20578304 4034 4294967295 134512640 135450300 3221224640 3221223360 134535764 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5024 4034 231 231 0 4793 0 vsize: 20096 [startup+780.018 s] Raw data (loadavg): 0.99 0.97 0.84 2/55 16267 Raw data (stat): 16259 (PBS4) R 16258 20024 20023 0 -1 0 4199 0 0 0 77991 22 0 0 25 0 1 0 511800995 20578304 4049 4294967295 134512640 135450300 3221224640 3221223360 134535935 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5024 4049 231 231 0 4793 0 vsize: 20096 [startup+790.019 s] Raw data (loadavg): 0.99 0.97 0.84 2/55 16267 Raw data (stat): 16259 (PBS4) R 16258 20024 20023 0 -1 0 4209 0 0 0 78990 22 0 0 25 0 1 0 511800995 20578304 4059 4294967295 134512640 135450300 3221224640 3221223360 134535675 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5024 4059 231 231 0 4793 0 vsize: 20096 [startup+800.019 s] Raw data (loadavg): 0.99 0.97 0.84 2/55 16267 Raw data (stat): 16259 (PBS4) R 16258 20024 20023 0 -1 0 4210 0 0 0 79991 22 0 0 25 0 1 0 511800995 20578304 4060 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5024 4060 231 231 0 4793 0 vsize: 20096 [startup+810.02 s] Raw data (loadavg): 0.99 0.97 0.84 2/55 16267 Raw data (stat): 16259 (PBS4) R 16258 20024 20023 0 -1 0 4211 0 0 0 80991 22 0 0 25 0 1 0 511800995 20578304 4061 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5024 4061 231 231 0 4793 0 vsize: 20096 [startup+820.02 s] Raw data (loadavg): 0.99 0.97 0.84 2/55 16267 Raw data (stat): 16259 (PBS4) R 16258 20024 20023 0 -1 0 4213 0 0 0 81991 22 0 0 25 0 1 0 511800995 20578304 4063 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5024 4063 231 231 0 4793 0 vsize: 20096 [startup+830.02 s] Raw data (loadavg): 0.99 0.97 0.84 2/55 16267 Raw data (stat): 16259 (PBS4) R 16258 20024 20023 0 -1 0 4218 0 0 0 82991 22 0 0 25 0 1 0 511800995 20713472 4068 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5057 4068 231 231 0 4826 0 vsize: 20228 [startup+840.021 s] Raw data (loadavg): 0.99 0.97 0.84 2/55 16267 Raw data (stat): 16259 (PBS4) R 16258 20024 20023 0 -1 0 4219 0 0 0 83991 23 0 0 25 0 1 0 511800995 20713472 4069 4294967295 134512640 135450300 3221224640 3221223360 134535551 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5057 4069 231 231 0 4826 0 vsize: 20228 [startup+850.021 s] Raw data (loadavg): 0.99 0.97 0.85 2/55 16267 Raw data (stat): 16259 (PBS4) R 16258 20024 20023 0 -1 0 4221 0 0 0 84991 23 0 0 25 0 1 0 511800995 20713472 4071 4294967295 134512640 135450300 3221224640 3221223360 134535752 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5057 4071 231 231 0 4826 0 vsize: 20228 [startup+860.022 s] Raw data (loadavg): 0.99 0.97 0.85 2/55 16267 Raw data (stat): 16259 (PBS4) R 16258 20024 20023 0 -1 0 4222 0 0 0 85991 23 0 0 25 0 1 0 511800995 20713472 4072 4294967295 134512640 135450300 3221224640 3221223360 134535758 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5057 4072 231 231 0 4826 0 vsize: 20228 [startup+870.022 s] Raw data (loadavg): 0.99 0.97 0.85 2/55 16267 Raw data (stat): 16259 (PBS4) R 16258 20024 20023 0 -1 0 4239 0 0 0 86991 23 0 0 25 0 1 0 511800995 20713472 4089 4294967295 134512640 135450300 3221224640 3221223360 134535681 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5057 4089 231 231 0 4826 0 vsize: 20228 [startup+880.022 s] Raw data (loadavg): 0.99 0.97 0.85 2/55 16267 Raw data (stat): 16259 (PBS4) R 16258 20024 20023 0 -1 0 4240 0 0 0 87991 23 0 0 25 0 1 0 511800995 20713472 4090 4294967295 134512640 135450300 3221224640 3221223360 134535746 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5057 4090 231 231 0 4826 0 vsize: 20228 [startup+890.023 s] Raw data (loadavg): 0.99 0.97 0.85 2/55 16267 Raw data (stat): 16259 (PBS4) R 16258 20024 20023 0 -1 0 4241 0 0 0 88991 23 0 0 25 0 1 0 511800995 20713472 4091 4294967295 134512640 135450300 3221224640 3221223360 134535772 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5057 4091 231 231 0 4826 0 vsize: 20228 [startup+900.023 s] Raw data (loadavg): 0.99 0.97 0.85 2/55 16267 Raw data (stat): 16259 (PBS4) R 16258 20024 20023 0 -1 0 4250 0 0 0 89991 23 0 0 25 0 1 0 511800995 20713472 4100 4294967295 134512640 135450300 3221224640 3221223360 134535746 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5057 4100 231 231 0 4826 0 vsize: 20228 [startup+910.024 s] Raw data (loadavg): 0.99 0.97 0.85 2/55 16267 Raw data (stat): 16259 (PBS4) R 16258 20024 20023 0 -1 0 4251 0 0 0 90992 23 0 0 25 0 1 0 511800995 20713472 4101 4294967295 134512640 135450300 3221224640 3221223360 134535732 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5057 4101 231 231 0 4826 0 vsize: 20228 [startup+920.025 s] Raw data (loadavg): 0.99 0.97 0.85 2/55 16267 Raw data (stat): 16259 (PBS4) R 16258 20024 20023 0 -1 0 4252 0 0 0 91992 23 0 0 25 0 1 0 511800995 20713472 4102 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5057 4102 231 231 0 4826 0 vsize: 20228 [startup+930.024 s] Raw data (loadavg): 0.99 0.97 0.85 2/55 16267 Raw data (stat): 16259 (PBS4) R 16258 20024 20023 0 -1 0 4253 0 0 0 92992 23 0 0 25 0 1 0 511800995 20713472 4103 4294967295 134512640 135450300 3221224640 3221223360 134535749 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5057 4103 231 231 0 4826 0 vsize: 20228 [startup+940.024 s] Raw data (loadavg): 0.99 0.97 0.85 2/55 16267 Raw data (stat): 16259 (PBS4) R 16258 20024 20023 0 -1 0 4264 0 0 0 93992 23 0 0 25 0 1 0 511800995 20848640 4114 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5090 4114 231 231 0 4859 0 vsize: 20360 [startup+950.024 s] Raw data (loadavg): 0.99 0.97 0.86 2/55 16267 Raw data (stat): 16259 (PBS4) R 16258 20024 20023 0 -1 0 4265 0 0 0 94992 23 0 0 25 0 1 0 511800995 20848640 4115 4294967295 134512640 135450300 3221224640 3221223360 134535726 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5090 4115 231 231 0 4859 0 vsize: 20360 [startup+960.025 s] Raw data (loadavg): 0.99 0.97 0.86 2/55 16267 Raw data (stat): 16259 (PBS4) R 16258 20024 20023 0 -1 0 4267 0 0 0 95992 24 0 0 25 0 1 0 511800995 20848640 4117 4294967295 134512640 135450300 3221224640 3221223360 134535782 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5090 4117 231 231 0 4859 0 vsize: 20360 [startup+970.025 s] Raw data (loadavg): 0.99 0.97 0.86 2/55 16267 Raw data (stat): 16259 (PBS4) R 16258 20024 20023 0 -1 0 4268 0 0 0 96992 24 0 0 25 0 1 0 511800995 20848640 4118 4294967295 134512640 135450300 3221224640 3221223360 134535749 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5090 4118 231 231 0 4859 0 vsize: 20360 [startup+980.025 s] Raw data (loadavg): 0.99 0.97 0.86 2/55 16267 Raw data (stat): 16259 (PBS4) R 16258 20024 20023 0 -1 0 4281 0 0 0 97992 24 0 0 25 0 1 0 511800995 20848640 4131 4294967295 134512640 135450300 3221224640 3221223248 134537761 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5090 4131 231 231 0 4859 0 vsize: 20360 [startup+990.026 s] Raw data (loadavg): 0.99 0.97 0.86 2/55 16267 Raw data (stat): 16259 (PBS4) R 16258 20024 20023 0 -1 0 4282 0 0 0 98992 24 0 0 25 0 1 0 511800995 20848640 4132 4294967295 134512640 135450300 3221224640 3221223360 134535709 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5090 4132 231 231 0 4859 0 vsize: 20360 [startup+1000.03 s] Raw data (loadavg): 0.99 0.97 0.86 2/55 16267 Raw data (stat): 16259 (PBS4) R 16258 20024 20023 0 -1 0 4283 0 0 0 99992 24 0 0 25 0 1 0 511800995 20848640 4133 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5090 4133 231 231 0 4859 0 vsize: 20360 [startup+1010.03 s] Raw data (loadavg): 0.99 0.97 0.86 2/55 16267 Raw data (stat): 16259 (PBS4) R 16258 20024 20023 0 -1 0 4291 0 0 0 100993 24 0 0 25 0 1 0 511800995 20848640 4141 4294967295 134512640 135450300 3221224640 3221223360 134535675 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5090 4141 231 231 0 4859 0 vsize: 20360 [startup+1020.03 s] Raw data (loadavg): 0.99 0.97 0.86 2/55 16267 Raw data (stat): 16259 (PBS4) R 16258 20024 20023 0 -1 0 4292 0 0 0 101993 24 0 0 25 0 1 0 511800995 20848640 4142 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5090 4142 231 231 0 4859 0 vsize: 20360 [startup+1030.03 s] Raw data (loadavg): 0.99 0.97 0.86 2/55 16267 Raw data (stat): 16259 (PBS4) R 16258 20024 20023 0 -1 0 4294 0 0 0 102993 24 0 0 25 0 1 0 511800995 20848640 4144 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5090 4144 231 231 0 4859 0 vsize: 20360 [startup+1040.03 s] Raw data (loadavg): 0.99 0.97 0.86 2/55 16267 Raw data (stat): 16259 (PBS4) R 16258 20024 20023 0 -1 0 4320 0 0 0 103992 25 0 0 25 0 1 0 511800995 20992000 4170 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5125 4170 231 231 0 4894 0 vsize: 20500 [startup+1050.03 s] Raw data (loadavg): 0.99 0.97 0.87 2/55 16269 Raw data (stat): 16259 (PBS4) R 16258 20024 20023 0 -1 0 4333 0 0 0 104992 26 0 0 25 0 1 0 511800995 20992000 4183 4294967295 134512640 135450300 3221224640 3221223472 134549654 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5125 4183 231 231 0 4894 0 vsize: 20500 [startup+1060.03 s] Raw data (loadavg): 0.99 0.97 0.87 2/55 16269 Raw data (stat): 16259 (PBS4) R 16258 20024 20023 0 -1 0 4335 0 0 0 105992 26 0 0 25 0 1 0 511800995 20992000 4185 4294967295 134512640 135450300 3221224640 3221223360 134535746 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5125 4185 231 231 0 4894 0 vsize: 20500 [startup+1070.03 s] Raw data (loadavg): 0.99 0.97 0.87 2/55 16269 Raw data (stat): 16259 (PBS4) R 16258 20024 20023 0 -1 0 4345 0 0 0 106992 26 0 0 25 0 1 0 511800995 20992000 4195 4294967295 134512640 135450300 3221224640 3221223376 134538457 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5125 4195 231 231 0 4894 0 vsize: 20500 [startup+1080.03 s] Raw data (loadavg): 0.99 0.97 0.87 2/55 16269 Raw data (stat): 16259 (PBS4) R 16258 20024 20023 0 -1 0 4350 0 0 0 107992 26 0 0 25 0 1 0 511800995 20992000 4200 4294967295 134512640 135450300 3221224640 3221223360 134535712 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5125 4200 231 231 0 4894 0 vsize: 20500 [startup+1090.03 s] Raw data (loadavg): 0.99 0.97 0.87 2/55 16269 Raw data (stat): 16259 (PBS4) R 16258 20024 20023 0 -1 0 4351 0 0 0 108992 26 0 0 25 0 1 0 511800995 20992000 4201 4294967295 134512640 135450300 3221224640 3221223360 134535758 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5125 4201 231 231 0 4894 0 vsize: 20500 [startup+1100.03 s] Raw data (loadavg): 0.99 0.97 0.87 2/55 16269 Raw data (stat): 16259 (PBS4) R 16258 20024 20023 0 -1 0 4352 0 0 0 109992 27 0 0 25 0 1 0 511800995 20992000 4202 4294967295 134512640 135450300 3221224640 3221223360 134535764 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5125 4202 231 231 0 4894 0 vsize: 20500 [startup+1110.03 s] Raw data (loadavg): 0.99 0.97 0.87 2/55 16269 Raw data (stat): 16259 (PBS4) R 16258 20024 20023 0 -1 0 4368 0 0 0 110991 27 0 0 25 0 1 0 511800995 21151744 4218 4294967295 134512640 135450300 3221224640 3221223456 134536478 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5164 4218 231 231 0 4933 0 vsize: 20656 [startup+1120.03 s] Raw data (loadavg): 0.99 0.97 0.87 2/55 16269 Raw data (stat): 16259 (PBS4) R 16258 20024 20023 0 -1 0 4375 0 0 0 111991 28 0 0 25 0 1 0 511800995 21151744 4225 4294967295 134512640 135450300 3221224640 3221223360 134535775 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5164 4225 231 231 0 4933 0 vsize: 20656 [startup+1130.03 s] Raw data (loadavg): 0.99 0.97 0.87 2/55 16269 Raw data (stat): 16259 (PBS4) R 16258 20024 20023 0 -1 0 4376 0 0 0 112991 28 0 0 25 0 1 0 511800995 21151744 4226 4294967295 134512640 135450300 3221224640 3221223360 134535706 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5164 4226 231 231 0 4933 0 vsize: 20656 [startup+1140.03 s] Raw data (loadavg): 0.99 0.97 0.87 2/55 16269 Raw data (stat): 16259 (PBS4) R 16258 20024 20023 0 -1 0 4377 0 0 0 113991 28 0 0 25 0 1 0 511800995 21151744 4227 4294967295 134512640 135450300 3221224640 3221223360 134535971 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5164 4227 231 231 0 4933 0 vsize: 20656 [startup+1150.03 s] Raw data (loadavg): 0.99 0.97 0.87 2/55 16269 Raw data (stat): 16259 (PBS4) R 16258 20024 20023 0 -1 0 4379 0 0 0 114991 28 0 0 25 0 1 0 511800995 21151744 4229 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5164 4229 231 231 0 4933 0 vsize: 20656 [startup+1160.03 s] Raw data (loadavg): 0.99 0.97 0.88 2/55 16269 Raw data (stat): 16259 (PBS4) R 16258 20024 20023 0 -1 0 4380 0 0 0 115991 28 0 0 25 0 1 0 511800995 21151744 4230 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5164 4230 231 231 0 4933 0 vsize: 20656 [startup+1170.03 s] Raw data (loadavg): 0.99 0.97 0.88 2/55 16269 Raw data (stat): 16259 (PBS4) R 16258 20024 20023 0 -1 0 4382 0 0 0 116991 28 0 0 25 0 1 0 511800995 21151744 4232 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5164 4232 231 231 0 4933 0 vsize: 20656 [startup+1180.03 s] Raw data (loadavg): 0.99 0.97 0.88 2/55 16269 Raw data (stat): 16259 (PBS4) R 16258 20024 20023 0 -1 0 4383 0 0 0 117991 28 0 0 25 0 1 0 511800995 21151744 4233 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5164 4233 231 231 0 4933 0 vsize: 20656 [startup+1190.03 s] Raw data (loadavg): 0.99 0.97 0.88 2/55 16269 Raw data (stat): 16259 (PBS4) R 16258 20024 20023 0 -1 0 4392 0 0 0 118992 29 0 0 25 0 1 0 511800995 21151744 4242 4294967295 134512640 135450300 3221224640 3221223360 134535806 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5164 4242 231 231 0 4933 0 vsize: 20656 [startup+1200.03 s] Raw data (loadavg): 0.99 0.97 0.88 2/55 16269 Raw data (stat): 16259 (PBS4) R 16258 20024 20023 0 -1 0 4393 0 0 0 119992 29 0 0 25 0 1 0 511800995 21151744 4243 4294967295 134512640 135450300 3221224640 3221223360 134535775 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5164 4243 231 231 0 4933 0 vsize: 20656 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1200.04 s] Raw data (loadavg): 0.99 0.97 0.88 1/55 16269 Raw data (stat): 16259 (PBS4) Z 16258 20024 20023 0 -1 1036 4393 0 0 0 119992 30 0 0 25 0 1 0 511800995 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.04 CPU time (s): 1200.22 CPU user time (s): 1199.92 CPU system time (s): 0.300954 CPU usage (%): 100.015 Max. virtual memory (Kb): 20656 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####