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/MIPLIB/miplib2003/normalized-mps-v2-13-7-sp97ar.opb
MD5SUM	d98db64f69c8547ad0880486d1128dd0
Bench Category	optimization, big integers (OPTBIGINT)
Has Objective Function	YES
Satisfiable	NO
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	183313
Biggest coefficient in the objective function	19194096394240
Number of bits for the biggest coefficient in the objective function	45
Sum of the numbers in the objective function	127830561163966644
Number of bits of the sum of numbers in the objective function	57
Biggest number in a constraint	19194096394240
Number of bits of the biggest number in a constraint	45
Biggest sum of numbers in a constraint	127830561163966644
Number of bits of the biggest sum of numbers	57
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	1.68874
Number of variables	183313
Total number of constraints	1761
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	1761
Minimum length of a constraint	13
Maximum length of a constraint	32019
Trace number 27198

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc1 THE 2005-05-24 19:59:37 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=18021 boxname=wulflinc1 idbench=1387 idsolver=3 numberseed=0
MD5SUM SOLVER: 03a6a792daea978e4202f78851741568  /oldhome/oroussel/solvers/bsolo_mis
MD5SUM BENCH:  d98db64f69c8547ad0880486d1128dd0  /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-13-7-sp97ar.opb
REAL COMMAND:  bsolo_mis /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-13-7-sp97ar.opb
IDLAUNCH: 18021
/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:        518480 kB
Buffers:         38940 kB
Cached:         449096 kB
SwapCached:          0 kB
Active:         149728 kB
Inactive:       341428 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        518228 kB
SwapTotal:     2097136 kB
SwapFree:      2096968 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           7144 kB
Slab:            19212 kB
Committed_AS:    92716 kB
PageTables:        332 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-24 20:19:41 (client local time) WITH STATUS 0 IN 1200.23 SECONDS
stats: 18021 7 1200.23 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.94 0.96 0.92 2/55 11465
Raw data (stat): 11465 (runsolver) R 11464 8378 8377 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 717869186 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.0015 s]
Raw data (loadavg): 0.95 0.96 0.92 2/55 11465
Raw data (stat): 11465 (bsolo_mis) R 11464 8378 8377 0 -1 0 1476 0 0 0 994 5 0 0 25 0 1 0 717869186 15204352 1454 4294967295 134512640 134714540 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3712 1454 1111 63 0 3649 0
vsize: 14848
[startup+20.0017 s]
Raw data (loadavg): 0.96 0.96 0.92 2/55 11465
Raw data (stat): 11465 (bsolo_mis) R 11464 8378 8377 0 -1 0 1533 0 0 0 1994 5 0 0 25 0 1 0 717869186 15495168 1511 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3783 1511 1111 63 0 3720 0
vsize: 15132
[startup+30.0025 s]
Raw data (loadavg): 0.96 0.96 0.92 2/55 11518
Raw data (stat): 11465 (bsolo_mis) R 11464 8378 8377 0 -1 0 1583 0 0 0 2994 5 0 0 25 0 1 0 717869186 15642624 1561 4294967295 134512640 134714540 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3819 1561 1111 63 0 3756 0
vsize: 15276
[startup+40.0032 s]
Raw data (loadavg): 0.97 0.96 0.92 2/55 11518
Raw data (stat): 11465 (bsolo_mis) R 11464 8378 8377 0 -1 0 1648 0 0 0 3994 6 0 0 25 0 1 0 717869186 15937536 1626 4294967295 134512640 134714540 3221224592 3221222820 1077414383 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3891 1626 1111 63 0 3828 0
vsize: 15564
[startup+50.003 s]
Raw data (loadavg): 0.97 0.96 0.92 2/55 11518
Raw data (stat): 11465 (bsolo_mis) R 11464 8378 8377 0 -1 0 1705 0 0 0 4994 6 0 0 25 0 1 0 717869186 16228352 1683 4294967295 134512640 134714540 3221224592 3221222820 1077414407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3962 1683 1111 63 0 3899 0
vsize: 15848
[startup+60.0028 s]
Raw data (loadavg): 0.98 0.96 0.92 2/55 11518
Raw data (stat): 11465 (bsolo_mis) R 11464 8378 8377 0 -1 0 1762 0 0 0 5994 6 0 0 25 0 1 0 717869186 16375808 1740 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3998 1740 1111 63 0 3935 0
vsize: 15992
[startup+70.003 s]
Raw data (loadavg): 0.98 0.96 0.92 2/55 11518
Raw data (stat): 11465 (bsolo_mis) R 11464 8378 8377 0 -1 0 1819 0 0 0 6994 6 0 0 25 0 1 0 717869186 16666624 1797 4294967295 134512640 134714540 3221224592 3221222820 1077414433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4069 1797 1111 63 0 4006 0
vsize: 16276
[startup+80.0034 s]
Raw data (loadavg): 0.98 0.96 0.92 2/55 11518
Raw data (stat): 11465 (bsolo_mis) R 11464 8378 8377 0 -1 0 1884 0 0 0 7994 6 0 0 25 0 1 0 717869186 16961536 1862 4294967295 134512640 134714540 3221224592 3221222820 1077414435 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4141 1862 1111 63 0 4078 0
vsize: 16564
[startup+90.0032 s]
Raw data (loadavg): 0.98 0.97 0.92 2/55 11520
Raw data (stat): 11465 (bsolo_mis) R 11464 8378 8377 0 -1 0 1941 0 0 0 8994 6 0 0 25 0 1 0 717869186 17108992 1919 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4177 1919 1111 63 0 4114 0
vsize: 16708
[startup+100.003 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 11522
Raw data (stat): 11465 (bsolo_mis) R 11464 8378 8377 0 -1 0 2001 0 0 0 9994 6 0 0 25 0 1 0 717869186 17387520 1979 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4245 1979 1111 63 0 4182 0
vsize: 16980
[startup+110.004 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 11522
Raw data (stat): 11465 (bsolo_mis) R 11464 8378 8377 0 -1 0 2058 0 0 0 10994 6 0 0 25 0 1 0 717869186 17674240 2036 4294967295 134512640 134714540 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4315 2036 1111 63 0 4252 0
vsize: 17260
[startup+120.004 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 11522
Raw data (stat): 11465 (bsolo_mis) R 11464 8378 8377 0 -1 0 2116 0 0 0 11994 6 0 0 25 0 1 0 717869186 17817600 2094 4294967295 134512640 134714540 3221224592 3221222820 1077414351 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4350 2094 1111 63 0 4287 0
vsize: 17400
[startup+130.005 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 11522
Raw data (stat): 11465 (bsolo_mis) R 11464 8378 8377 0 -1 0 2173 0 0 0 12995 6 0 0 25 0 1 0 717869186 18116608 2151 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4423 2151 1111 63 0 4360 0
vsize: 17692
[startup+140.005 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 11522
Raw data (stat): 11465 (bsolo_mis) R 11464 8378 8377 0 -1 0 2229 0 0 0 13995 6 0 0 25 0 1 0 717869186 18407424 2207 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4494 2207 1111 63 0 4431 0
vsize: 17976
[startup+150.005 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 11522
Raw data (stat): 11465 (bsolo_mis) R 11464 8378 8377 0 -1 0 2286 0 0 0 14995 6 0 0 25 0 1 0 717869186 18550784 2264 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4529 2264 1111 63 0 4466 0
vsize: 18116
[startup+160.005 s]
Raw data (loadavg): 1.07 0.99 0.92 2/55 11522
Raw data (stat): 11465 (bsolo_mis) R 11464 8378 8377 0 -1 0 2344 0 0 0 15995 6 0 0 25 0 1 0 717869186 18841600 2322 4294967295 134512640 134714540 3221224592 3221222820 1077414410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4600 2322 1111 63 0 4537 0
vsize: 18400
[startup+170.004 s]
Raw data (loadavg): 1.06 0.99 0.92 2/55 11522
Raw data (stat): 11465 (bsolo_mis) R 11464 8378 8377 0 -1 0 2401 0 0 0 16995 7 0 0 25 0 1 0 717869186 18993152 2379 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4637 2379 1111 63 0 4574 0
vsize: 18548
[startup+180.005 s]
Raw data (loadavg): 1.05 0.99 0.92 2/55 11522
Raw data (stat): 11465 (bsolo_mis) R 11464 8378 8377 0 -1 0 2451 0 0 0 17995 7 0 0 25 0 1 0 717869186 19283968 2429 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4708 2429 1111 63 0 4645 0
vsize: 18832
[startup+190.006 s]
Raw data (loadavg): 1.04 0.99 0.92 2/55 11522
Raw data (stat): 11465 (bsolo_mis) R 11464 8378 8377 0 -1 0 2508 0 0 0 18995 7 0 0 25 0 1 0 717869186 19427328 2486 4294967295 134512640 134714540 3221224592 3221222820 1077414426 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4743 2486 1111 63 0 4680 0
vsize: 18972
[startup+200.006 s]
Raw data (loadavg): 1.04 0.99 0.92 2/55 11522
Raw data (stat): 11465 (bsolo_mis) R 11464 8378 8377 0 -1 0 2576 0 0 0 19995 7 0 0 25 0 1 0 717869186 19714048 2554 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4813 2554 1111 63 0 4750 0
vsize: 19252
[startup+210.006 s]
Raw data (loadavg): 1.03 0.99 0.92 2/55 11522
Raw data (stat): 11465 (bsolo_mis) R 11464 8378 8377 0 -1 0 2634 0 0 0 20995 7 0 0 25 0 1 0 717869186 20013056 2612 4294967295 134512640 134714540 3221224592 3221222820 1077414426 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4886 2612 1111 63 0 4823 0
vsize: 19544
[startup+220.005 s]
Raw data (loadavg): 1.02 0.99 0.92 2/55 11522
Raw data (stat): 11465 (bsolo_mis) R 11464 8378 8377 0 -1 0 2691 0 0 0 21995 7 0 0 25 0 1 0 717869186 20303872 2669 4294967295 134512640 134714540 3221224592 3221222820 1077414433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4957 2669 1111 63 0 4894 0
vsize: 19828
[startup+230.006 s]
Raw data (loadavg): 1.02 0.99 0.92 2/55 11522
Raw data (stat): 11465 (bsolo_mis) R 11464 8378 8377 0 -1 0 2748 0 0 0 22996 7 0 0 25 0 1 0 717869186 20447232 2726 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4992 2726 1111 63 0 4929 0
vsize: 19968
[startup+240.006 s]
Raw data (loadavg): 1.02 0.99 0.92 2/55 11522
Raw data (stat): 11465 (bsolo_mis) R 11464 8378 8377 0 -1 0 2805 0 0 0 23996 7 0 0 25 0 1 0 717869186 20738048 2783 4294967295 134512640 134714540 3221224592 3221222820 1077414401 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5063 2783 1111 63 0 5000 0
vsize: 20252
[startup+250.006 s]
Raw data (loadavg): 1.01 0.99 0.92 2/55 11522
Raw data (stat): 11465 (bsolo_mis) R 11464 8378 8377 0 -1 0 2863 0 0 0 24996 7 0 0 25 0 1 0 717869186 20885504 2841 4294967295 134512640 134714540 3221224592 3221222820 1077414351 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5099 2841 1111 63 0 5036 0
vsize: 20396
[startup+260.007 s]
Raw data (loadavg): 1.01 0.99 0.92 2/55 11522
Raw data (stat): 11465 (bsolo_mis) R 11464 8378 8377 0 -1 0 2921 0 0 0 25996 7 0 0 25 0 1 0 717869186 21180416 2899 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5171 2899 1111 63 0 5108 0
vsize: 20684
[startup+270.006 s]
Raw data (loadavg): 1.01 0.99 0.92 2/55 11522
Raw data (stat): 11465 (bsolo_mis) R 11464 8378 8377 0 -1 0 2978 0 0 0 26996 7 0 0 25 0 1 0 717869186 21471232 2956 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5242 2956 1111 63 0 5179 0
vsize: 20968
[startup+280.007 s]
Raw data (loadavg): 1.09 1.00 0.93 2/55 11522
Raw data (stat): 11465 (bsolo_mis) R 11464 8378 8377 0 -1 0 3035 0 0 0 27996 8 0 0 25 0 1 0 717869186 21618688 3013 4294967295 134512640 134714540 3221224592 3221222820 1077414376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5278 3013 1111 63 0 5215 0
vsize: 21112
[startup+290.008 s]
Raw data (loadavg): 1.15 1.02 0.94 2/55 11522
Raw data (stat): 11465 (bsolo_mis) R 11464 8378 8377 0 -1 0 3099 0 0 0 28996 8 0 0 25 0 1 0 717869186 21913600 3077 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5350 3077 1111 63 0 5287 0
vsize: 21400
[startup+300.008 s]
Raw data (loadavg): 1.12 1.02 0.94 2/55 11522
Raw data (stat): 11465 (bsolo_mis) R 11464 8378 8377 0 -1 0 3150 0 0 0 29996 8 0 0 25 0 1 0 717869186 22061056 3128 4294967295 134512640 134714540 3221224592 3221222820 1077414374 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5386 3128 1111 63 0 5323 0
vsize: 21544
[startup+310.008 s]
Raw data (loadavg): 1.10 1.02 0.94 2/55 11522
Raw data (stat): 11465 (bsolo_mis) R 11464 8378 8377 0 -1 0 3213 0 0 0 30996 8 0 0 25 0 1 0 717869186 22351872 3191 4294967295 134512640 134714540 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5457 3191 1111 63 0 5394 0
vsize: 21828
[startup+320.008 s]
Raw data (loadavg): 1.09 1.02 0.94 2/55 11522
Raw data (stat): 11465 (bsolo_mis) R 11464 8378 8377 0 -1 0 3270 0 0 0 31996 8 0 0 25 0 1 0 717869186 22642688 3248 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5528 3248 1111 63 0 5465 0
vsize: 22112
[startup+330.009 s]
Raw data (loadavg): 1.07 1.02 0.94 2/55 11522
Raw data (stat): 11465 (bsolo_mis) R 11464 8378 8377 0 -1 0 3328 0 0 0 32996 8 0 0 25 0 1 0 717869186 22786048 3306 4294967295 134512640 134714540 3221224592 3221222820 1077414374 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5563 3306 1111 63 0 5500 0
vsize: 22252
[startup+340.009 s]
Raw data (loadavg): 1.06 1.01 0.94 2/55 11522
Raw data (stat): 11465 (bsolo_mis) R 11464 8378 8377 0 -1 0 3385 0 0 0 33996 9 0 0 25 0 1 0 717869186 23080960 3363 4294967295 134512640 134714540 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5635 3363 1111 63 0 5572 0
vsize: 22540
[startup+350.009 s]
Raw data (loadavg): 1.05 1.01 0.94 2/55 11522
Raw data (stat): 11465 (bsolo_mis) R 11464 8378 8377 0 -1 0 3442 0 0 0 34996 9 0 0 25 0 1 0 717869186 23371776 3420 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5706 3420 1111 63 0 5643 0
vsize: 22824
[startup+360.009 s]
Raw data (loadavg): 1.04 1.01 0.94 2/55 11522
Raw data (stat): 11465 (bsolo_mis) R 11464 8378 8377 0 -1 0 3499 0 0 0 35996 9 0 0 25 0 1 0 717869186 23519232 3477 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5742 3477 1111 63 0 5679 0
vsize: 22968
[startup+370.009 s]
Raw data (loadavg): 1.04 1.01 0.94 2/55 11524
Raw data (stat): 11465 (bsolo_mis) R 11464 8378 8377 0 -1 0 3556 0 0 0 36997 9 0 0 25 0 1 0 717869186 23810048 3534 4294967295 134512640 134714540 3221224592 3221222820 1077414399 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5813 3534 1111 63 0 5750 0
vsize: 23252
[startup+380.01 s]
Raw data (loadavg): 1.03 1.01 0.94 2/55 11524
Raw data (stat): 11465 (bsolo_mis) R 11464 8378 8377 0 -1 0 3621 0 0 0 37997 9 0 0 25 0 1 0 717869186 24104960 3599 4294967295 134512640 134714540 3221224592 3221222820 1077414401 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5885 3599 1111 63 0 5822 0
vsize: 23540
[startup+390.011 s]
Raw data (loadavg): 1.02 1.01 0.94 2/55 11524
Raw data (stat): 11465 (bsolo_mis) R 11464 8378 8377 0 -1 0 3684 0 0 0 38997 9 0 0 25 0 1 0 717869186 24387584 3662 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5954 3662 1111 63 0 5891 0
vsize: 23816
[startup+400.01 s]
Raw data (loadavg): 1.02 1.01 0.94 2/55 11524
Raw data (stat): 11465 (bsolo_mis) R 11464 8378 8377 0 -1 0 3741 0 0 0 39997 9 0 0 25 0 1 0 717869186 24530944 3719 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5989 3719 1111 63 0 5926 0
vsize: 23956
[startup+410.01 s]
Raw data (loadavg): 1.02 1.01 0.94 2/55 11524
Raw data (stat): 11465 (bsolo_mis) R 11464 8378 8377 0 -1 0 3798 0 0 0 40997 9 0 0 25 0 1 0 717869186 24821760 3776 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6060 3776 1111 63 0 5997 0
vsize: 24240
[startup+420.01 s]
Raw data (loadavg): 1.01 1.01 0.94 2/55 11524
Raw data (stat): 11465 (bsolo_mis) R 11464 8378 8377 0 -1 0 3856 0 0 0 41997 9 0 0 25 0 1 0 717869186 24973312 3834 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6097 3834 1111 63 0 6034 0
vsize: 24388
[startup+430.011 s]
Raw data (loadavg): 1.01 1.01 0.94 2/55 11524
Raw data (stat): 11465 (bsolo_mis) R 11464 8378 8377 0 -1 0 3913 0 0 0 42997 9 0 0 25 0 1 0 717869186 25264128 3891 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6168 3891 1111 63 0 6105 0
vsize: 24672
[startup+440.012 s]
Raw data (loadavg): 1.01 1.00 0.94 2/55 11524
Raw data (stat): 11465 (bsolo_mis) R 11464 8378 8377 0 -1 0 3971 0 0 0 43997 9 0 0 25 0 1 0 717869186 25554944 3949 4294967295 134512640 134714540 3221224592 3221222820 1077414401 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6239 3949 1111 63 0 6176 0
vsize: 24956
[startup+450.011 s]
Raw data (loadavg): 1.01 1.00 0.94 2/55 11524
Raw data (stat): 11465 (bsolo_mis) R 11464 8378 8377 0 -1 0 4028 0 0 0 44997 10 0 0 25 0 1 0 717869186 25702400 4006 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6275 4006 1111 63 0 6212 0
vsize: 25100
[startup+460.012 s]
Raw data (loadavg): 1.01 1.00 0.94 2/55 11524
Raw data (stat): 11465 (bsolo_mis) R 11464 8378 8377 0 -1 0 4093 0 0 0 45997 10 0 0 25 0 1 0 717869186 25997312 4071 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6347 4071 1111 63 0 6284 0
vsize: 25388
[startup+470.012 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 11524
Raw data (stat): 11465 (bsolo_mis) R 11464 8378 8377 0 -1 0 4150 0 0 0 46997 10 0 0 25 0 1 0 717869186 26288128 4128 4294967295 134512640 134714540 3221224592 3221222820 1077414360 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6418 4128 1111 63 0 6355 0
vsize: 25672
[startup+480.012 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 11524
Raw data (stat): 11465 (bsolo_mis) R 11464 8378 8377 0 -1 0 4208 0 0 0 47997 10 0 0 25 0 1 0 717869186 26435584 4186 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6454 4186 1111 63 0 6391 0
vsize: 25816
[startup+490.012 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 11524
Raw data (stat): 11465 (bsolo_mis) R 11464 8378 8377 0 -1 0 4265 0 0 0 48997 10 0 0 25 0 1 0 717869186 26726400 4243 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6525 4243 1111 63 0 6462 0
vsize: 26100
[startup+500.012 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 11524
Raw data (stat): 11465 (bsolo_mis) R 11464 8378 8377 0 -1 0 4330 0 0 0 49997 10 0 0 25 0 1 0 717869186 27021312 4308 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6597 4308 1111 63 0 6534 0
vsize: 26388
[startup+510.012 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 11524
Raw data (stat): 11465 (bsolo_mis) R 11464 8378 8377 0 -1 0 4387 0 0 0 50997 11 0 0 25 0 1 0 717869186 27168768 4365 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6633 4365 1111 63 0 6570 0
vsize: 26532
[startup+520.012 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 11524
Raw data (stat): 11465 (bsolo_mis) R 11464 8378 8377 0 -1 0 4444 0 0 0 51997 11 0 0 25 0 1 0 717869186 27459584 4422 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6704 4422 1111 63 0 6641 0
vsize: 26816
[startup+530.012 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 11524
Raw data (stat): 11465 (bsolo_mis) R 11464 8378 8377 0 -1 0 4508 0 0 0 52997 11 0 0 25 0 1 0 717869186 27750400 4486 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6775 4486 1111 63 0 6712 0
vsize: 27100
[startup+540.011 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 11524
Raw data (stat): 11465 (bsolo_mis) R 11464 8378 8377 0 -1 0 4566 0 0 0 53997 11 0 0 25 0 1 0 717869186 27893760 4544 4294967295 134512640 134714540 3221224592 3221222820 1077414358 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6810 4544 1111 63 0 6747 0
vsize: 27240
[startup+550.012 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 11524
Raw data (stat): 11465 (bsolo_mis) R 11464 8378 8377 0 -1 0 4623 0 0 0 54997 11 0 0 25 0 1 0 717869186 28192768 4601 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6883 4601 1111 63 0 6820 0
vsize: 27532
[startup+560.012 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 11524
Raw data (stat): 11465 (bsolo_mis) R 11464 8378 8377 0 -1 0 4680 0 0 0 55997 12 0 0 25 0 1 0 717869186 28336128 4658 4294967295 134512640 134714540 3221224592 3221222820 1077414433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6918 4658 1111 63 0 6855 0
vsize: 27672
[startup+570.012 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 11524
Raw data (stat): 11465 (bsolo_mis) R 11464 8378 8377 0 -1 0 4738 0 0 0 56997 12 0 0 25 0 1 0 717869186 28626944 4716 4294967295 134512640 134714540 3221224592 3221222820 1077414433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6989 4716 1111 63 0 6926 0
vsize: 27956
[startup+580.012 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 11524
Raw data (stat): 11465 (bsolo_mis) R 11464 8378 8377 0 -1 0 4803 0 0 0 57997 12 0 0 25 0 1 0 717869186 28917760 4781 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7060 4781 1111 63 0 6997 0
vsize: 28240
[startup+590.011 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 11524
Raw data (stat): 11465 (bsolo_mis) R 11464 8378 8377 0 -1 0 4860 0 0 0 58997 12 0 0 25 0 1 0 717869186 29069312 4838 4294967295 134512640 134714540 3221224592 3221222820 1077414432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7097 4838 1111 63 0 7034 0
vsize: 28388
[startup+600.011 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 11524
Raw data (stat): 11465 (bsolo_mis) R 11464 8378 8377 0 -1 0 4917 0 0 0 59997 12 0 0 25 0 1 0 717869186 29360128 4895 4294967295 134512640 134714540 3221224592 3221222820 1077414408 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7168 4895 1111 63 0 7105 0
vsize: 28672
[startup+610.012 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 11524
Raw data (stat): 11465 (bsolo_mis) R 11464 8378 8377 0 -1 0 4974 0 0 0 60998 12 0 0 25 0 1 0 717869186 29650944 4952 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7239 4952 1111 63 0 7176 0
vsize: 28956
[startup+620.012 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 11524
Raw data (stat): 11465 (bsolo_mis) R 11464 8378 8377 0 -1 0 5031 0 0 0 61998 12 0 0 25 0 1 0 717869186 29794304 5009 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7274 5009 1111 63 0 7211 0
vsize: 29096
[startup+630.012 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 11524
Raw data (stat): 11465 (bsolo_mis) R 11464 8378 8377 0 -1 0 5096 0 0 0 62998 12 0 0 25 0 1 0 717869186 30093312 5074 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7347 5074 1111 63 0 7284 0
vsize: 29388
[startup+640.012 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 11524
Raw data (stat): 11465 (bsolo_mis) R 11464 8378 8377 0 -1 0 5154 0 0 0 63998 13 0 0 25 0 1 0 717869186 30384128 5132 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7418 5132 1111 63 0 7355 0
vsize: 29672
[startup+650.012 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 11524
Raw data (stat): 11465 (bsolo_mis) R 11464 8378 8377 0 -1 0 5211 0 0 0 64998 13 0 0 25 0 1 0 717869186 30527488 5189 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7453 5189 1111 63 0 7390 0
vsize: 29812
[startup+660.012 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 11524
Raw data (stat): 11465 (bsolo_mis) R 11464 8378 8377 0 -1 0 5274 0 0 0 65998 13 0 0 25 0 1 0 717869186 30818304 5252 4294967295 134512640 134714540 3221224592 3221222820 1077414424 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7524 5252 1111 63 0 7461 0
vsize: 30096
[startup+670.021 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 11524
Raw data (stat): 11465 (bsolo_mis) R 11464 8378 8377 0 -1 0 5339 0 0 0 66998 13 0 0 25 0 1 0 717869186 31117312 5317 4294967295 134512640 134714540 3221224592 3221222820 1077414383 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7597 5317 1111 63 0 7534 0
vsize: 30388
[startup+680.02 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 11524
Raw data (stat): 11465 (bsolo_mis) R 11464 8378 8377 0 -1 0 5396 0 0 0 67998 13 0 0 25 0 1 0 717869186 31260672 5374 4294967295 134512640 134714540 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7632 5374 1111 63 0 7569 0
vsize: 30528
[startup+690.02 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 11524
Raw data (stat): 11465 (bsolo_mis) R 11464 8378 8377 0 -1 0 5453 0 0 0 68999 13 0 0 25 0 1 0 717869186 31551488 5431 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7703 5431 1111 63 0 7640 0
vsize: 30812
[startup+700.02 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 11524
Raw data (stat): 11465 (bsolo_mis) R 11464 8378 8377 0 -1 0 5510 0 0 0 69999 13 0 0 25 0 1 0 717869186 31842304 5488 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7774 5488 1111 63 0 7711 0
vsize: 31096
[startup+710.021 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 11524
Raw data (stat): 11465 (bsolo_mis) R 11464 8378 8377 0 -1 0 5568 0 0 0 70999 13 0 0 25 0 1 0 717869186 31993856 5546 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7811 5546 1111 63 0 7748 0
vsize: 31244
[startup+720.021 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 11524
Raw data (stat): 11465 (bsolo_mis) R 11464 8378 8377 0 -1 0 5625 0 0 0 71999 13 0 0 25 0 1 0 717869186 32284672 5603 4294967295 134512640 134714540 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7882 5603 1111 63 0 7819 0
vsize: 31528
[startup+730.021 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 11524
Raw data (stat): 11465 (bsolo_mis) R 11464 8378 8377 0 -1 0 5689 0 0 0 72999 14 0 0 25 0 1 0 717869186 32575488 5667 4294967295 134512640 134714540 3221224592 3221222820 1077414435 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7953 5667 1111 63 0 7890 0
vsize: 31812
[startup+740.021 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 11524
Raw data (stat): 11465 (bsolo_mis) R 11464 8378 8377 0 -1 0 5752 0 0 0 73999 14 0 0 25 0 1 0 717869186 32722944 5730 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7989 5730 1111 63 0 7926 0
vsize: 31956
[startup+750.021 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 11524
Raw data (stat): 11465 (bsolo_mis) R 11464 8378 8377 0 -1 0 5811 0 0 0 74999 14 0 0 25 0 1 0 717869186 33017856 5789 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8061 5789 1111 63 0 7998 0
vsize: 32244
[startup+760.021 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 11524
Raw data (stat): 11465 (bsolo_mis) R 11464 8378 8377 0 -1 0 5878 0 0 0 75999 14 0 0 25 0 1 0 717869186 33316864 5856 4294967295 134512640 134714540 3221224592 3221222820 1077414385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8134 5856 1111 63 0 8071 0
vsize: 32536
[startup+770.021 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 11524
Raw data (stat): 11465 (bsolo_mis) R 11464 8378 8377 0 -1 0 5942 0 0 0 76999 14 0 0 25 0 1 0 717869186 33607680 5920 4294967295 134512640 134714540 3221224592 3221222820 1077414410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8205 5920 1111 63 0 8142 0
vsize: 32820
[startup+780.02 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 11524
Raw data (stat): 11465 (bsolo_mis) R 11464 8378 8377 0 -1 0 5999 0 0 0 77999 14 0 0 25 0 1 0 717869186 33898496 5977 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8276 5977 1111 63 0 8213 0
vsize: 33104
[startup+790.02 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 11524
Raw data (stat): 11465 (bsolo_mis) R 11464 8378 8377 0 -1 0 6064 0 0 0 78999 14 0 0 25 0 1 0 717869186 34050048 6042 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8313 6042 1111 63 0 8250 0
vsize: 33252
[startup+800.02 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 11524
Raw data (stat): 11465 (bsolo_mis) R 11464 8378 8377 0 -1 0 6128 0 0 0 80000 14 0 0 25 0 1 0 717869186 34340864 6106 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8384 6106 1111 63 0 8321 0
vsize: 33536
[startup+810.021 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 11524
Raw data (stat): 11465 (bsolo_mis) R 11464 8378 8377 0 -1 0 6185 0 0 0 81000 14 0 0 25 0 1 0 717869186 34631680 6163 4294967295 134512640 134714540 3221224592 3221222820 1077414426 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8455 6163 1111 63 0 8392 0
vsize: 33820
[startup+820.02 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 11524
Raw data (stat): 11465 (bsolo_mis) R 11464 8378 8377 0 -1 0 6243 0 0 0 82000 14 0 0 25 0 1 0 717869186 34779136 6221 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8491 6221 1111 63 0 8428 0
vsize: 33964
[startup+830.02 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 11524
Raw data (stat): 11465 (bsolo_mis) R 11464 8378 8377 0 -1 0 6308 0 0 0 83000 14 0 0 25 0 1 0 717869186 35074048 6286 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8563 6286 1111 63 0 8500 0
vsize: 34252
[startup+840.02 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 11524
Raw data (stat): 11465 (bsolo_mis) R 11464 8378 8377 0 -1 0 6365 0 0 0 84000 14 0 0 25 0 1 0 717869186 35364864 6343 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8634 6343 1111 63 0 8571 0
vsize: 34536
[startup+850.02 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 11524
Raw data (stat): 11465 (bsolo_mis) R 11464 8378 8377 0 -1 0 6429 0 0 0 85000 15 0 0 25 0 1 0 717869186 35655680 6407 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8705 6407 1111 63 0 8642 0
vsize: 34820
[startup+860.021 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 11524
Raw data (stat): 11465 (bsolo_mis) R 11464 8378 8377 0 -1 0 6486 0 0 0 86000 15 0 0 25 0 1 0 717869186 35803136 6464 4294967295 134512640 134714540 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8741 6464 1111 63 0 8678 0
vsize: 34964
[startup+870.02 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 11524
Raw data (stat): 11465 (bsolo_mis) R 11464 8378 8377 0 -1 0 6545 0 0 0 87000 15 0 0 25 0 1 0 717869186 36098048 6523 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8813 6523 1111 63 0 8750 0
vsize: 35252
[startup+880.02 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 11524
Raw data (stat): 11465 (bsolo_mis) R 11464 8378 8377 0 -1 0 6608 0 0 0 88000 15 0 0 25 0 1 0 717869186 36388864 6586 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8884 6586 1111 63 0 8821 0
vsize: 35536
[startup+890.02 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 11524
Raw data (stat): 11465 (bsolo_mis) R 11464 8378 8377 0 -1 0 6665 0 0 0 89000 15 0 0 25 0 1 0 717869186 36536320 6643 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8920 6643 1111 63 0 8857 0
vsize: 35680
[startup+900.02 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 11524
Raw data (stat): 11465 (bsolo_mis) R 11464 8378 8377 0 -1 0 6723 0 0 0 90000 16 0 0 25 0 1 0 717869186 36827136 6701 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8991 6701 1111 63 0 8928 0
vsize: 35964
[startup+910.02 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 11524
Raw data (stat): 11465 (bsolo_mis) R 11464 8378 8377 0 -1 0 6788 0 0 0 90999 16 0 0 25 0 1 0 717869186 37122048 6766 4294967295 134512640 134714540 3221224592 3221222820 1077414401 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9063 6766 1111 63 0 9000 0
vsize: 36252
[startup+920.02 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 11524
Raw data (stat): 11465 (bsolo_mis) R 11464 8378 8377 0 -1 0 6846 0 0 0 92000 16 0 0 25 0 1 0 717869186 37269504 6824 4294967295 134512640 134714540 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9099 6824 1111 63 0 9036 0
vsize: 36396
[startup+930.02 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 11524
Raw data (stat): 11465 (bsolo_mis) R 11464 8378 8377 0 -1 0 6909 0 0 0 92999 16 0 0 25 0 1 0 717869186 37560320 6887 4294967295 134512640 134714540 3221224592 3221222820 1077414383 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9170 6887 1111 63 0 9107 0
vsize: 36680
[startup+940.02 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 11524
Raw data (stat): 11465 (bsolo_mis) R 11464 8378 8377 0 -1 0 6967 0 0 0 93999 17 0 0 25 0 1 0 717869186 37847040 6945 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9240 6945 1111 63 0 9177 0
vsize: 36960
[startup+950.02 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 11524
Raw data (stat): 11465 (bsolo_mis) R 11464 8378 8377 0 -1 0 7025 0 0 0 94999 17 0 0 25 0 1 0 717869186 37994496 7003 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9276 7003 1111 63 0 9213 0
vsize: 37104
[startup+960.019 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 11524
Raw data (stat): 11465 (bsolo_mis) R 11464 8378 8377 0 -1 0 7075 0 0 0 95999 17 0 0 25 0 1 0 717869186 38289408 7053 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9348 7053 1111 63 0 9285 0
vsize: 37392
[startup+970.02 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 11524
Raw data (stat): 11465 (bsolo_mis) R 11464 8378 8377 0 -1 0 7132 0 0 0 96999 17 0 0 25 0 1 0 717869186 38436864 7110 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9384 7110 1111 63 0 9321 0
vsize: 37536
[startup+980.019 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 11524
Raw data (stat): 11465 (bsolo_mis) R 11464 8378 8377 0 -1 0 7195 0 0 0 97999 17 0 0 25 0 1 0 717869186 38727680 7173 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9455 7173 1111 63 0 9392 0
vsize: 37820
[startup+990.02 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 11524
Raw data (stat): 11465 (bsolo_mis) R 11464 8378 8377 0 -1 0 7254 0 0 0 99000 17 0 0 25 0 1 0 717869186 39022592 7232 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9527 7232 1111 63 0 9464 0
vsize: 38108
[startup+1000.02 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 11524
Raw data (stat): 11465 (bsolo_mis) R 11464 8378 8377 0 -1 0 7311 0 0 0 99999 18 0 0 25 0 1 0 717869186 39170048 7289 4294967295 134512640 134714540 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9563 7289 1111 63 0 9500 0
vsize: 38252
[startup+1010.02 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 11524
Raw data (stat): 11465 (bsolo_mis) R 11464 8378 8377 0 -1 0 7375 0 0 0 100999 18 0 0 25 0 1 0 717869186 39460864 7353 4294967295 134512640 134714540 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9634 7353 1111 63 0 9571 0
vsize: 38536
[startup+1020.02 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 11524
Raw data (stat): 11465 (bsolo_mis) R 11464 8378 8377 0 -1 0 7432 0 0 0 102000 18 0 0 25 0 1 0 717869186 39751680 7410 4294967295 134512640 134714540 3221224592 3221222820 1077414432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9705 7410 1111 63 0 9642 0
vsize: 38820
[startup+1030.02 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 11524
Raw data (stat): 11465 (bsolo_mis) R 11464 8378 8377 0 -1 0 7491 0 0 0 103000 18 0 0 25 0 1 0 717869186 39895040 7469 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9740 7469 1111 63 0 9677 0
vsize: 38960
[startup+1040.02 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 11524
Raw data (stat): 11465 (bsolo_mis) R 11464 8378 8377 0 -1 0 7555 0 0 0 104000 18 0 0 25 0 1 0 717869186 40194048 7533 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9813 7533 1111 63 0 9750 0
vsize: 39252
[startup+1050.02 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 11524
Raw data (stat): 11465 (bsolo_mis) R 11464 8378 8377 0 -1 0 7612 0 0 0 105000 18 0 0 25 0 1 0 717869186 40484864 7590 4294967295 134512640 134714540 3221224592 3221222820 1077414357 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9884 7590 1111 63 0 9821 0
vsize: 39536
[startup+1060.02 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 11524
Raw data (stat): 11465 (bsolo_mis) R 11464 8378 8377 0 -1 0 7676 0 0 0 106000 18 0 0 25 0 1 0 717869186 40628224 7654 4294967295 134512640 134714540 3221224592 3221222820 1077414360 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9919 7654 1111 63 0 9856 0
vsize: 39676
[startup+1070.02 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 11524
Raw data (stat): 11465 (bsolo_mis) R 11464 8378 8377 0 -1 0 7741 0 0 0 107000 18 0 0 25 0 1 0 717869186 40919040 7719 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9990 7719 1111 63 0 9927 0
vsize: 39960
[startup+1080.02 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 11524
Raw data (stat): 11465 (bsolo_mis) R 11464 8378 8377 0 -1 0 7805 0 0 0 108000 19 0 0 25 0 1 0 717869186 41218048 7783 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10063 7783 1111 63 0 10000 0
vsize: 40252
[startup+1090.02 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 11524
Raw data (stat): 11465 (bsolo_mis) R 11464 8378 8377 0 -1 0 7863 0 0 0 109000 19 0 0 25 0 1 0 717869186 41508864 7841 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10134 7841 1111 63 0 10071 0
vsize: 40536
[startup+1100.02 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 11524
Raw data (stat): 11465 (bsolo_mis) R 11464 8378 8377 0 -1 0 7927 0 0 0 110000 19 0 0 25 0 1 0 717869186 41652224 7905 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10169 7905 1111 63 0 10106 0
vsize: 40676
[startup+1110.02 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 11524
Raw data (stat): 11465 (bsolo_mis) R 11464 8378 8377 0 -1 0 7985 0 0 0 111000 19 0 0 25 0 1 0 717869186 41943040 7963 4294967295 134512640 134714540 3221224592 3221222820 1077414408 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10240 7963 1111 63 0 10177 0
vsize: 40960
[startup+1120.02 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 11524
Raw data (stat): 11465 (bsolo_mis) R 11464 8378 8377 0 -1 0 8043 0 0 0 112000 19 0 0 25 0 1 0 717869186 42242048 8021 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10313 8021 1111 63 0 10250 0
vsize: 41252
[startup+1130.02 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 11524
Raw data (stat): 11465 (bsolo_mis) R 11464 8378 8377 0 -1 0 8100 0 0 0 113001 19 0 0 25 0 1 0 717869186 42385408 8078 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10348 8078 1111 63 0 10285 0
vsize: 41392
[startup+1140.02 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 11524
Raw data (stat): 11465 (bsolo_mis) R 11464 8378 8377 0 -1 0 8164 0 0 0 114001 19 0 0 25 0 1 0 717869186 42676224 8142 4294967295 134512640 134714540 3221224592 3221222820 1077414383 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10419 8142 1111 63 0 10356 0
vsize: 41676
[startup+1150.02 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 11524
Raw data (stat): 11465 (bsolo_mis) R 11464 8378 8377 0 -1 0 8221 0 0 0 115001 19 0 0 25 0 1 0 717869186 42967040 8199 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10490 8199 1111 63 0 10427 0
vsize: 41960
[startup+1160.02 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 11524
Raw data (stat): 11465 (bsolo_mis) R 11464 8378 8377 0 -1 0 8279 0 0 0 116001 19 0 0 25 0 1 0 717869186 43118592 8257 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10527 8257 1111 63 0 10464 0
vsize: 42108
[startup+1170.02 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 11524
Raw data (stat): 11465 (bsolo_mis) R 11464 8378 8377 0 -1 0 8343 0 0 0 117001 19 0 0 25 0 1 0 717869186 43409408 8321 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10598 8321 1111 63 0 10535 0
vsize: 42392
[startup+1180.02 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 11524
Raw data (stat): 11465 (bsolo_mis) R 11464 8378 8377 0 -1 0 8406 0 0 0 118001 19 0 0 25 0 1 0 717869186 43700224 8384 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10669 8384 1111 63 0 10606 0
vsize: 42676
[startup+1190.02 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 11524
Raw data (stat): 11465 (bsolo_mis) R 11464 8378 8377 0 -1 0 8465 0 0 0 119001 19 0 0 25 0 1 0 717869186 43847680 8443 4294967295 134512640 134714540 3221224592 3221222820 1077414407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10705 8443 1111 63 0 10642 0
vsize: 42820
[startup+1200.02 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 11524
Raw data (stat): 11465 (bsolo_mis) R 11464 8378 8377 0 -1 0 8530 0 0 0 120001 19 0 0 25 0 1 0 717869186 44142592 8508 4294967295 134512640 134714540 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10777 8508 1111 63 0 10714 0
vsize: 43108
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.04 s]
Raw data (loadavg): 1.00 1.00 0.94 1/55 11524
Raw data (stat): 11465 (bsolo_mis) Z 11464 8378 8377 0 -1 1036 8530 0 0 0 120001 21 0 0 25 0 1 0 717869186 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.04
CPU time (s): 1200.23
CPU user time (s): 1200.02
CPU system time (s): 0.215967
CPU usage (%): 100.016
Max. virtual memory (Kb): 43108
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####