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:
  1. 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.
  2. SOLVER DATA
    This is the output of the solver (stdout and stderr).
  3. 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.
  4. 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

Namenormalized-opb/submitted/manquinho/logic-synthesis/normalized-max1024.pi.opb
MD5SUM6604a6c0d979e1f2b09762e6e4f70f84
Bench Categoryoptimization, small integers (OPTSMALLINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 259
Optimality of the best value was proved NO
Number of terms in the objective function 1278
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 1278
Number of bits of the sum of numbers in the objective function 11
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 1278
Number of bits of the biggest sum of numbers11
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1.04584
Number of variables1278
Total number of constraints1087
Number of constraints which are clauses1087
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint18

Trace number 34760 

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc6 THE 2005-05-28 10:14:48 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=23984 boxname=wulflinc6 idbench=58 idsolver=17 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  6604a6c0d979e1f2b09762e6e4f70f84  /oldhome/oroussel/tmp/wulflinc6/normalized-max1024.pi.opb
REAL COMMAND:  pb2sat /oldhome/oroussel/tmp/wulflinc6/normalized-max1024.pi.opb
IDLAUNCH: 23984
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.042
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.042
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:        176576 kB
Buffers:         38812 kB
Cached:         794520 kB
SwapCached:        484 kB
Active:          51632 kB
Inactive:       784124 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        176324 kB
SwapTotal:     2097136 kB
SwapFree:      2095980 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5708 kB
Slab:            16608 kB
Committed_AS:    63736 kB
PageTables:        320 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-28 10:34:51 (client local time) WITH STATUS 0 IN 1202.82 SECONDS
stats: 23984 7 1202.82 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...

Decision: 569805/819851	Time: 250.093/86400
Decision: 569805/819851	Time: 284.618/86400
Decision: 569805/819851	Time: 330.806/86400
Decision: 569805/819851	Time: 365.266/86400
Decision: 569805/819851	Time: 385.655/86400
Decision: 569805/819851	Time: 406.792/86400
Decision: 570839/819851	Time: 469.221/86400
Decision: 570839/819851	Time: 515.87/86400
Decision: 570839/819851	Time: 565.131/86400
Decision: 570839/819851	Time: 602.081/86400
Decision: 570839/819851	Time: 627.623/86400
Decision: 570839/819851	Time: 653.027/86400
Decision: 570839/819851	Time: 686.311/86400
Decision: 570839/819851	Time: 729.831/86400
Decision: 570839/819851	Time: 754.619/86400
Decision: 570839/819851	Time: 781.558/86400
Decision: 570839/819851	Time: 813.879/86400
Decision: 570839/819851	Time: 845.598/86400
Decision: 570839/819851	Time: 881.491/86400
Decision: 570839/819851	Time: 912.129/86400
Decision: 570839/819851	Time: 948.56/86400
Decision: 570839/819851	Time: 979.31/86400
Decision: 570839/819851	Time: 1013.95/86400
Decision: 570839/819851	Time: 1047.06/86400
Decision: 570839/819851	Time: 1075.79/86400
Decision: 570839/819851	Time: 1105.61/86400
Decision: 570839/819851	Time: 1140.28/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.90 0.54 0.22 1/54 1953
Raw data (stat): 1953 (runsolver) R 1952 25568 25567 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 805779940 884736 94 4294967295 134512640 135332820 3221224480 3221219660 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.001 s]
Raw data (loadavg): 0.91 0.55 0.22 2/54 1953
Raw data (stat): 1953 (pb2sat) R 1952 25568 25567 0 -1 0 29823 0 0 0 937 62 0 0 25 0 1 0 805779940 89550848 18912 4294967295 134512640 135726644 3221224592 3220860400 135287555 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 21863 18914 300 300 0 21563 0
vsize: 87452
[startup+20.0014 s]
Raw data (loadavg): 0.92 0.57 0.23 2/54 1953
Raw data (stat): 1953 (pb2sat) R 1952 25568 25567 0 -1 0 58408 0 0 0 1878 121 0 0 25 0 1 0 805779940 175542272 36540 4294967295 134512640 135726644 3221224592 3221130168 134784091 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42857 36540 300 300 0 42557 0
vsize: 171428
[startup+30.0026 s]
Raw data (loadavg): 0.94 0.58 0.24 2/54 1953
Raw data (stat): 1953 (pb2sat) R 1952 25568 25567 0 -1 0 98132 0 0 0 2791 202 0 0 25 0 1 0 805779940 331575296 54591 4294967295 134512640 135726644 3221224592 3221185216 134780358 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 80951 54591 300 300 0 80651 0
vsize: 323804
[startup+40.0025 s]
Raw data (loadavg): 0.95 0.59 0.25 2/54 1953
Raw data (stat): 1953 (pb2sat) R 1952 25568 25567 0 -1 0 116381 0 0 0 3752 239 0 0 25 0 1 0 805779940 357269504 72626 4294967295 134512640 135726644 3221224592 3221222928 134765566 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 87224 72626 300 300 0 86924 0
vsize: 348896
[startup+50.004 s]
Raw data (loadavg): 0.95 0.61 0.25 2/54 1953
Raw data (stat): 1953 (pb2sat) R 1952 25568 25567 0 -1 0 120767 0 0 0 4742 249 0 0 25 0 1 0 805779940 366596096 74413 4294967295 134512640 135726644 3221224592 3221223088 134744039 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 89501 74413 300 300 0 89201 0
vsize: 358004
[startup+60.005 s]
Raw data (loadavg): 0.96 0.62 0.26 2/54 1953
Raw data (stat): 1953 (pb2sat) R 1952 25568 25567 0 -1 0 120768 0 0 0 5741 249 0 0 25 0 1 0 805779940 366596096 74414 4294967295 134512640 135726644 3221224592 3221222912 134728934 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 89501 74414 300 300 0 89201 0
vsize: 358004
[startup+70.0058 s]
Raw data (loadavg): 0.97 0.63 0.27 2/54 1953
Raw data (stat): 1953 (pb2sat) R 1952 25568 25567 0 -1 0 120770 0 0 0 6741 250 0 0 25 0 1 0 805779940 366596096 74416 4294967295 134512640 135726644 3221224592 3221223088 134744028 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 89501 74416 300 300 0 89201 0
vsize: 358004
[startup+80.0063 s]
Raw data (loadavg): 0.97 0.64 0.28 2/54 1953
Raw data (stat): 1953 (pb2sat) R 1952 25568 25567 0 -1 0 121044 0 0 0 7740 251 0 0 25 0 1 0 805779940 367394816 74592 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 89696 74592 300 300 0 89396 0
vsize: 358784
[startup+90.0064 s]
Raw data (loadavg): 0.97 0.65 0.28 2/54 1953
Raw data (stat): 1953 (pb2sat) R 1952 25568 25567 0 -1 0 122023 0 0 0 8738 253 0 0 25 0 1 0 805779940 370671616 75159 4294967295 134512640 135726644 3221224592 3221223088 134744169 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 90496 75159 300 300 0 90196 0
vsize: 361984
[startup+100.006 s]
Raw data (loadavg): 0.98 0.66 0.29 2/54 1953
Raw data (stat): 1953 (pb2sat) R 1952 25568 25567 0 -1 0 125231 0 0 0 9732 259 0 0 25 0 1 0 805779940 379121664 76777 4294967295 134512640 135726644 3221224592 3221223248 134731175 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 92559 76777 300 300 0 92259 0
vsize: 370236
[startup+110.007 s]
Raw data (loadavg): 0.98 0.67 0.30 2/54 1953
Raw data (stat): 1953 (pb2sat) R 1952 25568 25567 0 -1 0 126472 0 0 0 10730 262 0 0 25 0 1 0 805779940 382738432 77464 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 93442 77464 300 300 0 93142 0
vsize: 373768
[startup+120.008 s]
Raw data (loadavg): 0.98 0.68 0.31 2/54 1953
Raw data (stat): 1953 (pb2sat) R 1952 25568 25567 0 -1 0 128710 0 0 0 11725 266 0 0 25 0 1 0 805779940 389070848 78680 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 94988 78680 300 300 0 94688 0
vsize: 379952
[startup+130.009 s]
Raw data (loadavg): 0.99 0.69 0.31 2/54 1953
Raw data (stat): 1953 (pb2sat) R 1952 25568 25567 0 -1 0 129280 0 0 0 12724 268 0 0 25 0 1 0 805779940 392151040 79250 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 95740 79250 300 300 0 95440 0
vsize: 382960
[startup+140.009 s]
Raw data (loadavg): 0.99 0.70 0.32 2/54 1953
Raw data (stat): 1953 (pb2sat) R 1952 25568 25567 0 -1 0 130690 0 0 0 13721 271 0 0 25 0 1 0 805779940 396857344 79979 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 96889 79979 300 300 0 96589 0
vsize: 387556
[startup+150.011 s]
Raw data (loadavg): 0.99 0.71 0.33 2/54 1953
Raw data (stat): 1953 (pb2sat) R 1952 25568 25567 0 -1 0 131107 0 0 0 14720 272 0 0 25 0 1 0 805779940 398045184 80169 4294967295 134512640 135726644 3221224592 3221223248 134731185 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 97179 80169 300 300 0 96879 0
vsize: 388716
[startup+160.011 s]
Raw data (loadavg): 0.99 0.72 0.33 2/54 1953
Raw data (stat): 1953 (pb2sat) R 1952 25568 25567 0 -1 0 131177 0 0 0 15720 273 0 0 25 0 1 0 805779940 398450688 80239 4294967295 134512640 135726644 3221224592 3221222912 134728875 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 97278 80239 300 300 0 96978 0
vsize: 389112
[startup+170.011 s]
Raw data (loadavg): 0.99 0.73 0.34 2/54 1953
Raw data (stat): 1953 (pb2sat) R 1952 25568 25567 0 -1 0 131617 0 0 0 16719 274 0 0 25 0 1 0 805779940 399908864 80452 4294967295 134512640 135726644 3221224592 3221223088 134743901 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 97634 80452 300 300 0 97334 0
vsize: 390536
[startup+180.012 s]
Raw data (loadavg): 0.99 0.74 0.35 2/54 1953
Raw data (stat): 1953 (pb2sat) R 1952 25568 25567 0 -1 0 131884 0 0 0 17718 275 0 0 25 0 1 0 805779940 400969728 80621 4294967295 134512640 135726644 3221224592 3221223088 134743901 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 97893 80621 300 300 0 97593 0
vsize: 391572
[startup+190.013 s]
Raw data (loadavg): 0.99 0.75 0.35 2/54 1953
Raw data (stat): 1953 (pb2sat) R 1952 25568 25567 0 -1 0 132932 0 0 0 18716 277 0 0 25 0 1 0 805779940 403726336 81046 4294967295 134512640 135726644 3221224592 3221223088 134744009 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 98566 81046 300 300 0 98266 0
vsize: 394264
[startup+200.013 s]
Raw data (loadavg): 0.99 0.75 0.36 2/54 1953
Raw data (stat): 1953 (pb2sat) R 1952 25568 25567 0 -1 0 133325 0 0 0 19716 278 0 0 25 0 1 0 805779940 404910080 81209 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 98855 81209 300 300 0 98555 0
vsize: 395420
[startup+210.014 s]
Raw data (loadavg): 0.99 0.76 0.37 2/54 1953
Raw data (stat): 1953 (pb2sat) R 1952 25568 25567 0 -1 0 133754 0 0 0 20715 280 0 0 25 0 1 0 805779940 405700608 81441 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 99048 81441 300 300 0 98748 0
vsize: 396192
[startup+220.014 s]
Raw data (loadavg): 0.99 0.77 0.37 2/54 1953
Raw data (stat): 1953 (pb2sat) R 1952 25568 25567 0 -1 0 134188 0 0 0 21714 281 0 0 25 0 1 0 805779940 406753280 81680 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 99305 81680 300 300 0 99005 0
vsize: 397220
[startup+230.015 s]
Raw data (loadavg): 0.99 0.78 0.38 2/54 1953
Raw data (stat): 1953 (pb2sat) R 1952 25568 25567 0 -1 0 135121 0 0 0 22713 283 0 0 25 0 1 0 805779940 409661440 82188 4294967295 134512640 135726644 3221224592 3221223248 134731175 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 100015 82188 300 300 0 99715 0
vsize: 400060
[startup+240.016 s]
Raw data (loadavg): 0.99 0.78 0.38 2/54 1953
Raw data (stat): 1953 (pb2sat) R 1952 25568 25567 0 -1 0 135310 0 0 0 23712 283 0 0 25 0 1 0 805779940 410456064 82311 4294967295 134512640 135726644 3221224592 3221222912 134728940 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 100209 82311 300 300 0 99909 0
vsize: 400836
[startup+250.015 s]
Raw data (loadavg): 0.99 0.79 0.39 2/54 1953
Raw data (stat): 1953 (pb2sat) R 1952 25568 25567 0 -1 0 135535 0 0 0 24712 284 0 0 25 0 1 0 805779940 411787264 82536 4294967295 134512640 135726644 3221224592 3221223088 134743864 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 100534 82536 300 300 0 100234 0
vsize: 402136
[startup+260.017 s]
Raw data (loadavg): 0.99 0.80 0.40 2/54 1953
Raw data (stat): 1953 (pb2sat) R 1952 25568 25567 0 -1 0 135654 0 0 0 25712 285 0 0 25 0 1 0 805779940 412188672 82622 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 100632 82622 300 300 0 100332 0
vsize: 402528
[startup+270.017 s]
Raw data (loadavg): 0.99 0.80 0.40 2/54 1953
Raw data (stat): 1953 (pb2sat) R 1952 25568 25567 0 -1 0 135902 0 0 0 26711 285 0 0 25 0 1 0 805779940 412983296 82771 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 100826 82771 300 300 0 100526 0
vsize: 403304
[startup+280.018 s]
Raw data (loadavg): 0.99 0.81 0.41 2/54 1953
Raw data (stat): 1953 (pb2sat) R 1952 25568 25567 0 -1 0 136242 0 0 0 27710 287 0 0 25 0 1 0 805779940 414035968 82916 4294967295 134512640 135726644 3221224592 3221223248 134731245 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 101083 82916 300 300 0 100783 0
vsize: 404332
[startup+290.019 s]
Raw data (loadavg): 0.99 0.81 0.41 2/54 1953
Raw data (stat): 1953 (pb2sat) R 1952 25568 25567 0 -1 0 137905 0 0 0 28706 291 0 0 25 0 1 0 805779940 414035968 82977 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 101083 82977 300 300 0 100783 0
vsize: 404332
[startup+300.019 s]
Raw data (loadavg): 0.99 0.82 0.42 2/54 1953
Raw data (stat): 1953 (pb2sat) R 1952 25568 25567 0 -1 0 138113 0 0 0 29705 292 0 0 25 0 1 0 805779940 414564352 83087 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 101212 83087 300 300 0 100912 0
vsize: 404848
[startup+310.019 s]
Raw data (loadavg): 0.99 0.83 0.43 2/54 1953
Raw data (stat): 1953 (pb2sat) R 1952 25568 25567 0 -1 0 138704 0 0 0 30704 294 0 0 25 0 1 0 805779940 416681984 83385 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 101729 83385 300 300 0 101429 0
vsize: 406916
[startup+320.024 s]
Raw data (loadavg): 0.99 0.83 0.43 2/54 1953
Raw data (stat): 1953 (pb2sat) R 1952 25568 25567 0 -1 0 138861 0 0 0 31704 295 0 0 25 0 1 0 805779940 417423360 83526 4294967295 134512640 135726644 3221224592 3221223248 134731185 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 101910 83526 300 300 0 101610 0
vsize: 407640
[startup+330.025 s]
Raw data (loadavg): 0.99 0.84 0.44 2/54 1953
Raw data (stat): 1953 (pb2sat) R 1952 25568 25567 0 -1 0 140600 0 0 0 32700 299 0 0 25 0 1 0 805779940 417882112 83598 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 102022 83598 300 300 0 101722 0
vsize: 408088
[startup+340.026 s]
Raw data (loadavg): 0.99 0.84 0.44 2/54 1953
Raw data (stat): 1953 (pb2sat) R 1952 25568 25567 0 -1 0 141061 0 0 0 33699 300 0 0 25 0 1 0 805779940 419196928 83766 4294967295 134512640 135726644 3221224592 3221223280 134744911 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 102343 83766 300 300 0 102043 0
vsize: 409372
[startup+350.026 s]
Raw data (loadavg): 0.99 0.85 0.45 2/54 1953
Raw data (stat): 1953 (pb2sat) R 1952 25568 25567 0 -1 0 141407 0 0 0 34698 302 0 0 25 0 1 0 805779940 420249600 83917 4294967295 134512640 135726644 3221224592 3221222912 134728934 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 102600 83917 300 300 0 102300 0
vsize: 410400
[startup+360.027 s]
Raw data (loadavg): 0.99 0.85 0.45 2/54 1953
Raw data (stat): 1953 (pb2sat) R 1952 25568 25567 0 -1 0 141424 0 0 0 35698 303 0 0 25 0 1 0 805779940 420249600 83934 4294967295 134512640 135726644 3221224592 3221223088 134743901 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 102600 83934 300 300 0 102300 0
vsize: 410400
[startup+370.027 s]
Raw data (loadavg): 0.99 0.85 0.46 2/54 1953
Raw data (stat): 1953 (pb2sat) R 1952 25568 25567 0 -1 0 143168 0 0 0 36694 307 0 0 25 0 1 0 805779940 420917248 84043 4294967295 134512640 135726644 3221224592 3221223216 134728892 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 102763 84043 300 300 0 102463 0
vsize: 411052
[startup+380.027 s]
Raw data (loadavg): 0.99 0.86 0.46 2/54 1953
Raw data (stat): 1953 (pb2sat) R 1952 25568 25567 0 -1 0 143170 0 0 0 37693 308 0 0 25 0 1 0 805779940 420917248 84045 4294967295 134512640 135726644 3221224592 3221223264 134745001 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 102763 84045 300 300 0 102463 0
vsize: 411052
[startup+390.028 s]
Raw data (loadavg): 0.99 0.86 0.47 2/54 1953
Raw data (stat): 1953 (pb2sat) R 1952 25568 25567 0 -1 0 143176 0 0 0 38693 308 0 0 25 0 1 0 805779940 420917248 84051 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 102763 84051 300 300 0 102463 0
vsize: 411052
[startup+400.029 s]
Raw data (loadavg): 0.99 0.87 0.47 2/54 1953
Raw data (stat): 1953 (pb2sat) R 1952 25568 25567 0 -1 0 143193 0 0 0 39693 308 0 0 25 0 1 0 805779940 421064704 84068 4294967295 134512640 135726644 3221224592 3221222912 134728892 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 102799 84068 300 300 0 102499 0
vsize: 411196
[startup+410.029 s]
Raw data (loadavg): 0.99 0.87 0.48 2/54 1953
Raw data (stat): 1953 (pb2sat) R 1952 25568 25567 0 -1 0 143195 0 0 0 40693 309 0 0 25 0 1 0 805779940 421064704 84070 4294967295 134512640 135726644 3221224592 3221223248 134731265 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 102799 84070 300 300 0 102499 0
vsize: 411196
[startup+420.029 s]
Raw data (loadavg): 0.99 0.87 0.48 2/54 1953
Raw data (stat): 1953 (pb2sat) R 1952 25568 25567 0 -1 0 143218 0 0 0 41693 309 0 0 25 0 1 0 805779940 421064704 84093 4294967295 134512640 135726644 3221224592 3221223280 134744911 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 102799 84093 300 300 0 102499 0
vsize: 411196
[startup+430.03 s]
Raw data (loadavg): 0.99 0.88 0.49 2/54 1953
Raw data (stat): 1953 (pb2sat) R 1952 25568 25567 0 -1 0 143257 0 0 0 42693 309 0 0 25 0 1 0 805779940 421199872 84132 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 102832 84132 300 300 0 102532 0
vsize: 411328
[startup+440.03 s]
Raw data (loadavg): 0.99 0.88 0.49 2/54 1953
Raw data (stat): 1953 (pb2sat) R 1952 25568 25567 0 -1 0 143273 0 0 0 43693 310 0 0 25 0 1 0 805779940 421199872 84148 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 102832 84148 300 300 0 102532 0
vsize: 411328
[startup+450.031 s]
Raw data (loadavg): 0.99 0.89 0.50 2/54 1953
Raw data (stat): 1953 (pb2sat) R 1952 25568 25567 0 -1 0 145394 0 0 0 44688 315 0 0 25 0 1 0 805779940 422780928 84406 4294967295 134512640 135726644 3221224592 3221223280 134744911 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 103218 84406 300 300 0 102918 0
vsize: 412872
[startup+460.032 s]
Raw data (loadavg): 0.99 0.89 0.50 2/54 1953
Raw data (stat): 1953 (pb2sat) R 1952 25568 25567 0 -1 0 145433 0 0 0 45688 316 0 0 25 0 1 0 805779940 422916096 84445 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 103251 84445 300 300 0 102951 0
vsize: 413004
[startup+470.034 s]
Raw data (loadavg): 0.99 0.89 0.51 3/54 1953
Raw data (stat): 1953 (pb2sat) R 1952 25568 25567 0 -1 0 145706 0 0 0 46687 317 0 0 25 0 1 0 805779940 423837696 84555 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 103476 84555 300 300 0 103176 0
vsize: 413904
[startup+480.034 s]
Raw data (loadavg): 0.99 0.89 0.51 2/54 1953
Raw data (stat): 1953 (pb2sat) R 1952 25568 25567 0 -1 0 145787 0 0 0 47686 318 0 0 25 0 1 0 805779940 424099840 84571 4294967295 134512640 135726644 3221224592 3221223088 134744004 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 103540 84571 300 300 0 103240 0
vsize: 414160
[startup+490.035 s]
Raw data (loadavg): 0.99 0.90 0.52 2/54 1953
Raw data (stat): 1953 (pb2sat) R 1952 25568 25567 0 -1 0 145790 0 0 0 48686 319 0 0 25 0 1 0 805779940 424099840 84574 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 103540 84574 300 300 0 103240 0
vsize: 414160
[startup+500.036 s]
Raw data (loadavg): 0.99 0.90 0.52 2/54 1953
Raw data (stat): 1953 (pb2sat) R 1952 25568 25567 0 -1 0 145793 0 0 0 49686 319 0 0 25 0 1 0 805779940 424099840 84577 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 103540 84577 300 300 0 103240 0
vsize: 414160
[startup+510.037 s]
Raw data (loadavg): 0.99 0.90 0.53 2/54 1953
Raw data (stat): 1953 (pb2sat) R 1952 25568 25567 0 -1 0 147401 0 0 0 50683 322 0 0 25 0 1 0 805779940 424099840 84583 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 103540 84583 300 300 0 103240 0
vsize: 414160
[startup+520.037 s]
Raw data (loadavg): 0.99 0.91 0.53 2/54 1953
Raw data (stat): 1953 (pb2sat) R 1952 25568 25567 0 -1 0 147408 0 0 0 51683 323 0 0 25 0 1 0 805779940 424099840 84590 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 103540 84590 300 300 0 103240 0
vsize: 414160
[startup+530.038 s]
Raw data (loadavg): 0.99 0.91 0.54 2/54 1953
Raw data (stat): 1953 (pb2sat) R 1952 25568 25567 0 -1 0 147424 0 0 0 52683 323 0 0 25 0 1 0 805779940 424263680 84606 4294967295 134512640 135726644 3221224592 3221223088 134743901 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 103580 84606 300 300 0 103280 0
vsize: 414320
[startup+540.039 s]
Raw data (loadavg): 0.99 0.91 0.54 2/54 1953
Raw data (stat): 1953 (pb2sat) R 1952 25568 25567 0 -1 0 147466 0 0 0 53682 324 0 0 25 0 1 0 805779940 424427520 84648 4294967295 134512640 135726644 3221224592 3221222912 134728892 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 103620 84648 300 300 0 103320 0
vsize: 414480
[startup+550.04 s]
Raw data (loadavg): 0.99 0.91 0.55 2/54 1953
Raw data (stat): 1953 (pb2sat) R 1952 25568 25567 0 -1 0 147469 0 0 0 54682 325 0 0 25 0 1 0 805779940 424427520 84651 4294967295 134512640 135726644 3221224592 3221223280 134744911 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 103620 84651 300 300 0 103320 0
vsize: 414480
[startup+560.04 s]
Raw data (loadavg): 0.99 0.92 0.55 2/54 1953
Raw data (stat): 1953 (pb2sat) R 1952 25568 25567 0 -1 0 149072 0 0 0 55679 328 0 0 25 0 1 0 805779940 424427520 84652 4294967295 134512640 135726644 3221224592 3221223280 134744911 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 103620 84652 300 300 0 103320 0
vsize: 414480
[startup+570.042 s]
Raw data (loadavg): 0.99 0.92 0.56 2/54 1953
Raw data (stat): 1953 (pb2sat) R 1952 25568 25567 0 -1 0 149075 0 0 0 56679 329 0 0 25 0 1 0 805779940 424427520 84655 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 103620 84655 300 300 0 103320 0
vsize: 414480
[startup+580.042 s]
Raw data (loadavg): 0.99 0.92 0.56 2/54 1953
Raw data (stat): 1953 (pb2sat) R 1952 25568 25567 0 -1 0 149119 0 0 0 57679 330 0 0 25 0 1 0 805779940 424591360 84699 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 103660 84699 300 300 0 103360 0
vsize: 414640
[startup+590.042 s]
Raw data (loadavg): 0.99 0.92 0.56 2/54 1953
Raw data (stat): 1953 (pb2sat) R 1952 25568 25567 0 -1 0 149209 0 0 0 58678 331 0 0 25 0 1 0 805779940 424984576 84789 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 103756 84789 300 300 0 103456 0
vsize: 415024
[startup+600.043 s]
Raw data (loadavg): 0.99 0.92 0.57 2/54 1953
Raw data (stat): 1953 (pb2sat) R 1952 25568 25567 0 -1 0 149212 0 0 0 59677 331 0 0 25 0 1 0 805779940 424984576 84792 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 103756 84792 300 300 0 103456 0
vsize: 415024
[startup+610.044 s]
Raw data (loadavg): 0.99 0.93 0.57 2/54 1953
Raw data (stat): 1953 (pb2sat) R 1952 25568 25567 0 -1 0 150816 0 0 0 60673 336 0 0 25 0 1 0 805779940 424984576 84794 4294967295 134512640 135726644 3221224592 3221223248 134731175 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 103756 84794 300 300 0 103456 0
vsize: 415024
[startup+620.044 s]
Raw data (loadavg): 0.99 0.93 0.57 2/54 1953
Raw data (stat): 1953 (pb2sat) R 1952 25568 25567 0 -1 0 150821 0 0 0 61672 337 0 0 25 0 1 0 805779940 424984576 84799 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 103756 84799 300 300 0 103456 0
vsize: 415024
[startup+630.045 s]
Raw data (loadavg): 0.99 0.93 0.58 2/54 1953
Raw data (stat): 1953 (pb2sat) R 1952 25568 25567 0 -1 0 150825 0 0 0 62672 337 0 0 25 0 1 0 805779940 424984576 84803 4294967295 134512640 135726644 3221224592 3221223280 134744911 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 103756 84803 300 300 0 103456 0
vsize: 415024
[startup+640.045 s]
Raw data (loadavg): 0.99 0.93 0.58 2/54 1953
Raw data (stat): 1953 (pb2sat) R 1952 25568 25567 0 -1 0 152454 0 0 0 63669 341 0 0 25 0 1 0 805779940 431681536 86432 4294967295 134512640 135726644 3221224592 3221222744 134761841 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 105391 86432 300 300 0 105091 0
vsize: 421564
[startup+650.045 s]
Raw data (loadavg): 0.99 0.93 0.59 2/54 1953
Raw data (stat): 1953 (pb2sat) R 1952 25568 25567 0 -1 0 152486 0 0 0 64669 341 0 0 25 0 1 0 805779940 425119744 84862 4294967295 134512640 135726644 3221224592 3221223088 134744022 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 103789 84862 300 300 0 103489 0
vsize: 415156
[startup+660.046 s]
Raw data (loadavg): 0.99 0.94 0.59 2/54 1953
Raw data (stat): 1953 (pb2sat) R 1952 25568 25567 0 -1 0 152558 0 0 0 65669 342 0 0 25 0 1 0 805779940 425451520 84934 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 103870 84934 300 300 0 103570 0
vsize: 415480
[startup+670.047 s]
Raw data (loadavg): 0.99 0.94 0.59 2/54 1953
Raw data (stat): 1953 (pb2sat) R 1952 25568 25567 0 -1 0 152614 0 0 0 66669 343 0 0 25 0 1 0 805779940 425783296 84990 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 103951 84990 300 300 0 103651 0
vsize: 415804
[startup+680.048 s]
Raw data (loadavg): 0.99 0.94 0.60 2/54 1953
Raw data (stat): 1953 (pb2sat) R 1952 25568 25567 0 -1 0 152619 0 0 0 67669 343 0 0 25 0 1 0 805779940 425783296 84995 4294967295 134512640 135726644 3221224592 3221223248 134731175 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 103951 84995 300 300 0 103651 0
vsize: 415804
[startup+690.049 s]
Raw data (loadavg): 0.99 0.94 0.60 2/54 1953
Raw data (stat): 1953 (pb2sat) R 1952 25568 25567 0 -1 0 152626 0 0 0 68669 343 0 0 25 0 1 0 805779940 425783296 85002 4294967295 134512640 135726644 3221224592 3221223104 134742274 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 103951 85002 300 300 0 103651 0
vsize: 415804
[startup+700.049 s]
Raw data (loadavg): 0.99 0.94 0.61 2/54 1953
Raw data (stat): 1953 (pb2sat) R 1952 25568 25567 0 -1 0 154232 0 0 0 69665 348 0 0 25 0 1 0 805779940 425783296 85006 4294967295 134512640 135726644 3221224592 3221223280 134744911 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 103951 85006 300 300 0 103651 0
vsize: 415804
[startup+710.05 s]
Raw data (loadavg): 0.99 0.94 0.61 2/54 1953
Raw data (stat): 1953 (pb2sat) R 1952 25568 25567 0 -1 0 154238 0 0 0 70665 348 0 0 25 0 1 0 805779940 425783296 85012 4294967295 134512640 135726644 3221224592 3221223088 134743975 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 103951 85012 300 300 0 103651 0
vsize: 415804
[startup+720.051 s]
Raw data (loadavg): 0.99 0.94 0.61 2/54 1953
Raw data (stat): 1953 (pb2sat) R 1952 25568 25567 0 -1 0 154243 0 0 0 71665 348 0 0 25 0 1 0 805779940 425783296 85017 4294967295 134512640 135726644 3221224592 3221223216 134744676 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 103951 85017 300 300 0 103651 0
vsize: 415804
[startup+730.052 s]
Raw data (loadavg): 0.99 0.95 0.62 2/54 1953
Raw data (stat): 1953 (pb2sat) R 1952 25568 25567 0 -1 0 155848 0 0 0 72661 352 0 0 25 0 1 0 805779940 425783296 85020 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 103951 85020 300 300 0 103651 0
vsize: 415804
[startup+740.052 s]
Raw data (loadavg): 0.99 0.95 0.62 2/54 1953
Raw data (stat): 1953 (pb2sat) R 1952 25568 25567 0 -1 0 155894 0 0 0 73661 353 0 0 25 0 1 0 805779940 426053632 85066 4294967295 134512640 135726644 3221224592 3221223248 134731175 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 104017 85066 300 300 0 103717 0
vsize: 416068
[startup+750.052 s]
Raw data (loadavg): 0.99 0.95 0.63 2/54 1953
Raw data (stat): 1953 (pb2sat) R 1952 25568 25567 0 -1 0 155897 0 0 0 74661 353 0 0 25 0 1 0 805779940 426053632 85069 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 104017 85069 300 300 0 103717 0
vsize: 416068
[startup+760.052 s]
Raw data (loadavg): 0.99 0.95 0.63 2/54 1953
Raw data (stat): 1953 (pb2sat) R 1952 25568 25567 0 -1 0 155900 0 0 0 75661 353 0 0 25 0 1 0 805779940 426053632 85072 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 104017 85072 300 300 0 103717 0
vsize: 416068
[startup+770.051 s]
Raw data (loadavg): 0.99 0.95 0.63 2/54 1953
Raw data (stat): 1953 (pb2sat) R 1952 25568 25567 0 -1 0 157505 0 0 0 76657 358 0 0 25 0 1 0 805779940 426053632 85075 4294967295 134512640 135726644 3221224592 3221223088 134743982 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 104017 85075 300 300 0 103717 0
vsize: 416068
[startup+780.052 s]
Raw data (loadavg): 0.99 0.95 0.64 2/54 1953
Raw data (stat): 1953 (pb2sat) R 1952 25568 25567 0 -1 0 157511 0 0 0 77657 358 0 0 25 0 1 0 805779940 426053632 85081 4294967295 134512640 135726644 3221224592 3221223088 134744030 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 104017 85081 300 300 0 103717 0
vsize: 416068
[startup+790.051 s]
Raw data (loadavg): 0.99 0.95 0.64 2/54 1953
Raw data (stat): 1953 (pb2sat) R 1952 25568 25567 0 -1 0 157519 0 0 0 78657 358 0 0 25 0 1 0 805779940 426053632 85089 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 104017 85089 300 300 0 103717 0
vsize: 416068
[startup+800.051 s]
Raw data (loadavg): 0.99 0.95 0.64 2/54 1953
Raw data (stat): 1953 (pb2sat) R 1952 25568 25567 0 -1 0 159128 0 0 0 79654 362 0 0 25 0 1 0 805779940 426053632 85096 4294967295 134512640 135726644 3221224592 3221223248 134731245 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 104017 85096 300 300 0 103717 0
vsize: 416068
[startup+810.051 s]
Raw data (loadavg): 0.99 0.95 0.65 2/54 1953
Raw data (stat): 1953 (pb2sat) R 1952 25568 25567 0 -1 0 159132 0 0 0 80654 362 0 0 25 0 1 0 805779940 426053632 85100 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 104017 85100 300 300 0 103717 0
vsize: 416068
[startup+820.051 s]
Raw data (loadavg): 0.99 0.95 0.65 2/54 1953
Raw data (stat): 1953 (pb2sat) R 1952 25568 25567 0 -1 0 160739 0 0 0 81650 367 0 0 25 0 1 0 805779940 426053632 85105 4294967295 134512640 135726644 3221224592 3221223216 134779655 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 104017 85105 300 300 0 103717 0
vsize: 416068
[startup+830.05 s]
Raw data (loadavg): 0.99 0.95 0.65 2/54 1953
Raw data (stat): 1953 (pb2sat) R 1952 25568 25567 0 -1 0 160761 0 0 0 82649 367 0 0 25 0 1 0 805779940 426188800 85127 4294967295 134512640 135726644 3221224592 3221223088 134744117 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 104050 85127 300 300 0 103750 0
vsize: 416200
[startup+840.05 s]
Raw data (loadavg): 0.99 0.96 0.65 2/54 1953
Raw data (stat): 1953 (pb2sat) R 1952 25568 25567 0 -1 0 160784 0 0 0 83649 368 0 0 25 0 1 0 805779940 426323968 85150 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 104083 85150 300 300 0 103783 0
vsize: 416332
[startup+850.05 s]
Raw data (loadavg): 0.99 0.96 0.66 2/54 1953
Raw data (stat): 1953 (pb2sat) R 1952 25568 25567 0 -1 0 160789 0 0 0 84649 368 0 0 25 0 1 0 805779940 426323968 85155 4294967295 134512640 135726644 3221224592 3221223088 134744014 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 104083 85155 300 300 0 103783 0
vsize: 416332
[startup+860.05 s]
Raw data (loadavg): 0.99 0.96 0.66 2/54 1953
Raw data (stat): 1953 (pb2sat) R 1952 25568 25567 0 -1 0 162486 0 0 0 85645 373 0 0 25 0 1 0 805779940 426864640 85250 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 104215 85250 300 300 0 103915 0
vsize: 416860
[startup+870.05 s]
Raw data (loadavg): 0.99 0.96 0.66 2/54 1953
Raw data (stat): 1953 (pb2sat) R 1952 25568 25567 0 -1 0 162491 0 0 0 86645 373 0 0 25 0 1 0 805779940 426864640 85255 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 104215 85255 300 300 0 103915 0
vsize: 416860
[startup+880.05 s]
Raw data (loadavg): 0.99 0.96 0.67 2/54 1953
Raw data (stat): 1953 (pb2sat) R 1952 25568 25567 0 -1 0 162498 0 0 0 87644 374 0 0 25 0 1 0 805779940 426864640 85262 4294967295 134512640 135726644 3221224592 3221223088 134744369 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 104215 85262 300 300 0 103915 0
vsize: 416860
[startup+890.05 s]
Raw data (loadavg): 0.99 0.96 0.67 2/54 1953
Raw data (stat): 1953 (pb2sat) R 1952 25568 25567 0 -1 0 164175 0 0 0 88641 378 0 0 25 0 1 0 805779940 427393024 85337 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 104344 85337 300 300 0 104044 0
vsize: 417376
[startup+900.05 s]
Raw data (loadavg): 0.99 0.96 0.67 2/54 1953
Raw data (stat): 1953 (pb2sat) R 1952 25568 25567 0 -1 0 164178 0 0 0 89641 378 0 0 25 0 1 0 805779940 427393024 85340 4294967295 134512640 135726644 3221224592 3221223248 134731175 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 104344 85340 300 300 0 104044 0
vsize: 417376
[startup+910.05 s]
Raw data (loadavg): 0.99 0.96 0.68 2/54 1953
Raw data (stat): 1953 (pb2sat) R 1952 25568 25567 0 -1 0 164182 0 0 0 90640 379 0 0 25 0 1 0 805779940 427393024 85344 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 104344 85344 300 300 0 104044 0
vsize: 417376
[startup+920.051 s]
Raw data (loadavg): 0.99 0.96 0.68 2/54 1953
Raw data (stat): 1953 (pb2sat) R 1952 25568 25567 0 -1 0 165787 0 0 0 91637 383 0 0 25 0 1 0 805779940 433954816 86949 4294967295 134512640 135726644 3221224592 3221222752 134765508 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 105946 86949 300 300 0 105646 0
vsize: 423784
[startup+930.051 s]
Raw data (loadavg): 0.99 0.96 0.68 2/54 1953
Raw data (stat): 1953 (pb2sat) R 1952 25568 25567 0 -1 0 165790 0 0 0 92636 384 0 0 25 0 1 0 805779940 427393024 85350 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 104344 85350 300 300 0 104044 0
vsize: 417376
[startup+940.051 s]
Raw data (loadavg): 0.99 0.97 0.68 2/54 1953
Raw data (stat): 1953 (pb2sat) R 1952 25568 25567 0 -1 0 165793 0 0 0 93636 384 0 0 25 0 1 0 805779940 427393024 85353 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 104344 85353 300 300 0 104044 0
vsize: 417376
[startup+950.158 s]
Raw data (loadavg): 0.99 0.97 0.69 2/54 1953
Raw data (stat): 1953 (pb2sat) R 1952 25568 25567 0 -1 0 167399 0 0 0 94643 388 0 0 25 0 1 0 805779940 433954816 86959 4294967295 134512640 135726644 3221224592 3221222744 134761847 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 105946 86959 300 300 0 105646 0
vsize: 423784
[startup+960.427 s]
Raw data (loadavg): 1.07 0.98 0.70 2/54 1953
Raw data (stat): 1953 (pb2sat) R 1952 25568 25567 0 -1 0 167411 0 0 0 95670 389 0 0 25 0 1 0 805779940 427393024 85369 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 104344 85369 300 300 0 104044 0
vsize: 417376
[startup+970.428 s]
Raw data (loadavg): 1.06 0.98 0.70 2/54 1953
Raw data (stat): 1953 (pb2sat) R 1952 25568 25567 0 -1 0 167414 0 0 0 96670 389 0 0 25 0 1 0 805779940 427393024 85372 4294967295 134512640 135726644 3221224592 3221223280 134744911 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 104344 85372 300 300 0 104044 0
vsize: 417376
[startup+980.429 s]
Raw data (loadavg): 1.05 0.98 0.70 2/54 1953
Raw data (stat): 1953 (pb2sat) R 1952 25568 25567 0 -1 0 167418 0 0 0 97670 389 0 0 25 0 1 0 805779940 427393024 85376 4294967295 134512640 135726644 3221224592 3221223280 134744911 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 104344 85376 300 300 0 104044 0
vsize: 417376
[startup+990.43 s]
Raw data (loadavg): 1.04 0.98 0.71 2/54 1953
Raw data (stat): 1953 (pb2sat) R 1952 25568 25567 0 -1 0 169020 0 0 0 98666 394 0 0 25 0 1 0 805779940 427393024 85376 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 104344 85376 300 300 0 104044 0
vsize: 417376
[startup+1000.43 s]
Raw data (loadavg): 1.04 0.98 0.71 2/54 1953
Raw data (stat): 1953 (pb2sat) R 1952 25568 25567 0 -1 0 169115 0 0 0 99666 394 0 0 25 0 1 0 805779940 427991040 85471 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 104490 85471 300 300 0 104190 0
vsize: 417960
[startup+1010.43 s]
Raw data (loadavg): 1.03 0.98 0.71 2/54 1953
Raw data (stat): 1953 (pb2sat) R 1952 25568 25567 0 -1 0 169157 0 0 0 100666 395 0 0 25 0 1 0 805779940 428126208 85513 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 104523 85513 300 300 0 104223 0
vsize: 418092
[startup+1020.43 s]
Raw data (loadavg): 1.03 0.98 0.71 2/54 1953
Raw data (stat): 1953 (pb2sat) R 1952 25568 25567 0 -1 0 170765 0 0 0 101662 399 0 0 25 0 1 0 805779940 428126208 85519 4294967295 134512640 135726644 3221224592 3221223088 134744328 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 104523 85519 300 300 0 104223 0
vsize: 418092
[startup+1030.43 s]
Raw data (loadavg): 1.02 0.98 0.72 2/54 1953
Raw data (stat): 1953 (pb2sat) R 1952 25568 25567 0 -1 0 170768 0 0 0 102661 399 0 0 25 0 1 0 805779940 428126208 85522 4294967295 134512640 135726644 3221224592 3221223280 134744861 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 104523 85522 300 300 0 104223 0
vsize: 418092
[startup+1040.43 s]
Raw data (loadavg): 1.02 0.98 0.72 2/54 1953
Raw data (stat): 1953 (pb2sat) R 1952 25568 25567 0 -1 0 170772 0 0 0 103661 400 0 0 25 0 1 0 805779940 428126208 85526 4294967295 134512640 135726644 3221224592 3221223248 134731245 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 104523 85526 300 300 0 104223 0
vsize: 418092
[startup+1050.43 s]
Raw data (loadavg): 1.01 0.98 0.72 2/54 1953
Raw data (stat): 1953 (pb2sat) R 1952 25568 25567 0 -1 0 170775 0 0 0 104661 400 0 0 25 0 1 0 805779940 428126208 85529 4294967295 134512640 135726644 3221224592 3221223104 134742276 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 104523 85529 300 300 0 104223 0
vsize: 418092
[startup+1060.43 s]
Raw data (loadavg): 1.01 0.98 0.73 2/54 1953
Raw data (stat): 1953 (pb2sat) R 1952 25568 25567 0 -1 0 172380 0 0 0 105654 404 0 0 25 0 1 0 805779940 428126208 85532 4294967295 134512640 135726644 3221224592 3221222912 134728940 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 104523 85532 300 300 0 104223 0
vsize: 418092
[startup+1070.43 s]
Raw data (loadavg): 1.01 0.98 0.73 2/54 1953
Raw data (stat): 1953 (pb2sat) R 1952 25568 25567 0 -1 0 172384 0 0 0 106653 405 0 0 25 0 1 0 805779940 428126208 85536 4294967295 134512640 135726644 3221224592 3221223280 134744911 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 104523 85536 300 300 0 104223 0
vsize: 418092
[startup+1080.43 s]
Raw data (loadavg): 1.01 0.98 0.73 2/54 1953
Raw data (stat): 1953 (pb2sat) R 1952 25568 25567 0 -1 0 172386 0 0 0 107653 406 0 0 25 0 1 0 805779940 428126208 85538 4294967295 134512640 135726644 3221224592 3221223248 134731263 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 104523 85538 300 300 0 104223 0
vsize: 418092
[startup+1090.43 s]
Raw data (loadavg): 1.01 0.98 0.73 2/54 1953
Raw data (stat): 1953 (pb2sat) R 1952 25568 25567 0 -1 0 173990 0 0 0 108649 410 0 0 25 0 1 0 805779940 428126208 85540 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 104523 85540 300 300 0 104223 0
vsize: 418092
[startup+1100.43 s]
Raw data (loadavg): 1.00 0.98 0.73 2/54 1953
Raw data (stat): 1953 (pb2sat) R 1952 25568 25567 0 -1 0 173994 0 0 0 109649 411 0 0 25 0 1 0 805779940 428126208 85544 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 104523 85544 300 300 0 104223 0
vsize: 418092
[startup+1110.43 s]
Raw data (loadavg): 1.00 0.98 0.74 2/54 1953
Raw data (stat): 1953 (pb2sat) R 1952 25568 25567 0 -1 0 173999 0 0 0 110648 412 0 0 25 0 1 0 805779940 428126208 85549 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 104523 85549 300 300 0 104223 0
vsize: 418092
[startup+1120.43 s]
Raw data (loadavg): 1.00 0.98 0.74 2/54 1953
Raw data (stat): 1953 (pb2sat) R 1952 25568 25567 0 -1 0 174003 0 0 0 111648 412 0 0 25 0 1 0 805779940 428126208 85553 4294967295 134512640 135726644 3221224592 3221223088 134744169 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 104523 85553 300 300 0 104223 0
vsize: 418092
[startup+1130.43 s]
Raw data (loadavg): 1.00 0.98 0.74 2/54 1953
Raw data (stat): 1953 (pb2sat) R 1952 25568 25567 0 -1 0 174011 0 0 0 112648 413 0 0 25 0 1 0 805779940 428126208 85561 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 104523 85561 300 300 0 104223 0
vsize: 418092
[startup+1140.43 s]
Raw data (loadavg): 1.00 0.98 0.74 2/54 1953
Raw data (stat): 1953 (pb2sat) R 1952 25568 25567 0 -1 0 175616 0 0 0 113644 417 0 0 25 0 1 0 805779940 434688000 87166 4294967295 134512640 135726644 3221224592 3221222768 134765581 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 106125 87166 300 300 0 105825 0
vsize: 424500
[startup+1150.43 s]
Raw data (loadavg): 1.00 0.98 0.74 2/54 1953
Raw data (stat): 1953 (pb2sat) R 1952 25568 25567 0 -1 0 175617 0 0 0 114644 418 0 0 25 0 1 0 805779940 428126208 85565 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 104523 85565 300 300 0 104223 0
vsize: 418092
[startup+1160.43 s]
Raw data (loadavg): 1.00 0.98 0.75 2/54 1953
Raw data (stat): 1953 (pb2sat) R 1952 25568 25567 0 -1 0 175627 0 0 0 115643 418 0 0 25 0 1 0 805779940 428126208 85575 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 104523 85575 300 300 0 104223 0
vsize: 418092
[startup+1170.43 s]
Raw data (loadavg): 1.00 0.98 0.75 2/54 1953
Raw data (stat): 1953 (pb2sat) R 1952 25568 25567 0 -1 0 175631 0 0 0 116643 419 0 0 25 0 1 0 805779940 428126208 85579 4294967295 134512640 135726644 3221224592 3221223248 134731263 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 104523 85579 300 300 0 104223 0
vsize: 418092
[startup+1180.43 s]
Raw data (loadavg): 1.00 0.98 0.75 2/54 1953
Raw data (stat): 1953 (pb2sat) R 1952 25568 25567 0 -1 0 177236 0 0 0 117638 424 0 0 25 0 1 0 805779940 428126208 85582 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 104523 85582 300 300 0 104223 0
vsize: 418092
[startup+1190.43 s]
Raw data (loadavg): 1.00 0.98 0.75 2/54 1953
Raw data (stat): 1953 (pb2sat) R 1952 25568 25567 0 -1 0 177240 0 0 0 118638 425 0 0 25 0 1 0 805779940 428126208 85586 4294967295 134512640 135726644 3221224592 3221223088 134743895 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 104523 85586 300 300 0 104223 0
vsize: 418092
[startup+1200.43 s]
Raw data (loadavg): 1.00 0.98 0.75 2/54 1953
Raw data (stat): 1953 (pb2sat) R 1952 25568 25567 0 -1 0 177249 0 0 0 119638 425 0 0 25 0 1 0 805779940 428126208 85595 4294967295 134512640 135726644 3221224592 3221222912 134728934 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 104523 85595 300 300 0 104223 0
vsize: 418092
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1202.61 s]
Raw data (loadavg): 1.00 0.98 0.75 1/53 1953
Raw data (stat): 1953 (pb2sat) R 1952 25568 25567 0 -1 0 177249 0 0 0 119638 425 0 0 25 0 1 0 805779940 428126208 85595 4294967295 134512640 135726644 3221224592 3221222912 134728934 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 104523 85595 300 300 0 104223 0
vsize: 0

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1202.61
CPU time (s): 1202.82
CPU user time (s): 1198.39
CPU system time (s): 4.42933
CPU usage (%): 100.017
Max. virtual memory (Kb): 424500
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####