PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-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	920
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.75
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 27371

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 450.999
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:        732784 kB
Buffers:          4088 kB
Cached:         277268 kB
SwapCached:        504 kB
Active:          20828 kB
Inactive:       262864 kB
HighTotal:      131008 kB
HighFree:       104860 kB
LowTotal:       903652 kB
LowFree:        627924 kB
SwapTotal:     2097136 kB
SwapFree:      2096044 kB
Dirty:              76 kB
Writeback:           0 kB
Mapped:           5644 kB
Slab:            12512 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-24 21:38:21 (client local time) WITH STATUS 0 IN 1175.1 SECONDS
stats: 17371 7 1175.1 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.771 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.06 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.93 0.98 0.93 2/54 27819
Raw data (stat): 27819 (runsolver) R 27818 23514 23513 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 775194235 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.001 s]
Raw data (loadavg): 0.94 0.98 0.93 2/54 27819
Raw data (stat): 27819 (bsolo_mis) R 27818 23514 23513 0 -1 0 11772 0 0 0 971 27 0 0 25 0 1 0 775194235 51892224 11742 4294967295 134512640 134714540 3221224592 3221223336 134536866 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.0016 s]
Raw data (loadavg): 0.95 0.98 0.93 2/54 27819
Raw data (stat): 27819 (bsolo_mis) R 27818 23514 23513 0 -1 0 12099 0 0 0 1969 29 0 0 25 0 1 0 775194235 53243904 12069 4294967295 134512640 134714540 3221224592 3221223408 134622115 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12999 12069 1111 63 0 12936 0
vsize: 51996
[startup+30.0011 s]
Raw data (loadavg): 0.95 0.98 0.93 2/54 27819
Raw data (stat): 27819 (bsolo_mis) R 27818 23514 23513 0 -1 0 12452 0 0 0 2968 30 0 0 25 0 1 0 775194235 54595584 12422 4294967295 134512640 134714540 3221224592 3221222916 134697231 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13329 12422 1111 63 0 13266 0
vsize: 53316
[startup+40.0012 s]
Raw data (loadavg): 0.96 0.98 0.93 2/54 27819
Raw data (stat): 27819 (bsolo_mis) R 27818 23514 23513 0 -1 0 12651 0 0 0 3967 31 0 0 25 0 1 0 775194235 55406592 12621 4294967295 134512640 134714540 3221224592 3221223312 134622860 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.0021 s]
Raw data (loadavg): 0.97 0.98 0.93 2/54 27819
Raw data (stat): 27819 (bsolo_mis) R 27818 23514 23513 0 -1 0 12864 0 0 0 4967 31 0 0 25 0 1 0 775194235 56352768 12834 4294967295 134512640 134714540 3221224592 3221223232 134696145 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13758 12834 1111 63 0 13695 0
vsize: 55032
[startup+60.0026 s]
Raw data (loadavg): 0.97 0.98 0.93 2/54 27819
Raw data (stat): 27819 (bsolo_mis) R 27818 23514 23513 0 -1 0 13014 0 0 0 5967 32 0 0 25 0 1 0 775194235 56893440 12984 4294967295 134512640 134714540 3221224592 3221223328 134695382 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13890 12984 1111 63 0 13827 0
vsize: 55560
[startup+70.0027 s]
Raw data (loadavg): 0.97 0.98 0.93 2/54 27819
Raw data (stat): 27819 (bsolo_mis) R 27818 23514 23513 0 -1 0 13147 0 0 0 6966 32 0 0 25 0 1 0 775194235 57569280 13117 4294967295 134512640 134714540 3221224592 3221223308 134558476 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14055 13117 1111 63 0 13992 0
vsize: 56220
[startup+80.0026 s]
Raw data (loadavg): 0.98 0.98 0.93 2/54 27819
Raw data (stat): 27819 (bsolo_mis) R 27818 23514 23513 0 -1 0 13289 0 0 0 7966 33 0 0 25 0 1 0 775194235 58109952 13259 4294967295 134512640 134714540 3221224592 3221223376 134624498 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14187 13259 1111 63 0 14124 0
vsize: 56748
[startup+90.0031 s]
Raw data (loadavg): 0.98 0.98 0.93 2/54 27819
Raw data (stat): 27819 (bsolo_mis) R 27818 23514 23513 0 -1 0 13463 0 0 0 8966 33 0 0 25 0 1 0 775194235 58785792 13433 4294967295 134512640 134714540 3221224592 3221223396 134622413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14352 13433 1111 63 0 14289 0
vsize: 57408
[startup+100.003 s]
Raw data (loadavg): 0.98 0.98 0.93 2/54 27819
Raw data (stat): 27819 (bsolo_mis) R 27818 23514 23513 0 -1 0 13655 0 0 0 9965 34 0 0 25 0 1 0 775194235 59596800 13625 4294967295 134512640 134714540 3221224592 3221223488 134621515 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14550 13625 1111 63 0 14487 0
vsize: 58200
[startup+110.004 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 27819
Raw data (stat): 27819 (bsolo_mis) R 27818 23514 23513 0 -1 0 13975 0 0 0 10965 35 0 0 25 0 1 0 775194235 60907520 13945 4294967295 134512640 134714540 3221224592 3221223328 134535745 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14870 13945 1111 63 0 14807 0
vsize: 59480
[startup+120.005 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 27819
Raw data (stat): 27819 (bsolo_mis) R 27818 23514 23513 0 -1 0 14359 0 0 0 11964 36 0 0 25 0 1 0 775194235 62529536 14329 4294967295 134512640 134714540 3221224592 3221223256 134543609 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15266 14329 1111 63 0 15203 0
vsize: 61064
[startup+130.005 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 27819
Raw data (stat): 27819 (bsolo_mis) R 27818 23514 23513 0 -1 0 14725 0 0 0 12963 37 0 0 25 0 1 0 775194235 64024576 14695 4294967295 134512640 134714540 3221224592 3221223248 134543740 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15631 14695 1111 63 0 15568 0
vsize: 62524
[startup+140.006 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 27819
Raw data (stat): 27819 (bsolo_mis) R 27818 23514 23513 0 -1 0 14834 0 0 0 13962 38 0 0 25 0 1 0 775194235 64430080 14804 4294967295 134512640 134714540 3221224592 3221223304 134558485 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15730 14804 1111 63 0 15667 0
vsize: 62920
[startup+150.006 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 27819
Raw data (stat): 27819 (bsolo_mis) R 27818 23514 23513 0 -1 0 15043 0 0 0 14961 39 0 0 25 0 1 0 775194235 65241088 15013 4294967295 134512640 134714540 3221224592 3221223296 134528440 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15928 15013 1111 63 0 15865 0
vsize: 63712
[startup+160.006 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 27819
Raw data (stat): 27819 (bsolo_mis) R 27818 23514 23513 0 -1 0 15054 0 0 0 15961 39 0 0 25 0 1 0 775194235 65376256 15024 4294967295 134512640 134714540 3221224592 3221223184 134543740 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15961 15024 1111 63 0 15898 0
vsize: 63844
[startup+170.006 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 27819
Raw data (stat): 27819 (bsolo_mis) R 27818 23514 23513 0 -1 0 15475 0 0 0 16960 41 0 0 25 0 1 0 775194235 66998272 15445 4294967295 134512640 134714540 3221224592 3221223408 134622252 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16357 15445 1111 63 0 16294 0
vsize: 65428
[startup+180.006 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 27819
Raw data (stat): 27819 (bsolo_mis) R 27818 23514 23513 0 -1 0 15475 0 0 0 17960 41 0 0 25 0 1 0 775194235 66998272 15445 4294967295 134512640 134714540 3221224592 3221223384 134558492 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16357 15445 1111 63 0 16294 0
vsize: 65428
[startup+190.007 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 27819
Raw data (stat): 27819 (bsolo_mis) R 27818 23514 23513 0 -1 0 15475 0 0 0 18960 42 0 0 25 0 1 0 775194235 66998272 15445 4294967295 134512640 134714540 3221224592 3221223408 134622252 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16357 15445 1111 63 0 16294 0
vsize: 65428
[startup+200.007 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 27819
Raw data (stat): 27819 (bsolo_mis) R 27818 23514 23513 0 -1 0 15478 0 0 0 19959 42 0 0 25 0 1 0 775194235 66998272 15448 4294967295 134512640 134714540 3221224592 3221223384 134543187 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16357 15448 1111 63 0 16294 0
vsize: 65428
[startup+210.007 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 27819
Raw data (stat): 27819 (bsolo_mis) R 27818 23514 23513 0 -1 0 15530 0 0 0 20959 42 0 0 25 0 1 0 775194235 67268608 15500 4294967295 134512640 134714540 3221224592 3221223228 134543664 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16423 15500 1111 63 0 16360 0
vsize: 65692
[startup+220.007 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 27819
Raw data (stat): 27819 (bsolo_mis) R 27818 23514 23513 0 -1 0 15741 0 0 0 21958 43 0 0 25 0 1 0 775194235 68079616 15711 4294967295 134512640 134714540 3221224592 3221223232 134613454 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16621 15711 1111 63 0 16558 0
vsize: 66484
[startup+230.007 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 27819
Raw data (stat): 27819 (bsolo_mis) R 27818 23514 23513 0 -1 0 15787 0 0 0 22958 44 0 0 25 0 1 0 775194235 68349952 15757 4294967295 134512640 134714540 3221224592 3221223396 134610916 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16687 15757 1111 63 0 16624 0
vsize: 66748
[startup+240.008 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 27819
Raw data (stat): 27819 (bsolo_mis) R 27818 23514 23513 0 -1 0 15930 0 0 0 23957 45 0 0 25 0 1 0 775194235 68890624 15900 4294967295 134512640 134714540 3221224592 3221223360 134592116 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16819 15900 1111 63 0 16756 0
vsize: 67276
[startup+250.008 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 27819
Raw data (stat): 27819 (bsolo_mis) R 27818 23514 23513 0 -1 0 16013 0 0 0 24957 45 0 0 25 0 1 0 775194235 69296128 15983 4294967295 134512640 134714540 3221224592 3221223360 134592104 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16918 15983 1111 63 0 16855 0
vsize: 67672
[startup+260.009 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 27819
Raw data (stat): 27819 (bsolo_mis) R 27818 23514 23513 0 -1 0 16305 0 0 0 25956 46 0 0 25 0 1 0 775194235 70393856 16275 4294967295 134512640 134714540 3221224592 3221223384 134542437 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17186 16275 1111 63 0 17123 0
vsize: 68744
[startup+270.008 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 27819
Raw data (stat): 27819 (bsolo_mis) R 27818 23514 23513 0 -1 0 16446 0 0 0 26956 47 0 0 25 0 1 0 775194235 71069696 16416 4294967295 134512640 134714540 3221224592 3221223232 134696114 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17351 16416 1111 63 0 17288 0
vsize: 69404
[startup+280.008 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 27819
Raw data (stat): 27819 (bsolo_mis) R 27818 23514 23513 0 -1 0 16446 0 0 0 27955 47 0 0 25 0 1 0 775194235 71069696 16416 4294967295 134512640 134714540 3221224592 3221223384 134536897 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17351 16416 1111 63 0 17288 0
vsize: 69404
[startup+290.009 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 27819
Raw data (stat): 27819 (bsolo_mis) R 27818 23514 23513 0 -1 0 16449 0 0 0 28955 48 0 0 25 0 1 0 775194235 71069696 16419 4294967295 134512640 134714540 3221224592 3221223152 134540332 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17351 16419 1111 63 0 17288 0
vsize: 69404
[startup+300.009 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 27819
Raw data (stat): 27819 (bsolo_mis) R 27818 23514 23513 0 -1 0 16592 0 0 0 29955 48 0 0 25 0 1 0 775194235 71548928 16562 4294967295 134512640 134714540 3221224592 3221223308 134558476 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17468 16562 1111 63 0 17405 0
vsize: 69872
[startup+310.01 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 27819
Raw data (stat): 27819 (bsolo_mis) R 27818 23514 23513 0 -1 0 16813 0 0 0 30955 49 0 0 25 0 1 0 775194235 72499200 16783 4294967295 134512640 134714540 3221224592 3221223320 134558582 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17700 16783 1111 63 0 17637 0
vsize: 70800
[startup+320.009 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 27819
Raw data (stat): 27819 (bsolo_mis) R 27818 23514 23513 0 -1 0 16914 0 0 0 31955 49 0 0 25 0 1 0 775194235 72904704 16884 4294967295 134512640 134714540 3221224592 3221223384 134542409 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17799 16884 1111 63 0 17736 0
vsize: 71196
[startup+330.009 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 27819
Raw data (stat): 27819 (bsolo_mis) R 27818 23514 23513 0 -1 0 17058 0 0 0 32954 49 0 0 25 0 1 0 775194235 73580544 17028 4294967295 134512640 134714540 3221224592 3221223456 134558535 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17964 17028 1111 63 0 17901 0
vsize: 71856
[startup+340.009 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 27819
Raw data (stat): 27819 (bsolo_mis) R 27818 23514 23513 0 -1 0 17245 0 0 0 33954 50 0 0 25 0 1 0 775194235 74256384 17215 4294967295 134512640 134714540 3221224592 3221223304 134543168 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18129 17215 1111 63 0 18066 0
vsize: 72516
[startup+350.009 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 27819
Raw data (stat): 27819 (bsolo_mis) R 27818 23514 23513 0 -1 0 17288 0 0 0 34954 50 0 0 25 0 1 0 775194235 74530816 17258 4294967295 134512640 134714540 3221224592 3221223308 134558476 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18196 17258 1111 63 0 18133 0
vsize: 72784
[startup+360.01 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 27819
Raw data (stat): 27819 (bsolo_mis) R 27818 23514 23513 0 -1 0 17288 0 0 0 35954 50 0 0 25 0 1 0 775194235 74530816 17258 4294967295 134512640 134714540 3221224592 3221223304 134543187 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18196 17258 1111 63 0 18133 0
vsize: 72784
[startup+370.01 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 27819
Raw data (stat): 27819 (bsolo_mis) R 27818 23514 23513 0 -1 0 17288 0 0 0 36954 50 0 0 25 0 1 0 775194235 74530816 17258 4294967295 134512640 134714540 3221224592 3221223376 134622323 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18196 17258 1111 63 0 18133 0
vsize: 72784
[startup+380.009 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 27819
Raw data (stat): 27819 (bsolo_mis) R 27818 23514 23513 0 -1 0 17297 0 0 0 37954 50 0 0 25 0 1 0 775194235 74530816 17267 4294967295 134512640 134714540 3221224592 3221223212 134536763 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18196 17267 1111 63 0 18133 0
vsize: 72784
[startup+390.01 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 27819
Raw data (stat): 27819 (bsolo_mis) R 27818 23514 23513 0 -1 0 17297 0 0 0 38954 51 0 0 25 0 1 0 775194235 74530816 17267 4294967295 134512640 134714540 3221224592 3221223304 134558485 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18196 17267 1111 63 0 18133 0
vsize: 72784
[startup+400.011 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 27819
Raw data (stat): 27819 (bsolo_mis) R 27818 23514 23513 0 -1 0 17365 0 0 0 39953 52 0 0 25 0 1 0 775194235 74801152 17335 4294967295 134512640 134714540 3221224592 3221223216 134535427 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18262 17335 1111 63 0 18199 0
vsize: 73048
[startup+410.012 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 27819
Raw data (stat): 27819 (bsolo_mis) R 27818 23514 23513 0 -1 0 17474 0 0 0 40953 52 0 0 25 0 1 0 775194235 75206656 17444 4294967295 134512640 134714540 3221224592 3221223232 134613457 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18361 17444 1111 63 0 18298 0
vsize: 73444
[startup+420.012 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 27819
Raw data (stat): 27819 (bsolo_mis) R 27818 23514 23513 0 -1 0 17611 0 0 0 41953 53 0 0 25 0 1 0 775194235 75747328 17581 4294967295 134512640 134714540 3221224592 3221223372 134623145 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18493 17581 1111 63 0 18430 0
vsize: 73972
[startup+430.012 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 27819
Raw data (stat): 27819 (bsolo_mis) R 27818 23514 23513 0 -1 0 17715 0 0 0 42952 53 0 0 25 0 1 0 775194235 76152832 17685 4294967295 134512640 134714540 3221224592 3221223384 134558492 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18592 17685 1111 63 0 18529 0
vsize: 74368
[startup+440.012 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 27819
Raw data (stat): 27819 (bsolo_mis) R 27818 23514 23513 0 -1 0 17749 0 0 0 43952 53 0 0 25 0 1 0 775194235 76288000 17719 4294967295 134512640 134714540 3221224592 3221223248 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18625 17719 1111 63 0 18562 0
vsize: 74500
[startup+450.012 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 27819
Raw data (stat): 27819 (bsolo_mis) R 27818 23514 23513 0 -1 0 17749 0 0 0 44952 54 0 0 25 0 1 0 775194235 76288000 17719 4294967295 134512640 134714540 3221224592 3221223304 134543176 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18625 17719 1111 63 0 18562 0
vsize: 74500
[startup+460.012 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 27819
Raw data (stat): 27819 (bsolo_mis) R 27818 23514 23513 0 -1 0 17749 0 0 0 45952 54 0 0 25 0 1 0 775194235 76288000 17719 4294967295 134512640 134714540 3221224592 3221223384 134542448 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18625 17719 1111 63 0 18562 0
vsize: 74500
[startup+470.013 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 27819
Raw data (stat): 27819 (bsolo_mis) R 27818 23514 23513 0 -1 0 17773 0 0 0 46952 55 0 0 25 0 1 0 775194235 76423168 17743 4294967295 134512640 134714540 3221224592 3221223232 134696109 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18658 17743 1111 63 0 18595 0
vsize: 74632
[startup+480.013 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 27819
Raw data (stat): 27819 (bsolo_mis) R 27818 23514 23513 0 -1 0 17894 0 0 0 47951 55 0 0 25 0 1 0 775194235 76931072 17864 4294967295 134512640 134714540 3221224592 3221223328 134622747 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18782 17864 1111 63 0 18719 0
vsize: 75128
[startup+490.014 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 27819
Raw data (stat): 27819 (bsolo_mis) R 27818 23514 23513 0 -1 0 17940 0 0 0 48951 55 0 0 25 0 1 0 775194235 77201408 17910 4294967295 134512640 134714540 3221224592 3221223316 134622760 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18848 17910 1111 63 0 18785 0
vsize: 75392
[startup+500.014 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 27819
Raw data (stat): 27819 (bsolo_mis) R 27818 23514 23513 0 -1 0 17940 0 0 0 49951 56 0 0 25 0 1 0 775194235 77201408 17910 4294967295 134512640 134714540 3221224592 3221223384 134542421 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18848 17910 1111 63 0 18785 0
vsize: 75392
[startup+510.015 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 27819
Raw data (stat): 27819 (bsolo_mis) R 27818 23514 23513 0 -1 0 17940 0 0 0 50952 56 0 0 25 0 1 0 775194235 77201408 17910 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18848 17910 1111 63 0 18785 0
vsize: 75392
[startup+520.015 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 27819
Raw data (stat): 27819 (bsolo_mis) R 27818 23514 23513 0 -1 0 17940 0 0 0 51952 56 0 0 25 0 1 0 775194235 77201408 17910 4294967295 134512640 134714540 3221224592 3221223392 134622307 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18848 17910 1111 63 0 18785 0
vsize: 75392
[startup+530.015 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 27819
Raw data (stat): 27819 (bsolo_mis) R 27818 23514 23513 0 -1 0 17940 0 0 0 52952 56 0 0 25 0 1 0 775194235 77201408 17910 4294967295 134512640 134714540 3221224592 3221223384 134558492 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18848 17910 1111 63 0 18785 0
vsize: 75392
[startup+540.016 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 27819
Raw data (stat): 27819 (bsolo_mis) R 27818 23514 23513 0 -1 0 17957 0 0 0 53952 56 0 0 25 0 1 0 775194235 77201408 17927 4294967295 134512640 134714540 3221224592 3221223152 134542344 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18848 17927 1111 63 0 18785 0
vsize: 75392
[startup+550.017 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 27819
Raw data (stat): 27819 (bsolo_mis) R 27818 23514 23513 0 -1 0 18096 0 0 0 54951 57 0 0 25 0 1 0 775194235 77729792 18066 4294967295 134512640 134714540 3221224592 3221223100 134535900 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18977 18066 1111 63 0 18914 0
vsize: 75908
[startup+560.017 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 27819
Raw data (stat): 27819 (bsolo_mis) R 27818 23514 23513 0 -1 0 18168 0 0 0 55951 57 0 0 25 0 1 0 775194235 78135296 18138 4294967295 134512640 134714540 3221224592 3221223464 134536921 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19076 18138 1111 63 0 19013 0
vsize: 76304
[startup+570.017 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 27819
Raw data (stat): 27819 (bsolo_mis) R 27818 23514 23513 0 -1 0 18168 0 0 0 56951 57 0 0 25 0 1 0 775194235 78135296 18138 4294967295 134512640 134714540 3221224592 3221223320 134622783 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19076 18138 1111 63 0 19013 0
vsize: 76304
[startup+580.017 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 27819
Raw data (stat): 27819 (bsolo_mis) R 27818 23514 23513 0 -1 0 18168 0 0 0 57951 57 0 0 25 0 1 0 775194235 78135296 18138 4294967295 134512640 134714540 3221224592 3221223352 134592379 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19076 18138 1111 63 0 19013 0
vsize: 76304
[startup+590.018 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 27819
Raw data (stat): 27819 (bsolo_mis) R 27818 23514 23513 0 -1 0 18168 0 0 0 58951 58 0 0 25 0 1 0 775194235 78135296 18138 4294967295 134512640 134714540 3221224592 3221223488 134621563 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19076 18138 1111 63 0 19013 0
vsize: 76304
[startup+600.018 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 27819
Raw data (stat): 27819 (bsolo_mis) R 27818 23514 23513 0 -1 0 18168 0 0 0 59951 58 0 0 25 0 1 0 775194235 78135296 18138 4294967295 134512640 134714540 3221224592 3221223160 1077378406 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19076 18138 1111 63 0 19013 0
vsize: 76304
[startup+610.019 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 27819
Raw data (stat): 27819 (bsolo_mis) R 27818 23514 23513 0 -1 0 18168 0 0 0 60952 58 0 0 25 0 1 0 775194235 78135296 18138 4294967295 134512640 134714540 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19076 18138 1111 63 0 19013 0
vsize: 76304
[startup+620.019 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 27819
Raw data (stat): 27819 (bsolo_mis) R 27818 23514 23513 0 -1 0 18168 0 0 0 61951 58 0 0 25 0 1 0 775194235 78135296 18138 4294967295 134512640 134714540 3221224592 3221223140 134696760 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19076 18138 1111 63 0 19013 0
vsize: 76304
[startup+630.019 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 27819
Raw data (stat): 27819 (bsolo_mis) R 27818 23514 23513 0 -1 0 18192 0 0 0 62951 58 0 0 25 0 1 0 775194235 78135296 18162 4294967295 134512640 134714540 3221224592 3221223396 134622267 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19076 18162 1111 63 0 19013 0
vsize: 76304
[startup+640.02 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 27819
Raw data (stat): 27819 (bsolo_mis) R 27818 23514 23513 0 -1 0 18294 0 0 0 63951 59 0 0 25 0 1 0 775194235 78540800 18264 4294967295 134512640 134714540 3221224592 3221223328 134622896 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19175 18264 1111 63 0 19112 0
vsize: 76700
[startup+650.019 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 27819
Raw data (stat): 27819 (bsolo_mis) R 27818 23514 23513 0 -1 0 18294 0 0 0 64951 59 0 0 25 0 1 0 775194235 78540800 18264 4294967295 134512640 134714540 3221224592 3221223396 134622413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19175 18264 1111 63 0 19112 0
vsize: 76700
[startup+660.02 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 27819
Raw data (stat): 27819 (bsolo_mis) R 27818 23514 23513 0 -1 0 18294 0 0 0 65951 59 0 0 25 0 1 0 775194235 78540800 18264 4294967295 134512640 134714540 3221224592 3221223344 134592443 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19175 18264 1111 63 0 19112 0
vsize: 76700
[startup+670.02 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 27819
Raw data (stat): 27819 (bsolo_mis) R 27818 23514 23513 0 -1 0 18294 0 0 0 66951 59 0 0 25 0 1 0 775194235 78540800 18264 4294967295 134512640 134714540 3221224592 3221223320 134622806 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19175 18264 1111 63 0 19112 0
vsize: 76700
[startup+680.02 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 27819
Raw data (stat): 27819 (bsolo_mis) R 27818 23514 23513 0 -1 0 18337 0 0 0 67951 60 0 0 25 0 1 0 775194235 78815232 18307 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19242 18307 1111 63 0 19179 0
vsize: 76968
[startup+690.02 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 27819
Raw data (stat): 27819 (bsolo_mis) R 27818 23514 23513 0 -1 0 18458 0 0 0 68950 60 0 0 25 0 1 0 775194235 79220736 18428 4294967295 134512640 134714540 3221224592 3221223316 134622859 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19341 18428 1111 63 0 19278 0
vsize: 77364
[startup+700.02 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 27819
Raw data (stat): 27819 (bsolo_mis) R 27818 23514 23513 0 -1 0 18604 0 0 0 69950 61 0 0 25 0 1 0 775194235 79839232 18574 4294967295 134512640 134714540 3221224592 3221223408 134622252 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19492 18574 1111 63 0 19429 0
vsize: 77968
[startup+710.02 s]
Raw data (loadavg): 0.99 0.98 0.93 3/54 27819
Raw data (stat): 27819 (bsolo_mis) R 27818 23514 23513 0 -1 0 18779 0 0 0 70950 61 0 0 25 0 1 0 775194235 80519168 18749 4294967295 134512640 134714540 3221224592 3221223384 134543552 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19658 18749 1111 63 0 19595 0
vsize: 78632
[startup+720.021 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 27819
Raw data (stat): 27819 (bsolo_mis) R 27818 23514 23513 0 -1 0 18842 0 0 0 71950 61 0 0 25 0 1 0 775194235 80789504 18812 4294967295 134512640 134714540 3221224592 3221223152 134542303 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19724 18812 1111 63 0 19661 0
vsize: 78896
[startup+730.02 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 27819
Raw data (stat): 27819 (bsolo_mis) R 27818 23514 23513 0 -1 0 18842 0 0 0 72950 62 0 0 25 0 1 0 775194235 80789504 18812 4294967295 134512640 134714540 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19724 18812 1111 63 0 19661 0
vsize: 78896
[startup+740.021 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 27819
Raw data (stat): 27819 (bsolo_mis) R 27818 23514 23513 0 -1 0 18842 0 0 0 73950 62 0 0 25 0 1 0 775194235 80789504 18812 4294967295 134512640 134714540 3221224592 3221223392 134622271 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19724 18812 1111 63 0 19661 0
vsize: 78896
[startup+750.021 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 27819
Raw data (stat): 27819 (bsolo_mis) R 27818 23514 23513 0 -1 0 18842 0 0 0 74950 62 0 0 25 0 1 0 775194235 80789504 18812 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19724 18812 1111 63 0 19661 0
vsize: 78896
[startup+760.022 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 27819
Raw data (stat): 27819 (bsolo_mis) R 27818 23514 23513 0 -1 0 18842 0 0 0 75950 62 0 0 25 0 1 0 775194235 80789504 18812 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19724 18812 1111 63 0 19661 0
vsize: 78896
[startup+770.021 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 27819
Raw data (stat): 27819 (bsolo_mis) R 27818 23514 23513 0 -1 0 18842 0 0 0 76950 62 0 0 25 0 1 0 775194235 80789504 18812 4294967295 134512640 134714540 3221224592 3221223312 134622817 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19724 18812 1111 63 0 19661 0
vsize: 78896
[startup+780.022 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 27819
Raw data (stat): 27819 (bsolo_mis) R 27818 23514 23513 0 -1 0 18842 0 0 0 77950 62 0 0 25 0 1 0 775194235 80789504 18812 4294967295 134512640 134714540 3221224592 3221223384 134536889 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19724 18812 1111 63 0 19661 0
vsize: 78896
[startup+790.022 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 27819
Raw data (stat): 27819 (bsolo_mis) R 27818 23514 23513 0 -1 0 18842 0 0 0 78950 62 0 0 25 0 1 0 775194235 80789504 18812 4294967295 134512640 134714540 3221224592 3221223488 134621520 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19724 18812 1111 63 0 19661 0
vsize: 78896
[startup+800.022 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 27819
Raw data (stat): 27819 (bsolo_mis) R 27818 23514 23513 0 -1 0 18842 0 0 0 79950 63 0 0 25 0 1 0 775194235 80789504 18812 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19724 18812 1111 63 0 19661 0
vsize: 78896
[startup+810.023 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 27819
Raw data (stat): 27819 (bsolo_mis) R 27818 23514 23513 0 -1 0 18842 0 0 0 80950 63 0 0 25 0 1 0 775194235 80789504 18812 4294967295 134512640 134714540 3221224592 3221223396 134622376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19724 18812 1111 63 0 19661 0
vsize: 78896
[startup+820.024 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 27819
Raw data (stat): 27819 (bsolo_mis) R 27818 23514 23513 0 -1 0 18921 0 0 0 81950 63 0 0 25 0 1 0 775194235 81121280 18891 4294967295 134512640 134714540 3221224592 3221223328 134622896 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19805 18891 1111 63 0 19742 0
vsize: 79220
[startup+830.023 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 27819
Raw data (stat): 27819 (bsolo_mis) R 27818 23514 23513 0 -1 0 18988 0 0 0 82950 63 0 0 25 0 1 0 775194235 81391616 18958 4294967295 134512640 134714540 3221224592 3221223304 134543176 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19871 18958 1111 63 0 19808 0
vsize: 79484
[startup+840.024 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 27819
Raw data (stat): 27819 (bsolo_mis) R 27818 23514 23513 0 -1 0 19057 0 0 0 83950 63 0 0 25 0 1 0 775194235 81661952 19027 4294967295 134512640 134714540 3221224592 3221223408 134622468 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19937 19027 1111 63 0 19874 0
vsize: 79748
[startup+850.024 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 27819
Raw data (stat): 27819 (bsolo_mis) R 27818 23514 23513 0 -1 0 19092 0 0 0 84950 63 0 0 25 0 1 0 775194235 81797120 19062 4294967295 134512640 134714540 3221224592 3221223408 134622252 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19970 19062 1111 63 0 19907 0
vsize: 79880
[startup+860.025 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 27819
Raw data (stat): 27819 (bsolo_mis) R 27818 23514 23513 0 -1 0 19162 0 0 0 85950 64 0 0 25 0 1 0 775194235 82206720 19132 4294967295 134512640 134714540 3221224592 3221223328 134622747 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20070 19132 1111 63 0 20007 0
vsize: 80280
[startup+870.025 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 27819
Raw data (stat): 27819 (bsolo_mis) R 27818 23514 23513 0 -1 0 19162 0 0 0 86950 64 0 0 25 0 1 0 775194235 82206720 19132 4294967295 134512640 134714540 3221224592 3221223236 134536649 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20070 19132 1111 63 0 20007 0
vsize: 80280
[startup+880.025 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 27819
Raw data (stat): 27819 (bsolo_mis) R 27818 23514 23513 0 -1 0 19162 0 0 0 87950 64 0 0 25 0 1 0 775194235 82206720 19132 4294967295 134512640 134714540 3221224592 3221223396 134622157 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20070 19132 1111 63 0 20007 0
vsize: 80280
[startup+890.025 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 27819
Raw data (stat): 27819 (bsolo_mis) R 27818 23514 23513 0 -1 0 19162 0 0 0 88950 64 0 0 25 0 1 0 775194235 82206720 19132 4294967295 134512640 134714540 3221224592 3221223384 134536889 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20070 19132 1111 63 0 20007 0
vsize: 80280
[startup+900.026 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 27819
Raw data (stat): 27819 (bsolo_mis) R 27818 23514 23513 0 -1 0 19162 0 0 0 89950 64 0 0 25 0 1 0 775194235 82206720 19132 4294967295 134512640 134714540 3221224592 3221223328 134622774 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20070 19132 1111 63 0 20007 0
vsize: 80280
[startup+910.026 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 27819
Raw data (stat): 27819 (bsolo_mis) R 27818 23514 23513 0 -1 0 19162 0 0 0 90951 64 0 0 25 0 1 0 775194235 82206720 19132 4294967295 134512640 134714540 3221224592 3221223304 134543187 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20070 19132 1111 63 0 20007 0
vsize: 80280
[startup+920.027 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 27819
Raw data (stat): 27819 (bsolo_mis) R 27818 23514 23513 0 -1 0 19162 0 0 0 91951 64 0 0 25 0 1 0 775194235 82206720 19132 4294967295 134512640 134714540 3221224592 3221223316 134622859 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20070 19132 1111 63 0 20007 0
vsize: 80280
[startup+930.027 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 27819
Raw data (stat): 27819 (bsolo_mis) R 27818 23514 23513 0 -1 0 19162 0 0 0 92951 64 0 0 25 0 1 0 775194235 82206720 19132 4294967295 134512640 134714540 3221224592 3221223464 134558492 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20070 19132 1111 63 0 20007 0
vsize: 80280
[startup+940.028 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 27819
Raw data (stat): 27819 (bsolo_mis) R 27818 23514 23513 0 -1 0 19162 0 0 0 93951 64 0 0 25 0 1 0 775194235 82206720 19132 4294967295 134512640 134714540 3221224592 3221223372 134543556 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20070 19132 1111 63 0 20007 0
vsize: 80280
[startup+950.027 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 27819
Raw data (stat): 27819 (bsolo_mis) R 27818 23514 23513 0 -1 0 19180 0 0 0 94951 65 0 0 25 0 1 0 775194235 82206720 19150 4294967295 134512640 134714540 3221224592 3221223360 134592104 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20070 19150 1111 63 0 20007 0
vsize: 80280
[startup+960.029 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 27819
Raw data (stat): 27819 (bsolo_mis) R 27818 23514 23513 0 -1 0 19348 0 0 0 95951 65 0 0 25 0 1 0 775194235 82882560 19318 4294967295 134512640 134714540 3221224592 3221223172 134542747 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20235 19318 1111 63 0 20172 0
vsize: 80940
[startup+970.029 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 27819
Raw data (stat): 27819 (bsolo_mis) R 27818 23514 23513 0 -1 0 19397 0 0 0 96951 65 0 0 25 0 1 0 775194235 83087360 19367 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20285 19367 1111 63 0 20222 0
vsize: 81140
[startup+980.029 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 27819
Raw data (stat): 27819 (bsolo_mis) R 27818 23514 23513 0 -1 0 19397 0 0 0 97951 65 0 0 25 0 1 0 775194235 83087360 19367 4294967295 134512640 134714540 3221224592 3221223312 134622889 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20285 19367 1111 63 0 20222 0
vsize: 81140
[startup+990.03 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 27819
Raw data (stat): 27819 (bsolo_mis) R 27818 23514 23513 0 -1 0 19397 0 0 0 98951 66 0 0 25 0 1 0 775194235 83087360 19367 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20285 19367 1111 63 0 20222 0
vsize: 81140
[startup+1000.03 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 27819
Raw data (stat): 27819 (bsolo_mis) R 27818 23514 23513 0 -1 0 19397 0 0 0 99951 66 0 0 25 0 1 0 775194235 83087360 19367 4294967295 134512640 134714540 3221224592 3221223312 134622860 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20285 19367 1111 63 0 20222 0
vsize: 81140
[startup+1010.03 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 27819
Raw data (stat): 27819 (bsolo_mis) R 27818 23514 23513 0 -1 0 19397 0 0 0 100951 66 0 0 25 0 1 0 775194235 83087360 19367 4294967295 134512640 134714540 3221224592 3221223308 134558476 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20285 19367 1111 63 0 20222 0
vsize: 81140
[startup+1020.03 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 27819
Raw data (stat): 27819 (bsolo_mis) R 27818 23514 23513 0 -1 0 19397 0 0 0 101951 67 0 0 25 0 1 0 775194235 83087360 19367 4294967295 134512640 134714540 3221224592 3221223336 134623143 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20285 19367 1111 63 0 20222 0
vsize: 81140
[startup+1030.03 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 27819
Raw data (stat): 27819 (bsolo_mis) R 27818 23514 23513 0 -1 0 19397 0 0 0 102951 67 0 0 25 0 1 0 775194235 83087360 19367 4294967295 134512640 134714540 3221224592 3221223304 134543176 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20285 19367 1111 63 0 20222 0
vsize: 81140
[startup+1040.03 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 27819
Raw data (stat): 27819 (bsolo_mis) R 27818 23514 23513 0 -1 0 19397 0 0 0 103951 67 0 0 25 0 1 0 775194235 83087360 19367 4294967295 134512640 134714540 3221224592 3221223392 134622417 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20285 19367 1111 63 0 20222 0
vsize: 81140
[startup+1050.03 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 27819
Raw data (stat): 27819 (bsolo_mis) R 27818 23514 23513 0 -1 0 19397 0 0 0 104951 67 0 0 25 0 1 0 775194235 83087360 19367 4294967295 134512640 134714540 3221224592 3221223308 134558476 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20285 19367 1111 63 0 20222 0
vsize: 81140
[startup+1060.03 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 27819
Raw data (stat): 27819 (bsolo_mis) R 27818 23514 23513 0 -1 0 19397 0 0 0 105951 67 0 0 25 0 1 0 775194235 83087360 19367 4294967295 134512640 134714540 3221224592 3221223368 134542409 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20285 19367 1111 63 0 20222 0
vsize: 81140
[startup+1070.03 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 27819
Raw data (stat): 27819 (bsolo_mis) R 27818 23514 23513 0 -1 0 19397 0 0 0 106951 67 0 0 25 0 1 0 775194235 83087360 19367 4294967295 134512640 134714540 3221224592 3221223408 134622115 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20285 19367 1111 63 0 20222 0
vsize: 81140
[startup+1080.03 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 27819
Raw data (stat): 27819 (bsolo_mis) R 27818 23514 23513 0 -1 0 19410 0 0 0 107951 67 0 0 25 0 1 0 775194235 83222528 19380 4294967295 134512640 134714540 3221224592 3221223220 134543092 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20318 19380 1111 63 0 20255 0
vsize: 81272
[startup+1090.03 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 27819
Raw data (stat): 27819 (bsolo_mis) R 27818 23514 23513 0 -1 0 19458 0 0 0 108952 67 0 0 25 0 1 0 775194235 83357696 19428 4294967295 134512640 134714540 3221224592 3221223132 134539243 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20351 19428 1111 63 0 20288 0
vsize: 81404
[startup+1100.03 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 27819
Raw data (stat): 27819 (bsolo_mis) R 27818 23514 23513 0 -1 0 19521 0 0 0 109952 67 0 0 25 0 1 0 775194235 83628032 19491 4294967295 134512640 134714540 3221224592 3221223236 134536649 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20417 19491 1111 63 0 20354 0
vsize: 81668
[startup+1110.03 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 27819
Raw data (stat): 27819 (bsolo_mis) R 27818 23514 23513 0 -1 0 19616 0 0 0 110951 68 0 0 25 0 1 0 775194235 84033536 19586 4294967295 134512640 134714540 3221224592 3221223304 134543187 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20516 19586 1111 63 0 20453 0
vsize: 82064
[startup+1120.03 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 27819
Raw data (stat): 27819 (bsolo_mis) R 27818 23514 23513 0 -1 0 19707 0 0 0 111951 68 0 0 25 0 1 0 775194235 84439040 19677 4294967295 134512640 134714540 3221224592 3221223396 134622352 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20615 19677 1111 63 0 20552 0
vsize: 82460
[startup+1130.03 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 27819
Raw data (stat): 27819 (bsolo_mis) R 27818 23514 23513 0 -1 0 19707 0 0 0 112951 68 0 0 25 0 1 0 775194235 84439040 19677 4294967295 134512640 134714540 3221224592 3221223304 134543176 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20615 19677 1111 63 0 20552 0
vsize: 82460
[startup+1140.04 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 27819
Raw data (stat): 27819 (bsolo_mis) R 27818 23514 23513 0 -1 0 19707 0 0 0 113951 68 0 0 25 0 1 0 775194235 84439040 19677 4294967295 134512640 134714540 3221224592 3221223304 134543176 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20615 19677 1111 63 0 20552 0
vsize: 82460
[startup+1150.04 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 27819
Raw data (stat): 27819 (bsolo_mis) R 27818 23514 23513 0 -1 0 19707 0 0 0 114952 68 0 0 25 0 1 0 775194235 84439040 19677 4294967295 134512640 134714540 3221224592 3221223304 134543176 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20615 19677 1111 63 0 20552 0
vsize: 82460
[startup+1160.04 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 27819
Raw data (stat): 27819 (bsolo_mis) R 27818 23514 23513 0 -1 0 19707 0 0 0 115952 68 0 0 25 0 1 0 775194235 84439040 19677 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20615 19677 1111 63 0 20552 0
vsize: 82460
[startup+1170.04 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 27819
Raw data (stat): 27819 (bsolo_mis) R 27818 23514 23513 0 -1 0 19730 0 0 0 116952 69 0 0 25 0 1 0 775194235 84439040 19700 4294967295 134512640 134714540 3221224592 3221223384 134558492 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20615 19700 1111 63 0 20552 0
vsize: 82460
[startup+1174.93 s]
Raw data (loadavg): 0.99 0.98 0.93 1/53 27819
Raw data (stat): 27819 (bsolo_mis) R 27818 23514 23513 0 -1 0 19730 0 0 0 116952 69 0 0 25 0 1 0 775194235 84439040 19700 4294967295 134512640 134714540 3221224592 3221223384 134558492 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20615 19700 1111 63 0 20552 0
vsize: 0

Child status: 0
Real time (s): 1174.93
CPU time (s): 1175.1
CPU user time (s): 1174.38
CPU system time (s): 0.727889
CPU usage (%): 100.015
Max. virtual memory (Kb): 82460
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####