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-chnl40_41_pb.cnf.cr.opb
MD5SUM	3c9e81ddaaf37dd621fe2bc839a3f27f
Bench Category	no optimization function (SAT)
Has Objective Function	NO
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	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	42
Number of bits of the biggest sum of numbers	6
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.098984
Number of variables	3280
Total number of constraints	162
Number of constraints which are clauses	82
Number of constraints which are cardinality constraints (but not clauses)	80
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	40
Maximum length of a constraint	41
Trace number 23224

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-01 15:43:05 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=147 boxname=wulflinc31 idbench=17 idsolver=3 numberseed=0
MD5SUM SOLVER: 03a6a792daea978e4202f78851741568  /oldhome/oroussel/solvers/bsolo_mis
MD5SUM BENCH:  3c9e81ddaaf37dd621fe2bc839a3f27f  /oldhome/oroussel/tmp/wulflinc31/normalized-chnl40_41_pb.cnf.cr.opb
REAL COMMAND:  bsolo_mis /oldhome/oroussel/tmp/wulflinc31/normalized-chnl40_41_pb.cnf.cr.opb
IDLAUNCH: 147
/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:        930928 kB
Buffers:         36364 kB
Cached:          45596 kB
SwapCached:        864 kB
Active:          70712 kB
Inactive:        13644 kB
HighTotal:      131008 kB
HighFree:        84420 kB
LowTotal:       903652 kB
LowFree:        846508 kB
SwapTotal:     2097892 kB
SwapFree:      2096432 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5504 kB
Slab:            13880 kB
Committed_AS:    63656 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-01 16:02:40 (client local time) WITH STATUS 0 IN 1175.03 SECONDS
stats: 147 7 1175.03 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: No cost function. Find solution and finish.
c Initial problem consists of 3280 variables and 162 constraints.
c After prepocess the problem consists of 3280 variables and 162 constraints.
c preprocess terminated 1.242 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.91 0.97 0.91 2/54 12739
Raw data (stat): 12739 (runsolver) R 12738 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 632645067 1056768 100 4294967295 134512640 135381576 3221221680 3221216900 135158418 0 2147483391 1 90112 0 0 0 17 0 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10.0007 s]
Raw data (loadavg): 0.93 0.97 0.91 2/54 12739
Raw data (stat): 12739 (bsolo_mis) R 12738 7876 7672 0 -1 0 1253 0 0 0 990 6 0 0 25 0 1 0 632645067 8896512 1228 4294967295 134512640 134714540 3221221776 3221220664 134587881 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2172 1228 1111 63 0 2109 0
vsize: 8688
[startup+20.0015 s]
Raw data (loadavg): 0.94 0.97 0.91 2/54 12739
Raw data (stat): 12739 (bsolo_mis) R 12738 7876 7672 0 -1 0 1312 0 0 0 1987 9 0 0 25 0 1 0 632645067 9031680 1287 4294967295 134512640 134714540 3221221776 3221220560 134529097 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2205 1287 1111 63 0 2142 0
vsize: 8820
[startup+30.0014 s]
Raw data (loadavg): 0.95 0.97 0.91 2/54 12739
Raw data (stat): 12739 (bsolo_mis) R 12738 7876 7672 0 -1 0 1346 0 0 0 2985 11 0 0 25 0 1 0 632645067 9289728 1321 4294967295 134512640 134714540 3221221776 3221220392 134613965 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2268 1321 1111 63 0 2205 0
vsize: 9072
[startup+40.0014 s]
Raw data (loadavg): 0.95 0.97 0.91 2/54 12739
Raw data (stat): 12739 (bsolo_mis) R 12738 7876 7672 0 -1 0 1364 0 0 0 3984 13 0 0 25 0 1 0 632645067 9289728 1339 4294967295 134512640 134714540 3221221776 3221220480 134528481 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2268 1339 1111 63 0 2205 0
vsize: 9072
[startup+50.0012 s]
Raw data (loadavg): 0.96 0.97 0.91 2/54 12739
Raw data (stat): 12739 (bsolo_mis) R 12738 7876 7672 0 -1 0 1368 0 0 0 4982 14 0 0 25 0 1 0 632645067 9289728 1343 4294967295 134512640 134714540 3221221776 3221220440 134551636 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2268 1343 1111 63 0 2205 0
vsize: 9072
[startup+60.0012 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 12739
Raw data (stat): 12739 (bsolo_mis) R 12738 7876 7672 0 -1 0 1409 0 0 0 5981 16 0 0 25 0 1 0 632645067 9547776 1384 4294967295 134512640 134714540 3221221776 3221220584 134592041 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2331 1384 1111 63 0 2268 0
vsize: 9324
[startup+70.0011 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 12739
Raw data (stat): 12739 (bsolo_mis) R 12738 7876 7672 0 -1 0 1431 0 0 0 6979 18 0 0 25 0 1 0 632645067 9543680 1406 4294967295 134512640 134714540 3221221776 3221220384 134549313 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2330 1406 1111 63 0 2267 0
vsize: 9320
[startup+80.0011 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 12739
Raw data (stat): 12739 (bsolo_mis) R 12738 7876 7672 0 -1 0 1431 0 0 0 7977 19 0 0 25 0 1 0 632645067 9543680 1406 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2330 1406 1111 63 0 2267 0
vsize: 9320
[startup+90.001 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 12739
Raw data (stat): 12739 (bsolo_mis) R 12738 7876 7672 0 -1 0 1435 0 0 0 8976 21 0 0 25 0 1 0 632645067 9543680 1410 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2330 1410 1111 63 0 2267 0
vsize: 9320
[startup+100.001 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 12739
Raw data (stat): 12739 (bsolo_mis) R 12738 7876 7672 0 -1 0 1457 0 0 0 9975 22 0 0 25 0 1 0 632645067 9678848 1432 4294967295 134512640 134714540 3221221776 3221220384 134549305 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2363 1432 1111 63 0 2300 0
vsize: 9452
[startup+110.002 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 12739
Raw data (stat): 12739 (bsolo_mis) R 12738 7876 7672 0 -1 0 1462 0 0 0 10974 23 0 0 25 0 1 0 632645067 9678848 1437 4294967295 134512640 134714540 3221221776 3221220564 134586138 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2363 1437 1111 63 0 2300 0
vsize: 9452
[startup+120.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12739
Raw data (stat): 12739 (bsolo_mis) R 12738 7876 7672 0 -1 0 1476 0 0 0 11972 26 0 0 25 0 1 0 632645067 9814016 1451 4294967295 134512640 134714540 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2396 1451 1111 63 0 2333 0
vsize: 9584
[startup+130.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12739
Raw data (stat): 12739 (bsolo_mis) R 12738 7876 7672 0 -1 0 1491 0 0 0 12971 26 0 0 25 0 1 0 632645067 9814016 1466 4294967295 134512640 134714540 3221221776 3221220480 134528449 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2396 1466 1111 63 0 2333 0
vsize: 9584
[startup+140.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12739
Raw data (stat): 12739 (bsolo_mis) R 12738 7876 7672 0 -1 0 1511 0 0 0 13969 28 0 0 25 0 1 0 632645067 9949184 1486 4294967295 134512640 134714540 3221221776 3221220516 134594953 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2429 1486 1111 63 0 2366 0
vsize: 9716
[startup+150.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12739
Raw data (stat): 12739 (bsolo_mis) R 12738 7876 7672 0 -1 0 1514 0 0 0 14967 31 0 0 25 0 1 0 632645067 9949184 1489 4294967295 134512640 134714540 3221221776 3221220608 134551454 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2429 1489 1111 63 0 2366 0
vsize: 9716
[startup+160.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12739
Raw data (stat): 12739 (bsolo_mis) R 12738 7876 7672 0 -1 0 1528 0 0 0 15965 33 0 0 25 0 1 0 632645067 9949184 1503 4294967295 134512640 134714540 3221221776 3221220420 134523868 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2429 1503 1111 63 0 2366 0
vsize: 9716
[startup+170.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12739
Raw data (stat): 12739 (bsolo_mis) R 12738 7876 7672 0 -1 0 1555 0 0 0 16964 34 0 0 25 0 1 0 632645067 10072064 1530 4294967295 134512640 134714540 3221221776 3221220216 1077377725 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2459 1530 1111 63 0 2396 0
vsize: 9836
[startup+180.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12739
Raw data (stat): 12739 (bsolo_mis) R 12738 7876 7672 0 -1 0 1560 0 0 0 17963 35 0 0 25 0 1 0 632645067 10072064 1535 4294967295 134512640 134714540 3221221776 3221220468 134528601 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2459 1535 1111 63 0 2396 0
vsize: 9836
[startup+190.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12739
Raw data (stat): 12739 (bsolo_mis) R 12738 7876 7672 0 -1 0 1571 0 0 0 18962 37 0 0 25 0 1 0 632645067 10207232 1546 4294967295 134512640 134714540 3221221776 3221220428 1077374048 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2492 1546 1111 63 0 2429 0
vsize: 9968
[startup+200.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12739
Raw data (stat): 12739 (bsolo_mis) R 12738 7876 7672 0 -1 0 1571 0 0 0 19960 39 0 0 25 0 1 0 632645067 10207232 1546 4294967295 134512640 134714540 3221221776 3221220400 134696263 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2492 1546 1111 63 0 2429 0
vsize: 9968
[startup+210.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12739
Raw data (stat): 12739 (bsolo_mis) R 12738 7876 7672 0 -1 0 1571 0 0 0 20958 41 0 0 25 0 1 0 632645067 10207232 1546 4294967295 134512640 134714540 3221221776 3221220232 1077377604 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2492 1546 1111 63 0 2429 0
vsize: 9968
[startup+220.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12739
Raw data (stat): 12739 (bsolo_mis) R 12738 7876 7672 0 -1 0 1584 0 0 0 21957 42 0 0 25 0 1 0 632645067 10190848 1559 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2488 1559 1111 63 0 2425 0
vsize: 9952
[startup+230.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12739
Raw data (stat): 12739 (bsolo_mis) R 12738 7876 7672 0 -1 0 1584 0 0 0 22955 44 0 0 25 0 1 0 632645067 10190848 1559 4294967295 134512640 134714540 3221221776 3221220384 134549463 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2488 1559 1111 63 0 2425 0
vsize: 9952
[startup+240.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12739
Raw data (stat): 12739 (bsolo_mis) R 12738 7876 7672 0 -1 0 1584 0 0 0 23954 46 0 0 25 0 1 0 632645067 10190848 1559 4294967295 134512640 134714540 3221221776 3221220464 134551897 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2488 1559 1111 63 0 2425 0
vsize: 9952
[startup+250.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12739
Raw data (stat): 12739 (bsolo_mis) R 12738 7876 7672 0 -1 0 1599 0 0 0 24953 47 0 0 25 0 1 0 632645067 10326016 1574 4294967295 134512640 134714540 3221221776 3221220384 134549467 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2521 1574 1111 63 0 2458 0
vsize: 10084
[startup+260.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12739
Raw data (stat): 12739 (bsolo_mis) R 12738 7876 7672 0 -1 0 1625 0 0 0 25952 48 0 0 25 0 1 0 632645067 10326016 1600 4294967295 134512640 134714540 3221221776 3221220528 134592443 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2521 1600 1111 63 0 2458 0
vsize: 10084
[startup+270.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12739
Raw data (stat): 12739 (bsolo_mis) R 12738 7876 7672 0 -1 0 1629 0 0 0 26950 50 0 0 25 0 1 0 632645067 10461184 1604 4294967295 134512640 134714540 3221221776 3221220524 134558476 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2554 1604 1111 63 0 2491 0
vsize: 10216
[startup+280.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12739
Raw data (stat): 12739 (bsolo_mis) R 12738 7876 7672 0 -1 0 1663 0 0 0 27949 51 0 0 25 0 1 0 632645067 10596352 1638 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2587 1638 1111 63 0 2524 0
vsize: 10348
[startup+290.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12739
Raw data (stat): 12739 (bsolo_mis) R 12738 7876 7672 0 -1 0 1663 0 0 0 28948 53 0 0 25 0 1 0 632645067 10596352 1638 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2587 1638 1111 63 0 2524 0
vsize: 10348
[startup+300.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12739
Raw data (stat): 12739 (bsolo_mis) R 12738 7876 7672 0 -1 0 1675 0 0 0 29946 54 0 0 25 0 1 0 632645067 10596352 1650 4294967295 134512640 134714540 3221221776 3221220384 134549463 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2587 1650 1111 63 0 2524 0
vsize: 10348
[startup+310.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12739
Raw data (stat): 12739 (bsolo_mis) R 12738 7876 7672 0 -1 0 1680 0 0 0 30944 56 0 0 25 0 1 0 632645067 10596352 1655 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2587 1655 1111 63 0 2524 0
vsize: 10348
[startup+320.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12739
Raw data (stat): 12739 (bsolo_mis) R 12738 7876 7672 0 -1 0 1688 0 0 0 31943 58 0 0 25 0 1 0 632645067 10596352 1663 4294967295 134512640 134714540 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2587 1663 1111 63 0 2524 0
vsize: 10348
[startup+330.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12739
Raw data (stat): 12739 (bsolo_mis) R 12738 7876 7672 0 -1 0 1695 0 0 0 32942 59 0 0 25 0 1 0 632645067 10723328 1670 4294967295 134512640 134714540 3221221776 3221220384 134549313 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2618 1670 1111 63 0 2555 0
vsize: 10472
[startup+340.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12739
Raw data (stat): 12739 (bsolo_mis) R 12738 7876 7672 0 -1 0 1695 0 0 0 33940 61 0 0 25 0 1 0 632645067 10723328 1670 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2618 1670 1111 63 0 2555 0
vsize: 10472
[startup+350.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12739
Raw data (stat): 12739 (bsolo_mis) R 12738 7876 7672 0 -1 0 1696 0 0 0 34939 63 0 0 25 0 1 0 632645067 10711040 1671 4294967295 134512640 134714540 3221221776 3221220384 134549480 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2615 1671 1111 63 0 2552 0
vsize: 10460
[startup+360.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12739
Raw data (stat): 12739 (bsolo_mis) R 12738 7876 7672 0 -1 0 1712 0 0 0 35937 64 0 0 25 0 1 0 632645067 10711040 1687 4294967295 134512640 134714540 3221221776 3221220536 134592385 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2615 1687 1111 63 0 2552 0
vsize: 10460
[startup+370.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12739
Raw data (stat): 12739 (bsolo_mis) R 12738 7876 7672 0 -1 0 1713 0 0 0 36935 66 0 0 25 0 1 0 632645067 10711040 1688 4294967295 134512640 134714540 3221221776 3221220512 134535745 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2615 1688 1111 63 0 2552 0
vsize: 10460
[startup+380.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12739
Raw data (stat): 12739 (bsolo_mis) R 12738 7876 7672 0 -1 0 1713 0 0 0 37934 68 0 0 25 0 1 0 632645067 10711040 1688 4294967295 134512640 134714540 3221221776 3221220416 134696114 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2615 1688 1111 63 0 2552 0
vsize: 10460
[startup+390.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12739
Raw data (stat): 12739 (bsolo_mis) R 12738 7876 7672 0 -1 0 1737 0 0 0 38932 70 0 0 25 0 1 0 632645067 10846208 1712 4294967295 134512640 134714540 3221221776 3221220544 134592104 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2648 1712 1111 63 0 2585 0
vsize: 10592
[startup+400.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12739
Raw data (stat): 12739 (bsolo_mis) R 12738 7876 7672 0 -1 0 1769 0 0 0 39930 72 0 0 25 0 1 0 632645067 10981376 1744 4294967295 134512640 134714540 3221221776 3221220476 1077374432 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2681 1744 1111 63 0 2618 0
vsize: 10724
[startup+410.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12739
Raw data (stat): 12739 (bsolo_mis) R 12738 7876 7672 0 -1 0 1791 0 0 0 40929 74 0 0 25 0 1 0 632645067 11116544 1766 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2714 1766 1111 63 0 2651 0
vsize: 10856
[startup+420.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12739
Raw data (stat): 12739 (bsolo_mis) R 12738 7876 7672 0 -1 0 1820 0 0 0 41927 75 0 0 25 0 1 0 632645067 11116544 1795 4294967295 134512640 134714540 3221221776 3221220368 134548587 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2714 1795 1111 63 0 2651 0
vsize: 10856
[startup+430.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12739
Raw data (stat): 12739 (bsolo_mis) R 12738 7876 7672 0 -1 0 1834 0 0 0 42926 77 0 0 25 0 1 0 632645067 11239424 1809 4294967295 134512640 134714540 3221221776 3221220384 134549474 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2744 1809 1111 63 0 2681 0
vsize: 10976
[startup+440.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12739
Raw data (stat): 12739 (bsolo_mis) R 12738 7876 7672 0 -1 0 1874 0 0 0 43924 79 0 0 25 0 1 0 632645067 11358208 1849 4294967295 134512640 134714540 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2773 1849 1111 63 0 2710 0
vsize: 11092
[startup+450.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12739
Raw data (stat): 12739 (bsolo_mis) R 12738 7876 7672 0 -1 0 1902 0 0 0 44923 80 0 0 25 0 1 0 632645067 11493376 1877 4294967295 134512640 134714540 3221221776 3221220384 134549480 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2806 1877 1111 63 0 2743 0
vsize: 11224
[startup+460.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12739
Raw data (stat): 12739 (bsolo_mis) R 12738 7876 7672 0 -1 0 1906 0 0 0 45921 82 0 0 25 0 1 0 632645067 11493376 1881 4294967295 134512640 134714540 3221221776 3221220520 134558492 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2806 1881 1111 63 0 2743 0
vsize: 11224
[startup+470.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12739
Raw data (stat): 12739 (bsolo_mis) R 12738 7876 7672 0 -1 0 1913 0 0 0 46920 84 0 0 25 0 1 0 632645067 11493376 1888 4294967295 134512640 134714540 3221221776 3221220560 134528953 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2806 1888 1111 63 0 2743 0
vsize: 11224
[startup+480.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12739
Raw data (stat): 12739 (bsolo_mis) R 12738 7876 7672 0 -1 0 1937 0 0 0 47918 85 0 0 25 0 1 0 632645067 11628544 1912 4294967295 134512640 134714540 3221221776 3221220512 134535742 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2839 1912 1111 63 0 2776 0
vsize: 11356
[startup+490.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12739
Raw data (stat): 12739 (bsolo_mis) R 12738 7876 7672 0 -1 0 1937 0 0 0 48916 87 0 0 25 0 1 0 632645067 11628544 1912 4294967295 134512640 134714540 3221221776 3221220360 134551981 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2839 1912 1111 63 0 2776 0
vsize: 11356
[startup+500.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12739
Raw data (stat): 12739 (bsolo_mis) R 12738 7876 7672 0 -1 0 1942 0 0 0 49915 89 0 0 25 0 1 0 632645067 11628544 1917 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2839 1917 1111 63 0 2776 0
vsize: 11356
[startup+510.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12739
Raw data (stat): 12739 (bsolo_mis) R 12738 7876 7672 0 -1 0 1951 0 0 0 50913 91 0 0 25 0 1 0 632645067 11763712 1926 4294967295 134512640 134714540 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2872 1926 1111 63 0 2809 0
vsize: 11488
[startup+520.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12739
Raw data (stat): 12739 (bsolo_mis) R 12738 7876 7672 0 -1 0 1958 0 0 0 51913 92 0 0 25 0 1 0 632645067 11763712 1933 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2872 1933 1111 63 0 2809 0
vsize: 11488
[startup+530.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12739
Raw data (stat): 12739 (bsolo_mis) R 12738 7876 7672 0 -1 0 1978 0 0 0 52912 93 0 0 25 0 1 0 632645067 11763712 1953 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2872 1953 1111 63 0 2809 0
vsize: 11488
[startup+540.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12739
Raw data (stat): 12739 (bsolo_mis) R 12738 7876 7672 0 -1 0 1993 0 0 0 53911 93 0 0 25 0 1 0 632645067 11894784 1968 4294967295 134512640 134714540 3221221776 3221220416 134696117 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2904 1968 1111 63 0 2841 0
vsize: 11616
[startup+550.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12739
Raw data (stat): 12739 (bsolo_mis) R 12738 7876 7672 0 -1 0 2004 0 0 0 54910 95 0 0 25 0 1 0 632645067 11894784 1979 4294967295 134512640 134714540 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2904 1979 1111 63 0 2841 0
vsize: 11616
[startup+560.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12739
Raw data (stat): 12739 (bsolo_mis) R 12738 7876 7672 0 -1 0 2019 0 0 0 55909 96 0 0 25 0 1 0 632645067 12029952 1994 4294967295 134512640 134714540 3221221776 3221220524 134558476 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2937 1994 1111 63 0 2874 0
vsize: 11748
[startup+570.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12739
Raw data (stat): 12739 (bsolo_mis) R 12738 7876 7672 0 -1 0 2023 0 0 0 56907 98 0 0 25 0 1 0 632645067 12029952 1998 4294967295 134512640 134714540 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2937 1998 1111 63 0 2874 0
vsize: 11748
[startup+580.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12739
Raw data (stat): 12739 (bsolo_mis) R 12738 7876 7672 0 -1 0 2031 0 0 0 57905 101 0 0 25 0 1 0 632645067 12029952 2006 4294967295 134512640 134714540 3221221776 3221220384 134549327 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2937 2006 1111 63 0 2874 0
vsize: 11748
[startup+590.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12739
Raw data (stat): 12739 (bsolo_mis) R 12738 7876 7672 0 -1 0 2041 0 0 0 58903 103 0 0 25 0 1 0 632645067 12029952 2016 4294967295 134512640 134714540 3221221776 3221220380 134535488 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2937 2016 1111 63 0 2874 0
vsize: 11748
[startup+600.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12739
Raw data (stat): 12739 (bsolo_mis) R 12738 7876 7672 0 -1 0 2054 0 0 0 59902 104 0 0 25 0 1 0 632645067 12165120 2029 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2970 2029 1111 63 0 2907 0
vsize: 11880
[startup+610.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12739
Raw data (stat): 12739 (bsolo_mis) R 12738 7876 7672 0 -1 0 2058 0 0 0 60900 106 0 0 25 0 1 0 632645067 12165120 2033 4294967295 134512640 134714540 3221221776 3221220384 134549305 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2970 2033 1111 63 0 2907 0
vsize: 11880
[startup+620.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12739
Raw data (stat): 12739 (bsolo_mis) R 12738 7876 7672 0 -1 0 2073 0 0 0 61899 108 0 0 25 0 1 0 632645067 12165120 2048 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2970 2048 1111 63 0 2907 0
vsize: 11880
[startup+630.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12739
Raw data (stat): 12739 (bsolo_mis) R 12738 7876 7672 0 -1 0 2073 0 0 0 62897 109 0 0 25 0 1 0 632645067 12165120 2048 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2970 2048 1111 63 0 2907 0
vsize: 11880
[startup+640.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12739
Raw data (stat): 12739 (bsolo_mis) R 12738 7876 7672 0 -1 0 2102 0 0 0 63896 111 0 0 25 0 1 0 632645067 12300288 2077 4294967295 134512640 134714540 3221221776 3221220428 134536817 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3003 2077 1111 63 0 2940 0
vsize: 12012
[startup+650.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12739
Raw data (stat): 12739 (bsolo_mis) R 12738 7876 7672 0 -1 0 2109 0 0 0 64894 113 0 0 25 0 1 0 632645067 12300288 2084 4294967295 134512640 134714540 3221221776 3221220368 134549544 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3003 2084 1111 63 0 2940 0
vsize: 12012
[startup+660.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12739
Raw data (stat): 12739 (bsolo_mis) R 12738 7876 7672 0 -1 0 2136 0 0 0 65892 115 0 0 25 0 1 0 632645067 12427264 2111 4294967295 134512640 134714540 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3034 2111 1111 63 0 2971 0
vsize: 12136
[startup+670.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12739
Raw data (stat): 12739 (bsolo_mis) R 12738 7876 7672 0 -1 0 2150 0 0 0 66891 116 0 0 25 0 1 0 632645067 12562432 2125 4294967295 134512640 134714540 3221221776 3221220384 134549457 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3067 2125 1111 63 0 3004 0
vsize: 12268
[startup+680.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12739
Raw data (stat): 12739 (bsolo_mis) R 12738 7876 7672 0 -1 0 2169 0 0 0 67890 118 0 0 25 0 1 0 632645067 12562432 2144 4294967295 134512640 134714540 3221221776 3221220560 134528840 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3067 2144 1111 63 0 3004 0
vsize: 12268
[startup+690.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12739
Raw data (stat): 12739 (bsolo_mis) R 12738 7876 7672 0 -1 0 2169 0 0 0 68888 119 0 0 25 0 1 0 632645067 12562432 2144 4294967295 134512640 134714540 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3067 2144 1111 63 0 3004 0
vsize: 12268
[startup+700.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12739
Raw data (stat): 12739 (bsolo_mis) R 12738 7876 7672 0 -1 0 2176 0 0 0 69887 120 0 0 25 0 1 0 632645067 12681216 2151 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3096 2151 1111 63 0 3033 0
vsize: 12384
[startup+710.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12739
Raw data (stat): 12739 (bsolo_mis) R 12738 7876 7672 0 -1 0 2186 0 0 0 70886 122 0 0 25 0 1 0 632645067 12681216 2161 4294967295 134512640 134714540 3221221776 3221220520 134672921 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3096 2161 1111 63 0 3033 0
vsize: 12384
[startup+720.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12739
Raw data (stat): 12739 (bsolo_mis) R 12738 7876 7672 0 -1 0 2198 0 0 0 71885 123 0 0 25 0 1 0 632645067 12681216 2173 4294967295 134512640 134714540 3221221776 3221220448 134551968 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3096 2173 1111 63 0 3033 0
vsize: 12384
[startup+730.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12739
Raw data (stat): 12739 (bsolo_mis) R 12738 7876 7672 0 -1 0 2198 0 0 0 72884 125 0 0 25 0 1 0 632645067 12681216 2173 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3096 2173 1111 63 0 3033 0
vsize: 12384
[startup+740.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12739
Raw data (stat): 12739 (bsolo_mis) R 12738 7876 7672 0 -1 0 2203 0 0 0 73882 126 0 0 25 0 1 0 632645067 12681216 2178 4294967295 134512640 134714540 3221221776 3221220344 1077377589 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3096 2178 1111 63 0 3033 0
vsize: 12384
[startup+750.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12739
Raw data (stat): 12739 (bsolo_mis) R 12738 7876 7672 0 -1 0 2222 0 0 0 74880 128 0 0 25 0 1 0 632645067 12816384 2197 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3129 2197 1111 63 0 3066 0
vsize: 12516
[startup+760.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12739
Raw data (stat): 12739 (bsolo_mis) R 12738 7876 7672 0 -1 0 2222 0 0 0 75879 129 0 0 25 0 1 0 632645067 12816384 2197 4294967295 134512640 134714540 3221221776 3221220384 134549286 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3129 2197 1111 63 0 3066 0
vsize: 12516
[startup+770.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12739
Raw data (stat): 12739 (bsolo_mis) R 12738 7876 7672 0 -1 0 2222 0 0 0 76878 131 0 0 25 0 1 0 632645067 12816384 2197 4294967295 134512640 134714540 3221221776 3221220504 134591837 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3129 2197 1111 63 0 3066 0
vsize: 12516
[startup+780.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12739
Raw data (stat): 12739 (bsolo_mis) R 12738 7876 7672 0 -1 0 2231 0 0 0 77876 133 0 0 25 0 1 0 632645067 12816384 2206 4294967295 134512640 134714540 3221221776 3221220352 134549635 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3129 2206 1111 63 0 3066 0
vsize: 12516
[startup+790.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12739
Raw data (stat): 12739 (bsolo_mis) R 12738 7876 7672 0 -1 0 2240 0 0 0 78874 135 0 0 25 0 1 0 632645067 12951552 2215 4294967295 134512640 134714540 3221221776 3221220540 134600316 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3162 2215 1111 63 0 3099 0
vsize: 12648
[startup+800.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12739
Raw data (stat): 12739 (bsolo_mis) R 12738 7876 7672 0 -1 0 2248 0 0 0 79873 136 0 0 25 0 1 0 632645067 12922880 2223 4294967295 134512640 134714540 3221221776 3221220512 134558537 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3155 2223 1111 63 0 3092 0
vsize: 12620
[startup+810.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12739
Raw data (stat): 12739 (bsolo_mis) R 12738 7876 7672 0 -1 0 2258 0 0 0 80871 138 0 0 25 0 1 0 632645067 12922880 2233 4294967295 134512640 134714540 3221221776 3221220480 134528617 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3155 2233 1111 63 0 3092 0
vsize: 12620
[startup+820.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12739
Raw data (stat): 12739 (bsolo_mis) R 12738 7876 7672 0 -1 0 2258 0 0 0 81870 140 0 0 25 0 1 0 632645067 12922880 2233 4294967295 134512640 134714540 3221221776 3221220448 134543686 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3155 2233 1111 63 0 3092 0
vsize: 12620
[startup+830.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12739
Raw data (stat): 12739 (bsolo_mis) R 12738 7876 7672 0 -1 0 2258 0 0 0 82868 142 0 0 25 0 1 0 632645067 12922880 2233 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3155 2233 1111 63 0 3092 0
vsize: 12620
[startup+840.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12739
Raw data (stat): 12739 (bsolo_mis) R 12738 7876 7672 0 -1 0 2264 0 0 0 83867 143 0 0 25 0 1 0 632645067 13058048 2239 4294967295 134512640 134714540 3221221776 3221220512 134535745 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3188 2239 1111 63 0 3125 0
vsize: 12752
[startup+850.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12739
Raw data (stat): 12739 (bsolo_mis) R 12738 7876 7672 0 -1 0 2264 0 0 0 84866 145 0 0 25 0 1 0 632645067 13058048 2239 4294967295 134512640 134714540 3221221776 3221219936 134697381 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3188 2239 1111 63 0 3125 0
vsize: 12752
[startup+860.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12739
Raw data (stat): 12739 (bsolo_mis) R 12738 7876 7672 0 -1 0 2274 0 0 0 85864 147 0 0 25 0 1 0 632645067 13058048 2249 4294967295 134512640 134714540 3221221776 3221220452 1077374446 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3188 2249 1111 63 0 3125 0
vsize: 12752
[startup+870.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12739
Raw data (stat): 12739 (bsolo_mis) R 12738 7876 7672 0 -1 0 2274 0 0 0 86862 149 0 0 25 0 1 0 632645067 13058048 2249 4294967295 134512640 134714540 3221221776 3221220520 134551632 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3188 2249 1111 63 0 3125 0
vsize: 12752
[startup+880.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12739
Raw data (stat): 12739 (bsolo_mis) R 12738 7876 7672 0 -1 0 2274 0 0 0 87860 151 0 0 25 0 1 0 632645067 13058048 2249 4294967295 134512640 134714540 3221221776 3221220512 134591951 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3188 2249 1111 63 0 3125 0
vsize: 12752
[startup+890.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12739
Raw data (stat): 12739 (bsolo_mis) R 12738 7876 7672 0 -1 0 2274 0 0 0 88859 152 0 0 25 0 1 0 632645067 13058048 2249 4294967295 134512640 134714540 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3188 2249 1111 63 0 3125 0
vsize: 12752
[startup+900.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12739
Raw data (stat): 12739 (bsolo_mis) R 12738 7876 7672 0 -1 0 2281 0 0 0 89858 153 0 0 25 0 1 0 632645067 13058048 2256 4294967295 134512640 134714540 3221221776 3221220520 134558492 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3188 2256 1111 63 0 3125 0
vsize: 12752
[startup+910.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12739
Raw data (stat): 12739 (bsolo_mis) R 12738 7876 7672 0 -1 0 2281 0 0 0 90856 155 0 0 25 0 1 0 632645067 13058048 2256 4294967295 134512640 134714540 3221221776 3221220188 1077379846 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3188 2256 1111 63 0 3125 0
vsize: 12752
[startup+920.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12739
Raw data (stat): 12739 (bsolo_mis) R 12738 7876 7672 0 -1 0 2304 0 0 0 91856 156 0 0 25 0 1 0 632645067 13176832 2279 4294967295 134512640 134714540 3221221776 3221220544 134592104 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3217 2279 1111 63 0 3154 0
vsize: 12868
[startup+930.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12739
Raw data (stat): 12739 (bsolo_mis) R 12738 7876 7672 0 -1 0 2304 0 0 0 92854 158 0 0 25 0 1 0 632645067 13176832 2279 4294967295 134512640 134714540 3221221776 3221220436 134523855 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3217 2279 1111 63 0 3154 0
vsize: 12868
[startup+940.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12739
Raw data (stat): 12739 (bsolo_mis) R 12738 7876 7672 0 -1 0 2304 0 0 0 93853 159 0 0 25 0 1 0 632645067 13176832 2279 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3217 2279 1111 63 0 3154 0
vsize: 12868
[startup+950.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12739
Raw data (stat): 12739 (bsolo_mis) R 12738 7876 7672 0 -1 0 2304 0 0 0 94851 161 0 0 25 0 1 0 632645067 13176832 2279 4294967295 134512640 134714540 3221221776 3221220412 1076647540 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3217 2279 1111 63 0 3154 0
vsize: 12868
[startup+960.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12739
Raw data (stat): 12739 (bsolo_mis) R 12738 7876 7672 0 -1 0 2356 0 0 0 95850 163 0 0 25 0 1 0 632645067 13312000 2331 4294967295 134512640 134714540 3221221776 3221220384 134548843 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3250 2331 1111 63 0 3187 0
vsize: 13000
[startup+970.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12739
Raw data (stat): 12739 (bsolo_mis) R 12738 7876 7672 0 -1 0 2368 0 0 0 96848 164 0 0 25 0 1 0 632645067 13430784 2343 4294967295 134512640 134714540 3221221776 3221220376 134549515 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3279 2343 1111 63 0 3216 0
vsize: 13116
[startup+980.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12739
Raw data (stat): 12739 (bsolo_mis) R 12738 7876 7672 0 -1 0 2368 0 0 0 97847 166 0 0 25 0 1 0 632645067 13430784 2343 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3279 2343 1111 63 0 3216 0
vsize: 13116
[startup+990.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12739
Raw data (stat): 12739 (bsolo_mis) R 12738 7876 7672 0 -1 0 2376 0 0 0 98846 167 0 0 25 0 1 0 632645067 13430784 2351 4294967295 134512640 134714540 3221221776 3221220520 134558492 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3279 2351 1111 63 0 3216 0
vsize: 13116
[startup+1000.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12739
Raw data (stat): 12739 (bsolo_mis) R 12738 7876 7672 0 -1 0 2397 0 0 0 99845 168 0 0 25 0 1 0 632645067 13565952 2372 4294967295 134512640 134714540 3221221776 3221220512 134558504 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3312 2372 1111 63 0 3249 0
vsize: 13248
[startup+1010.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12739
Raw data (stat): 12739 (bsolo_mis) R 12738 7876 7672 0 -1 0 2397 0 0 0 100844 170 0 0 25 0 1 0 632645067 13565952 2372 4294967295 134512640 134714540 3221221776 3221220500 134613700 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3312 2372 1111 63 0 3249 0
vsize: 13248
[startup+1020.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 12775
Raw data (stat): 12739 (bsolo_mis) R 12738 7876 7672 0 -1 0 2397 0 0 0 101842 171 0 0 25 0 1 0 632645067 13565952 2372 4294967295 134512640 134714540 3221221776 3221220384 134549467 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3312 2372 1111 63 0 3249 0
vsize: 13248
[startup+1030.02 s]
Raw data (loadavg): 1.07 0.99 0.91 2/54 12792
Raw data (stat): 12739 (bsolo_mis) R 12738 7876 7672 0 -1 0 2397 0 0 0 102840 173 0 0 25 0 1 0 632645067 13565952 2372 4294967295 134512640 134714540 3221221776 3221220420 134523868 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3312 2372 1111 63 0 3249 0
vsize: 13248
[startup+1040.02 s]
Raw data (loadavg): 1.06 0.99 0.91 2/54 12792
Raw data (stat): 12739 (bsolo_mis) R 12738 7876 7672 0 -1 0 2397 0 0 0 103840 174 0 0 25 0 1 0 632645067 13565952 2372 4294967295 134512640 134714540 3221221776 3221220488 134551881 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3312 2372 1111 63 0 3249 0
vsize: 13248
[startup+1050.02 s]
Raw data (loadavg): 1.05 0.99 0.91 2/54 12792
Raw data (stat): 12739 (bsolo_mis) R 12738 7876 7672 0 -1 0 2397 0 0 0 104838 175 0 0 25 0 1 0 632645067 13565952 2372 4294967295 134512640 134714540 3221221776 3221220384 134549334 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3312 2372 1111 63 0 3249 0
vsize: 13248
[startup+1060.02 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 12792
Raw data (stat): 12739 (bsolo_mis) R 12738 7876 7672 0 -1 0 2397 0 0 0 105837 177 0 0 25 0 1 0 632645067 13565952 2372 4294967295 134512640 134714540 3221221776 3221220192 134697287 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3312 2372 1111 63 0 3249 0
vsize: 13248
[startup+1070.02 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 12792
Raw data (stat): 12739 (bsolo_mis) R 12738 7876 7672 0 -1 0 2397 0 0 0 106835 179 0 0 25 0 1 0 632645067 13565952 2372 4294967295 134512640 134714540 3221221776 3221220528 134592345 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3312 2372 1111 63 0 3249 0
vsize: 13248
[startup+1080.02 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 12792
Raw data (stat): 12739 (bsolo_mis) R 12738 7876 7672 0 -1 0 2397 0 0 0 107834 180 0 0 25 0 1 0 632645067 13565952 2372 4294967295 134512640 134714540 3221221776 3221220676 134595167 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3312 2372 1111 63 0 3249 0
vsize: 13248
[startup+1090.02 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 12794
Raw data (stat): 12739 (bsolo_mis) R 12738 7876 7672 0 -1 0 2397 0 0 0 108833 181 0 0 25 0 1 0 632645067 13565952 2372 4294967295 134512640 134714540 3221221776 3221220332 134535900 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3312 2372 1111 63 0 3249 0
vsize: 13248
[startup+1100.03 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 12794
Raw data (stat): 12739 (bsolo_mis) R 12738 7876 7672 0 -1 0 2410 0 0 0 109831 183 0 0 25 0 1 0 632645067 13565952 2385 4294967295 134512640 134714540 3221221776 3221220404 1077374149 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3312 2385 1111 63 0 3249 0
vsize: 13248
[startup+1110.03 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 12794
Raw data (stat): 12739 (bsolo_mis) R 12738 7876 7672 0 -1 0 2410 0 0 0 110830 185 0 0 25 0 1 0 632645067 13565952 2385 4294967295 134512640 134714540 3221221776 3221220540 134552579 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3312 2385 1111 63 0 3249 0
vsize: 13248
[startup+1120.03 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 12794
Raw data (stat): 12739 (bsolo_mis) R 12738 7876 7672 0 -1 0 2412 0 0 0 111829 186 0 0 25 0 1 0 632645067 13565952 2387 4294967295 134512640 134714540 3221221776 3221220384 134549313 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3312 2387 1111 63 0 3249 0
vsize: 13248
[startup+1130.03 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 12794
Raw data (stat): 12739 (bsolo_mis) R 12738 7876 7672 0 -1 0 2418 0 0 0 112827 189 0 0 25 0 1 0 632645067 13565952 2393 4294967295 134512640 134714540 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3312 2393 1111 63 0 3249 0
vsize: 13248
[startup+1140.03 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 12794
Raw data (stat): 12739 (bsolo_mis) R 12738 7876 7672 0 -1 0 2430 0 0 0 113825 190 0 0 25 0 1 0 632645067 13701120 2405 4294967295 134512640 134714540 3221221776 3221220520 134672906 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3345 2405 1111 63 0 3282 0
vsize: 13380
[startup+1150.03 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 12794
Raw data (stat): 12739 (bsolo_mis) R 12738 7876 7672 0 -1 0 2450 0 0 0 114824 192 0 0 25 0 1 0 632645067 13701120 2425 4294967295 134512640 134714540 3221221776 3221220432 134536630 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3345 2425 1111 63 0 3282 0
vsize: 13380
[startup+1160.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 12794
Raw data (stat): 12739 (bsolo_mis) R 12738 7876 7672 0 -1 0 2450 0 0 0 115822 193 0 0 25 0 1 0 632645067 13701120 2425 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3345 2425 1111 63 0 3282 0
vsize: 13380
[startup+1170.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 12794
Raw data (stat): 12739 (bsolo_mis) R 12738 7876 7672 0 -1 0 2460 0 0 0 116821 195 0 0 25 0 1 0 632645067 13836288 2435 4294967295 134512640 134714540 3221221776 3221220540 134523848 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3378 2435 1111 63 0 3315 0
vsize: 13512
[startup+1174.89 s]
Raw data (loadavg): 1.00 0.99 0.91 1/53 12794
Raw data (stat): 12739 (bsolo_mis) R 12738 7876 7672 0 -1 0 2460 0 0 0 116821 195 0 0 25 0 1 0 632645067 13836288 2435 4294967295 134512640 134714540 3221221776 3221220540 134523848 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3378 2435 1111 63 0 3315 0
vsize: 0

Child status: 0
Real time (s): 1174.89
CPU time (s): 1175.03
CPU user time (s): 1173.06
CPU system time (s): 1.9627
CPU usage (%): 100.012
Max. virtual memory (Kb): 13512
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####