PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-13-7/plato.asu.edu/pub/unibo/normalized-mps-v2-13-7-sp97ic.opb
MD5SUM	e8862b41c9b4f49ec8d11d1df0495e74
Bench Category	optimization, big integers (OPTBIGINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	2147483647
Optimality of the best value was proved	NO
Number of terms in the objective function	12497
Biggest coefficient in the objective function	1010107916
Number of bits for the biggest coefficient in the objective function	30
Sum of the numbers in the objective function	3093137085579
Number of bits of the sum of numbers in the objective function	42
Biggest number in a constraint	1010107916
Number of bits of the biggest number in a constraint	30
Biggest sum of numbers in a constraint	3093137085579
Number of bits of the biggest sum of numbers	42
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	11.8052
Number of variables	12497
Total number of constraints	13530
Number of constraints which are clauses	41
Number of constraints which are cardinality constraints (but not clauses)	13312
Number of constraints which are nor clauses,nor cardinality constraints	177
Minimum length of a constraint	1
Maximum length of a constraint	6739
Trace number 25181

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-17 08:53:56 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=20242 boxname=wulflinc31 idbench=1558 idsolver=1 numberseed=0
MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef  /oldhome/oroussel/solvers/bsolo_lpr
MD5SUM BENCH:  e8862b41c9b4f49ec8d11d1df0495e74  /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-sp97ic.opb
REAL COMMAND:  bsolo_lpr /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-sp97ic.opb
IDLAUNCH: 20242
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.153
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	: 3
cpu MHz		: 451.153
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	: 901.12

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        711680 kB
Buffers:         21220 kB
Cached:         273744 kB
SwapCached:       1040 kB
Active:          83964 kB
Inactive:       219048 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        711428 kB
SwapTotal:     2097892 kB
SwapFree:      2096060 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5380 kB
Slab:            14308 kB
Committed_AS:    63860 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-17 09:14:00 (client local time) WITH STATUS 0 IN 1200.69 SECONDS
stats: 20242 7 1200.69 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 12497 variables and 1033 constraints.
c After prepocess the problem consists of 12497 variables and 1018 constraints.
c preprocess terminated 531.993 s
c Initial Lower Bound: -2147483648
c Lower Bound Elapsed time: 27.637
c Not use computed LB before first solution.
c NEW SOLUTION FOUND: -1452893474 @ 595.364
c NEW SOLUTION FOUND: -2147483648 @ 595.487
#### 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
Raw data (loadavg): 1.07 0.99 0.97 2/55 24625
Raw data (stat): 24625 (runsolver) R 24624 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 768445794 1056768 100 4294967295 134512640 135381576 3221221680 3221216900 135158418 0 2147483391 1 90112 0 0 0 17 1 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10.0002 s]
Raw data (loadavg): 1.06 0.99 0.97 2/55 24625
Raw data (stat): 24625 (bsolo_lpr) R 24624 7876 7672 0 -1 0 22667 0 0 0 948 47 0 0 25 0 1 0 768445794 105824256 22590 4294967295 134512640 134714508 3221221776 3221220004 1077414432 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25836 22590 1111 63 0 25773 0
vsize: 103344
[startup+20.0011 s]
Raw data (loadavg): 1.05 0.99 0.97 2/55 24625
Raw data (stat): 24625 (bsolo_lpr) R 24624 7876 7672 0 -1 0 44143 0 0 0 1911 84 0 0 25 0 1 0 768445794 193740800 44066 4294967295 134512640 134714508 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 47300 44066 1111 63 0 47237 0
vsize: 189200
[startup+30.0021 s]
Raw data (loadavg): 1.04 0.99 0.97 2/55 24625
Raw data (stat): 24625 (bsolo_lpr) R 24624 7876 7672 0 -1 0 65330 0 0 0 2876 120 0 0 25 0 1 0 768445794 280481792 65253 4294967295 134512640 134714508 3221221776 3221220004 1077414435 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 68477 65253 1111 63 0 68414 0
vsize: 273908
[startup+40.003 s]
Raw data (loadavg): 1.04 0.99 0.97 2/55 24625
Raw data (stat): 24625 (bsolo_lpr) R 24624 7876 7672 0 -1 0 76939 0 0 0 3855 140 0 0 25 0 1 0 768445794 328142848 76862 4294967295 134512640 134714508 3221221776 3221220064 134566780 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 80113 76862 1111 63 0 80050 0
vsize: 320452
[startup+50.004 s]
Raw data (loadavg): 1.03 0.99 0.97 2/55 24625
Raw data (stat): 24625 (bsolo_lpr) R 24624 7876 7672 0 -1 0 77340 0 0 0 4854 141 0 0 25 0 1 0 768445794 329818112 77260 4294967295 134512640 134714508 3221221776 3221220052 1077414357 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 80522 77260 1111 63 0 80459 0
vsize: 322088
[startup+60.0037 s]
Raw data (loadavg): 1.03 0.99 0.97 2/55 24625
Raw data (stat): 24625 (bsolo_lpr) R 24624 7876 7672 0 -1 0 77974 0 0 0 5852 143 0 0 25 0 1 0 768445794 332574720 77893 4294967295 134512640 134714508 3221221776 3221218232 1077298523 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 81195 77893 1111 63 0 81132 0
vsize: 324780
[startup+70.0045 s]
Raw data (loadavg): 1.02 0.99 0.97 2/55 24625
Raw data (stat): 24625 (bsolo_lpr) R 24624 7876 7672 0 -1 0 78653 0 0 0 6851 145 0 0 25 0 1 0 768445794 335450112 78571 4294967295 134512640 134714508 3221221776 3221220060 1077399562 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 81897 78571 1111 63 0 81834 0
vsize: 327588
[startup+80.0047 s]
Raw data (loadavg): 1.02 0.99 0.97 2/55 24625
Raw data (stat): 24625 (bsolo_lpr) R 24624 7876 7672 0 -1 0 79304 0 0 0 7848 147 0 0 25 0 1 0 768445794 338214912 79221 4294967295 134512640 134714508 3221221776 3221220052 1077414433 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 82572 79221 1111 63 0 82509 0
vsize: 330288
[startup+90.0054 s]
Raw data (loadavg): 1.01 0.99 0.97 2/55 24625
Raw data (stat): 24625 (bsolo_lpr) R 24624 7876 7672 0 -1 0 80071 0 0 0 8846 149 0 0 25 0 1 0 768445794 341348352 79988 4294967295 134512640 134714508 3221221776 3221220052 1077414370 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 83337 79988 1111 63 0 83274 0
vsize: 333348
[startup+100.005 s]
Raw data (loadavg): 1.01 0.99 0.97 2/55 24625
Raw data (stat): 24625 (bsolo_lpr) R 24624 7876 7672 0 -1 0 80837 0 0 0 9844 151 0 0 25 0 1 0 768445794 344657920 80750 4294967295 134512640 134714508 3221221776 3221220060 1077399562 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 84145 80750 1111 63 0 84082 0
vsize: 336580
[startup+110.007 s]
Raw data (loadavg): 1.01 0.99 0.97 2/55 24625
Raw data (stat): 24625 (bsolo_lpr) R 24624 7876 7672 0 -1 0 81509 0 0 0 10843 152 0 0 25 0 1 0 768445794 347541504 81421 4294967295 134512640 134714508 3221221776 3221220052 1077414435 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 84849 81421 1111 63 0 84786 0
vsize: 339396
[startup+120.008 s]
Raw data (loadavg): 1.01 0.99 0.97 2/55 24625
Raw data (stat): 24625 (bsolo_lpr) R 24624 7876 7672 0 -1 0 82247 0 0 0 11841 155 0 0 25 0 1 0 768445794 350576640 82157 4294967295 134512640 134714508 3221221776 3221220052 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 85590 82157 1111 63 0 85527 0
vsize: 342360
[startup+130.008 s]
Raw data (loadavg): 1.01 0.99 0.97 2/55 24625
Raw data (stat): 24625 (bsolo_lpr) R 24624 7876 7672 0 -1 0 83400 0 0 0 12838 158 0 0 25 0 1 0 768445794 345640960 83241 4294967295 134512640 134714508 3221221776 3221220220 134536766 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 84385 83241 1111 63 0 84322 0
vsize: 337540
[startup+140.009 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 24625
Raw data (stat): 24625 (bsolo_lpr) R 24624 7876 7672 0 -1 0 83475 0 0 0 13837 158 0 0 25 0 1 0 768445794 345911296 83316 4294967295 134512640 134714508 3221221776 3221220220 134535895 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 84451 83316 1111 63 0 84388 0
vsize: 337804
[startup+150.01 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 24625
Raw data (stat): 24625 (bsolo_lpr) R 24624 7876 7672 0 -1 0 83534 0 0 0 14838 158 0 0 25 0 1 0 768445794 346185728 83375 4294967295 134512640 134714508 3221221776 3221220404 134594953 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 84518 83375 1111 63 0 84455 0
vsize: 338072
[startup+160.01 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 24625
Raw data (stat): 24625 (bsolo_lpr) R 24624 7876 7672 0 -1 0 83566 0 0 0 15838 158 0 0 25 0 1 0 768445794 346320896 83407 4294967295 134512640 134714508 3221221776 3221220240 134543030 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 84551 83407 1111 63 0 84488 0
vsize: 338204
[startup+170.011 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 24625
Raw data (stat): 24625 (bsolo_lpr) R 24624 7876 7672 0 -1 0 83624 0 0 0 16838 159 0 0 25 0 1 0 768445794 346591232 83465 4294967295 134512640 134714508 3221221776 3221220220 134535900 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 84617 83465 1111 63 0 84554 0
vsize: 338468
[startup+180.011 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 24625
Raw data (stat): 24625 (bsolo_lpr) R 24624 7876 7672 0 -1 0 83733 0 0 0 17837 159 0 0 25 0 1 0 768445794 346996736 83574 4294967295 134512640 134714508 3221221776 3221220528 134630795 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 84716 83574 1111 63 0 84653 0
vsize: 338864
[startup+190.012 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 24625
Raw data (stat): 24625 (bsolo_lpr) R 24624 7876 7672 0 -1 0 83776 0 0 0 18837 159 0 0 25 0 1 0 768445794 347131904 83617 4294967295 134512640 134714508 3221221776 3221220528 134630792 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 84749 83617 1111 63 0 84686 0
vsize: 338996
[startup+200.012 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 24625
Raw data (stat): 24625 (bsolo_lpr) R 24624 7876 7672 0 -1 0 83823 0 0 0 19837 159 0 0 25 0 1 0 768445794 347402240 83664 4294967295 134512640 134714508 3221221776 3221220220 134535895 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 84815 83664 1111 63 0 84752 0
vsize: 339260
[startup+210.011 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 24625
Raw data (stat): 24625 (bsolo_lpr) R 24624 7876 7672 0 -1 0 83898 0 0 0 20837 160 0 0 25 0 1 0 768445794 347672576 83739 4294967295 134512640 134714508 3221221776 3221220368 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 84881 83739 1111 63 0 84818 0
vsize: 339524
[startup+220.013 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 24625
Raw data (stat): 24625 (bsolo_lpr) R 24624 7876 7672 0 -1 0 83960 0 0 0 21837 160 0 0 25 0 1 0 768445794 347942912 83801 4294967295 134512640 134714508 3221221776 3221220240 134543097 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 84947 83801 1111 63 0 84884 0
vsize: 339788
[startup+230.012 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 24625
Raw data (stat): 24625 (bsolo_lpr) R 24624 7876 7672 0 -1 0 84020 0 0 0 22837 160 0 0 25 0 1 0 768445794 348213248 83861 4294967295 134512640 134714508 3221221776 3221220220 134535959 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 85013 83861 1111 63 0 84950 0
vsize: 340052
[startup+240.013 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 24625
Raw data (stat): 24625 (bsolo_lpr) R 24624 7876 7672 0 -1 0 84088 0 0 0 23837 160 0 0 25 0 1 0 768445794 348483584 83929 4294967295 134512640 134714508 3221221776 3221220220 134536766 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 85079 83929 1111 63 0 85016 0
vsize: 340316
[startup+250.013 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 24625
Raw data (stat): 24625 (bsolo_lpr) R 24624 7876 7672 0 -1 0 84147 0 0 0 24837 160 0 0 25 0 1 0 768445794 348618752 83988 4294967295 134512640 134714508 3221221776 3221220528 134630792 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 85112 83988 1111 63 0 85049 0
vsize: 340448
[startup+260.014 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 24625
Raw data (stat): 24625 (bsolo_lpr) R 24624 7876 7672 0 -1 0 84190 0 0 0 25837 160 0 0 25 0 1 0 768445794 348889088 84031 4294967295 134512640 134714508 3221221776 3221220240 134543030 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 85178 84031 1111 63 0 85115 0
vsize: 340712
[startup+270.014 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 24625
Raw data (stat): 24625 (bsolo_lpr) R 24624 7876 7672 0 -1 0 84214 0 0 0 26838 160 0 0 25 0 1 0 768445794 349024256 84055 4294967295 134512640 134714508 3221221776 3221220248 134543020 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 85211 84055 1111 63 0 85148 0
vsize: 340844
[startup+280.014 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 24625
Raw data (stat): 24625 (bsolo_lpr) R 24624 7876 7672 0 -1 0 84241 0 0 0 27838 160 0 0 25 0 1 0 768445794 349024256 84082 4294967295 134512640 134714508 3221221776 3221220220 134535900 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 85211 84082 1111 63 0 85148 0
vsize: 340844
[startup+290.015 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 24625
Raw data (stat): 24625 (bsolo_lpr) R 24624 7876 7672 0 -1 0 84268 0 0 0 28838 160 0 0 25 0 1 0 768445794 349159424 84109 4294967295 134512640 134714508 3221221776 3221220240 134543097 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 85244 84109 1111 63 0 85181 0
vsize: 340976
[startup+300.015 s]
Raw data (loadavg): 1.07 1.00 0.97 2/55 24625
Raw data (stat): 24625 (bsolo_lpr) R 24624 7876 7672 0 -1 0 84322 0 0 0 29838 160 0 0 25 0 1 0 768445794 349429760 84163 4294967295 134512640 134714508 3221221776 3221220256 134543113 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 85310 84163 1111 63 0 85247 0
vsize: 341240
[startup+310.015 s]
Raw data (loadavg): 1.06 1.00 0.97 2/55 24625
Raw data (stat): 24625 (bsolo_lpr) R 24624 7876 7672 0 -1 0 84384 0 0 0 30838 161 0 0 25 0 1 0 768445794 349700096 84225 4294967295 134512640 134714508 3221221776 3221220220 134536766 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 85376 84225 1111 63 0 85313 0
vsize: 341504
[startup+320.016 s]
Raw data (loadavg): 1.05 1.00 0.97 2/55 24625
Raw data (stat): 24625 (bsolo_lpr) R 24624 7876 7672 0 -1 0 84421 0 0 0 31838 161 0 0 25 0 1 0 768445794 349835264 84262 4294967295 134512640 134714508 3221221776 3221220220 134535900 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 85409 84262 1111 63 0 85346 0
vsize: 341636
[startup+330.016 s]
Raw data (loadavg): 1.04 1.00 0.97 2/55 24625
Raw data (stat): 24625 (bsolo_lpr) R 24624 7876 7672 0 -1 0 84482 0 0 0 32838 161 0 0 25 0 1 0 768445794 350105600 84323 4294967295 134512640 134714508 3221221776 3221220220 134535928 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 85475 84323 1111 63 0 85412 0
vsize: 341900
[startup+340.017 s]
Raw data (loadavg): 1.04 1.00 0.97 2/55 24625
Raw data (stat): 24625 (bsolo_lpr) R 24624 7876 7672 0 -1 0 84563 0 0 0 33838 161 0 0 25 0 1 0 768445794 350375936 84404 4294967295 134512640 134714508 3221221776 3221220528 134630792 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 85541 84404 1111 63 0 85478 0
vsize: 342164
[startup+350.017 s]
Raw data (loadavg): 1.03 1.00 0.97 2/55 24625
Raw data (stat): 24625 (bsolo_lpr) R 24624 7876 7672 0 -1 0 84626 0 0 0 34838 162 0 0 25 0 1 0 768445794 350646272 84467 4294967295 134512640 134714508 3221221776 3221220220 134536766 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 85607 84467 1111 63 0 85544 0
vsize: 342428
[startup+360.016 s]
Raw data (loadavg): 1.02 1.00 0.97 2/55 24625
Raw data (stat): 24625 (bsolo_lpr) R 24624 7876 7672 0 -1 0 84704 0 0 0 35838 162 0 0 25 0 1 0 768445794 350916608 84545 4294967295 134512640 134714508 3221221776 3221220220 134535900 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 85673 84545 1111 63 0 85610 0
vsize: 342692
[startup+370.017 s]
Raw data (loadavg): 1.02 1.00 0.97 2/56 24626
Raw data (stat): 24625 (bsolo_lpr) R 24624 7876 7672 0 -1 0 84726 0 0 0 36838 162 0 0 25 0 1 0 768445794 351051776 84567 4294967295 134512640 134714508 3221221776 3221220220 134535900 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 85706 84567 1111 63 0 85643 0
vsize: 342824
[startup+380.183 s]
Raw data (loadavg): 1.09 1.02 0.98 2/59 24668
Raw data (stat): 24625 (bsolo_lpr) R 24624 7876 7672 0 -1 0 84752 0 0 0 37854 162 0 0 25 0 1 0 768445794 351186944 84593 4294967295 134512640 134714508 3221221776 3221220252 134539306 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 85739 84593 1111 63 0 85676 0
vsize: 342956
[startup+390.369 s]
Raw data (loadavg): 1.23 1.05 0.99 2/55 24678
Raw data (stat): 24625 (bsolo_lpr) R 24624 7876 7672 0 -1 0 84833 0 0 0 38873 163 0 0 25 0 1 0 768445794 351457280 84674 4294967295 134512640 134714508 3221221776 3221220220 134536825 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 85805 84674 1111 63 0 85742 0
vsize: 343220
[startup+400.369 s]
Raw data (loadavg): 1.19 1.05 0.99 2/55 24678
Raw data (stat): 24625 (bsolo_lpr) R 24624 7876 7672 0 -1 0 84871 0 0 0 39873 163 0 0 25 0 1 0 768445794 351592448 84712 4294967295 134512640 134714508 3221221776 3221220220 134536784 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 85838 84712 1111 63 0 85775 0
vsize: 343352
[startup+410.369 s]
Raw data (loadavg): 1.16 1.04 0.99 2/55 24678
Raw data (stat): 24625 (bsolo_lpr) R 24624 7876 7672 0 -1 0 84919 0 0 0 40873 163 0 0 25 0 1 0 768445794 351862784 84760 4294967295 134512640 134714508 3221221776 3221220256 134543110 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 85904 84760 1111 63 0 85841 0
vsize: 343616
[startup+420.369 s]
Raw data (loadavg): 1.14 1.04 0.99 2/55 24678
Raw data (stat): 24625 (bsolo_lpr) R 24624 7876 7672 0 -1 0 84989 0 0 0 41873 163 0 0 25 0 1 0 768445794 352133120 84830 4294967295 134512640 134714508 3221221776 3221220504 134672932 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 85970 84830 1111 63 0 85907 0
vsize: 343880
[startup+430.37 s]
Raw data (loadavg): 1.12 1.04 0.99 2/55 24678
Raw data (stat): 24625 (bsolo_lpr) R 24624 7876 7672 0 -1 0 85022 0 0 0 42873 164 0 0 25 0 1 0 768445794 352133120 84863 4294967295 134512640 134714508 3221221776 3221220236 134535988 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 85970 84863 1111 63 0 85907 0
vsize: 343880
[startup+440.371 s]
Raw data (loadavg): 1.10 1.04 0.99 2/55 24678
Raw data (stat): 24625 (bsolo_lpr) R 24624 7876 7672 0 -1 0 85064 0 0 0 43873 164 0 0 25 0 1 0 768445794 352403456 84905 4294967295 134512640 134714508 3221221776 3221220220 134536784 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 86036 84905 1111 63 0 85973 0
vsize: 344144
[startup+450.371 s]
Raw data (loadavg): 1.08 1.04 0.99 2/55 24680
Raw data (stat): 24625 (bsolo_lpr) R 24624 7876 7672 0 -1 0 85114 0 0 0 44872 164 0 0 25 0 1 0 768445794 352538624 84955 4294967295 134512640 134714508 3221221776 3221220244 134543025 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 86069 84955 1111 63 0 86006 0
vsize: 344276
[startup+460.371 s]
Raw data (loadavg): 1.07 1.03 0.99 2/55 24680
Raw data (stat): 24625 (bsolo_lpr) R 24624 7876 7672 0 -1 0 85190 0 0 0 45872 165 0 0 25 0 1 0 768445794 352808960 85031 4294967295 134512640 134714508 3221221776 3221220268 134543588 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 86135 85031 1111 63 0 86072 0
vsize: 344540
[startup+470.371 s]
Raw data (loadavg): 1.06 1.03 0.99 2/55 24680
Raw data (stat): 24625 (bsolo_lpr) R 24624 7876 7672 0 -1 0 85253 0 0 0 46872 165 0 0 25 0 1 0 768445794 353079296 85094 4294967295 134512640 134714508 3221221776 3221220220 134536766 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 86201 85094 1111 63 0 86138 0
vsize: 344804
[startup+480.372 s]
Raw data (loadavg): 1.05 1.03 0.99 2/55 24680
Raw data (stat): 24625 (bsolo_lpr) R 24624 7876 7672 0 -1 0 85310 0 0 0 47872 165 0 0 25 0 1 0 768445794 353353728 85151 4294967295 134512640 134714508 3221221776 3221220436 134627197 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 86268 85151 1111 63 0 86205 0
vsize: 345072
[startup+490.373 s]
Raw data (loadavg): 1.04 1.03 0.99 2/55 24680
Raw data (stat): 24625 (bsolo_lpr) R 24624 7876 7672 0 -1 0 85315 0 0 0 48872 165 0 0 25 0 1 0 768445794 353353728 85156 4294967295 134512640 134714508 3221221776 3221220448 134627187 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 86268 85156 1111 63 0 86205 0
vsize: 345072
[startup+500.377 s]
Raw data (loadavg): 1.03 1.03 0.99 2/55 24680
Raw data (stat): 24625 (bsolo_lpr) R 24624 7876 7672 0 -1 0 85319 0 0 0 49873 165 0 0 25 0 1 0 768445794 353353728 85160 4294967295 134512640 134714508 3221221776 3221220436 134627197 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 86268 85160 1111 63 0 86205 0
vsize: 345072
[startup+510.377 s]
Raw data (loadavg): 1.03 1.03 0.99 2/55 24680
Raw data (stat): 24625 (bsolo_lpr) R 24624 7876 7672 0 -1 0 85323 0 0 0 50873 165 0 0 25 0 1 0 768445794 353353728 85164 4294967295 134512640 134714508 3221221776 3221220448 134627187 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 86268 85164 1111 63 0 86205 0
vsize: 345072
[startup+520.378 s]
Raw data (loadavg): 1.02 1.03 0.99 2/55 24680
Raw data (stat): 24625 (bsolo_lpr) R 24624 7876 7672 0 -1 0 85328 0 0 0 51873 166 0 0 25 0 1 0 768445794 353353728 85169 4294967295 134512640 134714508 3221221776 3221220448 134627187 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 86268 85169 1111 63 0 86205 0
vsize: 345072
[startup+530.378 s]
Raw data (loadavg): 1.02 1.02 0.99 2/55 24680
Raw data (stat): 24625 (bsolo_lpr) R 24624 7876 7672 0 -1 0 85331 0 0 0 52873 166 0 0 25 0 1 0 768445794 353353728 85172 4294967295 134512640 134714508 3221221776 3221220448 134627187 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 86268 85172 1111 63 0 86205 0
vsize: 345072
[startup+540.379 s]
Raw data (loadavg): 1.02 1.02 0.99 2/55 24680
Raw data (stat): 24625 (bsolo_lpr) R 24624 7876 7672 0 -1 0 86671 0 0 0 53869 169 0 0 25 0 1 0 768445794 358895616 86498 4294967295 134512640 134714508 3221221776 3221219952 1074153792 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 87621 86498 1111 63 0 87558 0
vsize: 350484
[startup+550.38 s]
Raw data (loadavg): 1.01 1.02 0.99 2/55 24680
Raw data (stat): 24625 (bsolo_lpr) R 24624 7876 7672 0 -1 0 89756 0 0 0 54863 176 0 0 25 0 1 0 768445794 367513600 88642 4294967295 134512640 134714508 3221221776 3221219696 1074916565 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 89725 88642 1111 63 0 89662 0
vsize: 358900
[startup+560.38 s]
Raw data (loadavg): 1.01 1.02 0.99 2/55 24680
Raw data (stat): 24625 (bsolo_lpr) R 24624 7876 7672 0 -1 0 96097 0 0 0 55850 189 0 0 25 0 1 0 768445794 360775680 87083 4294967295 134512640 134714508 3221221776 3221220176 1074031958 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 88080 87083 1111 63 0 88017 0
vsize: 352320
[startup+570.381 s]
Raw data (loadavg): 1.01 1.02 0.99 2/55 24680
Raw data (stat): 24625 (bsolo_lpr) R 24624 7876 7672 0 -1 0 96296 0 0 0 56849 190 0 0 25 0 1 0 768445794 360955904 87150 4294967295 134512640 134714508 3221221776 3221220224 134648174 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 88124 87150 1111 63 0 88061 0
vsize: 352496
[startup+580.381 s]
Raw data (loadavg): 1.01 1.02 0.99 2/55 24680
Raw data (stat): 24625 (bsolo_lpr) R 24624 7876 7672 0 -1 0 105285 0 0 0 57830 209 0 0 25 0 1 0 768445794 361603072 87286 4294967295 134512640 134714508 3221221776 3221220000 1074039235 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 88282 87286 1111 63 0 88219 0
vsize: 353128
[startup+590.382 s]
Raw data (loadavg): 1.01 1.02 0.99 2/55 24680
Raw data (stat): 24625 (bsolo_lpr) R 24624 7876 7672 0 -1 0 105285 0 0 0 58829 210 0 0 25 0 1 0 768445794 361603072 87286 4294967295 134512640 134714508 3221221776 3221220616 134600241 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 88282 87286 1111 63 0 88219 0
vsize: 353128
[startup+600.383 s]
Raw data (loadavg): 1.00 1.02 0.99 2/55 24680
Raw data (stat): 24625 (bsolo_lpr) R 24624 7876 7672 0 -1 0 117397 0 0 0 59803 236 0 0 25 0 1 0 768445794 358150144 86283 4294967295 134512640 134714508 3221221776 3221219720 1077410279 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 87439 86283 1111 63 0 87376 0
vsize: 349756
[startup+610.383 s]
Raw data (loadavg): 1.00 1.02 0.99 2/55 24680
Raw data (stat): 24625 (bsolo_lpr) R 24624 7876 7672 0 -1 0 135413 0 0 0 60763 276 0 0 25 0 1 0 768445794 357404672 86294 4294967295 134512640 134714508 3221221776 3221219520 1075640247 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 87257 86294 1111 63 0 87194 0
vsize: 349028
[startup+620.384 s]
Raw data (loadavg): 1.00 1.02 0.99 2/55 24680
Raw data (stat): 24625 (bsolo_lpr) R 24624 7876 7672 0 -1 0 147905 0 0 0 61735 304 0 0 25 0 1 0 768445794 357580800 86337 4294967295 134512640 134714508 3221221776 3221219504 1075635463 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 87300 86337 1111 63 0 87237 0
vsize: 349200
[startup+630.385 s]
Raw data (loadavg): 1.00 1.02 0.99 2/55 24680
Raw data (stat): 24625 (bsolo_lpr) R 24624 7876 7672 0 -1 0 158131 0 0 0 62713 326 0 0 25 0 1 0 768445794 357457920 86307 4294967295 134512640 134714508 3221221776 3221220032 1074153663 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 87270 86307 1111 63 0 87207 0
vsize: 349080
[startup+640.385 s]
Raw data (loadavg): 1.00 1.01 0.99 2/55 24680
Raw data (stat): 24625 (bsolo_lpr) R 24624 7876 7672 0 -1 0 167348 0 0 0 63694 346 0 0 25 0 1 0 768445794 357793792 86353 4294967295 134512640 134714508 3221221776 3221219520 1075640257 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 87352 86353 1111 63 0 87289 0
vsize: 349408
[startup+650.385 s]
Raw data (loadavg): 1.00 1.01 0.99 2/55 24680
Raw data (stat): 24625 (bsolo_lpr) R 24624 7876 7672 0 -1 0 175608 0 0 0 64674 366 0 0 25 0 1 0 768445794 357457920 86307 4294967295 134512640 134714508 3221221776 3221220040 1077410279 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 87270 86307 1111 63 0 87207 0
vsize: 349080
[startup+660.385 s]
Raw data (loadavg): 1.00 1.01 0.99 2/55 24680
Raw data (stat): 24625 (bsolo_lpr) R 24624 7876 7672 0 -1 0 181123 0 0 0 65660 380 0 0 25 0 1 0 768445794 358539264 86424 4294967295 134512640 134714508 3221221776 3221219504 1075828224 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 87534 86424 1111 63 0 87471 0
vsize: 350136
[startup+670.386 s]
Raw data (loadavg): 1.00 1.01 0.99 2/55 24680
Raw data (stat): 24625 (bsolo_lpr) R 24624 7876 7672 0 -1 0 186397 0 0 0 66649 391 0 0 25 0 1 0 768445794 357703680 86367 4294967295 134512640 134714508 3221221776 3221219944 1074138155 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 87330 86367 1111 63 0 87267 0
vsize: 349320
[startup+680.386 s]
Raw data (loadavg): 1.00 1.01 0.99 2/55 24680
Raw data (stat): 24625 (bsolo_lpr) R 24624 7876 7672 0 -1 0 191250 0 0 0 67639 402 0 0 25 0 1 0 768445794 357703680 86367 4294967295 134512640 134714508 3221221776 3221220064 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 87330 86367 1111 63 0 87267 0
vsize: 349320
[startup+690.389 s]
Raw data (loadavg): 1.00 1.01 0.99 2/55 24680
Raw data (stat): 24625 (bsolo_lpr) R 24624 7876 7672 0 -1 0 196070 0 0 0 68627 414 0 0 25 0 1 0 768445794 357707776 86368 4294967295 134512640 134714508 3221221776 3221219944 1074138150 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 87331 86368 1111 63 0 87268 0
vsize: 349324
[startup+700.389 s]
Raw data (loadavg): 1.00 1.01 0.99 2/55 24680
Raw data (stat): 24625 (bsolo_lpr) R 24624 7876 7672 0 -1 0 200880 0 0 0 69617 425 0 0 25 0 1 0 768445794 357707776 86368 4294967295 134512640 134714508 3221221776 3221220032 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 87331 86368 1111 63 0 87268 0
vsize: 349324
[startup+710.389 s]
Raw data (loadavg): 1.00 1.01 0.99 2/55 24680
Raw data (stat): 24625 (bsolo_lpr) R 24624 7876 7672 0 -1 0 205684 0 0 0 70605 436 0 0 25 0 1 0 768445794 357830656 86398 4294967295 134512640 134714508 3221221776 3221219520 1075645319 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 87361 86398 1111 63 0 87298 0
vsize: 349444
[startup+720.39 s]
Raw data (loadavg): 1.00 1.01 0.99 2/55 24680
Raw data (stat): 24625 (bsolo_lpr) R 24624 7876 7672 0 -1 0 209790 0 0 0 71597 445 0 0 25 0 1 0 768445794 357703680 86367 4294967295 134512640 134714508 3221221776 3221219944 1074138166 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 87330 86367 1111 63 0 87267 0
vsize: 349320
[startup+730.39 s]
Raw data (loadavg): 1.00 1.01 0.99 2/55 24680
Raw data (stat): 24625 (bsolo_lpr) R 24624 7876 7672 0 -1 0 213845 0 0 0 72587 455 0 0 25 0 1 0 768445794 358080512 86437 4294967295 134512640 134714508 3221221776 3221220128 1074115331 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 87422 86440 1111 63 0 87359 0
vsize: 349688
[startup+740.391 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 24680
Raw data (stat): 24625 (bsolo_lpr) R 24624 7876 7672 0 -1 0 217521 0 0 0 73580 462 0 0 25 0 1 0 768445794 358916096 86481 4294967295 134512640 134714508 3221221776 3221219696 1075802490 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 87626 86481 1111 63 0 87563 0
vsize: 350504
[startup+750.392 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 24680
Raw data (stat): 24625 (bsolo_lpr) R 24624 7876 7672 0 -1 0 221188 0 0 0 74570 472 0 0 25 0 1 0 768445794 357826560 86397 4294967295 134512640 134714508 3221221776 3221219888 1074153663 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 87360 86397 1111 63 0 87297 0
vsize: 349440
[startup+760.391 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 24682
Raw data (stat): 24625 (bsolo_lpr) R 24624 7876 7672 0 -1 0 224726 0 0 0 75562 481 0 0 25 0 1 0 768445794 357830656 86398 4294967295 134512640 134714508 3221221776 3221219920 1074153663 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 87361 86398 1111 63 0 87298 0
vsize: 349444
[startup+770.391 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 24682
Raw data (stat): 24625 (bsolo_lpr) R 24624 7876 7672 0 -1 0 228489 0 0 0 76553 489 0 0 25 0 1 0 768445794 357826560 86397 4294967295 134512640 134714508 3221221776 3221219944 1074138162 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 87360 86397 1111 63 0 87297 0
vsize: 349440
[startup+780.391 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 24682
Raw data (stat): 24625 (bsolo_lpr) R 24624 7876 7672 0 -1 0 231734 0 0 0 77547 496 0 0 25 0 1 0 768445794 357826560 86397 4294967295 134512640 134714508 3221221776 3221219800 1074138155 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 87360 86397 1111 63 0 87297 0
vsize: 349440
[startup+790.393 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 24682
Raw data (stat): 24625 (bsolo_lpr) R 24624 7876 7672 0 -1 0 234997 0 0 0 78539 504 0 0 25 0 1 0 768445794 357826560 86397 4294967295 134512640 134714508 3221221776 3221220024 1074138166 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 87360 86397 1111 63 0 87297 0
vsize: 349440
[startup+800.393 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 24682
Raw data (stat): 24625 (bsolo_lpr) R 24624 7876 7672 0 -1 0 237968 0 0 0 79532 511 0 0 25 0 1 0 768445794 357830656 86398 4294967295 134512640 134714508 3221221776 3221220032 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 87361 86398 1111 63 0 87298 0
vsize: 349444
[startup+810.393 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 24682
Raw data (stat): 24625 (bsolo_lpr) R 24624 7876 7672 0 -1 0 241023 0 0 0 80525 519 0 0 25 0 1 0 768445794 357830656 86398 4294967295 134512640 134714508 3221221776 3221220160 1074153675 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 87361 86398 1111 63 0 87298 0
vsize: 349444
[startup+820.394 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 24682
Raw data (stat): 24625 (bsolo_lpr) R 24624 7876 7672 0 -1 0 244266 0 0 0 81519 524 0 0 25 0 1 0 768445794 357830656 86398 4294967295 134512640 134714508 3221221776 3221220064 1074153792 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 87361 86398 1111 63 0 87298 0
vsize: 349444
[startup+830.394 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 24682
Raw data (stat): 24625 (bsolo_lpr) R 24624 7876 7672 0 -1 0 247402 0 0 0 82511 533 0 0 25 0 1 0 768445794 358080512 86453 4294967295 134512640 134714508 3221221776 3221219504 1075635436 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 87422 86453 1111 63 0 87359 0
vsize: 349688
[startup+840.395 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 24682
Raw data (stat): 24625 (bsolo_lpr) R 24624 7876 7672 0 -1 0 250378 0 0 0 83504 540 0 0 25 0 1 0 768445794 357826560 86397 4294967295 134512640 134714508 3221221776 3221219888 1074153663 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 87360 86397 1111 63 0 87297 0
vsize: 349440
[startup+850.395 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 24682
Raw data (stat): 24625 (bsolo_lpr) R 24624 7876 7672 0 -1 0 253295 0 0 0 84497 547 0 0 25 0 1 0 768445794 358080512 86447 4294967295 134512640 134714508 3221221776 3221220176 1074118806 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 87422 86447 1111 63 0 87359 0
vsize: 349688
[startup+860.395 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 24682
Raw data (stat): 24625 (bsolo_lpr) R 24624 7876 7672 0 -1 0 256355 0 0 0 85490 554 0 0 25 0 1 0 768445794 357830656 86398 4294967295 134512640 134714508 3221221776 3221220024 1074138155 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 87361 86398 1111 63 0 87298 0
vsize: 349444
[startup+870.396 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 24682
Raw data (stat): 24625 (bsolo_lpr) R 24624 7876 7672 0 -1 0 259328 0 0 0 86483 562 0 0 25 0 1 0 768445794 357830656 86398 4294967295 134512640 134714508 3221221776 3221220032 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 87361 86398 1111 63 0 87298 0
vsize: 349444
[startup+880.396 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 24682
Raw data (stat): 24625 (bsolo_lpr) R 24624 7876 7672 0 -1 0 262344 0 0 0 87476 569 0 0 25 0 1 0 768445794 357830656 86398 4294967295 134512640 134714508 3221221776 3221219976 1074138162 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 87361 86398 1111 63 0 87298 0
vsize: 349444
[startup+890.397 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 24682
Raw data (stat): 24625 (bsolo_lpr) R 24624 7876 7672 0 -1 0 265385 0 0 0 88468 577 0 0 25 0 1 0 768445794 357826560 86397 4294967295 134512640 134714508 3221221776 3221220032 1074153766 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 87360 86397 1111 63 0 87297 0
vsize: 349440
[startup+900.398 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 24682
Raw data (stat): 24625 (bsolo_lpr) R 24624 7876 7672 0 -1 0 268104 0 0 0 89462 583 0 0 25 0 1 0 768445794 357830656 86398 4294967295 134512640 134714508 3221221776 3221220088 1074138162 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 87361 86398 1111 63 0 87298 0
vsize: 349444
[startup+910.398 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 24682
Raw data (stat): 24625 (bsolo_lpr) R 24624 7876 7672 0 -1 0 271165 0 0 0 90455 590 0 0 25 0 1 0 768445794 357826560 86397 4294967295 134512640 134714508 3221221776 3221220112 1074153672 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 87360 86397 1111 63 0 87297 0
vsize: 349440
[startup+920.399 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 24682
Raw data (stat): 24625 (bsolo_lpr) R 24624 7876 7672 0 -1 0 273961 0 0 0 91449 597 0 0 25 0 1 0 768445794 357830656 86398 4294967295 134512640 134714508 3221221776 3221220008 1077410279 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 87361 86398 1111 63 0 87298 0
vsize: 349444
[startup+930.399 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 24682
Raw data (stat): 24625 (bsolo_lpr) R 24624 7876 7672 0 -1 0 276828 0 0 0 92443 603 0 0 25 0 1 0 768445794 357830656 86398 4294967295 134512640 134714508 3221221776 3221220032 1074153663 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 87361 86398 1111 63 0 87298 0
vsize: 349444
[startup+940.4 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 24682
Raw data (stat): 24625 (bsolo_lpr) R 24624 7876 7672 0 -1 0 279868 0 0 0 93437 609 0 0 25 0 1 0 768445794 357830656 86398 4294967295 134512640 134714508 3221221776 3221220064 1074153663 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 87361 86398 1111 63 0 87298 0
vsize: 349444
[startup+950.4 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 24682
Raw data (stat): 24625 (bsolo_lpr) R 24624 7876 7672 0 -1 0 282957 0 0 0 94430 617 0 0 25 0 1 0 768445794 357830656 86398 4294967295 134512640 134714508 3221221776 3221220032 1074153675 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 87361 86398 1111 63 0 87298 0
vsize: 349444
[startup+960.4 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 24682
Raw data (stat): 24625 (bsolo_lpr) R 24624 7876 7672 0 -1 0 286007 0 0 0 95424 623 0 0 25 0 1 0 768445794 357826560 86397 4294967295 134512640 134714508 3221221776 3221220064 1074153675 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 87360 86397 1111 63 0 87297 0
vsize: 349440
[startup+970.401 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 24682
Raw data (stat): 24625 (bsolo_lpr) R 24624 7876 7672 0 -1 0 288843 0 0 0 96417 630 0 0 25 0 1 0 768445794 358936576 86483 4294967295 134512640 134714508 3221221776 3221219504 1075828939 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 87631 86483 1111 63 0 87568 0
vsize: 350524
[startup+980.401 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 24682
Raw data (stat): 24625 (bsolo_lpr) R 24624 7876 7672 0 -1 0 291788 0 0 0 97410 637 0 0 25 0 1 0 768445794 357830656 86398 4294967295 134512640 134714508 3221221776 3221219936 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 87361 86398 1111 63 0 87298 0
vsize: 349444
[startup+990.402 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 24682
Raw data (stat): 24625 (bsolo_lpr) R 24624 7876 7672 0 -1 0 294639 0 0 0 98405 642 0 0 25 0 1 0 768445794 358936576 86483 4294967295 134512640 134714508 3221221776 3221219504 1075828577 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 87631 86483 1111 63 0 87568 0
vsize: 350524
[startup+1000.4 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 24682
Raw data (stat): 24625 (bsolo_lpr) R 24624 7876 7672 0 -1 0 297574 0 0 0 99398 649 0 0 25 0 1 0 768445794 358719488 86469 4294967295 134512640 134714508 3221221776 3221218696 1074950102 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 87578 86469 1111 63 0 87515 0
vsize: 350312
[startup+1010.4 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 24682
Raw data (stat): 24625 (bsolo_lpr) R 24624 7876 7672 0 -1 0 300366 0 0 0 100393 655 0 0 25 0 1 0 768445794 357826560 86397 4294967295 134512640 134714508 3221221776 3221219888 1074153767 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 87360 86397 1111 63 0 87297 0
vsize: 349440
[startup+1020.4 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 24682
Raw data (stat): 24625 (bsolo_lpr) R 24624 7876 7672 0 -1 0 303150 0 0 0 101386 662 0 0 25 0 1 0 768445794 357826560 86397 4294967295 134512640 134714508 3221221776 3221220072 1074138150 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 87360 86397 1111 63 0 87297 0
vsize: 349440
[startup+1030.4 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 24682
Raw data (stat): 24625 (bsolo_lpr) R 24624 7876 7672 0 -1 0 305925 0 0 0 102379 669 0 0 25 0 1 0 768445794 357957632 86429 4294967295 134512640 134714508 3221221776 3221220176 1074118806 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 87392 86429 1111 63 0 87329 0
vsize: 349568
[startup+1040.4 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 24682
Raw data (stat): 24625 (bsolo_lpr) R 24624 7876 7672 0 -1 0 308451 0 0 0 103372 676 0 0 25 0 1 0 768445794 357830656 86398 4294967295 134512640 134714508 3221221776 3221220032 1074153812 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 87361 86398 1111 63 0 87298 0
vsize: 349444
[startup+1050.41 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 24682
Raw data (stat): 24625 (bsolo_lpr) R 24624 7876 7672 0 -1 0 311211 0 0 0 104365 683 0 0 25 0 1 0 768445794 357830656 86398 4294967295 134512640 134714508 3221221776 3221219944 1074138144 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 87361 86398 1111 63 0 87298 0
vsize: 349444
[startup+1060.41 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 24682
Raw data (stat): 24625 (bsolo_lpr) R 24624 7876 7672 0 -1 0 314124 0 0 0 105359 690 0 0 25 0 1 0 768445794 357826560 86397 4294967295 134512640 134714508 3221221776 3221220128 1074153822 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 87360 86397 1111 63 0 87297 0
vsize: 349440
[startup+1070.41 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 24682
Raw data (stat): 24625 (bsolo_lpr) R 24624 7876 7672 0 -1 0 316848 0 0 0 106354 695 0 0 25 0 1 0 768445794 357961728 86430 4294967295 134512640 134714508 3221221776 3221220032 1074153660 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 87393 86430 1111 63 0 87330 0
vsize: 349572
[startup+1080.41 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 24682
Raw data (stat): 24625 (bsolo_lpr) R 24624 7876 7672 0 -1 0 319682 0 0 0 107348 701 0 0 25 0 1 0 768445794 359211008 86579 4294967295 134512640 134714508 3221221776 3221219696 1075799538 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 87698 86579 1111 63 0 87635 0
vsize: 350792
[startup+1090.41 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 24682
Raw data (stat): 24625 (bsolo_lpr) R 24624 7876 7672 0 -1 0 321364 0 0 0 108344 705 0 0 25 0 1 0 768445794 358600704 86553 4294967295 134512640 134714508 3221221776 3221219560 1077410205 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 87549 86557 1111 63 0 87486 0
vsize: 350196
[startup+1100.41 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 24682
Raw data (stat): 24625 (bsolo_lpr) R 24624 7876 7672 0 -1 0 323095 0 0 0 109339 710 0 0 25 0 1 0 768445794 358584320 86582 4294967295 134512640 134714508 3221221776 3221219888 1074153822 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 87545 86582 1111 63 0 87482 0
vsize: 350180
[startup+1110.41 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 24682
Raw data (stat): 24625 (bsolo_lpr) R 24624 7876 7672 0 -1 0 324792 0 0 0 110335 715 0 0 25 0 1 0 768445794 358834176 86611 4294967295 134512640 134714508 3221221776 3221220032 1074153663 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 87606 86611 1111 63 0 87543 0
vsize: 350424
[startup+1120.41 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 24682
Raw data (stat): 24625 (bsolo_lpr) R 24624 7876 7672 0 -1 0 326352 0 0 0 111331 719 0 0 25 0 1 0 768445794 358711296 86613 4294967295 134512640 134714508 3221221776 3221219888 1074153675 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 87576 86613 1111 63 0 87513 0
vsize: 350304
[startup+1130.41 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 24682
Raw data (stat): 24625 (bsolo_lpr) R 24624 7876 7672 0 -1 0 329475 0 0 0 112324 726 0 0 25 0 1 0 768445794 359174144 86726 4294967295 134512640 134714508 3221221776 3221220112 1074153749 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 87689 86726 1111 63 0 87626 0
vsize: 350756
[startup+1140.41 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 24682
Raw data (stat): 24625 (bsolo_lpr) R 24624 7876 7672 0 -1 0 333211 0 0 0 113313 737 0 0 25 0 1 0 768445794 359251968 86745 4294967295 134512640 134714508 3221221776 3221219888 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 87708 86745 1111 63 0 87645 0
vsize: 350832
[startup+1150.41 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 24682
Raw data (stat): 24625 (bsolo_lpr) R 24624 7876 7672 0 -1 0 336026 0 0 0 114307 743 0 0 25 0 1 0 768445794 360583168 87070 4294967295 134512640 134714508 3221221776 3221220192 1074116193 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 88033 87070 1111 63 0 87970 0
vsize: 352132
[startup+1160.41 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 24682
Raw data (stat): 24625 (bsolo_lpr) R 24624 7876 7672 0 -1 0 340557 0 0 0 115296 755 0 0 25 0 1 0 768445794 359796736 86878 4294967295 134512640 134714508 3221221776 3221220112 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 87841 86878 1111 63 0 87778 0
vsize: 351364
[startup+1170.41 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 24682
Raw data (stat): 24625 (bsolo_lpr) R 24624 7876 7672 0 -1 0 343418 0 0 0 116290 761 0 0 25 0 1 0 768445794 359571456 86823 4294967295 134512640 134714508 3221221776 3221219888 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 87786 86823 1111 63 0 87723 0
vsize: 351144
[startup+1180.41 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 24682
Raw data (stat): 24625 (bsolo_lpr) R 24624 7876 7672 0 -1 0 346805 0 0 0 117282 769 0 0 25 0 1 0 768445794 360062976 86943 4294967295 134512640 134714508 3221221776 3221220032 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 87906 86943 1111 63 0 87843 0
vsize: 351624
[startup+1190.41 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 24682
Raw data (stat): 24625 (bsolo_lpr) R 24624 7876 7672 0 -1 0 350398 0 0 0 118275 777 0 0 25 0 1 0 768445794 360124416 86958 4294967295 134512640 134714508 3221221776 3221220160 1074153822 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 87921 86958 1111 63 0 87858 0
vsize: 351684
[startup+1200.41 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 24682
Raw data (stat): 24625 (bsolo_lpr) R 24624 7876 7672 0 -1 0 354133 0 0 0 119264 788 0 0 25 0 1 0 768445794 360439808 87035 4294967295 134512640 134714508 3221221776 3221220032 1074153783 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 87998 87035 1111 63 0 87935 0
vsize: 351992
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.58 s]
Raw data (loadavg): 1.00 1.00 0.99 1/55 24682
Raw data (stat): 24625 (bsolo_lpr) Z 24624 7876 7672 0 -1 1036 354133 0 0 0 119264 804 0 0 25 0 1 0 768445794 0 0 4294967295 0 0 0 0 0 0 0 1 0 3222412051 0 0 17 1 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.58
CPU time (s): 1200.69
CPU user time (s): 1192.64
CPU system time (s): 8.04478
CPU usage (%): 100.009
Max. virtual memory (Kb): 358900
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####