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/MIPLIB/miplib2003/normalized-mps-v2-13-7-mod011.opb
MD5SUM	5b9b020cb595d55e8dbba526590c1088
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	144804
Biggest coefficient in the objective function	37355509514240
Number of bits for the biggest coefficient in the objective function	46
Sum of the numbers in the objective function	86052429291555573
Number of bits of the sum of numbers in the objective function	57
Biggest number in a constraint	37355509514240
Number of bits of the biggest number in a constraint	46
Biggest sum of numbers in a constraint	86052429291555573
Number of bits of the biggest sum of numbers	57
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	1.9477
Number of variables	211663
Total number of constraints	6093
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	128
Number of constraints which are nor clauses,nor cardinality constraints	5965
Minimum length of a constraint	1
Maximum length of a constraint	16460
Trace number 40348

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc1 THE 2005-06-08 07:36:48 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=28407 boxname=wulflinc1 idbench=1363 idsolver=20 numberseed=0
MD5SUM SOLVER: f6aa7fb267fa9710116626be7e6d3048  /oldhome/oroussel/solvers/bsolo_lpr-v2
MD5SUM BENCH:  5b9b020cb595d55e8dbba526590c1088  /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-13-7-mod011.opb
REAL COMMAND:  bsolo_lpr-v2 /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-13-7-mod011.opb
IDLAUNCH: 28407
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.053
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.053
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:        588420 kB
Buffers:         29376 kB
Cached:         391328 kB
SwapCached:       1168 kB
Active:          53488 kB
Inactive:       369440 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        588168 kB
SwapTotal:     2097136 kB
SwapFree:      2094844 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5260 kB
Slab:            17644 kB
Committed_AS:    92720 kB
PageTables:        332 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-08 07:56:51 (client local time) WITH STATUS 0 IN 1200.26 SECONDS
stats: 28407 7 1200.26 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.01 1.00 0.93 2/55 20037
Raw data (stat): 20037 (runsolver) R 20036 8378 8377 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 843028481 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+9.99988 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 20037
Raw data (stat): 20037 (bsolo_lpr-v2) R 20036 8378 8377 0 -1 0 1703 0 0 0 992 5 0 0 25 0 1 0 843028481 16723968 1623 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4083 1623 1111 63 0 4020 0
vsize: 16332
[startup+20.0006 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 20037
Raw data (stat): 20037 (bsolo_lpr-v2) R 20036 8378 8377 0 -1 0 1978 0 0 0 1992 6 0 0 25 0 1 0 843028481 17895424 1898 4294967295 134512640 134716908 3221224576 3221222804 1077414358 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4369 1898 1111 63 0 4306 0
vsize: 17476
[startup+30.0004 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 20037
Raw data (stat): 20037 (bsolo_lpr-v2) R 20036 8378 8377 0 -1 0 2122 0 0 0 2992 6 0 0 25 0 1 0 843028481 18436096 2042 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4501 2042 1111 63 0 4438 0
vsize: 18004
[startup+40.0002 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 20037
Raw data (stat): 20037 (bsolo_lpr-v2) R 20036 8378 8377 0 -1 0 2242 0 0 0 3992 6 0 0 25 0 1 0 843028481 18980864 2162 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4634 2162 1111 63 0 4571 0
vsize: 18536
[startup+50.001 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 20037
Raw data (stat): 20037 (bsolo_lpr-v2) R 20036 8378 8377 0 -1 0 2388 0 0 0 4992 6 0 0 25 0 1 0 843028481 19525632 2308 4294967295 134512640 134716908 3221224576 3221222804 1077414408 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4767 2308 1111 63 0 4704 0
vsize: 19068
[startup+60.0011 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 20037
Raw data (stat): 20037 (bsolo_lpr-v2) R 20036 8378 8377 0 -1 0 2527 0 0 0 5992 7 0 0 25 0 1 0 843028481 20066304 2447 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4899 2447 1111 63 0 4836 0
vsize: 19596
[startup+70.0015 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 20037
Raw data (stat): 20037 (bsolo_lpr-v2) R 20036 8378 8377 0 -1 0 2671 0 0 0 6992 7 0 0 25 0 1 0 843028481 20606976 2591 4294967295 134512640 134716908 3221224576 3221222804 1077414385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5031 2591 1111 63 0 4968 0
vsize: 20124
[startup+80.0023 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 20037
Raw data (stat): 20037 (bsolo_lpr-v2) R 20036 8378 8377 0 -1 0 2832 0 0 0 7992 7 0 0 25 0 1 0 843028481 21291008 2752 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5198 2752 1111 63 0 5135 0
vsize: 20792
[startup+90.0021 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 20037
Raw data (stat): 20037 (bsolo_lpr-v2) R 20036 8378 8377 0 -1 0 2959 0 0 0 8992 7 0 0 25 0 1 0 843028481 21835776 2879 4294967295 134512640 134716908 3221224576 3221222804 1077414435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5331 2879 1111 63 0 5268 0
vsize: 21324
[startup+100.002 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 20037
Raw data (stat): 20037 (bsolo_lpr-v2) R 20036 8378 8377 0 -1 0 3091 0 0 0 9992 8 0 0 25 0 1 0 843028481 22376448 3011 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5463 3011 1111 63 0 5400 0
vsize: 21852
[startup+110.015 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 20037
Raw data (stat): 20037 (bsolo_lpr-v2) R 20036 8378 8377 0 -1 0 3219 0 0 0 10993 8 0 0 25 0 1 0 843028481 22925312 3139 4294967295 134512640 134716908 3221224576 3221222884 1076999584 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5597 3139 1111 63 0 5534 0
vsize: 22388
[startup+120.016 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 20037
Raw data (stat): 20037 (bsolo_lpr-v2) R 20036 8378 8377 0 -1 0 3351 0 0 0 11993 8 0 0 25 0 1 0 843028481 23470080 3271 4294967295 134512640 134716908 3221224576 3221222804 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5730 3271 1111 63 0 5667 0
vsize: 22920
[startup+130.016 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 20037
Raw data (stat): 20037 (bsolo_lpr-v2) R 20036 8378 8377 0 -1 0 3473 0 0 0 12993 8 0 0 25 0 1 0 843028481 24018944 3393 4294967295 134512640 134716908 3221224576 3221222804 1077414433 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5864 3393 1111 63 0 5801 0
vsize: 23456
[startup+140.016 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 20037
Raw data (stat): 20037 (bsolo_lpr-v2) R 20036 8378 8377 0 -1 0 3599 0 0 0 13993 8 0 0 25 0 1 0 843028481 24428544 3519 4294967295 134512640 134716908 3221224576 3221222804 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5964 3519 1111 63 0 5901 0
vsize: 23856
[startup+150.017 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 20037
Raw data (stat): 20037 (bsolo_lpr-v2) R 20036 8378 8377 0 -1 0 3742 0 0 0 14994 8 0 0 25 0 1 0 843028481 25104384 3662 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6129 3662 1111 63 0 6066 0
vsize: 24516
[startup+160.017 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 20037
Raw data (stat): 20037 (bsolo_lpr-v2) R 20036 8378 8377 0 -1 0 3890 0 0 0 15993 8 0 0 25 0 1 0 843028481 25649152 3810 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6262 3810 1111 63 0 6199 0
vsize: 25048
[startup+170.017 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 20037
Raw data (stat): 20037 (bsolo_lpr-v2) R 20036 8378 8377 0 -1 0 4028 0 0 0 16993 9 0 0 25 0 1 0 843028481 26189824 3948 4294967295 134512640 134716908 3221224576 3221222804 1077414360 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6394 3948 1111 63 0 6331 0
vsize: 25576
[startup+180.018 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 20037
Raw data (stat): 20037 (bsolo_lpr-v2) R 20036 8378 8377 0 -1 0 4167 0 0 0 17993 9 0 0 25 0 1 0 843028481 26865664 4087 4294967295 134512640 134716908 3221224576 3221222804 1077414357 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6559 4087 1111 63 0 6496 0
vsize: 26236
[startup+190.018 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 20037
Raw data (stat): 20037 (bsolo_lpr-v2) R 20036 8378 8377 0 -1 0 4307 0 0 0 18993 9 0 0 25 0 1 0 843028481 27414528 4227 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6693 4227 1111 63 0 6630 0
vsize: 26772
[startup+200.018 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 20037
Raw data (stat): 20037 (bsolo_lpr-v2) R 20036 8378 8377 0 -1 0 4434 0 0 0 19993 9 0 0 25 0 1 0 843028481 27959296 4354 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6826 4354 1111 63 0 6763 0
vsize: 27304
[startup+210.018 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 20037
Raw data (stat): 20037 (bsolo_lpr-v2) R 20036 8378 8377 0 -1 0 4592 0 0 0 20993 10 0 0 25 0 1 0 843028481 28499968 4512 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6958 4512 1111 63 0 6895 0
vsize: 27832
[startup+220.017 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 20037
Raw data (stat): 20037 (bsolo_lpr-v2) R 20036 8378 8377 0 -1 0 4749 0 0 0 21993 10 0 0 25 0 1 0 843028481 29196288 4669 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7128 4669 1111 63 0 7065 0
vsize: 28512
[startup+230.017 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 20037
Raw data (stat): 20037 (bsolo_lpr-v2) R 20036 8378 8377 0 -1 0 4875 0 0 0 22993 10 0 0 25 0 1 0 843028481 29741056 4795 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7261 4795 1111 63 0 7198 0
vsize: 29044
[startup+240.017 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 20037
Raw data (stat): 20037 (bsolo_lpr-v2) R 20036 8378 8377 0 -1 0 5016 0 0 0 23993 10 0 0 25 0 1 0 843028481 30285824 4936 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7394 4936 1111 63 0 7331 0
vsize: 29576
[startup+250.018 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 20037
Raw data (stat): 20037 (bsolo_lpr-v2) R 20036 8378 8377 0 -1 0 5160 0 0 0 24993 11 0 0 25 0 1 0 843028481 30826496 5080 4294967295 134512640 134716908 3221224576 3221222804 1077414376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7526 5080 1111 63 0 7463 0
vsize: 30104
[startup+260.045 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 20037
Raw data (stat): 20037 (bsolo_lpr-v2) R 20036 8378 8377 0 -1 0 5313 0 0 0 25995 11 0 0 25 0 1 0 843028481 31522816 5233 4294967295 134512640 134716908 3221224576 3221222804 1077414401 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7696 5233 1111 63 0 7633 0
vsize: 30784
[startup+270.044 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 20037
Raw data (stat): 20037 (bsolo_lpr-v2) R 20036 8378 8377 0 -1 0 5444 0 0 0 26995 11 0 0 25 0 1 0 843028481 32071680 5364 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7830 5364 1111 63 0 7767 0
vsize: 31320
[startup+280.044 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 20037
Raw data (stat): 20037 (bsolo_lpr-v2) R 20036 8378 8377 0 -1 0 5589 0 0 0 27995 12 0 0 25 0 1 0 843028481 32632832 5509 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7967 5509 1111 63 0 7904 0
vsize: 31868
[startup+290.044 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 20037
Raw data (stat): 20037 (bsolo_lpr-v2) R 20036 8378 8377 0 -1 0 5717 0 0 0 28995 12 0 0 25 0 1 0 843028481 33177600 5637 4294967295 134512640 134716908 3221224576 3221223232 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8100 5637 1111 63 0 8037 0
vsize: 32400
[startup+300.044 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 20037
Raw data (stat): 20037 (bsolo_lpr-v2) R 20036 8378 8377 0 -1 0 5868 0 0 0 29994 12 0 0 25 0 1 0 843028481 33722368 5788 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8233 5788 1111 63 0 8170 0
vsize: 32932
[startup+310.043 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 20037
Raw data (stat): 20037 (bsolo_lpr-v2) R 20036 8378 8377 0 -1 0 6007 0 0 0 30994 13 0 0 25 0 1 0 843028481 34287616 5927 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8371 5927 1111 63 0 8308 0
vsize: 33484
[startup+320.043 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 20037
Raw data (stat): 20037 (bsolo_lpr-v2) R 20036 8378 8377 0 -1 0 6135 0 0 0 31994 13 0 0 25 0 1 0 843028481 34836480 6055 4294967295 134512640 134716908 3221224576 3221222804 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8505 6055 1111 63 0 8442 0
vsize: 34020
[startup+330.044 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 20037
Raw data (stat): 20037 (bsolo_lpr-v2) R 20036 8378 8377 0 -1 0 6292 0 0 0 32994 14 0 0 25 0 1 0 843028481 35532800 6212 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8675 6212 1111 63 0 8612 0
vsize: 34700
[startup+340.044 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 20037
Raw data (stat): 20037 (bsolo_lpr-v2) R 20036 8378 8377 0 -1 0 6431 0 0 0 33994 14 0 0 25 0 1 0 843028481 36073472 6351 4294967295 134512640 134716908 3221224576 3221222804 1077414374 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8807 6351 1111 63 0 8744 0
vsize: 35228
[startup+350.044 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 20037
Raw data (stat): 20037 (bsolo_lpr-v2) R 20036 8378 8377 0 -1 0 6578 0 0 0 34994 14 0 0 25 0 1 0 843028481 36753408 6498 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8973 6499 1111 63 0 8910 0
vsize: 35892
[startup+360.044 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 20037
Raw data (stat): 20037 (bsolo_lpr-v2) R 20036 8378 8377 0 -1 0 6728 0 0 0 35994 14 0 0 25 0 1 0 843028481 37314560 6648 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9110 6648 1111 63 0 9047 0
vsize: 36440
[startup+370.043 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 20037
Raw data (stat): 20037 (bsolo_lpr-v2) R 20036 8378 8377 0 -1 0 6868 0 0 0 36994 14 0 0 25 0 1 0 843028481 37859328 6788 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9243 6788 1111 63 0 9180 0
vsize: 36972
[startup+380.043 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 20037
Raw data (stat): 20037 (bsolo_lpr-v2) R 20036 8378 8377 0 -1 0 7001 0 0 0 37994 15 0 0 25 0 1 0 843028481 38400000 6921 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9375 6921 1111 63 0 9312 0
vsize: 37500
[startup+390.043 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 20037
Raw data (stat): 20037 (bsolo_lpr-v2) R 20036 8378 8377 0 -1 0 7165 0 0 0 38994 15 0 0 25 0 1 0 843028481 39075840 7085 4294967295 134512640 134716908 3221224576 3221222804 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9540 7085 1111 63 0 9477 0
vsize: 38160
[startup+400.044 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 20037
Raw data (stat): 20037 (bsolo_lpr-v2) R 20036 8378 8377 0 -1 0 7317 0 0 0 39994 15 0 0 25 0 1 0 843028481 39645184 7237 4294967295 134512640 134716908 3221224576 3221222804 1077414382 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9679 7237 1111 63 0 9616 0
vsize: 38716
[startup+410.043 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 20037
Raw data (stat): 20037 (bsolo_lpr-v2) R 20036 8378 8377 0 -1 0 7456 0 0 0 40993 15 0 0 25 0 1 0 843028481 40210432 7376 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9817 7376 1111 63 0 9754 0
vsize: 39268
[startup+420.044 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 20037
Raw data (stat): 20037 (bsolo_lpr-v2) R 20036 8378 8377 0 -1 0 7609 0 0 0 41993 16 0 0 25 0 1 0 843028481 40914944 7529 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9989 7529 1111 63 0 9926 0
vsize: 39956
[startup+430.044 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 20037
Raw data (stat): 20037 (bsolo_lpr-v2) R 20036 8378 8377 0 -1 0 7747 0 0 0 42993 16 0 0 25 0 1 0 843028481 41455616 7667 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10121 7667 1111 63 0 10058 0
vsize: 40484
[startup+440.044 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 20037
Raw data (stat): 20037 (bsolo_lpr-v2) R 20036 8378 8377 0 -1 0 7900 0 0 0 43993 16 0 0 25 0 1 0 843028481 42156032 7820 4294967295 134512640 134716908 3221224576 3221222804 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10292 7820 1111 63 0 10229 0
vsize: 41168
[startup+450.043 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 20037
Raw data (stat): 20037 (bsolo_lpr-v2) R 20036 8378 8377 0 -1 0 8046 0 0 0 44993 17 0 0 25 0 1 0 843028481 42700800 7966 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10425 7966 1111 63 0 10362 0
vsize: 41700
[startup+460.043 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 20037
Raw data (stat): 20037 (bsolo_lpr-v2) R 20036 8378 8377 0 -1 0 8185 0 0 0 45993 17 0 0 25 0 1 0 843028481 43241472 8105 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10557 8105 1111 63 0 10494 0
vsize: 42228
[startup+470.043 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 20037
Raw data (stat): 20037 (bsolo_lpr-v2) R 20036 8378 8377 0 -1 0 8317 0 0 0 46992 17 0 0 25 0 1 0 843028481 43782144 8237 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10689 8237 1111 63 0 10626 0
vsize: 42756
[startup+480.043 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 20037
Raw data (stat): 20037 (bsolo_lpr-v2) R 20036 8378 8377 0 -1 0 8464 0 0 0 47992 18 0 0 25 0 1 0 843028481 44466176 8384 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10856 8384 1111 63 0 10793 0
vsize: 43424
[startup+490.043 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 20037
Raw data (stat): 20037 (bsolo_lpr-v2) R 20036 8378 8377 0 -1 0 8614 0 0 0 48992 18 0 0 25 0 1 0 843028481 45031424 8534 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10994 8534 1111 63 0 10931 0
vsize: 43976
[startup+500.043 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 20037
Raw data (stat): 20037 (bsolo_lpr-v2) R 20036 8378 8377 0 -1 0 8773 0 0 0 49992 18 0 0 25 0 1 0 843028481 45600768 8693 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11133 8693 1111 63 0 11070 0
vsize: 44532
[startup+510.043 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 20037
Raw data (stat): 20037 (bsolo_lpr-v2) R 20036 8378 8377 0 -1 0 8906 0 0 0 50992 18 0 0 25 0 1 0 843028481 46276608 8826 4294967295 134512640 134716908 3221224576 3221222804 1077414433 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11298 8826 1111 63 0 11235 0
vsize: 45192
[startup+520.043 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 20037
Raw data (stat): 20037 (bsolo_lpr-v2) R 20036 8378 8377 0 -1 0 9069 0 0 0 51992 18 0 0 25 0 1 0 843028481 46837760 8989 4294967295 134512640 134716908 3221224576 3221222804 1077414336 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11435 8989 1111 63 0 11372 0
vsize: 45740
[startup+530.043 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 20037
Raw data (stat): 20037 (bsolo_lpr-v2) R 20036 8378 8377 0 -1 0 9203 0 0 0 52992 19 0 0 25 0 1 0 843028481 47382528 9123 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11568 9123 1111 63 0 11505 0
vsize: 46272
[startup+540.043 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 20037
Raw data (stat): 20037 (bsolo_lpr-v2) R 20036 8378 8377 0 -1 0 9365 0 0 0 53991 19 0 0 25 0 1 0 843028481 48128000 9285 4294967295 134512640 134716908 3221224576 3221222804 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11750 9285 1111 63 0 11687 0
vsize: 47000
[startup+550.043 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 20037
Raw data (stat): 20037 (bsolo_lpr-v2) R 20036 8378 8377 0 -1 0 9511 0 0 0 54991 20 0 0 25 0 1 0 843028481 48807936 9431 4294967295 134512640 134716908 3221224576 3221222804 1077414357 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11916 9431 1111 63 0 11853 0
vsize: 47664
[startup+560.043 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 20037
Raw data (stat): 20037 (bsolo_lpr-v2) R 20036 8378 8377 0 -1 0 9651 0 0 0 55990 21 0 0 25 0 1 0 843028481 49348608 9571 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12048 9571 1111 63 0 11985 0
vsize: 48192
[startup+570.043 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 20037
Raw data (stat): 20037 (bsolo_lpr-v2) R 20036 8378 8377 0 -1 0 9808 0 0 0 56990 21 0 0 25 0 1 0 843028481 49909760 9728 4294967295 134512640 134716908 3221224576 3221222804 1077414376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12185 9728 1111 63 0 12122 0
vsize: 48740
[startup+580.043 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 20037
Raw data (stat): 20037 (bsolo_lpr-v2) R 20036 8378 8377 0 -1 0 9948 0 0 0 57990 22 0 0 25 0 1 0 843028481 50593792 9868 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12352 9868 1111 63 0 12289 0
vsize: 49408
[startup+590.043 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 20037
Raw data (stat): 20037 (bsolo_lpr-v2) R 20036 8378 8377 0 -1 0 10086 0 0 0 58990 22 0 0 25 0 1 0 843028481 51134464 10006 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12484 10006 1111 63 0 12421 0
vsize: 49936
[startup+600.043 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 20037
Raw data (stat): 20037 (bsolo_lpr-v2) R 20036 8378 8377 0 -1 0 10221 0 0 0 59989 22 0 0 25 0 1 0 843028481 51675136 10141 4294967295 134512640 134716908 3221224576 3221222804 1077414385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12616 10141 1111 63 0 12553 0
vsize: 50464
[startup+610.043 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 20037
Raw data (stat): 20037 (bsolo_lpr-v2) R 20036 8378 8377 0 -1 0 10386 0 0 0 60989 23 0 0 25 0 1 0 843028481 52359168 10306 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12783 10306 1111 63 0 12720 0
vsize: 51132
[startup+620.043 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 20037
Raw data (stat): 20037 (bsolo_lpr-v2) R 20036 8378 8377 0 -1 0 10513 0 0 0 61989 23 0 0 25 0 1 0 843028481 52899840 10433 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12915 10433 1111 63 0 12852 0
vsize: 51660
[startup+630.043 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 20037
Raw data (stat): 20037 (bsolo_lpr-v2) R 20036 8378 8377 0 -1 0 10666 0 0 0 62989 24 0 0 25 0 1 0 843028481 53444608 10586 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13048 10586 1111 63 0 12985 0
vsize: 52192
[startup+640.043 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 20037
Raw data (stat): 20037 (bsolo_lpr-v2) R 20036 8378 8377 0 -1 0 10823 0 0 0 63989 24 0 0 25 0 1 0 843028481 54140928 10743 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13218 10743 1111 63 0 13155 0
vsize: 52872
[startup+650.042 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 20037
Raw data (stat): 20037 (bsolo_lpr-v2) R 20036 8378 8377 0 -1 0 10967 0 0 0 64989 24 0 0 25 0 1 0 843028481 54681600 10887 4294967295 134512640 134716908 3221224576 3221222804 1077414385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13350 10887 1111 63 0 13287 0
vsize: 53400
[startup+660.042 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 20037
Raw data (stat): 20037 (bsolo_lpr-v2) R 20036 8378 8377 0 -1 0 11120 0 0 0 65989 24 0 0 25 0 1 0 843028481 55361536 11040 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13516 11040 1111 63 0 13453 0
vsize: 54064
[startup+670.042 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 20037
Raw data (stat): 20037 (bsolo_lpr-v2) R 20036 8378 8377 0 -1 0 11266 0 0 0 66988 25 0 0 25 0 1 0 843028481 55926784 11186 4294967295 134512640 134716908 3221224576 3221222804 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13654 11186 1111 63 0 13591 0
vsize: 54616
[startup+680.043 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 20037
Raw data (stat): 20037 (bsolo_lpr-v2) R 20036 8378 8377 0 -1 0 11413 0 0 0 67989 25 0 0 25 0 1 0 843028481 56475648 11333 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13788 11333 1111 63 0 13725 0
vsize: 55152
[startup+690.042 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 20037
Raw data (stat): 20037 (bsolo_lpr-v2) R 20036 8378 8377 0 -1 0 11565 0 0 0 68988 25 0 0 25 0 1 0 843028481 57171968 11485 4294967295 134512640 134716908 3221224576 3221222804 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13958 11485 1111 63 0 13895 0
vsize: 55832
[startup+700.042 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 20037
Raw data (stat): 20037 (bsolo_lpr-v2) R 20036 8378 8377 0 -1 0 11717 0 0 0 69988 25 0 0 25 0 1 0 843028481 57712640 11637 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14090 11637 1111 63 0 14027 0
vsize: 56360
[startup+710.042 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 20037
Raw data (stat): 20037 (bsolo_lpr-v2) R 20036 8378 8377 0 -1 0 11863 0 0 0 70988 26 0 0 25 0 1 0 843028481 58392576 11783 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14256 11783 1111 63 0 14193 0
vsize: 57024
[startup+720.042 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 20037
Raw data (stat): 20037 (bsolo_lpr-v2) R 20036 8378 8377 0 -1 0 12008 0 0 0 71988 26 0 0 25 0 1 0 843028481 58933248 11928 4294967295 134512640 134716908 3221224576 3221222804 1077414360 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14388 11928 1111 63 0 14325 0
vsize: 57552
[startup+730.043 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 20037
Raw data (stat): 20037 (bsolo_lpr-v2) R 20036 8378 8377 0 -1 0 12162 0 0 0 72988 26 0 0 25 0 1 0 843028481 59613184 12082 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14554 12082 1111 63 0 14491 0
vsize: 58216
[startup+740.042 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 20037
Raw data (stat): 20037 (bsolo_lpr-v2) R 20036 8378 8377 0 -1 0 12319 0 0 0 73988 26 0 0 25 0 1 0 843028481 60153856 12239 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14686 12239 1111 63 0 14623 0
vsize: 58744
[startup+750.043 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 20037
Raw data (stat): 20037 (bsolo_lpr-v2) R 20036 8378 8377 0 -1 0 12471 0 0 0 74988 26 0 0 25 0 1 0 843028481 60850176 12391 4294967295 134512640 134716908 3221224576 3221222804 1077414360 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14856 12391 1111 63 0 14793 0
vsize: 59424
[startup+760.043 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 20037
Raw data (stat): 20037 (bsolo_lpr-v2) R 20036 8378 8377 0 -1 0 12618 0 0 0 75988 27 0 0 25 0 1 0 843028481 61394944 12538 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14989 12538 1111 63 0 14926 0
vsize: 59956
[startup+770.043 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 20037
Raw data (stat): 20037 (bsolo_lpr-v2) R 20036 8378 8377 0 -1 0 12756 0 0 0 76987 28 0 0 25 0 1 0 843028481 62070784 12676 4294967295 134512640 134716908 3221224576 3221222804 1077414358 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15154 12676 1111 63 0 15091 0
vsize: 60616
[startup+780.044 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 20037
Raw data (stat): 20037 (bsolo_lpr-v2) R 20036 8378 8377 0 -1 0 12903 0 0 0 77987 28 0 0 25 0 1 0 843028481 62615552 12823 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15287 12823 1111 63 0 15224 0
vsize: 61148
[startup+790.043 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 20037
Raw data (stat): 20037 (bsolo_lpr-v2) R 20036 8378 8377 0 -1 0 13041 0 0 0 78987 28 0 0 25 0 1 0 843028481 63156224 12961 4294967295 134512640 134716908 3221224576 3221222804 1077414433 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15419 12961 1111 63 0 15356 0
vsize: 61676
[startup+800.043 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 20037
Raw data (stat): 20037 (bsolo_lpr-v2) R 20036 8378 8377 0 -1 0 13187 0 0 0 79987 28 0 0 25 0 1 0 843028481 63832064 13107 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15584 13107 1111 63 0 15521 0
vsize: 62336
[startup+810.043 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 20037
Raw data (stat): 20037 (bsolo_lpr-v2) R 20036 8378 8377 0 -1 0 13333 0 0 0 80987 29 0 0 25 0 1 0 843028481 64376832 13253 4294967295 134512640 134716908 3221224576 3221222804 1077414435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15717 13253 1111 63 0 15654 0
vsize: 62868
[startup+820.043 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 20037
Raw data (stat): 20037 (bsolo_lpr-v2) R 20036 8378 8377 0 -1 0 13479 0 0 0 81986 29 0 0 25 0 1 0 843028481 64917504 13399 4294967295 134512640 134716908 3221224576 3221222804 1077414360 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15849 13399 1111 63 0 15786 0
vsize: 63396
[startup+830.043 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 20037
Raw data (stat): 20037 (bsolo_lpr-v2) R 20036 8378 8377 0 -1 0 13597 0 0 0 82986 29 0 0 25 0 1 0 843028481 65474560 13517 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15985 13517 1111 63 0 15922 0
vsize: 63940
[startup+840.043 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 20037
Raw data (stat): 20037 (bsolo_lpr-v2) R 20036 8378 8377 0 -1 0 13706 0 0 0 83987 29 0 0 25 0 1 0 843028481 65896448 13626 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16088 13626 1111 63 0 16025 0
vsize: 64352
[startup+850.043 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 20037
Raw data (stat): 20037 (bsolo_lpr-v2) R 20036 8378 8377 0 -1 0 13822 0 0 0 84987 30 0 0 25 0 1 0 843028481 66314240 13742 4294967295 134512640 134716908 3221224576 3221222804 1077414376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16190 13742 1111 63 0 16127 0
vsize: 64760
[startup+860.043 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 20037
Raw data (stat): 20037 (bsolo_lpr-v2) R 20036 8378 8377 0 -1 0 13934 0 0 0 85987 30 0 0 25 0 1 0 843028481 66883584 13854 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16329 13854 1111 63 0 16266 0
vsize: 65316
[startup+870.043 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 20037
Raw data (stat): 20037 (bsolo_lpr-v2) R 20036 8378 8377 0 -1 0 14044 0 0 0 86986 30 0 0 25 0 1 0 843028481 67301376 13964 4294967295 134512640 134716908 3221224576 3221222804 1077414376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16431 13964 1111 63 0 16368 0
vsize: 65724
[startup+880.042 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 20037
Raw data (stat): 20037 (bsolo_lpr-v2) R 20036 8378 8377 0 -1 0 14154 0 0 0 87986 31 0 0 25 0 1 0 843028481 67723264 14074 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16534 14074 1111 63 0 16471 0
vsize: 66136
[startup+890.042 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 20037
Raw data (stat): 20037 (bsolo_lpr-v2) R 20036 8378 8377 0 -1 0 14265 0 0 0 88986 31 0 0 25 0 1 0 843028481 68149248 14185 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16638 14185 1111 63 0 16575 0
vsize: 66552
[startup+900.042 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 20037
Raw data (stat): 20037 (bsolo_lpr-v2) R 20036 8378 8377 0 -1 0 14375 0 0 0 89986 31 0 0 25 0 1 0 843028481 68571136 14295 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16741 14295 1111 63 0 16678 0
vsize: 66964
[startup+910.042 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 20037
Raw data (stat): 20037 (bsolo_lpr-v2) R 20036 8378 8377 0 -1 0 14486 0 0 0 90985 32 0 0 25 0 1 0 843028481 69136384 14406 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16879 14406 1111 63 0 16816 0
vsize: 67516
[startup+920.042 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 20037
Raw data (stat): 20037 (bsolo_lpr-v2) R 20036 8378 8377 0 -1 0 14603 0 0 0 91985 32 0 0 25 0 1 0 843028481 69558272 14523 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16982 14523 1111 63 0 16919 0
vsize: 67928
[startup+930.041 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 20037
Raw data (stat): 20037 (bsolo_lpr-v2) R 20036 8378 8377 0 -1 0 14712 0 0 0 92985 32 0 0 25 0 1 0 843028481 69976064 14632 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17084 14632 1111 63 0 17021 0
vsize: 68336
[startup+940.041 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 20037
Raw data (stat): 20037 (bsolo_lpr-v2) R 20036 8378 8377 0 -1 0 14824 0 0 0 93985 32 0 0 25 0 1 0 843028481 70406144 14744 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17189 14744 1111 63 0 17126 0
vsize: 68756
[startup+950.041 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 20037
Raw data (stat): 20037 (bsolo_lpr-v2) R 20036 8378 8377 0 -1 0 14934 0 0 0 94985 32 0 0 25 0 1 0 843028481 70967296 14854 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17326 14854 1111 63 0 17263 0
vsize: 69304
[startup+960.042 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 20037
Raw data (stat): 20037 (bsolo_lpr-v2) R 20036 8378 8377 0 -1 0 15045 0 0 0 95985 33 0 0 25 0 1 0 843028481 71385088 14965 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17428 14965 1111 63 0 17365 0
vsize: 69712
[startup+970.042 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 20037
Raw data (stat): 20037 (bsolo_lpr-v2) R 20036 8378 8377 0 -1 0 15161 0 0 0 96985 33 0 0 25 0 1 0 843028481 71811072 15081 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17532 15081 1111 63 0 17469 0
vsize: 70128
[startup+980.041 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 20037
Raw data (stat): 20037 (bsolo_lpr-v2) R 20036 8378 8377 0 -1 0 15271 0 0 0 97985 33 0 0 25 0 1 0 843028481 72232960 15191 4294967295 134512640 134716908 3221224576 3221222804 1077414376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17635 15191 1111 63 0 17572 0
vsize: 70540
[startup+990.041 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 20037
Raw data (stat): 20037 (bsolo_lpr-v2) R 20036 8378 8377 0 -1 0 15382 0 0 0 98985 33 0 0 25 0 1 0 843028481 72798208 15302 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17773 15302 1111 63 0 17710 0
vsize: 71092
[startup+1000.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 20037
Raw data (stat): 20037 (bsolo_lpr-v2) R 20036 8378 8377 0 -1 0 15492 0 0 0 99985 33 0 0 25 0 1 0 843028481 73220096 15412 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17876 15412 1111 63 0 17813 0
vsize: 71504
[startup+1010.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 20037
Raw data (stat): 20037 (bsolo_lpr-v2) R 20036 8378 8377 0 -1 0 15601 0 0 0 100985 34 0 0 25 0 1 0 843028481 73637888 15521 4294967295 134512640 134716908 3221224576 3221222804 1077414433 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17978 15521 1111 63 0 17915 0
vsize: 71912
[startup+1020.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 20037
Raw data (stat): 20037 (bsolo_lpr-v2) R 20036 8378 8377 0 -1 0 15712 0 0 0 101985 34 0 0 25 0 1 0 843028481 74067968 15632 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18083 15632 1111 63 0 18020 0
vsize: 72332
[startup+1030.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 20037
Raw data (stat): 20037 (bsolo_lpr-v2) R 20036 8378 8377 0 -1 0 15828 0 0 0 102985 34 0 0 25 0 1 0 843028481 74629120 15748 4294967295 134512640 134716908 3221224576 3221222804 1077414424 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18220 15748 1111 63 0 18157 0
vsize: 72880
[startup+1040.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 20037
Raw data (stat): 20037 (bsolo_lpr-v2) R 20036 8378 8377 0 -1 0 15974 0 0 0 103985 34 0 0 25 0 1 0 843028481 75210752 15894 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18362 15894 1111 63 0 18299 0
vsize: 73448
[startup+1050.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 20037
Raw data (stat): 20037 (bsolo_lpr-v2) R 20036 8378 8377 0 -1 0 16075 0 0 0 104985 34 0 0 25 0 1 0 843028481 75636736 15995 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18466 15995 1111 63 0 18403 0
vsize: 73864
[startup+1060.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 20037
Raw data (stat): 20037 (bsolo_lpr-v2) R 20036 8378 8377 0 -1 0 16197 0 0 0 105985 34 0 0 25 0 1 0 843028481 76197888 16117 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18603 16117 1111 63 0 18540 0
vsize: 74412
[startup+1070.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 20037
Raw data (stat): 20037 (bsolo_lpr-v2) R 20036 8378 8377 0 -1 0 16309 0 0 0 106985 35 0 0 25 0 1 0 843028481 76623872 16229 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18707 16229 1111 63 0 18644 0
vsize: 74828
[startup+1080.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 20037
Raw data (stat): 20037 (bsolo_lpr-v2) R 20036 8378 8377 0 -1 0 16431 0 0 0 107985 35 0 0 25 0 1 0 843028481 77185024 16351 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18844 16351 1111 63 0 18781 0
vsize: 75376
[startup+1090.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 20037
Raw data (stat): 20037 (bsolo_lpr-v2) R 20036 8378 8377 0 -1 0 16543 0 0 0 108985 35 0 0 25 0 1 0 843028481 77602816 16463 4294967295 134512640 134716908 3221224576 3221222804 1077414360 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18946 16463 1111 63 0 18883 0
vsize: 75784
[startup+1100.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 20037
Raw data (stat): 20037 (bsolo_lpr-v2) R 20036 8378 8377 0 -1 0 16667 0 0 0 109984 36 0 0 25 0 1 0 843028481 78172160 16587 4294967295 134512640 134716908 3221224576 3221222804 1077414383 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19085 16587 1111 63 0 19022 0
vsize: 76340
[startup+1110.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 20037
Raw data (stat): 20037 (bsolo_lpr-v2) R 20036 8378 8377 0 -1 0 16777 0 0 0 110984 36 0 0 25 0 1 0 843028481 78589952 16697 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19187 16697 1111 63 0 19124 0
vsize: 76748
[startup+1120.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 20037
Raw data (stat): 20037 (bsolo_lpr-v2) R 20036 8378 8377 0 -1 0 16901 0 0 0 111984 36 0 0 25 0 1 0 843028481 79015936 16821 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19291 16821 1111 63 0 19228 0
vsize: 77164
[startup+1130.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 20037
Raw data (stat): 20037 (bsolo_lpr-v2) R 20036 8378 8377 0 -1 0 17011 0 0 0 112984 37 0 0 25 0 1 0 843028481 79577088 16931 4294967295 134512640 134716908 3221224576 3221222804 1077414401 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19428 16931 1111 63 0 19365 0
vsize: 77712
[startup+1140.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 20037
Raw data (stat): 20037 (bsolo_lpr-v2) R 20036 8378 8377 0 -1 0 17129 0 0 0 113984 37 0 0 25 0 1 0 843028481 79998976 17049 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19531 17049 1111 63 0 19468 0
vsize: 78124
[startup+1150.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 20037
Raw data (stat): 20037 (bsolo_lpr-v2) R 20036 8378 8377 0 -1 0 17246 0 0 0 114983 38 0 0 25 0 1 0 843028481 80424960 17166 4294967295 134512640 134716908 3221224576 3221222804 1077414376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19635 17166 1111 63 0 19572 0
vsize: 78540
[startup+1160.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 20037
Raw data (stat): 20037 (bsolo_lpr-v2) R 20036 8378 8377 0 -1 0 17357 0 0 0 115983 38 0 0 25 0 1 0 843028481 80986112 17277 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19772 17277 1111 63 0 19709 0
vsize: 79088
[startup+1170.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 20037
Raw data (stat): 20037 (bsolo_lpr-v2) R 20036 8378 8377 0 -1 0 17481 0 0 0 116983 39 0 0 25 0 1 0 843028481 81412096 17401 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19876 17401 1111 63 0 19813 0
vsize: 79504
[startup+1180.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 20037
Raw data (stat): 20037 (bsolo_lpr-v2) R 20036 8378 8377 0 -1 0 17591 0 0 0 117982 40 0 0 25 0 1 0 843028481 81833984 17511 4294967295 134512640 134716908 3221224576 3221222804 1077414382 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19979 17511 1111 63 0 19916 0
vsize: 79916
[startup+1190.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 20037
Raw data (stat): 20037 (bsolo_lpr-v2) R 20036 8378 8377 0 -1 0 17709 0 0 0 118982 40 0 0 25 0 1 0 843028481 82395136 17629 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20116 17629 1111 63 0 20053 0
vsize: 80464
[startup+1200.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 20037
Raw data (stat): 20037 (bsolo_lpr-v2) R 20036 8378 8377 0 -1 0 17825 0 0 0 119982 40 0 0 25 0 1 0 843028481 82821120 17745 4294967295 134512640 134716908 3221224576 3221222804 1077414401 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20220 17745 1111 63 0 20157 0
vsize: 80880
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.08 s]
Raw data (loadavg): 1.00 1.00 0.93 1/55 20037
Raw data (stat): 20037 (bsolo_lpr-v2) Z 20036 8378 8377 0 -1 1036 17825 0 0 0 119982 43 0 0 25 0 1 0 843028481 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.08
CPU time (s): 1200.26
CPU user time (s): 1199.82
CPU system time (s): 0.439933
CPU usage (%): 100.016
Max. virtual memory (Kb): 80880
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####