PB'05 competition: run trace

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided in four parts:
LAUNCHER DATA
These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provide some useful information on the computer.
SOLVER DATA
This is the output of the solver (stdout and stderr).
WATCHER DATA
This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to 1200 seconds. After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to 1230 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (900Mb).
Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
VERIFIER DATA
The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
General information on the benchmark

Name	normalized-opb/mps-v2-13-7/plato.asu.edu/pub/unibo/normalized-mps-v2-13-7-dc1l.opb
MD5SUM	5b92932a8bc350218da666e6f064f13f
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	68818
Biggest coefficient in the objective function	524288000000000000
Number of bits for the biggest coefficient in the objective function	59
Sum of the numbers in the objective function	6652856940207324781
Number of bits of the sum of numbers in the objective function	63
Biggest number in a constraint	524288000000000000
Number of bits of the biggest number in a constraint	59
Biggest sum of numbers in a constraint	6652856940207324781
Number of bits of the biggest sum of numbers	63
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.758884
Number of variables	68678
Total number of constraints	37291
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	35639
Number of constraints which are nor clauses,nor cardinality constraints	1652
Minimum length of a constraint	1
Maximum length of a constraint	35119
Trace number 41701

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc2 THE 2005-06-09 20:12:59 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=29762 boxname=wulflinc2 idbench=1546 idsolver=21 numberseed=0
MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb  /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2
MD5SUM BENCH:  5b92932a8bc350218da666e6f064f13f  /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-13-7-dc1l.opb
REAL COMMAND:  bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-13-7-dc1l.opb
IDLAUNCH: 29762
/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:        894820 kB
Buffers:          3440 kB
Cached:         111900 kB
SwapCached:       4408 kB
Active:          34860 kB
Inactive:        85468 kB
HighTotal:      131008 kB
HighFree:        31332 kB
LowTotal:       903652 kB
LowFree:        863488 kB
SwapTotal:     2097136 kB
SwapFree:      2091668 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           4976 kB
Slab:            13660 kB
Committed_AS:    71792 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-09 20:33:02 (client local time) WITH STATUS 0 IN 1200.67 SECONDS
stats: 29762 7 1200.67 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.87 0.93 0.90 2/54 394
Raw data (stat): 394 (runsolver) R 393 31399 31398 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 913067966 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0006 s]
Raw data (loadavg): 0.89 0.93 0.91 2/54 394
Raw data (stat): 394 (bsolo_lpr_cuts-) R 393 31399 31398 0 -1 0 2045 0 0 0 994 4 0 0 25 0 1 0 913067966 19861504 1965 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4849 1965 1111 63 0 4786 0
vsize: 19396
[startup+20.0005 s]
Raw data (loadavg): 0.91 0.94 0.91 2/54 394
Raw data (stat): 394 (bsolo_lpr_cuts-) R 393 31399 31398 0 -1 0 3224 0 0 0 1992 6 0 0 25 0 1 0 913067966 24637440 3144 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6015 3144 1111 63 0 5952 0
vsize: 24060
[startup+30.0009 s]
Raw data (loadavg): 0.92 0.94 0.91 2/54 394
Raw data (stat): 394 (bsolo_lpr_cuts-) R 393 31399 31398 0 -1 0 4408 0 0 0 2990 8 0 0 25 0 1 0 913067966 29564928 4328 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7218 4328 1111 63 0 7155 0
vsize: 28872
[startup+40.0006 s]
Raw data (loadavg): 0.93 0.94 0.91 2/54 394
Raw data (stat): 394 (bsolo_lpr_cuts-) R 393 31399 31398 0 -1 0 5593 0 0 0 3988 10 0 0 25 0 1 0 913067966 34340864 5513 4294967295 134512640 134716908 3221224560 3221222788 1077414349 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8384 5513 1111 63 0 8321 0
vsize: 33536
[startup+50.0019 s]
Raw data (loadavg): 0.94 0.94 0.91 2/54 394
Raw data (stat): 394 (bsolo_lpr_cuts-) R 393 31399 31398 0 -1 0 6783 0 0 0 4986 12 0 0 25 0 1 0 913067966 39268352 6703 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9587 6703 1111 63 0 9524 0
vsize: 38348
[startup+60.002 s]
Raw data (loadavg): 0.95 0.94 0.91 2/54 394
Raw data (stat): 394 (bsolo_lpr_cuts-) R 393 31399 31398 0 -1 0 7978 0 0 0 5985 14 0 0 25 0 1 0 913067966 44187648 7898 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10788 7898 1111 63 0 10725 0
vsize: 43152
[startup+70.0017 s]
Raw data (loadavg): 0.96 0.94 0.91 2/54 394
Raw data (stat): 394 (bsolo_lpr_cuts-) R 393 31399 31398 0 -1 0 9181 0 0 0 6983 16 0 0 25 0 1 0 913067966 49115136 9101 4294967295 134512640 134716908 3221224560 3221222788 1077414376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11991 9101 1111 63 0 11928 0
vsize: 47964
[startup+80.0035 s]
Raw data (loadavg): 0.96 0.94 0.91 2/54 394
Raw data (stat): 394 (bsolo_lpr_cuts-) R 393 31399 31398 0 -1 0 10383 0 0 0 7981 18 0 0 25 0 1 0 913067966 54038528 10303 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13193 10303 1111 63 0 13130 0
vsize: 52772
[startup+90.0031 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 394
Raw data (stat): 394 (bsolo_lpr_cuts-) R 393 31399 31398 0 -1 0 11586 0 0 0 8980 19 0 0 25 0 1 0 913067966 58966016 11506 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14396 11506 1111 63 0 14333 0
vsize: 57584
[startup+100.004 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 394
Raw data (stat): 394 (bsolo_lpr_cuts-) R 393 31399 31398 0 -1 0 12801 0 0 0 9979 21 0 0 25 0 1 0 913067966 63893504 12721 4294967295 134512640 134716908 3221224560 3221222788 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15599 12721 1111 63 0 15536 0
vsize: 62396
[startup+110.004 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 394
Raw data (stat): 394 (bsolo_lpr_cuts-) R 393 31399 31398 0 -1 0 14015 0 0 0 10977 22 0 0 25 0 1 0 913067966 68939776 13935 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16831 13935 1111 63 0 16768 0
vsize: 67324
[startup+120.004 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 394
Raw data (stat): 394 (bsolo_lpr_cuts-) R 393 31399 31398 0 -1 0 15232 0 0 0 11975 24 0 0 25 0 1 0 913067966 73875456 15152 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18036 15152 1111 63 0 17973 0
vsize: 72144
[startup+130.004 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 394
Raw data (stat): 394 (bsolo_lpr_cuts-) R 393 31399 31398 0 -1 0 16447 0 0 0 12973 26 0 0 25 0 1 0 913067966 78798848 16367 4294967295 134512640 134716908 3221224560 3221222788 1077414399 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19238 16367 1111 63 0 19175 0
vsize: 76952
[startup+140.004 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 394
Raw data (stat): 394 (bsolo_lpr_cuts-) R 393 31399 31398 0 -1 0 17862 0 0 0 13972 28 0 0 25 0 1 0 913067966 84619264 17782 4294967295 134512640 134716908 3221224560 3221222788 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20659 17782 1111 63 0 20596 0
vsize: 82636
[startup+150.106 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 394
Raw data (stat): 394 (bsolo_lpr_cuts-) R 393 31399 31398 0 -1 0 19101 0 0 0 14980 30 0 0 25 0 1 0 913067966 89694208 19021 4294967295 134512640 134716908 3221224560 3221222788 1077414407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21898 19021 1111 63 0 21835 0
vsize: 87592
[startup+160.106 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 394
Raw data (stat): 394 (bsolo_lpr_cuts-) R 393 31399 31398 0 -1 0 20334 0 0 0 15979 32 0 0 25 0 1 0 913067966 94769152 20254 4294967295 134512640 134716908 3221224560 3221222788 1077414426 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23137 20254 1111 63 0 23074 0
vsize: 92548
[startup+170.106 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 394
Raw data (stat): 394 (bsolo_lpr_cuts-) R 393 31399 31398 0 -1 0 21750 0 0 0 16977 34 0 0 25 0 1 0 913067966 100597760 21670 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24560 21670 1111 63 0 24497 0
vsize: 98240
[startup+180.106 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 394
Raw data (stat): 394 (bsolo_lpr_cuts-) R 393 31399 31398 0 -1 0 22989 0 0 0 17974 37 0 0 25 0 1 0 913067966 105672704 22909 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25799 22909 1111 63 0 25736 0
vsize: 103196
[startup+190.106 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 394
Raw data (stat): 394 (bsolo_lpr_cuts-) R 393 31399 31398 0 -1 0 24428 0 0 0 18973 39 0 0 25 0 1 0 913067966 111493120 24348 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27220 24348 1111 63 0 27157 0
vsize: 108880
[startup+200.107 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 394
Raw data (stat): 394 (bsolo_lpr_cuts-) R 393 31399 31398 0 -1 0 25767 0 0 0 19970 42 0 0 25 0 1 0 913067966 116994048 25687 4294967295 134512640 134716908 3221224560 3221222788 1077414360 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28563 25687 1111 63 0 28500 0
vsize: 114252
[startup+210.108 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 394
Raw data (stat): 394 (bsolo_lpr_cuts-) R 393 31399 31398 0 -1 0 27018 0 0 0 20968 44 0 0 25 0 1 0 913067966 122220544 26938 4294967295 134512640 134716908 3221224560 3221222788 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29839 26938 1111 63 0 29776 0
vsize: 119356
[startup+220.107 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 394
Raw data (stat): 394 (bsolo_lpr_cuts-) R 393 31399 31398 0 -1 0 28397 0 0 0 21966 46 0 0 25 0 1 0 913067966 127889408 28317 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31223 28317 1111 63 0 31160 0
vsize: 124892
[startup+230.107 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 394
Raw data (stat): 394 (bsolo_lpr_cuts-) R 393 31399 31398 0 -1 0 29655 0 0 0 22964 48 0 0 25 0 1 0 913067966 132964352 29575 4294967295 134512640 134716908 3221224560 3221222788 1077414376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32462 29575 1111 63 0 32399 0
vsize: 129848
[startup+240.107 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 394
Raw data (stat): 394 (bsolo_lpr_cuts-) R 393 31399 31398 0 -1 0 30919 0 0 0 23962 50 0 0 25 0 1 0 913067966 138194944 30839 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33739 30839 1111 63 0 33676 0
vsize: 134956
[startup+250.107 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 394
Raw data (stat): 394 (bsolo_lpr_cuts-) R 393 31399 31398 0 -1 0 32384 0 0 0 24959 53 0 0 25 0 1 0 913067966 144166912 32304 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35197 32304 1111 63 0 35134 0
vsize: 140788
[startup+260.109 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 394
Raw data (stat): 394 (bsolo_lpr_cuts-) R 393 31399 31398 0 -1 0 33732 0 0 0 25957 55 0 0 25 0 1 0 913067966 149688320 33652 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36545 33652 1111 63 0 36482 0
vsize: 146180
[startup+270.108 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 394
Raw data (stat): 394 (bsolo_lpr_cuts-) R 393 31399 31398 0 -1 0 35010 0 0 0 26956 57 0 0 25 0 1 0 913067966 154918912 34930 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37822 34930 1111 63 0 37759 0
vsize: 151288
[startup+280.107 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 394
Raw data (stat): 394 (bsolo_lpr_cuts-) R 393 31399 31398 0 -1 0 36286 0 0 0 27953 59 0 0 25 0 1 0 913067966 160141312 36206 4294967295 134512640 134716908 3221224560 3221222788 1077414401 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39097 36206 1111 63 0 39034 0
vsize: 156388
[startup+290.108 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 394
Raw data (stat): 394 (bsolo_lpr_cuts-) R 393 31399 31398 0 -1 0 37629 0 0 0 28951 61 0 0 25 0 1 0 913067966 165666816 37549 4294967295 134512640 134716908 3221224560 3221222788 1077414435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 40446 37549 1111 63 0 40383 0
vsize: 161784
[startup+300.108 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 394
Raw data (stat): 394 (bsolo_lpr_cuts-) R 393 31399 31398 0 -1 0 38916 0 0 0 29949 64 0 0 25 0 1 0 913067966 170889216 38836 4294967295 134512640 134716908 3221224560 3221222788 1077414433 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41721 38836 1111 63 0 41658 0
vsize: 166884
[startup+310.108 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 394
Raw data (stat): 394 (bsolo_lpr_cuts-) R 393 31399 31398 0 -1 0 40302 0 0 0 30947 66 0 0 25 0 1 0 913067966 176566272 40222 4294967295 134512640 134716908 3221224560 3221222788 1077414360 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 43107 40222 1111 63 0 43044 0
vsize: 172428
[startup+320.108 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 394
Raw data (stat): 394 (bsolo_lpr_cuts-) R 393 31399 31398 0 -1 0 41779 0 0 0 31945 68 0 0 25 0 1 0 913067966 182685696 41699 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44601 41699 1111 63 0 44538 0
vsize: 178404
[startup+330.108 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 394
Raw data (stat): 394 (bsolo_lpr_cuts-) R 393 31399 31398 0 -1 0 43079 0 0 0 32943 70 0 0 25 0 1 0 913067966 187912192 42999 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 45877 42999 1111 63 0 45814 0
vsize: 183508
[startup+340.108 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 394
Raw data (stat): 394 (bsolo_lpr_cuts-) R 393 31399 31398 0 -1 0 44513 0 0 0 33941 73 0 0 25 0 1 0 913067966 193884160 44433 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 47335 44433 1111 63 0 47272 0
vsize: 189340
[startup+350.109 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 394
Raw data (stat): 394 (bsolo_lpr_cuts-) R 393 31399 31398 0 -1 0 45959 0 0 0 34939 75 0 0 25 0 1 0 913067966 199704576 45879 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 48756 45879 1111 63 0 48693 0
vsize: 195024
[startup+360.109 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 394
Raw data (stat): 394 (bsolo_lpr_cuts-) R 393 31399 31398 0 -1 0 47277 0 0 0 35938 77 0 0 25 0 1 0 913067966 205078528 47197 4294967295 134512640 134716908 3221224560 3221222788 1077414358 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 50068 47197 1111 63 0 50005 0
vsize: 200272
[startup+370.109 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 394
Raw data (stat): 394 (bsolo_lpr_cuts-) R 393 31399 31398 0 -1 0 48602 0 0 0 36936 78 0 0 25 0 1 0 913067966 210608128 48522 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 51418 48522 1111 63 0 51355 0
vsize: 205672
[startup+380.109 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 394
Raw data (stat): 394 (bsolo_lpr_cuts-) R 393 31399 31398 0 -1 0 49937 0 0 0 37934 81 0 0 25 0 1 0 913067966 216125440 49857 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 52765 49857 1111 63 0 52702 0
vsize: 211060
[startup+390.109 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 394
Raw data (stat): 394 (bsolo_lpr_cuts-) R 393 31399 31398 0 -1 0 51268 0 0 0 38932 82 0 0 25 0 1 0 913067966 221499392 51188 4294967295 134512640 134716908 3221224560 3221222788 1077414336 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 54077 51188 1111 63 0 54014 0
vsize: 216308
[startup+400.11 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 394
Raw data (stat): 394 (bsolo_lpr_cuts-) R 393 31399 31398 0 -1 0 52605 0 0 0 39931 84 0 0 25 0 1 0 913067966 227028992 52525 4294967295 134512640 134716908 3221224560 3221222788 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 55427 52525 1111 63 0 55364 0
vsize: 221708
[startup+410.11 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 394
Raw data (stat): 394 (bsolo_lpr_cuts-) R 393 31399 31398 0 -1 0 53941 0 0 0 40928 87 0 0 25 0 1 0 913067966 232550400 53861 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 56775 53861 1111 63 0 56712 0
vsize: 227100
[startup+420.109 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 394
Raw data (stat): 394 (bsolo_lpr_cuts-) R 393 31399 31398 0 -1 0 55362 0 0 0 41926 89 0 0 25 0 1 0 913067966 238370816 55282 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 58196 55282 1111 63 0 58133 0
vsize: 232784
[startup+430.11 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 394
Raw data (stat): 394 (bsolo_lpr_cuts-) R 393 31399 31398 0 -1 0 56719 0 0 0 42924 91 0 0 25 0 1 0 913067966 243900416 56639 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 59546 56639 1111 63 0 59483 0
vsize: 238184
[startup+440.11 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 394
Raw data (stat): 394 (bsolo_lpr_cuts-) R 393 31399 31398 0 -1 0 58147 0 0 0 43923 93 0 0 25 0 1 0 913067966 249720832 58067 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 60967 58067 1111 63 0 60904 0
vsize: 243868
[startup+450.11 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 394
Raw data (stat): 394 (bsolo_lpr_cuts-) R 393 31399 31398 0 -1 0 59514 0 0 0 44921 95 0 0 25 0 1 0 913067966 255242240 59434 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 62315 59434 1111 63 0 62252 0
vsize: 249260
[startup+460.11 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 394
Raw data (stat): 394 (bsolo_lpr_cuts-) R 393 31399 31398 0 -1 0 60882 0 0 0 45919 97 0 0 25 0 1 0 913067966 260923392 60802 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 63702 60802 1111 63 0 63639 0
vsize: 254808
[startup+470.11 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 394
Raw data (stat): 394 (bsolo_lpr_cuts-) R 393 31399 31398 0 -1 0 62267 0 0 0 46917 100 0 0 25 0 1 0 913067966 266592256 62187 4294967295 134512640 134716908 3221224560 3221222788 1077414336 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 65086 62187 1111 63 0 65023 0
vsize: 260344
[startup+480.111 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 394
Raw data (stat): 394 (bsolo_lpr_cuts-) R 393 31399 31398 0 -1 0 63762 0 0 0 47915 102 0 0 25 0 1 0 913067966 272711680 63682 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 66580 63682 1111 63 0 66517 0
vsize: 266320
[startup+490.11 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 394
Raw data (stat): 394 (bsolo_lpr_cuts-) R 393 31399 31398 0 -1 0 65154 0 0 0 48912 105 0 0 25 0 1 0 913067966 278388736 65074 4294967295 134512640 134716908 3221224560 3221222788 1077414382 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 67966 65074 1111 63 0 67903 0
vsize: 271864
[startup+500.112 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 394
Raw data (stat): 394 (bsolo_lpr_cuts-) R 393 31399 31398 0 -1 0 66594 0 0 0 49910 107 0 0 25 0 1 0 913067966 284360704 66514 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 69424 66514 1111 63 0 69361 0
vsize: 277696
[startup+510.112 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 394
Raw data (stat): 394 (bsolo_lpr_cuts-) R 393 31399 31398 0 -1 0 68028 0 0 0 50907 110 0 0 25 0 1 0 913067966 290181120 67948 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 70845 67948 1111 63 0 70782 0
vsize: 283380
[startup+520.111 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 394
Raw data (stat): 394 (bsolo_lpr_cuts-) R 393 31399 31398 0 -1 0 69439 0 0 0 51905 113 0 0 25 0 1 0 913067966 296005632 69359 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 72267 69359 1111 63 0 72204 0
vsize: 289068
[startup+530.111 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 394
Raw data (stat): 394 (bsolo_lpr_cuts-) R 393 31399 31398 0 -1 0 70848 0 0 0 52902 115 0 0 25 0 1 0 913067966 301678592 70768 4294967295 134512640 134716908 3221224560 3221222788 1077414383 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 73652 70768 1111 63 0 73589 0
vsize: 294608
[startup+540.112 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 394
Raw data (stat): 394 (bsolo_lpr_cuts-) R 393 31399 31398 0 -1 0 72283 0 0 0 53900 118 0 0 25 0 1 0 913067966 307654656 72203 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 75111 72203 1111 63 0 75048 0
vsize: 300444
[startup+550.112 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 394
Raw data (stat): 394 (bsolo_lpr_cuts-) R 393 31399 31398 0 -1 0 73710 0 0 0 54897 121 0 0 25 0 1 0 913067966 313475072 73630 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 76532 73630 1111 63 0 76469 0
vsize: 306128
[startup+560.113 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 394
Raw data (stat): 394 (bsolo_lpr_cuts-) R 393 31399 31398 0 -1 0 75187 0 0 0 55895 123 0 0 25 0 1 0 913067966 319442944 75107 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 77989 75107 1111 63 0 77926 0
vsize: 311956
[startup+570.113 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 394
Raw data (stat): 394 (bsolo_lpr_cuts-) R 393 31399 31398 0 -1 0 76628 0 0 0 56893 126 0 0 25 0 1 0 913067966 325419008 76548 4294967295 134512640 134716908 3221224560 3221222788 1077414336 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 79448 76548 1111 63 0 79385 0
vsize: 317792
[startup+580.113 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 394
Raw data (stat): 394 (bsolo_lpr_cuts-) R 393 31399 31398 0 -1 0 78068 0 0 0 57891 127 0 0 25 0 1 0 913067966 331239424 77988 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 80869 77988 1111 63 0 80806 0
vsize: 323476
[startup+590.113 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 394
Raw data (stat): 394 (bsolo_lpr_cuts-) R 393 31399 31398 0 -1 0 79514 0 0 0 58889 130 0 0 25 0 1 0 913067966 337215488 79434 4294967295 134512640 134716908 3221224560 3221222788 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 82328 79434 1111 63 0 82265 0
vsize: 329312
[startup+600.113 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 394
Raw data (stat): 394 (bsolo_lpr_cuts-) R 393 31399 31398 0 -1 0 80973 0 0 0 59887 132 0 0 25 0 1 0 913067966 343187456 80893 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 83786 80893 1111 63 0 83723 0
vsize: 335144
[startup+610.114 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 394
Raw data (stat): 394 (bsolo_lpr_cuts-) R 393 31399 31398 0 -1 0 82455 0 0 0 60886 133 0 0 25 0 1 0 913067966 349302784 82375 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 85279 82375 1111 63 0 85216 0
vsize: 341116
[startup+620.114 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 394
Raw data (stat): 394 (bsolo_lpr_cuts-) R 393 31399 31398 0 -1 0 83993 0 0 0 61883 136 0 0 25 0 1 0 913067966 355577856 83913 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 86811 83913 1111 63 0 86748 0
vsize: 347244
[startup+630.114 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 394
Raw data (stat): 394 (bsolo_lpr_cuts-) R 393 31399 31398 0 -1 0 85542 0 0 0 62881 139 0 0 25 0 1 0 913067966 361844736 85462 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 88341 85462 1111 63 0 88278 0
vsize: 353364
[startup+640.114 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 394
Raw data (stat): 394 (bsolo_lpr_cuts-) R 393 31399 31398 0 -1 0 87038 0 0 0 63878 141 0 0 25 0 1 0 913067966 367972352 86958 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 89837 86958 1111 63 0 89774 0
vsize: 359348
[startup+650.115 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 394
Raw data (stat): 394 (bsolo_lpr_cuts-) R 393 31399 31398 0 -1 0 88551 0 0 0 64876 144 0 0 25 0 1 0 913067966 374239232 88471 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 91367 88471 1111 63 0 91304 0
vsize: 365468
[startup+660.115 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 394
Raw data (stat): 394 (bsolo_lpr_cuts-) R 393 31399 31398 0 -1 0 90137 0 0 0 65874 146 0 0 25 0 1 0 913067966 380661760 90057 4294967295 134512640 134716908 3221224560 3221222788 1077414435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 92935 90057 1111 63 0 92872 0
vsize: 371740
[startup+670.115 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 394
Raw data (stat): 394 (bsolo_lpr_cuts-) R 393 31399 31398 0 -1 0 91728 0 0 0 66872 149 0 0 25 0 1 0 913067966 387227648 91648 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 94538 91648 1111 63 0 94475 0
vsize: 378152
[startup+680.116 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 394
Raw data (stat): 394 (bsolo_lpr_cuts-) R 393 31399 31398 0 -1 0 93333 0 0 0 67870 151 0 0 25 0 1 0 913067966 393801728 93253 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 96143 93253 1111 63 0 96080 0
vsize: 384572
[startup+690.116 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 394
Raw data (stat): 394 (bsolo_lpr_cuts-) R 393 31399 31398 0 -1 0 94875 0 0 0 68866 154 0 0 25 0 1 0 913067966 400068608 94795 4294967295 134512640 134716908 3221224560 3221222788 1077414426 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 97673 94795 1111 63 0 97610 0
vsize: 390692
[startup+700.117 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 394
Raw data (stat): 394 (bsolo_lpr_cuts-) R 393 31399 31398 0 -1 0 96401 0 0 0 69864 157 0 0 25 0 1 0 913067966 406343680 96321 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 99205 96321 1111 63 0 99142 0
vsize: 396820
[startup+710.118 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 394
Raw data (stat): 394 (bsolo_lpr_cuts-) R 393 31399 31398 0 -1 0 97974 0 0 0 70861 160 0 0 25 0 1 0 913067966 412758016 97894 4294967295 134512640 134716908 3221224560 3221222788 1077414407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 100771 97894 1111 63 0 100708 0
vsize: 403084
[startup+720.117 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 394
Raw data (stat): 394 (bsolo_lpr_cuts-) R 393 31399 31398 0 -1 0 99578 0 0 0 71859 162 0 0 25 0 1 0 913067966 419549184 99498 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 102429 99498 1111 63 0 102366 0
vsize: 409716
[startup+730.117 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 394
Raw data (stat): 394 (bsolo_lpr_cuts-) R 393 31399 31398 0 -1 0 101120 0 0 0 72857 165 0 0 25 0 1 0 913067966 425816064 101040 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 103959 101040 1111 63 0 103896 0
vsize: 415836
[startup+740.117 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 394
Raw data (stat): 394 (bsolo_lpr_cuts-) R 393 31399 31398 0 -1 0 102708 0 0 0 73854 168 0 0 25 0 1 0 913067966 432238592 102628 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 105527 102628 1111 63 0 105464 0
vsize: 422108
[startup+750.119 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 394
Raw data (stat): 394 (bsolo_lpr_cuts-) R 393 31399 31398 0 -1 0 104342 0 0 0 74852 170 0 0 25 0 1 0 913067966 438956032 104262 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 107167 104262 1111 63 0 107104 0
vsize: 428668
[startup+760.118 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 394
Raw data (stat): 394 (bsolo_lpr_cuts-) R 393 31399 31398 0 -1 0 106013 0 0 0 75850 173 0 0 25 0 1 0 913067966 445825024 105933 4294967295 134512640 134716908 3221224560 3221222788 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 108844 105933 1111 63 0 108781 0
vsize: 435376
[startup+770.118 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 394
Raw data (stat): 394 (bsolo_lpr_cuts-) R 393 31399 31398 0 -1 0 107630 0 0 0 76847 175 0 0 25 0 1 0 913067966 452395008 107550 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 110448 107550 1111 63 0 110385 0
vsize: 441792
[startup+780.119 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 394
Raw data (stat): 394 (bsolo_lpr_cuts-) R 393 31399 31398 0 -1 0 109367 0 0 0 77845 178 0 0 25 0 1 0 913067966 459558912 109287 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 112197 109287 1111 63 0 112134 0
vsize: 448788
[startup+790.118 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 394
Raw data (stat): 394 (bsolo_lpr_cuts-) R 393 31399 31398 0 -1 0 110973 0 0 0 78843 180 0 0 25 0 1 0 913067966 466132992 110893 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 113802 110893 1111 63 0 113739 0
vsize: 455208
[startup+800.12 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 394
Raw data (stat): 394 (bsolo_lpr_cuts-) R 393 31399 31398 0 -1 0 112576 0 0 0 79839 184 0 0 25 0 1 0 913067966 472698880 112496 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 115405 112496 1111 63 0 115342 0
vsize: 461620
[startup+810.12 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 394
Raw data (stat): 394 (bsolo_lpr_cuts-) R 393 31399 31398 0 -1 0 114223 0 0 0 80836 187 0 0 25 0 1 0 913067966 479420416 114143 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 117046 114143 1111 63 0 116983 0
vsize: 468184
[startup+820.119 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 394
Raw data (stat): 394 (bsolo_lpr_cuts-) R 393 31399 31398 0 -1 0 115853 0 0 0 81833 190 0 0 25 0 1 0 913067966 486141952 115773 4294967295 134512640 134716908 3221224560 3221222788 1077414374 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 118687 115773 1111 63 0 118624 0
vsize: 474748
[startup+830.119 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 394
Raw data (stat): 394 (bsolo_lpr_cuts-) R 393 31399 31398 0 -1 0 117487 0 0 0 82831 192 0 0 25 0 1 0 913067966 492855296 117407 4294967295 134512640 134716908 3221224560 3221222788 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 120326 117407 1111 63 0 120263 0
vsize: 481304
[startup+840.119 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 394
Raw data (stat): 394 (bsolo_lpr_cuts-) R 393 31399 31398 0 -1 0 119183 0 0 0 83829 194 0 0 25 0 1 0 913067966 499724288 119103 4294967295 134512640 134716908 3221224560 3221222788 1077414358 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 122003 119103 1111 63 0 121940 0
vsize: 488012
[startup+850.12 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 394
Raw data (stat): 394 (bsolo_lpr_cuts-) R 393 31399 31398 0 -1 0 120902 0 0 0 84827 197 0 0 25 0 1 0 913067966 506740736 120822 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 123716 120822 1111 63 0 123653 0
vsize: 494864
[startup+860.12 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 394
Raw data (stat): 394 (bsolo_lpr_cuts-) R 393 31399 31398 0 -1 0 122617 0 0 0 85824 200 0 0 25 0 1 0 913067966 513757184 122537 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 125429 122537 1111 63 0 125366 0
vsize: 501716
[startup+870.119 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 394
Raw data (stat): 394 (bsolo_lpr_cuts-) R 393 31399 31398 0 -1 0 124312 0 0 0 86820 205 0 0 25 0 1 0 913067966 520777728 124232 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 127143 124232 1111 63 0 127080 0
vsize: 508572
[startup+880.119 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 394
Raw data (stat): 394 (bsolo_lpr_cuts-) R 393 31399 31398 0 -1 0 126000 0 0 0 87817 207 0 0 25 0 1 0 913067966 527642624 125920 4294967295 134512640 134716908 3221224560 3221222912 134567410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 128819 125920 1111 63 0 128756 0
vsize: 515276
[startup+890.12 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 394
Raw data (stat): 394 (bsolo_lpr_cuts-) R 393 31399 31398 0 -1 0 127721 0 0 0 88814 210 0 0 25 0 1 0 913067966 534663168 127641 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 130533 127641 1111 63 0 130470 0
vsize: 522132
[startup+900.12 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 394
Raw data (stat): 394 (bsolo_lpr_cuts-) R 393 31399 31398 0 -1 0 129515 0 0 0 89811 214 0 0 25 0 1 0 913067966 542126080 129435 4294967295 134512640 134716908 3221224560 3221222788 1077414432 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 132355 129435 1111 63 0 132292 0
vsize: 529420
[startup+910.12 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 394
Raw data (stat): 394 (bsolo_lpr_cuts-) R 393 31399 31398 0 -1 0 131293 0 0 0 90808 217 0 0 25 0 1 0 913067966 549289984 131213 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 134104 131213 1111 63 0 134041 0
vsize: 536416
[startup+920.121 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 394
Raw data (stat): 394 (bsolo_lpr_cuts-) R 393 31399 31398 0 -1 0 133051 0 0 0 91805 220 0 0 25 0 1 0 913067966 556609536 132971 4294967295 134512640 134716908 3221224560 3221222788 1077414336 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 135891 132971 1111 63 0 135828 0
vsize: 543564
[startup+930.121 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 394
Raw data (stat): 394 (bsolo_lpr_cuts-) R 393 31399 31398 0 -1 0 134826 0 0 0 92803 222 0 0 25 0 1 0 913067966 563777536 134746 4294967295 134512640 134716908 3221224560 3221222788 1077414426 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 137641 134746 1111 63 0 137578 0
vsize: 550564
[startup+940.121 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 394
Raw data (stat): 394 (bsolo_lpr_cuts-) R 393 31399 31398 0 -1 0 136582 0 0 0 93801 225 0 0 25 0 1 0 913067966 570937344 136502 4294967295 134512640 134716908 3221224560 3221222788 1077414435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 139389 136502 1111 63 0 139326 0
vsize: 557556
[startup+950.122 s]
Raw data (loadavg): 1.07 0.99 0.91 2/54 394
Raw data (stat): 394 (bsolo_lpr_cuts-) R 393 31399 31398 0 -1 0 138361 0 0 0 94797 229 0 0 25 0 1 0 913067966 578256896 138281 4294967295 134512640 134716908 3221224560 3221222788 1077414432 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 141176 138281 1111 63 0 141113 0
vsize: 564704
[startup+960.122 s]
Raw data (loadavg): 1.14 1.00 0.92 2/54 394
Raw data (stat): 394 (bsolo_lpr_cuts-) R 393 31399 31398 0 -1 0 140137 0 0 0 95794 232 0 0 25 0 1 0 913067966 585572352 140057 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 142962 140057 1111 63 0 142899 0
vsize: 571848
[startup+970.122 s]
Raw data (loadavg): 1.11 1.00 0.92 2/54 394
Raw data (stat): 394 (bsolo_lpr_cuts-) R 393 31399 31398 0 -1 0 141930 0 0 0 96790 236 0 0 25 0 1 0 913067966 592891904 141850 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 144749 141850 1111 63 0 144686 0
vsize: 578996
[startup+980.123 s]
Raw data (loadavg): 1.10 1.00 0.92 2/54 394
Raw data (stat): 394 (bsolo_lpr_cuts-) R 393 31399 31398 0 -1 0 143721 0 0 0 97788 239 0 0 25 0 1 0 913067966 600203264 143641 4294967295 134512640 134716908 3221224560 3221222788 1077414435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 146534 143641 1111 63 0 146471 0
vsize: 586136
[startup+990.123 s]
Raw data (loadavg): 1.08 1.00 0.92 2/54 394
Raw data (stat): 394 (bsolo_lpr_cuts-) R 393 31399 31398 0 -1 0 145533 0 0 0 98785 242 0 0 25 0 1 0 913067966 607670272 145453 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 148357 145453 1111 63 0 148294 0
vsize: 593428
[startup+1000.12 s]
Raw data (loadavg): 1.07 1.00 0.92 2/54 394
Raw data (stat): 394 (bsolo_lpr_cuts-) R 393 31399 31398 0 -1 0 147363 0 0 0 99781 246 0 0 25 0 1 0 913067966 615137280 147283 4294967295 134512640 134716908 3221224560 3221222788 1077414383 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 150180 147283 1111 63 0 150117 0
vsize: 600720
[startup+1010.13 s]
Raw data (loadavg): 1.06 1.00 0.92 2/54 394
Raw data (stat): 394 (bsolo_lpr_cuts-) R 393 31399 31398 0 -1 0 149271 0 0 0 100779 249 0 0 25 0 1 0 913067966 622903296 149191 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 152076 149191 1111 63 0 152013 0
vsize: 608304
[startup+1020.12 s]
Raw data (loadavg): 1.05 1.00 0.92 2/54 394
Raw data (stat): 394 (bsolo_lpr_cuts-) R 393 31399 31398 0 -1 0 151124 0 0 0 101775 252 0 0 25 0 1 0 913067966 630517760 151044 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 153935 151044 1111 63 0 153872 0
vsize: 615740
[startup+1030.13 s]
Raw data (loadavg): 1.04 1.00 0.92 2/54 394
Raw data (stat): 394 (bsolo_lpr_cuts-) R 393 31399 31398 0 -1 0 153020 0 0 0 102772 256 0 0 25 0 1 0 913067966 638275584 152940 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 155829 152940 1111 63 0 155766 0
vsize: 623316
[startup+1040.13 s]
Raw data (loadavg): 1.03 1.00 0.92 2/54 394
Raw data (stat): 394 (bsolo_lpr_cuts-) R 393 31399 31398 0 -1 0 154898 0 0 0 103769 259 0 0 25 0 1 0 913067966 646041600 154818 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 157725 154818 1111 63 0 157662 0
vsize: 630900
[startup+1050.13 s]
Raw data (loadavg): 1.03 1.00 0.92 2/54 394
Raw data (stat): 394 (bsolo_lpr_cuts-) R 393 31399 31398 0 -1 0 156775 0 0 0 104766 262 0 0 25 0 1 0 913067966 653656064 156695 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 159584 156695 1111 63 0 159521 0
vsize: 638336
[startup+1060.13 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 394
Raw data (stat): 394 (bsolo_lpr_cuts-) R 393 31399 31398 0 -1 0 158672 0 0 0 105763 266 0 0 25 0 1 0 913067966 661422080 158592 4294967295 134512640 134716908 3221224560 3221222788 1077414360 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 161480 158592 1111 63 0 161417 0
vsize: 645920
[startup+1070.13 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 394
Raw data (stat): 394 (bsolo_lpr_cuts-) R 393 31399 31398 0 -1 0 160581 0 0 0 106760 269 0 0 25 0 1 0 913067966 669335552 160501 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 163412 160501 1111 63 0 163349 0
vsize: 653648
[startup+1080.13 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 394
Raw data (stat): 394 (bsolo_lpr_cuts-) R 393 31399 31398 0 -1 0 162507 0 0 0 107756 273 0 0 25 0 1 0 913067966 677093376 162427 4294967295 134512640 134716908 3221224560 3221222788 1077414408 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 165306 162427 1111 63 0 165243 0
vsize: 661224
[startup+1090.13 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 394
Raw data (stat): 394 (bsolo_lpr_cuts-) R 393 31399 31398 0 -1 0 164445 0 0 0 108754 275 0 0 25 0 1 0 913067966 685158400 164365 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 167275 164365 1111 63 0 167212 0
vsize: 669100
[startup+1100.13 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 394
Raw data (stat): 394 (bsolo_lpr_cuts-) R 393 31399 31398 0 -1 0 166402 0 0 0 109751 278 0 0 25 0 1 0 913067966 693071872 166322 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 169207 166322 1111 63 0 169144 0
vsize: 676828
[startup+1110.13 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 394
Raw data (stat): 394 (bsolo_lpr_cuts-) R 393 31399 31398 0 -1 0 168365 0 0 0 110748 281 0 0 25 0 1 0 913067966 701132800 168285 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 171175 168285 1111 63 0 171112 0
vsize: 684700
[startup+1120.13 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 394
Raw data (stat): 394 (bsolo_lpr_cuts-) R 393 31399 31398 0 -1 0 170358 0 0 0 111746 284 0 0 25 0 1 0 913067966 709345280 170278 4294967295 134512640 134716908 3221224560 3221222788 1077414358 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 173180 170278 1111 63 0 173117 0
vsize: 692720
[startup+1130.13 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 394
Raw data (stat): 394 (bsolo_lpr_cuts-) R 393 31399 31398 0 -1 0 172358 0 0 0 112743 287 0 0 25 0 1 0 913067966 717557760 172278 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 175185 172278 1111 63 0 175122 0
vsize: 700740
[startup+1140.13 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 394
Raw data (stat): 394 (bsolo_lpr_cuts-) R 393 31399 31398 0 -1 0 174375 0 0 0 113738 292 0 0 25 0 1 0 913067966 725770240 174295 4294967295 134512640 134716908 3221224560 3221222788 1077414383 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 177190 174295 1111 63 0 177127 0
vsize: 708760
[startup+1150.13 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 394
Raw data (stat): 394 (bsolo_lpr_cuts-) R 393 31399 31398 0 -1 0 176429 0 0 0 114735 295 0 0 25 0 1 0 913067966 734130176 176349 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 179231 176349 1111 63 0 179168 0
vsize: 716924
[startup+1160.13 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 394
Raw data (stat): 394 (bsolo_lpr_cuts-) R 393 31399 31398 0 -1 0 178490 0 0 0 115733 298 0 0 25 0 1 0 913067966 742641664 178410 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 181309 178410 1111 63 0 181246 0
vsize: 725236
[startup+1170.13 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 394
Raw data (stat): 394 (bsolo_lpr_cuts-) R 393 31399 31398 0 -1 0 180562 0 0 0 116730 301 0 0 25 0 1 0 913067966 751153152 180482 4294967295 134512640 134716908 3221224560 3221222788 1077414357 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 183387 180482 1111 63 0 183324 0
vsize: 733548
[startup+1180.13 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 394
Raw data (stat): 394 (bsolo_lpr_cuts-) R 393 31399 31398 0 -1 0 182664 0 0 0 117727 304 0 0 25 0 1 0 913067966 759664640 182584 4294967295 134512640 134716908 3221224560 3221222788 1077414383 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 185465 182584 1111 63 0 185402 0
vsize: 741860
[startup+1190.13 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 394
Raw data (stat): 394 (bsolo_lpr_cuts-) R 393 31399 31398 0 -1 0 184798 0 0 0 118724 307 0 0 25 0 1 0 913067966 768471040 184718 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 187615 184718 1111 63 0 187552 0
vsize: 750460
[startup+1200.13 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 394
Raw data (stat): 394 (bsolo_lpr_cuts-) R 393 31399 31398 0 -1 0 186937 0 0 0 119721 311 0 0 25 0 1 0 913067966 777129984 186857 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 189729 186857 1111 63 0 189666 0
vsize: 758916
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.47 s]
Raw data (loadavg): 1.00 1.00 0.92 1/54 394
Raw data (stat): 394 (bsolo_lpr_cuts-) Z 393 31399 31398 0 -1 1036 186937 0 0 0 119721 345 0 0 25 0 1 0 913067966 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.47
CPU time (s): 1200.67
CPU user time (s): 1197.21
CPU system time (s): 3.45447
CPU usage (%): 100.016
Max. virtual memory (Kb): 758916
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####