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-cm42a.opb
MD5SUM	62b75258091a8b1382fa8b1c633d9511
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	694
Optimality of the best value was proved	NO
Number of terms in the objective function	99
Biggest coefficient in the objective function	60
Number of bits for the biggest coefficient in the objective function	6
Sum of the numbers in the objective function	4087
Number of bits of the sum of numbers in the objective function	12
Biggest number in a constraint	60
Number of bits of the biggest number in a constraint	6
Biggest sum of numbers in a constraint	4087
Number of bits of the biggest sum of numbers	12
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	0.168973
Number of variables	99
Total number of constraints	185
Number of constraints which are clauses	185
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	20
Trace number 7858

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc5 THE 2005-04-17 16:39:24 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=2265 boxname=wulflinc5 idbench=252 idsolver=6 numberseed=0
MD5SUM SOLVER: 2225cba0d9b2c30e235f6cafc823d7ac  /oldhome/oroussel/solvers/PBS4
MD5SUM BENCH:  62b75258091a8b1382fa8b1c633d9511  /oldhome/oroussel/tmp/wulflinc5/normalized-cm42a.opb
REAL COMMAND:  PBS4 /oldhome/oroussel/tmp/wulflinc5/normalized-cm42a.opb
IDLAUNCH: 2265
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.007
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	: 2
cpu MHz		: 451.007
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:        855120 kB
Buffers:         36724 kB
Cached:         119920 kB
SwapCached:       2272 kB
Active:          66828 kB
Inactive:        94968 kB
HighTotal:      131008 kB
HighFree:         7140 kB
LowTotal:       903652 kB
LowFree:        847980 kB
SwapTotal:     2097136 kB
SwapFree:      2094864 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6928 kB
Slab:            12200 kB
Committed_AS:    63484 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-17 16:59:26 (client local time) WITH STATUS 0 IN 1200.26 SECONDS
stats: 2265 7 1200.26 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c PBS v4 by Bashar Al-Rawi & Fadi Aloul
c Solving /oldhome/oroussel/tmp/wulflinc5/normalized-cm42a.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.97 0.92 2/54 15371
Raw data (stat): 15371 (runsolver) R 15370 24215 24214 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 453801270 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.0005 s]
Raw data (loadavg): 0.87 0.97 0.92 2/54 15371
Raw data (stat): 15371 (PBS4) R 15370 24215 24214 0 -1 0 798 0 0 0 992 6 0 0 25 0 1 0 453801270 4100096 745 4294967295 134512640 135450300 3221224640 3221222992 134533087 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1001 745 231 231 0 770 0
vsize: 4004
[startup+20.0016 s]
Raw data (loadavg): 0.89 0.97 0.92 2/54 15371
Raw data (stat): 15371 (PBS4) R 15370 24215 24214 0 -1 0 1161 0 0 0 1988 10 0 0 25 0 1 0 453801270 6725632 1011 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1642 1011 231 231 0 1411 0
vsize: 6568
[startup+30.0022 s]
Raw data (loadavg): 0.91 0.97 0.92 2/54 15371
Raw data (stat): 15371 (PBS4) R 15370 24215 24214 0 -1 0 1343 0 0 0 2986 12 0 0 25 0 1 0 453801270 6873088 1193 4294967295 134512640 135450300 3221224640 3221223360 134535789 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1678 1193 231 231 0 1447 0
vsize: 6712
[startup+40.0017 s]
Raw data (loadavg): 0.92 0.97 0.92 2/54 15371
Raw data (stat): 15371 (PBS4) R 15370 24215 24214 0 -1 0 1399 0 0 0 3985 13 0 0 25 0 1 0 453801270 7012352 1249 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1712 1249 231 231 0 1481 0
vsize: 6848
[startup+50.0017 s]
Raw data (loadavg): 0.93 0.97 0.92 2/54 15371
Raw data (stat): 15371 (PBS4) R 15370 24215 24214 0 -1 0 1541 0 0 0 4984 14 0 0 25 0 1 0 453801270 7155712 1391 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1747 1391 231 231 0 1516 0
vsize: 6988
[startup+60.0025 s]
Raw data (loadavg): 0.94 0.97 0.92 2/54 15371
Raw data (stat): 15371 (PBS4) R 15370 24215 24214 0 -1 0 1604 0 0 0 5984 15 0 0 25 0 1 0 453801270 7299072 1454 4294967295 134512640 135450300 3221224640 3221223472 134549289 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1782 1454 231 231 0 1551 0
vsize: 7128
[startup+70.0029 s]
Raw data (loadavg): 0.95 0.97 0.92 2/54 15371
Raw data (stat): 15371 (PBS4) R 15370 24215 24214 0 -1 0 1707 0 0 0 6983 16 0 0 25 0 1 0 453801270 7299072 1557 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1782 1557 231 231 0 1551 0
vsize: 7128
[startup+80.004 s]
Raw data (loadavg): 0.96 0.97 0.92 2/54 15371
Raw data (stat): 15371 (PBS4) R 15370 24215 24214 0 -1 0 1801 0 0 0 7982 18 0 0 25 0 1 0 453801270 11493376 1651 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2806 1651 231 231 0 2575 0
vsize: 11224
[startup+90.0037 s]
Raw data (loadavg): 0.96 0.97 0.92 2/54 15371
Raw data (stat): 15371 (PBS4) R 15370 24215 24214 0 -1 0 2129 0 0 0 8980 20 0 0 25 0 1 0 453801270 12562432 1786 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3067 1786 231 231 0 2836 0
vsize: 12268
[startup+100.003 s]
Raw data (loadavg): 0.97 0.97 0.92 2/54 15371
Raw data (stat): 15371 (PBS4) R 15370 24215 24214 0 -1 0 2187 0 0 0 9979 21 0 0 25 0 1 0 453801270 12562432 1844 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3067 1844 231 231 0 2836 0
vsize: 12268
[startup+110.004 s]
Raw data (loadavg): 0.97 0.97 0.92 2/54 15371
Raw data (stat): 15371 (PBS4) R 15370 24215 24214 0 -1 0 2241 0 0 0 10978 22 0 0 25 0 1 0 453801270 12726272 1898 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3107 1898 231 231 0 2876 0
vsize: 12428
[startup+120.005 s]
Raw data (loadavg): 0.98 0.97 0.92 2/54 15371
Raw data (stat): 15371 (PBS4) R 15370 24215 24214 0 -1 0 2286 0 0 0 11978 22 0 0 25 0 1 0 453801270 12726272 1943 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3107 1943 231 231 0 2876 0
vsize: 12428
[startup+130.005 s]
Raw data (loadavg): 0.98 0.97 0.92 2/54 15371
Raw data (stat): 15371 (PBS4) R 15370 24215 24214 0 -1 0 2387 0 0 0 12977 23 0 0 25 0 1 0 453801270 12890112 2044 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3147 2044 231 231 0 2916 0
vsize: 12588
[startup+140.005 s]
Raw data (loadavg): 0.98 0.97 0.92 2/54 15371
Raw data (stat): 15371 (PBS4) R 15370 24215 24214 0 -1 0 2461 0 0 0 13976 24 0 0 25 0 1 0 453801270 13025280 2118 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3180 2118 231 231 0 2949 0
vsize: 12720
[startup+150.005 s]
Raw data (loadavg): 0.98 0.97 0.92 2/54 15371
Raw data (stat): 15371 (PBS4) R 15370 24215 24214 0 -1 0 2555 0 0 0 14976 25 0 0 25 0 1 0 453801270 13025280 2212 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3180 2212 231 231 0 2949 0
vsize: 12720
[startup+160.006 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15371
Raw data (stat): 15371 (PBS4) R 15370 24215 24214 0 -1 0 2589 0 0 0 15976 25 0 0 25 0 1 0 453801270 13025280 2246 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3180 2246 231 231 0 2949 0
vsize: 12720
[startup+170.006 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15371
Raw data (stat): 15371 (PBS4) R 15370 24215 24214 0 -1 0 2677 0 0 0 16975 26 0 0 25 0 1 0 453801270 13025280 2334 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3180 2334 231 231 0 2949 0
vsize: 12720
[startup+180.006 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15371
Raw data (stat): 15371 (PBS4) R 15370 24215 24214 0 -1 0 2734 0 0 0 17974 27 0 0 25 0 1 0 453801270 13189120 2391 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3220 2391 231 231 0 2989 0
vsize: 12880
[startup+190.007 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15371
Raw data (stat): 15371 (PBS4) R 15370 24215 24214 0 -1 0 2844 0 0 0 18974 28 0 0 25 0 1 0 453801270 13332480 2501 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3255 2501 231 231 0 3024 0
vsize: 13020
[startup+200.007 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15371
Raw data (stat): 15371 (PBS4) R 15370 24215 24214 0 -1 0 2881 0 0 0 19973 29 0 0 25 0 1 0 453801270 13488128 2538 4294967295 134512640 135450300 3221224640 3221223456 134536478 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3293 2538 231 231 0 3062 0
vsize: 13172
[startup+210.008 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15371
Raw data (stat): 15371 (PBS4) R 15370 24215 24214 0 -1 0 2920 0 0 0 20972 30 0 0 25 0 1 0 453801270 13488128 2577 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3293 2577 231 231 0 3062 0
vsize: 13172
[startup+220.008 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15371
Raw data (stat): 15371 (PBS4) R 15370 24215 24214 0 -1 0 2951 0 0 0 21972 30 0 0 25 0 1 0 453801270 13643776 2608 4294967295 134512640 135450300 3221224640 3221223472 134549368 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3331 2608 231 231 0 3100 0
vsize: 13324
[startup+230.009 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15371
Raw data (stat): 15371 (PBS4) R 15370 24215 24214 0 -1 0 2959 0 0 0 22972 31 0 0 25 0 1 0 453801270 13643776 2616 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3331 2616 231 231 0 3100 0
vsize: 13324
[startup+240.014 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15371
Raw data (stat): 15371 (PBS4) R 15370 24215 24214 0 -1 0 2972 0 0 0 23972 31 0 0 25 0 1 0 453801270 13643776 2629 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3331 2629 231 231 0 3100 0
vsize: 13324
[startup+250.013 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15371
Raw data (stat): 15371 (PBS4) R 15370 24215 24214 0 -1 0 2982 0 0 0 24972 31 0 0 25 0 1 0 453801270 13643776 2639 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3331 2639 231 231 0 3100 0
vsize: 13324
[startup+260.014 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15371
Raw data (stat): 15371 (PBS4) R 15370 24215 24214 0 -1 0 3035 0 0 0 25971 32 0 0 25 0 1 0 453801270 13643776 2692 4294967295 134512640 135450300 3221224640 3221223248 134537603 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3331 2692 231 231 0 3100 0
vsize: 13324
[startup+270.014 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15371
Raw data (stat): 15371 (PBS4) R 15370 24215 24214 0 -1 0 3104 0 0 0 26971 33 0 0 25 0 1 0 453801270 13643776 2761 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3331 2761 231 231 0 3100 0
vsize: 13324
[startup+280.014 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15371
Raw data (stat): 15371 (PBS4) R 15370 24215 24214 0 -1 0 3147 0 0 0 27971 33 0 0 25 0 1 0 453801270 13807616 2804 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3371 2804 231 231 0 3140 0
vsize: 13484
[startup+290.015 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15371
Raw data (stat): 15371 (PBS4) R 15370 24215 24214 0 -1 0 3156 0 0 0 28971 34 0 0 25 0 1 0 453801270 13807616 2813 4294967295 134512640 135450300 3221224640 3221223472 134549362 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3371 2813 231 231 0 3140 0
vsize: 13484
[startup+300.015 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15371
Raw data (stat): 15371 (PBS4) R 15370 24215 24214 0 -1 0 3570 0 0 0 29970 35 0 0 25 0 1 0 453801270 15380480 2842 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3755 2842 231 231 0 3524 0
vsize: 15020
[startup+310.016 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15371
Raw data (stat): 15371 (PBS4) R 15370 24215 24214 0 -1 0 3621 0 0 0 30969 35 0 0 25 0 1 0 453801270 15380480 2893 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3755 2893 231 231 0 3524 0
vsize: 15020
[startup+320.016 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15371
Raw data (stat): 15371 (PBS4) R 15370 24215 24214 0 -1 0 3674 0 0 0 31969 36 0 0 25 0 1 0 453801270 15544320 2946 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3795 2946 231 231 0 3564 0
vsize: 15180
[startup+330.016 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15371
Raw data (stat): 15371 (PBS4) R 15370 24215 24214 0 -1 0 3775 0 0 0 32968 37 0 0 25 0 1 0 453801270 15687680 3047 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3830 3047 231 231 0 3599 0
vsize: 15320
[startup+340.016 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15371
Raw data (stat): 15371 (PBS4) R 15370 24215 24214 0 -1 0 3785 0 0 0 33968 37 0 0 25 0 1 0 453801270 15687680 3057 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3830 3057 231 231 0 3599 0
vsize: 15320
[startup+350.016 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15371
Raw data (stat): 15371 (PBS4) R 15370 24215 24214 0 -1 0 3794 0 0 0 34967 38 0 0 25 0 1 0 453801270 15687680 3066 4294967295 134512640 135450300 3221224640 3221223472 134549368 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3830 3066 231 231 0 3599 0
vsize: 15320
[startup+360.017 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15371
Raw data (stat): 15371 (PBS4) R 15370 24215 24214 0 -1 0 3827 0 0 0 35967 39 0 0 25 0 1 0 453801270 15859712 3099 4294967295 134512640 135450300 3221224640 3221223472 134549295 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3872 3099 231 231 0 3641 0
vsize: 15488
[startup+370.016 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15371
Raw data (stat): 15371 (PBS4) R 15370 24215 24214 0 -1 0 3852 0 0 0 36967 39 0 0 25 0 1 0 453801270 15859712 3124 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3872 3124 231 231 0 3641 0
vsize: 15488
[startup+380.017 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15371
Raw data (stat): 15371 (PBS4) R 15370 24215 24214 0 -1 0 3905 0 0 0 37966 40 0 0 25 0 1 0 453801270 15859712 3177 4294967295 134512640 135450300 3221224640 3221223472 134549295 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3872 3177 231 231 0 3641 0
vsize: 15488
[startup+390.024 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15371
Raw data (stat): 15371 (PBS4) R 15370 24215 24214 0 -1 0 3966 0 0 0 38967 40 0 0 25 0 1 0 453801270 16031744 3238 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3914 3238 231 231 0 3683 0
vsize: 15656
[startup+400.023 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15371
Raw data (stat): 15371 (PBS4) R 15370 24215 24214 0 -1 0 3978 0 0 0 39967 40 0 0 25 0 1 0 453801270 16031744 3250 4294967295 134512640 135450300 3221224640 3221223472 134549328 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3914 3250 231 231 0 3683 0
vsize: 15656
[startup+410.024 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15371
Raw data (stat): 15371 (PBS4) R 15370 24215 24214 0 -1 0 4033 0 0 0 40966 41 0 0 25 0 1 0 453801270 16031744 3305 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3914 3305 231 231 0 3683 0
vsize: 15656
[startup+420.024 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15371
Raw data (stat): 15371 (PBS4) R 15370 24215 24214 0 -1 0 4076 0 0 0 41966 42 0 0 25 0 1 0 453801270 16031744 3348 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3914 3348 231 231 0 3683 0
vsize: 15656
[startup+430.024 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15371
Raw data (stat): 15371 (PBS4) R 15370 24215 24214 0 -1 0 4104 0 0 0 42966 42 0 0 25 0 1 0 453801270 16031744 3376 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3914 3376 231 231 0 3683 0
vsize: 15656
[startup+440.024 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15371
Raw data (stat): 15371 (PBS4) R 15370 24215 24214 0 -1 0 4142 0 0 0 43965 42 0 0 25 0 1 0 453801270 16195584 3414 4294967295 134512640 135450300 3221224640 3221223472 134549321 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3954 3414 231 231 0 3723 0
vsize: 15816
[startup+450.024 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15371
Raw data (stat): 15371 (PBS4) R 15370 24215 24214 0 -1 0 4179 0 0 0 44965 43 0 0 25 0 1 0 453801270 24584192 3451 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6002 3451 231 231 0 5771 0
vsize: 24008
[startup+460.025 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15371
Raw data (stat): 15371 (PBS4) R 15370 24215 24214 0 -1 0 4205 0 0 0 45965 43 0 0 25 0 1 0 453801270 24584192 3477 4294967295 134512640 135450300 3221224640 3221223472 134549368 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6002 3477 231 231 0 5771 0
vsize: 24008
[startup+470.025 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15371
Raw data (stat): 15371 (PBS4) R 15370 24215 24214 0 -1 0 4236 0 0 0 46965 44 0 0 25 0 1 0 453801270 24584192 3508 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6002 3508 231 231 0 5771 0
vsize: 24008
[startup+480.025 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15371
Raw data (stat): 15371 (PBS4) R 15370 24215 24214 0 -1 0 4305 0 0 0 47964 44 0 0 25 0 1 0 453801270 24584192 3577 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6002 3577 231 231 0 5771 0
vsize: 24008
[startup+490.025 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15371
Raw data (stat): 15371 (PBS4) R 15370 24215 24214 0 -1 0 4361 0 0 0 48964 45 0 0 25 0 1 0 453801270 24719360 3633 4294967295 134512640 135450300 3221224640 3221223552 134597365 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6035 3633 231 231 0 5804 0
vsize: 24140
[startup+500.025 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15371
Raw data (stat): 15371 (PBS4) R 15370 24215 24214 0 -1 0 4413 0 0 0 49964 45 0 0 25 0 1 0 453801270 24719360 3685 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6035 3685 231 231 0 5804 0
vsize: 24140
[startup+510.026 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15371
Raw data (stat): 15371 (PBS4) R 15370 24215 24214 0 -1 0 4465 0 0 0 50963 46 0 0 25 0 1 0 453801270 24915968 3737 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6083 3737 231 231 0 5852 0
vsize: 24332
[startup+520.025 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15371
Raw data (stat): 15371 (PBS4) R 15370 24215 24214 0 -1 0 4512 0 0 0 51963 46 0 0 25 0 1 0 453801270 24915968 3784 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6083 3784 231 231 0 5852 0
vsize: 24332
[startup+530.026 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15371
Raw data (stat): 15371 (PBS4) R 15370 24215 24214 0 -1 0 4546 0 0 0 52963 47 0 0 25 0 1 0 453801270 24915968 3818 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6083 3818 231 231 0 5852 0
vsize: 24332
[startup+540.027 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15371
Raw data (stat): 15371 (PBS4) R 15370 24215 24214 0 -1 0 4631 0 0 0 53962 48 0 0 25 0 1 0 453801270 25063424 3903 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6119 3903 231 231 0 5888 0
vsize: 24476
[startup+550.026 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15371
Raw data (stat): 15371 (PBS4) R 15370 24215 24214 0 -1 0 4670 0 0 0 54962 48 0 0 25 0 1 0 453801270 25063424 3942 4294967295 134512640 135450300 3221224640 3221223472 134549357 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6119 3942 231 231 0 5888 0
vsize: 24476
[startup+560.026 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15371
Raw data (stat): 15371 (PBS4) R 15370 24215 24214 0 -1 0 4721 0 0 0 55962 48 0 0 25 0 1 0 453801270 25063424 3993 4294967295 134512640 135450300 3221224640 3221223472 134549289 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6119 3993 231 231 0 5888 0
vsize: 24476
[startup+570.027 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15371
Raw data (stat): 15371 (PBS4) R 15370 24215 24214 0 -1 0 4747 0 0 0 56962 49 0 0 25 0 1 0 453801270 25247744 4019 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6164 4019 231 231 0 5933 0
vsize: 24656
[startup+580.027 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15371
Raw data (stat): 15371 (PBS4) R 15370 24215 24214 0 -1 0 4763 0 0 0 57962 49 0 0 25 0 1 0 453801270 25247744 4035 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6164 4035 231 231 0 5933 0
vsize: 24656
[startup+590.028 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15371
Raw data (stat): 15371 (PBS4) R 15370 24215 24214 0 -1 0 4802 0 0 0 58962 49 0 0 25 0 1 0 453801270 25444352 4074 4294967295 134512640 135450300 3221224640 3221223472 134549368 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6212 4074 231 231 0 5981 0
vsize: 24848
[startup+600.028 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15371
Raw data (stat): 15371 (PBS4) R 15370 24215 24214 0 -1 0 4808 0 0 0 59962 49 0 0 25 0 1 0 453801270 25444352 4080 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6212 4080 231 231 0 5981 0
vsize: 24848
[startup+610.029 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15371
Raw data (stat): 15371 (PBS4) R 15370 24215 24214 0 -1 0 4815 0 0 0 60961 50 0 0 25 0 1 0 453801270 25444352 4087 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6212 4087 231 231 0 5981 0
vsize: 24848
[startup+620.029 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15371
Raw data (stat): 15371 (PBS4) R 15370 24215 24214 0 -1 0 4866 0 0 0 61961 50 0 0 25 0 1 0 453801270 25628672 4138 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6257 4138 231 231 0 6026 0
vsize: 25028
[startup+630.029 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15371
Raw data (stat): 15371 (PBS4) R 15370 24215 24214 0 -1 0 4909 0 0 0 62961 51 0 0 25 0 1 0 453801270 25628672 4181 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6257 4181 231 231 0 6026 0
vsize: 25028
[startup+640.03 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15371
Raw data (stat): 15371 (PBS4) R 15370 24215 24214 0 -1 0 4946 0 0 0 63961 51 0 0 25 0 1 0 453801270 25628672 4218 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6257 4218 231 231 0 6026 0
vsize: 25028
[startup+650.03 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15371
Raw data (stat): 15371 (PBS4) R 15370 24215 24214 0 -1 0 4969 0 0 0 64960 52 0 0 25 0 1 0 453801270 25628672 4241 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6257 4241 231 231 0 6026 0
vsize: 25028
[startup+660.031 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15371
Raw data (stat): 15371 (PBS4) R 15370 24215 24214 0 -1 0 5041 0 0 0 65960 52 0 0 25 0 1 0 453801270 25821184 4313 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6304 4313 231 231 0 6073 0
vsize: 25216
[startup+670.031 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15371
Raw data (stat): 15371 (PBS4) R 15370 24215 24214 0 -1 0 5085 0 0 0 66959 53 0 0 25 0 1 0 453801270 25821184 4357 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6304 4357 231 231 0 6073 0
vsize: 25216
[startup+680.032 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15371
Raw data (stat): 15371 (PBS4) R 15370 24215 24214 0 -1 0 5117 0 0 0 67959 53 0 0 25 0 1 0 453801270 25821184 4389 4294967295 134512640 135450300 3221224640 3221223472 134549289 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6304 4389 231 231 0 6073 0
vsize: 25216
[startup+690.033 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15371
Raw data (stat): 15371 (PBS4) R 15370 24215 24214 0 -1 0 5133 0 0 0 68959 54 0 0 25 0 1 0 453801270 25821184 4405 4294967295 134512640 135450300 3221224640 3221223472 134549357 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6304 4405 231 231 0 6073 0
vsize: 25216
[startup+700.032 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15371
Raw data (stat): 15371 (PBS4) R 15370 24215 24214 0 -1 0 5139 0 0 0 69959 54 0 0 25 0 1 0 453801270 25821184 4411 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6304 4411 231 231 0 6073 0
vsize: 25216
[startup+710.034 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15371
Raw data (stat): 15371 (PBS4) R 15370 24215 24214 0 -1 0 5143 0 0 0 70959 55 0 0 25 0 1 0 453801270 25821184 4415 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6304 4415 231 231 0 6073 0
vsize: 25216
[startup+720.034 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15371
Raw data (stat): 15371 (PBS4) R 15370 24215 24214 0 -1 0 5174 0 0 0 71959 55 0 0 25 0 1 0 453801270 25821184 4446 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6304 4446 231 231 0 6073 0
vsize: 25216
[startup+730.034 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15371
Raw data (stat): 15371 (PBS4) R 15370 24215 24214 0 -1 0 5183 0 0 0 72959 55 0 0 25 0 1 0 453801270 25821184 4455 4294967295 134512640 135450300 3221224640 3221223472 134549362 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6304 4455 231 231 0 6073 0
vsize: 25216
[startup+740.035 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15371
Raw data (stat): 15371 (PBS4) R 15370 24215 24214 0 -1 0 5190 0 0 0 73959 55 0 0 25 0 1 0 453801270 26017792 4462 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6352 4462 231 231 0 6121 0
vsize: 25408
[startup+750.035 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15371
Raw data (stat): 15371 (PBS4) R 15370 24215 24214 0 -1 0 5208 0 0 0 74959 55 0 0 25 0 1 0 453801270 26017792 4480 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6352 4480 231 231 0 6121 0
vsize: 25408
[startup+760.036 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15371
Raw data (stat): 15371 (PBS4) R 15370 24215 24214 0 -1 0 5230 0 0 0 75959 56 0 0 25 0 1 0 453801270 26017792 4502 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6352 4502 231 231 0 6121 0
vsize: 25408
[startup+770.036 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15371
Raw data (stat): 15371 (PBS4) R 15370 24215 24214 0 -1 0 5234 0 0 0 76959 56 0 0 25 0 1 0 453801270 26017792 4506 4294967295 134512640 135450300 3221224640 3221223472 134549846 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6352 4506 231 231 0 6121 0
vsize: 25408
[startup+780.037 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15371
Raw data (stat): 15371 (PBS4) R 15370 24215 24214 0 -1 0 5250 0 0 0 77959 56 0 0 25 0 1 0 453801270 26017792 4522 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6352 4522 231 231 0 6121 0
vsize: 25408
[startup+790.038 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15371
Raw data (stat): 15371 (PBS4) R 15370 24215 24214 0 -1 0 5269 0 0 0 78959 56 0 0 25 0 1 0 453801270 26152960 4541 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6385 4541 231 231 0 6154 0
vsize: 25540
[startup+800.038 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15371
Raw data (stat): 15371 (PBS4) R 15370 24215 24214 0 -1 0 5294 0 0 0 79959 57 0 0 25 0 1 0 453801270 26152960 4566 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6385 4566 231 231 0 6154 0
vsize: 25540
[startup+810.039 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15371
Raw data (stat): 15371 (PBS4) R 15370 24215 24214 0 -1 0 5316 0 0 0 80959 57 0 0 25 0 1 0 453801270 26152960 4588 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6385 4588 231 231 0 6154 0
vsize: 25540
[startup+820.038 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15371
Raw data (stat): 15371 (PBS4) R 15370 24215 24214 0 -1 0 5329 0 0 0 81959 57 0 0 25 0 1 0 453801270 26152960 4601 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6385 4601 231 231 0 6154 0
vsize: 25540
[startup+830.039 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15371
Raw data (stat): 15371 (PBS4) R 15370 24215 24214 0 -1 0 5376 0 0 0 82958 58 0 0 25 0 1 0 453801270 26152960 4648 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6385 4648 231 231 0 6154 0
vsize: 25540
[startup+840.04 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15371
Raw data (stat): 15371 (PBS4) R 15370 24215 24214 0 -1 0 5395 0 0 0 83958 58 0 0 25 0 1 0 453801270 26152960 4667 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6385 4667 231 231 0 6154 0
vsize: 25540
[startup+850.04 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15371
Raw data (stat): 15371 (PBS4) R 15370 24215 24214 0 -1 0 5401 0 0 0 84958 58 0 0 25 0 1 0 453801270 26152960 4673 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6385 4673 231 231 0 6154 0
vsize: 25540
[startup+860.04 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15371
Raw data (stat): 15371 (PBS4) R 15370 24215 24214 0 -1 0 5417 0 0 0 85958 58 0 0 25 0 1 0 453801270 26296320 4689 4294967295 134512640 135450300 3221224640 3221223472 134549287 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6420 4689 231 231 0 6189 0
vsize: 25680
[startup+870.04 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15371
Raw data (stat): 15371 (PBS4) R 15370 24215 24214 0 -1 0 5423 0 0 0 86958 59 0 0 25 0 1 0 453801270 26296320 4695 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6420 4695 231 231 0 6189 0
vsize: 25680
[startup+880.04 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15371
Raw data (stat): 15371 (PBS4) R 15370 24215 24214 0 -1 0 5448 0 0 0 87958 59 0 0 25 0 1 0 453801270 26296320 4720 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6420 4720 231 231 0 6189 0
vsize: 25680
[startup+890.041 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15371
Raw data (stat): 15371 (PBS4) R 15370 24215 24214 0 -1 0 5464 0 0 0 88958 59 0 0 25 0 1 0 453801270 26296320 4736 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6420 4736 231 231 0 6189 0
vsize: 25680
[startup+900.04 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15371
Raw data (stat): 15371 (PBS4) R 15370 24215 24214 0 -1 0 5495 0 0 0 89958 60 0 0 25 0 1 0 453801270 26296320 4767 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6420 4767 231 231 0 6189 0
vsize: 25680
[startup+910.041 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15371
Raw data (stat): 15371 (PBS4) R 15370 24215 24214 0 -1 0 5522 0 0 0 90958 60 0 0 25 0 1 0 453801270 26296320 4794 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6420 4794 231 231 0 6189 0
vsize: 25680
[startup+920.041 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15371
Raw data (stat): 15371 (PBS4) R 15370 24215 24214 0 -1 0 5562 0 0 0 91957 60 0 0 25 0 1 0 453801270 26296320 4834 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6420 4834 231 231 0 6189 0
vsize: 25680
[startup+930.041 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15371
Raw data (stat): 15371 (PBS4) R 15370 24215 24214 0 -1 0 5588 0 0 0 92957 61 0 0 25 0 1 0 453801270 26296320 4860 4294967295 134512640 135450300 3221224640 3221223472 134549368 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6420 4860 231 231 0 6189 0
vsize: 25680
[startup+940.041 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15371
Raw data (stat): 15371 (PBS4) R 15370 24215 24214 0 -1 0 5639 0 0 0 93957 62 0 0 25 0 1 0 453801270 26296320 4911 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6420 4911 231 231 0 6189 0
vsize: 25680
[startup+950.041 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15371
Raw data (stat): 15371 (PBS4) R 15370 24215 24214 0 -1 0 5705 0 0 0 94956 62 0 0 25 0 1 0 453801270 26296320 4977 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6420 4977 231 231 0 6189 0
vsize: 25680
[startup+960.042 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15371
Raw data (stat): 15371 (PBS4) R 15370 24215 24214 0 -1 0 5757 0 0 0 95956 62 0 0 25 0 1 0 453801270 26644480 5029 4294967295 134512640 135450300 3221224640 3221223472 134549371 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6505 5029 231 231 0 6274 0
vsize: 26020
[startup+970.041 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15371
Raw data (stat): 15371 (PBS4) R 15370 24215 24214 0 -1 0 5787 0 0 0 96956 63 0 0 25 0 1 0 453801270 26644480 5059 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6505 5059 231 231 0 6274 0
vsize: 26020
[startup+980.042 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15371
Raw data (stat): 15371 (PBS4) R 15370 24215 24214 0 -1 0 5856 0 0 0 97956 63 0 0 25 0 1 0 453801270 26779648 5128 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6538 5128 231 231 0 6307 0
vsize: 26152
[startup+990.043 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15371
Raw data (stat): 15371 (PBS4) R 15370 24215 24214 0 -1 0 5860 0 0 0 98956 63 0 0 25 0 1 0 453801270 26779648 5132 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6538 5132 231 231 0 6307 0
vsize: 26152
[startup+1000.04 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15371
Raw data (stat): 15371 (PBS4) R 15370 24215 24214 0 -1 0 6664 0 0 0 99954 65 0 0 25 0 1 0 453801270 29925376 5167 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7306 5167 231 231 0 7075 0
vsize: 29224
[startup+1010.04 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15371
Raw data (stat): 15371 (PBS4) R 15370 24215 24214 0 -1 0 6728 0 0 0 100954 66 0 0 25 0 1 0 453801270 30142464 5231 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7359 5231 231 231 0 7128 0
vsize: 29436
[startup+1020.04 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15371
Raw data (stat): 15371 (PBS4) R 15370 24215 24214 0 -1 0 6736 0 0 0 101953 66 0 0 25 0 1 0 453801270 30142464 5239 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7359 5239 231 231 0 7128 0
vsize: 29436
[startup+1030.04 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15371
Raw data (stat): 15371 (PBS4) R 15370 24215 24214 0 -1 0 6758 0 0 0 102953 67 0 0 25 0 1 0 453801270 30142464 5261 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7359 5261 231 231 0 7128 0
vsize: 29436
[startup+1040.04 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15371
Raw data (stat): 15371 (PBS4) R 15370 24215 24214 0 -1 0 6764 0 0 0 103953 67 0 0 25 0 1 0 453801270 30142464 5267 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7359 5267 231 231 0 7128 0
vsize: 29436
[startup+1050.04 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15371
Raw data (stat): 15371 (PBS4) R 15370 24215 24214 0 -1 0 6785 0 0 0 104953 67 0 0 25 0 1 0 453801270 30142464 5288 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7359 5288 231 231 0 7128 0
vsize: 29436
[startup+1060.04 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15371
Raw data (stat): 15371 (PBS4) R 15370 24215 24214 0 -1 0 6789 0 0 0 105952 68 0 0 25 0 1 0 453801270 30142464 5292 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7359 5292 231 231 0 7128 0
vsize: 29436
[startup+1070.04 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15371
Raw data (stat): 15371 (PBS4) R 15370 24215 24214 0 -1 0 6803 0 0 0 106952 68 0 0 25 0 1 0 453801270 30142464 5306 4294967295 134512640 135450300 3221224640 3221223472 134549368 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7359 5306 231 231 0 7128 0
vsize: 29436
[startup+1080.04 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15371
Raw data (stat): 15371 (PBS4) R 15370 24215 24214 0 -1 0 6807 0 0 0 107952 69 0 0 25 0 1 0 453801270 30142464 5310 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7359 5310 231 231 0 7128 0
vsize: 29436
[startup+1090.04 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15371
Raw data (stat): 15371 (PBS4) R 15370 24215 24214 0 -1 0 6857 0 0 0 108952 69 0 0 25 0 1 0 453801270 30527488 5360 4294967295 134512640 135450300 3221224640 3221223472 134549368 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7453 5360 231 231 0 7222 0
vsize: 29812
[startup+1100.05 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15371
Raw data (stat): 15371 (PBS4) R 15370 24215 24214 0 -1 0 6863 0 0 0 109952 70 0 0 25 0 1 0 453801270 30527488 5366 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7453 5366 231 231 0 7222 0
vsize: 29812
[startup+1110.05 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15371
Raw data (stat): 15371 (PBS4) R 15370 24215 24214 0 -1 0 6870 0 0 0 110952 70 0 0 25 0 1 0 453801270 30527488 5373 4294967295 134512640 135450300 3221224640 3221223472 134549368 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7453 5373 231 231 0 7222 0
vsize: 29812
[startup+1120.05 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15371
Raw data (stat): 15371 (PBS4) R 15370 24215 24214 0 -1 0 6876 0 0 0 111952 70 0 0 25 0 1 0 453801270 30527488 5379 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7453 5379 231 231 0 7222 0
vsize: 29812
[startup+1130.05 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15371
Raw data (stat): 15371 (PBS4) R 15370 24215 24214 0 -1 0 6917 0 0 0 112951 71 0 0 25 0 1 0 453801270 30662656 5420 4294967295 134512640 135450300 3221224640 3221223376 134538496 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7486 5420 231 231 0 7255 0
vsize: 29944
[startup+1140.05 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15371
Raw data (stat): 15371 (PBS4) R 15370 24215 24214 0 -1 0 6931 0 0 0 113951 71 0 0 25 0 1 0 453801270 30662656 5434 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7486 5434 231 231 0 7255 0
vsize: 29944
[startup+1150.05 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15371
Raw data (stat): 15371 (PBS4) R 15370 24215 24214 0 -1 0 6941 0 0 0 114951 71 0 0 25 0 1 0 453801270 30662656 5444 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7486 5444 231 231 0 7255 0
vsize: 29944
[startup+1160.05 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15371
Raw data (stat): 15371 (PBS4) R 15370 24215 24214 0 -1 0 6945 0 0 0 115951 72 0 0 25 0 1 0 453801270 30662656 5448 4294967295 134512640 135450300 3221224640 3221223456 134536478 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7486 5448 231 231 0 7255 0
vsize: 29944
[startup+1170.05 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15371
Raw data (stat): 15371 (PBS4) R 15370 24215 24214 0 -1 0 6973 0 0 0 116951 72 0 0 25 0 1 0 453801270 30662656 5476 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7486 5476 231 231 0 7255 0
vsize: 29944
[startup+1180.05 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15371
Raw data (stat): 15371 (PBS4) R 15370 24215 24214 0 -1 0 6998 0 0 0 117951 72 0 0 25 0 1 0 453801270 30662656 5501 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7486 5501 231 231 0 7255 0
vsize: 29944
[startup+1190.05 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15371
Raw data (stat): 15371 (PBS4) R 15370 24215 24214 0 -1 0 7006 0 0 0 118951 72 0 0 25 0 1 0 453801270 30662656 5509 4294967295 134512640 135450300 3221224640 3221223472 134549846 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7486 5509 231 231 0 7255 0
vsize: 29944
[startup+1200.05 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15371
Raw data (stat): 15371 (PBS4) R 15370 24215 24214 0 -1 0 7019 0 0 0 119951 73 0 0 25 0 1 0 453801270 30662656 5522 4294967295 134512640 135450300 3221224640 3221223472 134549368 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7486 5522 231 231 0 7255 0
vsize: 29944
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.06 s]
Raw data (loadavg): 0.99 0.97 0.92 1/54 15371
Raw data (stat): 15371 (PBS4) Z 15370 24215 24214 0 -1 1036 7019 0 0 0 119951 74 0 0 25 0 1 0 453801270 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.06
CPU time (s): 1200.26
CPU user time (s): 1199.51
CPU system time (s): 0.741887
CPU usage (%): 100.016
Max. virtual memory (Kb): 29944
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####