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-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-sp97ar.opb
MD5SUM	501db04e3c45fac1238dfa119cd7abd9
Bench Category	optimization, big integers (OPTBIGINT)
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	282020
Biggest coefficient in the objective function	2456844338462720
Number of bits for the biggest coefficient in the objective function	52
Sum of the numbers in the objective function	-2082450254578026316
Number of bits of the sum of numbers in the objective function	64
Biggest number in a constraint	2456844338462720
Number of bits of the biggest number in a constraint	52
Biggest sum of numbers in a constraint	-2082450254578026316
Number of bits of the biggest sum of numbers	64
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	2.6406
Number of variables	282020
Total number of constraints	1761
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	1761
Minimum length of a constraint	20
Maximum length of a constraint	49260
Trace number 41159

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc2 THE 2005-06-09 07:01:31 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=29219 boxname=wulflinc2 idbench=1003 idsolver=21 numberseed=0
MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb  /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2
MD5SUM BENCH:  501db04e3c45fac1238dfa119cd7abd9  /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-20-10-sp97ar.opb
REAL COMMAND:  bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-20-10-sp97ar.opb
IDLAUNCH: 29219
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.191
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.191
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:        690916 kB
Buffers:           276 kB
Cached:         322372 kB
SwapCached:       1440 kB
Active:         129276 kB
Inactive:       195340 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        690664 kB
SwapTotal:     2097136 kB
SwapFree:      2094616 kB
Dirty:               8 kB
Writeback:           0 kB
Mapped:           4868 kB
Slab:            13360 kB
Committed_AS:    71792 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-09 07:21:36 (client local time) WITH STATUS 0 IN 1200.1 SECONDS
stats: 29219 7 1200.1 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): 1.25 1.05 0.94 1/54 22544
Raw data (stat): 22544 (runsolver) R 22543 31399 31398 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 908318704 884736 94 4294967295 134512640 135332820 3221224448 3221219628 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.0002 s]
Raw data (loadavg): 1.21 1.05 0.94 2/54 22544
Raw data (stat): 22544 (bsolo_lpr_cuts-) R 22543 31399 31398 0 -1 0 2276 0 4 0 971 9 0 0 25 0 1 0 908318704 15216640 2200 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3715 2200 1111 63 0 3652 0
vsize: 14860
[startup+19.9998 s]
Raw data (loadavg): 1.18 1.04 0.94 2/54 22544
Raw data (stat): 22544 (bsolo_lpr_cuts-) R 22543 31399 31398 0 -1 0 2306 0 4 0 1971 10 0 0 25 0 1 0 908318704 15372288 2230 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3753 2230 1111 63 0 3690 0
vsize: 15012
[startup+30 s]
Raw data (loadavg): 1.15 1.04 0.94 2/54 22544
Raw data (stat): 22544 (bsolo_lpr_cuts-) R 22543 31399 31398 0 -1 0 2329 0 4 0 2970 10 0 0 25 0 1 0 908318704 15372288 2253 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3753 2253 1111 63 0 3690 0
vsize: 15012
[startup+40.0002 s]
Raw data (loadavg): 1.13 1.04 0.94 2/54 22544
Raw data (stat): 22544 (bsolo_lpr_cuts-) R 22543 31399 31398 0 -1 0 2352 0 4 0 3970 10 0 0 25 0 1 0 908318704 15507456 2276 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3786 2276 1111 63 0 3723 0
vsize: 15144
[startup+50.0014 s]
Raw data (loadavg): 1.11 1.04 0.94 2/54 22544
Raw data (stat): 22544 (bsolo_lpr_cuts-) R 22543 31399 31398 0 -1 0 2375 0 4 0 4970 11 0 0 25 0 1 0 908318704 15659008 2299 4294967295 134512640 134716908 3221224560 3221222788 1077414435 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3823 2299 1111 63 0 3760 0
vsize: 15292
[startup+60.0021 s]
Raw data (loadavg): 1.09 1.04 0.94 2/54 22544
Raw data (stat): 22544 (bsolo_lpr_cuts-) R 22543 31399 31398 0 -1 0 2400 0 4 0 5970 11 0 0 25 0 1 0 908318704 15659008 2324 4294967295 134512640 134716908 3221224560 3221222788 1077414408 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3823 2324 1111 63 0 3760 0
vsize: 15292
[startup+70.0013 s]
Raw data (loadavg): 1.08 1.03 0.94 2/54 22544
Raw data (stat): 22544 (bsolo_lpr_cuts-) R 22543 31399 31398 0 -1 0 2423 0 4 0 6969 12 0 0 25 0 1 0 908318704 15794176 2347 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3856 2347 1111 63 0 3793 0
vsize: 15424
[startup+80.0021 s]
Raw data (loadavg): 1.06 1.03 0.94 2/54 22544
Raw data (stat): 22544 (bsolo_lpr_cuts-) R 22543 31399 31398 0 -1 0 2446 0 4 0 7969 12 0 0 25 0 1 0 908318704 15945728 2370 4294967295 134512640 134716908 3221224560 3221222788 1077414382 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3893 2370 1111 63 0 3830 0
vsize: 15572
[startup+90.0022 s]
Raw data (loadavg): 1.05 1.03 0.94 2/54 22544
Raw data (stat): 22544 (bsolo_lpr_cuts-) R 22543 31399 31398 0 -1 0 2469 0 4 0 8969 12 0 0 25 0 1 0 908318704 15945728 2393 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3893 2393 1111 63 0 3830 0
vsize: 15572
[startup+100.002 s]
Raw data (loadavg): 1.04 1.03 0.94 2/54 22544
Raw data (stat): 22544 (bsolo_lpr_cuts-) R 22543 31399 31398 0 -1 0 2493 0 4 0 9969 12 0 0 25 0 1 0 908318704 16080896 2417 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3926 2417 1111 63 0 3863 0
vsize: 15704
[startup+110.004 s]
Raw data (loadavg): 1.04 1.03 0.94 2/54 22544
Raw data (stat): 22544 (bsolo_lpr_cuts-) R 22543 31399 31398 0 -1 0 2516 0 4 0 10969 13 0 0 25 0 1 0 908318704 16232448 2440 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3963 2440 1111 63 0 3900 0
vsize: 15852
[startup+120.004 s]
Raw data (loadavg): 1.03 1.03 0.94 2/54 22544
Raw data (stat): 22544 (bsolo_lpr_cuts-) R 22543 31399 31398 0 -1 0 2546 0 4 0 11969 13 0 0 25 0 1 0 908318704 16232448 2470 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3963 2470 1111 63 0 3900 0
vsize: 15852
[startup+130.004 s]
Raw data (loadavg): 1.03 1.03 0.94 2/54 22544
Raw data (stat): 22544 (bsolo_lpr_cuts-) R 22543 31399 31398 0 -1 0 2569 0 4 0 12969 13 0 0 25 0 1 0 908318704 16388096 2493 4294967295 134512640 134716908 3221224560 3221222788 1077414376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4001 2493 1111 63 0 3938 0
vsize: 16004
[startup+140.003 s]
Raw data (loadavg): 1.02 1.02 0.94 2/54 22544
Raw data (stat): 22544 (bsolo_lpr_cuts-) R 22543 31399 31398 0 -1 0 2594 0 4 0 13969 14 0 0 25 0 1 0 908318704 16523264 2518 4294967295 134512640 134716908 3221224560 3221222788 1077414385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4034 2518 1111 63 0 3971 0
vsize: 16136
[startup+150.004 s]
Raw data (loadavg): 1.02 1.02 0.94 2/54 22544
Raw data (stat): 22544 (bsolo_lpr_cuts-) R 22543 31399 31398 0 -1 0 2617 0 4 0 14969 14 0 0 25 0 1 0 908318704 16523264 2541 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4034 2541 1111 63 0 3971 0
vsize: 16136
[startup+160.005 s]
Raw data (loadavg): 1.01 1.02 0.94 2/54 22544
Raw data (stat): 22544 (bsolo_lpr_cuts-) R 22543 31399 31398 0 -1 0 2640 0 4 0 15969 14 0 0 25 0 1 0 908318704 16678912 2564 4294967295 134512640 134716908 3221224560 3221222788 1077414349 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4072 2564 1111 63 0 4009 0
vsize: 16288
[startup+170.005 s]
Raw data (loadavg): 1.01 1.02 0.94 2/54 22544
Raw data (stat): 22544 (bsolo_lpr_cuts-) R 22543 31399 31398 0 -1 0 2667 0 4 0 16968 15 0 0 25 0 1 0 908318704 16818176 2591 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4106 2591 1111 63 0 4043 0
vsize: 16424
[startup+180.005 s]
Raw data (loadavg): 1.01 1.02 0.94 2/54 22544
Raw data (stat): 22544 (bsolo_lpr_cuts-) R 22543 31399 31398 0 -1 0 2690 0 4 0 17968 15 0 0 25 0 1 0 908318704 16818176 2614 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4106 2614 1111 63 0 4043 0
vsize: 16424
[startup+190.006 s]
Raw data (loadavg): 1.01 1.02 0.94 2/54 22544
Raw data (stat): 22544 (bsolo_lpr_cuts-) R 22543 31399 31398 0 -1 0 2713 0 4 0 18968 15 0 0 25 0 1 0 908318704 16973824 2637 4294967295 134512640 134716908 3221224560 3221222788 1077414433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4144 2637 1111 63 0 4081 0
vsize: 16576
[startup+200.006 s]
Raw data (loadavg): 1.01 1.02 0.94 2/54 22544
Raw data (stat): 22544 (bsolo_lpr_cuts-) R 22543 31399 31398 0 -1 0 2736 0 4 0 19968 16 0 0 25 0 1 0 908318704 17108992 2660 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4177 2660 1111 63 0 4114 0
vsize: 16708
[startup+210.007 s]
Raw data (loadavg): 1.00 1.02 0.94 2/54 22544
Raw data (stat): 22544 (bsolo_lpr_cuts-) R 22543 31399 31398 0 -1 0 2767 0 4 0 20968 16 0 0 25 0 1 0 908318704 17264640 2691 4294967295 134512640 134716908 3221224560 3221222788 1077414382 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4215 2691 1111 63 0 4152 0
vsize: 16860
[startup+220.007 s]
Raw data (loadavg): 1.00 1.02 0.94 2/54 22544
Raw data (stat): 22544 (bsolo_lpr_cuts-) R 22543 31399 31398 0 -1 0 2791 0 4 0 21967 17 0 0 25 0 1 0 908318704 17264640 2715 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4215 2715 1111 63 0 4152 0
vsize: 16860
[startup+230.007 s]
Raw data (loadavg): 1.00 1.02 0.94 2/54 22544
Raw data (stat): 22544 (bsolo_lpr_cuts-) R 22543 31399 31398 0 -1 0 2814 0 4 0 22967 17 0 0 25 0 1 0 908318704 17399808 2738 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4248 2738 1111 63 0 4185 0
vsize: 16992
[startup+240.008 s]
Raw data (loadavg): 1.00 1.02 0.94 2/54 22544
Raw data (stat): 22544 (bsolo_lpr_cuts-) R 22543 31399 31398 0 -1 0 2837 0 4 0 23967 17 0 0 25 0 1 0 908318704 17547264 2761 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4284 2761 1111 63 0 4221 0
vsize: 17136
[startup+250.008 s]
Raw data (loadavg): 1.00 1.01 0.94 2/54 22544
Raw data (stat): 22544 (bsolo_lpr_cuts-) R 22543 31399 31398 0 -1 0 2861 0 4 0 24967 18 0 0 25 0 1 0 908318704 17547264 2785 4294967295 134512640 134716908 3221224560 3221222788 1077414435 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4284 2785 1111 63 0 4221 0
vsize: 17136
[startup+260.009 s]
Raw data (loadavg): 1.00 1.01 0.94 2/54 22544
Raw data (stat): 22544 (bsolo_lpr_cuts-) R 22543 31399 31398 0 -1 0 2884 0 4 0 25967 18 0 0 25 0 1 0 908318704 17682432 2808 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4317 2808 1111 63 0 4254 0
vsize: 17268
[startup+270.008 s]
Raw data (loadavg): 1.00 1.01 0.94 2/54 22544
Raw data (stat): 22544 (bsolo_lpr_cuts-) R 22543 31399 31398 0 -1 0 2907 0 4 0 26967 18 0 0 25 0 1 0 908318704 17833984 2831 4294967295 134512640 134716908 3221224560 3221222788 1077414383 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4354 2831 1111 63 0 4291 0
vsize: 17416
[startup+280.008 s]
Raw data (loadavg): 1.00 1.01 0.94 2/54 22544
Raw data (stat): 22544 (bsolo_lpr_cuts-) R 22543 31399 31398 0 -1 0 2937 0 4 0 27966 18 0 0 25 0 1 0 908318704 17833984 2861 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4354 2861 1111 63 0 4291 0
vsize: 17416
[startup+290.009 s]
Raw data (loadavg): 1.00 1.01 0.94 2/54 22546
Raw data (stat): 22544 (bsolo_lpr_cuts-) R 22543 31399 31398 0 -1 0 2961 0 4 0 28965 19 0 0 25 0 1 0 908318704 17973248 2885 4294967295 134512640 134716908 3221224560 3221222788 1077414395 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4388 2885 1111 63 0 4325 0
vsize: 17552
[startup+300.012 s]
Raw data (loadavg): 1.00 1.01 0.94 2/54 22546
Raw data (stat): 22544 (bsolo_lpr_cuts-) R 22543 31399 31398 0 -1 0 2985 0 4 0 29966 19 0 0 25 0 1 0 908318704 18120704 2909 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4424 2909 1111 63 0 4361 0
vsize: 17696
[startup+310.011 s]
Raw data (loadavg): 1.00 1.01 0.94 2/54 22546
Raw data (stat): 22544 (bsolo_lpr_cuts-) R 22543 31399 31398 0 -1 0 3008 0 4 0 30965 20 0 0 25 0 1 0 908318704 18120704 2932 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4424 2932 1111 63 0 4361 0
vsize: 17696
[startup+320.011 s]
Raw data (loadavg): 1.00 1.01 0.94 2/54 22546
Raw data (stat): 22544 (bsolo_lpr_cuts-) R 22543 31399 31398 0 -1 0 3031 0 4 0 31965 20 0 0 25 0 1 0 908318704 18255872 2955 4294967295 134512640 134716908 3221224560 3221222788 1077414435 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4457 2955 1111 63 0 4394 0
vsize: 17828
[startup+330.012 s]
Raw data (loadavg): 1.00 1.01 0.94 2/54 22546
Raw data (stat): 22544 (bsolo_lpr_cuts-) R 22543 31399 31398 0 -1 0 3059 0 4 0 32965 20 0 0 25 0 1 0 908318704 18407424 2983 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4494 2983 1111 63 0 4431 0
vsize: 17976
[startup+340.011 s]
Raw data (loadavg): 1.00 1.01 0.94 2/54 22546
Raw data (stat): 22544 (bsolo_lpr_cuts-) R 22543 31399 31398 0 -1 0 3082 0 4 0 33964 21 0 0 25 0 1 0 908318704 18554880 3006 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4530 3006 1111 63 0 4467 0
vsize: 18120
[startup+350.012 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 22546
Raw data (stat): 22544 (bsolo_lpr_cuts-) R 22543 31399 31398 0 -1 0 3106 0 4 0 34963 22 0 0 25 0 1 0 908318704 18554880 3030 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4530 3030 1111 63 0 4467 0
vsize: 18120
[startup+360.013 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 22546
Raw data (stat): 22544 (bsolo_lpr_cuts-) R 22543 31399 31398 0 -1 0 3130 0 4 0 35963 22 0 0 25 0 1 0 908318704 18690048 3054 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4563 3054 1111 63 0 4500 0
vsize: 18252
[startup+370.013 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 22546
Raw data (stat): 22544 (bsolo_lpr_cuts-) R 22543 31399 31398 0 -1 0 3154 0 4 0 36963 23 0 0 25 0 1 0 908318704 18845696 3078 4294967295 134512640 134716908 3221224560 3221222788 1077414435 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4601 3078 1111 63 0 4538 0
vsize: 18404
[startup+380.013 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 22546
Raw data (stat): 22544 (bsolo_lpr_cuts-) R 22543 31399 31398 0 -1 0 3177 0 4 0 37963 23 0 0 25 0 1 0 908318704 18845696 3101 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4601 3101 1111 63 0 4538 0
vsize: 18404
[startup+390.013 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 22546
Raw data (stat): 22544 (bsolo_lpr_cuts-) R 22543 31399 31398 0 -1 0 3200 0 4 0 38962 23 0 0 25 0 1 0 908318704 18980864 3124 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4634 3124 1111 63 0 4571 0
vsize: 18536
[startup+400.014 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 22546
Raw data (stat): 22544 (bsolo_lpr_cuts-) R 22543 31399 31398 0 -1 0 3223 0 4 0 39962 24 0 0 25 0 1 0 908318704 19128320 3147 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4670 3147 1111 63 0 4607 0
vsize: 18680
[startup+410.015 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 22546
Raw data (stat): 22544 (bsolo_lpr_cuts-) R 22543 31399 31398 0 -1 0 3246 0 4 0 40962 24 0 0 25 0 1 0 908318704 19128320 3170 4294967295 134512640 134716908 3221224560 3221222788 1077414395 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4670 3170 1111 63 0 4607 0
vsize: 18680
[startup+420.014 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 22546
Raw data (stat): 22544 (bsolo_lpr_cuts-) R 22543 31399 31398 0 -1 0 3277 0 4 0 41962 24 0 0 25 0 1 0 908318704 19263488 3201 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4703 3201 1111 63 0 4640 0
vsize: 18812
[startup+430.015 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 22546
Raw data (stat): 22544 (bsolo_lpr_cuts-) R 22543 31399 31398 0 -1 0 3293 0 4 0 42962 24 0 0 25 0 1 0 908318704 19415040 3217 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4740 3217 1111 63 0 4677 0
vsize: 18960
[startup+440.014 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 22546
Raw data (stat): 22544 (bsolo_lpr_cuts-) R 22543 31399 31398 0 -1 0 3318 0 4 0 43962 24 0 0 25 0 1 0 908318704 19415040 3242 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4740 3242 1111 63 0 4677 0
vsize: 18960
[startup+450.015 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 22546
Raw data (stat): 22544 (bsolo_lpr_cuts-) R 22543 31399 31398 0 -1 0 3347 0 4 0 44962 25 0 0 25 0 1 0 908318704 19550208 3271 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4773 3271 1111 63 0 4710 0
vsize: 19092
[startup+460.015 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 22546
Raw data (stat): 22544 (bsolo_lpr_cuts-) R 22543 31399 31398 0 -1 0 3371 0 4 0 45962 25 0 0 25 0 1 0 908318704 19705856 3295 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4811 3295 1111 63 0 4748 0
vsize: 19244
[startup+470.015 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 22546
Raw data (stat): 22544 (bsolo_lpr_cuts-) R 22543 31399 31398 0 -1 0 3387 0 4 0 46962 25 0 0 25 0 1 0 908318704 19705856 3311 4294967295 134512640 134716908 3221224560 3221222788 1077414426 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4811 3311 1111 63 0 4748 0
vsize: 19244
[startup+480.015 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 22546
Raw data (stat): 22544 (bsolo_lpr_cuts-) R 22543 31399 31398 0 -1 0 3410 0 4 0 47962 25 0 0 25 0 1 0 908318704 19861504 3334 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4849 3334 1111 63 0 4786 0
vsize: 19396
[startup+490.015 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 22546
Raw data (stat): 22544 (bsolo_lpr_cuts-) R 22543 31399 31398 0 -1 0 3440 0 4 0 48962 25 0 0 25 0 1 0 908318704 19996672 3364 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4882 3364 1111 63 0 4819 0
vsize: 19528
[startup+500.015 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 22546
Raw data (stat): 22544 (bsolo_lpr_cuts-) R 22543 31399 31398 0 -1 0 3463 0 4 0 49963 25 0 0 25 0 1 0 908318704 19996672 3387 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4882 3387 1111 63 0 4819 0
vsize: 19528
[startup+510.015 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 22546
Raw data (stat): 22544 (bsolo_lpr_cuts-) R 22543 31399 31398 0 -1 0 3487 0 4 0 50963 25 0 0 25 0 1 0 908318704 20144128 3411 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4918 3411 1111 63 0 4855 0
vsize: 19672
[startup+520.015 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 22546
Raw data (stat): 22544 (bsolo_lpr_cuts-) R 22543 31399 31398 0 -1 0 3512 0 4 0 51963 25 0 0 25 0 1 0 908318704 20279296 3436 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4951 3436 1111 63 0 4888 0
vsize: 19804
[startup+530.015 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 22546
Raw data (stat): 22544 (bsolo_lpr_cuts-) R 22543 31399 31398 0 -1 0 3535 0 4 0 52963 25 0 0 25 0 1 0 908318704 20279296 3459 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4951 3459 1111 63 0 4888 0
vsize: 19804
[startup+540.015 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 22546
Raw data (stat): 22544 (bsolo_lpr_cuts-) R 22543 31399 31398 0 -1 0 3564 0 4 0 53963 25 0 0 25 0 1 0 908318704 20434944 3488 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4989 3488 1111 63 0 4926 0
vsize: 19956
[startup+550.016 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 22546
Raw data (stat): 22544 (bsolo_lpr_cuts-) R 22543 31399 31398 0 -1 0 3588 0 4 0 54964 25 0 0 25 0 1 0 908318704 20570112 3512 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5022 3512 1111 63 0 4959 0
vsize: 20088
[startup+560.017 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 22546
Raw data (stat): 22544 (bsolo_lpr_cuts-) R 22543 31399 31398 0 -1 0 3611 0 4 0 55964 25 0 0 25 0 1 0 908318704 20717568 3535 4294967295 134512640 134716908 3221224560 3221222788 1077414435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5058 3535 1111 63 0 4995 0
vsize: 20232
[startup+570.016 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 22546
Raw data (stat): 22544 (bsolo_lpr_cuts-) R 22543 31399 31398 0 -1 0 3634 0 4 0 56964 25 0 0 25 0 1 0 908318704 20717568 3558 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5058 3558 1111 63 0 4995 0
vsize: 20232
[startup+580.016 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 22546
Raw data (stat): 22544 (bsolo_lpr_cuts-) R 22543 31399 31398 0 -1 0 3658 0 4 0 57964 25 0 0 25 0 1 0 908318704 20852736 3582 4294967295 134512640 134716908 3221224560 3221222788 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5091 3582 1111 63 0 5028 0
vsize: 20364
[startup+590.036 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 22546
Raw data (stat): 22544 (bsolo_lpr_cuts-) R 22543 31399 31398 0 -1 0 3689 0 4 0 58966 25 0 0 25 0 1 0 908318704 21008384 3613 4294967295 134512640 134716908 3221224560 3221222788 1077414435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5129 3613 1111 63 0 5066 0
vsize: 20516
[startup+600.042 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 22546
Raw data (stat): 22544 (bsolo_lpr_cuts-) R 22543 31399 31398 0 -1 0 3713 0 4 0 59967 25 0 0 25 0 1 0 908318704 21008384 3637 4294967295 134512640 134716908 3221224560 3221222788 1077414435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5129 3637 1111 63 0 5066 0
vsize: 20516
[startup+610.042 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 22546
Raw data (stat): 22544 (bsolo_lpr_cuts-) R 22543 31399 31398 0 -1 0 3736 0 4 0 60967 25 0 0 25 0 1 0 908318704 21143552 3660 4294967295 134512640 134716908 3221224560 3221222788 1077414426 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5162 3660 1111 63 0 5099 0
vsize: 20648
[startup+620.042 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 22546
Raw data (stat): 22544 (bsolo_lpr_cuts-) R 22543 31399 31398 0 -1 0 3759 0 4 0 61967 25 0 0 25 0 1 0 908318704 21295104 3683 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5199 3683 1111 63 0 5136 0
vsize: 20796
[startup+630.042 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 22546
Raw data (stat): 22544 (bsolo_lpr_cuts-) R 22543 31399 31398 0 -1 0 3782 0 4 0 62967 25 0 0 25 0 1 0 908318704 21295104 3706 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5199 3706 1111 63 0 5136 0
vsize: 20796
[startup+640.042 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 22546
Raw data (stat): 22544 (bsolo_lpr_cuts-) R 22543 31399 31398 0 -1 0 3805 0 4 0 63967 26 0 0 25 0 1 0 908318704 21450752 3729 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5237 3729 1111 63 0 5174 0
vsize: 20948
[startup+650.043 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 22546
Raw data (stat): 22544 (bsolo_lpr_cuts-) R 22543 31399 31398 0 -1 0 3836 0 4 0 64967 26 0 0 25 0 1 0 908318704 21585920 3760 4294967295 134512640 134716908 3221224560 3221222788 1077414376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5270 3760 1111 63 0 5207 0
vsize: 21080
[startup+660.044 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 22546
Raw data (stat): 22544 (bsolo_lpr_cuts-) R 22543 31399 31398 0 -1 0 3860 0 4 0 65968 26 0 0 25 0 1 0 908318704 21721088 3784 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5303 3784 1111 63 0 5240 0
vsize: 21212
[startup+670.043 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 22546
Raw data (stat): 22544 (bsolo_lpr_cuts-) R 22543 31399 31398 0 -1 0 3883 0 4 0 66968 26 0 0 25 0 1 0 908318704 21856256 3807 4294967295 134512640 134716908 3221224560 3221222788 1077414408 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5336 3807 1111 63 0 5273 0
vsize: 21344
[startup+680.044 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 22546
Raw data (stat): 22544 (bsolo_lpr_cuts-) R 22543 31399 31398 0 -1 0 3913 0 4 0 67968 26 0 0 25 0 1 0 908318704 21856256 3837 4294967295 134512640 134716908 3221224560 3221222788 1077414401 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5336 3837 1111 63 0 5273 0
vsize: 21344
[startup+690.044 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 22546
Raw data (stat): 22544 (bsolo_lpr_cuts-) R 22543 31399 31398 0 -1 0 3936 0 4 0 68968 26 0 0 25 0 1 0 908318704 22007808 3860 4294967295 134512640 134716908 3221224560 3221222788 1077414432 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5373 3860 1111 63 0 5310 0
vsize: 21492
[startup+700.044 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 22546
Raw data (stat): 22544 (bsolo_lpr_cuts-) R 22543 31399 31398 0 -1 0 3959 0 4 0 69968 26 0 0 25 0 1 0 908318704 22142976 3883 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5406 3883 1111 63 0 5343 0
vsize: 21624
[startup+710.045 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 22546
Raw data (stat): 22544 (bsolo_lpr_cuts-) R 22543 31399 31398 0 -1 0 3983 0 4 0 70969 26 0 0 25 0 1 0 908318704 22142976 3907 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5406 3907 1111 63 0 5343 0
vsize: 21624
[startup+720.045 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 22546
Raw data (stat): 22544 (bsolo_lpr_cuts-) R 22543 31399 31398 0 -1 0 4006 0 4 0 71969 26 0 0 25 0 1 0 908318704 22294528 3930 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5443 3930 1111 63 0 5380 0
vsize: 21772
[startup+730.045 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 22546
Raw data (stat): 22544 (bsolo_lpr_cuts-) R 22543 31399 31398 0 -1 0 4029 0 4 0 72969 26 0 0 25 0 1 0 908318704 22450176 3953 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5481 3953 1111 63 0 5418 0
vsize: 21924
[startup+740.044 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 22546
Raw data (stat): 22544 (bsolo_lpr_cuts-) R 22543 31399 31398 0 -1 0 4054 0 4 0 73969 26 0 0 25 0 1 0 908318704 22450176 3978 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5481 3978 1111 63 0 5418 0
vsize: 21924
[startup+750.045 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 22546
Raw data (stat): 22544 (bsolo_lpr_cuts-) R 22543 31399 31398 0 -1 0 4084 0 4 0 74969 26 0 0 25 0 1 0 908318704 22585344 4008 4294967295 134512640 134716908 3221224560 3221222788 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5514 4008 1111 63 0 5451 0
vsize: 22056
[startup+760.045 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 22546
Raw data (stat): 22544 (bsolo_lpr_cuts-) R 22543 31399 31398 0 -1 0 4107 0 4 0 75969 26 0 0 25 0 1 0 908318704 22740992 4031 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5552 4031 1111 63 0 5489 0
vsize: 22208
[startup+770.045 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 22546
Raw data (stat): 22544 (bsolo_lpr_cuts-) R 22543 31399 31398 0 -1 0 4131 0 4 0 76969 26 0 0 25 0 1 0 908318704 22740992 4055 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5552 4055 1111 63 0 5489 0
vsize: 22208
[startup+780.045 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 22546
Raw data (stat): 22544 (bsolo_lpr_cuts-) R 22543 31399 31398 0 -1 0 4155 0 4 0 77969 26 0 0 25 0 1 0 908318704 22876160 4079 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5585 4079 1111 63 0 5522 0
vsize: 22340
[startup+790.045 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 22546
Raw data (stat): 22544 (bsolo_lpr_cuts-) R 22543 31399 31398 0 -1 0 4178 0 4 0 78969 26 0 0 25 0 1 0 908318704 23023616 4102 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5621 4102 1111 63 0 5558 0
vsize: 22484
[startup+800.045 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 22546
Raw data (stat): 22544 (bsolo_lpr_cuts-) R 22543 31399 31398 0 -1 0 4202 0 4 0 79970 26 0 0 25 0 1 0 908318704 23158784 4126 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5654 4126 1111 63 0 5591 0
vsize: 22616
[startup+810.047 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 22546
Raw data (stat): 22544 (bsolo_lpr_cuts-) R 22543 31399 31398 0 -1 0 4234 0 4 0 80970 26 0 0 25 0 1 0 908318704 23158784 4158 4294967295 134512640 134716908 3221224560 3221222788 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5654 4158 1111 63 0 5591 0
vsize: 22616
[startup+820.046 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 22546
Raw data (stat): 22544 (bsolo_lpr_cuts-) R 22543 31399 31398 0 -1 0 4257 0 4 0 81970 26 0 0 25 0 1 0 908318704 23314432 4181 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5692 4181 1111 63 0 5629 0
vsize: 22768
[startup+830.046 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 22546
Raw data (stat): 22544 (bsolo_lpr_cuts-) R 22543 31399 31398 0 -1 0 4280 0 4 0 82970 26 0 0 25 0 1 0 908318704 23449600 4204 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5725 4204 1111 63 0 5662 0
vsize: 22900
[startup+840.046 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 22546
Raw data (stat): 22544 (bsolo_lpr_cuts-) R 22543 31399 31398 0 -1 0 4303 0 4 0 83970 26 0 0 25 0 1 0 908318704 23449600 4227 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5725 4227 1111 63 0 5662 0
vsize: 22900
[startup+850.047 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 22546
Raw data (stat): 22544 (bsolo_lpr_cuts-) R 22543 31399 31398 0 -1 0 4327 0 4 0 84971 26 0 0 25 0 1 0 908318704 23597056 4251 4294967295 134512640 134716908 3221224560 3221222788 1077414360 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5761 4251 1111 63 0 5698 0
vsize: 23044
[startup+860.047 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 22546
Raw data (stat): 22544 (bsolo_lpr_cuts-) R 22543 31399 31398 0 -1 0 4350 0 4 0 85971 26 0 0 25 0 1 0 908318704 23732224 4274 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5794 4274 1111 63 0 5731 0
vsize: 23176
[startup+870.046 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 22546
Raw data (stat): 22544 (bsolo_lpr_cuts-) R 22543 31399 31398 0 -1 0 4373 0 4 0 86971 26 0 0 25 0 1 0 908318704 23732224 4297 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5794 4297 1111 63 0 5731 0
vsize: 23176
[startup+880.046 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 22546
Raw data (stat): 22544 (bsolo_lpr_cuts-) R 22543 31399 31398 0 -1 0 4397 0 4 0 87971 26 0 0 25 0 1 0 908318704 23883776 4321 4294967295 134512640 134716908 3221224560 3221222788 1077414420 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5831 4321 1111 63 0 5768 0
vsize: 23324
[startup+890.046 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 22546
Raw data (stat): 22544 (bsolo_lpr_cuts-) R 22543 31399 31398 0 -1 0 4421 0 4 0 88971 26 0 0 25 0 1 0 908318704 24018944 4345 4294967295 134512640 134716908 3221224560 3221222788 1077414410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5864 4345 1111 63 0 5801 0
vsize: 23456
[startup+900.046 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 22546
Raw data (stat): 22544 (bsolo_lpr_cuts-) R 22543 31399 31398 0 -1 0 4451 0 4 0 89971 27 0 0 25 0 1 0 908318704 24174592 4375 4294967295 134512640 134716908 3221224560 3221222788 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5902 4375 1111 63 0 5839 0
vsize: 23608
[startup+910.046 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 22546
Raw data (stat): 22544 (bsolo_lpr_cuts-) R 22543 31399 31398 0 -1 0 4474 0 4 0 90971 27 0 0 25 0 1 0 908318704 24174592 4398 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5902 4398 1111 63 0 5839 0
vsize: 23608
[startup+920.072 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 22546
Raw data (stat): 22544 (bsolo_lpr_cuts-) R 22543 31399 31398 0 -1 0 4497 0 4 0 91974 27 0 0 25 0 1 0 908318704 24330240 4421 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5940 4421 1111 63 0 5877 0
vsize: 23760
[startup+930.099 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 22546
Raw data (stat): 22544 (bsolo_lpr_cuts-) R 22543 31399 31398 0 -1 0 4521 0 4 0 92977 27 0 0 25 0 1 0 908318704 24330240 4445 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5940 4445 1111 63 0 5877 0
vsize: 23760
[startup+940.098 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 22546
Raw data (stat): 22544 (bsolo_lpr_cuts-) R 22543 31399 31398 0 -1 0 4544 0 4 0 93977 27 0 0 25 0 1 0 908318704 24465408 4468 4294967295 134512640 134716908 3221224560 3221222788 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5973 4468 1111 63 0 5910 0
vsize: 23892
[startup+950.098 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 22546
Raw data (stat): 22544 (bsolo_lpr_cuts-) R 22543 31399 31398 0 -1 0 4568 0 4 0 94977 27 0 0 25 0 1 0 908318704 24612864 4492 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6009 4492 1111 63 0 5946 0
vsize: 24036
[startup+960.099 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 22546
Raw data (stat): 22544 (bsolo_lpr_cuts-) R 22543 31399 31398 0 -1 0 4600 0 4 0 95977 27 0 0 25 0 1 0 908318704 24748032 4524 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6042 4524 1111 63 0 5979 0
vsize: 24168
[startup+970.098 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 22546
Raw data (stat): 22544 (bsolo_lpr_cuts-) R 22543 31399 31398 0 -1 0 4624 0 4 0 96977 27 0 0 25 0 1 0 908318704 24748032 4548 4294967295 134512640 134716908 3221224560 3221222788 1077414376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6042 4548 1111 63 0 5979 0
vsize: 24168
[startup+980.098 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 22546
Raw data (stat): 22544 (bsolo_lpr_cuts-) R 22543 31399 31398 0 -1 0 4647 0 4 0 97977 27 0 0 25 0 1 0 908318704 24903680 4571 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6080 4571 1111 63 0 6017 0
vsize: 24320
[startup+990.099 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 22546
Raw data (stat): 22544 (bsolo_lpr_cuts-) R 22543 31399 31398 0 -1 0 4671 0 4 0 98977 27 0 0 25 0 1 0 908318704 25038848 4595 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6113 4595 1111 63 0 6050 0
vsize: 24452
[startup+1000.1 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 22546
Raw data (stat): 22544 (bsolo_lpr_cuts-) R 22543 31399 31398 0 -1 0 4694 0 4 0 99977 28 0 0 25 0 1 0 908318704 25038848 4618 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6113 4618 1111 63 0 6050 0
vsize: 24452
[startup+1010.1 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 22546
Raw data (stat): 22544 (bsolo_lpr_cuts-) R 22543 31399 31398 0 -1 0 4724 0 4 0 100977 28 0 0 25 0 1 0 908318704 25186304 4648 4294967295 134512640 134716908 3221224560 3221222788 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6149 4648 1111 63 0 6086 0
vsize: 24596
[startup+1020.1 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 22546
Raw data (stat): 22544 (bsolo_lpr_cuts-) R 22543 31399 31398 0 -1 0 4740 0 4 0 101977 28 0 0 25 0 1 0 908318704 25321472 4664 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6182 4664 1111 63 0 6119 0
vsize: 24728
[startup+1030.1 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 22546
Raw data (stat): 22544 (bsolo_lpr_cuts-) R 22543 31399 31398 0 -1 0 4765 0 4 0 102978 28 0 0 25 0 1 0 908318704 25321472 4689 4294967295 134512640 134716908 3221224560 3221222788 1077414408 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6182 4689 1111 63 0 6119 0
vsize: 24728
[startup+1040.1 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 22546
Raw data (stat): 22544 (bsolo_lpr_cuts-) R 22543 31399 31398 0 -1 0 4795 0 4 0 103978 28 0 0 25 0 1 0 908318704 25477120 4719 4294967295 134512640 134716908 3221224560 3221222788 1077414358 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6220 4719 1111 63 0 6157 0
vsize: 24880
[startup+1050.1 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 22546
Raw data (stat): 22544 (bsolo_lpr_cuts-) R 22543 31399 31398 0 -1 0 4818 0 4 0 104978 28 0 0 25 0 1 0 908318704 25612288 4742 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6253 4742 1111 63 0 6190 0
vsize: 25012
[startup+1060.1 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 22546
Raw data (stat): 22544 (bsolo_lpr_cuts-) R 22543 31399 31398 0 -1 0 4841 0 4 0 105978 28 0 0 25 0 1 0 908318704 25759744 4765 4294967295 134512640 134716908 3221224560 3221222788 1077414424 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6289 4765 1111 63 0 6226 0
vsize: 25156
[startup+1070.1 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 22546
Raw data (stat): 22544 (bsolo_lpr_cuts-) R 22543 31399 31398 0 -1 0 4864 0 4 0 106978 28 0 0 25 0 1 0 908318704 25759744 4788 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6289 4788 1111 63 0 6226 0
vsize: 25156
[startup+1080.1 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 22546
Raw data (stat): 22544 (bsolo_lpr_cuts-) R 22543 31399 31398 0 -1 0 4888 0 4 0 107978 28 0 0 25 0 1 0 908318704 25894912 4812 4294967295 134512640 134716908 3221224560 3221222788 1077414360 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6322 4812 1111 63 0 6259 0
vsize: 25288
[startup+1090.1 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 22546
Raw data (stat): 22544 (bsolo_lpr_cuts-) R 22543 31399 31398 0 -1 0 4911 0 4 0 108978 28 0 0 25 0 1 0 908318704 26046464 4835 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6359 4835 1111 63 0 6296 0
vsize: 25436
[startup+1100.1 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 22546
Raw data (stat): 22544 (bsolo_lpr_cuts-) R 22543 31399 31398 0 -1 0 4941 0 4 0 109978 28 0 0 25 0 1 0 908318704 26046464 4865 4294967295 134512640 134716908 3221224560 3221222788 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6359 4865 1111 63 0 6296 0
vsize: 25436
[startup+1110.1 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 22546
Raw data (stat): 22544 (bsolo_lpr_cuts-) R 22543 31399 31398 0 -1 0 4967 0 4 0 110979 28 0 0 25 0 1 0 908318704 26185728 4891 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6393 4891 1111 63 0 6330 0
vsize: 25572
[startup+1120.1 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 22546
Raw data (stat): 22544 (bsolo_lpr_cuts-) R 22543 31399 31398 0 -1 0 4990 0 4 0 111979 28 0 0 25 0 1 0 908318704 26337280 4914 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6430 4914 1111 63 0 6367 0
vsize: 25720
[startup+1130.1 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 22546
Raw data (stat): 22544 (bsolo_lpr_cuts-) R 22543 31399 31398 0 -1 0 5014 0 4 0 112979 28 0 0 25 0 1 0 908318704 26337280 4938 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6430 4938 1111 63 0 6367 0
vsize: 25720
[startup+1140.1 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 22546
Raw data (stat): 22544 (bsolo_lpr_cuts-) R 22543 31399 31398 0 -1 0 5043 0 4 0 113979 28 0 0 25 0 1 0 908318704 26492928 4967 4294967295 134512640 134716908 3221224560 3221222788 1077414336 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6468 4967 1111 63 0 6405 0
vsize: 25872
[startup+1150.1 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 22546
Raw data (stat): 22544 (bsolo_lpr_cuts-) R 22543 31399 31398 0 -1 0 5067 0 4 0 114979 28 0 0 25 0 1 0 908318704 26628096 4991 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6501 4991 1111 63 0 6438 0
vsize: 26004
[startup+1160.1 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 22546
Raw data (stat): 22544 (bsolo_lpr_cuts-) R 22543 31399 31398 0 -1 0 5090 0 4 0 115979 28 0 0 25 0 1 0 908318704 26775552 5014 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6537 5014 1111 63 0 6474 0
vsize: 26148
[startup+1170.1 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 22546
Raw data (stat): 22544 (bsolo_lpr_cuts-) R 22543 31399 31398 0 -1 0 5114 0 4 0 116980 28 0 0 25 0 1 0 908318704 26775552 5038 4294967295 134512640 134716908 3221224560 3221222788 1077414383 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6537 5038 1111 63 0 6474 0
vsize: 26148
[startup+1180.1 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 22546
Raw data (stat): 22544 (bsolo_lpr_cuts-) R 22543 31399 31398 0 -1 0 5139 0 4 0 117980 28 0 0 25 0 1 0 908318704 26910720 5063 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6570 5063 1111 63 0 6507 0
vsize: 26280
[startup+1190.1 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 22546
Raw data (stat): 22544 (bsolo_lpr_cuts-) R 22543 31399 31398 0 -1 0 5168 0 4 0 118980 28 0 0 25 0 1 0 908318704 27066368 5092 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6608 5092 1111 63 0 6545 0
vsize: 26432
[startup+1200.1 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 22546
Raw data (stat): 22544 (bsolo_lpr_cuts-) R 22543 31399 31398 0 -1 0 5192 0 4 0 119980 28 0 0 25 0 1 0 908318704 27066368 5116 4294967295 134512640 134716908 3221224560 3221222788 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6608 5116 1111 63 0 6545 0
vsize: 26432
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.11 s]
Raw data (loadavg): 1.00 1.00 0.94 1/54 22546
Raw data (stat): 22544 (bsolo_lpr_cuts-) Z 22543 31399 31398 0 -1 1036 5192 0 4 0 119980 29 0 0 25 0 1 0 908318704 0 0 4294967295 0 0 0 0 0 0 0 7 0 3222412051 0 0 17 1 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.11
CPU time (s): 1200.1
CPU user time (s): 1199.8
CPU system time (s): 0.297954
CPU usage (%): 99.9994
Max. virtual memory (Kb): 26432
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####