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/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-dc1c.opb
MD5SUM	bd6d0785955b31f4cbdede5ce3d2b1e9
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	58150
Biggest coefficient in the objective function	536870912000000000000
Number of bits for the biggest coefficient in the objective function	69
Sum of the numbers in the objective function	6807821537690881359872
Number of bits of the sum of numbers in the objective function	73
Biggest number in a constraint	536870912000000000000
Number of bits of the biggest number in a constraint	69
Biggest sum of numbers in a constraint	6808845537690881359872
Number of bits of the biggest sum of numbers	73
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1305.36
Number of variables	58150
Total number of constraints	10029
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	8381
Number of constraints which are nor clauses,nor cardinality constraints	1648
Minimum length of a constraint	1
Maximum length of a constraint	58150
Trace number 27991

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc1 THE 2005-05-25 00:04:17 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=15070 boxname=wulflinc1 idbench=1160 idsolver=3 numberseed=0
MD5SUM SOLVER: 03a6a792daea978e4202f78851741568  /oldhome/oroussel/solvers/bsolo_mis
MD5SUM BENCH:  bd6d0785955b31f4cbdede5ce3d2b1e9  /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-20-10-dc1c.opb
REAL COMMAND:  bsolo_mis /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-20-10-dc1c.opb
IDLAUNCH: 15070
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.053
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	: 2
cpu MHz		: 451.053
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:        851380 kB
Buffers:         32600 kB
Cached:         123388 kB
SwapCached:          4 kB
Active:          37476 kB
Inactive:       121624 kB
HighTotal:      131008 kB
HighFree:         4592 kB
LowTotal:       903652 kB
LowFree:        846788 kB
SwapTotal:     2097136 kB
SwapFree:      2096964 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           7148 kB
Slab:            18348 kB
Committed_AS:    92716 kB
PageTables:        332 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-25 00:24:20 (client local time) WITH STATUS 0 IN 1200.45 SECONDS
stats: 15070 7 1200.45 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.95 0.91 2/55 14032
Raw data (stat): 14032 (runsolver) R 14031 8378 8377 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 719337261 1052672 99 4294967295 134512640 135381576 3221224496 3221219712 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0005 s]
Raw data (loadavg): 0.94 0.96 0.91 2/55 14032
Raw data (stat): 14032 (bsolo_mis) R 14031 8378 8377 0 -1 0 1749 0 0 0 994 4 0 0 25 0 1 0 719337261 19394560 1727 4294967295 134512640 134714540 3221224592 3221222820 1077414401 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4735 1727 1111 63 0 4672 0
vsize: 18940
[startup+20.0002 s]
Raw data (loadavg): 0.95 0.96 0.91 2/55 14032
Raw data (stat): 14032 (bsolo_mis) R 14031 8378 8377 0 -1 0 2837 0 0 0 1992 5 0 0 25 0 1 0 719337261 23875584 2815 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5829 2815 1111 63 0 5766 0
vsize: 23316
[startup+30.001 s]
Raw data (loadavg): 0.95 0.96 0.91 2/55 14032
Raw data (stat): 14032 (bsolo_mis) R 14031 8378 8377 0 -1 0 3918 0 0 0 2989 8 0 0 25 0 1 0 719337261 28352512 3896 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6922 3896 1111 63 0 6859 0
vsize: 27688
[startup+40.0097 s]
Raw data (loadavg): 0.96 0.96 0.91 2/55 14032
Raw data (stat): 14032 (bsolo_mis) R 14031 8378 8377 0 -1 0 5078 0 0 0 3989 10 0 0 25 0 1 0 719337261 33128448 5056 4294967295 134512640 134714540 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8088 5056 1111 63 0 8025 0
vsize: 32352
[startup+50.0095 s]
Raw data (loadavg): 0.97 0.96 0.91 2/55 14032
Raw data (stat): 14032 (bsolo_mis) R 14031 8378 8377 0 -1 0 6420 0 0 0 4987 12 0 0 25 0 1 0 719337261 38502400 6398 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9400 6398 1111 63 0 9337 0
vsize: 37600
[startup+60.0097 s]
Raw data (loadavg): 0.97 0.96 0.91 2/55 14032
Raw data (stat): 14032 (bsolo_mis) R 14031 8378 8377 0 -1 0 7553 0 0 0 5986 13 0 0 25 0 1 0 719337261 43266048 7531 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10563 7531 1111 63 0 10500 0
vsize: 42252
[startup+70.0091 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 14032
Raw data (stat): 14032 (bsolo_mis) R 14031 8378 8377 0 -1 0 8782 0 0 0 6984 15 0 0 25 0 1 0 719337261 48197632 8760 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11767 8760 1111 63 0 11704 0
vsize: 47068
[startup+80.0169 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 14032
Raw data (stat): 14032 (bsolo_mis) R 14031 8378 8377 0 -1 0 9942 0 0 0 7983 17 0 0 25 0 1 0 719337261 52977664 9920 4294967295 134512640 134714540 3221224592 3221222820 1077414383 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12934 9920 1111 63 0 12871 0
vsize: 51736
[startup+90.0167 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 14034
Raw data (stat): 14032 (bsolo_mis) R 14031 8378 8377 0 -1 0 11254 0 0 0 8981 18 0 0 25 0 1 0 719337261 58347520 11232 4294967295 134512640 134714540 3221224592 3221222820 1077414385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14245 11232 1111 63 0 14182 0
vsize: 56980
[startup+100.016 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 14034
Raw data (stat): 14032 (bsolo_mis) R 14031 8378 8377 0 -1 0 12675 0 0 0 9979 21 0 0 25 0 1 0 719337261 64172032 12653 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15667 12653 1111 63 0 15604 0
vsize: 62668
[startup+110.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14034
Raw data (stat): 14032 (bsolo_mis) R 14031 8378 8377 0 -1 0 13876 0 0 0 10977 23 0 0 25 0 1 0 719337261 69095424 13854 4294967295 134512640 134714540 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16869 13854 1111 63 0 16806 0
vsize: 67476
[startup+120.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14034
Raw data (stat): 14032 (bsolo_mis) R 14031 8378 8377 0 -1 0 15124 0 0 0 11975 25 0 0 25 0 1 0 719337261 74178560 15102 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18110 15102 1111 63 0 18047 0
vsize: 72440
[startup+130.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14034
Raw data (stat): 14032 (bsolo_mis) R 14031 8378 8377 0 -1 0 16478 0 0 0 12973 28 0 0 25 0 1 0 719337261 79699968 16456 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19458 16456 1111 63 0 19395 0
vsize: 77832
[startup+140.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14034
Raw data (stat): 14032 (bsolo_mis) R 14031 8378 8377 0 -1 0 17638 0 0 0 13971 30 0 0 25 0 1 0 719337261 84475904 17616 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20624 17616 1111 63 0 20561 0
vsize: 82496
[startup+150.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14034
Raw data (stat): 14032 (bsolo_mis) R 14031 8378 8377 0 -1 0 18786 0 0 0 14970 32 0 0 25 0 1 0 719337261 89251840 18764 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21790 18764 1111 63 0 21727 0
vsize: 87160
[startup+160.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14034
Raw data (stat): 14032 (bsolo_mis) R 14031 8378 8377 0 -1 0 19916 0 0 0 15968 33 0 0 25 0 1 0 719337261 93880320 19894 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22920 19894 1111 63 0 22857 0
vsize: 91680
[startup+170.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14034
Raw data (stat): 14032 (bsolo_mis) R 14031 8378 8377 0 -1 0 21284 0 0 0 16966 35 0 0 25 0 1 0 719337261 99409920 21262 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24270 21262 1111 63 0 24207 0
vsize: 97080
[startup+180.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14034
Raw data (stat): 14032 (bsolo_mis) R 14031 8378 8377 0 -1 0 22572 0 0 0 17964 38 0 0 25 0 1 0 719337261 104783872 22550 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25582 22550 1111 63 0 25519 0
vsize: 102328
[startup+190.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14034
Raw data (stat): 14032 (bsolo_mis) R 14031 8378 8377 0 -1 0 23787 0 0 0 18963 40 0 0 25 0 1 0 719337261 109707264 23765 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26784 23765 1111 63 0 26721 0
vsize: 107136
[startup+200.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14034
Raw data (stat): 14032 (bsolo_mis) R 14031 8378 8377 0 -1 0 25059 0 0 0 19961 42 0 0 25 0 1 0 719337261 114941952 25037 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28062 25037 1111 63 0 27999 0
vsize: 112248
[startup+210.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14034
Raw data (stat): 14032 (bsolo_mis) R 14031 8378 8377 0 -1 0 26400 0 0 0 20959 43 0 0 25 0 1 0 719337261 120459264 26378 4294967295 134512640 134714540 3221224592 3221222820 1077414336 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29409 26378 1111 63 0 29346 0
vsize: 117636
[startup+220.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14034
Raw data (stat): 14032 (bsolo_mis) R 14031 8378 8377 0 -1 0 27730 0 0 0 21957 46 0 0 25 0 1 0 719337261 125833216 27708 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30721 27708 1111 63 0 30658 0
vsize: 122884
[startup+230.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14034
Raw data (stat): 14032 (bsolo_mis) R 14031 8378 8377 0 -1 0 29031 0 0 0 22954 49 0 0 25 0 1 0 719337261 131207168 29009 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32033 29009 1111 63 0 31970 0
vsize: 128132
[startup+240.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14034
Raw data (stat): 14032 (bsolo_mis) R 14031 8378 8377 0 -1 0 30306 0 0 0 23952 51 0 0 25 0 1 0 719337261 136429568 30284 4294967295 134512640 134714540 3221224592 3221222820 1077414385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33308 30284 1111 63 0 33245 0
vsize: 133232
[startup+250.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14034
Raw data (stat): 14032 (bsolo_mis) R 14031 8378 8377 0 -1 0 31553 0 0 0 24950 53 0 0 25 0 1 0 719337261 141504512 31531 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34547 31531 1111 63 0 34484 0
vsize: 138188
[startup+260.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14034
Raw data (stat): 14032 (bsolo_mis) R 14031 8378 8377 0 -1 0 32793 0 0 0 25948 55 0 0 25 0 1 0 719337261 146587648 32771 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35788 32771 1111 63 0 35725 0
vsize: 143152
[startup+270.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14034
Raw data (stat): 14032 (bsolo_mis) R 14031 8378 8377 0 -1 0 34178 0 0 0 26946 58 0 0 25 0 1 0 719337261 152260608 34156 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37173 34156 1111 63 0 37110 0
vsize: 148692
[startup+280.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14034
Raw data (stat): 14032 (bsolo_mis) R 14031 8378 8377 0 -1 0 35654 0 0 0 27944 60 0 0 25 0 1 0 719337261 158375936 35632 4294967295 134512640 134714540 3221224592 3221222820 1077414401 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38666 35632 1111 63 0 38603 0
vsize: 154664
[startup+290.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14034
Raw data (stat): 14032 (bsolo_mis) R 14031 8378 8377 0 -1 0 36846 0 0 0 28942 62 0 0 25 0 1 0 719337261 163160064 36824 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 39834 36824 1111 63 0 39771 0
vsize: 159336
[startup+300.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14034
Raw data (stat): 14032 (bsolo_mis) R 14031 8378 8377 0 -1 0 38038 0 0 0 29939 65 0 0 25 0 1 0 719337261 168087552 38016 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 41037 38016 1111 63 0 40974 0
vsize: 164148
[startup+310.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14034
Raw data (stat): 14032 (bsolo_mis) R 14031 8378 8377 0 -1 0 39241 0 0 0 30938 67 0 0 25 0 1 0 719337261 173010944 39219 4294967295 134512640 134714540 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42239 39219 1111 63 0 42176 0
vsize: 168956
[startup+320.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14034
Raw data (stat): 14032 (bsolo_mis) R 14031 8378 8377 0 -1 0 40474 0 0 0 31936 68 0 0 25 0 1 0 719337261 178085888 40452 4294967295 134512640 134714540 3221224592 3221222820 1077414360 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 43478 40452 1111 63 0 43415 0
vsize: 173912
[startup+330.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14034
Raw data (stat): 14032 (bsolo_mis) R 14031 8378 8377 0 -1 0 41738 0 0 0 32934 71 0 0 25 0 1 0 719337261 183160832 41716 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 44717 41716 1111 63 0 44654 0
vsize: 178868
[startup+340.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14034
Raw data (stat): 14032 (bsolo_mis) R 14031 8378 8377 0 -1 0 43021 0 0 0 33931 74 0 0 25 0 1 0 719337261 188542976 42999 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 46031 42999 1111 63 0 45968 0
vsize: 184124
[startup+350.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14034
Raw data (stat): 14032 (bsolo_mis) R 14031 8378 8377 0 -1 0 44272 0 0 0 34930 75 0 0 25 0 1 0 719337261 193617920 44250 4294967295 134512640 134714540 3221224592 3221222820 1077414360 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 47270 44250 1111 63 0 47207 0
vsize: 189080
[startup+360.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14034
Raw data (stat): 14032 (bsolo_mis) R 14031 8378 8377 0 -1 0 45517 0 0 0 35928 77 0 0 25 0 1 0 719337261 198692864 45495 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 48509 45495 1111 63 0 48446 0
vsize: 194036
[startup+370.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14034
Raw data (stat): 14032 (bsolo_mis) R 14031 8378 8377 0 -1 0 46847 0 0 0 36926 80 0 0 25 0 1 0 719337261 204214272 46825 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 49857 46825 1111 63 0 49794 0
vsize: 199428
[startup+380.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14034
Raw data (stat): 14032 (bsolo_mis) R 14031 8378 8377 0 -1 0 48367 0 0 0 37923 83 0 0 25 0 1 0 719337261 210341888 48345 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51353 48345 1111 63 0 51290 0
vsize: 205412
[startup+390.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14034
Raw data (stat): 14032 (bsolo_mis) R 14031 8378 8377 0 -1 0 49616 0 0 0 38923 84 0 0 25 0 1 0 719337261 215584768 49594 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 52633 49594 1111 63 0 52570 0
vsize: 210532
[startup+400.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14034
Raw data (stat): 14032 (bsolo_mis) R 14031 8378 8377 0 -1 0 50861 0 0 0 39921 87 0 0 25 0 1 0 719337261 220659712 50839 4294967295 134512640 134714540 3221224592 3221222820 1077414432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 53872 50839 1111 63 0 53809 0
vsize: 215488
[startup+410.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14034
Raw data (stat): 14032 (bsolo_mis) R 14031 8378 8377 0 -1 0 51667 0 0 0 40919 88 0 0 25 0 1 0 719337261 223944704 51645 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 54674 51645 1111 63 0 54611 0
vsize: 218696
[startup+420.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14034
Raw data (stat): 14032 (bsolo_mis) R 14031 8378 8377 0 -1 0 51785 0 0 0 41919 88 0 0 25 0 1 0 719337261 224395264 51763 4294967295 134512640 134714540 3221224592 3221222820 1077414351 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 54784 51763 1111 63 0 54721 0
vsize: 219136
[startup+430.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14034
Raw data (stat): 14032 (bsolo_mis) R 14031 8378 8377 0 -1 0 51901 0 0 0 42919 89 0 0 25 0 1 0 719337261 224845824 51879 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 54894 51879 1111 63 0 54831 0
vsize: 219576
[startup+440.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14034
Raw data (stat): 14032 (bsolo_mis) R 14031 8378 8377 0 -1 0 52020 0 0 0 43919 89 0 0 25 0 1 0 719337261 225447936 51998 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 55041 51998 1111 63 0 54978 0
vsize: 220164
[startup+450.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14034
Raw data (stat): 14032 (bsolo_mis) R 14031 8378 8377 0 -1 0 52131 0 0 0 44919 89 0 0 25 0 1 0 719337261 225894400 52109 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 55150 52109 1111 63 0 55087 0
vsize: 220600
[startup+460.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14034
Raw data (stat): 14032 (bsolo_mis) R 14031 8378 8377 0 -1 0 52255 0 0 0 45919 89 0 0 25 0 1 0 719337261 226344960 52233 4294967295 134512640 134714540 3221224592 3221222820 1077414385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 55260 52233 1111 63 0 55197 0
vsize: 221040
[startup+470.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14034
Raw data (stat): 14032 (bsolo_mis) R 14031 8378 8377 0 -1 0 52372 0 0 0 46919 89 0 0 25 0 1 0 719337261 226795520 52350 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 55370 52350 1111 63 0 55307 0
vsize: 221480
[startup+480.045 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14034
Raw data (stat): 14032 (bsolo_mis) R 14031 8378 8377 0 -1 0 52491 0 0 0 47920 89 0 0 25 0 1 0 719337261 227246080 52469 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 55480 52469 1111 63 0 55417 0
vsize: 221920
[startup+490.044 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14034
Raw data (stat): 14032 (bsolo_mis) R 14031 8378 8377 0 -1 0 52608 0 0 0 48920 90 0 0 25 0 1 0 719337261 227840000 52586 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 55625 52586 1111 63 0 55562 0
vsize: 222500
[startup+500.044 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14034
Raw data (stat): 14032 (bsolo_mis) R 14031 8378 8377 0 -1 0 52733 0 0 0 49920 90 0 0 25 0 1 0 719337261 228294656 52711 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 55736 52711 1111 63 0 55673 0
vsize: 222944
[startup+510.044 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14034
Raw data (stat): 14032 (bsolo_mis) R 14031 8378 8377 0 -1 0 52856 0 0 0 50920 90 0 0 25 0 1 0 719337261 228741120 52834 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 55845 52834 1111 63 0 55782 0
vsize: 223380
[startup+520.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14034
Raw data (stat): 14032 (bsolo_mis) R 14031 8378 8377 0 -1 0 52976 0 0 0 51920 90 0 0 25 0 1 0 719337261 229343232 52954 4294967295 134512640 134714540 3221224592 3221222820 1077414376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 55992 52954 1111 63 0 55929 0
vsize: 223968
[startup+530.052 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14034
Raw data (stat): 14032 (bsolo_mis) R 14031 8378 8377 0 -1 0 53102 0 0 0 52920 90 0 0 25 0 1 0 719337261 229789696 53080 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 56101 53080 1111 63 0 56038 0
vsize: 224404
[startup+540.051 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14034
Raw data (stat): 14032 (bsolo_mis) R 14031 8378 8377 0 -1 0 53225 0 0 0 53920 91 0 0 25 0 1 0 719337261 230240256 53203 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 56211 53203 1111 63 0 56148 0
vsize: 224844
[startup+550.051 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14034
Raw data (stat): 14032 (bsolo_mis) R 14031 8378 8377 0 -1 0 53343 0 0 0 54920 91 0 0 25 0 1 0 719337261 230842368 53321 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 56358 53321 1111 63 0 56295 0
vsize: 225432
[startup+560.051 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14034
Raw data (stat): 14032 (bsolo_mis) R 14031 8378 8377 0 -1 0 53461 0 0 0 55920 91 0 0 25 0 1 0 719337261 231292928 53439 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 56468 53439 1111 63 0 56405 0
vsize: 225872
[startup+570.058 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14034
Raw data (stat): 14032 (bsolo_mis) R 14031 8378 8377 0 -1 0 53593 0 0 0 56921 91 0 0 25 0 1 0 719337261 231743488 53571 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 56578 53571 1111 63 0 56515 0
vsize: 226312
[startup+580.058 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14034
Raw data (stat): 14032 (bsolo_mis) R 14031 8378 8377 0 -1 0 53711 0 0 0 57921 91 0 0 25 0 1 0 719337261 232337408 53689 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 56723 53689 1111 63 0 56660 0
vsize: 226892
[startup+590.064 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14034
Raw data (stat): 14032 (bsolo_mis) R 14031 8378 8377 0 -1 0 53842 0 0 0 58921 92 0 0 25 0 1 0 719337261 232792064 53820 4294967295 134512640 134714540 3221224592 3221222820 1077414401 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 56834 53820 1111 63 0 56771 0
vsize: 227336
[startup+600.066 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14034
Raw data (stat): 14032 (bsolo_mis) R 14031 8378 8377 0 -1 0 53974 0 0 0 59921 92 0 0 25 0 1 0 719337261 233385984 53952 4294967295 134512640 134714540 3221224592 3221222820 1077414424 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 56979 53952 1111 63 0 56916 0
vsize: 227916
[startup+610.067 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14034
Raw data (stat): 14032 (bsolo_mis) R 14031 8378 8377 0 -1 0 54100 0 0 0 60921 92 0 0 25 0 1 0 719337261 233840640 54078 4294967295 134512640 134714540 3221224592 3221222820 1077414435 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 57090 54078 1111 63 0 57027 0
vsize: 228360
[startup+620.066 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14034
Raw data (stat): 14032 (bsolo_mis) R 14031 8378 8377 0 -1 0 54226 0 0 0 61921 92 0 0 25 0 1 0 719337261 234438656 54204 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 57236 54204 1111 63 0 57173 0
vsize: 228944
[startup+630.067 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14034
Raw data (stat): 14032 (bsolo_mis) R 14031 8378 8377 0 -1 0 54356 0 0 0 62921 93 0 0 25 0 1 0 719337261 234889216 54334 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 57346 54334 1111 63 0 57283 0
vsize: 229384
[startup+640.068 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14034
Raw data (stat): 14032 (bsolo_mis) R 14031 8378 8377 0 -1 0 54482 0 0 0 63921 93 0 0 25 0 1 0 719337261 235491328 54460 4294967295 134512640 134714540 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 57493 54460 1111 63 0 57430 0
vsize: 229972
[startup+650.082 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14034
Raw data (stat): 14032 (bsolo_mis) R 14031 8378 8377 0 -1 0 54614 0 0 0 64923 93 0 0 25 0 1 0 719337261 235933696 54592 4294967295 134512640 134714540 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 57601 54592 1111 63 0 57538 0
vsize: 230404
[startup+660.083 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14034
Raw data (stat): 14032 (bsolo_mis) R 14031 8378 8377 0 -1 0 54740 0 0 0 65923 93 0 0 25 0 1 0 719337261 236535808 54718 4294967295 134512640 134714540 3221224592 3221222820 1077414401 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 57748 54718 1111 63 0 57685 0
vsize: 230992
[startup+670.083 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14034
Raw data (stat): 14032 (bsolo_mis) R 14031 8378 8377 0 -1 0 54872 0 0 0 66923 93 0 0 25 0 1 0 719337261 236986368 54850 4294967295 134512640 134714540 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 57858 54850 1111 63 0 57795 0
vsize: 231432
[startup+680.084 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14034
Raw data (stat): 14032 (bsolo_mis) R 14031 8378 8377 0 -1 0 55003 0 0 0 67923 93 0 0 25 0 1 0 719337261 237588480 54981 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 58005 54981 1111 63 0 57942 0
vsize: 232020
[startup+690.084 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14034
Raw data (stat): 14032 (bsolo_mis) R 14031 8378 8377 0 -1 0 55142 0 0 0 68923 93 0 0 25 0 1 0 719337261 238190592 55120 4294967295 134512640 134714540 3221224592 3221222820 1077414395 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 58152 55120 1111 63 0 58089 0
vsize: 232608
[startup+700.084 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14034
Raw data (stat): 14032 (bsolo_mis) R 14031 8378 8377 0 -1 0 55280 0 0 0 69923 94 0 0 25 0 1 0 719337261 238632960 55258 4294967295 134512640 134714540 3221224592 3221222820 1077414351 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 58260 55258 1111 63 0 58197 0
vsize: 233040
[startup+710.085 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14034
Raw data (stat): 14032 (bsolo_mis) R 14031 8378 8377 0 -1 0 55430 0 0 0 70923 94 0 0 25 0 1 0 719337261 239427584 55408 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 58454 55408 1111 63 0 58391 0
vsize: 233816
[startup+720.085 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14034
Raw data (stat): 14032 (bsolo_mis) R 14031 8378 8377 0 -1 0 55556 0 0 0 71923 94 0 0 25 0 1 0 719337261 239874048 55534 4294967295 134512640 134714540 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 58563 55534 1111 63 0 58500 0
vsize: 234252
[startup+730.085 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14034
Raw data (stat): 14032 (bsolo_mis) R 14031 8378 8377 0 -1 0 55694 0 0 0 72923 94 0 0 25 0 1 0 719337261 240476160 55672 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 58710 55672 1111 63 0 58647 0
vsize: 234840
[startup+740.09 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14034
Raw data (stat): 14032 (bsolo_mis) R 14031 8378 8377 0 -1 0 55827 0 0 0 73923 95 0 0 25 0 1 0 719337261 241078272 55805 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 58857 55805 1111 63 0 58794 0
vsize: 235428
[startup+750.09 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14034
Raw data (stat): 14032 (bsolo_mis) R 14031 8378 8377 0 -1 0 55973 0 0 0 74923 95 0 0 25 0 1 0 719337261 241676288 55951 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 59003 55951 1111 63 0 58940 0
vsize: 236012
[startup+760.089 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14034
Raw data (stat): 14032 (bsolo_mis) R 14031 8378 8377 0 -1 0 56107 0 0 0 75923 95 0 0 25 0 1 0 719337261 242126848 56085 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 59113 56085 1111 63 0 59050 0
vsize: 236452
[startup+770.09 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14034
Raw data (stat): 14032 (bsolo_mis) R 14031 8378 8377 0 -1 0 56253 0 0 0 76923 95 0 0 25 0 1 0 719337261 242728960 56231 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 59260 56231 1111 63 0 59197 0
vsize: 237040
[startup+780.09 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14034
Raw data (stat): 14032 (bsolo_mis) R 14031 8378 8377 0 -1 0 56386 0 0 0 77923 96 0 0 25 0 1 0 719337261 243322880 56364 4294967295 134512640 134714540 3221224592 3221222820 1077414433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 59405 56364 1111 63 0 59342 0
vsize: 237620
[startup+790.091 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14034
Raw data (stat): 14032 (bsolo_mis) R 14031 8378 8377 0 -1 0 56533 0 0 0 78923 96 0 0 25 0 1 0 719337261 243924992 56511 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 59552 56511 1111 63 0 59489 0
vsize: 238208
[startup+800.091 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14034
Raw data (stat): 14032 (bsolo_mis) R 14031 8378 8377 0 -1 0 56680 0 0 0 79923 96 0 0 25 0 1 0 719337261 244527104 56658 4294967295 134512640 134714540 3221224592 3221222820 1077414383 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 59699 56658 1111 63 0 59636 0
vsize: 238796
[startup+810.094 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14034
Raw data (stat): 14032 (bsolo_mis) R 14031 8378 8377 0 -1 0 56825 0 0 0 80923 96 0 0 25 0 1 0 719337261 245121024 56803 4294967295 134512640 134714540 3221224592 3221222820 1077414408 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 59844 56803 1111 63 0 59781 0
vsize: 239376
[startup+820.094 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14034
Raw data (stat): 14032 (bsolo_mis) R 14031 8378 8377 0 -1 0 56966 0 0 0 81923 97 0 0 25 0 1 0 719337261 245723136 56944 4294967295 134512640 134714540 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 59991 56944 1111 63 0 59928 0
vsize: 239964
[startup+830.095 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14034
Raw data (stat): 14032 (bsolo_mis) R 14031 8378 8377 0 -1 0 57114 0 0 0 82923 97 0 0 25 0 1 0 719337261 246325248 57092 4294967295 134512640 134714540 3221224592 3221223248 134527935 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 60138 57092 1111 63 0 60075 0
vsize: 240552
[startup+840.096 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14034
Raw data (stat): 14032 (bsolo_mis) R 14031 8378 8377 0 -1 0 57260 0 0 0 83923 98 0 0 25 0 1 0 719337261 246919168 57238 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 60283 57238 1111 63 0 60220 0
vsize: 241132
[startup+850.096 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14034
Raw data (stat): 14032 (bsolo_mis) R 14031 8378 8377 0 -1 0 57414 0 0 0 84922 98 0 0 25 0 1 0 719337261 247521280 57392 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 60430 57392 1111 63 0 60367 0
vsize: 241720
[startup+860.095 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14034
Raw data (stat): 14032 (bsolo_mis) R 14031 8378 8377 0 -1 0 57562 0 0 0 85922 98 0 0 25 0 1 0 719337261 248123392 57540 4294967295 134512640 134714540 3221224592 3221222820 1077414426 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 60577 57540 1111 63 0 60514 0
vsize: 242308
[startup+870.095 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14034
Raw data (stat): 14032 (bsolo_mis) R 14031 8378 8377 0 -1 0 57708 0 0 0 86922 98 0 0 25 0 1 0 719337261 248717312 57686 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 60722 57686 1111 63 0 60659 0
vsize: 242888
[startup+880.104 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14034
Raw data (stat): 14032 (bsolo_mis) R 14031 8378 8377 0 -1 0 57856 0 0 0 87923 99 0 0 25 0 1 0 719337261 249319424 57834 4294967295 134512640 134714540 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 60869 57834 1111 63 0 60806 0
vsize: 243476
[startup+890.104 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14034
Raw data (stat): 14032 (bsolo_mis) R 14031 8378 8377 0 -1 0 58017 0 0 0 88923 99 0 0 25 0 1 0 719337261 249921536 57995 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 61016 57995 1111 63 0 60953 0
vsize: 244064
[startup+900.105 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14034
Raw data (stat): 14032 (bsolo_mis) R 14031 8378 8377 0 -1 0 58164 0 0 0 89923 99 0 0 25 0 1 0 719337261 250519552 58142 4294967295 134512640 134714540 3221224592 3221222820 1077414351 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 61162 58142 1111 63 0 61099 0
vsize: 244648
[startup+910.104 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14034
Raw data (stat): 14032 (bsolo_mis) R 14031 8378 8377 0 -1 0 58325 0 0 0 90923 100 0 0 25 0 1 0 719337261 251269120 58303 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 61345 58303 1111 63 0 61282 0
vsize: 245380
[startup+920.117 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14034
Raw data (stat): 14032 (bsolo_mis) R 14031 8378 8377 0 -1 0 58473 0 0 0 91924 100 0 0 25 0 1 0 719337261 251871232 58451 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 61492 58451 1111 63 0 61429 0
vsize: 245968
[startup+930.118 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14034
Raw data (stat): 14032 (bsolo_mis) R 14031 8378 8377 0 -1 0 58627 0 0 0 92924 100 0 0 25 0 1 0 719337261 252469248 58605 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 61638 58605 1111 63 0 61575 0
vsize: 246552
[startup+940.118 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14034
Raw data (stat): 14032 (bsolo_mis) R 14031 8378 8377 0 -1 0 58780 0 0 0 93924 101 0 0 25 0 1 0 719337261 253071360 58758 4294967295 134512640 134714540 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 61785 58758 1111 63 0 61722 0
vsize: 247140
[startup+950.118 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14034
Raw data (stat): 14032 (bsolo_mis) R 14031 8378 8377 0 -1 0 58936 0 0 0 94924 101 0 0 25 0 1 0 719337261 253669376 58914 4294967295 134512640 134714540 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 61931 58914 1111 63 0 61868 0
vsize: 247724
[startup+960.123 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14034
Raw data (stat): 14032 (bsolo_mis) R 14031 8378 8377 0 -1 0 59098 0 0 0 95924 101 0 0 25 0 1 0 719337261 254418944 59076 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 62114 59076 1111 63 0 62051 0
vsize: 248456
[startup+970.123 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14034
Raw data (stat): 14032 (bsolo_mis) R 14031 8378 8377 0 -1 0 59252 0 0 0 96924 101 0 0 25 0 1 0 719337261 255016960 59230 4294967295 134512640 134714540 3221224592 3221222820 1077414383 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 62260 59230 1111 63 0 62197 0
vsize: 249040
[startup+980.124 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14034
Raw data (stat): 14032 (bsolo_mis) R 14031 8378 8377 0 -1 0 59414 0 0 0 97924 101 0 0 25 0 1 0 719337261 255614976 59392 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 62406 59392 1111 63 0 62343 0
vsize: 249624
[startup+990.125 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14034
Raw data (stat): 14032 (bsolo_mis) R 14031 8378 8377 0 -1 0 59583 0 0 0 98924 102 0 0 25 0 1 0 719337261 256368640 59561 4294967295 134512640 134714540 3221224592 3221223248 134527935 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 62590 59561 1111 63 0 62527 0
vsize: 250360
[startup+1000.12 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14034
Raw data (stat): 14032 (bsolo_mis) R 14031 8378 8377 0 -1 0 59752 0 0 0 99924 102 0 0 25 0 1 0 719337261 257118208 59730 4294967295 134512640 134714540 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 62773 59730 1111 63 0 62710 0
vsize: 251092
[startup+1010.12 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14034
Raw data (stat): 14032 (bsolo_mis) R 14031 8378 8377 0 -1 0 59913 0 0 0 100924 102 0 0 25 0 1 0 719337261 257712128 59891 4294967295 134512640 134714540 3221224592 3221222820 1077414433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 62918 59891 1111 63 0 62855 0
vsize: 251672
[startup+1020.13 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14034
Raw data (stat): 14032 (bsolo_mis) R 14031 8378 8377 0 -1 0 60090 0 0 0 101924 103 0 0 25 0 1 0 719337261 258465792 60068 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 63102 60068 1111 63 0 63039 0
vsize: 252408
[startup+1030.13 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14034
Raw data (stat): 14032 (bsolo_mis) R 14031 8378 8377 0 -1 0 60258 0 0 0 102924 103 0 0 25 0 1 0 719337261 259067904 60236 4294967295 134512640 134714540 3221224592 3221222820 1077414383 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 63249 60236 1111 63 0 63186 0
vsize: 252996
[startup+1040.13 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14034
Raw data (stat): 14032 (bsolo_mis) R 14031 8378 8377 0 -1 0 60429 0 0 0 103924 103 0 0 25 0 1 0 719337261 259809280 60407 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 63430 60407 1111 63 0 63367 0
vsize: 253720
[startup+1050.13 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14034
Raw data (stat): 14032 (bsolo_mis) R 14031 8378 8377 0 -1 0 60604 0 0 0 104924 103 0 0 25 0 1 0 719337261 260530176 60582 4294967295 134512640 134714540 3221224592 3221222820 1077414351 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 63606 60582 1111 63 0 63543 0
vsize: 254424
[startup+1060.13 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14034
Raw data (stat): 14032 (bsolo_mis) R 14031 8378 8377 0 -1 0 60781 0 0 0 105924 104 0 0 25 0 1 0 719337261 261283840 60759 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 63790 60759 1111 63 0 63727 0
vsize: 255160
[startup+1070.13 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14034
Raw data (stat): 14032 (bsolo_mis) R 14031 8378 8377 0 -1 0 60957 0 0 0 106924 104 0 0 25 0 1 0 719337261 262033408 60935 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 63973 60935 1111 63 0 63910 0
vsize: 255892
[startup+1080.13 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14034
Raw data (stat): 14032 (bsolo_mis) R 14031 8378 8377 0 -1 0 61134 0 0 0 107924 104 0 0 25 0 1 0 719337261 262635520 61112 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 64120 61112 1111 63 0 64057 0
vsize: 256480
[startup+1090.13 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14034
Raw data (stat): 14032 (bsolo_mis) R 14031 8378 8377 0 -1 0 61318 0 0 0 108924 105 0 0 25 0 1 0 719337261 263380992 61296 4294967295 134512640 134714540 3221224592 3221222820 1077414382 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 64302 61296 1111 63 0 64239 0
vsize: 257208
[startup+1100.13 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14034
Raw data (stat): 14032 (bsolo_mis) R 14031 8378 8377 0 -1 0 61500 0 0 0 109923 105 0 0 25 0 1 0 719337261 264130560 61478 4294967295 134512640 134714540 3221224592 3221222820 1077414349 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 64485 61478 1111 63 0 64422 0
vsize: 257940
[startup+1110.13 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14034
Raw data (stat): 14032 (bsolo_mis) R 14031 8378 8377 0 -1 0 61684 0 0 0 110923 106 0 0 25 0 1 0 719337261 264880128 61662 4294967295 134512640 134714540 3221224592 3221222820 1077414401 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 64668 61662 1111 63 0 64605 0
vsize: 258672
[startup+1120.14 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14034
Raw data (stat): 14032 (bsolo_mis) R 14031 8378 8377 0 -1 0 61869 0 0 0 111923 106 0 0 25 0 1 0 719337261 265629696 61847 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 64851 61847 1111 63 0 64788 0
vsize: 259404
[startup+1130.14 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14034
Raw data (stat): 14032 (bsolo_mis) R 14031 8378 8377 0 -1 0 62059 0 0 0 112923 106 0 0 25 0 1 0 719337261 266530816 62037 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 65071 62037 1111 63 0 65008 0
vsize: 260284
[startup+1140.15 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14034
Raw data (stat): 14032 (bsolo_mis) R 14031 8378 8377 0 -1 0 62251 0 0 0 113924 107 0 0 25 0 1 0 719337261 267280384 62229 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 65254 62229 1111 63 0 65191 0
vsize: 261016
[startup+1150.15 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14034
Raw data (stat): 14032 (bsolo_mis) R 14031 8378 8377 0 -1 0 62442 0 0 0 114923 108 0 0 25 0 1 0 719337261 268029952 62420 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 65437 62420 1111 63 0 65374 0
vsize: 261748
[startup+1160.15 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14034
Raw data (stat): 14032 (bsolo_mis) R 14031 8378 8377 0 -1 0 62647 0 0 0 115924 108 0 0 25 0 1 0 719337261 268931072 62625 4294967295 134512640 134714540 3221224592 3221222820 1077414435 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 65657 62625 1111 63 0 65594 0
vsize: 262628
[startup+1170.15 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14034
Raw data (stat): 14032 (bsolo_mis) R 14031 8378 8377 0 -1 0 62837 0 0 0 116924 108 0 0 25 0 1 0 719337261 269676544 62815 4294967295 134512640 134714540 3221224592 3221222820 1077414382 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 65839 62815 1111 63 0 65776 0
vsize: 263356
[startup+1180.16 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14034
Raw data (stat): 14032 (bsolo_mis) R 14031 8378 8377 0 -1 0 63041 0 0 0 117924 108 0 0 25 0 1 0 719337261 270426112 63019 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 66022 63019 1111 63 0 65959 0
vsize: 264088
[startup+1190.16 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14034
Raw data (stat): 14032 (bsolo_mis) R 14031 8378 8377 0 -1 0 63274 0 0 0 118924 109 0 0 25 0 1 0 719337261 271691776 63252 4294967295 134512640 134714540 3221224592 3221222820 1077414432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 66331 63252 1111 63 0 66268 0
vsize: 265324
[startup+1200.16 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14034
Raw data (stat): 14032 (bsolo_mis) R 14031 8378 8377 0 -1 0 63485 0 0 0 119923 109 0 0 25 0 1 0 719337261 272584704 63463 4294967295 134512640 134714540 3221224592 3221222820 1077414383 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 66549 63463 1111 63 0 66486 0
vsize: 266196
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.3 s]
Raw data (loadavg): 0.99 0.97 0.91 1/55 14034
Raw data (stat): 14032 (bsolo_mis) Z 14031 8378 8377 0 -1 1036 63485 0 0 0 119923 121 0 0 23 0 1 0 719337261 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.3
CPU time (s): 1200.45
CPU user time (s): 1199.24
CPU system time (s): 1.21281
CPU usage (%): 100.013
Max. virtual memory (Kb): 266196
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####