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-chnl30_35_pb.cnf.cr.opb
MD5SUM	b1c5adb5438ceaf1c654cfedb79b695e
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	36
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.06099
Number of variables	2100
Total number of constraints	130
Number of constraints which are clauses	70
Number of constraints which are cardinality constraints (but not clauses)	60
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	30
Maximum length of a constraint	35
Trace number 23197

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-01 08:22:52 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=100 boxname=wulflinc31 idbench=12 idsolver=1 numberseed=0
MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef  /oldhome/oroussel/solvers/bsolo_lpr
MD5SUM BENCH:  b1c5adb5438ceaf1c654cfedb79b695e  /oldhome/oroussel/tmp/wulflinc31/normalized-chnl30_35_pb.cnf.cr.opb
REAL COMMAND:  bsolo_lpr /oldhome/oroussel/tmp/wulflinc31/normalized-chnl30_35_pb.cnf.cr.opb
IDLAUNCH: 100
/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:        931788 kB
Buffers:         35884 kB
Cached:          45192 kB
SwapCached:        864 kB
Active:          70216 kB
Inactive:        13208 kB
HighTotal:      131008 kB
HighFree:        84784 kB
LowTotal:       903652 kB
LowFree:        847004 kB
SwapTotal:     2097892 kB
SwapFree:      2096432 kB
Dirty:              68 kB
Writeback:           0 kB
Mapped:           5504 kB
Slab:            13868 kB
Committed_AS:    63648 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-01 08:42:28 (client local time) WITH STATUS 0 IN 1175.04 SECONDS
stats: 100 7 1175.04 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c INFO: No cost function. Find solution and finish.
c Initial problem consists of 2100 variables and 130 constraints.
c After prepocess the problem consists of 2100 variables and 130 constraints.
c preprocess terminated 0.704 s
c Not use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175.01 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.92 0.96 0.91 2/54 9774
Raw data (stat): 9774 (runsolver) R 9773 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 630003462 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.0005 s]
Raw data (loadavg): 0.93 0.96 0.91 2/54 9774
Raw data (stat): 9774 (bsolo_lpr) R 9773 7876 7672 0 -1 0 1400 0 0 0 987 7 0 0 25 0 1 0 630003462 8933376 1321 4294967295 134512640 134714508 3221221776 3221220336 134696577 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2181 1321 1111 63 0 2118 0
vsize: 8724
[startup+20 s]
Raw data (loadavg): 0.94 0.96 0.91 2/54 9774
Raw data (stat): 9774 (bsolo_lpr) R 9773 7876 7672 0 -1 0 1558 0 0 0 1985 10 0 0 25 0 1 0 630003462 9474048 1479 4294967295 134512640 134714508 3221221776 3221220520 134672944 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2313 1479 1111 63 0 2250 0
vsize: 9252
[startup+30.0009 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 9774
Raw data (stat): 9774 (bsolo_lpr) R 9773 7876 7672 0 -1 0 1658 0 0 0 2983 12 0 0 25 0 1 0 630003462 10002432 1579 4294967295 134512640 134714508 3221221776 3221220508 134536856 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2442 1579 1111 63 0 2379 0
vsize: 9768
[startup+40.0011 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 9774
Raw data (stat): 9774 (bsolo_lpr) R 9773 7876 7672 0 -1 0 1697 0 0 0 3981 14 0 0 25 0 1 0 630003462 10137600 1618 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2475 1618 1111 63 0 2412 0
vsize: 9900
[startup+50.0021 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 9774
Raw data (stat): 9774 (bsolo_lpr) R 9773 7876 7672 0 -1 0 1732 0 0 0 4980 15 0 0 25 0 1 0 630003462 10272768 1653 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2508 1653 1111 63 0 2445 0
vsize: 10032
[startup+60.0017 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 9774
Raw data (stat): 9774 (bsolo_lpr) R 9773 7876 7672 0 -1 0 1749 0 0 0 5979 16 0 0 25 0 1 0 630003462 10272768 1670 4294967295 134512640 134714508 3221221776 3221220400 134536675 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2508 1670 1111 63 0 2445 0
vsize: 10032
[startup+70.0019 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 9774
Raw data (stat): 9774 (bsolo_lpr) R 9773 7876 7672 0 -1 0 1788 0 0 0 6977 18 0 0 25 0 1 0 630003462 10534912 1709 4294967295 134512640 134714508 3221221776 3221220512 134535840 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2572 1709 1111 63 0 2509 0
vsize: 10288
[startup+80.0026 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 9774
Raw data (stat): 9774 (bsolo_lpr) R 9773 7876 7672 0 -1 0 1799 0 0 0 7976 20 0 0 25 0 1 0 630003462 10534912 1720 4294967295 134512640 134714508 3221221776 3221220528 134592421 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2572 1720 1111 63 0 2509 0
vsize: 10288
[startup+90.0025 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 9774
Raw data (stat): 9774 (bsolo_lpr) R 9773 7876 7672 0 -1 0 1824 0 0 0 8974 22 0 0 25 0 1 0 630003462 10670080 1745 4294967295 134512640 134714508 3221221776 3221220432 134524067 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2605 1745 1111 63 0 2542 0
vsize: 10420
[startup+100.003 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 9774
Raw data (stat): 9774 (bsolo_lpr) R 9773 7876 7672 0 -1 0 1827 0 0 0 9972 24 0 0 25 0 1 0 630003462 10670080 1748 4294967295 134512640 134714508 3221221776 3221220384 134548843 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2605 1748 1111 63 0 2542 0
vsize: 10420
[startup+110.004 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 9774
Raw data (stat): 9774 (bsolo_lpr) R 9773 7876 7672 0 -1 0 2028 0 0 0 10970 26 0 0 25 0 1 0 630003462 11476992 1949 4294967295 134512640 134714508 3221221776 3221220568 134586033 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2802 1949 1111 63 0 2739 0
vsize: 11208
[startup+120.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9774
Raw data (stat): 9774 (bsolo_lpr) R 9773 7876 7672 0 -1 0 2118 0 0 0 11968 28 0 0 25 0 1 0 630003462 11878400 2039 4294967295 134512640 134714508 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2900 2039 1111 63 0 2837 0
vsize: 11600
[startup+130.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9774
Raw data (stat): 9774 (bsolo_lpr) R 9773 7876 7672 0 -1 0 2232 0 0 0 12967 29 0 0 25 0 1 0 630003462 12283904 2153 4294967295 134512640 134714508 3221221776 3221220444 134536748 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2999 2153 1111 63 0 2936 0
vsize: 11996
[startup+140.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9774
Raw data (stat): 9774 (bsolo_lpr) R 9773 7876 7672 0 -1 0 2418 0 0 0 13965 32 0 0 25 0 1 0 630003462 13094912 2339 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3197 2339 1111 63 0 3134 0
vsize: 12788
[startup+150.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9774
Raw data (stat): 9774 (bsolo_lpr) R 9773 7876 7672 0 -1 0 2530 0 0 0 14964 33 0 0 25 0 1 0 630003462 13500416 2451 4294967295 134512640 134714508 3221221776 3221220448 134551963 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3296 2451 1111 63 0 3233 0
vsize: 13184
[startup+160.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9774
Raw data (stat): 9774 (bsolo_lpr) R 9773 7876 7672 0 -1 0 2582 0 0 0 15963 34 0 0 25 0 1 0 630003462 13762560 2503 4294967295 134512640 134714508 3221221776 3221220512 134535742 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3360 2503 1111 63 0 3297 0
vsize: 13440
[startup+170.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9774
Raw data (stat): 9774 (bsolo_lpr) R 9773 7876 7672 0 -1 0 2625 0 0 0 16961 36 0 0 25 0 1 0 630003462 13897728 2546 4294967295 134512640 134714508 3221221776 3221220544 134592116 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3393 2546 1111 63 0 3330 0
vsize: 13572
[startup+180.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9774
Raw data (stat): 9774 (bsolo_lpr) R 9773 7876 7672 0 -1 0 2666 0 0 0 17960 37 0 0 25 0 1 0 630003462 14032896 2587 4294967295 134512640 134714508 3221221776 3221220332 134535664 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3426 2587 1111 63 0 3363 0
vsize: 13704
[startup+190.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9774
Raw data (stat): 9774 (bsolo_lpr) R 9773 7876 7672 0 -1 0 2715 0 0 0 18958 40 0 0 25 0 1 0 630003462 14303232 2636 4294967295 134512640 134714508 3221221776 3221220400 134549700 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3492 2636 1111 63 0 3429 0
vsize: 13968
[startup+200.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9774
Raw data (stat): 9774 (bsolo_lpr) R 9773 7876 7672 0 -1 0 2743 0 0 0 19956 41 0 0 25 0 1 0 630003462 14438400 2664 4294967295 134512640 134714508 3221221776 3221220488 134552673 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3525 2664 1111 63 0 3462 0
vsize: 14100
[startup+210.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9774
Raw data (stat): 9774 (bsolo_lpr) R 9773 7876 7672 0 -1 0 2771 0 0 0 20955 43 0 0 25 0 1 0 630003462 14438400 2692 4294967295 134512640 134714508 3221221776 3221220416 134696085 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3525 2692 1111 63 0 3462 0
vsize: 14100
[startup+220.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9774
Raw data (stat): 9774 (bsolo_lpr) R 9773 7876 7672 0 -1 0 2786 0 0 0 21954 44 0 0 25 0 1 0 630003462 14569472 2707 4294967295 134512640 134714508 3221221776 3221220352 134549802 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3557 2707 1111 63 0 3494 0
vsize: 14228
[startup+230.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9774
Raw data (stat): 9774 (bsolo_lpr) R 9773 7876 7672 0 -1 0 2798 0 0 0 22954 45 0 0 25 0 1 0 630003462 14569472 2719 4294967295 134512640 134714508 3221221776 3221220336 134696583 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3557 2719 1111 63 0 3494 0
vsize: 14228
[startup+240.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9774
Raw data (stat): 9774 (bsolo_lpr) R 9773 7876 7672 0 -1 0 2870 0 0 0 23952 46 0 0 25 0 1 0 630003462 14839808 2791 4294967295 134512640 134714508 3221221776 3221220464 134551897 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3623 2791 1111 63 0 3560 0
vsize: 14492
[startup+250.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9774
Raw data (stat): 9774 (bsolo_lpr) R 9773 7876 7672 0 -1 0 2905 0 0 0 24951 47 0 0 25 0 1 0 630003462 15110144 2826 4294967295 134512640 134714508 3221221776 3221220320 134696473 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3689 2826 1111 63 0 3626 0
vsize: 14756
[startup+260.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9774
Raw data (stat): 9774 (bsolo_lpr) R 9773 7876 7672 0 -1 0 2961 0 0 0 25950 49 0 0 25 0 1 0 630003462 15245312 2882 4294967295 134512640 134714508 3221221776 3221220416 134539382 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3722 2882 1111 63 0 3659 0
vsize: 14888
[startup+270.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9774
Raw data (stat): 9774 (bsolo_lpr) R 9773 7876 7672 0 -1 0 2977 0 0 0 26948 51 0 0 25 0 1 0 630003462 15380480 2898 4294967295 134512640 134714508 3221221776 3221220400 134696265 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3755 2898 1111 63 0 3692 0
vsize: 15020
[startup+280.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9774
Raw data (stat): 9774 (bsolo_lpr) R 9773 7876 7672 0 -1 0 3010 0 0 0 27947 52 0 0 25 0 1 0 630003462 15495168 2931 4294967295 134512640 134714508 3221221776 3221220368 134549697 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3783 2931 1111 63 0 3720 0
vsize: 15132
[startup+290.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9774
Raw data (stat): 9774 (bsolo_lpr) R 9773 7876 7672 0 -1 0 3040 0 0 0 28945 55 0 0 25 0 1 0 630003462 15630336 2961 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3816 2961 1111 63 0 3753 0
vsize: 15264
[startup+300.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9774
Raw data (stat): 9774 (bsolo_lpr) R 9773 7876 7672 0 -1 0 3081 0 0 0 29943 57 0 0 25 0 1 0 630003462 15765504 3002 4294967295 134512640 134714508 3221221776 3221220356 134549630 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3849 3002 1111 63 0 3786 0
vsize: 15396
[startup+310.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9774
Raw data (stat): 9774 (bsolo_lpr) R 9773 7876 7672 0 -1 0 3081 0 0 0 30942 58 0 0 25 0 1 0 630003462 15765504 3002 4294967295 134512640 134714508 3221221776 3221220520 134551620 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3849 3002 1111 63 0 3786 0
vsize: 15396
[startup+320.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9774
Raw data (stat): 9774 (bsolo_lpr) R 9773 7876 7672 0 -1 0 3081 0 0 0 31941 58 0 0 25 0 1 0 630003462 15765504 3002 4294967295 134512640 134714508 3221221776 3221220428 134536766 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3849 3002 1111 63 0 3786 0
vsize: 15396
[startup+330.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9774
Raw data (stat): 9774 (bsolo_lpr) R 9773 7876 7672 0 -1 0 3116 0 0 0 32940 60 0 0 25 0 1 0 630003462 15900672 3037 4294967295 134512640 134714508 3221221776 3221220560 134529206 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3882 3037 1111 63 0 3819 0
vsize: 15528
[startup+340.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9774
Raw data (stat): 9774 (bsolo_lpr) R 9773 7876 7672 0 -1 0 3130 0 0 0 33939 61 0 0 25 0 1 0 630003462 16035840 3051 4294967295 134512640 134714508 3221221776 3221220400 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3915 3051 1111 63 0 3852 0
vsize: 15660
[startup+350.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9774
Raw data (stat): 9774 (bsolo_lpr) R 9773 7876 7672 0 -1 0 3228 0 0 0 34938 62 0 0 25 0 1 0 630003462 16433152 3149 4294967295 134512640 134714508 3221221776 3221220448 134613640 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4012 3149 1111 63 0 3949 0
vsize: 16048
[startup+360.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9774
Raw data (stat): 9774 (bsolo_lpr) R 9773 7876 7672 0 -1 0 3254 0 0 0 35937 64 0 0 25 0 1 0 630003462 16433152 3175 4294967295 134512640 134714508 3221221776 3221220464 134551903 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4012 3175 1111 63 0 3949 0
vsize: 16048
[startup+370.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9774
Raw data (stat): 9774 (bsolo_lpr) R 9773 7876 7672 0 -1 0 3280 0 0 0 36936 65 0 0 25 0 1 0 630003462 16568320 3201 4294967295 134512640 134714508 3221221776 3221220352 134549635 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4045 3201 1111 63 0 3982 0
vsize: 16180
[startup+380.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9774
Raw data (stat): 9774 (bsolo_lpr) R 9773 7876 7672 0 -1 0 3291 0 0 0 37935 66 0 0 25 0 1 0 630003462 16568320 3212 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4045 3212 1111 63 0 3982 0
vsize: 16180
[startup+390.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9774
Raw data (stat): 9774 (bsolo_lpr) R 9773 7876 7672 0 -1 0 3306 0 0 0 38934 68 0 0 25 0 1 0 630003462 16703488 3227 4294967295 134512640 134714508 3221221776 3221220544 134592104 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4078 3227 1111 63 0 4015 0
vsize: 16312
[startup+400.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9774
Raw data (stat): 9774 (bsolo_lpr) R 9773 7876 7672 0 -1 0 3324 0 0 0 39933 68 0 0 25 0 1 0 630003462 16703488 3245 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4078 3245 1111 63 0 4015 0
vsize: 16312
[startup+410.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9774
Raw data (stat): 9774 (bsolo_lpr) R 9773 7876 7672 0 -1 0 3356 0 0 0 40932 69 0 0 25 0 1 0 630003462 16838656 3277 4294967295 134512640 134714508 3221221776 3221220468 134528601 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4111 3277 1111 63 0 4048 0
vsize: 16444
[startup+420.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9774
Raw data (stat): 9774 (bsolo_lpr) R 9773 7876 7672 0 -1 0 3362 0 0 0 41932 70 0 0 25 0 1 0 630003462 16973824 3283 4294967295 134512640 134714508 3221221776 3221220400 134549697 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4144 3283 1111 63 0 4081 0
vsize: 16576
[startup+430.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9774
Raw data (stat): 9774 (bsolo_lpr) R 9773 7876 7672 0 -1 0 3379 0 0 0 42931 71 0 0 25 0 1 0 630003462 16965632 3300 4294967295 134512640 134714508 3221221776 3221220480 134528653 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4142 3300 1111 63 0 4079 0
vsize: 16568
[startup+440.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9774
Raw data (stat): 9774 (bsolo_lpr) R 9773 7876 7672 0 -1 0 3401 0 0 0 43929 73 0 0 25 0 1 0 630003462 17092608 3322 4294967295 134512640 134714508 3221221776 3221220312 134613965 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4173 3322 1111 63 0 4110 0
vsize: 16692
[startup+450.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9774
Raw data (stat): 9774 (bsolo_lpr) R 9773 7876 7672 0 -1 0 3401 0 0 0 44928 74 0 0 25 0 1 0 630003462 17092608 3322 4294967295 134512640 134714508 3221221776 3221220264 134697437 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4173 3322 1111 63 0 4110 0
vsize: 16692
[startup+460.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9774
Raw data (stat): 9774 (bsolo_lpr) R 9773 7876 7672 0 -1 0 3406 0 0 0 45927 76 0 0 25 0 1 0 630003462 17092608 3327 4294967295 134512640 134714508 3221221776 3221220452 134535756 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4173 3327 1111 63 0 4110 0
vsize: 16692
[startup+470.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9774
Raw data (stat): 9774 (bsolo_lpr) R 9773 7876 7672 0 -1 0 3425 0 0 0 46926 77 0 0 25 0 1 0 630003462 17227776 3346 4294967295 134512640 134714508 3221221776 3221220384 134549474 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4206 3346 1111 63 0 4143 0
vsize: 16824
[startup+480.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9774
Raw data (stat): 9774 (bsolo_lpr) R 9773 7876 7672 0 -1 0 3442 0 0 0 47924 79 0 0 25 0 1 0 630003462 17223680 3363 4294967295 134512640 134714508 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4205 3363 1111 63 0 4142 0
vsize: 16820
[startup+490.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9774
Raw data (stat): 9774 (bsolo_lpr) R 9773 7876 7672 0 -1 0 3446 0 0 0 48923 80 0 0 25 0 1 0 630003462 17223680 3367 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4205 3367 1111 63 0 4142 0
vsize: 16820
[startup+500.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9774
Raw data (stat): 9774 (bsolo_lpr) R 9773 7876 7672 0 -1 0 3448 0 0 0 49923 81 0 0 25 0 1 0 630003462 17223680 3369 4294967295 134512640 134714508 3221221776 3221220416 134542851 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4205 3369 1111 63 0 4142 0
vsize: 16820
[startup+510.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9774
Raw data (stat): 9774 (bsolo_lpr) R 9773 7876 7672 0 -1 0 3473 0 0 0 50921 83 0 0 25 0 1 0 630003462 17358848 3394 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4238 3394 1111 63 0 4175 0
vsize: 16952
[startup+520.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9774
Raw data (stat): 9774 (bsolo_lpr) R 9773 7876 7672 0 -1 0 3521 0 0 0 51919 84 0 0 25 0 1 0 630003462 17616896 3442 4294967295 134512640 134714508 3221221776 3221220416 134696123 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4301 3442 1111 63 0 4238 0
vsize: 17204
[startup+530.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9774
Raw data (stat): 9774 (bsolo_lpr) R 9773 7876 7672 0 -1 0 3569 0 0 0 52918 86 0 0 25 0 1 0 630003462 17752064 3490 4294967295 134512640 134714508 3221221776 3221220416 134536695 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4334 3490 1111 63 0 4271 0
vsize: 17336
[startup+540.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9774
Raw data (stat): 9774 (bsolo_lpr) R 9773 7876 7672 0 -1 0 3582 0 0 0 53917 88 0 0 25 0 1 0 630003462 17887232 3503 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4367 3503 1111 63 0 4304 0
vsize: 17468
[startup+550.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9774
Raw data (stat): 9774 (bsolo_lpr) R 9773 7876 7672 0 -1 0 3638 0 0 0 54915 89 0 0 25 0 1 0 630003462 18014208 3559 4294967295 134512640 134714508 3221221776 3221220368 134539462 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4398 3559 1111 63 0 4335 0
vsize: 17592
[startup+560.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9774
Raw data (stat): 9774 (bsolo_lpr) R 9773 7876 7672 0 -1 0 3653 0 0 0 55914 90 0 0 25 0 1 0 630003462 18149376 3574 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4431 3574 1111 63 0 4368 0
vsize: 17724
[startup+570.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9774
Raw data (stat): 9774 (bsolo_lpr) R 9773 7876 7672 0 -1 0 3666 0 0 0 56913 92 0 0 25 0 1 0 630003462 18149376 3587 4294967295 134512640 134714508 3221221776 3221220416 134536655 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4431 3587 1111 63 0 4368 0
vsize: 17724
[startup+580.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9774
Raw data (stat): 9774 (bsolo_lpr) R 9773 7876 7672 0 -1 0 3683 0 0 0 57911 93 0 0 25 0 1 0 630003462 18276352 3604 4294967295 134512640 134714508 3221221776 3221220512 134552081 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4462 3604 1111 63 0 4399 0
vsize: 17848
[startup+590.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9774
Raw data (stat): 9774 (bsolo_lpr) R 9773 7876 7672 0 -1 0 3699 0 0 0 58910 95 0 0 25 0 1 0 630003462 18276352 3620 4294967295 134512640 134714508 3221221776 3221220544 134592104 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4462 3620 1111 63 0 4399 0
vsize: 17848
[startup+600.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9774
Raw data (stat): 9774 (bsolo_lpr) R 9773 7876 7672 0 -1 0 3755 0 0 0 59908 96 0 0 25 0 1 0 630003462 18538496 3676 4294967295 134512640 134714508 3221221776 3221220404 134549856 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4526 3676 1111 63 0 4463 0
vsize: 18104
[startup+610.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9774
Raw data (stat): 9774 (bsolo_lpr) R 9773 7876 7672 0 -1 0 3766 0 0 0 60907 97 0 0 25 0 1 0 630003462 18538496 3687 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4526 3687 1111 63 0 4463 0
vsize: 18104
[startup+620.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9774
Raw data (stat): 9774 (bsolo_lpr) R 9773 7876 7672 0 -1 0 3767 0 0 0 61906 98 0 0 25 0 1 0 630003462 18538496 3688 4294967295 134512640 134714508 3221221776 3221220352 134549635 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4526 3688 1111 63 0 4463 0
vsize: 18104
[startup+630.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9774
Raw data (stat): 9774 (bsolo_lpr) R 9773 7876 7672 0 -1 0 3767 0 0 0 62905 100 0 0 25 0 1 0 630003462 18538496 3688 4294967295 134512640 134714508 3221221776 3221219872 134697409 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4526 3688 1111 63 0 4463 0
vsize: 18104
[startup+640.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9774
Raw data (stat): 9774 (bsolo_lpr) R 9773 7876 7672 0 -1 0 3768 0 0 0 63904 101 0 0 25 0 1 0 630003462 18538496 3689 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4526 3689 1111 63 0 4463 0
vsize: 18104
[startup+650.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9774
Raw data (stat): 9774 (bsolo_lpr) R 9773 7876 7672 0 -1 0 3790 0 0 0 64903 102 0 0 25 0 1 0 630003462 18673664 3711 4294967295 134512640 134714508 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4559 3711 1111 63 0 4496 0
vsize: 18236
[startup+660.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9774
Raw data (stat): 9774 (bsolo_lpr) R 9773 7876 7672 0 -1 0 3816 0 0 0 65901 104 0 0 25 0 1 0 630003462 18808832 3737 4294967295 134512640 134714508 3221221776 3221220480 134528481 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4592 3737 1111 63 0 4529 0
vsize: 18368
[startup+670.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9774
Raw data (stat): 9774 (bsolo_lpr) R 9773 7876 7672 0 -1 0 3834 0 0 0 66900 105 0 0 25 0 1 0 630003462 18808832 3755 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4592 3755 1111 63 0 4529 0
vsize: 18368
[startup+680.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9774
Raw data (stat): 9774 (bsolo_lpr) R 9773 7876 7672 0 -1 0 3837 0 0 0 67899 106 0 0 25 0 1 0 630003462 18808832 3758 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4592 3758 1111 63 0 4529 0
vsize: 18368
[startup+690.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9774
Raw data (stat): 9774 (bsolo_lpr) R 9773 7876 7672 0 -1 0 3837 0 0 0 68898 107 0 0 25 0 1 0 630003462 18808832 3758 4294967295 134512640 134714508 3221221776 3221220324 134696728 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4592 3758 1111 63 0 4529 0
vsize: 18368
[startup+700.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9774
Raw data (stat): 9774 (bsolo_lpr) R 9773 7876 7672 0 -1 0 3847 0 0 0 69897 108 0 0 25 0 1 0 630003462 18939904 3768 4294967295 134512640 134714508 3221221776 3221220368 134549767 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4624 3768 1111 63 0 4561 0
vsize: 18496
[startup+710.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9774
Raw data (stat): 9774 (bsolo_lpr) R 9773 7876 7672 0 -1 0 3852 0 0 0 70896 109 0 0 25 0 1 0 630003462 18939904 3773 4294967295 134512640 134714508 3221221776 3221220432 134524259 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4624 3773 1111 63 0 4561 0
vsize: 18496
[startup+720.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9774
Raw data (stat): 9774 (bsolo_lpr) R 9773 7876 7672 0 -1 0 3878 0 0 0 71895 111 0 0 25 0 1 0 630003462 19075072 3799 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4657 3799 1111 63 0 4594 0
vsize: 18628
[startup+730.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9774
Raw data (stat): 9774 (bsolo_lpr) R 9773 7876 7672 0 -1 0 3890 0 0 0 72893 113 0 0 25 0 1 0 630003462 19075072 3811 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4657 3811 1111 63 0 4594 0
vsize: 18628
[startup+740.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9774
Raw data (stat): 9774 (bsolo_lpr) R 9773 7876 7672 0 -1 0 3897 0 0 0 73893 113 0 0 25 0 1 0 630003462 19075072 3818 4294967295 134512640 134714508 3221221776 3221220544 134592104 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4657 3818 1111 63 0 4594 0
vsize: 18628
[startup+750.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9774
Raw data (stat): 9774 (bsolo_lpr) R 9773 7876 7672 0 -1 0 3910 0 0 0 74892 114 0 0 25 0 1 0 630003462 19210240 3831 4294967295 134512640 134714508 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4690 3831 1111 63 0 4627 0
vsize: 18760
[startup+760.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9774
Raw data (stat): 9774 (bsolo_lpr) R 9773 7876 7672 0 -1 0 3925 0 0 0 75891 116 0 0 25 0 1 0 630003462 19210240 3846 4294967295 134512640 134714508 3221221776 3221220468 134528601 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4690 3846 1111 63 0 4627 0
vsize: 18760
[startup+770.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9774
Raw data (stat): 9774 (bsolo_lpr) R 9773 7876 7672 0 -1 0 3933 0 0 0 76890 117 0 0 25 0 1 0 630003462 19210240 3854 4294967295 134512640 134714508 3221221776 3221220368 134549697 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4690 3854 1111 63 0 4627 0
vsize: 18760
[startup+780.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9774
Raw data (stat): 9774 (bsolo_lpr) R 9773 7876 7672 0 -1 0 3938 0 0 0 77889 118 0 0 25 0 1 0 630003462 19337216 3859 4294967295 134512640 134714508 3221221776 3221220344 1077377227 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4721 3859 1111 63 0 4658 0
vsize: 18884
[startup+790.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9774
Raw data (stat): 9774 (bsolo_lpr) R 9773 7876 7672 0 -1 0 3938 0 0 0 78888 119 0 0 25 0 1 0 630003462 19337216 3859 4294967295 134512640 134714508 3221221776 3221220544 134592104 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4721 3859 1111 63 0 4658 0
vsize: 18884
[startup+800.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9774
Raw data (stat): 9774 (bsolo_lpr) R 9773 7876 7672 0 -1 0 3938 0 0 0 79887 120 0 0 25 0 1 0 630003462 19337216 3859 4294967295 134512640 134714508 3221221776 3221220544 134529281 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4721 3859 1111 63 0 4658 0
vsize: 18884
[startup+810.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9774
Raw data (stat): 9774 (bsolo_lpr) R 9773 7876 7672 0 -1 0 3938 0 0 0 80886 121 0 0 25 0 1 0 630003462 19337216 3859 4294967295 134512640 134714508 3221221776 3221220368 134543707 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4721 3859 1111 63 0 4658 0
vsize: 18884
[startup+820.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9774
Raw data (stat): 9774 (bsolo_lpr) R 9773 7876 7672 0 -1 0 3950 0 0 0 81885 123 0 0 25 0 1 0 630003462 19337216 3871 4294967295 134512640 134714508 3221221776 3221220464 134524067 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4721 3871 1111 63 0 4658 0
vsize: 18884
[startup+830.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9774
Raw data (stat): 9774 (bsolo_lpr) R 9773 7876 7672 0 -1 0 3967 0 0 0 82884 124 0 0 25 0 1 0 630003462 19337216 3888 4294967295 134512640 134714508 3221221776 3221220368 134549550 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4721 3888 1111 63 0 4658 0
vsize: 18884
[startup+840.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9774
Raw data (stat): 9774 (bsolo_lpr) R 9773 7876 7672 0 -1 0 3975 0 0 0 83883 125 0 0 25 0 1 0 630003462 19472384 3896 4294967295 134512640 134714508 3221221776 3221220480 134528595 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4754 3896 1111 63 0 4691 0
vsize: 19016
[startup+850.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9774
Raw data (stat): 9774 (bsolo_lpr) R 9773 7876 7672 0 -1 0 3979 0 0 0 84882 126 0 0 25 0 1 0 630003462 19472384 3900 4294967295 134512640 134714508 3221221776 3221220448 134551963 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4754 3900 1111 63 0 4691 0
vsize: 19016
[startup+860.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9774
Raw data (stat): 9774 (bsolo_lpr) R 9773 7876 7672 0 -1 0 3995 0 0 0 85881 127 0 0 25 0 1 0 630003462 19472384 3916 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4754 3916 1111 63 0 4691 0
vsize: 19016
[startup+870.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9774
Raw data (stat): 9774 (bsolo_lpr) R 9773 7876 7672 0 -1 0 4041 0 0 0 86880 128 0 0 25 0 1 0 630003462 19742720 3962 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4820 3962 1111 63 0 4757 0
vsize: 19280
[startup+880.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9774
Raw data (stat): 9774 (bsolo_lpr) R 9773 7876 7672 0 -1 0 4047 0 0 0 87879 129 0 0 25 0 1 0 630003462 19742720 3968 4294967295 134512640 134714508 3221221776 3221220356 134549630 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4820 3968 1111 63 0 4757 0
vsize: 19280
[startup+890.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9774
Raw data (stat): 9774 (bsolo_lpr) R 9773 7876 7672 0 -1 0 4073 0 0 0 88878 131 0 0 25 0 1 0 630003462 19877888 3994 4294967295 134512640 134714508 3221221776 3221220528 134594947 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4853 3994 1111 63 0 4790 0
vsize: 19412
[startup+900.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9774
Raw data (stat): 9774 (bsolo_lpr) R 9773 7876 7672 0 -1 0 4101 0 0 0 89877 132 0 0 25 0 1 0 630003462 19988480 4022 4294967295 134512640 134714508 3221221776 3221220480 134528595 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4880 4022 1111 63 0 4817 0
vsize: 19520
[startup+910.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9774
Raw data (stat): 9774 (bsolo_lpr) R 9773 7876 7672 0 -1 0 4117 0 0 0 90875 134 0 0 25 0 1 0 630003462 19988480 4038 4294967295 134512640 134714508 3221221776 3221220432 134536849 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4880 4038 1111 63 0 4817 0
vsize: 19520
[startup+920.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9774
Raw data (stat): 9774 (bsolo_lpr) R 9773 7876 7672 0 -1 0 4131 0 0 0 91874 135 0 0 25 0 1 0 630003462 20103168 4052 4294967295 134512640 134714508 3221221776 3221220468 134528601 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4908 4052 1111 63 0 4845 0
vsize: 19632
[startup+930.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9774
Raw data (stat): 9774 (bsolo_lpr) R 9773 7876 7672 0 -1 0 4182 0 0 0 92873 137 0 0 25 0 1 0 630003462 20238336 4103 4294967295 134512640 134714508 3221221776 3221220432 134536730 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4941 4103 1111 63 0 4878 0
vsize: 19764
[startup+940.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9774
Raw data (stat): 9774 (bsolo_lpr) R 9773 7876 7672 0 -1 0 4188 0 0 0 93872 138 0 0 25 0 1 0 630003462 20238336 4109 4294967295 134512640 134714508 3221221776 3221220404 134696230 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4941 4109 1111 63 0 4878 0
vsize: 19764
[startup+950.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9774
Raw data (stat): 9774 (bsolo_lpr) R 9773 7876 7672 0 -1 0 4195 0 0 0 94870 140 0 0 25 0 1 0 630003462 20373504 4116 4294967295 134512640 134714508 3221221776 3221220384 134549305 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4974 4116 1111 63 0 4911 0
vsize: 19896
[startup+960.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9774
Raw data (stat): 9774 (bsolo_lpr) R 9773 7876 7672 0 -1 0 4200 0 0 0 95869 141 0 0 25 0 1 0 630003462 20373504 4121 4294967295 134512640 134714508 3221221776 3221220332 134535967 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4974 4121 1111 63 0 4911 0
vsize: 19896
[startup+970.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9774
Raw data (stat): 9774 (bsolo_lpr) R 9773 7876 7672 0 -1 0 4211 0 0 0 96868 142 0 0 25 0 1 0 630003462 20373504 4132 4294967295 134512640 134714508 3221221776 3221220464 134542848 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4974 4132 1111 63 0 4911 0
vsize: 19896
[startup+980.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9774
Raw data (stat): 9774 (bsolo_lpr) R 9773 7876 7672 0 -1 0 4217 0 0 0 97867 144 0 0 25 0 1 0 630003462 20373504 4138 4294967295 134512640 134714508 3221221776 3221220260 134697199 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4974 4138 1111 63 0 4911 0
vsize: 19896
[startup+990.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9774
Raw data (stat): 9774 (bsolo_lpr) R 9773 7876 7672 0 -1 0 4240 0 0 0 98866 145 0 0 25 0 1 0 630003462 20500480 4161 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5005 4161 1111 63 0 4942 0
vsize: 20020
[startup+1000.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9774
Raw data (stat): 9774 (bsolo_lpr) R 9773 7876 7672 0 -1 0 4244 0 0 0 99865 146 0 0 25 0 1 0 630003462 20500480 4165 4294967295 134512640 134714508 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5005 4165 1111 63 0 4942 0
vsize: 20020
[startup+1010.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9774
Raw data (stat): 9774 (bsolo_lpr) R 9773 7876 7672 0 -1 0 4254 0 0 0 100864 147 0 0 25 0 1 0 630003462 20635648 4175 4294967295 134512640 134714508 3221221776 3221220500 134535789 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5038 4175 1111 63 0 4975 0
vsize: 20152
[startup+1020.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9774
Raw data (stat): 9774 (bsolo_lpr) R 9773 7876 7672 0 -1 0 4260 0 0 0 101863 149 0 0 25 0 1 0 630003462 20635648 4181 4294967295 134512640 134714508 3221221776 3221220524 134558545 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5038 4181 1111 63 0 4975 0
vsize: 20152
[startup+1030.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9774
Raw data (stat): 9774 (bsolo_lpr) R 9773 7876 7672 0 -1 0 4306 0 0 0 102862 150 0 0 25 0 1 0 630003462 20770816 4227 4294967295 134512640 134714508 3221221776 3221220416 134696110 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5071 4227 1111 63 0 5008 0
vsize: 20284
[startup+1040.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9774
Raw data (stat): 9774 (bsolo_lpr) R 9773 7876 7672 0 -1 0 4344 0 0 0 103860 152 0 0 25 0 1 0 630003462 20905984 4265 4294967295 134512640 134714508 3221221776 3221220496 134584808 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5104 4265 1111 63 0 5041 0
vsize: 20416
[startup+1050.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9774
Raw data (stat): 9774 (bsolo_lpr) R 9773 7876 7672 0 -1 0 4402 0 0 0 104859 153 0 0 25 0 1 0 630003462 21176320 4323 4294967295 134512640 134714508 3221221776 3221220560 134529174 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5170 4323 1111 63 0 5107 0
vsize: 20680
[startup+1060.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9774
Raw data (stat): 9774 (bsolo_lpr) R 9773 7876 7672 0 -1 0 4462 0 0 0 105858 154 0 0 25 0 1 0 630003462 21446656 4383 4294967295 134512640 134714508 3221221776 3221220496 134535760 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5236 4383 1111 63 0 5173 0
vsize: 20944
[startup+1070.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9774
Raw data (stat): 9774 (bsolo_lpr) R 9773 7876 7672 0 -1 0 4529 0 0 0 106856 157 0 0 25 0 1 0 630003462 21716992 4450 4294967295 134512640 134714508 3221221776 3221220368 134549748 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5302 4450 1111 63 0 5239 0
vsize: 21208
[startup+1080.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9774
Raw data (stat): 9774 (bsolo_lpr) R 9773 7876 7672 0 -1 0 4553 0 0 0 107856 157 0 0 25 0 1 0 630003462 21848064 4474 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5334 4474 1111 63 0 5271 0
vsize: 21336
[startup+1090.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9774
Raw data (stat): 9774 (bsolo_lpr) R 9773 7876 7672 0 -1 0 4582 0 0 0 108854 158 0 0 25 0 1 0 630003462 21938176 4503 4294967295 134512640 134714508 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5356 4503 1111 63 0 5293 0
vsize: 21424
[startup+1100.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9774
Raw data (stat): 9774 (bsolo_lpr) R 9773 7876 7672 0 -1 0 4604 0 0 0 109854 159 0 0 25 0 1 0 630003462 22073344 4525 4294967295 134512640 134714508 3221221776 3221220232 1077378037 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5389 4526 1111 63 0 5326 0
vsize: 21556
[startup+1110.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9774
Raw data (stat): 9774 (bsolo_lpr) R 9773 7876 7672 0 -1 0 4611 0 0 0 110853 161 0 0 25 0 1 0 630003462 22073344 4532 4294967295 134512640 134714508 3221221776 3221220332 134535676 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5389 4532 1111 63 0 5326 0
vsize: 21556
[startup+1120.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9774
Raw data (stat): 9774 (bsolo_lpr) R 9773 7876 7672 0 -1 0 4616 0 0 0 111852 161 0 0 25 0 1 0 630003462 22073344 4537 4294967295 134512640 134714508 3221221776 3221220332 134535984 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5389 4537 1111 63 0 5326 0
vsize: 21556
[startup+1130.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9774
Raw data (stat): 9774 (bsolo_lpr) R 9773 7876 7672 0 -1 0 4627 0 0 0 112852 162 0 0 25 0 1 0 630003462 22073344 4548 4294967295 134512640 134714508 3221221776 3221220572 134531208 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5389 4548 1111 63 0 5326 0
vsize: 21556
[startup+1140.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9774
Raw data (stat): 9774 (bsolo_lpr) R 9773 7876 7672 0 -1 0 4636 0 0 0 113851 162 0 0 25 0 1 0 630003462 22073344 4557 4294967295 134512640 134714508 3221221776 3221220400 134536680 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5389 4557 1111 63 0 5326 0
vsize: 21556
[startup+1150.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9774
Raw data (stat): 9774 (bsolo_lpr) R 9773 7876 7672 0 -1 0 4655 0 0 0 114851 163 0 0 25 0 1 0 630003462 22204416 4576 4294967295 134512640 134714508 3221221776 3221220512 134535745 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5421 4576 1111 63 0 5358 0
vsize: 21684
[startup+1160.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9774
Raw data (stat): 9774 (bsolo_lpr) R 9773 7876 7672 0 -1 0 4672 0 0 0 115850 164 0 0 25 0 1 0 630003462 22339584 4593 4294967295 134512640 134714508 3221221776 3221220496 134535760 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5454 4593 1111 63 0 5391 0
vsize: 21816
[startup+1170.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9774
Raw data (stat): 9774 (bsolo_lpr) R 9773 7876 7672 0 -1 0 4687 0 0 0 116850 165 0 0 25 0 1 0 630003462 22331392 4608 4294967295 134512640 134714508 3221221776 3221220344 1077377249 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5452 4608 1111 63 0 5389 0
vsize: 21808
[startup+1174.93 s]
Raw data (loadavg): 0.99 0.97 0.91 1/53 9774
Raw data (stat): 9774 (bsolo_lpr) R 9773 7876 7672 0 -1 0 4687 0 0 0 116850 165 0 0 25 0 1 0 630003462 22331392 4608 4294967295 134512640 134714508 3221221776 3221220344 1077377249 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5452 4608 1111 63 0 5389 0
vsize: 0

Child status: 0
Real time (s): 1174.93
CPU time (s): 1175.04
CPU user time (s): 1173.38
CPU system time (s): 1.66675
CPU usage (%): 100.01
Max. virtual memory (Kb): 21816
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####