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/uclid_pb_benchmarks/normalized-cache-ibm-q-full.all.ucl.opb
MD5SUM	b8424149645ffb0af409a9e7aef74685
Bench Category	no optimization function (SAT)
Has Objective Function	NO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	0
Biggest coefficient in the objective function	0
Number of bits for the biggest coefficient in the objective function	0
Sum of the numbers in the objective function	0
Number of bits of the sum of numbers in the objective function	0
Biggest number in a constraint	68
Number of bits of the biggest number in a constraint	7
Biggest sum of numbers in a constraint	257
Number of bits of the biggest sum of numbers	9
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Number of variables	81558
Total number of constraints	240469
Number of constraints which are clauses	235865
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	4604
Minimum length of a constraint	1
Maximum length of a constraint	13
Trace number 7871

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc18 THE 2005-04-17 16:44:36 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=2436 boxname=wulflinc18 idbench=271 idsolver=6 numberseed=0
MD5SUM SOLVER: 2225cba0d9b2c30e235f6cafc823d7ac  /oldhome/oroussel/solvers/PBS4
MD5SUM BENCH:  b8424149645ffb0af409a9e7aef74685  /oldhome/oroussel/tmp/wulflinc18/normalized-cache-ibm-q-full.all.ucl.opb
REAL COMMAND:  PBS4 /oldhome/oroussel/tmp/wulflinc18/normalized-cache-ibm-q-full.all.ucl.opb
IDLAUNCH: 2436
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.177
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.177
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 899.07

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        814580 kB
Buffers:         36400 kB
Cached:         145588 kB
SwapCached:        320 kB
Active:          81424 kB
Inactive:       103828 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        814328 kB
SwapTotal:     2097892 kB
SwapFree:      2097572 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6944 kB
Slab:            29124 kB
Committed_AS:    63704 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-04-17 17:04:39 (client local time) WITH STATUS 0 IN 1200.26 SECONDS
stats: 2436 7 1200.26 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c PBS v4 by Bashar Al-Rawi & Fadi Aloul
c Solving /oldhome/oroussel/tmp/wulflinc18/normalized-cache-ibm-q-full.all.ucl.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.76 0.94 0.90 2/55 16730
Raw data (stat): 16730 (runsolver) R 16729 20024 20023 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 512045479 1052672 99 4294967295 134512640 135381576 3221224512 3221219760 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+9.99978 s]
Raw data (loadavg): 0.80 0.94 0.91 2/55 16730
Raw data (stat): 16730 (PBS4) R 16729 20024 20023 0 -1 0 8970 0 0 0 972 27 0 0 25 0 1 0 512045479 34050048 7375 4294967295 134512640 135450300 3221224624 3221157328 134616166 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8313 7375 231 231 0 8082 0
vsize: 33252
[startup+20.0011 s]
Raw data (loadavg): 0.83 0.95 0.91 2/55 16730
Raw data (stat): 16730 (PBS4) R 16729 20024 20023 0 -1 0 10362 0 0 0 1969 30 0 0 25 0 1 0 512045479 39718912 8554 4294967295 134512640 135450300 3221224624 3221223360 134538443 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9697 8554 231 231 0 9466 0
vsize: 38788
[startup+30.0007 s]
Raw data (loadavg): 0.85 0.95 0.91 2/55 16730
Raw data (stat): 16730 (PBS4) R 16729 20024 20023 0 -1 0 10696 0 0 0 2968 32 0 0 25 0 1 0 512045479 41115648 8888 4294967295 134512640 135450300 3221224624 3221223360 134538549 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10038 8888 231 231 0 9807 0
vsize: 40152
[startup+40.0006 s]
Raw data (loadavg): 0.88 0.95 0.91 2/55 16730
Raw data (stat): 16730 (PBS4) R 16729 20024 20023 0 -1 0 11076 0 0 0 3967 33 0 0 25 0 1 0 512045479 42459136 9202 4294967295 134512640 135450300 3221224624 3221223472 134539322 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10366 9202 231 231 0 10135 0
vsize: 41464
[startup+50.0019 s]
Raw data (loadavg): 0.89 0.95 0.91 2/55 16730
Raw data (stat): 16730 (PBS4) R 16729 20024 20023 0 -1 0 11297 0 0 0 4966 34 0 0 25 0 1 0 512045479 43397120 9407 4294967295 134512640 135450300 3221224624 3221223360 134537970 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10595 9407 231 231 0 10364 0
vsize: 42380
[startup+60.0016 s]
Raw data (loadavg): 0.91 0.95 0.91 2/55 16730
Raw data (stat): 16730 (PBS4) R 16729 20024 20023 0 -1 0 11788 0 0 0 5965 35 0 0 25 0 1 0 512045479 45133824 9733 4294967295 134512640 135450300 3221224624 3221223360 134538459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11019 9733 231 231 0 10788 0
vsize: 44076
[startup+70.0015 s]
Raw data (loadavg): 0.92 0.95 0.91 2/55 16730
Raw data (stat): 16730 (PBS4) R 16729 20024 20023 0 -1 0 11928 0 0 0 6964 35 0 0 25 0 1 0 512045479 45809664 9873 4294967295 134512640 135450300 3221224624 3221223360 134538443 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11184 9873 231 231 0 10953 0
vsize: 44736
[startup+80.0019 s]
Raw data (loadavg): 0.93 0.95 0.91 2/55 16730
Raw data (stat): 16730 (PBS4) R 16729 20024 20023 0 -1 0 12318 0 0 0 7963 37 0 0 25 0 1 0 512045479 47005696 10098 4294967295 134512640 135450300 3221224624 3221222976 134533173 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11476 10098 231 231 0 11245 0
vsize: 45904
[startup+90.0017 s]
Raw data (loadavg): 0.94 0.95 0.91 2/55 16730
Raw data (stat): 16730 (PBS4) R 16729 20024 20023 0 -1 0 12626 0 0 0 8962 38 0 0 25 0 1 0 512045479 47542272 10213 4294967295 134512640 135450300 3221224624 3221223124 135070373 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11607 10213 231 231 0 11376 0
vsize: 46428
[startup+100.002 s]
Raw data (loadavg): 0.95 0.95 0.91 2/55 16732
Raw data (stat): 16730 (PBS4) R 16729 20024 20023 0 -1 0 12780 0 0 0 9961 39 0 0 25 0 1 0 512045479 48230400 10367 4294967295 134512640 135450300 3221224624 3221223344 134533727 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11775 10367 231 231 0 11544 0
vsize: 47100
[startup+110.003 s]
Raw data (loadavg): 0.96 0.95 0.91 2/55 16732
Raw data (stat): 16730 (PBS4) R 16729 20024 20023 0 -1 0 13051 0 0 0 10960 41 0 0 25 0 1 0 512045479 48508928 10445 4294967295 134512640 135450300 3221224624 3221223360 134538549 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11843 10445 231 231 0 11612 0
vsize: 47372
[startup+120.003 s]
Raw data (loadavg): 0.96 0.95 0.91 2/55 16732
Raw data (stat): 16730 (PBS4) R 16729 20024 20023 0 -1 0 13536 0 0 0 11957 43 0 0 25 0 1 0 512045479 50085888 10770 4294967295 134512640 135450300 3221224624 3221223216 134844232 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12228 10770 231 231 0 11997 0
vsize: 48912
[startup+130.003 s]
Raw data (loadavg): 0.97 0.96 0.91 2/55 16732
Raw data (stat): 16730 (PBS4) R 16729 20024 20023 0 -1 0 13594 0 0 0 12956 44 0 0 25 0 1 0 512045479 50221056 10828 4294967295 134512640 135450300 3221224624 3221223232 134537664 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12261 10828 231 231 0 12030 0
vsize: 49044
[startup+140.004 s]
Raw data (loadavg): 0.97 0.96 0.91 2/55 16732
Raw data (stat): 16730 (PBS4) R 16729 20024 20023 0 -1 0 13891 0 0 0 13955 46 0 0 25 0 1 0 512045479 50761728 10965 4294967295 134512640 135450300 3221224624 3221223360 134537896 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12393 10965 231 231 0 12162 0
vsize: 49572
[startup+150.004 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 16732
Raw data (stat): 16730 (PBS4) R 16729 20024 20023 0 -1 0 14124 0 0 0 14954 47 0 0 25 0 1 0 512045479 50958336 11038 4294967295 134512640 135450300 3221224624 3221223360 134538549 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12441 11038 231 231 0 12210 0
vsize: 49764
[startup+160.004 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 16732
Raw data (stat): 16730 (PBS4) R 16729 20024 20023 0 -1 0 14195 0 0 0 15954 48 0 0 25 0 1 0 512045479 51093504 11109 4294967295 134512640 135450300 3221224624 3221222976 134533112 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12474 11109 231 231 0 12243 0
vsize: 49896
[startup+170.004 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 16732
Raw data (stat): 16730 (PBS4) R 16729 20024 20023 0 -1 0 14454 0 0 0 16952 49 0 0 25 0 1 0 512045479 51724288 11208 4294967295 134512640 135450300 3221224624 3221222976 134533112 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12628 11208 231 231 0 12397 0
vsize: 50512
[startup+180.004 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 16732
Raw data (stat): 16730 (PBS4) R 16729 20024 20023 0 -1 0 14818 0 0 0 17950 51 0 0 25 0 1 0 512045479 52666368 11379 4294967295 134512640 135450300 3221224624 3221223500 134533356 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12858 11379 231 231 0 12627 0
vsize: 51432
[startup+190.004 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 16732
Raw data (stat): 16730 (PBS4) R 16729 20024 20023 0 -1 0 14841 0 0 0 18950 52 0 0 25 0 1 0 512045479 52666368 11402 4294967295 134512640 135450300 3221224624 3221223360 134537987 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12858 11402 231 231 0 12627 0
vsize: 51432
[startup+200.004 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 16732
Raw data (stat): 16730 (PBS4) R 16729 20024 20023 0 -1 0 15098 0 0 0 19948 54 0 0 25 0 1 0 512045479 52932608 11466 4294967295 134512640 135450300 3221224624 3221223360 134537899 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12923 11466 231 231 0 12692 0
vsize: 51692
[startup+210.004 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 16732
Raw data (stat): 16730 (PBS4) R 16729 20024 20023 0 -1 0 15353 0 0 0 20948 55 0 0 25 0 1 0 512045479 53727232 11622 4294967295 134512640 135450300 3221224624 3221223360 134538974 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13117 11622 231 231 0 12886 0
vsize: 52468
[startup+220.005 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 16732
Raw data (stat): 16730 (PBS4) R 16729 20024 20023 0 -1 0 15556 0 0 0 21947 56 0 0 25 0 1 0 512045479 53727232 11665 4294967295 134512640 135450300 3221224624 3221223360 134538421 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13117 11665 231 231 0 12886 0
vsize: 52468
[startup+230.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16732
Raw data (stat): 16730 (PBS4) R 16729 20024 20023 0 -1 0 15592 0 0 0 22946 57 0 0 25 0 1 0 512045479 53727232 11701 4294967295 134512640 135450300 3221224624 3221223360 134537876 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13117 11701 231 231 0 12886 0
vsize: 52468
[startup+240.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16732
Raw data (stat): 16730 (PBS4) R 16729 20024 20023 0 -1 0 15787 0 0 0 23945 58 0 0 25 0 1 0 512045479 53727232 11736 4294967295 134512640 135450300 3221224624 3221223360 134538549 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13117 11736 231 231 0 12886 0
vsize: 52468
[startup+250.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16732
Raw data (stat): 16730 (PBS4) R 16729 20024 20023 0 -1 0 15983 0 0 0 24944 59 0 0 25 0 1 0 512045479 62115840 11772 4294967295 134512640 135450300 3221224624 3221223360 134538421 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15165 11772 231 231 0 14934 0
vsize: 60660
[startup+260.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16732
Raw data (stat): 16730 (PBS4) R 16729 20024 20023 0 -1 0 15987 0 0 0 25943 60 0 0 25 0 1 0 512045479 62115840 11776 4294967295 134512640 135450300 3221224624 3221223440 134547165 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15165 11776 231 231 0 14934 0
vsize: 60660
[startup+270.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16732
Raw data (stat): 16730 (PBS4) R 16729 20024 20023 0 -1 0 16184 0 0 0 26942 61 0 0 25 0 1 0 512045479 62386176 11813 4294967295 134512640 135450300 3221224624 3221223360 134538443 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15231 11813 231 231 0 15000 0
vsize: 60924
[startup+280.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16732
Raw data (stat): 16730 (PBS4) R 16729 20024 20023 0 -1 0 16195 0 0 0 27941 62 0 0 25 0 1 0 512045479 62386176 11824 4294967295 134512640 135450300 3221224624 3221223360 134538549 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15231 11824 231 231 0 15000 0
vsize: 60924
[startup+290.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16732
Raw data (stat): 16730 (PBS4) R 16729 20024 20023 0 -1 0 16392 0 0 0 28940 63 0 0 25 0 1 0 512045479 62386176 11861 4294967295 134512640 135450300 3221224624 3221223440 134546796 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15231 11861 231 231 0 15000 0
vsize: 60924
[startup+300.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16732
Raw data (stat): 16730 (PBS4) R 16729 20024 20023 0 -1 0 16462 0 0 0 29939 65 0 0 25 0 1 0 512045479 62517248 11898 4294967295 134512640 135450300 3221224624 3221223360 134537896 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15263 11898 231 231 0 15032 0
vsize: 61052
[startup+310.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16732
Raw data (stat): 16730 (PBS4) R 16729 20024 20023 0 -1 0 16737 0 0 0 30937 66 0 0 25 0 1 0 512045479 62779392 11947 4294967295 134512640 135450300 3221224624 3221223564 134530375 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15327 11947 231 231 0 15096 0
vsize: 61308
[startup+320.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16732
Raw data (stat): 16730 (PBS4) R 16729 20024 20023 0 -1 0 16800 0 0 0 31936 68 0 0 25 0 1 0 512045479 62910464 11977 4294967295 134512640 135450300 3221224624 3221223360 134538459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15359 11977 231 231 0 15128 0
vsize: 61436
[startup+330.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16732
Raw data (stat): 16730 (PBS4) R 16729 20024 20023 0 -1 0 16836 0 0 0 32936 68 0 0 25 0 1 0 512045479 62910464 12013 4294967295 134512640 135450300 3221224624 3221223360 134538421 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15359 12013 231 231 0 15128 0
vsize: 61436
[startup+340.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16732
Raw data (stat): 16730 (PBS4) R 16729 20024 20023 0 -1 0 17058 0 0 0 33934 70 0 0 25 0 1 0 512045479 63074304 12075 4294967295 134512640 135450300 3221224624 3221223056 134533524 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15399 12075 231 231 0 15168 0
vsize: 61596
[startup+350.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16732
Raw data (stat): 16730 (PBS4) R 16729 20024 20023 0 -1 0 17160 0 0 0 34933 71 0 0 25 0 1 0 512045479 63475712 12144 4294967295 134512640 135450300 3221224624 3221222976 134533112 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15497 12144 231 231 0 15266 0
vsize: 61988
[startup+360.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16732
Raw data (stat): 16730 (PBS4) R 16729 20024 20023 0 -1 0 17385 0 0 0 35932 72 0 0 25 0 1 0 512045479 63774720 12209 4294967295 134512640 135450300 3221224624 3221222976 134533081 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15570 12209 231 231 0 15339 0
vsize: 62280
[startup+370.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16732
Raw data (stat): 16730 (PBS4) R 16729 20024 20023 0 -1 0 17471 0 0 0 36932 73 0 0 25 0 1 0 512045479 64172032 12262 4294967295 134512640 135450300 3221224624 3221222976 134533081 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15667 12262 231 231 0 15436 0
vsize: 62668
[startup+380.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16732
Raw data (stat): 16730 (PBS4) R 16729 20024 20023 0 -1 0 17513 0 0 0 37932 73 0 0 25 0 1 0 512045479 64303104 12271 4294967295 134512640 135450300 3221224624 3221223456 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15699 12271 231 231 0 15468 0
vsize: 62796
[startup+390.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16732
Raw data (stat): 16730 (PBS4) R 16729 20024 20023 0 -1 0 17801 0 0 0 38930 75 0 0 25 0 1 0 512045479 64565248 12333 4294967295 134512640 135450300 3221224624 3221223036 134533356 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15763 12333 231 231 0 15532 0
vsize: 63052
[startup+400.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16734
Raw data (stat): 16730 (PBS4) R 16729 20024 20023 0 -1 0 17823 0 0 0 39929 76 0 0 25 0 1 0 512045479 64565248 12355 4294967295 134512640 135450300 3221224624 3221223056 134533524 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15763 12355 231 231 0 15532 0
vsize: 63052
[startup+410.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16734
Raw data (stat): 16730 (PBS4) R 16729 20024 20023 0 -1 0 18001 0 0 0 40928 78 0 0 25 0 1 0 512045479 64565248 12373 4294967295 134512640 135450300 3221224624 3221223360 134537970 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15763 12373 231 231 0 15532 0
vsize: 63052
[startup+420.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16734
Raw data (stat): 16730 (PBS4) R 16729 20024 20023 0 -1 0 18064 0 0 0 41928 78 0 0 25 0 1 0 512045479 64696320 12403 4294967295 134512640 135450300 3221224624 3221223360 134538421 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15795 12403 231 231 0 15564 0
vsize: 63180
[startup+430.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16734
Raw data (stat): 16730 (PBS4) R 16729 20024 20023 0 -1 0 18306 0 0 0 42926 79 0 0 25 0 1 0 512045479 64827392 12452 4294967295 134512640 135450300 3221224624 3221222976 134533185 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15827 12452 231 231 0 15596 0
vsize: 63308
[startup+440.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16734
Raw data (stat): 16730 (PBS4) R 16729 20024 20023 0 -1 0 18330 0 0 0 43925 81 0 0 25 0 1 0 512045479 64827392 12476 4294967295 134512640 135450300 3221224624 3221222976 134533081 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15827 12476 231 231 0 15596 0
vsize: 63308
[startup+450.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16734
Raw data (stat): 16730 (PBS4) R 16729 20024 20023 0 -1 0 18538 0 0 0 44924 82 0 0 25 0 1 0 512045479 64962560 12524 4294967295 134512640 135450300 3221224624 3221223360 134537876 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15860 12524 231 231 0 15629 0
vsize: 63440
[startup+460.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16734
Raw data (stat): 16730 (PBS4) R 16729 20024 20023 0 -1 0 18560 0 0 0 45923 83 0 0 25 0 1 0 512045479 64962560 12546 4294967295 134512640 135450300 3221224624 3221223360 134538245 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15860 12546 231 231 0 15629 0
vsize: 63440
[startup+470.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16734
Raw data (stat): 16730 (PBS4) R 16729 20024 20023 0 -1 0 18584 0 0 0 46923 83 0 0 25 0 1 0 512045479 64962560 12570 4294967295 134512640 135450300 3221224624 3221223360 134538727 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15860 12570 231 231 0 15629 0
vsize: 63440
[startup+480.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16734
Raw data (stat): 16730 (PBS4) R 16729 20024 20023 0 -1 0 18750 0 0 0 47923 84 0 0 25 0 1 0 512045479 64962560 12576 4294967295 134512640 135450300 3221224624 3221223360 134538540 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15860 12576 231 231 0 15629 0
vsize: 63440
[startup+490.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16734
Raw data (stat): 16730 (PBS4) R 16729 20024 20023 0 -1 0 18758 0 0 0 48922 84 0 0 25 0 1 0 512045479 64962560 12584 4294967295 134512640 135450300 3221224624 3221223360 134538242 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15860 12584 231 231 0 15629 0
vsize: 63440
[startup+500.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16734
Raw data (stat): 16730 (PBS4) R 16729 20024 20023 0 -1 0 18966 0 0 0 49922 85 0 0 25 0 1 0 512045479 65093632 12599 4294967295 134512640 135450300 3221224624 3221223360 134537876 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15892 12599 231 231 0 15661 0
vsize: 63568
[startup+510.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16734
Raw data (stat): 16730 (PBS4) R 16729 20024 20023 0 -1 0 19010 0 0 0 50921 86 0 0 25 0 1 0 512045479 65495040 12643 4294967295 134512640 135450300 3221224624 3221223028 135070702 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15990 12643 231 231 0 15759 0
vsize: 63960
[startup+520.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16734
Raw data (stat): 16730 (PBS4) R 16729 20024 20023 0 -1 0 19247 0 0 0 51921 87 0 0 25 0 1 0 512045479 65757184 12687 4294967295 134512640 135450300 3221224624 3221223564 134530260 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16054 12687 231 231 0 15823 0
vsize: 64216
[startup+530.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16734
Raw data (stat): 16730 (PBS4) R 16729 20024 20023 0 -1 0 19270 0 0 0 52920 87 0 0 25 0 1 0 512045479 65757184 12710 4294967295 134512640 135450300 3221224624 3221223360 134538459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16054 12710 231 231 0 15823 0
vsize: 64216
[startup+540.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16734
Raw data (stat): 16730 (PBS4) R 16729 20024 20023 0 -1 0 19341 0 0 0 53920 88 0 0 25 0 1 0 512045479 65904640 12781 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16090 12781 231 231 0 15859 0
vsize: 64360
[startup+550.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16734
Raw data (stat): 16730 (PBS4) R 16729 20024 20023 0 -1 0 19530 0 0 0 54919 89 0 0 25 0 1 0 512045479 65904640 12810 4294967295 134512640 135450300 3221224624 3221223360 134538443 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16090 12810 231 231 0 15859 0
vsize: 64360
[startup+560.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16734
Raw data (stat): 16730 (PBS4) R 16729 20024 20023 0 -1 0 19666 0 0 0 55918 89 0 0 25 0 1 0 512045479 66531328 12946 4294967295 134512640 135450300 3221224624 3221223360 134538421 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16243 12946 231 231 0 16012 0
vsize: 64972
[startup+570.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16734
Raw data (stat): 16730 (PBS4) R 16729 20024 20023 0 -1 0 19852 0 0 0 56918 90 0 0 25 0 1 0 512045479 66531328 12972 4294967295 134512640 135450300 3221224624 3221223360 134538549 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16243 12972 231 231 0 16012 0
vsize: 64972
[startup+580.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16734
Raw data (stat): 16730 (PBS4) R 16729 20024 20023 0 -1 0 20040 0 0 0 57917 91 0 0 25 0 1 0 512045479 66531328 13000 4294967295 134512640 135450300 3221224624 3221223360 134538490 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16243 13000 231 231 0 16012 0
vsize: 64972
[startup+590.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16734
Raw data (stat): 16730 (PBS4) R 16729 20024 20023 0 -1 0 20061 0 0 0 58917 91 0 0 25 0 1 0 512045479 66531328 13021 4294967295 134512640 135450300 3221224624 3221223360 134538424 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16243 13021 231 231 0 16012 0
vsize: 64972
[startup+600.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16734
Raw data (stat): 16730 (PBS4) R 16729 20024 20023 0 -1 0 20272 0 0 0 59916 92 0 0 25 0 1 0 512045479 66662400 13039 4294967295 134512640 135450300 3221224624 3221223564 134530389 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16275 13039 231 231 0 16044 0
vsize: 65100
[startup+610.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16734
Raw data (stat): 16730 (PBS4) R 16729 20024 20023 0 -1 0 20368 0 0 0 60916 93 0 0 25 0 1 0 512045479 66793472 13102 4294967295 134512640 135450300 3221224624 3221223360 134538549 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16307 13102 231 231 0 16076 0
vsize: 65228
[startup+620.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16734
Raw data (stat): 16730 (PBS4) R 16729 20024 20023 0 -1 0 20397 0 0 0 61915 94 0 0 25 0 1 0 512045479 66793472 13131 4294967295 134512640 135450300 3221224624 3221223360 134537876 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16307 13131 231 231 0 16076 0
vsize: 65228
[startup+630.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16734
Raw data (stat): 16730 (PBS4) R 16729 20024 20023 0 -1 0 20678 0 0 0 62915 94 0 0 25 0 1 0 512045479 67194880 13219 4294967295 134512640 135450300 3221224624 3221223056 134533524 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16405 13219 231 231 0 16174 0
vsize: 65620
[startup+640.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16734
Raw data (stat): 16730 (PBS4) R 16729 20024 20023 0 -1 0 20716 0 0 0 63915 94 0 0 25 0 1 0 512045479 67194880 13257 4294967295 134512640 135450300 3221224624 3221223360 134538443 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16405 13257 231 231 0 16174 0
vsize: 65620
[startup+650.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16734
Raw data (stat): 16730 (PBS4) R 16729 20024 20023 0 -1 0 20900 0 0 0 64914 95 0 0 25 0 1 0 512045479 67194880 13281 4294967295 134512640 135450300 3221224624 3221223360 134538528 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16405 13281 231 231 0 16174 0
vsize: 65620
[startup+660.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16734
Raw data (stat): 16730 (PBS4) R 16729 20024 20023 0 -1 0 20931 0 0 0 65914 95 0 0 25 0 1 0 512045479 67194880 13312 4294967295 134512640 135450300 3221224624 3221223360 134538554 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16405 13312 231 231 0 16174 0
vsize: 65620
[startup+670.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16734
Raw data (stat): 16730 (PBS4) R 16729 20024 20023 0 -1 0 21026 0 0 0 66914 96 0 0 25 0 1 0 512045479 67457024 13341 4294967295 134512640 135450300 3221224624 3221222976 134533112 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16469 13341 231 231 0 16238 0
vsize: 65876
[startup+680.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16734
Raw data (stat): 16730 (PBS4) R 16729 20024 20023 0 -1 0 21255 0 0 0 67913 97 0 0 25 0 1 0 512045479 67588096 13377 4294967295 134512640 135450300 3221224624 3221223360 134538435 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16501 13377 231 231 0 16270 0
vsize: 66004
[startup+690.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16734
Raw data (stat): 16730 (PBS4) R 16729 20024 20023 0 -1 0 21361 0 0 0 68913 97 0 0 25 0 1 0 512045479 68030464 13483 4294967295 134512640 135450300 3221224624 3221223360 134538490 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16609 13483 231 231 0 16378 0
vsize: 66436
[startup+700.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16736
Raw data (stat): 16730 (PBS4) R 16729 20024 20023 0 -1 0 21581 0 0 0 69912 98 0 0 25 0 1 0 512045479 68161536 13510 4294967295 134512640 135450300 3221224624 3221222976 134533081 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16641 13510 231 231 0 16410 0
vsize: 66564
[startup+710.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16736
Raw data (stat): 16730 (PBS4) R 16729 20024 20023 0 -1 0 21633 0 0 0 70912 98 0 0 25 0 1 0 512045479 68292608 13529 4294967295 134512640 135450300 3221224624 3221222976 134533081 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16673 13529 231 231 0 16442 0
vsize: 66692
[startup+720.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16736
Raw data (stat): 16730 (PBS4) R 16729 20024 20023 0 -1 0 23172 0 0 0 71909 102 0 0 25 0 1 0 512045479 74584064 13531 4294967295 134512640 135450300 3221224624 3221223360 134538443 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18209 13531 231 231 0 17978 0
vsize: 72836
[startup+730.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16736
Raw data (stat): 16730 (PBS4) R 16729 20024 20023 0 -1 0 23335 0 0 0 72908 102 0 0 25 0 1 0 512045479 74584064 13534 4294967295 134512640 135450300 3221224624 3221223360 134538435 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18209 13534 231 231 0 17978 0
vsize: 72836
[startup+740.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16736
Raw data (stat): 16730 (PBS4) R 16729 20024 20023 0 -1 0 23427 0 0 0 73908 103 0 0 25 0 1 0 512045479 74981376 13593 4294967295 134512640 135450300 3221224624 3221223360 134538459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18306 13593 231 231 0 18075 0
vsize: 73224
[startup+750.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16736
Raw data (stat): 16730 (PBS4) R 16729 20024 20023 0 -1 0 23629 0 0 0 74908 103 0 0 25 0 1 0 512045479 75112448 13602 4294967295 134512640 135450300 3221224624 3221223360 134538672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18338 13602 231 231 0 18107 0
vsize: 73352
[startup+760.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16736
Raw data (stat): 16730 (PBS4) R 16729 20024 20023 0 -1 0 23632 0 0 0 75907 104 0 0 25 0 1 0 512045479 75112448 13605 4294967295 134512640 135450300 3221224624 3221223360 134537876 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18338 13605 231 231 0 18107 0
vsize: 73352
[startup+770.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16736
Raw data (stat): 16730 (PBS4) R 16729 20024 20023 0 -1 0 23635 0 0 0 76907 104 0 0 25 0 1 0 512045479 75112448 13608 4294967295 134512640 135450300 3221224624 3221223564 134530276 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18338 13608 231 231 0 18107 0
vsize: 73352
[startup+780.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16736
Raw data (stat): 16730 (PBS4) R 16729 20024 20023 0 -1 0 23808 0 0 0 77907 105 0 0 25 0 1 0 512045479 75276288 13621 4294967295 134512640 135450300 3221224624 3221223360 134538554 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18378 13621 231 231 0 18147 0
vsize: 73512
[startup+790.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16736
Raw data (stat): 16730 (PBS4) R 16729 20024 20023 0 -1 0 23844 0 0 0 78907 105 0 0 25 0 1 0 512045479 75542528 13657 4294967295 134512640 135450300 3221224624 3221223564 134530387 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18443 13657 231 231 0 18212 0
vsize: 73772
[startup+800.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16736
Raw data (stat): 16730 (PBS4) R 16729 20024 20023 0 -1 0 23854 0 0 0 79907 105 0 0 25 0 1 0 512045479 75542528 13667 4294967295 134512640 135450300 3221224624 3221223360 134538730 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18443 13667 231 231 0 18212 0
vsize: 73772
[startup+810.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16736
Raw data (stat): 16730 (PBS4) R 16729 20024 20023 0 -1 0 23860 0 0 0 80906 106 0 0 25 0 1 0 512045479 75542528 13673 4294967295 134512640 135450300 3221224624 3221223360 134538549 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18443 13673 231 231 0 18212 0
vsize: 73772
[startup+820.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16736
Raw data (stat): 16730 (PBS4) R 16729 20024 20023 0 -1 0 24055 0 0 0 81906 107 0 0 25 0 1 0 512045479 75542528 13708 4294967295 134512640 135450300 3221224624 3221223360 134538443 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18443 13708 231 231 0 18212 0
vsize: 73772
[startup+830.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16736
Raw data (stat): 16730 (PBS4) R 16729 20024 20023 0 -1 0 24107 0 0 0 82906 107 0 0 25 0 1 0 512045479 75542528 13760 4294967295 134512640 135450300 3221224624 3221223488 134539232 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18443 13760 231 231 0 18212 0
vsize: 73772
[startup+840.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16736
Raw data (stat): 16730 (PBS4) R 16729 20024 20023 0 -1 0 24215 0 0 0 83905 107 0 0 25 0 1 0 512045479 75804672 13802 4294967295 134512640 135450300 3221224624 3221223360 134537970 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18507 13802 231 231 0 18276 0
vsize: 74028
[startup+850.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16736
Raw data (stat): 16730 (PBS4) R 16729 20024 20023 0 -1 0 24406 0 0 0 84905 108 0 0 25 0 1 0 512045479 75804672 13833 4294967295 134512640 135450300 3221224624 3221223360 134538549 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18507 13833 231 231 0 18276 0
vsize: 74028
[startup+860.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16736
Raw data (stat): 16730 (PBS4) R 16729 20024 20023 0 -1 0 24451 0 0 0 85905 108 0 0 25 0 1 0 512045479 75939840 13878 4294967295 134512640 135450300 3221224624 3221223056 134533521 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18540 13878 231 231 0 18309 0
vsize: 74160
[startup+870.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16736
Raw data (stat): 16730 (PBS4) R 16729 20024 20023 0 -1 0 24465 0 0 0 86905 108 0 0 25 0 1 0 512045479 75939840 13892 4294967295 134512640 135450300 3221224624 3221223488 134539156 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18540 13892 231 231 0 18309 0
vsize: 74160
[startup+880.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16736
Raw data (stat): 16730 (PBS4) R 16729 20024 20023 0 -1 0 24633 0 0 0 87904 109 0 0 25 0 1 0 512045479 75939840 13900 4294967295 134512640 135450300 3221224624 3221223360 134537976 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18540 13900 231 231 0 18309 0
vsize: 74160
[startup+890.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16736
Raw data (stat): 16730 (PBS4) R 16729 20024 20023 0 -1 0 24639 0 0 0 88905 109 0 0 25 0 1 0 512045479 75939840 13906 4294967295 134512640 135450300 3221224624 3221222976 134533081 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18540 13906 231 231 0 18309 0
vsize: 74160
[startup+900.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16736
Raw data (stat): 16730 (PBS4) R 16729 20024 20023 0 -1 0 24806 0 0 0 89904 110 0 0 25 0 1 0 512045479 75939840 13913 4294967295 134512640 135450300 3221224624 3221222976 134533112 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18540 13913 231 231 0 18309 0
vsize: 74160
[startup+910.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16736
Raw data (stat): 16730 (PBS4) R 16729 20024 20023 0 -1 0 24875 0 0 0 90903 111 0 0 25 0 1 0 512045479 76210176 13982 4294967295 134512640 135450300 3221224624 3221223360 134538549 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18606 13982 231 231 0 18375 0
vsize: 74424
[startup+920.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16736
Raw data (stat): 16730 (PBS4) R 16729 20024 20023 0 -1 0 24878 0 0 0 91903 111 0 0 25 0 1 0 512045479 76210176 13985 4294967295 134512640 135450300 3221224624 3221223440 134546796 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18606 13985 231 231 0 18375 0
vsize: 74424
[startup+930.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 16737
Raw data (stat): 16730 (PBS4) R 16729 20024 20023 0 -1 0 25066 0 0 0 92902 112 0 0 25 0 1 0 512045479 76210176 14013 4294967295 134512640 135450300 3221224624 3221223440 134546798 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18606 14013 231 231 0 18375 0
vsize: 74424
[startup+940.021 s]
Raw data (loadavg): 1.15 1.00 0.92 2/59 16779
Raw data (stat): 16730 (PBS4) R 16729 20024 20023 0 -1 0 25103 0 0 0 93898 116 0 0 25 0 1 0 512045479 76210176 14050 4294967295 134512640 135450300 3221224624 3221223564 134530375 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18606 14050 231 231 0 18375 0
vsize: 74424
[startup+950.054 s]
Raw data (loadavg): 1.43 1.07 0.94 2/55 16789
Raw data (stat): 16730 (PBS4) R 16729 20024 20023 0 -1 0 25329 0 0 0 94900 117 0 0 25 0 1 0 512045479 76341248 14083 4294967295 134512640 135450300 3221224624 3221223360 134537876 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18638 14083 231 231 0 18407 0
vsize: 74552
[startup+960.054 s]
Raw data (loadavg): 1.37 1.07 0.94 2/55 16789
Raw data (stat): 16730 (PBS4) R 16729 20024 20023 0 -1 0 25348 0 0 0 95900 118 0 0 25 0 1 0 512045479 76341248 14102 4294967295 134512640 135450300 3221224624 3221223360 134538461 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18638 14102 231 231 0 18407 0
vsize: 74552
[startup+970.055 s]
Raw data (loadavg): 1.31 1.06 0.94 2/55 16789
Raw data (stat): 16730 (PBS4) R 16729 20024 20023 0 -1 0 25429 0 0 0 96900 118 0 0 25 0 1 0 512045479 76472320 14150 4294967295 134512640 135450300 3221224624 3221223360 134538549 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18670 14150 231 231 0 18439 0
vsize: 74680
[startup+980.056 s]
Raw data (loadavg): 1.26 1.06 0.94 2/55 16789
Raw data (stat): 16730 (PBS4) R 16729 20024 20023 0 -1 0 25471 0 0 0 97900 118 0 0 25 0 1 0 512045479 76472320 14192 4294967295 134512640 135450300 3221224624 3221223440 134547175 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18670 14192 231 231 0 18439 0
vsize: 74680
[startup+990.056 s]
Raw data (loadavg): 1.22 1.06 0.94 2/55 16789
Raw data (stat): 16730 (PBS4) R 16729 20024 20023 0 -1 0 25651 0 0 0 98899 119 0 0 25 0 1 0 512045479 76472320 14212 4294967295 134512640 135450300 3221224624 3221223360 134537970 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18670 14212 231 231 0 18439 0
vsize: 74680
[startup+1000.06 s]
Raw data (loadavg): 1.19 1.06 0.94 2/55 16791
Raw data (stat): 16730 (PBS4) R 16729 20024 20023 0 -1 0 25656 0 0 0 99899 120 0 0 25 0 1 0 512045479 76472320 14217 4294967295 134512640 135450300 3221224624 3221223360 134538459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18670 14217 231 231 0 18439 0
vsize: 74680
[startup+1010.06 s]
Raw data (loadavg): 1.23 1.07 0.95 2/55 16793
Raw data (stat): 16730 (PBS4) R 16729 20024 20023 0 -1 0 25803 0 0 0 100898 121 0 0 25 0 1 0 512045479 77139968 14348 4294967295 134512640 135450300 3221224624 3221222976 134533112 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18833 14348 231 231 0 18602 0
vsize: 75332
[startup+1020.06 s]
Raw data (loadavg): 1.19 1.07 0.95 2/55 16793
Raw data (stat): 16730 (PBS4) R 16729 20024 20023 0 -1 0 25967 0 0 0 101897 121 0 0 25 0 1 0 512045479 77139968 14352 4294967295 134512640 135450300 3221224624 3221223360 134538549 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18833 14352 231 231 0 18602 0
vsize: 75332
[startup+1030.06 s]
Raw data (loadavg): 1.16 1.06 0.95 2/55 16793
Raw data (stat): 16730 (PBS4) R 16729 20024 20023 0 -1 0 26000 0 0 0 102897 122 0 0 25 0 1 0 512045479 77275136 14385 4294967295 134512640 135450300 3221224624 3221223360 134538610 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18866 14385 231 231 0 18635 0
vsize: 75464
[startup+1040.06 s]
Raw data (loadavg): 1.14 1.06 0.95 2/55 16793
Raw data (stat): 16730 (PBS4) R 16729 20024 20023 0 -1 0 26240 0 0 0 103897 123 0 0 25 0 1 0 512045479 77541376 14432 4294967295 134512640 135450300 3221224624 3221222976 134533185 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18931 14432 231 231 0 18700 0
vsize: 75724
[startup+1050.06 s]
Raw data (loadavg): 1.12 1.06 0.95 2/55 16793
Raw data (stat): 16730 (PBS4) R 16729 20024 20023 0 -1 0 26325 0 0 0 104896 123 0 0 25 0 1 0 512045479 77942784 14484 4294967295 134512640 135450300 3221224624 3221223360 134538421 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19029 14484 231 231 0 18798 0
vsize: 76116
[startup+1060.06 s]
Raw data (loadavg): 1.10 1.06 0.95 2/55 16793
Raw data (stat): 16730 (PBS4) R 16729 20024 20023 0 -1 0 26328 0 0 0 105895 124 0 0 25 0 1 0 512045479 77942784 14487 4294967295 134512640 135450300 3221224624 3221223360 134538459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19029 14487 231 231 0 18798 0
vsize: 76116
[startup+1070.06 s]
Raw data (loadavg): 1.08 1.05 0.95 2/55 16793
Raw data (stat): 16730 (PBS4) R 16729 20024 20023 0 -1 0 26554 0 0 0 106895 125 0 0 25 0 1 0 512045479 78073856 14520 4294967295 134512640 135450300 3221224624 3221222976 134533303 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19061 14520 231 231 0 18830 0
vsize: 76244
[startup+1080.06 s]
Raw data (loadavg): 1.07 1.05 0.95 2/55 16793
Raw data (stat): 16730 (PBS4) R 16729 20024 20023 0 -1 0 26616 0 0 0 107895 125 0 0 25 0 1 0 512045479 78204928 14549 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19093 14549 231 231 0 18862 0
vsize: 76372
[startup+1090.06 s]
Raw data (loadavg): 1.06 1.05 0.95 2/55 16793
Raw data (stat): 16730 (PBS4) R 16729 20024 20023 0 -1 0 26814 0 0 0 108894 126 0 0 25 0 1 0 512045479 78204928 14587 4294967295 134512640 135450300 3221224624 3221223552 134539801 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19093 14587 231 231 0 18862 0
vsize: 76372
[startup+1100.06 s]
Raw data (loadavg): 1.05 1.05 0.95 2/55 16793
Raw data (stat): 16730 (PBS4) R 16729 20024 20023 0 -1 0 26844 0 0 0 109893 127 0 0 25 0 1 0 512045479 78204928 14617 4294967295 134512640 135450300 3221224624 3221223048 134533453 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19093 14617 231 231 0 18862 0
vsize: 76372
[startup+1110.06 s]
Raw data (loadavg): 1.04 1.05 0.95 2/55 16793
Raw data (stat): 16730 (PBS4) R 16729 20024 20023 0 -1 0 26911 0 0 0 110893 128 0 0 25 0 1 0 512045479 78471168 14684 4294967295 134512640 135450300 3221224624 3221223360 134537876 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19158 14684 231 231 0 18927 0
vsize: 76632
[startup+1120.06 s]
Raw data (loadavg): 1.03 1.04 0.95 2/55 16793
Raw data (stat): 16730 (PBS4) R 16729 20024 20023 0 -1 0 27091 0 0 0 111892 129 0 0 25 0 1 0 512045479 78471168 14704 4294967295 134512640 135450300 3221224624 3221223360 134538745 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19158 14704 231 231 0 18927 0
vsize: 76632
[startup+1130.06 s]
Raw data (loadavg): 1.03 1.04 0.95 2/55 16793
Raw data (stat): 16730 (PBS4) R 16729 20024 20023 0 -1 0 27094 0 0 0 112891 129 0 0 25 0 1 0 512045479 78471168 14707 4294967295 134512640 135450300 3221224624 3221223456 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19158 14707 231 231 0 18927 0
vsize: 76632
[startup+1140.06 s]
Raw data (loadavg): 1.02 1.04 0.95 2/55 16793
Raw data (stat): 16730 (PBS4) R 16729 20024 20023 0 -1 0 27259 0 0 0 113891 130 0 0 25 0 1 0 512045479 78471168 14712 4294967295 134512640 135450300 3221224624 3221223360 134538443 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19158 14712 231 231 0 18927 0
vsize: 76632
[startup+1150.06 s]
Raw data (loadavg): 1.02 1.04 0.95 2/55 16793
Raw data (stat): 16730 (PBS4) R 16729 20024 20023 0 -1 0 27270 0 0 0 114890 131 0 0 25 0 1 0 512045479 78471168 14723 4294967295 134512640 135450300 3221224624 3221222976 134533084 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19158 14723 231 231 0 18927 0
vsize: 76632
[startup+1160.06 s]
Raw data (loadavg): 1.02 1.04 0.95 2/55 16793
Raw data (stat): 16730 (PBS4) R 16729 20024 20023 0 -1 0 27275 0 0 0 115890 131 0 0 25 0 1 0 512045479 78471168 14728 4294967295 134512640 135450300 3221224624 3221223360 134537876 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19158 14728 231 231 0 18927 0
vsize: 76632
[startup+1170.06 s]
Raw data (loadavg): 1.01 1.03 0.95 2/55 16793
Raw data (stat): 16730 (PBS4) R 16729 20024 20023 0 -1 0 27440 0 0 0 116890 132 0 0 25 0 1 0 512045479 78471168 14733 4294967295 134512640 135450300 3221224624 3221223360 134537993 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19158 14733 231 231 0 18927 0
vsize: 76632
[startup+1180.06 s]
Raw data (loadavg): 1.01 1.03 0.95 2/55 16793
Raw data (stat): 16730 (PBS4) R 16729 20024 20023 0 -1 0 27441 0 0 0 117889 132 0 0 25 0 1 0 512045479 78471168 14734 4294967295 134512640 135450300 3221224624 3221223488 134539213 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19158 14734 231 231 0 18927 0
vsize: 76632
[startup+1190.06 s]
Raw data (loadavg): 1.01 1.03 0.95 2/55 16793
Raw data (stat): 16730 (PBS4) R 16729 20024 20023 0 -1 0 27604 0 0 0 118889 133 0 0 25 0 1 0 512045479 78471168 14737 4294967295 134512640 135450300 3221224624 3221223456 134549317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19158 14737 231 231 0 18927 0
vsize: 76632
[startup+1200.06 s]
Raw data (loadavg): 1.01 1.03 0.95 2/55 16793
Raw data (stat): 16730 (PBS4) R 16729 20024 20023 0 -1 0 27606 0 0 0 119888 134 0 0 25 0 1 0 512045479 78471168 14739 4294967295 134512640 135450300 3221224624 3221223360 134538443 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19158 14739 231 231 0 18927 0
vsize: 76632
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.09 s]
Raw data (loadavg): 1.01 1.03 0.95 1/55 16793
Raw data (stat): 16730 (PBS4) Z 16729 20024 20023 0 -1 1036 27606 0 0 0 119888 137 0 0 25 0 1 0 512045479 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.26
CPU user time (s): 1198.89
CPU system time (s): 1.37379
CPU usage (%): 100.014
Max. virtual memory (Kb): 76632
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####