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/mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-n3707.opb
MD5SUM	01e0877cc064d2a3c60da2ac822a983e
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
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	105000
Biggest coefficient in the objective function	4194304
Number of bits for the biggest coefficient in the objective function	23
Sum of the numbers in the objective function	39195741828
Number of bits of the sum of numbers in the objective function	36
Biggest number in a constraint	4194304
Number of bits of the biggest number in a constraint	23
Biggest sum of numbers in a constraint	39195741828
Number of bits of the biggest sum of numbers	36
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.998847
Number of variables	105000
Total number of constraints	5150
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	5150
Minimum length of a constraint	21
Maximum length of a constraint	2000
Trace number 41619

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc5 THE 2005-06-09 17:37:04 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=29685 boxname=wulflinc5 idbench=1469 idsolver=21 numberseed=0
MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb  /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2
MD5SUM BENCH:  01e0877cc064d2a3c60da2ac822a983e  /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-13-7-n3707.opb
REAL COMMAND:  bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-13-7-n3707.opb
IDLAUNCH: 29685
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.007
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.007
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:        757220 kB
Buffers:         24772 kB
Cached:         230884 kB
SwapCached:        636 kB
Active:          34080 kB
Inactive:       223628 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        756968 kB
SwapTotal:     2097136 kB
SwapFree:      2095492 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5076 kB
Slab:            14200 kB
Committed_AS:    63604 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-09 17:57:07 (client local time) WITH STATUS 0 IN 1200.22 SECONDS
stats: 29685 7 1200.22 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
#### 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.93 0.97 0.91 1/54 4687
Raw data (stat): 4687 (runsolver) R 4686 7266 7265 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 912128582 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0006 s]
Raw data (loadavg): 0.94 0.97 0.91 2/54 4687
Raw data (stat): 4687 (bsolo_lpr_cuts-) R 4686 7266 7265 0 -1 0 1160 0 0 0 993 4 0 0 25 0 1 0 912128582 16052224 1080 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3919 1080 1111 63 0 3856 0
vsize: 15676
[startup+20.0013 s]
Raw data (loadavg): 0.95 0.97 0.91 2/54 4687
Raw data (stat): 4687 (bsolo_lpr_cuts-) R 4686 7266 7265 0 -1 0 1407 0 0 0 1993 5 0 0 25 0 1 0 912128582 17178624 1327 4294967295 134512640 134716908 3221224560 3221222788 1077414410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4194 1327 1111 63 0 4131 0
vsize: 16776
[startup+30.0021 s]
Raw data (loadavg): 0.95 0.97 0.91 2/54 4687
Raw data (stat): 4687 (bsolo_lpr_cuts-) R 4686 7266 7265 0 -1 0 1657 0 0 0 2992 6 0 0 25 0 1 0 912128582 18178048 1577 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4438 1577 1111 63 0 4375 0
vsize: 17752
[startup+40.0028 s]
Raw data (loadavg): 0.96 0.97 0.91 2/54 4687
Raw data (stat): 4687 (bsolo_lpr_cuts-) R 4686 7266 7265 0 -1 0 1905 0 0 0 3991 7 0 0 25 0 1 0 912128582 19165184 1825 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4679 1825 1111 63 0 4616 0
vsize: 18716
[startup+50.0066 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 4687
Raw data (stat): 4687 (bsolo_lpr_cuts-) R 4686 7266 7265 0 -1 0 2153 0 0 0 4990 8 0 0 25 0 1 0 912128582 20152320 2073 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4920 2073 1111 63 0 4857 0
vsize: 19680
[startup+60.0076 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 4687
Raw data (stat): 4687 (bsolo_lpr_cuts-) R 4686 7266 7265 0 -1 0 2406 0 0 0 5990 8 0 0 25 0 1 0 912128582 21274624 2326 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5194 2326 1111 63 0 5131 0
vsize: 20776
[startup+70.0081 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 4687
Raw data (stat): 4687 (bsolo_lpr_cuts-) R 4686 7266 7265 0 -1 0 2660 0 0 0 6989 9 0 0 25 0 1 0 912128582 22261760 2580 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5435 2580 1111 63 0 5372 0
vsize: 21740
[startup+80.0088 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 4687
Raw data (stat): 4687 (bsolo_lpr_cuts-) R 4686 7266 7265 0 -1 0 2907 0 0 0 7989 9 0 0 25 0 1 0 912128582 23240704 2827 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5674 2827 1111 63 0 5611 0
vsize: 22696
[startup+90.0086 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 4687
Raw data (stat): 4687 (bsolo_lpr_cuts-) R 4686 7266 7265 0 -1 0 3161 0 0 0 8988 11 0 0 25 0 1 0 912128582 24367104 3081 4294967295 134512640 134716908 3221224560 3221222788 1077414435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5949 3081 1111 63 0 5886 0
vsize: 23796
[startup+100.009 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 4687
Raw data (stat): 4687 (bsolo_lpr_cuts-) R 4686 7266 7265 0 -1 0 3409 0 0 0 9987 11 0 0 25 0 1 0 912128582 25354240 3329 4294967295 134512640 134716908 3221224560 3221222788 1077414401 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6190 3329 1111 63 0 6127 0
vsize: 24760
[startup+110.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4687
Raw data (stat): 4687 (bsolo_lpr_cuts-) R 4686 7266 7265 0 -1 0 3658 0 0 0 10987 12 0 0 25 0 1 0 912128582 26341376 3578 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6431 3578 1111 63 0 6368 0
vsize: 25724
[startup+120.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4687
Raw data (stat): 4687 (bsolo_lpr_cuts-) R 4686 7266 7265 0 -1 0 3920 0 0 0 11986 12 0 0 25 0 1 0 912128582 27488256 3840 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6711 3840 1111 63 0 6648 0
vsize: 26844
[startup+130.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4687
Raw data (stat): 4687 (bsolo_lpr_cuts-) R 4686 7266 7265 0 -1 0 4174 0 0 0 12986 13 0 0 25 0 1 0 912128582 28475392 4094 4294967295 134512640 134716908 3221224560 3221222788 1077414383 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6952 4094 1111 63 0 6889 0
vsize: 27808
[startup+140.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4687
Raw data (stat): 4687 (bsolo_lpr_cuts-) R 4686 7266 7265 0 -1 0 4423 0 0 0 13985 13 0 0 25 0 1 0 912128582 29462528 4343 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7193 4343 1111 63 0 7130 0
vsize: 28772
[startup+150.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4687
Raw data (stat): 4687 (bsolo_lpr_cuts-) R 4686 7266 7265 0 -1 0 4677 0 0 0 14985 14 0 0 25 0 1 0 912128582 30584832 4597 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7467 4597 1111 63 0 7404 0
vsize: 29868
[startup+160.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4687
Raw data (stat): 4687 (bsolo_lpr_cuts-) R 4686 7266 7265 0 -1 0 4932 0 0 0 15984 15 0 0 25 0 1 0 912128582 31567872 4852 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7707 4852 1111 63 0 7644 0
vsize: 30828
[startup+170.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4687
Raw data (stat): 4687 (bsolo_lpr_cuts-) R 4686 7266 7265 0 -1 0 5187 0 0 0 16984 15 0 0 25 0 1 0 912128582 32555008 5107 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7948 5107 1111 63 0 7885 0
vsize: 31792
[startup+180.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4687
Raw data (stat): 4687 (bsolo_lpr_cuts-) R 4686 7266 7265 0 -1 0 5443 0 0 0 17984 16 0 0 25 0 1 0 912128582 33681408 5363 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8223 5363 1111 63 0 8160 0
vsize: 32892
[startup+190.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4687
Raw data (stat): 4687 (bsolo_lpr_cuts-) R 4686 7266 7265 0 -1 0 5697 0 0 0 18983 16 0 0 25 0 1 0 912128582 34668544 5617 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8464 5617 1111 63 0 8401 0
vsize: 33856
[startup+200.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4687
Raw data (stat): 4687 (bsolo_lpr_cuts-) R 4686 7266 7265 0 -1 0 5952 0 0 0 19982 17 0 0 25 0 1 0 912128582 35794944 5872 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8739 5872 1111 63 0 8676 0
vsize: 34956
[startup+210.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4687
Raw data (stat): 4687 (bsolo_lpr_cuts-) R 4686 7266 7265 0 -1 0 6213 0 0 0 20982 18 0 0 25 0 1 0 912128582 36782080 6133 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8980 6133 1111 63 0 8917 0
vsize: 35920
[startup+220.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4687
Raw data (stat): 4687 (bsolo_lpr_cuts-) R 4686 7266 7265 0 -1 0 6472 0 0 0 21981 18 0 0 25 0 1 0 912128582 37920768 6392 4294967295 134512640 134716908 3221224560 3221222788 1077414357 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9258 6392 1111 63 0 9195 0
vsize: 37032
[startup+230.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4687
Raw data (stat): 4687 (bsolo_lpr_cuts-) R 4686 7266 7265 0 -1 0 6732 0 0 0 22981 19 0 0 25 0 1 0 912128582 39043072 6652 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9532 6652 1111 63 0 9469 0
vsize: 38128
[startup+240.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4687
Raw data (stat): 4687 (bsolo_lpr_cuts-) R 4686 7266 7265 0 -1 0 6993 0 0 0 23981 19 0 0 25 0 1 0 912128582 40030208 6913 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9773 6913 1111 63 0 9710 0
vsize: 39092
[startup+250.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4687
Raw data (stat): 4687 (bsolo_lpr_cuts-) R 4686 7266 7265 0 -1 0 7249 0 0 0 24980 20 0 0 25 0 1 0 912128582 41156608 7169 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10048 7169 1111 63 0 9985 0
vsize: 40192
[startup+260.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4687
Raw data (stat): 4687 (bsolo_lpr_cuts-) R 4686 7266 7265 0 -1 0 7505 0 0 0 25979 21 0 0 25 0 1 0 912128582 42143744 7425 4294967295 134512640 134716908 3221224560 3221222788 1077414382 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10289 7425 1111 63 0 10226 0
vsize: 41156
[startup+270.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4687
Raw data (stat): 4687 (bsolo_lpr_cuts-) R 4686 7266 7265 0 -1 0 7766 0 0 0 26978 22 0 0 25 0 1 0 912128582 43270144 7686 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10564 7686 1111 63 0 10501 0
vsize: 42256
[startup+280.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4687
Raw data (stat): 4687 (bsolo_lpr_cuts-) R 4686 7266 7265 0 -1 0 8029 0 0 0 27977 23 0 0 25 0 1 0 912128582 44257280 7949 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10805 7949 1111 63 0 10742 0
vsize: 43220
[startup+290.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4687
Raw data (stat): 4687 (bsolo_lpr_cuts-) R 4686 7266 7265 0 -1 0 8291 0 0 0 28977 24 0 0 25 0 1 0 912128582 45383680 8211 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11080 8211 1111 63 0 11017 0
vsize: 44320
[startup+300.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4687
Raw data (stat): 4687 (bsolo_lpr_cuts-) R 4686 7266 7265 0 -1 0 8547 0 0 0 29976 25 0 0 25 0 1 0 912128582 46370816 8467 4294967295 134512640 134716908 3221224560 3221222788 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11321 8467 1111 63 0 11258 0
vsize: 45284
[startup+310.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4687
Raw data (stat): 4687 (bsolo_lpr_cuts-) R 4686 7266 7265 0 -1 0 8809 0 0 0 30976 25 0 0 25 0 1 0 912128582 47489024 8729 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11594 8729 1111 63 0 11531 0
vsize: 46376
[startup+320.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4687
Raw data (stat): 4687 (bsolo_lpr_cuts-) R 4686 7266 7265 0 -1 0 9069 0 0 0 31975 26 0 0 25 0 1 0 912128582 48476160 8989 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11835 8989 1111 63 0 11772 0
vsize: 47340
[startup+330.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4687
Raw data (stat): 4687 (bsolo_lpr_cuts-) R 4686 7266 7265 0 -1 0 9332 0 0 0 32974 27 0 0 25 0 1 0 912128582 49602560 9252 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12110 9252 1111 63 0 12047 0
vsize: 48440
[startup+340.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4687
Raw data (stat): 4687 (bsolo_lpr_cuts-) R 4686 7266 7265 0 -1 0 9594 0 0 0 33973 28 0 0 25 0 1 0 912128582 50733056 9514 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12386 9514 1111 63 0 12323 0
vsize: 49544
[startup+350.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4687
Raw data (stat): 4687 (bsolo_lpr_cuts-) R 4686 7266 7265 0 -1 0 9862 0 0 0 34973 29 0 0 25 0 1 0 912128582 51716096 9782 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12626 9782 1111 63 0 12563 0
vsize: 50504
[startup+360.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4687
Raw data (stat): 4687 (bsolo_lpr_cuts-) R 4686 7266 7265 0 -1 0 10125 0 0 0 35972 30 0 0 25 0 1 0 912128582 52842496 10045 4294967295 134512640 134716908 3221224560 3221222788 1077414376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12901 10045 1111 63 0 12838 0
vsize: 51604
[startup+370.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4687
Raw data (stat): 4687 (bsolo_lpr_cuts-) R 4686 7266 7265 0 -1 0 10387 0 0 0 36971 30 0 0 25 0 1 0 912128582 53968896 10307 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13176 10307 1111 63 0 13113 0
vsize: 52704
[startup+380.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4687
Raw data (stat): 4687 (bsolo_lpr_cuts-) R 4686 7266 7265 0 -1 0 10650 0 0 0 37971 31 0 0 25 0 1 0 912128582 54960128 10570 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13418 10570 1111 63 0 13355 0
vsize: 53672
[startup+390.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4687
Raw data (stat): 4687 (bsolo_lpr_cuts-) R 4686 7266 7265 0 -1 0 10919 0 0 0 38970 31 0 0 25 0 1 0 912128582 56086528 10839 4294967295 134512640 134716908 3221224560 3221222788 1077414424 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13693 10839 1111 63 0 13630 0
vsize: 54772
[startup+400.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4687
Raw data (stat): 4687 (bsolo_lpr_cuts-) R 4686 7266 7265 0 -1 0 11187 0 0 0 39970 32 0 0 25 0 1 0 912128582 57212928 11107 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13968 11107 1111 63 0 13905 0
vsize: 55872
[startup+410.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4687
Raw data (stat): 4687 (bsolo_lpr_cuts-) R 4686 7266 7265 0 -1 0 11447 0 0 0 40969 33 0 0 25 0 1 0 912128582 58191872 11367 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14207 11367 1111 63 0 14144 0
vsize: 56828
[startup+420.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4687
Raw data (stat): 4687 (bsolo_lpr_cuts-) R 4686 7266 7265 0 -1 0 11715 0 0 0 41968 34 0 0 25 0 1 0 912128582 59318272 11635 4294967295 134512640 134716908 3221224560 3221222788 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14482 11635 1111 63 0 14419 0
vsize: 57928
[startup+430.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4687
Raw data (stat): 4687 (bsolo_lpr_cuts-) R 4686 7266 7265 0 -1 0 12002 0 0 0 42967 35 0 0 25 0 1 0 912128582 60674048 11922 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14813 11922 1111 63 0 14750 0
vsize: 59252
[startup+440.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4687
Raw data (stat): 4687 (bsolo_lpr_cuts-) R 4686 7266 7265 0 -1 0 12263 0 0 0 43967 35 0 0 25 0 1 0 912128582 61652992 12183 4294967295 134512640 134716908 3221224560 3221222788 1077414410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15052 12183 1111 63 0 14989 0
vsize: 60208
[startup+450.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4687
Raw data (stat): 4687 (bsolo_lpr_cuts-) R 4686 7266 7265 0 -1 0 12538 0 0 0 44967 36 0 0 25 0 1 0 912128582 62779392 12458 4294967295 134512640 134716908 3221224560 3221222788 1077414358 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15327 12458 1111 63 0 15264 0
vsize: 61308
[startup+460.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4687
Raw data (stat): 4687 (bsolo_lpr_cuts-) R 4686 7266 7265 0 -1 0 12802 0 0 0 45966 36 0 0 25 0 1 0 912128582 63905792 12722 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15602 12722 1111 63 0 15539 0
vsize: 62408
[startup+470.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4687
Raw data (stat): 4687 (bsolo_lpr_cuts-) R 4686 7266 7265 0 -1 0 13077 0 0 0 46966 37 0 0 25 0 1 0 912128582 65032192 12997 4294967295 134512640 134716908 3221224560 3221222788 1077414360 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15877 12997 1111 63 0 15814 0
vsize: 63508
[startup+480.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4687
Raw data (stat): 4687 (bsolo_lpr_cuts-) R 4686 7266 7265 0 -1 0 13345 0 0 0 47966 37 0 0 25 0 1 0 912128582 66158592 13265 4294967295 134512640 134716908 3221224560 3221222788 1077414432 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16152 13265 1111 63 0 16089 0
vsize: 64608
[startup+490.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4687
Raw data (stat): 4687 (bsolo_lpr_cuts-) R 4686 7266 7265 0 -1 0 13615 0 0 0 48966 37 0 0 25 0 1 0 912128582 67284992 13535 4294967295 134512640 134716908 3221224560 3221223216 134527972 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16427 13535 1111 63 0 16364 0
vsize: 65708
[startup+500.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4687
Raw data (stat): 4687 (bsolo_lpr_cuts-) R 4686 7266 7265 0 -1 0 13890 0 0 0 49965 38 0 0 25 0 1 0 912128582 68411392 13810 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16702 13810 1111 63 0 16639 0
vsize: 66808
[startup+510.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4687
Raw data (stat): 4687 (bsolo_lpr_cuts-) R 4686 7266 7265 0 -1 0 14160 0 0 0 50964 39 0 0 25 0 1 0 912128582 69398528 14080 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16943 14080 1111 63 0 16880 0
vsize: 67772
[startup+520.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4687
Raw data (stat): 4687 (bsolo_lpr_cuts-) R 4686 7266 7265 0 -1 0 14429 0 0 0 51963 40 0 0 25 0 1 0 912128582 70520832 14349 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17217 14349 1111 63 0 17154 0
vsize: 68868
[startup+530.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4687
Raw data (stat): 4687 (bsolo_lpr_cuts-) R 4686 7266 7265 0 -1 0 14703 0 0 0 52963 40 0 0 25 0 1 0 912128582 71647232 14623 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17492 14623 1111 63 0 17429 0
vsize: 69968
[startup+540.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4687
Raw data (stat): 4687 (bsolo_lpr_cuts-) R 4686 7266 7265 0 -1 0 14979 0 0 0 53962 41 0 0 25 0 1 0 912128582 72773632 14899 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17767 14899 1111 63 0 17704 0
vsize: 71068
[startup+550.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4687
Raw data (stat): 4687 (bsolo_lpr_cuts-) R 4686 7266 7265 0 -1 0 15255 0 0 0 54961 42 0 0 25 0 1 0 912128582 73900032 15175 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18042 15175 1111 63 0 17979 0
vsize: 72168
[startup+560.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4687
Raw data (stat): 4687 (bsolo_lpr_cuts-) R 4686 7266 7265 0 -1 0 15531 0 0 0 55961 43 0 0 25 0 1 0 912128582 75026432 15451 4294967295 134512640 134716908 3221224560 3221222788 1077414401 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18317 15451 1111 63 0 18254 0
vsize: 73268
[startup+570.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4687
Raw data (stat): 4687 (bsolo_lpr_cuts-) R 4686 7266 7265 0 -1 0 15806 0 0 0 56960 43 0 0 25 0 1 0 912128582 76152832 15726 4294967295 134512640 134716908 3221224560 3221222788 1077414410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18592 15726 1111 63 0 18529 0
vsize: 74368
[startup+580.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4687
Raw data (stat): 4687 (bsolo_lpr_cuts-) R 4686 7266 7265 0 -1 0 16082 0 0 0 57959 45 0 0 25 0 1 0 912128582 77283328 16002 4294967295 134512640 134716908 3221224560 3221222788 1077414410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18868 16002 1111 63 0 18805 0
vsize: 75472
[startup+590.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4687
Raw data (stat): 4687 (bsolo_lpr_cuts-) R 4686 7266 7265 0 -1 0 16358 0 0 0 58958 45 0 0 25 0 1 0 912128582 78409728 16278 4294967295 134512640 134716908 3221224560 3221222788 1077414383 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19143 16278 1111 63 0 19080 0
vsize: 76572
[startup+600.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4687
Raw data (stat): 4687 (bsolo_lpr_cuts-) R 4686 7266 7265 0 -1 0 16634 0 0 0 59958 46 0 0 25 0 1 0 912128582 79536128 16554 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19418 16554 1111 63 0 19355 0
vsize: 77672
[startup+610.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4687
Raw data (stat): 4687 (bsolo_lpr_cuts-) R 4686 7266 7265 0 -1 0 16911 0 0 0 60957 47 0 0 25 0 1 0 912128582 80662528 16831 4294967295 134512640 134716908 3221224560 3221222788 1077414358 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19693 16831 1111 63 0 19630 0
vsize: 78772
[startup+620.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4687
Raw data (stat): 4687 (bsolo_lpr_cuts-) R 4686 7266 7265 0 -1 0 17186 0 0 0 61956 48 0 0 25 0 1 0 912128582 81788928 17106 4294967295 134512640 134716908 3221224560 3221222708 1077374154 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19968 17106 1111 63 0 19905 0
vsize: 79872
[startup+630.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4687
Raw data (stat): 4687 (bsolo_lpr_cuts-) R 4686 7266 7265 0 -1 0 17469 0 0 0 62956 48 0 0 25 0 1 0 912128582 82915328 17389 4294967295 134512640 134716908 3221224560 3221222788 1077414420 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20243 17389 1111 63 0 20180 0
vsize: 80972
[startup+640.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4687
Raw data (stat): 4687 (bsolo_lpr_cuts-) R 4686 7266 7265 0 -1 0 17751 0 0 0 63954 49 0 0 25 0 1 0 912128582 84180992 17671 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20552 17671 1111 63 0 20489 0
vsize: 82208
[startup+650.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4687
Raw data (stat): 4687 (bsolo_lpr_cuts-) R 4686 7266 7265 0 -1 0 18028 0 0 0 64954 50 0 0 25 0 1 0 912128582 85307392 17948 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20827 17948 1111 63 0 20764 0
vsize: 83308
[startup+660.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4687
Raw data (stat): 4687 (bsolo_lpr_cuts-) R 4686 7266 7265 0 -1 0 18311 0 0 0 65953 50 0 0 25 0 1 0 912128582 86433792 18231 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21102 18231 1111 63 0 21039 0
vsize: 84408
[startup+670.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4687
Raw data (stat): 4687 (bsolo_lpr_cuts-) R 4686 7266 7265 0 -1 0 18593 0 0 0 66953 51 0 0 25 0 1 0 912128582 87560192 18513 4294967295 134512640 134716908 3221224560 3221223216 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21377 18513 1111 63 0 21314 0
vsize: 85508
[startup+680.039 s]
Raw data (loadavg): 1.07 0.99 0.91 2/54 4687
Raw data (stat): 4687 (bsolo_lpr_cuts-) R 4686 7266 7265 0 -1 0 18877 0 0 0 67952 52 0 0 25 0 1 0 912128582 88686592 18797 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21652 18797 1111 63 0 21589 0
vsize: 86608
[startup+690.038 s]
Raw data (loadavg): 1.06 0.99 0.91 2/54 4687
Raw data (stat): 4687 (bsolo_lpr_cuts-) R 4686 7266 7265 0 -1 0 19159 0 0 0 68951 53 0 0 25 0 1 0 912128582 89817088 19079 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21928 19079 1111 63 0 21865 0
vsize: 87712
[startup+700.039 s]
Raw data (loadavg): 1.05 0.99 0.91 2/54 4687
Raw data (stat): 4687 (bsolo_lpr_cuts-) R 4686 7266 7265 0 -1 0 19448 0 0 0 69950 54 0 0 25 0 1 0 912128582 91082752 19368 4294967295 134512640 134716908 3221224560 3221223216 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22237 19368 1111 63 0 22174 0
vsize: 88948
[startup+710.04 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 4687
Raw data (stat): 4687 (bsolo_lpr_cuts-) R 4686 7266 7265 0 -1 0 19725 0 0 0 70950 55 0 0 25 0 1 0 912128582 92209152 19645 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22512 19645 1111 63 0 22449 0
vsize: 90048
[startup+720.04 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 4687
Raw data (stat): 4687 (bsolo_lpr_cuts-) R 4686 7266 7265 0 -1 0 20013 0 0 0 71949 55 0 0 25 0 1 0 912128582 93331456 19933 4294967295 134512640 134716908 3221224560 3221222788 1077414420 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22786 19933 1111 63 0 22723 0
vsize: 91144
[startup+730.04 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 4687
Raw data (stat): 4687 (bsolo_lpr_cuts-) R 4686 7266 7265 0 -1 0 20303 0 0 0 72948 56 0 0 25 0 1 0 912128582 94601216 20223 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23096 20223 1111 63 0 23033 0
vsize: 92384
[startup+740.041 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 4687
Raw data (stat): 4687 (bsolo_lpr_cuts-) R 4686 7266 7265 0 -1 0 20584 0 0 0 73947 57 0 0 25 0 1 0 912128582 95723520 20504 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23370 20504 1111 63 0 23307 0
vsize: 93480
[startup+750.042 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 4687
Raw data (stat): 4687 (bsolo_lpr_cuts-) R 4686 7266 7265 0 -1 0 20868 0 0 0 74947 58 0 0 25 0 1 0 912128582 96849920 20788 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23645 20788 1111 63 0 23582 0
vsize: 94580
[startup+760.043 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 4687
Raw data (stat): 4687 (bsolo_lpr_cuts-) R 4686 7266 7265 0 -1 0 21157 0 0 0 75946 59 0 0 25 0 1 0 912128582 97976320 21077 4294967295 134512640 134716908 3221224560 3221223216 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23920 21077 1111 63 0 23857 0
vsize: 95680
[startup+770.043 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 4687
Raw data (stat): 4687 (bsolo_lpr_cuts-) R 4686 7266 7265 0 -1 0 21446 0 0 0 76945 60 0 0 25 0 1 0 912128582 99246080 21366 4294967295 134512640 134716908 3221224560 3221222788 1077414357 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24230 21366 1111 63 0 24167 0
vsize: 96920
[startup+780.044 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 4687
Raw data (stat): 4687 (bsolo_lpr_cuts-) R 4686 7266 7265 0 -1 0 21737 0 0 0 77943 61 0 0 25 0 1 0 912128582 100372480 21657 4294967295 134512640 134716908 3221224560 3221222788 1077414420 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24505 21657 1111 63 0 24442 0
vsize: 98020
[startup+790.045 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 4687
Raw data (stat): 4687 (bsolo_lpr_cuts-) R 4686 7266 7265 0 -1 0 22026 0 0 0 78943 62 0 0 25 0 1 0 912128582 101638144 21946 4294967295 134512640 134716908 3221224560 3221222788 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24814 21946 1111 63 0 24751 0
vsize: 99256
[startup+800.046 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 4687
Raw data (stat): 4687 (bsolo_lpr_cuts-) R 4686 7266 7265 0 -1 0 22316 0 0 0 79942 63 0 0 25 0 1 0 912128582 102764544 22236 4294967295 134512640 134716908 3221224560 3221222788 1077414432 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25089 22236 1111 63 0 25026 0
vsize: 100356
[startup+810.046 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 4687
Raw data (stat): 4687 (bsolo_lpr_cuts-) R 4686 7266 7265 0 -1 0 22611 0 0 0 80941 64 0 0 25 0 1 0 912128582 104030208 22531 4294967295 134512640 134716908 3221224560 3221222788 1077414420 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25398 22531 1111 63 0 25335 0
vsize: 101592
[startup+820.046 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 4687
Raw data (stat): 4687 (bsolo_lpr_cuts-) R 4686 7266 7265 0 -1 0 22900 0 0 0 81941 64 0 0 25 0 1 0 912128582 105160704 22820 4294967295 134512640 134716908 3221224560 3221222788 1077414433 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25674 22820 1111 63 0 25611 0
vsize: 102696
[startup+830.047 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 4687
Raw data (stat): 4687 (bsolo_lpr_cuts-) R 4686 7266 7265 0 -1 0 23229 0 0 0 82939 65 0 0 25 0 1 0 912128582 106786816 23149 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26071 23149 1111 63 0 26008 0
vsize: 104284
[startup+840.048 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 4687
Raw data (stat): 4687 (bsolo_lpr_cuts-) R 4686 7266 7265 0 -1 0 23518 0 0 0 83939 66 0 0 25 0 1 0 912128582 107913216 23438 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26346 23438 1111 63 0 26283 0
vsize: 105384
[startup+850.048 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 4687
Raw data (stat): 4687 (bsolo_lpr_cuts-) R 4686 7266 7265 0 -1 0 23809 0 0 0 84938 67 0 0 25 0 1 0 912128582 109178880 23729 4294967295 134512640 134716908 3221224560 3221222788 1077414426 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26655 23729 1111 63 0 26592 0
vsize: 106620
[startup+860.049 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 4687
Raw data (stat): 4687 (bsolo_lpr_cuts-) R 4686 7266 7265 0 -1 0 24104 0 0 0 85937 69 0 0 25 0 1 0 912128582 110305280 24024 4294967295 134512640 134716908 3221224560 3221223216 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26930 24024 1111 63 0 26867 0
vsize: 107720
[startup+870.049 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 4687
Raw data (stat): 4687 (bsolo_lpr_cuts-) R 4686 7266 7265 0 -1 0 24400 0 0 0 86935 70 0 0 25 0 1 0 912128582 111575040 24320 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27240 24320 1111 63 0 27177 0
vsize: 108960
[startup+880.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 4687
Raw data (stat): 4687 (bsolo_lpr_cuts-) R 4686 7266 7265 0 -1 0 24691 0 0 0 87935 70 0 0 25 0 1 0 912128582 112701440 24611 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27515 24611 1111 63 0 27452 0
vsize: 110060
[startup+890.049 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 4687
Raw data (stat): 4687 (bsolo_lpr_cuts-) R 4686 7266 7265 0 -1 0 24993 0 0 0 88934 71 0 0 25 0 1 0 912128582 113967104 24913 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27824 24913 1111 63 0 27761 0
vsize: 111296
[startup+900.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 4687
Raw data (stat): 4687 (bsolo_lpr_cuts-) R 4686 7266 7265 0 -1 0 25284 0 0 0 89933 72 0 0 25 0 1 0 912128582 115093504 25204 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28099 25204 1111 63 0 28036 0
vsize: 112396
[startup+910.051 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 4687
Raw data (stat): 4687 (bsolo_lpr_cuts-) R 4686 7266 7265 0 -1 0 25586 0 0 0 90933 73 0 0 25 0 1 0 912128582 116359168 25506 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28408 25506 1111 63 0 28345 0
vsize: 113632
[startup+920.051 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 4687
Raw data (stat): 4687 (bsolo_lpr_cuts-) R 4686 7266 7265 0 -1 0 25877 0 0 0 91933 73 0 0 25 0 1 0 912128582 117624832 25797 4294967295 134512640 134716908 3221224560 3221222788 1077414382 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28717 25797 1111 63 0 28654 0
vsize: 114868
[startup+930.051 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 4687
Raw data (stat): 4687 (bsolo_lpr_cuts-) R 4686 7266 7265 0 -1 0 26179 0 0 0 92932 74 0 0 25 0 1 0 912128582 118751232 26099 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28992 26099 1111 63 0 28929 0
vsize: 115968
[startup+940.052 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 4687
Raw data (stat): 4687 (bsolo_lpr_cuts-) R 4686 7266 7265 0 -1 0 26476 0 0 0 93931 75 0 0 25 0 1 0 912128582 120020992 26396 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29302 26396 1111 63 0 29239 0
vsize: 117208
[startup+950.053 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 4687
Raw data (stat): 4687 (bsolo_lpr_cuts-) R 4686 7266 7265 0 -1 0 26773 0 0 0 94930 76 0 0 25 0 1 0 912128582 121286656 26693 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29611 26693 1111 63 0 29548 0
vsize: 118444
[startup+960.054 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 4687
Raw data (stat): 4687 (bsolo_lpr_cuts-) R 4686 7266 7265 0 -1 0 27075 0 0 0 95930 77 0 0 25 0 1 0 912128582 122413056 26995 4294967295 134512640 134716908 3221224560 3221222788 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29886 26995 1111 63 0 29823 0
vsize: 119544
[startup+970.054 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 4687
Raw data (stat): 4687 (bsolo_lpr_cuts-) R 4686 7266 7265 0 -1 0 27379 0 0 0 96929 78 0 0 25 0 1 0 912128582 123682816 27299 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30196 27299 1111 63 0 30133 0
vsize: 120784
[startup+980.055 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 4687
Raw data (stat): 4687 (bsolo_lpr_cuts-) R 4686 7266 7265 0 -1 0 27675 0 0 0 97928 78 0 0 25 0 1 0 912128582 124948480 27595 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30505 27595 1111 63 0 30442 0
vsize: 122020
[startup+990.056 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 4687
Raw data (stat): 4687 (bsolo_lpr_cuts-) R 4686 7266 7265 0 -1 0 27981 0 0 0 98928 79 0 0 25 0 1 0 912128582 126222336 27901 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30816 27901 1111 63 0 30753 0
vsize: 123264
[startup+1000.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 4687
Raw data (stat): 4687 (bsolo_lpr_cuts-) R 4686 7266 7265 0 -1 0 28283 0 0 0 99927 80 0 0 25 0 1 0 912128582 127340544 28203 4294967295 134512640 134716908 3221224560 3221222880 134566629 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31089 28203 1111 63 0 31026 0
vsize: 124356
[startup+1010.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 4687
Raw data (stat): 4687 (bsolo_lpr_cuts-) R 4686 7266 7265 0 -1 0 28582 0 0 0 100927 80 0 0 25 0 1 0 912128582 128606208 28502 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31398 28502 1111 63 0 31335 0
vsize: 125592
[startup+1020.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 4687
Raw data (stat): 4687 (bsolo_lpr_cuts-) R 4686 7266 7265 0 -1 0 28890 0 0 0 101926 81 0 0 25 0 1 0 912128582 129880064 28810 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31709 28810 1111 63 0 31646 0
vsize: 126836
[startup+1030.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 4687
Raw data (stat): 4687 (bsolo_lpr_cuts-) R 4686 7266 7265 0 -1 0 29193 0 0 0 102925 82 0 0 25 0 1 0 912128582 131145728 29113 4294967295 134512640 134716908 3221224560 3221222788 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32018 29113 1111 63 0 31955 0
vsize: 128072
[startup+1040.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 4687
Raw data (stat): 4687 (bsolo_lpr_cuts-) R 4686 7266 7265 0 -1 0 29498 0 0 0 103925 83 0 0 25 0 1 0 912128582 132415488 29418 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32328 29418 1111 63 0 32265 0
vsize: 129312
[startup+1050.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 4687
Raw data (stat): 4687 (bsolo_lpr_cuts-) R 4686 7266 7265 0 -1 0 29806 0 0 0 104924 83 0 0 25 0 1 0 912128582 133681152 29726 4294967295 134512640 134716908 3221224560 3221222788 1077414336 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32637 29726 1111 63 0 32574 0
vsize: 130548
[startup+1060.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 4687
Raw data (stat): 4687 (bsolo_lpr_cuts-) R 4686 7266 7265 0 -1 0 30110 0 0 0 105923 85 0 0 25 0 1 0 912128582 134807552 30030 4294967295 134512640 134716908 3221224560 3221222788 1077414385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32912 30030 1111 63 0 32849 0
vsize: 131648
[startup+1070.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 4687
Raw data (stat): 4687 (bsolo_lpr_cuts-) R 4686 7266 7265 0 -1 0 30413 0 0 0 106922 86 0 0 25 0 1 0 912128582 136077312 30333 4294967295 134512640 134716908 3221224560 3221223216 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33222 30333 1111 63 0 33159 0
vsize: 132888
[startup+1080.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 4687
Raw data (stat): 4687 (bsolo_lpr_cuts-) R 4686 7266 7265 0 -1 0 30724 0 0 0 107921 87 0 0 25 0 1 0 912128582 137342976 30644 4294967295 134512640 134716908 3221224560 3221222788 1077414410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33531 30644 1111 63 0 33468 0
vsize: 134124
[startup+1090.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 4687
Raw data (stat): 4687 (bsolo_lpr_cuts-) R 4686 7266 7265 0 -1 0 31033 0 0 0 108920 88 0 0 25 0 1 0 912128582 138608640 30953 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33840 30953 1111 63 0 33777 0
vsize: 135360
[startup+1100.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 4687
Raw data (stat): 4687 (bsolo_lpr_cuts-) R 4686 7266 7265 0 -1 0 31344 0 0 0 109920 88 0 0 25 0 1 0 912128582 139874304 31264 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34149 31264 1111 63 0 34086 0
vsize: 136596
[startup+1110.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 4687
Raw data (stat): 4687 (bsolo_lpr_cuts-) R 4686 7266 7265 0 -1 0 31653 0 0 0 110919 90 0 0 25 0 1 0 912128582 141144064 31573 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34459 31573 1111 63 0 34396 0
vsize: 137836
[startup+1120.07 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 4687
Raw data (stat): 4687 (bsolo_lpr_cuts-) R 4686 7266 7265 0 -1 0 31957 0 0 0 111918 90 0 0 25 0 1 0 912128582 142409728 31877 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34768 31877 1111 63 0 34705 0
vsize: 139072
[startup+1130.07 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 4687
Raw data (stat): 4687 (bsolo_lpr_cuts-) R 4686 7266 7265 0 -1 0 32274 0 0 0 112917 91 0 0 25 0 1 0 912128582 143679488 32194 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35078 32194 1111 63 0 35015 0
vsize: 140312
[startup+1140.07 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 4687
Raw data (stat): 4687 (bsolo_lpr_cuts-) R 4686 7266 7265 0 -1 0 32584 0 0 0 113917 92 0 0 25 0 1 0 912128582 144945152 32504 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35387 32504 1111 63 0 35324 0
vsize: 141548
[startup+1150.09 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 4687
Raw data (stat): 4687 (bsolo_lpr_cuts-) R 4686 7266 7265 0 -1 0 32895 0 0 0 114919 93 0 0 25 0 1 0 912128582 146210816 32815 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35696 32815 1111 63 0 35633 0
vsize: 142784
[startup+1160.12 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 4687
Raw data (stat): 4687 (bsolo_lpr_cuts-) R 4686 7266 7265 0 -1 0 33211 0 0 0 115920 94 0 0 25 0 1 0 912128582 147476480 33131 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36005 33131 1111 63 0 35942 0
vsize: 144020
[startup+1170.12 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 4687
Raw data (stat): 4687 (bsolo_lpr_cuts-) R 4686 7266 7265 0 -1 0 33529 0 0 0 116920 94 0 0 25 0 1 0 912128582 148885504 33449 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36349 33449 1111 63 0 36286 0
vsize: 145396
[startup+1180.12 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 4687
Raw data (stat): 4687 (bsolo_lpr_cuts-) R 4686 7266 7265 0 -1 0 33839 0 0 0 117919 95 0 0 25 0 1 0 912128582 150151168 33759 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36658 33759 1111 63 0 36595 0
vsize: 146632
[startup+1190.12 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 4687
Raw data (stat): 4687 (bsolo_lpr_cuts-) R 4686 7266 7265 0 -1 0 34151 0 0 0 118918 96 0 0 25 0 1 0 912128582 151416832 34071 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36967 34071 1111 63 0 36904 0
vsize: 147868
[startup+1200.12 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 4687
Raw data (stat): 4687 (bsolo_lpr_cuts-) R 4686 7266 7265 0 -1 0 34468 0 0 0 119917 97 0 0 25 0 1 0 912128582 152690688 34388 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37278 34388 1111 63 0 37215 0
vsize: 149112
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.19 s]
Raw data (loadavg): 1.00 0.99 0.91 1/54 4687
Raw data (stat): 4687 (bsolo_lpr_cuts-) Z 4686 7266 7265 0 -1 1036 34468 0 0 0 119917 103 0 0 25 0 1 0 912128582 0 0 4294967295 0 0 0 0 0 0 0 7 0 3222412051 0 0 17 0 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.19
CPU time (s): 1200.22
CPU user time (s): 1199.18
CPU system time (s): 1.03984
CPU usage (%): 100.003
Max. virtual memory (Kb): 149112
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####