PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-ssa7552-160.opb
MD5SUM	e6fecce3dd18220c4b3d8965362801d2
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	1359
Optimality of the best value was proved	NO
Number of terms in the objective function	2782
Biggest coefficient in the objective function	1
Number of bits for the biggest coefficient in the objective function	1
Sum of the numbers in the objective function	2782
Number of bits of the sum of numbers in the objective function	12
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	2782
Number of bits of the biggest sum of numbers	12
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.04284
Number of variables	2782
Total number of constraints	4517
Number of constraints which are clauses	4517
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	1
Maximum length of a constraint	5
Trace number 24289

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-09 13:13:21 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=2064 boxname=wulflinc31 idbench=230 idsolver=3 numberseed=0
MD5SUM SOLVER: 03a6a792daea978e4202f78851741568  /oldhome/oroussel/solvers/bsolo_mis
MD5SUM BENCH:  e6fecce3dd18220c4b3d8965362801d2  /oldhome/oroussel/tmp/wulflinc31/normalized-ssa7552-160.opb
REAL COMMAND:  bsolo_mis /oldhome/oroussel/tmp/wulflinc31/normalized-ssa7552-160.opb
IDLAUNCH: 2064
/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:        138236 kB
Buffers:         44148 kB
Cached:         817584 kB
SwapCached:        644 kB
Active:         491056 kB
Inactive:       373012 kB
HighTotal:      131008 kB
HighFree:          924 kB
LowTotal:       903652 kB
LowFree:        137312 kB
SwapTotal:     2097892 kB
SwapFree:      2096612 kB
Dirty:              32 kB
Writeback:           0 kB
Mapped:           5608 kB
Slab:            26536 kB
Committed_AS:    63652 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-09 13:33:23 (client local time) WITH STATUS 0 IN 1200.22 SECONDS
stats: 2064 7 1200.22 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c Initial problem consists of 2782 variables and 4517 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.97 0.99 2/54 28094
Raw data (stat): 28094 (runsolver) R 28093 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 700874462 1056768 100 4294967295 134512640 135381576 3221221680 3221216900 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.0009 s]
Raw data (loadavg): 0.93 0.97 0.99 2/54 28094
Raw data (stat): 28094 (bsolo_mis) R 28093 7876 7672 0 -1 0 14394 0 0 0 963 33 0 0 25 0 1 0 700874462 23224320 4747 4294967295 134512640 134714540 3221221792 3221220252 134543664 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5670 4747 1111 63 0 5607 0
vsize: 22680
[startup+20.0008 s]
Raw data (loadavg): 0.94 0.97 0.99 2/54 28094
Raw data (stat): 28094 (bsolo_mis) R 28093 7876 7672 0 -1 0 23003 0 0 0 1945 51 0 0 25 0 1 0 700874462 30380032 6478 4294967295 134512640 134714540 3221221792 3221220432 134594947 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7417 6478 1111 63 0 7354 0
vsize: 29668
[startup+30.0025 s]
Raw data (loadavg): 0.95 0.97 0.99 2/54 28094
Raw data (stat): 28094 (bsolo_mis) R 28093 7876 7672 0 -1 0 28185 0 0 0 2933 64 0 0 25 0 1 0 700874462 33386496 7201 4294967295 134512640 134714540 3221221792 3221220256 134542347 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8151 7201 1111 63 0 8088 0
vsize: 32604
[startup+40.0027 s]
Raw data (loadavg): 0.96 0.97 0.99 2/54 28094
Raw data (stat): 28094 (bsolo_mis) R 28093 7876 7672 0 -1 0 31491 0 0 0 3926 71 0 0 25 0 1 0 700874462 37003264 8111 4294967295 134512640 134714540 3221221792 3221220296 134543614 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9034 8111 1111 63 0 8971 0
vsize: 36136
[startup+50.0036 s]
Raw data (loadavg): 0.96 0.97 0.99 2/54 28094
Raw data (stat): 28094 (bsolo_mis) R 28093 7876 7672 0 -1 0 36316 0 0 0 4916 81 0 0 25 0 1 0 700874462 39665664 8761 4294967295 134512640 134714540 3221221792 3221220156 134539237 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9684 8761 1111 63 0 9621 0
vsize: 38736
[startup+60.004 s]
Raw data (loadavg): 0.97 0.97 0.99 2/54 28094
Raw data (stat): 28094 (bsolo_mis) R 28093 7876 7672 0 -1 0 40550 0 0 0 5907 90 0 0 25 0 1 0 700874462 42373120 9422 4294967295 134512640 134714540 3221221792 3221220236 134542656 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10345 9422 1111 63 0 10282 0
vsize: 41380
[startup+70.0044 s]
Raw data (loadavg): 0.97 0.97 0.99 2/54 28094
Raw data (stat): 28094 (bsolo_mis) R 28093 7876 7672 0 -1 0 42872 0 0 0 6901 96 0 0 25 0 1 0 700874462 45113344 10084 4294967295 134512640 134714540 3221221792 3221220592 134617242 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11014 10084 1111 63 0 10951 0
vsize: 44056
[startup+80.0054 s]
Raw data (loadavg): 0.98 0.97 0.99 2/54 28094
Raw data (stat): 28094 (bsolo_mis) R 28093 7876 7672 0 -1 0 44570 0 0 0 7898 100 0 0 25 0 1 0 700874462 47190016 10590 4294967295 134512640 134714540 3221221792 3221220296 134543600 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11521 10590 1111 63 0 11458 0
vsize: 46084
[startup+90.006 s]
Raw data (loadavg): 0.98 0.97 0.99 2/54 28094
Raw data (stat): 28094 (bsolo_mis) R 28093 7876 7672 0 -1 0 45980 0 0 0 8894 103 0 0 25 0 1 0 700874462 49340416 11108 4294967295 134512640 134714540 3221221792 3221220224 134523374 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12046 11108 1111 63 0 11983 0
vsize: 48184
[startup+100.006 s]
Raw data (loadavg): 0.98 0.97 0.99 2/54 28094
Raw data (stat): 28094 (bsolo_mis) R 28093 7876 7672 0 -1 0 47241 0 0 0 9892 106 0 0 25 0 1 0 700874462 51429376 11623 4294967295 134512640 134714540 3221221792 3221220432 134594947 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12556 11623 1111 63 0 12493 0
vsize: 50224
[startup+110.007 s]
Raw data (loadavg): 0.98 0.97 0.99 2/54 28094
Raw data (stat): 28094 (bsolo_mis) R 28093 7876 7672 0 -1 0 58423 0 0 0 10866 132 0 0 25 0 1 0 700874462 53944320 12231 4294967295 134512640 134714540 3221221792 3221220544 134630795 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13170 12231 1111 63 0 13107 0
vsize: 52680
[startup+120.008 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 28094
Raw data (stat): 28094 (bsolo_mis) R 28093 7876 7672 0 -1 0 58423 0 0 0 11866 132 0 0 25 0 1 0 700874462 53944320 12231 4294967295 134512640 134714540 3221221792 3221220264 134543078 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13170 12231 1111 63 0 13107 0
vsize: 52680
[startup+130.008 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 28094
Raw data (stat): 28094 (bsolo_mis) R 28093 7876 7672 0 -1 0 58679 0 0 0 12865 133 0 0 25 0 1 0 700874462 54087680 12266 4294967295 134512640 134714540 3221221792 3221220272 134542347 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13205 12266 1111 63 0 13142 0
vsize: 52820
[startup+140.008 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 28094
Raw data (stat): 28094 (bsolo_mis) R 28093 7876 7672 0 -1 0 60536 0 0 0 13861 137 0 0 25 0 1 0 700874462 55369728 12595 4294967295 134512640 134714540 3221221792 3221220188 134542371 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13518 12595 1111 63 0 13455 0
vsize: 54072
[startup+150.009 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 28094
Raw data (stat): 28094 (bsolo_mis) R 28093 7876 7672 0 -1 0 62075 0 0 0 14858 140 0 0 25 0 1 0 700874462 56930304 12957 4294967295 134512640 134714540 3221221792 3221220200 134543606 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13899 12957 1111 63 0 13836 0
vsize: 55596
[startup+160.009 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 28094
Raw data (stat): 28094 (bsolo_mis) R 28093 7876 7672 0 -1 0 63788 0 0 0 15855 144 0 0 25 0 1 0 700874462 58667008 13392 4294967295 134512640 134714540 3221221792 3221220236 134536817 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14323 13392 1111 63 0 14260 0
vsize: 57292
[startup+170.009 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 28094
Raw data (stat): 28094 (bsolo_mis) R 28093 7876 7672 0 -1 0 64824 0 0 0 16852 147 0 0 25 0 1 0 700874462 59523072 13609 4294967295 134512640 134714540 3221221792 3221220172 134539334 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14532 13609 1111 63 0 14469 0
vsize: 58128
[startup+180.01 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 28094
Raw data (stat): 28094 (bsolo_mis) R 28093 7876 7672 0 -1 0 65948 0 0 0 17848 150 0 0 25 0 1 0 700874462 61186048 14005 4294967295 134512640 134714540 3221221792 3221220544 134630792 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14938 14005 1111 63 0 14875 0
vsize: 59752
[startup+190.011 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 28094
Raw data (stat): 28094 (bsolo_mis) R 28093 7876 7672 0 -1 0 68158 0 0 0 18844 155 0 0 25 0 1 0 700874462 62062592 14229 4294967295 134512640 134714540 3221221792 3221220272 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15152 14229 1111 63 0 15089 0
vsize: 60608
[startup+200.01 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 28094
Raw data (stat): 28094 (bsolo_mis) R 28093 7876 7672 0 -1 0 69640 0 0 0 19841 158 0 0 25 0 1 0 700874462 63279104 14526 4294967295 134512640 134714540 3221221792 3221220200 134543600 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15449 14526 1111 63 0 15386 0
vsize: 61796
[startup+210.011 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 28094
Raw data (stat): 28094 (bsolo_mis) R 28093 7876 7672 0 -1 0 71086 0 0 0 20838 161 0 0 25 0 1 0 700874462 64901120 14920 4294967295 134512640 134714540 3221221792 3221220420 134594953 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15845 14920 1111 63 0 15782 0
vsize: 63380
[startup+220.011 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 28094
Raw data (stat): 28094 (bsolo_mis) R 28093 7876 7672 0 -1 0 73120 0 0 0 21835 165 0 0 25 0 1 0 700874462 65970176 15172 4294967295 134512640 134714540 3221221792 3221220432 134606488 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16106 15174 1111 63 0 16043 0
vsize: 64424
[startup+230.011 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 28094
Raw data (stat): 28094 (bsolo_mis) R 28093 7876 7672 0 -1 0 74170 0 0 0 22833 167 0 0 25 0 1 0 700874462 66576384 15331 4294967295 134512640 134714540 3221221792 3221220156 134539237 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16254 15331 1111 63 0 16191 0
vsize: 65016
[startup+240.011 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 28094
Raw data (stat): 28094 (bsolo_mis) R 28093 7876 7672 0 -1 0 75856 0 0 0 23829 171 0 0 25 0 1 0 700874462 67473408 15550 4294967295 134512640 134714540 3221221792 3221220256 134536650 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16473 15550 1111 63 0 16410 0
vsize: 65892
[startup+250.011 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 28094
Raw data (stat): 28094 (bsolo_mis) R 28093 7876 7672 0 -1 0 76765 0 0 0 24827 173 0 0 25 0 1 0 700874462 68358144 15766 4294967295 134512640 134714540 3221221792 3221220176 134542352 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16689 15766 1111 63 0 16626 0
vsize: 66756
[startup+260.011 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 28094
Raw data (stat): 28094 (bsolo_mis) R 28093 7876 7672 0 -1 0 77420 0 0 0 25826 174 0 0 25 0 1 0 700874462 69492736 16014 4294967295 134512640 134714540 3221221792 3221220272 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16966 16014 1111 63 0 16903 0
vsize: 67864
[startup+270.011 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 28094
Raw data (stat): 28094 (bsolo_mis) R 28093 7876 7672 0 -1 0 79948 0 0 0 26821 180 0 0 25 0 1 0 700874462 70823936 16366 4294967295 134512640 134714540 3221221792 3221220396 134543588 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17291 16366 1111 63 0 17228 0
vsize: 69164
[startup+280.012 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 28094
Raw data (stat): 28094 (bsolo_mis) R 28093 7876 7672 0 -1 0 80749 0 0 0 27819 181 0 0 25 0 1 0 700874462 71258112 16474 4294967295 134512640 134714540 3221221792 3221220156 134539265 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17397 16474 1111 63 0 17334 0
vsize: 69588
[startup+290.012 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 28094
Raw data (stat): 28094 (bsolo_mis) R 28093 7876 7672 0 -1 0 82440 0 0 0 28815 185 0 0 25 0 1 0 700874462 72515584 16779 4294967295 134512640 134714540 3221221792 3221220284 134543653 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17704 16779 1111 63 0 17641 0
vsize: 70816
[startup+300.012 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 28094
Raw data (stat): 28094 (bsolo_mis) R 28093 7876 7672 0 -1 0 83235 0 0 0 29813 188 0 0 25 0 1 0 700874462 73347072 16981 4294967295 134512640 134714540 3221221792 3221220272 134542350 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17907 16981 1111 63 0 17844 0
vsize: 71628
[startup+310.012 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 28094
Raw data (stat): 28094 (bsolo_mis) R 28093 7876 7672 0 -1 0 84939 0 0 0 30810 191 0 0 25 0 1 0 700874462 74301440 17201 4294967295 134512640 134714540 3221221792 3221220272 134536630 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18140 17201 1111 63 0 18077 0
vsize: 72560
[startup+320.012 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 28094
Raw data (stat): 28094 (bsolo_mis) R 28093 7876 7672 0 -1 0 85977 0 0 0 31807 194 0 0 25 0 1 0 700874462 76075008 17647 4294967295 134512640 134714540 3221221792 3221220300 134523848 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18573 17647 1111 63 0 18510 0
vsize: 74292
[startup+330.012 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 28094
Raw data (stat): 28094 (bsolo_mis) R 28093 7876 7672 0 -1 0 86324 0 0 0 32806 195 0 0 25 0 1 0 700874462 76316672 17708 4294967295 134512640 134714540 3221221792 3221220156 134539237 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18632 17708 1111 63 0 18569 0
vsize: 74528
[startup+340.012 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 28094
Raw data (stat): 28094 (bsolo_mis) R 28093 7876 7672 0 -1 0 87111 0 0 0 33805 197 0 0 25 0 1 0 700874462 77111296 17901 4294967295 134512640 134714540 3221221792 3221220320 134528595 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18826 17901 1111 63 0 18763 0
vsize: 75304
[startup+350.011 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 28094
Raw data (stat): 28094 (bsolo_mis) R 28093 7876 7672 0 -1 0 87895 0 0 0 34803 198 0 0 25 0 1 0 700874462 77889536 18091 4294967295 134512640 134714540 3221221792 3221220144 134543030 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19016 18091 1111 63 0 18953 0
vsize: 76064
[startup+360.012 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 28094
Raw data (stat): 28094 (bsolo_mis) R 28093 7876 7672 0 -1 0 88387 0 0 0 35803 199 0 0 25 0 1 0 700874462 78815232 18319 4294967295 134512640 134714540 3221221792 3221220156 134539235 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19242 18319 1111 63 0 19179 0
vsize: 76968
[startup+370.012 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 28094
Raw data (stat): 28094 (bsolo_mis) R 28093 7876 7672 0 -1 0 89087 0 0 0 36802 200 0 0 25 0 1 0 700874462 79704064 18536 4294967295 134512640 134714540 3221221792 3221220300 134543588 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19459 18536 1111 63 0 19396 0
vsize: 77836
[startup+380.012 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 28094
Raw data (stat): 28094 (bsolo_mis) R 28093 7876 7672 0 -1 0 89769 0 0 0 37800 202 0 0 25 0 1 0 700874462 80064512 18624 4294967295 134512640 134714540 3221221792 3221220320 134528595 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19547 18624 1111 63 0 19484 0
vsize: 78188
[startup+390.012 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 28094
Raw data (stat): 28094 (bsolo_mis) R 28093 7876 7672 0 -1 0 90544 0 0 0 38799 203 0 0 25 0 1 0 700874462 81264640 18906 4294967295 134512640 134714540 3221221792 3221220272 134542303 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19840 18906 1111 63 0 19777 0
vsize: 79360
[startup+400.012 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 28094
Raw data (stat): 28094 (bsolo_mis) R 28093 7876 7672 0 -1 0 92201 0 0 0 39796 206 0 0 25 0 1 0 700874462 84074496 19584 4294967295 134512640 134714540 3221221792 3221220272 134542350 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20526 19584 1111 63 0 20463 0
vsize: 82104
[startup+410.012 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 28094
Raw data (stat): 28094 (bsolo_mis) R 28093 7876 7672 0 -1 0 92201 0 0 0 40796 206 0 0 25 0 1 0 700874462 84074496 19584 4294967295 134512640 134714540 3221221792 3221220176 134542352 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20526 19584 1111 63 0 20463 0
vsize: 82104
[startup+420.012 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 28094
Raw data (stat): 28094 (bsolo_mis) R 28093 7876 7672 0 -1 0 92201 0 0 0 41797 206 0 0 25 0 1 0 700874462 84074496 19584 4294967295 134512640 134714540 3221221792 3221220408 134543785 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20526 19584 1111 63 0 20463 0
vsize: 82104
[startup+430.013 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 28094
Raw data (stat): 28094 (bsolo_mis) R 28093 7876 7672 0 -1 0 92471 0 0 0 42796 206 0 0 25 0 1 0 700874462 84557824 19721 4294967295 134512640 134714540 3221221792 3221220260 134536649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20644 19721 1111 63 0 20581 0
vsize: 82576
[startup+440.013 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 28094
Raw data (stat): 28094 (bsolo_mis) R 28093 7876 7672 0 -1 0 93546 0 0 0 43794 209 0 0 25 0 1 0 700874462 84746240 19767 4294967295 134512640 134714540 3221221792 3221220256 134536698 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20690 19767 1111 63 0 20627 0
vsize: 82760
[startup+450.013 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 28094
Raw data (stat): 28094 (bsolo_mis) R 28093 7876 7672 0 -1 0 94710 0 0 0 44792 212 0 0 25 0 1 0 700874462 85872640 20040 4294967295 134512640 134714540 3221221792 3221220296 134543614 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20965 20040 1111 63 0 20902 0
vsize: 83860
[startup+460.014 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 28094
Raw data (stat): 28094 (bsolo_mis) R 28093 7876 7672 0 -1 0 95318 0 0 0 45790 213 0 0 25 0 1 0 700874462 86343680 20155 4294967295 134512640 134714540 3221221792 3221220416 134594999 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21080 20155 1111 63 0 21017 0
vsize: 84320
[startup+470.014 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 28094
Raw data (stat): 28094 (bsolo_mis) R 28093 7876 7672 0 -1 0 95787 0 0 0 46790 214 0 0 25 0 1 0 700874462 87130112 20327 4294967295 134512640 134714540 3221221792 3221220408 134543796 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21272 20327 1111 63 0 21209 0
vsize: 85088
[startup+480.014 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 28094
Raw data (stat): 28094 (bsolo_mis) R 28093 7876 7672 0 -1 0 96215 0 0 0 47789 215 0 0 25 0 1 0 700874462 87511040 20440 4294967295 134512640 134714540 3221221792 3221220408 134543796 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21365 20440 1111 63 0 21302 0
vsize: 85460
[startup+490.014 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 28094
Raw data (stat): 28094 (bsolo_mis) R 28093 7876 7672 0 -1 0 98480 0 0 0 48784 220 0 0 25 0 1 0 700874462 88326144 20628 4294967295 134512640 134714540 3221221792 3221220236 134536766 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21564 20628 1111 63 0 21501 0
vsize: 86256
[startup+500.013 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 28094
Raw data (stat): 28094 (bsolo_mis) R 28093 7876 7672 0 -1 0 99086 0 0 0 49782 222 0 0 25 0 1 0 700874462 88735744 20739 4294967295 134512640 134714540 3221221792 3221220300 134543588 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21664 20739 1111 63 0 21601 0
vsize: 86656
[startup+510.014 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 28094
Raw data (stat): 28094 (bsolo_mis) R 28093 7876 7672 0 -1 0 100539 0 0 0 50779 225 0 0 25 0 1 0 700874462 89460736 20905 4294967295 134512640 134714540 3221221792 3221220408 134543796 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21841 20905 1111 63 0 21778 0
vsize: 87364
[startup+520.013 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 28094
Raw data (stat): 28094 (bsolo_mis) R 28093 7876 7672 0 -1 0 102190 0 0 0 51776 229 0 0 25 0 1 0 700874462 89927680 21030 4294967295 134512640 134714540 3221221792 3221220272 134542352 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21955 21030 1111 63 0 21892 0
vsize: 87820
[startup+530.014 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 28094
Raw data (stat): 28094 (bsolo_mis) R 28093 7876 7672 0 -1 0 103296 0 0 0 52774 231 0 0 25 0 1 0 700874462 90189824 21096 4294967295 134512640 134714540 3221221792 3221220272 134524067 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22019 21096 1111 63 0 21956 0
vsize: 88076
[startup+540.014 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 28094
Raw data (stat): 28094 (bsolo_mis) R 28093 7876 7672 0 -1 0 103901 0 0 0 53773 232 0 0 25 0 1 0 700874462 90640384 21206 4294967295 134512640 134714540 3221221792 3221220176 134542347 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22129 21206 1111 63 0 22066 0
vsize: 88516
[startup+550.014 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 28094
Raw data (stat): 28094 (bsolo_mis) R 28093 7876 7672 0 -1 0 125701 0 0 0 54725 280 0 0 25 0 1 0 700874462 92340224 21589 4294967295 134512640 134714540 3221221792 3221220296 134543600 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22544 21589 1111 63 0 22481 0
vsize: 90176
[startup+560.015 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 28094
Raw data (stat): 28094 (bsolo_mis) R 28093 7876 7672 0 -1 0 126238 0 0 0 55723 282 0 0 25 0 1 0 700874462 92626944 21691 4294967295 134512640 134714540 3221221792 3221220520 134672913 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22614 21691 1111 63 0 22551 0
vsize: 90456
[startup+570.015 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 28094
Raw data (stat): 28094 (bsolo_mis) R 28093 7876 7672 0 -1 0 126759 0 0 0 56722 283 0 0 25 0 1 0 700874462 92786688 21717 4294967295 134512640 134714540 3221221792 3221220260 134536649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22653 21717 1111 63 0 22590 0
vsize: 90612
[startup+580.016 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 28094
Raw data (stat): 28094 (bsolo_mis) R 28093 7876 7672 0 -1 0 127389 0 0 0 57721 284 0 0 25 0 1 0 700874462 93769728 21951 4294967295 134512640 134714540 3221221792 3221220272 134539376 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22893 21951 1111 63 0 22830 0
vsize: 91572
[startup+590.016 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 28094
Raw data (stat): 28094 (bsolo_mis) R 28093 7876 7672 0 -1 0 127987 0 0 0 58720 286 0 0 25 0 1 0 700874462 94121984 22054 4294967295 134512640 134714540 3221221792 3221220520 134672906 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22979 22054 1111 63 0 22916 0
vsize: 91916
[startup+600.016 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 28094
Raw data (stat): 28094 (bsolo_mis) R 28093 7876 7672 0 -1 0 128761 0 0 0 59718 288 0 0 25 0 1 0 700874462 94330880 22107 4294967295 134512640 134714540 3221221792 3221220176 134542303 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23030 22107 1111 63 0 22967 0
vsize: 92120
[startup+610.016 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 28094
Raw data (stat): 28094 (bsolo_mis) R 28093 7876 7672 0 -1 0 129357 0 0 0 60717 289 0 0 25 0 1 0 700874462 95223808 22307 4294967295 134512640 134714540 3221221792 3221220416 134529091 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23248 22307 1111 63 0 23185 0
vsize: 92992
[startup+620.016 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 28094
Raw data (stat): 28094 (bsolo_mis) R 28093 7876 7672 0 -1 0 129850 0 0 0 61716 290 0 0 25 0 1 0 700874462 95150080 22307 4294967295 134512640 134714540 3221221792 3221220252 134543664 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23230 22307 1111 63 0 23167 0
vsize: 92920
[startup+630.017 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 28094
Raw data (stat): 28094 (bsolo_mis) R 28093 7876 7672 0 -1 0 130444 0 0 0 62715 291 0 0 25 0 1 0 700874462 95961088 22505 4294967295 134512640 134714540 3221221792 3221220432 134594947 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23428 22505 1111 63 0 23365 0
vsize: 93712
[startup+640.017 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 28094
Raw data (stat): 28094 (bsolo_mis) R 28093 7876 7672 0 -1 0 131355 0 0 0 63714 293 0 0 25 0 1 0 700874462 96108544 22525 4294967295 134512640 134714540 3221221792 3221220204 134543616 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23464 22525 1111 63 0 23401 0
vsize: 93856
[startup+650.016 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 28094
Raw data (stat): 28094 (bsolo_mis) R 28093 7876 7672 0 -1 0 132777 0 0 0 64711 296 0 0 25 0 1 0 700874462 97087488 22759 4294967295 134512640 134714540 3221221792 3221220416 134529412 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23703 22759 1111 63 0 23640 0
vsize: 94812
[startup+660.017 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 28094
Raw data (stat): 28094 (bsolo_mis) R 28093 7876 7672 0 -1 0 133234 0 0 0 65710 297 0 0 25 0 1 0 700874462 96985088 22755 4294967295 134512640 134714540 3221221792 3221220320 134528617 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23678 22755 1111 63 0 23615 0
vsize: 94712
[startup+670.017 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 28094
Raw data (stat): 28094 (bsolo_mis) R 28093 7876 7672 0 -1 0 133824 0 0 0 66708 299 0 0 25 0 1 0 700874462 97787904 22949 4294967295 134512640 134714540 3221221792 3221220320 134523350 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23874 22949 1111 63 0 23811 0
vsize: 95496
[startup+680.017 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 28094
Raw data (stat): 28094 (bsolo_mis) R 28093 7876 7672 0 -1 0 134941 0 0 0 67706 302 0 0 25 0 1 0 700874462 98373632 23076 4294967295 134512640 134714540 3221221792 3221220216 1077378037 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24017 23083 1111 63 0 23954 0
vsize: 96068
[startup+690.018 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 28094
Raw data (stat): 28094 (bsolo_mis) R 28093 7876 7672 0 -1 0 136042 0 0 0 68704 303 0 0 25 0 1 0 700874462 98349056 23088 4294967295 134512640 134714540 3221221792 3221220176 134542352 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24011 23088 1111 63 0 23948 0
vsize: 96044
[startup+700.017 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 28094
Raw data (stat): 28094 (bsolo_mis) R 28093 7876 7672 0 -1 0 137426 0 0 0 69702 306 0 0 25 0 1 0 700874462 99168256 23286 4294967295 134512640 134714540 3221221792 3221220432 134594947 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24211 23286 1111 63 0 24148 0
vsize: 96844
[startup+710.017 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 28094
Raw data (stat): 28094 (bsolo_mis) R 28093 7876 7672 0 -1 0 138705 0 0 0 70699 309 0 0 25 0 1 0 700874462 99549184 23379 4294967295 134512640 134714540 3221221792 3221220272 134539518 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24304 23379 1111 63 0 24241 0
vsize: 97216
[startup+720.017 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 28094
Raw data (stat): 28094 (bsolo_mis) R 28093 7876 7672 0 -1 0 139192 0 0 0 71698 310 0 0 25 0 1 0 700874462 99508224 23371 4294967295 134512640 134714540 3221221792 3221220320 134528595 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24294 23371 1111 63 0 24231 0
vsize: 97176
[startup+730.018 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 28094
Raw data (stat): 28094 (bsolo_mis) R 28093 7876 7672 0 -1 0 139681 0 0 0 72697 311 0 0 25 0 1 0 700874462 100376576 23563 4294967295 134512640 134714540 3221221792 3221220396 134523848 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24506 23563 1111 63 0 24443 0
vsize: 98024
[startup+740.018 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 28094
Raw data (stat): 28094 (bsolo_mis) R 28093 7876 7672 0 -1 0 139874 0 0 0 73697 311 0 0 25 0 1 0 700874462 100659200 23650 4294967295 134512640 134714540 3221221792 3221220260 134543094 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24575 23650 1111 63 0 24512 0
vsize: 98300
[startup+750.018 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 28094
Raw data (stat): 28094 (bsolo_mis) R 28093 7876 7672 0 -1 0 140336 0 0 0 74696 313 0 0 25 0 1 0 700874462 100737024 23650 4294967295 134512640 134714540 3221221792 3221220176 134542347 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24594 23650 1111 63 0 24531 0
vsize: 98376
[startup+760.019 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 28094
Raw data (stat): 28094 (bsolo_mis) R 28093 7876 7672 0 -1 0 141437 0 0 0 75694 315 0 0 25 0 1 0 700874462 101228544 23791 4294967295 134512640 134714540 3221221792 3221220144 134543030 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24714 23791 1111 63 0 24651 0
vsize: 98856
[startup+770.019 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 28094
Raw data (stat): 28094 (bsolo_mis) R 28093 7876 7672 0 -1 0 143189 0 0 0 76689 319 0 0 25 0 1 0 700874462 101965824 23971 4294967295 134512640 134714540 3221221792 3221220592 134617242 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24894 23971 1111 63 0 24831 0
vsize: 99576
[startup+780.019 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 28094
Raw data (stat): 28094 (bsolo_mis) R 28093 7876 7672 0 -1 0 143280 0 0 0 77689 320 0 0 25 0 1 0 700874462 102244352 24028 4294967295 134512640 134714540 3221221792 3221220260 134543092 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24962 24028 1111 63 0 24899 0
vsize: 99848
[startup+790.019 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 28094
Raw data (stat): 28094 (bsolo_mis) R 28093 7876 7672 0 -1 0 144359 0 0 0 78687 322 0 0 25 0 1 0 700874462 102584320 24120 4294967295 134512640 134714540 3221221792 3221220412 134536888 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25045 24120 1111 63 0 24982 0
vsize: 100180
[startup+800.018 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 28094
Raw data (stat): 28094 (bsolo_mis) R 28093 7876 7672 0 -1 0 144896 0 0 0 79686 324 0 0 25 0 1 0 700874462 102342656 24063 4294967295 134512640 134714540 3221221792 3221220172 134539235 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24986 24063 1111 63 0 24923 0
vsize: 99944
[startup+810.019 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 28094
Raw data (stat): 28094 (bsolo_mis) R 28093 7876 7672 0 -1 0 145616 0 0 0 80684 325 0 0 25 0 1 0 700874462 103362560 24298 4294967295 134512640 134714540 3221221792 3221220172 134539237 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25235 24298 1111 63 0 25172 0
vsize: 100940
[startup+820.018 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 28094
Raw data (stat): 28094 (bsolo_mis) R 28093 7876 7672 0 -1 0 145616 0 0 0 81684 325 0 0 25 0 1 0 700874462 103362560 24298 4294967295 134512640 134714540 3221221792 3221220272 134524067 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25235 24298 1111 63 0 25172 0
vsize: 100940
[startup+830.019 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 28094
Raw data (stat): 28094 (bsolo_mis) R 28093 7876 7672 0 -1 0 146991 0 0 0 82682 328 0 0 25 0 1 0 700874462 103403520 24322 4294967295 134512640 134714540 3221221792 3221220272 134524108 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25245 24322 1111 63 0 25182 0
vsize: 100980
[startup+840.019 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 28094
Raw data (stat): 28094 (bsolo_mis) R 28093 7876 7672 0 -1 0 157621 0 0 0 83661 349 0 0 25 0 1 0 700874462 104677376 24633 4294967295 134512640 134714540 3221221792 3221220432 134594947 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25556 24633 1111 63 0 25493 0
vsize: 102224
[startup+850.019 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 28094
Raw data (stat): 28094 (bsolo_mis) R 28093 7876 7672 0 -1 0 157769 0 0 0 84661 350 0 0 25 0 1 0 700874462 105099264 24709 4294967295 134512640 134714540 3221221792 3221220416 134529091 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25659 24709 1111 63 0 25596 0
vsize: 102636
[startup+860.019 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 28094
Raw data (stat): 28094 (bsolo_mis) R 28093 7876 7672 0 -1 0 158195 0 0 0 85660 351 0 0 25 0 1 0 700874462 105426944 24787 4294967295 134512640 134714540 3221221792 3221220272 134539376 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25739 24787 1111 63 0 25676 0
vsize: 102956
[startup+870.02 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 28094
Raw data (stat): 28094 (bsolo_mis) R 28093 7876 7672 0 -1 0 158670 0 0 0 86659 352 0 0 25 0 1 0 700874462 105754624 24866 4294967295 134512640 134714540 3221221792 3221220320 134523342 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25819 24866 1111 63 0 25756 0
vsize: 103276
[startup+880.02 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 28094
Raw data (stat): 28094 (bsolo_mis) R 28093 7876 7672 0 -1 0 158990 0 0 0 87658 353 0 0 25 0 1 0 700874462 106016768 24944 4294967295 134512640 134714540 3221221792 3221220432 134594947 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25883 24944 1111 63 0 25820 0
vsize: 103532
[startup+890.02 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 28094
Raw data (stat): 28094 (bsolo_mis) R 28093 7876 7672 0 -1 0 159463 0 0 0 88657 354 0 0 25 0 1 0 700874462 106397696 25021 4294967295 134512640 134714540 3221221792 3221220420 134594953 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25976 25021 1111 63 0 25913 0
vsize: 103904
[startup+900.02 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 28094
Raw data (stat): 28094 (bsolo_mis) R 28093 7876 7672 0 -1 0 159936 0 0 0 89655 356 0 0 25 0 1 0 700874462 106713088 25098 4294967295 134512640 134714540 3221221792 3221220236 134536814 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26053 25098 1111 63 0 25990 0
vsize: 104212
[startup+910.021 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 28094
Raw data (stat): 28094 (bsolo_mis) R 28093 7876 7672 0 -1 0 160211 0 0 0 90655 356 0 0 25 0 1 0 700874462 106905600 25175 4294967295 134512640 134714540 3221221792 3221220404 134529109 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26100 25175 1111 63 0 26037 0
vsize: 104400
[startup+920.021 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 28094
Raw data (stat): 28094 (bsolo_mis) R 28093 7876 7672 0 -1 0 160485 0 0 0 91655 357 0 0 25 0 1 0 700874462 107311104 25249 4294967295 134512640 134714540 3221221792 3221220420 134594993 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26199 25249 1111 63 0 26136 0
vsize: 104796
[startup+930.021 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 28094
Raw data (stat): 28094 (bsolo_mis) R 28093 7876 7672 0 -1 0 160955 0 0 0 92654 358 0 0 25 0 1 0 700874462 107634688 25323 4294967295 134512640 134714540 3221221792 3221220272 134539376 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26278 25323 1111 63 0 26215 0
vsize: 105112
[startup+940.021 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 28094
Raw data (stat): 28094 (bsolo_mis) R 28093 7876 7672 0 -1 0 161423 0 0 0 93652 359 0 0 25 0 1 0 700874462 107798528 25395 4294967295 134512640 134714540 3221221792 3221220280 134543614 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26318 25395 1111 63 0 26255 0
vsize: 105272
[startup+950.021 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 28094
Raw data (stat): 28094 (bsolo_mis) R 28093 7876 7672 0 -1 0 161893 0 0 0 94652 360 0 0 25 0 1 0 700874462 108232704 25469 4294967295 134512640 134714540 3221221792 3221220304 134542936 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26424 25469 1111 63 0 26361 0
vsize: 105696
[startup+960.022 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 28094
Raw data (stat): 28094 (bsolo_mis) R 28093 7876 7672 0 -1 0 162360 0 0 0 95651 361 0 0 25 0 1 0 700874462 108523520 25540 4294967295 134512640 134714540 3221221792 3221220592 134617624 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26495 25540 1111 63 0 26432 0
vsize: 105980
[startup+970.022 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 28094
Raw data (stat): 28094 (bsolo_mis) R 28093 7876 7672 0 -1 0 163519 0 0 0 96650 363 0 0 25 0 1 0 700874462 108281856 25513 4294967295 134512640 134714540 3221221792 3221220200 134543614 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26436 25513 1111 63 0 26373 0
vsize: 105744
[startup+980.023 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 28094
Raw data (stat): 28094 (bsolo_mis) R 28093 7876 7672 0 -1 0 163952 0 0 0 97649 364 0 0 25 0 1 0 700874462 108560384 25550 4294967295 134512640 134714540 3221221792 3221220272 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26504 25550 1111 63 0 26441 0
vsize: 106016
[startup+990.024 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 28094
Raw data (stat): 28094 (bsolo_mis) R 28093 7876 7672 0 -1 0 164386 0 0 0 98648 365 0 0 25 0 1 0 700874462 108843008 25620 4294967295 134512640 134714540 3221221792 3221220156 134539301 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26573 25620 1111 63 0 26510 0
vsize: 106292
[startup+1000.02 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 28094
Raw data (stat): 28094 (bsolo_mis) R 28093 7876 7672 0 -1 0 164848 0 0 0 99647 366 0 0 25 0 1 0 700874462 109404160 25785 4294967295 134512640 134714540 3221221792 3221220408 134536901 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26710 25785 1111 63 0 26647 0
vsize: 106840
[startup+1010.02 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 28094
Raw data (stat): 28094 (bsolo_mis) R 28093 7876 7672 0 -1 0 165313 0 0 0 100646 367 0 0 25 0 1 0 700874462 109686784 25854 4294967295 134512640 134714540 3221221792 3221220432 134594947 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26779 25854 1111 63 0 26716 0
vsize: 107116
[startup+1020.02 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 28094
Raw data (stat): 28094 (bsolo_mis) R 28093 7876 7672 0 -1 0 165772 0 0 0 101645 368 0 0 25 0 1 0 700874462 109961216 25920 4294967295 134512640 134714540 3221221792 3221220408 134543793 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26846 25920 1111 63 0 26783 0
vsize: 107384
[startup+1030.02 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 28094
Raw data (stat): 28094 (bsolo_mis) R 28093 7876 7672 0 -1 0 166229 0 0 0 102644 369 0 0 25 0 1 0 700874462 110620672 26082 4294967295 134512640 134714540 3221221792 3221220592 134617242 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27007 26082 1111 63 0 26944 0
vsize: 108028
[startup+1040.02 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 28094
Raw data (stat): 28094 (bsolo_mis) R 28093 7876 7672 0 -1 0 166685 0 0 0 103643 370 0 0 25 0 1 0 700874462 110866432 26144 4294967295 134512640 134714540 3221221792 3221220320 134528671 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27067 26144 1111 63 0 27004 0
vsize: 108268
[startup+1050.03 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 28094
Raw data (stat): 28094 (bsolo_mis) R 28093 7876 7672 0 -1 0 167144 0 0 0 104642 371 0 0 25 0 1 0 700874462 111427584 26281 4294967295 134512640 134714540 3221221792 3221220176 134542352 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27204 26281 1111 63 0 27141 0
vsize: 108816
[startup+1060.03 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 28094
Raw data (stat): 28094 (bsolo_mis) R 28093 7876 7672 0 -1 0 167367 0 0 0 105642 372 0 0 25 0 1 0 700874462 111841280 26369 4294967295 134512640 134714540 3221221792 3221220416 134529177 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27305 26369 1111 63 0 27242 0
vsize: 109220
[startup+1070.03 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 28094
Raw data (stat): 28094 (bsolo_mis) R 28093 7876 7672 0 -1 0 168240 0 0 0 106640 374 0 0 25 0 1 0 700874462 112254976 26431 4294967295 134512640 134714540 3221221792 3221220432 134594947 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27406 26431 1111 63 0 27343 0
vsize: 109624
[startup+1080.03 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 28094
Raw data (stat): 28094 (bsolo_mis) R 28093 7876 7672 0 -1 0 168565 0 0 0 107640 375 0 0 25 0 1 0 700874462 111955968 26360 4294967295 134512640 134714540 3221221792 3221220272 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27333 26360 1111 63 0 27270 0
vsize: 109332
[startup+1090.03 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 28094
Raw data (stat): 28094 (bsolo_mis) R 28093 7876 7672 0 -1 0 169022 0 0 0 108639 375 0 0 25 0 1 0 700874462 112205824 26421 4294967295 134512640 134714540 3221221792 3221220260 134536649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27394 26421 1111 63 0 27331 0
vsize: 109576
[startup+1100.03 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 28094
Raw data (stat): 28094 (bsolo_mis) R 28093 7876 7672 0 -1 0 169477 0 0 0 109639 376 0 0 25 0 1 0 700874462 112857088 26579 4294967295 134512640 134714540 3221221792 3221220272 134539462 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27553 26579 1111 63 0 27490 0
vsize: 110212
[startup+1110.03 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 28094
Raw data (stat): 28094 (bsolo_mis) R 28093 7876 7672 0 -1 0 169929 0 0 0 110638 377 0 0 25 0 1 0 700874462 113102848 26636 4294967295 134512640 134714540 3221221792 3221220256 134539460 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27613 26636 1111 63 0 27550 0
vsize: 110452
[startup+1120.03 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 28094
Raw data (stat): 28094 (bsolo_mis) R 28093 7876 7672 0 -1 0 171073 0 0 0 111635 379 0 0 25 0 1 0 700874462 112918528 26596 4294967295 134512640 134714540 3221221792 3221220200 134542289 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27568 26596 1111 63 0 27505 0
vsize: 110272
[startup+1130.03 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 28094
Raw data (stat): 28094 (bsolo_mis) R 28093 7876 7672 0 -1 0 171523 0 0 0 112634 381 0 0 25 0 1 0 700874462 113582080 26750 4294967295 134512640 134714540 3221221792 3221220408 134543785 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27730 26750 1111 63 0 27667 0
vsize: 110920
[startup+1140.03 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 28094
Raw data (stat): 28094 (bsolo_mis) R 28093 7876 7672 0 -1 0 171974 0 0 0 113633 382 0 0 25 0 1 0 700874462 113807360 26805 4294967295 134512640 134714540 3221221792 3221220256 134539462 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27785 26805 1111 63 0 27722 0
vsize: 111140
[startup+1150.03 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 28094
Raw data (stat): 28094 (bsolo_mis) R 28093 7876 7672 0 -1 0 172215 0 0 0 114633 383 0 0 25 0 1 0 700874462 113819648 26816 4294967295 134512640 134714540 3221221792 3221220304 134528602 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27788 26816 1111 63 0 27725 0
vsize: 111152
[startup+1160.03 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 28094
Raw data (stat): 28094 (bsolo_mis) R 28093 7876 7672 0 -1 0 172447 0 0 0 115632 383 0 0 25 0 1 0 700874462 114233344 26888 4294967295 134512640 134714540 3221221792 3221220272 134539437 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27889 26888 1111 63 0 27826 0
vsize: 111556
[startup+1170.03 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 28094
Raw data (stat): 28094 (bsolo_mis) R 28093 7876 7672 0 -1 0 172867 0 0 0 116632 383 0 0 25 0 1 0 700874462 114348032 26940 4294967295 134512640 134714540 3221221792 3221220408 134543793 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27917 26940 1111 63 0 27854 0
vsize: 111668
[startup+1180.03 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 28094
Raw data (stat): 28094 (bsolo_mis) R 28093 7876 7672 0 -1 0 173216 0 0 0 117632 384 0 0 25 0 1 0 700874462 114171904 26902 4294967295 134512640 134714540 3221221792 3221220200 134543600 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27874 26902 1111 63 0 27811 0
vsize: 111496
[startup+1190.03 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 28094
Raw data (stat): 28094 (bsolo_mis) R 28093 7876 7672 0 -1 0 174439 0 0 0 118629 387 0 0 25 0 1 0 700874462 114802688 27046 4294967295 134512640 134714540 3221221792 3221220416 134529097 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28028 27046 1111 63 0 27965 0
vsize: 112112
[startup+1200.03 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 28094
Raw data (stat): 28094 (bsolo_mis) R 28093 7876 7672 0 -1 0 174885 0 0 0 119629 388 0 0 25 0 1 0 700874462 114999296 27096 4294967295 134512640 134714540 3221221792 3221220256 134539462 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28076 27096 1111 63 0 28013 0
vsize: 112304
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.08 s]
Raw data (loadavg): 0.99 0.97 0.99 1/54 28094
Raw data (stat): 28094 (bsolo_mis) Z 28093 7876 7672 0 -1 1036 174885 0 0 0 119629 393 0 0 25 0 1 0 700874462 0 0 4294967295 0 0 0 0 0 0 0 1 0 3222412051 0 0 17 0 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.08
CPU time (s): 1200.22
CPU user time (s): 1196.29
CPU system time (s): 3.9324
CPU usage (%): 100.012
Max. virtual memory (Kb): 112304
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####