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/manquinho/primes-dimacs-cnf/normalized-f1000.opb
MD5SUM	3b740c03d309134e8e181ea08fc4a1e3
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	2000
Biggest coefficient in the objective function	1
Number of bits for the biggest coefficient in the objective function	1
Sum of the numbers in the objective function	2000
Number of bits of the sum of numbers in the objective function	11
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	2000
Number of bits of the biggest sum of numbers	11
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Number of variables	2000
Total number of constraints	5250
Number of constraints which are clauses	5250
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	2
Maximum length of a constraint	3
Trace number 40675

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc6 THE 2005-06-08 17:55:50 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=28741 boxname=wulflinc6 idbench=127 idsolver=21 numberseed=0
MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb  /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2
MD5SUM BENCH:  3b740c03d309134e8e181ea08fc4a1e3  /oldhome/oroussel/tmp/wulflinc6/normalized-f1000.opb
REAL COMMAND:  bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc6/normalized-f1000.opb
IDLAUNCH: 28741
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.042
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.042
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 899.07

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        598328 kB
Buffers:         31816 kB
Cached:         383404 kB
SwapCached:        940 kB
Active:          49748 kB
Inactive:       367548 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        598076 kB
SwapTotal:     2097136 kB
SwapFree:      2095212 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5012 kB
Slab:            13368 kB
Committed_AS:    63724 kB
PageTables:        320 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-08 18:15:24 (client local time) WITH STATUS 0 IN 1175.05 SECONDS
stats: 28741 7 1175.05 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 2000 variables and 5250 constraints.
c After prepocess the problem consists of 2000 variables and 5250 constraints.
c preprocess terminated 1.148 s
c Initial Lower Bound: 666
c Lower Bound Elapsed time: 238.931
c Not use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175.02 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
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.91 0.95 0.90 2/54 759
Raw data (stat): 759 (runsolver) R 758 25568 25567 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 903599090 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0007 s]
Raw data (loadavg): 0.93 0.95 0.90 2/54 759
Raw data (stat): 759 (bsolo_lpr_cuts-) R 758 25568 25567 0 -1 0 2644 0 0 0 992 6 0 0 25 0 1 0 903599090 13426688 2324 4294967295 134512640 134716908 3221224576 3221220388 1074786567 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3278 2324 1111 63 0 3215 0
vsize: 13112
[startup+20.0015 s]
Raw data (loadavg): 0.94 0.96 0.91 2/54 759
Raw data (stat): 759 (bsolo_lpr_cuts-) R 758 25568 25567 0 -1 0 2660 0 0 0 1992 6 0 0 25 0 1 0 903599090 13426688 2340 4294967295 134512640 134716908 3221224576 3221220444 1074788977 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3278 2340 1111 63 0 3215 0
vsize: 13112
[startup+30.0019 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 759
Raw data (stat): 759 (bsolo_lpr_cuts-) R 758 25568 25567 0 -1 0 2667 0 0 0 2993 6 0 0 25 0 1 0 903599090 13426688 2347 4294967295 134512640 134716908 3221224576 3221220624 1074969461 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3278 2347 1111 63 0 3215 0
vsize: 13112
[startup+40.0021 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 759
Raw data (stat): 759 (bsolo_lpr_cuts-) R 758 25568 25567 0 -1 0 2675 0 0 0 3993 6 0 0 25 0 1 0 903599090 13426688 2355 4294967295 134512640 134716908 3221224576 3221220364 1074788953 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3278 2355 1111 63 0 3215 0
vsize: 13112
[startup+50.0029 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 759
Raw data (stat): 759 (bsolo_lpr_cuts-) R 758 25568 25567 0 -1 0 2728 0 0 0 4993 6 0 0 25 0 1 0 903599090 13574144 2408 4294967295 134512640 134716908 3221224576 3221220708 1075115039 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3314 2408 1111 63 0 3251 0
vsize: 13256
[startup+60.0034 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 759
Raw data (stat): 759 (bsolo_lpr_cuts-) R 758 25568 25567 0 -1 0 2773 0 0 0 5993 6 0 0 25 0 1 0 903599090 13733888 2453 4294967295 134512640 134716908 3221224576 3221220816 1075114268 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3353 2453 1111 63 0 3290 0
vsize: 13412
[startup+70.0045 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 759
Raw data (stat): 759 (bsolo_lpr_cuts-) R 758 25568 25567 0 -1 0 2841 0 0 0 6993 6 0 0 25 0 1 0 903599090 13914112 2521 4294967295 134512640 134716908 3221224576 3221220400 1074893677 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3397 2521 1111 63 0 3334 0
vsize: 13588
[startup+80.0054 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 759
Raw data (stat): 759 (bsolo_lpr_cuts-) R 758 25568 25567 0 -1 0 2877 0 0 0 7994 7 0 0 25 0 1 0 903599090 14000128 2557 4294967295 134512640 134716908 3221224576 3221220752 1074960868 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3418 2557 1111 63 0 3355 0
vsize: 13672
[startup+90.0058 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 759
Raw data (stat): 759 (bsolo_lpr_cuts-) R 758 25568 25567 0 -1 0 2910 0 0 0 8994 7 0 0 25 0 1 0 903599090 14110720 2590 4294967295 134512640 134716908 3221224576 3221220752 1074960868 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3445 2590 1111 63 0 3382 0
vsize: 13780
[startup+100.006 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 759
Raw data (stat): 759 (bsolo_lpr_cuts-) R 758 25568 25567 0 -1 0 2939 0 0 0 9994 7 0 0 25 0 1 0 903599090 14209024 2619 4294967295 134512640 134716908 3221224576 3221220544 1074881388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3469 2619 1111 63 0 3406 0
vsize: 13876
[startup+110.006 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 759
Raw data (stat): 759 (bsolo_lpr_cuts-) R 758 25568 25567 0 -1 0 2943 0 0 0 10994 7 0 0 25 0 1 0 903599090 14209024 2623 4294967295 134512640 134716908 3221224576 3221220944 1075602896 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3469 2623 1111 63 0 3406 0
vsize: 13876
[startup+120.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 759
Raw data (stat): 759 (bsolo_lpr_cuts-) R 758 25568 25567 0 -1 0 3009 0 0 0 11995 7 0 0 25 0 1 0 903599090 14323712 2689 4294967295 134512640 134716908 3221224576 3221220708 1075115049 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3497 2689 1111 63 0 3434 0
vsize: 13988
[startup+130.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 759
Raw data (stat): 759 (bsolo_lpr_cuts-) R 758 25568 25567 0 -1 0 3083 0 0 0 12995 7 0 0 25 0 1 0 903599090 14557184 2763 4294967295 134512640 134716908 3221224576 3221220312 1074789281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3554 2763 1111 63 0 3491 0
vsize: 14216
[startup+140.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 759
Raw data (stat): 759 (bsolo_lpr_cuts-) R 758 25568 25567 0 -1 0 3089 0 0 0 13995 7 0 0 25 0 1 0 903599090 14557184 2769 4294967295 134512640 134716908 3221224576 3221220580 1075964214 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3554 2769 1111 63 0 3491 0
vsize: 14216
[startup+150.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 759
Raw data (stat): 759 (bsolo_lpr_cuts-) R 758 25568 25567 0 -1 0 3089 0 0 0 14995 7 0 0 25 0 1 0 903599090 14557184 2769 4294967295 134512640 134716908 3221224576 3221221024 1075088566 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3554 2769 1111 63 0 3491 0
vsize: 14216
[startup+160.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 759
Raw data (stat): 759 (bsolo_lpr_cuts-) R 758 25568 25567 0 -1 0 3096 0 0 0 15996 7 0 0 25 0 1 0 903599090 14557184 2776 4294967295 134512640 134716908 3221224576 3221220364 1074788959 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3554 2776 1111 63 0 3491 0
vsize: 14216
[startup+170.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 759
Raw data (stat): 759 (bsolo_lpr_cuts-) R 758 25568 25567 0 -1 0 3136 0 0 0 16996 8 0 0 25 0 1 0 903599090 14819328 2816 4294967295 134512640 134716908 3221224576 3221220580 1075964227 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3618 2816 1111 63 0 3555 0
vsize: 14472
[startup+180.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 759
Raw data (stat): 759 (bsolo_lpr_cuts-) R 758 25568 25567 0 -1 0 3139 0 0 0 17996 8 0 0 25 0 1 0 903599090 14819328 2819 4294967295 134512640 134716908 3221224576 3221220692 1075117390 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3618 2819 1111 63 0 3555 0
vsize: 14472
[startup+190.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 759
Raw data (stat): 759 (bsolo_lpr_cuts-) R 758 25568 25567 0 -1 0 3139 0 0 0 18997 8 0 0 25 0 1 0 903599090 14819328 2819 4294967295 134512640 134716908 3221224576 3221220692 1075117394 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3618 2819 1111 63 0 3555 0
vsize: 14472
[startup+200.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 759
Raw data (stat): 759 (bsolo_lpr_cuts-) R 758 25568 25567 0 -1 0 3139 0 0 0 19997 8 0 0 25 0 1 0 903599090 14819328 2819 4294967295 134512640 134716908 3221224576 3221220492 1074788977 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3618 2819 1111 63 0 3555 0
vsize: 14472
[startup+210.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 759
Raw data (stat): 759 (bsolo_lpr_cuts-) R 758 25568 25567 0 -1 0 4691 0 0 0 20995 10 0 0 25 0 1 0 903599090 12742656 2368 4294967295 134512640 134716908 3221224576 3221222476 1074788959 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3111 2368 1111 63 0 3048 0
vsize: 12444
[startup+220.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 759
Raw data (stat): 759 (bsolo_lpr_cuts-) R 758 25568 25567 0 -1 0 4691 0 0 0 21994 11 0 0 25 0 1 0 903599090 12742656 2368 4294967295 134512640 134716908 3221224576 3221222476 1074788959 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3111 2368 1111 63 0 3048 0
vsize: 12444
[startup+230.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 759
Raw data (stat): 759 (bsolo_lpr_cuts-) R 758 25568 25567 0 -1 0 4691 0 0 0 22994 12 0 0 25 0 1 0 903599090 12742656 2368 4294967295 134512640 134716908 3221224576 3221222960 1074031958 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3111 2368 1111 63 0 3048 0
vsize: 12444
[startup+240.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 759
Raw data (stat): 759 (bsolo_lpr_cuts-) R 758 25568 25567 0 -1 0 4691 0 0 0 23994 12 0 0 25 0 1 0 903599090 12742656 2368 4294967295 134512640 134716908 3221224576 3221223008 134649106 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3111 2368 1111 63 0 3048 0
vsize: 12444
[startup+250.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 759
Raw data (stat): 759 (bsolo_lpr_cuts-) R 758 25568 25567 0 -1 0 4709 0 0 0 24994 13 0 0 25 0 1 0 903599090 12742656 2386 4294967295 134512640 134716908 3221224576 3221223376 134597766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3111 2386 1111 63 0 3048 0
vsize: 12444
[startup+260.014 s]
Raw data (loadavg): 1.07 0.99 0.91 2/54 812
Raw data (stat): 759 (bsolo_lpr_cuts-) R 758 25568 25567 0 -1 0 4924 0 0 0 25992 14 0 0 25 0 1 0 903599090 13553664 2601 4294967295 134512640 134716908 3221224576 3221223208 134698369 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3309 2601 1111 63 0 3246 0
vsize: 13236
[startup+270.015 s]
Raw data (loadavg): 1.06 0.99 0.91 2/54 812
Raw data (stat): 759 (bsolo_lpr_cuts-) R 758 25568 25567 0 -1 0 5107 0 0 0 26991 15 0 0 25 0 1 0 903599090 14364672 2784 4294967295 134512640 134716908 3221224576 3221223232 134536630 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3507 2784 1111 63 0 3444 0
vsize: 14028
[startup+280.016 s]
Raw data (loadavg): 1.05 0.99 0.91 2/54 812
Raw data (stat): 759 (bsolo_lpr_cuts-) R 758 25568 25567 0 -1 0 5261 0 0 0 27990 16 0 0 25 0 1 0 903599090 14905344 2938 4294967295 134512640 134716908 3221224576 3221223184 134548843 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3639 2938 1111 63 0 3576 0
vsize: 14556
[startup+290.016 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 812
Raw data (stat): 759 (bsolo_lpr_cuts-) R 758 25568 25567 0 -1 0 5431 0 0 0 28990 17 0 0 25 0 1 0 903599090 15581184 3108 4294967295 134512640 134716908 3221224576 3221223240 134543652 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3804 3108 1111 63 0 3741 0
vsize: 15216
[startup+300.017 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 812
Raw data (stat): 759 (bsolo_lpr_cuts-) R 758 25568 25567 0 -1 0 5692 0 0 0 29989 19 0 0 25 0 1 0 903599090 16662528 3369 4294967295 134512640 134716908 3221224576 3221223216 134542352 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4068 3369 1111 63 0 4005 0
vsize: 16272
[startup+310.017 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 812
Raw data (stat): 759 (bsolo_lpr_cuts-) R 758 25568 25567 0 -1 0 5911 0 0 0 30988 20 0 0 25 0 1 0 903599090 17608704 3588 4294967295 134512640 134716908 3221224576 3221223240 134543609 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4299 3588 1111 63 0 4236 0
vsize: 17196
[startup+320.017 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 812
Raw data (stat): 759 (bsolo_lpr_cuts-) R 758 25568 25567 0 -1 0 6096 0 0 0 31986 22 0 0 25 0 1 0 903599090 18419712 3773 4294967295 134512640 134716908 3221224576 3221223296 134523874 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4497 3773 1111 63 0 4434 0
vsize: 17988
[startup+330.019 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 812
Raw data (stat): 759 (bsolo_lpr_cuts-) R 758 25568 25567 0 -1 0 6284 0 0 0 32986 23 0 0 25 0 1 0 903599090 19091456 3961 4294967295 134512640 134716908 3221224576 3221223376 134597766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4661 3961 1111 63 0 4598 0
vsize: 18644
[startup+340.02 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 814
Raw data (stat): 759 (bsolo_lpr_cuts-) R 758 25568 25567 0 -1 0 6488 0 0 0 33984 25 0 0 25 0 1 0 903599090 19902464 4165 4294967295 134512640 134716908 3221224576 3221223216 134539376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4859 4165 1111 63 0 4796 0
vsize: 19436
[startup+350.019 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 814
Raw data (stat): 759 (bsolo_lpr_cuts-) R 758 25568 25567 0 -1 0 6618 0 0 0 34984 25 0 0 25 0 1 0 903599090 20443136 4295 4294967295 134512640 134716908 3221224576 3221223216 134539434 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4991 4295 1111 63 0 4928 0
vsize: 19964
[startup+360.021 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 814
Raw data (stat): 759 (bsolo_lpr_cuts-) R 758 25568 25567 0 -1 0 6729 0 0 0 35983 27 0 0 25 0 1 0 903599090 20983808 4406 4294967295 134512640 134716908 3221224576 3221223136 134698893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5123 4406 1111 63 0 5060 0
vsize: 20492
[startup+370.021 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 814
Raw data (stat): 759 (bsolo_lpr_cuts-) R 758 25568 25567 0 -1 0 6808 0 0 0 36983 28 0 0 25 0 1 0 903599090 21254144 4485 4294967295 134512640 134716908 3221224576 3221223196 134613768 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5189 4485 1111 63 0 5126 0
vsize: 20756
[startup+380.021 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 814
Raw data (stat): 759 (bsolo_lpr_cuts-) R 758 25568 25567 0 -1 0 6883 0 0 0 37981 29 0 0 25 0 1 0 903599090 21524480 4560 4294967295 134512640 134716908 3221224576 3221223084 134535900 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5255 4560 1111 63 0 5192 0
vsize: 21020
[startup+390.022 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 814
Raw data (stat): 759 (bsolo_lpr_cuts-) R 758 25568 25567 0 -1 0 6963 0 0 0 38981 30 0 0 25 0 1 0 903599090 21925888 4640 4294967295 134512640 134716908 3221224576 3221223340 134552632 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5353 4640 1111 63 0 5290 0
vsize: 21412
[startup+400.022 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 814
Raw data (stat): 759 (bsolo_lpr_cuts-) R 758 25568 25567 0 -1 0 7096 0 0 0 39980 31 0 0 25 0 1 0 903599090 22466560 4773 4294967295 134512640 134716908 3221224576 3221223232 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5485 4773 1111 63 0 5422 0
vsize: 21940
[startup+410.022 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 814
Raw data (stat): 759 (bsolo_lpr_cuts-) R 758 25568 25567 0 -1 0 7263 0 0 0 40979 33 0 0 25 0 1 0 903599090 23142400 4940 4294967295 134512640 134716908 3221224576 3221223220 134536649 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5650 4940 1111 63 0 5587 0
vsize: 22600
[startup+420.023 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 814
Raw data (stat): 759 (bsolo_lpr_cuts-) R 758 25568 25567 0 -1 0 7426 0 0 0 41978 34 0 0 25 0 1 0 903599090 23814144 5103 4294967295 134512640 134716908 3221224576 3221223312 134535745 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5814 5103 1111 63 0 5751 0
vsize: 23256
[startup+430.024 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 814
Raw data (stat): 759 (bsolo_lpr_cuts-) R 758 25568 25567 0 -1 0 7606 0 0 0 42977 35 0 0 25 0 1 0 903599090 24489984 5283 4294967295 134512640 134716908 3221224576 3221223168 134549527 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5979 5283 1111 63 0 5916 0
vsize: 23916
[startup+440.024 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 814
Raw data (stat): 759 (bsolo_lpr_cuts-) R 758 25568 25567 0 -1 0 7790 0 0 0 43975 37 0 0 25 0 1 0 903599090 25300992 5467 4294967295 134512640 134716908 3221224576 3221223232 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6177 5467 1111 63 0 6114 0
vsize: 24708
[startup+450.025 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 814
Raw data (stat): 759 (bsolo_lpr_cuts-) R 758 25568 25567 0 -1 0 7943 0 0 0 44975 38 0 0 25 0 1 0 903599090 25976832 5620 4294967295 134512640 134716908 3221224576 3221223116 134539237 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6342 5620 1111 63 0 6279 0
vsize: 25368
[startup+460.025 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 814
Raw data (stat): 759 (bsolo_lpr_cuts-) R 758 25568 25567 0 -1 0 8063 0 0 0 45974 40 0 0 25 0 1 0 903599090 26382336 5740 4294967295 134512640 134716908 3221224576 3221223180 134536817 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6441 5740 1111 63 0 6378 0
vsize: 25764
[startup+470.026 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 814
Raw data (stat): 759 (bsolo_lpr_cuts-) R 758 25568 25567 0 -1 0 8155 0 0 0 46974 40 0 0 25 0 1 0 903599090 26779648 5832 4294967295 134512640 134716908 3221224576 3221223264 134542848 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6538 5832 1111 63 0 6475 0
vsize: 26152
[startup+480.027 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 814
Raw data (stat): 759 (bsolo_lpr_cuts-) R 758 25568 25567 0 -1 0 8228 0 0 0 47974 40 0 0 25 0 1 0 903599090 27045888 5905 4294967295 134512640 134716908 3221224576 3221223280 134528524 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6603 5905 1111 63 0 6540 0
vsize: 26412
[startup+490.028 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 814
Raw data (stat): 759 (bsolo_lpr_cuts-) R 758 25568 25567 0 -1 0 8300 0 0 0 48973 42 0 0 25 0 1 0 903599090 27316224 5977 4294967295 134512640 134716908 3221224576 3221223336 134613558 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6669 5977 1111 63 0 6606 0
vsize: 26676
[startup+500.029 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 814
Raw data (stat): 759 (bsolo_lpr_cuts-) R 758 25568 25567 0 -1 0 8376 0 0 0 49973 42 0 0 25 0 1 0 903599090 27721728 6053 4294967295 134512640 134716908 3221224576 3221223216 134698731 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6768 6053 1111 63 0 6705 0
vsize: 27072
[startup+510.029 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 814
Raw data (stat): 759 (bsolo_lpr_cuts-) R 758 25568 25567 0 -1 0 8433 0 0 0 50973 43 0 0 25 0 1 0 903599090 27975680 6110 4294967295 134512640 134716908 3221224576 3221223096 134535877 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6830 6110 1111 63 0 6767 0
vsize: 27320
[startup+520.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 814
Raw data (stat): 759 (bsolo_lpr_cuts-) R 758 25568 25567 0 -1 0 8484 0 0 0 51973 43 0 0 25 0 1 0 903599090 28110848 6161 4294967295 134512640 134716908 3221224576 3221223360 134529177 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6863 6161 1111 63 0 6800 0
vsize: 27452
[startup+530.031 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 814
Raw data (stat): 759 (bsolo_lpr_cuts-) R 758 25568 25567 0 -1 0 8584 0 0 0 52972 44 0 0 25 0 1 0 903599090 28516352 6261 4294967295 134512640 134716908 3221224576 3221223156 134549630 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6962 6261 1111 63 0 6899 0
vsize: 27848
[startup+540.033 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 814
Raw data (stat): 759 (bsolo_lpr_cuts-) R 758 25568 25567 0 -1 0 8738 0 0 0 53971 46 0 0 25 0 1 0 903599090 29192192 6415 4294967295 134512640 134716908 3221224576 3221223340 134552548 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7127 6415 1111 63 0 7064 0
vsize: 28508
[startup+550.034 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 814
Raw data (stat): 759 (bsolo_lpr_cuts-) R 758 25568 25567 0 -1 0 8894 0 0 0 54971 47 0 0 25 0 1 0 903599090 29868032 6571 4294967295 134512640 134716908 3221224576 3221223312 134535745 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7292 6571 1111 63 0 7229 0
vsize: 29168
[startup+560.034 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 814
Raw data (stat): 759 (bsolo_lpr_cuts-) R 758 25568 25567 0 -1 0 9025 0 0 0 55970 47 0 0 25 0 1 0 903599090 30408704 6702 4294967295 134512640 134716908 3221224576 3221223220 134536649 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7424 6702 1111 63 0 7361 0
vsize: 29696
[startup+570.036 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 814
Raw data (stat): 759 (bsolo_lpr_cuts-) R 758 25568 25567 0 -1 0 9154 0 0 0 56970 48 0 0 25 0 1 0 903599090 30814208 6831 4294967295 134512640 134716908 3221224576 3221223204 134698616 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7523 6831 1111 63 0 7460 0
vsize: 30092
[startup+580.037 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 816
Raw data (stat): 759 (bsolo_lpr_cuts-) R 758 25568 25567 0 -1 0 9276 0 0 0 57969 50 0 0 25 0 1 0 903599090 31346688 6953 4294967295 134512640 134716908 3221224576 3221223116 134539309 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7653 6953 1111 63 0 7590 0
vsize: 30612
[startup+590.038 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 816
Raw data (stat): 759 (bsolo_lpr_cuts-) R 758 25568 25567 0 -1 0 9358 0 0 0 58969 50 0 0 25 0 1 0 903599090 31752192 7035 4294967295 134512640 134716908 3221224576 3221223232 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7752 7035 1111 63 0 7689 0
vsize: 31008
[startup+600.038 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 816
Raw data (stat): 759 (bsolo_lpr_cuts-) R 758 25568 25567 0 -1 0 9469 0 0 0 59969 51 0 0 25 0 1 0 903599090 32157696 7146 4294967295 134512640 134716908 3221224576 3221223144 134543614 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7851 7146 1111 63 0 7788 0
vsize: 31404
[startup+610.051 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 816
Raw data (stat): 759 (bsolo_lpr_cuts-) R 758 25568 25567 0 -1 0 9624 0 0 0 60969 52 0 0 25 0 1 0 903599090 32833536 7301 4294967295 134512640 134716908 3221224576 3221223268 134528601 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8016 7301 1111 63 0 7953 0
vsize: 32064
[startup+620.051 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 816
Raw data (stat): 759 (bsolo_lpr_cuts-) R 758 25568 25567 0 -1 0 9763 0 0 0 61968 54 0 0 25 0 1 0 903599090 33374208 7440 4294967295 134512640 134716908 3221224576 3221223132 134535956 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8148 7440 1111 63 0 8085 0
vsize: 32592
[startup+630.052 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 816
Raw data (stat): 759 (bsolo_lpr_cuts-) R 758 25568 25567 0 -1 0 9895 0 0 0 62967 55 0 0 25 0 1 0 903599090 33914880 7572 4294967295 134512640 134716908 3221224576 3221222972 1077379908 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8280 7572 1111 63 0 8217 0
vsize: 33120
[startup+640.053 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 816
Raw data (stat): 759 (bsolo_lpr_cuts-) R 758 25568 25567 0 -1 0 9992 0 0 0 63966 56 0 0 25 0 1 0 903599090 34320384 7669 4294967295 134512640 134716908 3221224576 3221223216 134698400 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8379 7669 1111 63 0 8316 0
vsize: 33516
[startup+650.054 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 816
Raw data (stat): 759 (bsolo_lpr_cuts-) R 758 25568 25567 0 -1 0 10066 0 0 0 64966 56 0 0 25 0 1 0 903599090 34590720 7743 4294967295 134512640 134716908 3221224576 3221223116 134539235 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8445 7743 1111 63 0 8382 0
vsize: 33780
[startup+660.054 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 816
Raw data (stat): 759 (bsolo_lpr_cuts-) R 758 25568 25567 0 -1 0 10149 0 0 0 65966 57 0 0 25 0 1 0 903599090 34996224 7826 4294967295 134512640 134716908 3221224576 3221223136 134542352 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8544 7826 1111 63 0 8481 0
vsize: 34176
[startup+670.056 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 816
Raw data (stat): 759 (bsolo_lpr_cuts-) R 758 25568 25567 0 -1 0 10192 0 0 0 66966 57 0 0 25 0 1 0 903599090 35131392 7869 4294967295 134512640 134716908 3221224576 3221223332 134592078 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8577 7869 1111 63 0 8514 0
vsize: 34308
[startup+680.056 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 816
Raw data (stat): 759 (bsolo_lpr_cuts-) R 758 25568 25567 0 -1 0 10284 0 0 0 67966 58 0 0 25 0 1 0 903599090 35540992 7961 4294967295 134512640 134716908 3221224576 3221223216 134613681 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8677 7961 1111 63 0 8614 0
vsize: 34708
[startup+690.057 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 816
Raw data (stat): 759 (bsolo_lpr_cuts-) R 758 25568 25567 0 -1 0 10414 0 0 0 68966 58 0 0 25 0 1 0 903599090 36081664 8091 4294967295 134512640 134716908 3221224576 3221223336 134543600 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8809 8091 1111 63 0 8746 0
vsize: 35236
[startup+700.058 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 816
Raw data (stat): 759 (bsolo_lpr_cuts-) R 758 25568 25567 0 -1 0 10498 0 0 0 69966 59 0 0 25 0 1 0 903599090 36352000 8175 4294967295 134512640 134716908 3221224576 3221223280 134528481 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8875 8175 1111 63 0 8812 0
vsize: 35500
[startup+710.059 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 816
Raw data (stat): 759 (bsolo_lpr_cuts-) R 758 25568 25567 0 -1 0 10603 0 0 0 70966 60 0 0 25 0 1 0 903599090 36884480 8280 4294967295 134512640 134716908 3221224576 3221223168 134549810 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9005 8280 1111 63 0 8942 0
vsize: 36020
[startup+720.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 816
Raw data (stat): 759 (bsolo_lpr_cuts-) R 758 25568 25567 0 -1 0 10688 0 0 0 71966 60 0 0 25 0 1 0 903599090 37154816 8365 4294967295 134512640 134716908 3221224576 3221223204 134698582 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9071 8365 1111 63 0 9008 0
vsize: 36284
[startup+730.061 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 816
Raw data (stat): 759 (bsolo_lpr_cuts-) R 758 25568 25567 0 -1 0 10760 0 0 0 72965 61 0 0 25 0 1 0 903599090 37421056 8437 4294967295 134512640 134716908 3221224576 3221223336 134552549 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9136 8437 1111 63 0 9073 0
vsize: 36544
[startup+740.061 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 816
Raw data (stat): 759 (bsolo_lpr_cuts-) R 758 25568 25567 0 -1 0 10822 0 0 0 73965 61 0 0 25 0 1 0 903599090 37675008 8499 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9198 8499 1111 63 0 9135 0
vsize: 36792
[startup+750.065 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 816
Raw data (stat): 759 (bsolo_lpr_cuts-) R 758 25568 25567 0 -1 0 10894 0 0 0 74965 62 0 0 25 0 1 0 903599090 38080512 8571 4294967295 134512640 134716908 3221224576 3221223132 134539235 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9297 8571 1111 63 0 9234 0
vsize: 37188
[startup+760.066 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 816
Raw data (stat): 759 (bsolo_lpr_cuts-) R 758 25568 25567 0 -1 0 11004 0 0 0 75965 63 0 0 25 0 1 0 903599090 38486016 8681 4294967295 134512640 134716908 3221224576 3221223160 134543600 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9396 8681 1111 63 0 9333 0
vsize: 37584
[startup+770.067 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 816
Raw data (stat): 759 (bsolo_lpr_cuts-) R 758 25568 25567 0 -1 0 11092 0 0 0 76965 63 0 0 25 0 1 0 903599090 38891520 8769 4294967295 134512640 134716908 3221224576 3221223232 134543712 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9495 8769 1111 63 0 9432 0
vsize: 37980
[startup+780.068 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 816
Raw data (stat): 759 (bsolo_lpr_cuts-) R 758 25568 25567 0 -1 0 11205 0 0 0 77965 64 0 0 25 0 1 0 903599090 39297024 8882 4294967295 134512640 134716908 3221224576 3221223072 134699602 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9594 8882 1111 63 0 9531 0
vsize: 38376
[startup+790.068 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 816
Raw data (stat): 759 (bsolo_lpr_cuts-) R 758 25568 25567 0 -1 0 11289 0 0 0 78964 65 0 0 25 0 1 0 903599090 39698432 8966 4294967295 134512640 134716908 3221224576 3221223360 134597619 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9692 8966 1111 63 0 9629 0
vsize: 38768
[startup+800.068 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 816
Raw data (stat): 759 (bsolo_lpr_cuts-) R 758 25568 25567 0 -1 0 11358 0 0 0 79964 65 0 0 25 0 1 0 903599090 39968768 9035 4294967295 134512640 134716908 3221224576 3221223132 134535959 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9758 9035 1111 63 0 9695 0
vsize: 39032
[startup+810.069 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 816
Raw data (stat): 759 (bsolo_lpr_cuts-) R 758 25568 25567 0 -1 0 11423 0 0 0 80964 66 0 0 25 0 1 0 903599090 40235008 9100 4294967295 134512640 134716908 3221224576 3221223200 134543097 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9823 9100 1111 63 0 9760 0
vsize: 39292
[startup+820.07 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 816
Raw data (stat): 759 (bsolo_lpr_cuts-) R 758 25568 25567 0 -1 0 11461 0 0 0 81964 66 0 0 25 0 1 0 903599090 40370176 9138 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9856 9138 1111 63 0 9793 0
vsize: 39424
[startup+830.07 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 816
Raw data (stat): 759 (bsolo_lpr_cuts-) R 758 25568 25567 0 -1 0 11502 0 0 0 82964 66 0 0 25 0 1 0 903599090 40505344 9179 4294967295 134512640 134716908 3221224576 3221223312 134535745 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9889 9179 1111 63 0 9826 0
vsize: 39556
[startup+840.071 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 816
Raw data (stat): 759 (bsolo_lpr_cuts-) R 758 25568 25567 0 -1 0 11535 0 0 0 83964 67 0 0 25 0 1 0 903599090 40640512 9212 4294967295 134512640 134716908 3221224576 3221223144 134535987 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9922 9212 1111 63 0 9859 0
vsize: 39688
[startup+850.072 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 816
Raw data (stat): 759 (bsolo_lpr_cuts-) R 758 25568 25567 0 -1 0 11592 0 0 0 84964 67 0 0 25 0 1 0 903599090 40910848 9269 4294967295 134512640 134716908 3221224576 3221223216 134543118 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9988 9269 1111 63 0 9925 0
vsize: 39952
[startup+860.073 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 816
Raw data (stat): 759 (bsolo_lpr_cuts-) R 758 25568 25567 0 -1 0 11676 0 0 0 85964 68 0 0 25 0 1 0 903599090 41181184 9352 4294967295 134512640 134716908 3221224576 3221223160 134549705 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10054 9352 1111 63 0 9991 0
vsize: 40216
[startup+870.075 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 816
Raw data (stat): 759 (bsolo_lpr_cuts-) R 758 25568 25567 0 -1 0 11787 0 0 0 86964 69 0 0 25 0 1 0 903599090 41721856 9463 4294967295 134512640 134716908 3221224576 3221223216 134542347 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10186 9463 1111 63 0 10123 0
vsize: 40744
[startup+880.076 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 816
Raw data (stat): 759 (bsolo_lpr_cuts-) R 758 25568 25567 0 -1 0 11853 0 0 0 87964 69 0 0 25 0 1 0 903599090 41988096 9529 4294967295 134512640 134716908 3221224576 3221223268 134528601 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10251 9529 1111 63 0 10188 0
vsize: 41004
[startup+890.077 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 816
Raw data (stat): 759 (bsolo_lpr_cuts-) R 758 25568 25567 0 -1 0 11943 0 0 0 88964 69 0 0 25 0 1 0 903599090 42258432 9619 4294967295 134512640 134716908 3221224576 3221223232 134523859 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10317 9619 1111 63 0 10254 0
vsize: 41268
[startup+900.078 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 816
Raw data (stat): 759 (bsolo_lpr_cuts-) R 758 25568 25567 0 -1 0 12003 0 0 0 89964 69 0 0 25 0 1 0 903599090 42528768 9679 4294967295 134512640 134716908 3221224576 3221223352 134613558 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10383 9679 1111 63 0 10320 0
vsize: 41532
[startup+910.079 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 816
Raw data (stat): 759 (bsolo_lpr_cuts-) R 758 25568 25567 0 -1 0 12118 0 0 0 90964 70 0 0 25 0 1 0 903599090 43069440 9794 4294967295 134512640 134716908 3221224576 3221223300 134535756 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10515 9794 1111 63 0 10452 0
vsize: 42060
[startup+920.08 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 816
Raw data (stat): 759 (bsolo_lpr_cuts-) R 758 25568 25567 0 -1 0 12233 0 0 0 91964 71 0 0 25 0 1 0 903599090 43474944 9909 4294967295 134512640 134716908 3221224576 3221223168 134549700 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10614 9909 1111 63 0 10551 0
vsize: 42456
[startup+930.082 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 816
Raw data (stat): 759 (bsolo_lpr_cuts-) R 758 25568 25567 0 -1 0 12333 0 0 0 92963 71 0 0 25 0 1 0 903599090 43880448 10009 4294967295 134512640 134716908 3221224576 3221223280 134528699 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10713 10009 1111 63 0 10650 0
vsize: 42852
[startup+940.082 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 816
Raw data (stat): 759 (bsolo_lpr_cuts-) R 758 25568 25567 0 -1 0 12418 0 0 0 93964 72 0 0 25 0 1 0 903599090 44285952 10094 4294967295 134512640 134716908 3221224576 3221223160 134543600 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10812 10094 1111 63 0 10749 0
vsize: 43248
[startup+950.084 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 816
Raw data (stat): 759 (bsolo_lpr_cuts-) R 758 25568 25567 0 -1 0 12493 0 0 0 94964 72 0 0 25 0 1 0 903599090 44556288 10169 4294967295 134512640 134716908 3221224576 3221223160 134543652 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10878 10169 1111 63 0 10815 0
vsize: 43512
[startup+960.085 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 816
Raw data (stat): 759 (bsolo_lpr_cuts-) R 758 25568 25567 0 -1 0 12563 0 0 0 95963 73 0 0 25 0 1 0 903599090 44826624 10239 4294967295 134512640 134716908 3221224576 3221223336 134613558 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10944 10239 1111 63 0 10881 0
vsize: 43776
[startup+970.086 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 816
Raw data (stat): 759 (bsolo_lpr_cuts-) R 758 25568 25567 0 -1 0 12618 0 0 0 96963 74 0 0 25 0 1 0 903599090 45096960 10294 4294967295 134512640 134716908 3221224576 3221223084 134535956 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11010 10294 1111 63 0 10947 0
vsize: 44040
[startup+980.087 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 816
Raw data (stat): 759 (bsolo_lpr_cuts-) R 758 25568 25567 0 -1 0 12700 0 0 0 97963 74 0 0 25 0 1 0 903599090 45367296 10376 4294967295 134512640 134716908 3221224576 3221223132 134539324 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11076 10376 1111 63 0 11013 0
vsize: 44304
[startup+990.088 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 816
Raw data (stat): 759 (bsolo_lpr_cuts-) R 758 25568 25567 0 -1 0 12798 0 0 0 98963 74 0 0 25 0 1 0 903599090 45772800 10474 4294967295 134512640 134716908 3221224576 3221223200 134698586 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11175 10474 1111 63 0 11112 0
vsize: 44700
[startup+1000.09 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 816
Raw data (stat): 759 (bsolo_lpr_cuts-) R 758 25568 25567 0 -1 0 12870 0 0 0 99963 75 0 0 25 0 1 0 903599090 46178304 10546 4294967295 134512640 134716908 3221224576 3221223184 134549480 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11274 10546 1111 63 0 11211 0
vsize: 45096
[startup+1010.09 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 816
Raw data (stat): 759 (bsolo_lpr_cuts-) R 758 25568 25567 0 -1 0 13040 0 0 0 100963 76 0 0 25 0 1 0 903599090 46854144 10716 4294967295 134512640 134716908 3221224576 3221223232 134536630 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11439 10716 1111 63 0 11376 0
vsize: 45756
[startup+1020.09 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 816
Raw data (stat): 759 (bsolo_lpr_cuts-) R 758 25568 25567 0 -1 0 13203 0 0 0 101961 77 0 0 25 0 1 0 903599090 47529984 10879 4294967295 134512640 134716908 3221224576 3221223224 134543617 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11604 10879 1111 63 0 11541 0
vsize: 46416
[startup+1030.09 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 816
Raw data (stat): 759 (bsolo_lpr_cuts-) R 758 25568 25567 0 -1 0 13364 0 0 0 102961 78 0 0 25 0 1 0 903599090 48205824 11040 4294967295 134512640 134716908 3221224576 3221223232 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11769 11040 1111 63 0 11706 0
vsize: 47076
[startup+1040.09 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 816
Raw data (stat): 759 (bsolo_lpr_cuts-) R 758 25568 25567 0 -1 0 13497 0 0 0 103961 79 0 0 25 0 1 0 903599090 48746496 11173 4294967295 134512640 134716908 3221224576 3221223152 134549635 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11901 11173 1111 63 0 11838 0
vsize: 47604
[startup+1050.09 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 816
Raw data (stat): 759 (bsolo_lpr_cuts-) R 758 25568 25567 0 -1 0 13625 0 0 0 104961 79 0 0 25 0 1 0 903599090 49152000 11301 4294967295 134512640 134716908 3221224576 3221223180 134536814 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12000 11301 1111 63 0 11937 0
vsize: 48000
[startup+1060.09 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 816
Raw data (stat): 759 (bsolo_lpr_cuts-) R 758 25568 25567 0 -1 0 13755 0 0 0 105960 80 0 0 25 0 1 0 903599090 49692672 11431 4294967295 134512640 134716908 3221224576 3221223136 134542303 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12132 11431 1111 63 0 12069 0
vsize: 48528
[startup+1070.09 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 816
Raw data (stat): 759 (bsolo_lpr_cuts-) R 758 25568 25567 0 -1 0 13871 0 0 0 106959 82 0 0 25 0 1 0 903599090 50233344 11547 4294967295 134512640 134716908 3221224576 3221223352 134613558 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12264 11547 1111 63 0 12201 0
vsize: 49056
[startup+1080.09 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 816
Raw data (stat): 759 (bsolo_lpr_cuts-) R 758 25568 25567 0 -1 0 13991 0 0 0 107958 82 0 0 25 0 1 0 903599090 50774016 11667 4294967295 134512640 134716908 3221224576 3221223220 134536649 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12396 11667 1111 63 0 12333 0
vsize: 49584
[startup+1090.09 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 816
Raw data (stat): 759 (bsolo_lpr_cuts-) R 758 25568 25567 0 -1 0 14091 0 0 0 108958 83 0 0 25 0 1 0 903599090 51179520 11767 4294967295 134512640 134716908 3221224576 3221223336 134543557 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12495 11767 1111 63 0 12432 0
vsize: 49980
[startup+1100.09 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 816
Raw data (stat): 759 (bsolo_lpr_cuts-) R 758 25568 25567 0 -1 0 14158 0 0 0 109958 83 0 0 25 0 1 0 903599090 51449856 11834 4294967295 134512640 134716908 3221224576 3221223220 134536649 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12561 11834 1111 63 0 12498 0
vsize: 50244
[startup+1110.09 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 816
Raw data (stat): 759 (bsolo_lpr_cuts-) R 758 25568 25567 0 -1 0 14216 0 0 0 110958 84 0 0 25 0 1 0 903599090 51585024 11892 4294967295 134512640 134716908 3221224576 3221223296 134535757 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12594 11892 1111 63 0 12531 0
vsize: 50376
[startup+1120.09 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 816
Raw data (stat): 759 (bsolo_lpr_cuts-) R 758 25568 25567 0 -1 0 14297 0 0 0 111958 84 0 0 25 0 1 0 903599090 51990528 11973 4294967295 134512640 134716908 3221224576 3221223240 134551617 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12693 11973 1111 63 0 12630 0
vsize: 50772
[startup+1130.09 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 816
Raw data (stat): 759 (bsolo_lpr_cuts-) R 758 25568 25567 0 -1 0 14352 0 0 0 112958 85 0 0 25 0 1 0 903599090 52260864 12028 4294967295 134512640 134716908 3221224576 3221223132 134535888 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12759 12028 1111 63 0 12696 0
vsize: 51036
[startup+1140.09 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 816
Raw data (stat): 759 (bsolo_lpr_cuts-) R 758 25568 25567 0 -1 0 14414 0 0 0 113958 85 0 0 25 0 1 0 903599090 52396032 12090 4294967295 134512640 134716908 3221224576 3221223136 134549533 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12792 12090 1111 63 0 12729 0
vsize: 51168
[startup+1150.09 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 816
Raw data (stat): 759 (bsolo_lpr_cuts-) R 758 25568 25567 0 -1 0 14544 0 0 0 114958 85 0 0 25 0 1 0 903599090 52932608 12220 4294967295 134512640 134716908 3221224576 3221223220 134536649 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12923 12220 1111 63 0 12860 0
vsize: 51692
[startup+1160.09 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 816
Raw data (stat): 759 (bsolo_lpr_cuts-) R 758 25568 25567 0 -1 0 14689 0 0 0 115958 86 0 0 25 0 1 0 903599090 53604352 12365 4294967295 134512640 134716908 3221224576 3221223232 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13087 12365 1111 63 0 13024 0
vsize: 52348
[startup+1170.09 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 816
Raw data (stat): 759 (bsolo_lpr_cuts-) R 758 25568 25567 0 -1 0 14837 0 0 0 116957 87 0 0 25 0 1 0 903599090 54145024 12513 4294967295 134512640 134716908 3221224576 3221223344 134529276 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13219 12513 1111 63 0 13156 0
vsize: 52876
[startup+1174.69 s]
Raw data (loadavg): 1.00 0.99 0.91 1/53 816
Raw data (stat): 759 (bsolo_lpr_cuts-) R 758 25568 25567 0 -1 0 14837 0 0 0 116957 87 0 0 25 0 1 0 903599090 54145024 12513 4294967295 134512640 134716908 3221224576 3221223344 134529276 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13219 12513 1111 63 0 13156 0
vsize: 0

Child status: 0
Real time (s): 1174.69
CPU time (s): 1175.05
CPU user time (s): 1174.15
CPU system time (s): 0.897863
CPU usage (%): 100.03
Max. virtual memory (Kb): 52876
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####