PB'05 competition: run trace

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided in four parts:
LAUNCHER DATA
These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provide some useful information on the computer.
SOLVER DATA
This is the output of the solver (stdout and stderr).
WATCHER DATA
This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to 1200 seconds. After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to 1230 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (900Mb).
Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
VERIFIER DATA
The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
General information on the benchmark

Name	normalized-opb/web/uclid_pb_benchmarks/normalized-ooo.burch_dill.6.accl.ucl.opb
MD5SUM	f306f9e77db4c563a096b79aebdedeaa
Bench Category	no optimization function (SAT)
Has Objective Function	NO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	0
Biggest coefficient in the objective function	0
Number of bits for the biggest coefficient in the objective function	0
Sum of the numbers in the objective function	0
Number of bits of the sum of numbers in the objective function	0
Biggest number in a constraint	71
Number of bits of the biggest number in a constraint	7
Biggest sum of numbers in a constraint	261
Number of bits of the biggest sum of numbers	9
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Number of variables	23621
Total number of constraints	67526
Number of constraints which are clauses	65126
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	2400
Minimum length of a constraint	1
Maximum length of a constraint	13
Trace number 34944

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 450.999
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:        929524 kB
Buffers:         32436 kB
Cached:          49988 kB
SwapCached:        604 kB
Active:          45956 kB
Inactive:        38584 kB
HighTotal:      131008 kB
HighFree:        78848 kB
LowTotal:       903652 kB
LowFree:        850676 kB
SwapTotal:     2097136 kB
SwapFree:      2095616 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5116 kB
Slab:            15040 kB
Committed_AS:    63604 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-28 11:34:56 (client local time) WITH STATUS 0 IN 1200.47 SECONDS
stats: 24225 7 1200.47 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...

