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/web/uclid_pb_benchmarks/normalized-cache-ibm-q-unbounded.Ih1arity.ucl.opb
MD5SUM	2fc65c15b9b26fc3028e8a890f1d86ad
Bench Category	no optimization function (SAT)
Has Objective Function	NO
Satisfiable	NO
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	0
Biggest coefficient in the objective function	0
Number of bits for the biggest coefficient in the objective function	0
Sum of the numbers in the objective function	0
Number of bits of the sum of numbers in the objective function	0
Biggest number in a constraint	131
Number of bits of the biggest number in a constraint	8
Biggest sum of numbers in a constraint	513
Number of bits of the biggest sum of numbers	10
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	1075.62
Number of variables	201731
Total number of constraints	592525
Number of constraints which are clauses	579429
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	13096
Minimum length of a constraint	1
Maximum length of a constraint	15
Trace number 24549

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-11 01:53:30 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=2532 boxname=wulflinc31 idbench=282 idsolver=3 numberseed=0
MD5SUM SOLVER: 03a6a792daea978e4202f78851741568  /oldhome/oroussel/solvers/bsolo_mis
MD5SUM BENCH:  2fc65c15b9b26fc3028e8a890f1d86ad  /oldhome/oroussel/tmp/wulflinc31/normalized-cache-ibm-q-unbounded.Ih1arity.ucl.opb
REAL COMMAND:  bsolo_mis /oldhome/oroussel/tmp/wulflinc31/normalized-cache-ibm-q-unbounded.Ih1arity.ucl.opb
IDLAUNCH: 2532
/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:        915340 kB
Buffers:         11812 kB
Cached:          83548 kB
SwapCached:       1472 kB
Active:          72336 kB
Inactive:        25512 kB
HighTotal:      131008 kB
HighFree:        45976 kB
LowTotal:       903652 kB
LowFree:        869364 kB
SwapTotal:     2097892 kB
SwapFree:      2095156 kB
Dirty:              24 kB
Writeback:           0 kB
Mapped:           4692 kB
Slab:            15612 kB
Committed_AS:    63652 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-11 02:11:13 (client local time) WITH STATUS 0 IN 1061.16 SECONDS
stats: 2532 7 1061.16 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: No cost function. Find solution and finish.
c Initial problem consists of 201731 variables and 592525 constraints.
#### 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.92 0.95 0.90 2/54 20479
Raw data (stat): 20479 (runsolver) R 20478 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 714076993 1056768 100 4294967295 134512640 135381576 3221221664 3221216884 135158418 0 2147483391 1 90112 0 0 0 17 0 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10.0015 s]
Raw data (loadavg): 0.93 0.96 0.91 2/54 20479
Raw data (stat): 20479 (bsolo_mis) R 20478 7876 7672 0 -1 0 23055 0 0 0 945 51 0 0 25 0 1 0 714076993 43253760 7167 4294967295 134512640 134714540 3221221760 3221218380 1077254186 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10560 7167 1111 63 0 10497 0
vsize: 42240
[startup+20.0022 s]
Raw data (loadavg): 0.94 0.96 0.91 2/54 20479
Raw data (stat): 20479 (bsolo_mis) R 20478 7876 7672 0 -1 0 126148 0 0 0 1762 233 0 0 25 0 1 0 714076993 60977152 11511 4294967295 134512640 134714540 3221221760 3221220432 134568949 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14887 11511 1111 63 0 14824 0
vsize: 59548
[startup+30.0034 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 20479
Raw data (stat): 20479 (bsolo_mis) R 20478 7876 7672 0 -1 0 349716 0 0 0 2376 620 0 0 25 0 1 0 714076993 71692288 14058 4294967295 134512640 134714540 3221221760 3221220064 134568037 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17503 14064 1111 63 0 17440 0
vsize: 70012
[startup+40.0041 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 20479
Raw data (stat): 20479 (bsolo_mis) R 20478 7876 7672 0 -1 0 569706 0 0 0 2980 1016 0 0 25 0 1 0 714076993 80519168 16206 4294967295 134512640 134714540 3221221760 3221220064 134568037 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19658 16213 1111 63 0 19595 0
vsize: 78632
[startup+50.0038 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 20479
Raw data (stat): 20479 (bsolo_mis) R 20478 7876 7672 0 -1 0 786834 0 0 0 3582 1414 0 0 25 0 1 0 714076993 88268800 18104 4294967295 134512640 134714540 3221221760 3221220064 134568037 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21550 18110 1111 63 0 21487 0
vsize: 86200
[startup+60.004 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 20479
Raw data (stat): 20479 (bsolo_mis) R 20478 7876 7672 0 -1 0 1000426 0 0 0 4192 1804 0 0 25 0 1 0 714076993 95117312 19809 4294967295 134512640 134714540 3221221760 3221220140 1077386340 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 23275 19813 1111 63 0 23212 0
vsize: 92888
[startup+70.0039 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 20479
Raw data (stat): 20479 (bsolo_mis) R 20478 7876 7672 0 -1 0 1214071 0 0 0 4801 2195 0 0 25 0 1 0 714076993 102649856 21638 4294967295 134512640 134714540 3221221760 3221220064 134568037 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25061 21644 1111 63 0 24998 0
vsize: 100244
[startup+80.0046 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 20479
Raw data (stat): 20479 (bsolo_mis) R 20478 7876 7672 0 -1 0 1422273 0 0 0 5413 2583 0 0 25 0 1 0 714076993 108376064 23083 4294967295 134512640 134714540 3221221760 3221219960 1077799185 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26459 23083 1111 63 0 26396 0
vsize: 105836
[startup+90.0048 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 20479
Raw data (stat): 20479 (bsolo_mis) R 20478 7876 7672 0 -1 0 1629169 0 0 0 6022 2974 0 0 25 0 1 0 714076993 114196480 24465 4294967295 134512640 134714540 3221221760 3221220064 134568037 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27880 24470 1111 63 0 27817 0
vsize: 111520
[startup+100.005 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 20479
Raw data (stat): 20479 (bsolo_mis) R 20478 7876 7672 0 -1 0 1837056 0 0 0 6634 3362 0 0 25 0 1 0 714076993 119627776 25817 4294967295 134512640 134714540 3221221760 3221220064 134568037 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29206 25822 1111 63 0 29143 0
vsize: 116824
[startup+110.006 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 20479
Raw data (stat): 20479 (bsolo_mis) R 20478 7876 7672 0 -1 0 2039808 0 0 0 7254 3742 0 0 25 0 1 0 714076993 125550592 27082 4294967295 134512640 134714540 3221221760 3221220064 134568037 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30582 27017 1111 63 0 30519 0
vsize: 122608
[startup+120.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20479
Raw data (stat): 20479 (bsolo_mis) R 20478 7876 7672 0 -1 0 2242606 0 0 0 7866 4131 0 0 25 0 1 0 714076993 130433024 28242 4294967295 134512640 134714540 3221221760 3221220064 134568037 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 31844 28247 1111 63 0 31781 0
vsize: 127376
[startup+130.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20479
Raw data (stat): 20479 (bsolo_mis) R 20478 7876 7672 0 -1 0 2442383 0 0 0 8474 4522 0 0 25 0 1 0 714076993 134922240 29347 4294967295 134512640 134714540 3221221760 3221220064 134568037 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 32940 29352 1111 63 0 32877 0
vsize: 131760
[startup+140.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20479
Raw data (stat): 20479 (bsolo_mis) R 20478 7876 7672 0 -1 0 2641052 0 0 0 9095 4901 0 0 25 0 1 0 714076993 139087872 30418 4294967295 134512640 134714540 3221221760 3221219960 1077799185 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 33957 30418 1111 63 0 33894 0
vsize: 135828
[startup+150.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20479
Raw data (stat): 20479 (bsolo_mis) R 20478 7876 7672 0 -1 0 2836699 0 0 0 9711 5286 0 0 25 0 1 0 714076993 143478784 31503 4294967295 134512640 134714540 3221221760 3221220064 134568037 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 35029 31508 1111 63 0 34966 0
vsize: 140116
[startup+160.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20479
Raw data (stat): 20479 (bsolo_mis) R 20478 7876 7672 0 -1 0 3032578 0 0 0 10330 5667 0 0 25 0 1 0 714076993 147550208 32448 4294967295 134512640 134714540 3221221760 3221220064 134568037 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 36023 32448 1111 63 0 35960 0
vsize: 144092
[startup+170.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20479
Raw data (stat): 20479 (bsolo_mis) R 20478 7876 7672 0 -1 0 3228351 0 0 0 10944 6052 0 0 25 0 1 0 714076993 151281664 33417 4294967295 134512640 134714540 3221221760 3221219960 1077799185 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 36934 33417 1111 63 0 36871 0
vsize: 147736
[startup+180.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20479
Raw data (stat): 20479 (bsolo_mis) R 20478 7876 7672 0 -1 0 3422745 0 0 0 11559 6438 0 0 25 0 1 0 714076993 155295744 34390 4294967295 134512640 134714540 3221221760 3221220064 134568037 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 37914 34396 1111 63 0 37851 0
vsize: 151656
[startup+190.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20479
Raw data (stat): 20479 (bsolo_mis) R 20478 7876 7672 0 -1 0 3616249 0 0 0 12174 6823 0 0 25 0 1 0 714076993 159096832 35318 4294967295 134512640 134714540 3221221760 3221220064 134568037 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 38842 35322 1111 63 0 38779 0
vsize: 155368
[startup+200.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20479
Raw data (stat): 20479 (bsolo_mis) R 20478 7876 7672 0 -1 0 3808838 0 0 0 12788 7209 0 0 25 0 1 0 714076993 162766848 36204 4294967295 134512640 134714540 3221221760 3221220064 134568037 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 39738 36209 1111 63 0 39675 0
vsize: 158952
[startup+210.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20479
Raw data (stat): 20479 (bsolo_mis) R 20478 7876 7672 0 -1 0 4000924 0 0 0 13405 7592 0 0 25 0 1 0 714076993 166166528 37084 4294967295 134512640 134714540 3221221760 3221220064 134568037 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 40568 37089 1111 63 0 40505 0
vsize: 162272
[startup+220.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20479
Raw data (stat): 20479 (bsolo_mis) R 20478 7876 7672 0 -1 0 4191581 0 0 0 14019 7978 0 0 25 0 1 0 714076993 169697280 37924 4294967295 134512640 134714540 3221221760 3221220064 134568037 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 41430 37924 1111 63 0 41367 0
vsize: 165720
[startup+230.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20479
Raw data (stat): 20479 (bsolo_mis) R 20478 7876 7672 0 -1 0 4383419 0 0 0 14623 8374 0 0 25 0 1 0 714076993 172957696 38681 4294967295 134512640 134714540 3221221760 3221220064 134568037 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 42226 38681 1111 63 0 42163 0
vsize: 168904
[startup+240.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20479
Raw data (stat): 20479 (bsolo_mis) R 20478 7876 7672 0 -1 0 4574888 0 0 0 15246 8751 0 0 25 0 1 0 714076993 176353280 39557 4294967295 134512640 134714540 3221221760 3221220064 134568044 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 43055 39557 1111 63 0 42992 0
vsize: 172220
[startup+250.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20479
Raw data (stat): 20479 (bsolo_mis) R 20478 7876 7672 0 -1 0 4765490 0 0 0 15865 9132 0 0 25 0 1 0 714076993 179478528 40318 4294967295 134512640 134714540 3221221760 3221220064 134568037 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 43818 40318 1111 63 0 43755 0
vsize: 175272
[startup+260.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20479
Raw data (stat): 20479 (bsolo_mis) R 20478 7876 7672 0 -1 0 4956691 0 0 0 16489 9509 0 0 25 0 1 0 714076993 182738944 41149 4294967295 134512640 134714540 3221221760 3221220064 134568037 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 44614 41149 1111 63 0 44551 0
vsize: 178456
[startup+270.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20479
Raw data (stat): 20479 (bsolo_mis) R 20478 7876 7672 0 -1 0 5145731 0 0 0 17113 9884 0 0 25 0 1 0 714076993 185720832 41897 4294967295 134512640 134714540 3221221760 3221220064 134568037 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 45342 41897 1111 63 0 45279 0
vsize: 181368
[startup+280.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20479
Raw data (stat): 20479 (bsolo_mis) R 20478 7876 7672 0 -1 0 5335331 0 0 0 17730 10268 0 0 25 0 1 0 714076993 188850176 42635 4294967295 134512640 134714540 3221221760 3221220064 134568037 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 46106 42635 1111 63 0 46043 0
vsize: 184424
[startup+290.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20479
Raw data (stat): 20479 (bsolo_mis) R 20478 7876 7672 0 -1 0 5524903 0 0 0 18352 10646 0 0 25 0 1 0 714076993 193527808 43733 4294967295 134512640 134714540 3221221760 3221220064 134568037 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 47248 43733 1111 63 0 47185 0
vsize: 188992
[startup+300.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20479
Raw data (stat): 20479 (bsolo_mis) R 20478 7876 7672 0 -1 0 5713168 0 0 0 18978 11020 0 0 25 0 1 0 714076993 196378624 44489 4294967295 134512640 134714540 3221221760 3221220064 134568037 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 47944 44489 1111 63 0 47881 0
vsize: 191776
[startup+310.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20479
Raw data (stat): 20479 (bsolo_mis) R 20478 7876 7672 0 -1 0 5900958 0 0 0 19605 11393 0 0 25 0 1 0 714076993 199368704 45220 4294967295 134512640 134714540 3221221760 3221220064 134568037 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 48674 45220 1111 63 0 48611 0
vsize: 194696
[startup+320.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20479
Raw data (stat): 20479 (bsolo_mis) R 20478 7876 7672 0 -1 0 6089834 0 0 0 20225 11773 0 0 25 0 1 0 714076993 201625600 45822 4294967295 134512640 134714540 3221221760 3221220124 1077374048 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 49225 45822 1111 63 0 49162 0
vsize: 196900
[startup+330.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20479
Raw data (stat): 20479 (bsolo_mis) R 20478 7876 7672 0 -1 0 6278348 0 0 0 20848 12150 0 0 25 0 1 0 714076993 204935168 46530 4294967295 134512640 134714540 3221221760 3221220064 134568040 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 50033 46530 1111 63 0 49970 0
vsize: 200132
[startup+340.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20479
Raw data (stat): 20479 (bsolo_mis) R 20478 7876 7672 0 -1 0 6466697 0 0 0 21468 12530 0 0 25 0 1 0 714076993 207179776 47176 4294967295 134512640 134714540 3221221760 3221220056 1077360343 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 50581 47176 1111 63 0 50518 0
vsize: 202324
[startup+350.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20479
Raw data (stat): 20479 (bsolo_mis) R 20478 7876 7672 0 -1 0 6654070 0 0 0 22105 12894 0 0 25 0 1 0 714076993 210378752 47837 4294967295 134512640 134714540 3221221760 3221220064 134568037 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 51362 47837 1111 63 0 51299 0
vsize: 205448
[startup+360.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20479
Raw data (stat): 20479 (bsolo_mis) R 20478 7876 7672 0 -1 0 6841755 0 0 0 22727 13272 0 0 25 0 1 0 714076993 212955136 48597 4294967295 134512640 134714540 3221221760 3221220064 134568037 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 51991 48597 1111 63 0 51928 0
vsize: 207964
[startup+370.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20479
Raw data (stat): 20479 (bsolo_mis) R 20478 7876 7672 0 -1 0 7028432 0 0 0 23358 13641 0 0 25 0 1 0 714076993 215674880 49221 4294967295 134512640 134714540 3221221760 3221220064 134568037 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 52655 49221 1111 63 0 52592 0
vsize: 210620
[startup+380.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20479
Raw data (stat): 20479 (bsolo_mis) R 20478 7876 7672 0 -1 0 7214812 0 0 0 23977 14021 0 0 25 0 1 0 714076993 218251264 49853 4294967295 134512640 134714540 3221221760 3221220064 134568037 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 53284 49853 1111 63 0 53221 0
vsize: 213136
[startup+390.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20479
Raw data (stat): 20479 (bsolo_mis) R 20478 7876 7672 0 -1 0 7402791 0 0 0 24598 14401 0 0 25 0 1 0 714076993 220839936 50442 4294967295 134512640 134714540 3221221760 3221220064 134568044 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 53916 50442 1111 63 0 53853 0
vsize: 215664
[startup+400.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20479
Raw data (stat): 20479 (bsolo_mis) R 20478 7876 7672 0 -1 0 7589279 0 0 0 25225 14775 0 0 25 0 1 0 714076993 223281152 51106 4294967295 134512640 134714540 3221221760 3221220064 134568040 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 54512 51106 1111 63 0 54449 0
vsize: 218048
[startup+410.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20479
Raw data (stat): 20479 (bsolo_mis) R 20478 7876 7672 0 -1 0 7774690 0 0 0 25855 15144 0 0 25 0 1 0 714076993 225341440 51627 4294967295 134512640 134714540 3221221760 3221220256 134523592 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 55015 51627 1111 63 0 54952 0
vsize: 220060
[startup+420.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20479
Raw data (stat): 20479 (bsolo_mis) R 20478 7876 7672 0 -1 0 7961747 0 0 0 26484 15515 0 0 25 0 1 0 714076993 228311040 52334 4294967295 134512640 134714540 3221221760 3221220064 134568037 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 55740 52334 1111 63 0 55677 0
vsize: 222960
[startup+430.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20479
Raw data (stat): 20479 (bsolo_mis) R 20478 7876 7672 0 -1 0 8147018 0 0 0 27100 15900 0 0 25 0 1 0 714076993 232288256 52834 4294967295 134512640 134714540 3221221760 3221220064 134568037 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 56711 52834 1111 63 0 56648 0
vsize: 226844
[startup+440.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20479
Raw data (stat): 20479 (bsolo_mis) R 20478 7876 7672 0 -1 0 8333435 0 0 0 27725 16275 0 0 25 0 1 0 714076993 234737664 53442 4294967295 134512640 134714540 3221221760 3221220064 134568037 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 57309 53442 1111 63 0 57246 0
vsize: 229236
[startup+450.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20479
Raw data (stat): 20479 (bsolo_mis) R 20478 7876 7672 0 -1 0 8522264 0 0 0 28336 16663 0 0 25 0 1 0 714076993 237178880 54049 4294967295 134512640 134714540 3221221760 3221220064 134568044 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 57905 54049 1111 63 0 57842 0
vsize: 231620
[startup+460.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20479
Raw data (stat): 20479 (bsolo_mis) R 20478 7876 7672 0 -1 0 8706795 0 0 0 28960 17040 0 0 25 0 1 0 714076993 239484928 54636 4294967295 134512640 134714540 3221221760 3221220064 134568037 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 58468 54636 1111 63 0 58405 0
vsize: 233872
[startup+470.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20479
Raw data (stat): 20479 (bsolo_mis) R 20478 7876 7672 0 -1 0 8891390 0 0 0 29579 17421 0 0 25 0 1 0 714076993 241934336 55235 4294967295 134512640 134714540 3221221760 3221220064 134568037 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 59066 55235 1111 63 0 59003 0
vsize: 236264
[startup+480.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20479
Raw data (stat): 20479 (bsolo_mis) R 20478 7876 7672 0 -1 0 9076550 0 0 0 30205 17795 0 0 25 0 1 0 714076993 244240384 55871 4294967295 134512640 134714540 3221221760 3221220064 134568037 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 59629 55871 1111 63 0 59566 0
vsize: 238516
[startup+490.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20479
Raw data (stat): 20479 (bsolo_mis) R 20478 7876 7672 0 -1 0 9262086 0 0 0 30824 18177 0 0 25 0 1 0 714076993 246546432 56417 4294967295 134512640 134714540 3221221760 3221220064 134568037 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 60192 56417 1111 63 0 60129 0
vsize: 240768
[startup+500.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20479
Raw data (stat): 20479 (bsolo_mis) R 20478 7876 7672 0 -1 0 9446641 0 0 0 31452 18548 0 0 25 0 1 0 714076993 248864768 56932 4294967295 134512640 134714540 3221221760 3221220064 134568037 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 60758 56932 1111 63 0 60695 0
vsize: 243032
[startup+510.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20479
Raw data (stat): 20479 (bsolo_mis) R 20478 7876 7672 0 -1 0 9631296 0 0 0 32079 18922 0 0 25 0 1 0 714076993 251170816 57545 4294967295 134512640 134714540 3221221760 3221220064 134568044 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 61321 57545 1111 63 0 61258 0
vsize: 245284
[startup+520.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20479
Raw data (stat): 20479 (bsolo_mis) R 20478 7876 7672 0 -1 0 9815916 0 0 0 32701 19300 0 0 25 0 1 0 714076993 253341696 58058 4294967295 134512640 134714540 3221221760 3221220064 134568037 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 61851 58058 1111 63 0 61788 0
vsize: 247404
[startup+530.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20479
Raw data (stat): 20479 (bsolo_mis) R 20478 7876 7672 0 -1 0 10000932 0 0 0 33318 19682 0 0 25 0 1 0 714076993 255655936 58695 4294967295 134512640 134714540 3221221760 3221220064 134568037 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 62416 58695 1111 63 0 62353 0
vsize: 249664
[startup+540.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20479
Raw data (stat): 20479 (bsolo_mis) R 20478 7876 7672 0 -1 0 10185989 0 0 0 33933 20068 0 0 25 0 1 0 714076993 257826816 59202 4294967295 134512640 134714540 3221221760 3221220064 134568037 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 62946 59202 1111 63 0 62883 0
vsize: 251784
[startup+550.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20479
Raw data (stat): 20479 (bsolo_mis) R 20478 7876 7672 0 -1 0 10371141 0 0 0 34555 20446 0 0 25 0 1 0 714076993 259997696 59701 4294967295 134512640 134714540 3221221760 3221220064 134568037 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 63476 59701 1111 63 0 63413 0
vsize: 253904
[startup+560.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20479
Raw data (stat): 20479 (bsolo_mis) R 20478 7876 7672 0 -1 0 10555979 0 0 0 35180 20822 0 0 25 0 1 0 714076993 262033408 60248 4294967295 134512640 134714540 3221221760 3221220064 134568037 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 63973 60248 1111 63 0 63910 0
vsize: 255892
[startup+570.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20479
Raw data (stat): 20479 (bsolo_mis) R 20478 7876 7672 0 -1 0 10741338 0 0 0 35800 21201 0 0 25 0 1 0 714076993 264212480 60758 4294967295 134512640 134714540 3221221760 3221220064 134568040 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 64505 60758 1111 63 0 64442 0
vsize: 258020
[startup+580.044 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20479
Raw data (stat): 20479 (bsolo_mis) R 20478 7876 7672 0 -1 0 10926604 0 0 0 36423 21578 0 0 25 0 1 0 714076993 266248192 61314 4294967295 134512640 134714540 3221221760 3221220064 134568037 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 65002 61314 1111 63 0 64939 0
vsize: 260008
[startup+590.045 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20479
Raw data (stat): 20479 (bsolo_mis) R 20478 7876 7672 0 -1 0 11111890 0 0 0 37050 21952 0 0 25 0 1 0 714076993 268419072 61770 4294967295 134512640 134714540 3221221760 3221220064 134568037 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 65532 61770 1111 63 0 65469 0
vsize: 262128
[startup+600.046 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20479
Raw data (stat): 20479 (bsolo_mis) R 20478 7876 7672 0 -1 0 11296204 0 0 0 37670 22331 0 0 25 0 1 0 714076993 269836288 62220 4294967295 134512640 134714540 3221221760 3221218380 1077255781 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 65878 62220 1111 63 0 65815 0
vsize: 263512
[startup+610.047 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20479
Raw data (stat): 20479 (bsolo_mis) R 20478 7876 7672 0 -1 0 11480593 0 0 0 38288 22713 0 0 25 0 1 0 714076993 272494592 62847 4294967295 134512640 134714540 3221221760 3221220064 134568037 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 66527 62847 1111 63 0 66464 0
vsize: 266108
[startup+620.048 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20479
Raw data (stat): 20479 (bsolo_mis) R 20478 7876 7672 0 -1 0 11664164 0 0 0 38909 23093 0 0 25 0 1 0 714076993 274538496 63347 4294967295 134512640 134714540 3221221760 3221220064 134568037 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 67026 63347 1111 63 0 66963 0
vsize: 268104
[startup+630.049 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20479
Raw data (stat): 20479 (bsolo_mis) R 20478 7876 7672 0 -1 0 11848199 0 0 0 39523 23479 0 0 25 0 1 0 714076993 276578304 63750 4294967295 134512640 134714540 3221221760 3221220064 134568037 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 67524 63750 1111 63 0 67461 0
vsize: 270096
[startup+640.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20479
Raw data (stat): 20479 (bsolo_mis) R 20478 7876 7672 0 -1 0 12033285 0 0 0 40145 23857 0 0 25 0 1 0 714076993 278618112 64312 4294967295 134512640 134714540 3221221760 3221220064 134568037 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 68022 64312 1111 63 0 67959 0
vsize: 272088
[startup+650.049 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20479
Raw data (stat): 20479 (bsolo_mis) R 20478 7876 7672 0 -1 0 12218213 0 0 0 40761 24242 0 0 25 0 1 0 714076993 280653824 64778 4294967295 134512640 134714540 3221221760 3221220064 134568037 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 68519 64778 1111 63 0 68456 0
vsize: 274076
[startup+660.051 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20479
Raw data (stat): 20479 (bsolo_mis) R 20478 7876 7672 0 -1 0 12403035 0 0 0 41376 24627 0 0 25 0 1 0 714076993 282554368 65226 4294967295 134512640 134714540 3221221760 3221220064 134568037 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 68983 65226 1111 63 0 68920 0
vsize: 275932
[startup+670.051 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20479
Raw data (stat): 20479 (bsolo_mis) R 20478 7876 7672 0 -1 0 12587878 0 0 0 42002 25001 0 0 25 0 1 0 714076993 284594176 65810 4294967295 134512640 134714540 3221221760 3221220064 134568037 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 69481 65810 1111 63 0 69418 0
vsize: 277924
[startup+680.052 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20479
Raw data (stat): 20479 (bsolo_mis) R 20478 7876 7672 0 -1 0 12772204 0 0 0 42620 25383 0 0 25 0 1 0 714076993 286629888 66179 4294967295 134512640 134714540 3221221760 3221220064 134568037 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 69978 66179 1111 63 0 69915 0
vsize: 279912
[startup+690.053 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20479
Raw data (stat): 20479 (bsolo_mis) R 20478 7876 7672 0 -1 0 12956705 0 0 0 43255 25747 0 0 25 0 1 0 714076993 288538624 66690 4294967295 134512640 134714540 3221221760 3221220064 134568037 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 70444 66690 1111 63 0 70381 0
vsize: 281776
[startup+700.054 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20479
Raw data (stat): 20479 (bsolo_mis) R 20478 7876 7672 0 -1 0 13141981 0 0 0 43873 26130 0 0 25 0 1 0 714076993 289906688 67127 4294967295 134512640 134714540 3221221760 3221220040 1077377584 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 70778 67127 1111 63 0 70715 0
vsize: 283112
[startup+710.055 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20479
Raw data (stat): 20479 (bsolo_mis) R 20478 7876 7672 0 -1 0 13326417 0 0 0 44496 26507 0 0 25 0 1 0 714076993 291803136 67600 4294967295 134512640 134714540 3221221760 3221220484 1077411564 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 71241 67600 1111 63 0 71178 0
vsize: 284964
[startup+720.057 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20479
Raw data (stat): 20479 (bsolo_mis) R 20478 7876 7672 0 -1 0 13511746 0 0 0 45115 26888 0 0 25 0 1 0 714076993 293699584 68066 4294967295 134512640 134714540 3221221760 3221218492 1077359281 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 71704 68066 1111 63 0 71641 0
vsize: 286816
[startup+730.058 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20479
Raw data (stat): 20479 (bsolo_mis) R 20478 7876 7672 0 -1 0 13697723 0 0 0 45727 27277 0 0 25 0 1 0 714076993 296275968 68618 4294967295 134512640 134714540 3221221760 3221220064 134568037 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 72333 68618 1111 63 0 72270 0
vsize: 289332
[startup+740.059 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20479
Raw data (stat): 20479 (bsolo_mis) R 20478 7876 7672 0 -1 0 13882862 0 0 0 46346 27658 0 0 25 0 1 0 714076993 298041344 69118 4294967295 134512640 134714540 3221221760 3221220064 134568037 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 72764 69118 1111 63 0 72701 0
vsize: 291056
[startup+750.059 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20479
Raw data (stat): 20479 (bsolo_mis) R 20478 7876 7672 0 -1 0 14067487 0 0 0 46962 28041 0 0 25 0 1 0 714076993 299941888 69591 4294967295 134512640 134714540 3221221760 3221220064 134568037 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 73228 69591 1111 63 0 73165 0
vsize: 292912
[startup+760.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20479
Raw data (stat): 20479 (bsolo_mis) R 20478 7876 7672 0 -1 0 14251597 0 0 0 47582 28422 0 0 25 0 1 0 714076993 301154304 69894 4294967295 134512640 134714540 3221221760 3221218236 1077198296 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 73524 69894 1111 63 0 73461 0
vsize: 294096
[startup+770.061 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20479
Raw data (stat): 20479 (bsolo_mis) R 20478 7876 7672 0 -1 0 14435669 0 0 0 48192 28812 0 0 25 0 1 0 714076993 303611904 70364 4294967295 134512640 134714540 3221221760 3221220064 134568044 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 74124 70364 1111 63 0 74061 0
vsize: 296496
[startup+780.062 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20479
Raw data (stat): 20479 (bsolo_mis) R 20478 7876 7672 0 -1 0 14619957 0 0 0 48808 29196 0 0 25 0 1 0 714076993 305512448 70936 4294967295 134512640 134714540 3221221760 3221220064 134568037 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 74588 70936 1111 63 0 74525 0
vsize: 298352
[startup+790.063 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20479
Raw data (stat): 20479 (bsolo_mis) R 20478 7876 7672 0 -1 0 14804620 0 0 0 49439 29565 0 0 25 0 1 0 714076993 307417088 71271 4294967295 134512640 134714540 3221221760 3221220064 134568037 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 75053 71271 1111 63 0 74990 0
vsize: 300212
[startup+800.063 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20479
Raw data (stat): 20479 (bsolo_mis) R 20478 7876 7672 0 -1 0 14989830 0 0 0 50067 29937 0 0 25 0 1 0 714076993 308609024 71723 4294967295 134512640 134714540 3221221760 3221219420 1077253220 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 75344 71723 1111 63 0 75281 0
vsize: 301376
[startup+810.063 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20479
Raw data (stat): 20479 (bsolo_mis) R 20478 7876 7672 0 -1 0 15175097 0 0 0 50673 30331 0 0 25 0 1 0 714076993 310370304 72162 4294967295 134512640 134714540 3221221760 3221220168 1077378037 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 75774 72162 1111 63 0 75711 0
vsize: 303096
[startup+820.064 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20479
Raw data (stat): 20479 (bsolo_mis) R 20478 7876 7672 0 -1 0 15359940 0 0 0 51291 30714 0 0 25 0 1 0 714076993 312848384 72650 4294967295 134512640 134714540 3221221760 3221220064 134568037 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 76379 72650 1111 63 0 76316 0
vsize: 305516
[startup+830.065 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20479
Raw data (stat): 20479 (bsolo_mis) R 20478 7876 7672 0 -1 0 15544812 0 0 0 51908 31096 0 0 25 0 1 0 714076993 314617856 73139 4294967295 134512640 134714540 3221221760 3221220064 134568037 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 76811 73139 1111 63 0 76748 0
vsize: 307244
[startup+840.066 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20479
Raw data (stat): 20479 (bsolo_mis) R 20478 7876 7672 0 -1 0 15729399 0 0 0 52521 31484 0 0 25 0 1 0 714076993 316383232 73510 4294967295 134512640 134714540 3221221760 3221220064 134568037 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 77242 73510 1111 63 0 77179 0
vsize: 308968
[startup+850.066 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20479
Raw data (stat): 20479 (bsolo_mis) R 20478 7876 7672 0 -1 0 15913586 0 0 0 53147 31858 0 0 25 0 1 0 714076993 318148608 74025 4294967295 134512640 134714540 3221221760 3221220064 134568044 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 77673 74025 1111 63 0 77610 0
vsize: 310692
[startup+860.067 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20479
Raw data (stat): 20479 (bsolo_mis) R 20478 7876 7672 0 -1 0 16098484 0 0 0 53763 32242 0 0 25 0 1 0 714076993 319913984 74390 4294967295 134512640 134714540 3221221760 3221220064 134568037 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 78104 74390 1111 63 0 78041 0
vsize: 312416
[startup+870.067 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20479
Raw data (stat): 20479 (bsolo_mis) R 20478 7876 7672 0 -1 0 16282778 0 0 0 54382 32623 0 0 25 0 1 0 714076993 321544192 74913 4294967295 134512640 134714540 3221221760 3221220064 134568037 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 78502 74913 1111 63 0 78439 0
vsize: 314008
[startup+880.068 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20479
Raw data (stat): 20479 (bsolo_mis) R 20478 7876 7672 0 -1 0 16467278 0 0 0 55002 33003 0 0 25 0 1 0 714076993 322568192 75167 4294967295 134512640 134714540 3221221760 3221220368 134534089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 78752 75167 1111 63 0 78689 0
vsize: 315008
[startup+890.069 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20479
Raw data (stat): 20479 (bsolo_mis) R 20478 7876 7672 0 -1 0 16651159 0 0 0 55620 33385 0 0 25 0 1 0 714076993 324939776 75610 4294967295 134512640 134714540 3221221760 3221220064 134568037 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 79331 75610 1111 63 0 79268 0
vsize: 317324
[startup+900.069 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20479
Raw data (stat): 20479 (bsolo_mis) R 20478 7876 7672 0 -1 0 16835298 0 0 0 56246 33759 0 0 25 0 1 0 714076993 326705152 76051 4294967295 134512640 134714540 3221221760 3221220064 134568037 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 79762 76051 1111 63 0 79699 0
vsize: 319048
[startup+910.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20479
Raw data (stat): 20479 (bsolo_mis) R 20478 7876 7672 0 -1 0 17020112 0 0 0 56863 34143 0 0 25 0 1 0 714076993 328335360 76551 4294967295 134512640 134714540 3221221760 3221220064 134568037 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 80160 76551 1111 63 0 80097 0
vsize: 320640
[startup+920.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20479
Raw data (stat): 20479 (bsolo_mis) R 20478 7876 7672 0 -1 0 17204274 0 0 0 57482 34524 0 0 25 0 1 0 714076993 330100736 76899 4294967295 134512640 134714540 3221221760 3221220064 134568037 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 80591 76899 1111 63 0 80528 0
vsize: 322364
[startup+930.072 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20479
Raw data (stat): 20479 (bsolo_mis) R 20478 7876 7672 0 -1 0 17387956 0 0 0 58100 34906 0 0 25 0 1 0 714076993 331735040 77291 4294967295 134512640 134714540 3221221760 3221220064 134568037 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 80990 77291 1111 63 0 80927 0
vsize: 323960
[startup+940.073 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20479
Raw data (stat): 20479 (bsolo_mis) R 20478 7876 7672 0 -1 0 17571850 0 0 0 58720 35286 0 0 25 0 1 0 714076993 333365248 77695 4294967295 134512640 134714540 3221221760 3221220064 134568037 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 81388 77695 1111 63 0 81325 0
vsize: 325552
[startup+950.072 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20479
Raw data (stat): 20479 (bsolo_mis) R 20478 7876 7672 0 -1 0 17756975 0 0 0 59338 35668 0 0 25 0 1 0 714076993 335130624 78202 4294967295 134512640 134714540 3221221760 3221220064 134568037 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 81819 78202 1111 63 0 81756 0
vsize: 327276
[startup+960.074 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20479
Raw data (stat): 20479 (bsolo_mis) R 20478 7876 7672 0 -1 0 17941852 0 0 0 59954 36053 0 0 25 0 1 0 714076993 335986688 78464 4294967295 134512640 134714540 3221221760 3221218492 1077359266 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 82028 78464 1111 63 0 81965 0
vsize: 328112
[startup+970.074 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20479
Raw data (stat): 20479 (bsolo_mis) R 20478 7876 7672 0 -1 0 18127190 0 0 0 60568 36438 0 0 25 0 1 0 714076993 338391040 79015 4294967295 134512640 134714540 3221221760 3221220064 134568037 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 82615 79015 1111 63 0 82552 0
vsize: 330460
[startup+980.075 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20479
Raw data (stat): 20479 (bsolo_mis) R 20478 7876 7672 0 -1 0 18312627 0 0 0 61187 36820 0 0 25 0 1 0 714076993 340021248 79310 4294967295 134512640 134714540 3221221760 3221220064 134568037 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 83013 79310 1111 63 0 82950 0
vsize: 332052
[startup+990.076 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20479
Raw data (stat): 20479 (bsolo_mis) R 20478 7876 7672 0 -1 0 18497756 0 0 0 61806 37201 0 0 25 0 1 0 714076993 341651456 79722 4294967295 134512640 134714540 3221221760 3221220064 134568037 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 83411 79722 1111 63 0 83348 0
vsize: 333644
[startup+1000.08 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20479
Raw data (stat): 20479 (bsolo_mis) R 20478 7876 7672 0 -1 0 18682874 0 0 0 62428 37579 0 0 25 0 1 0 714076993 343146496 80181 4294967295 134512640 134714540 3221221760 3221220064 134568037 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 83776 80181 1111 63 0 83713 0
vsize: 335104
[startup+1010.08 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20479
Raw data (stat): 20479 (bsolo_mis) R 20478 7876 7672 0 -1 0 18867822 0 0 0 63055 37952 0 0 25 0 1 0 714076993 344776704 80544 4294967295 134512640 134714540 3221221760 3221220064 134568037 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 84174 80544 1111 63 0 84111 0
vsize: 336696
[startup+1020.08 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20479
Raw data (stat): 20479 (bsolo_mis) R 20478 7876 7672 0 -1 0 19052755 0 0 0 63668 38339 0 0 25 0 1 0 714076993 346406912 80982 4294967295 134512640 134714540 3221221760 3221220064 134568044 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 84572 80982 1111 63 0 84509 0
vsize: 338288
[startup+1030.08 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20479
Raw data (stat): 20479 (bsolo_mis) R 20478 7876 7672 0 -1 0 19238203 0 0 0 64293 38714 0 0 25 0 1 0 714076993 348037120 81255 4294967295 134512640 134714540 3221221760 3221220064 134568037 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 84970 81255 1111 63 0 84907 0
vsize: 339880
[startup+1040.08 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20479
Raw data (stat): 20479 (bsolo_mis) R 20478 7876 7672 0 -1 0 19423406 0 0 0 64915 39093 0 0 25 0 1 0 714076993 349667328 81790 4294967295 134512640 134714540 3221221760 3221220064 134568037 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 85368 81790 1111 63 0 85305 0
vsize: 341472
[startup+1050.08 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20479
Raw data (stat): 20479 (bsolo_mis) R 20478 7876 7672 0 -1 0 19581599 0 0 0 65591 39416 0 0 25 0 1 0 714076993 354271232 82969 4294967295 134512640 134714540 3221221760 3221220036 1077414370 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 86492 82969 1111 63 0 86429 0
vsize: 345968
[startup+1060.08 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20479
Raw data (stat): 20479 (bsolo_mis) R 20478 7876 7672 0 -1 0 19714077 0 0 0 66287 39720 0 0 25 0 1 0 714076993 893886464 215445 4294967295 134512640 134714540 3221221760 3221220400 134606468 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 218234 215445 1111 63 0 218171 0
vsize: 872936
[startup+1061.16 s]
Raw data (loadavg): 0.99 0.97 0.91 1/53 20479
Raw data (stat): 20479 (bsolo_mis) R 20478 7876 7672 0 -1 0 19714077 0 0 0 66287 39720 0 0 25 0 1 0 714076993 893886464 215445 4294967295 134512640 134714540 3221221760 3221220400 134606468 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 218234 215445 1111 63 0 218171 0
vsize: 0

Child ended because it received signal 6 (SIGABRT)
Real time (s): 1061.16
CPU time (s): 1061.16
CPU user time (s): 663.23
CPU system time (s): 397.933
CPU usage (%): 100
Max. virtual memory (Kb): 872936
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####