PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-ran16x16.opb
MD5SUM	3d8e7805538589672f96799acf97ae3f
Bench Category	optimization, big integers (OPTBIGINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	10237643
Optimality of the best value was proved	NO
Number of terms in the objective function	7936
Biggest coefficient in the objective function	5368709120
Number of bits for the biggest coefficient in the objective function	33
Sum of the numbers in the objective function	1558042522197
Number of bits of the sum of numbers in the objective function	41
Biggest number in a constraint	5368709120
Number of bits of the biggest number in a constraint	33
Biggest sum of numbers in a constraint	1558042522197
Number of bits of the biggest sum of numbers	41
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1231.65
Number of variables	7936
Total number of constraints	288
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	288
Minimum length of a constraint	31
Maximum length of a constraint	480
Trace number 42586

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc2 THE 2005-06-16 11:47:02 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=25802 boxname=wulflinc2 idbench=1102 idsolver=18 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  3d8e7805538589672f96799acf97ae3f  /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-20-10-ran16x16.opb
REAL COMMAND:  pb2sat-v2 /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-20-10-ran16x16.opb
IDLAUNCH: 25802
/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:        851028 kB
Buffers:         17476 kB
Cached:         143884 kB
SwapCached:       1432 kB
Active:          27088 kB
Inactive:       136376 kB
HighTotal:      131008 kB
HighFree:         8848 kB
LowTotal:       903652 kB
LowFree:        842180 kB
SwapTotal:     2097136 kB
SwapFree:      2094708 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5056 kB
Slab:            14544 kB
Committed_AS:    71904 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-16 12:07:05 (client local time) WITH STATUS 0 IN 1200.87 SECONDS
stats: 25802 7 1200.87 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...

c Decision: 27578/265268	Time: 30.8873/86400
c Decision: 27578/265268	Time: 41.9656/86400
c Decision: 27578/265268	Time: 49.9264/86400
c Decision: 27578/265268	Time: 58.955/86400
c Decision: 27578/265268	Time: 64.9651/86400
c Decision: 27578/265268	Time: 71.4611/86400
c Decision: 27578/265268	Time: 80.0538/86400
c Decision: 27578/265268	Time: 84.5052/86400
c Decision: 27578/265268	Time: 92.9319/86400
c Decision: 27578/265268	Time: 98.983/86400
c Decision: 27578/265268	Time: 107.816/86400
c Decision: 27578/265268	Time: 116.114/86400
c Decision: 27578/265268	Time: 122.815/86400
c Decision: 27578/265268	Time: 129.982/86400
c Decision: 27578/265268	Time: 137.11/86400
c Decision: 27578/265268	Time: 146.031/86400
c Decision: 27578/265268	Time: 153.708/86400
c Decision: 27578/265268	Time: 160.931/86400
c Decision: 27578/265268	Time: 168.327/86400
c Decision: 27578/265268	Time: 175.685/86400
c Decision: 27578/265268	Time: 184.441/86400
c Decision: 27578/265268	Time: 192.567/86400
c Decision: 27578/265268	Time: 199.967/86400
c Decision: 27578/265268	Time: 206.846/86400
c Decision: 27578/265268	Time: 213.355/86400
c Decision: 27578/265268	Time: 221.747/86400
c Decision: 27578/265268	Time: 229.908/86400
c Decision: 27578/265268	Time: 237.495/86400
c Decision: 27578/265268	Time: 245.745/86400
c Decision: 27578/265268	Time: 252.544/86400
c Decision: 27578/265268	Time: 260.238/86400
c Decision: 27578/265268	Time: 267.724/86400
c Decision: 27578/265268	Time: 275.627/86400
c Decision: 27578/265268	Time: 283.147/86400
c Decision: 27578/265268	Time: 291.813/86400
c Decision: 27578/265268	Time: 300.024/86400
c Decision: 27578/265268	Time: 307.678/86400
c Decision: 27578/265268	Time: 313.723/86400
c Decision: 27578/265268	Time: 320.059/86400
c Decision: 27578/265268	Time: 326.81/86400
c Decision: 27578/265268	Time: 333.822/86400
c Decision: 27578/265268	Time: 340.4/86400
c Decision: 27578/265268	Time: 346.61/86400
c Decision: 27578/265268	Time: 355.208/86400
c Decision: 27578/265268	Time: 363.01/86400
c Decision: 27578/265268	Time: 370.581/86400
c Decision: 27578/265268	Time: 376.929/86400
c Decision: 27578/265268	Time: 383.968/86400
c Decision: 27578/265268	Time: 390.961/86400
c Decision: 27578/265268	Time: 398.165/86400
c Decision: 27578/265268	Time: 406.216/86400
c Decision: 27578/265268	Time: 413.202/86400
c Decision: 27578/265268	Time: 420.91/86400
c Decision: 27578/265268	Time: 427.592/86400
c Decision: 27578/265268	Time: 434.439/86400
c Decision: 27578/265268	Time: 443.606/86400
c Decision: 27578/265268	Time: 450.583/86400
c Decision: 27578/265268	Time: 457.759/86400
c Decision: 27578/265268	Time: 464.907/86400
c Decision: 27578/265268	Time: 472.204/86400
c Decision: 27578/265268	Time: 480.002/86400
c Decision: 27578/265268	Time: 486.786/86400
c Decision: 27578/265268	Time: 493.553/86400
c Decision: 27578/265268	Time: 500.453/86400
c Decision: 27578/265268	Time: 508.394/86400
c Decision: 27578/265268	Time: 517.469/86400
c Decision: 27578/265268	Time: 525.298/86400
c Decision: 27578/265268	Time: 533.36/86400
c Decision: 27578/265268	Time: 541.732/86400
c Decision: 27578/265268	Time: 549.345/86400
c Decision: 27578/265268	Time: 557.475/86400
c Decision: 27578/265268	Time: 565.455/86400
c Decision: 27578/265268	Time: 572.984/86400
c Decision: 27578/265268	Time: 579.948/86400
c Decision: 27578/265268	Time: 586.669/86400
c Decision: 27578/265268	Time: 594.427/86400
c Decision: 27578/265268	Time: 601.363/86400
c Decision: 27578/265268	Time: 607.845/86400
c Decision: 27578/265268	Time: 615.102/86400
c Decision: 27578/265268	Time: 622.326/86400
c Decision: 27578/265268	Time: 631.279/86400
c Decision: 27578/265268	Time: 638.703/86400
c Decision: 27578/265268	Time: 645.124/86400
c Decision: 27578/265268	Time: 650.898/86400
c Decision: 27578/265268	Time: 655.7/86400
c Decision: 27578/265268	Time: 664.084/86400
c Decision: 27578/265268	Time: 672.894/86400
c Decision: 27578/265268	Time: 680.72/86400
c Decision: 27578/265268	Time: 686.831/86400
c Decision: 27578/265268	Time: 693.97/86400
c Decision: 27578/265268	Time: 702.088/86400
c Decision: 27578/265268	Time: 707.996/86400
c Decision: 27578/265268	Time: 715.168/86400
c Decision: 27578/265268	Time: 721.821/86400
c Decision: 27578/265268	Time: 728.701/86400
c Decision: 27578/265268	Time: 737.247/86400
c Decision: 27578/265268	Time: 744.89/86400
c Decision: 27578/265268	Time: 751.773/86400
c Decision: 27578/265268	Time: 759.813/86400
c Decision: 27578/265268	Time: 766.953/86400
c Decision: 27578/265268	Time: 774.621/86400
c Decision: 27578/265268	Time: 781.313/86400
c Decision: 27578/265268	Time: 788.747/86400
c Decision: 27578/265268	Time: 796.026/86400
c Decision: 27578/265268	Time: 803.56/86400
c Decision: 27578/265268	Time: 811.656/86400
c Decision: 27578/265268	Time: 818.423/86400
c Decision: 27578/265268	Time: 826.513/86400
c Decision: 27578/265268	Time: 834.865/86400
c Decision: 27578/265268	Time: 842.455/86400
c Decision: 27578/265268	Time: 851.492/86400
c Decision: 27578/265268	Time: 859.243/86400
c Decision: 27578/265268	Time: 867.23/86400
c Decision: 27578/265268	Time: 874.332/86400
c Decision: 27578/265268	Time: 881.448/86400
c Decision: 27578/265268	Time: 889.494/86400
c Decision: 27578/265268	Time: 896.97/86400
c Decision: 27578/265268	Time: 902.378/86400
c Decision: 27578/265268	Time: 909.856/86400
c Decision: 27578/265268	Time: 916.548/86400
c Decision: 27578/265268	Time: 924.207/86400
c Decision: 27578/265268	Time: 932.284/86400
c Decision: 27578/265268	Time: 939.709/86400
c Decision: 27578/265268	Time: 947.702/86400
c Decision: 27578/265268	Time: 954.86/86400
c Decision: 27578/265268	Time: 963.34/86400
c Decision: 27578/265268	Time: 970.278/86400
c Decision: 27578/265268	Time: 977.689/86400
c Decision: 27578/265268	Time: 984.424/86400
c Decision: 27578/265268	Time: 991.698/86400
c Decision: 27578/265268	Time: 999.745/86400
c Decision: 27578/265268	Time: 1007.54/86400
c Decision: 27578/265268	Time: 1015.67/86400
c Decision: 27578/265268	Time: 1024.11/86400
c Decision: 27578/265268	Time: 1031.7/86400
c Decision: 27578/265268	Time: 1040.59/86400
c Decision: 27578/265268	Time: 1048.22/86400
c Decision: 27578/265268	Time: 1055.85/86400
c Decision: 27578/265268	Time: 1063.72/86400
c Decision: 27578/265268	Time: 1070.91/86400
c Decision: 27578/265268	Time: 1080.42/86400
c Decision: 27578/265268	Time: 1088.47/86400
c Decision: 27578/265268	Time: 1096.72/86400
c Decision: 27578/265268	Time: 1104.07/86400
c Decision: 27578/265268	Time: 1112.56/86400
c Decision: 27578/265268	Time: 1120.78/86400
c Decision: 27578/265268	Time: 1128.66/86400
c Decision: 27578/265268	Time: 1136.54/86400
c Decision: 27578/265268	Time: 1144.87/86400
c Decision: 27578/265268	Time: 1153.47/86400
c Decision: 27578/265268	Time: 1162.04/86400
c Decision: 27578/265268	Time: 1170.06/86400
c Decision: 27578/265268	Time: 1176.77/86400
c Decision: 27578/265268	Time: 1184.13/86400s UNKNOWN
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.91 0.95 0.90 2/54 9789
Raw data (stat): 9789 (runsolver) R 9788 31399 31398 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 970520196 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0021 s]
Raw data (loadavg): 0.93 0.95 0.90 2/54 9789
Raw data (stat): 9789 (pb2sat-v2) R 9788 31399 31398 0 -1 0 25382 0 0 0 941 57 0 0 25 0 1 0 970520196 77250560 14488 4294967295 134512640 135730672 3221224576 3221066652 135301642 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 18860 14488 301 301 0 18559 0
vsize: 75440
[startup+20.0018 s]
Raw data (loadavg): 0.94 0.96 0.91 2/54 9789
Raw data (stat): 9789 (pb2sat-v2) R 9788 31399 31398 0 -1 0 37186 0 0 0 1915 82 0 0 25 0 1 0 970520196 109539328 21106 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26743 21106 301 301 0 26442 0
vsize: 106972
[startup+30.0018 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 9789
Raw data (stat): 9789 (pb2sat-v2) R 9788 31399 31398 0 -1 0 37272 0 0 0 2915 83 0 0 25 0 1 0 970520196 109539328 21192 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26743 21192 301 301 0 26442 0
vsize: 106972
[startup+40.0025 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 9789
Raw data (stat): 9789 (pb2sat-v2) R 9788 31399 31398 0 -1 0 37362 0 0 0 3914 84 0 0 25 0 1 0 970520196 109539328 21282 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26743 21282 301 301 0 26442 0
vsize: 106972
[startup+50.0029 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 9789
Raw data (stat): 9789 (pb2sat-v2) R 9788 31399 31398 0 -1 0 38234 0 0 0 4909 89 0 0 25 0 1 0 970520196 110813184 21635 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27054 21635 301 301 0 26753 0
vsize: 108216
[startup+60.0029 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 9789
Raw data (stat): 9789 (pb2sat-v2) R 9788 31399 31398 0 -1 0 39628 0 0 0 5905 93 0 0 25 0 1 0 970520196 114925568 22510 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 28058 22510 301 301 0 27757 0
vsize: 112232
[startup+70.0039 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 9789
Raw data (stat): 9789 (pb2sat-v2) R 9788 31399 31398 0 -1 0 39922 0 0 0 6903 95 0 0 25 0 1 0 970520196 116224000 22804 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 28375 22804 301 301 0 28074 0
vsize: 113500
[startup+80.004 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 9789
Raw data (stat): 9789 (pb2sat-v2) R 9788 31399 31398 0 -1 0 41195 0 0 0 7898 100 0 0 25 0 1 0 970520196 117272576 23039 4294967295 134512640 135730672 3221224576 3221223232 134734774 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 28631 23039 301 301 0 28330 0
vsize: 114524
[startup+90.004 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 9789
Raw data (stat): 9789 (pb2sat-v2) R 9788 31399 31398 0 -1 0 41845 0 0 0 8895 103 0 0 25 0 1 0 970520196 117731328 23170 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 28743 23170 301 301 0 28442 0
vsize: 114972
[startup+100.004 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 9789
Raw data (stat): 9789 (pb2sat-v2) R 9788 31399 31398 0 -1 0 42472 0 0 0 9892 106 0 0 25 0 1 0 970520196 118222848 23278 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 28863 23278 301 301 0 28562 0
vsize: 115452
[startup+110.005 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 9789
Raw data (stat): 9789 (pb2sat-v2) R 9788 31399 31398 0 -1 0 43061 0 0 0 10888 110 0 0 25 0 1 0 970520196 118665216 23348 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 28971 23348 301 301 0 28670 0
vsize: 115884
[startup+120.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9789
Raw data (stat): 9789 (pb2sat-v2) R 9788 31399 31398 0 -1 0 44200 0 0 0 11883 115 0 0 25 0 1 0 970520196 121151488 23968 4294967295 134512640 135730672 3221224576 3221222732 134765490 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 29578 23968 301 301 0 29277 0
vsize: 118312
[startup+130.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9789
Raw data (stat): 9789 (pb2sat-v2) R 9788 31399 31398 0 -1 0 44730 0 0 0 12879 119 0 0 25 0 1 0 970520196 119189504 23460 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 29099 23460 301 301 0 28798 0
vsize: 116396
[startup+140.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9789
Raw data (stat): 9789 (pb2sat-v2) R 9788 31399 31398 0 -1 0 45296 0 0 0 13875 123 0 0 25 0 1 0 970520196 119353344 23507 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 29139 23507 301 301 0 28838 0
vsize: 116556
[startup+150.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9789
Raw data (stat): 9789 (pb2sat-v2) R 9788 31399 31398 0 -1 0 46422 0 0 0 14870 128 0 0 25 0 1 0 970520196 121810944 24114 4294967295 134512640 135730672 3221224576 3221222752 134769231 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 29739 24114 301 301 0 29438 0
vsize: 118956
[startup+160.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9789
Raw data (stat): 9789 (pb2sat-v2) R 9788 31399 31398 0 -1 0 47074 0 0 0 15866 132 0 0 25 0 1 0 970520196 120471552 23728 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 29412 23728 301 301 0 29111 0
vsize: 117648
[startup+170.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9789
Raw data (stat): 9789 (pb2sat-v2) R 9788 31399 31398 0 -1 0 47644 0 0 0 16862 136 0 0 25 0 1 0 970520196 120668160 23779 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 29460 23779 301 301 0 29159 0
vsize: 117840
[startup+180.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9789
Raw data (stat): 9789 (pb2sat-v2) R 9788 31399 31398 0 -1 0 48170 0 0 0 17858 141 0 0 25 0 1 0 970520196 120668160 23786 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 29460 23786 301 301 0 29159 0
vsize: 117840
[startup+190.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9789
Raw data (stat): 9789 (pb2sat-v2) R 9788 31399 31398 0 -1 0 49289 0 0 0 18853 146 0 0 25 0 1 0 970520196 121061376 23867 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 29556 23867 301 301 0 29255 0
vsize: 118224
[startup+200.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9789
Raw data (stat): 9789 (pb2sat-v2) R 9788 31399 31398 0 -1 0 49890 0 0 0 19849 150 0 0 25 0 1 0 970520196 121421824 23949 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 29644 23949 301 301 0 29343 0
vsize: 118576
[startup+210.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9789
Raw data (stat): 9789 (pb2sat-v2) R 9788 31399 31398 0 -1 0 50437 0 0 0 20845 154 0 0 25 0 1 0 970520196 121421824 23977 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 29644 23977 301 301 0 29343 0
vsize: 118576
[startup+220.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9789
Raw data (stat): 9789 (pb2sat-v2) R 9788 31399 31398 0 -1 0 51497 0 0 0 21839 160 0 0 25 0 1 0 970520196 123744256 24518 4294967295 134512640 135730672 3221224576 3221222712 134765477 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 30211 24518 301 301 0 29910 0
vsize: 120844
[startup+230.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9789
Raw data (stat): 9789 (pb2sat-v2) R 9788 31399 31398 0 -1 0 52100 0 0 0 22834 166 0 0 25 0 1 0 970520196 121815040 24083 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 29740 24083 301 301 0 29439 0
vsize: 118960
[startup+240.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9789
Raw data (stat): 9789 (pb2sat-v2) R 9788 31399 31398 0 -1 0 52704 0 0 0 23830 169 0 0 25 0 1 0 970520196 122208256 24168 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 29836 24168 301 301 0 29535 0
vsize: 119344
[startup+250.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9789
Raw data (stat): 9789 (pb2sat-v2) R 9788 31399 31398 0 -1 0 53282 0 0 0 24825 175 0 0 25 0 1 0 970520196 122601472 24227 4294967295 134512640 135730672 3221224576 3221223088 134746205 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 29932 24227 301 301 0 29631 0
vsize: 119728
[startup+260.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9789
Raw data (stat): 9789 (pb2sat-v2) R 9788 31399 31398 0 -1 0 54455 0 0 0 25821 179 0 0 25 0 1 0 970520196 123158528 24362 4294967295 134512640 135730672 3221224576 3221223264 134748499 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 30068 24362 301 301 0 29767 0
vsize: 120272
[startup+270.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9789
Raw data (stat): 9789 (pb2sat-v2) R 9788 31399 31398 0 -1 0 55013 0 0 0 26816 184 0 0 25 0 1 0 970520196 123322368 24401 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 30108 24401 301 301 0 29807 0
vsize: 120432
[startup+280.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9789
Raw data (stat): 9789 (pb2sat-v2) R 9788 31399 31398 0 -1 0 55540 0 0 0 27813 187 0 0 25 0 1 0 970520196 123322368 24409 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 30108 24409 301 301 0 29807 0
vsize: 120432
[startup+290.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9789
Raw data (stat): 9789 (pb2sat-v2) R 9788 31399 31398 0 -1 0 56609 0 0 0 28808 193 0 0 25 0 1 0 970520196 123322368 24440 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 30108 24440 301 301 0 29807 0
vsize: 120432
[startup+300.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9789
Raw data (stat): 9789 (pb2sat-v2) R 9788 31399 31398 0 -1 0 57293 0 0 0 29803 198 0 0 25 0 1 0 970520196 124076032 24605 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 30292 24605 301 301 0 29991 0
vsize: 121168
[startup+310.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9789
Raw data (stat): 9789 (pb2sat-v2) R 9788 31399 31398 0 -1 0 57888 0 0 0 30799 202 0 0 25 0 1 0 970520196 124469248 24681 4294967295 134512640 135730672 3221224576 3221223232 134734829 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 30388 24681 301 301 0 30087 0
vsize: 121552
[startup+320.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9789
Raw data (stat): 9789 (pb2sat-v2) R 9788 31399 31398 0 -1 0 58414 0 0 0 31795 206 0 0 25 0 1 0 970520196 124469248 24688 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 30388 24688 301 301 0 30087 0
vsize: 121552
[startup+330.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9789
Raw data (stat): 9789 (pb2sat-v2) R 9788 31399 31398 0 -1 0 59504 0 0 0 32790 211 0 0 25 0 1 0 970520196 124665856 24740 4294967295 134512640 135730672 3221224576 3221222896 134732772 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 30436 24740 301 301 0 30135 0
vsize: 121744
[startup+340.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9789
Raw data (stat): 9789 (pb2sat-v2) R 9788 31399 31398 0 -1 0 60578 0 0 0 33785 217 0 0 25 0 1 0 970520196 126791680 25295 4294967295 134512640 135730672 3221224576 3221222720 134769154 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 30955 25295 301 301 0 30654 0
vsize: 123820
[startup+350.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9789
Raw data (stat): 9789 (pb2sat-v2) R 9788 31399 31398 0 -1 0 61111 0 0 0 34782 220 0 0 25 0 1 0 970520196 124665856 24790 4294967295 134512640 135730672 3221224576 3221223072 134747599 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 30436 24790 301 301 0 30135 0
vsize: 121744
[startup+360.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9789
Raw data (stat): 9789 (pb2sat-v2) R 9788 31399 31398 0 -1 0 62180 0 0 0 35778 224 0 0 25 0 1 0 970520196 124862464 24821 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 30484 24821 301 301 0 30183 0
vsize: 121936
[startup+370.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9789
Raw data (stat): 9789 (pb2sat-v2) R 9788 31399 31398 0 -1 0 62858 0 0 0 36774 228 0 0 25 0 1 0 970520196 125452288 24980 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 30628 24980 301 301 0 30327 0
vsize: 122512
[startup+380.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9789
Raw data (stat): 9789 (pb2sat-v2) R 9788 31399 31398 0 -1 0 63431 0 0 0 37771 232 0 0 25 0 1 0 970520196 125648896 25034 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 30676 25034 301 301 0 30375 0
vsize: 122704
[startup+390.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9789
Raw data (stat): 9789 (pb2sat-v2) R 9788 31399 31398 0 -1 0 64485 0 0 0 38765 237 0 0 25 0 1 0 970520196 127774720 25569 4294967295 134512640 135730672 3221224576 3221222744 134772809 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 31195 25569 301 301 0 30894 0
vsize: 124780
[startup+400.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9789
Raw data (stat): 9789 (pb2sat-v2) R 9788 31399 31398 0 -1 0 65048 0 0 0 39761 241 0 0 25 0 1 0 970520196 125845504 25094 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 30724 25094 301 301 0 30423 0
vsize: 122896
[startup+410.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9789
Raw data (stat): 9789 (pb2sat-v2) R 9788 31399 31398 0 -1 0 65602 0 0 0 40757 246 0 0 25 0 1 0 970520196 125845504 25129 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 30724 25129 301 301 0 30423 0
vsize: 122896
[startup+420.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9789
Raw data (stat): 9789 (pb2sat-v2) R 9788 31399 31398 0 -1 0 66664 0 0 0 41752 250 0 0 25 0 1 0 970520196 126042112 25153 4294967295 134512640 135730672 3221224576 3221223264 134748449 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 30772 25153 301 301 0 30471 0
vsize: 123088
[startup+430.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9789
Raw data (stat): 9789 (pb2sat-v2) R 9788 31399 31398 0 -1 0 67194 0 0 0 42748 255 0 0 25 0 1 0 970520196 126042112 25164 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 30772 25164 301 301 0 30471 0
vsize: 123088
[startup+440.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9789
Raw data (stat): 9789 (pb2sat-v2) R 9788 31399 31398 0 -1 0 67730 0 0 0 43745 259 0 0 25 0 1 0 970520196 126042112 25181 4294967295 134512640 135730672 3221224576 3221223088 134745782 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 30772 25181 301 301 0 30471 0
vsize: 123088
[startup+450.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9789
Raw data (stat): 9789 (pb2sat-v2) R 9788 31399 31398 0 -1 0 68801 0 0 0 44739 264 0 0 25 0 1 0 970520196 126042112 25214 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 30772 25214 301 301 0 30471 0
vsize: 123088
[startup+460.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9789
Raw data (stat): 9789 (pb2sat-v2) R 9788 31399 31398 0 -1 0 69330 0 0 0 45735 268 0 0 25 0 1 0 970520196 126042112 25224 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 30772 25224 301 301 0 30471 0
vsize: 123088
[startup+470.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9789
Raw data (stat): 9789 (pb2sat-v2) R 9788 31399 31398 0 -1 0 69873 0 0 0 46731 273 0 0 25 0 1 0 970520196 126042112 25248 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 30772 25248 301 301 0 30471 0
vsize: 123088
[startup+480.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9789
Raw data (stat): 9789 (pb2sat-v2) R 9788 31399 31398 0 -1 0 70923 0 0 0 47726 278 0 0 25 0 1 0 970520196 126042112 25260 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 30772 25260 301 301 0 30471 0
vsize: 123088
[startup+490.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9789
Raw data (stat): 9789 (pb2sat-v2) R 9788 31399 31398 0 -1 0 71503 0 0 0 48723 281 0 0 25 0 1 0 970520196 126238720 25321 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 30820 25321 301 301 0 30519 0
vsize: 123280
[startup+500.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9789
Raw data (stat): 9789 (pb2sat-v2) R 9788 31399 31398 0 -1 0 72552 0 0 0 49719 286 0 0 25 0 1 0 970520196 128364544 25851 4294967295 134512640 135730672 3221224576 3221222712 134765477 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 31339 25851 301 301 0 31038 0
vsize: 125356
[startup+510.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9789
Raw data (stat): 9789 (pb2sat-v2) R 9788 31399 31398 0 -1 0 73087 0 0 0 50715 290 0 0 25 0 1 0 970520196 126238720 25348 4294967295 134512640 135730672 3221224576 3221223232 134734847 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 30820 25348 301 301 0 30519 0
vsize: 123280
[startup+520.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9789
Raw data (stat): 9789 (pb2sat-v2) R 9788 31399 31398 0 -1 0 73622 0 0 0 51711 294 0 0 25 0 1 0 970520196 126238720 25364 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 30820 25364 301 301 0 30519 0
vsize: 123280
[startup+530.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9789
Raw data (stat): 9789 (pb2sat-v2) R 9788 31399 31398 0 -1 0 74672 0 0 0 52707 298 0 0 25 0 1 0 970520196 126238720 25376 4294967295 134512640 135730672 3221224576 3221223200 134783060 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 30820 25376 301 301 0 30519 0
vsize: 123280
[startup+540.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9789
Raw data (stat): 9789 (pb2sat-v2) R 9788 31399 31398 0 -1 0 75270 0 0 0 53703 303 0 0 25 0 1 0 970520196 126705664 25455 4294967295 134512640 135730672 3221224576 3221223264 134748499 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 30934 25455 301 301 0 30633 0
vsize: 123736
[startup+550.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9789
Raw data (stat): 9789 (pb2sat-v2) R 9788 31399 31398 0 -1 0 75818 0 0 0 54698 307 0 0 25 0 1 0 970520196 126705664 25484 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 30934 25484 301 301 0 30633 0
vsize: 123736
[startup+560.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9789
Raw data (stat): 9789 (pb2sat-v2) R 9788 31399 31398 0 -1 0 76366 0 0 0 55694 312 0 0 25 0 1 0 970520196 126902272 25513 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 30982 25513 301 301 0 30681 0
vsize: 123928
[startup+570.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9789
Raw data (stat): 9789 (pb2sat-v2) R 9788 31399 31398 0 -1 0 77416 0 0 0 56690 316 0 0 25 0 1 0 970520196 126902272 25525 4294967295 134512640 135730672 3221224576 3221223200 134783062 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 30982 25525 301 301 0 30681 0
vsize: 123928
[startup+580.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9789
Raw data (stat): 9789 (pb2sat-v2) R 9788 31399 31398 0 -1 0 77993 0 0 0 57686 320 0 0 25 0 1 0 970520196 127098880 25583 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 31030 25583 301 301 0 30729 0
vsize: 124120
[startup+590.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9789
Raw data (stat): 9789 (pb2sat-v2) R 9788 31399 31398 0 -1 0 78585 0 0 0 58682 325 0 0 25 0 1 0 970520196 127295488 25656 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 31078 25656 301 301 0 30777 0
vsize: 124312
[startup+600.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9789
Raw data (stat): 9789 (pb2sat-v2) R 9788 31399 31398 0 -1 0 79707 0 0 0 59676 330 0 0 25 0 1 0 970520196 127688704 25740 4294967295 134512640 135730672 3221224576 3221223200 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 31174 25740 301 301 0 30873 0
vsize: 124696
[startup+610.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9789
Raw data (stat): 9789 (pb2sat-v2) R 9788 31399 31398 0 -1 0 80238 0 0 0 60672 335 0 0 25 0 1 0 970520196 127688704 25752 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 31174 25752 301 301 0 30873 0
vsize: 124696
[startup+620.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9789
Raw data (stat): 9789 (pb2sat-v2) R 9788 31399 31398 0 -1 0 80765 0 0 0 61669 338 0 0 25 0 1 0 970520196 127688704 25760 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 31174 25760 301 301 0 30873 0
vsize: 124696
[startup+630.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9789
Raw data (stat): 9789 (pb2sat-v2) R 9788 31399 31398 0 -1 0 81809 0 0 0 62665 342 0 0 25 0 1 0 970520196 127688704 25766 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 31174 25766 301 301 0 30873 0
vsize: 124696
[startup+640.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9789
Raw data (stat): 9789 (pb2sat-v2) R 9788 31399 31398 0 -1 0 82384 0 0 0 63661 346 0 0 25 0 1 0 970520196 127885312 25822 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 31222 25822 301 301 0 30921 0
vsize: 124888
[startup+650.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9789
Raw data (stat): 9789 (pb2sat-v2) R 9788 31399 31398 0 -1 0 82918 0 0 0 64658 349 0 0 25 0 1 0 970520196 127885312 25837 4294967295 134512640 135730672 3221224576 3221223232 134734769 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 31222 25837 301 301 0 30921 0
vsize: 124888
[startup+660.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9789
Raw data (stat): 9789 (pb2sat-v2) R 9788 31399 31398 0 -1 0 83980 0 0 0 65655 353 0 0 25 0 1 0 970520196 127885312 25861 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 31222 25861 301 301 0 30921 0
vsize: 124888
[startup+670.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9789
Raw data (stat): 9789 (pb2sat-v2) R 9788 31399 31398 0 -1 0 85047 0 0 0 66651 357 0 0 25 0 1 0 970520196 127885312 25890 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 31222 25890 301 301 0 30921 0
vsize: 124888
[startup+680.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9789
Raw data (stat): 9789 (pb2sat-v2) R 9788 31399 31398 0 -1 0 85603 0 0 0 67647 361 0 0 25 0 1 0 970520196 128081920 25927 4294967295 134512640 135730672 3221224576 3221223232 134734847 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 31270 25927 301 301 0 30969 0
vsize: 125080
[startup+690.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9789
Raw data (stat): 9789 (pb2sat-v2) R 9788 31399 31398 0 -1 0 92334 0 0 0 68631 377 0 0 25 0 1 0 970520196 153444352 25994 4294967295 134512640 135730672 3221224576 3221223232 134734769 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 37462 25994 301 301 0 37161 0
vsize: 149848
[startup+700.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9789
Raw data (stat): 9789 (pb2sat-v2) R 9788 31399 31398 0 -1 0 93386 0 0 0 69627 381 0 0 25 0 1 0 970520196 155570176 26527 4294967295 134512640 135730672 3221224576 3221222736 134768813 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 37981 26527 301 301 0 37680 0
vsize: 151924
[startup+710.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9789
Raw data (stat): 9789 (pb2sat-v2) R 9788 31399 31398 0 -1 0 93940 0 0 0 70623 386 0 0 25 0 1 0 970520196 153640960 26043 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 37510 26043 301 301 0 37209 0
vsize: 150040
[startup+720.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9789
Raw data (stat): 9789 (pb2sat-v2) R 9788 31399 31398 0 -1 0 94470 0 0 0 71620 389 0 0 25 0 1 0 970520196 153640960 26054 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 37510 26054 301 301 0 37209 0
vsize: 150040
[startup+730.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9789
Raw data (stat): 9789 (pb2sat-v2) R 9788 31399 31398 0 -1 0 95523 0 0 0 72615 394 0 0 25 0 1 0 970520196 153640960 26069 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 37510 26069 301 301 0 37209 0
vsize: 150040
[startup+740.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9789
Raw data (stat): 9789 (pb2sat-v2) R 9788 31399 31398 0 -1 0 96062 0 0 0 73610 399 0 0 25 0 1 0 970520196 153640960 26089 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 37510 26089 301 301 0 37209 0
vsize: 150040
[startup+750.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9789
Raw data (stat): 9789 (pb2sat-v2) R 9788 31399 31398 0 -1 0 96619 0 0 0 74606 403 0 0 25 0 1 0 970520196 153640960 26127 4294967295 134512640 135730672 3221224576 3221223200 134783330 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 37510 26127 301 301 0 37209 0
vsize: 150040
[startup+760.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9789
Raw data (stat): 9789 (pb2sat-v2) R 9788 31399 31398 0 -1 0 97199 0 0 0 75602 407 0 0 25 0 1 0 970520196 154034176 26188 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 37606 26188 301 301 0 37305 0
vsize: 150424
[startup+770.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9789
Raw data (stat): 9789 (pb2sat-v2) R 9788 31399 31398 0 -1 0 97735 0 0 0 76599 411 0 0 25 0 1 0 970520196 154034176 26205 4294967295 134512640 135730672 3221224576 3221223072 134747599 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 37606 26205 301 301 0 37305 0
vsize: 150424
[startup+780.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9789
Raw data (stat): 9789 (pb2sat-v2) R 9788 31399 31398 0 -1 0 98836 0 0 0 77595 415 0 0 25 0 1 0 970520196 156356608 26787 4294967295 134512640 135730672 3221224576 3221222736 134768938 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 38173 26787 301 301 0 37872 0
vsize: 152692
[startup+790.019 s]
Raw data (loadavg): 1.07 0.99 0.91 2/54 9842
Raw data (stat): 9789 (pb2sat-v2) R 9788 31399 31398 0 -1 0 99368 0 0 0 78591 419 0 0 25 0 1 0 970520196 154230784 26281 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 37654 26281 301 301 0 37353 0
vsize: 150616
[startup+800.019 s]
Raw data (loadavg): 1.06 0.99 0.91 2/54 9842
Raw data (stat): 9789 (pb2sat-v2) R 9788 31399 31398 0 -1 0 99917 0 0 0 79587 423 0 0 25 0 1 0 970520196 154230784 26311 4294967295 134512640 135730672 3221224576 3221223232 134734847 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 37654 26311 301 301 0 37353 0
vsize: 150616
[startup+810.02 s]
Raw data (loadavg): 1.05 0.99 0.91 2/54 9842
Raw data (stat): 9789 (pb2sat-v2) R 9788 31399 31398 0 -1 0 100993 0 0 0 80581 430 0 0 25 0 1 0 970520196 154427392 26349 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 37702 26349 301 301 0 37401 0
vsize: 150808
[startup+820.019 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 9842
Raw data (stat): 9789 (pb2sat-v2) R 9788 31399 31398 0 -1 0 101529 0 0 0 81576 434 0 0 25 0 1 0 970520196 154427392 26366 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 37702 26366 301 301 0 37401 0
vsize: 150808
[startup+830.019 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 9842
Raw data (stat): 9789 (pb2sat-v2) R 9788 31399 31398 0 -1 0 102064 0 0 0 82573 438 0 0 25 0 1 0 970520196 154427392 26382 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 37702 26382 301 301 0 37401 0
vsize: 150808
[startup+840.02 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 9842
Raw data (stat): 9789 (pb2sat-v2) R 9788 31399 31398 0 -1 0 103153 0 0 0 83569 442 0 0 25 0 1 0 970520196 154624000 26433 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 37750 26433 301 301 0 37449 0
vsize: 151000
[startup+850.019 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 9842
Raw data (stat): 9789 (pb2sat-v2) R 9788 31399 31398 0 -1 0 103703 0 0 0 84566 445 0 0 25 0 1 0 970520196 154624000 26464 4294967295 134512640 135730672 3221224576 3221223264 134748499 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 37750 26464 301 301 0 37449 0
vsize: 151000
[startup+860.02 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 9844
Raw data (stat): 9789 (pb2sat-v2) R 9788 31399 31398 0 -1 0 104254 0 0 0 85563 448 0 0 25 0 1 0 970520196 154624000 26496 4294967295 134512640 135730672 3221224576 3221223232 134734761 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 37750 26496 301 301 0 37449 0
vsize: 151000
[startup+870.021 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 9844
Raw data (stat): 9789 (pb2sat-v2) R 9788 31399 31398 0 -1 0 104787 0 0 0 86560 451 0 0 25 0 1 0 970520196 154624000 26510 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 37750 26510 301 301 0 37449 0
vsize: 151000
[startup+880.02 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 9844
Raw data (stat): 9789 (pb2sat-v2) R 9788 31399 31398 0 -1 0 105854 0 0 0 87556 455 0 0 25 0 1 0 970520196 156946432 27058 4294967295 134512640 135730672 3221224576 3221222728 134765483 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 38317 27058 301 301 0 38016 0
vsize: 153268
[startup+890.02 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 9844
Raw data (stat): 9789 (pb2sat-v2) R 9788 31399 31398 0 -1 0 106400 0 0 0 88552 460 0 0 25 0 1 0 970520196 154820608 26566 4294967295 134512640 135730672 3221224576 3221223264 134748503 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 37798 26566 301 301 0 37497 0
vsize: 151192
[startup+900.02 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 9844
Raw data (stat): 9789 (pb2sat-v2) R 9788 31399 31398 0 -1 0 106966 0 0 0 89549 463 0 0 25 0 1 0 970520196 155017216 26613 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 37846 26613 301 301 0 37545 0
vsize: 151384
[startup+910.021 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 9844
Raw data (stat): 9789 (pb2sat-v2) R 9788 31399 31398 0 -1 0 108038 0 0 0 90545 467 0 0 25 0 1 0 970520196 157143040 27166 4294967295 134512640 135730672 3221224576 3221222712 134765483 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 38365 27166 301 301 0 38064 0
vsize: 153460
[startup+920.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9844
Raw data (stat): 9789 (pb2sat-v2) R 9788 31399 31398 0 -1 0 108579 0 0 0 91542 470 0 0 25 0 1 0 970520196 171794432 26669 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 41942 26669 301 301 0 41641 0
vsize: 167768
[startup+930.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9844
Raw data (stat): 9789 (pb2sat-v2) R 9788 31399 31398 0 -1 0 109635 0 0 0 92537 475 0 0 25 0 1 0 970520196 171794432 26687 4294967295 134512640 135730672 3221224576 3221223232 134734761 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 41942 26687 301 301 0 41641 0
vsize: 167768
[startup+940.021 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9844
Raw data (stat): 9789 (pb2sat-v2) R 9788 31399 31398 0 -1 0 110170 0 0 0 93535 478 0 0 25 0 1 0 970520196 171794432 26703 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 41942 26703 301 301 0 41641 0
vsize: 167768
[startup+950.021 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9844
Raw data (stat): 9789 (pb2sat-v2) R 9788 31399 31398 0 -1 0 110696 0 0 0 94532 481 0 0 25 0 1 0 970520196 171794432 26710 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 41942 26710 301 301 0 41641 0
vsize: 167768
[startup+960.021 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9844
Raw data (stat): 9789 (pb2sat-v2) R 9788 31399 31398 0 -1 0 111231 0 0 0 95527 486 0 0 25 0 1 0 970520196 171794432 26726 4294967295 134512640 135730672 3221224576 3221223088 134746183 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 41942 26726 301 301 0 41641 0
vsize: 167768
[startup+970.022 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9844
Raw data (stat): 9789 (pb2sat-v2) R 9788 31399 31398 0 -1 0 112282 0 0 0 96523 491 0 0 25 0 1 0 970520196 171794432 26739 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 41942 26739 301 301 0 41641 0
vsize: 167768
[startup+980.021 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9844
Raw data (stat): 9789 (pb2sat-v2) R 9788 31399 31398 0 -1 0 112813 0 0 0 97519 495 0 0 25 0 1 0 970520196 171794432 26751 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 41942 26751 301 301 0 41641 0
vsize: 167768
[startup+990.021 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9844
Raw data (stat): 9789 (pb2sat-v2) R 9788 31399 31398 0 -1 0 113357 0 0 0 98515 498 0 0 25 0 1 0 970520196 171925504 26776 4294967295 134512640 135730672 3221224576 3221223088 134746205 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 41974 26776 301 301 0 41673 0
vsize: 167896
[startup+1000.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9844
Raw data (stat): 9789 (pb2sat-v2) R 9788 31399 31398 0 -1 0 114421 0 0 0 99511 503 0 0 25 0 1 0 970520196 171925504 26802 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 41974 26802 301 301 0 41673 0
vsize: 167896
[startup+1010.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9844
Raw data (stat): 9789 (pb2sat-v2) R 9788 31399 31398 0 -1 0 114975 0 0 0 100507 507 0 0 25 0 1 0 970520196 171925504 26837 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 41974 26837 301 301 0 41673 0
vsize: 167896
[startup+1020.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9844
Raw data (stat): 9789 (pb2sat-v2) R 9788 31399 31398 0 -1 0 115518 0 0 0 101503 511 0 0 25 0 1 0 970520196 172122112 26861 4294967295 134512640 135730672 3221224576 3221223088 134745849 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42022 26861 301 301 0 41721 0
vsize: 168088
[startup+1030.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9844
Raw data (stat): 9789 (pb2sat-v2) R 9788 31399 31398 0 -1 0 116577 0 0 0 102499 515 0 0 25 0 1 0 970520196 172122112 26882 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42022 26882 301 301 0 41721 0
vsize: 168088
[startup+1040.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9844
Raw data (stat): 9789 (pb2sat-v2) R 9788 31399 31398 0 -1 0 117136 0 0 0 103496 519 0 0 25 0 1 0 970520196 172269568 26922 4294967295 134512640 135730672 3221224576 3221223200 134748079 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42058 26922 301 301 0 41757 0
vsize: 168232
[startup+1050.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9844
Raw data (stat): 9789 (pb2sat-v2) R 9788 31399 31398 0 -1 0 117686 0 0 0 104491 523 0 0 25 0 1 0 970520196 172269568 26953 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42058 26953 301 301 0 41757 0
vsize: 168232
[startup+1060.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9844
Raw data (stat): 9789 (pb2sat-v2) R 9788 31399 31398 0 -1 0 118225 0 0 0 105488 527 0 0 25 0 1 0 970520196 172269568 26973 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42058 26973 301 301 0 41757 0
vsize: 168232
[startup+1070.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9844
Raw data (stat): 9789 (pb2sat-v2) R 9788 31399 31398 0 -1 0 119290 0 0 0 106484 531 0 0 25 0 1 0 970520196 172400640 27000 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42090 27000 301 301 0 41789 0
vsize: 168360
[startup+1080.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9844
Raw data (stat): 9789 (pb2sat-v2) R 9788 31399 31398 0 -1 0 119848 0 0 0 107480 536 0 0 25 0 1 0 970520196 172400640 27039 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42090 27039 301 301 0 41789 0
vsize: 168360
[startup+1090.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9844
Raw data (stat): 9789 (pb2sat-v2) R 9788 31399 31398 0 -1 0 120397 0 0 0 108476 540 0 0 25 0 1 0 970520196 172531712 27069 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42122 27069 301 301 0 41821 0
vsize: 168488
[startup+1100.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9844
Raw data (stat): 9789 (pb2sat-v2) R 9788 31399 31398 0 -1 0 120942 0 0 0 109472 543 0 0 25 0 1 0 970520196 172531712 27095 4294967295 134512640 135730672 3221224576 3221222912 134739215 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42122 27095 301 301 0 41821 0
vsize: 168488
[startup+1110.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9844
Raw data (stat): 9789 (pb2sat-v2) R 9788 31399 31398 0 -1 0 121996 0 0 0 110468 548 0 0 25 0 1 0 970520196 172531712 27111 4294967295 134512640 135730672 3221224576 3221223072 134747477 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42122 27111 301 301 0 41821 0
vsize: 168488
[startup+1120.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9844
Raw data (stat): 9789 (pb2sat-v2) R 9788 31399 31398 0 -1 0 122540 0 0 0 111465 552 0 0 25 0 1 0 970520196 172666880 27136 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42155 27136 301 301 0 41854 0
vsize: 168620
[startup+1130.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9844
Raw data (stat): 9789 (pb2sat-v2) R 9788 31399 31398 0 -1 0 123081 0 0 0 112460 556 0 0 25 0 1 0 970520196 172666880 27158 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42155 27158 301 301 0 41854 0
vsize: 168620
[startup+1140.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9844
Raw data (stat): 9789 (pb2sat-v2) R 9788 31399 31398 0 -1 0 123629 0 0 0 113458 559 0 0 25 0 1 0 970520196 172806144 27187 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42189 27187 301 301 0 41888 0
vsize: 168756
[startup+1150.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9846
Raw data (stat): 9789 (pb2sat-v2) R 9788 31399 31398 0 -1 0 124684 0 0 0 114453 564 0 0 25 0 1 0 970520196 172806144 27204 4294967295 134512640 135730672 3221224576 3221223232 134734780 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42189 27204 301 301 0 41888 0
vsize: 168756
[startup+1160.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9846
Raw data (stat): 9789 (pb2sat-v2) R 9788 31399 31398 0 -1 0 125225 0 0 0 115449 568 0 0 25 0 1 0 970520196 172806144 27226 4294967295 134512640 135730672 3221224576 3221223072 134747967 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42189 27226 301 301 0 41888 0
vsize: 168756
[startup+1170.03 s]
Raw data (loadavg): 1.00 0.99 0.91 3/54 9846
Raw data (stat): 9789 (pb2sat-v2) R 9788 31399 31398 0 -1 0 125770 0 0 0 116445 572 0 0 25 0 1 0 970520196 172806144 27252 4294967295 134512640 135730672 3221224576 3221223184 134744655 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42189 27252 301 301 0 41888 0
vsize: 168756
[startup+1180.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9846
Raw data (stat): 9789 (pb2sat-v2) R 9788 31399 31398 0 -1 0 126309 0 0 0 117441 576 0 0 25 0 1 0 970520196 172937216 27272 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42221 27272 301 301 0 41920 0
vsize: 168884
[startup+1190.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9846
Raw data (stat): 9789 (pb2sat-v2) R 9788 31399 31398 0 -1 0 126858 0 0 0 118437 581 0 0 25 0 1 0 970520196 172937216 27302 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42221 27302 301 301 0 41920 0
vsize: 168884
[startup+1200.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9846
Raw data (stat): 9789 (pb2sat-v2) R 9788 31399 31398 0 -1 0 127408 0 0 0 119432 585 0 0 25 0 1 0 970520196 173080576 27333 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42256 27333 301 301 0 41955 0
vsize: 169024
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.71 s]
Raw data (loadavg): 1.00 0.99 0.91 1/54 9846
Raw data (stat): 9789 (pb2sat-v2) Z 9788 31399 31398 0 -1 12 127410 0 0 0 119495 591 0 0 25 0 1 0 970520196 0 0 4294967295 0 0 0 0 0 0 16384 7 16384 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 status: 0
Real time (s): 1200.71
CPU time (s): 1200.87
CPU user time (s): 1194.95
CPU system time (s): 5.9131
CPU usage (%): 100.013
Max. virtual memory (Kb): 169024
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####