Decision: 2445/71607	Time: 12.5571/86400
Decision: 2445/71607	Time: 20.6139/86400
Decision: 2446/71607	Time: 30.0624/86400
Decision: 2458/71607	Time: 48.1827/86400
Decision: 2458/71607	Time: 55.6795/86400
Decision: 2458/71607	Time: 65.3361/86400
Decision: 2458/71607	Time: 74.8686/86400
Decision: 2458/71607	Time: 82.8944/86400
Decision: 2458/71607	Time: 92.4709/86400
Decision: 2458/71607	Time: 101.949/86400
Decision: 2458/71607	Time: 110.933/86400
Decision: 2460/71607	Time: 126.727/86400
Decision: 2470/71607	Time: 144.307/86400
Decision: 2470/71607	Time: 161.837/86400
Decision: 2470/71607	Time: 176.682/86400
Decision: 3566/71607	Time: 192.12/86400
Decision: 5259/71607	Time: 210.517/86400
Decision: 5431/71607	Time: 237.1/86400
Decision: 5440/71607	Time: 293.439/86400
Decision: 5440/71607	Time: 310.938/86400
Decision: 5440/71607	Time: 330.767/86400
Decision: 5471/71607	Time: 384.702/86400
Decision: 5471/71607	Time: 402.38/86400
Decision: 5471/71607	Time: 420.113/86400
Decision: 5471/71607	Time: 436.387/86400
Decision: 5471/71607	Time: 446.362/86400
Decision: 5471/71607	Time: 456.954/86400
Decision: 5471/71607	Time: 465.873/86400
Decision: 5471/71607	Time: 479.067/86400
Decision: 5471/71607	Time: 491.881/86400
Decision: 5471/71607	Time: 504.11/86400
Decision: 5471/71607	Time: 513.026/86400
Decision: 5471/71607	Time: 520.795/86400
Decision: 5471/71607	Time: 527.636/86400
Decision: 5471/71607	Time: 535.93/86400
Decision: 5471/71607	Time: 543.618/86400
Decision: 5471/71607	Time: 553.856/86400
Decision: 5471/71607	Time: 560.305/86400
Decision: 5471/71607	Time: 568.923/86400
Decision: 5471/71607	Time: 575.485/86400
Decision: 5475/71607	Time: 590.72/86400
Decision: 5475/71607	Time: 599.4/86400
Decision: 5475/71607	Time: 607.693/86400
Decision: 7435/71607	Time: 616.262/86400
Decision: 7435/71607	Time: 624.65/86400
Decision: 7435/71607	Time: 634.579/86400
Decision: 7435/71607	Time: 643.263/86400
Decision: 7435/71607	Time: 651.476/86400
Decision: 7436/71607	Time: 663.228/86400
Decision: 7436/71607	Time: 672.129/86400
Decision: 7436/71607	Time: 680.945/86400
Decision: 7436/71607	Time: 690.689/86400
Decision: 7436/71607	Time: 699.482/86400
Decision: 7436/71607	Time: 707.776/86400
Decision: 7436/71607	Time: 719.142/86400
Decision: 7436/71607	Time: 726.636/86400
Decision: 7436/71607	Time: 739.033/86400
Decision: 7436/71607	Time: 751.333/86400
Decision: 7436/71607	Time: 762.658/86400
Decision: 7436/71607	Time: 774.811/86400
Decision: 7436/71607	Time: 786.349/86400
Decision: 7436/71607	Time: 796.925/86400
Decision: 7436/71607	Time: 809.676/86400
Decision: 7445/71607	Time: 830.857/86400
Decision: 7445/71607	Time: 848.566/86400
Decision: 7461/71607	Time: 899.367/86400
Decision: 7461/71607	Time: 925.494/86400
Decision: 7461/71607	Time: 951.116/86400
Decision: 7461/71607	Time: 969.715/86400
Decision: 7461/71607	Time: 989.059/86400
Decision: 7461/71607	Time: 1006.98/86400
Decision: 7461/71607	Time: 1028.58/86400
Decision: 7461/71607	Time: 1055.26/86400
Decision: 7464/71607	Time: 1094.93/86400
Decision: 7464/71607	Time: 1118.18/86400
Decision: 7464/71607	Time: 1140.16/86400
Decision: 7464/71607	Time: 1159.39/86400
Decision: 7464/71607	Time: 1182.75/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.94 0.99 0.92 2/54 1417
Raw data (stat): 1417 (runsolver) R 1416 23514 23513 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 806135001 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.004 s]
Raw data (loadavg): 0.95 0.99 0.92 2/54 1417
Raw data (stat): 1417 (pb2sat) R 1416 23514 23513 0 -1 0 9736 0 0 0 974 24 0 0 25 0 1 0 806135001 30388224 5684 4294967295 134512640 135726644 3221224576 3221223072 134744022 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7419 5684 300 300 0 7119 0
vsize: 29676
[startup+20.0108 s]
Raw data (loadavg): 0.95 0.99 0.92 2/54 1417
Raw data (stat): 1417 (pb2sat) R 1416 23514 23513 0 -1 0 10475 0 0 0 1970 28 0 0 25 0 1 0 806135001 34017280 6423 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8305 6423 300 300 0 8005 0
vsize: 33220
[startup+30.012 s]
Raw data (loadavg): 0.96 0.99 0.92 2/54 1417
Raw data (stat): 1417 (pb2sat) R 1416 23514 23513 0 -1 0 11111 0 0 0 2968 30 0 0 25 0 1 0 806135001 35561472 6779 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8682 6779 300 300 0 8382 0
vsize: 34728
[startup+40.0115 s]
Raw data (loadavg): 0.97 0.99 0.92 2/54 1417
Raw data (stat): 1417 (pb2sat) R 1416 23514 23513 0 -1 0 11492 0 0 0 3966 32 0 0 25 0 1 0 806135001 36741120 7020 4294967295 134512640 135726644 3221224576 3221223072 134743901 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8970 7020 300 300 0 8670 0
vsize: 35880
[startup+50.0123 s]
Raw data (loadavg): 0.97 0.99 0.92 2/54 1417
Raw data (stat): 1417 (pb2sat) R 1416 23514 23513 0 -1 0 11909 0 0 0 4964 34 0 0 25 0 1 0 806135001 38952960 7437 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 9510 7437 300 300 0 9210 0
vsize: 38040
[startup+60.0122 s]
Raw data (loadavg): 0.98 0.99 0.92 2/54 1417
Raw data (stat): 1417 (pb2sat) R 1416 23514 23513 0 -1 0 12251 0 0 0 5962 36 0 0 25 0 1 0 806135001 39690240 7639 4294967295 134512640 135726644 3221224576 3221223072 134744126 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 9690 7639 300 300 0 9390 0
vsize: 38760
[startup+70.0129 s]
Raw data (loadavg): 0.98 0.99 0.92 2/54 1417
Raw data (stat): 1417 (pb2sat) R 1416 23514 23513 0 -1 0 12412 0 0 0 6959 39 0 0 25 0 1 0 806135001 39690240 7660 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 9690 7660 300 300 0 9390 0
vsize: 38760
[startup+80.0137 s]
Raw data (loadavg): 0.98 0.99 0.92 2/54 1417
Raw data (stat): 1417 (pb2sat) R 1416 23514 23513 0 -1 0 12666 0 0 0 7958 40 0 0 25 0 1 0 806135001 40292352 7774 4294967295 134512640 135726644 3221224576 3221223264 134744845 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 9837 7774 300 300 0 9537 0
vsize: 39348
[startup+90.0139 s]
Raw data (loadavg): 0.98 0.99 0.92 2/54 1417
Raw data (stat): 1417 (pb2sat) R 1416 23514 23513 0 -1 0 12866 0 0 0 8956 42 0 0 25 0 1 0 806135001 40562688 7834 4294967295 134512640 135726644 3221224576 3221222896 134728931 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 9903 7834 300 300 0 9603 0
vsize: 39612
[startup+100.014 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 1417
Raw data (stat): 1417 (pb2sat) R 1416 23514 23513 0 -1 0 13040 0 0 0 9954 44 0 0 25 0 1 0 806135001 40562688 7868 4294967295 134512640 135726644 3221224576 3221223232 134731248 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 9903 7868 300 300 0 9603 0
vsize: 39612
[startup+110.014 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 1417
Raw data (stat): 1417 (pb2sat) R 1416 23514 23513 0 -1 0 13366 0 0 0 10952 46 0 0 25 0 1 0 806135001 41271296 8054 4294967295 134512640 135726644 3221224576 3221222756 134770291 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 10076 8054 300 300 0 9776 0
vsize: 40304
[startup+120.015 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 1417
Raw data (stat): 1417 (pb2sat) R 1416 23514 23513 0 -1 0 13647 0 0 0 11951 47 0 0 25 0 1 0 806135001 41238528 8055 4294967295 134512640 135726644 3221224576 3221223072 134744382 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 10068 8055 300 300 0 9768 0
vsize: 40272
[startup+130.015 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 1417
Raw data (stat): 1417 (pb2sat) R 1416 23514 23513 0 -1 0 13743 0 0 0 12950 48 0 0 25 0 1 0 806135001 41644032 8151 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 10167 8151 300 300 0 9867 0
vsize: 40668
[startup+140.015 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 1417
Raw data (stat): 1417 (pb2sat) R 1416 23514 23513 0 -1 0 13918 0 0 0 13949 49 0 0 25 0 1 0 806135001 41779200 8186 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 10200 8186 300 300 0 9900 0
vsize: 40800
[startup+150.016 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 1417
Raw data (stat): 1417 (pb2sat) R 1416 23514 23513 0 -1 0 13933 0 0 0 14948 50 0 0 25 0 1 0 806135001 41779200 8201 4294967295 134512640 135726644 3221224576 3221223200 134744500 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 10200 8201 300 300 0 9900 0
vsize: 40800
[startup+160.015 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 1417
Raw data (stat): 1417 (pb2sat) R 1416 23514 23513 0 -1 0 14121 0 0 0 15947 52 0 0 25 0 1 0 806135001 41914368 8249 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 10233 8249 300 300 0 9933 0
vsize: 40932
[startup+170.016 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 1417
Raw data (stat): 1417 (pb2sat) R 1416 23514 23513 0 -1 0 14275 0 0 0 16946 53 0 0 25 0 1 0 806135001 41914368 8263 4294967295 134512640 135726644 3221224576 3221223264 134744861 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 10233 8263 300 300 0 9933 0
vsize: 40932
[startup+180.017 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 1417
Raw data (stat): 1417 (pb2sat) R 1416 23514 23513 0 -1 0 14289 0 0 0 17945 54 0 0 25 0 1 0 806135001 41914368 8277 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 10233 8277 300 300 0 9933 0
vsize: 40932
[startup+190.017 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 1417
Raw data (stat): 1417 (pb2sat) R 1416 23514 23513 0 -1 0 14468 0 0 0 18944 55 0 0 25 0 1 0 806135001 42049536 8316 4294967295 134512640 135726644 3221224576 3221223184 134741068 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 10266 8316 300 300 0 9966 0
vsize: 41064
[startup+200.017 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 1417
Raw data (stat): 1417 (pb2sat) R 1416 23514 23513 0 -1 0 14622 0 0 0 19943 56 0 0 25 0 1 0 806135001 42049536 8330 4294967295 134512640 135726644 3221224576 3221223200 134779430 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 10266 8330 300 300 0 9966 0
vsize: 41064
[startup+210.017 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 1417
Raw data (stat): 1417 (pb2sat) R 1416 23514 23513 0 -1 0 14646 0 0 0 20942 58 0 0 25 0 1 0 806135001 42184704 8354 4294967295 134512640 135726644 3221224576 3221222904 134735633 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 10299 8354 300 300 0 9999 0
vsize: 41196
[startup+220.017 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 1417
Raw data (stat): 1417 (pb2sat) R 1416 23514 23513 0 -1 0 14789 0 0 0 21940 60 0 0 25 0 1 0 806135001 42184704 8357 4294967295 134512640 135726644 3221224576 3221222896 134728895 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 10299 8357 300 300 0 9999 0
vsize: 41196
[startup+230.017 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 1417
Raw data (stat): 1417 (pb2sat) R 1416 23514 23513 0 -1 0 14819 0 0 0 22939 61 0 0 25 0 1 0 806135001 42319872 8387 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 10332 8387 300 300 0 10032 0
vsize: 41328
[startup+240.017 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 1417
Raw data (stat): 1417 (pb2sat) R 1416 23514 23513 0 -1 0 14842 0 0 0 23938 62 0 0 25 0 1 0 806135001 42455040 8410 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 10365 8410 300 300 0 10065 0
vsize: 41460
[startup+250.017 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 1417
Raw data (stat): 1417 (pb2sat) R 1416 23514 23513 0 -1 0 14988 0 0 0 24937 64 0 0 25 0 1 0 806135001 42455040 8416 4294967295 134512640 135726644 3221224576 3221223072 134744195 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 10365 8416 300 300 0 10065 0
vsize: 41460
[startup+260.017 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 1417
Raw data (stat): 1417 (pb2sat) R 1416 23514 23513 0 -1 0 14990 0 0 0 25936 65 0 0 25 0 1 0 806135001 42455040 8418 4294967295 134512640 135726644 3221224576 3221223200 134744520 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 10365 8418 300 300 0 10065 0
vsize: 41460
[startup+270.018 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 1417
Raw data (stat): 1417 (pb2sat) R 1416 23514 23513 0 -1 0 14992 0 0 0 26934 66 0 0 25 0 1 0 806135001 42455040 8420 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 10365 8420 300 300 0 10065 0
vsize: 41460
[startup+280.018 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 1417
Raw data (stat): 1417 (pb2sat) R 1416 23514 23513 0 -1 0 15001 0 0 0 27934 67 0 0 25 0 1 0 806135001 42455040 8429 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 10365 8429 300 300 0 10065 0
vsize: 41460
[startup+290.018 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 1417
Raw data (stat): 1417 (pb2sat) R 1416 23514 23513 0 -1 0 15016 0 0 0 28933 68 0 0 25 0 1 0 806135001 42455040 8444 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 10365 8444 300 300 0 10065 0
vsize: 41460
[startup+300.019 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 1417
Raw data (stat): 1417 (pb2sat) R 1416 23514 23513 0 -1 0 15030 0 0 0 29932 69 0 0 25 0 1 0 806135001 42455040 8458 4294967295 134512640 135726644 3221224576 3221223072 134744377 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 10365 8458 300 300 0 10065 0
vsize: 41460
[startup+310.019 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 1417
Raw data (stat): 1417 (pb2sat) R 1416 23514 23513 0 -1 0 15180 0 0 0 30931 70 0 0 25 0 1 0 806135001 42455040 8468 4294967295 134512640 135726644 3221224576 3221223072 134744004 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 10365 8468 300 300 0 10065 0
vsize: 41460
[startup+320.02 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 1417
Raw data (stat): 1417 (pb2sat) R 1416 23514 23513 0 -1 0 15336 0 0 0 31930 72 0 0 25 0 1 0 806135001 42455040 8484 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 10365 8484 300 300 0 10065 0
vsize: 41460
[startup+330.021 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 1417
Raw data (stat): 1417 (pb2sat) R 1416 23514 23513 0 -1 0 15367 0 0 0 32928 74 0 0 25 0 1 0 806135001 46784512 8515 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11422 8515 300 300 0 11122 0
vsize: 45688
[startup+340.02 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 1417
Raw data (stat): 1417 (pb2sat) R 1416 23514 23513 0 -1 0 15386 0 0 0 33928 74 0 0 25 0 1 0 806135001 46784512 8534 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11422 8534 300 300 0 11122 0
vsize: 45688
[startup+350.02 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 1417
Raw data (stat): 1417 (pb2sat) R 1416 23514 23513 0 -1 0 15388 0 0 0 34927 75 0 0 25 0 1 0 806135001 46784512 8536 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11422 8536 300 300 0 11122 0
vsize: 45688
[startup+360.021 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 1417
Raw data (stat): 1417 (pb2sat) R 1416 23514 23513 0 -1 0 15391 0 0 0 35926 76 0 0 25 0 1 0 806135001 46784512 8539 4294967295 134512640 135726644 3221224576 3221222912 134735629 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11422 8539 300 300 0 11122 0
vsize: 45688
[startup+370.022 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 1417
Raw data (stat): 1417 (pb2sat) R 1416 23514 23513 0 -1 0 15393 0 0 0 36925 77 0 0 25 0 1 0 806135001 46784512 8541 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11422 8541 300 300 0 11122 0
vsize: 45688
[startup+380.022 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 1417
Raw data (stat): 1417 (pb2sat) R 1416 23514 23513 0 -1 0 15400 0 0 0 37925 78 0 0 25 0 1 0 806135001 46784512 8548 4294967295 134512640 135726644 3221224576 3221223072 134743990 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11422 8548 300 300 0 11122 0
vsize: 45688
[startup+390.021 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 1417
Raw data (stat): 1417 (pb2sat) R 1416 23514 23513 0 -1 0 15413 0 0 0 38924 79 0 0 25 0 1 0 806135001 46784512 8561 4294967295 134512640 135726644 3221224576 3221223072 134744014 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11422 8561 300 300 0 11122 0
vsize: 45688
[startup+400.022 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 1417
Raw data (stat): 1417 (pb2sat) R 1416 23514 23513 0 -1 0 15564 0 0 0 39922 81 0 0 25 0 1 0 806135001 46784512 8572 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11422 8572 300 300 0 11122 0
vsize: 45688
[startup+410.022 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 1417
Raw data (stat): 1417 (pb2sat) R 1416 23514 23513 0 -1 0 15577 0 0 0 40921 83 0 0 25 0 1 0 806135001 46784512 8585 4294967295 134512640 135726644 3221224576 3221223072 134743875 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11422 8585 300 300 0 11122 0
vsize: 45688
[startup+420.022 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 1417
Raw data (stat): 1417 (pb2sat) R 1416 23514 23513 0 -1 0 15730 0 0 0 41919 84 0 0 25 0 1 0 806135001 46784512 8598 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11422 8598 300 300 0 11122 0
vsize: 45688
[startup+430.022 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 1417
Raw data (stat): 1417 (pb2sat) R 1416 23514 23513 0 -1 0 15896 0 0 0 42918 86 0 0 25 0 1 0 806135001 46784512 8624 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11422 8624 300 300 0 11122 0
vsize: 45688
[startup+440.023 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 1417
Raw data (stat): 1417 (pb2sat) R 1416 23514 23513 0 -1 0 15921 0 0 0 43917 87 0 0 25 0 1 0 806135001 46784512 8649 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11422 8649 300 300 0 11122 0
vsize: 45688
[startup+450.023 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 1417
Raw data (stat): 1417 (pb2sat) R 1416 23514 23513 0 -1 0 16126 0 0 0 44916 88 0 0 25 0 1 0 806135001 46784512 8714 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11422 8714 300 300 0 11122 0
vsize: 45688
[startup+460.023 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 1417
Raw data (stat): 1417 (pb2sat) R 1416 23514 23513 0 -1 0 16428 0 0 0 45913 91 0 0 25 0 1 0 806135001 46784512 8876 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11422 8876 300 300 0 11122 0
vsize: 45688
[startup+470.023 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 1417
Raw data (stat): 1417 (pb2sat) R 1416 23514 23513 0 -1 0 16582 0 0 0 46912 93 0 0 25 0 1 0 806135001 46784512 8890 4294967295 134512640 135726644 3221224576 3221222896 134728892 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11422 8890 300 300 0 11122 0
vsize: 45688
[startup+480.024 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 1417
Raw data (stat): 1417 (pb2sat) R 1416 23514 23513 0 -1 0 16725 0 0 0 47911 94 0 0 25 0 1 0 806135001 46784512 8893 4294967295 134512640 135726644 3221224576 3221222896 134728934 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11422 8893 300 300 0 11122 0
vsize: 45688
[startup+490.024 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 1417
Raw data (stat): 1417 (pb2sat) R 1416 23514 23513 0 -1 0 16926 0 0 0 48909 96 0 0 25 0 1 0 806135001 46784512 8954 4294967295 134512640 135726644 3221224576 3221223072 134743901 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11422 8954 300 300 0 11122 0
vsize: 45688
[startup+500.025 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 1417
Raw data (stat): 1417 (pb2sat) R 1416 23514 23513 0 -1 0 17204 0 0 0 49907 98 0 0 25 0 1 0 806135001 46784512 9092 4294967295 134512640 135726644 3221224576 3221223072 134744022 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11422 9092 300 300 0 11122 0
vsize: 45688
[startup+510.024 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 1417
Raw data (stat): 1417 (pb2sat) R 1416 23514 23513 0 -1 0 17306 0 0 0 50906 100 0 0 25 0 1 0 806135001 46919680 9194 4294967295 134512640 135726644 3221224576 3221223200 134744518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11455 9194 300 300 0 11155 0
vsize: 45820
[startup+520.024 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 1417
Raw data (stat): 1417 (pb2sat) R 1416 23514 23513 0 -1 0 17495 0 0 0 51905 101 0 0 25 0 1 0 806135001 46919680 9243 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11455 9243 300 300 0 11155 0
vsize: 45820
[startup+530.024 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 1417
Raw data (stat): 1417 (pb2sat) R 1416 23514 23513 0 -1 0 17781 0 0 0 52903 102 0 0 25 0 1 0 806135001 46919680 9249 4294967295 134512640 135726644 3221224576 3221223072 134743901 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11455 9249 300 300 0 11155 0
vsize: 45820
[startup+540.025 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 1417
Raw data (stat): 1417 (pb2sat) R 1416 23514 23513 0 -1 0 17927 0 0 0 53902 103 0 0 25 0 1 0 806135001 46919680 9255 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11455 9255 300 300 0 11155 0
vsize: 45820
[startup+550.024 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 1417
Raw data (stat): 1417 (pb2sat) R 1416 23514 23513 0 -1 0 18185 0 0 0 54900 106 0 0 25 0 1 0 806135001 46919680 9373 4294967295 134512640 135726644 3221224576 3221223072 134744263 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11455 9373 300 300 0 11155 0
vsize: 45820
[startup+560.025 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 1417
Raw data (stat): 1417 (pb2sat) R 1416 23514 23513 0 -1 0 18334 0 0 0 55899 107 0 0 25 0 1 0 806135001 46919680 9382 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11455 9382 300 300 0 11155 0
vsize: 45820
[startup+570.025 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 1417
Raw data (stat): 1417 (pb2sat) R 1416 23514 23513 0 -1 0 18645 0 0 0 56898 108 0 0 25 0 1 0 806135001 47083520 9413 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11495 9413 300 300 0 11195 0
vsize: 45980
[startup+580.025 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 1417
Raw data (stat): 1417 (pb2sat) R 1416 23514 23513 0 -1 0 18792 0 0 0 57896 110 0 0 25 0 1 0 806135001 47083520 9420 4294967295 134512640 135726644 3221224576 3221223232 134731263 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11495 9420 300 300 0 11195 0
vsize: 45980
[startup+590.025 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 1417
Raw data (stat): 1417 (pb2sat) R 1416 23514 23513 0 -1 0 19030 0 0 0 58894 112 0 0 25 0 1 0 806135001 47460352 9518 4294967295 134512640 135726644 3221224576 3221222868 134763470 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11587 9518 300 300 0 11287 0
vsize: 46348
[startup+600.026 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 1417
Raw data (stat): 1417 (pb2sat) R 1416 23514 23513 0 -1 0 19269 0 0 0 59893 114 0 0 25 0 1 0 806135001 47460352 9617 4294967295 134512640 135726644 3221224576 3221223072 134744142 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11587 9617 300 300 0 11287 0
vsize: 46348
[startup+610.026 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 1417
Raw data (stat): 1417 (pb2sat) R 1416 23514 23513 0 -1 0 19461 0 0 0 60892 115 0 0 25 0 1 0 806135001 47656960 9669 4294967295 134512640 135726644 3221224576 3221223072 134743961 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11635 9669 300 300 0 11335 0
vsize: 46540
[startup+620.026 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 1417
Raw data (stat): 1417 (pb2sat) R 1416 23514 23513 0 -1 0 19637 0 0 0 61891 116 0 0 25 0 1 0 806135001 47972352 9705 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11712 9705 300 300 0 11412 0
vsize: 46848
[startup+630.027 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 1417
Raw data (stat): 1417 (pb2sat) R 1416 23514 23513 0 -1 0 19796 0 0 0 62890 117 0 0 25 0 1 0 806135001 47972352 9724 4294967295 134512640 135726644 3221224576 3221223200 134744491 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11712 9724 300 300 0 11412 0
vsize: 46848
[startup+640.027 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 1417
Raw data (stat): 1417 (pb2sat) R 1416 23514 23513 0 -1 0 19950 0 0 0 63889 119 0 0 25 0 1 0 806135001 47972352 9738 4294967295 134512640 135726644 3221224576 3221223264 134744861 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11712 9738 300 300 0 11412 0
vsize: 46848
[startup+650.027 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 1417
Raw data (stat): 1417 (pb2sat) R 1416 23514 23513 0 -1 0 20119 0 0 0 64888 120 0 0 25 0 1 0 806135001 48107520 9767 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11745 9767 300 300 0 11445 0
vsize: 46980
[startup+660.027 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 1417
Raw data (stat): 1417 (pb2sat) R 1416 23514 23513 0 -1 0 21940 0 0 0 65882 126 0 0 25 0 1 0 806135001 54398976 9771 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13281 9771 300 300 0 12981 0
vsize: 53124
[startup+670.027 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 1417
Raw data (stat): 1417 (pb2sat) R 1416 23514 23513 0 -1 0 21951 0 0 0 66880 128 0 0 25 0 1 0 806135001 54398976 9782 4294967295 134512640 135726644 3221224576 3221223232 134745068 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13281 9782 300 300 0 12981 0
vsize: 53124
[startup+680.028 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 1417
Raw data (stat): 1417 (pb2sat) R 1416 23514 23513 0 -1 0 22249 0 0 0 67879 129 0 0 25 0 1 0 806135001 55095296 9940 4294967295 134512640 135726644 3221224576 3221222728 134761841 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13451 9940 300 300 0 13151 0
vsize: 53804
[startup+690.028 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 1417
Raw data (stat): 1417 (pb2sat) R 1416 23514 23513 0 -1 0 22407 0 0 0 68877 131 0 0 25 0 1 0 806135001 54521856 9818 4294967295 134512640 135726644 3221224576 3221223072 134744379 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13311 9818 300 300 0 13011 0
vsize: 53244
[startup+700.028 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 1417
Raw data (stat): 1417 (pb2sat) R 1416 23514 23513 0 -1 0 22564 0 0 0 69876 133 0 0 25 0 1 0 806135001 54689792 9835 4294967295 134512640 135726644 3221224576 3221223232 134731248 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13352 9835 300 300 0 13052 0
vsize: 53408
[startup+710.029 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 1417
Raw data (stat): 1417 (pb2sat) R 1416 23514 23513 0 -1 0 22715 0 0 0 70875 134 0 0 25 0 1 0 806135001 54689792 9846 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13352 9846 300 300 0 13052 0
vsize: 53408
[startup+720.029 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 1417
Raw data (stat): 1417 (pb2sat) R 1416 23514 23513 0 -1 0 22884 0 0 0 71874 135 0 0 25 0 1 0 806135001 54824960 9875 4294967295 134512640 135726644 3221224576 3221223264 134744861 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13385 9875 300 300 0 13085 0
vsize: 53540
[startup+730.029 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 1417
Raw data (stat): 1417 (pb2sat) R 1416 23514 23513 0 -1 0 23028 0 0 0 72873 136 0 0 25 0 1 0 806135001 54824960 9879 4294967295 134512640 135726644 3221224576 3221222896 134728934 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13385 9879 300 300 0 13085 0
vsize: 53540
[startup+740.029 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 1417
Raw data (stat): 1417 (pb2sat) R 1416 23514 23513 0 -1 0 23185 0 0 0 73872 137 0 0 25 0 1 0 806135001 54824960 9896 4294967295 134512640 135726644 3221224576 3221223264 134744861 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13385 9896 300 300 0 13085 0
vsize: 53540
[startup+750.03 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 1417
Raw data (stat): 1417 (pb2sat) R 1416 23514 23513 0 -1 0 23336 0 0 0 74871 139 0 0 25 0 1 0 806135001 54947840 9907 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13415 9907 300 300 0 13115 0
vsize: 53660
[startup+760.03 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 1417
Raw data (stat): 1417 (pb2sat) R 1416 23514 23513 0 -1 0 23520 0 0 0 75870 140 0 0 25 0 1 0 806135001 55218176 9951 4294967295 134512640 135726644 3221224576 3221223232 134731177 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13481 9951 300 300 0 13181 0
vsize: 53924
[startup+770.03 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 1417
Raw data (stat): 1417 (pb2sat) R 1416 23514 23513 0 -1 0 23524 0 0 0 76870 140 0 0 25 0 1 0 806135001 55218176 9955 4294967295 134512640 135726644 3221224576 3221222896 134728892 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13481 9955 300 300 0 13181 0
vsize: 53924
[startup+780.03 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 1417
Raw data (stat): 1417 (pb2sat) R 1416 23514 23513 0 -1 0 23668 0 0 0 77868 141 0 0 25 0 1 0 806135001 55218176 9959 4294967295 134512640 135726644 3221224576 3221222912 134735629 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13481 9959 300 300 0 13181 0
vsize: 53924
[startup+790.03 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 1417
Raw data (stat): 1417 (pb2sat) R 1416 23514 23513 0 -1 0 23813 0 0 0 78867 143 0 0 25 0 1 0 806135001 55218176 9964 4294967295 134512640 135726644 3221224576 3221223184 134744639 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13481 9964 300 300 0 13181 0
vsize: 53924
[startup+800.03 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 1417
Raw data (stat): 1417 (pb2sat) R 1416 23514 23513 0 -1 0 23964 0 0 0 79865 145 0 0 25 0 1 0 806135001 55218176 9975 4294967295 134512640 135726644 3221224576 3221223072 134743901 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13481 9975 300 300 0 13181 0
vsize: 53924
[startup+810.03 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 1417
Raw data (stat): 1417 (pb2sat) R 1416 23514 23513 0 -1 0 24119 0 0 0 80864 146 0 0 25 0 1 0 806135001 55357440 9990 4294967295 134512640 135726644 3221224576 3221223200 134744555 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13515 9990 300 300 0 13215 0
vsize: 54060
[startup+820.03 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 1417
Raw data (stat): 1417 (pb2sat) R 1416 23514 23513 0 -1 0 24129 0 0 0 81862 148 0 0 25 0 1 0 806135001 55357440 10000 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13515 10000 300 300 0 13215 0
vsize: 54060
[startup+830.03 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 1417
Raw data (stat): 1417 (pb2sat) R 1416 23514 23513 0 -1 0 24140 0 0 0 82861 149 0 0 25 0 1 0 806135001 55357440 10011 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13515 10011 300 300 0 13215 0
vsize: 54060
[startup+840.029 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 1417
Raw data (stat): 1417 (pb2sat) R 1416 23514 23513 0 -1 0 24292 0 0 0 83860 151 0 0 25 0 1 0 806135001 55357440 10023 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13515 10023 300 300 0 13215 0
vsize: 54060
[startup+850.03 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 1417
Raw data (stat): 1417 (pb2sat) R 1416 23514 23513 0 -1 0 24310 0 0 0 84859 152 0 0 25 0 1 0 806135001 55513088 10041 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13553 10041 300 300 0 13253 0
vsize: 54212
[startup+860.031 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 1417
Raw data (stat): 1417 (pb2sat) R 1416 23514 23513 0 -1 0 24462 0 0 0 85857 154 0 0 25 0 1 0 806135001 55513088 10053 4294967295 134512640 135726644 3221224576 3221222896 134728934 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13553 10053 300 300 0 13253 0
vsize: 54212
[startup+870.03 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 1417
Raw data (stat): 1417 (pb2sat) R 1416 23514 23513 0 -1 0 24469 0 0 0 86856 155 0 0 25 0 1 0 806135001 55513088 10060 4294967295 134512640 135726644 3221224576 3221223072 134743928 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13553 10060 300 300 0 13253 0
vsize: 54212
[startup+880.031 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 1417
Raw data (stat): 1417 (pb2sat) R 1416 23514 23513 0 -1 0 24495 0 0 0 87856 156 0 0 25 0 1 0 806135001 55648256 10086 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13586 10086 300 300 0 13286 0
vsize: 54344
[startup+890.031 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 1417
Raw data (stat): 1417 (pb2sat) R 1416 23514 23513 0 -1 0 24497 0 0 0 88855 157 0 0 25 0 1 0 806135001 55648256 10088 4294967295 134512640 135726644 3221224576 3221223072 134744235 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13586 10088 300 300 0 13286 0
vsize: 54344
[startup+900.032 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 1417
Raw data (stat): 1417 (pb2sat) R 1416 23514 23513 0 -1 0 24506 0 0 0 89854 158 0 0 25 0 1 0 806135001 55648256 10097 4294967295 134512640 135726644 3221224576 3221223264 134744861 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13586 10097 300 300 0 13286 0
vsize: 54344
[startup+910.032 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 1417
Raw data (stat): 1417 (pb2sat) R 1416 23514 23513 0 -1 0 24651 0 0 0 90853 159 0 0 25 0 1 0 806135001 55648256 10102 4294967295 134512640 135726644 3221224576 3221223072 134743901 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13586 10102 300 300 0 13286 0
vsize: 54344
[startup+920.032 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 1417
Raw data (stat): 1417 (pb2sat) R 1416 23514 23513 0 -1 0 24657 0 0 0 91852 160 0 0 25 0 1 0 806135001 55648256 10108 4294967295 134512640 135726644 3221224576 3221223072 134744311 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13586 10108 300 300 0 13286 0
vsize: 54344
[startup+930.033 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 1417
Raw data (stat): 1417 (pb2sat) R 1416 23514 23513 0 -1 0 24660 0 0 0 92851 161 0 0 25 0 1 0 806135001 55648256 10111 4294967295 134512640 135726644 3221224576 3221223072 134744220 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13586 10111 300 300 0 13286 0
vsize: 54344
[startup+940.032 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 1417
Raw data (stat): 1417 (pb2sat) R 1416 23514 23513 0 -1 0 24804 0 0 0 93850 163 0 0 25 0 1 0 806135001 55758848 10115 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13613 10115 300 300 0 13313 0
vsize: 54452
[startup+950.034 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 1417
Raw data (stat): 1417 (pb2sat) R 1416 23514 23513 0 -1 0 24810 0 0 0 94849 164 0 0 25 0 1 0 806135001 55758848 10121 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13613 10121 300 300 0 13313 0
vsize: 54452
[startup+960.034 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 1417
Raw data (stat): 1417 (pb2sat) R 1416 23514 23513 0 -1 0 24956 0 0 0 95848 165 0 0 25 0 1 0 806135001 55758848 10127 4294967295 134512640 135726644 3221224576 3221223184 134741266 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13613 10127 300 300 0 13313 0
vsize: 54452
[startup+970.034 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 1417
Raw data (stat): 1417 (pb2sat) R 1416 23514 23513 0 -1 0 24965 0 0 0 96847 166 0 0 25 0 1 0 806135001 55758848 10136 4294967295 134512640 135726644 3221224576 3221223088 135278614 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13613 10136 300 300 0 13313 0
vsize: 54452
[startup+980.034 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 1417
Raw data (stat): 1417 (pb2sat) R 1416 23514 23513 0 -1 0 25108 0 0 0 97846 167 0 0 25 0 1 0 806135001 55758848 10139 4294967295 134512640 135726644 3221224576 3221222896 134728895 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13613 10139 300 300 0 13313 0
vsize: 54452
[startup+990.035 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 1417
Raw data (stat): 1417 (pb2sat) R 1416 23514 23513 0 -1 0 25112 0 0 0 98845 168 0 0 25 0 1 0 806135001 55758848 10143 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13613 10143 300 300 0 13313 0
vsize: 54452
[startup+1000.04 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 1417
Raw data (stat): 1417 (pb2sat) R 1416 23514 23513 0 -1 0 25276 0 0 0 99844 169 0 0 25 0 1 0 806135001 55894016 10167 4294967295 134512640 135726644 3221224576 3221223232 134731263 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13646 10167 300 300 0 13346 0
vsize: 54584
[startup+1010.04 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 1417
Raw data (stat): 1417 (pb2sat) R 1416 23514 23513 0 -1 0 25284 0 0 0 100843 170 0 0 25 0 1 0 806135001 56053760 10175 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13685 10175 300 300 0 13385 0
vsize: 54740
[startup+1020.03 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 1417
Raw data (stat): 1417 (pb2sat) R 1416 23514 23513 0 -1 0 25436 0 0 0 101842 172 0 0 25 0 1 0 806135001 56053760 10187 4294967295 134512640 135726644 3221224576 3221223072 134744132 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13685 10187 300 300 0 13385 0
vsize: 54740
[startup+1030.03 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 1417
Raw data (stat): 1417 (pb2sat) R 1416 23514 23513 0 -1 0 25440 0 0 0 102841 173 0 0 25 0 1 0 806135001 56053760 10191 4294967295 134512640 135726644 3221224576 3221223072 134744260 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13685 10191 300 300 0 13385 0
vsize: 54740
[startup+1040.03 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 1417
Raw data (stat): 1417 (pb2sat) R 1416 23514 23513 0 -1 0 25582 0 0 0 103840 175 0 0 25 0 1 0 806135001 56053760 10193 4294967295 134512640 135726644 3221224576 3221223072 134743901 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13685 10193 300 300 0 13385 0
vsize: 54740
[startup+1050.04 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 1417
Raw data (stat): 1417 (pb2sat) R 1416 23514 23513 0 -1 0 25583 0 0 0 104839 175 0 0 25 0 1 0 806135001 56053760 10194 4294967295 134512640 135726644 3221224576 3221223072 134743901 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13685 10194 300 300 0 13385 0
vsize: 54740
[startup+1060.04 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 1417
Raw data (stat): 1417 (pb2sat) R 1416 23514 23513 0 -1 0 25603 0 0 0 105838 176 0 0 25 0 1 0 806135001 56188928 10214 4294967295 134512640 135726644 3221224576 3221223120 134736818 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13718 10214 300 300 0 13418 0
vsize: 54872
[startup+1070.04 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 1417
Raw data (stat): 1417 (pb2sat) R 1416 23514 23513 0 -1 0 25746 0 0 0 106836 179 0 0 25 0 1 0 806135001 56188928 10217 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13718 10217 300 300 0 13418 0
vsize: 54872
[startup+1080.04 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 1417
Raw data (stat): 1417 (pb2sat) R 1416 23514 23513 0 -1 0 25748 0 0 0 107836 179 0 0 25 0 1 0 806135001 56188928 10219 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13718 10219 300 300 0 13418 0
vsize: 54872
[startup+1090.04 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 1417
Raw data (stat): 1417 (pb2sat) R 1416 23514 23513 0 -1 0 25750 0 0 0 108835 180 0 0 25 0 1 0 806135001 56188928 10221 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13718 10221 300 300 0 13418 0
vsize: 54872
[startup+1100.04 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 1417
Raw data (stat): 1417 (pb2sat) R 1416 23514 23513 0 -1 0 25752 0 0 0 109834 182 0 0 25 0 1 0 806135001 56188928 10223 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13718 10223 300 300 0 13418 0
vsize: 54872
[startup+1110.04 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 1417
Raw data (stat): 1417 (pb2sat) R 1416 23514 23513 0 -1 0 25894 0 0 0 110833 183 0 0 25 0 1 0 806135001 56188928 10225 4294967295 134512640 135726644 3221224576 3221223072 134743901 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13718 10225 300 300 0 13418 0
vsize: 54872
[startup+1120.04 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 1417
Raw data (stat): 1417 (pb2sat) R 1416 23514 23513 0 -1 0 25896 0 0 0 111832 183 0 0 25 0 1 0 806135001 56188928 10227 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13718 10227 300 300 0 13418 0
vsize: 54872
[startup+1130.04 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 1417
Raw data (stat): 1417 (pb2sat) R 1416 23514 23513 0 -1 0 26040 0 0 0 112831 185 0 0 25 0 1 0 806135001 56188928 10231 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13718 10231 300 300 0 13418 0
vsize: 54872
[startup+1140.04 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 1417
Raw data (stat): 1417 (pb2sat) R 1416 23514 23513 0 -1 0 26046 0 0 0 113831 185 0 0 25 0 1 0 806135001 56188928 10237 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13718 10237 300 300 0 13418 0
vsize: 54872
[startup+1150.04 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 1417
Raw data (stat): 1417 (pb2sat) R 1416 23514 23513 0 -1 0 26192 0 0 0 114830 186 0 0 25 0 1 0 806135001 56188928 10243 4294967295 134512640 135726644 3221224576 3221223232 134731175 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13718 10243 300 300 0 13418 0
vsize: 54872
[startup+1160.04 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 1417
Raw data (stat): 1417 (pb2sat) R 1416 23514 23513 0 -1 0 26203 0 0 0 115828 188 0 0 25 0 1 0 806135001 56307712 10254 4294967295 134512640 135726644 3221224576 3221222896 134728892 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13747 10254 300 300 0 13447 0
vsize: 54988
[startup+1170.04 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 1417
Raw data (stat): 1417 (pb2sat) R 1416 23514 23513 0 -1 0 26346 0 0 0 116827 189 0 0 25 0 1 0 806135001 56307712 10257 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13747 10257 300 300 0 13447 0
vsize: 54988
[startup+1180.04 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 1417
Raw data (stat): 1417 (pb2sat) R 1416 23514 23513 0 -1 0 26353 0 0 0 117826 191 0 0 25 0 1 0 806135001 56307712 10264 4294967295 134512640 135726644 3221224576 3221223200 134744575 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13747 10264 300 300 0 13447 0
vsize: 54988
[startup+1190.04 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 1417
Raw data (stat): 1417 (pb2sat) R 1416 23514 23513 0 -1 0 26365 0 0 0 118825 192 0 0 25 0 1 0 806135001 56307712 10276 4294967295 134512640 135726644 3221224576 3221222896 134728934 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13747 10276 300 300 0 13447 0
vsize: 54988
[startup+1200.04 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 1417
Raw data (stat): 1417 (pb2sat) R 1416 23514 23513 0 -1 0 26518 0 0 0 119823 194 0 0 25 0 1 0 806135001 56307712 10289 4294967295 134512640 135726644 3221224576 3221223072 134744260 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13747 10289 300 300 0 13447 0
vsize: 54988
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.33 s]
Raw data (loadavg): 0.99 0.99 0.92 1/54 1417
Raw data (stat): 1417 (pb2sat) Z 1416 23514 23513 0 -1 12 26519 0 0 0 119850 196 0 0 25 0 1 0 806135001 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.33
CPU time (s): 1200.47
CPU user time (s): 1198.5
CPU system time (s): 1.9677
CPU usage (%): 100.011
Max. virtual memory (Kb): 54988
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####