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/synthesis-ptl-cmos-circuits/normalized-mux.opb
MD5SUM	fa7153262db792d01bec14f5a651af5b
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	872
Optimality of the best value was proved	NO
Number of terms in the objective function	232
Biggest coefficient in the objective function	61
Number of bits for the biggest coefficient in the objective function	6
Sum of the numbers in the objective function	9597
Number of bits of the sum of numbers in the objective function	14
Biggest number in a constraint	61
Number of bits of the biggest number in a constraint	6
Biggest sum of numbers in a constraint	9597
Number of bits of the biggest sum of numbers	14
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	0.332949
Number of variables	232
Total number of constraints	527
Number of constraints which are clauses	527
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	27
Trace number 7862

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc15 THE 2005-04-17 16:42:50 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=2283 boxname=wulflinc15 idbench=254 idsolver=6 numberseed=0
MD5SUM SOLVER: 2225cba0d9b2c30e235f6cafc823d7ac  /oldhome/oroussel/solvers/PBS4
MD5SUM BENCH:  fa7153262db792d01bec14f5a651af5b  /oldhome/oroussel/tmp/wulflinc15/normalized-mux.opb
REAL COMMAND:  PBS4 /oldhome/oroussel/tmp/wulflinc15/normalized-mux.opb
IDLAUNCH: 2283
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 450.999
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	: 890.88

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 450.999
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:        835680 kB
Buffers:         38128 kB
Cached:         137752 kB
SwapCached:       2144 kB
Active:          89296 kB
Inactive:        91540 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        835428 kB
SwapTotal:     2097136 kB
SwapFree:      2094992 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6928 kB
Slab:            12476 kB
Committed_AS:    63484 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-17 17:02:53 (client local time) WITH STATUS 0 IN 1200.33 SECONDS
stats: 2283 7 1200.33 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c PBS v4 by Bashar Al-Rawi & Fadi Aloul
c Solving /oldhome/oroussel/tmp/wulflinc15/normalized-mux.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.95 0.90 2/54 24842
Raw data (stat): 24842 (runsolver) R 24841 29151 29150 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 453818399 1052672 99 4294967295 134512640 135381576 3221224544 3221219792 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.001 s]
Raw data (loadavg): 0.87 0.95 0.90 2/54 24842
Raw data (stat): 24842 (PBS4) R 24841 29151 29150 0 -1 0 823 0 0 0 994 5 0 0 25 0 1 0 453818399 5894144 819 4294967295 134512640 135450300 3221224640 3221223360 134535784 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1439 819 231 231 0 1208 0
vsize: 5756
[startup+20.0015 s]
Raw data (loadavg): 0.89 0.96 0.91 2/54 24842
Raw data (stat): 24842 (PBS4) R 24841 29151 29150 0 -1 0 1092 0 0 0 1991 7 0 0 25 0 1 0 453818399 6225920 1039 4294967295 134512640 135450300 3221224640 3221223376 134537993 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1520 1039 231 231 0 1289 0
vsize: 6080
[startup+30.0016 s]
Raw data (loadavg): 0.91 0.96 0.91 2/54 24842
Raw data (stat): 24842 (PBS4) R 24841 29151 29150 0 -1 0 1287 0 0 0 2989 10 0 0 25 0 1 0 453818399 6369280 1234 4294967295 134512640 135450300 3221224640 3221223360 134535531 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1555 1234 231 231 0 1324 0
vsize: 6220
[startup+40.0025 s]
Raw data (loadavg): 0.92 0.96 0.91 2/54 24842
Raw data (stat): 24842 (PBS4) R 24841 29151 29150 0 -1 0 1560 0 0 0 3988 11 0 0 25 0 1 0 453818399 6897664 1410 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1684 1410 231 231 0 1453 0
vsize: 6736
[startup+50.0029 s]
Raw data (loadavg): 0.93 0.96 0.91 2/54 24842
Raw data (stat): 24842 (PBS4) R 24841 29151 29150 0 -1 0 1712 0 0 0 4986 13 0 0 25 0 1 0 453818399 11227136 1562 4294967295 134512640 135450300 3221224640 3221223376 134538457 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2741 1562 231 231 0 2510 0
vsize: 10964
[startup+60.0031 s]
Raw data (loadavg): 0.94 0.96 0.91 2/54 24842
Raw data (stat): 24842 (PBS4) R 24841 29151 29150 0 -1 0 1994 0 0 0 5984 15 0 0 25 0 1 0 453818399 11366400 1844 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2775 1844 231 231 0 2544 0
vsize: 11100
[startup+70.0039 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 24842
Raw data (stat): 24842 (PBS4) R 24841 29151 29150 0 -1 0 2148 0 0 0 6984 16 0 0 25 0 1 0 453818399 11366400 1998 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2775 1998 231 231 0 2544 0
vsize: 11100
[startup+80.0034 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 24842
Raw data (stat): 24842 (PBS4) R 24841 29151 29150 0 -1 0 2187 0 0 0 7982 17 0 0 25 0 1 0 453818399 11509760 2037 4294967295 134512640 135450300 3221224640 3221223456 134546487 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2810 2037 231 231 0 2579 0
vsize: 11240
[startup+90.0036 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 24842
Raw data (stat): 24842 (PBS4) R 24841 29151 29150 0 -1 0 2432 0 0 0 8982 18 0 0 25 0 1 0 453818399 12435456 2089 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3036 2089 231 231 0 2805 0
vsize: 12144
[startup+100.003 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 24842
Raw data (stat): 24842 (PBS4) R 24841 29151 29150 0 -1 0 2611 0 0 0 9981 19 0 0 25 0 1 0 453818399 12591104 2268 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3074 2268 231 231 0 2843 0
vsize: 12296
[startup+110.004 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 24842
Raw data (stat): 24842 (PBS4) R 24841 29151 29150 0 -1 0 2650 0 0 0 10980 20 0 0 25 0 1 0 453818399 12591104 2307 4294967295 134512640 135450300 3221224640 3221223360 134535789 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3074 2307 231 231 0 2843 0
vsize: 12296
[startup+120.004 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 24842
Raw data (stat): 24842 (PBS4) R 24841 29151 29150 0 -1 0 2682 0 0 0 11979 21 0 0 25 0 1 0 453818399 12730368 2339 4294967295 134512640 135450300 3221224640 3221223376 134538421 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3108 2339 231 231 0 2877 0
vsize: 12432
[startup+130.004 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 24842
Raw data (stat): 24842 (PBS4) R 24841 29151 29150 0 -1 0 2724 0 0 0 12978 23 0 0 25 0 1 0 453818399 12869632 2381 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3142 2381 231 231 0 2911 0
vsize: 12568
[startup+140.004 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 24842
Raw data (stat): 24842 (PBS4) R 24841 29151 29150 0 -1 0 2764 0 0 0 13977 24 0 0 25 0 1 0 453818399 12869632 2421 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3142 2421 231 231 0 2911 0
vsize: 12568
[startup+150.005 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 24842
Raw data (stat): 24842 (PBS4) R 24841 29151 29150 0 -1 0 2800 0 0 0 14976 25 0 0 25 0 1 0 453818399 13025280 2457 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3180 2457 231 231 0 2949 0
vsize: 12720
[startup+160.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24842
Raw data (stat): 24842 (PBS4) R 24841 29151 29150 0 -1 0 2831 0 0 0 15975 26 0 0 25 0 1 0 453818399 13164544 2488 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3214 2488 231 231 0 2983 0
vsize: 12856
[startup+170.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24842
Raw data (stat): 24842 (PBS4) R 24841 29151 29150 0 -1 0 2855 0 0 0 16975 27 0 0 25 0 1 0 453818399 13164544 2512 4294967295 134512640 135450300 3221224640 3221223472 134549362 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3214 2512 231 231 0 2983 0
vsize: 12856
[startup+180.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24842
Raw data (stat): 24842 (PBS4) R 24841 29151 29150 0 -1 0 2892 0 0 0 17974 27 0 0 25 0 1 0 453818399 13299712 2549 4294967295 134512640 135450300 3221224640 3221223376 134538443 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3247 2549 231 231 0 3016 0
vsize: 12988
[startup+190.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24842
Raw data (stat): 24842 (PBS4) R 24841 29151 29150 0 -1 0 2924 0 0 0 18973 28 0 0 25 0 1 0 453818399 13299712 2581 4294967295 134512640 135450300 3221224640 3221223360 134535724 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3247 2582 231 231 0 3016 0
vsize: 12988
[startup+200.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24842
Raw data (stat): 24842 (PBS4) R 24841 29151 29150 0 -1 0 2959 0 0 0 19972 30 0 0 25 0 1 0 453818399 13438976 2616 4294967295 134512640 135450300 3221224640 3221223472 134549289 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3281 2616 231 231 0 3050 0
vsize: 13124
[startup+210.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24842
Raw data (stat): 24842 (PBS4) R 24841 29151 29150 0 -1 0 2990 0 0 0 20972 30 0 0 25 0 1 0 453818399 13438976 2647 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3281 2647 231 231 0 3050 0
vsize: 13124
[startup+220.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24842
Raw data (stat): 24842 (PBS4) R 24841 29151 29150 0 -1 0 3010 0 0 0 21971 31 0 0 25 0 1 0 453818399 13438976 2667 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3281 2667 231 231 0 3050 0
vsize: 13124
[startup+230.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24842
Raw data (stat): 24842 (PBS4) R 24841 29151 29150 0 -1 0 3414 0 0 0 22969 33 0 0 25 0 1 0 453818399 15208448 2686 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3713 2686 231 231 0 3482 0
vsize: 14852
[startup+240.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24842
Raw data (stat): 24842 (PBS4) R 24841 29151 29150 0 -1 0 3444 0 0 0 23969 34 0 0 25 0 1 0 453818399 15208448 2716 4294967295 134512640 135450300 3221224640 3221223360 134535675 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3713 2716 231 231 0 3482 0
vsize: 14852
[startup+250.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24842
Raw data (stat): 24842 (PBS4) R 24841 29151 29150 0 -1 0 3562 0 0 0 24968 35 0 0 25 0 1 0 453818399 15208448 2834 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3713 2834 231 231 0 3482 0
vsize: 14852
[startup+260.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24842
Raw data (stat): 24842 (PBS4) R 24841 29151 29150 0 -1 0 3589 0 0 0 25967 36 0 0 25 0 1 0 453818399 15347712 2861 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3747 2861 231 231 0 3516 0
vsize: 14988
[startup+270.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24842
Raw data (stat): 24842 (PBS4) R 24841 29151 29150 0 -1 0 3705 0 0 0 26966 37 0 0 25 0 1 0 453818399 15347712 2977 4294967295 134512640 135450300 3221224640 3221223360 134535764 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3747 2977 231 231 0 3516 0
vsize: 14988
[startup+280.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24842
Raw data (stat): 24842 (PBS4) R 24841 29151 29150 0 -1 0 3736 0 0 0 27966 38 0 0 25 0 1 0 453818399 15495168 3008 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3783 3008 231 231 0 3552 0
vsize: 15132
[startup+290.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24842
Raw data (stat): 24842 (PBS4) R 24841 29151 29150 0 -1 0 3760 0 0 0 28965 39 0 0 25 0 1 0 453818399 15495168 3032 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3783 3032 231 231 0 3552 0
vsize: 15132
[startup+300.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24842
Raw data (stat): 24842 (PBS4) R 24841 29151 29150 0 -1 0 3828 0 0 0 29964 40 0 0 25 0 1 0 453818399 15634432 3100 4294967295 134512640 135450300 3221224640 3221223472 134549264 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3817 3100 231 231 0 3586 0
vsize: 15268
[startup+310.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24842
Raw data (stat): 24842 (PBS4) R 24841 29151 29150 0 -1 0 3985 0 0 0 30963 41 0 0 25 0 1 0 453818399 15634432 3257 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3817 3257 231 231 0 3586 0
vsize: 15268
[startup+320.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24842
Raw data (stat): 24842 (PBS4) R 24841 29151 29150 0 -1 0 4091 0 0 0 31962 42 0 0 25 0 1 0 453818399 15634432 3363 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3817 3363 231 231 0 3586 0
vsize: 15268
[startup+330.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24842
Raw data (stat): 24842 (PBS4) R 24841 29151 29150 0 -1 0 4111 0 0 0 32961 43 0 0 25 0 1 0 453818399 15634432 3383 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3817 3383 231 231 0 3586 0
vsize: 15268
[startup+340.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24842
Raw data (stat): 24842 (PBS4) R 24841 29151 29150 0 -1 0 4157 0 0 0 33960 44 0 0 25 0 1 0 453818399 15863808 3429 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3873 3429 231 231 0 3642 0
vsize: 15492
[startup+350.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24842
Raw data (stat): 24842 (PBS4) R 24841 29151 29150 0 -1 0 4182 0 0 0 34960 45 0 0 25 0 1 0 453818399 16023552 3454 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3912 3454 231 231 0 3681 0
vsize: 15648
[startup+360.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24842
Raw data (stat): 24842 (PBS4) R 24841 29151 29150 0 -1 0 4214 0 0 0 35959 46 0 0 25 0 1 0 453818399 16023552 3486 4294967295 134512640 135450300 3221224640 3221223472 134549264 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3912 3486 231 231 0 3681 0
vsize: 15648
[startup+370.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24842
Raw data (stat): 24842 (PBS4) R 24841 29151 29150 0 -1 0 4240 0 0 0 36958 47 0 0 25 0 1 0 453818399 16162816 3512 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3946 3512 231 231 0 3715 0
vsize: 15784
[startup+380.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24842
Raw data (stat): 24842 (PBS4) R 24841 29151 29150 0 -1 0 4262 0 0 0 37957 48 0 0 25 0 1 0 453818399 16162816 3534 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3946 3534 231 231 0 3715 0
vsize: 15784
[startup+390.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24842
Raw data (stat): 24842 (PBS4) R 24841 29151 29150 0 -1 0 4287 0 0 0 38957 48 0 0 25 0 1 0 453818399 16162816 3559 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3946 3559 231 231 0 3715 0
vsize: 15784
[startup+400.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24842
Raw data (stat): 24842 (PBS4) R 24841 29151 29150 0 -1 0 4308 0 0 0 39957 49 0 0 25 0 1 0 453818399 16318464 3580 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3984 3580 231 231 0 3753 0
vsize: 15936
[startup+410.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24842
Raw data (stat): 24842 (PBS4) R 24841 29151 29150 0 -1 0 4330 0 0 0 40956 50 0 0 25 0 1 0 453818399 16318464 3602 4294967295 134512640 135450300 3221224640 3221223456 134537263 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3984 3602 231 231 0 3753 0
vsize: 15936
[startup+420.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24842
Raw data (stat): 24842 (PBS4) R 24841 29151 29150 0 -1 0 4349 0 0 0 41956 50 0 0 25 0 1 0 453818399 16318464 3621 4294967295 134512640 135450300 3221224640 3221223376 134538443 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3984 3621 231 231 0 3753 0
vsize: 15936
[startup+430.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24842
Raw data (stat): 24842 (PBS4) R 24841 29151 29150 0 -1 0 4378 0 0 0 42955 51 0 0 25 0 1 0 453818399 16453632 3650 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4017 3650 231 231 0 3786 0
vsize: 16068
[startup+440.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24842
Raw data (stat): 24842 (PBS4) R 24841 29151 29150 0 -1 0 4398 0 0 0 43955 52 0 0 25 0 1 0 453818399 16453632 3670 4294967295 134512640 135450300 3221224640 3221223472 134549289 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4017 3670 231 231 0 3786 0
vsize: 16068
[startup+450.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24842
Raw data (stat): 24842 (PBS4) R 24841 29151 29150 0 -1 0 4416 0 0 0 44954 53 0 0 25 0 1 0 453818399 16453632 3688 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4017 3688 231 231 0 3786 0
vsize: 16068
[startup+460.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24842
Raw data (stat): 24842 (PBS4) R 24841 29151 29150 0 -1 0 4441 0 0 0 45954 53 0 0 25 0 1 0 453818399 16592896 3713 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4051 3713 231 231 0 3820 0
vsize: 16204
[startup+470.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24842
Raw data (stat): 24842 (PBS4) R 24841 29151 29150 0 -1 0 4464 0 0 0 46953 54 0 0 25 0 1 0 453818399 16592896 3736 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4051 3736 231 231 0 3820 0
vsize: 16204
[startup+480.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24842
Raw data (stat): 24842 (PBS4) R 24841 29151 29150 0 -1 0 4490 0 0 0 47952 55 0 0 25 0 1 0 453818399 16592896 3762 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4051 3762 231 231 0 3820 0
vsize: 16204
[startup+490.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24842
Raw data (stat): 24842 (PBS4) R 24841 29151 29150 0 -1 0 4514 0 0 0 48952 56 0 0 25 0 1 0 453818399 16740352 3786 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4087 3786 231 231 0 3856 0
vsize: 16348
[startup+500.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24842
Raw data (stat): 24842 (PBS4) R 24841 29151 29150 0 -1 0 4528 0 0 0 49952 56 0 0 25 0 1 0 453818399 16740352 3800 4294967295 134512640 135450300 3221224640 3221223456 134536480 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4087 3800 231 231 0 3856 0
vsize: 16348
[startup+510.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24842
Raw data (stat): 24842 (PBS4) R 24841 29151 29150 0 -1 0 4554 0 0 0 50951 57 0 0 25 0 1 0 453818399 16740352 3826 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4087 3826 231 231 0 3856 0
vsize: 16348
[startup+520.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24842
Raw data (stat): 24842 (PBS4) R 24841 29151 29150 0 -1 0 4573 0 0 0 51951 57 0 0 25 0 1 0 453818399 16740352 3845 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4087 3845 231 231 0 3856 0
vsize: 16348
[startup+530.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24842
Raw data (stat): 24842 (PBS4) R 24841 29151 29150 0 -1 0 4600 0 0 0 52950 58 0 0 25 0 1 0 453818399 16896000 3872 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4125 3872 231 231 0 3894 0
vsize: 16500
[startup+540.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24842
Raw data (stat): 24842 (PBS4) R 24841 29151 29150 0 -1 0 4620 0 0 0 53950 59 0 0 25 0 1 0 453818399 16896000 3892 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4125 3892 231 231 0 3894 0
vsize: 16500
[startup+550.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24842
Raw data (stat): 24842 (PBS4) R 24841 29151 29150 0 -1 0 4645 0 0 0 54949 60 0 0 25 0 1 0 453818399 16896000 3917 4294967295 134512640 135450300 3221224640 3221223472 134549357 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4125 3917 231 231 0 3894 0
vsize: 16500
[startup+560.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24842
Raw data (stat): 24842 (PBS4) R 24841 29151 29150 0 -1 0 4666 0 0 0 55948 61 0 0 25 0 1 0 453818399 17203200 3938 4294967295 134512640 135450300 3221224640 3221223360 134535789 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4200 3938 231 231 0 3969 0
vsize: 16800
[startup+570.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24842
Raw data (stat): 24842 (PBS4) R 24841 29151 29150 0 -1 0 4684 0 0 0 56948 62 0 0 25 0 1 0 453818399 17203200 3956 4294967295 134512640 135450300 3221224640 3221223472 134549289 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4200 3956 231 231 0 3969 0
vsize: 16800
[startup+580.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24842
Raw data (stat): 24842 (PBS4) R 24841 29151 29150 0 -1 0 4705 0 0 0 57947 62 0 0 25 0 1 0 453818399 17203200 3977 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4200 3977 231 231 0 3969 0
vsize: 16800
[startup+590.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24842
Raw data (stat): 24842 (PBS4) R 24841 29151 29150 0 -1 0 4731 0 0 0 58947 63 0 0 25 0 1 0 453818399 17203200 4003 4294967295 134512640 135450300 3221224640 3221223360 134535950 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4200 4003 231 231 0 3969 0
vsize: 16800
[startup+600.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24842
Raw data (stat): 24842 (PBS4) R 24841 29151 29150 0 -1 0 5527 0 0 0 59945 65 0 0 25 0 1 0 453818399 20525056 4030 4294967295 134512640 135450300 3221224640 3221223472 134549357 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5011 4030 231 231 0 4780 0
vsize: 20044
[startup+610.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24842
Raw data (stat): 24842 (PBS4) R 24841 29151 29150 0 -1 0 5545 0 0 0 60944 66 0 0 25 0 1 0 453818399 20525056 4048 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5011 4048 231 231 0 4780 0
vsize: 20044
[startup+620.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24842
Raw data (stat): 24842 (PBS4) R 24841 29151 29150 0 -1 0 5566 0 0 0 61943 67 0 0 25 0 1 0 453818399 20525056 4069 4294967295 134512640 135450300 3221224640 3221223472 134549357 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5011 4069 231 231 0 4780 0
vsize: 20044
[startup+630.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24842
Raw data (stat): 24842 (PBS4) R 24841 29151 29150 0 -1 0 5592 0 0 0 62943 68 0 0 25 0 1 0 453818399 20525056 4095 4294967295 134512640 135450300 3221224640 3221223472 134549264 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5011 4095 231 231 0 4780 0
vsize: 20044
[startup+640.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24842
Raw data (stat): 24842 (PBS4) R 24841 29151 29150 0 -1 0 5603 0 0 0 63942 69 0 0 25 0 1 0 453818399 20525056 4106 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5011 4106 231 231 0 4780 0
vsize: 20044
[startup+650.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24842
Raw data (stat): 24842 (PBS4) R 24841 29151 29150 0 -1 0 5617 0 0 0 64941 70 0 0 25 0 1 0 453818399 20525056 4120 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5011 4120 231 231 0 4780 0
vsize: 20044
[startup+660.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24842
Raw data (stat): 24842 (PBS4) R 24841 29151 29150 0 -1 0 5633 0 0 0 65940 71 0 0 25 0 1 0 453818399 20525056 4136 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5011 4136 231 231 0 4780 0
vsize: 20044
[startup+670.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24842
Raw data (stat): 24842 (PBS4) R 24841 29151 29150 0 -1 0 5658 0 0 0 66940 72 0 0 25 0 1 0 453818399 20713472 4161 4294967295 134512640 135450300 3221224640 3221223472 134549362 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5057 4161 231 231 0 4826 0
vsize: 20228
[startup+680.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24842
Raw data (stat): 24842 (PBS4) R 24841 29151 29150 0 -1 0 5691 0 0 0 67939 73 0 0 25 0 1 0 453818399 20713472 4194 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5057 4194 231 231 0 4826 0
vsize: 20228
[startup+690.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24842
Raw data (stat): 24842 (PBS4) R 24841 29151 29150 0 -1 0 5711 0 0 0 68938 74 0 0 25 0 1 0 453818399 20713472 4214 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5057 4214 231 231 0 4826 0
vsize: 20228
[startup+700.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24842
Raw data (stat): 24842 (PBS4) R 24841 29151 29150 0 -1 0 5738 0 0 0 69938 74 0 0 25 0 1 0 453818399 20914176 4241 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5106 4241 231 231 0 4875 0
vsize: 20424
[startup+710.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24842
Raw data (stat): 24842 (PBS4) R 24841 29151 29150 0 -1 0 5766 0 0 0 70938 75 0 0 25 0 1 0 453818399 21053440 4269 4294967295 134512640 135450300 3221224640 3221223360 134535789 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5140 4269 231 231 0 4909 0
vsize: 20560
[startup+720.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24842
Raw data (stat): 24842 (PBS4) R 24841 29151 29150 0 -1 0 5792 0 0 0 71937 75 0 0 25 0 1 0 453818399 21053440 4295 4294967295 134512640 135450300 3221224640 3221223248 134537613 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5140 4295 231 231 0 4909 0
vsize: 20560
[startup+730.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24842
Raw data (stat): 24842 (PBS4) R 24841 29151 29150 0 -1 0 5813 0 0 0 72937 76 0 0 25 0 1 0 453818399 21053440 4316 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5140 4316 231 231 0 4909 0
vsize: 20560
[startup+740.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24842
Raw data (stat): 24842 (PBS4) R 24841 29151 29150 0 -1 0 5822 0 0 0 73937 76 0 0 25 0 1 0 453818399 21053440 4325 4294967295 134512640 135450300 3221224640 3221223472 134549289 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5140 4325 231 231 0 4909 0
vsize: 20560
[startup+750.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24842
Raw data (stat): 24842 (PBS4) R 24841 29151 29150 0 -1 0 5846 0 0 0 74936 77 0 0 25 0 1 0 453818399 21053440 4349 4294967295 134512640 135450300 3221224640 3221223472 134549289 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5140 4349 231 231 0 4909 0
vsize: 20560
[startup+760.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24842
Raw data (stat): 24842 (PBS4) R 24841 29151 29150 0 -1 0 5867 0 0 0 75935 78 0 0 25 0 1 0 453818399 21266432 4370 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5192 4370 231 231 0 4961 0
vsize: 20768
[startup+770.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24842
Raw data (stat): 24842 (PBS4) R 24841 29151 29150 0 -1 0 5896 0 0 0 76935 79 0 0 25 0 1 0 453818399 21266432 4399 4294967295 134512640 135450300 3221224640 3221223376 134538475 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5192 4399 231 231 0 4961 0
vsize: 20768
[startup+780.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24842
Raw data (stat): 24842 (PBS4) R 24841 29151 29150 0 -1 0 5912 0 0 0 77934 80 0 0 25 0 1 0 453818399 21266432 4415 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5192 4415 231 231 0 4961 0
vsize: 20768
[startup+790.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24842
Raw data (stat): 24842 (PBS4) R 24841 29151 29150 0 -1 0 5932 0 0 0 78934 81 0 0 25 0 1 0 453818399 21266432 4435 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5192 4435 231 231 0 4961 0
vsize: 20768
[startup+800.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24842
Raw data (stat): 24842 (PBS4) R 24841 29151 29150 0 -1 0 5951 0 0 0 79933 81 0 0 25 0 1 0 453818399 21266432 4454 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5192 4454 231 231 0 4961 0
vsize: 20768
[startup+810.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24842
Raw data (stat): 24842 (PBS4) R 24841 29151 29150 0 -1 0 5975 0 0 0 80933 82 0 0 25 0 1 0 453818399 21491712 4478 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5247 4478 231 231 0 5016 0
vsize: 20988
[startup+820.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24842
Raw data (stat): 24842 (PBS4) R 24841 29151 29150 0 -1 0 5993 0 0 0 81932 83 0 0 25 0 1 0 453818399 21491712 4496 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5247 4496 231 231 0 5016 0
vsize: 20988
[startup+830.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24842
Raw data (stat): 24842 (PBS4) R 24841 29151 29150 0 -1 0 6014 0 0 0 82931 84 0 0 25 0 1 0 453818399 21491712 4517 4294967295 134512640 135450300 3221224640 3221223360 134535782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5247 4517 231 231 0 5016 0
vsize: 20988
[startup+840.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24842
Raw data (stat): 24842 (PBS4) R 24841 29151 29150 0 -1 0 6042 0 0 0 83931 84 0 0 25 0 1 0 453818399 21630976 4545 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5281 4545 231 231 0 5050 0
vsize: 21124
[startup+850.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24842
Raw data (stat): 24842 (PBS4) R 24841 29151 29150 0 -1 0 6065 0 0 0 84930 86 0 0 25 0 1 0 453818399 21630976 4568 4294967295 134512640 135450300 3221224640 3221223472 134549357 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5281 4568 231 231 0 5050 0
vsize: 21124
[startup+860.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24842
Raw data (stat): 24842 (PBS4) R 24841 29151 29150 0 -1 0 6084 0 0 0 85929 86 0 0 25 0 1 0 453818399 21630976 4587 4294967295 134512640 135450300 3221224640 3221223360 134535746 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5281 4587 231 231 0 5050 0
vsize: 21124
[startup+870.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24842
Raw data (stat): 24842 (PBS4) R 24841 29151 29150 0 -1 0 6098 0 0 0 86928 87 0 0 25 0 1 0 453818399 21872640 4601 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5340 4601 231 231 0 5109 0
vsize: 21360
[startup+880.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24842
Raw data (stat): 24842 (PBS4) R 24841 29151 29150 0 -1 0 6113 0 0 0 87928 88 0 0 25 0 1 0 453818399 21872640 4616 4294967295 134512640 135450300 3221224640 3221223472 134549289 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5340 4616 231 231 0 5109 0
vsize: 21360
[startup+890.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24842
Raw data (stat): 24842 (PBS4) R 24841 29151 29150 0 -1 0 6135 0 0 0 88927 89 0 0 25 0 1 0 453818399 21872640 4638 4294967295 134512640 135450300 3221224640 3221223360 134535764 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5340 4638 231 231 0 5109 0
vsize: 21360
[startup+900.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24842
Raw data (stat): 24842 (PBS4) R 24841 29151 29150 0 -1 0 6156 0 0 0 89927 89 0 0 25 0 1 0 453818399 21872640 4659 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5340 4659 231 231 0 5109 0
vsize: 21360
[startup+910.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24842
Raw data (stat): 24842 (PBS4) R 24841 29151 29150 0 -1 0 6180 0 0 0 90926 90 0 0 25 0 1 0 453818399 21872640 4683 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5340 4683 231 231 0 5109 0
vsize: 21360
[startup+920.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24842
Raw data (stat): 24842 (PBS4) R 24841 29151 29150 0 -1 0 6187 0 0 0 91926 91 0 0 25 0 1 0 453818399 21872640 4690 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5340 4690 231 231 0 5109 0
vsize: 21360
[startup+930.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24842
Raw data (stat): 24842 (PBS4) R 24841 29151 29150 0 -1 0 6208 0 0 0 92926 91 0 0 25 0 1 0 453818399 21872640 4711 4294967295 134512640 135450300 3221224640 3221223456 134537317 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5340 4711 231 231 0 5109 0
vsize: 21360
[startup+940.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24842
Raw data (stat): 24842 (PBS4) R 24841 29151 29150 0 -1 0 6223 0 0 0 93925 92 0 0 25 0 1 0 453818399 22126592 4726 4294967295 134512640 135450300 3221224640 3221223456 134536422 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5402 4726 231 231 0 5171 0
vsize: 21608
[startup+950.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24842
Raw data (stat): 24842 (PBS4) R 24841 29151 29150 0 -1 0 6238 0 0 0 94925 92 0 0 25 0 1 0 453818399 22126592 4741 4294967295 134512640 135450300 3221224640 3221223360 134535675 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5402 4741 231 231 0 5171 0
vsize: 21608
[startup+960.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24842
Raw data (stat): 24842 (PBS4) R 24841 29151 29150 0 -1 0 6260 0 0 0 95925 92 0 0 25 0 1 0 453818399 22126592 4763 4294967295 134512640 135450300 3221224640 3221223360 134535703 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5402 4763 231 231 0 5171 0
vsize: 21608
[startup+970.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24842
Raw data (stat): 24842 (PBS4) R 24841 29151 29150 0 -1 0 6277 0 0 0 96925 93 0 0 25 0 1 0 453818399 22126592 4780 4294967295 134512640 135450300 3221224640 3221223472 134549264 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5402 4780 231 231 0 5171 0
vsize: 21608
[startup+980.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24842
Raw data (stat): 24842 (PBS4) R 24841 29151 29150 0 -1 0 6300 0 0 0 97924 93 0 0 25 0 1 0 453818399 22126592 4803 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5402 4803 231 231 0 5171 0
vsize: 21608
[startup+990.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24842
Raw data (stat): 24842 (PBS4) R 24841 29151 29150 0 -1 0 6319 0 0 0 98924 94 0 0 25 0 1 0 453818399 22126592 4822 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5402 4822 231 231 0 5171 0
vsize: 21608
[startup+1000.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24842
Raw data (stat): 24842 (PBS4) R 24841 29151 29150 0 -1 0 6341 0 0 0 99923 96 0 0 25 0 1 0 453818399 22396928 4844 4294967295 134512640 135450300 3221224640 3221223472 134549264 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5468 4844 231 231 0 5237 0
vsize: 21872
[startup+1010.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24842
Raw data (stat): 24842 (PBS4) R 24841 29151 29150 0 -1 0 6363 0 0 0 100922 96 0 0 25 0 1 0 453818399 22396928 4866 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5468 4866 231 231 0 5237 0
vsize: 21872
[startup+1020.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24842
Raw data (stat): 24842 (PBS4) R 24841 29151 29150 0 -1 0 6382 0 0 0 101922 97 0 0 25 0 1 0 453818399 22396928 4885 4294967295 134512640 135450300 3221224640 3221223472 134549276 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5468 4885 231 231 0 5237 0
vsize: 21872
[startup+1030.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24842
Raw data (stat): 24842 (PBS4) R 24841 29151 29150 0 -1 0 6399 0 0 0 102921 98 0 0 25 0 1 0 453818399 22396928 4902 4294967295 134512640 135450300 3221224640 3221223360 134535950 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5468 4902 231 231 0 5237 0
vsize: 21872
[startup+1040.04 s]
Raw data (loadavg): 1.07 0.99 0.91 3/57 24879
Raw data (stat): 24842 (PBS4) R 24841 29151 29150 0 -1 0 6419 0 0 0 103921 98 0 0 25 0 1 0 453818399 22396928 4922 4294967295 134512640 135450300 3221224640 3221223376 134538788 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5468 4922 231 231 0 5237 0
vsize: 21872
[startup+1050.12 s]
Raw data (loadavg): 1.14 1.00 0.92 2/56 24885
Raw data (stat): 24842 (PBS4) R 24841 29151 29150 0 -1 0 6438 0 0 0 104929 99 0 0 25 0 1 0 453818399 22396928 4941 4294967295 134512640 135450300 3221224640 3221223472 134549328 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5468 4941 231 231 0 5237 0
vsize: 21872
[startup+1060.12 s]
Raw data (loadavg): 1.19 1.02 0.93 2/54 24895
Raw data (stat): 24842 (PBS4) R 24841 29151 29150 0 -1 0 6452 0 0 0 105928 100 0 0 25 0 1 0 453818399 22396928 4955 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5468 4955 231 231 0 5237 0
vsize: 21872
[startup+1070.12 s]
Raw data (loadavg): 1.16 1.02 0.93 2/54 24895
Raw data (stat): 24842 (PBS4) R 24841 29151 29150 0 -1 0 6470 0 0 0 106927 101 0 0 25 0 1 0 453818399 22683648 4973 4294967295 134512640 135450300 3221224640 3221223472 134549314 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5538 4973 231 231 0 5307 0
vsize: 22152
[startup+1080.12 s]
Raw data (loadavg): 1.13 1.02 0.93 2/54 24895
Raw data (stat): 24842 (PBS4) R 24841 29151 29150 0 -1 0 6485 0 0 0 107927 101 0 0 25 0 1 0 453818399 22683648 4988 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5538 4988 231 231 0 5307 0
vsize: 22152
[startup+1090.12 s]
Raw data (loadavg): 1.11 1.02 0.93 2/54 24895
Raw data (stat): 24842 (PBS4) R 24841 29151 29150 0 -1 0 6499 0 0 0 108926 102 0 0 25 0 1 0 453818399 22683648 5002 4294967295 134512640 135450300 3221224640 3221223504 134539350 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5538 5002 231 231 0 5307 0
vsize: 22152
[startup+1100.12 s]
Raw data (loadavg): 1.10 1.02 0.93 2/54 24895
Raw data (stat): 24842 (PBS4) R 24841 29151 29150 0 -1 0 6516 0 0 0 109925 103 0 0 25 0 1 0 453818399 22683648 5019 4294967295 134512640 135450300 3221224640 3221223360 134535806 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5538 5019 231 231 0 5307 0
vsize: 22152
[startup+1110.12 s]
Raw data (loadavg): 1.08 1.01 0.93 2/54 24895
Raw data (stat): 24842 (PBS4) R 24841 29151 29150 0 -1 0 6540 0 0 0 110925 104 0 0 25 0 1 0 453818399 22683648 5043 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5538 5043 231 231 0 5307 0
vsize: 22152
[startup+1120.12 s]
Raw data (loadavg): 1.07 1.01 0.93 2/54 24895
Raw data (stat): 24842 (PBS4) R 24841 29151 29150 0 -1 0 6552 0 0 0 111924 105 0 0 25 0 1 0 453818399 22683648 5055 4294967295 134512640 135450300 3221224640 3221223248 134537613 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5538 5055 231 231 0 5307 0
vsize: 22152
[startup+1130.12 s]
Raw data (loadavg): 1.06 1.01 0.93 2/54 24897
Raw data (stat): 24842 (PBS4) R 24841 29151 29150 0 -1 0 6569 0 0 0 112924 106 0 0 25 0 1 0 453818399 22831104 5072 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5574 5072 231 231 0 5343 0
vsize: 22296
[startup+1140.12 s]
Raw data (loadavg): 1.05 1.01 0.93 2/54 24897
Raw data (stat): 24842 (PBS4) R 24841 29151 29150 0 -1 0 6591 0 0 0 113923 107 0 0 25 0 1 0 453818399 22831104 5094 4294967295 134512640 135450300 3221224640 3221223472 134549362 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5574 5094 231 231 0 5343 0
vsize: 22296
[startup+1150.12 s]
Raw data (loadavg): 1.04 1.01 0.93 2/54 24897
Raw data (stat): 24842 (PBS4) R 24841 29151 29150 0 -1 0 6607 0 0 0 114922 107 0 0 25 0 1 0 453818399 22831104 5110 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5574 5110 231 231 0 5343 0
vsize: 22296
[startup+1160.12 s]
Raw data (loadavg): 1.03 1.01 0.93 2/54 24897
Raw data (stat): 24842 (PBS4) R 24841 29151 29150 0 -1 0 6626 0 0 0 115922 108 0 0 25 0 1 0 453818399 22831104 5129 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5574 5129 231 231 0 5343 0
vsize: 22296
[startup+1170.12 s]
Raw data (loadavg): 1.03 1.01 0.93 2/54 24897
Raw data (stat): 24842 (PBS4) R 24841 29151 29150 0 -1 0 6640 0 0 0 116922 108 0 0 25 0 1 0 453818399 23134208 5143 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5648 5143 231 231 0 5417 0
vsize: 22592
[startup+1180.12 s]
Raw data (loadavg): 1.02 1.01 0.93 2/54 24897
Raw data (stat): 24842 (PBS4) R 24841 29151 29150 0 -1 0 6650 0 0 0 117921 109 0 0 25 0 1 0 453818399 23134208 5153 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5648 5153 231 231 0 5417 0
vsize: 22592
[startup+1190.12 s]
Raw data (loadavg): 1.02 1.01 0.93 2/54 24897
Raw data (stat): 24842 (PBS4) R 24841 29151 29150 0 -1 0 6674 0 0 0 118920 110 0 0 25 0 1 0 453818399 23134208 5177 4294967295 134512640 135450300 3221224640 3221223360 134535789 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5648 5177 231 231 0 5417 0
vsize: 22592
[startup+1200.12 s]
Raw data (loadavg): 1.02 1.01 0.93 2/54 24897
Raw data (stat): 24842 (PBS4) R 24841 29151 29150 0 -1 0 6695 0 0 0 119920 111 0 0 25 0 1 0 453818399 23134208 5198 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5648 5198 231 231 0 5417 0
vsize: 22592
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.14 s]
Raw data (loadavg): 1.02 1.01 0.93 1/54 24897
Raw data (stat): 24842 (PBS4) Z 24841 29151 29150 0 -1 1036 6695 0 0 0 119920 112 0 0 25 0 1 0 453818399 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.14
CPU time (s): 1200.33
CPU user time (s): 1199.2
CPU system time (s): 1.12383
CPU usage (%): 100.016
Max. virtual memory (Kb): 22592
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####