PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-f600.opb
MD5SUM	4fdec182582ed31d1ae371090f6cc5c1
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	1200
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	1200
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	1200
Number of bits of the biggest sum of numbers	11
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Number of variables	1200
Total number of constraints	3150
Number of constraints which are clauses	3150
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	2
Maximum length of a constraint	3
Trace number 34783

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.037
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:        463416 kB
Buffers:         32868 kB
Cached:         509084 kB
SwapCached:        960 kB
Active:          40248 kB
Inactive:       503812 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        463164 kB
SwapTotal:     2097892 kB
SwapFree:      2096060 kB
Dirty:              24 kB
Writeback:           0 kB
Mapped:           4936 kB
Slab:            21520 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-28 10:52:28 (client local time) WITH STATUS 0 IN 1202.36 SECONDS
stats: 24055 7 1202.36 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...

Decision: 525845/723018	Time: 885.811/86400
Decision: 525845/723018	Time: 981.889/86400
Decision: 525845/723018	Time: 1077.25/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.70 0.91 0.71 1/54 18797
Raw data (stat): 18797 (runsolver) D 18796 10795 10794 0 -1 64 8 0 0 0 0 0 0 0 18 0 1 0 864100351 884736 94 4294967295 134512640 135332820 3221224480 3221219660 135092226 0 2147483391 7 90112 3225161850 0 0 17 1 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0008 s]
Raw data (loadavg): 0.75 0.91 0.71 2/54 18797
Raw data (stat): 18797 (pb2sat) R 18796 10795 10794 0 -1 0 29679 0 0 0 934 63 0 0 25 0 1 0 864100351 89346048 18771 4294967295 134512640 135726644 3221224592 3221170540 134768801 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 21813 18772 300 300 0 21513 0
vsize: 87252
[startup+20.0016 s]
Raw data (loadavg): 0.79 0.92 0.72 2/54 18797
Raw data (stat): 18797 (pb2sat) R 18796 10795 10794 0 -1 0 58297 0 0 0 1874 124 0 0 25 0 1 0 864100351 175472640 36430 4294967295 134512640 135726644 3221224592 3220999696 134782642 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42840 36430 300 300 0 42540 0
vsize: 171360
[startup+30.0014 s]
Raw data (loadavg): 0.82 0.92 0.72 2/54 18797
Raw data (stat): 18797 (pb2sat) R 18796 10795 10794 0 -1 0 98150 0 0 0 2798 200 0 0 25 0 1 0 864100351 331640832 54609 4294967295 134512640 135726644 3221224592 3221062816 134780348 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 80967 54609 300 300 0 80667 0
vsize: 323868
[startup+40.0022 s]
Raw data (loadavg): 0.85 0.92 0.72 2/54 18797
Raw data (stat): 18797 (pb2sat) R 18796 10795 10794 0 -1 0 111625 0 0 0 3767 231 0 0 25 0 1 0 864100351 351686656 65522 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 85861 65522 300 300 0 85561 0
vsize: 343444
[startup+50.0029 s]
Raw data (loadavg): 0.87 0.92 0.73 2/54 18797
Raw data (stat): 18797 (pb2sat) R 18796 10795 10794 0 -1 0 113025 0 0 0 4765 233 0 0 25 0 1 0 864100351 357154816 66514 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 87196 66514 300 300 0 86896 0
vsize: 348784
[startup+60.0037 s]
Raw data (loadavg): 0.89 0.92 0.73 2/54 18797
Raw data (stat): 18797 (pb2sat) R 18796 10795 10794 0 -1 0 113760 0 0 0 5764 234 0 0 25 0 1 0 864100351 359960576 67028 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 87881 67028 300 300 0 87581 0
vsize: 351524
[startup+70.0036 s]
Raw data (loadavg): 0.91 0.93 0.73 2/54 18797
Raw data (stat): 18797 (pb2sat) R 18796 10795 10794 0 -1 0 114094 0 0 0 6763 235 0 0 25 0 1 0 864100351 361496576 67346 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 88256 67346 300 300 0 87956 0
vsize: 353024
[startup+80.0033 s]
Raw data (loadavg): 0.92 0.93 0.73 2/54 18797
Raw data (stat): 18797 (pb2sat) R 18796 10795 10794 0 -1 0 114340 0 0 0 7763 236 0 0 25 0 1 0 864100351 362287104 67462 4294967295 134512640 135726644 3221224592 3221223072 134729188 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 88449 67462 300 300 0 88149 0
vsize: 353796
[startup+90.004 s]
Raw data (loadavg): 0.93 0.93 0.73 2/54 18797
Raw data (stat): 18797 (pb2sat) R 18796 10795 10794 0 -1 0 114569 0 0 0 8762 236 0 0 25 0 1 0 864100351 363347968 67658 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 88708 67658 300 300 0 88408 0
vsize: 354832
[startup+100.004 s]
Raw data (loadavg): 0.94 0.93 0.74 2/54 18797
Raw data (stat): 18797 (pb2sat) R 18796 10795 10794 0 -1 0 115339 0 0 0 9761 238 0 0 25 0 1 0 864100351 365998080 68036 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 89355 68036 300 300 0 89055 0
vsize: 357420
[startup+110.005 s]
Raw data (loadavg): 0.95 0.93 0.74 2/54 18797
Raw data (stat): 18797 (pb2sat) R 18796 10795 10794 0 -1 0 115595 0 0 0 10760 239 0 0 25 0 1 0 864100351 366788608 68162 4294967295 134512640 135726644 3221224592 3221223088 134744147 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 89548 68162 300 300 0 89248 0
vsize: 358192
[startup+120.018 s]
Raw data (loadavg): 0.96 0.94 0.74 2/54 18797
Raw data (stat): 18797 (pb2sat) R 18796 10795 10794 0 -1 0 115809 0 0 0 11761 239 0 0 25 0 1 0 864100351 367181824 68277 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 89644 68277 300 300 0 89344 0
vsize: 358576
[startup+130.018 s]
Raw data (loadavg): 0.96 0.94 0.74 2/54 18797
Raw data (stat): 18797 (pb2sat) R 18796 10795 10794 0 -1 0 116074 0 0 0 12761 240 0 0 25 0 1 0 864100351 368107520 68443 4294967295 134512640 135726644 3221224592 3221223088 134744004 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 89870 68443 300 300 0 89570 0
vsize: 359480
[startup+140.019 s]
Raw data (loadavg): 0.97 0.94 0.74 2/54 18797
Raw data (stat): 18797 (pb2sat) R 18796 10795 10794 0 -1 0 116438 0 0 0 13760 241 0 0 25 0 1 0 864100351 369025024 68579 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 90094 68579 300 300 0 89794 0
vsize: 360376
[startup+150.019 s]
Raw data (loadavg): 0.97 0.94 0.75 2/54 18797
Raw data (stat): 18797 (pb2sat) R 18796 10795 10794 0 -1 0 116693 0 0 0 14760 241 0 0 25 0 1 0 864100351 370085888 68769 4294967295 134512640 135726644 3221224592 3221223280 134744911 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 90353 68769 300 300 0 90053 0
vsize: 361412
[startup+160.019 s]
Raw data (loadavg): 0.98 0.94 0.75 2/54 18797
Raw data (stat): 18797 (pb2sat) R 18796 10795 10794 0 -1 0 116732 0 0 0 15760 241 0 0 25 0 1 0 864100351 370352128 68808 4294967295 134512640 135726644 3221224592 3221223088 134744249 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 90418 68808 300 300 0 90118 0
vsize: 361672
[startup+170.02 s]
Raw data (loadavg): 0.98 0.94 0.75 2/54 18797
Raw data (stat): 18797 (pb2sat) R 18796 10795 10794 0 -1 0 117035 0 0 0 16759 242 0 0 25 0 1 0 864100351 371482624 69045 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 90694 69045 300 300 0 90394 0
vsize: 362776
[startup+180.02 s]
Raw data (loadavg): 0.98 0.94 0.75 2/54 18797
Raw data (stat): 18797 (pb2sat) R 18796 10795 10794 0 -1 0 117347 0 0 0 17758 243 0 0 25 0 1 0 864100351 372342784 69210 4294967295 134512640 135726644 3221224592 3221222912 134728909 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 90904 69210 300 300 0 90604 0
vsize: 363616
[startup+190.021 s]
Raw data (loadavg): 0.98 0.95 0.75 2/54 18797
Raw data (stat): 18797 (pb2sat) R 18796 10795 10794 0 -1 0 118184 0 0 0 18756 246 0 0 25 0 1 0 864100351 375115776 69656 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 91581 69656 300 300 0 91281 0
vsize: 366324
[startup+200.022 s]
Raw data (loadavg): 0.99 0.95 0.76 2/54 18797
Raw data (stat): 18797 (pb2sat) R 18796 10795 10794 0 -1 0 118614 0 0 0 19755 247 0 0 25 0 1 0 864100351 376438784 69956 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 91904 69956 300 300 0 91604 0
vsize: 367616
[startup+210.022 s]
Raw data (loadavg): 0.99 0.95 0.76 2/54 18797
Raw data (stat): 18797 (pb2sat) R 18796 10795 10794 0 -1 0 119042 0 0 0 20754 248 0 0 25 0 1 0 864100351 377753600 70125 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 92225 70125 300 300 0 91925 0
vsize: 368900
[startup+220.022 s]
Raw data (loadavg): 0.99 0.95 0.76 2/54 18797
Raw data (stat): 18797 (pb2sat) R 18796 10795 10794 0 -1 0 119378 0 0 0 21753 249 0 0 25 0 1 0 864100351 379076608 70331 4294967295 134512640 135726644 3221224592 3221223248 134731175 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 92548 70331 300 300 0 92248 0
vsize: 370192
[startup+230.022 s]
Raw data (loadavg): 0.99 0.95 0.76 2/54 18797
Raw data (stat): 18797 (pb2sat) R 18796 10795 10794 0 -1 0 119514 0 0 0 22753 250 0 0 25 0 1 0 864100351 379338752 70402 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 92612 70402 300 300 0 92312 0
vsize: 370448
[startup+240.023 s]
Raw data (loadavg): 0.99 0.95 0.76 2/54 18797
Raw data (stat): 18797 (pb2sat) R 18796 10795 10794 0 -1 0 119635 0 0 0 23753 250 0 0 25 0 1 0 864100351 379600896 70458 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 92676 70458 300 300 0 92376 0
vsize: 370704
[startup+250.022 s]
Raw data (loadavg): 0.99 0.95 0.77 2/54 18797
Raw data (stat): 18797 (pb2sat) R 18796 10795 10794 0 -1 0 119910 0 0 0 24752 251 0 0 25 0 1 0 864100351 380391424 70603 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 92869 70603 300 300 0 92569 0
vsize: 371476
[startup+260.023 s]
Raw data (loadavg): 0.99 0.95 0.77 2/54 18797
Raw data (stat): 18797 (pb2sat) R 18796 10795 10794 0 -1 0 120019 0 0 0 25752 251 0 0 25 0 1 0 864100351 380653568 70647 4294967295 134512640 135726644 3221224592 3221223088 134744140 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 92933 70647 300 300 0 92633 0
vsize: 371732
[startup+270.023 s]
Raw data (loadavg): 0.99 0.95 0.77 2/54 18797
Raw data (stat): 18797 (pb2sat) R 18796 10795 10794 0 -1 0 120125 0 0 0 26752 251 0 0 25 0 1 0 864100351 380915712 70688 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 92997 70688 300 300 0 92697 0
vsize: 371988
[startup+280.023 s]
Raw data (loadavg): 0.99 0.95 0.77 2/54 18797
Raw data (stat): 18797 (pb2sat) R 18796 10795 10794 0 -1 0 120289 0 0 0 27752 251 0 0 25 0 1 0 864100351 381444096 70787 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 93126 70787 300 300 0 92826 0
vsize: 372504
[startup+290.023 s]
Raw data (loadavg): 0.99 0.96 0.77 2/54 18797
Raw data (stat): 18797 (pb2sat) R 18796 10795 10794 0 -1 0 120370 0 0 0 28752 251 0 0 25 0 1 0 864100351 381575168 70835 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 93158 70835 300 300 0 92858 0
vsize: 372632
[startup+300.023 s]
Raw data (loadavg): 0.99 0.96 0.78 2/54 18797
Raw data (stat): 18797 (pb2sat) R 18796 10795 10794 0 -1 0 120374 0 0 0 29753 251 0 0 25 0 1 0 864100351 381575168 70839 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 93158 70839 300 300 0 92858 0
vsize: 372632
[startup+310.024 s]
Raw data (loadavg): 0.99 0.96 0.78 2/54 18797
Raw data (stat): 18797 (pb2sat) R 18796 10795 10794 0 -1 0 120390 0 0 0 30753 251 0 0 25 0 1 0 864100351 381575168 70855 4294967295 134512640 135726644 3221224592 3221222912 134728934 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 93158 70855 300 300 0 92858 0
vsize: 372632
[startup+320.028 s]
Raw data (loadavg): 0.99 0.96 0.78 2/54 18797
Raw data (stat): 18797 (pb2sat) R 18796 10795 10794 0 -1 0 120493 0 0 0 31753 252 0 0 25 0 1 0 864100351 381837312 70893 4294967295 134512640 135726644 3221224592 3221223088 134743951 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 93222 70893 300 300 0 92922 0
vsize: 372888
[startup+330.028 s]
Raw data (loadavg): 0.99 0.96 0.78 2/54 18797
Raw data (stat): 18797 (pb2sat) R 18796 10795 10794 0 -1 0 120534 0 0 0 32753 252 0 0 25 0 1 0 864100351 381837312 70934 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 93222 70934 300 300 0 92922 0
vsize: 372888
[startup+340.029 s]
Raw data (loadavg): 0.99 0.96 0.78 2/54 18797
Raw data (stat): 18797 (pb2sat) R 18796 10795 10794 0 -1 0 120816 0 0 0 33752 253 0 0 25 0 1 0 864100351 382623744 71021 4294967295 134512640 135726644 3221224592 3221223088 134744069 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 93414 71021 300 300 0 93114 0
vsize: 373656
[startup+350.029 s]
Raw data (loadavg): 0.99 0.96 0.79 2/54 18797
Raw data (stat): 18797 (pb2sat) R 18796 10795 10794 0 -1 0 120862 0 0 0 34752 253 0 0 25 0 1 0 864100351 382623744 71067 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 93414 71067 300 300 0 93114 0
vsize: 373656
[startup+360.03 s]
Raw data (loadavg): 0.99 0.96 0.79 2/54 18797
Raw data (stat): 18797 (pb2sat) R 18796 10795 10794 0 -1 0 121121 0 0 0 35752 253 0 0 25 0 1 0 864100351 383410176 71132 4294967295 134512640 135726644 3221224592 3221223088 134744011 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 93606 71132 300 300 0 93306 0
vsize: 374424
[startup+370.031 s]
Raw data (loadavg): 0.99 0.96 0.79 2/54 18797
Raw data (stat): 18797 (pb2sat) R 18796 10795 10794 0 -1 0 121287 0 0 0 36752 254 0 0 25 0 1 0 864100351 383803392 71200 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 93702 71200 300 300 0 93402 0
vsize: 374808
[startup+380.03 s]
Raw data (loadavg): 0.99 0.96 0.79 2/54 18797
Raw data (stat): 18797 (pb2sat) R 18796 10795 10794 0 -1 0 121404 0 0 0 37752 254 0 0 25 0 1 0 864100351 384335872 71317 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 93832 71317 300 300 0 93532 0
vsize: 375328
[startup+390.03 s]
Raw data (loadavg): 0.99 0.97 0.79 2/54 18797
Raw data (stat): 18797 (pb2sat) R 18796 10795 10794 0 -1 0 121505 0 0 0 38752 254 0 0 25 0 1 0 864100351 384598016 71353 4294967295 134512640 135726644 3221224592 3221223088 134744117 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 93896 71353 300 300 0 93596 0
vsize: 375584
[startup+400.03 s]
Raw data (loadavg): 0.99 0.97 0.80 2/54 18797
Raw data (stat): 18797 (pb2sat) R 18796 10795 10794 0 -1 0 121522 0 0 0 39752 254 0 0 25 0 1 0 864100351 384598016 71370 4294967295 134512640 135726644 3221224592 3221223088 134743990 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 93896 71370 300 300 0 93596 0
vsize: 375584
[startup+410.032 s]
Raw data (loadavg): 0.99 0.97 0.80 2/54 18797
Raw data (stat): 18797 (pb2sat) R 18796 10795 10794 0 -1 0 121886 0 0 0 40752 255 0 0 25 0 1 0 864100351 385384448 71540 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 94088 71540 300 300 0 93788 0
vsize: 376352
[startup+420.032 s]
Raw data (loadavg): 0.99 0.97 0.80 2/54 18797
Raw data (stat): 18797 (pb2sat) R 18796 10795 10794 0 -1 0 122028 0 0 0 41751 255 0 0 25 0 1 0 864100351 385646592 71617 4294967295 134512640 135726644 3221224592 3221223280 134744858 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 94152 71617 300 300 0 93852 0
vsize: 376608
[startup+430.031 s]
Raw data (loadavg): 0.99 0.97 0.80 2/54 18797
Raw data (stat): 18797 (pb2sat) R 18796 10795 10794 0 -1 0 122031 0 0 0 42752 255 0 0 25 0 1 0 864100351 385646592 71620 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 94152 71620 300 300 0 93852 0
vsize: 376608
[startup+440.032 s]
Raw data (loadavg): 0.99 0.97 0.80 2/54 18797
Raw data (stat): 18797 (pb2sat) R 18796 10795 10794 0 -1 0 122156 0 0 0 43751 256 0 0 25 0 1 0 864100351 385908736 71680 4294967295 134512640 135726644 3221224592 3221223088 134744169 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 94216 71680 300 300 0 93916 0
vsize: 376864
[startup+450.032 s]
Raw data (loadavg): 0.99 0.97 0.81 2/54 18797
Raw data (stat): 18797 (pb2sat) R 18796 10795 10794 0 -1 0 122160 0 0 0 44752 256 0 0 25 0 1 0 864100351 385908736 71684 4294967295 134512640 135726644 3221224592 3221223088 134744235 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 94216 71684 300 300 0 93916 0
vsize: 376864
[startup+460.033 s]
Raw data (loadavg): 0.99 0.97 0.81 2/54 18797
Raw data (stat): 18797 (pb2sat) R 18796 10795 10794 0 -1 0 122164 0 0 0 45752 256 0 0 25 0 1 0 864100351 385908736 71688 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 94216 71688 300 300 0 93916 0
vsize: 376864
[startup+470.033 s]
Raw data (loadavg): 0.99 0.97 0.81 2/54 18797
Raw data (stat): 18797 (pb2sat) R 18796 10795 10794 0 -1 0 122167 0 0 0 46752 256 0 0 25 0 1 0 864100351 385908736 71691 4294967295 134512640 135726644 3221224592 3221223248 134731248 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 94216 71691 300 300 0 93916 0
vsize: 376864
[startup+480.033 s]
Raw data (loadavg): 0.99 0.97 0.81 2/54 18797
Raw data (stat): 18797 (pb2sat) R 18796 10795 10794 0 -1 0 122357 0 0 0 47752 256 0 0 25 0 1 0 864100351 386433024 71752 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 94344 71752 300 300 0 94044 0
vsize: 377376
[startup+490.034 s]
Raw data (loadavg): 0.99 0.97 0.81 2/54 18797
Raw data (stat): 18797 (pb2sat) R 18796 10795 10794 0 -1 0 122434 0 0 0 48752 256 0 0 25 0 1 0 864100351 386695168 71764 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 94408 71764 300 300 0 94108 0
vsize: 377632
[startup+500.035 s]
Raw data (loadavg): 0.99 0.97 0.81 2/54 18797
Raw data (stat): 18797 (pb2sat) R 18796 10795 10794 0 -1 0 122800 0 0 0 49751 257 0 0 25 0 1 0 864100351 388018176 72000 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 94731 72000 300 300 0 94431 0
vsize: 378924
[startup+510.036 s]
Raw data (loadavg): 0.99 0.97 0.82 2/54 18797
Raw data (stat): 18797 (pb2sat) R 18796 10795 10794 0 -1 0 122944 0 0 0 50751 258 0 0 25 0 1 0 864100351 388280320 72079 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 94795 72079 300 300 0 94495 0
vsize: 379180
[startup+520.036 s]
Raw data (loadavg): 0.99 0.97 0.82 2/54 18797
Raw data (stat): 18797 (pb2sat) R 18796 10795 10794 0 -1 0 123044 0 0 0 51750 258 0 0 25 0 1 0 864100351 388542464 72114 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 94859 72114 300 300 0 94559 0
vsize: 379436
[startup+530.035 s]
Raw data (loadavg): 0.99 0.97 0.82 2/54 18797
Raw data (stat): 18797 (pb2sat) R 18796 10795 10794 0 -1 0 123184 0 0 0 52750 259 0 0 25 0 1 0 864100351 389070848 72189 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 94988 72189 300 300 0 94688 0
vsize: 379952
[startup+540.036 s]
Raw data (loadavg): 0.99 0.97 0.82 2/54 18797
Raw data (stat): 18797 (pb2sat) R 18796 10795 10794 0 -1 0 123188 0 0 0 53750 259 0 0 25 0 1 0 864100351 389070848 72193 4294967295 134512640 135726644 3221224592 3221223088 134743961 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 94988 72193 300 300 0 94688 0
vsize: 379952
[startup+550.036 s]
Raw data (loadavg): 0.99 0.97 0.82 2/54 18797
Raw data (stat): 18797 (pb2sat) R 18796 10795 10794 0 -1 0 123213 0 0 0 54750 259 0 0 25 0 1 0 864100351 389070848 72218 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 94988 72218 300 300 0 94688 0
vsize: 379952
[startup+560.036 s]
Raw data (loadavg): 0.99 0.97 0.82 2/54 18797
Raw data (stat): 18797 (pb2sat) R 18796 10795 10794 0 -1 0 123218 0 0 0 55750 259 0 0 25 0 1 0 864100351 389070848 72223 4294967295 134512640 135726644 3221224592 3221223088 134743961 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 94988 72223 300 300 0 94688 0
vsize: 379952
[startup+570.036 s]
Raw data (loadavg): 0.99 0.97 0.82 2/54 18797
Raw data (stat): 18797 (pb2sat) R 18796 10795 10794 0 -1 0 123221 0 0 0 56751 259 0 0 25 0 1 0 864100351 389070848 72226 4294967295 134512640 135726644 3221224592 3221223280 134744838 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 94988 72226 300 300 0 94688 0
vsize: 379952
[startup+580.036 s]
Raw data (loadavg): 0.99 0.97 0.82 2/54 18797
Raw data (stat): 18797 (pb2sat) R 18796 10795 10794 0 -1 0 123239 0 0 0 57751 259 0 0 25 0 1 0 864100351 389070848 72244 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 94988 72244 300 300 0 94688 0
vsize: 379952
[startup+590.037 s]
Raw data (loadavg): 0.99 0.97 0.83 2/54 18797
Raw data (stat): 18797 (pb2sat) R 18796 10795 10794 0 -1 0 123258 0 0 0 58751 259 0 0 25 0 1 0 864100351 389070848 72263 4294967295 134512640 135726644 3221224592 3221222912 134728892 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 94988 72263 300 300 0 94688 0
vsize: 379952
[startup+600.037 s]
Raw data (loadavg): 0.99 0.97 0.83 2/54 18797
Raw data (stat): 18797 (pb2sat) R 18796 10795 10794 0 -1 0 123262 0 0 0 59751 260 0 0 25 0 1 0 864100351 389070848 72267 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 94988 72267 300 300 0 94688 0
vsize: 379952
[startup+610.038 s]
Raw data (loadavg): 0.99 0.97 0.83 2/54 18797
Raw data (stat): 18797 (pb2sat) R 18796 10795 10794 0 -1 0 123267 0 0 0 60751 260 0 0 25 0 1 0 864100351 389070848 72272 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 94988 72272 300 300 0 94688 0
vsize: 379952
[startup+620.037 s]
Raw data (loadavg): 0.99 0.97 0.83 2/54 18797
Raw data (stat): 18797 (pb2sat) R 18796 10795 10794 0 -1 0 123272 0 0 0 61751 260 0 0 25 0 1 0 864100351 389070848 72277 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 94988 72277 300 300 0 94688 0
vsize: 379952
[startup+630.037 s]
Raw data (loadavg): 0.99 0.97 0.83 2/54 18797
Raw data (stat): 18797 (pb2sat) R 18796 10795 10794 0 -1 0 123274 0 0 0 62751 260 0 0 25 0 1 0 864100351 389070848 72279 4294967295 134512640 135726644 3221224592 3221223072 134729188 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 94988 72279 300 300 0 94688 0
vsize: 379952
[startup+640.038 s]
Raw data (loadavg): 0.99 0.97 0.83 2/54 18797
Raw data (stat): 18797 (pb2sat) R 18796 10795 10794 0 -1 0 123280 0 0 0 63751 260 0 0 25 0 1 0 864100351 389070848 72285 4294967295 134512640 135726644 3221224592 3221223088 134743987 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 94988 72285 300 300 0 94688 0
vsize: 379952
[startup+650.038 s]
Raw data (loadavg): 0.99 0.97 0.83 2/54 18797
Raw data (stat): 18797 (pb2sat) R 18796 10795 10794 0 -1 0 123282 0 0 0 64751 260 0 0 25 0 1 0 864100351 389070848 72287 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 94988 72287 300 300 0 94688 0
vsize: 379952
[startup+660.039 s]
Raw data (loadavg): 0.99 0.97 0.83 2/54 18797
Raw data (stat): 18797 (pb2sat) R 18796 10795 10794 0 -1 0 123458 0 0 0 65751 260 0 0 25 0 1 0 864100351 389595136 72334 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 95116 72334 300 300 0 94816 0
vsize: 380464
[startup+670.039 s]
Raw data (loadavg): 0.99 0.97 0.83 2/54 18797
Raw data (stat): 18797 (pb2sat) R 18796 10795 10794 0 -1 0 123470 0 0 0 66751 261 0 0 25 0 1 0 864100351 389595136 72346 4294967295 134512640 135726644 3221224592 3221222912 134728892 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 95116 72346 300 300 0 94816 0
vsize: 380464
[startup+680.04 s]
Raw data (loadavg): 0.99 0.97 0.83 2/54 18797
Raw data (stat): 18797 (pb2sat) R 18796 10795 10794 0 -1 0 123473 0 0 0 67751 261 0 0 25 0 1 0 864100351 389595136 72349 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 95116 72349 300 300 0 94816 0
vsize: 380464
[startup+690.04 s]
Raw data (loadavg): 0.99 0.97 0.84 2/54 18797
Raw data (stat): 18797 (pb2sat) R 18796 10795 10794 0 -1 0 123512 0 0 0 68751 261 0 0 25 0 1 0 864100351 389595136 72388 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 95116 72388 300 300 0 94816 0
vsize: 380464
[startup+700.04 s]
Raw data (loadavg): 0.99 0.97 0.84 2/54 18797
Raw data (stat): 18797 (pb2sat) R 18796 10795 10794 0 -1 0 123538 0 0 0 69751 261 0 0 25 0 1 0 864100351 389595136 72414 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 95116 72414 300 300 0 94816 0
vsize: 380464
[startup+710.04 s]
Raw data (loadavg): 0.99 0.97 0.84 2/54 18797
Raw data (stat): 18797 (pb2sat) R 18796 10795 10794 0 -1 0 123694 0 0 0 70751 261 0 0 25 0 1 0 864100351 390119424 72441 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 95244 72441 300 300 0 94944 0
vsize: 380976
[startup+720.04 s]
Raw data (loadavg): 0.99 0.97 0.84 2/54 18797
Raw data (stat): 18797 (pb2sat) R 18796 10795 10794 0 -1 0 123737 0 0 0 71751 261 0 0 25 0 1 0 864100351 390119424 72484 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 95244 72484 300 300 0 94944 0
vsize: 380976
[startup+730.04 s]
Raw data (loadavg): 0.99 0.97 0.84 2/54 18797
Raw data (stat): 18797 (pb2sat) R 18796 10795 10794 0 -1 0 123946 0 0 0 72751 262 0 0 25 0 1 0 864100351 390643712 72564 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 95372 72564 300 300 0 95072 0
vsize: 381488
[startup+740.04 s]
Raw data (loadavg): 0.99 0.97 0.84 2/54 18797
Raw data (stat): 18797 (pb2sat) R 18796 10795 10794 0 -1 0 123949 0 0 0 73751 262 0 0 25 0 1 0 864100351 390643712 72567 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 95372 72567 300 300 0 95072 0
vsize: 381488
[startup+750.04 s]
Raw data (loadavg): 0.99 0.97 0.84 2/54 18797
Raw data (stat): 18797 (pb2sat) R 18796 10795 10794 0 -1 0 123952 0 0 0 74751 262 0 0 25 0 1 0 864100351 390643712 72570 4294967295 134512640 135726644 3221224592 3221223184 134760424 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 95372 72570 300 300 0 95072 0
vsize: 381488
[startup+760.042 s]
Raw data (loadavg): 0.99 0.97 0.84 2/54 18797
Raw data (stat): 18797 (pb2sat) R 18796 10795 10794 0 -1 0 123955 0 0 0 75751 262 0 0 25 0 1 0 864100351 390643712 72573 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 95372 72573 300 300 0 95072 0
vsize: 381488
[startup+770.042 s]
Raw data (loadavg): 0.99 0.97 0.84 2/54 18797
Raw data (stat): 18797 (pb2sat) R 18796 10795 10794 0 -1 0 123958 0 0 0 76751 262 0 0 25 0 1 0 864100351 390643712 72576 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 95372 72576 300 300 0 95072 0
vsize: 381488
[startup+780.042 s]
Raw data (loadavg): 0.99 0.97 0.84 2/54 18797
Raw data (stat): 18797 (pb2sat) R 18796 10795 10794 0 -1 0 123962 0 0 0 77751 262 0 0 25 0 1 0 864100351 390643712 72580 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 95372 72580 300 300 0 95072 0
vsize: 381488
[startup+790.043 s]
Raw data (loadavg): 0.99 0.97 0.85 2/54 18797
Raw data (stat): 18797 (pb2sat) R 18796 10795 10794 0 -1 0 123965 0 0 0 78752 262 0 0 25 0 1 0 864100351 390643712 72583 4294967295 134512640 135726644 3221224592 3221223072 134729188 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 95372 72583 300 300 0 95072 0
vsize: 381488
[startup+800.042 s]
Raw data (loadavg): 0.99 0.97 0.85 2/54 18797
Raw data (stat): 18797 (pb2sat) R 18796 10795 10794 0 -1 0 123969 0 0 0 79752 262 0 0 25 0 1 0 864100351 390643712 72587 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 95372 72587 300 300 0 95072 0
vsize: 381488
[startup+810.043 s]
Raw data (loadavg): 0.99 0.97 0.85 2/54 18797
Raw data (stat): 18797 (pb2sat) R 18796 10795 10794 0 -1 0 124016 0 0 0 80752 262 0 0 25 0 1 0 864100351 390643712 72634 4294967295 134512640 135726644 3221224592 3221223088 134744244 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 95372 72634 300 300 0 95072 0
vsize: 381488
[startup+820.044 s]
Raw data (loadavg): 0.99 0.97 0.85 2/54 18797
Raw data (stat): 18797 (pb2sat) R 18796 10795 10794 0 -1 0 124091 0 0 0 81752 263 0 0 25 0 1 0 864100351 390774784 72676 4294967295 134512640 135726644 3221224592 3221223216 134744676 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 95404 72676 300 300 0 95104 0
vsize: 381616
[startup+830.043 s]
Raw data (loadavg): 0.99 0.97 0.85 2/54 18797
Raw data (stat): 18797 (pb2sat) R 18796 10795 10794 0 -1 0 124095 0 0 0 82752 263 0 0 25 0 1 0 864100351 390774784 72680 4294967295 134512640 135726644 3221224592 3221222912 134728892 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 95404 72680 300 300 0 95104 0
vsize: 381616
[startup+840.043 s]
Raw data (loadavg): 0.99 0.97 0.85 2/54 18797
Raw data (stat): 18797 (pb2sat) R 18796 10795 10794 0 -1 0 124118 0 0 0 83752 263 0 0 25 0 1 0 864100351 390774784 72703 4294967295 134512640 135726644 3221224592 3221223216 134744603 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 95404 72703 300 300 0 95104 0
vsize: 381616
[startup+850.044 s]
Raw data (loadavg): 0.99 0.97 0.85 2/54 18797
Raw data (stat): 18797 (pb2sat) R 18796 10795 10794 0 -1 0 124147 0 0 0 84752 263 0 0 25 0 1 0 864100351 390774784 72732 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 95404 72732 300 300 0 95104 0
vsize: 381616
[startup+860.045 s]
Raw data (loadavg): 0.99 0.97 0.85 2/54 18797
Raw data (stat): 18797 (pb2sat) R 18796 10795 10794 0 -1 0 124591 0 0 0 85751 264 0 0 25 0 1 0 864100351 392359936 72981 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 95791 72981 300 300 0 95491 0
vsize: 383164
[startup+870.045 s]
Raw data (loadavg): 0.99 0.97 0.85 2/54 18797
Raw data (stat): 18797 (pb2sat) R 18796 10795 10794 0 -1 0 124995 0 0 0 86750 265 0 0 25 0 1 0 864100351 393945088 73190 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 96178 73190 300 300 0 95878 0
vsize: 384712
[startup+880.045 s]
Raw data (loadavg): 0.99 0.97 0.85 2/54 18797
Raw data (stat): 18797 (pb2sat) R 18796 10795 10794 0 -1 0 124999 0 0 0 87750 266 0 0 25 0 1 0 864100351 393945088 73194 4294967295 134512640 135726644 3221224592 3221222912 134728892 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 96178 73194 300 300 0 95878 0
vsize: 384712
[startup+890.045 s]
Raw data (loadavg): 0.99 0.97 0.85 2/54 18797
Raw data (stat): 18797 (pb2sat) R 18796 10795 10794 0 -1 0 125004 0 0 0 88750 266 0 0 25 0 1 0 864100351 393945088 73199 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 96178 73199 300 300 0 95878 0
vsize: 384712
[startup+900.045 s]
Raw data (loadavg): 0.99 0.97 0.86 2/54 18797
Raw data (stat): 18797 (pb2sat) R 18796 10795 10794 0 -1 0 125007 0 0 0 89750 266 0 0 25 0 1 0 864100351 393945088 73202 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 96178 73202 300 300 0 95878 0
vsize: 384712
[startup+910.046 s]
Raw data (loadavg): 0.99 0.97 0.86 2/54 18797
Raw data (stat): 18797 (pb2sat) R 18796 10795 10794 0 -1 0 125010 0 0 0 90751 266 0 0 25 0 1 0 864100351 393945088 73205 4294967295 134512640 135726644 3221224592 3221222912 134728892 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 96178 73205 300 300 0 95878 0
vsize: 384712
[startup+920.047 s]
Raw data (loadavg): 0.99 0.97 0.86 2/54 18797
Raw data (stat): 18797 (pb2sat) R 18796 10795 10794 0 -1 0 126424 0 0 0 91748 269 0 0 25 0 1 0 864100351 393945088 73206 4294967295 134512640 135726644 3221224592 3221223216 134779708 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 96178 73206 300 300 0 95878 0
vsize: 384712
[startup+930.047 s]
Raw data (loadavg): 0.99 0.97 0.86 2/54 18797
Raw data (stat): 18797 (pb2sat) R 18796 10795 10794 0 -1 0 126612 0 0 0 92747 269 0 0 25 0 1 0 864100351 394469376 73265 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 96306 73265 300 300 0 96006 0
vsize: 385224
[startup+940.048 s]
Raw data (loadavg): 0.99 0.97 0.86 2/54 18797
Raw data (stat): 18797 (pb2sat) R 18796 10795 10794 0 -1 0 126633 0 0 0 93747 269 0 0 25 0 1 0 864100351 394469376 73286 4294967295 134512640 135726644 3221224592 3221223180 134744135 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 96306 73286 300 300 0 96006 0
vsize: 385224
[startup+950.048 s]
Raw data (loadavg): 0.99 0.97 0.86 2/54 18797
Raw data (stat): 18797 (pb2sat) R 18796 10795 10794 0 -1 0 126768 0 0 0 94747 270 0 0 25 0 1 0 864100351 394993664 73292 4294967295 134512640 135726644 3221224592 3221223088 134744317 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 96434 73292 300 300 0 96134 0
vsize: 385736
[startup+960.049 s]
Raw data (loadavg): 0.99 0.97 0.86 2/54 18797
Raw data (stat): 18797 (pb2sat) R 18796 10795 10794 0 -1 0 126768 0 0 0 95747 270 0 0 25 0 1 0 864100351 394993664 73292 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 96434 73292 300 300 0 96134 0
vsize: 385736
[startup+970.05 s]
Raw data (loadavg): 0.99 0.97 0.86 2/54 18797
Raw data (stat): 18797 (pb2sat) R 18796 10795 10794 0 -1 0 126782 0 0 0 96747 270 0 0 25 0 1 0 864100351 394993664 73306 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 96434 73306 300 300 0 96134 0
vsize: 385736
[startup+980.049 s]
Raw data (loadavg): 0.99 0.97 0.86 2/54 18797
Raw data (stat): 18797 (pb2sat) R 18796 10795 10794 0 -1 0 126796 0 0 0 97747 270 0 0 25 0 1 0 864100351 394993664 73320 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 96434 73320 300 300 0 96134 0
vsize: 385736
[startup+990.05 s]
Raw data (loadavg): 0.99 0.97 0.86 2/54 18797
Raw data (stat): 18797 (pb2sat) R 18796 10795 10794 0 -1 0 127048 0 0 0 98747 270 0 0 25 0 1 0 864100351 396050432 73443 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 96692 73443 300 300 0 96392 0
vsize: 386768
[startup+1000.05 s]
Raw data (loadavg): 0.99 0.97 0.87 2/54 18797
Raw data (stat): 18797 (pb2sat) R 18796 10795 10794 0 -1 0 127049 0 0 0 99747 270 0 0 25 0 1 0 864100351 396050432 73444 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 96692 73444 300 300 0 96392 0
vsize: 386768
[startup+1010.05 s]
Raw data (loadavg): 0.99 0.97 0.87 2/54 18797
Raw data (stat): 18797 (pb2sat) R 18796 10795 10794 0 -1 0 127049 0 0 0 100747 271 0 0 25 0 1 0 864100351 396050432 73444 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 96692 73444 300 300 0 96392 0
vsize: 386768
[startup+1020.05 s]
Raw data (loadavg): 0.99 0.97 0.87 2/54 18797
Raw data (stat): 18797 (pb2sat) R 18796 10795 10794 0 -1 0 128465 0 0 0 101744 274 0 0 25 0 1 0 864100351 396050432 73447 4294967295 134512640 135726644 3221224592 3221222912 134728892 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 96692 73447 300 300 0 96392 0
vsize: 386768
[startup+1030.05 s]
Raw data (loadavg): 0.99 0.97 0.87 2/54 18797
Raw data (stat): 18797 (pb2sat) R 18796 10795 10794 0 -1 0 128465 0 0 0 102743 275 0 0 25 0 1 0 864100351 396050432 73447 4294967295 134512640 135726644 3221224592 3221223088 134743864 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 96692 73447 300 300 0 96392 0
vsize: 386768
[startup+1040.05 s]
Raw data (loadavg): 0.99 0.97 0.87 2/54 18797
Raw data (stat): 18797 (pb2sat) R 18796 10795 10794 0 -1 0 128467 0 0 0 103743 275 0 0 25 0 1 0 864100351 396050432 73449 4294967295 134512640 135726644 3221224592 3221223088 134743901 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 96692 73449 300 300 0 96392 0
vsize: 386768
[startup+1050.05 s]
Raw data (loadavg): 0.99 0.97 0.87 2/54 18797
Raw data (stat): 18797 (pb2sat) R 18796 10795 10794 0 -1 0 128507 0 0 0 104743 275 0 0 25 0 1 0 864100351 396050432 73489 4294967295 134512640 135726644 3221224592 3221223088 134744004 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 96692 73489 300 300 0 96392 0
vsize: 386768
[startup+1060.05 s]
Raw data (loadavg): 0.99 0.97 0.87 2/54 18797
Raw data (stat): 18797 (pb2sat) R 18796 10795 10794 0 -1 0 128507 0 0 0 105743 275 0 0 25 0 1 0 864100351 396050432 73489 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 96692 73489 300 300 0 96392 0
vsize: 386768
[startup+1070.05 s]
Raw data (loadavg): 0.99 0.97 0.87 2/54 18797
Raw data (stat): 18797 (pb2sat) R 18796 10795 10794 0 -1 0 128660 0 0 0 106743 275 0 0 25 0 1 0 864100351 396578816 73577 4294967295 134512640 135726644 3221224592 3221223184 134760010 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 96821 73577 300 300 0 96521 0
vsize: 387284
[startup+1080.05 s]
Raw data (loadavg): 0.99 0.97 0.87 2/54 18797
Raw data (stat): 18797 (pb2sat) R 18796 10795 10794 0 -1 0 128702 0 0 0 107744 275 0 0 25 0 1 0 864100351 396578816 73619 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 96821 73619 300 300 0 96521 0
vsize: 387284
[startup+1090.05 s]
Raw data (loadavg): 0.99 0.97 0.87 2/54 18797
Raw data (stat): 18797 (pb2sat) R 18796 10795 10794 0 -1 0 129494 0 0 0 108742 277 0 0 25 0 1 0 864100351 399216640 74022 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 97465 74022 300 300 0 97165 0
vsize: 389860
[startup+1100.05 s]
Raw data (loadavg): 0.99 0.97 0.88 2/54 18797
Raw data (stat): 18797 (pb2sat) R 18796 10795 10794 0 -1 0 129665 0 0 0 109742 277 0 0 25 0 1 0 864100351 399745024 74128 4294967295 134512640 135726644 3221224592 3221222912 134728892 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 97594 74128 300 300 0 97294 0
vsize: 390376
[startup+1110.06 s]
Raw data (loadavg): 0.99 0.97 0.88 2/54 18797
Raw data (stat): 18797 (pb2sat) R 18796 10795 10794 0 -1 0 129666 0 0 0 110742 277 0 0 25 0 1 0 864100351 399745024 74129 4294967295 134512640 135726644 3221224592 3221223104 134742198 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 97594 74129 300 300 0 97294 0
vsize: 390376
[startup+1120.06 s]
Raw data (loadavg): 0.99 0.97 0.88 2/54 18797
Raw data (stat): 18797 (pb2sat) R 18796 10795 10794 0 -1 0 131080 0 0 0 111738 281 0 0 25 0 1 0 864100351 399745024 74130 4294967295 134512640 135726644 3221224592 3221223200 134744639 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 97594 74130 300 300 0 97294 0
vsize: 390376
[startup+1130.06 s]
Raw data (loadavg): 0.99 0.97 0.88 2/54 18797
Raw data (stat): 18797 (pb2sat) R 18796 10795 10794 0 -1 0 131081 0 0 0 112738 281 0 0 25 0 1 0 864100351 399745024 74131 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 97594 74131 300 300 0 97294 0
vsize: 390376
[startup+1140.06 s]
Raw data (loadavg): 0.99 0.97 0.88 2/54 18797
Raw data (stat): 18797 (pb2sat) R 18796 10795 10794 0 -1 0 131096 0 0 0 113738 281 0 0 25 0 1 0 864100351 399745024 74146 4294967295 134512640 135726644 3221224592 3221223088 134744235 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 97594 74146 300 300 0 97294 0
vsize: 390376
[startup+1150.06 s]
Raw data (loadavg): 0.99 0.97 0.88 2/54 18797
Raw data (stat): 18797 (pb2sat) R 18796 10795 10794 0 -1 0 131230 0 0 0 114738 282 0 0 25 0 1 0 864100351 400269312 74151 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 97722 74151 300 300 0 97422 0
vsize: 390888
[startup+1160.06 s]
Raw data (loadavg): 0.99 0.97 0.88 2/54 18797
Raw data (stat): 18797 (pb2sat) R 18796 10795 10794 0 -1 0 131394 0 0 0 115738 282 0 0 25 0 1 0 864100351 400793600 74186 4294967295 134512640 135726644 3221224592 3221223248 134731248 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 97850 74186 300 300 0 97550 0
vsize: 391400
[startup+1170.06 s]
Raw data (loadavg): 0.99 0.97 0.88 2/54 18797
Raw data (stat): 18797 (pb2sat) R 18796 10795 10794 0 -1 0 131619 0 0 0 116737 283 0 0 25 0 1 0 864100351 401317888 74282 4294967295 134512640 135726644 3221224592 3221223088 134744039 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 97978 74282 300 300 0 97678 0
vsize: 391912
[startup+1180.06 s]
Raw data (loadavg): 0.99 0.97 0.88 2/54 18797
Raw data (stat): 18797 (pb2sat) R 18796 10795 10794 0 -1 0 131620 0 0 0 117737 283 0 0 25 0 1 0 864100351 401317888 74283 4294967295 134512640 135726644 3221224592 3221223088 134743901 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 97978 74283 300 300 0 97678 0
vsize: 391912
[startup+1190.06 s]
Raw data (loadavg): 0.99 0.97 0.88 2/54 18797
Raw data (stat): 18797 (pb2sat) R 18796 10795 10794 0 -1 0 131634 0 0 0 118738 283 0 0 25 0 1 0 864100351 401317888 74297 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 97978 74297 300 300 0 97678 0
vsize: 391912
[startup+1200.06 s]
Raw data (loadavg): 0.99 0.97 0.89 2/54 18797
Raw data (stat): 18797 (pb2sat) R 18796 10795 10794 0 -1 0 131635 0 0 0 119738 283 0 0 25 0 1 0 864100351 401317888 74298 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 97978 74298 300 300 0 97678 0
vsize: 391912
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1202.2 s]
Raw data (loadavg): 0.99 0.97 0.89 1/53 18797
Raw data (stat): 18797 (pb2sat) R 18796 10795 10794 0 -1 0 131635 0 0 0 119738 283 0 0 25 0 1 0 864100351 401317888 74298 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 97978 74298 300 300 0 97678 0
vsize: 0

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1202.2
CPU time (s): 1202.36
CPU user time (s): 1199.39
CPU system time (s): 2.97255
CPU usage (%): 100.013
Max. virtual memory (Kb): 391912
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####