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-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-10teams.opb
MD5SUM	1ff3cc3253012886aa21be4feac6111e
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	924
Optimality of the best value was proved	NO
Number of terms in the objective function	1800
Biggest coefficient in the objective function	86
Number of bits for the biggest coefficient in the objective function	7
Sum of the numbers in the objective function	41700
Number of bits of the sum of numbers in the objective function	16
Biggest number in a constraint	86
Number of bits of the biggest number in a constraint	7
Biggest sum of numbers in a constraint	41700
Number of bits of the biggest sum of numbers	16
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1175.71
Number of variables	1800
Total number of constraints	2015
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	2015
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	1
Maximum length of a constraint	72
Trace number 28546

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc8 THE 2005-05-25 02:59:25 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=12379 boxname=wulflinc8 idbench=953 idsolver=3 numberseed=0
MD5SUM SOLVER: 03a6a792daea978e4202f78851741568  /oldhome/oroussel/solvers/bsolo_mis
MD5SUM BENCH:  1ff3cc3253012886aa21be4feac6111e  /oldhome/oroussel/tmp/wulflinc8/normalized-mps-v2-20-10-10teams.opb
REAL COMMAND:  bsolo_mis /oldhome/oroussel/tmp/wulflinc8/normalized-mps-v2-20-10-10teams.opb
IDLAUNCH: 12379
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.007
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.007
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:        514344 kB
Buffers:         37116 kB
Cached:         457040 kB
SwapCached:          0 kB
Active:          48068 kB
Inactive:       453024 kB
HighTotal:      131008 kB
HighFree:         4508 kB
LowTotal:       903652 kB
LowFree:        509836 kB
SwapTotal:     2097136 kB
SwapFree:      2097136 kB
Dirty:              32 kB
Writeback:           0 kB
Mapped:           7064 kB
Slab:            13676 kB
Committed_AS:    63720 kB
PageTables:        320 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-25 03:19:01 (client local time) WITH STATUS 0 IN 1175.07 SECONDS
stats: 12379 7 1175.07 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c Initial problem consists of 1800 variables and 335 constraints.
c After prepocess the problem consists of 1600 variables and 330 constraints.
c preprocess terminated 7.538 s
c Initial Lower Bound: 332
c Lower Bound Elapsed time: 0
c Use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175.02 s
#### 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): 0.91 0.95 0.90 2/54 12428
Raw data (stat): 12428 (runsolver) R 12427 3132 3131 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 763678712 1052672 99 4294967295 134512640 135381576 3221224496 3221219712 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0005 s]
Raw data (loadavg): 0.93 0.95 0.90 2/54 12428
Raw data (stat): 12428 (bsolo_mis) R 12427 3132 3131 0 -1 0 11772 0 0 0 975 24 0 0 25 0 1 0 763678712 51892224 11742 4294967295 134512640 134714540 3221224592 3221223328 134695331 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12669 11742 1111 63 0 12606 0
vsize: 50676
[startup+20.0008 s]
Raw data (loadavg): 0.94 0.96 0.91 2/54 12428
Raw data (stat): 12428 (bsolo_mis) R 12427 3132 3131 0 -1 0 12113 0 0 0 1973 26 0 0 25 0 1 0 763678712 53243904 12083 4294967295 134512640 134714540 3221224592 3221223328 134695264 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12999 12083 1111 63 0 12936 0
vsize: 51996
[startup+30.0016 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 12428
Raw data (stat): 12428 (bsolo_mis) R 12427 3132 3131 0 -1 0 12452 0 0 0 2971 27 0 0 25 0 1 0 763678712 54595584 12422 4294967295 134512640 134714540 3221224592 3221223396 134622267 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13329 12422 1111 63 0 13266 0
vsize: 53316
[startup+40.0026 s]
Raw data (loadavg): 0.95 0.96 0.91 3/57 12468
Raw data (stat): 12428 (bsolo_mis) R 12427 3132 3131 0 -1 0 12651 0 0 0 3970 29 0 0 25 0 1 0 763678712 55406592 12621 4294967295 134512640 134714540 3221224592 3221223216 134542352 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13527 12621 1111 63 0 13464 0
vsize: 54108
[startup+50.0032 s]
Raw data (loadavg): 1.04 0.97 0.91 2/54 12481
Raw data (stat): 12428 (bsolo_mis) R 12427 3132 3131 0 -1 0 12875 0 0 0 4969 30 0 0 25 0 1 0 763678712 56352768 12845 4294967295 134512640 134714540 3221224592 3221223376 134624467 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13758 12845 1111 63 0 13695 0
vsize: 55032
[startup+60.0034 s]
Raw data (loadavg): 1.03 0.97 0.91 2/54 12481
Raw data (stat): 12428 (bsolo_mis) R 12427 3132 3131 0 -1 0 13018 0 0 0 5969 30 0 0 25 0 1 0 763678712 57028608 12988 4294967295 134512640 134714540 3221224592 3221223304 134558477 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13923 12988 1111 63 0 13860 0
vsize: 55692
[startup+70.0039 s]
Raw data (loadavg): 1.02 0.97 0.91 2/54 12481
Raw data (stat): 12428 (bsolo_mis) R 12427 3132 3131 0 -1 0 13147 0 0 0 6969 31 0 0 25 0 1 0 763678712 57569280 13117 4294967295 134512640 134714540 3221224592 3221223320 134532457 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14055 13117 1111 63 0 13992 0
vsize: 56220
[startup+80.0047 s]
Raw data (loadavg): 1.02 0.97 0.91 2/54 12481
Raw data (stat): 12428 (bsolo_mis) R 12427 3132 3131 0 -1 0 13289 0 0 0 7968 32 0 0 25 0 1 0 763678712 58109952 13259 4294967295 134512640 134714540 3221224592 3221223384 134543187 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14187 13259 1111 63 0 14124 0
vsize: 56748
[startup+90.0041 s]
Raw data (loadavg): 1.02 0.97 0.91 2/54 12481
Raw data (stat): 12428 (bsolo_mis) R 12427 3132 3131 0 -1 0 13492 0 0 0 8967 32 0 0 25 0 1 0 763678712 58920960 13462 4294967295 134512640 134714540 3221224592 3221223388 134536888 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14385 13462 1111 63 0 14322 0
vsize: 57540
[startup+100.004 s]
Raw data (loadavg): 1.01 0.97 0.91 2/54 12481
Raw data (stat): 12428 (bsolo_mis) R 12427 3132 3131 0 -1 0 13661 0 0 0 9967 33 0 0 25 0 1 0 763678712 59596800 13631 4294967295 134512640 134714540 3221224592 3221223308 134558476 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14550 13631 1111 63 0 14487 0
vsize: 58200
[startup+110.005 s]
Raw data (loadavg): 1.01 0.97 0.91 2/54 12483
Raw data (stat): 12428 (bsolo_mis) R 12427 3132 3131 0 -1 0 14027 0 0 0 10966 34 0 0 25 0 1 0 763678712 61046784 13997 4294967295 134512640 134714540 3221224592 3221223232 134613431 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14904 13997 1111 63 0 14841 0
vsize: 59616
[startup+120.006 s]
Raw data (loadavg): 1.01 0.97 0.91 2/54 12483
Raw data (stat): 12428 (bsolo_mis) R 12427 3132 3131 0 -1 0 14415 0 0 0 11965 35 0 0 25 0 1 0 763678712 62664704 14385 4294967295 134512640 134714540 3221224592 3221223176 134543600 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15299 14385 1111 63 0 15236 0
vsize: 61196
[startup+130.006 s]
Raw data (loadavg): 1.01 0.97 0.91 2/54 12483
Raw data (stat): 12428 (bsolo_mis) R 12427 3132 3131 0 -1 0 14725 0 0 0 12964 36 0 0 25 0 1 0 763678712 64024576 14695 4294967295 134512640 134714540 3221224592 3221223152 134542350 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15631 14695 1111 63 0 15568 0
vsize: 62524
[startup+140.006 s]
Raw data (loadavg): 1.01 0.97 0.91 2/54 12483
Raw data (stat): 12428 (bsolo_mis) R 12427 3132 3131 0 -1 0 14907 0 0 0 13963 37 0 0 25 0 1 0 763678712 64700416 14877 4294967295 134512640 134714540 3221224592 3221223408 134622468 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15796 14877 1111 63 0 15733 0
vsize: 63184
[startup+150.006 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 12483
Raw data (stat): 12428 (bsolo_mis) R 12427 3132 3131 0 -1 0 15054 0 0 0 14963 38 0 0 25 0 1 0 763678712 65376256 15024 4294967295 134512640 134714540 3221224592 3221223232 134539376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15961 15024 1111 63 0 15898 0
vsize: 63844
[startup+160.006 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 12483
Raw data (stat): 12428 (bsolo_mis) R 12427 3132 3131 0 -1 0 15134 0 0 0 15963 38 0 0 25 0 1 0 763678712 65646592 15104 4294967295 134512640 134714540 3221224592 3221223304 134558492 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16027 15104 1111 63 0 15964 0
vsize: 64108
[startup+170.005 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 12483
Raw data (stat): 12428 (bsolo_mis) R 12427 3132 3131 0 -1 0 15475 0 0 0 16962 39 0 0 25 0 1 0 763678712 66998272 15445 4294967295 134512640 134714540 3221224592 3221223376 134622323 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16357 15445 1111 63 0 16294 0
vsize: 65428
[startup+180.006 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 12483
Raw data (stat): 12428 (bsolo_mis) R 12427 3132 3131 0 -1 0 15475 0 0 0 17962 39 0 0 25 0 1 0 763678712 66998272 15445 4294967295 134512640 134714540 3221224592 3221223308 134558493 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16357 15445 1111 63 0 16294 0
vsize: 65428
[startup+190.015 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 12483
Raw data (stat): 12428 (bsolo_mis) R 12427 3132 3131 0 -1 0 15475 0 0 0 18963 39 0 0 25 0 1 0 763678712 66998272 15445 4294967295 134512640 134714540 3221224592 3221223232 134539376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16357 15445 1111 63 0 16294 0
vsize: 65428
[startup+200.015 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 12483
Raw data (stat): 12428 (bsolo_mis) R 12427 3132 3131 0 -1 0 15513 0 0 0 19963 40 0 0 25 0 1 0 763678712 67133440 15483 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16390 15483 1111 63 0 16327 0
vsize: 65560
[startup+210.014 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 12483
Raw data (stat): 12428 (bsolo_mis) R 12427 3132 3131 0 -1 0 15553 0 0 0 20963 40 0 0 25 0 1 0 763678712 67403776 15523 4294967295 134512640 134714540 3221224592 3221223304 134543168 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16456 15523 1111 63 0 16393 0
vsize: 65824
[startup+220.015 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 12483
Raw data (stat): 12428 (bsolo_mis) R 12427 3132 3131 0 -1 0 15741 0 0 0 21962 41 0 0 25 0 1 0 763678712 68079616 15711 4294967295 134512640 134714540 3221224592 3221223236 134536649 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16621 15711 1111 63 0 16558 0
vsize: 66484
[startup+230.015 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 12483
Raw data (stat): 12428 (bsolo_mis) R 12427 3132 3131 0 -1 0 15787 0 0 0 22961 42 0 0 25 0 1 0 763678712 68349952 15757 4294967295 134512640 134714540 3221224592 3221223308 134558493 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16687 15757 1111 63 0 16624 0
vsize: 66748
[startup+240.018 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 12483
Raw data (stat): 12428 (bsolo_mis) R 12427 3132 3131 0 -1 0 15930 0 0 0 23961 42 0 0 25 0 1 0 763678712 68890624 15900 4294967295 134512640 134714540 3221224592 3221223396 134622267 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16819 15900 1111 63 0 16756 0
vsize: 67276
[startup+250.022 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 12483
Raw data (stat): 12428 (bsolo_mis) R 12427 3132 3131 0 -1 0 16013 0 0 0 24961 43 0 0 25 0 1 0 763678712 69296128 15983 4294967295 134512640 134714540 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16918 15983 1111 63 0 16855 0
vsize: 67672
[startup+260.029 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 12483
Raw data (stat): 12428 (bsolo_mis) R 12427 3132 3131 0 -1 0 16343 0 0 0 25961 44 0 0 25 0 1 0 763678712 70529024 16313 4294967295 134512640 134714540 3221224592 3221223408 134610910 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17219 16313 1111 63 0 17156 0
vsize: 68876
[startup+270.029 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 12483
Raw data (stat): 12428 (bsolo_mis) R 12427 3132 3131 0 -1 0 16446 0 0 0 26961 44 0 0 25 0 1 0 763678712 71069696 16416 4294967295 134512640 134714540 3221224592 3221223408 134622252 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17351 16416 1111 63 0 17288 0
vsize: 69404
[startup+280.053 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 12483
Raw data (stat): 12428 (bsolo_mis) R 12427 3132 3131 0 -1 0 16446 0 0 0 27963 45 0 0 25 0 1 0 763678712 71069696 16416 4294967295 134512640 134714540 3221224592 3221223196 134542823 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17351 16416 1111 63 0 17288 0
vsize: 69404
[startup+290.094 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 12483
Raw data (stat): 12428 (bsolo_mis) R 12427 3132 3131 0 -1 0 16449 0 0 0 28967 45 0 0 25 0 1 0 763678712 71069696 16419 4294967295 134512640 134714540 3221224592 3221223396 134622157 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17351 16419 1111 63 0 17288 0
vsize: 69404
[startup+300.094 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 12483
Raw data (stat): 12428 (bsolo_mis) R 12427 3132 3131 0 -1 0 16697 0 0 0 29966 46 0 0 25 0 1 0 763678712 72093696 16667 4294967295 134512640 134714540 3221224592 3221223304 134543179 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17601 16667 1111 63 0 17538 0
vsize: 70404
[startup+310.095 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 12483
Raw data (stat): 12428 (bsolo_mis) R 12427 3132 3131 0 -1 0 16813 0 0 0 30966 47 0 0 25 0 1 0 763678712 72499200 16783 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17700 16783 1111 63 0 17637 0
vsize: 70800
[startup+320.095 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 12483
Raw data (stat): 12428 (bsolo_mis) R 12427 3132 3131 0 -1 0 17015 0 0 0 31966 47 0 0 25 0 1 0 763678712 73310208 16985 4294967295 134512640 134714540 3221224592 3221223384 134558492 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17898 16985 1111 63 0 17835 0
vsize: 71592
[startup+330.115 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 12483
Raw data (stat): 12428 (bsolo_mis) R 12427 3132 3131 0 -1 0 17065 0 0 0 32967 47 0 0 25 0 1 0 763678712 73580544 17035 4294967295 134512640 134714540 3221224592 3221223396 134622267 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17964 17035 1111 63 0 17901 0
vsize: 71856
[startup+340.115 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 12483
Raw data (stat): 12428 (bsolo_mis) R 12427 3132 3131 0 -1 0 17259 0 0 0 33967 48 0 0 25 0 1 0 763678712 74395648 17229 4294967295 134512640 134714540 3221224592 3221223316 134622883 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18163 17229 1111 63 0 18100 0
vsize: 72652
[startup+350.115 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 12483
Raw data (stat): 12428 (bsolo_mis) R 12427 3132 3131 0 -1 0 17288 0 0 0 34967 48 0 0 25 0 1 0 763678712 74530816 17258 4294967295 134512640 134714540 3221224592 3221223316 134622859 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18196 17258 1111 63 0 18133 0
vsize: 72784
[startup+360.115 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 12485
Raw data (stat): 12428 (bsolo_mis) R 12427 3132 3131 0 -1 0 17288 0 0 0 35967 49 0 0 25 0 1 0 763678712 74530816 17258 4294967295 134512640 134714540 3221224592 3221223304 134543165 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18196 17258 1111 63 0 18133 0
vsize: 72784
[startup+370.115 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 12485
Raw data (stat): 12428 (bsolo_mis) R 12427 3132 3131 0 -1 0 17297 0 0 0 36967 49 0 0 25 0 1 0 763678712 74530816 17267 4294967295 134512640 134714540 3221224592 3221223308 134558476 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18196 17267 1111 63 0 18133 0
vsize: 72784
[startup+380.123 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 12485
Raw data (stat): 12428 (bsolo_mis) R 12427 3132 3131 0 -1 0 17297 0 0 0 37967 49 0 0 25 0 1 0 763678712 74530816 17267 4294967295 134512640 134714540 3221224592 3221223304 134543176 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18196 17267 1111 63 0 18133 0
vsize: 72784
[startup+390.122 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 12485
Raw data (stat): 12428 (bsolo_mis) R 12427 3132 3131 0 -1 0 17325 0 0 0 38967 49 0 0 25 0 1 0 763678712 74665984 17295 4294967295 134512640 134714540 3221224592 3221223304 134558492 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18229 17295 1111 63 0 18166 0
vsize: 72916
[startup+400.123 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 12485
Raw data (stat): 12428 (bsolo_mis) R 12427 3132 3131 0 -1 0 17474 0 0 0 39967 50 0 0 25 0 1 0 763678712 75206656 17444 4294967295 134512640 134714540 3221224592 3221223264 134543740 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18361 17444 1111 63 0 18298 0
vsize: 73444
[startup+410.127 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 12485
Raw data (stat): 12428 (bsolo_mis) R 12427 3132 3131 0 -1 0 17554 0 0 0 40967 50 0 0 25 0 1 0 763678712 75612160 17524 4294967295 134512640 134714540 3221224592 3221223408 134622335 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18460 17524 1111 63 0 18397 0
vsize: 73840
[startup+420.126 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 12485
Raw data (stat): 12428 (bsolo_mis) R 12427 3132 3131 0 -1 0 17611 0 0 0 41967 50 0 0 25 0 1 0 763678712 75747328 17581 4294967295 134512640 134714540 3221224592 3221223304 134543176 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18493 17581 1111 63 0 18430 0
vsize: 73972
[startup+430.127 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 12485
Raw data (stat): 12428 (bsolo_mis) R 12427 3132 3131 0 -1 0 17749 0 0 0 42967 51 0 0 25 0 1 0 763678712 76288000 17719 4294967295 134512640 134714540 3221224592 3221223304 134543144 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18625 17719 1111 63 0 18562 0
vsize: 74500
[startup+440.127 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 12485
Raw data (stat): 12428 (bsolo_mis) R 12427 3132 3131 0 -1 0 17749 0 0 0 43967 51 0 0 25 0 1 0 763678712 76288000 17719 4294967295 134512640 134714540 3221224592 3221223324 134558560 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18625 17719 1111 63 0 18562 0
vsize: 74500
[startup+450.126 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 12485
Raw data (stat): 12428 (bsolo_mis) R 12427 3132 3131 0 -1 0 17749 0 0 0 44967 51 0 0 25 0 1 0 763678712 76288000 17719 4294967295 134512640 134714540 3221224592 3221223368 134543557 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18625 17719 1111 63 0 18562 0
vsize: 74500
[startup+460.126 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 12485
Raw data (stat): 12428 (bsolo_mis) R 12427 3132 3131 0 -1 0 17749 0 0 0 45967 51 0 0 25 0 1 0 763678712 76288000 17719 4294967295 134512640 134714540 3221224592 3221223304 134543176 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18625 17719 1111 63 0 18562 0
vsize: 74500
[startup+470.126 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 12485
Raw data (stat): 12428 (bsolo_mis) R 12427 3132 3131 0 -1 0 17801 0 0 0 46967 51 0 0 25 0 1 0 763678712 76558336 17771 4294967295 134512640 134714540 3221224592 3221223312 134622860 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18691 17771 1111 63 0 18628 0
vsize: 74764
[startup+480.126 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 12485
Raw data (stat): 12428 (bsolo_mis) R 12427 3132 3131 0 -1 0 17894 0 0 0 47966 52 0 0 25 0 1 0 763678712 76931072 17864 4294967295 134512640 134714540 3221224592 3221223316 134622760 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18782 17864 1111 63 0 18719 0
vsize: 75128
[startup+490.125 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 12485
Raw data (stat): 12428 (bsolo_mis) R 12427 3132 3131 0 -1 0 17940 0 0 0 48966 52 0 0 25 0 1 0 763678712 77201408 17910 4294967295 134512640 134714540 3221224592 3221223304 134543176 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18848 17910 1111 63 0 18785 0
vsize: 75392
[startup+500.125 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 12485
Raw data (stat): 12428 (bsolo_mis) R 12427 3132 3131 0 -1 0 17940 0 0 0 49966 52 0 0 25 0 1 0 763678712 77201408 17910 4294967295 134512640 134714540 3221224592 3221223408 134610900 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18848 17910 1111 63 0 18785 0
vsize: 75392
[startup+510.125 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 12485
Raw data (stat): 12428 (bsolo_mis) R 12427 3132 3131 0 -1 0 17940 0 0 0 50966 52 0 0 25 0 1 0 763678712 77201408 17910 4294967295 134512640 134714540 3221224592 3221223160 1077377385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18848 17910 1111 63 0 18785 0
vsize: 75392
[startup+520.125 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 12485
Raw data (stat): 12428 (bsolo_mis) R 12427 3132 3131 0 -1 0 17940 0 0 0 51966 52 0 0 25 0 1 0 763678712 77201408 17910 4294967295 134512640 134714540 3221224592 3221223396 134622267 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18848 17910 1111 63 0 18785 0
vsize: 75392
[startup+530.124 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 12485
Raw data (stat): 12428 (bsolo_mis) R 12427 3132 3131 0 -1 0 17940 0 0 0 52966 53 0 0 25 0 1 0 763678712 77201408 17910 4294967295 134512640 134714540 3221224592 3221223124 134543025 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18848 17910 1111 63 0 18785 0
vsize: 75392
[startup+540.124 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 12485
Raw data (stat): 12428 (bsolo_mis) R 12427 3132 3131 0 -1 0 17957 0 0 0 53967 53 0 0 25 0 1 0 763678712 77201408 17927 4294967295 134512640 134714540 3221224592 3221223368 134543154 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18848 17927 1111 63 0 18785 0
vsize: 75392
[startup+550.124 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 12485
Raw data (stat): 12428 (bsolo_mis) R 12427 3132 3131 0 -1 0 18168 0 0 0 54966 53 0 0 25 0 1 0 763678712 78135296 18138 4294967295 134512640 134714540 3221224592 3221223196 134536817 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19076 18138 1111 63 0 19013 0
vsize: 76304
[startup+560.124 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 12485
Raw data (stat): 12428 (bsolo_mis) R 12427 3132 3131 0 -1 0 18168 0 0 0 55967 53 0 0 25 0 1 0 763678712 78135296 18138 4294967295 134512640 134714540 3221224592 3221223308 134543156 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19076 18138 1111 63 0 19013 0
vsize: 76304
[startup+570.123 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 12485
Raw data (stat): 12428 (bsolo_mis) R 12427 3132 3131 0 -1 0 18168 0 0 0 56967 53 0 0 25 0 1 0 763678712 78135296 18138 4294967295 134512640 134714540 3221224592 3221223304 134543176 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19076 18138 1111 63 0 19013 0
vsize: 76304
[startup+580.123 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 12485
Raw data (stat): 12428 (bsolo_mis) R 12427 3132 3131 0 -1 0 18168 0 0 0 57967 53 0 0 25 0 1 0 763678712 78135296 18138 4294967295 134512640 134714540 3221224592 3221223304 134543176 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19076 18138 1111 63 0 19013 0
vsize: 76304
[startup+590.123 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 12485
Raw data (stat): 12428 (bsolo_mis) R 12427 3132 3131 0 -1 0 18168 0 0 0 58967 53 0 0 25 0 1 0 763678712 78135296 18138 4294967295 134512640 134714540 3221224592 3221223260 134542288 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19076 18138 1111 63 0 19013 0
vsize: 76304
[startup+600.123 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 12485
Raw data (stat): 12428 (bsolo_mis) R 12427 3132 3131 0 -1 0 18168 0 0 0 59967 53 0 0 25 0 1 0 763678712 78135296 18138 4294967295 134512640 134714540 3221224592 3221223148 134539237 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19076 18138 1111 63 0 19013 0
vsize: 76304
[startup+610.124 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 12485
Raw data (stat): 12428 (bsolo_mis) R 12427 3132 3131 0 -1 0 18168 0 0 0 60967 54 0 0 25 0 1 0 763678712 78135296 18138 4294967295 134512640 134714540 3221224592 3221223408 134622252 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19076 18138 1111 63 0 19013 0
vsize: 76304
[startup+620.123 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 12485
Raw data (stat): 12428 (bsolo_mis) R 12427 3132 3131 0 -1 0 18168 0 0 0 61967 54 0 0 25 0 1 0 763678712 78135296 18138 4294967295 134512640 134714540 3221224592 3221223344 134592345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19076 18138 1111 63 0 19013 0
vsize: 76304
[startup+630.123 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 12485
Raw data (stat): 12428 (bsolo_mis) R 12427 3132 3131 0 -1 0 18264 0 0 0 62966 55 0 0 25 0 1 0 763678712 78405632 18234 4294967295 134512640 134714540 3221224592 3221223408 134622252 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19142 18234 1111 63 0 19079 0
vsize: 76568
[startup+640.123 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 12485
Raw data (stat): 12428 (bsolo_mis) R 12427 3132 3131 0 -1 0 18294 0 0 0 63966 55 0 0 25 0 1 0 763678712 78540800 18264 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19175 18264 1111 63 0 19112 0
vsize: 76700
[startup+650.123 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 12485
Raw data (stat): 12428 (bsolo_mis) R 12427 3132 3131 0 -1 0 18294 0 0 0 64966 55 0 0 25 0 1 0 763678712 78540800 18264 4294967295 134512640 134714540 3221224592 3221223304 134543176 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19175 18264 1111 63 0 19112 0
vsize: 76700
[startup+660.123 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 12485
Raw data (stat): 12428 (bsolo_mis) R 12427 3132 3131 0 -1 0 18294 0 0 0 65966 55 0 0 25 0 1 0 763678712 78540800 18264 4294967295 134512640 134714540 3221224592 3221223384 134558497 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19175 18264 1111 63 0 19112 0
vsize: 76700
[startup+670.123 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 12485
Raw data (stat): 12428 (bsolo_mis) R 12427 3132 3131 0 -1 0 18337 0 0 0 66966 55 0 0 25 0 1 0 763678712 78815232 18307 4294967295 134512640 134714540 3221224592 3221223384 134542448 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19242 18307 1111 63 0 19179 0
vsize: 76968
[startup+680.123 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 12485
Raw data (stat): 12428 (bsolo_mis) R 12427 3132 3131 0 -1 0 18424 0 0 0 67966 56 0 0 25 0 1 0 763678712 79085568 18394 4294967295 134512640 134714540 3221224592 3221223316 134622760 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19308 18394 1111 63 0 19245 0
vsize: 77232
[startup+690.123 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 12485
Raw data (stat): 12428 (bsolo_mis) R 12427 3132 3131 0 -1 0 18479 0 0 0 68966 56 0 0 25 0 1 0 763678712 79355904 18449 4294967295 134512640 134714540 3221224592 3221223396 134622267 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19374 18449 1111 63 0 19311 0
vsize: 77496
[startup+700.122 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 12485
Raw data (stat): 12428 (bsolo_mis) R 12427 3132 3131 0 -1 0 18640 0 0 0 69965 56 0 0 25 0 1 0 763678712 79974400 18610 4294967295 134512640 134714540 3221224592 3221223304 134543168 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19525 18610 1111 63 0 19462 0
vsize: 78100
[startup+710.123 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 12485
Raw data (stat): 12428 (bsolo_mis) R 12427 3132 3131 0 -1 0 18842 0 0 0 70965 57 0 0 25 0 1 0 763678712 80789504 18812 4294967295 134512640 134714540 3221224592 3221223384 134536906 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19724 18812 1111 63 0 19661 0
vsize: 78896
[startup+720.123 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 12485
Raw data (stat): 12428 (bsolo_mis) R 12427 3132 3131 0 -1 0 18842 0 0 0 71965 57 0 0 25 0 1 0 763678712 80789504 18812 4294967295 134512640 134714540 3221224592 3221223488 134621515 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19724 18812 1111 63 0 19661 0
vsize: 78896
[startup+730.124 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 12485
Raw data (stat): 12428 (bsolo_mis) R 12427 3132 3131 0 -1 0 18842 0 0 0 72965 57 0 0 25 0 1 0 763678712 80789504 18812 4294967295 134512640 134714540 3221224592 3221223372 134543556 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19724 18812 1111 63 0 19661 0
vsize: 78896
[startup+740.125 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 12485
Raw data (stat): 12428 (bsolo_mis) R 12427 3132 3131 0 -1 0 18842 0 0 0 73966 57 0 0 25 0 1 0 763678712 80789504 18812 4294967295 134512640 134714540 3221224592 3221223232 134535032 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19724 18812 1111 63 0 19661 0
vsize: 78896
[startup+750.124 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 12485
Raw data (stat): 12428 (bsolo_mis) R 12427 3132 3131 0 -1 0 18842 0 0 0 74966 57 0 0 25 0 1 0 763678712 80789504 18812 4294967295 134512640 134714540 3221224592 3221223408 134610874 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19724 18812 1111 63 0 19661 0
vsize: 78896
[startup+760.124 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 12485
Raw data (stat): 12428 (bsolo_mis) R 12427 3132 3131 0 -1 0 18842 0 0 0 75966 57 0 0 25 0 1 0 763678712 80789504 18812 4294967295 134512640 134714540 3221224592 3221223384 134542448 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19724 18812 1111 63 0 19661 0
vsize: 78896
[startup+770.124 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 12485
Raw data (stat): 12428 (bsolo_mis) R 12427 3132 3131 0 -1 0 18842 0 0 0 76966 57 0 0 25 0 1 0 763678712 80789504 18812 4294967295 134512640 134714540 3221224592 3221223384 134542419 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19724 18812 1111 63 0 19661 0
vsize: 78896
[startup+780.125 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 12485
Raw data (stat): 12428 (bsolo_mis) R 12427 3132 3131 0 -1 0 18842 0 0 0 77966 58 0 0 25 0 1 0 763678712 80789504 18812 4294967295 134512640 134714540 3221224592 3221223316 134622811 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19724 18812 1111 63 0 19661 0
vsize: 78896
[startup+790.125 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 12485
Raw data (stat): 12428 (bsolo_mis) R 12427 3132 3131 0 -1 0 18842 0 0 0 78966 58 0 0 25 0 1 0 763678712 80789504 18812 4294967295 134512640 134714540 3221224592 3221223316 134622760 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19724 18812 1111 63 0 19661 0
vsize: 78896
[startup+800.124 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 12485
Raw data (stat): 12428 (bsolo_mis) R 12427 3132 3131 0 -1 0 18842 0 0 0 79966 58 0 0 25 0 1 0 763678712 80789504 18812 4294967295 134512640 134714540 3221224592 3221223408 134622252 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19724 18812 1111 63 0 19661 0
vsize: 78896
[startup+810.125 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 12485
Raw data (stat): 12428 (bsolo_mis) R 12427 3132 3131 0 -1 0 18842 0 0 0 80966 58 0 0 25 0 1 0 763678712 80789504 18812 4294967295 134512640 134714540 3221224592 3221223140 134696760 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19724 18812 1111 63 0 19661 0
vsize: 78896
[startup+820.125 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 12485
Raw data (stat): 12428 (bsolo_mis) R 12427 3132 3131 0 -1 0 18921 0 0 0 81966 58 0 0 25 0 1 0 763678712 81121280 18891 4294967295 134512640 134714540 3221224592 3221223376 134622290 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19805 18891 1111 63 0 19742 0
vsize: 79220
[startup+830.125 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 12485
Raw data (stat): 12428 (bsolo_mis) R 12427 3132 3131 0 -1 0 19057 0 0 0 82966 59 0 0 25 0 1 0 763678712 81661952 19027 4294967295 134512640 134714540 3221224592 3221223304 134543176 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19937 19027 1111 63 0 19874 0
vsize: 79748
[startup+840.125 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 12485
Raw data (stat): 12428 (bsolo_mis) R 12427 3132 3131 0 -1 0 19057 0 0 0 83966 59 0 0 25 0 1 0 763678712 81661952 19027 4294967295 134512640 134714540 3221224592 3221223308 134543156 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19937 19027 1111 63 0 19874 0
vsize: 79748
[startup+850.124 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 12485
Raw data (stat): 12428 (bsolo_mis) R 12427 3132 3131 0 -1 0 19117 0 0 0 84966 59 0 0 25 0 1 0 763678712 81932288 19087 4294967295 134512640 134714540 3221224592 3221223316 134622760 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20003 19087 1111 63 0 19940 0
vsize: 80012
[startup+860.124 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 12485
Raw data (stat): 12428 (bsolo_mis) R 12427 3132 3131 0 -1 0 19162 0 0 0 85966 59 0 0 25 0 1 0 763678712 82206720 19132 4294967295 134512640 134714540 3221224592 3221223304 134543168 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20070 19132 1111 63 0 20007 0
vsize: 80280
[startup+870.124 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 12485
Raw data (stat): 12428 (bsolo_mis) R 12427 3132 3131 0 -1 0 19162 0 0 0 86966 59 0 0 25 0 1 0 763678712 82206720 19132 4294967295 134512640 134714540 3221224592 3221223408 134622252 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20070 19132 1111 63 0 20007 0
vsize: 80280
[startup+880.125 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 12485
Raw data (stat): 12428 (bsolo_mis) R 12427 3132 3131 0 -1 0 19162 0 0 0 87966 59 0 0 25 0 1 0 763678712 82206720 19132 4294967295 134512640 134714540 3221224592 3221223408 134622252 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20070 19132 1111 63 0 20007 0
vsize: 80280
[startup+890.124 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 12485
Raw data (stat): 12428 (bsolo_mis) R 12427 3132 3131 0 -1 0 19162 0 0 0 88966 59 0 0 25 0 1 0 763678712 82206720 19132 4294967295 134512640 134714540 3221224592 3221223304 134558492 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20070 19132 1111 63 0 20007 0
vsize: 80280
[startup+900.124 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 12485
Raw data (stat): 12428 (bsolo_mis) R 12427 3132 3131 0 -1 0 19162 0 0 0 89966 59 0 0 25 0 1 0 763678712 82206720 19132 4294967295 134512640 134714540 3221224592 3221223304 134543176 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20070 19132 1111 63 0 20007 0
vsize: 80280
[startup+910.125 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 12485
Raw data (stat): 12428 (bsolo_mis) R 12427 3132 3131 0 -1 0 19162 0 0 0 90966 59 0 0 25 0 1 0 763678712 82206720 19132 4294967295 134512640 134714540 3221224592 3221223316 134622760 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20070 19132 1111 63 0 20007 0
vsize: 80280
[startup+920.125 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 12485
Raw data (stat): 12428 (bsolo_mis) R 12427 3132 3131 0 -1 0 19162 0 0 0 91966 59 0 0 25 0 1 0 763678712 82206720 19132 4294967295 134512640 134714540 3221224592 3221223320 134622780 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20070 19132 1111 63 0 20007 0
vsize: 80280
[startup+930.124 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 12485
Raw data (stat): 12428 (bsolo_mis) R 12427 3132 3131 0 -1 0 19162 0 0 0 92966 59 0 0 25 0 1 0 763678712 82206720 19132 4294967295 134512640 134714540 3221224592 3221223384 134543552 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20070 19132 1111 63 0 20007 0
vsize: 80280
[startup+940.124 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 12485
Raw data (stat): 12428 (bsolo_mis) R 12427 3132 3131 0 -1 0 19171 0 0 0 93966 60 0 0 25 0 1 0 763678712 82206720 19141 4294967295 134512640 134714540 3221224592 3221223360 134592116 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20070 19141 1111 63 0 20007 0
vsize: 80280
[startup+950.124 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 12485
Raw data (stat): 12428 (bsolo_mis) R 12427 3132 3131 0 -1 0 19306 0 0 0 94966 60 0 0 25 0 1 0 763678712 82747392 19276 4294967295 134512640 134714540 3221224592 3221223316 134622905 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20202 19276 1111 63 0 20139 0
vsize: 80808
[startup+960.124 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 12485
Raw data (stat): 12428 (bsolo_mis) R 12427 3132 3131 0 -1 0 19397 0 0 0 95966 61 0 0 25 0 1 0 763678712 83087360 19367 4294967295 134512640 134714540 3221224592 3221223304 134543187 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20285 19367 1111 63 0 20222 0
vsize: 81140
[startup+970.123 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 12485
Raw data (stat): 12428 (bsolo_mis) R 12427 3132 3131 0 -1 0 19397 0 0 0 96966 61 0 0 25 0 1 0 763678712 83087360 19367 4294967295 134512640 134714540 3221224592 3221223396 134622267 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20285 19367 1111 63 0 20222 0
vsize: 81140
[startup+980.123 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 12485
Raw data (stat): 12428 (bsolo_mis) R 12427 3132 3131 0 -1 0 19397 0 0 0 97966 61 0 0 25 0 1 0 763678712 83087360 19367 4294967295 134512640 134714540 3221224592 3221223216 134543097 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20285 19367 1111 63 0 20222 0
vsize: 81140
[startup+990.123 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 12485
Raw data (stat): 12428 (bsolo_mis) R 12427 3132 3131 0 -1 0 19397 0 0 0 98966 61 0 0 25 0 1 0 763678712 83087360 19367 4294967295 134512640 134714540 3221224592 3221223408 134622261 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20285 19367 1111 63 0 20222 0
vsize: 81140
[startup+1000.12 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 12485
Raw data (stat): 12428 (bsolo_mis) R 12427 3132 3131 0 -1 0 19397 0 0 0 99966 61 0 0 25 0 1 0 763678712 83087360 19367 4294967295 134512640 134714540 3221224592 3221223396 134622267 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20285 19367 1111 63 0 20222 0
vsize: 81140
[startup+1010.12 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 12485
Raw data (stat): 12428 (bsolo_mis) R 12427 3132 3131 0 -1 0 19397 0 0 0 100966 61 0 0 25 0 1 0 763678712 83087360 19367 4294967295 134512640 134714540 3221224592 3221223384 134543187 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20285 19367 1111 63 0 20222 0
vsize: 81140
[startup+1020.12 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 12485
Raw data (stat): 12428 (bsolo_mis) R 12427 3132 3131 0 -1 0 19397 0 0 0 101966 61 0 0 25 0 1 0 763678712 83087360 19367 4294967295 134512640 134714540 3221224592 3221223152 134542352 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20285 19367 1111 63 0 20222 0
vsize: 81140
[startup+1030.12 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 12485
Raw data (stat): 12428 (bsolo_mis) R 12427 3132 3131 0 -1 0 19397 0 0 0 102966 62 0 0 25 0 1 0 763678712 83087360 19367 4294967295 134512640 134714540 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20285 19367 1111 63 0 20222 0
vsize: 81140
[startup+1040.12 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 12485
Raw data (stat): 12428 (bsolo_mis) R 12427 3132 3131 0 -1 0 19397 0 0 0 103966 62 0 0 25 0 1 0 763678712 83087360 19367 4294967295 134512640 134714540 3221224592 3221223164 1076647539 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20285 19367 1111 63 0 20222 0
vsize: 81140
[startup+1050.12 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 12485
Raw data (stat): 12428 (bsolo_mis) R 12427 3132 3131 0 -1 0 19397 0 0 0 104966 62 0 0 25 0 1 0 763678712 83087360 19367 4294967295 134512640 134714540 3221224592 3221223384 134542401 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20285 19367 1111 63 0 20222 0
vsize: 81140
[startup+1060.12 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 12485
Raw data (stat): 12428 (bsolo_mis) R 12427 3132 3131 0 -1 0 19397 0 0 0 105966 62 0 0 25 0 1 0 763678712 83087360 19367 4294967295 134512640 134714540 3221224592 3221223316 134622760 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20285 19367 1111 63 0 20222 0
vsize: 81140
[startup+1070.12 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 12485
Raw data (stat): 12428 (bsolo_mis) R 12427 3132 3131 0 -1 0 19410 0 0 0 106966 62 0 0 25 0 1 0 763678712 83222528 19380 4294967295 134512640 134714540 3221224592 3221223408 134622261 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20318 19380 1111 63 0 20255 0
vsize: 81272
[startup+1080.12 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 12485
Raw data (stat): 12428 (bsolo_mis) R 12427 3132 3131 0 -1 0 19410 0 0 0 107966 62 0 0 25 0 1 0 763678712 83222528 19380 4294967295 134512640 134714540 3221224592 3221223308 134558476 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20318 19380 1111 63 0 20255 0
vsize: 81272
[startup+1090.12 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 12485
Raw data (stat): 12428 (bsolo_mis) R 12427 3132 3131 0 -1 0 19458 0 0 0 108966 62 0 0 25 0 1 0 763678712 83357696 19428 4294967295 134512640 134714540 3221224592 3221223308 134543156 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20351 19428 1111 63 0 20288 0
vsize: 81404
[startup+1100.12 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 12485
Raw data (stat): 12428 (bsolo_mis) R 12427 3132 3131 0 -1 0 19536 0 0 0 109966 63 0 0 25 0 1 0 763678712 83628032 19506 4294967295 134512640 134714540 3221224592 3221223304 134543157 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20417 19506 1111 63 0 20354 0
vsize: 81668
[startup+1110.12 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 12485
Raw data (stat): 12428 (bsolo_mis) R 12427 3132 3131 0 -1 0 19707 0 0 0 110966 63 0 0 25 0 1 0 763678712 84439040 19677 4294967295 134512640 134714540 3221224592 3221223316 134622760 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20615 19677 1111 63 0 20552 0
vsize: 82460
[startup+1120.12 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 12485
Raw data (stat): 12428 (bsolo_mis) R 12427 3132 3131 0 -1 0 19707 0 0 0 111966 63 0 0 25 0 1 0 763678712 84439040 19677 4294967295 134512640 134714540 3221224592 3221223396 134622267 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20615 19677 1111 63 0 20552 0
vsize: 82460
[startup+1130.12 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 12485
Raw data (stat): 12428 (bsolo_mis) R 12427 3132 3131 0 -1 0 19707 0 0 0 112966 63 0 0 25 0 1 0 763678712 84439040 19677 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20615 19677 1111 63 0 20552 0
vsize: 82460
[startup+1140.12 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 12485
Raw data (stat): 12428 (bsolo_mis) R 12427 3132 3131 0 -1 0 19707 0 0 0 113966 63 0 0 25 0 1 0 763678712 84439040 19677 4294967295 134512640 134714540 3221224592 3221223368 134542416 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20615 19677 1111 63 0 20552 0
vsize: 82460
[startup+1150.12 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 12485
Raw data (stat): 12428 (bsolo_mis) R 12427 3132 3131 0 -1 0 19707 0 0 0 114966 63 0 0 25 0 1 0 763678712 84439040 19677 4294967295 134512640 134714540 3221224592 3221223216 134543097 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20615 19677 1111 63 0 20552 0
vsize: 82460
[startup+1160.12 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 12485
Raw data (stat): 12428 (bsolo_mis) R 12427 3132 3131 0 -1 0 19707 0 0 0 115967 63 0 0 25 0 1 0 763678712 84439040 19677 4294967295 134512640 134714540 3221224592 3221223408 134622429 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20615 19677 1111 63 0 20552 0
vsize: 82460
[startup+1170.12 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 12485
Raw data (stat): 12428 (bsolo_mis) R 12427 3132 3131 0 -1 0 19779 0 0 0 116967 63 0 0 25 0 1 0 763678712 84709376 19749 4294967295 134512640 134714540 3221224592 3221223408 134622252 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20681 19749 1111 63 0 20618 0
vsize: 82724
[startup+1174.88 s]
Raw data (loadavg): 1.00 0.97 0.91 1/53 12485
Raw data (stat): 12428 (bsolo_mis) R 12427 3132 3131 0 -1 0 19779 0 0 0 116967 63 0 0 25 0 1 0 763678712 84709376 19749 4294967295 134512640 134714540 3221224592 3221223408 134622252 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20681 19749 1111 63 0 20618 0
vsize: 0

Child status: 0
Real time (s): 1174.88
CPU time (s): 1175.07
CPU user time (s): 1174.39
CPU system time (s): 0.676897
CPU usage (%): 100.016
Max. virtual memory (Kb): 82724
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####