PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-maros-r7.opb
MD5SUM	ebb49febffdfe5475bc23e4ef8d466db
Bench Category	optimization, big integers (OPTBIGINT)
Has Objective Function	YES
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	188160
Biggest coefficient in the objective function	536870912
Number of bits for the biggest coefficient in the objective function	30
Sum of the numbers in the objective function	6734508713856
Number of bits of the sum of numbers in the objective function	43
Biggest number in a constraint	536870912000000
Number of bits of the biggest number in a constraint	49
Biggest sum of numbers in a constraint	4602477289606474
Number of bits of the biggest sum of numbers	53
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	2.65459
Number of variables	282240
Total number of constraints	3136
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	3136
Minimum length of a constraint	150
Maximum length of a constraint	720
Trace number 29023

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc24 THE 2005-05-25 04:21:25 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=10988 boxname=wulflinc24 idbench=846 idsolver=3 numberseed=0
MD5SUM SOLVER: 03a6a792daea978e4202f78851741568  /oldhome/oroussel/solvers/bsolo_mis
MD5SUM BENCH:  ebb49febffdfe5475bc23e4ef8d466db  /oldhome/oroussel/tmp/wulflinc24/normalized-mps-v2-20-10-maros-r7.opb
REAL COMMAND:  bsolo_mis /oldhome/oroussel/tmp/wulflinc24/normalized-mps-v2-20-10-maros-r7.opb
IDLAUNCH: 10988
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.080
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	: 3
cpu MHz		: 451.080
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:        663916 kB
Buffers:          8876 kB
Cached:         339372 kB
SwapCached:        524 kB
Active:         180948 kB
Inactive:       169656 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        663664 kB
SwapTotal:     2097892 kB
SwapFree:      2096776 kB
Dirty:               4 kB
Writeback:           0 kB
Mapped:           5652 kB
Slab:            14512 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-25 04:41:29 (client local time) WITH STATUS 0 IN 1200.37 SECONDS
stats: 10988 7 1200.37 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
#### 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.88 0.89 0.89 1/54 17432
Raw data (stat): 17432 (runsolver) D 17431 4613 4612 0 -1 64 4 0 0 0 0 0 0 0 18 0 1 0 835955847 1052672 99 4294967295 134512640 135381576 3221224480 3221219696 135158418 0 2147483391 7 90112 3225161850 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0013 s]
Raw data (loadavg): 0.89 0.89 0.89 2/54 17432
Raw data (stat): 17432 (bsolo_mis) R 17431 4613 4612 0 -1 0 1256 0 0 0 985 4 0 0 25 0 1 0 835955847 15355904 1234 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3749 1234 1111 63 0 3686 0
vsize: 14996
[startup+20.002 s]
Raw data (loadavg): 0.91 0.90 0.89 2/54 17432
Raw data (stat): 17432 (bsolo_mis) R 17431 4613 4612 0 -1 0 1351 0 0 0 1985 4 0 0 25 0 1 0 835955847 15810560 1329 4294967295 134512640 134714540 3221224592 3221222820 1077414336 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3860 1329 1111 63 0 3797 0
vsize: 15440
[startup+30.0016 s]
Raw data (loadavg): 0.92 0.90 0.89 2/54 17432
Raw data (stat): 17432 (bsolo_mis) R 17431 4613 4612 0 -1 0 1439 0 0 0 2985 5 0 0 25 0 1 0 835955847 16109568 1417 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3933 1417 1111 63 0 3870 0
vsize: 15732
[startup+40.0023 s]
Raw data (loadavg): 0.93 0.90 0.90 2/54 17432
Raw data (stat): 17432 (bsolo_mis) R 17431 4613 4612 0 -1 0 1527 0 0 0 3984 5 0 0 25 0 1 0 835955847 16551936 1505 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4041 1505 1111 63 0 3978 0
vsize: 16164
[startup+50.0026 s]
Raw data (loadavg): 0.94 0.90 0.90 2/54 17432
Raw data (stat): 17432 (bsolo_mis) R 17431 4613 4612 0 -1 0 1622 0 0 0 4984 6 0 0 25 0 1 0 835955847 16830464 1600 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4109 1600 1111 63 0 4046 0
vsize: 16436
[startup+60.0037 s]
Raw data (loadavg): 0.95 0.91 0.90 2/54 17432
Raw data (stat): 17432 (bsolo_mis) R 17431 4613 4612 0 -1 0 1719 0 0 0 5984 6 0 0 25 0 1 0 835955847 17260544 1697 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4214 1697 1111 63 0 4151 0
vsize: 16856
[startup+70.0044 s]
Raw data (loadavg): 0.96 0.91 0.90 2/54 17432
Raw data (stat): 17432 (bsolo_mis) R 17431 4613 4612 0 -1 0 1809 0 0 0 6984 6 0 0 25 0 1 0 835955847 17711104 1787 4294967295 134512640 134714540 3221224592 3221222820 1077414360 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4324 1787 1111 63 0 4261 0
vsize: 17296
[startup+80.0051 s]
Raw data (loadavg): 0.96 0.91 0.90 2/54 17432
Raw data (stat): 17432 (bsolo_mis) R 17431 4613 4612 0 -1 0 1903 0 0 0 7983 7 0 0 25 0 1 0 835955847 18006016 1881 4294967295 134512640 134714540 3221224592 3221222820 1077414426 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4396 1881 1111 63 0 4333 0
vsize: 17584
[startup+90.0058 s]
Raw data (loadavg): 0.97 0.91 0.90 2/54 17432
Raw data (stat): 17432 (bsolo_mis) R 17431 4613 4612 0 -1 0 1991 0 0 0 8982 8 0 0 25 0 1 0 835955847 18456576 1969 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4506 1969 1111 63 0 4443 0
vsize: 18024
[startup+100.007 s]
Raw data (loadavg): 0.97 0.92 0.90 2/54 17432
Raw data (stat): 17432 (bsolo_mis) R 17431 4613 4612 0 -1 0 2086 0 0 0 9982 8 0 0 25 0 1 0 835955847 18759680 2064 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4580 2064 1111 63 0 4517 0
vsize: 18320
[startup+110.007 s]
Raw data (loadavg): 0.98 0.92 0.90 2/54 17432
Raw data (stat): 17432 (bsolo_mis) R 17431 4613 4612 0 -1 0 2179 0 0 0 10982 9 0 0 25 0 1 0 835955847 19202048 2157 4294967295 134512640 134714540 3221224592 3221222820 1077414360 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4688 2157 1111 63 0 4625 0
vsize: 18752
[startup+120.007 s]
Raw data (loadavg): 0.98 0.92 0.90 2/54 17432
Raw data (stat): 17432 (bsolo_mis) R 17431 4613 4612 0 -1 0 2276 0 0 0 11981 9 0 0 25 0 1 0 835955847 19505152 2254 4294967295 134512640 134714540 3221224592 3221222820 1077414383 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4762 2254 1111 63 0 4699 0
vsize: 19048
[startup+130.006 s]
Raw data (loadavg): 0.98 0.92 0.90 2/54 17432
Raw data (stat): 17432 (bsolo_mis) R 17431 4613 4612 0 -1 0 2370 0 0 0 12981 9 0 0 25 0 1 0 835955847 19951616 2348 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4871 2348 1111 63 0 4808 0
vsize: 19484
[startup+140.008 s]
Raw data (loadavg): 0.98 0.92 0.91 2/54 17432
Raw data (stat): 17432 (bsolo_mis) R 17431 4613 4612 0 -1 0 2459 0 0 0 13981 10 0 0 25 0 1 0 835955847 20246528 2437 4294967295 134512640 134714540 3221224592 3221222820 1077414383 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4943 2437 1111 63 0 4880 0
vsize: 19772
[startup+150.008 s]
Raw data (loadavg): 0.99 0.93 0.91 2/54 17432
Raw data (stat): 17432 (bsolo_mis) R 17431 4613 4612 0 -1 0 2553 0 0 0 14981 10 0 0 25 0 1 0 835955847 20672512 2531 4294967295 134512640 134714540 3221224592 3221222820 1077414410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5047 2531 1111 63 0 4984 0
vsize: 20188
[startup+160.008 s]
Raw data (loadavg): 0.99 0.93 0.91 2/54 17432
Raw data (stat): 17432 (bsolo_mis) R 17431 4613 4612 0 -1 0 2647 0 0 0 15980 11 0 0 25 0 1 0 835955847 21118976 2625 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5156 2625 1111 63 0 5093 0
vsize: 20624
[startup+170.009 s]
Raw data (loadavg): 0.99 0.93 0.91 2/54 17432
Raw data (stat): 17432 (bsolo_mis) R 17431 4613 4612 0 -1 0 2737 0 0 0 16980 11 0 0 25 0 1 0 835955847 21422080 2715 4294967295 134512640 134714540 3221224592 3221222820 1077414376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5230 2715 1111 63 0 5167 0
vsize: 20920
[startup+180.009 s]
Raw data (loadavg): 0.99 0.93 0.91 2/54 17432
Raw data (stat): 17432 (bsolo_mis) R 17431 4613 4612 0 -1 0 2831 0 0 0 17979 12 0 0 25 0 1 0 835955847 21868544 2809 4294967295 134512640 134714540 3221224592 3221222820 1077414435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5339 2809 1111 63 0 5276 0
vsize: 21356
[startup+190.009 s]
Raw data (loadavg): 0.99 0.93 0.91 2/54 17432
Raw data (stat): 17432 (bsolo_mis) R 17431 4613 4612 0 -1 0 2926 0 0 0 18979 13 0 0 25 0 1 0 835955847 22171648 2904 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5413 2904 1111 63 0 5350 0
vsize: 21652
[startup+200.011 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 17432
Raw data (stat): 17432 (bsolo_mis) R 17431 4613 4612 0 -1 0 3014 0 0 0 19979 13 0 0 25 0 1 0 835955847 22622208 2992 4294967295 134512640 134714540 3221224592 3221222820 1077414426 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5523 2992 1111 63 0 5460 0
vsize: 22092
[startup+210.024 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 17432
Raw data (stat): 17432 (bsolo_mis) R 17431 4613 4612 0 -1 0 3109 0 0 0 20980 13 0 0 25 0 1 0 835955847 22917120 3087 4294967295 134512640 134714540 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5595 3087 1111 63 0 5532 0
vsize: 22380
[startup+220.023 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 17432
Raw data (stat): 17432 (bsolo_mis) R 17431 4613 4612 0 -1 0 3211 0 0 0 21979 14 0 0 25 0 1 0 835955847 23359488 3189 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5703 3189 1111 63 0 5640 0
vsize: 22812
[startup+230.028 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 17432
Raw data (stat): 17432 (bsolo_mis) R 17431 4613 4612 0 -1 0 3299 0 0 0 22979 14 0 0 25 0 1 0 835955847 23805952 3277 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5812 3277 1111 63 0 5749 0
vsize: 23248
[startup+240.028 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 17432
Raw data (stat): 17432 (bsolo_mis) R 17431 4613 4612 0 -1 0 3396 0 0 0 23979 15 0 0 25 0 1 0 835955847 24109056 3374 4294967295 134512640 134714540 3221224592 3221222820 1077414426 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5886 3374 1111 63 0 5823 0
vsize: 23544
[startup+250.028 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 17432
Raw data (stat): 17432 (bsolo_mis) R 17431 4613 4612 0 -1 0 3490 0 0 0 24978 15 0 0 25 0 1 0 835955847 24555520 3468 4294967295 134512640 134714540 3221224592 3221222820 1077414408 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5995 3468 1111 63 0 5932 0
vsize: 23980
[startup+260.03 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 17432
Raw data (stat): 17432 (bsolo_mis) R 17431 4613 4612 0 -1 0 3579 0 0 0 25978 16 0 0 25 0 1 0 835955847 24854528 3557 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6068 3557 1111 63 0 6005 0
vsize: 24272
[startup+270.03 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 17432
Raw data (stat): 17432 (bsolo_mis) R 17431 4613 4612 0 -1 0 3675 0 0 0 26977 17 0 0 25 0 1 0 835955847 25309184 3653 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6179 3653 1111 63 0 6116 0
vsize: 24716
[startup+280.132 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 17432
Raw data (stat): 17432 (bsolo_mis) R 17431 4613 4612 0 -1 0 3769 0 0 0 27987 17 0 0 25 0 1 0 835955847 25751552 3747 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6287 3747 1111 63 0 6224 0
vsize: 25148
[startup+290.133 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 17432
Raw data (stat): 17432 (bsolo_mis) R 17431 4613 4612 0 -1 0 3860 0 0 0 28987 17 0 0 25 0 1 0 835955847 26030080 3838 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6355 3838 1111 63 0 6292 0
vsize: 25420
[startup+300.132 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 17432
Raw data (stat): 17432 (bsolo_mis) R 17431 4613 4612 0 -1 0 3960 0 0 0 29987 17 0 0 25 0 1 0 835955847 26472448 3938 4294967295 134512640 134714540 3221224592 3221222820 1077414336 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6463 3938 1111 63 0 6400 0
vsize: 25852
[startup+310.141 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 17432
Raw data (stat): 17432 (bsolo_mis) R 17431 4613 4612 0 -1 0 4050 0 0 0 30987 18 0 0 25 0 1 0 835955847 26775552 4028 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6537 4028 1111 63 0 6474 0
vsize: 26148
[startup+320.142 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 17432
Raw data (stat): 17432 (bsolo_mis) R 17431 4613 4612 0 -1 0 4145 0 0 0 31987 19 0 0 25 0 1 0 835955847 27226112 4123 4294967295 134512640 134714540 3221224592 3221222820 1077414408 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6647 4123 1111 63 0 6584 0
vsize: 26588
[startup+330.142 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 17432
Raw data (stat): 17432 (bsolo_mis) R 17431 4613 4612 0 -1 0 4240 0 0 0 32986 19 0 0 25 0 1 0 835955847 27676672 4218 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6757 4218 1111 63 0 6694 0
vsize: 27028
[startup+340.144 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 17432
Raw data (stat): 17432 (bsolo_mis) R 17431 4613 4612 0 -1 0 4329 0 0 0 33986 20 0 0 25 0 1 0 835955847 27975680 4307 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6830 4307 1111 63 0 6767 0
vsize: 27320
[startup+350.144 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 17432
Raw data (stat): 17432 (bsolo_mis) R 17431 4613 4612 0 -1 0 4424 0 0 0 34986 20 0 0 25 0 1 0 835955847 28422144 4402 4294967295 134512640 134714540 3221224592 3221222820 1077414435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6939 4402 1111 63 0 6876 0
vsize: 27756
[startup+360.144 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 17432
Raw data (stat): 17432 (bsolo_mis) R 17431 4613 4612 0 -1 0 4520 0 0 0 35986 21 0 0 25 0 1 0 835955847 28725248 4498 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7013 4498 1111 63 0 6950 0
vsize: 28052
[startup+370.144 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 17432
Raw data (stat): 17432 (bsolo_mis) R 17431 4613 4612 0 -1 0 4614 0 0 0 36985 21 0 0 25 0 1 0 835955847 29171712 4592 4294967295 134512640 134714540 3221224592 3221222820 1077414336 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7122 4592 1111 63 0 7059 0
vsize: 28488
[startup+380.148 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 17432
Raw data (stat): 17432 (bsolo_mis) R 17431 4613 4612 0 -1 0 4710 0 0 0 37985 22 0 0 25 0 1 0 835955847 29474816 4688 4294967295 134512640 134714540 3221224592 3221222820 1077414357 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7196 4688 1111 63 0 7133 0
vsize: 28784
[startup+390.149 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 17432
Raw data (stat): 17432 (bsolo_mis) R 17431 4613 4612 0 -1 0 4798 0 0 0 38985 22 0 0 25 0 1 0 835955847 29925376 4776 4294967295 134512640 134714540 3221224592 3221222820 1077414385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7306 4776 1111 63 0 7243 0
vsize: 29224
[startup+400.148 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 17432
Raw data (stat): 17432 (bsolo_mis) R 17431 4613 4612 0 -1 0 4893 0 0 0 39985 22 0 0 25 0 1 0 835955847 30220288 4871 4294967295 134512640 134714540 3221224592 3221222820 1077414351 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7378 4871 1111 63 0 7315 0
vsize: 29512
[startup+410.148 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 17432
Raw data (stat): 17432 (bsolo_mis) R 17431 4613 4612 0 -1 0 4987 0 0 0 40985 22 0 0 25 0 1 0 835955847 30674944 4965 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7489 4965 1111 63 0 7426 0
vsize: 29956
[startup+420.148 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 17432
Raw data (stat): 17432 (bsolo_mis) R 17431 4613 4612 0 -1 0 5076 0 0 0 41985 22 0 0 25 0 1 0 835955847 30969856 5054 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7561 5054 1111 63 0 7498 0
vsize: 30244
[startup+430.147 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 17432
Raw data (stat): 17432 (bsolo_mis) R 17431 4613 4612 0 -1 0 5183 0 0 0 42985 22 0 0 25 0 1 0 835955847 31580160 5161 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7710 5161 1111 63 0 7647 0
vsize: 30840
[startup+440.148 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 17432
Raw data (stat): 17432 (bsolo_mis) R 17431 4613 4612 0 -1 0 5277 0 0 0 43985 23 0 0 25 0 1 0 835955847 31879168 5255 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7783 5255 1111 63 0 7720 0
vsize: 31132
[startup+450.148 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 17432
Raw data (stat): 17432 (bsolo_mis) R 17431 4613 4612 0 -1 0 5367 0 0 0 44985 23 0 0 25 0 1 0 835955847 32329728 5345 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7893 5345 1111 63 0 7830 0
vsize: 31572
[startup+460.147 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 17432
Raw data (stat): 17432 (bsolo_mis) R 17431 4613 4612 0 -1 0 5461 0 0 0 45985 23 0 0 25 0 1 0 835955847 32628736 5439 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7966 5439 1111 63 0 7903 0
vsize: 31864
[startup+470.147 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17432
Raw data (stat): 17432 (bsolo_mis) R 17431 4613 4612 0 -1 0 5555 0 0 0 46985 23 0 0 25 0 1 0 835955847 33075200 5533 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8075 5533 1111 63 0 8012 0
vsize: 32300
[startup+480.147 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17432
Raw data (stat): 17432 (bsolo_mis) R 17431 4613 4612 0 -1 0 5653 0 0 0 47985 23 0 0 25 0 1 0 835955847 33378304 5631 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8149 5631 1111 63 0 8086 0
vsize: 32596
[startup+490.147 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17432
Raw data (stat): 17432 (bsolo_mis) R 17431 4613 4612 0 -1 0 5747 0 0 0 48985 24 0 0 25 0 1 0 835955847 33824768 5725 4294967295 134512640 134714540 3221224592 3221222820 1077414407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8258 5725 1111 63 0 8195 0
vsize: 33032
[startup+500.147 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17432
Raw data (stat): 17432 (bsolo_mis) R 17431 4613 4612 0 -1 0 5837 0 0 0 49985 24 0 0 25 0 1 0 835955847 34127872 5815 4294967295 134512640 134714540 3221224592 3221222820 1077414360 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8332 5815 1111 63 0 8269 0
vsize: 33328
[startup+510.147 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17432
Raw data (stat): 17432 (bsolo_mis) R 17431 4613 4612 0 -1 0 5931 0 0 0 50984 25 0 0 25 0 1 0 835955847 34578432 5909 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8442 5909 1111 63 0 8379 0
vsize: 33768
[startup+520.147 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17432
Raw data (stat): 17432 (bsolo_mis) R 17431 4613 4612 0 -1 0 6027 0 0 0 51984 25 0 0 25 0 1 0 835955847 35028992 6005 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8552 6005 1111 63 0 8489 0
vsize: 34208
[startup+530.147 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17432
Raw data (stat): 17432 (bsolo_mis) R 17431 4613 4612 0 -1 0 6117 0 0 0 52984 25 0 0 25 0 1 0 835955847 35328000 6095 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8625 6095 1111 63 0 8562 0
vsize: 34500
[startup+540.147 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17432
Raw data (stat): 17432 (bsolo_mis) R 17431 4613 4612 0 -1 0 6217 0 0 0 53984 25 0 0 25 0 1 0 835955847 35774464 6195 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8734 6195 1111 63 0 8671 0
vsize: 34936
[startup+550.147 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17432
Raw data (stat): 17432 (bsolo_mis) R 17431 4613 4612 0 -1 0 6307 0 0 0 54984 25 0 0 25 0 1 0 835955847 36077568 6285 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8808 6285 1111 63 0 8745 0
vsize: 35232
[startup+560.147 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17432
Raw data (stat): 17432 (bsolo_mis) R 17431 4613 4612 0 -1 0 6401 0 0 0 55984 26 0 0 25 0 1 0 835955847 36524032 6379 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8917 6379 1111 63 0 8854 0
vsize: 35668
[startup+570.147 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17432
Raw data (stat): 17432 (bsolo_mis) R 17431 4613 4612 0 -1 0 6497 0 0 0 56984 26 0 0 25 0 1 0 835955847 36827136 6475 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8991 6475 1111 63 0 8928 0
vsize: 35964
[startup+580.146 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17432
Raw data (stat): 17432 (bsolo_mis) R 17431 4613 4612 0 -1 0 6592 0 0 0 57984 26 0 0 25 0 1 0 835955847 37277696 6570 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9101 6570 1111 63 0 9038 0
vsize: 36404
[startup+590.146 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17432
Raw data (stat): 17432 (bsolo_mis) R 17431 4613 4612 0 -1 0 6689 0 0 0 58984 26 0 0 25 0 1 0 835955847 37728256 6667 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9211 6667 1111 63 0 9148 0
vsize: 36844
[startup+600.146 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17432
Raw data (stat): 17432 (bsolo_mis) R 17431 4613 4612 0 -1 0 6778 0 0 0 59984 27 0 0 25 0 1 0 835955847 38023168 6756 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9283 6756 1111 63 0 9220 0
vsize: 37132
[startup+610.146 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17432
Raw data (stat): 17432 (bsolo_mis) R 17431 4613 4612 0 -1 0 6878 0 0 0 60983 27 0 0 25 0 1 0 835955847 38473728 6856 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9393 6856 1111 63 0 9330 0
vsize: 37572
[startup+620.145 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17432
Raw data (stat): 17432 (bsolo_mis) R 17431 4613 4612 0 -1 0 6968 0 0 0 61983 27 0 0 25 0 1 0 835955847 38776832 6946 4294967295 134512640 134714540 3221224592 3221222820 1077414383 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9467 6946 1111 63 0 9404 0
vsize: 37868
[startup+630.248 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17432
Raw data (stat): 17432 (bsolo_mis) R 17431 4613 4612 0 -1 0 7063 0 0 0 62994 28 0 0 25 0 1 0 835955847 39223296 7041 4294967295 134512640 134714540 3221224592 3221222820 1077414407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9576 7041 1111 63 0 9513 0
vsize: 38304
[startup+640.249 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17432
Raw data (stat): 17432 (bsolo_mis) R 17431 4613 4612 0 -1 0 7160 0 0 0 63994 28 0 0 25 0 1 0 835955847 39526400 7138 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9650 7138 1111 63 0 9587 0
vsize: 38600
[startup+650.253 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17432
Raw data (stat): 17432 (bsolo_mis) R 17431 4613 4612 0 -1 0 7255 0 0 0 64994 28 0 0 25 0 1 0 835955847 39976960 7233 4294967295 134512640 134714540 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9760 7233 1111 63 0 9697 0
vsize: 39040
[startup+660.253 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17432
Raw data (stat): 17432 (bsolo_mis) R 17431 4613 4612 0 -1 0 7350 0 0 0 65994 28 0 0 25 0 1 0 835955847 40427520 7328 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9870 7328 1111 63 0 9807 0
vsize: 39480
[startup+670.253 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17432
Raw data (stat): 17432 (bsolo_mis) R 17431 4613 4612 0 -1 0 7445 0 0 0 66994 28 0 0 25 0 1 0 835955847 40722432 7423 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9942 7423 1111 63 0 9879 0
vsize: 39768
[startup+680.258 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17432
Raw data (stat): 17432 (bsolo_mis) R 17431 4613 4612 0 -1 0 7539 0 0 0 67994 29 0 0 25 0 1 0 835955847 41172992 7517 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10052 7517 1111 63 0 9989 0
vsize: 40208
[startup+690.258 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17432
Raw data (stat): 17432 (bsolo_mis) R 17431 4613 4612 0 -1 0 7637 0 0 0 68995 29 0 0 25 0 1 0 835955847 41476096 7615 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10126 7615 1111 63 0 10063 0
vsize: 40504
[startup+700.258 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17432
Raw data (stat): 17432 (bsolo_mis) R 17431 4613 4612 0 -1 0 7732 0 0 0 69995 29 0 0 25 0 1 0 835955847 41922560 7710 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10235 7710 1111 63 0 10172 0
vsize: 40940
[startup+710.257 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17432
Raw data (stat): 17432 (bsolo_mis) R 17431 4613 4612 0 -1 0 7822 0 0 0 70995 29 0 0 25 0 1 0 835955847 42225664 7800 4294967295 134512640 134714540 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10309 7800 1111 63 0 10246 0
vsize: 41236
[startup+720.258 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17432
Raw data (stat): 17432 (bsolo_mis) R 17431 4613 4612 0 -1 0 7922 0 0 0 71995 29 0 0 25 0 1 0 835955847 42672128 7900 4294967295 134512640 134714540 3221224592 3221222820 1077414385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10418 7900 1111 63 0 10355 0
vsize: 41672
[startup+730.258 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17432
Raw data (stat): 17432 (bsolo_mis) R 17431 4613 4612 0 -1 0 8012 0 0 0 72994 30 0 0 25 0 1 0 835955847 43122688 7990 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10528 7990 1111 63 0 10465 0
vsize: 42112
[startup+740.259 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17432
Raw data (stat): 17432 (bsolo_mis) R 17431 4613 4612 0 -1 0 8113 0 0 0 73994 30 0 0 25 0 1 0 835955847 43421696 8091 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10601 8091 1111 63 0 10538 0
vsize: 42404
[startup+750.26 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17432
Raw data (stat): 17432 (bsolo_mis) R 17431 4613 4612 0 -1 0 8203 0 0 0 74994 30 0 0 25 0 1 0 835955847 43872256 8181 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10711 8181 1111 63 0 10648 0
vsize: 42844
[startup+760.259 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17432
Raw data (stat): 17432 (bsolo_mis) R 17431 4613 4612 0 -1 0 8305 0 0 0 75994 30 0 0 25 0 1 0 835955847 44322816 8283 4294967295 134512640 134714540 3221224592 3221222820 1077414410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10821 8283 1111 63 0 10758 0
vsize: 43284
[startup+770.26 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17432
Raw data (stat): 17432 (bsolo_mis) R 17431 4613 4612 0 -1 0 8393 0 0 0 76994 31 0 0 25 0 1 0 835955847 44621824 8371 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10894 8371 1111 63 0 10831 0
vsize: 43576
[startup+780.259 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17432
Raw data (stat): 17432 (bsolo_mis) R 17431 4613 4612 0 -1 0 8495 0 0 0 77994 31 0 0 25 0 1 0 835955847 45076480 8473 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11005 8473 1111 63 0 10942 0
vsize: 44020
[startup+790.261 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17432
Raw data (stat): 17432 (bsolo_mis) R 17431 4613 4612 0 -1 0 8584 0 0 0 78995 31 0 0 25 0 1 0 835955847 45371392 8562 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11077 8562 1111 63 0 11014 0
vsize: 44308
[startup+800.261 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17432
Raw data (stat): 17432 (bsolo_mis) R 17431 4613 4612 0 -1 0 8686 0 0 0 79995 31 0 0 25 0 1 0 835955847 45821952 8664 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11187 8664 1111 63 0 11124 0
vsize: 44748
[startup+810.26 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17432
Raw data (stat): 17432 (bsolo_mis) R 17431 4613 4612 0 -1 0 8775 0 0 0 80995 31 0 0 25 0 1 0 835955847 46120960 8753 4294967295 134512640 134714540 3221224592 3221222820 1077414382 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11260 8753 1111 63 0 11197 0
vsize: 45040
[startup+820.261 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17432
Raw data (stat): 17432 (bsolo_mis) R 17431 4613 4612 0 -1 0 8875 0 0 0 81995 31 0 0 25 0 1 0 835955847 46571520 8853 4294967295 134512640 134714540 3221224592 3221222820 1077414407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11370 8853 1111 63 0 11307 0
vsize: 45480
[startup+830.261 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17432
Raw data (stat): 17432 (bsolo_mis) R 17431 4613 4612 0 -1 0 8965 0 0 0 82995 31 0 0 25 0 1 0 835955847 47022080 8943 4294967295 134512640 134714540 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11480 8943 1111 63 0 11417 0
vsize: 45920
[startup+840.261 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17432
Raw data (stat): 17432 (bsolo_mis) R 17431 4613 4612 0 -1 0 9085 0 0 0 83995 32 0 0 25 0 1 0 835955847 47513600 9063 4294967295 134512640 134714540 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11600 9063 1111 63 0 11537 0
vsize: 46400
[startup+850.263 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17432
Raw data (stat): 17432 (bsolo_mis) R 17431 4613 4612 0 -1 0 9182 0 0 0 84995 32 0 0 25 0 1 0 835955847 47964160 9160 4294967295 134512640 134714540 3221224592 3221222820 1077414385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11710 9160 1111 63 0 11647 0
vsize: 46840
[startup+860.262 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17432
Raw data (stat): 17432 (bsolo_mis) R 17431 4613 4612 0 -1 0 9276 0 0 0 85995 32 0 0 25 0 1 0 835955847 48410624 9254 4294967295 134512640 134714540 3221224592 3221222820 1077414351 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11819 9254 1111 63 0 11756 0
vsize: 47276
[startup+870.263 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17432
Raw data (stat): 17432 (bsolo_mis) R 17431 4613 4612 0 -1 0 9373 0 0 0 86995 32 0 0 25 0 1 0 835955847 48713728 9351 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11893 9351 1111 63 0 11830 0
vsize: 47572
[startup+880.262 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17432
Raw data (stat): 17432 (bsolo_mis) R 17431 4613 4612 0 -1 0 9467 0 0 0 87995 32 0 0 25 0 1 0 835955847 49164288 9445 4294967295 134512640 134714540 3221224592 3221222820 1077414426 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12003 9445 1111 63 0 11940 0
vsize: 48012
[startup+890.263 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17432
Raw data (stat): 17432 (bsolo_mis) R 17431 4613 4612 0 -1 0 9564 0 0 0 88995 33 0 0 25 0 1 0 835955847 49459200 9542 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12075 9542 1111 63 0 12012 0
vsize: 48300
[startup+900.263 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17432
Raw data (stat): 17432 (bsolo_mis) R 17431 4613 4612 0 -1 0 9660 0 0 0 89995 33 0 0 25 0 1 0 835955847 49909760 9638 4294967295 134512640 134714540 3221224592 3221222820 1077414401 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12185 9638 1111 63 0 12122 0
vsize: 48740
[startup+910.262 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17432
Raw data (stat): 17432 (bsolo_mis) R 17431 4613 4612 0 -1 0 9755 0 0 0 90995 33 0 0 25 0 1 0 835955847 50360320 9733 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12295 9733 1111 63 0 12232 0
vsize: 49180
[startup+920.264 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17432
Raw data (stat): 17432 (bsolo_mis) R 17431 4613 4612 0 -1 0 9851 0 0 0 91995 33 0 0 25 0 1 0 835955847 50663424 9829 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12369 9829 1111 63 0 12306 0
vsize: 49476
[startup+930.263 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17432
Raw data (stat): 17432 (bsolo_mis) R 17431 4613 4612 0 -1 0 9952 0 0 0 92995 33 0 0 25 0 1 0 835955847 51109888 9930 4294967295 134512640 134714540 3221224592 3221222820 1077414395 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12478 9930 1111 63 0 12415 0
vsize: 49912
[startup+940.263 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17432
Raw data (stat): 17432 (bsolo_mis) R 17431 4613 4612 0 -1 0 10049 0 0 0 93995 34 0 0 25 0 1 0 835955847 51564544 10027 4294967295 134512640 134714540 3221224592 3221222820 1077414410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12589 10027 1111 63 0 12526 0
vsize: 50356
[startup+950.263 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17432
Raw data (stat): 17432 (bsolo_mis) R 17431 4613 4612 0 -1 0 10144 0 0 0 94995 34 0 0 25 0 1 0 835955847 51859456 10122 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12661 10122 1111 63 0 12598 0
vsize: 50644
[startup+960.263 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17432
Raw data (stat): 17432 (bsolo_mis) R 17431 4613 4612 0 -1 0 10241 0 0 0 95995 34 0 0 25 0 1 0 835955847 52314112 10219 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12772 10219 1111 63 0 12709 0
vsize: 51088
[startup+970.264 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17432
Raw data (stat): 17432 (bsolo_mis) R 17431 4613 4612 0 -1 0 10335 0 0 0 96994 34 0 0 25 0 1 0 835955847 52609024 10313 4294967295 134512640 134714540 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12844 10313 1111 63 0 12781 0
vsize: 51376
[startup+980.264 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17432
Raw data (stat): 17432 (bsolo_mis) R 17431 4613 4612 0 -1 0 10436 0 0 0 97994 35 0 0 25 0 1 0 835955847 53059584 10414 4294967295 134512640 134714540 3221224592 3221222820 1077414410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12954 10414 1111 63 0 12891 0
vsize: 51816
[startup+990.264 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17432
Raw data (stat): 17432 (bsolo_mis) R 17431 4613 4612 0 -1 0 10527 0 0 0 98994 35 0 0 25 0 1 0 835955847 53510144 10505 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13064 10505 1111 63 0 13001 0
vsize: 52256
[startup+1000.26 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17432
Raw data (stat): 17432 (bsolo_mis) R 17431 4613 4612 0 -1 0 10629 0 0 0 99994 35 0 0 25 0 1 0 835955847 53809152 10607 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13137 10607 1111 63 0 13074 0
vsize: 52548
[startup+1010.26 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17432
Raw data (stat): 17432 (bsolo_mis) R 17431 4613 4612 0 -1 0 10725 0 0 0 100994 35 0 0 25 0 1 0 835955847 54263808 10703 4294967295 134512640 134714540 3221224592 3221222820 1077414382 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13248 10703 1111 63 0 13185 0
vsize: 52992
[startup+1020.26 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17432
Raw data (stat): 17432 (bsolo_mis) R 17431 4613 4612 0 -1 0 10820 0 0 0 101994 35 0 0 25 0 1 0 835955847 54706176 10798 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13356 10798 1111 63 0 13293 0
vsize: 53424
[startup+1030.26 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17432
Raw data (stat): 17432 (bsolo_mis) R 17431 4613 4612 0 -1 0 10922 0 0 0 102994 36 0 0 25 0 1 0 835955847 55009280 10900 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13430 10900 1111 63 0 13367 0
vsize: 53720
[startup+1040.26 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17432
Raw data (stat): 17432 (bsolo_mis) R 17431 4613 4612 0 -1 0 11012 0 0 0 103994 36 0 0 25 0 1 0 835955847 55459840 10990 4294967295 134512640 134714540 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13540 10990 1111 63 0 13477 0
vsize: 54160
[startup+1050.27 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17432
Raw data (stat): 17432 (bsolo_mis) R 17431 4613 4612 0 -1 0 11116 0 0 0 104994 36 0 0 25 0 1 0 835955847 55910400 11094 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13650 11094 1111 63 0 13587 0
vsize: 54600
[startup+1060.27 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17432
Raw data (stat): 17432 (bsolo_mis) R 17431 4613 4612 0 -1 0 11210 0 0 0 105994 37 0 0 25 0 1 0 835955847 56209408 11188 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13723 11188 1111 63 0 13660 0
vsize: 54892
[startup+1070.27 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17432
Raw data (stat): 17432 (bsolo_mis) R 17431 4613 4612 0 -1 0 11305 0 0 0 106994 37 0 0 25 0 1 0 835955847 56655872 11283 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13832 11283 1111 63 0 13769 0
vsize: 55328
[startup+1080.27 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17432
Raw data (stat): 17432 (bsolo_mis) R 17431 4613 4612 0 -1 0 11408 0 0 0 107994 37 0 0 25 0 1 0 835955847 57106432 11386 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13942 11386 1111 63 0 13879 0
vsize: 55768
[startup+1090.27 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17432
Raw data (stat): 17432 (bsolo_mis) R 17431 4613 4612 0 -1 0 11503 0 0 0 108994 38 0 0 25 0 1 0 835955847 57405440 11481 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14015 11481 1111 63 0 13952 0
vsize: 56060
[startup+1100.27 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17432
Raw data (stat): 17432 (bsolo_mis) R 17431 4613 4612 0 -1 0 11599 0 0 0 109994 38 0 0 25 0 1 0 835955847 57860096 11577 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14126 11577 1111 63 0 14063 0
vsize: 56504
[startup+1110.27 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17432
Raw data (stat): 17432 (bsolo_mis) R 17431 4613 4612 0 -1 0 11701 0 0 0 110994 38 0 0 25 0 1 0 835955847 58306560 11679 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14235 11679 1111 63 0 14172 0
vsize: 56940
[startup+1120.27 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17432
Raw data (stat): 17432 (bsolo_mis) R 17431 4613 4612 0 -1 0 11797 0 0 0 111993 38 0 0 25 0 1 0 835955847 58601472 11775 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14307 11775 1111 63 0 14244 0
vsize: 57228
[startup+1130.27 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17432
Raw data (stat): 17432 (bsolo_mis) R 17431 4613 4612 0 -1 0 11892 0 0 0 112993 38 0 0 25 0 1 0 835955847 59027456 11870 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14411 11870 1111 63 0 14348 0
vsize: 57644
[startup+1140.27 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17432
Raw data (stat): 17432 (bsolo_mis) R 17431 4613 4612 0 -1 0 11994 0 0 0 113993 39 0 0 25 0 1 0 835955847 59473920 11972 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14520 11972 1111 63 0 14457 0
vsize: 58080
[startup+1150.27 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17432
Raw data (stat): 17432 (bsolo_mis) R 17431 4613 4612 0 -1 0 12090 0 0 0 114994 39 0 0 25 0 1 0 835955847 59777024 12068 4294967295 134512640 134714540 3221224592 3221222820 1077414410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14594 12068 1111 63 0 14531 0
vsize: 58376
[startup+1160.27 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17432
Raw data (stat): 17432 (bsolo_mis) R 17431 4613 4612 0 -1 0 12186 0 0 0 115993 39 0 0 25 0 1 0 835955847 60223488 12164 4294967295 134512640 134714540 3221224592 3221222820 1077414426 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14703 12164 1111 63 0 14640 0
vsize: 58812
[startup+1170.27 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17432
Raw data (stat): 17432 (bsolo_mis) R 17431 4613 4612 0 -1 0 12289 0 0 0 116994 39 0 0 25 0 1 0 835955847 60678144 12267 4294967295 134512640 134714540 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14814 12267 1111 63 0 14751 0
vsize: 59256
[startup+1180.27 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17432
Raw data (stat): 17432 (bsolo_mis) R 17431 4613 4612 0 -1 0 12384 0 0 0 117994 39 0 0 25 0 1 0 835955847 60977152 12362 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14887 12362 1111 63 0 14824 0
vsize: 59548
[startup+1190.27 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17432
Raw data (stat): 17432 (bsolo_mis) R 17431 4613 4612 0 -1 0 12481 0 0 0 118994 39 0 0 25 0 1 0 835955847 61427712 12459 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14997 12459 1111 63 0 14934 0
vsize: 59988
[startup+1200.27 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17432
Raw data (stat): 17432 (bsolo_mis) R 17431 4613 4612 0 -1 0 12582 0 0 0 119994 40 0 0 25 0 1 0 835955847 61874176 12560 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15106 12560 1111 63 0 15043 0
vsize: 60424
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.29 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 17432
Raw data (stat): 17432 (bsolo_mis) Z 17431 4613 4612 0 -1 1036 12582 0 0 0 119994 42 0 0 25 0 1 0 835955847 0 0 4294967295 0 0 0 0 0 0 0 7 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.29
CPU time (s): 1200.37
CPU user time (s): 1199.94
CPU system time (s): 0.426935
CPU usage (%): 100.006
Max. virtual memory (Kb): 60424
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####