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/primes-dimacs-cnf/normalized-ii8a2.opb
MD5SUM	6005a01d3f2ae55b0ca9c19f876c5827
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	139
Optimality of the best value was proved	NO
Number of terms in the objective function	360
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	360
Number of bits of the sum of numbers in the objective function	9
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	360
Number of bits of the biggest sum of numbers	9
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.02584
Number of variables	360
Total number of constraints	980
Number of constraints which are clauses	980
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	2
Maximum length of a constraint	8
Trace number 34837

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc9 THE 2005-05-28 10:42:31 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=24090 boxname=wulflinc9 idbench=164 idsolver=17 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  6005a01d3f2ae55b0ca9c19f876c5827  /oldhome/oroussel/tmp/wulflinc9/normalized-ii8a2.opb
REAL COMMAND:  pb2sat /oldhome/oroussel/tmp/wulflinc9/normalized-ii8a2.opb
IDLAUNCH: 24090
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.242
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.242
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:        712896 kB
Buffers:         34864 kB
Cached:         263104 kB
SwapCached:        552 kB
Active:          17040 kB
Inactive:       282920 kB
HighTotal:      131008 kB
HighFree:        35196 kB
LowTotal:       903652 kB
LowFree:        677700 kB
SwapTotal:     2097136 kB
SwapFree:      2095648 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5144 kB
Slab:            16000 kB
Committed_AS:    63588 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-28 11:02:33 (client local time) WITH STATUS 0 IN 1200.47 SECONDS
stats: 24090 7 1200.47 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...

