PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-13-7/plato.asu.edu/pub/unibo/normalized-mps-v2-13-7-rail507.opb
MD5SUM	323cdddd9985e43f8e7199c63ad6de47
Bench Category	optimization, big integers (OPTBIGINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	2147483647
Optimality of the best value was proved	NO
Number of terms in the objective function	63209
Biggest coefficient in the objective function	52428800000000000
Number of bits for the biggest coefficient in the objective function	56
Sum of the numbers in the objective function	226433975012582900
Number of bits of the sum of numbers in the objective function	58
Biggest number in a constraint	52428800000000000
Number of bits of the biggest number in a constraint	56
Biggest sum of numbers in a constraint	226433975012582900
Number of bits of the biggest sum of numbers	58
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	295.054
Number of variables	63009
Total number of constraints	63518
Number of constraints which are clauses	507
Number of constraints which are cardinality constraints (but not clauses)	63011
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	1
Maximum length of a constraint	59416
Trace number 25339

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-18 14:14:32 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=20179 boxname=wulflinc31 idbench=1553 idsolver=3 numberseed=0
MD5SUM SOLVER: 03a6a792daea978e4202f78851741568  /oldhome/oroussel/solvers/bsolo_mis
MD5SUM BENCH:  323cdddd9985e43f8e7199c63ad6de47  /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-rail507.opb
REAL COMMAND:  bsolo_mis /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-rail507.opb
IDLAUNCH: 20179
/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:        764812 kB
Buffers:         22904 kB
Cached:         224908 kB
SwapCached:        932 kB
Active:          68004 kB
Inactive:       182072 kB
HighTotal:      131008 kB
HighFree:         7560 kB
LowTotal:       903652 kB
LowFree:        757252 kB
SwapTotal:     2097892 kB
SwapFree:      2096072 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5384 kB
Slab:            14012 kB
Committed_AS:    63860 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-18 14:34:35 (client local time) WITH STATUS 0 IN 1200.56 SECONDS
stats: 20179 7 1200.56 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.93 0.98 0.97 2/55 8996
Raw data (stat): 8996 (runsolver) R 8995 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 779010604 1056768 100 4294967295 134512640 135381576 3221221680 3221216900 135158418 0 2147483391 1 90112 0 0 0 17 1 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10.0006 s]
Raw data (loadavg): 0.94 0.98 0.97 2/55 8996
Raw data (stat): 8996 (bsolo_mis) R 8995 7876 7672 0 -1 0 1898 0 0 0 990 7 0 0 25 0 1 0 779010604 19841024 1875 4294967295 134512640 134714540 3221221776 3221220004 1077414383 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4844 1875 1111 63 0 4781 0
vsize: 19376
[startup+20.0014 s]
Raw data (loadavg): 0.95 0.98 0.97 2/55 8996
Raw data (stat): 8996 (bsolo_mis) R 8995 7876 7672 0 -1 0 3112 0 0 0 1988 9 0 0 25 0 1 0 779010604 24915968 3089 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6083 3089 1111 63 0 6020 0
vsize: 24332
[startup+30.0013 s]
Raw data (loadavg): 0.95 0.98 0.97 2/55 8996
Raw data (stat): 8996 (bsolo_mis) R 8995 7876 7672 0 -1 0 4321 0 0 0 2986 11 0 0 25 0 1 0 779010604 29843456 4298 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7286 4298 1111 63 0 7223 0
vsize: 29144
[startup+40.0032 s]
Raw data (loadavg): 0.96 0.98 0.97 2/55 8996
Raw data (stat): 8996 (bsolo_mis) R 8995 7876 7672 0 -1 0 5536 0 0 0 3984 13 0 0 25 0 1 0 779010604 34770944 5513 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8489 5513 1111 63 0 8426 0
vsize: 33956
[startup+50.0041 s]
Raw data (loadavg): 0.97 0.98 0.97 2/55 8996
Raw data (stat): 8996 (bsolo_mis) R 8995 7876 7672 0 -1 0 6758 0 0 0 4982 15 0 0 25 0 1 0 779010604 39849984 6735 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9729 6735 1111 63 0 9666 0
vsize: 38916
[startup+60.0041 s]
Raw data (loadavg): 0.97 0.98 0.97 2/55 8996
Raw data (stat): 8996 (bsolo_mis) R 8995 7876 7672 0 -1 0 7982 0 0 0 5981 17 0 0 25 0 1 0 779010604 44765184 7959 4294967295 134512640 134714540 3221221776 3221220004 1077414435 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10929 7959 1111 63 0 10866 0
vsize: 43716
[startup+70.0053 s]
Raw data (loadavg): 0.97 0.98 0.97 2/55 8996
Raw data (stat): 8996 (bsolo_mis) R 8995 7876 7672 0 -1 0 9209 0 0 0 6979 19 0 0 25 0 1 0 779010604 49840128 9186 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12168 9186 1111 63 0 12105 0
vsize: 48672
[startup+80.0059 s]
Raw data (loadavg): 0.98 0.98 0.97 2/55 8996
Raw data (stat): 8996 (bsolo_mis) R 8995 7876 7672 0 -1 0 10436 0 0 0 7977 21 0 0 25 0 1 0 779010604 54915072 10413 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13407 10413 1111 63 0 13344 0
vsize: 53628
[startup+90.0059 s]
Raw data (loadavg): 0.98 0.98 0.97 2/55 8996
Raw data (stat): 8996 (bsolo_mis) R 8995 7876 7672 0 -1 0 11669 0 0 0 8975 23 0 0 25 0 1 0 779010604 59838464 11646 4294967295 134512640 134714540 3221221776 3221220004 1077414399 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14609 11646 1111 63 0 14546 0
vsize: 58436
[startup+100.007 s]
Raw data (loadavg): 0.98 0.98 0.97 2/55 8996
Raw data (stat): 8996 (bsolo_mis) R 8995 7876 7672 0 -1 0 12914 0 0 0 9972 26 0 0 25 0 1 0 779010604 65069056 12891 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15886 12891 1111 63 0 15823 0
vsize: 63544
[startup+110.008 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 8996
Raw data (stat): 8996 (bsolo_mis) R 8995 7876 7672 0 -1 0 14153 0 0 0 10971 28 0 0 25 0 1 0 779010604 70144000 14130 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17125 14130 1111 63 0 17062 0
vsize: 68500
[startup+120.009 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 8996
Raw data (stat): 8996 (bsolo_mis) R 8995 7876 7672 0 -1 0 15399 0 0 0 11969 30 0 0 25 0 1 0 779010604 75218944 15376 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18364 15376 1111 63 0 18301 0
vsize: 73456
[startup+130.009 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 8996
Raw data (stat): 8996 (bsolo_mis) R 8995 7876 7672 0 -1 0 16651 0 0 0 12967 33 0 0 25 0 1 0 779010604 80293888 16628 4294967295 134512640 134714540 3221221776 3221220004 1077414382 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19603 16628 1111 63 0 19540 0
vsize: 78412
[startup+140.009 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 8996
Raw data (stat): 8996 (bsolo_mis) R 8995 7876 7672 0 -1 0 17902 0 0 0 13964 35 0 0 25 0 1 0 779010604 85368832 17879 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20842 17879 1111 63 0 20779 0
vsize: 83368
[startup+150.009 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 8996
Raw data (stat): 8996 (bsolo_mis) R 8995 7876 7672 0 -1 0 19161 0 0 0 14963 37 0 0 25 0 1 0 779010604 90595328 19138 4294967295 134512640 134714540 3221221776 3221220004 1077414376 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22118 19138 1111 63 0 22055 0
vsize: 88472
[startup+160.009 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 8996
Raw data (stat): 8996 (bsolo_mis) R 8995 7876 7672 0 -1 0 20424 0 0 0 15960 39 0 0 25 0 1 0 779010604 95825920 20401 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 23395 20401 1111 63 0 23332 0
vsize: 93580
[startup+170.01 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 8996
Raw data (stat): 8996 (bsolo_mis) R 8995 7876 7672 0 -1 0 21687 0 0 0 16958 42 0 0 25 0 1 0 779010604 100900864 21664 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24634 21664 1111 63 0 24571 0
vsize: 98536
[startup+180.01 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 8996
Raw data (stat): 8996 (bsolo_mis) R 8995 7876 7672 0 -1 0 22957 0 0 0 17956 44 0 0 25 0 1 0 779010604 106123264 22934 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25909 22934 1111 63 0 25846 0
vsize: 103636
[startup+190.01 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 8996
Raw data (stat): 8996 (bsolo_mis) R 8995 7876 7672 0 -1 0 24232 0 0 0 18955 46 0 0 25 0 1 0 779010604 111349760 24209 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27185 24209 1111 63 0 27122 0
vsize: 108740
[startup+200.011 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 8996
Raw data (stat): 8996 (bsolo_mis) R 8995 7876 7672 0 -1 0 25516 0 0 0 19952 48 0 0 25 0 1 0 779010604 116576256 25493 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28461 25493 1111 63 0 28398 0
vsize: 113844
[startup+210.011 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 8996
Raw data (stat): 8996 (bsolo_mis) R 8995 7876 7672 0 -1 0 26797 0 0 0 20951 50 0 0 25 0 1 0 779010604 121950208 26774 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29773 26774 1111 63 0 29710 0
vsize: 119092
[startup+220.012 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 8996
Raw data (stat): 8996 (bsolo_mis) R 8995 7876 7672 0 -1 0 28085 0 0 0 21949 52 0 0 25 0 1 0 779010604 127176704 28062 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 31049 28062 1111 63 0 30986 0
vsize: 124196
[startup+230.012 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 8996
Raw data (stat): 8996 (bsolo_mis) R 8995 7876 7672 0 -1 0 29373 0 0 0 22946 55 0 0 25 0 1 0 779010604 132399104 29350 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 32324 29350 1111 63 0 32261 0
vsize: 129296
[startup+240.012 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 8996
Raw data (stat): 8996 (bsolo_mis) R 8995 7876 7672 0 -1 0 30668 0 0 0 23945 57 0 0 25 0 1 0 779010604 137777152 30645 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 33637 30645 1111 63 0 33574 0
vsize: 134548
[startup+250.012 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 8996
Raw data (stat): 8996 (bsolo_mis) R 8995 7876 7672 0 -1 0 31969 0 0 0 24942 59 0 0 25 0 1 0 779010604 143003648 31946 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 34913 31946 1111 63 0 34850 0
vsize: 139652
[startup+260.013 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 8996
Raw data (stat): 8996 (bsolo_mis) R 8995 7876 7672 0 -1 0 33269 0 0 0 25940 62 0 0 25 0 1 0 779010604 148377600 33246 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 36225 33246 1111 63 0 36162 0
vsize: 144900
[startup+270.013 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 8996
Raw data (stat): 8996 (bsolo_mis) R 8995 7876 7672 0 -1 0 34581 0 0 0 26938 64 0 0 25 0 1 0 779010604 153747456 34558 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 37536 34558 1111 63 0 37473 0
vsize: 150144
[startup+280.014 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 8996
Raw data (stat): 8996 (bsolo_mis) R 8995 7876 7672 0 -1 0 35895 0 0 0 27936 66 0 0 25 0 1 0 779010604 159129600 35872 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 38850 35872 1111 63 0 38787 0
vsize: 155400
[startup+290.014 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 8996
Raw data (stat): 8996 (bsolo_mis) R 8995 7876 7672 0 -1 0 37214 0 0 0 28934 68 0 0 25 0 1 0 779010604 164503552 37191 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 40162 37191 1111 63 0 40099 0
vsize: 160648
[startup+300.014 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 8996
Raw data (stat): 8996 (bsolo_mis) R 8995 7876 7672 0 -1 0 38532 0 0 0 29933 70 0 0 25 0 1 0 779010604 169877504 38509 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 41474 38509 1111 63 0 41411 0
vsize: 165896
[startup+310.015 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 8996
Raw data (stat): 8996 (bsolo_mis) R 8995 7876 7672 0 -1 0 39862 0 0 0 30930 72 0 0 25 0 1 0 779010604 175398912 39839 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 42822 39839 1111 63 0 42759 0
vsize: 171288
[startup+320.015 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 8996
Raw data (stat): 8996 (bsolo_mis) R 8995 7876 7672 0 -1 0 41194 0 0 0 31928 75 0 0 25 0 1 0 779010604 180776960 41171 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 44135 41171 1111 63 0 44072 0
vsize: 176540
[startup+330.016 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 8996
Raw data (stat): 8996 (bsolo_mis) R 8995 7876 7672 0 -1 0 42531 0 0 0 32926 77 0 0 25 0 1 0 779010604 186298368 42508 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 45483 42508 1111 63 0 45420 0
vsize: 181932
[startup+340.016 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 8996
Raw data (stat): 8996 (bsolo_mis) R 8995 7876 7672 0 -1 0 43873 0 0 0 33924 79 0 0 25 0 1 0 779010604 191823872 43850 4294967295 134512640 134714540 3221221776 3221220128 134567410 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 46832 43850 1111 63 0 46769 0
vsize: 187328
[startup+350.017 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 8996
Raw data (stat): 8996 (bsolo_mis) R 8995 7876 7672 0 -1 0 45216 0 0 0 34922 82 0 0 25 0 1 0 779010604 197349376 45193 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 48181 45193 1111 63 0 48118 0
vsize: 192724
[startup+360.018 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 8996
Raw data (stat): 8996 (bsolo_mis) R 8995 7876 7672 0 -1 0 46565 0 0 0 35920 84 0 0 25 0 1 0 779010604 202874880 46542 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 49530 46542 1111 63 0 49467 0
vsize: 198120
[startup+370.019 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 8996
Raw data (stat): 8996 (bsolo_mis) R 8995 7876 7672 0 -1 0 47919 0 0 0 36918 86 0 0 25 0 1 0 779010604 208396288 47896 4294967295 134512640 134714540 3221221776 3221220004 1077414426 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 50878 47902 1111 63 0 50815 0
vsize: 203512
[startup+380.02 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 8996
Raw data (stat): 8996 (bsolo_mis) R 8995 7876 7672 0 -1 0 49287 0 0 0 37916 88 0 0 25 0 1 0 779010604 213925888 49264 4294967295 134512640 134714540 3221221776 3221220004 1077414345 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 52228 49264 1111 63 0 52165 0
vsize: 208912
[startup+390.02 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 8996
Raw data (stat): 8996 (bsolo_mis) R 8995 7876 7672 0 -1 0 50658 0 0 0 38913 91 0 0 25 0 1 0 779010604 219615232 50635 4294967295 134512640 134714540 3221221776 3221220004 1077414383 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 53617 50635 1111 63 0 53554 0
vsize: 214468
[startup+400.02 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 8996
Raw data (stat): 8996 (bsolo_mis) R 8995 7876 7672 0 -1 0 52031 0 0 0 39911 93 0 0 25 0 1 0 779010604 225288192 52008 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 55002 52008 1111 63 0 54939 0
vsize: 220008
[startup+410.02 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 8996
Raw data (stat): 8996 (bsolo_mis) R 8995 7876 7672 0 -1 0 53411 0 0 0 40909 96 0 0 25 0 1 0 779010604 230965248 53388 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 56388 53388 1111 63 0 56325 0
vsize: 225552
[startup+420.02 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 8996
Raw data (stat): 8996 (bsolo_mis) R 8995 7876 7672 0 -1 0 54790 0 0 0 41905 99 0 0 25 0 1 0 779010604 236638208 54767 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 57773 54767 1111 63 0 57710 0
vsize: 231092
[startup+430.021 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 8996
Raw data (stat): 8996 (bsolo_mis) R 8995 7876 7672 0 -1 0 56182 0 0 0 42903 102 0 0 25 0 1 0 779010604 242311168 56159 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 59158 56159 1111 63 0 59095 0
vsize: 236632
[startup+440.021 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 8996
Raw data (stat): 8996 (bsolo_mis) R 8995 7876 7672 0 -1 0 57581 0 0 0 43900 105 0 0 25 0 1 0 779010604 247988224 57558 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 60544 57558 1111 63 0 60481 0
vsize: 242176
[startup+450.021 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 8996
Raw data (stat): 8996 (bsolo_mis) R 8995 7876 7672 0 -1 0 58996 0 0 0 44898 107 0 0 25 0 1 0 779010604 253808640 58973 4294967295 134512640 134714540 3221221776 3221220004 1077414433 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 61965 58973 1111 63 0 61902 0
vsize: 247860
[startup+460.021 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 8996
Raw data (stat): 8996 (bsolo_mis) R 8995 7876 7672 0 -1 0 60429 0 0 0 45895 110 0 0 25 0 1 0 779010604 259629056 60406 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 63386 60406 1111 63 0 63323 0
vsize: 253544
[startup+470.022 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 8996
Raw data (stat): 8996 (bsolo_mis) R 8995 7876 7672 0 -1 0 61871 0 0 0 46893 113 0 0 25 0 1 0 779010604 265605120 61848 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 64845 61848 1111 63 0 64782 0
vsize: 259380
[startup+480.022 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 8996
Raw data (stat): 8996 (bsolo_mis) R 8995 7876 7672 0 -1 0 63322 0 0 0 47890 116 0 0 25 0 1 0 779010604 271572992 63299 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 66302 63299 1111 63 0 66239 0
vsize: 265208
[startup+490.022 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 8996
Raw data (stat): 8996 (bsolo_mis) R 8995 7876 7672 0 -1 0 64781 0 0 0 48888 118 0 0 25 0 1 0 779010604 277544960 64758 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 67760 64758 1111 63 0 67697 0
vsize: 271040
[startup+500.023 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 8996
Raw data (stat): 8996 (bsolo_mis) R 8995 7876 7672 0 -1 0 66246 0 0 0 49885 121 0 0 25 0 1 0 779010604 283521024 66223 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 69219 66223 1111 63 0 69156 0
vsize: 276876
[startup+510.023 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 8996
Raw data (stat): 8996 (bsolo_mis) R 8995 7876 7672 0 -1 0 67716 0 0 0 50882 124 0 0 25 0 1 0 779010604 289488896 67693 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 70676 67693 1111 63 0 70613 0
vsize: 282704
[startup+520.024 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 8996
Raw data (stat): 8996 (bsolo_mis) R 8995 7876 7672 0 -1 0 69193 0 0 0 51881 126 0 0 25 0 1 0 779010604 295612416 69170 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 72171 69170 1111 63 0 72108 0
vsize: 288684
[startup+530.025 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 8996
Raw data (stat): 8996 (bsolo_mis) R 8995 7876 7672 0 -1 0 70676 0 0 0 52878 128 0 0 25 0 1 0 779010604 301584384 70653 4294967295 134512640 134714540 3221221776 3221219644 1077269780 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 73629 70658 1111 63 0 73566 0
vsize: 294516
[startup+540.024 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 8996
Raw data (stat): 8996 (bsolo_mis) R 8995 7876 7672 0 -1 0 72171 0 0 0 53876 131 0 0 25 0 1 0 779010604 307707904 72148 4294967295 134512640 134714540 3221221776 3221220004 1077414433 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 75124 72148 1111 63 0 75061 0
vsize: 300496
[startup+550.025 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 8996
Raw data (stat): 8996 (bsolo_mis) R 8995 7876 7672 0 -1 0 73666 0 0 0 54873 134 0 0 25 0 1 0 779010604 313827328 73643 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 76618 73643 1111 63 0 76555 0
vsize: 306472
[startup+560.026 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 8996
Raw data (stat): 8996 (bsolo_mis) R 8995 7876 7672 0 -1 0 75174 0 0 0 55871 137 0 0 25 0 1 0 779010604 320102400 75151 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 78150 75151 1111 63 0 78087 0
vsize: 312600
[startup+570.026 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 8996
Raw data (stat): 8996 (bsolo_mis) R 8995 7876 7672 0 -1 0 76687 0 0 0 56868 139 0 0 25 0 1 0 779010604 326221824 76664 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 79644 76664 1111 63 0 79581 0
vsize: 318576
[startup+580.027 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 8996
Raw data (stat): 8996 (bsolo_mis) R 8995 7876 7672 0 -1 0 78205 0 0 0 57867 141 0 0 25 0 1 0 779010604 332488704 78182 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 81174 78182 1111 63 0 81111 0
vsize: 324696
[startup+590.027 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 8996
Raw data (stat): 8996 (bsolo_mis) R 8995 7876 7672 0 -1 0 79732 0 0 0 58864 144 0 0 25 0 1 0 779010604 338759680 79709 4294967295 134512640 134714540 3221221776 3221220004 1077414432 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 82705 79709 1111 63 0 82642 0
vsize: 330820
[startup+600.027 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 8996
Raw data (stat): 8996 (bsolo_mis) R 8995 7876 7672 0 -1 0 81262 0 0 0 59862 147 0 0 25 0 1 0 779010604 345030656 81239 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 84236 81239 1111 63 0 84173 0
vsize: 336944
[startup+610.028 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 8996
Raw data (stat): 8996 (bsolo_mis) R 8995 7876 7672 0 -1 0 82807 0 0 0 60859 149 0 0 25 0 1 0 779010604 351301632 82784 4294967295 134512640 134714540 3221221776 3221220004 1077414420 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 85767 82784 1111 63 0 85704 0
vsize: 343068
[startup+620.028 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 8996
Raw data (stat): 8996 (bsolo_mis) R 8995 7876 7672 0 -1 0 84355 0 0 0 61856 153 0 0 25 0 1 0 779010604 357572608 84332 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 87298 84332 1111 63 0 87235 0
vsize: 349192
[startup+630.029 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 8996
Raw data (stat): 8996 (bsolo_mis) R 8995 7876 7672 0 -1 0 85912 0 0 0 62853 156 0 0 25 0 1 0 779010604 363995136 85889 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 88866 85889 1111 63 0 88803 0
vsize: 355464
[startup+640.029 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 8996
Raw data (stat): 8996 (bsolo_mis) R 8995 7876 7672 0 -1 0 87473 0 0 0 63850 159 0 0 25 0 1 0 779010604 370409472 87450 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 90432 87450 1111 63 0 90369 0
vsize: 361728
[startup+650.03 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 8996
Raw data (stat): 8996 (bsolo_mis) R 8995 7876 7672 0 -1 0 89048 0 0 0 64847 162 0 0 25 0 1 0 779010604 376836096 89025 4294967295 134512640 134714540 3221221776 3221220004 1077414358 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 92001 89025 1111 63 0 91938 0
vsize: 368004
[startup+660.03 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 8996
Raw data (stat): 8996 (bsolo_mis) R 8995 7876 7672 0 -1 0 90627 0 0 0 65845 165 0 0 25 0 1 0 779010604 383250432 90604 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 93567 90604 1111 63 0 93504 0
vsize: 374268
[startup+670.031 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 8996
Raw data (stat): 8996 (bsolo_mis) R 8995 7876 7672 0 -1 0 92219 0 0 0 66842 167 0 0 25 0 1 0 779010604 389824512 92196 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 95172 92196 1111 63 0 95109 0
vsize: 380688
[startup+680.032 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 8996
Raw data (stat): 8996 (bsolo_mis) R 8995 7876 7672 0 -1 0 93816 0 0 0 67839 170 0 0 25 0 1 0 779010604 396390400 93793 4294967295 134512640 134714540 3221221776 3221220004 1077414383 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 96775 93793 1111 63 0 96712 0
vsize: 387100
[startup+690.032 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 8996
Raw data (stat): 8996 (bsolo_mis) R 8995 7876 7672 0 -1 0 95421 0 0 0 68837 173 0 0 25 0 1 0 779010604 402960384 95398 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 98379 95398 1111 63 0 98316 0
vsize: 393516
[startup+700.033 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 8996
Raw data (stat): 8996 (bsolo_mis) R 8995 7876 7672 0 -1 0 97031 0 0 0 69835 176 0 0 25 0 1 0 779010604 409534464 97008 4294967295 134512640 134714540 3221221776 3221220004 1077414432 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 99984 97008 1111 63 0 99921 0
vsize: 399936
[startup+710.033 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 8996
Raw data (stat): 8996 (bsolo_mis) R 8995 7876 7672 0 -1 0 98677 0 0 0 70832 178 0 0 25 0 1 0 779010604 416464896 98654 4294967295 134512640 134714540 3221221776 3221220004 1077414408 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 101676 98654 1111 63 0 101613 0
vsize: 406704
[startup+720.034 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 8996
Raw data (stat): 8996 (bsolo_mis) R 8995 7876 7672 0 -1 0 100306 0 0 0 71829 182 0 0 25 0 1 0 779010604 423038976 100283 4294967295 134512640 134714540 3221221776 3221220004 1077414435 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 103281 100283 1111 63 0 103218 0
vsize: 413124
[startup+730.035 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 8996
Raw data (stat): 8996 (bsolo_mis) R 8995 7876 7672 0 -1 0 101946 0 0 0 72826 185 0 0 25 0 1 0 779010604 429752320 101923 4294967295 134512640 134714540 3221221776 3221220004 1077414420 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 104920 101923 1111 63 0 104857 0
vsize: 419680
[startup+740.035 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 8996
Raw data (stat): 8996 (bsolo_mis) R 8995 7876 7672 0 -1 0 103600 0 0 0 73824 188 0 0 25 0 1 0 779010604 436625408 103577 4294967295 134512640 134714540 3221221776 3221220004 1077414401 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 106598 103577 1111 63 0 106535 0
vsize: 426392
[startup+750.036 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 8996
Raw data (stat): 8996 (bsolo_mis) R 8995 7876 7672 0 -1 0 105258 0 0 0 74821 190 0 0 25 0 1 0 779010604 443338752 105235 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 108237 105235 1111 63 0 108174 0
vsize: 432948
[startup+760.036 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 8996
Raw data (stat): 8996 (bsolo_mis) R 8995 7876 7672 0 -1 0 106923 0 0 0 75819 193 0 0 25 0 1 0 779010604 450207744 106900 4294967295 134512640 134714540 3221221776 3221220004 1077414420 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 109914 106900 1111 63 0 109851 0
vsize: 439656
[startup+770.037 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 8996
Raw data (stat): 8996 (bsolo_mis) R 8995 7876 7672 0 -1 0 108608 0 0 0 76815 196 0 0 25 0 1 0 779010604 457080832 108585 4294967295 134512640 134714540 3221221776 3221220004 1077414376 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 111592 108585 1111 63 0 111529 0
vsize: 446368
[startup+780.037 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 8996
Raw data (stat): 8996 (bsolo_mis) R 8995 7876 7672 0 -1 0 110297 0 0 0 77813 199 0 0 25 0 1 0 779010604 463941632 110274 4294967295 134512640 134714540 3221221776 3221220004 1077414374 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 113267 110274 1111 63 0 113204 0
vsize: 453068
[startup+790.037 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 8996
Raw data (stat): 8996 (bsolo_mis) R 8995 7876 7672 0 -1 0 111998 0 0 0 78810 202 0 0 25 0 1 0 779010604 470962176 111975 4294967295 134512640 134714540 3221221776 3221220004 1077414433 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 114981 111975 1111 63 0 114918 0
vsize: 459924
[startup+800.038 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 8996
Raw data (stat): 8996 (bsolo_mis) R 8995 7876 7672 0 -1 0 113706 0 0 0 79807 205 0 0 25 0 1 0 779010604 477982720 113683 4294967295 134512640 134714540 3221221776 3221220004 1077414385 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 116695 113683 1111 63 0 116632 0
vsize: 466780
[startup+810.039 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 8996
Raw data (stat): 8996 (bsolo_mis) R 8995 7876 7672 0 -1 0 115425 0 0 0 80804 209 0 0 25 0 1 0 779010604 484995072 115402 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 118407 115402 1111 63 0 118344 0
vsize: 473628
[startup+820.04 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 8996
Raw data (stat): 8996 (bsolo_mis) R 8995 7876 7672 0 -1 0 117158 0 0 0 81801 211 0 0 25 0 1 0 779010604 492015616 117135 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 120121 117135 1111 63 0 120058 0
vsize: 480484
[startup+830.04 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 8996
Raw data (stat): 8996 (bsolo_mis) R 8995 7876 7672 0 -1 0 118902 0 0 0 82798 215 0 0 25 0 1 0 779010604 499183616 118879 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 121871 118879 1111 63 0 121808 0
vsize: 487484
[startup+840.04 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 8996
Raw data (stat): 8996 (bsolo_mis) R 8995 7876 7672 0 -1 0 120651 0 0 0 83795 218 0 0 25 0 1 0 779010604 506347520 120628 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 123620 120628 1111 63 0 123557 0
vsize: 494480
[startup+850.041 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 8996
Raw data (stat): 8996 (bsolo_mis) R 8995 7876 7672 0 -1 0 122427 0 0 0 84792 221 0 0 25 0 1 0 779010604 513662976 122404 4294967295 134512640 134714540 3221221776 3221220004 1077414395 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 125406 122404 1111 63 0 125343 0
vsize: 501624
[startup+860.042 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 8996
Raw data (stat): 8996 (bsolo_mis) R 8995 7876 7672 0 -1 0 124208 0 0 0 85789 224 0 0 25 0 1 0 779010604 520982528 124185 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 127193 124185 1111 63 0 127130 0
vsize: 508772
[startup+870.043 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 8996
Raw data (stat): 8996 (bsolo_mis) R 8995 7876 7672 0 -1 0 125999 0 0 0 86786 228 0 0 25 0 1 0 779010604 528293888 125976 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 128978 125976 1111 63 0 128915 0
vsize: 515912
[startup+880.044 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 8996
Raw data (stat): 8996 (bsolo_mis) R 8995 7876 7672 0 -1 0 127799 0 0 0 87783 231 0 0 25 0 1 0 779010604 535609344 127776 4294967295 134512640 134714540 3221221776 3221220004 1077414401 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 130764 127776 1111 63 0 130701 0
vsize: 523056
[startup+890.043 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 8996
Raw data (stat): 8996 (bsolo_mis) R 8995 7876 7672 0 -1 0 129616 0 0 0 88780 234 0 0 25 0 1 0 779010604 543076352 129593 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 132587 129593 1111 63 0 132524 0
vsize: 530348
[startup+900.044 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 8996
Raw data (stat): 8996 (bsolo_mis) R 8995 7876 7672 0 -1 0 131445 0 0 0 89777 237 0 0 25 0 1 0 779010604 550543360 131422 4294967295 134512640 134714540 3221221776 3221220004 1077414433 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 134410 131422 1111 63 0 134347 0
vsize: 537640
[startup+910.046 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 8996
Raw data (stat): 8996 (bsolo_mis) R 8995 7876 7672 0 -1 0 133280 0 0 0 90774 241 0 0 25 0 1 0 779010604 558157824 133257 4294967295 134512640 134714540 3221221776 3221220004 1077414360 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 136269 133257 1111 63 0 136206 0
vsize: 545076
[startup+920.046 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 8996
Raw data (stat): 8996 (bsolo_mis) R 8995 7876 7672 0 -1 0 135134 0 0 0 91771 244 0 0 25 0 1 0 779010604 565620736 135111 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 138091 135111 1111 63 0 138028 0
vsize: 552364
[startup+930.047 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 8996
Raw data (stat): 8996 (bsolo_mis) R 8995 7876 7672 0 -1 0 137000 0 0 0 92768 248 0 0 25 0 1 0 779010604 573386752 136977 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 139987 136977 1111 63 0 139924 0
vsize: 559948
[startup+940.047 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 8996
Raw data (stat): 8996 (bsolo_mis) R 8995 7876 7672 0 -1 0 138877 0 0 0 93765 251 0 0 25 0 1 0 779010604 581001216 138854 4294967295 134512640 134714540 3221221776 3221220004 1077414360 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 141846 138854 1111 63 0 141783 0
vsize: 567384
[startup+950.048 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 8996
Raw data (stat): 8996 (bsolo_mis) R 8995 7876 7672 0 -1 0 140775 0 0 0 94762 253 0 0 25 0 1 0 779010604 588767232 140752 4294967295 134512640 134714540 3221221776 3221220004 1077414408 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 143742 140752 1111 63 0 143679 0
vsize: 574968
[startup+960.048 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 8996
Raw data (stat): 8996 (bsolo_mis) R 8995 7876 7672 0 -1 0 142677 0 0 0 95759 257 0 0 25 0 1 0 779010604 596529152 142654 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 145637 142654 1111 63 0 145574 0
vsize: 582548
[startup+970.049 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 8996
Raw data (stat): 8996 (bsolo_mis) R 8995 7876 7672 0 -1 0 144595 0 0 0 96756 260 0 0 25 0 1 0 779010604 604438528 144572 4294967295 134512640 134714540 3221221776 3221220004 1077414351 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 147568 144572 1111 63 0 147505 0
vsize: 590272
[startup+980.05 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 8996
Raw data (stat): 8996 (bsolo_mis) R 8995 7876 7672 0 -1 0 146534 0 0 0 97753 264 0 0 25 0 1 0 779010604 612352000 146511 4294967295 134512640 134714540 3221221776 3221220004 1077414395 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 149500 146511 1111 63 0 149437 0
vsize: 598000
[startup+990.05 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 8996
Raw data (stat): 8996 (bsolo_mis) R 8995 7876 7672 0 -1 0 148486 0 0 0 98749 268 0 0 25 0 1 0 779010604 620417024 148463 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 151469 148463 1111 63 0 151406 0
vsize: 605876
[startup+1000.05 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 8996
Raw data (stat): 8996 (bsolo_mis) R 8995 7876 7672 0 -1 0 150448 0 0 0 99746 270 0 0 25 0 1 0 779010604 628330496 150425 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 153401 150425 1111 63 0 153338 0
vsize: 613604
[startup+1010.05 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 8996
Raw data (stat): 8996 (bsolo_mis) R 8995 7876 7672 0 -1 0 152436 0 0 0 100743 274 0 0 25 0 1 0 779010604 636542976 152413 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 155406 152413 1111 63 0 155343 0
vsize: 621624
[startup+1020.05 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 8996
Raw data (stat): 8996 (bsolo_mis) R 8995 7876 7672 0 -1 0 154436 0 0 0 101740 277 0 0 25 0 1 0 779010604 644755456 154413 4294967295 134512640 134714540 3221221776 3221220004 1077414374 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 157411 154413 1111 63 0 157348 0
vsize: 629644
[startup+1030.05 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 8996
Raw data (stat): 8996 (bsolo_mis) R 8995 7876 7672 0 -1 0 156447 0 0 0 102736 281 0 0 25 0 1 0 779010604 652963840 156424 4294967295 134512640 134714540 3221221776 3221220004 1077414383 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 159415 156424 1111 63 0 159352 0
vsize: 637660
[startup+1040.05 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 8996
Raw data (stat): 8996 (bsolo_mis) R 8995 7876 7672 0 -1 0 158483 0 0 0 103733 285 0 0 25 0 1 0 779010604 661327872 158460 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 161457 158460 1111 63 0 161394 0
vsize: 645828
[startup+1050.05 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 8996
Raw data (stat): 8996 (bsolo_mis) R 8995 7876 7672 0 -1 0 160537 0 0 0 104730 288 0 0 25 0 1 0 779010604 669687808 160514 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 163498 160514 1111 63 0 163435 0
vsize: 653992
[startup+1060.05 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 8996
Raw data (stat): 8996 (bsolo_mis) R 8995 7876 7672 0 -1 0 162603 0 0 0 105726 292 0 0 25 0 1 0 779010604 678199296 162580 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 165576 162580 1111 63 0 165513 0
vsize: 662304
[startup+1070.05 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 8996
Raw data (stat): 8996 (bsolo_mis) R 8995 7876 7672 0 -1 0 164706 0 0 0 106722 296 0 0 25 0 1 0 779010604 686710784 164683 4294967295 134512640 134714540 3221221776 3221220128 134567410 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 167654 164683 1111 63 0 167591 0
vsize: 670616
[startup+1080.05 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 8996
Raw data (stat): 8996 (bsolo_mis) R 8995 7876 7672 0 -1 0 166845 0 0 0 107719 299 0 0 25 0 1 0 779010604 695517184 166822 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 169804 166822 1111 63 0 169741 0
vsize: 679216
[startup+1090.05 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 8996
Raw data (stat): 8996 (bsolo_mis) R 8995 7876 7672 0 -1 0 169026 0 0 0 108715 303 0 0 25 0 1 0 779010604 704475136 169003 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 171991 169003 1111 63 0 171928 0
vsize: 687964
[startup+1100.06 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 8996
Raw data (stat): 8996 (bsolo_mis) R 8995 7876 7672 0 -1 0 171245 0 0 0 109712 307 0 0 25 0 1 0 779010604 713580544 171222 4294967295 134512640 134714540 3221221776 3221220004 1077414360 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 174214 171222 1111 63 0 174151 0
vsize: 696856
[startup+1110.06 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 8996
Raw data (stat): 8996 (bsolo_mis) R 8995 7876 7672 0 -1 0 173469 0 0 0 110708 311 0 0 25 0 1 0 779010604 722690048 173446 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 176438 173446 1111 63 0 176375 0
vsize: 705752
[startup+1120.06 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 8996
Raw data (stat): 8996 (bsolo_mis) R 8995 7876 7672 0 -1 0 175728 0 0 0 111705 314 0 0 25 0 1 0 779010604 731942912 175705 4294967295 134512640 134714540 3221221776 3221220004 1077414345 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 178697 175705 1111 63 0 178634 0
vsize: 714788
[startup+1130.06 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 8996
Raw data (stat): 8996 (bsolo_mis) R 8995 7876 7672 0 -1 0 178016 0 0 0 112701 318 0 0 25 0 1 0 779010604 741203968 177993 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 180958 177993 1111 63 0 180895 0
vsize: 723832
[startup+1140.06 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 8996
Raw data (stat): 8996 (bsolo_mis) R 8995 7876 7672 0 -1 0 180318 0 0 0 113697 323 0 0 25 0 1 0 779010604 750759936 180295 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 183291 180295 1111 63 0 183228 0
vsize: 733164
[startup+1150.06 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 8996
Raw data (stat): 8996 (bsolo_mis) R 8995 7876 7672 0 -1 0 182663 0 0 0 114693 327 0 0 25 0 1 0 779010604 760315904 182640 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 185624 182640 1111 63 0 185561 0
vsize: 742496
[startup+1160.06 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 8996
Raw data (stat): 8996 (bsolo_mis) R 8995 7876 7672 0 -1 0 185046 0 0 0 115689 331 0 0 25 0 1 0 779010604 770015232 185023 4294967295 134512640 134714540 3221221776 3221220004 1077414360 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 187992 185023 1111 63 0 187929 0
vsize: 751968
[startup+1170.06 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 8996
Raw data (stat): 8996 (bsolo_mis) R 8995 7876 7672 0 -1 0 187428 0 0 0 116685 335 0 0 25 0 1 0 779010604 779874304 187405 4294967295 134512640 134714540 3221221776 3221220004 1077414433 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 190399 187405 1111 63 0 190336 0
vsize: 761596
[startup+1180.06 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 8996
Raw data (stat): 8996 (bsolo_mis) R 8995 7876 7672 0 -1 0 189846 0 0 0 117682 338 0 0 25 0 1 0 779010604 789729280 189823 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 192805 189823 1111 63 0 192742 0
vsize: 771220
[startup+1190.06 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 8996
Raw data (stat): 8996 (bsolo_mis) R 8995 7876 7672 0 -1 0 192287 0 0 0 118676 343 0 0 25 0 1 0 779010604 799727616 192264 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 195246 192264 1111 63 0 195183 0
vsize: 780984
[startup+1200.06 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 8996
Raw data (stat): 8996 (bsolo_mis) R 8995 7876 7672 0 -1 0 194761 0 0 0 119671 348 0 0 25 0 1 0 779010604 809885696 194738 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 197726 194738 1111 63 0 197663 0
vsize: 790904
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.42 s]
Raw data (loadavg): 0.99 0.98 0.97 1/55 8996
Raw data (stat): 8996 (bsolo_mis) Z 8995 7876 7672 0 -1 1036 194761 0 0 0 119671 384 0 0 25 0 1 0 779010604 0 0 4294967295 0 0 0 0 0 0 0 1 0 3222412051 0 0 17 1 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.42
CPU time (s): 1200.56
CPU user time (s): 1196.71
CPU system time (s): 3.84442
CPU usage (%): 100.011
Max. virtual memory (Kb): 790904
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####