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/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb56-25-opb/normalized-frb56-25-2.opb
MD5SUM	550a32227cb0042826e9d8b0433b2655
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	-42
Optimality of the best value was proved	NO
Number of terms in the objective function	1400
Biggest coefficient in the objective function	1
Number of bits for the biggest coefficient in the objective function	1
Sum of the numbers in the objective function	1400
Number of bits of the sum of numbers in the objective function	11
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	1400
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	1175.12
Number of variables	1400
Total number of constraints	109401
Number of constraints which are clauses	109401
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	2
Trace number 7923

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc24 THE 2005-04-17 17:19:36 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=3102 boxname=wulflinc24 idbench=345 idsolver=6 numberseed=0
MD5SUM SOLVER: 2225cba0d9b2c30e235f6cafc823d7ac  /oldhome/oroussel/solvers/PBS4
MD5SUM BENCH:  550a32227cb0042826e9d8b0433b2655  /oldhome/oroussel/tmp/wulflinc24/normalized-frb56-25-2.opb
REAL COMMAND:  PBS4 /oldhome/oroussel/tmp/wulflinc24/normalized-frb56-25-2.opb
IDLAUNCH: 3102
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.080
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	: 3
cpu MHz		: 451.080
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:        793436 kB
Buffers:         36936 kB
Cached:         160108 kB
SwapCached:       3828 kB
Active:          74920 kB
Inactive:       128808 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        793184 kB
SwapTotal:     2097892 kB
SwapFree:      2094064 kB
Dirty:              24 kB
Writeback:           0 kB
Mapped:           6932 kB
Slab:            31900 kB
Committed_AS:    63488 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-04-17 17:39:39 (client local time) WITH STATUS 0 IN 1200.28 SECONDS
stats: 3102 7 1200.28 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c PBS v4 by Bashar Al-Rawi & Fadi Aloul
c Solving /oldhome/oroussel/tmp/wulflinc24/normalized-frb56-25-2.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.86 0.97 0.92 2/54 22425
Raw data (stat): 22425 (runsolver) R 22424 28546 28545 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 512260146 1052672 99 4294967295 134512640 135381576 3221224528 3221219776 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0001 s]
Raw data (loadavg): 0.88 0.97 0.92 2/54 22425
Raw data (stat): 22425 (PBS4) R 22424 28546 28545 0 -1 0 4287 0 0 0 988 10 0 0 25 0 1 0 512260146 22966272 3552 4294967295 134512640 135450300 3221224640 3221223472 134549440 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5607 3552 231 231 0 5376 0
vsize: 22428
[startup+20.0006 s]
Raw data (loadavg): 0.90 0.97 0.92 2/54 22425
Raw data (stat): 22425 (PBS4) R 22424 28546 28545 0 -1 0 6437 0 0 0 1981 17 0 0 25 0 1 0 512260146 39878656 5702 4294967295 134512640 135450300 3221224640 3221223360 134535540 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9736 5702 231 231 0 9505 0
vsize: 38944
[startup+30.0003 s]
Raw data (loadavg): 0.91 0.97 0.92 2/54 22425
Raw data (stat): 22425 (PBS4) R 22424 28546 28545 0 -1 0 8402 0 0 0 2976 22 0 0 25 0 1 0 512260146 39878656 7667 4294967295 134512640 135450300 3221224640 3221223360 134535932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9736 7667 231 231 0 9505 0
vsize: 38944
[startup+40.001 s]
Raw data (loadavg): 0.93 0.97 0.92 2/54 22425
Raw data (stat): 22425 (PBS4) R 22424 28546 28545 0 -1 0 10354 0 0 0 3970 27 0 0 25 0 1 0 512260146 73568256 9619 4294967295 134512640 135450300 3221224640 3221223120 134580019 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17961 9619 231 231 0 17730 0
vsize: 71844
[startup+50.0017 s]
Raw data (loadavg): 0.94 0.97 0.92 2/54 22425
Raw data (stat): 22425 (PBS4) R 22424 28546 28545 0 -1 0 12216 0 0 0 4967 31 0 0 25 0 1 0 512260146 73568256 11481 4294967295 134512640 135450300 3221224640 3221223360 134535520 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17961 11481 231 231 0 17730 0
vsize: 71844
[startup+60.0016 s]
Raw data (loadavg): 0.95 0.97 0.92 2/54 22425
Raw data (stat): 22425 (PBS4) R 22424 28546 28545 0 -1 0 13795 0 0 0 5964 34 0 0 25 0 1 0 512260146 73703424 13060 4294967295 134512640 135450300 3221224640 3221223024 134602056 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17994 13060 231 231 0 17763 0
vsize: 71976
[startup+70.002 s]
Raw data (loadavg): 0.95 0.97 0.92 2/54 22425
Raw data (stat): 22425 (PBS4) R 22424 28546 28545 0 -1 0 15549 0 0 0 6961 38 0 0 25 0 1 0 512260146 73703424 14814 4294967295 134512640 135450300 3221224640 3221223168 134543680 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17994 14814 231 231 0 17763 0
vsize: 71976
[startup+80.0017 s]
Raw data (loadavg): 0.96 0.97 0.92 2/54 22425
Raw data (stat): 22425 (PBS4) R 22424 28546 28545 0 -1 0 17096 0 0 0 7957 42 0 0 25 0 1 0 512260146 73838592 16361 4294967295 134512640 135450300 3221224640 3221223168 134544145 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18027 16361 231 231 0 17796 0
vsize: 72108
[startup+90.0024 s]
Raw data (loadavg): 0.97 0.97 0.92 2/54 22425
Raw data (stat): 22425 (PBS4) R 22424 28546 28545 0 -1 0 18562 0 0 0 8954 45 0 0 25 0 1 0 512260146 140947456 17827 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34411 17827 231 231 0 34180 0
vsize: 137644
[startup+100.002 s]
Raw data (loadavg): 0.97 0.97 0.92 2/54 22425
Raw data (stat): 22425 (PBS4) R 22424 28546 28545 0 -1 0 19578 0 0 0 9951 48 0 0 25 0 1 0 512260146 141086720 18843 4294967295 134512640 135450300 3221224640 3221223376 134538677 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34445 18843 231 231 0 34214 0
vsize: 137780
[startup+110.002 s]
Raw data (loadavg): 0.98 0.97 0.92 2/54 22425
Raw data (stat): 22425 (PBS4) R 22424 28546 28545 0 -1 0 20623 0 0 0 10949 50 0 0 25 0 1 0 512260146 141086720 19888 4294967295 134512640 135450300 3221224640 3221223360 134535495 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34445 19888 231 231 0 34214 0
vsize: 137780
[startup+120.003 s]
Raw data (loadavg): 0.98 0.97 0.92 2/54 22425
Raw data (stat): 22425 (PBS4) R 22424 28546 28545 0 -1 0 21885 0 0 0 11946 54 0 0 25 0 1 0 512260146 141647872 21150 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34582 21150 231 231 0 34351 0
vsize: 138328
[startup+130.002 s]
Raw data (loadavg): 0.98 0.97 0.92 2/54 22425
Raw data (stat): 22425 (PBS4) R 22424 28546 28545 0 -1 0 23393 0 0 0 12943 57 0 0 25 0 1 0 512260146 141787136 22658 4294967295 134512640 135450300 3221224640 3221223456 134536478 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34616 22658 231 231 0 34385 0
vsize: 138464
[startup+140.004 s]
Raw data (loadavg): 0.98 0.97 0.92 2/54 22425
Raw data (stat): 22425 (PBS4) R 22424 28546 28545 0 -1 0 23456 0 0 0 13943 57 0 0 25 0 1 0 512260146 142065664 22721 4294967295 134512640 135450300 3221224640 3221223456 134547503 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34684 22721 231 231 0 34453 0
vsize: 138736
[startup+150.004 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 22425
Raw data (stat): 22425 (PBS4) R 22424 28546 28545 0 -1 0 24253 0 0 0 14941 59 0 0 25 0 1 0 512260146 142200832 23518 4294967295 134512640 135450300 3221224640 3221223376 134538672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34717 23518 231 231 0 34486 0
vsize: 138868
[startup+160.003 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 22425
Raw data (stat): 22425 (PBS4) R 22424 28546 28545 0 -1 0 25857 0 0 0 15937 63 0 0 25 0 1 0 512260146 142745600 25122 4294967295 134512640 135450300 3221224640 3221223360 134535675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34850 25122 231 231 0 34619 0
vsize: 139400
[startup+170.003 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 22425
Raw data (stat): 22425 (PBS4) R 22424 28546 28545 0 -1 0 27267 0 0 0 16935 66 0 0 25 0 1 0 512260146 143319040 26532 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34990 26532 231 231 0 34759 0
vsize: 139960
[startup+180.003 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 22425
Raw data (stat): 22425 (PBS4) R 22424 28546 28545 0 -1 0 28526 0 0 0 17932 69 0 0 25 0 1 0 512260146 143601664 27791 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35059 27791 231 231 0 34828 0
vsize: 140236
[startup+190.003 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 22425
Raw data (stat): 22425 (PBS4) R 22424 28546 28545 0 -1 0 29846 0 0 0 18929 71 0 0 25 0 1 0 512260146 144031744 29111 4294967295 134512640 135450300 3221224640 3221223120 134580023 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35164 29111 231 231 0 34933 0
vsize: 140656
[startup+200.003 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 22425
Raw data (stat): 22425 (PBS4) R 22424 28546 28545 0 -1 0 31165 0 0 0 19926 75 0 0 25 0 1 0 512260146 144306176 30430 4294967295 134512640 135450300 3221224640 3221223360 134535758 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35231 30430 231 231 0 35000 0
vsize: 140924
[startup+210.003 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 22425
Raw data (stat): 22425 (PBS4) R 22424 28546 28545 0 -1 0 32433 0 0 0 20923 78 0 0 25 0 1 0 512260146 144306176 31698 4294967295 134512640 135450300 3221224640 3221223360 134535746 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35231 31698 231 231 0 35000 0
vsize: 140924
[startup+220.003 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 22425
Raw data (stat): 22425 (PBS4) R 22424 28546 28545 0 -1 0 33553 0 0 0 21922 80 0 0 25 0 1 0 512260146 144592896 32818 4294967295 134512640 135450300 3221224640 3221223456 134547503 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35301 32818 231 231 0 35070 0
vsize: 141204
[startup+230.003 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 22425
Raw data (stat): 22425 (PBS4) R 22424 28546 28545 0 -1 0 34785 0 0 0 22919 83 0 0 25 0 1 0 512260146 144867328 34050 4294967295 134512640 135450300 3221224640 3221223456 134537232 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35368 34050 231 231 0 35137 0
vsize: 141472
[startup+240.004 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 22425
Raw data (stat): 22425 (PBS4) R 22424 28546 28545 0 -1 0 36559 0 0 0 23914 88 0 0 25 0 1 0 512260146 279224320 35824 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 68170 35824 231 231 0 67939 0
vsize: 272680
[startup+250.003 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 22425
Raw data (stat): 22425 (PBS4) R 22424 28546 28545 0 -1 0 36737 0 0 0 24914 88 0 0 25 0 1 0 512260146 279502848 36002 4294967295 134512640 135450300 3221224640 3221223360 134535782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 68238 36002 231 231 0 68007 0
vsize: 272952
[startup+260.003 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 22425
Raw data (stat): 22425 (PBS4) R 22424 28546 28545 0 -1 0 36808 0 0 0 25913 89 0 0 25 0 1 0 512260146 279785472 36073 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 68307 36073 231 231 0 68076 0
vsize: 273228
[startup+270.004 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 22425
Raw data (stat): 22425 (PBS4) R 22424 28546 28545 0 -1 0 36842 0 0 0 26913 89 0 0 25 0 1 0 512260146 279924736 36107 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 68341 36107 231 231 0 68110 0
vsize: 273364
[startup+280.003 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 22425
Raw data (stat): 22425 (PBS4) R 22424 28546 28545 0 -1 0 36881 0 0 0 27913 89 0 0 25 0 1 0 512260146 280059904 36146 4294967295 134512640 135450300 3221224640 3221223376 134538646 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 68374 36146 231 231 0 68143 0
vsize: 273496
[startup+290.004 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 22425
Raw data (stat): 22425 (PBS4) R 22424 28546 28545 0 -1 0 36917 0 0 0 28914 89 0 0 25 0 1 0 512260146 280219648 36182 4294967295 134512640 135450300 3221224640 3221223472 134549846 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 68413 36182 231 231 0 68182 0
vsize: 273652
[startup+300.005 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 22425
Raw data (stat): 22425 (PBS4) R 22424 28546 28545 0 -1 0 36931 0 0 0 29913 90 0 0 25 0 1 0 512260146 280219648 36196 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 68413 36196 231 231 0 68182 0
vsize: 273652
[startup+310.004 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 22425
Raw data (stat): 22425 (PBS4) R 22424 28546 28545 0 -1 0 37056 0 0 0 30913 90 0 0 25 0 1 0 512260146 280834048 36321 4294967295 134512640 135450300 3221224640 3221223360 134535503 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 68563 36321 231 231 0 68332 0
vsize: 274252
[startup+320.004 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 22425
Raw data (stat): 22425 (PBS4) R 22424 28546 28545 0 -1 0 37064 0 0 0 31913 90 0 0 25 0 1 0 512260146 280997888 36329 4294967295 134512640 135450300 3221224640 3221223456 134533221 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 68603 36329 231 231 0 68372 0
vsize: 274412
[startup+330.005 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 22425
Raw data (stat): 22425 (PBS4) R 22424 28546 28545 0 -1 0 37135 0 0 0 32913 91 0 0 25 0 1 0 512260146 281284608 36400 4294967295 134512640 135450300 3221224640 3221223376 134538672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 68673 36400 231 231 0 68442 0
vsize: 274692
[startup+340.005 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 22425
Raw data (stat): 22425 (PBS4) R 22424 28546 28545 0 -1 0 37170 0 0 0 33913 91 0 0 25 0 1 0 512260146 281432064 36435 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 68709 36435 231 231 0 68478 0
vsize: 274836
[startup+350.005 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 22425
Raw data (stat): 22425 (PBS4) R 22424 28546 28545 0 -1 0 37181 0 0 0 34913 91 0 0 25 0 1 0 512260146 281432064 36446 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 68709 36446 231 231 0 68478 0
vsize: 274836
[startup+360.005 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 22425
Raw data (stat): 22425 (PBS4) R 22424 28546 28545 0 -1 0 37225 0 0 0 35913 91 0 0 25 0 1 0 512260146 281706496 36490 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 68776 36490 231 231 0 68545 0
vsize: 275104
[startup+370.006 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 22425
Raw data (stat): 22425 (PBS4) R 22424 28546 28545 0 -1 0 37226 0 0 0 36912 92 0 0 25 0 1 0 512260146 281706496 36491 4294967295 134512640 135450300 3221224640 3221223456 134536501 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 68776 36491 231 231 0 68545 0
vsize: 275104
[startup+380.006 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 22425
Raw data (stat): 22425 (PBS4) R 22424 28546 28545 0 -1 0 37280 0 0 0 37912 92 0 0 25 0 1 0 512260146 281866240 36545 4294967295 134512640 135450300 3221224640 3221223248 134537771 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 68815 36545 231 231 0 68584 0
vsize: 275260
[startup+390.006 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 22425
Raw data (stat): 22425 (PBS4) R 22424 28546 28545 0 -1 0 37340 0 0 0 38912 92 0 0 25 0 1 0 512260146 282152960 36605 4294967295 134512640 135450300 3221224640 3221223564 134546176 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 68885 36605 231 231 0 68654 0
vsize: 275540
[startup+400.007 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 22425
Raw data (stat): 22425 (PBS4) R 22424 28546 28545 0 -1 0 37346 0 0 0 39912 92 0 0 25 0 1 0 512260146 282152960 36611 4294967295 134512640 135450300 3221224640 3221223456 134537308 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 68885 36611 231 231 0 68654 0
vsize: 275540
[startup+410.007 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 22425
Raw data (stat): 22425 (PBS4) R 22424 28546 28545 0 -1 0 37367 0 0 0 40912 93 0 0 25 0 1 0 512260146 282308608 36632 4294967295 134512640 135450300 3221224640 3221223376 134538672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 68923 36632 231 231 0 68692 0
vsize: 275692
[startup+420.007 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 22425
Raw data (stat): 22425 (PBS4) R 22424 28546 28545 0 -1 0 37369 0 0 0 41912 93 0 0 25 0 1 0 512260146 282308608 36634 4294967295 134512640 135450300 3221224640 3221223456 134536478 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 68923 36634 231 231 0 68692 0
vsize: 275692
[startup+430.008 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 22425
Raw data (stat): 22425 (PBS4) R 22424 28546 28545 0 -1 0 37445 0 0 0 42912 93 0 0 25 0 1 0 512260146 282595328 36710 4294967295 134512640 135450300 3221224640 3221223104 134532964 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 68993 36710 231 231 0 68762 0
vsize: 275972
[startup+440.009 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 22425
Raw data (stat): 22425 (PBS4) R 22424 28546 28545 0 -1 0 38267 0 0 0 43911 94 0 0 25 0 1 0 512260146 285888512 36763 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 69797 36763 231 231 0 69566 0
vsize: 279188
[startup+450.009 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 22425
Raw data (stat): 22425 (PBS4) R 22424 28546 28545 0 -1 0 38313 0 0 0 44911 95 0 0 25 0 1 0 512260146 286183424 36809 4294967295 134512640 135450300 3221224640 3221223360 134535551 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 69869 36809 231 231 0 69638 0
vsize: 279476
[startup+460.009 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 22425
Raw data (stat): 22425 (PBS4) R 22424 28546 28545 0 -1 0 38327 0 0 0 45911 95 0 0 25 0 1 0 512260146 286183424 36823 4294967295 134512640 135450300 3221224640 3221223456 134536515 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 69869 36823 231 231 0 69638 0
vsize: 279476
[startup+470.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 22425
Raw data (stat): 22425 (PBS4) R 22424 28546 28545 0 -1 0 38744 0 0 0 46910 96 0 0 25 0 1 0 512260146 286351360 37240 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 69910 37240 231 231 0 69679 0
vsize: 279640
[startup+480.009 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 22425
Raw data (stat): 22425 (PBS4) R 22424 28546 28545 0 -1 0 39499 0 0 0 47909 98 0 0 25 0 1 0 512260146 286351360 37995 4294967295 134512640 135450300 3221224640 3221223552 134597365 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 69910 37995 231 231 0 69679 0
vsize: 279640
[startup+490.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 22425
Raw data (stat): 22425 (PBS4) R 22424 28546 28545 0 -1 0 39528 0 0 0 48908 98 0 0 25 0 1 0 512260146 286351360 38024 4294967295 134512640 135450300 3221224640 3221223360 134535803 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 69910 38024 231 231 0 69679 0
vsize: 279640
[startup+500.011 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 22425
Raw data (stat): 22425 (PBS4) R 22424 28546 28545 0 -1 0 39553 0 0 0 49909 99 0 0 25 0 1 0 512260146 286486528 38049 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 69943 38049 231 231 0 69712 0
vsize: 279772
[startup+510.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 22425
Raw data (stat): 22425 (PBS4) R 22424 28546 28545 0 -1 0 39557 0 0 0 50908 99 0 0 25 0 1 0 512260146 286486528 38053 4294967295 134512640 135450300 3221224640 3221223456 134547480 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 69943 38053 231 231 0 69712 0
vsize: 279772
[startup+520.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 22425
Raw data (stat): 22425 (PBS4) R 22424 28546 28545 0 -1 0 39589 0 0 0 51908 99 0 0 25 0 1 0 512260146 286621696 38085 4294967295 134512640 135450300 3221224640 3221223360 134535898 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 69976 38085 231 231 0 69745 0
vsize: 279904
[startup+530.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 22425
Raw data (stat): 22425 (PBS4) R 22424 28546 28545 0 -1 0 39651 0 0 0 52908 99 0 0 25 0 1 0 512260146 286904320 38147 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70045 38147 231 231 0 69814 0
vsize: 280180
[startup+540.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 22425
Raw data (stat): 22425 (PBS4) R 22424 28546 28545 0 -1 0 39671 0 0 0 53908 100 0 0 25 0 1 0 512260146 286904320 38167 4294967295 134512640 135450300 3221224640 3221223456 134547853 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70045 38167 231 231 0 69814 0
vsize: 280180
[startup+550.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 22425
Raw data (stat): 22425 (PBS4) R 22424 28546 28545 0 -1 0 39701 0 0 0 54908 100 0 0 25 0 1 0 512260146 287051776 38197 4294967295 134512640 135450300 3221224640 3221223376 134538690 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70081 38197 231 231 0 69850 0
vsize: 280324
[startup+560.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 22425
Raw data (stat): 22425 (PBS4) R 22424 28546 28545 0 -1 0 40564 0 0 0 55906 102 0 0 25 0 1 0 512260146 287051776 39060 4294967295 134512640 135450300 3221224640 3221223456 134537240 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70081 39060 231 231 0 69850 0
vsize: 280324
[startup+570.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 22425
Raw data (stat): 22425 (PBS4) R 22424 28546 28545 0 -1 0 40622 0 0 0 56906 102 0 0 25 0 1 0 512260146 287334400 39118 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70150 39118 231 231 0 69919 0
vsize: 280600
[startup+580.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 22425
Raw data (stat): 22425 (PBS4) R 22424 28546 28545 0 -1 0 40665 0 0 0 57906 103 0 0 25 0 1 0 512260146 287481856 39161 4294967295 134512640 135450300 3221224640 3221223360 134535782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70186 39161 231 231 0 69955 0
vsize: 280744
[startup+590.011 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 22425
Raw data (stat): 22425 (PBS4) R 22424 28546 28545 0 -1 0 40680 0 0 0 58906 103 0 0 25 0 1 0 512260146 287625216 39176 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70221 39176 231 231 0 69990 0
vsize: 280884
[startup+600.011 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 22425
Raw data (stat): 22425 (PBS4) R 22424 28546 28545 0 -1 0 40729 0 0 0 59906 103 0 0 25 0 1 0 512260146 287764480 39225 4294967295 134512640 135450300 3221224640 3221223360 134535784 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70255 39225 231 231 0 70024 0
vsize: 281020
[startup+610.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 22425
Raw data (stat): 22425 (PBS4) R 22424 28546 28545 0 -1 0 40737 0 0 0 60906 103 0 0 25 0 1 0 512260146 287764480 39233 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70255 39233 231 231 0 70024 0
vsize: 281020
[startup+620.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 22425
Raw data (stat): 22425 (PBS4) R 22424 28546 28545 0 -1 0 40776 0 0 0 61906 103 0 0 25 0 1 0 512260146 287903744 39272 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70289 39272 231 231 0 70058 0
vsize: 281156
[startup+630.009 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 22425
Raw data (stat): 22425 (PBS4) R 22424 28546 28545 0 -1 0 40778 0 0 0 62906 103 0 0 25 0 1 0 512260146 287903744 39274 4294967295 134512640 135450300 3221224640 3221223456 134536478 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70289 39274 231 231 0 70058 0
vsize: 281156
[startup+640.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 22425
Raw data (stat): 22425 (PBS4) R 22424 28546 28545 0 -1 0 41323 0 0 0 63905 104 0 0 25 0 1 0 512260146 288038912 39819 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70322 39819 231 231 0 70091 0
vsize: 281288
[startup+650.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 22425
Raw data (stat): 22425 (PBS4) R 22424 28546 28545 0 -1 0 41461 0 0 0 64905 105 0 0 25 0 1 0 512260146 288165888 39957 4294967295 134512640 135450300 3221224640 3221223456 134547503 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70353 39957 231 231 0 70122 0
vsize: 281412
[startup+660.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 22425
Raw data (stat): 22425 (PBS4) R 22424 28546 28545 0 -1 0 41467 0 0 0 65905 105 0 0 25 0 1 0 512260146 288309248 39963 4294967295 134512640 135450300 3221224640 3221223456 134536515 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70388 39963 231 231 0 70157 0
vsize: 281552
[startup+670.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 22425
Raw data (stat): 22425 (PBS4) R 22424 28546 28545 0 -1 0 41504 0 0 0 66905 105 0 0 25 0 1 0 512260146 288309248 40000 4294967295 134512640 135450300 3221224640 3221223360 134535803 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70388 40000 231 231 0 70157 0
vsize: 281552
[startup+680.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 22425
Raw data (stat): 22425 (PBS4) R 22424 28546 28545 0 -1 0 41562 0 0 0 67905 106 0 0 25 0 1 0 512260146 288718848 40058 4294967295 134512640 135450300 3221224640 3221223104 134532859 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70488 40058 231 231 0 70257 0
vsize: 281952
[startup+690.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 22425
Raw data (stat): 22425 (PBS4) R 22424 28546 28545 0 -1 0 41580 0 0 0 68905 106 0 0 25 0 1 0 512260146 288718848 40076 4294967295 134512640 135450300 3221224640 3221223456 134536510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70488 40076 231 231 0 70257 0
vsize: 281952
[startup+700.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 22425
Raw data (stat): 22425 (PBS4) R 22424 28546 28545 0 -1 0 41623 0 0 0 69905 106 0 0 25 0 1 0 512260146 288882688 40119 4294967295 134512640 135450300 3221224640 3221223376 134538451 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70528 40119 231 231 0 70297 0
vsize: 282112
[startup+710.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 22425
Raw data (stat): 22425 (PBS4) R 22424 28546 28545 0 -1 0 41669 0 0 0 70905 106 0 0 25 0 1 0 512260146 289030144 40165 4294967295 134512640 135450300 3221224640 3221223360 134535772 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70564 40165 231 231 0 70333 0
vsize: 282256
[startup+720.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 22425
Raw data (stat): 22425 (PBS4) R 22424 28546 28545 0 -1 0 42122 0 0 0 71904 107 0 0 25 0 1 0 512260146 289030144 40618 4294967295 134512640 135450300 3221224640 3221223456 134537272 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70564 40618 231 231 0 70333 0
vsize: 282256
[startup+730.009 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 22425
Raw data (stat): 22425 (PBS4) R 22424 28546 28545 0 -1 0 42139 0 0 0 72904 107 0 0 25 0 1 0 512260146 289177600 40635 4294967295 134512640 135450300 3221224640 3221223376 134538457 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70600 40635 231 231 0 70369 0
vsize: 282400
[startup+740.009 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 22425
Raw data (stat): 22425 (PBS4) R 22424 28546 28545 0 -1 0 42193 0 0 0 73904 107 0 0 25 0 1 0 512260146 289476608 40689 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70673 40689 231 231 0 70442 0
vsize: 282692
[startup+750.009 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 22425
Raw data (stat): 22425 (PBS4) R 22424 28546 28545 0 -1 0 42236 0 0 0 74904 108 0 0 25 0 1 0 512260146 289624064 40732 4294967295 134512640 135450300 3221224640 3221223376 134538651 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70709 40732 231 231 0 70478 0
vsize: 282836
[startup+760.008 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 22425
Raw data (stat): 22425 (PBS4) R 22424 28546 28545 0 -1 0 42302 0 0 0 75904 108 0 0 25 0 1 0 512260146 289918976 40798 4294967295 134512640 135450300 3221224640 3221223376 134538554 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70781 40798 231 231 0 70550 0
vsize: 283124
[startup+770.008 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 22425
Raw data (stat): 22425 (PBS4) R 22424 28546 28545 0 -1 0 42333 0 0 0 76904 108 0 0 25 0 1 0 512260146 290107392 40829 4294967295 134512640 135450300 3221224640 3221223472 134549464 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70827 40829 231 231 0 70596 0
vsize: 283308
[startup+780.008 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 22425
Raw data (stat): 22425 (PBS4) R 22424 28546 28545 0 -1 0 42336 0 0 0 77904 108 0 0 25 0 1 0 512260146 290107392 40832 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70827 40832 231 231 0 70596 0
vsize: 283308
[startup+790.007 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 22425
Raw data (stat): 22425 (PBS4) R 22424 28546 28545 0 -1 0 42376 0 0 0 78904 108 0 0 25 0 1 0 512260146 290271232 40872 4294967295 134512640 135450300 3221224640 3221223360 134535551 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70867 40872 231 231 0 70636 0
vsize: 283468
[startup+800.007 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 22425
Raw data (stat): 22425 (PBS4) R 22424 28546 28545 0 -1 0 42379 0 0 0 79904 108 0 0 25 0 1 0 512260146 290271232 40875 4294967295 134512640 135450300 3221224640 3221223456 134537272 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70867 40875 231 231 0 70636 0
vsize: 283468
[startup+810.007 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 22425
Raw data (stat): 22425 (PBS4) R 22424 28546 28545 0 -1 0 42407 0 0 0 80904 108 0 0 25 0 1 0 512260146 290271232 40903 4294967295 134512640 135450300 3221224640 3221223168 134544174 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70867 40903 231 231 0 70636 0
vsize: 283468
[startup+820.006 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 22425
Raw data (stat): 22425 (PBS4) R 22424 28546 28545 0 -1 0 42458 0 0 0 81904 108 0 0 25 0 1 0 512260146 290582528 40954 4294967295 134512640 135450300 3221224640 3221223360 134535551 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70943 40954 231 231 0 70712 0
vsize: 283772
[startup+830.006 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 22425
Raw data (stat): 22425 (PBS4) R 22424 28546 28545 0 -1 0 42462 0 0 0 82904 109 0 0 25 0 1 0 512260146 290582528 40958 4294967295 134512640 135450300 3221224640 3221223456 134537272 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70943 40958 231 231 0 70712 0
vsize: 283772
[startup+840.006 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 22425
Raw data (stat): 22425 (PBS4) R 22424 28546 28545 0 -1 0 42475 0 0 0 83904 109 0 0 25 0 1 0 512260146 290582528 40971 4294967295 134512640 135450300 3221224640 3221223024 134602471 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70943 40971 231 231 0 70712 0
vsize: 283772
[startup+850.006 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 22425
Raw data (stat): 22425 (PBS4) R 22424 28546 28545 0 -1 0 42478 0 0 0 84904 109 0 0 25 0 1 0 512260146 290582528 40974 4294967295 134512640 135450300 3221224640 3221223456 134537240 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70943 40974 231 231 0 70712 0
vsize: 283772
[startup+860.006 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 22425
Raw data (stat): 22425 (PBS4) R 22424 28546 28545 0 -1 0 42503 0 0 0 85904 109 0 0 25 0 1 0 512260146 290738176 40999 4294967295 134512640 135450300 3221224640 3221223376 134538677 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70981 40999 231 231 0 70750 0
vsize: 283924
[startup+870.006 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 22425
Raw data (stat): 22425 (PBS4) R 22424 28546 28545 0 -1 0 42995 0 0 0 86903 110 0 0 25 0 1 0 512260146 290738176 41491 4294967295 134512640 135450300 3221224640 3221223552 134597365 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70981 41491 231 231 0 70750 0
vsize: 283924
[startup+880.005 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 22425
Raw data (stat): 22425 (PBS4) R 22424 28546 28545 0 -1 0 43027 0 0 0 87903 111 0 0 25 0 1 0 512260146 290902016 41523 4294967295 134512640 135450300 3221224640 3221223456 134547503 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71021 41523 231 231 0 70790 0
vsize: 284084
[startup+890.005 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 22425
Raw data (stat): 22425 (PBS4) R 22424 28546 28545 0 -1 0 43053 0 0 0 88903 111 0 0 25 0 1 0 512260146 291045376 41549 4294967295 134512640 135450300 3221224640 3221223376 134538451 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71056 41549 231 231 0 70825 0
vsize: 284224
[startup+900.005 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 22425
Raw data (stat): 22425 (PBS4) R 22424 28546 28545 0 -1 0 43059 0 0 0 89902 111 0 0 25 0 1 0 512260146 291045376 41555 4294967295 134512640 135450300 3221224640 3221223360 134535782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71056 41555 231 231 0 70825 0
vsize: 284224
[startup+910.005 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 22425
Raw data (stat): 22425 (PBS4) R 22424 28546 28545 0 -1 0 43090 0 0 0 90902 112 0 0 25 0 1 0 512260146 291045376 41586 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71056 41586 231 231 0 70825 0
vsize: 284224
[startup+920.005 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 22425
Raw data (stat): 22425 (PBS4) R 22424 28546 28545 0 -1 0 43093 0 0 0 91902 112 0 0 25 0 1 0 512260146 291045376 41589 4294967295 134512640 135450300 3221224640 3221223456 134536478 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71056 41589 231 231 0 70825 0
vsize: 284224
[startup+930.005 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 22425
Raw data (stat): 22425 (PBS4) R 22424 28546 28545 0 -1 0 43101 0 0 0 92902 112 0 0 25 0 1 0 512260146 291045376 41597 4294967295 134512640 135450300 3221224640 3221223376 134538812 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71056 41597 231 231 0 70825 0
vsize: 284224
[startup+940.005 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 22425
Raw data (stat): 22425 (PBS4) R 22424 28546 28545 0 -1 0 43111 0 0 0 93902 113 0 0 25 0 1 0 512260146 291192832 41607 4294967295 134512640 135450300 3221224640 3221223456 134547503 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71092 41607 231 231 0 70861 0
vsize: 284368
[startup+950.005 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 22425
Raw data (stat): 22425 (PBS4) R 22424 28546 28545 0 -1 0 43126 0 0 0 94902 113 0 0 25 0 1 0 512260146 291192832 41622 4294967295 134512640 135450300 3221224640 3221223360 134535675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71092 41622 231 231 0 70861 0
vsize: 284368
[startup+960.005 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 22425
Raw data (stat): 22425 (PBS4) R 22424 28546 28545 0 -1 0 43357 0 0 0 95901 114 0 0 25 0 1 0 512260146 291356672 41853 4294967295 134512640 135450300 3221224640 3221223456 134547478 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71132 41853 231 231 0 70901 0
vsize: 284528
[startup+970.006 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 22425
Raw data (stat): 22425 (PBS4) R 22424 28546 28545 0 -1 0 43360 0 0 0 96901 114 0 0 25 0 1 0 512260146 291356672 41856 4294967295 134512640 135450300 3221224640 3221223456 134536480 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71132 41856 231 231 0 70901 0
vsize: 284528
[startup+980.009 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 22425
Raw data (stat): 22425 (PBS4) R 22424 28546 28545 0 -1 0 43387 0 0 0 97901 114 0 0 25 0 1 0 512260146 291504128 41883 4294967295 134512640 135450300 3221224640 3221223120 134580028 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71168 41883 231 231 0 70937 0
vsize: 284672
[startup+990.008 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 22425
Raw data (stat): 22425 (PBS4) R 22424 28546 28545 0 -1 0 43413 0 0 0 98901 114 0 0 25 0 1 0 512260146 291504128 41909 4294967295 134512640 135450300 3221224640 3221223104 134532771 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71168 41909 231 231 0 70937 0
vsize: 284672
[startup+1000.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 22425
Raw data (stat): 22425 (PBS4) R 22424 28546 28545 0 -1 0 43416 0 0 0 99901 115 0 0 25 0 1 0 512260146 291504128 41912 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71168 41912 231 231 0 70937 0
vsize: 284672
[startup+1010.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 22425
Raw data (stat): 22425 (PBS4) R 22424 28546 28545 0 -1 0 43461 0 0 0 100901 115 0 0 25 0 1 0 512260146 291667968 41957 4294967295 134512640 135450300 3221224640 3221223104 134532580 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71208 41957 231 231 0 70977 0
vsize: 284832
[startup+1020.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 22425
Raw data (stat): 22425 (PBS4) R 22424 28546 28545 0 -1 0 43464 0 0 0 101901 115 0 0 25 0 1 0 512260146 291667968 41960 4294967295 134512640 135450300 3221224640 3221223456 134536501 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71208 41960 231 231 0 70977 0
vsize: 284832
[startup+1030.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 22425
Raw data (stat): 22425 (PBS4) R 22424 28546 28545 0 -1 0 43483 0 0 0 102901 115 0 0 25 0 1 0 512260146 291840000 41979 4294967295 134512640 135450300 3221224640 3221223360 134535675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71250 41979 231 231 0 71019 0
vsize: 285000
[startup+1040.01 s]
Raw data (loadavg): 0.99 0.97 0.92 3/54 22425
Raw data (stat): 22425 (PBS4) R 22424 28546 28545 0 -1 0 43633 0 0 0 103901 116 0 0 25 0 1 0 512260146 291840000 42129 4294967295 134512640 135450300 3221224640 3221223552 134597060 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71250 42129 231 231 0 71019 0
vsize: 285000
[startup+1050.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 22425
Raw data (stat): 22425 (PBS4) R 22424 28546 28545 0 -1 0 43662 0 0 0 104900 116 0 0 25 0 1 0 512260146 291840000 42158 4294967295 134512640 135450300 3221224640 3221223024 134579438 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71250 42158 231 231 0 71019 0
vsize: 285000
[startup+1060.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 22425
Raw data (stat): 22425 (PBS4) R 22424 28546 28545 0 -1 0 43693 0 0 0 105900 116 0 0 25 0 1 0 512260146 291971072 42189 4294967295 134512640 135450300 3221224640 3221223456 134547859 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71282 42189 231 231 0 71051 0
vsize: 285128
[startup+1070.01 s]
Raw data (loadavg): 0.99 0.97 0.92 3/54 22425
Raw data (stat): 22425 (PBS4) R 22424 28546 28545 0 -1 0 43696 0 0 0 106900 117 0 0 25 0 1 0 512260146 291971072 42192 4294967295 134512640 135450300 3221224640 3221223456 134536478 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71282 42192 231 231 0 71051 0
vsize: 285128
[startup+1080.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 22425
Raw data (stat): 22425 (PBS4) R 22424 28546 28545 0 -1 0 43725 0 0 0 107900 117 0 0 25 0 1 0 512260146 292102144 42221 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71314 42221 231 231 0 71083 0
vsize: 285256
[startup+1090.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 22425
Raw data (stat): 22425 (PBS4) R 22424 28546 28545 0 -1 0 43751 0 0 0 108900 117 0 0 25 0 1 0 512260146 292438016 42247 4294967295 134512640 135450300 3221224640 3221223472 134549500 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71396 42247 231 231 0 71165 0
vsize: 285584
[startup+1100.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 22425
Raw data (stat): 22425 (PBS4) R 22424 28546 28545 0 -1 0 43775 0 0 0 109900 117 0 0 25 0 1 0 512260146 292438016 42271 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71396 42271 231 231 0 71165 0
vsize: 285584
[startup+1110.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 22425
Raw data (stat): 22425 (PBS4) R 22424 28546 28545 0 -1 0 43798 0 0 0 110900 117 0 0 25 0 1 0 512260146 292585472 42294 4294967295 134512640 135450300 3221224640 3221223456 134547503 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71432 42294 231 231 0 71201 0
vsize: 285728
[startup+1120.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 22425
Raw data (stat): 22425 (PBS4) R 22424 28546 28545 0 -1 0 43801 0 0 0 111901 117 0 0 25 0 1 0 512260146 292585472 42297 4294967295 134512640 135450300 3221224640 3221223456 134547503 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71432 42297 231 231 0 71201 0
vsize: 285728
[startup+1130.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 22425
Raw data (stat): 22425 (PBS4) R 22424 28546 28545 0 -1 0 43884 0 0 0 112900 118 0 0 25 0 1 0 512260146 292585472 42380 4294967295 134512640 135450300 3221224640 3221223456 134536483 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71432 42380 231 231 0 71201 0
vsize: 285728
[startup+1140.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 22425
Raw data (stat): 22425 (PBS4) R 22424 28546 28545 0 -1 0 43910 0 0 0 113900 118 0 0 25 0 1 0 512260146 292585472 42406 4294967295 134512640 135450300 3221224640 3221223360 134535551 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71432 42406 231 231 0 71201 0
vsize: 285728
[startup+1150.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 22425
Raw data (stat): 22425 (PBS4) R 22424 28546 28545 0 -1 0 43946 0 0 0 114900 119 0 0 25 0 1 0 512260146 292749312 42442 4294967295 134512640 135450300 3221224640 3221223360 134535516 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71472 42442 231 231 0 71241 0
vsize: 285888
[startup+1160.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 22425
Raw data (stat): 22425 (PBS4) R 22424 28546 28545 0 -1 0 43949 0 0 0 115900 119 0 0 25 0 1 0 512260146 292749312 42445 4294967295 134512640 135450300 3221224640 3221223456 134536510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71472 42445 231 231 0 71241 0
vsize: 285888
[startup+1170.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 22425
Raw data (stat): 22425 (PBS4) R 22424 28546 28545 0 -1 0 43975 0 0 0 116900 119 0 0 25 0 1 0 512260146 292925440 42471 4294967295 134512640 135450300 3221224640 3221223360 134535932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71515 42471 231 231 0 71284 0
vsize: 286060
[startup+1180.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 22425
Raw data (stat): 22425 (PBS4) R 22424 28546 28545 0 -1 0 43977 0 0 0 117900 119 0 0 25 0 1 0 512260146 292925440 42473 4294967295 134512640 135450300 3221224640 3221223456 134536518 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71515 42473 231 231 0 71284 0
vsize: 286060
[startup+1190.01 s]
Raw data (loadavg): 0.99 0.97 0.92 3/54 22425
Raw data (stat): 22425 (PBS4) R 22424 28546 28545 0 -1 0 44014 0 0 0 118900 119 0 0 25 0 1 0 512260146 292925440 42510 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71515 42510 231 231 0 71284 0
vsize: 286060
[startup+1200.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 22425
Raw data (stat): 22425 (PBS4) R 22424 28546 28545 0 -1 0 44042 0 0 0 119900 119 0 0 25 0 1 0 512260146 293056512 42538 4294967295 134512640 135450300 3221224640 3221223360 134535495 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71547 42538 231 231 0 71316 0
vsize: 286188
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.09 s]
Raw data (loadavg): 0.99 0.97 0.92 1/54 22425
Raw data (stat): 22425 (PBS4) Z 22424 28546 28545 0 -1 1036 44042 0 0 0 119900 127 0 0 25 0 1 0 512260146 0 0 4294967295 0 0 0 0 0 0 0 7 0 3222412051 0 0 17 0 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.09
CPU time (s): 1200.28
CPU user time (s): 1199
CPU system time (s): 1.27981
CPU usage (%): 100.016
Max. virtual memory (Kb): 286188
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####