PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-vpm2.opb
MD5SUM	8c44064d4224b1d41c28f152218dd39f
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	98
Optimality of the best value was proved	NO
Number of terms in the objective function	168
Biggest coefficient in the objective function	5
Number of bits for the biggest coefficient in the objective function	3
Sum of the numbers in the objective function	504
Number of bits of the sum of numbers in the objective function	9
Biggest number in a constraint	102400
Number of bits of the biggest number in a constraint	17
Biggest sum of numbers in a constraint	615983
Number of bits of the biggest sum of numbers	20
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.05084
Number of variables	2124
Total number of constraints	612
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	168
Number of constraints which are nor clauses,nor cardinality constraints	444
Minimum length of a constraint	1
Maximum length of a constraint	64
Trace number 35687

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc1 THE 2005-05-28 13:32:16 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=24923 boxname=wulflinc1 idbench=1395 idsolver=17 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  8c44064d4224b1d41c28f152218dd39f  /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-13-7-vpm2.opb
REAL COMMAND:  pb2sat /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-13-7-vpm2.opb
IDLAUNCH: 24923
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.053
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.053
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:        718196 kB
Buffers:         36292 kB
Cached:         256244 kB
SwapCached:        680 kB
Active:          23072 kB
Inactive:       271716 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        717944 kB
SwapTotal:     2097136 kB
SwapFree:      2095368 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5812 kB
Slab:            15912 kB
Committed_AS:    92716 kB
PageTables:        332 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-28 13:52:19 (client local time) WITH STATUS 0 IN 1201.56 SECONDS
stats: 24923 7 1201.56 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...

