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/logic-synthesis/normalized-rot.b.opb
MD5SUM	c5ca4962151c0e84eeae44e16faee495
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	116
Optimality of the best value was proved	NO
Number of terms in the objective function	1452
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	1452
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	1452
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	1.04884
Number of variables	1451
Total number of constraints	2984
Number of constraints which are clauses	2932
Number of constraints which are cardinality constraints (but not clauses)	52
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	1
Maximum length of a constraint	81
Trace number 7696

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc18 THE 2005-04-17 15:43:42 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=645 boxname=wulflinc18 idbench=72 idsolver=6 numberseed=0
MD5SUM SOLVER: 2225cba0d9b2c30e235f6cafc823d7ac  /oldhome/oroussel/solvers/PBS4
MD5SUM BENCH:  c5ca4962151c0e84eeae44e16faee495  /oldhome/oroussel/tmp/wulflinc18/normalized-rot.b.opb
REAL COMMAND:  PBS4 /oldhome/oroussel/tmp/wulflinc18/normalized-rot.b.opb
IDLAUNCH: 645
/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:        830812 kB
Buffers:         36328 kB
Cached:         130428 kB
SwapCached:        320 kB
Active:          70972 kB
Inactive:        98984 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        830560 kB
SwapTotal:     2097892 kB
SwapFree:      2097572 kB
Dirty:               4 kB
Writeback:           0 kB
Mapped:           6944 kB
Slab:            28252 kB
Committed_AS:    63704 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-04-17 16:03:45 (client local time) WITH STATUS 0 IN 1200.5 SECONDS
stats: 645 7 1200.5 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c PBS v4 by Bashar Al-Rawi & Fadi Aloul
c Solving /oldhome/oroussel/tmp/wulflinc18/normalized-rot.b.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.00 0.00 0.00 2/55 16106
Raw data (stat): 16106 (runsolver) R 16105 20024 20023 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 511680040 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.0002 s]
Raw data (loadavg): 0.15 0.03 0.01 2/55 16106
Raw data (stat): 16106 (PBS4) R 16105 20024 20023 0 -1 0 894 0 0 0 984 14 0 0 25 0 1 0 511680040 5951488 890 4294967295 134512640 135450300 3221224640 3221223376 134538549 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1453 890 231 231 0 1222 0
vsize: 5812
[startup+20.0011 s]
Raw data (loadavg): 0.28 0.06 0.02 2/55 16106
Raw data (stat): 16106 (PBS4) R 16105 20024 20023 0 -1 0 1837 0 0 0 1982 16 0 0 25 0 1 0 511680040 10346496 1833 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2526 1833 231 231 0 2295 0
vsize: 10104
[startup+30.001 s]
Raw data (loadavg): 0.39 0.09 0.03 2/55 16106
Raw data (stat): 16106 (PBS4) R 16105 20024 20023 0 -1 0 2579 0 0 0 2981 18 0 0 25 0 1 0 511680040 18735104 2575 4294967295 134512640 135450300 3221224640 3221223360 134535782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4574 2575 231 231 0 4343 0
vsize: 18296
[startup+40.0009 s]
Raw data (loadavg): 0.49 0.12 0.04 2/55 16106
Raw data (stat): 16106 (PBS4) R 16105 20024 20023 0 -1 0 3370 0 0 0 3978 20 0 0 25 0 1 0 511680040 18735104 3366 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4574 3366 231 231 0 4343 0
vsize: 18296
[startup+50.0008 s]
Raw data (loadavg): 0.56 0.15 0.05 2/55 16106
Raw data (stat): 16106 (PBS4) R 16105 20024 20023 0 -1 0 3947 0 0 0 4977 22 0 0 25 0 1 0 511680040 18735104 3943 4294967295 134512640 135450300 3221224640 3221223360 134535749 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4574 3943 231 231 0 4343 0
vsize: 18296
[startup+60.0007 s]
Raw data (loadavg): 0.63 0.18 0.06 2/55 16106
Raw data (stat): 16106 (PBS4) R 16105 20024 20023 0 -1 0 4536 0 0 0 5976 24 0 0 25 0 1 0 511680040 35512320 4532 4294967295 134512640 135450300 3221224640 3221223456 134547503 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8670 4532 231 231 0 8439 0
vsize: 34680
[startup+70.0015 s]
Raw data (loadavg): 0.69 0.21 0.07 2/55 16106
Raw data (stat): 16106 (PBS4) R 16105 20024 20023 0 -1 0 5095 0 0 0 6974 25 0 0 25 0 1 0 511680040 35512320 5091 4294967295 134512640 135450300 3221224640 3221223376 134538677 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8670 5091 231 231 0 8439 0
vsize: 34680
[startup+80.0014 s]
Raw data (loadavg): 0.73 0.23 0.08 2/55 16106
Raw data (stat): 16106 (PBS4) R 16105 20024 20023 0 -1 0 5778 0 0 0 7973 27 0 0 25 0 1 0 511680040 35651584 5774 4294967295 134512640 135450300 3221224640 3221223360 134535782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8704 5774 231 231 0 8473 0
vsize: 34816
[startup+90.0013 s]
Raw data (loadavg): 0.77 0.26 0.09 2/55 16106
Raw data (stat): 16106 (PBS4) R 16105 20024 20023 0 -1 0 6351 0 0 0 8971 28 0 0 25 0 1 0 511680040 35848192 6298 4294967295 134512640 135450300 3221224640 3221223360 134535740 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8752 6298 231 231 0 8521 0
vsize: 35008
[startup+100.001 s]
Raw data (loadavg): 0.81 0.28 0.10 2/55 16106
Raw data (stat): 16106 (PBS4) R 16105 20024 20023 0 -1 0 6877 0 0 0 9971 29 0 0 25 0 1 0 511680040 35848192 6824 4294967295 134512640 135450300 3221224640 3221223360 134535681 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8752 6824 231 231 0 8521 0
vsize: 35008
[startup+110.001 s]
Raw data (loadavg): 0.84 0.30 0.11 2/55 16106
Raw data (stat): 16106 (PBS4) R 16105 20024 20023 0 -1 0 7364 0 0 0 10969 31 0 0 25 0 1 0 511680040 35848192 7311 4294967295 134512640 135450300 3221224640 3221223360 134535791 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8752 7311 231 231 0 8521 0
vsize: 35008
[startup+120.001 s]
Raw data (loadavg): 0.86 0.33 0.12 2/55 16106
Raw data (stat): 16106 (PBS4) R 16105 20024 20023 0 -1 0 7802 0 0 0 11965 35 0 0 25 0 1 0 511680040 35983360 7749 4294967295 134512640 135450300 3221224640 3221223360 134535746 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8785 7749 231 231 0 8554 0
vsize: 35140
[startup+130.001 s]
Raw data (loadavg): 0.88 0.35 0.12 2/55 16106
Raw data (stat): 16106 (PBS4) R 16105 20024 20023 0 -1 0 8184 0 0 0 12958 42 0 0 25 0 1 0 511680040 36114432 8131 4294967295 134512640 135450300 3221224640 3221223156 134544685 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8817 8131 231 231 0 8586 0
vsize: 35268
[startup+140.002 s]
Raw data (loadavg): 0.90 0.37 0.13 2/55 16106
Raw data (stat): 16106 (PBS4) R 16105 20024 20023 0 -1 0 8497 0 0 0 13957 43 0 0 25 0 1 0 511680040 36265984 8444 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8854 8444 231 231 0 8623 0
vsize: 35416
[startup+150.002 s]
Raw data (loadavg): 0.92 0.39 0.14 2/55 16106
Raw data (stat): 16106 (PBS4) R 16105 20024 20023 0 -1 0 8514 0 0 0 14951 49 0 0 25 0 1 0 511680040 36265984 8461 4294967295 134512640 135450300 3221224640 3221223456 134547480 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8854 8461 231 231 0 8623 0
vsize: 35416
[startup+160.002 s]
Raw data (loadavg): 0.93 0.41 0.15 2/55 16108
Raw data (stat): 16106 (PBS4) R 16105 20024 20023 0 -1 0 8530 0 0 0 15949 51 0 0 25 0 1 0 511680040 36397056 8477 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8886 8477 231 231 0 8655 0
vsize: 35544
[startup+170.003 s]
Raw data (loadavg): 0.94 0.43 0.16 2/55 16108
Raw data (stat): 16106 (PBS4) R 16105 20024 20023 0 -1 0 8531 0 0 0 16949 52 0 0 25 0 1 0 511680040 36397056 8478 4294967295 134512640 135450300 3221224640 3221223360 134535789 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8886 8478 231 231 0 8655 0
vsize: 35544
[startup+180.002 s]
Raw data (loadavg): 0.95 0.45 0.17 2/55 16108
Raw data (stat): 16106 (PBS4) R 16105 20024 20023 0 -1 0 8531 0 0 0 17949 52 0 0 25 0 1 0 511680040 36397056 8478 4294967295 134512640 135450300 3221224640 3221223360 134535675 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8886 8478 231 231 0 8655 0
vsize: 35544
[startup+190.002 s]
Raw data (loadavg): 0.95 0.46 0.18 2/55 16108
Raw data (stat): 16106 (PBS4) R 16105 20024 20023 0 -1 0 8533 0 0 0 18950 52 0 0 25 0 1 0 511680040 36397056 8480 4294967295 134512640 135450300 3221224640 3221223360 134535695 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8886 8480 231 231 0 8655 0
vsize: 35544
[startup+200.002 s]
Raw data (loadavg): 0.96 0.48 0.19 2/55 16108
Raw data (stat): 16106 (PBS4) R 16105 20024 20023 0 -1 0 8543 0 0 0 19946 56 0 0 25 0 1 0 511680040 36397056 8490 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8886 8490 231 231 0 8655 0
vsize: 35544
[startup+210.002 s]
Raw data (loadavg): 0.97 0.50 0.19 2/55 16108
Raw data (stat): 16106 (PBS4) R 16105 20024 20023 0 -1 0 8550 0 0 0 20942 59 0 0 25 0 1 0 511680040 36397056 8497 4294967295 134512640 135450300 3221224640 3221223360 134535965 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8886 8497 231 231 0 8655 0
vsize: 35544
[startup+220.002 s]
Raw data (loadavg): 0.97 0.51 0.20 2/55 16108
Raw data (stat): 16106 (PBS4) R 16105 20024 20023 0 -1 0 8557 0 0 0 21942 60 0 0 25 0 1 0 511680040 36397056 8504 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8886 8504 231 231 0 8655 0
vsize: 35544
[startup+230.002 s]
Raw data (loadavg): 0.98 0.53 0.21 2/55 16108
Raw data (stat): 16106 (PBS4) R 16105 20024 20023 0 -1 0 8564 0 0 0 22937 65 0 0 25 0 1 0 511680040 36532224 8511 4294967295 134512640 135450300 3221224640 3221223360 134535752 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8919 8511 231 231 0 8688 0
vsize: 35676
[startup+240.003 s]
Raw data (loadavg): 0.98 0.54 0.22 2/55 16108
Raw data (stat): 16106 (PBS4) R 16105 20024 20023 0 -1 0 8566 0 0 0 23935 67 0 0 25 0 1 0 511680040 36532224 8513 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8919 8513 231 231 0 8688 0
vsize: 35676
[startup+250.003 s]
Raw data (loadavg): 0.98 0.56 0.22 2/55 16108
Raw data (stat): 16106 (PBS4) R 16105 20024 20023 0 -1 0 8566 0 0 0 24935 67 0 0 25 0 1 0 511680040 36532224 8513 4294967295 134512640 135450300 3221224640 3221223456 134547511 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8919 8513 231 231 0 8688 0
vsize: 35676
[startup+260.003 s]
Raw data (loadavg): 0.98 0.57 0.23 2/55 16108
Raw data (stat): 16106 (PBS4) R 16105 20024 20023 0 -1 0 8567 0 0 0 25935 67 0 0 25 0 1 0 511680040 36532224 8514 4294967295 134512640 135450300 3221224640 3221223360 134535806 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8919 8514 231 231 0 8688 0
vsize: 35676
[startup+270.002 s]
Raw data (loadavg): 0.99 0.59 0.24 2/55 16108
Raw data (stat): 16106 (PBS4) R 16105 20024 20023 0 -1 0 8568 0 0 0 26936 67 0 0 25 0 1 0 511680040 36532224 8515 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8919 8515 231 231 0 8688 0
vsize: 35676
[startup+280.002 s]
Raw data (loadavg): 0.99 0.60 0.25 2/55 16108
Raw data (stat): 16106 (PBS4) R 16105 20024 20023 0 -1 0 8587 0 0 0 27928 75 0 0 25 0 1 0 511680040 36532224 8534 4294967295 134512640 135450300 3221224640 3221223360 134535959 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8919 8534 231 231 0 8688 0
vsize: 35676
[startup+290.003 s]
Raw data (loadavg): 0.99 0.61 0.26 2/55 16108
Raw data (stat): 16106 (PBS4) R 16105 20024 20023 0 -1 0 8590 0 0 0 28928 75 0 0 25 0 1 0 511680040 36532224 8537 4294967295 134512640 135450300 3221224640 3221223376 134538457 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8919 8537 231 231 0 8688 0
vsize: 35676
[startup+300.003 s]
Raw data (loadavg): 0.99 0.62 0.26 2/55 16108
Raw data (stat): 16106 (PBS4) R 16105 20024 20023 0 -1 0 8598 0 0 0 29926 77 0 0 25 0 1 0 511680040 36532224 8545 4294967295 134512640 135450300 3221224640 3221223360 134535749 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8919 8545 231 231 0 8688 0
vsize: 35676
[startup+310.003 s]
Raw data (loadavg): 0.99 0.64 0.27 2/55 16108
Raw data (stat): 16106 (PBS4) R 16105 20024 20023 0 -1 0 8602 0 0 0 30922 81 0 0 25 0 1 0 511680040 36532224 8549 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8919 8549 231 231 0 8688 0
vsize: 35676
[startup+320.004 s]
Raw data (loadavg): 0.99 0.65 0.28 2/55 16108
Raw data (stat): 16106 (PBS4) R 16105 20024 20023 0 -1 0 8606 0 0 0 31922 82 0 0 25 0 1 0 511680040 36532224 8553 4294967295 134512640 135450300 3221224640 3221223360 134535695 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8919 8553 231 231 0 8688 0
vsize: 35676
[startup+330.004 s]
Raw data (loadavg): 0.99 0.66 0.29 2/55 16108
Raw data (stat): 16106 (PBS4) R 16105 20024 20023 0 -1 0 8607 0 0 0 32922 82 0 0 25 0 1 0 511680040 36532224 8554 4294967295 134512640 135450300 3221224640 3221223360 134535726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8919 8554 231 231 0 8688 0
vsize: 35676
[startup+340.004 s]
Raw data (loadavg): 0.99 0.67 0.29 2/55 16108
Raw data (stat): 16106 (PBS4) R 16105 20024 20023 0 -1 0 8607 0 0 0 33922 82 0 0 25 0 1 0 511680040 36532224 8554 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8919 8554 231 231 0 8688 0
vsize: 35676
[startup+350.004 s]
Raw data (loadavg): 0.99 0.68 0.30 2/55 16108
Raw data (stat): 16106 (PBS4) R 16105 20024 20023 0 -1 0 8608 0 0 0 34922 82 0 0 25 0 1 0 511680040 36532224 8555 4294967295 134512640 135450300 3221224640 3221223360 134535703 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8919 8555 231 231 0 8688 0
vsize: 35676
[startup+360.004 s]
Raw data (loadavg): 0.99 0.69 0.31 2/55 16108
Raw data (stat): 16106 (PBS4) R 16105 20024 20023 0 -1 0 8617 0 0 0 35914 90 0 0 25 0 1 0 511680040 36691968 8564 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8958 8564 231 231 0 8727 0
vsize: 35832
[startup+370.004 s]
Raw data (loadavg): 0.99 0.70 0.31 2/55 16108
Raw data (stat): 16106 (PBS4) R 16105 20024 20023 0 -1 0 8619 0 0 0 36912 92 0 0 25 0 1 0 511680040 36691968 8566 4294967295 134512640 135450300 3221224640 3221223360 134535789 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8958 8566 231 231 0 8727 0
vsize: 35832
[startup+380.004 s]
Raw data (loadavg): 0.99 0.71 0.32 2/55 16108
Raw data (stat): 16106 (PBS4) R 16105 20024 20023 0 -1 0 8620 0 0 0 37912 92 0 0 25 0 1 0 511680040 36691968 8567 4294967295 134512640 135450300 3221224640 3221223456 134546489 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8958 8567 231 231 0 8727 0
vsize: 35832
[startup+390.005 s]
Raw data (loadavg): 0.99 0.72 0.33 2/55 16108
Raw data (stat): 16106 (PBS4) R 16105 20024 20023 0 -1 0 8633 0 0 0 38909 96 0 0 25 0 1 0 511680040 36691968 8580 4294967295 134512640 135450300 3221224640 3221223360 134535782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8958 8580 231 231 0 8727 0
vsize: 35832
[startup+400.005 s]
Raw data (loadavg): 0.99 0.73 0.33 2/55 16108
Raw data (stat): 16106 (PBS4) R 16105 20024 20023 0 -1 0 8640 0 0 0 39906 99 0 0 25 0 1 0 511680040 36691968 8587 4294967295 134512640 135450300 3221224640 3221223360 134535740 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8958 8587 231 231 0 8727 0
vsize: 35832
[startup+410.005 s]
Raw data (loadavg): 0.99 0.74 0.34 2/55 16108
Raw data (stat): 16106 (PBS4) R 16105 20024 20023 0 -1 0 8641 0 0 0 40906 99 0 0 25 0 1 0 511680040 36691968 8588 4294967295 134512640 135450300 3221224640 3221223024 134602327 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8958 8588 231 231 0 8727 0
vsize: 35832
[startup+420.005 s]
Raw data (loadavg): 0.99 0.74 0.35 2/55 16108
Raw data (stat): 16106 (PBS4) R 16105 20024 20023 0 -1 0 8641 0 0 0 41906 99 0 0 25 0 1 0 511680040 36691968 8588 4294967295 134512640 135450300 3221224640 3221223360 134535789 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8958 8588 231 231 0 8727 0
vsize: 35832
[startup+430.005 s]
Raw data (loadavg): 0.99 0.75 0.35 2/55 16108
Raw data (stat): 16106 (PBS4) R 16105 20024 20023 0 -1 0 8642 0 0 0 42906 100 0 0 25 0 1 0 511680040 36691968 8589 4294967295 134512640 135450300 3221224640 3221223360 134535789 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8958 8589 231 231 0 8727 0
vsize: 35832
[startup+440.006 s]
Raw data (loadavg): 0.99 0.76 0.36 2/55 16108
Raw data (stat): 16106 (PBS4) R 16105 20024 20023 0 -1 0 8643 0 0 0 43906 100 0 0 25 0 1 0 511680040 36691968 8590 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8958 8590 231 231 0 8727 0
vsize: 35832
[startup+450.005 s]
Raw data (loadavg): 0.99 0.77 0.37 2/55 16108
Raw data (stat): 16106 (PBS4) R 16105 20024 20023 0 -1 0 8666 0 0 0 44900 106 0 0 25 0 1 0 511680040 36827136 8613 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8991 8613 231 231 0 8760 0
vsize: 35964
[startup+460.005 s]
Raw data (loadavg): 0.99 0.77 0.37 2/55 16110
Raw data (stat): 16106 (PBS4) R 16105 20024 20023 0 -1 0 8668 0 0 0 45899 107 0 0 25 0 1 0 511680040 36827136 8615 4294967295 134512640 135450300 3221224640 3221223360 134535681 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8991 8615 231 231 0 8760 0
vsize: 35964
[startup+470.005 s]
Raw data (loadavg): 0.99 0.78 0.38 2/55 16110
Raw data (stat): 16106 (PBS4) R 16105 20024 20023 0 -1 0 8677 0 0 0 46898 108 0 0 25 0 1 0 511680040 36827136 8624 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8991 8624 231 231 0 8760 0
vsize: 35964
[startup+480.006 s]
Raw data (loadavg): 0.99 0.79 0.38 2/55 16110
Raw data (stat): 16106 (PBS4) R 16105 20024 20023 0 -1 0 8775 0 0 0 47894 112 0 0 25 0 1 0 511680040 37220352 8625 4294967295 134512640 135450300 3221224640 3221223360 134535772 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9087 8625 231 231 0 8856 0
vsize: 36348
[startup+490.006 s]
Raw data (loadavg): 0.99 0.79 0.39 2/55 16110
Raw data (stat): 16106 (PBS4) R 16105 20024 20023 0 -1 0 8779 0 0 0 48890 116 0 0 25 0 1 0 511680040 37220352 8629 4294967295 134512640 135450300 3221224640 3221223360 134535791 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9087 8629 231 231 0 8856 0
vsize: 36348
[startup+500.006 s]
Raw data (loadavg): 0.99 0.80 0.40 2/55 16110
Raw data (stat): 16106 (PBS4) R 16105 20024 20023 0 -1 0 8779 0 0 0 49890 116 0 0 25 0 1 0 511680040 37220352 8629 4294967295 134512640 135450300 3221224640 3221223568 134539619 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9087 8629 231 231 0 8856 0
vsize: 36348
[startup+510.006 s]
Raw data (loadavg): 0.99 0.81 0.40 2/55 16110
Raw data (stat): 16106 (PBS4) R 16105 20024 20023 0 -1 0 8780 0 0 0 50890 116 0 0 25 0 1 0 511680040 37220352 8630 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9087 8630 231 231 0 8856 0
vsize: 36348
[startup+520.007 s]
Raw data (loadavg): 0.99 0.81 0.41 2/55 16110
Raw data (stat): 16106 (PBS4) R 16105 20024 20023 0 -1 0 8781 0 0 0 51891 116 0 0 25 0 1 0 511680040 37220352 8631 4294967295 134512640 135450300 3221224640 3221223104 134532775 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9087 8631 231 231 0 8856 0
vsize: 36348
[startup+530.007 s]
Raw data (loadavg): 0.99 0.82 0.41 2/55 16110
Raw data (stat): 16106 (PBS4) R 16105 20024 20023 0 -1 0 8790 0 0 0 52885 122 0 0 25 0 1 0 511680040 37220352 8640 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9087 8640 231 231 0 8856 0
vsize: 36348
[startup+540.008 s]
Raw data (loadavg): 0.99 0.82 0.42 2/55 16110
Raw data (stat): 16106 (PBS4) R 16105 20024 20023 0 -1 0 8797 0 0 0 53885 123 0 0 25 0 1 0 511680040 37380096 8647 4294967295 134512640 135450300 3221224640 3221223360 134535726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9126 8647 231 231 0 8895 0
vsize: 36504
[startup+550.008 s]
Raw data (loadavg): 0.99 0.83 0.43 2/55 16110
Raw data (stat): 16106 (PBS4) R 16105 20024 20023 0 -1 0 8806 0 0 0 54881 126 0 0 25 0 1 0 511680040 37380096 8656 4294967295 134512640 135450300 3221224640 3221223456 134547511 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9126 8656 231 231 0 8895 0
vsize: 36504
[startup+560.008 s]
Raw data (loadavg): 0.99 0.83 0.43 2/55 16110
Raw data (stat): 16106 (PBS4) R 16105 20024 20023 0 -1 0 8810 0 0 0 55879 129 0 0 25 0 1 0 511680040 37380096 8660 4294967295 134512640 135450300 3221224640 3221223360 134535758 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9126 8660 231 231 0 8895 0
vsize: 36504
[startup+570.008 s]
Raw data (loadavg): 0.99 0.84 0.44 2/55 16110
Raw data (stat): 16106 (PBS4) R 16105 20024 20023 0 -1 0 8810 0 0 0 56879 129 0 0 25 0 1 0 511680040 37380096 8660 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9126 8660 231 231 0 8895 0
vsize: 36504
[startup+580.009 s]
Raw data (loadavg): 0.99 0.84 0.44 2/55 16110
Raw data (stat): 16106 (PBS4) R 16105 20024 20023 0 -1 0 8811 0 0 0 57880 129 0 0 25 0 1 0 511680040 37380096 8661 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9126 8661 231 231 0 8895 0
vsize: 36504
[startup+590.01 s]
Raw data (loadavg): 0.99 0.85 0.45 2/55 16110
Raw data (stat): 16106 (PBS4) R 16105 20024 20023 0 -1 0 8813 0 0 0 58880 129 0 0 25 0 1 0 511680040 37380096 8663 4294967295 134512640 135450300 3221224640 3221223360 134535898 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9126 8663 231 231 0 8895 0
vsize: 36504
[startup+600.01 s]
Raw data (loadavg): 0.99 0.85 0.45 2/55 16110
Raw data (stat): 16106 (PBS4) R 16105 20024 20023 0 -1 0 8828 0 0 0 59879 130 0 0 25 0 1 0 511680040 37380096 8678 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9126 8678 231 231 0 8895 0
vsize: 36504
[startup+610.01 s]
Raw data (loadavg): 0.99 0.86 0.46 2/55 16110
Raw data (stat): 16106 (PBS4) R 16105 20024 20023 0 -1 0 8840 0 0 0 60877 131 0 0 25 0 1 0 511680040 37380096 8690 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9126 8690 231 231 0 8895 0
vsize: 36504
[startup+620.011 s]
Raw data (loadavg): 0.99 0.86 0.46 2/55 16110
Raw data (stat): 16106 (PBS4) R 16105 20024 20023 0 -1 0 8846 0 0 0 61873 136 0 0 25 0 1 0 511680040 37511168 8696 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9158 8696 231 231 0 8927 0
vsize: 36632
[startup+630.011 s]
Raw data (loadavg): 0.99 0.86 0.47 2/55 16110
Raw data (stat): 16106 (PBS4) R 16105 20024 20023 0 -1 0 8851 0 0 0 62869 141 0 0 25 0 1 0 511680040 37511168 8701 4294967295 134512640 135450300 3221224640 3221223360 134535752 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9158 8701 231 231 0 8927 0
vsize: 36632
[startup+640.011 s]
Raw data (loadavg): 0.99 0.87 0.47 2/55 16110
Raw data (stat): 16106 (PBS4) R 16105 20024 20023 0 -1 0 8852 0 0 0 63869 141 0 0 25 0 1 0 511680040 37511168 8702 4294967295 134512640 135450300 3221224640 3221223360 134535732 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9158 8702 231 231 0 8927 0
vsize: 36632
[startup+650.011 s]
Raw data (loadavg): 0.99 0.87 0.48 2/55 16110
Raw data (stat): 16106 (PBS4) R 16105 20024 20023 0 -1 0 8853 0 0 0 64869 141 0 0 25 0 1 0 511680040 37511168 8703 4294967295 134512640 135450300 3221224640 3221223360 134535712 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9158 8703 231 231 0 8927 0
vsize: 36632
[startup+660.012 s]
Raw data (loadavg): 0.99 0.88 0.48 2/55 16110
Raw data (stat): 16106 (PBS4) R 16105 20024 20023 0 -1 0 8854 0 0 0 65869 141 0 0 25 0 1 0 511680040 37511168 8704 4294967295 134512640 135450300 3221224640 3221223360 134535737 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9158 8704 231 231 0 8927 0
vsize: 36632
[startup+670.012 s]
Raw data (loadavg): 0.99 0.88 0.49 2/55 16110
Raw data (stat): 16106 (PBS4) R 16105 20024 20023 0 -1 0 8869 0 0 0 66862 148 0 0 25 0 1 0 511680040 37511168 8719 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9158 8719 231 231 0 8927 0
vsize: 36632
[startup+680.012 s]
Raw data (loadavg): 0.99 0.88 0.49 2/55 16110
Raw data (stat): 16106 (PBS4) R 16105 20024 20023 0 -1 0 8876 0 0 0 67856 154 0 0 25 0 1 0 511680040 37511168 8726 4294967295 134512640 135450300 3221224640 3221223360 134535782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9158 8726 231 231 0 8927 0
vsize: 36632
[startup+690.013 s]
Raw data (loadavg): 0.99 0.89 0.50 2/55 16110
Raw data (stat): 16106 (PBS4) R 16105 20024 20023 0 -1 0 8880 0 0 0 68854 156 0 0 25 0 1 0 511680040 37511168 8730 4294967295 134512640 135450300 3221224640 3221223360 134535726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9158 8730 231 231 0 8927 0
vsize: 36632
[startup+700.013 s]
Raw data (loadavg): 0.99 0.89 0.50 2/55 16110
Raw data (stat): 16106 (PBS4) R 16105 20024 20023 0 -1 0 8881 0 0 0 69854 156 0 0 25 0 1 0 511680040 37511168 8731 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9158 8731 231 231 0 8927 0
vsize: 36632
[startup+710.013 s]
Raw data (loadavg): 0.99 0.89 0.51 2/55 16110
Raw data (stat): 16106 (PBS4) R 16105 20024 20023 0 -1 0 8882 0 0 0 70855 156 0 0 25 0 1 0 511680040 37511168 8732 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9158 8732 231 231 0 8927 0
vsize: 36632
[startup+720.014 s]
Raw data (loadavg): 0.99 0.90 0.51 2/55 16110
Raw data (stat): 16106 (PBS4) R 16105 20024 20023 0 -1 0 8883 0 0 0 71855 156 0 0 25 0 1 0 511680040 37511168 8733 4294967295 134512640 135450300 3221224640 3221223360 134535784 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9158 8733 231 231 0 8927 0
vsize: 36632
[startup+730.014 s]
Raw data (loadavg): 0.99 0.90 0.52 2/55 16110
Raw data (stat): 16106 (PBS4) R 16105 20024 20023 0 -1 0 8915 0 0 0 72851 160 0 0 25 0 1 0 511680040 37634048 8765 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9188 8765 231 231 0 8957 0
vsize: 36752
[startup+740.015 s]
Raw data (loadavg): 0.99 0.90 0.52 2/55 16110
Raw data (stat): 16106 (PBS4) R 16105 20024 20023 0 -1 0 8922 0 0 0 73851 161 0 0 25 0 1 0 511680040 37634048 8772 4294967295 134512640 135450300 3221224640 3221223360 134535732 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9188 8772 231 231 0 8957 0
vsize: 36752
[startup+750.015 s]
Raw data (loadavg): 0.99 0.90 0.53 2/55 16110
Raw data (stat): 16106 (PBS4) R 16105 20024 20023 0 -1 0 8923 0 0 0 74851 161 0 0 25 0 1 0 511680040 37634048 8773 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9188 8773 231 231 0 8957 0
vsize: 36752
[startup+760.015 s]
Raw data (loadavg): 0.99 0.91 0.53 2/55 16112
Raw data (stat): 16106 (PBS4) R 16105 20024 20023 0 -1 0 8925 0 0 0 75851 161 0 0 25 0 1 0 511680040 37634048 8775 4294967295 134512640 135450300 3221224640 3221223360 134535706 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9188 8775 231 231 0 8957 0
vsize: 36752
[startup+770.015 s]
Raw data (loadavg): 0.99 0.91 0.54 2/55 16112
Raw data (stat): 16106 (PBS4) R 16105 20024 20023 0 -1 0 8929 0 0 0 76851 161 0 0 25 0 1 0 511680040 37785600 8779 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9225 8779 231 231 0 8994 0
vsize: 36900
[startup+780.015 s]
Raw data (loadavg): 0.99 0.91 0.54 2/55 16112
Raw data (stat): 16106 (PBS4) R 16105 20024 20023 0 -1 0 8937 0 0 0 77849 163 0 0 25 0 1 0 511680040 37785600 8787 4294967295 134512640 135450300 3221224640 3221223360 134535782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9225 8787 231 231 0 8994 0
vsize: 36900
[startup+790.016 s]
Raw data (loadavg): 0.99 0.91 0.55 2/55 16112
Raw data (stat): 16106 (PBS4) R 16105 20024 20023 0 -1 0 8951 0 0 0 78849 163 0 0 25 0 1 0 511680040 37785600 8801 4294967295 134512640 135450300 3221224640 3221223360 134535959 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9225 8801 231 231 0 8994 0
vsize: 36900
[startup+800.016 s]
Raw data (loadavg): 0.99 0.92 0.55 2/55 16112
Raw data (stat): 16106 (PBS4) R 16105 20024 20023 0 -1 0 8956 0 0 0 79849 164 0 0 25 0 1 0 511680040 37785600 8806 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9225 8806 231 231 0 8994 0
vsize: 36900
[startup+810.016 s]
Raw data (loadavg): 0.99 0.92 0.56 2/55 16112
Raw data (stat): 16106 (PBS4) R 16105 20024 20023 0 -1 0 8965 0 0 0 80848 164 0 0 25 0 1 0 511680040 37920768 8815 4294967295 134512640 135450300 3221224640 3221223360 134535697 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9258 8815 231 231 0 9027 0
vsize: 37032
[startup+820.016 s]
Raw data (loadavg): 0.99 0.92 0.56 2/55 16112
Raw data (stat): 16106 (PBS4) R 16105 20024 20023 0 -1 0 8966 0 0 0 81848 165 0 0 25 0 1 0 511680040 37920768 8816 4294967295 134512640 135450300 3221224640 3221223360 134535740 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9258 8816 231 231 0 9027 0
vsize: 37032
[startup+830.016 s]
Raw data (loadavg): 0.99 0.92 0.56 2/55 16112
Raw data (stat): 16106 (PBS4) R 16105 20024 20023 0 -1 0 8967 0 0 0 82848 165 0 0 25 0 1 0 511680040 37920768 8817 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9258 8817 231 231 0 9027 0
vsize: 37032
[startup+840.018 s]
Raw data (loadavg): 0.99 0.92 0.57 2/55 16112
Raw data (stat): 16106 (PBS4) R 16105 20024 20023 0 -1 0 8974 0 0 0 83844 170 0 0 25 0 1 0 511680040 37920768 8824 4294967295 134512640 135450300 3221224640 3221223456 134533241 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9258 8824 231 231 0 9027 0
vsize: 37032
[startup+850.018 s]
Raw data (loadavg): 0.99 0.93 0.57 2/55 16112
Raw data (stat): 16106 (PBS4) R 16105 20024 20023 0 -1 0 8983 0 0 0 84840 174 0 0 25 0 1 0 511680040 37920768 8833 4294967295 134512640 135450300 3221224640 3221223456 134546470 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9258 8833 231 231 0 9027 0
vsize: 37032
[startup+860.018 s]
Raw data (loadavg): 0.99 0.93 0.58 2/55 16112
Raw data (stat): 16106 (PBS4) R 16105 20024 20023 0 -1 0 8985 0 0 0 85840 174 0 0 25 0 1 0 511680040 37920768 8835 4294967295 134512640 135450300 3221224640 3221223360 134535764 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9258 8835 231 231 0 9027 0
vsize: 37032
[startup+870.018 s]
Raw data (loadavg): 0.99 0.93 0.58 2/55 16112
Raw data (stat): 16106 (PBS4) R 16105 20024 20023 0 -1 0 8987 0 0 0 86840 174 0 0 25 0 1 0 511680040 37920768 8837 4294967295 134512640 135450300 3221224640 3221223360 134535782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9258 8837 231 231 0 9027 0
vsize: 37032
[startup+880.018 s]
Raw data (loadavg): 0.99 0.93 0.58 2/55 16112
Raw data (stat): 16106 (PBS4) R 16105 20024 20023 0 -1 0 8987 0 0 0 87840 174 0 0 25 0 1 0 511680040 37920768 8837 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9258 8837 231 231 0 9027 0
vsize: 37032
[startup+890.019 s]
Raw data (loadavg): 0.99 0.93 0.59 2/55 16112
Raw data (stat): 16106 (PBS4) R 16105 20024 20023 0 -1 0 8988 0 0 0 88840 174 0 0 25 0 1 0 511680040 37920768 8838 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9258 8838 231 231 0 9027 0
vsize: 37032
[startup+900.019 s]
Raw data (loadavg): 0.99 0.94 0.59 2/55 16112
Raw data (stat): 16106 (PBS4) R 16105 20024 20023 0 -1 0 8990 0 0 0 89840 174 0 0 25 0 1 0 511680040 37920768 8840 4294967295 134512640 135450300 3221224640 3221223360 134535740 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9258 8840 231 231 0 9027 0
vsize: 37032
[startup+910.019 s]
Raw data (loadavg): 0.99 0.94 0.59 2/55 16112
Raw data (stat): 16106 (PBS4) R 16105 20024 20023 0 -1 0 8992 0 0 0 90840 174 0 0 25 0 1 0 511680040 37920768 8842 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9258 8842 231 231 0 9027 0
vsize: 37032
[startup+920.018 s]
Raw data (loadavg): 0.99 0.94 0.60 2/55 16112
Raw data (stat): 16106 (PBS4) R 16105 20024 20023 0 -1 0 8995 0 0 0 91840 174 0 0 25 0 1 0 511680040 37920768 8845 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9258 8845 231 231 0 9027 0
vsize: 37032
[startup+930.019 s]
Raw data (loadavg): 0.99 0.94 0.60 2/55 16112
Raw data (stat): 16106 (PBS4) R 16105 20024 20023 0 -1 0 8997 0 0 0 92840 174 0 0 25 0 1 0 511680040 37920768 8847 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9258 8847 231 231 0 9027 0
vsize: 37032
[startup+940.019 s]
Raw data (loadavg): 0.99 0.94 0.61 2/55 16112
Raw data (stat): 16106 (PBS4) R 16105 20024 20023 0 -1 0 8999 0 0 0 93841 174 0 0 25 0 1 0 511680040 37920768 8849 4294967295 134512640 135450300 3221224640 3221223360 134535755 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9258 8849 231 231 0 9027 0
vsize: 37032
[startup+950.019 s]
Raw data (loadavg): 0.99 0.94 0.61 2/55 16112
Raw data (stat): 16106 (PBS4) R 16105 20024 20023 0 -1 0 8999 0 0 0 94841 175 0 0 25 0 1 0 511680040 37920768 8849 4294967295 134512640 135450300 3221224640 3221223360 134535789 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9258 8849 231 231 0 9027 0
vsize: 37032
[startup+960.02 s]
Raw data (loadavg): 0.99 0.94 0.61 2/55 16112
Raw data (stat): 16106 (PBS4) R 16105 20024 20023 0 -1 0 9010 0 0 0 95841 175 0 0 25 0 1 0 511680040 37920768 8860 4294967295 134512640 135450300 3221224640 3221223360 134535758 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9258 8860 231 231 0 9027 0
vsize: 37032
[startup+970.02 s]
Raw data (loadavg): 0.99 0.95 0.62 2/55 16112
Raw data (stat): 16106 (PBS4) R 16105 20024 20023 0 -1 0 9012 0 0 0 96841 175 0 0 25 0 1 0 511680040 37920768 8862 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9258 8862 231 231 0 9027 0
vsize: 37032
[startup+980.02 s]
Raw data (loadavg): 0.99 0.95 0.62 2/55 16112
Raw data (stat): 16106 (PBS4) R 16105 20024 20023 0 -1 0 9012 0 0 0 97841 175 0 0 25 0 1 0 511680040 37920768 8862 4294967295 134512640 135450300 3221224640 3221223360 134535784 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9258 8862 231 231 0 9027 0
vsize: 37032
[startup+990.253 s]
Raw data (loadavg): 1.07 0.96 0.63 2/59 16155
Raw data (stat): 16106 (PBS4) R 16105 20024 20023 0 -1 0 9016 0 0 0 98863 175 0 0 25 0 1 0 511680040 38055936 8866 4294967295 134512640 135450300 3221224640 3221223360 134535782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9291 8866 231 231 0 9060 0
vsize: 37164
[startup+1000.3 s]
Raw data (loadavg): 1.22 1.00 0.65 2/55 16165
Raw data (stat): 16106 (PBS4) R 16105 20024 20023 0 -1 0 9016 0 0 0 99868 175 0 0 25 0 1 0 511680040 38055936 8866 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9291 8866 231 231 0 9060 0
vsize: 37164
[startup+1010.3 s]
Raw data (loadavg): 1.18 1.00 0.65 2/55 16165
Raw data (stat): 16106 (PBS4) R 16105 20024 20023 0 -1 0 9016 0 0 0 100868 175 0 0 25 0 1 0 511680040 38055936 8866 4294967295 134512640 135450300 3221224640 3221223360 134535737 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9291 8866 231 231 0 9060 0
vsize: 37164
[startup+1020.3 s]
Raw data (loadavg): 1.15 1.00 0.65 2/55 16165
Raw data (stat): 16106 (PBS4) R 16105 20024 20023 0 -1 0 9016 0 0 0 101868 175 0 0 25 0 1 0 511680040 38055936 8866 4294967295 134512640 135450300 3221224640 3221223360 134535726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9291 8866 231 231 0 9060 0
vsize: 37164
[startup+1030.3 s]
Raw data (loadavg): 1.13 1.00 0.65 2/55 16165
Raw data (stat): 16106 (PBS4) R 16105 20024 20023 0 -1 0 9017 0 0 0 102868 175 0 0 25 0 1 0 511680040 38055936 8867 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9291 8867 231 231 0 9060 0
vsize: 37164
[startup+1040.3 s]
Raw data (loadavg): 1.11 1.00 0.66 2/55 16165
Raw data (stat): 16106 (PBS4) R 16105 20024 20023 0 -1 0 9017 0 0 0 103869 175 0 0 25 0 1 0 511680040 38055936 8867 4294967295 134512640 135450300 3221224640 3221223360 134535746 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9291 8867 231 231 0 9060 0
vsize: 37164
[startup+1050.3 s]
Raw data (loadavg): 1.09 1.00 0.66 2/55 16165
Raw data (stat): 16106 (PBS4) R 16105 20024 20023 0 -1 0 9018 0 0 0 104869 175 0 0 25 0 1 0 511680040 38055936 8868 4294967295 134512640 135450300 3221224640 3221223360 134535782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9291 8868 231 231 0 9060 0
vsize: 37164
[startup+1060.3 s]
Raw data (loadavg): 1.08 1.00 0.66 2/55 16169
Raw data (stat): 16106 (PBS4) R 16105 20024 20023 0 -1 0 9020 0 0 0 105869 175 0 0 25 0 1 0 511680040 38055936 8870 4294967295 134512640 135450300 3221224640 3221223360 134535752 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9291 8870 231 231 0 9060 0
vsize: 37164
[startup+1070.3 s]
Raw data (loadavg): 1.06 1.00 0.67 2/55 16169
Raw data (stat): 16106 (PBS4) R 16105 20024 20023 0 -1 0 9020 0 0 0 106869 175 0 0 25 0 1 0 511680040 38055936 8870 4294967295 134512640 135450300 3221224640 3221223360 134535749 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9291 8870 231 231 0 9060 0
vsize: 37164
[startup+1080.3 s]
Raw data (loadavg): 1.05 1.00 0.67 2/55 16169
Raw data (stat): 16106 (PBS4) R 16105 20024 20023 0 -1 0 9020 0 0 0 107869 175 0 0 25 0 1 0 511680040 38055936 8870 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9291 8870 231 231 0 9060 0
vsize: 37164
[startup+1090.3 s]
Raw data (loadavg): 1.05 1.00 0.67 2/55 16169
Raw data (stat): 16106 (PBS4) R 16105 20024 20023 0 -1 0 9023 0 0 0 108869 175 0 0 25 0 1 0 511680040 38055936 8873 4294967295 134512640 135450300 3221224640 3221223360 134535740 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9291 8873 231 231 0 9060 0
vsize: 37164
[startup+1100.3 s]
Raw data (loadavg): 1.04 1.00 0.67 2/55 16169
Raw data (stat): 16106 (PBS4) R 16105 20024 20023 0 -1 0 9023 0 0 0 109869 175 0 0 25 0 1 0 511680040 38055936 8873 4294967295 134512640 135450300 3221224640 3221223360 134535718 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9291 8873 231 231 0 9060 0
vsize: 37164
[startup+1110.3 s]
Raw data (loadavg): 1.03 1.00 0.68 2/55 16169
Raw data (stat): 16106 (PBS4) R 16105 20024 20023 0 -1 0 9026 0 0 0 110870 175 0 0 25 0 1 0 511680040 38055936 8876 4294967295 134512640 135450300 3221224640 3221223360 134535758 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9291 8876 231 231 0 9060 0
vsize: 37164
[startup+1120.3 s]
Raw data (loadavg): 1.03 1.00 0.68 2/55 16169
Raw data (stat): 16106 (PBS4) R 16105 20024 20023 0 -1 0 9026 0 0 0 111870 176 0 0 25 0 1 0 511680040 38055936 8876 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9291 8876 231 231 0 9060 0
vsize: 37164
[startup+1130.3 s]
Raw data (loadavg): 1.02 1.00 0.68 2/55 16169
Raw data (stat): 16106 (PBS4) R 16105 20024 20023 0 -1 0 9026 0 0 0 112870 176 0 0 25 0 1 0 511680040 38055936 8876 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9291 8876 231 231 0 9060 0
vsize: 37164
[startup+1140.3 s]
Raw data (loadavg): 1.02 1.00 0.69 2/55 16169
Raw data (stat): 16106 (PBS4) R 16105 20024 20023 0 -1 0 9026 0 0 0 113870 176 0 0 25 0 1 0 511680040 38055936 8876 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9291 8876 231 231 0 9060 0
vsize: 37164
[startup+1150.3 s]
Raw data (loadavg): 1.02 1.00 0.69 2/55 16169
Raw data (stat): 16106 (PBS4) R 16105 20024 20023 0 -1 0 9026 0 0 0 114870 176 0 0 25 0 1 0 511680040 38055936 8876 4294967295 134512640 135450300 3221224640 3221223360 134535681 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9291 8876 231 231 0 9060 0
vsize: 37164
[startup+1160.3 s]
Raw data (loadavg): 1.01 1.00 0.69 2/55 16169
Raw data (stat): 16106 (PBS4) R 16105 20024 20023 0 -1 0 9026 0 0 0 115870 176 0 0 25 0 1 0 511680040 38055936 8876 4294967295 134512640 135450300 3221224640 3221223360 134535749 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9291 8876 231 231 0 9060 0
vsize: 37164
[startup+1170.3 s]
Raw data (loadavg): 1.01 1.00 0.70 2/55 16169
Raw data (stat): 16106 (PBS4) R 16105 20024 20023 0 -1 0 9026 0 0 0 116870 176 0 0 25 0 1 0 511680040 38055936 8876 4294967295 134512640 135450300 3221224640 3221223360 134535755 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9291 8876 231 231 0 9060 0
vsize: 37164
[startup+1180.3 s]
Raw data (loadavg): 1.01 1.00 0.70 2/55 16169
Raw data (stat): 16106 (PBS4) R 16105 20024 20023 0 -1 0 9029 0 0 0 117870 176 0 0 25 0 1 0 511680040 38055936 8879 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9291 8879 231 231 0 9060 0
vsize: 37164
[startup+1190.3 s]
Raw data (loadavg): 1.01 1.00 0.70 2/55 16169
Raw data (stat): 16106 (PBS4) R 16105 20024 20023 0 -1 0 9029 0 0 0 118871 176 0 0 25 0 1 0 511680040 38055936 8879 4294967295 134512640 135450300 3221224640 3221223360 134535740 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9291 8879 231 231 0 9060 0
vsize: 37164
[startup+1200.3 s]
Raw data (loadavg): 1.00 1.00 0.70 2/55 16169
Raw data (stat): 16106 (PBS4) R 16105 20024 20023 0 -1 0 9029 0 0 0 119871 176 0 0 25 0 1 0 511680040 38055936 8879 4294967295 134512640 135450300 3221224640 3221223360 134535726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9291 8879 231 231 0 9060 0
vsize: 37164
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.32 s]
Raw data (loadavg): 1.00 1.00 0.70 1/55 16169
Raw data (stat): 16106 (PBS4) Z 16105 20024 20023 0 -1 1036 9029 0 0 0 119871 178 0 0 25 0 1 0 511680040 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.32
CPU time (s): 1200.5
CPU user time (s): 1198.71
CPU system time (s): 1.78173
CPU usage (%): 100.015
Max. virtual memory (Kb): 37164
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####