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_45_pb.cnf.cr.opb
MD5SUM	df5f31774bab40070962f7d0b16d093c
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	46
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.107983
Number of variables	3600
Total number of constraints	170
Number of constraints which are clauses	90
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	45
Trace number 23229

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-01 17:03:13 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=156 boxname=wulflinc31 idbench=18 idsolver=3 numberseed=0
MD5SUM SOLVER: 03a6a792daea978e4202f78851741568  /oldhome/oroussel/solvers/bsolo_mis
MD5SUM BENCH:  df5f31774bab40070962f7d0b16d093c  /oldhome/oroussel/tmp/wulflinc31/normalized-chnl40_45_pb.cnf.cr.opb
REAL COMMAND:  bsolo_mis /oldhome/oroussel/tmp/wulflinc31/normalized-chnl40_45_pb.cnf.cr.opb
IDLAUNCH: 156
/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:        930552 kB
Buffers:         36452 kB
Cached:          45780 kB
SwapCached:        864 kB
Active:          70832 kB
Inactive:        13736 kB
HighTotal:      131008 kB
HighFree:        84196 kB
LowTotal:       903652 kB
LowFree:        846356 kB
SwapTotal:     2097892 kB
SwapFree:      2096432 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5504 kB
Slab:            13944 kB
Committed_AS:    63656 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-01 17:22:49 (client local time) WITH STATUS 0 IN 1175.03 SECONDS
stats: 156 7 1175.03 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: No cost function. Find solution and finish.
c Initial problem consists of 3600 variables and 170 constraints.
c After prepocess the problem consists of 3600 variables and 170 constraints.
c preprocess terminated 1.487 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.93 0.97 0.91 2/54 13325
Raw data (stat): 13325 (runsolver) R 13324 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 633125938 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.0012 s]
Raw data (loadavg): 0.94 0.97 0.91 2/54 13325
Raw data (stat): 13325 (bsolo_mis) R 13324 7876 7672 0 -1 0 1321 0 0 0 991 5 0 0 25 0 1 0 633125938 9084928 1296 4294967295 134512640 134714540 3221221776 3221220524 134558476 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2218 1296 1111 63 0 2155 0
vsize: 8872
[startup+20.0072 s]
Raw data (loadavg): 0.95 0.97 0.91 2/54 13325
Raw data (stat): 13325 (bsolo_mis) R 13324 7876 7672 0 -1 0 1334 0 0 0 1990 7 0 0 25 0 1 0 633125938 9191424 1309 4294967295 134512640 134714540 3221221776 3221220480 134524573 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2244 1309 1111 63 0 2181 0
vsize: 8976
[startup+30.0068 s]
Raw data (loadavg): 0.95 0.97 0.91 2/54 13325
Raw data (stat): 13325 (bsolo_mis) R 13324 7876 7672 0 -1 0 1359 0 0 0 2989 8 0 0 25 0 1 0 633125938 9326592 1334 4294967295 134512640 134714540 3221221776 3221220452 134594374 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2277 1334 1111 63 0 2214 0
vsize: 9108
[startup+40.0068 s]
Raw data (loadavg): 0.96 0.97 0.91 2/54 13325
Raw data (stat): 13325 (bsolo_mis) R 13324 7876 7672 0 -1 0 1374 0 0 0 3987 10 0 0 25 0 1 0 633125938 9326592 1349 4294967295 134512640 134714540 3221221776 3221220404 1077374062 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2277 1349 1111 63 0 2214 0
vsize: 9108
[startup+50.01 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 13325
Raw data (stat): 13325 (bsolo_mis) R 13324 7876 7672 0 -1 0 1384 0 0 0 4986 11 0 0 25 0 1 0 633125938 9461760 1359 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2310 1359 1111 63 0 2247 0
vsize: 9240
[startup+60.0106 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 13325
Raw data (stat): 13325 (bsolo_mis) R 13324 7876 7672 0 -1 0 1392 0 0 0 5984 14 0 0 25 0 1 0 633125938 9461760 1367 4294967295 134512640 134714540 3221221776 3221220384 134549470 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2310 1367 1111 63 0 2247 0
vsize: 9240
[startup+70.0105 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 13325
Raw data (stat): 13325 (bsolo_mis) R 13324 7876 7672 0 -1 0 1392 0 0 0 6982 16 0 0 25 0 1 0 633125938 9461760 1367 4294967295 134512640 134714540 3221221776 3221220384 134549467 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2310 1367 1111 63 0 2247 0
vsize: 9240
[startup+80.0179 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 13325
Raw data (stat): 13325 (bsolo_mis) R 13324 7876 7672 0 -1 0 1397 0 0 0 7981 18 0 0 25 0 1 0 633125938 9461760 1372 4294967295 134512640 134714540 3221221776 3221220384 134549296 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2310 1372 1111 63 0 2247 0
vsize: 9240
[startup+90.0184 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 13325
Raw data (stat): 13325 (bsolo_mis) R 13324 7876 7672 0 -1 0 1403 0 0 0 8979 20 0 0 25 0 1 0 633125938 9461760 1378 4294967295 134512640 134714540 3221221776 3221220384 134549318 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2310 1378 1111 63 0 2247 0
vsize: 9240
[startup+100.018 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 13325
Raw data (stat): 13325 (bsolo_mis) R 13324 7876 7672 0 -1 0 1431 0 0 0 9976 23 0 0 25 0 1 0 633125938 9592832 1406 4294967295 134512640 134714540 3221221776 3221220512 134591999 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2342 1406 1111 63 0 2279 0
vsize: 9368
[startup+110.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13325
Raw data (stat): 13325 (bsolo_mis) R 13324 7876 7672 0 -1 0 1439 0 0 0 10975 24 0 0 25 0 1 0 633125938 9592832 1414 4294967295 134512640 134714540 3221221776 3221220384 134549480 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2342 1414 1111 63 0 2279 0
vsize: 9368
[startup+120.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13325
Raw data (stat): 13325 (bsolo_mis) R 13324 7876 7672 0 -1 0 1468 0 0 0 11974 26 0 0 25 0 1 0 633125938 9728000 1443 4294967295 134512640 134714540 3221221776 3221220480 134524399 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2375 1443 1111 63 0 2312 0
vsize: 9500
[startup+130.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13325
Raw data (stat): 13325 (bsolo_mis) R 13324 7876 7672 0 -1 0 1468 0 0 0 12972 28 0 0 25 0 1 0 633125938 9728000 1443 4294967295 134512640 134714540 3221221776 3221220384 134549480 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2375 1443 1111 63 0 2312 0
vsize: 9500
[startup+140.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13325
Raw data (stat): 13325 (bsolo_mis) R 13324 7876 7672 0 -1 0 1468 0 0 0 13970 30 0 0 25 0 1 0 633125938 9728000 1443 4294967295 134512640 134714540 3221221776 3221220316 134613752 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2375 1443 1111 63 0 2312 0
vsize: 9500
[startup+150.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13325
Raw data (stat): 13325 (bsolo_mis) R 13324 7876 7672 0 -1 0 1482 0 0 0 14969 31 0 0 25 0 1 0 633125938 9822208 1457 4294967295 134512640 134714540 3221221776 3221220520 134558492 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2398 1457 1111 63 0 2335 0
vsize: 9592
[startup+160.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13325
Raw data (stat): 13325 (bsolo_mis) R 13324 7876 7672 0 -1 0 1491 0 0 0 15967 34 0 0 25 0 1 0 633125938 9822208 1466 4294967295 134512640 134714540 3221221776 3221220512 134535745 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2398 1466 1111 63 0 2335 0
vsize: 9592
[startup+170.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13325
Raw data (stat): 13325 (bsolo_mis) R 13324 7876 7672 0 -1 0 1510 0 0 0 16965 36 0 0 25 0 1 0 633125938 9957376 1485 4294967295 134512640 134714540 3221221776 3221220384 134549313 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2431 1485 1111 63 0 2368 0
vsize: 9724
[startup+180.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13327
Raw data (stat): 13325 (bsolo_mis) R 13324 7876 7672 0 -1 0 1540 0 0 0 17963 38 0 0 25 0 1 0 633125938 10092544 1515 4294967295 134512640 134714540 3221221776 3221220416 134696155 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2464 1515 1111 63 0 2401 0
vsize: 9856
[startup+190.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13327
Raw data (stat): 13325 (bsolo_mis) R 13324 7876 7672 0 -1 0 1554 0 0 0 18961 40 0 0 25 0 1 0 633125938 10092544 1529 4294967295 134512640 134714540 3221221776 3221220452 1077374508 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2464 1529 1111 63 0 2401 0
vsize: 9856
[startup+200.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13327
Raw data (stat): 13325 (bsolo_mis) R 13324 7876 7672 0 -1 0 1560 0 0 0 19959 42 0 0 25 0 1 0 633125938 10092544 1535 4294967295 134512640 134714540 3221221776 3221220396 1077377191 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2464 1535 1111 63 0 2401 0
vsize: 9856
[startup+210.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13327
Raw data (stat): 13325 (bsolo_mis) R 13324 7876 7672 0 -1 0 1567 0 0 0 20956 45 0 0 25 0 1 0 633125938 10092544 1542 4294967295 134512640 134714540 3221221776 3221220460 134552651 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2464 1542 1111 63 0 2401 0
vsize: 9856
[startup+220.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13327
Raw data (stat): 13325 (bsolo_mis) R 13324 7876 7672 0 -1 0 1585 0 0 0 21954 46 0 0 25 0 1 0 633125938 10227712 1560 4294967295 134512640 134714540 3221221776 3221220332 134535900 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2497 1560 1111 63 0 2434 0
vsize: 9988
[startup+230.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13327
Raw data (stat): 13325 (bsolo_mis) R 13324 7876 7672 0 -1 0 1638 0 0 0 22952 48 0 0 25 0 1 0 633125938 10498048 1613 4294967295 134512640 134714540 3221221776 3221220480 134528746 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2563 1613 1111 63 0 2500 0
vsize: 10252
[startup+240.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13327
Raw data (stat): 13325 (bsolo_mis) R 13324 7876 7672 0 -1 0 1652 0 0 0 23951 50 0 0 25 0 1 0 633125938 10465280 1627 4294967295 134512640 134714540 3221221776 3221220488 134558492 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2555 1627 1111 63 0 2492 0
vsize: 10220
[startup+250.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13327
Raw data (stat): 13325 (bsolo_mis) R 13324 7876 7672 0 -1 0 1692 0 0 0 24950 51 0 0 25 0 1 0 633125938 10600448 1667 4294967295 134512640 134714540 3221221776 3221220384 134549474 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2588 1667 1111 63 0 2525 0
vsize: 10352
[startup+260.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13327
Raw data (stat): 13325 (bsolo_mis) R 13324 7876 7672 0 -1 0 1719 0 0 0 25948 53 0 0 25 0 1 0 633125938 10735616 1694 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2621 1694 1111 63 0 2558 0
vsize: 10484
[startup+270.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13327
Raw data (stat): 13325 (bsolo_mis) R 13324 7876 7672 0 -1 0 1719 0 0 0 26947 54 0 0 25 0 1 0 633125938 10735616 1694 4294967295 134512640 134714540 3221221776 3221220384 134549318 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2621 1694 1111 63 0 2558 0
vsize: 10484
[startup+280.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13327
Raw data (stat): 13325 (bsolo_mis) R 13324 7876 7672 0 -1 0 1719 0 0 0 27945 56 0 0 25 0 1 0 633125938 10735616 1694 4294967295 134512640 134714540 3221221776 3221220416 134613454 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2621 1694 1111 63 0 2558 0
vsize: 10484
[startup+290.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13327
Raw data (stat): 13325 (bsolo_mis) R 13324 7876 7672 0 -1 0 1719 0 0 0 28944 57 0 0 25 0 1 0 633125938 10735616 1694 4294967295 134512640 134714540 3221221776 3221220384 134549296 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2621 1694 1111 63 0 2558 0
vsize: 10484
[startup+300.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13327
Raw data (stat): 13325 (bsolo_mis) R 13324 7876 7672 0 -1 0 1727 0 0 0 29943 59 0 0 25 0 1 0 633125938 10870784 1702 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2654 1702 1111 63 0 2591 0
vsize: 10616
[startup+310.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13327
Raw data (stat): 13325 (bsolo_mis) R 13324 7876 7672 0 -1 0 1740 0 0 0 30942 60 0 0 25 0 1 0 633125938 10870784 1715 4294967295 134512640 134714540 3221221776 3221220416 134613454 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2654 1715 1111 63 0 2591 0
vsize: 10616
[startup+320.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13327
Raw data (stat): 13325 (bsolo_mis) R 13324 7876 7672 0 -1 0 1740 0 0 0 31940 62 0 0 25 0 1 0 633125938 10870784 1715 4294967295 134512640 134714540 3221221776 3221220540 134600316 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2654 1715 1111 63 0 2591 0
vsize: 10616
[startup+330.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13327
Raw data (stat): 13325 (bsolo_mis) R 13324 7876 7672 0 -1 0 1740 0 0 0 32938 64 0 0 25 0 1 0 633125938 10870784 1715 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2654 1715 1111 63 0 2591 0
vsize: 10616
[startup+340.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13327
Raw data (stat): 13325 (bsolo_mis) R 13324 7876 7672 0 -1 0 1752 0 0 0 33936 66 0 0 25 0 1 0 633125938 10870784 1727 4294967295 134512640 134714540 3221221776 3221220192 134697141 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2654 1727 1111 63 0 2591 0
vsize: 10616
[startup+350.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13327
Raw data (stat): 13325 (bsolo_mis) R 13324 7876 7672 0 -1 0 1752 0 0 0 34935 68 0 0 25 0 1 0 633125938 10870784 1727 4294967295 134512640 134714540 3221221776 3221220384 134548608 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2654 1727 1111 63 0 2591 0
vsize: 10616
[startup+360.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13327
Raw data (stat): 13325 (bsolo_mis) R 13324 7876 7672 0 -1 0 1752 0 0 0 35934 69 0 0 25 0 1 0 633125938 10870784 1727 4294967295 134512640 134714540 3221221776 3221220480 134528410 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2654 1727 1111 63 0 2591 0
vsize: 10616
[startup+370.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13327
Raw data (stat): 13325 (bsolo_mis) R 13324 7876 7672 0 -1 0 1753 0 0 0 36932 71 0 0 25 0 1 0 633125938 10870784 1728 4294967295 134512640 134714540 3221221776 3221220384 134549296 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2654 1728 1111 63 0 2591 0
vsize: 10616
[startup+380.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13327
Raw data (stat): 13325 (bsolo_mis) R 13324 7876 7672 0 -1 0 1761 0 0 0 37930 73 0 0 25 0 1 0 633125938 11001856 1736 4294967295 134512640 134714540 3221221776 3221220560 134529421 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2686 1736 1111 63 0 2623 0
vsize: 10744
[startup+390.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13327
Raw data (stat): 13325 (bsolo_mis) R 13324 7876 7672 0 -1 0 1767 0 0 0 38929 74 0 0 25 0 1 0 633125938 11001856 1742 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2686 1742 1111 63 0 2623 0
vsize: 10744
[startup+400.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13327
Raw data (stat): 13325 (bsolo_mis) R 13324 7876 7672 0 -1 0 1801 0 0 0 39928 76 0 0 25 0 1 0 633125938 11137024 1776 4294967295 134512640 134714540 3221221776 3221220360 134696049 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2719 1776 1111 63 0 2656 0
vsize: 10876
[startup+410.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13327
Raw data (stat): 13325 (bsolo_mis) R 13324 7876 7672 0 -1 0 1846 0 0 0 40927 77 0 0 25 0 1 0 633125938 11272192 1821 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2752 1821 1111 63 0 2689 0
vsize: 11008
[startup+420.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13327
Raw data (stat): 13325 (bsolo_mis) R 13324 7876 7672 0 -1 0 1867 0 0 0 41925 79 0 0 25 0 1 0 633125938 11407360 1842 4294967295 134512640 134714540 3221221776 3221220392 134613753 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2785 1842 1111 63 0 2722 0
vsize: 11140
[startup+430.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13327
Raw data (stat): 13325 (bsolo_mis) R 13324 7876 7672 0 -1 0 1874 0 0 0 42924 81 0 0 25 0 1 0 633125938 11407360 1849 4294967295 134512640 134714540 3221221776 3221220512 134535829 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2785 1849 1111 63 0 2722 0
vsize: 11140
[startup+440.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13327
Raw data (stat): 13325 (bsolo_mis) R 13324 7876 7672 0 -1 0 1882 0 0 0 43922 82 0 0 25 0 1 0 633125938 11407360 1857 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2785 1857 1111 63 0 2722 0
vsize: 11140
[startup+450.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13327
Raw data (stat): 13325 (bsolo_mis) R 13324 7876 7672 0 -1 0 1911 0 0 0 44920 84 0 0 25 0 1 0 633125938 11542528 1886 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2818 1886 1111 63 0 2755 0
vsize: 11272
[startup+460.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13327
Raw data (stat): 13325 (bsolo_mis) R 13324 7876 7672 0 -1 0 1944 0 0 0 45918 87 0 0 25 0 1 0 633125938 11677696 1919 4294967295 134512640 134714540 3221221776 3221220336 134542303 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2851 1919 1111 63 0 2788 0
vsize: 11404
[startup+470.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13327
Raw data (stat): 13325 (bsolo_mis) R 13324 7876 7672 0 -1 0 1944 0 0 0 46916 89 0 0 25 0 1 0 633125938 11677696 1919 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2851 1919 1111 63 0 2788 0
vsize: 11404
[startup+480.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13327
Raw data (stat): 13325 (bsolo_mis) R 13324 7876 7672 0 -1 0 1944 0 0 0 47913 92 0 0 25 0 1 0 633125938 11677696 1919 4294967295 134512640 134714540 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2851 1919 1111 63 0 2788 0
vsize: 11404
[startup+490.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13327
Raw data (stat): 13325 (bsolo_mis) R 13324 7876 7672 0 -1 0 1944 0 0 0 48912 93 0 0 25 0 1 0 633125938 11677696 1919 4294967295 134512640 134714540 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2851 1919 1111 63 0 2788 0
vsize: 11404
[startup+500.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13327
Raw data (stat): 13325 (bsolo_mis) R 13324 7876 7672 0 -1 0 1958 0 0 0 49912 94 0 0 25 0 1 0 633125938 11812864 1933 4294967295 134512640 134714540 3221221776 3221220464 134551929 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2884 1933 1111 63 0 2821 0
vsize: 11536
[startup+510.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13327
Raw data (stat): 13325 (bsolo_mis) R 13324 7876 7672 0 -1 0 1961 0 0 0 50910 96 0 0 25 0 1 0 633125938 11812864 1936 4294967295 134512640 134714540 3221221776 3221220500 134535789 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2884 1936 1111 63 0 2821 0
vsize: 11536
[startup+520.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13327
Raw data (stat): 13325 (bsolo_mis) R 13324 7876 7672 0 -1 0 1961 0 0 0 51908 98 0 0 25 0 1 0 633125938 11812864 1936 4294967295 134512640 134714540 3221221776 3221220384 134549318 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2884 1936 1111 63 0 2821 0
vsize: 11536
[startup+530.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13327
Raw data (stat): 13325 (bsolo_mis) R 13324 7876 7672 0 -1 0 1999 0 0 0 52906 100 0 0 25 0 1 0 633125938 11948032 1974 4294967295 134512640 134714540 3221221776 3221220528 134592388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2917 1974 1111 63 0 2854 0
vsize: 11668
[startup+540.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13327
Raw data (stat): 13325 (bsolo_mis) R 13324 7876 7672 0 -1 0 2032 0 0 0 53904 102 0 0 25 0 1 0 633125938 12083200 2007 4294967295 134512640 134714540 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2950 2007 1111 63 0 2887 0
vsize: 11800
[startup+550.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13327
Raw data (stat): 13325 (bsolo_mis) R 13324 7876 7672 0 -1 0 2054 0 0 0 54903 103 0 0 25 0 1 0 633125938 12083200 2029 4294967295 134512640 134714540 3221221776 3221220384 134549480 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2950 2029 1111 63 0 2887 0
vsize: 11800
[startup+560.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13327
Raw data (stat): 13325 (bsolo_mis) R 13324 7876 7672 0 -1 0 2063 0 0 0 55902 105 0 0 25 0 1 0 633125938 12218368 2038 4294967295 134512640 134714540 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2983 2038 1111 63 0 2920 0
vsize: 11932
[startup+570.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13327
Raw data (stat): 13325 (bsolo_mis) R 13324 7876 7672 0 -1 0 2070 0 0 0 56900 106 0 0 25 0 1 0 633125938 12218368 2045 4294967295 134512640 134714540 3221221776 3221220488 134584831 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2983 2045 1111 63 0 2920 0
vsize: 11932
[startup+580.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13327
Raw data (stat): 13325 (bsolo_mis) R 13324 7876 7672 0 -1 0 2081 0 0 0 57899 108 0 0 25 0 1 0 633125938 12218368 2056 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2983 2056 1111 63 0 2920 0
vsize: 11932
[startup+590.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13327
Raw data (stat): 13325 (bsolo_mis) R 13324 7876 7672 0 -1 0 2087 0 0 0 58897 110 0 0 25 0 1 0 633125938 12218368 2062 4294967295 134512640 134714540 3221221776 3221220560 134529097 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2983 2062 1111 63 0 2920 0
vsize: 11932
[startup+600.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13327
Raw data (stat): 13325 (bsolo_mis) R 13324 7876 7672 0 -1 0 2087 0 0 0 59895 111 0 0 25 0 1 0 633125938 12218368 2062 4294967295 134512640 134714540 3221221776 3221220512 134535745 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2983 2062 1111 63 0 2920 0
vsize: 11932
[startup+610.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13327
Raw data (stat): 13325 (bsolo_mis) R 13324 7876 7672 0 -1 0 2094 0 0 0 60894 113 0 0 25 0 1 0 633125938 12353536 2069 4294967295 134512640 134714540 3221221776 3221220188 1077379860 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3016 2069 1111 63 0 2953 0
vsize: 12064
[startup+620.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13327
Raw data (stat): 13325 (bsolo_mis) R 13324 7876 7672 0 -1 0 2094 0 0 0 61893 114 0 0 25 0 1 0 633125938 12353536 2069 4294967295 134512640 134714540 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3016 2069 1111 63 0 2953 0
vsize: 12064
[startup+630.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13327
Raw data (stat): 13325 (bsolo_mis) R 13324 7876 7672 0 -1 0 2102 0 0 0 62892 116 0 0 25 0 1 0 633125938 12353536 2077 4294967295 134512640 134714540 3221221776 3221220464 134534122 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3016 2077 1111 63 0 2953 0
vsize: 12064
[startup+640.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13327
Raw data (stat): 13325 (bsolo_mis) R 13324 7876 7672 0 -1 0 2102 0 0 0 63891 117 0 0 25 0 1 0 633125938 12353536 2077 4294967295 134512640 134714540 3221221776 3221220528 134592391 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3016 2077 1111 63 0 2953 0
vsize: 12064
[startup+650.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13327
Raw data (stat): 13325 (bsolo_mis) R 13324 7876 7672 0 -1 0 2104 0 0 0 64888 119 0 0 25 0 1 0 633125938 12353536 2079 4294967295 134512640 134714540 3221221776 3221220544 134592104 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3016 2079 1111 63 0 2953 0
vsize: 12064
[startup+660.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13327
Raw data (stat): 13325 (bsolo_mis) R 13324 7876 7672 0 -1 0 2106 0 0 0 65887 120 0 0 25 0 1 0 633125938 12353536 2081 4294967295 134512640 134714540 3221221776 3221220544 134592116 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3016 2081 1111 63 0 2953 0
vsize: 12064
[startup+670.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13327
Raw data (stat): 13325 (bsolo_mis) R 13324 7876 7672 0 -1 0 2122 0 0 0 66886 122 0 0 25 0 1 0 633125938 12488704 2097 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3049 2097 1111 63 0 2986 0
vsize: 12196
[startup+680.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13327
Raw data (stat): 13325 (bsolo_mis) R 13324 7876 7672 0 -1 0 2129 0 0 0 67885 123 0 0 25 0 1 0 633125938 12488704 2104 4294967295 134512640 134714540 3221221776 3221220364 134543588 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3049 2104 1111 63 0 2986 0
vsize: 12196
[startup+690.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13327
Raw data (stat): 13325 (bsolo_mis) R 13324 7876 7672 0 -1 0 2149 0 0 0 68884 124 0 0 25 0 1 0 633125938 12488704 2124 4294967295 134512640 134714540 3221221776 3221220520 134672932 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3049 2124 1111 63 0 2986 0
vsize: 12196
[startup+700.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13327
Raw data (stat): 13325 (bsolo_mis) R 13324 7876 7672 0 -1 0 2181 0 0 0 69882 127 0 0 25 0 1 0 633125938 12619776 2156 4294967295 134512640 134714540 3221221776 3221220512 134591997 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3081 2156 1111 63 0 3018 0
vsize: 12324
[startup+710.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13327
Raw data (stat): 13325 (bsolo_mis) R 13324 7876 7672 0 -1 0 2181 0 0 0 70881 128 0 0 25 0 1 0 633125938 12619776 2156 4294967295 134512640 134714540 3221221776 3221220560 134584901 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3081 2156 1111 63 0 3018 0
vsize: 12324
[startup+720.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13327
Raw data (stat): 13325 (bsolo_mis) R 13324 7876 7672 0 -1 0 2181 0 0 0 71880 129 0 0 25 0 1 0 633125938 12619776 2156 4294967295 134512640 134714540 3221221776 3221220368 134549821 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3081 2156 1111 63 0 3018 0
vsize: 12324
[startup+730.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13327
Raw data (stat): 13325 (bsolo_mis) R 13324 7876 7672 0 -1 0 2181 0 0 0 72879 130 0 0 25 0 1 0 633125938 12619776 2156 4294967295 134512640 134714540 3221221776 3221220384 134549296 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3081 2156 1111 63 0 3018 0
vsize: 12324
[startup+740.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13327
Raw data (stat): 13325 (bsolo_mis) R 13324 7876 7672 0 -1 0 2187 0 0 0 73877 132 0 0 25 0 1 0 633125938 12754944 2162 4294967295 134512640 134714540 3221221776 3221220464 134551890 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3114 2162 1111 63 0 3051 0
vsize: 12456
[startup+750.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13327
Raw data (stat): 13325 (bsolo_mis) R 13324 7876 7672 0 -1 0 2192 0 0 0 74877 133 0 0 25 0 1 0 633125938 12754944 2167 4294967295 134512640 134714540 3221221776 3221220476 134600308 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3114 2167 1111 63 0 3051 0
vsize: 12456
[startup+760.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13327
Raw data (stat): 13325 (bsolo_mis) R 13324 7876 7672 0 -1 0 2192 0 0 0 75876 134 0 0 25 0 1 0 633125938 12754944 2167 4294967295 134512640 134714540 3221221776 3221220504 134532457 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3114 2167 1111 63 0 3051 0
vsize: 12456
[startup+770.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13327
Raw data (stat): 13325 (bsolo_mis) R 13324 7876 7672 0 -1 0 2192 0 0 0 76875 135 0 0 25 0 1 0 633125938 12754944 2167 4294967295 134512640 134714540 3221221776 3221220408 134696049 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3114 2167 1111 63 0 3051 0
vsize: 12456
[startup+780.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13327
Raw data (stat): 13325 (bsolo_mis) R 13324 7876 7672 0 -1 0 2192 0 0 0 77874 136 0 0 25 0 1 0 633125938 12754944 2167 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3114 2167 1111 63 0 3051 0
vsize: 12456
[startup+790.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13327
Raw data (stat): 13325 (bsolo_mis) R 13324 7876 7672 0 -1 0 2192 0 0 0 78873 137 0 0 25 0 1 0 633125938 12754944 2167 4294967295 134512640 134714540 3221221776 3221220360 134543614 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3114 2167 1111 63 0 3051 0
vsize: 12456
[startup+800.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13327
Raw data (stat): 13325 (bsolo_mis) R 13324 7876 7672 0 -1 0 2198 0 0 0 79872 138 0 0 25 0 1 0 633125938 12754944 2173 4294967295 134512640 134714540 3221221776 3221220348 134535988 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3114 2173 1111 63 0 3051 0
vsize: 12456
[startup+810.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13327
Raw data (stat): 13325 (bsolo_mis) R 13324 7876 7672 0 -1 0 2198 0 0 0 80871 140 0 0 25 0 1 0 633125938 12754944 2173 4294967295 134512640 134714540 3221221776 3221220396 134613956 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3114 2173 1111 63 0 3051 0
vsize: 12456
[startup+820.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13327
Raw data (stat): 13325 (bsolo_mis) R 13324 7876 7672 0 -1 0 2198 0 0 0 81871 140 0 0 25 0 1 0 633125938 12754944 2173 4294967295 134512640 134714540 3221221776 3221220524 134558476 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3114 2173 1111 63 0 3051 0
vsize: 12456
[startup+830.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13327
Raw data (stat): 13325 (bsolo_mis) R 13324 7876 7672 0 -1 0 2206 0 0 0 82869 142 0 0 25 0 1 0 633125938 12754944 2181 4294967295 134512640 134714540 3221221776 3221220416 134539462 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3114 2181 1111 63 0 3051 0
vsize: 12456
[startup+840.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13327
Raw data (stat): 13325 (bsolo_mis) R 13324 7876 7672 0 -1 0 2206 0 0 0 83869 142 0 0 25 0 1 0 633125938 12754944 2181 4294967295 134512640 134714540 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3114 2181 1111 63 0 3051 0
vsize: 12456
[startup+850.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13327
Raw data (stat): 13325 (bsolo_mis) R 13324 7876 7672 0 -1 0 2209 0 0 0 84867 144 0 0 25 0 1 0 633125938 12754944 2184 4294967295 134512640 134714540 3221221776 3221220384 134549334 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3114 2184 1111 63 0 3051 0
vsize: 12456
[startup+860.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13327
Raw data (stat): 13325 (bsolo_mis) R 13324 7876 7672 0 -1 0 2215 0 0 0 85866 145 0 0 25 0 1 0 633125938 12754944 2190 4294967295 134512640 134714540 3221221776 3221220384 134549318 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3114 2190 1111 63 0 3051 0
vsize: 12456
[startup+870.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13327
Raw data (stat): 13325 (bsolo_mis) R 13324 7876 7672 0 -1 0 2221 0 0 0 86865 146 0 0 25 0 1 0 633125938 12890112 2196 4294967295 134512640 134714540 3221221776 3221220584 134558492 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3147 2196 1111 63 0 3084 0
vsize: 12588
[startup+880.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13327
Raw data (stat): 13325 (bsolo_mis) R 13324 7876 7672 0 -1 0 2222 0 0 0 87864 148 0 0 25 0 1 0 633125938 12849152 2197 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3137 2197 1111 63 0 3074 0
vsize: 12548
[startup+890.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13327
Raw data (stat): 13325 (bsolo_mis) R 13324 7876 7672 0 -1 0 2234 0 0 0 88863 149 0 0 25 0 1 0 633125938 12849152 2209 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3137 2209 1111 63 0 3074 0
vsize: 12548
[startup+900.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13327
Raw data (stat): 13325 (bsolo_mis) R 13324 7876 7672 0 -1 0 2234 0 0 0 89861 150 0 0 25 0 1 0 633125938 12849152 2209 4294967295 134512640 134714540 3221221776 3221220432 134524259 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3137 2209 1111 63 0 3074 0
vsize: 12548
[startup+910.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13327
Raw data (stat): 13325 (bsolo_mis) R 13324 7876 7672 0 -1 0 2246 0 0 0 90860 152 0 0 25 0 1 0 633125938 12984320 2221 4294967295 134512640 134714540 3221221776 3221220520 134558492 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3170 2221 1111 63 0 3107 0
vsize: 12680
[startup+920.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13327
Raw data (stat): 13325 (bsolo_mis) R 13324 7876 7672 0 -1 0 2246 0 0 0 91858 154 0 0 25 0 1 0 633125938 12984320 2221 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3170 2221 1111 63 0 3107 0
vsize: 12680
[startup+930.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13327
Raw data (stat): 13325 (bsolo_mis) R 13324 7876 7672 0 -1 0 2253 0 0 0 92856 156 0 0 25 0 1 0 633125938 12984320 2228 4294967295 134512640 134714540 3221221776 3221220344 134696435 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3170 2228 1111 63 0 3107 0
vsize: 12680
[startup+940.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13327
Raw data (stat): 13325 (bsolo_mis) R 13324 7876 7672 0 -1 0 2270 0 0 0 93856 157 0 0 25 0 1 0 633125938 12984320 2245 4294967295 134512640 134714540 3221221776 3221220384 134549327 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3170 2245 1111 63 0 3107 0
vsize: 12680
[startup+950.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13327
Raw data (stat): 13325 (bsolo_mis) R 13324 7876 7672 0 -1 0 2299 0 0 0 94854 158 0 0 25 0 1 0 633125938 13119488 2274 4294967295 134512640 134714540 3221221776 3221220420 134536649 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3203 2274 1111 63 0 3140 0
vsize: 12812
[startup+960.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13327
Raw data (stat): 13325 (bsolo_mis) R 13324 7876 7672 0 -1 0 2325 0 0 0 95853 160 0 0 25 0 1 0 633125938 13254656 2300 4294967295 134512640 134714540 3221221776 3221220432 134536630 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3236 2300 1111 63 0 3173 0
vsize: 12944
[startup+970.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13327
Raw data (stat): 13325 (bsolo_mis) R 13324 7876 7672 0 -1 0 2412 0 0 0 96851 162 0 0 25 0 1 0 633125938 13660160 2387 4294967295 134512640 134714540 3221221776 3221220460 134552651 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3335 2387 1111 63 0 3272 0
vsize: 13340
[startup+980.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13327
Raw data (stat): 13325 (bsolo_mis) R 13324 7876 7672 0 -1 0 2430 0 0 0 97850 163 0 0 25 0 1 0 633125938 13660160 2405 4294967295 134512640 134714540 3221221776 3221220384 134549467 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3335 2405 1111 63 0 3272 0
vsize: 13340
[startup+990.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13327
Raw data (stat): 13325 (bsolo_mis) R 13324 7876 7672 0 -1 0 2446 0 0 0 98849 164 0 0 25 0 1 0 633125938 13795328 2421 4294967295 134512640 134714540 3221221776 3221220332 134535900 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3368 2421 1111 63 0 3305 0
vsize: 13472
[startup+1000.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13327
Raw data (stat): 13325 (bsolo_mis) R 13324 7876 7672 0 -1 0 2449 0 0 0 99848 166 0 0 25 0 1 0 633125938 13795328 2424 4294967295 134512640 134714540 3221221776 3221220384 134548843 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3368 2424 1111 63 0 3305 0
vsize: 13472
[startup+1010.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13327
Raw data (stat): 13325 (bsolo_mis) R 13324 7876 7672 0 -1 0 2473 0 0 0 100847 167 0 0 25 0 1 0 633125938 13795328 2448 4294967295 134512640 134714540 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3368 2448 1111 63 0 3305 0
vsize: 13472
[startup+1020.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13327
Raw data (stat): 13325 (bsolo_mis) R 13324 7876 7672 0 -1 0 2474 0 0 0 101845 169 0 0 25 0 1 0 633125938 13926400 2449 4294967295 134512640 134714540 3221221776 3221220432 134613612 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3400 2449 1111 63 0 3337 0
vsize: 13600
[startup+1030.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13327
Raw data (stat): 13325 (bsolo_mis) R 13324 7876 7672 0 -1 0 2488 0 0 0 102845 169 0 0 25 0 1 0 633125938 13926400 2463 4294967295 134512640 134714540 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3400 2463 1111 63 0 3337 0
vsize: 13600
[startup+1040.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13327
Raw data (stat): 13325 (bsolo_mis) R 13324 7876 7672 0 -1 0 2488 0 0 0 103844 171 0 0 25 0 1 0 633125938 13926400 2463 4294967295 134512640 134714540 3221221776 3221220344 1077378259 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3400 2463 1111 63 0 3337 0
vsize: 13600
[startup+1050.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13327
Raw data (stat): 13325 (bsolo_mis) R 13324 7876 7672 0 -1 0 2500 0 0 0 104842 172 0 0 25 0 1 0 633125938 13926400 2475 4294967295 134512640 134714540 3221221776 3221220384 134549480 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3400 2475 1111 63 0 3337 0
vsize: 13600
[startup+1060.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13327
Raw data (stat): 13325 (bsolo_mis) R 13324 7876 7672 0 -1 0 2500 0 0 0 105840 174 0 0 25 0 1 0 633125938 13926400 2475 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3400 2475 1111 63 0 3337 0
vsize: 13600
[startup+1070.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13327
Raw data (stat): 13325 (bsolo_mis) R 13324 7876 7672 0 -1 0 2507 0 0 0 106839 176 0 0 25 0 1 0 633125938 14061568 2482 4294967295 134512640 134714540 3221221776 3221220368 134549686 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3433 2482 1111 63 0 3370 0
vsize: 13732
[startup+1080.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13327
Raw data (stat): 13325 (bsolo_mis) R 13324 7876 7672 0 -1 0 2507 0 0 0 107838 177 0 0 25 0 1 0 633125938 14036992 2482 4294967295 134512640 134714540 3221221776 3221220584 134558492 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3427 2482 1111 63 0 3364 0
vsize: 13708
[startup+1090.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13327
Raw data (stat): 13325 (bsolo_mis) R 13324 7876 7672 0 -1 0 2521 0 0 0 108837 178 0 0 25 0 1 0 633125938 14036992 2496 4294967295 134512640 134714540 3221221776 3221220400 134549668 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3427 2496 1111 63 0 3364 0
vsize: 13708
[startup+1100.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13327
Raw data (stat): 13325 (bsolo_mis) R 13324 7876 7672 0 -1 0 2545 0 0 0 109836 180 0 0 25 0 1 0 633125938 14168064 2520 4294967295 134512640 134714540 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3459 2520 1111 63 0 3396 0
vsize: 13836
[startup+1110.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13327
Raw data (stat): 13325 (bsolo_mis) R 13324 7876 7672 0 -1 0 2545 0 0 0 110835 181 0 0 25 0 1 0 633125938 14168064 2520 4294967295 134512640 134714540 3221221776 3221220384 134549296 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3459 2520 1111 63 0 3396 0
vsize: 13836
[startup+1120.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13327
Raw data (stat): 13325 (bsolo_mis) R 13324 7876 7672 0 -1 0 2545 0 0 0 111833 183 0 0 25 0 1 0 633125938 14168064 2520 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3459 2520 1111 63 0 3396 0
vsize: 13836
[startup+1130.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13327
Raw data (stat): 13325 (bsolo_mis) R 13324 7876 7672 0 -1 0 2558 0 0 0 112831 185 0 0 25 0 1 0 633125938 14168064 2533 4294967295 134512640 134714540 3221221776 3221220384 134549305 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3459 2533 1111 63 0 3396 0
vsize: 13836
[startup+1140.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13327
Raw data (stat): 13325 (bsolo_mis) R 13324 7876 7672 0 -1 0 2558 0 0 0 113830 187 0 0 25 0 1 0 633125938 14168064 2533 4294967295 134512640 134714540 3221221776 3221220384 134549296 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3459 2533 1111 63 0 3396 0
vsize: 13836
[startup+1150.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13327
Raw data (stat): 13325 (bsolo_mis) R 13324 7876 7672 0 -1 0 2575 0 0 0 114828 188 0 0 25 0 1 0 633125938 14303232 2550 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3492 2550 1111 63 0 3429 0
vsize: 13968
[startup+1160.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13327
Raw data (stat): 13325 (bsolo_mis) R 13324 7876 7672 0 -1 0 2575 0 0 0 115827 190 0 0 25 0 1 0 633125938 14303232 2550 4294967295 134512640 134714540 3221221776 3221220544 134592104 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3492 2550 1111 63 0 3429 0
vsize: 13968
[startup+1170.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13327
Raw data (stat): 13325 (bsolo_mis) R 13324 7876 7672 0 -1 0 2575 0 0 0 116826 191 0 0 25 0 1 0 633125938 14303232 2550 4294967295 134512640 134714540 3221221776 3221220480 134528449 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3492 2550 1111 63 0 3429 0
vsize: 13968
[startup+1174.9 s]
Raw data (loadavg): 0.99 0.97 0.91 1/53 13327
Raw data (stat): 13325 (bsolo_mis) R 13324 7876 7672 0 -1 0 2575 0 0 0 116826 191 0 0 25 0 1 0 633125938 14303232 2550 4294967295 134512640 134714540 3221221776 3221220480 134528449 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3492 2550 1111 63 0 3429 0
vsize: 0

Child status: 0
Real time (s): 1174.9
CPU time (s): 1175.03
CPU user time (s): 1173.1
CPU system time (s): 1.93271
CPU usage (%): 100.011
Max. virtual memory (Kb): 13968
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####