PB'05 competition: run trace

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided in four parts:
LAUNCHER DATA
These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provide some useful information on the computer.
SOLVER DATA
This is the output of the solver (stdout and stderr).
WATCHER DATA
This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to 1200 seconds. After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to 1230 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (900Mb).
Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
VERIFIER DATA
The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
General information on the benchmark

Name	normalized-opb/submitted/manquinho/ttp/normalized-circ8_3.opb
MD5SUM	2ea3853c4fb57dccc00d289069858df9
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	172
Optimality of the best value was proved	NO
Number of terms in the objective function	448
Biggest coefficient in the objective function	4
Number of bits for the biggest coefficient in the objective function	3
Sum of the numbers in the objective function	1024
Number of bits of the sum of numbers in the objective function	11
Biggest number in a constraint	24
Number of bits of the biggest number in a constraint	5
Biggest sum of numbers in a constraint	1024
Number of bits of the biggest sum of numbers	11
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1189.06
Number of variables	1344
Total number of constraints	16096
Number of constraints which are clauses	8208
Number of constraints which are cardinality constraints (but not clauses)	496
Number of constraints which are nor clauses,nor cardinality constraints	7392
Minimum length of a constraint	2
Maximum length of a constraint	28
Trace number 7867

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc26 THE 2005-04-17 16:43:22 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=2328 boxname=wulflinc26 idbench=259 idsolver=6 numberseed=0
MD5SUM SOLVER: 2225cba0d9b2c30e235f6cafc823d7ac  /oldhome/oroussel/solvers/PBS4
MD5SUM BENCH:  2ea3853c4fb57dccc00d289069858df9  /oldhome/oroussel/tmp/wulflinc26/normalized-circ8_3.opb
REAL COMMAND:  PBS4 /oldhome/oroussel/tmp/wulflinc26/normalized-circ8_3.opb
IDLAUNCH: 2328
/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:        782532 kB
Buffers:         37316 kB
Cached:         173116 kB
SwapCached:       2476 kB
Active:          78332 kB
Inactive:       137460 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        782280 kB
SwapTotal:     2097892 kB
SwapFree:      2095416 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6956 kB
Slab:            30520 kB
Committed_AS:    63616 kB
PageTables:        320 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-04-17 17:03:25 (client local time) WITH STATUS 0 IN 1200.57 SECONDS
stats: 2328 7 1200.57 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c PBS v4 by Bashar Al-Rawi & Fadi Aloul
c Solving /oldhome/oroussel/tmp/wulflinc26/normalized-circ8_3.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.94 0.90 2/54 19296
Raw data (stat): 19296 (runsolver) R 19295 22612 22611 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 512051041 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.0001 s]
Raw data (loadavg): 0.87 0.94 0.90 2/54 19296
Raw data (stat): 19296 (PBS4) R 19295 22612 22611 0 -1 0 1615 0 0 0 994 5 0 0 25 0 1 0 512051041 6897664 1508 4294967295 134512640 135450300 3221224640 3221223248 134537648 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1684 1508 231 231 0 1453 0
vsize: 6736
[startup+20.0002 s]
Raw data (loadavg): 0.89 0.94 0.90 2/54 19296
Raw data (stat): 19296 (PBS4) R 19295 22612 22611 0 -1 0 1929 0 0 0 1988 11 0 0 25 0 1 0 512051041 9396224 1822 4294967295 134512640 135450300 3221224640 3221222992 134533258 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2294 1822 231 231 0 2063 0
vsize: 9176
[startup+30.0005 s]
Raw data (loadavg): 0.90 0.94 0.90 2/54 19296
Raw data (stat): 19296 (PBS4) R 19295 22612 22611 0 -1 0 2190 0 0 0 2982 17 0 0 25 0 1 0 512051041 10055680 1986 4294967295 134512640 135450300 3221224640 3221223376 134538898 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2455 1986 231 231 0 2224 0
vsize: 9820
[startup+40.0002 s]
Raw data (loadavg): 0.92 0.94 0.90 2/54 19296
Raw data (stat): 19296 (PBS4) R 19295 22612 22611 0 -1 0 2248 0 0 0 3977 22 0 0 25 0 1 0 512051041 10326016 2044 4294967295 134512640 135450300 3221224640 3221223376 134538672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2521 2044 231 231 0 2290 0
vsize: 10084
[startup+50.0002 s]
Raw data (loadavg): 0.93 0.94 0.90 2/54 19296
Raw data (stat): 19296 (PBS4) R 19295 22612 22611 0 -1 0 2360 0 0 0 4973 26 0 0 25 0 1 0 512051041 10448896 2156 4294967295 134512640 135450300 3221224640 3221223376 134538188 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2551 2156 231 231 0 2320 0
vsize: 10204
[startup+60.0005 s]
Raw data (loadavg): 0.94 0.95 0.90 2/54 19296
Raw data (stat): 19296 (PBS4) R 19295 22612 22611 0 -1 0 2396 0 0 0 5969 31 0 0 25 0 1 0 512051041 10584064 2192 4294967295 134512640 135450300 3221224640 3221223376 134538018 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2584 2192 231 231 0 2353 0
vsize: 10336
[startup+70.0002 s]
Raw data (loadavg): 0.95 0.95 0.91 2/54 19296
Raw data (stat): 19296 (PBS4) R 19295 22612 22611 0 -1 0 2542 0 0 0 6964 36 0 0 25 0 1 0 512051041 10719232 2338 4294967295 134512640 135450300 3221224640 3221223248 134537761 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2617 2338 231 231 0 2386 0
vsize: 10468
[startup+80.0013 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 19296
Raw data (stat): 19296 (PBS4) R 19295 22612 22611 0 -1 0 2674 0 0 0 7958 42 0 0 25 0 1 0 512051041 11018240 2470 4294967295 134512640 135450300 3221224640 3221223376 134537999 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2690 2470 231 231 0 2459 0
vsize: 10760
[startup+90.0015 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 19296
Raw data (stat): 19296 (PBS4) R 19295 22612 22611 0 -1 0 2711 0 0 0 8955 45 0 0 25 0 1 0 512051041 11018240 2507 4294967295 134512640 135450300 3221224640 3221222992 134533209 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2690 2507 231 231 0 2459 0
vsize: 10760
[startup+100.001 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 19296
Raw data (stat): 19296 (PBS4) R 19295 22612 22611 0 -1 0 2750 0 0 0 9950 50 0 0 25 0 1 0 512051041 11153408 2546 4294967295 134512640 135450300 3221224640 3221222992 134533236 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2723 2546 231 231 0 2492 0
vsize: 10892
[startup+110.002 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 19296
Raw data (stat): 19296 (PBS4) R 19295 22612 22611 0 -1 0 2782 0 0 0 10946 55 0 0 25 0 1 0 512051041 11296768 2578 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2758 2578 231 231 0 2527 0
vsize: 11032
[startup+120.003 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 19296
Raw data (stat): 19296 (PBS4) R 19295 22612 22611 0 -1 0 3007 0 0 0 11940 60 0 0 25 0 1 0 512051041 12083200 2610 4294967295 134512640 135450300 3221224640 3221223376 134538242 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2950 2610 231 231 0 2719 0
vsize: 11800
[startup+130.003 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 19296
Raw data (stat): 19296 (PBS4) R 19295 22612 22611 0 -1 0 3048 0 0 0 12936 65 0 0 25 0 1 0 512051041 12357632 2651 4294967295 134512640 135450300 3221224640 3221223376 134538443 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3017 2651 231 231 0 2786 0
vsize: 12068
[startup+140.003 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 19296
Raw data (stat): 19296 (PBS4) R 19295 22612 22611 0 -1 0 3085 0 0 0 13931 70 0 0 25 0 1 0 512051041 12357632 2688 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3017 2688 231 231 0 2786 0
vsize: 12068
[startup+150.004 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 19296
Raw data (stat): 19296 (PBS4) R 19295 22612 22611 0 -1 0 3107 0 0 0 14927 74 0 0 25 0 1 0 512051041 12509184 2710 4294967295 134512640 135450300 3221224640 3221223376 134538640 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3054 2710 231 231 0 2823 0
vsize: 12216
[startup+160.003 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 19296
Raw data (stat): 19296 (PBS4) R 19295 22612 22611 0 -1 0 3134 0 0 0 15922 79 0 0 25 0 1 0 512051041 12509184 2737 4294967295 134512640 135450300 3221224640 3221223248 134537684 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3054 2737 231 231 0 2823 0
vsize: 12216
[startup+170.003 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 19296
Raw data (stat): 19296 (PBS4) R 19295 22612 22611 0 -1 0 3159 0 0 0 16918 83 0 0 25 0 1 0 512051041 12681216 2762 4294967295 134512640 135450300 3221224640 3221223376 134538461 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3096 2762 231 231 0 2865 0
vsize: 12384
[startup+180.004 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 19296
Raw data (stat): 19296 (PBS4) R 19295 22612 22611 0 -1 0 3186 0 0 0 17914 87 0 0 25 0 1 0 512051041 12681216 2789 4294967295 134512640 135450300 3221224640 3221223376 134538660 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3096 2789 231 231 0 2865 0
vsize: 12384
[startup+190.004 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 19296
Raw data (stat): 19296 (PBS4) R 19295 22612 22611 0 -1 0 3209 0 0 0 18911 90 0 0 25 0 1 0 512051041 12808192 2812 4294967295 134512640 135450300 3221224640 3221223376 134538466 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3127 2812 231 231 0 2896 0
vsize: 12508
[startup+200.004 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 19296
Raw data (stat): 19296 (PBS4) R 19295 22612 22611 0 -1 0 3223 0 0 0 19907 95 0 0 25 0 1 0 512051041 12808192 2826 4294967295 134512640 135450300 3221224640 3221223248 134537624 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3127 2826 231 231 0 2896 0
vsize: 12508
[startup+210.005 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 19296
Raw data (stat): 19296 (PBS4) R 19295 22612 22611 0 -1 0 3247 0 0 0 20903 99 0 0 25 0 1 0 512051041 12808192 2850 4294967295 134512640 135450300 3221224640 3221223376 134538483 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3127 2850 231 231 0 2896 0
vsize: 12508
[startup+220.005 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 19296
Raw data (stat): 19296 (PBS4) R 19295 22612 22611 0 -1 0 3269 0 0 0 21899 102 0 0 25 0 1 0 512051041 12808192 2872 4294967295 134512640 135450300 3221224640 3221223248 134537621 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3127 2872 231 231 0 2896 0
vsize: 12508
[startup+230.006 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 19296
Raw data (stat): 19296 (PBS4) R 19295 22612 22611 0 -1 0 3357 0 0 0 22894 108 0 0 25 0 1 0 512051041 17162240 2960 4294967295 134512640 135450300 3221224640 3221223376 134538084 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4190 2960 231 231 0 3959 0
vsize: 16760
[startup+240.007 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 19296
Raw data (stat): 19296 (PBS4) R 19295 22612 22611 0 -1 0 3395 0 0 0 23889 113 0 0 25 0 1 0 512051041 17162240 2998 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4190 2998 231 231 0 3959 0
vsize: 16760
[startup+250.006 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 19296
Raw data (stat): 19296 (PBS4) R 19295 22612 22611 0 -1 0 3413 0 0 0 24886 116 0 0 25 0 1 0 512051041 17289216 3016 4294967295 134512640 135450300 3221224640 3221223376 134537993 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4221 3016 231 231 0 3990 0
vsize: 16884
[startup+260.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19296
Raw data (stat): 19296 (PBS4) R 19295 22612 22611 0 -1 0 3434 0 0 0 25882 121 0 0 25 0 1 0 512051041 17289216 3037 4294967295 134512640 135450300 3221224640 3221223376 134538023 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4221 3037 231 231 0 3990 0
vsize: 16884
[startup+270.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19296
Raw data (stat): 19296 (PBS4) R 19295 22612 22611 0 -1 0 3454 0 0 0 26878 125 0 0 25 0 1 0 512051041 17289216 3057 4294967295 134512640 135450300 3221224640 3221223516 134529370 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4221 3057 231 231 0 3990 0
vsize: 16884
[startup+280.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19296
Raw data (stat): 19296 (PBS4) R 19295 22612 22611 0 -1 0 3468 0 0 0 27873 129 0 0 25 0 1 0 512051041 17424384 3071 4294967295 134512640 135450300 3221224640 3221223376 134537970 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4254 3071 231 231 0 4023 0
vsize: 17016
[startup+290.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19296
Raw data (stat): 19296 (PBS4) R 19295 22612 22611 0 -1 0 3506 0 0 0 28871 132 0 0 25 0 1 0 512051041 17424384 3109 4294967295 134512640 135450300 3221224640 3221223376 134538443 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4254 3109 231 231 0 4023 0
vsize: 17016
[startup+300.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19296
Raw data (stat): 19296 (PBS4) R 19295 22612 22611 0 -1 0 3534 0 0 0 29867 135 0 0 25 0 1 0 512051041 17424384 3137 4294967295 134512640 135450300 3221224640 3221223376 134538739 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4254 3137 231 231 0 4023 0
vsize: 17016
[startup+310.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19296
Raw data (stat): 19296 (PBS4) R 19295 22612 22611 0 -1 0 3561 0 0 0 30865 138 0 0 25 0 1 0 512051041 17666048 3164 4294967295 134512640 135450300 3221224640 3221223376 134537987 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4313 3164 231 231 0 4082 0
vsize: 17252
[startup+320.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19296
Raw data (stat): 19296 (PBS4) R 19295 22612 22611 0 -1 0 4015 0 0 0 31859 144 0 0 25 0 1 0 512051041 19238912 3233 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4697 3233 231 231 0 4466 0
vsize: 18788
[startup+330.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19296
Raw data (stat): 19296 (PBS4) R 19295 22612 22611 0 -1 0 4041 0 0 0 32855 147 0 0 25 0 1 0 512051041 19238912 3259 4294967295 134512640 135450300 3221224640 3221223376 134538677 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4697 3259 231 231 0 4466 0
vsize: 18788
[startup+340.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19296
Raw data (stat): 19296 (PBS4) R 19295 22612 22611 0 -1 0 4066 0 0 0 33852 151 0 0 25 0 1 0 512051041 19431424 3284 4294967295 134512640 135450300 3221224640 3221222992 134533236 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4744 3284 231 231 0 4513 0
vsize: 18976
[startup+350.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19296
Raw data (stat): 19296 (PBS4) R 19295 22612 22611 0 -1 0 4086 0 0 0 34848 155 0 0 25 0 1 0 512051041 19431424 3304 4294967295 134512640 135450300 3221224640 3221223024 134579461 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4744 3304 231 231 0 4513 0
vsize: 18976
[startup+360.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19296
Raw data (stat): 19296 (PBS4) R 19295 22612 22611 0 -1 0 4113 0 0 0 35842 161 0 0 25 0 1 0 512051041 19431424 3331 4294967295 134512640 135450300 3221224640 3221222992 134533185 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4744 3331 231 231 0 4513 0
vsize: 18976
[startup+370.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19296
Raw data (stat): 19296 (PBS4) R 19295 22612 22611 0 -1 0 4127 0 0 0 36839 164 0 0 25 0 1 0 512051041 19431424 3345 4294967295 134512640 135450300 3221224640 3221222992 134533303 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4744 3345 231 231 0 4513 0
vsize: 18976
[startup+380.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19296
Raw data (stat): 19296 (PBS4) R 19295 22612 22611 0 -1 0 4149 0 0 0 37835 168 0 0 25 0 1 0 512051041 19570688 3367 4294967295 134512640 135450300 3221224640 3221223360 134535486 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4778 3367 231 231 0 4547 0
vsize: 19112
[startup+390.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19296
Raw data (stat): 19296 (PBS4) R 19295 22612 22611 0 -1 0 4175 0 0 0 38831 172 0 0 25 0 1 0 512051041 19570688 3393 4294967295 134512640 135450300 3221224640 3221222992 134533209 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4778 3393 231 231 0 4547 0
vsize: 19112
[startup+400.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19296
Raw data (stat): 19296 (PBS4) R 19295 22612 22611 0 -1 0 4189 0 0 0 39826 177 0 0 25 0 1 0 512051041 19570688 3407 4294967295 134512640 135450300 3221224640 3221223376 134538242 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4778 3407 231 231 0 4547 0
vsize: 19112
[startup+410.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19296
Raw data (stat): 19296 (PBS4) R 19295 22612 22611 0 -1 0 4208 0 0 0 40822 181 0 0 25 0 1 0 512051041 19570688 3426 4294967295 134512640 135450300 3221224640 3221223376 134538809 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4778 3426 231 231 0 4547 0
vsize: 19112
[startup+420.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19296
Raw data (stat): 19296 (PBS4) R 19295 22612 22611 0 -1 0 4228 0 0 0 41817 186 0 0 25 0 1 0 512051041 19570688 3446 4294967295 134512640 135450300 3221224640 3221223376 134538809 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4778 3446 231 231 0 4547 0
vsize: 19112
[startup+430.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19296
Raw data (stat): 19296 (PBS4) R 19295 22612 22611 0 -1 0 4255 0 0 0 42813 190 0 0 25 0 1 0 512051041 19845120 3473 4294967295 134512640 135450300 3221224640 3221223376 134538443 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4845 3473 231 231 0 4614 0
vsize: 19380
[startup+440.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19296
Raw data (stat): 19296 (PBS4) R 19295 22612 22611 0 -1 0 4268 0 0 0 43809 194 0 0 25 0 1 0 512051041 19845120 3486 4294967295 134512640 135450300 3221224640 3221223376 134538451 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4845 3486 231 231 0 4614 0
vsize: 19380
[startup+450.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19296
Raw data (stat): 19296 (PBS4) R 19295 22612 22611 0 -1 0 4286 0 0 0 44805 198 0 0 25 0 1 0 512051041 19845120 3504 4294967295 134512640 135450300 3221224640 3221223376 134538443 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4845 3504 231 231 0 4614 0
vsize: 19380
[startup+460.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19296
Raw data (stat): 19296 (PBS4) R 19295 22612 22611 0 -1 0 4311 0 0 0 45801 202 0 0 25 0 1 0 512051041 19845120 3529 4294967295 134512640 135450300 3221224640 3221223376 134538454 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4845 3529 231 231 0 4614 0
vsize: 19380
[startup+470.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19296
Raw data (stat): 19296 (PBS4) R 19295 22612 22611 0 -1 0 4410 0 0 0 46798 205 0 0 25 0 1 0 512051041 20004864 3628 4294967295 134512640 135450300 3221224640 3221223360 134535457 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4884 3628 231 231 0 4653 0
vsize: 19536
[startup+480.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19296
Raw data (stat): 19296 (PBS4) R 19295 22612 22611 0 -1 0 4466 0 0 0 47794 209 0 0 25 0 1 0 512051041 20004864 3684 4294967295 134512640 135450300 3221224640 3221223376 134537987 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4884 3684 231 231 0 4653 0
vsize: 19536
[startup+490.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19296
Raw data (stat): 19296 (PBS4) R 19295 22612 22611 0 -1 0 4489 0 0 0 48791 212 0 0 25 0 1 0 512051041 20127744 3707 4294967295 134512640 135450300 3221224640 3221223376 134538677 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4914 3707 231 231 0 4683 0
vsize: 19656
[startup+500.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19296
Raw data (stat): 19296 (PBS4) R 19295 22612 22611 0 -1 0 4503 0 0 0 49786 217 0 0 25 0 1 0 512051041 20127744 3721 4294967295 134512640 135450300 3221224640 3221223376 134538680 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4914 3721 231 231 0 4683 0
vsize: 19656
[startup+510.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19296
Raw data (stat): 19296 (PBS4) R 19295 22612 22611 0 -1 0 4534 0 0 0 50782 221 0 0 25 0 1 0 512051041 20127744 3752 4294967295 134512640 135450300 3221224640 3221222992 134533209 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4914 3752 231 231 0 4683 0
vsize: 19656
[startup+520.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19296
Raw data (stat): 19296 (PBS4) R 19295 22612 22611 0 -1 0 4558 0 0 0 51778 225 0 0 25 0 1 0 512051041 20295680 3776 4294967295 134512640 135450300 3221224640 3221223376 134538443 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4955 3776 231 231 0 4724 0
vsize: 19820
[startup+530.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19296
Raw data (stat): 19296 (PBS4) R 19295 22612 22611 0 -1 0 4582 0 0 0 52775 228 0 0 25 0 1 0 512051041 20430848 3800 4294967295 134512640 135450300 3221224640 3221223376 134538672 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4988 3800 231 231 0 4757 0
vsize: 19952
[startup+540.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19296
Raw data (stat): 19296 (PBS4) R 19295 22612 22611 0 -1 0 4612 0 0 0 53772 231 0 0 25 0 1 0 512051041 20430848 3830 4294967295 134512640 135450300 3221224640 3221223376 134538672 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4988 3830 231 231 0 4757 0
vsize: 19952
[startup+550.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19296
Raw data (stat): 19296 (PBS4) R 19295 22612 22611 0 -1 0 4637 0 0 0 54770 234 0 0 25 0 1 0 512051041 20430848 3855 4294967295 134512640 135450300 3221224640 3221223376 134538443 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4988 3855 231 231 0 4757 0
vsize: 19952
[startup+560.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19296
Raw data (stat): 19296 (PBS4) R 19295 22612 22611 0 -1 0 4657 0 0 0 55765 239 0 0 25 0 1 0 512051041 20566016 3875 4294967295 134512640 135450300 3221224640 3221223376 134537993 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5021 3875 231 231 0 4790 0
vsize: 20084
[startup+570.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19296
Raw data (stat): 19296 (PBS4) R 19295 22612 22611 0 -1 0 4693 0 0 0 56762 242 0 0 25 0 1 0 512051041 20566016 3911 4294967295 134512640 135450300 3221224640 3221223376 134538443 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5021 3911 231 231 0 4790 0
vsize: 20084
[startup+580.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19296
Raw data (stat): 19296 (PBS4) R 19295 22612 22611 0 -1 0 4726 0 0 0 57758 246 0 0 25 0 1 0 512051041 20746240 3944 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5065 3944 231 231 0 4834 0
vsize: 20260
[startup+590.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19296
Raw data (stat): 19296 (PBS4) R 19295 22612 22611 0 -1 0 4756 0 0 0 58754 250 0 0 25 0 1 0 512051041 20869120 3974 4294967295 134512640 135450300 3221224640 3221223376 134538446 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5095 3974 231 231 0 4864 0
vsize: 20380
[startup+600.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19296
Raw data (stat): 19296 (PBS4) R 19295 22612 22611 0 -1 0 4825 0 0 0 59752 253 0 0 25 0 1 0 512051041 20869120 4043 4294967295 134512640 135450300 3221224640 3221223376 134538672 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5095 4043 231 231 0 4864 0
vsize: 20380
[startup+610.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19296
Raw data (stat): 19296 (PBS4) R 19295 22612 22611 0 -1 0 4843 0 0 0 60748 257 0 0 25 0 1 0 512051041 20869120 4061 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5095 4061 231 231 0 4864 0
vsize: 20380
[startup+620.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19296
Raw data (stat): 19296 (PBS4) R 19295 22612 22611 0 -1 0 4870 0 0 0 61744 261 0 0 25 0 1 0 512051041 21057536 4088 4294967295 134512640 135450300 3221224640 3221223376 134537993 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5141 4088 231 231 0 4910 0
vsize: 20564
[startup+630.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19296
Raw data (stat): 19296 (PBS4) R 19295 22612 22611 0 -1 0 4893 0 0 0 62740 265 0 0 25 0 1 0 512051041 21057536 4111 4294967295 134512640 135450300 3221224640 3221223376 134538797 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5141 4111 231 231 0 4910 0
vsize: 20564
[startup+640.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19296
Raw data (stat): 19296 (PBS4) R 19295 22612 22611 0 -1 0 4910 0 0 0 63736 270 0 0 25 0 1 0 512051041 21057536 4128 4294967295 134512640 135450300 3221224640 3221223376 134538443 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5141 4128 231 231 0 4910 0
vsize: 20564
[startup+650.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19296
Raw data (stat): 19296 (PBS4) R 19295 22612 22611 0 -1 0 4923 0 0 0 64732 273 0 0 25 0 1 0 512051041 21057536 4141 4294967295 134512640 135450300 3221224640 3221222992 134533173 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5141 4141 231 231 0 4910 0
vsize: 20564
[startup+660.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19296
Raw data (stat): 19296 (PBS4) R 19295 22612 22611 0 -1 0 4937 0 0 0 65730 276 0 0 25 0 1 0 512051041 21057536 4155 4294967295 134512640 135450300 3221224640 3221223376 134538677 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5141 4155 231 231 0 4910 0
vsize: 20564
[startup+670.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19296
Raw data (stat): 19296 (PBS4) R 19295 22612 22611 0 -1 0 4966 0 0 0 66727 279 0 0 25 0 1 0 512051041 21057536 4184 4294967295 134512640 135450300 3221224640 3221222992 134533196 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5141 4184 231 231 0 4910 0
vsize: 20564
[startup+680.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19296
Raw data (stat): 19296 (PBS4) R 19295 22612 22611 0 -1 0 4989 0 0 0 67723 283 0 0 25 0 1 0 512051041 21258240 4207 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5190 4207 231 231 0 4959 0
vsize: 20760
[startup+690.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19296
Raw data (stat): 19296 (PBS4) R 19295 22612 22611 0 -1 0 5005 0 0 0 68719 287 0 0 25 0 1 0 512051041 21258240 4223 4294967295 134512640 135450300 3221224640 3221223376 134538443 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5190 4223 231 231 0 4959 0
vsize: 20760
[startup+700.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19296
Raw data (stat): 19296 (PBS4) R 19295 22612 22611 0 -1 0 5026 0 0 0 69715 291 0 0 25 0 1 0 512051041 21258240 4244 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5190 4244 231 231 0 4959 0
vsize: 20760
[startup+710.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19296
Raw data (stat): 19296 (PBS4) R 19295 22612 22611 0 -1 0 5044 0 0 0 70713 294 0 0 25 0 1 0 512051041 21258240 4262 4294967295 134512640 135450300 3221224640 3221223376 134537976 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5190 4262 231 231 0 4959 0
vsize: 20760
[startup+720.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19296
Raw data (stat): 19296 (PBS4) R 19295 22612 22611 0 -1 0 5057 0 0 0 71709 298 0 0 25 0 1 0 512051041 21258240 4275 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5190 4275 231 231 0 4959 0
vsize: 20760
[startup+730.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19296
Raw data (stat): 19296 (PBS4) R 19295 22612 22611 0 -1 0 5070 0 0 0 72705 302 0 0 25 0 1 0 512051041 21471232 4288 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5242 4288 231 231 0 5011 0
vsize: 20968
[startup+740.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19296
Raw data (stat): 19296 (PBS4) R 19295 22612 22611 0 -1 0 5090 0 0 0 73702 305 0 0 25 0 1 0 512051041 21598208 4308 4294967295 134512640 135450300 3221224640 3221223248 134537654 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5273 4308 231 231 0 5042 0
vsize: 21092
[startup+750.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19296
Raw data (stat): 19296 (PBS4) R 19295 22612 22611 0 -1 0 5107 0 0 0 74699 308 0 0 25 0 1 0 512051041 21598208 4325 4294967295 134512640 135450300 3221224640 3221223376 134538451 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5273 4325 231 231 0 5042 0
vsize: 21092
[startup+760.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19296
Raw data (stat): 19296 (PBS4) R 19295 22612 22611 0 -1 0 5126 0 0 0 75695 313 0 0 25 0 1 0 512051041 21598208 4344 4294967295 134512640 135450300 3221224640 3221223376 134538222 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5273 4344 231 231 0 5042 0
vsize: 21092
[startup+770.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19296
Raw data (stat): 19296 (PBS4) R 19295 22612 22611 0 -1 0 5911 0 0 0 76689 319 0 0 25 0 1 0 512051041 24743936 4360 4294967295 134512640 135450300 3221224640 3221223376 134537987 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6041 4360 231 231 0 5810 0
vsize: 24164
[startup+780.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19296
Raw data (stat): 19296 (PBS4) R 19295 22612 22611 0 -1 0 5930 0 0 0 77686 322 0 0 25 0 1 0 512051041 24743936 4379 4294967295 134512640 135450300 3221224640 3221223376 134537993 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6041 4379 231 231 0 5810 0
vsize: 24164
[startup+790.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19296
Raw data (stat): 19296 (PBS4) R 19295 22612 22611 0 -1 0 5944 0 0 0 78682 326 0 0 25 0 1 0 512051041 24743936 4393 4294967295 134512640 135450300 3221224640 3221223376 134538677 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6041 4393 231 231 0 5810 0
vsize: 24164
[startup+800.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19296
Raw data (stat): 19296 (PBS4) R 19295 22612 22611 0 -1 0 5966 0 0 0 79679 330 0 0 25 0 1 0 512051041 24969216 4415 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6096 4415 231 231 0 5865 0
vsize: 24384
[startup+810.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19296
Raw data (stat): 19296 (PBS4) R 19295 22612 22611 0 -1 0 5982 0 0 0 80676 333 0 0 25 0 1 0 512051041 24969216 4431 4294967295 134512640 135450300 3221224640 3221223376 134538515 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6096 4431 231 231 0 5865 0
vsize: 24384
[startup+820.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19296
Raw data (stat): 19296 (PBS4) R 19295 22612 22611 0 -1 0 6008 0 0 0 81672 337 0 0 25 0 1 0 512051041 24969216 4457 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6096 4457 231 231 0 5865 0
vsize: 24384
[startup+830.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19296
Raw data (stat): 19296 (PBS4) R 19295 22612 22611 0 -1 0 6025 0 0 0 82667 342 0 0 25 0 1 0 512051041 24969216 4474 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6096 4474 231 231 0 5865 0
vsize: 24384
[startup+840.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19296
Raw data (stat): 19296 (PBS4) R 19295 22612 22611 0 -1 0 6041 0 0 0 83663 346 0 0 25 0 1 0 512051041 24969216 4490 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6096 4490 231 231 0 5865 0
vsize: 24384
[startup+850.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19296
Raw data (stat): 19296 (PBS4) R 19295 22612 22611 0 -1 0 6055 0 0 0 84660 350 0 0 25 0 1 0 512051041 24969216 4504 4294967295 134512640 135450300 3221224640 3221223376 134538672 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6096 4504 231 231 0 5865 0
vsize: 24384
[startup+860.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19296
Raw data (stat): 19296 (PBS4) R 19295 22612 22611 0 -1 0 6074 0 0 0 85656 354 0 0 25 0 1 0 512051041 25210880 4523 4294967295 134512640 135450300 3221224640 3221223376 134538654 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6155 4523 231 231 0 5924 0
vsize: 24620
[startup+870.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19296
Raw data (stat): 19296 (PBS4) R 19295 22612 22611 0 -1 0 6095 0 0 0 86653 357 0 0 25 0 1 0 512051041 25210880 4544 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6155 4544 231 231 0 5924 0
vsize: 24620
[startup+880.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19296
Raw data (stat): 19296 (PBS4) R 19295 22612 22611 0 -1 0 6116 0 0 0 87649 361 0 0 25 0 1 0 512051041 25210880 4565 4294967295 134512640 135450300 3221224640 3221223376 134538672 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6155 4565 231 231 0 5924 0
vsize: 24620
[startup+890.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19296
Raw data (stat): 19296 (PBS4) R 19295 22612 22611 0 -1 0 6130 0 0 0 88645 365 0 0 25 0 1 0 512051041 25210880 4579 4294967295 134512640 135450300 3221224640 3221222992 134533185 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6155 4579 231 231 0 5924 0
vsize: 24620
[startup+900.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19296
Raw data (stat): 19296 (PBS4) R 19295 22612 22611 0 -1 0 6141 0 0 0 89641 369 0 0 25 0 1 0 512051041 25210880 4590 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6155 4590 231 231 0 5924 0
vsize: 24620
[startup+910.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19296
Raw data (stat): 19296 (PBS4) R 19295 22612 22611 0 -1 0 6164 0 0 0 90638 373 0 0 25 0 1 0 512051041 25210880 4613 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6155 4613 231 231 0 5924 0
vsize: 24620
[startup+920.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19296
Raw data (stat): 19296 (PBS4) R 19295 22612 22611 0 -1 0 6178 0 0 0 91635 375 0 0 25 0 1 0 512051041 25210880 4627 4294967295 134512640 135450300 3221224640 3221223376 134538727 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6155 4627 231 231 0 5924 0
vsize: 24620
[startup+930.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19296
Raw data (stat): 19296 (PBS4) R 19295 22612 22611 0 -1 0 6195 0 0 0 92631 380 0 0 25 0 1 0 512051041 25210880 4644 4294967295 134512640 135450300 3221224640 3221223376 134538443 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6155 4644 231 231 0 5924 0
vsize: 24620
[startup+940.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19296
Raw data (stat): 19296 (PBS4) R 19295 22612 22611 0 -1 0 6214 0 0 0 93628 383 0 0 25 0 1 0 512051041 25468928 4663 4294967295 134512640 135450300 3221224640 3221222992 134533275 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6218 4663 231 231 0 5987 0
vsize: 24872
[startup+950.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19296
Raw data (stat): 19296 (PBS4) R 19295 22612 22611 0 -1 0 6237 0 0 0 94625 386 0 0 25 0 1 0 512051041 25468928 4686 4294967295 134512640 135450300 3221224640 3221223376 134538461 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6218 4686 231 231 0 5987 0
vsize: 24872
[startup+960.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19296
Raw data (stat): 19296 (PBS4) R 19295 22612 22611 0 -1 0 6253 0 0 0 95621 391 0 0 25 0 1 0 512051041 25468928 4702 4294967295 134512640 135450300 3221224640 3221223376 134538245 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6218 4702 231 231 0 5987 0
vsize: 24872
[startup+970.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19296
Raw data (stat): 19296 (PBS4) R 19295 22612 22611 0 -1 0 6267 0 0 0 96618 393 0 0 25 0 1 0 512051041 25595904 4716 4294967295 134512640 135450300 3221224640 3221223376 134537970 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6249 4716 231 231 0 6018 0
vsize: 24996
[startup+980.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19296
Raw data (stat): 19296 (PBS4) R 19295 22612 22611 0 -1 0 6290 0 0 0 97615 397 0 0 25 0 1 0 512051041 25595904 4739 4294967295 134512640 135450300 3221224640 3221223376 134538461 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6249 4739 231 231 0 6018 0
vsize: 24996
[startup+990.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19296
Raw data (stat): 19296 (PBS4) R 19295 22612 22611 0 -1 0 6306 0 0 0 98611 401 0 0 25 0 1 0 512051041 25595904 4755 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6249 4755 231 231 0 6018 0
vsize: 24996
[startup+1000.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19296
Raw data (stat): 19296 (PBS4) R 19295 22612 22611 0 -1 0 6328 0 0 0 99608 404 0 0 25 0 1 0 512051041 25595904 4777 4294967295 134512640 135450300 3221224640 3221223248 134537633 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6249 4777 231 231 0 6018 0
vsize: 24996
[startup+1010.41 s]
Raw data (loadavg): 1.07 0.99 0.91 3/57 19337
Raw data (stat): 19296 (PBS4) R 19295 22612 22611 0 -1 0 6343 0 0 0 100644 408 0 0 25 0 1 0 512051041 25866240 4792 4294967295 134512640 135450300 3221224640 3221223520 134580115 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6315 4792 231 231 0 6084 0
vsize: 25260
[startup+1020.41 s]
Raw data (loadavg): 1.30 1.04 0.93 2/54 19349
Raw data (stat): 19296 (PBS4) R 19295 22612 22611 0 -1 0 6357 0 0 0 101640 412 0 0 25 0 1 0 512051041 25866240 4806 4294967295 134512640 135450300 3221224640 3221223456 134546487 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6315 4806 231 231 0 6084 0
vsize: 25260
[startup+1030.41 s]
Raw data (loadavg): 1.25 1.03 0.93 2/54 19349
Raw data (stat): 19296 (PBS4) R 19295 22612 22611 0 -1 0 6376 0 0 0 102637 415 0 0 25 0 1 0 512051041 25866240 4825 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6315 4825 231 231 0 6084 0
vsize: 25260
[startup+1040.41 s]
Raw data (loadavg): 1.21 1.03 0.93 2/54 19349
Raw data (stat): 19296 (PBS4) R 19295 22612 22611 0 -1 0 6397 0 0 0 103634 419 0 0 25 0 1 0 512051041 25866240 4846 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6315 4846 231 231 0 6084 0
vsize: 25260
[startup+1050.41 s]
Raw data (loadavg): 1.18 1.03 0.93 2/54 19349
Raw data (stat): 19296 (PBS4) R 19295 22612 22611 0 -1 0 6408 0 0 0 104631 422 0 0 25 0 1 0 512051041 25866240 4857 4294967295 134512640 135450300 3221224640 3221223376 134537970 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6315 4857 231 231 0 6084 0
vsize: 25260
[startup+1060.41 s]
Raw data (loadavg): 1.15 1.03 0.93 2/54 19349
Raw data (stat): 19296 (PBS4) R 19295 22612 22611 0 -1 0 6429 0 0 0 105627 425 0 0 25 0 1 0 512051041 25866240 4878 4294967295 134512640 135450300 3221224640 3221223376 134538730 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6315 4878 231 231 0 6084 0
vsize: 25260
[startup+1070.41 s]
Raw data (loadavg): 1.13 1.03 0.93 2/54 19349
Raw data (stat): 19296 (PBS4) R 19295 22612 22611 0 -1 0 6447 0 0 0 106624 428 0 0 25 0 1 0 512051041 25866240 4896 4294967295 134512640 135450300 3221224640 3221223376 134538680 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6315 4896 231 231 0 6084 0
vsize: 25260
[startup+1080.41 s]
Raw data (loadavg): 1.11 1.03 0.93 2/54 19349
Raw data (stat): 19296 (PBS4) R 19295 22612 22611 0 -1 0 6464 0 0 0 107621 432 0 0 25 0 1 0 512051041 25866240 4913 4294967295 134512640 135450300 3221224640 3221222992 134533303 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6315 4913 231 231 0 6084 0
vsize: 25260
[startup+1090.41 s]
Raw data (loadavg): 1.09 1.03 0.93 2/54 19351
Raw data (stat): 19296 (PBS4) R 19295 22612 22611 0 -1 0 6481 0 0 0 108617 436 0 0 25 0 1 0 512051041 25866240 4930 4294967295 134512640 135450300 3221224640 3221223376 134538672 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6315 4930 231 231 0 6084 0
vsize: 25260
[startup+1100.41 s]
Raw data (loadavg): 1.08 1.02 0.93 2/54 19351
Raw data (stat): 19296 (PBS4) R 19295 22612 22611 0 -1 0 6494 0 0 0 109614 439 0 0 25 0 1 0 512051041 25866240 4943 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6315 4943 231 231 0 6084 0
vsize: 25260
[startup+1110.41 s]
Raw data (loadavg): 1.06 1.02 0.93 2/54 19351
Raw data (stat): 19296 (PBS4) R 19295 22612 22611 0 -1 0 6510 0 0 0 110611 443 0 0 25 0 1 0 512051041 26157056 4959 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6386 4959 231 231 0 6155 0
vsize: 25544
[startup+1120.41 s]
Raw data (loadavg): 1.05 1.02 0.93 2/54 19351
Raw data (stat): 19296 (PBS4) R 19295 22612 22611 0 -1 0 6540 0 0 0 111607 447 0 0 25 0 1 0 512051041 26157056 4989 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6386 4989 231 231 0 6155 0
vsize: 25544
[startup+1130.41 s]
Raw data (loadavg): 1.04 1.02 0.93 2/54 19351
Raw data (stat): 19296 (PBS4) R 19295 22612 22611 0 -1 0 6563 0 0 0 112604 450 0 0 25 0 1 0 512051041 26284032 5012 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6417 5012 231 231 0 6186 0
vsize: 25668
[startup+1140.41 s]
Raw data (loadavg): 1.04 1.02 0.93 2/54 19351
Raw data (stat): 19296 (PBS4) R 19295 22612 22611 0 -1 0 6577 0 0 0 113601 453 0 0 25 0 1 0 512051041 26284032 5026 4294967295 134512640 135450300 3221224640 3221223376 134537970 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6417 5026 231 231 0 6186 0
vsize: 25668
[startup+1150.41 s]
Raw data (loadavg): 1.03 1.02 0.93 2/54 19351
Raw data (stat): 19296 (PBS4) R 19295 22612 22611 0 -1 0 6613 0 0 0 114599 456 0 0 25 0 1 0 512051041 26284032 5062 4294967295 134512640 135450300 3221224640 3221223376 134537970 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6417 5062 231 231 0 6186 0
vsize: 25668
[startup+1160.41 s]
Raw data (loadavg): 1.03 1.02 0.93 2/54 19351
Raw data (stat): 19296 (PBS4) R 19295 22612 22611 0 -1 0 6629 0 0 0 115595 459 0 0 25 0 1 0 512051041 26284032 5078 4294967295 134512640 135450300 3221224640 3221223376 134538672 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6417 5078 231 231 0 6186 0
vsize: 25668
[startup+1170.41 s]
Raw data (loadavg): 1.02 1.02 0.93 2/54 19351
Raw data (stat): 19296 (PBS4) R 19295 22612 22611 0 -1 0 6653 0 0 0 116592 463 0 0 25 0 1 0 512051041 26284032 5102 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6417 5102 231 231 0 6186 0
vsize: 25668
[startup+1180.41 s]
Raw data (loadavg): 1.02 1.02 0.93 2/54 19351
Raw data (stat): 19296 (PBS4) R 19295 22612 22611 0 -1 0 6678 0 0 0 117589 466 0 0 25 0 1 0 512051041 26284032 5127 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6417 5127 231 231 0 6186 0
vsize: 25668
[startup+1190.41 s]
Raw data (loadavg): 1.01 1.02 0.93 2/54 19351
Raw data (stat): 19296 (PBS4) R 19295 22612 22611 0 -1 0 6700 0 0 0 118585 470 0 0 25 0 1 0 512051041 26591232 5149 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6492 5149 231 231 0 6261 0
vsize: 25968
[startup+1200.41 s]
Raw data (loadavg): 1.01 1.02 0.93 2/54 19351
Raw data (stat): 19296 (PBS4) R 19295 22612 22611 0 -1 0 6724 0 0 0 119582 473 0 0 25 0 1 0 512051041 26591232 5173 4294967295 134512640 135450300 3221224640 3221223376 134538242 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6492 5173 231 231 0 6261 0
vsize: 25968
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.42 s]
Raw data (loadavg): 1.01 1.02 0.93 1/54 19351
Raw data (stat): 19296 (PBS4) Z 19295 22612 22611 0 -1 1036 6724 0 0 0 119582 474 0 0 25 0 1 0 512051041 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.42
CPU time (s): 1200.57
CPU user time (s): 1195.82
CPU system time (s): 4.74928
CPU usage (%): 100.012
Max. virtual memory (Kb): 25968
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####