Decision: 33169/65714	Time: 89.0665/86400
Decision: 33663/65714	Time: 103.667/86400
Decision: 33663/65714	Time: 111.671/86400
Decision: 33663/65714	Time: 121.458/86400
Decision: 33663/65714	Time: 130.509/86400
Decision: 33663/65714	Time: 138.994/86400
Decision: 33663/65714	Time: 147.156/86400
Decision: 33663/65714	Time: 157.65/86400
Decision: 33663/65714	Time: 166.409/86400
Decision: 33663/65714	Time: 175.009/86400
Decision: 33663/65714	Time: 186.561/86400
Decision: 33663/65714	Time: 195.542/86400
Decision: 33663/65714	Time: 205.216/86400
Decision: 33663/65714	Time: 214.252/86400
Decision: 33663/65714	Time: 224.004/86400
Decision: 33663/65714	Time: 234.127/86400
Decision: 33663/65714	Time: 245.861/86400
Decision: 33663/65714	Time: 255.068/86400
Decision: 33663/65714	Time: 262.984/86400
Decision: 33663/65714	Time: 272.83/86400
Decision: 33663/65714	Time: 282.464/86400
Decision: 33663/65714	Time: 292.985/86400
Decision: 33663/65714	Time: 301.372/86400
Decision: 34378/65714	Time: 311.568/86400
Decision: 34378/65714	Time: 319.948/86400
Decision: 34378/65714	Time: 329.677/86400
Decision: 34597/65714	Time: 347.471/86400
Decision: 34597/65714	Time: 357.535/86400
Decision: 34597/65714	Time: 367.935/86400
Decision: 34597/65714	Time: 380.742/86400
Decision: 34597/65714	Time: 390.808/86400
Decision: 34597/65714	Time: 401.362/86400
Decision: 34597/65714	Time: 411.847/86400
Decision: 34597/65714	Time: 421.588/86400
Decision: 34597/65714	Time: 432.187/86400
Decision: 34597/65714	Time: 443.632/86400
Decision: 34597/65714	Time: 454.241/86400
Decision: 34597/65714	Time: 463.831/86400
Decision: 34597/65714	Time: 474.33/86400
Decision: 34597/65714	Time: 487.347/86400
Decision: 34597/65714	Time: 498.651/86400
Decision: 34597/65714	Time: 509.047/86400
Decision: 34597/65714	Time: 519.815/86400
Decision: 34597/65714	Time: 530.492/86400
Decision: 34597/65714	Time: 541.136/86400
Decision: 34597/65714	Time: 553.326/86400
Decision: 34597/65714	Time: 564.043/86400
Decision: 34597/65714	Time: 574.162/86400
Decision: 34597/65714	Time: 584.429/86400
Decision: 34597/65714	Time: 595.655/86400
Decision: 34597/65714	Time: 605.015/86400
Decision: 34597/65714	Time: 617.944/86400
Decision: 34597/65714	Time: 629.323/86400
Decision: 34597/65714	Time: 640.212/86400
Decision: 34597/65714	Time: 651.829/86400
Decision: 34597/65714	Time: 663.426/86400
Decision: 34597/65714	Time: 676.756/86400
Decision: 34597/65714	Time: 686.37/86400
Decision: 34597/65714	Time: 697.434/86400
Decision: 34597/65714	Time: 710.444/86400
Decision: 34597/65714	Time: 721.246/86400
Decision: 34597/65714	Time: 731.733/86400
Decision: 34597/65714	Time: 742.654/86400
Decision: 34597/65714	Time: 753.807/86400
Decision: 34597/65714	Time: 765.262/86400
Decision: 34597/65714	Time: 775.618/86400
Decision: 34597/65714	Time: 785.972/86400
Decision: 34597/65714	Time: 795.978/86400
Decision: 34597/65714	Time: 808.53/86400
Decision: 34597/65714	Time: 818.599/86400
Decision: 34597/65714	Time: 831.981/86400
Decision: 34597/65714	Time: 844.022/86400
Decision: 34597/65714	Time: 856.493/86400
Decision: 34597/65714	Time: 866.696/86400
Decision: 34597/65714	Time: 877.402/86400
Decision: 34597/65714	Time: 890.041/86400
Decision: 34597/65714	Time: 900.684/86400
Decision: 34597/65714	Time: 912.228/86400
Decision: 34597/65714	Time: 925.574/86400
Decision: 34597/65714	Time: 936.491/86400
Decision: 34597/65714	Time: 949.288/86400
Decision: 34597/65714	Time: 961.659/86400
Decision: 34597/65714	Time: 975.312/86400
Decision: 34597/65714	Time: 988.151/86400
Decision: 34597/65714	Time: 998.823/86400
Decision: 34597/65714	Time: 1010.39/86400
Decision: 34597/65714	Time: 1022.31/86400
Decision: 34597/65714	Time: 1036.37/86400
Decision: 34597/65714	Time: 1049.05/86400
Decision: 34597/65714	Time: 1061.8/86400
Decision: 34597/65714	Time: 1074.33/86400
Decision: 34597/65714	Time: 1086.89/86400
Decision: 34597/65714	Time: 1098.04/86400
Decision: 34597/65714	Time: 1112.58/86400
Decision: 34597/65714	Time: 1123.11/86400
Decision: 34597/65714	Time: 1133.77/86400
Decision: 34597/65714	Time: 1148.38/86400
Decision: 34597/65714	Time: 1160.53/86400
Decision: 34597/65714	Time: 1174.18/86400
Decision: 34597/65714	Time: 1184.58/86400s UNKNOWN
#### 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
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.86 0.93 0.80 2/54 16832
Raw data (stat): 16832 (runsolver) R 16831 3944 3943 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 805945847 884736 94 4294967295 134512640 135332820 3221224480 3221219660 135092226 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0013 s]
Raw data (loadavg): 0.88 0.93 0.80 2/54 16832
Raw data (stat): 16832 (pb2sat) R 16831 3944 3943 0 -1 0 12149 0 0 0 971 27 0 0 25 0 1 0 805945847 39186432 6640 4294967295 134512640 135726644 3221224592 3221223088 134744004 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 9567 6640 300 300 0 9267 0
vsize: 38268
[startup+20.0025 s]
Raw data (loadavg): 0.90 0.93 0.80 2/54 16832
Raw data (stat): 16832 (pb2sat) R 16831 3944 3943 0 -1 0 12332 0 0 0 1969 29 0 0 25 0 1 0 805945847 39858176 6823 4294967295 134512640 135726644 3221224592 3221223088 134744372 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 9731 6823 300 300 0 9431 0
vsize: 38924
[startup+30.0033 s]
Raw data (loadavg): 0.91 0.93 0.81 2/54 16832
Raw data (stat): 16832 (pb2sat) R 16831 3944 3943 0 -1 0 12441 0 0 0 2968 30 0 0 25 0 1 0 805945847 40054784 6932 4294967295 134512640 135726644 3221224592 3221223184 134743857 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 9779 6932 300 300 0 9479 0
vsize: 39116
[startup+40.0035 s]
Raw data (loadavg): 0.93 0.94 0.81 2/54 16832
Raw data (stat): 16832 (pb2sat) R 16831 3944 3943 0 -1 0 12486 0 0 0 3967 31 0 0 25 0 1 0 805945847 44249088 6977 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 10803 6977 300 300 0 10503 0
vsize: 43212
[startup+50.0046 s]
Raw data (loadavg): 0.94 0.94 0.81 2/54 16832
Raw data (stat): 16832 (pb2sat) R 16831 3944 3943 0 -1 0 12526 0 0 0 4966 32 0 0 25 0 1 0 805945847 44249088 7017 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 10803 7017 300 300 0 10503 0
vsize: 43212
[startup+60.0054 s]
Raw data (loadavg): 0.95 0.94 0.81 2/54 16832
Raw data (stat): 16832 (pb2sat) R 16831 3944 3943 0 -1 0 12579 0 0 0 5966 33 0 0 25 0 1 0 805945847 44249088 7070 4294967295 134512640 135726644 3221224592 3221222912 134728892 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 10803 7070 300 300 0 10503 0
vsize: 43212
[startup+70.0057 s]
Raw data (loadavg): 0.95 0.94 0.81 2/54 16832
Raw data (stat): 16832 (pb2sat) R 16831 3944 3943 0 -1 0 12647 0 0 0 6965 34 0 0 25 0 1 0 805945847 44445696 7138 4294967295 134512640 135726644 3221224592 3221223088 134743987 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 10851 7138 300 300 0 10551 0
vsize: 43404
[startup+80.0058 s]
Raw data (loadavg): 0.96 0.94 0.82 2/54 16832
Raw data (stat): 16832 (pb2sat) R 16831 3944 3943 0 -1 0 12707 0 0 0 7964 34 0 0 25 0 1 0 805945847 44445696 7198 4294967295 134512640 135726644 3221224592 3221223216 134744620 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 10851 7198 300 300 0 10551 0
vsize: 43404
[startup+90.0066 s]
Raw data (loadavg): 0.97 0.94 0.82 2/54 16832
Raw data (stat): 16832 (pb2sat) R 16831 3944 3943 0 -1 0 12791 0 0 0 8964 35 0 0 25 0 1 0 805945847 44580864 7282 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 10884 7282 300 300 0 10584 0
vsize: 43536
[startup+100.006 s]
Raw data (loadavg): 0.97 0.95 0.82 2/54 16832
Raw data (stat): 16832 (pb2sat) R 16831 3944 3943 0 -1 0 12945 0 0 0 9963 36 0 0 25 0 1 0 805945847 44580864 7307 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 10884 7307 300 300 0 10584 0
vsize: 43536
[startup+110.007 s]
Raw data (loadavg): 0.97 0.95 0.82 2/54 16832
Raw data (stat): 16832 (pb2sat) R 16831 3944 3943 0 -1 0 13083 0 0 0 10962 37 0 0 25 0 1 0 805945847 44580864 7316 4294967295 134512640 135726644 3221224592 3221222912 134728892 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 10884 7316 300 300 0 10584 0
vsize: 43536
[startup+120.008 s]
Raw data (loadavg): 0.98 0.95 0.82 2/54 16832
Raw data (stat): 16832 (pb2sat) R 16831 3944 3943 0 -1 0 13261 0 0 0 11961 38 0 0 25 0 1 0 805945847 44580864 7365 4294967295 134512640 135726644 3221224592 3221222928 134735629 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 10884 7365 300 300 0 10584 0
vsize: 43536
[startup+130.007 s]
Raw data (loadavg): 0.98 0.95 0.82 2/54 16832
Raw data (stat): 16832 (pb2sat) R 16831 3944 3943 0 -1 0 13479 0 0 0 12960 39 0 0 25 0 1 0 805945847 44941312 7454 4294967295 134512640 135726644 3221224592 3221223088 134743982 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 10972 7454 300 300 0 10672 0
vsize: 43888
[startup+140.007 s]
Raw data (loadavg): 0.98 0.95 0.82 2/54 16832
Raw data (stat): 16832 (pb2sat) R 16831 3944 3943 0 -1 0 13660 0 0 0 13958 40 0 0 25 0 1 0 805945847 44941312 7506 4294967295 134512640 135726644 3221224592 3221223088 134744056 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 10972 7506 300 300 0 10672 0
vsize: 43888
[startup+150.008 s]
Raw data (loadavg): 0.99 0.95 0.82 2/54 16832
Raw data (stat): 16832 (pb2sat) R 16831 3944 3943 0 -1 0 13817 0 0 0 14958 41 0 0 25 0 1 0 805945847 44941312 7534 4294967295 134512640 135726644 3221224592 3221223104 134742265 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 10972 7534 300 300 0 10672 0
vsize: 43888
[startup+160.008 s]
Raw data (loadavg): 0.99 0.95 0.82 2/54 16832
Raw data (stat): 16832 (pb2sat) R 16831 3944 3943 0 -1 0 14008 0 0 0 15956 43 0 0 25 0 1 0 805945847 45268992 7596 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11052 7596 300 300 0 10752 0
vsize: 44208
[startup+170.009 s]
Raw data (loadavg): 0.99 0.95 0.83 2/54 16832
Raw data (stat): 16832 (pb2sat) R 16831 3944 3943 0 -1 0 14270 0 0 0 16956 44 0 0 25 0 1 0 805945847 45268992 7600 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11052 7600 300 300 0 10752 0
vsize: 44208
[startup+180.009 s]
Raw data (loadavg): 0.99 0.95 0.83 2/54 16832
Raw data (stat): 16832 (pb2sat) R 16831 3944 3943 0 -1 0 14438 0 0 0 17954 45 0 0 25 0 1 0 805945847 45404160 7639 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11085 7639 300 300 0 10785 0
vsize: 44340
[startup+190.01 s]
Raw data (loadavg): 0.99 0.95 0.83 2/54 16832
Raw data (stat): 16832 (pb2sat) R 16831 3944 3943 0 -1 0 14570 0 0 0 18954 46 0 0 25 0 1 0 805945847 45404160 7642 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11085 7642 300 300 0 10785 0
vsize: 44340
[startup+200.01 s]
Raw data (loadavg): 0.99 0.95 0.83 2/54 16832
Raw data (stat): 16832 (pb2sat) R 16831 3944 3943 0 -1 0 14704 0 0 0 19953 46 0 0 25 0 1 0 805945847 45404160 7647 4294967295 134512640 135726644 3221224592 3221223088 134744113 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11085 7647 300 300 0 10785 0
vsize: 44340
[startup+210.011 s]
Raw data (loadavg): 0.99 0.96 0.83 2/54 16832
Raw data (stat): 16832 (pb2sat) R 16831 3944 3943 0 -1 0 14842 0 0 0 20953 47 0 0 25 0 1 0 805945847 45551616 7656 4294967295 134512640 135726644 3221224592 3221223088 134744048 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11121 7656 300 300 0 10821 0
vsize: 44484
[startup+220.011 s]
Raw data (loadavg): 0.99 0.96 0.83 2/54 16832
Raw data (stat): 16832 (pb2sat) R 16831 3944 3943 0 -1 0 14983 0 0 0 21952 48 0 0 25 0 1 0 805945847 45551616 7668 4294967295 134512640 135726644 3221224592 3221223136 134736624 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11121 7668 300 300 0 10821 0
vsize: 44484
[startup+230.011 s]
Raw data (loadavg): 0.99 0.96 0.83 2/54 16832
Raw data (stat): 16832 (pb2sat) R 16831 3944 3943 0 -1 0 15122 0 0 0 22952 49 0 0 25 0 1 0 805945847 45551616 7678 4294967295 134512640 135726644 3221224592 3221223088 134744014 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11121 7678 300 300 0 10821 0
vsize: 44484
[startup+240.012 s]
Raw data (loadavg): 0.99 0.96 0.83 2/54 16832
Raw data (stat): 16832 (pb2sat) R 16831 3944 3943 0 -1 0 15261 0 0 0 23951 49 0 0 25 0 1 0 805945847 45551616 7688 4294967295 134512640 135726644 3221224592 3221223088 134744382 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11121 7688 300 300 0 10821 0
vsize: 44484
[startup+250.012 s]
Raw data (loadavg): 0.99 0.96 0.83 2/54 16832
Raw data (stat): 16832 (pb2sat) R 16831 3944 3943 0 -1 0 15400 0 0 0 24950 50 0 0 25 0 1 0 805945847 45551616 7698 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11121 7698 300 300 0 10821 0
vsize: 44484
[startup+260.013 s]
Raw data (loadavg): 0.99 0.96 0.83 2/54 16832
Raw data (stat): 16832 (pb2sat) R 16831 3944 3943 0 -1 0 15559 0 0 0 25950 51 0 0 25 0 1 0 805945847 45686784 7728 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11154 7728 300 300 0 10854 0
vsize: 44616
[startup+270.014 s]
Raw data (loadavg): 0.99 0.96 0.84 2/54 16832
Raw data (stat): 16832 (pb2sat) R 16831 3944 3943 0 -1 0 15709 0 0 0 26949 52 0 0 25 0 1 0 805945847 45826048 7749 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11188 7749 300 300 0 10888 0
vsize: 44752
[startup+280.014 s]
Raw data (loadavg): 0.99 0.96 0.84 2/54 16832
Raw data (stat): 16832 (pb2sat) R 16831 3944 3943 0 -1 0 15851 0 0 0 27949 52 0 0 25 0 1 0 805945847 45826048 7762 4294967295 134512640 135726644 3221224592 3221223088 134744311 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11188 7762 300 300 0 10888 0
vsize: 44752
[startup+290.014 s]
Raw data (loadavg): 0.99 0.96 0.84 2/54 16832
Raw data (stat): 16832 (pb2sat) R 16831 3944 3943 0 -1 0 15988 0 0 0 28948 53 0 0 25 0 1 0 805945847 45826048 7770 4294967295 134512640 135726644 3221224592 3221223216 134744544 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11188 7770 300 300 0 10888 0
vsize: 44752
[startup+300.015 s]
Raw data (loadavg): 0.99 0.96 0.84 2/54 16832
Raw data (stat): 16832 (pb2sat) R 16831 3944 3943 0 -1 0 16128 0 0 0 29947 54 0 0 25 0 1 0 805945847 45961216 7781 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11221 7781 300 300 0 10921 0
vsize: 44884
[startup+310.015 s]
Raw data (loadavg): 0.99 0.97 0.84 2/54 16832
Raw data (stat): 16832 (pb2sat) R 16831 3944 3943 0 -1 0 16270 0 0 0 30946 55 0 0 25 0 1 0 805945847 45961216 7794 4294967295 134512640 135726644 3221224592 3221223216 134744616 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11221 7794 300 300 0 10921 0
vsize: 44884
[startup+320.016 s]
Raw data (loadavg): 0.99 0.97 0.84 2/54 16832
Raw data (stat): 16832 (pb2sat) R 16831 3944 3943 0 -1 0 16410 0 0 0 31946 56 0 0 25 0 1 0 805945847 45961216 7805 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11221 7805 300 300 0 10921 0
vsize: 44884
[startup+330.016 s]
Raw data (loadavg): 0.99 0.97 0.84 2/54 16832
Raw data (stat): 16832 (pb2sat) R 16831 3944 3943 0 -1 0 16564 0 0 0 32945 57 0 0 25 0 1 0 805945847 45961216 7830 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11221 7830 300 300 0 10921 0
vsize: 44884
[startup+340.017 s]
Raw data (loadavg): 0.99 0.97 0.84 2/54 16832
Raw data (stat): 16832 (pb2sat) R 16831 3944 3943 0 -1 0 16746 0 0 0 33943 58 0 0 25 0 1 0 805945847 46260224 7883 4294967295 134512640 135726644 3221224592 3221222920 134735633 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11294 7883 300 300 0 10994 0
vsize: 45176
[startup+350.017 s]
Raw data (loadavg): 0.99 0.97 0.84 2/54 16832
Raw data (stat): 16832 (pb2sat) R 16831 3944 3943 0 -1 0 16841 0 0 0 34943 59 0 0 25 0 1 0 805945847 46653440 7978 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11390 7978 300 300 0 11090 0
vsize: 45560
[startup+360.019 s]
Raw data (loadavg): 0.99 0.97 0.84 2/54 16832
Raw data (stat): 16832 (pb2sat) R 16831 3944 3943 0 -1 0 16988 0 0 0 35942 60 0 0 25 0 1 0 805945847 46653440 7996 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11390 7996 300 300 0 11090 0
vsize: 45560
[startup+370.019 s]
Raw data (loadavg): 0.99 0.97 0.85 2/54 16832
Raw data (stat): 16832 (pb2sat) R 16831 3944 3943 0 -1 0 17164 0 0 0 36941 60 0 0 25 0 1 0 805945847 46653440 8043 4294967295 134512640 135726644 3221224592 3221223136 134736739 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11390 8043 300 300 0 11090 0
vsize: 45560
[startup+380.019 s]
Raw data (loadavg): 0.99 0.97 0.85 2/54 16832
Raw data (stat): 16832 (pb2sat) R 16831 3944 3943 0 -1 0 17384 0 0 0 37940 62 0 0 25 0 1 0 805945847 47112192 8134 4294967295 134512640 135726644 3221224592 3221222928 134735629 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11502 8134 300 300 0 11202 0
vsize: 46008
[startup+390.02 s]
Raw data (loadavg): 0.99 0.97 0.85 2/54 16832
Raw data (stat): 16832 (pb2sat) R 16831 3944 3943 0 -1 0 17580 0 0 0 38939 63 0 0 25 0 1 0 805945847 47308800 8201 4294967295 134512640 135726644 3221224592 3221223232 134744477 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11550 8201 300 300 0 11250 0
vsize: 46200
[startup+400.02 s]
Raw data (loadavg): 0.99 0.97 0.85 2/54 16832
Raw data (stat): 16832 (pb2sat) R 16831 3944 3943 0 -1 0 17729 0 0 0 39938 64 0 0 25 0 1 0 805945847 47308800 8221 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11550 8221 300 300 0 11250 0
vsize: 46200
[startup+410.02 s]
Raw data (loadavg): 0.99 0.97 0.85 2/54 16832
Raw data (stat): 16832 (pb2sat) R 16831 3944 3943 0 -1 0 17862 0 0 0 40938 65 0 0 25 0 1 0 805945847 47308800 8225 4294967295 134512640 135726644 3221224592 3221223088 134743901 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11550 8225 300 300 0 11250 0
vsize: 46200
[startup+420.021 s]
Raw data (loadavg): 0.99 0.97 0.85 2/54 16832
Raw data (stat): 16832 (pb2sat) R 16831 3944 3943 0 -1 0 17995 0 0 0 41937 66 0 0 25 0 1 0 805945847 47308800 8229 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11550 8229 300 300 0 11250 0
vsize: 46200
[startup+430.021 s]
Raw data (loadavg): 0.99 0.97 0.85 2/54 16832
Raw data (stat): 16832 (pb2sat) R 16831 3944 3943 0 -1 0 18130 0 0 0 42936 66 0 0 25 0 1 0 805945847 47308800 8235 4294967295 134512640 135726644 3221224592 3221223088 134743987 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11550 8235 300 300 0 11250 0
vsize: 46200
[startup+440.021 s]
Raw data (loadavg): 0.99 0.97 0.85 2/54 16832
Raw data (stat): 16832 (pb2sat) R 16831 3944 3943 0 -1 0 18271 0 0 0 43935 68 0 0 25 0 1 0 805945847 47308800 8247 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11550 8247 300 300 0 11250 0
vsize: 46200
[startup+450.021 s]
Raw data (loadavg): 0.99 0.97 0.85 2/54 16832
Raw data (stat): 16832 (pb2sat) R 16831 3944 3943 0 -1 0 18441 0 0 0 44934 69 0 0 25 0 1 0 805945847 47464448 8288 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11588 8288 300 300 0 11288 0
vsize: 46352
[startup+460.022 s]
Raw data (loadavg): 0.99 0.97 0.85 2/54 16832
Raw data (stat): 16832 (pb2sat) R 16831 3944 3943 0 -1 0 18574 0 0 0 45933 70 0 0 25 0 1 0 805945847 47464448 8292 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11588 8292 300 300 0 11288 0
vsize: 46352
[startup+470.022 s]
Raw data (loadavg): 0.99 0.97 0.85 2/54 16832
Raw data (stat): 16832 (pb2sat) R 16831 3944 3943 0 -1 0 18711 0 0 0 46932 71 0 0 25 0 1 0 805945847 47464448 8300 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11588 8300 300 300 0 11288 0
vsize: 46352
[startup+480.023 s]
Raw data (loadavg): 0.99 0.97 0.86 2/54 16832
Raw data (stat): 16832 (pb2sat) R 16831 3944 3943 0 -1 0 18852 0 0 0 47931 72 0 0 25 0 1 0 805945847 47464448 8312 4294967295 134512640 135726644 3221224592 3221223088 134744379 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11588 8312 300 300 0 11288 0
vsize: 46352
[startup+490.023 s]
Raw data (loadavg): 0.99 0.97 0.86 2/54 16832
Raw data (stat): 16832 (pb2sat) R 16831 3944 3943 0 -1 0 18863 0 0 0 48930 73 0 0 25 0 1 0 805945847 47464448 8323 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11588 8323 300 300 0 11288 0
vsize: 46352
[startup+500.023 s]
Raw data (loadavg): 0.99 0.97 0.86 2/54 16832
Raw data (stat): 16832 (pb2sat) R 16831 3944 3943 0 -1 0 19025 0 0 0 49930 74 0 0 25 0 1 0 805945847 47464448 8356 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11588 8356 300 300 0 11288 0
vsize: 46352
[startup+510.025 s]
Raw data (loadavg): 0.99 0.97 0.86 2/54 16832
Raw data (stat): 16832 (pb2sat) R 16831 3944 3943 0 -1 0 19167 0 0 0 50929 75 0 0 25 0 1 0 805945847 47603712 8369 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11622 8369 300 300 0 11322 0
vsize: 46488
[startup+520.026 s]
Raw data (loadavg): 0.99 0.97 0.86 2/54 16832
Raw data (stat): 16832 (pb2sat) R 16831 3944 3943 0 -1 0 19306 0 0 0 51928 75 0 0 25 0 1 0 805945847 47603712 8379 4294967295 134512640 135726644 3221224592 3221223280 134744911 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11622 8379 300 300 0 11322 0
vsize: 46488
[startup+530.026 s]
Raw data (loadavg): 0.99 0.97 0.86 2/54 16832
Raw data (stat): 16832 (pb2sat) R 16831 3944 3943 0 -1 0 19463 0 0 0 52928 76 0 0 25 0 1 0 805945847 47603712 8407 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11622 8407 300 300 0 11322 0
vsize: 46488
[startup+540.027 s]
Raw data (loadavg): 0.99 0.97 0.86 2/54 16832
Raw data (stat): 16832 (pb2sat) R 16831 3944 3943 0 -1 0 19649 0 0 0 53927 77 0 0 25 0 1 0 805945847 47603712 8464 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11622 8464 300 300 0 11322 0
vsize: 46488
[startup+550.027 s]
Raw data (loadavg): 0.99 0.97 0.86 2/54 16832
Raw data (stat): 16832 (pb2sat) R 16831 3944 3943 0 -1 0 19828 0 0 0 54925 79 0 0 25 0 1 0 805945847 47742976 8514 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11656 8514 300 300 0 11356 0
vsize: 46624
[startup+560.028 s]
Raw data (loadavg): 0.99 0.97 0.86 2/54 16832
Raw data (stat): 16832 (pb2sat) R 16831 3944 3943 0 -1 0 19982 0 0 0 55924 80 0 0 25 0 1 0 805945847 47742976 8539 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11656 8539 300 300 0 11356 0
vsize: 46624
[startup+570.029 s]
Raw data (loadavg): 0.99 0.97 0.86 2/54 16832
Raw data (stat): 16832 (pb2sat) R 16831 3944 3943 0 -1 0 20119 0 0 0 56924 80 0 0 25 0 1 0 805945847 47742976 8547 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11656 8547 300 300 0 11356 0
vsize: 46624
[startup+580.028 s]
Raw data (loadavg): 0.99 0.97 0.87 2/54 16832
Raw data (stat): 16832 (pb2sat) R 16831 3944 3943 0 -1 0 20262 0 0 0 57923 81 0 0 25 0 1 0 805945847 47742976 8561 4294967295 134512640 135726644 3221224592 3221223088 134744059 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11656 8561 300 300 0 11356 0
vsize: 46624
[startup+590.028 s]
Raw data (loadavg): 0.99 0.97 0.87 2/54 16832
Raw data (stat): 16832 (pb2sat) R 16831 3944 3943 0 -1 0 20409 0 0 0 58923 82 0 0 25 0 1 0 805945847 47890432 8579 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11692 8579 300 300 0 11392 0
vsize: 46768
[startup+600.03 s]
Raw data (loadavg): 0.99 0.97 0.87 2/54 16832
Raw data (stat): 16832 (pb2sat) R 16831 3944 3943 0 -1 0 20547 0 0 0 59922 83 0 0 25 0 1 0 805945847 47890432 8588 4294967295 134512640 135726644 3221224592 3221223248 134731263 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11692 8588 300 300 0 11392 0
vsize: 46768
[startup+610.03 s]
Raw data (loadavg): 0.99 0.97 0.87 2/54 16832
Raw data (stat): 16832 (pb2sat) R 16831 3944 3943 0 -1 0 20683 0 0 0 60921 83 0 0 25 0 1 0 805945847 47890432 8595 4294967295 134512640 135726644 3221224592 3221223248 134731245 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11692 8595 300 300 0 11392 0
vsize: 46768
[startup+620.03 s]
Raw data (loadavg): 0.99 0.97 0.87 2/54 16832
Raw data (stat): 16832 (pb2sat) R 16831 3944 3943 0 -1 0 20687 0 0 0 61921 84 0 0 25 0 1 0 805945847 47890432 8599 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11692 8599 300 300 0 11392 0
vsize: 46768
[startup+630.03 s]
Raw data (loadavg): 0.99 0.97 0.87 2/54 16832
Raw data (stat): 16832 (pb2sat) R 16831 3944 3943 0 -1 0 20826 0 0 0 62920 85 0 0 25 0 1 0 805945847 47890432 8609 4294967295 134512640 135726644 3221224592 3221223088 134744126 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11692 8609 300 300 0 11392 0
vsize: 46768
[startup+640.031 s]
Raw data (loadavg): 0.99 0.97 0.87 2/54 16832
Raw data (stat): 16832 (pb2sat) R 16831 3944 3943 0 -1 0 20964 0 0 0 63919 86 0 0 25 0 1 0 805945847 47890432 8618 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11692 8618 300 300 0 11392 0
vsize: 46768
[startup+650.032 s]
Raw data (loadavg): 0.99 0.97 0.87 2/54 16832
Raw data (stat): 16832 (pb2sat) R 16831 3944 3943 0 -1 0 21118 0 0 0 64918 87 0 0 25 0 1 0 805945847 48164864 8643 4294967295 134512640 135726644 3221224592 3221223184 134760008 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11759 8643 300 300 0 11459 0
vsize: 47036
[startup+660.033 s]
Raw data (loadavg): 0.99 0.97 0.87 2/54 16832
Raw data (stat): 16832 (pb2sat) R 16831 3944 3943 0 -1 0 21292 0 0 0 65917 88 0 0 25 0 1 0 805945847 48164864 8688 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11759 8688 300 300 0 11459 0
vsize: 47036
[startup+670.033 s]
Raw data (loadavg): 0.99 0.97 0.87 2/54 16832
Raw data (stat): 16832 (pb2sat) R 16831 3944 3943 0 -1 0 21453 0 0 0 66916 89 0 0 25 0 1 0 805945847 48164864 8720 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11759 8720 300 300 0 11459 0
vsize: 47036
[startup+680.033 s]
Raw data (loadavg): 0.99 0.97 0.88 2/54 16832
Raw data (stat): 16832 (pb2sat) R 16831 3944 3943 0 -1 0 21620 0 0 0 67915 90 0 0 25 0 1 0 805945847 48340992 8758 4294967295 134512640 135726644 3221224592 3221223088 134744220 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11802 8758 300 300 0 11502 0
vsize: 47208
[startup+690.034 s]
Raw data (loadavg): 0.99 0.97 0.88 2/54 16832
Raw data (stat): 16832 (pb2sat) R 16831 3944 3943 0 -1 0 21755 0 0 0 68914 91 0 0 25 0 1 0 805945847 48340992 8764 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11802 8764 300 300 0 11502 0
vsize: 47208
[startup+700.034 s]
Raw data (loadavg): 0.99 0.97 0.88 2/54 16832
Raw data (stat): 16832 (pb2sat) R 16831 3944 3943 0 -1 0 21769 0 0 0 69914 91 0 0 25 0 1 0 805945847 48340992 8778 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11802 8778 300 300 0 11502 0
vsize: 47208
[startup+710.036 s]
Raw data (loadavg): 0.99 0.97 0.88 2/54 16832
Raw data (stat): 16832 (pb2sat) R 16831 3944 3943 0 -1 0 21937 0 0 0 70913 93 0 0 25 0 1 0 805945847 48340992 8817 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11802 8817 300 300 0 11502 0
vsize: 47208
[startup+720.036 s]
Raw data (loadavg): 0.99 0.97 0.88 2/54 16832
Raw data (stat): 16832 (pb2sat) R 16831 3944 3943 0 -1 0 22119 0 0 0 71912 94 0 0 25 0 1 0 805945847 48340992 8870 4294967295 134512640 135726644 3221224592 3221223088 134744022 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11802 8870 300 300 0 11502 0
vsize: 47208
[startup+730.036 s]
Raw data (loadavg): 0.99 0.97 0.88 2/54 16832
Raw data (stat): 16832 (pb2sat) R 16831 3944 3943 0 -1 0 22276 0 0 0 72912 94 0 0 25 0 1 0 805945847 48476160 8898 4294967295 134512640 135726644 3221224592 3221223088 134744069 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11835 8898 300 300 0 11535 0
vsize: 47340
[startup+740.037 s]
Raw data (loadavg): 0.99 0.97 0.88 2/54 16832
Raw data (stat): 16832 (pb2sat) R 16831 3944 3943 0 -1 0 22427 0 0 0 73911 95 0 0 25 0 1 0 805945847 48611328 8920 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11868 8920 300 300 0 11568 0
vsize: 47472
[startup+750.038 s]
Raw data (loadavg): 0.99 0.97 0.88 2/54 16832
Raw data (stat): 16832 (pb2sat) R 16831 3944 3943 0 -1 0 22564 0 0 0 74910 96 0 0 25 0 1 0 805945847 48611328 8928 4294967295 134512640 135726644 3221224592 3221223088 134743951 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11868 8928 300 300 0 11568 0
vsize: 47472
[startup+760.038 s]
Raw data (loadavg): 0.99 0.97 0.88 2/54 16832
Raw data (stat): 16832 (pb2sat) R 16831 3944 3943 0 -1 0 22700 0 0 0 75909 97 0 0 25 0 1 0 805945847 48611328 8935 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11868 8935 300 300 0 11568 0
vsize: 47472
[startup+770.038 s]
Raw data (loadavg): 0.99 0.97 0.88 2/54 16832
Raw data (stat): 16832 (pb2sat) R 16831 3944 3943 0 -1 0 22850 0 0 0 76909 98 0 0 25 0 1 0 805945847 48611328 8956 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11868 8956 300 300 0 11568 0
vsize: 47472
[startup+780.038 s]
Raw data (loadavg): 0.99 0.97 0.89 2/54 16832
Raw data (stat): 16832 (pb2sat) R 16831 3944 3943 0 -1 0 23030 0 0 0 77908 99 0 0 25 0 1 0 805945847 48611328 9007 4294967295 134512640 135726644 3221224592 3221223248 134731263 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11868 9007 300 300 0 11568 0
vsize: 47472
[startup+790.038 s]
Raw data (loadavg): 0.99 0.97 0.89 2/54 16832
Raw data (stat): 16832 (pb2sat) R 16831 3944 3943 0 -1 0 23166 0 0 0 78907 99 0 0 25 0 1 0 805945847 48611328 9014 4294967295 134512640 135726644 3221224592 3221223088 134744039 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11868 9014 300 300 0 11568 0
vsize: 47472
[startup+800.038 s]
Raw data (loadavg): 0.99 0.97 0.89 2/54 16832
Raw data (stat): 16832 (pb2sat) R 16831 3944 3943 0 -1 0 23304 0 0 0 79907 100 0 0 25 0 1 0 805945847 48746496 9023 4294967295 134512640 135726644 3221224592 3221222912 134729058 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11901 9023 300 300 0 11601 0
vsize: 47604
[startup+810.039 s]
Raw data (loadavg): 0.99 0.97 0.89 2/54 16832
Raw data (stat): 16832 (pb2sat) R 16831 3944 3943 0 -1 0 23325 0 0 0 80907 100 0 0 25 0 1 0 805945847 48746496 9044 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11901 9044 300 300 0 11601 0
vsize: 47604
[startup+820.04 s]
Raw data (loadavg): 0.99 0.97 0.89 2/54 16832
Raw data (stat): 16832 (pb2sat) R 16831 3944 3943 0 -1 0 23505 0 0 0 81906 101 0 0 25 0 1 0 805945847 48746496 9095 4294967295 134512640 135726644 3221224592 3221223088 134743901 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11901 9095 300 300 0 11601 0
vsize: 47604
[startup+830.04 s]
Raw data (loadavg): 0.99 0.97 0.89 2/54 16832
Raw data (stat): 16832 (pb2sat) R 16831 3944 3943 0 -1 0 23677 0 0 0 82905 102 0 0 25 0 1 0 805945847 48746496 9138 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11901 9138 300 300 0 11601 0
vsize: 47604
[startup+840.041 s]
Raw data (loadavg): 0.99 0.97 0.89 2/54 16832
Raw data (stat): 16832 (pb2sat) R 16831 3944 3943 0 -1 0 23831 0 0 0 83905 102 0 0 25 0 1 0 805945847 48746496 9163 4294967295 134512640 135726644 3221224592 3221223280 134744861 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11901 9163 300 300 0 11601 0
vsize: 47604
[startup+850.042 s]
Raw data (loadavg): 0.99 0.97 0.89 2/54 16832
Raw data (stat): 16832 (pb2sat) R 16831 3944 3943 0 -1 0 23970 0 0 0 84904 103 0 0 25 0 1 0 805945847 48881664 9173 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11934 9173 300 300 0 11634 0
vsize: 47736
[startup+860.042 s]
Raw data (loadavg): 0.99 0.97 0.89 2/54 16832
Raw data (stat): 16832 (pb2sat) R 16831 3944 3943 0 -1 0 24114 0 0 0 85904 104 0 0 25 0 1 0 805945847 48881664 9188 4294967295 134512640 135726644 3221224592 3221223280 134744911 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11934 9188 300 300 0 11634 0
vsize: 47736
[startup+870.042 s]
Raw data (loadavg): 0.99 0.97 0.89 2/54 16832
Raw data (stat): 16832 (pb2sat) R 16831 3944 3943 0 -1 0 24259 0 0 0 86903 104 0 0 25 0 1 0 805945847 48881664 9204 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11934 9204 300 300 0 11634 0
vsize: 47736
[startup+880.043 s]
Raw data (loadavg): 0.99 0.97 0.89 2/54 16832
Raw data (stat): 16832 (pb2sat) R 16831 3944 3943 0 -1 0 24307 0 0 0 87903 105 0 0 25 0 1 0 805945847 49025024 9252 4294967295 134512640 135726644 3221224592 3221223216 134744520 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11969 9252 300 300 0 11669 0
vsize: 47876
[startup+890.043 s]
Raw data (loadavg): 0.99 0.97 0.90 2/54 16832
Raw data (stat): 16832 (pb2sat) R 16831 3944 3943 0 -1 0 24476 0 0 0 88902 106 0 0 25 0 1 0 805945847 57413632 9292 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14017 9292 300 300 0 13717 0
vsize: 56068
[startup+900.044 s]
Raw data (loadavg): 0.99 0.97 0.90 2/54 16832
Raw data (stat): 16832 (pb2sat) R 16831 3944 3943 0 -1 0 24623 0 0 0 89901 107 0 0 25 0 1 0 805945847 57413632 9310 4294967295 134512640 135726644 3221224592 3221222912 134728934 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14017 9310 300 300 0 13717 0
vsize: 56068
[startup+910.044 s]
Raw data (loadavg): 0.99 0.97 0.90 2/54 16832
Raw data (stat): 16832 (pb2sat) R 16831 3944 3943 0 -1 0 24768 0 0 0 90900 108 0 0 25 0 1 0 805945847 57413632 9326 4294967295 134512640 135726644 3221224592 3221222840 135280693 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14017 9326 300 300 0 13717 0
vsize: 56068
[startup+920.045 s]
Raw data (loadavg): 0.99 0.97 0.90 2/54 16832
Raw data (stat): 16832 (pb2sat) R 16831 3944 3943 0 -1 0 24904 0 0 0 91900 109 0 0 25 0 1 0 805945847 57556992 9333 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14052 9333 300 300 0 13752 0
vsize: 56208
[startup+930.045 s]
Raw data (loadavg): 0.99 0.97 0.90 2/54 16832
Raw data (stat): 16832 (pb2sat) R 16831 3944 3943 0 -1 0 25047 0 0 0 92899 109 0 0 25 0 1 0 805945847 57556992 9347 4294967295 134512640 135726644 3221224592 3221223248 134731248 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14052 9347 300 300 0 13752 0
vsize: 56208
[startup+940.046 s]
Raw data (loadavg): 0.99 0.97 0.90 2/54 16832
Raw data (stat): 16832 (pb2sat) R 16831 3944 3943 0 -1 0 25190 0 0 0 93899 110 0 0 25 0 1 0 805945847 57556992 9361 4294967295 134512640 135726644 3221224592 3221223088 134743982 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14052 9361 300 300 0 13752 0
vsize: 56208
[startup+950.047 s]
Raw data (loadavg): 0.99 0.97 0.90 2/54 16832
Raw data (stat): 16832 (pb2sat) R 16831 3944 3943 0 -1 0 25197 0 0 0 94898 110 0 0 25 0 1 0 805945847 57556992 9368 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14052 9368 300 300 0 13752 0
vsize: 56208
[startup+960.048 s]
Raw data (loadavg): 0.99 0.97 0.90 2/54 16832
Raw data (stat): 16832 (pb2sat) R 16831 3944 3943 0 -1 0 25342 0 0 0 95898 111 0 0 25 0 1 0 805945847 57700352 9384 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14087 9384 300 300 0 13787 0
vsize: 56348
[startup+970.048 s]
Raw data (loadavg): 0.99 0.97 0.90 2/54 16832
Raw data (stat): 16832 (pb2sat) R 16831 3944 3943 0 -1 0 25484 0 0 0 96898 111 0 0 25 0 1 0 805945847 57700352 9397 4294967295 134512640 135726644 3221224592 3221223088 134743987 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14087 9397 300 300 0 13787 0
vsize: 56348
[startup+980.048 s]
Raw data (loadavg): 0.99 0.97 0.90 2/54 16832
Raw data (stat): 16832 (pb2sat) R 16831 3944 3943 0 -1 0 25627 0 0 0 97897 112 0 0 25 0 1 0 805945847 57700352 9411 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14087 9411 300 300 0 13787 0
vsize: 56348
[startup+990.049 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16832
Raw data (stat): 16832 (pb2sat) R 16831 3944 3943 0 -1 0 25671 0 0 0 98897 112 0 0 25 0 1 0 805945847 57839616 9455 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14121 9455 300 300 0 13821 0
vsize: 56484
[startup+1000.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16832
Raw data (stat): 16832 (pb2sat) R 16831 3944 3943 0 -1 0 25856 0 0 0 99896 113 0 0 25 0 1 0 805945847 57839616 9511 4294967295 134512640 135726644 3221224592 3221223088 134744142 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14121 9511 300 300 0 13821 0
vsize: 56484
[startup+1010.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16832
Raw data (stat): 16832 (pb2sat) R 16831 3944 3943 0 -1 0 26040 0 0 0 100896 114 0 0 25 0 1 0 805945847 57978880 9566 4294967295 134512640 135726644 3221224592 3221223136 134736624 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14155 9566 300 300 0 13855 0
vsize: 56620
[startup+1020.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16832
Raw data (stat): 16832 (pb2sat) R 16831 3944 3943 0 -1 0 26190 0 0 0 101896 114 0 0 25 0 1 0 805945847 57978880 9587 4294967295 134512640 135726644 3221224592 3221222912 134728934 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14155 9587 300 300 0 13855 0
vsize: 56620
[startup+1030.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16832
Raw data (stat): 16832 (pb2sat) R 16831 3944 3943 0 -1 0 26325 0 0 0 102895 115 0 0 25 0 1 0 805945847 57978880 9593 4294967295 134512640 135726644 3221224592 3221223136 134736802 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14155 9593 300 300 0 13855 0
vsize: 56620
[startup+1040.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16832
Raw data (stat): 16832 (pb2sat) R 16831 3944 3943 0 -1 0 26463 0 0 0 103895 116 0 0 25 0 1 0 805945847 57978880 9602 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14155 9602 300 300 0 13855 0
vsize: 56620
[startup+1050.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16832
Raw data (stat): 16832 (pb2sat) R 16831 3944 3943 0 -1 0 26473 0 0 0 104895 116 0 0 25 0 1 0 805945847 57978880 9612 4294967295 134512640 135726644 3221224592 3221223088 134743990 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14155 9612 300 300 0 13855 0
vsize: 56620
[startup+1060.05 s]
Raw data (loadavg): 1.07 0.99 0.91 2/54 16885
Raw data (stat): 16832 (pb2sat) R 16831 3944 3943 0 -1 0 26607 0 0 0 105872 138 0 0 25 0 1 0 805945847 57978880 9617 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14155 9617 300 300 0 13855 0
vsize: 56620
[startup+1070.05 s]
Raw data (loadavg): 1.06 0.99 0.91 2/54 16885
Raw data (stat): 16832 (pb2sat) R 16831 3944 3943 0 -1 0 26770 0 0 0 106871 139 0 0 25 0 1 0 805945847 58114048 9651 4294967295 134512640 135726644 3221224592 3221223088 134744174 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14188 9651 300 300 0 13888 0
vsize: 56752
[startup+1080.05 s]
Raw data (loadavg): 1.05 0.99 0.91 2/54 16885
Raw data (stat): 16832 (pb2sat) R 16831 3944 3943 0 -1 0 26940 0 0 0 107871 140 0 0 25 0 1 0 805945847 58114048 9692 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14188 9692 300 300 0 13888 0
vsize: 56752
[startup+1090.05 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 16885
Raw data (stat): 16832 (pb2sat) R 16831 3944 3943 0 -1 0 27073 0 0 0 108870 140 0 0 25 0 1 0 805945847 58114048 9696 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14188 9696 300 300 0 13888 0
vsize: 56752
[startup+1100.05 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 16885
Raw data (stat): 16832 (pb2sat) R 16831 3944 3943 0 -1 0 27078 0 0 0 109870 141 0 0 25 0 1 0 805945847 58114048 9701 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14188 9701 300 300 0 13888 0
vsize: 56752
[startup+1110.05 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 16885
Raw data (stat): 16832 (pb2sat) R 16831 3944 3943 0 -1 0 27229 0 0 0 110870 142 0 0 25 0 1 0 805945847 58253312 9723 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14222 9723 300 300 0 13922 0
vsize: 56888
[startup+1120.06 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 16885
Raw data (stat): 16832 (pb2sat) R 16831 3944 3943 0 -1 0 27371 0 0 0 111870 142 0 0 25 0 1 0 805945847 58253312 9736 4294967295 134512640 135726644 3221224592 3221222912 134728934 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14222 9736 300 300 0 13922 0
vsize: 56888
[startup+1130.06 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 16887
Raw data (stat): 16832 (pb2sat) R 16831 3944 3943 0 -1 0 27529 0 0 0 112869 143 0 0 25 0 1 0 805945847 58392576 9765 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14256 9765 300 300 0 13956 0
vsize: 57024
[startup+1140.06 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 16887
Raw data (stat): 16832 (pb2sat) R 16831 3944 3943 0 -1 0 27692 0 0 0 113869 143 0 0 25 0 1 0 805945847 58392576 9799 4294967295 134512640 135726644 3221224592 3221223088 134744169 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14256 9799 300 300 0 13956 0
vsize: 57024
[startup+1150.06 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 16887
Raw data (stat): 16832 (pb2sat) R 16831 3944 3943 0 -1 0 27701 0 0 0 114869 143 0 0 25 0 1 0 805945847 58392576 9808 4294967295 134512640 135726644 3221224592 3221222928 134735631 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14256 9808 300 300 0 13956 0
vsize: 57024
[startup+1160.06 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 16887
Raw data (stat): 16832 (pb2sat) R 16831 3944 3943 0 -1 0 27839 0 0 0 115868 144 0 0 25 0 1 0 805945847 58392576 9817 4294967295 134512640 135726644 3221224592 3221222912 134728861 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14256 9817 300 300 0 13956 0
vsize: 57024
[startup+1170.06 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 16887
Raw data (stat): 16832 (pb2sat) R 16831 3944 3943 0 -1 0 27985 0 0 0 116868 145 0 0 25 0 1 0 805945847 58544128 9834 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14293 9834 300 300 0 13993 0
vsize: 57172
[startup+1180.06 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 16887
Raw data (stat): 16832 (pb2sat) R 16831 3944 3943 0 -1 0 28125 0 0 0 117868 145 0 0 25 0 1 0 805945847 58544128 9845 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14293 9845 300 300 0 13993 0
vsize: 57172
[startup+1190.06 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 16887
Raw data (stat): 16832 (pb2sat) R 16831 3944 3943 0 -1 0 28264 0 0 0 118868 146 0 0 25 0 1 0 805945847 58544128 9855 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14293 9855 300 300 0 13993 0
vsize: 57172
[startup+1200.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 16887
Raw data (stat): 16832 (pb2sat) R 16831 3944 3943 0 -1 0 28273 0 0 0 119867 146 0 0 25 0 1 0 805945847 58544128 9864 4294967295 134512640 135726644 3221224592 3221223104 134742276 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14293 9864 300 300 0 13993 0
vsize: 57172
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.38 s]
Raw data (loadavg): 1.00 0.99 0.91 1/54 16887
Raw data (stat): 16832 (pb2sat) Z 16831 3944 3943 0 -1 12 28274 0 0 0 119898 148 0 0 25 0 1 0 805945847 0 0 4294967295 0 0 0 0 0 0 16384 7 16384 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 status: 0
Real time (s): 1200.38
CPU time (s): 1200.47
CPU user time (s): 1198.98
CPU system time (s): 1.48377
CPU usage (%): 100.007
Max. virtual memory (Kb): 57172
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####