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/submitted/aloul/FPGA_SAT05/normalized-fpga45_44_sat_pb.cnf.cr.opb
MD5SUM	c501a04dd091dbe678ec2743021adc30
Bench Category	no optimization function (SAT)
Has Objective Function	NO
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	0
Optimality of the best value was proved	NO
Number of terms in the objective function	0
Biggest coefficient in the objective function	0
Number of bits for the biggest coefficient in the objective function	0
Sum of the numbers in the objective function	0
Number of bits of the sum of numbers in the objective function	0
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	46
Number of bits of the biggest sum of numbers	6
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	15.2037
Number of variables	2970
Total number of constraints	2113
Number of constraints which are clauses	2024
Number of constraints which are cardinality constraints (but not clauses)	89
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	22
Maximum length of a constraint	45
Trace number 23419

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-03 10:24:16 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=498 boxname=wulflinc31 idbench=56 idsolver=3 numberseed=0
MD5SUM SOLVER: 03a6a792daea978e4202f78851741568  /oldhome/oroussel/solvers/bsolo_mis
MD5SUM BENCH:  c501a04dd091dbe678ec2743021adc30  /oldhome/oroussel/tmp/wulflinc31/normalized-fpga45_44_sat_pb.cnf.cr.opb
REAL COMMAND:  bsolo_mis /oldhome/oroussel/tmp/wulflinc31/normalized-fpga45_44_sat_pb.cnf.cr.opb
IDLAUNCH: 498
/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:        921240 kB
Buffers:         39740 kB
Cached:          51388 kB
SwapCached:        944 kB
Active:          76364 kB
Inactive:        17216 kB
HighTotal:      131008 kB
HighFree:        78652 kB
LowTotal:       903652 kB
LowFree:        842588 kB
SwapTotal:     2097892 kB
SwapFree:      2096432 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5536 kB
Slab:            14260 kB
Committed_AS:    63656 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-03 10:43:52 (client local time) WITH STATUS 0 IN 1175.04 SECONDS
stats: 498 7 1175.04 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: No cost function. Find solution and finish.
c Initial problem consists of 2970 variables and 2113 constraints.
c After prepocess the problem consists of 2970 variables and 2113 constraints.
c preprocess terminated 8.725 s
c Not use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175 s
#### 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.99 1.00 0.99 2/54 1313
Raw data (stat): 1313 (runsolver) R 1311 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 648013958 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.0004 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 1313
Raw data (stat): 1313 (bsolo_mis) R 1311 7876 7672 0 -1 0 2131 0 0 0 989 7 0 0 25 0 1 0 648013958 12431360 2106 4294967295 134512640 134714540 3221221776 3221220544 134592104 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3035 2106 1111 63 0 2972 0
vsize: 12140
[startup+20.0009 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 1313
Raw data (stat): 1313 (bsolo_mis) R 1311 7876 7672 0 -1 0 2257 0 0 0 1987 9 0 0 25 0 1 0 648013958 12943360 2222 4294967295 134512640 134714540 3221221776 3221220544 134592116 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3160 2222 1111 63 0 3097 0
vsize: 12640
[startup+30.0018 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 1313
Raw data (stat): 1313 (bsolo_mis) R 1311 7876 7672 0 -1 0 2271 0 0 0 2985 12 0 0 25 0 1 0 648013958 12943360 2236 4294967295 134512640 134714540 3221221776 3221220440 134543665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3160 2236 1111 63 0 3097 0
vsize: 12640
[startup+40.0032 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 1313
Raw data (stat): 1313 (bsolo_mis) R 1311 7876 7672 0 -1 0 2310 0 0 0 3983 14 0 0 25 0 1 0 648013958 13078528 2275 4294967295 134512640 134714540 3221221776 3221220416 134696145 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3193 2275 1111 63 0 3130 0
vsize: 12772
[startup+50.0037 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 1313
Raw data (stat): 1313 (bsolo_mis) R 1311 7876 7672 0 -1 0 2337 0 0 0 4981 16 0 0 25 0 1 0 648013958 13213696 2302 4294967295 134512640 134714540 3221221776 3221220544 134592104 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3226 2302 1111 63 0 3163 0
vsize: 12904
[startup+60.0035 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 1313
Raw data (stat): 1313 (bsolo_mis) R 1311 7876 7672 0 -1 0 2359 0 0 0 5980 18 0 0 25 0 1 0 648013958 13348864 2324 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3259 2324 1111 63 0 3196 0
vsize: 13036
[startup+70.0047 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 1313
Raw data (stat): 1313 (bsolo_mis) R 1311 7876 7672 0 -1 0 2359 0 0 0 6978 19 0 0 25 0 1 0 648013958 13275136 2324 4294967295 134512640 134714540 3221221776 3221220488 134558490 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3241 2324 1111 63 0 3178 0
vsize: 12964
[startup+80.0053 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 1313
Raw data (stat): 1313 (bsolo_mis) R 1311 7876 7672 0 -1 0 2394 0 0 0 7977 21 0 0 25 0 1 0 648013958 13410304 2359 4294967295 134512640 134714540 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3274 2359 1111 63 0 3211 0
vsize: 13096
[startup+90.0052 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 1313
Raw data (stat): 1313 (bsolo_mis) R 1311 7876 7672 0 -1 0 2447 0 0 0 8976 22 0 0 25 0 1 0 648013958 13672448 2412 4294967295 134512640 134714540 3221221776 3221220432 134613590 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3338 2412 1111 63 0 3275 0
vsize: 13352
[startup+100.005 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 1313
Raw data (stat): 1313 (bsolo_mis) R 1311 7876 7672 0 -1 0 2483 0 0 0 9975 23 0 0 25 0 1 0 648013958 13807616 2448 4294967295 134512640 134714540 3221221776 3221220400 134696266 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3371 2448 1111 63 0 3308 0
vsize: 13484
[startup+110.005 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 1313
Raw data (stat): 1313 (bsolo_mis) R 1311 7876 7672 0 -1 0 2508 0 0 0 10973 25 0 0 25 0 1 0 648013958 13942784 2473 4294967295 134512640 134714540 3221221776 3221220428 134536779 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3404 2473 1111 63 0 3341 0
vsize: 13616
[startup+120.006 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 1313
Raw data (stat): 1313 (bsolo_mis) R 1311 7876 7672 0 -1 0 2519 0 0 0 11972 26 0 0 25 0 1 0 648013958 13918208 2484 4294967295 134512640 134714540 3221221776 3221220492 1076647546 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3398 2484 1111 63 0 3335 0
vsize: 13592
[startup+130.006 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 1313
Raw data (stat): 1313 (bsolo_mis) R 1311 7876 7672 0 -1 0 2531 0 0 0 12971 27 0 0 25 0 1 0 648013958 14053376 2496 4294967295 134512640 134714540 3221221776 3221220464 134542848 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3431 2496 1111 63 0 3368 0
vsize: 13724
[startup+140.007 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 1313
Raw data (stat): 1313 (bsolo_mis) R 1311 7876 7672 0 -1 0 2567 0 0 0 13971 28 0 0 25 0 1 0 648013958 14188544 2532 4294967295 134512640 134714540 3221221776 3221220384 134549332 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3464 2532 1111 63 0 3401 0
vsize: 13856
[startup+150.007 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 1313
Raw data (stat): 1313 (bsolo_mis) R 1311 7876 7672 0 -1 0 2570 0 0 0 14969 30 0 0 25 0 1 0 648013958 14188544 2535 4294967295 134512640 134714540 3221221776 3221220520 134551620 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3464 2535 1111 63 0 3401 0
vsize: 13856
[startup+160.007 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 1313
Raw data (stat): 1313 (bsolo_mis) R 1311 7876 7672 0 -1 0 2631 0 0 0 15968 31 0 0 25 0 1 0 648013958 14438400 2596 4294967295 134512640 134714540 3221221776 3221220544 134592134 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3525 2596 1111 63 0 3462 0
vsize: 14100
[startup+170.008 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 1313
Raw data (stat): 1313 (bsolo_mis) R 1311 7876 7672 0 -1 0 2670 0 0 0 16966 33 0 0 25 0 1 0 648013958 14573568 2635 4294967295 134512640 134714540 3221221776 3221220448 134551963 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3558 2635 1111 63 0 3495 0
vsize: 14232
[startup+180.008 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 1313
Raw data (stat): 1313 (bsolo_mis) R 1311 7876 7672 0 -1 0 2725 0 0 0 17964 35 0 0 25 0 1 0 648013958 14843904 2690 4294967295 134512640 134714540 3221221776 3221220416 134696117 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3624 2690 1111 63 0 3561 0
vsize: 14496
[startup+190.009 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 1313
Raw data (stat): 1313 (bsolo_mis) R 1311 7876 7672 0 -1 0 2740 0 0 0 18964 36 0 0 25 0 1 0 648013958 14843904 2705 4294967295 134512640 134714540 3221221776 3221220428 134536766 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3624 2705 1111 63 0 3561 0
vsize: 14496
[startup+200.008 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 1313
Raw data (stat): 1313 (bsolo_mis) R 1311 7876 7672 0 -1 0 2746 0 0 0 19962 38 0 0 25 0 1 0 648013958 14843904 2711 4294967295 134512640 134714540 3221221776 3221220384 134548608 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3624 2711 1111 63 0 3561 0
vsize: 14496
[startup+210.009 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 1313
Raw data (stat): 1313 (bsolo_mis) R 1311 7876 7672 0 -1 0 2773 0 0 0 20961 39 0 0 25 0 1 0 648013958 14979072 2738 4294967295 134512640 134714540 3221221776 3221220456 134594352 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3657 2738 1111 63 0 3594 0
vsize: 14628
[startup+220.01 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 1313
Raw data (stat): 1313 (bsolo_mis) R 1311 7876 7672 0 -1 0 2773 0 0 0 21960 40 0 0 25 0 1 0 648013958 14979072 2738 4294967295 134512640 134714540 3221221776 3221220476 134534084 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3657 2738 1111 63 0 3594 0
vsize: 14628
[startup+230.009 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 1313
Raw data (stat): 1313 (bsolo_mis) R 1311 7876 7672 0 -1 0 2777 0 0 0 22958 42 0 0 25 0 1 0 648013958 14979072 2742 4294967295 134512640 134714540 3221221776 3221220384 134548843 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3657 2742 1111 63 0 3594 0
vsize: 14628
[startup+240.009 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 1313
Raw data (stat): 1313 (bsolo_mis) R 1311 7876 7672 0 -1 0 2806 0 0 0 23957 44 0 0 25 0 1 0 648013958 15114240 2771 4294967295 134512640 134714540 3221221776 3221220400 134536678 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3690 2771 1111 63 0 3627 0
vsize: 14760
[startup+250.009 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 1313
Raw data (stat): 1313 (bsolo_mis) R 1311 7876 7672 0 -1 0 2823 0 0 0 24955 45 0 0 25 0 1 0 648013958 15249408 2788 4294967295 134512640 134714540 3221221776 3221220384 134523399 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3723 2788 1111 63 0 3660 0
vsize: 14892
[startup+260.009 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 1313
Raw data (stat): 1313 (bsolo_mis) R 1311 7876 7672 0 -1 0 2839 0 0 0 25955 46 0 0 25 0 1 0 648013958 15249408 2804 4294967295 134512640 134714540 3221221776 3221220032 134697531 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3723 2804 1111 63 0 3660 0
vsize: 14892
[startup+270.009 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 1313
Raw data (stat): 1313 (bsolo_mis) R 1311 7876 7672 0 -1 0 2855 0 0 0 26954 47 0 0 25 0 1 0 648013958 15384576 2820 4294967295 134512640 134714540 3221221776 3221220496 134535760 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3756 2820 1111 63 0 3693 0
vsize: 15024
[startup+280.009 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 1313
Raw data (stat): 1313 (bsolo_mis) R 1311 7876 7672 0 -1 0 2872 0 0 0 27952 49 0 0 25 0 1 0 648013958 15384576 2837 4294967295 134512640 134714540 3221221776 3221220384 134549457 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3756 2837 1111 63 0 3693 0
vsize: 15024
[startup+290.01 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 1313
Raw data (stat): 1313 (bsolo_mis) R 1311 7876 7672 0 -1 0 2891 0 0 0 28951 50 0 0 25 0 1 0 648013958 15519744 2856 4294967295 134512640 134714540 3221221776 3221220384 134549463 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3789 2856 1111 63 0 3726 0
vsize: 15156
[startup+300.01 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 1313
Raw data (stat): 1313 (bsolo_mis) R 1311 7876 7672 0 -1 0 2891 0 0 0 29950 52 0 0 25 0 1 0 648013958 15519744 2856 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3789 2856 1111 63 0 3726 0
vsize: 15156
[startup+310.01 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 1313
Raw data (stat): 1313 (bsolo_mis) R 1311 7876 7672 0 -1 0 2901 0 0 0 30949 53 0 0 25 0 1 0 648013958 15507456 2866 4294967295 134512640 134714540 3221221776 3221220384 134549463 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3786 2866 1111 63 0 3723 0
vsize: 15144
[startup+320.011 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 1313
Raw data (stat): 1313 (bsolo_mis) R 1311 7876 7672 0 -1 0 2901 0 0 0 31948 54 0 0 25 0 1 0 648013958 15507456 2866 4294967295 134512640 134714540 3221221776 3221220520 134672932 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3786 2866 1111 63 0 3723 0
vsize: 15144
[startup+330.011 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 1313
Raw data (stat): 1313 (bsolo_mis) R 1311 7876 7672 0 -1 0 2915 0 0 0 32947 55 0 0 25 0 1 0 648013958 15642624 2880 4294967295 134512640 134714540 3221221776 3221220368 134549697 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3819 2880 1111 63 0 3756 0
vsize: 15276
[startup+340.012 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 1313
Raw data (stat): 1313 (bsolo_mis) R 1311 7876 7672 0 -1 0 2936 0 0 0 33946 56 0 0 25 0 1 0 648013958 15642624 2901 4294967295 134512640 134714540 3221221776 3221220404 1077374077 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3819 2901 1111 63 0 3756 0
vsize: 15276
[startup+350.011 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 1313
Raw data (stat): 1313 (bsolo_mis) R 1311 7876 7672 0 -1 0 2954 0 0 0 34945 57 0 0 25 0 1 0 648013958 15777792 2919 4294967295 134512640 134714540 3221221776 3221220400 134543097 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3852 2919 1111 63 0 3789 0
vsize: 15408
[startup+360.011 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 1313
Raw data (stat): 1313 (bsolo_mis) R 1311 7876 7672 0 -1 0 2956 0 0 0 35944 59 0 0 25 0 1 0 648013958 15777792 2921 4294967295 134512640 134714540 3221221776 3221220480 134528680 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3852 2921 1111 63 0 3789 0
vsize: 15408
[startup+370.011 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 1313
Raw data (stat): 1313 (bsolo_mis) R 1311 7876 7672 0 -1 0 2956 0 0 0 36943 60 0 0 25 0 1 0 648013958 15777792 2921 4294967295 134512640 134714540 3221221776 3221220384 134549313 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3852 2921 1111 63 0 3789 0
vsize: 15408
[startup+380.011 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 1313
Raw data (stat): 1313 (bsolo_mis) R 1311 7876 7672 0 -1 0 2956 0 0 0 37942 61 0 0 25 0 1 0 648013958 15777792 2921 4294967295 134512640 134714540 3221221776 3221220528 134534148 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3852 2921 1111 63 0 3789 0
vsize: 15408
[startup+390.012 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 1313
Raw data (stat): 1313 (bsolo_mis) R 1311 7876 7672 0 -1 0 2956 0 0 0 38941 63 0 0 25 0 1 0 648013958 15777792 2921 4294967295 134512640 134714540 3221221776 3221220384 134549305 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3852 2921 1111 63 0 3789 0
vsize: 15408
[startup+400.013 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 1313
Raw data (stat): 1313 (bsolo_mis) R 1311 7876 7672 0 -1 0 2956 0 0 0 39940 64 0 0 25 0 1 0 648013958 15679488 2916 4294967295 134512640 134714540 3221221776 3221220428 134536817 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3828 2916 1111 63 0 3765 0
vsize: 15312
[startup+410.013 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 1313
Raw data (stat): 1313 (bsolo_mis) R 1311 7876 7672 0 -1 0 2968 0 0 0 40939 65 0 0 25 0 1 0 648013958 15814656 2928 4294967295 134512640 134714540 3221221776 3221220320 134551671 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3861 2928 1111 63 0 3798 0
vsize: 15444
[startup+420.013 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 1313
Raw data (stat): 1313 (bsolo_mis) R 1311 7876 7672 0 -1 0 2968 0 0 0 41937 67 0 0 25 0 1 0 648013958 15814656 2928 4294967295 134512640 134714540 3221221776 3221220560 134529030 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3861 2928 1111 63 0 3798 0
vsize: 15444
[startup+430.013 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 1313
Raw data (stat): 1313 (bsolo_mis) R 1311 7876 7672 0 -1 0 2976 0 0 0 42935 68 0 0 25 0 1 0 648013958 15814656 2936 4294967295 134512640 134714540 3221221776 3221220544 134592104 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3861 2936 1111 63 0 3798 0
vsize: 15444
[startup+440.014 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 1313
Raw data (stat): 1313 (bsolo_mis) R 1311 7876 7672 0 -1 0 2976 0 0 0 43935 69 0 0 25 0 1 0 648013958 15814656 2936 4294967295 134512640 134714540 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3861 2936 1111 63 0 3798 0
vsize: 15444
[startup+450.014 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 1313
Raw data (stat): 1313 (bsolo_mis) R 1311 7876 7672 0 -1 0 3016 0 0 0 44933 72 0 0 25 0 1 0 648013958 15949824 2976 4294967295 134512640 134714540 3221221776 3221220608 134551454 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3894 2976 1111 63 0 3831 0
vsize: 15576
[startup+460.014 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 1313
Raw data (stat): 1313 (bsolo_mis) R 1311 7876 7672 0 -1 0 3049 0 0 0 45932 73 0 0 25 0 1 0 648013958 16084992 3009 4294967295 134512640 134714540 3221221776 3221220368 134549697 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3927 3009 1111 63 0 3864 0
vsize: 15708
[startup+470.014 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 1313
Raw data (stat): 1313 (bsolo_mis) R 1311 7876 7672 0 -1 0 3057 0 0 0 46931 74 0 0 25 0 1 0 648013958 16166912 3017 4294967295 134512640 134714540 3221221776 3221220428 1076999581 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3947 3017 1111 63 0 3884 0
vsize: 15788
[startup+480.014 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 1313
Raw data (stat): 1313 (bsolo_mis) R 1311 7876 7672 0 -1 0 3068 0 0 0 47930 75 0 0 25 0 1 0 648013958 16166912 3028 4294967295 134512640 134714540 3221221776 3221220336 134696593 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3947 3028 1111 63 0 3884 0
vsize: 15788
[startup+490.015 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 1313
Raw data (stat): 1313 (bsolo_mis) R 1311 7876 7672 0 -1 0 3088 0 0 0 48929 76 0 0 25 0 1 0 648013958 16302080 3048 4294967295 134512640 134714540 3221221776 3221220384 134549305 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3980 3048 1111 63 0 3917 0
vsize: 15920
[startup+500.015 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 1313
Raw data (stat): 1313 (bsolo_mis) R 1311 7876 7672 0 -1 0 3096 0 0 0 49928 77 0 0 25 0 1 0 648013958 16302080 3056 4294967295 134512640 134714540 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3980 3056 1111 63 0 3917 0
vsize: 15920
[startup+510.015 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 1313
Raw data (stat): 1313 (bsolo_mis) R 1311 7876 7672 0 -1 0 3112 0 0 0 50927 78 0 0 25 0 1 0 648013958 16437248 3072 4294967295 134512640 134714540 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4013 3072 1111 63 0 3950 0
vsize: 16052
[startup+520.016 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 1313
Raw data (stat): 1313 (bsolo_mis) R 1311 7876 7672 0 -1 0 3112 0 0 0 51926 80 0 0 25 0 1 0 648013958 16437248 3072 4294967295 134512640 134714540 3221221776 3221220500 134535756 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4013 3072 1111 63 0 3950 0
vsize: 16052
[startup+530.016 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 1313
Raw data (stat): 1313 (bsolo_mis) R 1311 7876 7672 0 -1 0 3146 0 0 0 52925 81 0 0 25 0 1 0 648013958 16572416 3106 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4046 3106 1111 63 0 3983 0
vsize: 16184
[startup+540.017 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 1313
Raw data (stat): 1313 (bsolo_mis) R 1311 7876 7672 0 -1 0 3146 0 0 0 53924 82 0 0 25 0 1 0 648013958 16572416 3106 4294967295 134512640 134714540 3221221776 3221220384 134549305 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4046 3106 1111 63 0 3983 0
vsize: 16184
[startup+550.017 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 1313
Raw data (stat): 1313 (bsolo_mis) R 1311 7876 7672 0 -1 0 3175 0 0 0 54923 83 0 0 25 0 1 0 648013958 16707584 3135 4294967295 134512640 134714540 3221221776 3221220384 134548843 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4079 3135 1111 63 0 4016 0
vsize: 16316
[startup+560.017 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 1313
Raw data (stat): 1313 (bsolo_mis) R 1311 7876 7672 0 -1 0 3180 0 0 0 55922 84 0 0 25 0 1 0 648013958 16707584 3140 4294967295 134512640 134714540 3221221776 3221220384 134549480 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4079 3140 1111 63 0 4016 0
vsize: 16316
[startup+570.018 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 1313
Raw data (stat): 1313 (bsolo_mis) R 1311 7876 7672 0 -1 0 3180 0 0 0 56921 85 0 0 25 0 1 0 648013958 16707584 3140 4294967295 134512640 134714540 3221221776 3221220352 134549467 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4079 3140 1111 63 0 4016 0
vsize: 16316
[startup+580.018 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 1313
Raw data (stat): 1313 (bsolo_mis) R 1311 7876 7672 0 -1 0 3189 0 0 0 57920 87 0 0 25 0 1 0 648013958 16707584 3149 4294967295 134512640 134714540 3221221776 3221220572 134554963 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4079 3149 1111 63 0 4016 0
vsize: 16316
[startup+590.019 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 1313
Raw data (stat): 1313 (bsolo_mis) R 1311 7876 7672 0 -1 0 3189 0 0 0 58920 87 0 0 25 0 1 0 648013958 16707584 3149 4294967295 134512640 134714540 3221221776 3221220384 134549327 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4079 3149 1111 63 0 4016 0
vsize: 16316
[startup+600.019 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 1313
Raw data (stat): 1313 (bsolo_mis) R 1311 7876 7672 0 -1 0 3222 0 0 0 59919 88 0 0 25 0 1 0 648013958 16842752 3182 4294967295 134512640 134714540 3221221776 3221220384 134549474 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4112 3182 1111 63 0 4049 0
vsize: 16448
[startup+610.019 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 1313
Raw data (stat): 1313 (bsolo_mis) R 1311 7876 7672 0 -1 0 3230 0 0 0 60918 90 0 0 25 0 1 0 648013958 16842752 3190 4294967295 134512640 134714540 3221221776 3221220344 1077378438 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4112 3190 1111 63 0 4049 0
vsize: 16448
[startup+620.019 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 1313
Raw data (stat): 1313 (bsolo_mis) R 1311 7876 7672 0 -1 0 3300 0 0 0 61916 91 0 0 25 0 1 0 648013958 17113088 3260 4294967295 134512640 134714540 3221221776 3221220384 134549480 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4178 3260 1111 63 0 4115 0
vsize: 16712
[startup+630.02 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 1313
Raw data (stat): 1313 (bsolo_mis) R 1311 7876 7672 0 -1 0 3300 0 0 0 62916 92 0 0 25 0 1 0 648013958 17113088 3260 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4178 3260 1111 63 0 4115 0
vsize: 16712
[startup+640.02 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 1313
Raw data (stat): 1313 (bsolo_mis) R 1311 7876 7672 0 -1 0 3300 0 0 0 63915 93 0 0 25 0 1 0 648013958 17113088 3260 4294967295 134512640 134714540 3221221776 3221220544 134592116 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4178 3260 1111 63 0 4115 0
vsize: 16712
[startup+650.02 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 1313
Raw data (stat): 1313 (bsolo_mis) R 1311 7876 7672 0 -1 0 3300 0 0 0 64914 94 0 0 25 0 1 0 648013958 17113088 3260 4294967295 134512640 134714540 3221221776 3221220384 134523393 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4178 3260 1111 63 0 4115 0
vsize: 16712
[startup+660.02 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 1313
Raw data (stat): 1313 (bsolo_mis) R 1311 7876 7672 0 -1 0 3300 0 0 0 65912 96 0 0 25 0 1 0 648013958 17113088 3260 4294967295 134512640 134714540 3221221776 3221220372 134543703 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4178 3260 1111 63 0 4115 0
vsize: 16712
[startup+670.02 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 1313
Raw data (stat): 1313 (bsolo_mis) R 1311 7876 7672 0 -1 0 3300 0 0 0 66912 96 0 0 25 0 1 0 648013958 17113088 3260 4294967295 134512640 134714540 3221221776 3221220384 134549318 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4178 3260 1111 63 0 4115 0
vsize: 16712
[startup+680.02 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 1313
Raw data (stat): 1313 (bsolo_mis) R 1311 7876 7672 0 -1 0 3300 0 0 0 67911 97 0 0 25 0 1 0 648013958 17113088 3260 4294967295 134512640 134714540 3221221776 3221220384 134549327 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4178 3260 1111 63 0 4115 0
vsize: 16712
[startup+690.021 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 1313
Raw data (stat): 1313 (bsolo_mis) R 1311 7876 7672 0 -1 0 3300 0 0 0 68910 99 0 0 25 0 1 0 648013958 17113088 3260 4294967295 134512640 134714540 3221221776 3221220384 134549463 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4178 3260 1111 63 0 4115 0
vsize: 16712
[startup+700.021 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 1313
Raw data (stat): 1313 (bsolo_mis) R 1311 7876 7672 0 -1 0 3300 0 0 0 69909 100 0 0 25 0 1 0 648013958 17113088 3260 4294967295 134512640 134714540 3221221776 3221220368 134549548 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4178 3260 1111 63 0 4115 0
vsize: 16712
[startup+710.021 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 1313
Raw data (stat): 1313 (bsolo_mis) R 1311 7876 7672 0 -1 0 3300 0 0 0 70908 101 0 0 25 0 1 0 648013958 17113088 3260 4294967295 134512640 134714540 3221221776 3221220384 134549463 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4178 3260 1111 63 0 4115 0
vsize: 16712
[startup+720.021 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 1313
Raw data (stat): 1313 (bsolo_mis) R 1311 7876 7672 0 -1 0 3328 0 0 0 71907 102 0 0 25 0 1 0 648013958 17248256 3288 4294967295 134512640 134714540 3221221776 3221220520 134558492 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4211 3288 1111 63 0 4148 0
vsize: 16844
[startup+730.021 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 1313
Raw data (stat): 1313 (bsolo_mis) R 1311 7876 7672 0 -1 0 3328 0 0 0 72907 103 0 0 25 0 1 0 648013958 17248256 3288 4294967295 134512640 134714540 3221221776 3221220344 1077377227 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4211 3288 1111 63 0 4148 0
vsize: 16844
[startup+740.022 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 1313
Raw data (stat): 1313 (bsolo_mis) R 1311 7876 7672 0 -1 0 3328 0 0 0 73906 104 0 0 25 0 1 0 648013958 17248256 3288 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4211 3288 1111 63 0 4148 0
vsize: 16844
[startup+750.022 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 1313
Raw data (stat): 1313 (bsolo_mis) R 1311 7876 7672 0 -1 0 3330 0 0 0 74905 105 0 0 25 0 1 0 648013958 17248256 3290 4294967295 134512640 134714540 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4211 3290 1111 63 0 4148 0
vsize: 16844
[startup+760.021 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 1313
Raw data (stat): 1313 (bsolo_mis) R 1311 7876 7672 0 -1 0 3343 0 0 0 75904 106 0 0 25 0 1 0 648013958 17383424 3303 4294967295 134512640 134714540 3221221776 3221220416 134613464 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4244 3303 1111 63 0 4181 0
vsize: 16976
[startup+770.021 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 1313
Raw data (stat): 1313 (bsolo_mis) R 1311 7876 7672 0 -1 0 3347 0 0 0 76903 107 0 0 25 0 1 0 648013958 17383424 3307 4294967295 134512640 134714540 3221221776 3221220360 134542289 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4244 3307 1111 63 0 4181 0
vsize: 16976
[startup+780.021 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 1313
Raw data (stat): 1313 (bsolo_mis) R 1311 7876 7672 0 -1 0 3349 0 0 0 77903 107 0 0 25 0 1 0 648013958 17375232 3309 4294967295 134512640 134714540 3221221776 3221220416 134696112 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4242 3309 1111 63 0 4179 0
vsize: 16968
[startup+790.022 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 1313
Raw data (stat): 1313 (bsolo_mis) R 1311 7876 7672 0 -1 0 3349 0 0 0 78901 109 0 0 25 0 1 0 648013958 17375232 3309 4294967295 134512640 134714540 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4242 3309 1111 63 0 4179 0
vsize: 16968
[startup+800.022 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 1313
Raw data (stat): 1313 (bsolo_mis) R 1311 7876 7672 0 -1 0 3349 0 0 0 79901 110 0 0 25 0 1 0 648013958 17375232 3309 4294967295 134512640 134714540 3221221776 3221220384 134549305 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4242 3309 1111 63 0 4179 0
vsize: 16968
[startup+810.022 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 1313
Raw data (stat): 1313 (bsolo_mis) R 1311 7876 7672 0 -1 0 3420 0 0 0 80899 112 0 0 25 0 1 0 648013958 17625088 3380 4294967295 134512640 134714540 3221221776 3221220336 134696581 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4303 3380 1111 63 0 4240 0
vsize: 17212
[startup+820.023 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 1313
Raw data (stat): 1313 (bsolo_mis) R 1311 7876 7672 0 -1 0 3420 0 0 0 81897 113 0 0 25 0 1 0 648013958 17625088 3380 4294967295 134512640 134714540 3221221776 3221220544 134592116 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4303 3380 1111 63 0 4240 0
vsize: 17212
[startup+830.023 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 1313
Raw data (stat): 1313 (bsolo_mis) R 1311 7876 7672 0 -1 0 3420 0 0 0 82897 114 0 0 25 0 1 0 648013958 17625088 3380 4294967295 134512640 134714540 3221221776 3221220292 1077374149 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4303 3380 1111 63 0 4240 0
vsize: 17212
[startup+840.024 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 1313
Raw data (stat): 1313 (bsolo_mis) R 1311 7876 7672 0 -1 0 3420 0 0 0 83896 115 0 0 25 0 1 0 648013958 17625088 3380 4294967295 134512640 134714540 3221221776 3221220336 134542365 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4303 3380 1111 63 0 4240 0
vsize: 17212
[startup+850.025 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 1313
Raw data (stat): 1313 (bsolo_mis) R 1311 7876 7672 0 -1 0 3420 0 0 0 84895 116 0 0 25 0 1 0 648013958 17625088 3380 4294967295 134512640 134714540 3221221776 3221220336 134696609 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4303 3380 1111 63 0 4240 0
vsize: 17212
[startup+860.025 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 1313
Raw data (stat): 1313 (bsolo_mis) R 1311 7876 7672 0 -1 0 3420 0 0 0 85895 117 0 0 25 0 1 0 648013958 17625088 3380 4294967295 134512640 134714540 3221221776 3221220420 134536649 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4303 3380 1111 63 0 4240 0
vsize: 17212
[startup+870.025 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 1313
Raw data (stat): 1313 (bsolo_mis) R 1311 7876 7672 0 -1 0 3420 0 0 0 86893 119 0 0 25 0 1 0 648013958 17625088 3380 4294967295 134512640 134714540 3221221776 3221220500 134535789 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4303 3380 1111 63 0 4240 0
vsize: 17212
[startup+880.026 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 1313
Raw data (stat): 1313 (bsolo_mis) R 1311 7876 7672 0 -1 0 3420 0 0 0 87893 119 0 0 25 0 1 0 648013958 17625088 3380 4294967295 134512640 134714540 3221221776 3221220524 134672920 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4303 3380 1111 63 0 4240 0
vsize: 17212
[startup+890.027 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 1313
Raw data (stat): 1313 (bsolo_mis) R 1311 7876 7672 0 -1 0 3420 0 0 0 88892 120 0 0 25 0 1 0 648013958 17625088 3380 4294967295 134512640 134714540 3221221776 3221220496 134523874 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4303 3380 1111 63 0 4240 0
vsize: 17212
[startup+900.027 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 1313
Raw data (stat): 1313 (bsolo_mis) R 1311 7876 7672 0 -1 0 3425 0 0 0 89891 121 0 0 25 0 1 0 648013958 17625088 3385 4294967295 134512640 134714540 3221221776 3221220384 134549480 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4303 3385 1111 63 0 4240 0
vsize: 17212
[startup+910.027 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 1313
Raw data (stat): 1313 (bsolo_mis) R 1311 7876 7672 0 -1 0 3425 0 0 0 90891 122 0 0 25 0 1 0 648013958 17625088 3385 4294967295 134512640 134714540 3221221776 3221220384 134549463 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4303 3385 1111 63 0 4240 0
vsize: 17212
[startup+920.028 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 1313
Raw data (stat): 1313 (bsolo_mis) R 1311 7876 7672 0 -1 0 3425 0 0 0 91890 123 0 0 25 0 1 0 648013958 17625088 3385 4294967295 134512640 134714540 3221221776 3221220384 134549302 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4303 3385 1111 63 0 4240 0
vsize: 17212
[startup+930.028 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 1313
Raw data (stat): 1313 (bsolo_mis) R 1311 7876 7672 0 -1 0 3425 0 0 0 92889 124 0 0 25 0 1 0 648013958 17625088 3385 4294967295 134512640 134714540 3221221776 3221220544 134592119 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4303 3385 1111 63 0 4240 0
vsize: 17212
[startup+940.029 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 1313
Raw data (stat): 1313 (bsolo_mis) R 1311 7876 7672 0 -1 0 3425 0 0 0 93888 125 0 0 25 0 1 0 648013958 17625088 3385 4294967295 134512640 134714540 3221221776 3221220416 134613454 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4303 3385 1111 63 0 4240 0
vsize: 17212
[startup+950.03 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 1313
Raw data (stat): 1313 (bsolo_mis) R 1311 7876 7672 0 -1 0 3425 0 0 0 94887 126 0 0 25 0 1 0 648013958 17625088 3385 4294967295 134512640 134714540 3221221776 3221220544 134592104 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4303 3385 1111 63 0 4240 0
vsize: 17212
[startup+960.03 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 1313
Raw data (stat): 1313 (bsolo_mis) R 1311 7876 7672 0 -1 0 3425 0 0 0 95886 128 0 0 25 0 1 0 648013958 17625088 3385 4294967295 134512640 134714540 3221221776 3221220172 1077379843 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4303 3385 1111 63 0 4240 0
vsize: 17212
[startup+970.029 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 1313
Raw data (stat): 1313 (bsolo_mis) R 1311 7876 7672 0 -1 0 3425 0 0 0 96885 128 0 0 25 0 1 0 648013958 17625088 3385 4294967295 134512640 134714540 3221221776 3221220544 134592449 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4303 3385 1111 63 0 4240 0
vsize: 17212
[startup+980.029 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 1313
Raw data (stat): 1313 (bsolo_mis) R 1311 7876 7672 0 -1 0 3434 0 0 0 97884 130 0 0 25 0 1 0 648013958 17756160 3394 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4335 3394 1111 63 0 4272 0
vsize: 17340
[startup+990.031 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 1313
Raw data (stat): 1313 (bsolo_mis) R 1311 7876 7672 0 -1 0 3467 0 0 0 98883 132 0 0 25 0 1 0 648013958 17879040 3427 4294967295 134512640 134714540 3221221776 3221220544 134528831 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4365 3427 1111 63 0 4302 0
vsize: 17460
[startup+1000.03 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 1313
Raw data (stat): 1313 (bsolo_mis) R 1311 7876 7672 0 -1 0 3506 0 0 0 99881 133 0 0 25 0 1 0 648013958 18001920 3466 4294967295 134512640 134714540 3221221776 3221220452 134551958 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4395 3466 1111 63 0 4332 0
vsize: 17580
[startup+1010.03 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 1313
Raw data (stat): 1313 (bsolo_mis) R 1311 7876 7672 0 -1 0 3515 0 0 0 100880 135 0 0 25 0 1 0 648013958 18001920 3475 4294967295 134512640 134714540 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4395 3475 1111 63 0 4332 0
vsize: 17580
[startup+1020.03 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 1313
Raw data (stat): 1313 (bsolo_mis) R 1311 7876 7672 0 -1 0 3516 0 0 0 101878 137 0 0 25 0 1 0 648013958 18001920 3476 4294967295 134512640 134714540 3221221776 3221220584 134558492 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4395 3476 1111 63 0 4332 0
vsize: 17580
[startup+1030.03 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 1313
Raw data (stat): 1313 (bsolo_mis) R 1311 7876 7672 0 -1 0 3555 0 0 0 102876 139 0 0 25 0 1 0 648013958 18137088 3515 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4428 3515 1111 63 0 4365 0
vsize: 17712
[startup+1040.03 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 1313
Raw data (stat): 1313 (bsolo_mis) R 1311 7876 7672 0 -1 0 3555 0 0 0 103875 140 0 0 25 0 1 0 648013958 18137088 3515 4294967295 134512640 134714540 3221221776 3221220344 1077378268 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4428 3515 1111 63 0 4365 0
vsize: 17712
[startup+1050.03 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 1313
Raw data (stat): 1313 (bsolo_mis) R 1311 7876 7672 0 -1 0 3568 0 0 0 104874 141 0 0 25 0 1 0 648013958 18272256 3528 4294967295 134512640 134714540 3221221776 3221220512 134672737 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4461 3528 1111 63 0 4398 0
vsize: 17844
[startup+1060.03 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 1313
Raw data (stat): 1313 (bsolo_mis) R 1311 7876 7672 0 -1 0 3568 0 0 0 105873 143 0 0 25 0 1 0 648013958 18272256 3528 4294967295 134512640 134714540 3221221776 3221220480 134528671 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4461 3528 1111 63 0 4398 0
vsize: 17844
[startup+1070.03 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 1313
Raw data (stat): 1313 (bsolo_mis) R 1311 7876 7672 0 -1 0 3585 0 0 0 106871 144 0 0 25 0 1 0 648013958 18386944 3545 4294967295 134512640 134714540 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4489 3545 1111 63 0 4426 0
vsize: 17956
[startup+1080.03 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 1313
Raw data (stat): 1313 (bsolo_mis) R 1311 7876 7672 0 -1 0 3585 0 0 0 107870 145 0 0 25 0 1 0 648013958 18386944 3545 4294967295 134512640 134714540 3221221776 3221220344 1077377771 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4489 3545 1111 63 0 4426 0
vsize: 17956
[startup+1090.03 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 1313
Raw data (stat): 1313 (bsolo_mis) R 1311 7876 7672 0 -1 0 3609 0 0 0 108869 147 0 0 25 0 1 0 648013958 18362368 3569 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4483 3569 1111 63 0 4420 0
vsize: 17932
[startup+1100.03 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 1313
Raw data (stat): 1313 (bsolo_mis) R 1311 7876 7672 0 -1 0 3609 0 0 0 109868 148 0 0 25 0 1 0 648013958 18362368 3569 4294967295 134512640 134714540 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4483 3569 1111 63 0 4420 0
vsize: 17932
[startup+1110.03 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 1313
Raw data (stat): 1313 (bsolo_mis) R 1311 7876 7672 0 -1 0 3629 0 0 0 110867 150 0 0 25 0 1 0 648013958 18497536 3589 4294967295 134512640 134714540 3221221776 3221220428 134536820 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4516 3589 1111 63 0 4453 0
vsize: 18064
[startup+1120.04 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 1313
Raw data (stat): 1313 (bsolo_mis) R 1311 7876 7672 0 -1 0 3629 0 0 0 111866 151 0 0 25 0 1 0 648013958 18497536 3589 4294967295 134512640 134714540 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4516 3589 1111 63 0 4453 0
vsize: 18064
[startup+1130.04 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 1313
Raw data (stat): 1313 (bsolo_mis) R 1311 7876 7672 0 -1 0 3629 0 0 0 112865 152 0 0 25 0 1 0 648013958 18497536 3589 4294967295 134512640 134714540 3221221776 3221220544 134592116 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4516 3589 1111 63 0 4453 0
vsize: 18064
[startup+1140.04 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 1313
Raw data (stat): 1313 (bsolo_mis) R 1311 7876 7672 0 -1 0 3636 0 0 0 113864 153 0 0 25 0 1 0 648013958 18497536 3596 4294967295 134512640 134714540 3221221776 3221220420 134536649 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4516 3596 1111 63 0 4453 0
vsize: 18064
[startup+1150.04 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 1313
Raw data (stat): 1313 (bsolo_mis) R 1311 7876 7672 0 -1 0 3651 0 0 0 114863 155 0 0 25 0 1 0 648013958 18632704 3611 4294967295 134512640 134714540 3221221776 3221220480 134524396 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4549 3611 1111 63 0 4486 0
vsize: 18196
[startup+1160.04 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 1313
Raw data (stat): 1313 (bsolo_mis) R 1311 7876 7672 0 -1 0 3653 0 0 0 115861 156 0 0 25 0 1 0 648013958 18632704 3613 4294967295 134512640 134714540 3221221776 3221220520 134672948 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4549 3613 1111 63 0 4486 0
vsize: 18196
[startup+1170.04 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 1313
Raw data (stat): 1313 (bsolo_mis) R 1311 7876 7672 0 -1 0 3668 0 0 0 116861 157 0 0 25 0 1 0 648013958 18632704 3628 4294967295 134512640 134714540 3221221776 3221220316 134613966 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4549 3628 1111 63 0 4486 0
vsize: 18196
[startup+1174.89 s]
Raw data (loadavg): 0.99 1.00 0.99 1/53 1313
Raw data (stat): 1313 (bsolo_mis) R 1311 7876 7672 0 -1 0 3668 0 0 0 116861 157 0 0 25 0 1 0 648013958 18632704 3628 4294967295 134512640 134714540 3221221776 3221220316 134613966 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4549 3628 1111 63 0 4486 0
vsize: 0

Child status: 0
Real time (s): 1174.89
CPU time (s): 1175.04
CPU user time (s): 1173.45
CPU system time (s): 1.58776
CPU usage (%): 100.013
Max. virtual memory (Kb): 18196
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####