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/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-seymour.opb
MD5SUM	7a556e7a6f3a7d80c9337cf46e294ecb
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	482
Optimality of the best value was proved	NO
Number of terms in the objective function	1372
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	1372
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	1372
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.05484
Number of variables	1372
Total number of constraints	6316
Number of constraints which are clauses	4944
Number of constraints which are cardinality constraints (but not clauses)	1372
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	1
Maximum length of a constraint	19
Trace number 21584

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc30 THE 2005-04-22 00:18:14 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=13019 boxname=wulflinc30 idbench=1002 idsolver=6 numberseed=0
MD5SUM SOLVER: 2225cba0d9b2c30e235f6cafc823d7ac  /oldhome/oroussel/solvers/PBS4
MD5SUM BENCH:  7a556e7a6f3a7d80c9337cf46e294ecb  /oldhome/oroussel/tmp/wulflinc30/normalized-mps-v2-20-10-seymour.opb
REAL COMMAND:  PBS4 /oldhome/oroussel/tmp/wulflinc30/normalized-mps-v2-20-10-seymour.opb
IDLAUNCH: 13019
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.072
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.072
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	: 901.12

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        633612 kB
Buffers:         29172 kB
Cached:         344868 kB
SwapCached:         28 kB
Active:         190476 kB
Inactive:       186428 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        633360 kB
SwapTotal:     2097892 kB
SwapFree:      2097796 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6800 kB
Slab:            18572 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-04-22 00:38:17 (client local time) WITH STATUS 0 IN 1200.38 SECONDS
stats: 13019 7 1200.38 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c PBS v4 by Bashar Al-Rawi & Fadi Aloul
c Solving /oldhome/oroussel/tmp/wulflinc30/normalized-mps-v2-20-10-seymour.opb ......
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.85 0.95 0.91 2/54 32573
Raw data (stat): 32573 (runsolver) R 32572 11931 11930 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 549337471 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 s]
Raw data (loadavg): 0.87 0.95 0.91 2/54 32573
Raw data (stat): 32573 (PBS4) R 32572 11931 11930 0 -1 0 1841 0 0 0 991 8 0 0 25 0 1 0 549337471 10272768 1830 4294967295 134512640 135450300 3221224624 3221223360 134538466 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2508 1830 231 231 0 2277 0
vsize: 10032
[startup+20.0015 s]
Raw data (loadavg): 0.89 0.96 0.91 2/54 32573
Raw data (stat): 32573 (PBS4) R 32572 11931 11930 0 -1 0 3232 0 0 0 1986 12 0 0 25 0 1 0 549337471 18661376 3221 4294967295 134512640 135450300 3221224624 3221223440 134547505 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4556 3221 231 231 0 4325 0
vsize: 18224
[startup+30.0015 s]
Raw data (loadavg): 0.91 0.96 0.91 2/54 32573
Raw data (stat): 32573 (PBS4) R 32572 11931 11930 0 -1 0 4519 0 0 0 2982 16 0 0 25 0 1 0 549337471 35438592 4508 4294967295 134512640 135450300 3221224624 3221223360 134538672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8652 4508 231 231 0 8421 0
vsize: 34608
[startup+40.0023 s]
Raw data (loadavg): 0.92 0.96 0.91 2/54 32573
Raw data (stat): 32573 (PBS4) R 32572 11931 11930 0 -1 0 5851 0 0 0 3978 20 0 0 25 0 1 0 549337471 35774464 5791 4294967295 134512640 135450300 3221224624 3221223360 134538677 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8734 5791 231 231 0 8503 0
vsize: 34936
[startup+50.0034 s]
Raw data (loadavg): 0.93 0.96 0.91 2/54 32573
Raw data (stat): 32573 (PBS4) R 32572 11931 11930 0 -1 0 7051 0 0 0 4977 22 0 0 25 0 1 0 549337471 35774464 6991 4294967295 134512640 135450300 3221224624 3221223360 134538461 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8734 6991 231 231 0 8503 0
vsize: 34936
[startup+60.0029 s]
Raw data (loadavg): 0.94 0.96 0.91 2/54 32573
Raw data (stat): 32573 (PBS4) R 32572 11931 11930 0 -1 0 8203 0 0 0 5973 25 0 0 25 0 1 0 549337471 35774464 8143 4294967295 134512640 135450300 3221224624 3221223360 134538677 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8734 8143 231 231 0 8503 0
vsize: 34936
[startup+70.0037 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 32573
Raw data (stat): 32573 (PBS4) R 32572 11931 11930 0 -1 0 9300 0 0 0 6971 28 0 0 25 0 1 0 549337471 69328896 9240 4294967295 134512640 135450300 3221224624 3221223440 134547503 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16926 9240 231 231 0 16695 0
vsize: 67704
[startup+80.0043 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 32573
Raw data (stat): 32573 (PBS4) R 32572 11931 11930 0 -1 0 9868 0 0 0 7967 32 0 0 25 0 1 0 549337471 69464064 9808 4294967295 134512640 135450300 3221224624 3221223344 134535706 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16959 9808 231 231 0 16728 0
vsize: 67836
[startup+90.0044 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 32573
Raw data (stat): 32573 (PBS4) R 32572 11931 11930 0 -1 0 10175 0 0 0 8963 36 0 0 25 0 1 0 549337471 69464064 10115 4294967295 134512640 135450300 3221224624 3221223344 134535675 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16959 10115 231 231 0 16728 0
vsize: 67836
[startup+100.004 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 32573
Raw data (stat): 32573 (PBS4) R 32572 11931 11930 0 -1 0 10456 0 0 0 9962 37 0 0 25 0 1 0 549337471 69464064 10396 4294967295 134512640 135450300 3221224624 3221222928 134844356 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16959 10396 231 231 0 16728 0
vsize: 67836
[startup+110.004 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 32573
Raw data (stat): 32573 (PBS4) R 32572 11931 11930 0 -1 0 10751 0 0 0 10960 39 0 0 25 0 1 0 549337471 69607424 10691 4294967295 134512640 135450300 3221224624 3221223344 134535939 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16994 10691 231 231 0 16763 0
vsize: 67976
[startup+120.005 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 32573
Raw data (stat): 32573 (PBS4) R 32572 11931 11930 0 -1 0 11043 0 0 0 11956 43 0 0 25 0 1 0 549337471 69734400 10983 4294967295 134512640 135450300 3221224624 3221223344 134535806 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17025 10983 231 231 0 16794 0
vsize: 68100
[startup+130.005 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 32573
Raw data (stat): 32573 (PBS4) R 32572 11931 11930 0 -1 0 11353 0 0 0 12955 44 0 0 25 0 1 0 549337471 69734400 11293 4294967295 134512640 135450300 3221224624 3221223344 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17025 11293 231 231 0 16794 0
vsize: 68100
[startup+140.006 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 32573
Raw data (stat): 32573 (PBS4) R 32572 11931 11930 0 -1 0 11701 0 0 0 13952 47 0 0 25 0 1 0 549337471 69734400 11641 4294967295 134512640 135450300 3221224624 3221223344 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17025 11641 231 231 0 16794 0
vsize: 68100
[startup+150.006 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 32573
Raw data (stat): 32573 (PBS4) R 32572 11931 11930 0 -1 0 12112 0 0 0 14945 55 0 0 25 0 1 0 549337471 69734400 12052 4294967295 134512640 135450300 3221224624 3221223344 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17025 12052 231 231 0 16794 0
vsize: 68100
[startup+160.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32573
Raw data (stat): 32573 (PBS4) R 32572 11931 11930 0 -1 0 12505 0 0 0 15944 56 0 0 25 0 1 0 549337471 69734400 12445 4294967295 134512640 135450300 3221224624 3221223344 134535740 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17025 12445 231 231 0 16794 0
vsize: 68100
[startup+170.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32573
Raw data (stat): 32573 (PBS4) R 32572 11931 11930 0 -1 0 12899 0 0 0 16936 64 0 0 25 0 1 0 549337471 69869568 12839 4294967295 134512640 135450300 3221224624 3221223152 134543751 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17058 12839 231 231 0 16827 0
vsize: 68232
[startup+180.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32573
Raw data (stat): 32573 (PBS4) R 32572 11931 11930 0 -1 0 13231 0 0 0 17935 65 0 0 25 0 1 0 549337471 69869568 13171 4294967295 134512640 135450300 3221224624 3221223344 134535706 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17058 13171 231 231 0 16827 0
vsize: 68232
[startup+190.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32573
Raw data (stat): 32573 (PBS4) R 32572 11931 11930 0 -1 0 13514 0 0 0 18933 67 0 0 25 0 1 0 549337471 69869568 13454 4294967295 134512640 135450300 3221224624 3221223344 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17058 13454 231 231 0 16827 0
vsize: 68232
[startup+200.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32573
Raw data (stat): 32573 (PBS4) R 32572 11931 11930 0 -1 0 13517 0 0 0 19928 73 0 0 25 0 1 0 549337471 69869568 13457 4294967295 134512640 135450300 3221224624 3221223344 134535746 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17058 13457 231 231 0 16827 0
vsize: 68232
[startup+210.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32573
Raw data (stat): 32573 (PBS4) R 32572 11931 11930 0 -1 0 13519 0 0 0 20928 73 0 0 25 0 1 0 549337471 69869568 13459 4294967295 134512640 135450300 3221224624 3221223344 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17058 13459 231 231 0 16827 0
vsize: 68232
[startup+220.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32573
Raw data (stat): 32573 (PBS4) R 32572 11931 11930 0 -1 0 13527 0 0 0 21921 80 0 0 25 0 1 0 549337471 69869568 13467 4294967295 134512640 135450300 3221224624 3221223344 134535803 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17058 13467 231 231 0 16827 0
vsize: 68232
[startup+230.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32573
Raw data (stat): 32573 (PBS4) R 32572 11931 11930 0 -1 0 13530 0 0 0 22920 81 0 0 25 0 1 0 549337471 69869568 13470 4294967295 134512640 135450300 3221224624 3221223344 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17058 13470 231 231 0 16827 0
vsize: 68232
[startup+240.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32573
Raw data (stat): 32573 (PBS4) R 32572 11931 11930 0 -1 0 13539 0 0 0 23918 83 0 0 25 0 1 0 549337471 69869568 13479 4294967295 134512640 135450300 3221224624 3221223456 134549371 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17058 13479 231 231 0 16827 0
vsize: 68232
[startup+250.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32573
Raw data (stat): 32573 (PBS4) R 32572 11931 11930 0 -1 0 13638 0 0 0 24913 89 0 0 25 0 1 0 549337471 70262784 13481 4294967295 134512640 135450300 3221224624 3221223344 134535732 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17154 13481 231 231 0 16923 0
vsize: 68616
[startup+260.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32573
Raw data (stat): 32573 (PBS4) R 32572 11931 11930 0 -1 0 13641 0 0 0 25913 89 0 0 25 0 1 0 549337471 70262784 13484 4294967295 134512640 135450300 3221224624 3221223344 134535740 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17154 13484 231 231 0 16923 0
vsize: 68616
[startup+270.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32573
Raw data (stat): 32573 (PBS4) R 32572 11931 11930 0 -1 0 13648 0 0 0 26908 94 0 0 25 0 1 0 549337471 70385664 13491 4294967295 134512640 135450300 3221224624 3221223344 134535761 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17184 13491 231 231 0 16953 0
vsize: 68736
[startup+280.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32573
Raw data (stat): 32573 (PBS4) R 32572 11931 11930 0 -1 0 13650 0 0 0 27908 94 0 0 25 0 1 0 549337471 70385664 13493 4294967295 134512640 135450300 3221224624 3221223344 134535675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17184 13493 231 231 0 16953 0
vsize: 68736
[startup+290.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32573
Raw data (stat): 32573 (PBS4) R 32572 11931 11930 0 -1 0 13656 0 0 0 28903 99 0 0 25 0 1 0 549337471 70385664 13499 4294967295 134512640 135450300 3221224624 3221223344 134535789 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17184 13499 231 231 0 16953 0
vsize: 68736
[startup+300.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32573
Raw data (stat): 32573 (PBS4) R 32572 11931 11930 0 -1 0 13658 0 0 0 29902 100 0 0 25 0 1 0 549337471 70385664 13501 4294967295 134512640 135450300 3221224624 3221223360 134538461 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17184 13501 231 231 0 16953 0
vsize: 68736
[startup+310.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32573
Raw data (stat): 32573 (PBS4) R 32572 11931 11930 0 -1 0 13667 0 0 0 30900 103 0 0 25 0 1 0 549337471 70385664 13510 4294967295 134512640 135450300 3221224624 3221223344 134535749 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17184 13510 231 231 0 16953 0
vsize: 68736
[startup+320.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32573
Raw data (stat): 32573 (PBS4) R 32572 11931 11930 0 -1 0 13669 0 0 0 31894 109 0 0 25 0 1 0 549337471 70385664 13512 4294967295 134512640 135450300 3221224624 3221223344 134535761 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17184 13512 231 231 0 16953 0
vsize: 68736
[startup+330.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32573
Raw data (stat): 32573 (PBS4) R 32572 11931 11930 0 -1 0 13670 0 0 0 32894 109 0 0 25 0 1 0 549337471 70385664 13513 4294967295 134512640 135450300 3221224624 3221223344 134535749 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17184 13513 231 231 0 16953 0
vsize: 68736
[startup+340.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32573
Raw data (stat): 32573 (PBS4) R 32572 11931 11930 0 -1 0 13676 0 0 0 33890 113 0 0 25 0 1 0 549337471 70385664 13519 4294967295 134512640 135450300 3221224624 3221223440 134547472 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17184 13519 231 231 0 16953 0
vsize: 68736
[startup+350.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32573
Raw data (stat): 32573 (PBS4) R 32572 11931 11930 0 -1 0 13678 0 0 0 34890 113 0 0 25 0 1 0 549337471 70385664 13521 4294967295 134512640 135450300 3221224624 3221223360 134538459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17184 13521 231 231 0 16953 0
vsize: 68736
[startup+360.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32573
Raw data (stat): 32573 (PBS4) R 32572 11931 11930 0 -1 0 13685 0 0 0 35884 120 0 0 25 0 1 0 549337471 70385664 13528 4294967295 134512640 135450300 3221224624 3221223344 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17184 13528 231 231 0 16953 0
vsize: 68736
[startup+370.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32573
Raw data (stat): 32573 (PBS4) R 32572 11931 11930 0 -1 0 13687 0 0 0 36883 121 0 0 25 0 1 0 549337471 70385664 13530 4294967295 134512640 135450300 3221224624 3221223344 134535518 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17184 13530 231 231 0 16953 0
vsize: 68736
[startup+380.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32573
Raw data (stat): 32573 (PBS4) R 32572 11931 11930 0 -1 0 13695 0 0 0 37881 123 0 0 25 0 1 0 549337471 70385664 13538 4294967295 134512640 135450300 3221224624 3221223344 134535789 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17184 13538 231 231 0 16953 0
vsize: 68736
[startup+390.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32573
Raw data (stat): 32573 (PBS4) R 32572 11931 11930 0 -1 0 13697 0 0 0 38878 126 0 0 25 0 1 0 549337471 70385664 13540 4294967295 134512640 135450300 3221224624 3221223344 134535784 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17184 13540 231 231 0 16953 0
vsize: 68736
[startup+400.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32573
Raw data (stat): 32573 (PBS4) R 32572 11931 11930 0 -1 0 13699 0 0 0 39878 126 0 0 25 0 1 0 549337471 70385664 13542 4294967295 134512640 135450300 3221224624 3221223440 134537225 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17184 13542 231 231 0 16953 0
vsize: 68736
[startup+410.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32573
Raw data (stat): 32573 (PBS4) R 32572 11931 11930 0 -1 0 13706 0 0 0 40870 135 0 0 25 0 1 0 549337471 70512640 13549 4294967295 134512640 135450300 3221224624 3221223344 134535789 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17215 13549 231 231 0 16984 0
vsize: 68860
[startup+420.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32573
Raw data (stat): 32573 (PBS4) R 32572 11931 11930 0 -1 0 13707 0 0 0 41870 135 0 0 25 0 1 0 549337471 70512640 13550 4294967295 134512640 135450300 3221224624 3221223344 134535898 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17215 13550 231 231 0 16984 0
vsize: 68860
[startup+430.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32573
Raw data (stat): 32573 (PBS4) R 32572 11931 11930 0 -1 0 13715 0 0 0 42867 138 0 0 25 0 1 0 549337471 70512640 13558 4294967295 134512640 135450300 3221224624 3221223344 134535789 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17215 13558 231 231 0 16984 0
vsize: 68860
[startup+440.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32573
Raw data (stat): 32573 (PBS4) R 32572 11931 11930 0 -1 0 13717 0 0 0 43865 140 0 0 25 0 1 0 549337471 70512640 13560 4294967295 134512640 135450300 3221224624 3221223344 134535806 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17215 13560 231 231 0 16984 0
vsize: 68860
[startup+450.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32573
Raw data (stat): 32573 (PBS4) R 32572 11931 11930 0 -1 0 13722 0 0 0 44861 145 0 0 25 0 1 0 549337471 70512640 13565 4294967295 134512640 135450300 3221224624 3221223344 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17215 13565 231 231 0 16984 0
vsize: 68860
[startup+460.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32573
Raw data (stat): 32573 (PBS4) R 32572 11931 11930 0 -1 0 13724 0 0 0 45859 146 0 0 25 0 1 0 549337471 70512640 13567 4294967295 134512640 135450300 3221224624 3221223344 134535784 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17215 13567 231 231 0 16984 0
vsize: 68860
[startup+470.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32573
Raw data (stat): 32573 (PBS4) R 32572 11931 11930 0 -1 0 13733 0 0 0 46859 147 0 0 25 0 1 0 549337471 70512640 13576 4294967295 134512640 135450300 3221224624 3221223360 134538443 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17215 13576 231 231 0 16984 0
vsize: 68860
[startup+480.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32573
Raw data (stat): 32573 (PBS4) R 32572 11931 11930 0 -1 0 13738 0 0 0 47857 149 0 0 25 0 1 0 549337471 70512640 13581 4294967295 134512640 135450300 3221224624 3221223344 134535722 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17215 13581 231 231 0 16984 0
vsize: 68860
[startup+490.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32573
Raw data (stat): 32573 (PBS4) R 32572 11931 11930 0 -1 0 13744 0 0 0 48857 149 0 0 25 0 1 0 549337471 70512640 13587 4294967295 134512640 135450300 3221224624 3221223440 134547501 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17215 13587 231 231 0 16984 0
vsize: 68860
[startup+500.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32573
Raw data (stat): 32573 (PBS4) R 32572 11931 11930 0 -1 0 13746 0 0 0 49857 149 0 0 25 0 1 0 549337471 70512640 13589 4294967295 134512640 135450300 3221224624 3221223344 134535706 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17215 13589 231 231 0 16984 0
vsize: 68860
[startup+510.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32573
Raw data (stat): 32573 (PBS4) R 32572 11931 11930 0 -1 0 13758 0 0 0 50854 153 0 0 25 0 1 0 549337471 70647808 13601 4294967295 134512640 135450300 3221224624 3221223344 134535775 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17248 13601 231 231 0 17017 0
vsize: 68992
[startup+520.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32573
Raw data (stat): 32573 (PBS4) R 32572 11931 11930 0 -1 0 13782 0 0 0 51854 153 0 0 25 0 1 0 549337471 70647808 13625 4294967295 134512640 135450300 3221224624 3221223344 134535740 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17248 13625 231 231 0 17017 0
vsize: 68992
[startup+530.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32573
Raw data (stat): 32573 (PBS4) R 32572 11931 11930 0 -1 0 13786 0 0 0 52854 153 0 0 25 0 1 0 549337471 70782976 13629 4294967295 134512640 135450300 3221224624 3221223344 134535758 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17281 13629 231 231 0 17050 0
vsize: 69124
[startup+540.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32573
Raw data (stat): 32573 (PBS4) R 32572 11931 11930 0 -1 0 13788 0 0 0 53854 153 0 0 25 0 1 0 549337471 70782976 13631 4294967295 134512640 135450300 3221224624 3221223344 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17281 13631 231 231 0 17050 0
vsize: 69124
[startup+550.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32573
Raw data (stat): 32573 (PBS4) R 32572 11931 11930 0 -1 0 13791 0 0 0 54854 153 0 0 25 0 1 0 549337471 70782976 13634 4294967295 134512640 135450300 3221224624 3221223344 134535789 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17281 13634 231 231 0 17050 0
vsize: 69124
[startup+560.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32573
Raw data (stat): 32573 (PBS4) R 32572 11931 11930 0 -1 0 13793 0 0 0 55854 153 0 0 25 0 1 0 549337471 70782976 13636 4294967295 134512640 135450300 3221224624 3221223344 134535803 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17281 13636 231 231 0 17050 0
vsize: 69124
[startup+570.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32573
Raw data (stat): 32573 (PBS4) R 32572 11931 11930 0 -1 0 13804 0 0 0 56855 153 0 0 25 0 1 0 549337471 70782976 13647 4294967295 134512640 135450300 3221224624 3221223344 134535706 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17281 13647 231 231 0 17050 0
vsize: 69124
[startup+580.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32573
Raw data (stat): 32573 (PBS4) R 32572 11931 11930 0 -1 0 13807 0 0 0 57855 153 0 0 25 0 1 0 549337471 70782976 13650 4294967295 134512640 135450300 3221224624 3221223344 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17281 13650 231 231 0 17050 0
vsize: 69124
[startup+590.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32573
Raw data (stat): 32573 (PBS4) R 32572 11931 11930 0 -1 0 13810 0 0 0 58855 154 0 0 25 0 1 0 549337471 70782976 13653 4294967295 134512640 135450300 3221224624 3221223088 134532638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17281 13653 231 231 0 17050 0
vsize: 69124
[startup+600.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32573
Raw data (stat): 32573 (PBS4) R 32572 11931 11930 0 -1 0 13821 0 0 0 59855 154 0 0 25 0 1 0 549337471 70782976 13664 4294967295 134512640 135450300 3221224624 3221223360 134538677 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17281 13664 231 231 0 17050 0
vsize: 69124
[startup+610.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32573
Raw data (stat): 32573 (PBS4) R 32572 11931 11930 0 -1 0 13828 0 0 0 60855 154 0 0 25 0 1 0 549337471 70782976 13671 4294967295 134512640 135450300 3221224624 3221223344 134535709 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17281 13671 231 231 0 17050 0
vsize: 69124
[startup+620.045 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32573
Raw data (stat): 32573 (PBS4) R 32572 11931 11930 0 -1 0 13830 0 0 0 61857 154 0 0 25 0 1 0 549337471 70782976 13673 4294967295 134512640 135450300 3221224624 3221223344 134535935 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17281 13673 231 231 0 17050 0
vsize: 69124
[startup+630.045 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32573
Raw data (stat): 32573 (PBS4) R 32572 11931 11930 0 -1 0 13830 0 0 0 62857 155 0 0 25 0 1 0 549337471 70782976 13673 4294967295 134512640 135450300 3221224624 3221223344 134535746 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17281 13673 231 231 0 17050 0
vsize: 69124
[startup+640.048 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32573
Raw data (stat): 32573 (PBS4) R 32572 11931 11930 0 -1 0 13832 0 0 0 63857 155 0 0 25 0 1 0 549337471 70782976 13675 4294967295 134512640 135450300 3221224624 3221223344 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17281 13675 231 231 0 17050 0
vsize: 69124
[startup+650.048 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32573
Raw data (stat): 32573 (PBS4) R 32572 11931 11930 0 -1 0 13833 0 0 0 64858 155 0 0 25 0 1 0 549337471 70782976 13676 4294967295 134512640 135450300 3221224624 3221223344 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17281 13676 231 231 0 17050 0
vsize: 69124
[startup+660.048 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32573
Raw data (stat): 32573 (PBS4) R 32572 11931 11930 0 -1 0 13834 0 0 0 65858 155 0 0 25 0 1 0 549337471 70782976 13677 4294967295 134512640 135450300 3221224624 3221223344 134535784 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17281 13677 231 231 0 17050 0
vsize: 69124
[startup+670.048 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32573
Raw data (stat): 32573 (PBS4) R 32572 11931 11930 0 -1 0 13834 0 0 0 66858 155 0 0 25 0 1 0 549337471 70782976 13677 4294967295 134512640 135450300 3221224624 3221223344 134535740 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17281 13677 231 231 0 17050 0
vsize: 69124
[startup+680.057 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32573
Raw data (stat): 32573 (PBS4) R 32572 11931 11930 0 -1 0 13836 0 0 0 67859 155 0 0 25 0 1 0 549337471 70782976 13679 4294967295 134512640 135450300 3221224624 3221223344 134535789 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17281 13679 231 231 0 17050 0
vsize: 69124
[startup+690.059 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32573
Raw data (stat): 32573 (PBS4) R 32572 11931 11930 0 -1 0 13853 0 0 0 68859 155 0 0 25 0 1 0 549337471 70930432 13696 4294967295 134512640 135450300 3221224624 3221223456 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17317 13696 231 231 0 17086 0
vsize: 69268
[startup+700.059 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32573
Raw data (stat): 32573 (PBS4) R 32572 11931 11930 0 -1 0 13856 0 0 0 69859 155 0 0 25 0 1 0 549337471 70930432 13699 4294967295 134512640 135450300 3221224624 3221223344 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17317 13699 231 231 0 17086 0
vsize: 69268
[startup+710.071 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32573
Raw data (stat): 32573 (PBS4) R 32572 11931 11930 0 -1 0 13862 0 0 0 70860 155 0 0 25 0 1 0 549337471 70930432 13705 4294967295 134512640 135450300 3221224624 3221223344 134535803 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17317 13705 231 231 0 17086 0
vsize: 69268
[startup+720.078 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32573
Raw data (stat): 32573 (PBS4) R 32572 11931 11930 0 -1 0 13862 0 0 0 71861 155 0 0 25 0 1 0 549337471 70930432 13705 4294967295 134512640 135450300 3221224624 3221223344 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17317 13705 231 231 0 17086 0
vsize: 69268
[startup+730.078 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32573
Raw data (stat): 32573 (PBS4) R 32572 11931 11930 0 -1 0 13864 0 0 0 72861 156 0 0 25 0 1 0 549337471 70930432 13707 4294967295 134512640 135450300 3221224624 3221223344 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17317 13707 231 231 0 17086 0
vsize: 69268
[startup+740.081 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32573
Raw data (stat): 32573 (PBS4) R 32572 11931 11930 0 -1 0 13866 0 0 0 73861 156 0 0 25 0 1 0 549337471 70930432 13709 4294967295 134512640 135450300 3221224624 3221223344 134535932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17317 13709 231 231 0 17086 0
vsize: 69268
[startup+750.085 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32573
Raw data (stat): 32573 (PBS4) R 32572 11931 11930 0 -1 0 13867 0 0 0 74862 156 0 0 25 0 1 0 549337471 70930432 13710 4294967295 134512640 135450300 3221224624 3221223344 134535709 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17317 13710 231 231 0 17086 0
vsize: 69268
[startup+760.085 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32573
Raw data (stat): 32573 (PBS4) R 32572 11931 11930 0 -1 0 13878 0 0 0 75862 156 0 0 25 0 1 0 549337471 70930432 13721 4294967295 134512640 135450300 3221224624 3221223344 134535722 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17317 13721 231 231 0 17086 0
vsize: 69268
[startup+770.085 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32573
Raw data (stat): 32573 (PBS4) R 32572 11931 11930 0 -1 0 13888 0 0 0 76861 157 0 0 25 0 1 0 549337471 71065600 13731 4294967295 134512640 135450300 3221224624 3221223344 134535514 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17350 13731 231 231 0 17119 0
vsize: 69400
[startup+780.09 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32573
Raw data (stat): 32573 (PBS4) R 32572 11931 11930 0 -1 0 13889 0 0 0 77862 157 0 0 25 0 1 0 549337471 71065600 13732 4294967295 134512640 135450300 3221224624 3221223344 134535675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17350 13732 231 231 0 17119 0
vsize: 69400
[startup+790.09 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32573
Raw data (stat): 32573 (PBS4) R 32572 11931 11930 0 -1 0 13890 0 0 0 78862 157 0 0 25 0 1 0 549337471 71065600 13733 4294967295 134512640 135450300 3221224624 3221223344 134535664 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17350 13733 231 231 0 17119 0
vsize: 69400
[startup+800.105 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32573
Raw data (stat): 32573 (PBS4) R 32572 11931 11930 0 -1 0 13891 0 0 0 79864 157 0 0 25 0 1 0 549337471 71065600 13734 4294967295 134512640 135450300 3221224624 3221223344 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17350 13734 231 231 0 17119 0
vsize: 69400
[startup+810.106 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32573
Raw data (stat): 32573 (PBS4) R 32572 11931 11930 0 -1 0 13893 0 0 0 80864 157 0 0 25 0 1 0 549337471 71065600 13736 4294967295 134512640 135450300 3221224624 3221223344 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17350 13736 231 231 0 17119 0
vsize: 69400
[startup+820.11 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32573
Raw data (stat): 32573 (PBS4) R 32572 11931 11930 0 -1 0 13894 0 0 0 81865 157 0 0 25 0 1 0 549337471 71065600 13737 4294967295 134512640 135450300 3221224624 3221223440 134547444 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17350 13737 231 231 0 17119 0
vsize: 69400
[startup+830.11 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32573
Raw data (stat): 32573 (PBS4) R 32572 11931 11930 0 -1 0 13895 0 0 0 82865 157 0 0 25 0 1 0 549337471 71065600 13738 4294967295 134512640 135450300 3221224624 3221223344 134535971 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17350 13738 231 231 0 17119 0
vsize: 69400
[startup+840.11 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32573
Raw data (stat): 32573 (PBS4) R 32572 11931 11930 0 -1 0 13906 0 0 0 83865 157 0 0 25 0 1 0 549337471 71065600 13749 4294967295 134512640 135450300 3221224624 3221223344 134535784 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17350 13749 231 231 0 17119 0
vsize: 69400
[startup+850.111 s]
Raw data (loadavg): 1.07 0.99 0.92 2/54 32573
Raw data (stat): 32573 (PBS4) R 32572 11931 11930 0 -1 0 13917 0 0 0 84865 157 0 0 25 0 1 0 549337471 71065600 13760 4294967295 134512640 135450300 3221224624 3221223456 134549317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17350 13760 231 231 0 17119 0
vsize: 69400
[startup+860.15 s]
Raw data (loadavg): 1.06 0.99 0.92 2/54 32573
Raw data (stat): 32573 (PBS4) R 32572 11931 11930 0 -1 0 13919 0 0 0 85869 157 0 0 25 0 1 0 549337471 71065600 13762 4294967295 134512640 135450300 3221224624 3221223344 134535775 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17350 13762 231 231 0 17119 0
vsize: 69400
[startup+870.151 s]
Raw data (loadavg): 1.05 0.99 0.92 2/54 32573
Raw data (stat): 32573 (PBS4) R 32572 11931 11930 0 -1 0 13919 0 0 0 86869 157 0 0 25 0 1 0 549337471 71065600 13762 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17350 13762 231 231 0 17119 0
vsize: 69400
[startup+880.15 s]
Raw data (loadavg): 1.04 0.99 0.92 2/54 32573
Raw data (stat): 32573 (PBS4) R 32572 11931 11930 0 -1 0 13920 0 0 0 87869 158 0 0 25 0 1 0 549337471 71065600 13763 4294967295 134512640 135450300 3221224624 3221223344 134535501 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17350 13763 231 231 0 17119 0
vsize: 69400
[startup+890.168 s]
Raw data (loadavg): 1.04 0.99 0.92 2/54 32573
Raw data (stat): 32573 (PBS4) R 32572 11931 11930 0 -1 0 14115 0 0 0 88870 158 0 0 25 0 1 0 549337471 71852032 13765 4294967295 134512640 135450300 3221224624 3221223008 134602266 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17542 13765 231 231 0 17311 0
vsize: 70168
[startup+900.168 s]
Raw data (loadavg): 1.03 0.99 0.92 2/54 32573
Raw data (stat): 32573 (PBS4) R 32572 11931 11930 0 -1 0 14126 0 0 0 89870 158 0 0 25 0 1 0 549337471 71852032 13776 4294967295 134512640 135450300 3221224624 3221223344 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17542 13776 231 231 0 17311 0
vsize: 70168
[startup+910.168 s]
Raw data (loadavg): 1.03 0.99 0.92 2/54 32573
Raw data (stat): 32573 (PBS4) R 32572 11931 11930 0 -1 0 14136 0 0 0 90870 159 0 0 25 0 1 0 549337471 71987200 13786 4294967295 134512640 135450300 3221224624 3221223344 134535944 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17575 13786 231 231 0 17344 0
vsize: 70300
[startup+920.169 s]
Raw data (loadavg): 1.02 0.99 0.92 2/54 32573
Raw data (stat): 32573 (PBS4) R 32572 11931 11930 0 -1 0 14137 0 0 0 91870 159 0 0 25 0 1 0 549337471 71987200 13787 4294967295 134512640 135450300 3221224624 3221223344 134535551 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17575 13787 231 231 0 17344 0
vsize: 70300
[startup+930.169 s]
Raw data (loadavg): 1.02 0.99 0.92 2/54 32573
Raw data (stat): 32573 (PBS4) R 32572 11931 11930 0 -1 0 14139 0 0 0 92870 159 0 0 25 0 1 0 549337471 71987200 13789 4294967295 134512640 135450300 3221224624 3221223344 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17575 13789 231 231 0 17344 0
vsize: 70300
[startup+940.168 s]
Raw data (loadavg): 1.01 0.99 0.92 2/54 32573
Raw data (stat): 32573 (PBS4) R 32572 11931 11930 0 -1 0 14139 0 0 0 93870 159 0 0 25 0 1 0 549337471 71987200 13789 4294967295 134512640 135450300 3221224624 3221223344 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17575 13789 231 231 0 17344 0
vsize: 70300
[startup+950.168 s]
Raw data (loadavg): 1.01 0.99 0.92 2/54 32573
Raw data (stat): 32573 (PBS4) R 32572 11931 11930 0 -1 0 14140 0 0 0 94870 159 0 0 25 0 1 0 549337471 71987200 13790 4294967295 134512640 135450300 3221224624 3221223344 134535749 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17575 13790 231 231 0 17344 0
vsize: 70300
[startup+960.168 s]
Raw data (loadavg): 1.01 0.99 0.92 2/54 32573
Raw data (stat): 32573 (PBS4) R 32572 11931 11930 0 -1 0 14140 0 0 0 95870 159 0 0 25 0 1 0 549337471 71987200 13790 4294967295 134512640 135450300 3221224624 3221223344 134535789 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17575 13790 231 231 0 17344 0
vsize: 70300
[startup+970.169 s]
Raw data (loadavg): 1.01 0.99 0.92 2/54 32573
Raw data (stat): 32573 (PBS4) R 32572 11931 11930 0 -1 0 14141 0 0 0 96870 159 0 0 25 0 1 0 549337471 71987200 13791 4294967295 134512640 135450300 3221224624 3221223344 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17575 13791 231 231 0 17344 0
vsize: 70300
[startup+980.169 s]
Raw data (loadavg): 1.01 0.99 0.92 2/54 32573
Raw data (stat): 32573 (PBS4) R 32572 11931 11930 0 -1 0 14141 0 0 0 97871 159 0 0 25 0 1 0 549337471 71987200 13791 4294967295 134512640 135450300 3221224624 3221223344 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17575 13791 231 231 0 17344 0
vsize: 70300
[startup+990.168 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 32573
Raw data (stat): 32573 (PBS4) R 32572 11931 11930 0 -1 0 14142 0 0 0 98871 159 0 0 25 0 1 0 549337471 71987200 13792 4294967295 134512640 135450300 3221224624 3221223344 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17575 13792 231 231 0 17344 0
vsize: 70300
[startup+1000.17 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 32573
Raw data (stat): 32573 (PBS4) R 32572 11931 11930 0 -1 0 14152 0 0 0 99870 160 0 0 25 0 1 0 549337471 71987200 13802 4294967295 134512640 135450300 3221224624 3221223456 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17575 13802 231 231 0 17344 0
vsize: 70300
[startup+1010.17 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 32573
Raw data (stat): 32573 (PBS4) R 32572 11931 11930 0 -1 0 14163 0 0 0 100870 160 0 0 25 0 1 0 549337471 71987200 13813 4294967295 134512640 135450300 3221224624 3221223344 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17575 13813 231 231 0 17344 0
vsize: 70300
[startup+1020.17 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 32573
Raw data (stat): 32573 (PBS4) R 32572 11931 11930 0 -1 0 14164 0 0 0 101870 160 0 0 25 0 1 0 549337471 71987200 13814 4294967295 134512640 135450300 3221224624 3221223344 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17575 13814 231 231 0 17344 0
vsize: 70300
[startup+1030.17 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 32573
Raw data (stat): 32573 (PBS4) R 32572 11931 11930 0 -1 0 14165 0 0 0 102871 160 0 0 25 0 1 0 549337471 71987200 13815 4294967295 134512640 135450300 3221224624 3221223344 134535732 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17575 13815 231 231 0 17344 0
vsize: 70300
[startup+1040.17 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 32573
Raw data (stat): 32573 (PBS4) R 32572 11931 11930 0 -1 0 14167 0 0 0 103871 160 0 0 25 0 1 0 549337471 72122368 13817 4294967295 134512640 135450300 3221224624 3221223344 134535758 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17608 13817 231 231 0 17377 0
vsize: 70432
[startup+1050.17 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 32573
Raw data (stat): 32573 (PBS4) R 32572 11931 11930 0 -1 0 14169 0 0 0 104871 160 0 0 25 0 1 0 549337471 72122368 13819 4294967295 134512640 135450300 3221224624 3221223344 134535758 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17608 13819 231 231 0 17377 0
vsize: 70432
[startup+1060.17 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 32573
Raw data (stat): 32573 (PBS4) R 32572 11931 11930 0 -1 0 14169 0 0 0 105871 160 0 0 25 0 1 0 549337471 72122368 13819 4294967295 134512640 135450300 3221224624 3221223344 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17608 13819 231 231 0 17377 0
vsize: 70432
[startup+1070.17 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 32573
Raw data (stat): 32573 (PBS4) R 32572 11931 11930 0 -1 0 14170 0 0 0 106871 160 0 0 25 0 1 0 549337471 72122368 13820 4294967295 134512640 135450300 3221224624 3221223344 134535670 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17608 13820 231 231 0 17377 0
vsize: 70432
[startup+1080.17 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 32573
Raw data (stat): 32573 (PBS4) R 32572 11931 11930 0 -1 0 14183 0 0 0 107871 161 0 0 25 0 1 0 549337471 72122368 13833 4294967295 134512640 135450300 3221224624 3221223344 134535486 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17608 13833 231 231 0 17377 0
vsize: 70432
[startup+1090.17 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 32573
Raw data (stat): 32573 (PBS4) R 32572 11931 11930 0 -1 0 14198 0 0 0 108868 164 0 0 25 0 1 0 549337471 72122368 13848 4294967295 134512640 135450300 3221224624 3221223344 134535706 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17608 13848 231 231 0 17377 0
vsize: 70432
[startup+1100.17 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 32573
Raw data (stat): 32573 (PBS4) R 32572 11931 11930 0 -1 0 14207 0 0 0 109868 164 0 0 25 0 1 0 549337471 72122368 13857 4294967295 134512640 135450300 3221224624 3221223344 134535746 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17608 13857 231 231 0 17377 0
vsize: 70432
[startup+1110.17 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 32573
Raw data (stat): 32573 (PBS4) R 32572 11931 11930 0 -1 0 14208 0 0 0 110868 164 0 0 25 0 1 0 549337471 72122368 13858 4294967295 134512640 135450300 3221224624 3221223344 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17608 13858 231 231 0 17377 0
vsize: 70432
[startup+1120.17 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 32573
Raw data (stat): 32573 (PBS4) R 32572 11931 11930 0 -1 0 14208 0 0 0 111868 164 0 0 25 0 1 0 549337471 72122368 13858 4294967295 134512640 135450300 3221224624 3221223344 134535737 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17608 13858 231 231 0 17377 0
vsize: 70432
[startup+1130.17 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 32573
Raw data (stat): 32573 (PBS4) R 32572 11931 11930 0 -1 0 14208 0 0 0 112868 164 0 0 25 0 1 0 549337471 72122368 13858 4294967295 134512640 135450300 3221224624 3221223344 134535749 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17608 13858 231 231 0 17377 0
vsize: 70432
[startup+1140.17 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 32573
Raw data (stat): 32573 (PBS4) R 32572 11931 11930 0 -1 0 14208 0 0 0 113868 164 0 0 25 0 1 0 549337471 72122368 13858 4294967295 134512640 135450300 3221224624 3221223344 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17608 13858 231 231 0 17377 0
vsize: 70432
[startup+1150.17 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 32573
Raw data (stat): 32573 (PBS4) R 32572 11931 11930 0 -1 0 14209 0 0 0 114869 164 0 0 25 0 1 0 549337471 72122368 13859 4294967295 134512640 135450300 3221224624 3221223344 134535764 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17608 13859 231 231 0 17377 0
vsize: 70432
[startup+1160.17 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 32573
Raw data (stat): 32573 (PBS4) R 32572 11931 11930 0 -1 0 14209 0 0 0 115869 165 0 0 25 0 1 0 549337471 72122368 13859 4294967295 134512640 135450300 3221224624 3221223344 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17608 13859 231 231 0 17377 0
vsize: 70432
[startup+1170.17 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 32573
Raw data (stat): 32573 (PBS4) R 32572 11931 11930 0 -1 0 14209 0 0 0 116869 165 0 0 25 0 1 0 549337471 72122368 13859 4294967295 134512640 135450300 3221224624 3221223440 134547499 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17608 13859 231 231 0 17377 0
vsize: 70432
[startup+1180.17 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 32573
Raw data (stat): 32573 (PBS4) R 32572 11931 11930 0 -1 0 14210 0 0 0 117869 165 0 0 25 0 1 0 549337471 72122368 13860 4294967295 134512640 135450300 3221224624 3221223344 134535740 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17608 13860 231 231 0 17377 0
vsize: 70432
[startup+1190.17 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 32573
Raw data (stat): 32573 (PBS4) R 32572 11931 11930 0 -1 0 14211 0 0 0 118869 165 0 0 25 0 1 0 549337471 72122368 13861 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17608 13861 231 231 0 17377 0
vsize: 70432
[startup+1200.17 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 32573
Raw data (stat): 32573 (PBS4) R 32572 11931 11930 0 -1 0 14211 0 0 0 119869 165 0 0 25 0 1 0 549337471 72122368 13861 4294967295 134512640 135450300 3221224624 3221223344 134535675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17608 13861 231 231 0 17377 0
vsize: 70432
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.2 s]
Raw data (loadavg): 1.00 0.99 0.92 1/54 32573
Raw data (stat): 32573 (PBS4) Z 32572 11931 11930 0 -1 1036 14211 0 0 0 119869 167 0 0 25 0 1 0 549337471 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.2
CPU time (s): 1200.38
CPU user time (s): 1198.7
CPU system time (s): 1.67774
CPU usage (%): 100.015
Max. virtual memory (Kb): 70432
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####