PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-mod011.opb
MD5SUM	affd575590f5a6117d93002dff93565b
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	212680
Biggest coefficient in the objective function	38252041742581760
Number of bits for the biggest coefficient in the objective function	56
Sum of the numbers in the objective function	82366741301042724864
Number of bits of the sum of numbers in the objective function	67
Biggest number in a constraint	38252041742581760
Number of bits of the biggest number in a constraint	56
Biggest sum of numbers in a constraint	82366741301042724864
Number of bits of the biggest sum of numbers	67
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	2.86856
Number of variables	309773
Total number of constraints	6093
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	128
Number of constraints which are nor clauses,nor cardinality constraints	5965
Minimum length of a constraint	1
Maximum length of a constraint	24690
Trace number 42471

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc1 THE 2005-06-16 08:11:45 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=25679 boxname=wulflinc1 idbench=979 idsolver=18 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  affd575590f5a6117d93002dff93565b  /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-20-10-mod011.opb
REAL COMMAND:  pb2sat-v2 /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-20-10-mod011.opb
IDLAUNCH: 25679
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.053
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.053
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 899.07

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        670228 kB
Buffers:         33512 kB
Cached:         305908 kB
SwapCached:       1192 kB
Active:          54320 kB
Inactive:       287416 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        669976 kB
SwapTotal:     2097136 kB
SwapFree:      2094880 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5364 kB
Slab:            16844 kB
Committed_AS:    92720 kB
PageTables:        332 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-16 08:31:59 (client local time) WITH STATUS 0 IN 1211.08 SECONDS
stats: 25679 7 1211.08 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c This solver internally uses Chaff 2004.11.15 Simplified
s 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.90 0.94 0.90 2/55 16714
Raw data (stat): 16714 (runsolver) R 16713 8378 8377 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 912367189 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+9.99992 s]
Raw data (loadavg): 0.92 0.94 0.91 2/55 16714
Raw data (stat): 16714 (pb2sat-v2) R 16713 8378 8377 0 -1 0 2125 0 0 0 994 4 0 0 25 0 1 0 912367189 7823360 1451 4294967295 134512640 135730672 3221224576 3221221664 134561664 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 1910 1451 301 301 0 1609 0
vsize: 7640
[startup+20.0006 s]
Raw data (loadavg): 0.93 0.94 0.91 2/55 16714
Raw data (stat): 16714 (pb2sat-v2) R 16713 8378 8377 0 -1 0 2672 0 0 0 1993 6 0 0 25 0 1 0 912367189 9310208 1989 4294967295 134512640 135730672 3221224576 3221221664 134561656 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 2273 1989 301 301 0 1972 0
vsize: 9092
[startup+30.0004 s]
Raw data (loadavg): 0.94 0.94 0.91 2/55 16714
Raw data (stat): 16714 (pb2sat-v2) R 16713 8378 8377 0 -1 0 3851 0 0 0 2990 9 0 0 25 0 1 0 912367189 13414400 2456 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3275 2456 301 301 0 2974 0
vsize: 13100
[startup+40.0002 s]
Raw data (loadavg): 0.95 0.94 0.91 2/55 16714
Raw data (stat): 16714 (pb2sat-v2) R 16713 8378 8377 0 -1 0 4093 0 0 0 3989 10 0 0 25 0 1 0 912367189 13955072 2693 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3407 2693 301 301 0 3106 0
vsize: 13628
[startup+50.001 s]
Raw data (loadavg): 0.96 0.94 0.91 2/55 16714
Raw data (stat): 16714 (pb2sat-v2) R 16713 8378 8377 0 -1 0 4356 0 0 0 4987 12 0 0 25 0 1 0 912367189 14630912 2952 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3572 2952 301 301 0 3271 0
vsize: 14288
[startup+60.0008 s]
Raw data (loadavg): 0.96 0.94 0.91 2/55 16714
Raw data (stat): 16714 (pb2sat-v2) R 16713 8378 8377 0 -1 0 4589 0 0 0 5987 12 0 0 25 0 1 0 912367189 15306752 3181 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3737 3181 301 301 0 3436 0
vsize: 14948
[startup+70.0016 s]
Raw data (loadavg): 0.97 0.95 0.91 2/55 16714
Raw data (stat): 16714 (pb2sat-v2) R 16713 8378 8377 0 -1 0 4801 0 0 0 6986 13 0 0 25 0 1 0 912367189 15847424 3390 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3869 3390 301 301 0 3568 0
vsize: 15476
[startup+80.0023 s]
Raw data (loadavg): 0.97 0.95 0.91 2/55 16714
Raw data (stat): 16714 (pb2sat-v2) R 16713 8378 8377 0 -1 0 5001 0 0 0 7986 13 0 0 25 0 1 0 912367189 16388096 3586 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4001 3586 301 301 0 3700 0
vsize: 16004
[startup+90.0022 s]
Raw data (loadavg): 0.98 0.95 0.91 2/55 16714
Raw data (stat): 16714 (pb2sat-v2) R 16713 8378 8377 0 -1 0 5189 0 0 0 8986 14 0 0 25 0 1 0 912367189 16928768 3771 4294967295 134512640 135730672 3221224576 3221221664 134561656 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4133 3771 301 301 0 3832 0
vsize: 16532
[startup+100.002 s]
Raw data (loadavg): 0.98 0.95 0.91 2/55 16714
Raw data (stat): 16714 (pb2sat-v2) R 16713 8378 8377 0 -1 0 5367 0 0 0 9984 15 0 0 25 0 1 0 912367189 17334272 3947 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4232 3947 301 301 0 3931 0
vsize: 16928
[startup+110.002 s]
Raw data (loadavg): 0.98 0.95 0.91 2/55 16714
Raw data (stat): 16714 (pb2sat-v2) R 16713 8378 8377 0 -1 0 7447 0 0 0 10979 19 0 0 25 0 1 0 912367189 25407488 4614 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6203 4614 301 301 0 5902 0
vsize: 24812
[startup+120.003 s]
Raw data (loadavg): 0.98 0.95 0.91 2/55 16714
Raw data (stat): 16714 (pb2sat-v2) R 16713 8378 8377 0 -1 0 7505 0 0 0 11979 19 0 0 25 0 1 0 912367189 25407488 4669 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6203 4669 301 301 0 5902 0
vsize: 24812
[startup+130.002 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 16714
Raw data (stat): 16714 (pb2sat-v2) R 16713 8378 8377 0 -1 0 7559 0 0 0 12979 20 0 0 25 0 1 0 912367189 25407488 4721 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6203 4721 301 301 0 5902 0
vsize: 24812
[startup+140.002 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 16714
Raw data (stat): 16714 (pb2sat-v2) R 16713 8378 8377 0 -1 0 7611 0 0 0 13979 20 0 0 25 0 1 0 912367189 25407488 4770 4294967295 134512640 135730672 3221224576 3221221664 134561656 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6203 4770 301 301 0 5902 0
vsize: 24812
[startup+150.003 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 16714
Raw data (stat): 16714 (pb2sat-v2) R 16713 8378 8377 0 -1 0 7688 0 0 0 14979 20 0 0 25 0 1 0 912367189 25407488 4845 4294967295 134512640 135730672 3221224576 3221221664 134561656 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6203 4845 301 301 0 5902 0
vsize: 24812
[startup+160.003 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 16714
Raw data (stat): 16714 (pb2sat-v2) R 16713 8378 8377 0 -1 0 7748 0 0 0 15978 21 0 0 25 0 1 0 912367189 25542656 4903 4294967295 134512640 135730672 3221224576 3221221664 134561691 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6236 4903 301 301 0 5935 0
vsize: 24944
[startup+170.003 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 16714
Raw data (stat): 16714 (pb2sat-v2) R 16713 8378 8377 0 -1 0 7881 0 0 0 16978 21 0 0 25 0 1 0 912367189 25812992 5034 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6302 5034 301 301 0 6001 0
vsize: 25208
[startup+180.003 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 16714
Raw data (stat): 16714 (pb2sat-v2) R 16713 8378 8377 0 -1 0 8011 0 0 0 17977 22 0 0 25 0 1 0 912367189 26218496 5162 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6401 5162 301 301 0 6100 0
vsize: 25604
[startup+190.003 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 16714
Raw data (stat): 16714 (pb2sat-v2) R 16713 8378 8377 0 -1 0 8136 0 0 0 18977 22 0 0 25 0 1 0 912367189 26488832 5285 4294967295 134512640 135730672 3221224576 3221221664 134561656 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6467 5285 301 301 0 6166 0
vsize: 25868
[startup+200.003 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 16714
Raw data (stat): 16714 (pb2sat-v2) R 16713 8378 8377 0 -1 0 8259 0 0 0 19977 22 0 0 25 0 1 0 912367189 26894336 5406 4294967295 134512640 135730672 3221224576 3221221664 134561656 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6566 5406 301 301 0 6265 0
vsize: 26264
[startup+210.003 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 16714
Raw data (stat): 16714 (pb2sat-v2) R 16713 8378 8377 0 -1 0 8379 0 0 0 20977 23 0 0 25 0 1 0 912367189 27164672 5524 4294967295 134512640 135730672 3221224576 3221221664 134561656 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6632 5524 301 301 0 6331 0
vsize: 26528
[startup+220.004 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 16714
Raw data (stat): 16714 (pb2sat-v2) R 16713 8378 8377 0 -1 0 8496 0 0 0 21976 23 0 0 25 0 1 0 912367189 27435008 5639 4294967295 134512640 135730672 3221224576 3221221664 134561656 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6698 5639 301 301 0 6397 0
vsize: 26792
[startup+230.003 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 16714
Raw data (stat): 16714 (pb2sat-v2) R 16713 8378 8377 0 -1 0 8613 0 0 0 22975 24 0 0 25 0 1 0 912367189 27840512 5754 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6797 5754 301 301 0 6496 0
vsize: 27188
[startup+240.003 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 16714
Raw data (stat): 16714 (pb2sat-v2) R 16713 8378 8377 0 -1 0 8726 0 0 0 23975 24 0 0 25 0 1 0 912367189 28110848 5865 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6863 5865 301 301 0 6562 0
vsize: 27452
[startup+250.003 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 16714
Raw data (stat): 16714 (pb2sat-v2) R 16713 8378 8377 0 -1 0 8836 0 0 0 24975 24 0 0 25 0 1 0 912367189 28381184 5973 4294967295 134512640 135730672 3221224576 3221221664 134561691 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6929 5973 301 301 0 6628 0
vsize: 27716
[startup+260.004 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 16714
Raw data (stat): 16714 (pb2sat-v2) R 16713 8378 8377 0 -1 0 8944 0 0 0 25975 24 0 0 25 0 1 0 912367189 28651520 6080 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6995 6080 301 301 0 6694 0
vsize: 27980
[startup+270.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16714
Raw data (stat): 16714 (pb2sat-v2) R 16713 8378 8377 0 -1 0 9051 0 0 0 26974 25 0 0 25 0 1 0 912367189 28921856 6185 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7061 6185 301 301 0 6760 0
vsize: 28244
[startup+280.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16714
Raw data (stat): 16714 (pb2sat-v2) R 16713 8378 8377 0 -1 0 9157 0 0 0 27974 25 0 0 25 0 1 0 912367189 29192192 6289 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7127 6289 301 301 0 6826 0
vsize: 28508
[startup+290.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16714
Raw data (stat): 16714 (pb2sat-v2) R 16713 8378 8377 0 -1 0 9259 0 0 0 28974 25 0 0 25 0 1 0 912367189 29462528 6390 4294967295 134512640 135730672 3221224576 3221221572 134606798 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7193 6390 301 301 0 6892 0
vsize: 28772
[startup+300.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16714
Raw data (stat): 16714 (pb2sat-v2) R 16713 8378 8377 0 -1 0 9360 0 0 0 29974 26 0 0 25 0 1 0 912367189 29732864 6489 4294967295 134512640 135730672 3221224576 3221221664 134561675 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7259 6489 301 301 0 6958 0
vsize: 29036
[startup+310.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16714
Raw data (stat): 16714 (pb2sat-v2) R 16713 8378 8377 0 -1 0 9461 0 0 0 30973 26 0 0 25 0 1 0 912367189 30003200 6588 4294967295 134512640 135730672 3221224576 3221221664 134561656 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7325 6588 301 301 0 7024 0
vsize: 29300
[startup+320.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16714
Raw data (stat): 16714 (pb2sat-v2) R 16713 8378 8377 0 -1 0 9558 0 0 0 31973 27 0 0 25 0 1 0 912367189 30273536 6684 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7391 6684 301 301 0 7090 0
vsize: 29564
[startup+330.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16714
Raw data (stat): 16714 (pb2sat-v2) R 16713 8378 8377 0 -1 0 9656 0 0 0 32973 27 0 0 25 0 1 0 912367189 30543872 6780 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7457 6780 301 301 0 7156 0
vsize: 29828
[startup+340.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16714
Raw data (stat): 16714 (pb2sat-v2) R 16713 8378 8377 0 -1 0 9750 0 0 0 33962 27 0 0 25 0 1 0 912367189 30814208 6873 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7523 6873 301 301 0 7222 0
vsize: 30092
[startup+350.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16714
Raw data (stat): 16714 (pb2sat-v2) R 16713 8378 8377 0 -1 0 9845 0 0 0 34961 28 0 0 25 0 1 0 912367189 31084544 6966 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7589 6966 301 301 0 7288 0
vsize: 30356
[startup+360.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16714
Raw data (stat): 16714 (pb2sat-v2) R 16713 8378 8377 0 -1 0 9937 0 0 0 35962 28 0 0 25 0 1 0 912367189 31354880 7057 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7655 7057 301 301 0 7354 0
vsize: 30620
[startup+370.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16714
Raw data (stat): 16714 (pb2sat-v2) R 16713 8378 8377 0 -1 0 10029 0 0 0 36962 28 0 0 25 0 1 0 912367189 31490048 7147 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7688 7147 301 301 0 7387 0
vsize: 30752
[startup+380.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16714
Raw data (stat): 16714 (pb2sat-v2) R 16713 8378 8377 0 -1 0 10119 0 0 0 37962 29 0 0 25 0 1 0 912367189 31760384 7236 4294967295 134512640 135730672 3221224576 3221221664 134561664 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7754 7236 301 301 0 7453 0
vsize: 31016
[startup+390.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16714
Raw data (stat): 16714 (pb2sat-v2) R 16713 8378 8377 0 -1 0 10210 0 0 0 38962 29 0 0 25 0 1 0 912367189 32030720 7325 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7820 7325 301 301 0 7519 0
vsize: 31280
[startup+400.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16714
Raw data (stat): 16714 (pb2sat-v2) R 16713 8378 8377 0 -1 0 10298 0 0 0 39962 29 0 0 25 0 1 0 912367189 32301056 7412 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7886 7412 301 301 0 7585 0
vsize: 31544
[startup+410.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16714
Raw data (stat): 16714 (pb2sat-v2) R 16713 8378 8377 0 -1 0 10386 0 0 0 40961 29 0 0 25 0 1 0 912367189 32436224 7498 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7919 7498 301 301 0 7618 0
vsize: 31676
[startup+420.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16714
Raw data (stat): 16714 (pb2sat-v2) R 16713 8378 8377 0 -1 0 10473 0 0 0 41961 30 0 0 25 0 1 0 912367189 32706560 7584 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7985 7584 301 301 0 7684 0
vsize: 31940
[startup+430.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16714
Raw data (stat): 16714 (pb2sat-v2) R 16713 8378 8377 0 -1 0 10557 0 0 0 42961 30 0 0 25 0 1 0 912367189 32976896 7667 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8051 7667 301 301 0 7750 0
vsize: 32204
[startup+440.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16714
Raw data (stat): 16714 (pb2sat-v2) R 16713 8378 8377 0 -1 0 10642 0 0 0 43961 30 0 0 25 0 1 0 912367189 33112064 7750 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8084 7750 301 301 0 7783 0
vsize: 32336
[startup+450.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16714
Raw data (stat): 16714 (pb2sat-v2) R 16713 8378 8377 0 -1 0 10725 0 0 0 44961 30 0 0 25 0 1 0 912367189 33382400 7832 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8150 7832 301 301 0 7849 0
vsize: 32600
[startup+460.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16714
Raw data (stat): 16714 (pb2sat-v2) R 16713 8378 8377 0 -1 0 10809 0 0 0 45960 31 0 0 25 0 1 0 912367189 33652736 7915 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8216 7915 301 301 0 7915 0
vsize: 32864
[startup+470.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16714
Raw data (stat): 16714 (pb2sat-v2) R 16713 8378 8377 0 -1 0 10891 0 0 0 46960 31 0 0 25 0 1 0 912367189 33787904 7995 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8249 7995 301 301 0 7948 0
vsize: 32996
[startup+480.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16714
Raw data (stat): 16714 (pb2sat-v2) R 16713 8378 8377 0 -1 0 14806 0 0 0 47953 38 0 0 25 0 1 0 912367189 49258496 9091 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12026 9091 301 301 0 11725 0
vsize: 48104
[startup+490.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16714
Raw data (stat): 16714 (pb2sat-v2) R 16713 8378 8377 0 -1 0 14834 0 0 0 48953 38 0 0 25 0 1 0 912367189 49258496 9118 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12026 9118 301 301 0 11725 0
vsize: 48104
[startup+500.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16714
Raw data (stat): 16714 (pb2sat-v2) R 16713 8378 8377 0 -1 0 14863 0 0 0 49953 38 0 0 25 0 1 0 912367189 49258496 9145 4294967295 134512640 135730672 3221224576 3221221664 134561656 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12026 9145 301 301 0 11725 0
vsize: 48104
[startup+510.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16714
Raw data (stat): 16714 (pb2sat-v2) R 16713 8378 8377 0 -1 0 14891 0 0 0 50953 38 0 0 25 0 1 0 912367189 49258496 9172 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12026 9172 301 301 0 11725 0
vsize: 48104
[startup+520.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16714
Raw data (stat): 16714 (pb2sat-v2) R 16713 8378 8377 0 -1 0 14918 0 0 0 51953 39 0 0 25 0 1 0 912367189 49258496 9198 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12026 9198 301 301 0 11725 0
vsize: 48104
[startup+530.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16714
Raw data (stat): 16714 (pb2sat-v2) R 16713 8378 8377 0 -1 0 14945 0 0 0 52952 39 0 0 25 0 1 0 912367189 49258496 9224 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12026 9224 301 301 0 11725 0
vsize: 48104
[startup+540.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16714
Raw data (stat): 16714 (pb2sat-v2) R 16713 8378 8377 0 -1 0 14974 0 0 0 53951 39 0 0 25 0 1 0 912367189 49258496 9251 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12026 9251 301 301 0 11725 0
vsize: 48104
[startup+550.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16714
Raw data (stat): 16714 (pb2sat-v2) R 16713 8378 8377 0 -1 0 15001 0 0 0 54950 40 0 0 25 0 1 0 912367189 49258496 9277 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12026 9277 301 301 0 11725 0
vsize: 48104
[startup+560.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16714
Raw data (stat): 16714 (pb2sat-v2) R 16713 8378 8377 0 -1 0 15027 0 0 0 55949 41 0 0 25 0 1 0 912367189 49258496 9302 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12026 9302 301 301 0 11725 0
vsize: 48104
[startup+570.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16714
Raw data (stat): 16714 (pb2sat-v2) R 16713 8378 8377 0 -1 0 15054 0 0 0 56949 41 0 0 25 0 1 0 912367189 49258496 9328 4294967295 134512640 135730672 3221224576 3221221664 134561656 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12026 9328 301 301 0 11725 0
vsize: 48104
[startup+580.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16714
Raw data (stat): 16714 (pb2sat-v2) R 16713 8378 8377 0 -1 0 15080 0 0 0 57949 41 0 0 25 0 1 0 912367189 49258496 9353 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12026 9353 301 301 0 11725 0
vsize: 48104
[startup+590.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16714
Raw data (stat): 16714 (pb2sat-v2) R 16713 8378 8377 0 -1 0 15106 0 0 0 58948 41 0 0 25 0 1 0 912367189 49258496 9377 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12026 9377 301 301 0 11725 0
vsize: 48104
[startup+600.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16714
Raw data (stat): 16714 (pb2sat-v2) R 16713 8378 8377 0 -1 0 15132 0 0 0 59947 41 0 0 25 0 1 0 912367189 49258496 9402 4294967295 134512640 135730672 3221224576 3221221664 134561656 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12026 9402 301 301 0 11725 0
vsize: 48104
[startup+610.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16714
Raw data (stat): 16714 (pb2sat-v2) R 16713 8378 8377 0 -1 0 15159 0 0 0 60948 42 0 0 25 0 1 0 912367189 49258496 9428 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12026 9428 301 301 0 11725 0
vsize: 48104
[startup+620.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16714
Raw data (stat): 16714 (pb2sat-v2) R 16713 8378 8377 0 -1 0 15209 0 0 0 61948 42 0 0 25 0 1 0 912367189 49258496 9477 4294967295 134512640 135730672 3221224576 3221221664 134561677 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12026 9477 301 301 0 11725 0
vsize: 48104
[startup+630.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16714
Raw data (stat): 16714 (pb2sat-v2) R 16713 8378 8377 0 -1 0 15234 0 0 0 62948 42 0 0 25 0 1 0 912367189 49258496 9501 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12026 9501 301 301 0 11725 0
vsize: 48104
[startup+640.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16714
Raw data (stat): 16714 (pb2sat-v2) R 16713 8378 8377 0 -1 0 15258 0 0 0 63948 42 0 0 25 0 1 0 912367189 49258496 9524 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12026 9524 301 301 0 11725 0
vsize: 48104
[startup+650.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16714
Raw data (stat): 16714 (pb2sat-v2) R 16713 8378 8377 0 -1 0 15285 0 0 0 64947 42 0 0 25 0 1 0 912367189 49258496 9549 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12026 9549 301 301 0 11725 0
vsize: 48104
[startup+660.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16714
Raw data (stat): 16714 (pb2sat-v2) R 16713 8378 8377 0 -1 0 15309 0 0 0 65947 42 0 0 25 0 1 0 912367189 49258496 9572 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12026 9572 301 301 0 11725 0
vsize: 48104
[startup+670.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16714
Raw data (stat): 16714 (pb2sat-v2) R 16713 8378 8377 0 -1 0 15333 0 0 0 66947 42 0 0 25 0 1 0 912367189 49258496 9595 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12026 9595 301 301 0 11725 0
vsize: 48104
[startup+680.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16714
Raw data (stat): 16714 (pb2sat-v2) R 16713 8378 8377 0 -1 0 15392 0 0 0 67947 43 0 0 25 0 1 0 912367189 49528832 9653 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12092 9653 301 301 0 11791 0
vsize: 48368
[startup+690.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16714
Raw data (stat): 16714 (pb2sat-v2) R 16713 8378 8377 0 -1 0 15461 0 0 0 68947 43 0 0 25 0 1 0 912367189 49664000 9721 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12125 9721 301 301 0 11824 0
vsize: 48500
[startup+700.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16714
Raw data (stat): 16714 (pb2sat-v2) R 16713 8378 8377 0 -1 0 15528 0 0 0 69947 43 0 0 25 0 1 0 912367189 49799168 9787 4294967295 134512640 135730672 3221224576 3221221664 134561656 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12158 9787 301 301 0 11857 0
vsize: 48632
[startup+710.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16714
Raw data (stat): 16714 (pb2sat-v2) R 16713 8378 8377 0 -1 0 15595 0 0 0 70946 44 0 0 25 0 1 0 912367189 50069504 9853 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12224 9853 301 301 0 11923 0
vsize: 48896
[startup+720.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16714
Raw data (stat): 16714 (pb2sat-v2) R 16713 8378 8377 0 -1 0 15662 0 0 0 71945 44 0 0 25 0 1 0 912367189 50204672 9919 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12257 9919 301 301 0 11956 0
vsize: 49028
[startup+730.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16714
Raw data (stat): 16714 (pb2sat-v2) R 16713 8378 8377 0 -1 0 15728 0 0 0 72945 45 0 0 25 0 1 0 912367189 50339840 9984 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12290 9984 301 301 0 11989 0
vsize: 49160
[startup+740.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16714
Raw data (stat): 16714 (pb2sat-v2) R 16713 8378 8377 0 -1 0 15793 0 0 0 73945 45 0 0 25 0 1 0 912367189 50475008 10048 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12323 10048 301 301 0 12022 0
vsize: 49292
[startup+750.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16714
Raw data (stat): 16714 (pb2sat-v2) R 16713 8378 8377 0 -1 0 15858 0 0 0 74945 45 0 0 25 0 1 0 912367189 50745344 10112 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12389 10112 301 301 0 12088 0
vsize: 49556
[startup+760.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16714
Raw data (stat): 16714 (pb2sat-v2) R 16713 8378 8377 0 -1 0 15923 0 0 0 75945 45 0 0 25 0 1 0 912367189 50880512 10176 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12422 10176 301 301 0 12121 0
vsize: 49688
[startup+770.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16714
Raw data (stat): 16714 (pb2sat-v2) R 16713 8378 8377 0 -1 0 15987 0 0 0 76945 46 0 0 25 0 1 0 912367189 51015680 10239 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12455 10239 301 301 0 12154 0
vsize: 49820
[startup+780.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16714
Raw data (stat): 16714 (pb2sat-v2) R 16713 8378 8377 0 -1 0 16052 0 0 0 77944 47 0 0 25 0 1 0 912367189 51150848 10302 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12488 10302 301 301 0 12187 0
vsize: 49952
[startup+790.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16714
Raw data (stat): 16714 (pb2sat-v2) R 16713 8378 8377 0 -1 0 16115 0 0 0 78944 47 0 0 25 0 1 0 912367189 51421184 10364 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12554 10364 301 301 0 12253 0
vsize: 50216
[startup+800.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16714
Raw data (stat): 16714 (pb2sat-v2) R 16713 8378 8377 0 -1 0 16179 0 0 0 79944 47 0 0 25 0 1 0 912367189 51556352 10427 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12587 10427 301 301 0 12286 0
vsize: 50348
[startup+810.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16714
Raw data (stat): 16714 (pb2sat-v2) R 16713 8378 8377 0 -1 0 16242 0 0 0 80944 47 0 0 25 0 1 0 912367189 51691520 10489 4294967295 134512640 135730672 3221224576 3221221664 134561656 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12620 10489 301 301 0 12319 0
vsize: 50480
[startup+820.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16714
Raw data (stat): 16714 (pb2sat-v2) R 16713 8378 8377 0 -1 0 16304 0 0 0 81944 47 0 0 25 0 1 0 912367189 51826688 10550 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12653 10550 301 301 0 12352 0
vsize: 50612
[startup+830.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16714
Raw data (stat): 16714 (pb2sat-v2) R 16713 8378 8377 0 -1 0 16366 0 0 0 82944 47 0 0 25 0 1 0 912367189 52097024 10611 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12719 10611 301 301 0 12418 0
vsize: 50876
[startup+840.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16714
Raw data (stat): 16714 (pb2sat-v2) R 16713 8378 8377 0 -1 0 16428 0 0 0 83943 48 0 0 25 0 1 0 912367189 52232192 10672 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12752 10672 301 301 0 12451 0
vsize: 51008
[startup+850.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16714
Raw data (stat): 16714 (pb2sat-v2) R 16713 8378 8377 0 -1 0 16489 0 0 0 84943 48 0 0 25 0 1 0 912367189 52367360 10732 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12785 10732 301 301 0 12484 0
vsize: 51140
[startup+860.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16714
Raw data (stat): 16714 (pb2sat-v2) R 16713 8378 8377 0 -1 0 16550 0 0 0 85943 48 0 0 25 0 1 0 912367189 52502528 10792 4294967295 134512640 135730672 3221224576 3221221664 134561675 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12818 10792 301 301 0 12517 0
vsize: 51272
[startup+870.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16714
Raw data (stat): 16714 (pb2sat-v2) R 16713 8378 8377 0 -1 0 16611 0 0 0 86942 49 0 0 25 0 1 0 912367189 52637696 10852 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12851 10852 301 301 0 12550 0
vsize: 51404
[startup+880.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16714
Raw data (stat): 16714 (pb2sat-v2) R 16713 8378 8377 0 -1 0 16672 0 0 0 87942 49 0 0 25 0 1 0 912367189 52908032 10912 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12917 10912 301 301 0 12616 0
vsize: 51668
[startup+890.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16714
Raw data (stat): 16714 (pb2sat-v2) R 16713 8378 8377 0 -1 0 16729 0 0 0 88942 49 0 0 25 0 1 0 912367189 53043200 10969 4294967295 134512640 135730672 3221224576 3221221664 134561656 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12950 10969 301 301 0 12649 0
vsize: 51800
[startup+900.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16714
Raw data (stat): 16714 (pb2sat-v2) R 16713 8378 8377 0 -1 0 16790 0 0 0 89941 49 0 0 25 0 1 0 912367189 53178368 11029 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12983 11029 301 301 0 12682 0
vsize: 51932
[startup+910.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16714
Raw data (stat): 16714 (pb2sat-v2) R 16713 8378 8377 0 -1 0 16850 0 0 0 90940 50 0 0 25 0 1 0 912367189 53313536 11088 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13016 11088 301 301 0 12715 0
vsize: 52064
[startup+920.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16714
Raw data (stat): 16714 (pb2sat-v2) R 16713 8378 8377 0 -1 0 16909 0 0 0 91940 50 0 0 25 0 1 0 912367189 53448704 11146 4294967295 134512640 135730672 3221224576 3221221664 134561656 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13049 11146 301 301 0 12748 0
vsize: 52196
[startup+930.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16714
Raw data (stat): 16714 (pb2sat-v2) R 16713 8378 8377 0 -1 0 16968 0 0 0 92940 50 0 0 25 0 1 0 912367189 53583872 11204 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13082 11204 301 301 0 12781 0
vsize: 52328
[startup+940.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16714
Raw data (stat): 16714 (pb2sat-v2) R 16713 8378 8377 0 -1 0 17026 0 0 0 93940 50 0 0 25 0 1 0 912367189 53719040 11261 4294967295 134512640 135730672 3221224576 3221221888 134568517 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13115 11261 301 301 0 12814 0
vsize: 52460
[startup+950.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16714
Raw data (stat): 16714 (pb2sat-v2) R 16713 8378 8377 0 -1 0 17084 0 0 0 94940 51 0 0 25 0 1 0 912367189 53989376 11318 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13181 11318 301 301 0 12880 0
vsize: 52724
[startup+960.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16714
Raw data (stat): 16714 (pb2sat-v2) R 16713 8378 8377 0 -1 0 17142 0 0 0 95940 51 0 0 25 0 1 0 912367189 54124544 11375 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13214 11375 301 301 0 12913 0
vsize: 52856
[startup+970.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16714
Raw data (stat): 16714 (pb2sat-v2) R 16713 8378 8377 0 -1 0 17200 0 0 0 96940 51 0 0 25 0 1 0 912367189 54259712 11432 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13247 11432 301 301 0 12946 0
vsize: 52988
[startup+980.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16714
Raw data (stat): 16714 (pb2sat-v2) R 16713 8378 8377 0 -1 0 17256 0 0 0 97940 51 0 0 25 0 1 0 912367189 54394880 11487 4294967295 134512640 135730672 3221224576 3221221664 134561683 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13280 11487 301 301 0 12979 0
vsize: 53120
[startup+990.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16714
Raw data (stat): 16714 (pb2sat-v2) R 16713 8378 8377 0 -1 0 17314 0 0 0 98940 51 0 0 25 0 1 0 912367189 54530048 11544 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13313 11544 301 301 0 13012 0
vsize: 53252
[startup+1000.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16714
Raw data (stat): 16714 (pb2sat-v2) R 16713 8378 8377 0 -1 0 17370 0 0 0 99940 51 0 0 25 0 1 0 912367189 54665216 11599 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13346 11599 301 301 0 13045 0
vsize: 53384
[startup+1010.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16714
Raw data (stat): 16714 (pb2sat-v2) R 16713 8378 8377 0 -1 0 17426 0 0 0 100940 51 0 0 25 0 1 0 912367189 54800384 11654 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13379 11654 301 301 0 13078 0
vsize: 53516
[startup+1020.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16714
Raw data (stat): 16714 (pb2sat-v2) R 16713 8378 8377 0 -1 0 17483 0 0 0 101939 52 0 0 25 0 1 0 912367189 54935552 11710 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13412 11710 301 301 0 13111 0
vsize: 53648
[startup+1030.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16714
Raw data (stat): 16714 (pb2sat-v2) R 16713 8378 8377 0 -1 0 17538 0 0 0 102940 52 0 0 25 0 1 0 912367189 55205888 11765 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13478 11765 301 301 0 13177 0
vsize: 53912
[startup+1040.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16714
Raw data (stat): 16714 (pb2sat-v2) R 16713 8378 8377 0 -1 0 17593 0 0 0 103940 52 0 0 25 0 1 0 912367189 55341056 11819 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13511 11819 301 301 0 13210 0
vsize: 54044
[startup+1050.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16714
Raw data (stat): 16714 (pb2sat-v2) R 16713 8378 8377 0 -1 0 17649 0 0 0 104940 52 0 0 25 0 1 0 912367189 55476224 11874 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13544 11874 301 301 0 13243 0
vsize: 54176
[startup+1060.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16714
Raw data (stat): 16714 (pb2sat-v2) R 16713 8378 8377 0 -1 0 17703 0 0 0 105940 52 0 0 25 0 1 0 912367189 55611392 11927 4294967295 134512640 135730672 3221224576 3221221664 134561656 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13577 11927 301 301 0 13276 0
vsize: 54308
[startup+1070.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16714
Raw data (stat): 16714 (pb2sat-v2) R 16713 8378 8377 0 -1 0 17759 0 0 0 106940 52 0 0 25 0 1 0 912367189 55746560 11982 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13610 11982 301 301 0 13309 0
vsize: 54440
[startup+1080.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16714
Raw data (stat): 16714 (pb2sat-v2) R 16713 8378 8377 0 -1 0 17813 0 0 0 107940 52 0 0 25 0 1 0 912367189 55881728 12035 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13643 12035 301 301 0 13342 0
vsize: 54572
[startup+1090.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16714
Raw data (stat): 16714 (pb2sat-v2) R 16713 8378 8377 0 -1 0 17868 0 0 0 108940 52 0 0 25 0 1 0 912367189 56016896 12089 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13676 12089 301 301 0 13375 0
vsize: 54704
[startup+1100.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16714
Raw data (stat): 16714 (pb2sat-v2) R 16713 8378 8377 0 -1 0 17922 0 0 0 109940 52 0 0 25 0 1 0 912367189 56152064 12142 4294967295 134512640 135730672 3221224576 3221221024 134770759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13709 12142 301 301 0 13408 0
vsize: 54836
[startup+1110.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16714
Raw data (stat): 16714 (pb2sat-v2) R 16713 8378 8377 0 -1 0 17975 0 0 0 110940 52 0 0 25 0 1 0 912367189 56287232 12194 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13742 12194 301 301 0 13441 0
vsize: 54968
[startup+1120.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16714
Raw data (stat): 16714 (pb2sat-v2) R 16713 8378 8377 0 -1 0 18028 0 0 0 111940 53 0 0 25 0 1 0 912367189 56422400 12247 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13775 12247 301 301 0 13474 0
vsize: 55100
[startup+1130.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16714
Raw data (stat): 16714 (pb2sat-v2) R 16713 8378 8377 0 -1 0 18081 0 0 0 112940 53 0 0 25 0 1 0 912367189 56557568 12299 4294967295 134512640 135730672 3221224576 3221221664 134561683 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13808 12299 301 301 0 13507 0
vsize: 55232
[startup+1140.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16714
Raw data (stat): 16714 (pb2sat-v2) R 16713 8378 8377 0 -1 0 18135 0 0 0 113940 53 0 0 25 0 1 0 912367189 56692736 12352 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13841 12352 301 301 0 13540 0
vsize: 55364
[startup+1150.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16714
Raw data (stat): 16714 (pb2sat-v2) R 16713 8378 8377 0 -1 0 18189 0 0 0 114939 53 0 0 25 0 1 0 912367189 56827904 12405 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13874 12405 301 301 0 13573 0
vsize: 55496
[startup+1160.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16714
Raw data (stat): 16714 (pb2sat-v2) R 16713 8378 8377 0 -1 0 18241 0 0 0 115939 54 0 0 25 0 1 0 912367189 56963072 12456 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13907 12456 301 301 0 13606 0
vsize: 55628
[startup+1170.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16714
Raw data (stat): 16714 (pb2sat-v2) R 16713 8378 8377 0 -1 0 18292 0 0 0 116939 54 0 0 25 0 1 0 912367189 57098240 12506 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13940 12506 301 301 0 13639 0
vsize: 55760
[startup+1180.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16714
Raw data (stat): 16714 (pb2sat-v2) R 16713 8378 8377 0 -1 0 18346 0 0 0 117939 54 0 0 25 0 1 0 912367189 57233408 12559 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13973 12559 301 301 0 13672 0
vsize: 55892
[startup+1190.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16714
Raw data (stat): 16714 (pb2sat-v2) R 16713 8378 8377 0 -1 0 18397 0 0 0 118939 54 0 0 25 0 1 0 912367189 57368576 12610 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14006 12610 301 301 0 13705 0
vsize: 56024
[startup+1200.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16714
Raw data (stat): 16714 (pb2sat-v2) R 16713 8378 8377 0 -1 0 18448 0 0 0 119939 54 0 0 25 0 1 0 912367189 57503744 12660 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14039 12660 301 301 0 13738 0
vsize: 56156
[startup+1210.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16714
Raw data (stat): 16714 (pb2sat-v2) R 16713 8378 8377 0 -1 0 18501 0 0 0 120938 55 0 0 25 0 1 0 912367189 57638912 12712 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14072 12712 301 301 0 13771 0
vsize: 56288
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1211.17 s]
Raw data (loadavg): 0.99 0.97 0.91 1/55 16714
Raw data (stat): 16714 (pb2sat-v2) Z 16713 8378 8377 0 -1 12 18505 0 0 0 121049 57 0 0 25 0 1 0 912367189 0 0 4294967295 0 0 0 0 0 0 16384 7 16384 3222412051 0 0 17 0 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 0
Real time (s): 1211.17
CPU time (s): 1211.08
CPU user time (s): 1210.5
CPU system time (s): 0.579911
CPU usage (%): 99.9922
Max. virtual memory (Kb): 56288
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####