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/MIPLIB/miplib2003/normalized-mps-v2-20-10-sp97ar.opb
MD5SUM	501db04e3c45fac1238dfa119cd7abd9
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	282020
Biggest coefficient in the objective function	2456844338462720
Number of bits for the biggest coefficient in the objective function	52
Sum of the numbers in the objective function	-2082450254578026316
Number of bits of the sum of numbers in the objective function	64
Biggest number in a constraint	2456844338462720
Number of bits of the biggest number in a constraint	52
Biggest sum of numbers in a constraint	-2082450254578026316
Number of bits of the biggest sum of numbers	64
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	2.6406
Number of variables	282020
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	20
Maximum length of a constraint	49260
Trace number 28393

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc1 THE 2005-05-25 02:06:18 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=13029 boxname=wulflinc1 idbench=1003 idsolver=3 numberseed=0
MD5SUM SOLVER: 03a6a792daea978e4202f78851741568  /oldhome/oroussel/solvers/bsolo_mis
MD5SUM BENCH:  501db04e3c45fac1238dfa119cd7abd9  /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-20-10-sp97ar.opb
REAL COMMAND:  bsolo_mis /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-20-10-sp97ar.opb
IDLAUNCH: 13029
/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:        657824 kB
Buffers:         15764 kB
Cached:         334092 kB
SwapCached:          4 kB
Active:         132192 kB
Inactive:       220792 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        657572 kB
SwapTotal:     2097136 kB
SwapFree:      2096964 kB
Dirty:               4 kB
Writeback:           0 kB
Mapped:           7144 kB
Slab:            18004 kB
Committed_AS:    92716 kB
PageTables:        332 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-25 02:26:23 (client local time) WITH STATUS 0 IN 1200.3 SECONDS
stats: 13029 7 1200.3 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.96 0.98 0.91 1/55 14719
Raw data (stat): 14719 (runsolver) D 14718 8378 8377 0 -1 64 4 0 0 0 0 0 0 0 18 0 1 0 720069669 1052672 99 4294967295 134512640 135381576 3221224496 3221219712 135158418 0 2147483391 7 90112 3225161850 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+9.99961 s]
Raw data (loadavg): 0.96 0.98 0.91 2/55 14719
Raw data (stat): 14719 (bsolo_mis) R 14718 8378 8377 0 -1 0 2128 0 0 0 979 9 0 0 25 0 1 0 720069669 15060992 2106 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3677 2106 1111 63 0 3614 0
vsize: 14708
[startup+20.0014 s]
Raw data (loadavg): 0.97 0.98 0.91 2/55 14719
Raw data (stat): 14719 (bsolo_mis) R 14718 8378 8377 0 -1 0 2152 0 0 0 1979 9 0 0 25 0 1 0 720069669 15216640 2130 4294967295 134512640 134714540 3221224592 3221222820 1077414336 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3715 2130 1111 63 0 3652 0
vsize: 14860
[startup+30.0011 s]
Raw data (loadavg): 0.97 0.98 0.91 2/55 14719
Raw data (stat): 14719 (bsolo_mis) R 14718 8378 8377 0 -1 0 2175 0 0 0 2979 9 0 0 25 0 1 0 720069669 15372288 2153 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3753 2153 1111 63 0 3690 0
vsize: 15012
[startup+40.0009 s]
Raw data (loadavg): 0.98 0.98 0.91 2/55 14719
Raw data (stat): 14719 (bsolo_mis) R 14718 8378 8377 0 -1 0 2198 0 0 0 3979 9 0 0 25 0 1 0 720069669 15372288 2176 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3753 2176 1111 63 0 3690 0
vsize: 15012
[startup+50.0017 s]
Raw data (loadavg): 0.98 0.98 0.91 2/55 14719
Raw data (stat): 14719 (bsolo_mis) R 14718 8378 8377 0 -1 0 2221 0 0 0 4979 9 0 0 25 0 1 0 720069669 15507456 2199 4294967295 134512640 134714540 3221224592 3221222820 1077414336 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3786 2199 1111 63 0 3723 0
vsize: 15144
[startup+60.0015 s]
Raw data (loadavg): 0.98 0.98 0.91 2/55 14719
Raw data (stat): 14719 (bsolo_mis) R 14718 8378 8377 0 -1 0 2246 0 0 0 5979 9 0 0 25 0 1 0 720069669 15659008 2224 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3823 2224 1111 63 0 3760 0
vsize: 15292
[startup+70.0013 s]
Raw data (loadavg): 0.98 0.98 0.91 2/55 14719
Raw data (stat): 14719 (bsolo_mis) R 14718 8378 8377 0 -1 0 2269 0 0 0 6979 9 0 0 25 0 1 0 720069669 15659008 2247 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3823 2247 1111 63 0 3760 0
vsize: 15292
[startup+80.0021 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 14719
Raw data (stat): 14719 (bsolo_mis) R 14718 8378 8377 0 -1 0 2292 0 0 0 7980 9 0 0 25 0 1 0 720069669 15794176 2270 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3856 2270 1111 63 0 3793 0
vsize: 15424
[startup+90.0022 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 14719
Raw data (stat): 14719 (bsolo_mis) R 14718 8378 8377 0 -1 0 2316 0 0 0 8980 9 0 0 25 0 1 0 720069669 15945728 2294 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3893 2294 1111 63 0 3830 0
vsize: 15572
[startup+100.003 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 14719
Raw data (stat): 14719 (bsolo_mis) R 14718 8378 8377 0 -1 0 2345 0 0 0 9980 9 0 0 25 0 1 0 720069669 15945728 2323 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3893 2323 1111 63 0 3830 0
vsize: 15572
[startup+110.002 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 14719
Raw data (stat): 14719 (bsolo_mis) R 14718 8378 8377 0 -1 0 2369 0 0 0 10980 9 0 0 25 0 1 0 720069669 16080896 2347 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3926 2347 1111 63 0 3863 0
vsize: 15704
[startup+120.003 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 14719
Raw data (stat): 14719 (bsolo_mis) R 14718 8378 8377 0 -1 0 2392 0 0 0 11980 9 0 0 25 0 1 0 720069669 16232448 2370 4294967295 134512640 134714540 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3963 2370 1111 63 0 3900 0
vsize: 15852
[startup+130.003 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 14719
Raw data (stat): 14719 (bsolo_mis) R 14718 8378 8377 0 -1 0 2416 0 0 0 12980 9 0 0 25 0 1 0 720069669 16232448 2394 4294967295 134512640 134714540 3221224592 3221222820 1077414407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3963 2394 1111 63 0 3900 0
vsize: 15852
[startup+140.003 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 14719
Raw data (stat): 14719 (bsolo_mis) R 14718 8378 8377 0 -1 0 2441 0 0 0 13980 9 0 0 25 0 1 0 720069669 16388096 2419 4294967295 134512640 134714540 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4001 2419 1111 63 0 3938 0
vsize: 16004
[startup+150.007 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 14719
Raw data (stat): 14719 (bsolo_mis) R 14718 8378 8377 0 -1 0 2464 0 0 0 14981 10 0 0 25 0 1 0 720069669 16523264 2442 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4034 2442 1111 63 0 3971 0
vsize: 16136
[startup+160.007 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 14719
Raw data (stat): 14719 (bsolo_mis) R 14718 8378 8377 0 -1 0 2497 0 0 0 15981 10 0 0 25 0 1 0 720069669 16662528 2475 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4068 2475 1111 63 0 4005 0
vsize: 16272
[startup+170.007 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 14719
Raw data (stat): 14719 (bsolo_mis) R 14718 8378 8377 0 -1 0 2520 0 0 0 16981 10 0 0 25 0 1 0 720069669 16662528 2498 4294967295 134512640 134714540 3221224592 3221222820 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4068 2498 1111 63 0 4005 0
vsize: 16272
[startup+180.007 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 14719
Raw data (stat): 14719 (bsolo_mis) R 14718 8378 8377 0 -1 0 2543 0 0 0 17981 10 0 0 25 0 1 0 720069669 16818176 2521 4294967295 134512640 134714540 3221224592 3221222820 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4106 2521 1111 63 0 4043 0
vsize: 16424
[startup+190.007 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 14719
Raw data (stat): 14719 (bsolo_mis) R 14718 8378 8377 0 -1 0 2566 0 0 0 18981 10 0 0 25 0 1 0 720069669 16973824 2544 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4144 2544 1111 63 0 4081 0
vsize: 16576
[startup+200.007 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 14719
Raw data (stat): 14719 (bsolo_mis) R 14718 8378 8377 0 -1 0 2590 0 0 0 19981 10 0 0 25 0 1 0 720069669 16973824 2568 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4144 2568 1111 63 0 4081 0
vsize: 16576
[startup+210.007 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 14719
Raw data (stat): 14719 (bsolo_mis) R 14718 8378 8377 0 -1 0 2615 0 0 0 20981 10 0 0 25 0 1 0 720069669 17108992 2593 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4177 2593 1111 63 0 4114 0
vsize: 16708
[startup+220.007 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 14719
Raw data (stat): 14719 (bsolo_mis) R 14718 8378 8377 0 -1 0 2644 0 0 0 21981 10 0 0 25 0 1 0 720069669 17264640 2622 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4215 2622 1111 63 0 4152 0
vsize: 16860
[startup+230.007 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 14719
Raw data (stat): 14719 (bsolo_mis) R 14718 8378 8377 0 -1 0 2667 0 0 0 22980 10 0 0 25 0 1 0 720069669 17264640 2645 4294967295 134512640 134714540 3221224592 3221222820 1077414360 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4215 2645 1111 63 0 4152 0
vsize: 16860
[startup+240.007 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 14719
Raw data (stat): 14719 (bsolo_mis) R 14718 8378 8377 0 -1 0 2691 0 0 0 23980 10 0 0 25 0 1 0 720069669 17399808 2669 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4248 2669 1111 63 0 4185 0
vsize: 16992
[startup+250.006 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 14719
Raw data (stat): 14719 (bsolo_mis) R 14718 8378 8377 0 -1 0 2714 0 0 0 24980 10 0 0 25 0 1 0 720069669 17547264 2692 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4284 2692 1111 63 0 4221 0
vsize: 17136
[startup+260.006 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 14719
Raw data (stat): 14719 (bsolo_mis) R 14718 8378 8377 0 -1 0 2737 0 0 0 25980 10 0 0 25 0 1 0 720069669 17547264 2715 4294967295 134512640 134714540 3221224592 3221222820 1077414435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4284 2715 1111 63 0 4221 0
vsize: 17136
[startup+270.007 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 14719
Raw data (stat): 14719 (bsolo_mis) R 14718 8378 8377 0 -1 0 2761 0 0 0 26981 10 0 0 25 0 1 0 720069669 17682432 2739 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4317 2739 1111 63 0 4254 0
vsize: 17268
[startup+280.007 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 14719
Raw data (stat): 14719 (bsolo_mis) R 14718 8378 8377 0 -1 0 2792 0 0 0 27981 10 0 0 25 0 1 0 720069669 17833984 2770 4294967295 134512640 134714540 3221224592 3221222820 1077414399 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4354 2770 1111 63 0 4291 0
vsize: 17416
[startup+290.007 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 14719
Raw data (stat): 14719 (bsolo_mis) R 14718 8378 8377 0 -1 0 2815 0 0 0 28981 11 0 0 25 0 1 0 720069669 17969152 2793 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4387 2793 1111 63 0 4324 0
vsize: 17548
[startup+300.006 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 14719
Raw data (stat): 14719 (bsolo_mis) R 14718 8378 8377 0 -1 0 2838 0 0 0 29981 11 0 0 25 0 1 0 720069669 17969152 2816 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4387 2816 1111 63 0 4324 0
vsize: 17548
[startup+310.006 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 14719
Raw data (stat): 14719 (bsolo_mis) R 14718 8378 8377 0 -1 0 2862 0 0 0 30981 11 0 0 25 0 1 0 720069669 18120704 2840 4294967295 134512640 134714540 3221224592 3221222820 1077414435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4424 2840 1111 63 0 4361 0
vsize: 17696
[startup+320.006 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 14719
Raw data (stat): 14719 (bsolo_mis) R 14718 8378 8377 0 -1 0 2891 0 0 0 31981 11 0 0 25 0 1 0 720069669 18255872 2869 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4457 2869 1111 63 0 4394 0
vsize: 17828
[startup+330.007 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 14719
Raw data (stat): 14719 (bsolo_mis) R 14718 8378 8377 0 -1 0 2913 0 0 0 32981 11 0 0 25 0 1 0 720069669 18399232 2891 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4492 2891 1111 63 0 4429 0
vsize: 17968
[startup+340.007 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 14719
Raw data (stat): 14719 (bsolo_mis) R 14718 8378 8377 0 -1 0 2936 0 0 0 33981 11 0 0 25 0 1 0 720069669 18399232 2914 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4492 2914 1111 63 0 4429 0
vsize: 17968
[startup+350.006 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 14719
Raw data (stat): 14719 (bsolo_mis) R 14718 8378 8377 0 -1 0 2959 0 0 0 34981 12 0 0 25 0 1 0 720069669 18554880 2937 4294967295 134512640 134714540 3221224592 3221222820 1077414383 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4530 2937 1111 63 0 4467 0
vsize: 18120
[startup+360.008 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 14719
Raw data (stat): 14719 (bsolo_mis) R 14718 8378 8377 0 -1 0 2984 0 0 0 35981 12 0 0 25 0 1 0 720069669 18690048 2962 4294967295 134512640 134714540 3221224592 3221222820 1077414357 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4563 2962 1111 63 0 4500 0
vsize: 18252
[startup+370.008 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 14719
Raw data (stat): 14719 (bsolo_mis) R 14718 8378 8377 0 -1 0 3014 0 0 0 36981 12 0 0 25 0 1 0 720069669 18690048 2992 4294967295 134512640 134714540 3221224592 3221222820 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4563 2992 1111 63 0 4500 0
vsize: 18252
[startup+380.008 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 14719
Raw data (stat): 14719 (bsolo_mis) R 14718 8378 8377 0 -1 0 3037 0 0 0 37981 12 0 0 25 0 1 0 720069669 18845696 3015 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4601 3015 1111 63 0 4538 0
vsize: 18404
[startup+390.008 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 14719
Raw data (stat): 14719 (bsolo_mis) R 14718 8378 8377 0 -1 0 3060 0 0 0 38981 12 0 0 25 0 1 0 720069669 18980864 3038 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4634 3038 1111 63 0 4571 0
vsize: 18536
[startup+400.008 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 14719
Raw data (stat): 14719 (bsolo_mis) R 14718 8378 8377 0 -1 0 3083 0 0 0 39981 12 0 0 25 0 1 0 720069669 18980864 3061 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4634 3061 1111 63 0 4571 0
vsize: 18536
[startup+410.008 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 14719
Raw data (stat): 14719 (bsolo_mis) R 14718 8378 8377 0 -1 0 3106 0 0 0 40981 12 0 0 25 0 1 0 720069669 19132416 3084 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4671 3085 1111 63 0 4608 0
vsize: 18684
[startup+420.009 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 14719
Raw data (stat): 14719 (bsolo_mis) R 14718 8378 8377 0 -1 0 3130 0 0 0 41981 13 0 0 25 0 1 0 720069669 19288064 3108 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4709 3108 1111 63 0 4646 0
vsize: 18836
[startup+430.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 14719
Raw data (stat): 14719 (bsolo_mis) R 14718 8378 8377 0 -1 0 3154 0 0 0 42981 13 0 0 25 0 1 0 720069669 19288064 3132 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4709 3132 1111 63 0 4646 0
vsize: 18836
[startup+440.009 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 14719
Raw data (stat): 14719 (bsolo_mis) R 14718 8378 8377 0 -1 0 3178 0 0 0 43982 13 0 0 25 0 1 0 720069669 19423232 3156 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4742 3156 1111 63 0 4679 0
vsize: 18968
[startup+450.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 14719
Raw data (stat): 14719 (bsolo_mis) R 14718 8378 8377 0 -1 0 3202 0 0 0 44982 13 0 0 25 0 1 0 720069669 19578880 3180 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4780 3180 1111 63 0 4717 0
vsize: 19120
[startup+460.009 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 14719
Raw data (stat): 14719 (bsolo_mis) R 14718 8378 8377 0 -1 0 3225 0 0 0 45982 13 0 0 25 0 1 0 720069669 19578880 3203 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4780 3203 1111 63 0 4717 0
vsize: 19120
[startup+470.019 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 14719
Raw data (stat): 14719 (bsolo_mis) R 14718 8378 8377 0 -1 0 3248 0 0 0 46983 13 0 0 25 0 1 0 720069669 19734528 3226 4294967295 134512640 134714540 3221224592 3221222820 1077414401 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4818 3226 1111 63 0 4755 0
vsize: 19272
[startup+480.019 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 14719
Raw data (stat): 14719 (bsolo_mis) R 14718 8378 8377 0 -1 0 3271 0 0 0 47983 13 0 0 25 0 1 0 720069669 19734528 3249 4294967295 134512640 134714540 3221224592 3221222820 1077414383 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4818 3249 1111 63 0 4755 0
vsize: 19272
[startup+490.018 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 14719
Raw data (stat): 14719 (bsolo_mis) R 14718 8378 8377 0 -1 0 3294 0 0 0 48983 13 0 0 25 0 1 0 720069669 19869696 3272 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4851 3272 1111 63 0 4788 0
vsize: 19404
[startup+500.021 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 14719
Raw data (stat): 14719 (bsolo_mis) R 14718 8378 8377 0 -1 0 3318 0 0 0 49983 13 0 0 25 0 1 0 720069669 20021248 3296 4294967295 134512640 134714540 3221224592 3221222820 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4888 3296 1111 63 0 4825 0
vsize: 19552
[startup+510.029 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 14719
Raw data (stat): 14719 (bsolo_mis) R 14718 8378 8377 0 -1 0 3342 0 0 0 50984 13 0 0 25 0 1 0 720069669 20156416 3320 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4921 3320 1111 63 0 4858 0
vsize: 19684
[startup+520.03 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 14719
Raw data (stat): 14719 (bsolo_mis) R 14718 8378 8377 0 -1 0 3372 0 0 0 51984 13 0 0 25 0 1 0 720069669 20156416 3350 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4921 3350 1111 63 0 4858 0
vsize: 19684
[startup+530.03 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 14719
Raw data (stat): 14719 (bsolo_mis) R 14718 8378 8377 0 -1 0 3395 0 0 0 52984 13 0 0 25 0 1 0 720069669 20307968 3373 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4958 3373 1111 63 0 4895 0
vsize: 19832
[startup+540.048 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 14719
Raw data (stat): 14719 (bsolo_mis) R 14718 8378 8377 0 -1 0 3419 0 0 0 53986 13 0 0 25 0 1 0 720069669 20443136 3397 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4991 3397 1111 63 0 4928 0
vsize: 19964
[startup+550.048 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 14719
Raw data (stat): 14719 (bsolo_mis) R 14718 8378 8377 0 -1 0 3442 0 0 0 54986 14 0 0 25 0 1 0 720069669 20443136 3420 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4991 3420 1111 63 0 4928 0
vsize: 19964
[startup+560.048 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 14719
Raw data (stat): 14719 (bsolo_mis) R 14718 8378 8377 0 -1 0 3465 0 0 0 55986 14 0 0 25 0 1 0 720069669 20594688 3443 4294967295 134512640 134714540 3221224592 3221222820 1077414426 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5028 3443 1111 63 0 4965 0
vsize: 20112
[startup+570.161 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 14719
Raw data (stat): 14719 (bsolo_mis) R 14718 8378 8377 0 -1 0 3495 0 0 0 56998 14 0 0 25 0 1 0 720069669 20750336 3473 4294967295 134512640 134714540 3221224592 3221222820 1077414435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5066 3473 1111 63 0 5003 0
vsize: 20264
[startup+580.162 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 14719
Raw data (stat): 14719 (bsolo_mis) R 14718 8378 8377 0 -1 0 3520 0 0 0 57998 14 0 0 25 0 1 0 720069669 20885504 3498 4294967295 134512640 134714540 3221224592 3221222820 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5099 3498 1111 63 0 5036 0
vsize: 20396
[startup+590.161 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 14719
Raw data (stat): 14719 (bsolo_mis) R 14718 8378 8377 0 -1 0 3544 0 0 0 58998 14 0 0 25 0 1 0 720069669 20885504 3522 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5099 3522 1111 63 0 5036 0
vsize: 20396
[startup+600.162 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 14719
Raw data (stat): 14719 (bsolo_mis) R 14718 8378 8377 0 -1 0 3567 0 0 0 59998 14 0 0 25 0 1 0 720069669 21041152 3545 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5137 3545 1111 63 0 5074 0
vsize: 20548
[startup+610.162 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 14719
Raw data (stat): 14719 (bsolo_mis) R 14718 8378 8377 0 -1 0 3590 0 0 0 60998 14 0 0 25 0 1 0 720069669 21041152 3568 4294967295 134512640 134714540 3221224592 3221222820 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5137 3568 1111 63 0 5074 0
vsize: 20548
[startup+620.162 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 14719
Raw data (stat): 14719 (bsolo_mis) R 14718 8378 8377 0 -1 0 3613 0 0 0 61998 14 0 0 25 0 1 0 720069669 21176320 3591 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5170 3591 1111 63 0 5107 0
vsize: 20680
[startup+630.182 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 14719
Raw data (stat): 14719 (bsolo_mis) R 14718 8378 8377 0 -1 0 3636 0 0 0 63000 14 0 0 25 0 1 0 720069669 21323776 3614 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5206 3614 1111 63 0 5143 0
vsize: 20824
[startup+640.204 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 14719
Raw data (stat): 14719 (bsolo_mis) R 14718 8378 8377 0 -1 0 3660 0 0 0 64003 14 0 0 25 0 1 0 720069669 21458944 3638 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5239 3638 1111 63 0 5176 0
vsize: 20956
[startup+650.204 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 14719
Raw data (stat): 14719 (bsolo_mis) R 14718 8378 8377 0 -1 0 3697 0 0 0 65003 15 0 0 25 0 1 0 720069669 21594112 3675 4294967295 134512640 134714540 3221224592 3221222820 1077414360 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5272 3675 1111 63 0 5209 0
vsize: 21088
[startup+660.204 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 14719
Raw data (stat): 14719 (bsolo_mis) R 14718 8378 8377 0 -1 0 3722 0 0 0 66002 15 0 0 25 0 1 0 720069669 21729280 3700 4294967295 134512640 134714540 3221224592 3221222820 1077414432 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5305 3700 1111 63 0 5242 0
vsize: 21220
[startup+670.205 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 14719
Raw data (stat): 14719 (bsolo_mis) R 14718 8378 8377 0 -1 0 3745 0 0 0 67003 15 0 0 25 0 1 0 720069669 21729280 3723 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5305 3723 1111 63 0 5242 0
vsize: 21220
[startup+680.204 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 14719
Raw data (stat): 14719 (bsolo_mis) R 14718 8378 8377 0 -1 0 3768 0 0 0 68003 15 0 0 25 0 1 0 720069669 21884928 3746 4294967295 134512640 134714540 3221224592 3221222820 1077414407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5343 3746 1111 63 0 5280 0
vsize: 21372
[startup+690.205 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 14719
Raw data (stat): 14719 (bsolo_mis) R 14718 8378 8377 0 -1 0 3792 0 0 0 69003 15 0 0 25 0 1 0 720069669 21884928 3770 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5343 3770 1111 63 0 5280 0
vsize: 21372
[startup+700.205 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 14719
Raw data (stat): 14719 (bsolo_mis) R 14718 8378 8377 0 -1 0 3815 0 0 0 70003 15 0 0 25 0 1 0 720069669 22040576 3793 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5381 3793 1111 63 0 5318 0
vsize: 21524
[startup+710.205 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 14719
Raw data (stat): 14719 (bsolo_mis) R 14718 8378 8377 0 -1 0 3838 0 0 0 71003 15 0 0 25 0 1 0 720069669 22175744 3816 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5414 3816 1111 63 0 5351 0
vsize: 21656
[startup+720.206 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 14719
Raw data (stat): 14719 (bsolo_mis) R 14718 8378 8377 0 -1 0 3861 0 0 0 72003 15 0 0 25 0 1 0 720069669 22175744 3839 4294967295 134512640 134714540 3221224592 3221222820 1077414376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5414 3839 1111 63 0 5351 0
vsize: 21656
[startup+730.205 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 14719
Raw data (stat): 14719 (bsolo_mis) R 14718 8378 8377 0 -1 0 3893 0 0 0 73003 15 0 0 25 0 1 0 720069669 22323200 3871 4294967295 134512640 134714540 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5450 3871 1111 63 0 5387 0
vsize: 21800
[startup+740.205 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 14719
Raw data (stat): 14719 (bsolo_mis) R 14718 8378 8377 0 -1 0 3916 0 0 0 74003 16 0 0 25 0 1 0 720069669 22458368 3894 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5483 3894 1111 63 0 5420 0
vsize: 21932
[startup+750.205 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 14719
Raw data (stat): 14719 (bsolo_mis) R 14718 8378 8377 0 -1 0 3939 0 0 0 75003 16 0 0 25 0 1 0 720069669 22614016 3917 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5521 3917 1111 63 0 5458 0
vsize: 22084
[startup+760.205 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 14719
Raw data (stat): 14719 (bsolo_mis) R 14718 8378 8377 0 -1 0 3963 0 0 0 76003 16 0 0 25 0 1 0 720069669 22614016 3941 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5521 3941 1111 63 0 5458 0
vsize: 22084
[startup+770.206 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 14719
Raw data (stat): 14719 (bsolo_mis) R 14718 8378 8377 0 -1 0 3986 0 0 0 77003 16 0 0 25 0 1 0 720069669 22749184 3964 4294967295 134512640 134714540 3221224592 3221222820 1077414358 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5554 3964 1111 63 0 5491 0
vsize: 22216
[startup+780.206 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 14719
Raw data (stat): 14719 (bsolo_mis) R 14718 8378 8377 0 -1 0 4009 0 0 0 78004 16 0 0 25 0 1 0 720069669 22900736 3987 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5591 3987 1111 63 0 5528 0
vsize: 22364
[startup+790.206 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 14719
Raw data (stat): 14719 (bsolo_mis) R 14718 8378 8377 0 -1 0 4040 0 0 0 79004 16 0 0 25 0 1 0 720069669 22900736 4018 4294967295 134512640 134714540 3221224592 3221222820 1077414357 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5591 4018 1111 63 0 5528 0
vsize: 22364
[startup+800.206 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 14719
Raw data (stat): 14719 (bsolo_mis) R 14718 8378 8377 0 -1 0 4064 0 0 0 80004 16 0 0 25 0 1 0 720069669 23056384 4042 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5629 4042 1111 63 0 5566 0
vsize: 22516
[startup+810.206 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 14719
Raw data (stat): 14719 (bsolo_mis) R 14718 8378 8377 0 -1 0 4089 0 0 0 81004 16 0 0 25 0 1 0 720069669 23191552 4067 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5662 4067 1111 63 0 5599 0
vsize: 22648
[startup+820.206 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 14719
Raw data (stat): 14719 (bsolo_mis) R 14718 8378 8377 0 -1 0 4112 0 0 0 82004 16 0 0 25 0 1 0 720069669 23191552 4090 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5662 4090 1111 63 0 5599 0
vsize: 22648
[startup+830.206 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 14719
Raw data (stat): 14719 (bsolo_mis) R 14718 8378 8377 0 -1 0 4135 0 0 0 83004 16 0 0 25 0 1 0 720069669 23347200 4113 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5700 4113 1111 63 0 5637 0
vsize: 22800
[startup+840.206 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 14719
Raw data (stat): 14719 (bsolo_mis) R 14718 8378 8377 0 -1 0 4159 0 0 0 84004 16 0 0 25 0 1 0 720069669 23502848 4137 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5738 4137 1111 63 0 5675 0
vsize: 22952
[startup+850.207 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 14719
Raw data (stat): 14719 (bsolo_mis) R 14718 8378 8377 0 -1 0 4188 0 0 0 85004 16 0 0 25 0 1 0 720069669 23502848 4166 4294967295 134512640 134714540 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5738 4166 1111 63 0 5675 0
vsize: 22952
[startup+860.207 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 14719
Raw data (stat): 14719 (bsolo_mis) R 14718 8378 8377 0 -1 0 4211 0 0 0 86004 17 0 0 25 0 1 0 720069669 23638016 4189 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5771 4189 1111 63 0 5708 0
vsize: 23084
[startup+870.208 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 14719
Raw data (stat): 14719 (bsolo_mis) R 14718 8378 8377 0 -1 0 4235 0 0 0 87005 17 0 0 25 0 1 0 720069669 23789568 4213 4294967295 134512640 134714540 3221224592 3221222820 1077414432 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5808 4213 1111 63 0 5745 0
vsize: 23232
[startup+880.208 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 14719
Raw data (stat): 14719 (bsolo_mis) R 14718 8378 8377 0 -1 0 4259 0 0 0 88005 17 0 0 25 0 1 0 720069669 23789568 4237 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5808 4237 1111 63 0 5745 0
vsize: 23232
[startup+890.208 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 14719
Raw data (stat): 14719 (bsolo_mis) R 14718 8378 8377 0 -1 0 4283 0 0 0 89005 17 0 0 25 0 1 0 720069669 23924736 4261 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5841 4261 1111 63 0 5778 0
vsize: 23364
[startup+900.208 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 14719
Raw data (stat): 14719 (bsolo_mis) R 14718 8378 8377 0 -1 0 4306 0 0 0 90005 17 0 0 25 0 1 0 720069669 24076288 4284 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5878 4284 1111 63 0 5815 0
vsize: 23512
[startup+910.207 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 14719
Raw data (stat): 14719 (bsolo_mis) R 14718 8378 8377 0 -1 0 4329 0 0 0 91005 17 0 0 25 0 1 0 720069669 24076288 4307 4294967295 134512640 134714540 3221224592 3221222820 1077414410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5878 4307 1111 63 0 5815 0
vsize: 23512
[startup+920.208 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 14719
Raw data (stat): 14719 (bsolo_mis) R 14718 8378 8377 0 -1 0 4353 0 0 0 92005 17 0 0 25 0 1 0 720069669 24211456 4331 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5911 4331 1111 63 0 5848 0
vsize: 23644
[startup+930.208 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 14719
Raw data (stat): 14719 (bsolo_mis) R 14718 8378 8377 0 -1 0 4376 0 0 0 93005 18 0 0 25 0 1 0 720069669 24363008 4354 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5948 4354 1111 63 0 5885 0
vsize: 23792
[startup+940.208 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 14719
Raw data (stat): 14719 (bsolo_mis) R 14718 8378 8377 0 -1 0 4405 0 0 0 94005 18 0 0 25 0 1 0 720069669 24518656 4383 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5986 4383 1111 63 0 5923 0
vsize: 23944
[startup+950.209 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 14719
Raw data (stat): 14719 (bsolo_mis) R 14718 8378 8377 0 -1 0 4431 0 0 0 95005 18 0 0 25 0 1 0 720069669 24518656 4409 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5986 4409 1111 63 0 5923 0
vsize: 23944
[startup+960.208 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 14719
Raw data (stat): 14719 (bsolo_mis) R 14718 8378 8377 0 -1 0 4456 0 0 0 96005 18 0 0 25 0 1 0 720069669 24653824 4434 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6019 4434 1111 63 0 5956 0
vsize: 24076
[startup+970.209 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 14719
Raw data (stat): 14719 (bsolo_mis) R 14718 8378 8377 0 -1 0 4479 0 0 0 97005 18 0 0 25 0 1 0 720069669 24809472 4457 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6057 4457 1111 63 0 5994 0
vsize: 24228
[startup+980.209 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 14719
Raw data (stat): 14719 (bsolo_mis) R 14718 8378 8377 0 -1 0 4503 0 0 0 98005 18 0 0 25 0 1 0 720069669 24809472 4481 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6057 4481 1111 63 0 5994 0
vsize: 24228
[startup+990.209 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 14719
Raw data (stat): 14719 (bsolo_mis) R 14718 8378 8377 0 -1 0 4532 0 0 0 99005 18 0 0 25 0 1 0 720069669 24944640 4510 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6090 4510 1111 63 0 6027 0
vsize: 24360
[startup+1000.21 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 14719
Raw data (stat): 14719 (bsolo_mis) R 14718 8378 8377 0 -1 0 4556 0 0 0 100005 18 0 0 25 0 1 0 720069669 25092096 4534 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6126 4534 1111 63 0 6063 0
vsize: 24504
[startup+1010.21 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 14719
Raw data (stat): 14719 (bsolo_mis) R 14718 8378 8377 0 -1 0 4579 0 0 0 101005 19 0 0 25 0 1 0 720069669 25092096 4557 4294967295 134512640 134714540 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6126 4557 1111 63 0 6063 0
vsize: 24504
[startup+1020.21 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 14719
Raw data (stat): 14719 (bsolo_mis) R 14718 8378 8377 0 -1 0 4602 0 0 0 102005 19 0 0 25 0 1 0 720069669 25227264 4580 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6159 4580 1111 63 0 6096 0
vsize: 24636
[startup+1030.21 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 14719
Raw data (stat): 14719 (bsolo_mis) R 14718 8378 8377 0 -1 0 4627 0 0 0 103005 19 0 0 25 0 1 0 720069669 25382912 4605 4294967295 134512640 134714540 3221224592 3221222820 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6197 4605 1111 63 0 6134 0
vsize: 24788
[startup+1040.21 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 14719
Raw data (stat): 14719 (bsolo_mis) R 14718 8378 8377 0 -1 0 4650 0 0 0 104005 19 0 0 25 0 1 0 720069669 25382912 4628 4294967295 134512640 134714540 3221224592 3221222820 1077414399 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6197 4628 1111 63 0 6134 0
vsize: 24788
[startup+1050.21 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 14719
Raw data (stat): 14719 (bsolo_mis) R 14718 8378 8377 0 -1 0 4673 0 0 0 105006 19 0 0 25 0 1 0 720069669 25518080 4651 4294967295 134512640 134714540 3221224592 3221222820 1077414408 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6230 4651 1111 63 0 6167 0
vsize: 24920
[startup+1060.21 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 14719
Raw data (stat): 14719 (bsolo_mis) R 14718 8378 8377 0 -1 0 4696 0 0 0 106006 19 0 0 25 0 1 0 720069669 25665536 4674 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6266 4674 1111 63 0 6203 0
vsize: 25064
[startup+1070.21 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 14719
Raw data (stat): 14719 (bsolo_mis) R 14718 8378 8377 0 -1 0 4726 0 0 0 107006 19 0 0 25 0 1 0 720069669 25800704 4704 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6299 4704 1111 63 0 6236 0
vsize: 25196
[startup+1080.21 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 14719
Raw data (stat): 14719 (bsolo_mis) R 14718 8378 8377 0 -1 0 4749 0 0 0 108006 19 0 0 25 0 1 0 720069669 25800704 4727 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6299 4727 1111 63 0 6236 0
vsize: 25196
[startup+1090.21 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 14719
Raw data (stat): 14719 (bsolo_mis) R 14718 8378 8377 0 -1 0 4773 0 0 0 109006 19 0 0 25 0 1 0 720069669 25952256 4751 4294967295 134512640 134714540 3221224592 3221222820 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6336 4751 1111 63 0 6273 0
vsize: 25344
[startup+1100.21 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 14719
Raw data (stat): 14719 (bsolo_mis) R 14718 8378 8377 0 -1 0 4798 0 0 0 110006 19 0 0 25 0 1 0 720069669 26091520 4776 4294967295 134512640 134714540 3221224592 3221222820 1077414408 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6370 4776 1111 63 0 6307 0
vsize: 25480
[startup+1110.21 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 14719
Raw data (stat): 14719 (bsolo_mis) R 14718 8378 8377 0 -1 0 4821 0 0 0 111006 19 0 0 25 0 1 0 720069669 26091520 4799 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6370 4799 1111 63 0 6307 0
vsize: 25480
[startup+1120.21 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 14719
Raw data (stat): 14719 (bsolo_mis) R 14718 8378 8377 0 -1 0 4851 0 0 0 112006 19 0 0 25 0 1 0 720069669 26238976 4829 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6406 4829 1111 63 0 6343 0
vsize: 25624
[startup+1130.22 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 14719
Raw data (stat): 14719 (bsolo_mis) R 14718 8378 8377 0 -1 0 4874 0 0 0 113007 19 0 0 25 0 1 0 720069669 26374144 4852 4294967295 134512640 134714540 3221224592 3221222820 1077414376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6439 4852 1111 63 0 6376 0
vsize: 25756
[startup+1140.22 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 14719
Raw data (stat): 14719 (bsolo_mis) R 14718 8378 8377 0 -1 0 4898 0 0 0 114007 20 0 0 25 0 1 0 720069669 26525696 4876 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6476 4876 1111 63 0 6413 0
vsize: 25904
[startup+1150.22 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 14719
Raw data (stat): 14719 (bsolo_mis) R 14718 8378 8377 0 -1 0 4921 0 0 0 115007 20 0 0 25 0 1 0 720069669 26525696 4899 4294967295 134512640 134714540 3221224592 3221222820 1077414426 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6476 4899 1111 63 0 6413 0
vsize: 25904
[startup+1160.22 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 14719
Raw data (stat): 14719 (bsolo_mis) R 14718 8378 8377 0 -1 0 4944 0 0 0 116007 20 0 0 25 0 1 0 720069669 26681344 4922 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6514 4922 1111 63 0 6451 0
vsize: 26056
[startup+1170.22 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 14719
Raw data (stat): 14719 (bsolo_mis) R 14718 8378 8377 0 -1 0 4976 0 0 0 117008 20 0 0 25 0 1 0 720069669 26816512 4954 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6547 4954 1111 63 0 6484 0
vsize: 26188
[startup+1180.22 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 14719
Raw data (stat): 14719 (bsolo_mis) R 14718 8378 8377 0 -1 0 4999 0 0 0 118008 20 0 0 25 0 1 0 720069669 26816512 4977 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6547 4977 1111 63 0 6484 0
vsize: 26188
[startup+1190.22 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 14719
Raw data (stat): 14719 (bsolo_mis) R 14718 8378 8377 0 -1 0 5023 0 0 0 119008 20 0 0 25 0 1 0 720069669 26972160 5001 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6585 5001 1111 63 0 6522 0
vsize: 26340
[startup+1200.22 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 14719
Raw data (stat): 14719 (bsolo_mis) R 14718 8378 8377 0 -1 0 5046 0 0 0 120008 20 0 0 25 0 1 0 720069669 27107328 5024 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6618 5024 1111 63 0 6555 0
vsize: 26472
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.23 s]
Raw data (loadavg): 0.99 0.98 0.91 1/55 14719
Raw data (stat): 14719 (bsolo_mis) Z 14718 8378 8377 0 -1 1036 5046 0 0 0 120008 21 0 0 25 0 1 0 720069669 0 0 4294967295 0 0 0 0 0 0 0 7 0 3222412051 0 0 17 1 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.23
CPU time (s): 1200.3
CPU user time (s): 1200.08
CPU system time (s): 0.213967
CPU usage (%): 100.006
Max. virtual memory (Kb): 26472
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####