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/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-ship12l.opb
MD5SUM	a8bcf2463daf8317f47d4d0efa977ac7
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	108540
Biggest coefficient in the objective function	1475608576000
Number of bits for the biggest coefficient in the objective function	41
Sum of the numbers in the objective function	416772837549750
Number of bits of the sum of numbers in the objective function	49
Biggest number in a constraint	1475608576000
Number of bits of the biggest number in a constraint	41
Biggest sum of numbers in a constraint	416772837549750
Number of bits of the biggest sum of numbers	49
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.995848
Number of variables	108540
Total number of constraints	1042
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	1042
Minimum length of a constraint	20
Maximum length of a constraint	1500
Trace number 25953

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-23 15:01:24 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=16448 boxname=wulflinc31 idbench=1266 idsolver=3 numberseed=0
MD5SUM SOLVER: 03a6a792daea978e4202f78851741568  /oldhome/oroussel/solvers/bsolo_mis
MD5SUM BENCH:  a8bcf2463daf8317f47d4d0efa977ac7  /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-ship12l.opb
REAL COMMAND:  bsolo_mis /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-ship12l.opb
IDLAUNCH: 16448
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.153
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.153
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 901.12

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        830908 kB
Buffers:         22288 kB
Cached:         158056 kB
SwapCached:        944 kB
Active:         125876 kB
Inactive:        56544 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        830656 kB
SwapTotal:     2097892 kB
SwapFree:      2095920 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5104 kB
Slab:            15672 kB
Committed_AS:    63860 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-23 15:21:27 (client local time) WITH STATUS 0 IN 1200.25 SECONDS
stats: 16448 7 1200.25 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.89 0.98 0.92 2/55 9472
Raw data (stat): 9472 (runsolver) R 9471 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 822496777 1056768 100 4294967295 134512640 135381576 3221221680 3221216900 135158418 0 2147483391 1 90112 0 0 0 17 1 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10.0011 s]
Raw data (loadavg): 0.91 0.98 0.92 2/55 9472
Raw data (stat): 9472 (bsolo_mis) R 9471 7876 7672 0 -1 0 1097 0 0 0 992 4 0 0 25 0 1 0 822496777 15622144 1074 4294967295 134512640 134714540 3221221776 3221220004 1077414358 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3814 1074 1111 63 0 3751 0
vsize: 15256
[startup+20.0016 s]
Raw data (loadavg): 0.92 0.98 0.92 2/55 9472
Raw data (stat): 9472 (bsolo_mis) R 9471 7876 7672 0 -1 0 1236 0 0 0 1992 4 0 0 25 0 1 0 822496777 16191488 1213 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3953 1213 1111 63 0 3890 0
vsize: 15812
[startup+30.0018 s]
Raw data (loadavg): 0.93 0.98 0.92 2/55 9472
Raw data (stat): 9472 (bsolo_mis) R 9471 7876 7672 0 -1 0 1373 0 0 0 2992 5 0 0 25 0 1 0 822496777 16752640 1350 4294967295 134512640 134714540 3221221776 3221220004 1077414385 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4090 1350 1111 63 0 4027 0
vsize: 16360
[startup+40.0017 s]
Raw data (loadavg): 0.94 0.98 0.92 2/55 9472
Raw data (stat): 9472 (bsolo_mis) R 9471 7876 7672 0 -1 0 1539 0 0 0 3992 5 0 0 25 0 1 0 822496777 17321984 1516 4294967295 134512640 134714540 3221221776 3221220004 1077414382 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4229 1516 1111 63 0 4166 0
vsize: 16916
[startup+50.0024 s]
Raw data (loadavg): 0.95 0.98 0.92 2/55 9472
Raw data (stat): 9472 (bsolo_mis) R 9471 7876 7672 0 -1 0 1700 0 0 0 4992 5 0 0 25 0 1 0 822496777 18034688 1677 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4403 1677 1111 63 0 4340 0
vsize: 17612
[startup+60.0026 s]
Raw data (loadavg): 0.96 0.98 0.92 2/55 9472
Raw data (stat): 9472 (bsolo_mis) R 9471 7876 7672 0 -1 0 1865 0 0 0 5992 5 0 0 25 0 1 0 822496777 18743296 1842 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4576 1842 1111 63 0 4513 0
vsize: 18304
[startup+70.0035 s]
Raw data (loadavg): 0.96 0.98 0.92 2/55 9472
Raw data (stat): 9472 (bsolo_mis) R 9471 7876 7672 0 -1 0 2030 0 0 0 6992 5 0 0 25 0 1 0 822496777 19447808 2007 4294967295 134512640 134714540 3221221776 3221220004 1077414426 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4748 2007 1111 63 0 4685 0
vsize: 18992
[startup+80.0042 s]
Raw data (loadavg): 0.97 0.98 0.92 2/55 9472
Raw data (stat): 9472 (bsolo_mis) R 9471 7876 7672 0 -1 0 2190 0 0 0 7992 6 0 0 25 0 1 0 822496777 20017152 2167 4294967295 134512640 134714540 3221221776 3221220004 1077414426 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4887 2167 1111 63 0 4824 0
vsize: 19548
[startup+90.0044 s]
Raw data (loadavg): 0.97 0.98 0.92 2/55 9472
Raw data (stat): 9472 (bsolo_mis) R 9471 7876 7672 0 -1 0 2360 0 0 0 8991 6 0 0 25 0 1 0 822496777 20717568 2337 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5058 2337 1111 63 0 4995 0
vsize: 20232
[startup+100.006 s]
Raw data (loadavg): 0.98 0.98 0.92 2/55 9472
Raw data (stat): 9472 (bsolo_mis) R 9471 7876 7672 0 -1 0 2525 0 0 0 9991 7 0 0 25 0 1 0 822496777 21422080 2502 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5230 2502 1111 63 0 5167 0
vsize: 20920
[startup+110.006 s]
Raw data (loadavg): 0.98 0.98 0.92 2/55 9472
Raw data (stat): 9472 (bsolo_mis) R 9471 7876 7672 0 -1 0 2691 0 0 0 10991 7 0 0 25 0 1 0 822496777 22130688 2668 4294967295 134512640 134714540 3221221776 3221220004 1077414382 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5403 2668 1111 63 0 5340 0
vsize: 21612
[startup+120.007 s]
Raw data (loadavg): 0.98 0.98 0.92 2/55 9472
Raw data (stat): 9472 (bsolo_mis) R 9471 7876 7672 0 -1 0 2856 0 0 0 11991 7 0 0 25 0 1 0 822496777 22831104 2833 4294967295 134512640 134714540 3221221776 3221220004 1077414420 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5574 2833 1111 63 0 5511 0
vsize: 22296
[startup+130.007 s]
Raw data (loadavg): 0.98 0.98 0.92 2/55 9472
Raw data (stat): 9472 (bsolo_mis) R 9471 7876 7672 0 -1 0 3022 0 0 0 12991 8 0 0 25 0 1 0 822496777 23400448 2999 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5713 2999 1111 63 0 5650 0
vsize: 22852
[startup+140.007 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 9472
Raw data (stat): 9472 (bsolo_mis) R 9471 7876 7672 0 -1 0 3181 0 0 0 13991 8 0 0 25 0 1 0 822496777 24104960 3158 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5885 3158 1111 63 0 5822 0
vsize: 23540
[startup+150.008 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 9472
Raw data (stat): 9472 (bsolo_mis) R 9471 7876 7672 0 -1 0 3347 0 0 0 14991 8 0 0 25 0 1 0 822496777 24809472 3324 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6057 3324 1111 63 0 5994 0
vsize: 24228
[startup+160.008 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 9472
Raw data (stat): 9472 (bsolo_mis) R 9471 7876 7672 0 -1 0 3505 0 0 0 15991 8 0 0 25 0 1 0 822496777 25374720 3482 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6195 3482 1111 63 0 6132 0
vsize: 24780
[startup+170.009 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 9472
Raw data (stat): 9472 (bsolo_mis) R 9471 7876 7672 0 -1 0 3671 0 0 0 16991 8 0 0 25 0 1 0 822496777 26083328 3648 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6368 3648 1111 63 0 6305 0
vsize: 25472
[startup+180.009 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 9472
Raw data (stat): 9472 (bsolo_mis) R 9471 7876 7672 0 -1 0 3842 0 0 0 17991 9 0 0 25 0 1 0 822496777 26804224 3819 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6544 3819 1111 63 0 6481 0
vsize: 26176
[startup+190.009 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 9472
Raw data (stat): 9472 (bsolo_mis) R 9471 7876 7672 0 -1 0 4008 0 0 0 18990 9 0 0 25 0 1 0 822496777 27512832 3985 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6717 3985 1111 63 0 6654 0
vsize: 26868
[startup+200.009 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 9472
Raw data (stat): 9472 (bsolo_mis) R 9471 7876 7672 0 -1 0 4175 0 0 0 19990 10 0 0 25 0 1 0 822496777 28221440 4152 4294967295 134512640 134714540 3221221776 3221220004 1077414401 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6890 4152 1111 63 0 6827 0
vsize: 27560
[startup+210.01 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 9472
Raw data (stat): 9472 (bsolo_mis) R 9471 7876 7672 0 -1 0 4340 0 0 0 20990 10 0 0 25 0 1 0 822496777 28921856 4317 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7061 4317 1111 63 0 6998 0
vsize: 28244
[startup+220.011 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 9472
Raw data (stat): 9472 (bsolo_mis) R 9471 7876 7672 0 -1 0 4507 0 0 0 21990 10 0 0 25 0 1 0 822496777 29491200 4484 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7200 4484 1111 63 0 7137 0
vsize: 28800
[startup+230.011 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 9472
Raw data (stat): 9472 (bsolo_mis) R 9471 7876 7672 0 -1 0 4678 0 0 0 22990 10 0 0 25 0 1 0 822496777 30195712 4655 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7372 4655 1111 63 0 7309 0
vsize: 29488
[startup+240.011 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 9472
Raw data (stat): 9472 (bsolo_mis) R 9471 7876 7672 0 -1 0 4846 0 0 0 23990 11 0 0 25 0 1 0 822496777 30904320 4823 4294967295 134512640 134714540 3221221776 3221220004 1077414358 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7545 4823 1111 63 0 7482 0
vsize: 30180
[startup+250.012 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 9472
Raw data (stat): 9472 (bsolo_mis) R 9471 7876 7672 0 -1 0 5010 0 0 0 24990 11 0 0 25 0 1 0 822496777 31604736 4987 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7716 4987 1111 63 0 7653 0
vsize: 30864
[startup+260.013 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 9474
Raw data (stat): 9472 (bsolo_mis) R 9471 7876 7672 0 -1 0 5184 0 0 0 25989 12 0 0 25 0 1 0 822496777 32313344 5161 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7889 5161 1111 63 0 7826 0
vsize: 31556
[startup+270.014 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 9474
Raw data (stat): 9472 (bsolo_mis) R 9471 7876 7672 0 -1 0 5350 0 0 0 26989 12 0 0 25 0 1 0 822496777 33021952 5327 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8062 5327 1111 63 0 7999 0
vsize: 32248
[startup+280.014 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 9474
Raw data (stat): 9472 (bsolo_mis) R 9471 7876 7672 0 -1 0 5516 0 0 0 27989 12 0 0 25 0 1 0 822496777 33726464 5493 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8234 5493 1111 63 0 8171 0
vsize: 32936
[startup+290.015 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 9474
Raw data (stat): 9472 (bsolo_mis) R 9471 7876 7672 0 -1 0 5682 0 0 0 28989 13 0 0 25 0 1 0 822496777 34291712 5659 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8372 5659 1111 63 0 8309 0
vsize: 33488
[startup+300.015 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 9474
Raw data (stat): 9472 (bsolo_mis) R 9471 7876 7672 0 -1 0 5847 0 0 0 29989 13 0 0 25 0 1 0 822496777 34996224 5824 4294967295 134512640 134714540 3221221776 3221220004 1077414336 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8544 5824 1111 63 0 8481 0
vsize: 34176
[startup+310.015 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 9474
Raw data (stat): 9472 (bsolo_mis) R 9471 7876 7672 0 -1 0 6020 0 0 0 30989 13 0 0 25 0 1 0 822496777 35704832 5997 4294967295 134512640 134714540 3221221776 3221220004 1077414401 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8717 5997 1111 63 0 8654 0
vsize: 34868
[startup+320.016 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 9474
Raw data (stat): 9472 (bsolo_mis) R 9471 7876 7672 0 -1 0 6185 0 0 0 31989 14 0 0 25 0 1 0 822496777 36405248 6162 4294967295 134512640 134714540 3221221776 3221220004 1077414385 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8888 6162 1111 63 0 8825 0
vsize: 35552
[startup+330.016 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 9474
Raw data (stat): 9472 (bsolo_mis) R 9471 7876 7672 0 -1 0 6357 0 0 0 32988 14 0 0 25 0 1 0 822496777 37113856 6334 4294967295 134512640 134714540 3221221776 3221220004 1077414385 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9061 6334 1111 63 0 8998 0
vsize: 36244
[startup+340.016 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 9474
Raw data (stat): 9472 (bsolo_mis) R 9471 7876 7672 0 -1 0 6535 0 0 0 33988 15 0 0 25 0 1 0 822496777 37863424 6512 4294967295 134512640 134714540 3221221776 3221220004 1077414357 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9244 6512 1111 63 0 9181 0
vsize: 36976
[startup+350.016 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 9474
Raw data (stat): 9472 (bsolo_mis) R 9471 7876 7672 0 -1 0 6706 0 0 0 34988 15 0 0 25 0 1 0 822496777 38563840 6683 4294967295 134512640 134714540 3221221776 3221220004 1077414336 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9415 6683 1111 63 0 9352 0
vsize: 37660
[startup+360.017 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 9474
Raw data (stat): 9472 (bsolo_mis) R 9471 7876 7672 0 -1 0 6873 0 0 0 35987 16 0 0 25 0 1 0 822496777 39276544 6850 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9589 6850 1111 63 0 9526 0
vsize: 38356
[startup+370.017 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 9474
Raw data (stat): 9472 (bsolo_mis) R 9471 7876 7672 0 -1 0 7038 0 0 0 36987 16 0 0 25 0 1 0 822496777 39976960 7015 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9760 7015 1111 63 0 9697 0
vsize: 39040
[startup+380.017 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 9474
Raw data (stat): 9472 (bsolo_mis) R 9471 7876 7672 0 -1 0 7206 0 0 0 37987 17 0 0 25 0 1 0 822496777 40685568 7183 4294967295 134512640 134714540 3221221776 3221220004 1077414383 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9933 7183 1111 63 0 9870 0
vsize: 39732
[startup+390.017 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 9474
Raw data (stat): 9472 (bsolo_mis) R 9471 7876 7672 0 -1 0 7377 0 0 0 38986 17 0 0 25 0 1 0 822496777 41385984 7354 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10104 7354 1111 63 0 10041 0
vsize: 40416
[startup+400.019 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 9474
Raw data (stat): 9472 (bsolo_mis) R 9471 7876 7672 0 -1 0 7543 0 0 0 39986 18 0 0 25 0 1 0 822496777 41955328 7520 4294967295 134512640 134714540 3221221776 3221220004 1077414376 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10243 7520 1111 63 0 10180 0
vsize: 40972
[startup+410.018 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 9474
Raw data (stat): 9472 (bsolo_mis) R 9471 7876 7672 0 -1 0 7717 0 0 0 40986 18 0 0 25 0 1 0 822496777 42659840 7694 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10415 7694 1111 63 0 10352 0
vsize: 41660
[startup+420.019 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 9474
Raw data (stat): 9472 (bsolo_mis) R 9471 7876 7672 0 -1 0 7888 0 0 0 41986 18 0 0 25 0 1 0 822496777 43364352 7865 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10587 7865 1111 63 0 10524 0
vsize: 42348
[startup+430.02 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 9474
Raw data (stat): 9472 (bsolo_mis) R 9471 7876 7672 0 -1 0 8061 0 0 0 42986 19 0 0 25 0 1 0 822496777 44077056 8038 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10761 8038 1111 63 0 10698 0
vsize: 43044
[startup+440.02 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 9474
Raw data (stat): 9472 (bsolo_mis) R 9471 7876 7672 0 -1 0 8233 0 0 0 43986 19 0 0 25 0 1 0 822496777 44777472 8210 4294967295 134512640 134714540 3221221776 3221220004 1077414345 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10932 8210 1111 63 0 10869 0
vsize: 43728
[startup+450.021 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 9474
Raw data (stat): 9472 (bsolo_mis) R 9471 7876 7672 0 -1 0 8407 0 0 0 44986 19 0 0 25 0 1 0 822496777 45486080 8384 4294967295 134512640 134714540 3221221776 3221220004 1077414358 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11105 8384 1111 63 0 11042 0
vsize: 44420
[startup+460.021 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 9474
Raw data (stat): 9472 (bsolo_mis) R 9471 7876 7672 0 -1 0 8579 0 0 0 45985 19 0 0 25 0 1 0 822496777 46186496 8556 4294967295 134512640 134714540 3221221776 3221220004 1077414433 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11276 8556 1111 63 0 11213 0
vsize: 45104
[startup+470.022 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 9474
Raw data (stat): 9472 (bsolo_mis) R 9471 7876 7672 0 -1 0 8759 0 0 0 46985 20 0 0 25 0 1 0 822496777 47038464 8736 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11484 8736 1111 63 0 11421 0
vsize: 45936
[startup+480.022 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 9474
Raw data (stat): 9472 (bsolo_mis) R 9471 7876 7672 0 -1 0 8932 0 0 0 47985 20 0 0 25 0 1 0 822496777 47747072 8909 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11657 8909 1111 63 0 11594 0
vsize: 46628
[startup+490.022 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 9474
Raw data (stat): 9472 (bsolo_mis) R 9471 7876 7672 0 -1 0 9105 0 0 0 48985 20 0 0 25 0 1 0 822496777 48447488 9082 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11828 9082 1111 63 0 11765 0
vsize: 47312
[startup+500.023 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 9474
Raw data (stat): 9472 (bsolo_mis) R 9471 7876 7672 0 -1 0 9279 0 0 0 49985 21 0 0 25 0 1 0 822496777 49156096 9256 4294967295 134512640 134714540 3221221776 3221220004 1077414435 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12001 9256 1111 63 0 11938 0
vsize: 48004
[startup+510.023 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 9474
Raw data (stat): 9472 (bsolo_mis) R 9471 7876 7672 0 -1 0 9450 0 0 0 50985 21 0 0 25 0 1 0 822496777 49860608 9427 4294967295 134512640 134714540 3221221776 3221220432 134527946 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12173 9427 1111 63 0 12110 0
vsize: 48692
[startup+520.024 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 9474
Raw data (stat): 9472 (bsolo_mis) R 9471 7876 7672 0 -1 0 9623 0 0 0 51985 21 0 0 25 0 1 0 822496777 50569216 9600 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12346 9600 1111 63 0 12283 0
vsize: 49384
[startup+530.024 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 9474
Raw data (stat): 9472 (bsolo_mis) R 9471 7876 7672 0 -1 0 9797 0 0 0 52985 21 0 0 25 0 1 0 822496777 51277824 9774 4294967295 134512640 134714540 3221221776 3221220004 1077414358 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12519 9774 1111 63 0 12456 0
vsize: 50076
[startup+540.024 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 9474
Raw data (stat): 9472 (bsolo_mis) R 9471 7876 7672 0 -1 0 9976 0 0 0 53985 22 0 0 25 0 1 0 822496777 51978240 9953 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12690 9953 1111 63 0 12627 0
vsize: 50760
[startup+550.025 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 9474
Raw data (stat): 9472 (bsolo_mis) R 9471 7876 7672 0 -1 0 10143 0 0 0 54985 22 0 0 25 0 1 0 822496777 52686848 10120 4294967295 134512640 134714540 3221221776 3221220004 1077414349 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12863 10120 1111 63 0 12800 0
vsize: 51452
[startup+560.025 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 9474
Raw data (stat): 9472 (bsolo_mis) R 9471 7876 7672 0 -1 0 10321 0 0 0 55985 22 0 0 25 0 1 0 822496777 53391360 10298 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13035 10298 1111 63 0 12972 0
vsize: 52140
[startup+570.026 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 9474
Raw data (stat): 9472 (bsolo_mis) R 9471 7876 7672 0 -1 0 10502 0 0 0 56985 23 0 0 25 0 1 0 822496777 54099968 10479 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13208 10479 1111 63 0 13145 0
vsize: 52832
[startup+580.026 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 9474
Raw data (stat): 9472 (bsolo_mis) R 9471 7876 7672 0 -1 0 10682 0 0 0 57984 23 0 0 25 0 1 0 822496777 54808576 10659 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13381 10659 1111 63 0 13318 0
vsize: 53524
[startup+590.026 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 9474
Raw data (stat): 9472 (bsolo_mis) R 9471 7876 7672 0 -1 0 10854 0 0 0 58984 23 0 0 25 0 1 0 822496777 55508992 10831 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13552 10831 1111 63 0 13489 0
vsize: 54208
[startup+600.027 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 9474
Raw data (stat): 9472 (bsolo_mis) R 9471 7876 7672 0 -1 0 11034 0 0 0 59984 24 0 0 25 0 1 0 822496777 56217600 11011 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13725 11011 1111 63 0 13662 0
vsize: 54900
[startup+610.028 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 9474
Raw data (stat): 9472 (bsolo_mis) R 9471 7876 7672 0 -1 0 11207 0 0 0 60984 24 0 0 25 0 1 0 822496777 56918016 11184 4294967295 134512640 134714540 3221221776 3221220004 1077414410 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13896 11184 1111 63 0 13833 0
vsize: 55584
[startup+620.029 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 9474
Raw data (stat): 9472 (bsolo_mis) R 9471 7876 7672 0 -1 0 11386 0 0 0 61984 24 0 0 25 0 1 0 822496777 57769984 11363 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14104 11363 1111 63 0 14041 0
vsize: 56416
[startup+630.029 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 9474
Raw data (stat): 9472 (bsolo_mis) R 9471 7876 7672 0 -1 0 11566 0 0 0 62984 24 0 0 25 0 1 0 822496777 58478592 11543 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14277 11543 1111 63 0 14214 0
vsize: 57108
[startup+640.029 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 9474
Raw data (stat): 9472 (bsolo_mis) R 9471 7876 7672 0 -1 0 11744 0 0 0 63984 25 0 0 25 0 1 0 822496777 59179008 11721 4294967295 134512640 134714540 3221221776 3221220004 1077414407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14448 11721 1111 63 0 14385 0
vsize: 57792
[startup+650.03 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 9474
Raw data (stat): 9472 (bsolo_mis) R 9471 7876 7672 0 -1 0 11924 0 0 0 64983 25 0 0 25 0 1 0 822496777 59887616 11901 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14621 11901 1111 63 0 14558 0
vsize: 58484
[startup+660.03 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 9474
Raw data (stat): 9472 (bsolo_mis) R 9471 7876 7672 0 -1 0 12114 0 0 0 65983 26 0 0 25 0 1 0 822496777 60841984 12091 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14854 12091 1111 63 0 14791 0
vsize: 59416
[startup+670.03 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 9474
Raw data (stat): 9472 (bsolo_mis) R 9471 7876 7672 0 -1 0 12294 0 0 0 66983 26 0 0 25 0 1 0 822496777 61550592 12271 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15027 12271 1111 63 0 14964 0
vsize: 60108
[startup+680.031 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 9474
Raw data (stat): 9472 (bsolo_mis) R 9471 7876 7672 0 -1 0 12474 0 0 0 67983 27 0 0 25 0 1 0 822496777 62255104 12451 4294967295 134512640 134714540 3221221776 3221220004 1077414336 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15199 12451 1111 63 0 15136 0
vsize: 60796
[startup+690.031 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 9474
Raw data (stat): 9472 (bsolo_mis) R 9471 7876 7672 0 -1 0 12653 0 0 0 68982 28 0 0 25 0 1 0 822496777 62959616 12630 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15371 12630 1111 63 0 15308 0
vsize: 61484
[startup+700.033 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 9474
Raw data (stat): 9472 (bsolo_mis) R 9471 7876 7672 0 -1 0 12833 0 0 0 69981 28 0 0 25 0 1 0 822496777 63807488 12810 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15578 12810 1111 63 0 15515 0
vsize: 62312
[startup+710.033 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 9474
Raw data (stat): 9472 (bsolo_mis) R 9471 7876 7672 0 -1 0 13007 0 0 0 70981 29 0 0 25 0 1 0 822496777 64512000 12984 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15750 12984 1111 63 0 15687 0
vsize: 63000
[startup+720.034 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 9474
Raw data (stat): 9472 (bsolo_mis) R 9471 7876 7672 0 -1 0 13186 0 0 0 71981 29 0 0 25 0 1 0 822496777 65220608 13163 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15923 13163 1111 63 0 15860 0
vsize: 63692
[startup+730.034 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 9474
Raw data (stat): 9472 (bsolo_mis) R 9471 7876 7672 0 -1 0 13365 0 0 0 72981 29 0 0 25 0 1 0 822496777 65925120 13342 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16095 13342 1111 63 0 16032 0
vsize: 64380
[startup+740.034 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 9474
Raw data (stat): 9472 (bsolo_mis) R 9471 7876 7672 0 -1 0 13545 0 0 0 73981 30 0 0 25 0 1 0 822496777 66629632 13522 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16267 13522 1111 63 0 16204 0
vsize: 65068
[startup+750.035 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 9474
Raw data (stat): 9472 (bsolo_mis) R 9471 7876 7672 0 -1 0 13726 0 0 0 74980 30 0 0 25 0 1 0 822496777 67338240 13703 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16440 13703 1111 63 0 16377 0
vsize: 65760
[startup+760.035 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 9474
Raw data (stat): 9472 (bsolo_mis) R 9471 7876 7672 0 -1 0 13904 0 0 0 75980 31 0 0 25 0 1 0 822496777 68182016 13881 4294967295 134512640 134714540 3221221776 3221220004 1077414432 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16646 13881 1111 63 0 16583 0
vsize: 66584
[startup+770.036 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 9474
Raw data (stat): 9472 (bsolo_mis) R 9471 7876 7672 0 -1 0 14084 0 0 0 76980 31 0 0 25 0 1 0 822496777 68890624 14061 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16819 14061 1111 63 0 16756 0
vsize: 67276
[startup+780.037 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 9474
Raw data (stat): 9472 (bsolo_mis) R 9471 7876 7672 0 -1 0 14272 0 0 0 77980 32 0 0 25 0 1 0 822496777 69599232 14249 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16992 14249 1111 63 0 16929 0
vsize: 67968
[startup+790.037 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 9474
Raw data (stat): 9472 (bsolo_mis) R 9471 7876 7672 0 -1 0 14458 0 0 0 78979 32 0 0 25 0 1 0 822496777 70438912 14435 4294967295 134512640 134714540 3221221776 3221220004 1077414385 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17197 14435 1111 63 0 17134 0
vsize: 68788
[startup+800.038 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 9474
Raw data (stat): 9472 (bsolo_mis) R 9471 7876 7672 0 -1 0 14638 0 0 0 79979 33 0 0 25 0 1 0 822496777 71151616 14615 4294967295 134512640 134714540 3221221776 3221220004 1077414345 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17371 14615 1111 63 0 17308 0
vsize: 69484
[startup+810.038 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 9474
Raw data (stat): 9472 (bsolo_mis) R 9471 7876 7672 0 -1 0 14819 0 0 0 80979 33 0 0 25 0 1 0 822496777 71856128 14796 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17543 14796 1111 63 0 17480 0
vsize: 70172
[startup+820.04 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 9474
Raw data (stat): 9472 (bsolo_mis) R 9471 7876 7672 0 -1 0 15010 0 0 0 81979 33 0 0 25 0 1 0 822496777 72699904 14987 4294967295 134512640 134714540 3221221776 3221220004 1077414345 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17749 14987 1111 63 0 17686 0
vsize: 70996
[startup+830.04 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 9474
Raw data (stat): 9472 (bsolo_mis) R 9471 7876 7672 0 -1 0 15192 0 0 0 82978 34 0 0 25 0 1 0 822496777 73408512 15169 4294967295 134512640 134714540 3221221776 3221220004 1077414383 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17922 15169 1111 63 0 17859 0
vsize: 71688
[startup+840.04 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 9474
Raw data (stat): 9472 (bsolo_mis) R 9471 7876 7672 0 -1 0 15370 0 0 0 83978 34 0 0 25 0 1 0 822496777 74113024 15347 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18094 15347 1111 63 0 18031 0
vsize: 72376
[startup+850.041 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 9474
Raw data (stat): 9472 (bsolo_mis) R 9471 7876 7672 0 -1 0 15558 0 0 0 84978 34 0 0 25 0 1 0 822496777 74821632 15535 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18267 15535 1111 63 0 18204 0
vsize: 73068
[startup+860.041 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 9474
Raw data (stat): 9472 (bsolo_mis) R 9471 7876 7672 0 -1 0 15744 0 0 0 85978 35 0 0 25 0 1 0 822496777 75669504 15721 4294967295 134512640 134714540 3221221776 3221220432 134527935 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18474 15721 1111 63 0 18411 0
vsize: 73896
[startup+870.042 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 9474
Raw data (stat): 9472 (bsolo_mis) R 9471 7876 7672 0 -1 0 15924 0 0 0 86978 35 0 0 25 0 1 0 822496777 76369920 15901 4294967295 134512640 134714540 3221221776 3221220432 134527946 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18645 15901 1111 63 0 18582 0
vsize: 74580
[startup+880.043 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 9474
Raw data (stat): 9472 (bsolo_mis) R 9471 7876 7672 0 -1 0 16110 0 0 0 87978 35 0 0 25 0 1 0 822496777 77082624 16087 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18819 16087 1111 63 0 18756 0
vsize: 75276
[startup+890.043 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 9474
Raw data (stat): 9472 (bsolo_mis) R 9471 7876 7672 0 -1 0 16298 0 0 0 88978 36 0 0 25 0 1 0 822496777 77930496 16275 4294967295 134512640 134714540 3221221776 3221220004 1077414382 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19026 16275 1111 63 0 18963 0
vsize: 76104
[startup+900.044 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 9474
Raw data (stat): 9472 (bsolo_mis) R 9471 7876 7672 0 -1 0 16477 0 0 0 89978 36 0 0 25 0 1 0 822496777 78630912 16454 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19197 16454 1111 63 0 19134 0
vsize: 76788
[startup+910.044 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 9474
Raw data (stat): 9472 (bsolo_mis) R 9471 7876 7672 0 -1 0 16671 0 0 0 90978 36 0 0 25 0 1 0 822496777 79482880 16648 4294967295 134512640 134714540 3221221776 3221220004 1077414351 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19405 16648 1111 63 0 19342 0
vsize: 77620
[startup+920.045 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 9474
Raw data (stat): 9472 (bsolo_mis) R 9471 7876 7672 0 -1 0 16856 0 0 0 91978 36 0 0 25 0 1 0 822496777 80183296 16833 4294967295 134512640 134714540 3221221776 3221220004 1077414345 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19576 16833 1111 63 0 19513 0
vsize: 78304
[startup+930.045 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 9474
Raw data (stat): 9472 (bsolo_mis) R 9471 7876 7672 0 -1 0 17044 0 0 0 92978 37 0 0 25 0 1 0 822496777 80891904 17021 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19749 17021 1111 63 0 19686 0
vsize: 78996
[startup+940.045 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 9474
Raw data (stat): 9472 (bsolo_mis) R 9471 7876 7672 0 -1 0 17232 0 0 0 93978 37 0 0 25 0 1 0 822496777 81739776 17209 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19956 17209 1111 63 0 19893 0
vsize: 79824
[startup+950.046 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 9474
Raw data (stat): 9472 (bsolo_mis) R 9471 7876 7672 0 -1 0 17417 0 0 0 94978 37 0 0 25 0 1 0 822496777 82444288 17394 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20128 17394 1111 63 0 20065 0
vsize: 80512
[startup+960.045 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 9474
Raw data (stat): 9472 (bsolo_mis) R 9471 7876 7672 0 -1 0 17611 0 0 0 95977 38 0 0 25 0 1 0 822496777 83292160 17588 4294967295 134512640 134714540 3221221776 3221220004 1077414383 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20335 17588 1111 63 0 20272 0
vsize: 81340
[startup+970.047 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 9474
Raw data (stat): 9472 (bsolo_mis) R 9471 7876 7672 0 -1 0 17798 0 0 0 96977 38 0 0 25 0 1 0 822496777 84000768 17775 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20508 17775 1111 63 0 20445 0
vsize: 82032
[startup+980.047 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 9474
Raw data (stat): 9472 (bsolo_mis) R 9471 7876 7672 0 -1 0 17985 0 0 0 97977 38 0 0 25 0 1 0 822496777 84844544 17962 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20714 17962 1111 63 0 20651 0
vsize: 82856
[startup+990.047 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 9474
Raw data (stat): 9472 (bsolo_mis) R 9471 7876 7672 0 -1 0 18177 0 0 0 98977 39 0 0 25 0 1 0 822496777 85553152 18154 4294967295 134512640 134714540 3221221776 3221220004 1077414395 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20887 18154 1111 63 0 20824 0
vsize: 83548
[startup+1000.05 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 9474
Raw data (stat): 9472 (bsolo_mis) R 9471 7876 7672 0 -1 0 18365 0 0 0 99977 39 0 0 25 0 1 0 822496777 86401024 18342 4294967295 134512640 134714540 3221221776 3221220004 1077414420 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21094 18342 1111 63 0 21031 0
vsize: 84376
[startup+1010.05 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 9474
Raw data (stat): 9472 (bsolo_mis) R 9471 7876 7672 0 -1 0 18551 0 0 0 100977 39 0 0 25 0 1 0 822496777 87105536 18528 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21266 18528 1111 63 0 21203 0
vsize: 85064
[startup+1020.05 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 9474
Raw data (stat): 9472 (bsolo_mis) R 9471 7876 7672 0 -1 0 18745 0 0 0 101977 39 0 0 25 0 1 0 822496777 87953408 18722 4294967295 134512640 134714540 3221221776 3221220004 1077414382 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21473 18722 1111 63 0 21410 0
vsize: 85892
[startup+1030.05 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 9474
Raw data (stat): 9472 (bsolo_mis) R 9471 7876 7672 0 -1 0 18932 0 0 0 102976 40 0 0 25 0 1 0 822496777 88657920 18909 4294967295 134512640 134714540 3221221776 3221220004 1077414360 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21645 18909 1111 63 0 21582 0
vsize: 86580
[startup+1040.05 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 9474
Raw data (stat): 9472 (bsolo_mis) R 9471 7876 7672 0 -1 0 19119 0 0 0 103976 41 0 0 25 0 1 0 822496777 89362432 19096 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21817 19096 1111 63 0 21754 0
vsize: 87268
[startup+1050.05 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 9474
Raw data (stat): 9472 (bsolo_mis) R 9471 7876 7672 0 -1 0 19305 0 0 0 104976 41 0 0 25 0 1 0 822496777 90214400 19282 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22025 19282 1111 63 0 21962 0
vsize: 88100
[startup+1060.05 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 9474
Raw data (stat): 9472 (bsolo_mis) R 9471 7876 7672 0 -1 0 19492 0 0 0 105975 41 0 0 25 0 1 0 822496777 90914816 19469 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22196 19469 1111 63 0 22133 0
vsize: 88784
[startup+1070.05 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 9474
Raw data (stat): 9472 (bsolo_mis) R 9471 7876 7672 0 -1 0 19686 0 0 0 106975 42 0 0 25 0 1 0 822496777 91766784 19663 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22404 19663 1111 63 0 22341 0
vsize: 89616
[startup+1080.05 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 9474
Raw data (stat): 9472 (bsolo_mis) R 9471 7876 7672 0 -1 0 19879 0 0 0 107975 42 0 0 25 0 1 0 822496777 92471296 19856 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22576 19856 1111 63 0 22513 0
vsize: 90304
[startup+1090.05 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 9474
Raw data (stat): 9472 (bsolo_mis) R 9471 7876 7672 0 -1 0 20072 0 0 0 108975 43 0 0 25 0 1 0 822496777 93315072 20049 4294967295 134512640 134714540 3221221776 3221220432 134527946 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22782 20049 1111 63 0 22719 0
vsize: 91128
[startup+1100.05 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 9474
Raw data (stat): 9472 (bsolo_mis) R 9471 7876 7672 0 -1 0 20266 0 0 0 109974 43 0 0 25 0 1 0 822496777 94162944 20243 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22989 20243 1111 63 0 22926 0
vsize: 91956
[startup+1110.05 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 9474
Raw data (stat): 9472 (bsolo_mis) R 9471 7876 7672 0 -1 0 20460 0 0 0 110974 44 0 0 25 0 1 0 822496777 94875648 20437 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23163 20437 1111 63 0 23100 0
vsize: 92652
[startup+1120.05 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 9474
Raw data (stat): 9472 (bsolo_mis) R 9471 7876 7672 0 -1 0 20653 0 0 0 111974 44 0 0 25 0 1 0 822496777 95715328 20630 4294967295 134512640 134714540 3221221776 3221220432 134527946 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23368 20630 1111 63 0 23305 0
vsize: 93472
[startup+1130.05 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 9474
Raw data (stat): 9472 (bsolo_mis) R 9471 7876 7672 0 -1 0 20847 0 0 0 112974 45 0 0 25 0 1 0 822496777 96423936 20824 4294967295 134512640 134714540 3221221776 3221220432 134527946 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23541 20824 1111 63 0 23478 0
vsize: 94164
[startup+1140.05 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 9474
Raw data (stat): 9472 (bsolo_mis) R 9471 7876 7672 0 -1 0 21041 0 0 0 113974 45 0 0 25 0 1 0 822496777 97271808 21018 4294967295 134512640 134714540 3221221776 3221220432 134527946 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23748 21018 1111 63 0 23685 0
vsize: 94992
[startup+1150.05 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 9474
Raw data (stat): 9472 (bsolo_mis) R 9471 7876 7672 0 -1 0 21234 0 0 0 114974 45 0 0 25 0 1 0 822496777 98115584 21211 4294967295 134512640 134714540 3221221776 3221220004 1077414395 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23954 21211 1111 63 0 23891 0
vsize: 95816
[startup+1160.05 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 9474
Raw data (stat): 9472 (bsolo_mis) R 9471 7876 7672 0 -1 0 21428 0 0 0 115973 46 0 0 25 0 1 0 822496777 98824192 21405 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24127 21405 1111 63 0 24064 0
vsize: 96508
[startup+1170.06 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 9474
Raw data (stat): 9472 (bsolo_mis) R 9471 7876 7672 0 -1 0 21629 0 0 0 116973 46 0 0 25 0 1 0 822496777 99676160 21606 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24335 21606 1111 63 0 24272 0
vsize: 97340
[startup+1180.06 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 9474
Raw data (stat): 9472 (bsolo_mis) R 9471 7876 7672 0 -1 0 21822 0 0 0 117973 46 0 0 25 0 1 0 822496777 100519936 21799 4294967295 134512640 134714540 3221221776 3221220004 1077414401 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24541 21799 1111 63 0 24478 0
vsize: 98164
[startup+1190.06 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 9474
Raw data (stat): 9472 (bsolo_mis) R 9471 7876 7672 0 -1 0 22015 0 0 0 118973 47 0 0 25 0 1 0 822496777 101224448 21992 4294967295 134512640 134714540 3221221776 3221220004 1077414426 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24713 21992 1111 63 0 24650 0
vsize: 98852
[startup+1200.06 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 9474
Raw data (stat): 9472 (bsolo_mis) R 9471 7876 7672 0 -1 0 22216 0 0 0 119972 47 0 0 25 0 1 0 822496777 102076416 22193 4294967295 134512640 134714540 3221221776 3221220004 1077414336 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24921 22193 1111 63 0 24858 0
vsize: 99684
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.1 s]
Raw data (loadavg): 0.99 0.98 0.92 1/55 9474
Raw data (stat): 9472 (bsolo_mis) Z 9471 7876 7672 0 -1 1036 22216 0 0 0 119972 51 0 0 25 0 1 0 822496777 0 0 4294967295 0 0 0 0 0 0 0 1 0 3222412051 0 0 17 0 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.1
CPU time (s): 1200.25
CPU user time (s): 1199.73
CPU system time (s): 0.518921
CPU usage (%): 100.012
Max. virtual memory (Kb): 99684
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####