Decision: 102658/497153	Time: 39.8299/86400
Decision: 102658/497153	Time: 61.6366/86400
Decision: 102941/497153	Time: 91.843/86400
Decision: 102944/497153	Time: 112.065/86400
Decision: 102944/497153	Time: 126.482/86400
Decision: 102948/497153	Time: 170.073/86400
Decision: 102948/497153	Time: 188.616/86400
Decision: 102948/497153	Time: 205.968/86400
Decision: 102948/497153	Time: 220.789/86400
Decision: 102954/497153	Time: 237.563/86400
Decision: 102954/497153	Time: 254.329/86400
Decision: 102982/497153	Time: 291.615/86400
Decision: 102996/497153	Time: 320.196/86400
Decision: 102996/497153	Time: 341.432/86400
Decision: 102996/497153	Time: 361.421/86400
Decision: 102996/497153	Time: 381.969/86400
Decision: 102996/497153	Time: 398.88/86400
Decision: 102996/497153	Time: 416.306/86400
Decision: 102996/497153	Time: 431.917/86400
Decision: 102996/497153	Time: 447.727/86400
Decision: 103045/497153	Time: 487.107/86400
Decision: 103062/497153	Time: 506.064/86400
Decision: 103062/497153	Time: 520.563/86400
Decision: 103062/497153	Time: 540.127/86400
Decision: 103062/497153	Time: 557.734/86400
Decision: 103062/497153	Time: 576.652/86400
Decision: 103062/497153	Time: 593.273/86400
Decision: 103075/497153	Time: 624.612/86400
Decision: 103075/497153	Time: 632.041/86400
Decision: 103094/497153	Time: 654.233/86400
Decision: 103094/497153	Time: 668.867/86400
Decision: 103094/497153	Time: 679.045/86400
Decision: 103094/497153	Time: 689.908/86400
Decision: 103094/497153	Time: 701.959/86400
Decision: 103094/497153	Time: 716.426/86400
Decision: 103094/497153	Time: 735.913/86400
Decision: 103094/497153	Time: 753.696/86400
Decision: 103094/497153	Time: 767.966/86400
Decision: 103094/497153	Time: 787.984/86400
Decision: 103094/497153	Time: 804.658/86400
Decision: 103094/497153	Time: 815.061/86400
Decision: 103094/497153	Time: 831.493/86400
Decision: 103094/497153	Time: 851.616/86400
Decision: 103094/497153	Time: 867.456/86400
Decision: 103094/497153	Time: 886.556/86400
Decision: 103094/497153	Time: 909.956/86400
Decision: 103094/497153	Time: 930.361/86400
Decision: 103094/497153	Time: 951.697/86400
Decision: 103261/497153	Time: 974.313/86400
Decision: 103261/497153	Time: 987.235/86400
Decision: 103261/497153	Time: 998.758/86400
Decision: 103261/497153	Time: 1010.3/86400
Decision: 103261/497153	Time: 1024.53/86400
Decision: 103261/497153	Time: 1036.83/86400
Decision: 103261/497153	Time: 1047.85/86400
Decision: 103261/497153	Time: 1060.25/86400
Decision: 103261/497153	Time: 1070.05/86400
Decision: 103261/497153	Time: 1081.33/86400
Decision: 103261/497153	Time: 1091.56/86400
Decision: 103261/497153	Time: 1102.08/86400
Decision: 103261/497153	Time: 1114.13/86400
Decision: 103261/497153	Time: 1124.2/86400
Decision: 103261/497153	Time: 1135.7/86400
Decision: 103262/497153	Time: 1146.55/86400
Decision: 103262/497153	Time: 1156.76/86400
Decision: 103262/497153	Time: 1168.81/86400
Decision: 103262/497153	Time: 1180.07/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.91 0.94 0.90 2/55 21747
Raw data (stat): 21747 (runsolver) R 21746 8378 8377 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 750109092 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.0009 s]
Raw data (loadavg): 0.92 0.94 0.91 2/55 21747
Raw data (stat): 21747 (pb2sat) R 21746 8378 8377 0 -1 0 28233 0 0 0 935 63 0 0 25 0 1 0 750109092 78577664 17163 4294967295 134512640 135726644 3221224592 3221210364 134634291 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 19184 17163 300 300 0 18884 0
vsize: 76736
[startup+20.0017 s]
Raw data (loadavg): 0.93 0.94 0.91 2/55 21747
Raw data (stat): 21747 (pb2sat) R 21746 8378 8377 0 -1 0 57502 0 0 0 1868 130 0 0 25 0 1 0 750109092 162799616 35440 4294967295 134512640 135726644 3221224592 3221222944 134769136 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 39746 35440 300 300 0 39446 0
vsize: 158984
[startup+30.0024 s]
Raw data (loadavg): 0.94 0.94 0.91 2/55 21747
Raw data (stat): 21747 (pb2sat) R 21746 8378 8377 0 -1 0 60090 0 0 0 2863 135 0 0 25 0 1 0 750109092 169422848 36793 4294967295 134512640 135726644 3221224592 3221223204 134744633 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 41363 36793 300 300 0 41063 0
vsize: 165452
[startup+40.0022 s]
Raw data (loadavg): 0.95 0.94 0.91 2/55 21747
Raw data (stat): 21747 (pb2sat) R 21746 8378 8377 0 -1 0 60813 0 0 0 3860 138 0 0 25 0 1 0 750109092 172982272 37516 4294967295 134512640 135726644 3221224592 3221223248 134731175 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42232 37516 300 300 0 41932 0
vsize: 168928
[startup+50.0019 s]
Raw data (loadavg): 0.96 0.94 0.91 2/55 21747
Raw data (stat): 21747 (pb2sat) R 21746 8378 8377 0 -1 0 61301 0 0 0 4859 139 0 0 25 0 1 0 750109092 175587328 38004 4294967295 134512640 135726644 3221224592 3221222832 135277381 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42868 38004 300 300 0 42568 0
vsize: 171472
[startup+60.0023 s]
Raw data (loadavg): 0.96 0.95 0.91 2/55 21747
Raw data (stat): 21747 (pb2sat) R 21746 8378 8377 0 -1 0 62581 0 0 0 5855 142 0 0 25 0 1 0 750109092 177344512 38312 4294967295 134512640 135726644 3221224592 3221223248 134731248 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 43297 38312 300 300 0 42997 0
vsize: 173188
[startup+70.0026 s]
Raw data (loadavg): 0.97 0.95 0.91 2/55 21747
Raw data (stat): 21747 (pb2sat) R 21746 8378 8377 0 -1 0 62851 0 0 0 6853 144 0 0 25 0 1 0 750109092 178421760 38549 4294967295 134512640 135726644 3221224592 3221222912 134728934 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 43560 38549 300 300 0 43260 0
vsize: 174240
[startup+80.0033 s]
Raw data (loadavg): 0.97 0.95 0.91 2/55 21747
Raw data (stat): 21747 (pb2sat) R 21746 8378 8377 0 -1 0 63134 0 0 0 7852 145 0 0 25 0 1 0 750109092 179630080 38766 4294967295 134512640 135726644 3221224592 3221223104 134742276 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 43855 38766 300 300 0 43555 0
vsize: 175420
[startup+90.0031 s]
Raw data (loadavg): 0.98 0.95 0.91 2/55 21747
Raw data (stat): 21747 (pb2sat) R 21746 8378 8377 0 -1 0 64333 0 0 0 8848 148 0 0 25 0 1 0 750109092 180760576 38993 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44131 38993 300 300 0 43831 0
vsize: 176524
[startup+100.003 s]
Raw data (loadavg): 0.98 0.95 0.91 2/55 21747
Raw data (stat): 21747 (pb2sat) R 21746 8378 8377 0 -1 0 64508 0 0 0 9847 149 0 0 25 0 1 0 750109092 181432320 39135 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44295 39135 300 300 0 43995 0
vsize: 177180
[startup+110.004 s]
Raw data (loadavg): 0.98 0.95 0.91 2/55 21747
Raw data (stat): 21747 (pb2sat) R 21746 8378 8377 0 -1 0 64610 0 0 0 10846 149 0 0 25 0 1 0 750109092 181833728 39204 4294967295 134512640 135726644 3221224592 3221223104 134742274 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 44393 39204 300 300 0 44093 0
vsize: 177572
[startup+120.004 s]
Raw data (loadavg): 0.98 0.95 0.91 2/55 21747
Raw data (stat): 21747 (pb2sat) R 21746 8378 8377 0 -1 0 65676 0 0 0 11843 152 0 0 25 0 1 0 750109092 182239232 39298 4294967295 134512640 135726644 3221224592 3221223248 134731175 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 44492 39298 300 300 0 44192 0
vsize: 177968
[startup+130.004 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 21747
Raw data (stat): 21747 (pb2sat) R 21746 8378 8377 0 -1 0 65813 0 0 0 12843 152 0 0 25 0 1 0 750109092 182640640 39402 4294967295 134512640 135726644 3221224592 3221223088 134744290 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 44590 39402 300 300 0 44290 0
vsize: 178360
[startup+140.004 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 21747
Raw data (stat): 21747 (pb2sat) R 21746 8378 8377 0 -1 0 66886 0 0 0 13841 155 0 0 25 0 1 0 750109092 183042048 39503 4294967295 134512640 135726644 3221224592 3221223280 134744989 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 44688 39503 300 300 0 44388 0
vsize: 178752
[startup+150.004 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 21747
Raw data (stat): 21747 (pb2sat) R 21746 8378 8377 0 -1 0 67957 0 0 0 14838 157 0 0 25 0 1 0 750109092 183173120 39569 4294967295 134512640 135726644 3221224592 3221223088 134744006 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 44720 39569 300 300 0 44420 0
vsize: 178880
[startup+160.004 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 21747
Raw data (stat): 21747 (pb2sat) R 21746 8378 8377 0 -1 0 67987 0 0 0 15838 158 0 0 25 0 1 0 750109092 183308288 39599 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 44753 39599 300 300 0 44453 0
vsize: 179012
[startup+170.003 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 21747
Raw data (stat): 21747 (pb2sat) R 21746 8378 8377 0 -1 0 68081 0 0 0 16837 159 0 0 25 0 1 0 750109092 183848960 39693 4294967295 134512640 135726644 3221224592 3221223248 134745073 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 44885 39693 300 300 0 44585 0
vsize: 179540
[startup+180.004 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 21747
Raw data (stat): 21747 (pb2sat) R 21746 8378 8377 0 -1 0 68182 0 0 0 17837 159 0 0 25 0 1 0 750109092 184254464 39794 4294967295 134512640 135726644 3221224592 3221223088 134743901 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 44984 39794 300 300 0 44684 0
vsize: 179936
[startup+190.004 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 21747
Raw data (stat): 21747 (pb2sat) R 21746 8378 8377 0 -1 0 69177 0 0 0 18834 162 0 0 25 0 1 0 750109092 184254464 39817 4294967295 134512640 135726644 3221224592 3221223088 134744314 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 44984 39817 300 300 0 44684 0
vsize: 179936
[startup+200.004 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 21747
Raw data (stat): 21747 (pb2sat) R 21746 8378 8377 0 -1 0 69188 0 0 0 19834 163 0 0 25 0 1 0 750109092 184254464 39828 4294967295 134512640 135726644 3221224592 3221223248 134731175 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 44984 39828 300 300 0 44684 0
vsize: 179936
[startup+210.004 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 21747
Raw data (stat): 21747 (pb2sat) R 21746 8378 8377 0 -1 0 70226 0 0 0 20831 166 0 0 25 0 1 0 750109092 184520704 39861 4294967295 134512640 135726644 3221224592 3221223248 134731248 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 45049 39861 300 300 0 44749 0
vsize: 180196
[startup+220.003 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 21747
Raw data (stat): 21747 (pb2sat) R 21746 8378 8377 0 -1 0 70371 0 0 0 21830 167 0 0 25 0 1 0 750109092 185049088 39940 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 45178 39940 300 300 0 44878 0
vsize: 180712
[startup+230.004 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 21747
Raw data (stat): 21747 (pb2sat) R 21746 8378 8377 0 -1 0 71350 0 0 0 22827 170 0 0 25 0 1 0 750109092 185049088 39947 4294967295 134512640 135726644 3221224592 3221223248 134731248 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 45178 39947 300 300 0 44878 0
vsize: 180712
[startup+240.004 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 21747
Raw data (stat): 21747 (pb2sat) R 21746 8378 8377 0 -1 0 72378 0 0 0 23825 172 0 0 25 0 1 0 750109092 189300736 40975 4294967295 134512640 135726644 3221224592 3221222732 134761854 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 46216 40975 300 300 0 45916 0
vsize: 184864
[startup+250.004 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 21747
Raw data (stat): 21747 (pb2sat) R 21746 8378 8377 0 -1 0 72395 0 0 0 24824 173 0 0 25 0 1 0 750109092 185319424 40020 4294967295 134512640 135726644 3221224592 3221222912 134728934 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 45244 40020 300 300 0 44944 0
vsize: 180976
[startup+260.004 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 21747
Raw data (stat): 21747 (pb2sat) R 21746 8378 8377 0 -1 0 73378 0 0 0 25822 175 0 0 25 0 1 0 750109092 185319424 40031 4294967295 134512640 135726644 3221224592 3221223248 134731248 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 45244 40031 300 300 0 44944 0
vsize: 180976
[startup+270.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 21747
Raw data (stat): 21747 (pb2sat) R 21746 8378 8377 0 -1 0 73611 0 0 0 26821 176 0 0 25 0 1 0 750109092 186376192 40198 4294967295 134512640 135726644 3221224592 3221223280 134744861 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 45502 40198 300 300 0 45202 0
vsize: 182008
[startup+280.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 21747
Raw data (stat): 21747 (pb2sat) R 21746 8378 8377 0 -1 0 74589 0 0 0 27819 179 0 0 25 0 1 0 750109092 186376192 40204 4294967295 134512640 135726644 3221224592 3221223248 134731248 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 45502 40204 300 300 0 45202 0
vsize: 182008
[startup+290.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 21747
Raw data (stat): 21747 (pb2sat) R 21746 8378 8377 0 -1 0 74641 0 0 0 28819 179 0 0 25 0 1 0 750109092 186646528 40256 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 45568 40256 300 300 0 45268 0
vsize: 182272
[startup+300.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 21747
Raw data (stat): 21747 (pb2sat) R 21746 8378 8377 0 -1 0 74695 0 0 0 29819 180 0 0 25 0 1 0 750109092 186912768 40310 4294967295 134512640 135726644 3221224592 3221222912 134728934 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 45633 40310 300 300 0 45333 0
vsize: 182532
[startup+310.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 21747
Raw data (stat): 21747 (pb2sat) R 21746 8378 8377 0 -1 0 74743 0 0 0 30818 180 0 0 25 0 1 0 750109092 187047936 40358 4294967295 134512640 135726644 3221224592 3221223104 134742274 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 45666 40358 300 300 0 45366 0
vsize: 182664
[startup+320.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 21747
Raw data (stat): 21747 (pb2sat) R 21746 8378 8377 0 -1 0 75841 0 0 0 31815 183 0 0 25 0 1 0 750109092 187449344 40451 4294967295 134512640 135726644 3221224592 3221222956 135287596 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 45764 40451 300 300 0 45464 0
vsize: 183056
[startup+330.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 21747
Raw data (stat): 21747 (pb2sat) R 21746 8378 8377 0 -1 0 75900 0 0 0 32815 184 0 0 25 0 1 0 750109092 187715584 40510 4294967295 134512640 135726644 3221224592 3221223184 134760008 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 45829 40510 300 300 0 45529 0
vsize: 183316
[startup+340.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 21747
Raw data (stat): 21747 (pb2sat) R 21746 8378 8377 0 -1 0 76973 0 0 0 33812 187 0 0 25 0 1 0 750109092 188112896 40578 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 45926 40578 300 300 0 45626 0
vsize: 183704
[startup+350.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 21747
Raw data (stat): 21747 (pb2sat) R 21746 8378 8377 0 -1 0 77010 0 0 0 34812 187 0 0 25 0 1 0 750109092 188112896 40615 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 45926 40615 300 300 0 45626 0
vsize: 183704
[startup+360.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 21747
Raw data (stat): 21747 (pb2sat) R 21746 8378 8377 0 -1 0 77101 0 0 0 35811 188 0 0 25 0 1 0 750109092 188379136 40673 4294967295 134512640 135726644 3221224592 3221223008 134737962 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 45991 40673 300 300 0 45691 0
vsize: 183964
[startup+370.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 21747
Raw data (stat): 21747 (pb2sat) R 21746 8378 8377 0 -1 0 78175 0 0 0 36808 191 0 0 25 0 1 0 750109092 188641280 40709 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 46055 40709 300 300 0 45755 0
vsize: 184220
[startup+380.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 21747
Raw data (stat): 21747 (pb2sat) R 21746 8378 8377 0 -1 0 78311 0 0 0 37807 192 0 0 25 0 1 0 750109092 188903424 40779 4294967295 134512640 135726644 3221224592 3221223008 134737989 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 46119 40779 300 300 0 45819 0
vsize: 184476
[startup+390.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 21747
Raw data (stat): 21747 (pb2sat) R 21746 8378 8377 0 -1 0 79302 0 0 0 38804 195 0 0 25 0 1 0 750109092 188903424 40798 4294967295 134512640 135726644 3221224592 3221222912 134728934 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 46119 40798 300 300 0 45819 0
vsize: 184476
[startup+400.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 21747
Raw data (stat): 21747 (pb2sat) R 21746 8378 8377 0 -1 0 80341 0 0 0 39802 198 0 0 25 0 1 0 750109092 193150976 41804 4294967295 134512640 135726644 3221224592 3221222728 134761841 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 47156 41804 300 300 0 46856 0
vsize: 188624
[startup+410.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 21747
Raw data (stat): 21747 (pb2sat) R 21746 8378 8377 0 -1 0 80346 0 0 0 40801 199 0 0 25 0 1 0 750109092 189169664 40837 4294967295 134512640 135726644 3221224592 3221223216 134744532 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 46184 40837 300 300 0 45884 0
vsize: 184736
[startup+420.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 21747
Raw data (stat): 21747 (pb2sat) R 21746 8378 8377 0 -1 0 81321 0 0 0 41798 202 0 0 25 0 1 0 750109092 189169664 40840 4294967295 134512640 135726644 3221224592 3221223088 134744220 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 46184 40840 300 300 0 45884 0
vsize: 184736
[startup+430.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 21747
Raw data (stat): 21747 (pb2sat) R 21746 8378 8377 0 -1 0 81324 0 0 0 42799 202 0 0 25 0 1 0 750109092 189169664 40843 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 46184 40843 300 300 0 45884 0
vsize: 184736
[startup+440.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 21747
Raw data (stat): 21747 (pb2sat) R 21746 8378 8377 0 -1 0 82436 0 0 0 43795 205 0 0 25 0 1 0 750109092 189698048 40917 4294967295 134512640 135726644 3221224592 3221223248 134731185 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 46313 40917 300 300 0 46013 0
vsize: 185252
[startup+450.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 21747
Raw data (stat): 21747 (pb2sat) R 21746 8378 8377 0 -1 0 82472 0 0 0 44795 206 0 0 25 0 1 0 750109092 189698048 40953 4294967295 134512640 135726644 3221224592 3221223104 134742276 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 46313 40953 300 300 0 46013 0
vsize: 185252
[startup+460.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 21747
Raw data (stat): 21747 (pb2sat) R 21746 8378 8377 0 -1 0 83506 0 0 0 45792 209 0 0 25 0 1 0 750109092 189829120 40982 4294967295 134512640 135726644 3221224592 3221223184 134760424 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 46345 40982 300 300 0 46045 0
vsize: 185380
[startup+470.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 21747
Raw data (stat): 21747 (pb2sat) R 21746 8378 8377 0 -1 0 84505 0 0 0 46790 211 0 0 25 0 1 0 750109092 189829120 41009 4294967295 134512640 135726644 3221224592 3221222912 134728892 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 46345 41009 300 300 0 46045 0
vsize: 185380
[startup+480.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 21747
Raw data (stat): 21747 (pb2sat) R 21746 8378 8377 0 -1 0 84735 0 0 0 47789 212 0 0 25 0 1 0 750109092 190889984 41173 4294967295 134512640 135726644 3221224592 3221222912 134728934 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 46604 41173 300 300 0 46304 0
vsize: 186416
[startup+490.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 21747
Raw data (stat): 21747 (pb2sat) R 21746 8378 8377 0 -1 0 84746 0 0 0 48789 213 0 0 25 0 1 0 750109092 190889984 41184 4294967295 134512640 135726644 3221224592 3221223248 134731248 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 46604 41184 300 300 0 46304 0
vsize: 186416
[startup+500.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 21747
Raw data (stat): 21747 (pb2sat) R 21746 8378 8377 0 -1 0 84985 0 0 0 49788 213 0 0 25 0 1 0 750109092 191545344 41258 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 46764 41258 300 300 0 46464 0
vsize: 187056
[startup+510.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 21747
Raw data (stat): 21747 (pb2sat) R 21746 8378 8377 0 -1 0 85964 0 0 0 50786 216 0 0 25 0 1 0 750109092 191545344 41265 4294967295 134512640 135726644 3221224592 3221222912 134728934 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 46764 41265 300 300 0 46464 0
vsize: 187056
[startup+520.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 21747
Raw data (stat): 21747 (pb2sat) R 21746 8378 8377 0 -1 0 85966 0 0 0 51785 216 0 0 25 0 1 0 750109092 191545344 41267 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 46764 41267 300 300 0 46464 0
vsize: 187056
[startup+530.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 21747
Raw data (stat): 21747 (pb2sat) R 21746 8378 8377 0 -1 0 86979 0 0 0 52783 219 0 0 25 0 1 0 750109092 191676416 41275 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 46796 41275 300 300 0 46496 0
vsize: 187184
[startup+540.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 21747
Raw data (stat): 21747 (pb2sat) R 21746 8378 8377 0 -1 0 87954 0 0 0 53781 221 0 0 25 0 1 0 750109092 195657728 42250 4294967295 134512640 135726644 3221224592 3221222728 134761841 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 47768 42250 300 300 0 47468 0
vsize: 191072
[startup+550.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 21747
Raw data (stat): 21747 (pb2sat) R 21746 8378 8377 0 -1 0 87995 0 0 0 54780 222 0 0 25 0 1 0 750109092 191942656 41319 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 46861 41319 300 300 0 46561 0
vsize: 187444
[startup+560.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 21747
Raw data (stat): 21747 (pb2sat) R 21746 8378 8377 0 -1 0 88983 0 0 0 55777 225 0 0 25 0 1 0 750109092 191942656 41335 4294967295 134512640 135726644 3221224592 3221223088 134744142 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 46861 41335 300 300 0 46561 0
vsize: 187444
[startup+570.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 21747
Raw data (stat): 21747 (pb2sat) R 21746 8378 8377 0 -1 0 89029 0 0 0 56777 226 0 0 25 0 1 0 750109092 192208896 41381 4294967295 134512640 135726644 3221224592 3221223248 134731240 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 46926 41381 300 300 0 46626 0
vsize: 187704
[startup+580.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 21747
Raw data (stat): 21747 (pb2sat) R 21746 8378 8377 0 -1 0 90017 0 0 0 57774 228 0 0 25 0 1 0 750109092 192208896 41397 4294967295 134512640 135726644 3221224592 3221223200 134744634 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 46926 41397 300 300 0 46626 0
vsize: 187704
[startup+590.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 21747
Raw data (stat): 21747 (pb2sat) R 21746 8378 8377 0 -1 0 90068 0 0 0 58773 229 0 0 25 0 1 0 750109092 192475136 41448 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 46991 41448 300 300 0 46691 0
vsize: 187964
[startup+600.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 21747
Raw data (stat): 21747 (pb2sat) R 21746 8378 8377 0 -1 0 91096 0 0 0 59771 232 0 0 25 0 1 0 750109092 192606208 41471 4294967295 134512640 135726644 3221224592 3221223088 134743901 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 47023 41471 300 300 0 46723 0
vsize: 188092
[startup+610.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 21747
Raw data (stat): 21747 (pb2sat) R 21746 8378 8377 0 -1 0 91111 0 0 0 60771 233 0 0 25 0 1 0 750109092 192606208 41486 4294967295 134512640 135726644 3221224592 3221222912 134728934 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 47023 41486 300 300 0 46723 0
vsize: 188092
[startup+620.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 21747
Raw data (stat): 21747 (pb2sat) R 21746 8378 8377 0 -1 0 92085 0 0 0 61768 235 0 0 25 0 1 0 750109092 192606208 41488 4294967295 134512640 135726644 3221224592 3221223088 134744048 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 47023 41488 300 300 0 46723 0
vsize: 188092
[startup+630.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 21747
Raw data (stat): 21747 (pb2sat) R 21746 8378 8377 0 -1 0 92133 0 0 0 62768 236 0 0 25 0 1 0 750109092 192737280 41503 4294967295 134512640 135726644 3221224592 3221223088 134744142 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 47055 41503 300 300 0 46755 0
vsize: 188220
[startup+640.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 21747
Raw data (stat): 21747 (pb2sat) R 21746 8378 8377 0 -1 0 92159 0 0 0 63768 236 0 0 25 0 1 0 750109092 192737280 41529 4294967295 134512640 135726644 3221224592 3221223184 134759980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 47055 41529 300 300 0 46755 0
vsize: 188220
[startup+650.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 21747
Raw data (stat): 21747 (pb2sat) R 21746 8378 8377 0 -1 0 93136 0 0 0 64765 239 0 0 25 0 1 0 750109092 192737280 41534 4294967295 134512640 135726644 3221224592 3221223104 134742942 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 47055 41534 300 300 0 46755 0
vsize: 188220
[startup+660.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 21747
Raw data (stat): 21747 (pb2sat) R 21746 8378 8377 0 -1 0 94113 0 0 0 65762 242 0 0 25 0 1 0 750109092 192737280 41539 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 47055 41539 300 300 0 46755 0
vsize: 188220
[startup+670.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 21747
Raw data (stat): 21747 (pb2sat) R 21746 8378 8377 0 -1 0 94125 0 0 0 66762 242 0 0 25 0 1 0 750109092 192737280 41551 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 47055 41551 300 300 0 46755 0
vsize: 188220
[startup+680.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 21747
Raw data (stat): 21747 (pb2sat) R 21746 8378 8377 0 -1 0 95105 0 0 0 67759 245 0 0 25 0 1 0 750109092 192737280 41559 4294967295 134512640 135726644 3221224592 3221223088 134743901 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 47055 41559 300 300 0 46755 0
vsize: 188220
[startup+690.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 21747
Raw data (stat): 21747 (pb2sat) R 21746 8378 8377 0 -1 0 96084 0 0 0 68757 248 0 0 25 0 1 0 750109092 192737280 41566 4294967295 134512640 135726644 3221224592 3221222912 134728934 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 47055 41566 300 300 0 46755 0
vsize: 188220
[startup+700.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 21747
Raw data (stat): 21747 (pb2sat) R 21746 8378 8377 0 -1 0 97060 0 0 0 69754 250 0 0 25 0 1 0 750109092 192737280 41570 4294967295 134512640 135726644 3221224592 3221223248 134731175 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 47055 41570 300 300 0 46755 0
vsize: 188220
[startup+710.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 21747
Raw data (stat): 21747 (pb2sat) R 21746 8378 8377 0 -1 0 98037 0 0 0 70752 253 0 0 25 0 1 0 750109092 192737280 41575 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 47055 41575 300 300 0 46755 0
vsize: 188220
[startup+720.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 21747
Raw data (stat): 21747 (pb2sat) R 21746 8378 8377 0 -1 0 98047 0 0 0 71752 253 0 0 25 0 1 0 750109092 192737280 41585 4294967295 134512640 135726644 3221224592 3221223104 134742278 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 47055 41585 300 300 0 46755 0
vsize: 188220
[startup+730.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 21747
Raw data (stat): 21747 (pb2sat) R 21746 8378 8377 0 -1 0 99031 0 0 0 72749 256 0 0 25 0 1 0 750109092 192737280 41597 4294967295 134512640 135726644 3221224592 3221223088 134744014 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 47055 41597 300 300 0 46755 0
vsize: 188220
[startup+740.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 21747
Raw data (stat): 21747 (pb2sat) R 21746 8378 8377 0 -1 0 100014 0 0 0 73746 259 0 0 25 0 1 0 750109092 192737280 41608 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 47055 41608 300 300 0 46755 0
vsize: 188220
[startup+750.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 21747
Raw data (stat): 21747 (pb2sat) R 21746 8378 8377 0 -1 0 100031 0 0 0 74747 259 0 0 25 0 1 0 750109092 192737280 41625 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 47055 41625 300 300 0 46755 0
vsize: 188220
[startup+760.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 21747
Raw data (stat): 21747 (pb2sat) R 21746 8378 8377 0 -1 0 101051 0 0 0 75744 262 0 0 25 0 1 0 750109092 192868352 41640 4294967295 134512640 135726644 3221224592 3221223088 134743975 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 47087 41640 300 300 0 46787 0
vsize: 188348
[startup+770.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 21747
Raw data (stat): 21747 (pb2sat) R 21746 8378 8377 0 -1 0 101148 0 0 0 76743 262 0 0 25 0 1 0 750109092 193130496 41671 4294967295 134512640 135726644 3221224592 3221223248 134731185 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 47151 41671 300 300 0 46851 0
vsize: 188604
[startup+780.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 21747
Raw data (stat): 21747 (pb2sat) R 21746 8378 8377 0 -1 0 102130 0 0 0 77741 265 0 0 25 0 1 0 750109092 193130496 41681 4294967295 134512640 135726644 3221224592 3221223184 134760424 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 47151 41681 300 300 0 46851 0
vsize: 188604
[startup+790.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 21747
Raw data (stat): 21747 (pb2sat) R 21746 8378 8377 0 -1 0 103115 0 0 0 78738 268 0 0 25 0 1 0 750109092 193130496 41694 4294967295 134512640 135726644 3221224592 3221223280 134744861 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 47151 41694 300 300 0 46851 0
vsize: 188604
[startup+800.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 21747
Raw data (stat): 21747 (pb2sat) R 21746 8378 8377 0 -1 0 103133 0 0 0 79738 268 0 0 25 0 1 0 750109092 193130496 41712 4294967295 134512640 135726644 3221224592 3221223248 134731263 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 47151 41712 300 300 0 46851 0
vsize: 188604
[startup+810.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 21747
Raw data (stat): 21747 (pb2sat) R 21746 8378 8377 0 -1 0 104126 0 0 0 80736 271 0 0 25 0 1 0 750109092 193130496 41733 4294967295 134512640 135726644 3221224592 3221223248 134731248 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 47151 41733 300 300 0 46851 0
vsize: 188604
[startup+820.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 21747
Raw data (stat): 21747 (pb2sat) R 21746 8378 8377 0 -1 0 104150 0 0 0 81735 272 0 0 25 0 1 0 750109092 193130496 41757 4294967295 134512640 135726644 3221224592 3221223248 134731185 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 47151 41757 300 300 0 46851 0
vsize: 188604
[startup+830.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 21747
Raw data (stat): 21747 (pb2sat) R 21746 8378 8377 0 -1 0 105135 0 0 0 82732 275 0 0 25 0 1 0 750109092 193130496 41770 4294967295 134512640 135726644 3221224592 3221223280 134744861 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 47151 41770 300 300 0 46851 0
vsize: 188604
[startup+840.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 21747
Raw data (stat): 21747 (pb2sat) R 21746 8378 8377 0 -1 0 106112 0 0 0 83729 278 0 0 25 0 1 0 750109092 193130496 41775 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 47151 41775 300 300 0 46851 0
vsize: 188604
[startup+850.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 21747
Raw data (stat): 21747 (pb2sat) R 21746 8378 8377 0 -1 0 106127 0 0 0 84729 278 0 0 25 0 1 0 750109092 193130496 41790 4294967295 134512640 135726644 3221224592 3221223008 134737974 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 47151 41790 300 300 0 46851 0
vsize: 188604
[startup+860.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 21747
Raw data (stat): 21747 (pb2sat) R 21746 8378 8377 0 -1 0 107150 0 0 0 85727 280 0 0 25 0 1 0 750109092 193261568 41808 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 47183 41808 300 300 0 46883 0
vsize: 188732
[startup+870.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 21747
Raw data (stat): 21747 (pb2sat) R 21746 8378 8377 0 -1 0 107163 0 0 0 86727 281 0 0 25 0 1 0 750109092 193261568 41821 4294967295 134512640 135726644 3221224592 3221223104 134742493 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 47183 41821 300 300 0 46883 0
vsize: 188732
[startup+880.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 21747
Raw data (stat): 21747 (pb2sat) R 21746 8378 8377 0 -1 0 108185 0 0 0 87724 284 0 0 25 0 1 0 750109092 193527808 41871 4294967295 134512640 135726644 3221224592 3221223248 134731175 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 47248 41871 300 300 0 46948 0
vsize: 188992
[startup+890.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 21747
Raw data (stat): 21747 (pb2sat) R 21746 8378 8377 0 -1 0 109215 0 0 0 88721 287 0 0 25 0 1 0 750109092 193523712 41863 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 47247 41863 300 300 0 46947 0
vsize: 188988
[startup+900.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 21747
Raw data (stat): 21747 (pb2sat) R 21746 8378 8377 0 -1 0 109228 0 0 0 89721 288 0 0 25 0 1 0 750109092 193523712 41876 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 47247 41876 300 300 0 46947 0
vsize: 188988
[startup+910.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 21747
Raw data (stat): 21747 (pb2sat) R 21746 8378 8377 0 -1 0 110219 0 0 0 90718 291 0 0 25 0 1 0 750109092 193523712 41895 4294967295 134512640 135726644 3221224592 3221223088 134743901 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 47247 41895 300 300 0 46947 0
vsize: 188988
[startup+920.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 21747
Raw data (stat): 21747 (pb2sat) R 21746 8378 8377 0 -1 0 110239 0 0 0 91718 291 0 0 25 0 1 0 750109092 193523712 41915 4294967295 134512640 135726644 3221224592 3221223088 134744126 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 47247 41915 300 300 0 46947 0
vsize: 188988
[startup+930.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 21747
Raw data (stat): 21747 (pb2sat) R 21746 8378 8377 0 -1 0 111252 0 0 0 92716 294 0 0 25 0 1 0 750109092 193654784 41923 4294967295 134512640 135726644 3221224592 3221223088 134744220 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 47279 41923 300 300 0 46979 0
vsize: 189116
[startup+940.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 21747
Raw data (stat): 21747 (pb2sat) R 21746 8378 8377 0 -1 0 111257 0 0 0 93715 294 0 0 25 0 1 0 750109092 193654784 41928 4294967295 134512640 135726644 3221224592 3221223248 134731172 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 47279 41928 300 300 0 46979 0
vsize: 189116
[startup+950.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 21747
Raw data (stat): 21747 (pb2sat) R 21746 8378 8377 0 -1 0 112238 0 0 0 94713 297 0 0 25 0 1 0 750109092 193654784 41937 4294967295 134512640 135726644 3221224592 3221223088 134743901 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 47279 41937 300 300 0 46979 0
vsize: 189116
[startup+960.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 21747
Raw data (stat): 21747 (pb2sat) R 21746 8378 8377 0 -1 0 112254 0 0 0 95713 297 0 0 25 0 1 0 750109092 193654784 41953 4294967295 134512640 135726644 3221224592 3221223088 134743987 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 47279 41953 300 300 0 46979 0
vsize: 189116
[startup+970.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 21747
Raw data (stat): 21747 (pb2sat) R 21746 8378 8377 0 -1 0 112267 0 0 0 96712 298 0 0 25 0 1 0 750109092 193654784 41966 4294967295 134512640 135726644 3221224592 3221223104 134742265 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 47279 41966 300 300 0 46979 0
vsize: 189116
[startup+980.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 21747
Raw data (stat): 21747 (pb2sat) R 21746 8378 8377 0 -1 0 113254 0 0 0 97709 301 0 0 25 0 1 0 750109092 193654784 41981 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 47279 41981 300 300 0 46979 0
vsize: 189116
[startup+990.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 21747
Raw data (stat): 21747 (pb2sat) R 21746 8378 8377 0 -1 0 113263 0 0 0 98709 302 0 0 25 0 1 0 750109092 193654784 41990 4294967295 134512640 135726644 3221224592 3221223088 134743875 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 47279 41990 300 300 0 46979 0
vsize: 189116
[startup+1000.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 21747
Raw data (stat): 21747 (pb2sat) R 21746 8378 8377 0 -1 0 114284 0 0 0 99706 305 0 0 25 0 1 0 750109092 193785856 42006 4294967295 134512640 135726644 3221224592 3221223248 134731248 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 47311 42006 300 300 0 47011 0
vsize: 189244
[startup+1010.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 21747
Raw data (stat): 21747 (pb2sat) R 21746 8378 8377 0 -1 0 115268 0 0 0 100704 307 0 0 25 0 1 0 750109092 193785856 42018 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 47311 42018 300 300 0 47011 0
vsize: 189244
[startup+1020.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 21747
Raw data (stat): 21747 (pb2sat) R 21746 8378 8377 0 -1 0 116251 0 0 0 101701 310 0 0 25 0 1 0 750109092 193785856 42029 4294967295 134512640 135726644 3221224592 3221223280 134744861 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 47311 42029 300 300 0 47011 0
vsize: 189244
[startup+1030.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 21747
Raw data (stat): 21747 (pb2sat) R 21746 8378 8377 0 -1 0 117227 0 0 0 102699 313 0 0 25 0 1 0 750109092 193785856 42033 4294967295 134512640 135726644 3221224592 3221222912 134728892 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 47311 42033 300 300 0 47011 0
vsize: 189244
[startup+1040.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 21747
Raw data (stat): 21747 (pb2sat) R 21746 8378 8377 0 -1 0 117235 0 0 0 103698 313 0 0 25 0 1 0 750109092 193785856 42041 4294967295 134512640 135726644 3221224592 3221223088 134743901 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 47311 42041 300 300 0 47011 0
vsize: 189244
[startup+1050.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 21747
Raw data (stat): 21747 (pb2sat) R 21746 8378 8377 0 -1 0 118210 0 0 0 104696 316 0 0 25 0 1 0 750109092 193785856 42044 4294967295 134512640 135726644 3221224592 3221223088 134743901 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 47311 42044 300 300 0 47011 0
vsize: 189244
[startup+1060.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 21747
Raw data (stat): 21747 (pb2sat) R 21746 8378 8377 0 -1 0 119186 0 0 0 105692 319 0 0 25 0 1 0 750109092 193785856 42048 4294967295 134512640 135726644 3221224592 3221223248 134731248 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 47311 42048 300 300 0 47011 0
vsize: 189244
[startup+1070.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 21747
Raw data (stat): 21747 (pb2sat) R 21746 8378 8377 0 -1 0 120161 0 0 0 106690 322 0 0 25 0 1 0 750109092 193785856 42051 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 47311 42051 300 300 0 47011 0
vsize: 189244
[startup+1080.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 21747
Raw data (stat): 21747 (pb2sat) R 21746 8378 8377 0 -1 0 121136 0 0 0 107688 324 0 0 25 0 1 0 750109092 193785856 42054 4294967295 134512640 135726644 3221224592 3221223248 134731263 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 47311 42054 300 300 0 47011 0
vsize: 189244
[startup+1090.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 21747
Raw data (stat): 21747 (pb2sat) R 21746 8378 8377 0 -1 0 122113 0 0 0 108685 328 0 0 25 0 1 0 750109092 193785856 42059 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 47311 42059 300 300 0 47011 0
vsize: 189244
[startup+1100.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 21747
Raw data (stat): 21747 (pb2sat) R 21746 8378 8377 0 -1 0 123089 0 0 0 109682 330 0 0 25 0 1 0 750109092 197767168 43035 4294967295 134512640 135726644 3221224592 3221222744 134761833 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 48283 43035 300 300 0 47983 0
vsize: 193132
[startup+1110.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 21747
Raw data (stat): 21747 (pb2sat) R 21746 8378 8377 0 -1 0 123093 0 0 0 110681 331 0 0 25 0 1 0 750109092 193785856 42067 4294967295 134512640 135726644 3221224592 3221223008 134738004 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 47311 42067 300 300 0 47011 0
vsize: 189244
[startup+1120.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 21747
Raw data (stat): 21747 (pb2sat) R 21746 8378 8377 0 -1 0 124069 0 0 0 111679 334 0 0 25 0 1 0 750109092 193785856 42071 4294967295 134512640 135726644 3221224592 3221223104 134742276 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 47311 42071 300 300 0 47011 0
vsize: 189244
[startup+1130.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 21747
Raw data (stat): 21747 (pb2sat) R 21746 8378 8377 0 -1 0 125045 0 0 0 112676 337 0 0 25 0 1 0 750109092 193785856 42075 4294967295 134512640 135726644 3221224592 3221223248 134731175 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 47311 42075 300 300 0 47011 0
vsize: 189244
[startup+1140.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 21747
Raw data (stat): 21747 (pb2sat) R 21746 8378 8377 0 -1 0 126020 0 0 0 113673 340 0 0 25 0 1 0 750109092 193785856 42078 4294967295 134512640 135726644 3221224592 3221223088 134743975 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 47311 42078 300 300 0 47011 0
vsize: 189244
[startup+1150.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 21747
Raw data (stat): 21747 (pb2sat) R 21746 8378 8377 0 -1 0 126995 0 0 0 114671 342 0 0 25 0 1 0 750109092 193785856 42081 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 47311 42081 300 300 0 47011 0
vsize: 189244
[startup+1160.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 21747
Raw data (stat): 21747 (pb2sat) R 21746 8378 8377 0 -1 0 127978 0 0 0 115668 345 0 0 25 0 1 0 750109092 193785856 42092 4294967295 134512640 135726644 3221224592 3221222928 134735629 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 47311 42092 300 300 0 47011 0
vsize: 189244
[startup+1170.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 21747
Raw data (stat): 21747 (pb2sat) R 21746 8378 8377 0 -1 0 128968 0 0 0 116666 348 0 0 25 0 1 0 750109092 193785856 42110 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 47311 42110 300 300 0 47011 0
vsize: 189244
[startup+1180.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 21747
Raw data (stat): 21747 (pb2sat) R 21746 8378 8377 0 -1 0 129955 0 0 0 117663 351 0 0 25 0 1 0 750109092 193785856 42125 4294967295 134512640 135726644 3221224592 3221223248 134731175 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 47311 42125 300 300 0 47011 0
vsize: 189244
[startup+1190.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 21747
Raw data (stat): 21747 (pb2sat) R 21746 8378 8377 0 -1 0 130938 0 0 0 118660 354 0 0 25 0 1 0 750109092 193785856 42136 4294967295 134512640 135726644 3221224592 3221223088 134743961 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 47311 42136 300 300 0 47011 0
vsize: 189244
[startup+1200.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 21747
Raw data (stat): 21747 (pb2sat) R 21746 8378 8377 0 -1 0 131919 0 0 0 119657 357 0 0 25 0 1 0 750109092 193785856 42145 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 47311 42145 300 300 0 47011 0
vsize: 189244
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1201.43 s]
Raw data (loadavg): 0.99 0.97 0.91 1/55 21747
Raw data (stat): 21747 (pb2sat) Z 21746 8378 8377 0 -1 12 131920 0 0 0 119788 366 0 0 25 0 1 0 750109092 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): 1201.43
CPU time (s): 1201.56
CPU user time (s): 1197.89
CPU system time (s): 3.66544
CPU usage (%): 100.011
Max. virtual memory (Kb): 193132
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####