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/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-fit2p.opb
MD5SUM	6958cafd776838585aada2c9dcafd103
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	246163
Biggest coefficient in the objective function	10737418240
Number of bits for the biggest coefficient in the objective function	34
Sum of the numbers in the objective function	43487073153772
Number of bits of the sum of numbers in the objective function	46
Biggest number in a constraint	31729070899200
Number of bits of the biggest number in a constraint	45
Biggest sum of numbers in a constraint	103505525327531
Number of bits of the biggest sum of numbers	47
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	2.77058
Number of variables	293602
Total number of constraints	10500
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	10500
Minimum length of a constraint	13
Maximum length of a constraint	612
Trace number 42339

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc2 THE 2005-06-16 05:28:55 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=25533 boxname=wulflinc2 idbench=833 idsolver=18 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  6958cafd776838585aada2c9dcafd103  /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-20-10-fit2p.opb
REAL COMMAND:  pb2sat-v2 /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-20-10-fit2p.opb
IDLAUNCH: 25533
/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:        706788 kB
Buffers:         34624 kB
Cached:         267132 kB
SwapCached:       4448 kB
Active:          98992 kB
Inactive:       207852 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        706536 kB
SwapTotal:     2097136 kB
SwapFree:      2091696 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5056 kB
Slab:            15384 kB
Committed_AS:    71900 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-16 05:48:59 (client local time) WITH STATUS 0 IN 1201.28 SECONDS
stats: 25533 7 1201.28 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): 1.01 0.96 0.91 1/54 4985
Raw data (stat): 4985 (runsolver) R 4984 31399 31398 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 968251227 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.0009 s]
Raw data (loadavg): 1.00 0.96 0.91 2/54 4985
Raw data (stat): 4985 (pb2sat-v2) R 4984 31399 31398 0 -1 0 2154 0 0 0 993 6 0 0 25 0 1 0 968251227 7958528 1478 4294967295 134512640 135730672 3221224576 3221221664 134561677 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 1943 1478 301 301 0 1642 0
vsize: 7772
[startup+20.002 s]
Raw data (loadavg): 1.00 0.96 0.91 2/54 4985
Raw data (stat): 4985 (pb2sat-v2) R 4984 31399 31398 0 -1 0 2699 0 0 0 1992 7 0 0 25 0 1 0 968251227 9310208 2015 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 2273 2015 301 301 0 1972 0
vsize: 9092
[startup+30.0023 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 4985
Raw data (stat): 4985 (pb2sat-v2) R 4984 31399 31398 0 -1 0 3872 0 0 0 2990 9 0 0 25 0 1 0 968251227 13414400 2476 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3275 2476 301 301 0 2974 0
vsize: 13100
[startup+40.003 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 4985
Raw data (stat): 4985 (pb2sat-v2) R 4984 31399 31398 0 -1 0 4126 0 0 0 3988 11 0 0 25 0 1 0 968251227 14090240 2725 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3440 2725 301 301 0 3139 0
vsize: 13760
[startup+50.0031 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 4985
Raw data (stat): 4985 (pb2sat-v2) R 4984 31399 31398 0 -1 0 4387 0 0 0 4988 12 0 0 25 0 1 0 968251227 14766080 2981 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3605 2981 301 301 0 3304 0
vsize: 14420
[startup+60.0034 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 4985
Raw data (stat): 4985 (pb2sat-v2) R 4984 31399 31398 0 -1 0 4612 0 0 0 5987 13 0 0 25 0 1 0 968251227 15306752 3203 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3737 3203 301 301 0 3436 0
vsize: 14948
[startup+70.003 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 4985
Raw data (stat): 4985 (pb2sat-v2) R 4984 31399 31398 0 -1 0 4818 0 0 0 6986 14 0 0 25 0 1 0 968251227 15847424 3405 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3869 3405 301 301 0 3568 0
vsize: 15476
[startup+80.0042 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 4985
Raw data (stat): 4985 (pb2sat-v2) R 4984 31399 31398 0 -1 0 5008 0 0 0 7986 14 0 0 25 0 1 0 968251227 16388096 3592 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4001 3592 301 301 0 3700 0
vsize: 16004
[startup+90.0045 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 4985
Raw data (stat): 4985 (pb2sat-v2) R 4984 31399 31398 0 -1 0 5188 0 0 0 8985 15 0 0 25 0 1 0 968251227 16928768 3769 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4133 3769 301 301 0 3832 0
vsize: 16532
[startup+100.004 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 4985
Raw data (stat): 4985 (pb2sat-v2) R 4984 31399 31398 0 -1 0 5359 0 0 0 9985 15 0 0 25 0 1 0 968251227 17334272 3938 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4232 3938 301 301 0 3931 0
vsize: 16928
[startup+110.005 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 4985
Raw data (stat): 4985 (pb2sat-v2) R 4984 31399 31398 0 -1 0 6390 0 0 0 10984 17 0 0 25 0 1 0 968251227 27738112 4933 4294967295 134512640 135730672 3221224576 3221221120 134775558 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6772 4933 301 301 0 6471 0
vsize: 27088
[startup+120.006 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 4985
Raw data (stat): 4985 (pb2sat-v2) R 4984 31399 31398 0 -1 0 7497 0 0 0 11981 19 0 0 25 0 1 0 968251227 25407488 4661 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6203 4661 301 301 0 5902 0
vsize: 24812
[startup+130.006 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 4985
Raw data (stat): 4985 (pb2sat-v2) R 4984 31399 31398 0 -1 0 7552 0 0 0 12981 20 0 0 25 0 1 0 968251227 25407488 4713 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6203 4713 301 301 0 5902 0
vsize: 24812
[startup+140.006 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 4985
Raw data (stat): 4985 (pb2sat-v2) R 4984 31399 31398 0 -1 0 7603 0 0 0 13980 20 0 0 25 0 1 0 968251227 25407488 4762 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6203 4762 301 301 0 5902 0
vsize: 24812
[startup+150.007 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 4985
Raw data (stat): 4985 (pb2sat-v2) R 4984 31399 31398 0 -1 0 7680 0 0 0 14980 21 0 0 25 0 1 0 968251227 25407488 4837 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6203 4837 301 301 0 5902 0
vsize: 24812
[startup+160.006 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 4985
Raw data (stat): 4985 (pb2sat-v2) R 4984 31399 31398 0 -1 0 7729 0 0 0 15980 21 0 0 25 0 1 0 968251227 25407488 4883 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6203 4883 301 301 0 5902 0
vsize: 24812
[startup+170.007 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 4985
Raw data (stat): 4985 (pb2sat-v2) R 4984 31399 31398 0 -1 0 7856 0 0 0 16979 22 0 0 25 0 1 0 968251227 25812992 5008 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6302 5008 301 301 0 6001 0
vsize: 25208
[startup+180.007 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 4985
Raw data (stat): 4985 (pb2sat-v2) R 4984 31399 31398 0 -1 0 7985 0 0 0 17978 23 0 0 25 0 1 0 968251227 26083328 5135 4294967295 134512640 135730672 3221224576 3221221664 134561664 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6368 5135 301 301 0 6067 0
vsize: 25472
[startup+190.008 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 4985
Raw data (stat): 4985 (pb2sat-v2) R 4984 31399 31398 0 -1 0 8111 0 0 0 18978 24 0 0 25 0 1 0 968251227 26488832 5259 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6467 5259 301 301 0 6166 0
vsize: 25868
[startup+200.008 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 4985
Raw data (stat): 4985 (pb2sat-v2) R 4984 31399 31398 0 -1 0 8234 0 0 0 19977 24 0 0 25 0 1 0 968251227 26759168 5380 4294967295 134512640 135730672 3221224576 3221221776 134577618 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6533 5380 301 301 0 6232 0
vsize: 26132
[startup+210.008 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 4985
Raw data (stat): 4985 (pb2sat-v2) R 4984 31399 31398 0 -1 0 8355 0 0 0 20977 25 0 0 25 0 1 0 968251227 27164672 5499 4294967295 134512640 135730672 3221224576 3221221664 134561688 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6632 5499 301 301 0 6331 0
vsize: 26528
[startup+220.009 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 4985
Raw data (stat): 4985 (pb2sat-v2) R 4984 31399 31398 0 -1 0 8473 0 0 0 21976 26 0 0 25 0 1 0 968251227 27435008 5615 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6698 5615 301 301 0 6397 0
vsize: 26792
[startup+230.01 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 4985
Raw data (stat): 4985 (pb2sat-v2) R 4984 31399 31398 0 -1 0 8588 0 0 0 22976 27 0 0 25 0 1 0 968251227 27705344 5728 4294967295 134512640 135730672 3221224576 3221221664 134561656 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6764 5728 301 301 0 6463 0
vsize: 27056
[startup+240.01 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 4985
Raw data (stat): 4985 (pb2sat-v2) R 4984 31399 31398 0 -1 0 8700 0 0 0 23975 27 0 0 25 0 1 0 968251227 27975680 5839 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6830 5839 301 301 0 6529 0
vsize: 27320
[startup+250.01 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 4985
Raw data (stat): 4985 (pb2sat-v2) R 4984 31399 31398 0 -1 0 8812 0 0 0 24975 27 0 0 25 0 1 0 968251227 28381184 5949 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6929 5949 301 301 0 6628 0
vsize: 27716
[startup+260.011 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 4985
Raw data (stat): 4985 (pb2sat-v2) R 4984 31399 31398 0 -1 0 8921 0 0 0 25975 28 0 0 25 0 1 0 968251227 28651520 6056 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6995 6056 301 301 0 6694 0
vsize: 27980
[startup+270.011 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 4985
Raw data (stat): 4985 (pb2sat-v2) R 4984 31399 31398 0 -1 0 9028 0 0 0 26974 28 0 0 25 0 1 0 968251227 28921856 6161 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7061 6161 301 301 0 6760 0
vsize: 28244
[startup+280.012 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 4985
Raw data (stat): 4985 (pb2sat-v2) R 4984 31399 31398 0 -1 0 9132 0 0 0 27974 29 0 0 25 0 1 0 968251227 29192192 6264 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7127 6264 301 301 0 6826 0
vsize: 28508
[startup+290.013 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 4985
Raw data (stat): 4985 (pb2sat-v2) R 4984 31399 31398 0 -1 0 9236 0 0 0 28973 30 0 0 25 0 1 0 968251227 29462528 6366 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7193 6366 301 301 0 6892 0
vsize: 28772
[startup+300.012 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 4985
Raw data (stat): 4985 (pb2sat-v2) R 4984 31399 31398 0 -1 0 9338 0 0 0 29973 30 0 0 25 0 1 0 968251227 29732864 6466 4294967295 134512640 135730672 3221224576 3221221664 134561675 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7259 6466 301 301 0 6958 0
vsize: 29036
[startup+310.012 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 4985
Raw data (stat): 4985 (pb2sat-v2) R 4984 31399 31398 0 -1 0 9437 0 0 0 30972 31 0 0 25 0 1 0 968251227 30003200 6564 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7325 6564 301 301 0 7024 0
vsize: 29300
[startup+320.012 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 4985
Raw data (stat): 4985 (pb2sat-v2) R 4984 31399 31398 0 -1 0 9536 0 0 0 31972 32 0 0 25 0 1 0 968251227 30273536 6661 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7391 6661 301 301 0 7090 0
vsize: 29564
[startup+330.013 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 4985
Raw data (stat): 4985 (pb2sat-v2) R 4984 31399 31398 0 -1 0 9635 0 0 0 32970 33 0 0 25 0 1 0 968251227 30543872 6758 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7457 6758 301 301 0 7156 0
vsize: 29828
[startup+340.013 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 4985
Raw data (stat): 4985 (pb2sat-v2) R 4984 31399 31398 0 -1 0 9729 0 0 0 33970 34 0 0 25 0 1 0 968251227 30814208 6851 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7523 6851 301 301 0 7222 0
vsize: 30092
[startup+350.013 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 4985
Raw data (stat): 4985 (pb2sat-v2) R 4984 31399 31398 0 -1 0 9824 0 0 0 34969 35 0 0 25 0 1 0 968251227 30949376 6944 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7556 6944 301 301 0 7255 0
vsize: 30224
[startup+360.014 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 4985
Raw data (stat): 4985 (pb2sat-v2) R 4984 31399 31398 0 -1 0 9916 0 0 0 35968 36 0 0 25 0 1 0 968251227 31219712 7035 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7622 7035 301 301 0 7321 0
vsize: 30488
[startup+370.013 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 4985
Raw data (stat): 4985 (pb2sat-v2) R 4984 31399 31398 0 -1 0 10009 0 0 0 36968 36 0 0 25 0 1 0 968251227 31490048 7126 4294967295 134512640 135730672 3221224576 3221221776 134577521 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7688 7126 301 301 0 7387 0
vsize: 30752
[startup+380.015 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 4985
Raw data (stat): 4985 (pb2sat-v2) R 4984 31399 31398 0 -1 0 10099 0 0 0 37967 37 0 0 25 0 1 0 968251227 31760384 7215 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7754 7215 301 301 0 7453 0
vsize: 31016
[startup+390.015 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 4985
Raw data (stat): 4985 (pb2sat-v2) R 4984 31399 31398 0 -1 0 10188 0 0 0 38967 37 0 0 25 0 1 0 968251227 32030720 7303 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7820 7303 301 301 0 7519 0
vsize: 31280
[startup+400.014 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 4985
Raw data (stat): 4985 (pb2sat-v2) R 4984 31399 31398 0 -1 0 10277 0 0 0 39967 38 0 0 25 0 1 0 968251227 32165888 7390 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7853 7390 301 301 0 7552 0
vsize: 31412
[startup+410.014 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 4985
Raw data (stat): 4985 (pb2sat-v2) R 4984 31399 31398 0 -1 0 10365 0 0 0 40966 38 0 0 25 0 1 0 968251227 32436224 7477 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7919 7477 301 301 0 7618 0
vsize: 31676
[startup+420.014 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 4985
Raw data (stat): 4985 (pb2sat-v2) R 4984 31399 31398 0 -1 0 10452 0 0 0 41965 39 0 0 25 0 1 0 968251227 32706560 7562 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7985 7562 301 301 0 7684 0
vsize: 31940
[startup+430.014 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 4985
Raw data (stat): 4985 (pb2sat-v2) R 4984 31399 31398 0 -1 0 10537 0 0 0 42965 40 0 0 25 0 1 0 968251227 32841728 7646 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8018 7646 301 301 0 7717 0
vsize: 32072
[startup+440.015 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 4985
Raw data (stat): 4985 (pb2sat-v2) R 4984 31399 31398 0 -1 0 10621 0 0 0 43965 40 0 0 25 0 1 0 968251227 33112064 7729 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8084 7729 301 301 0 7783 0
vsize: 32336
[startup+450.015 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 4985
Raw data (stat): 4985 (pb2sat-v2) R 4984 31399 31398 0 -1 0 10705 0 0 0 44964 41 0 0 25 0 1 0 968251227 33382400 7811 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8150 7811 301 301 0 7849 0
vsize: 32600
[startup+460.015 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 4985
Raw data (stat): 4985 (pb2sat-v2) R 4984 31399 31398 0 -1 0 10788 0 0 0 45964 41 0 0 25 0 1 0 968251227 33517568 7893 4294967295 134512640 135730672 3221224576 3221221664 134561664 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8183 7893 301 301 0 7882 0
vsize: 32732
[startup+470.015 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 4985
Raw data (stat): 4985 (pb2sat-v2) R 4984 31399 31398 0 -1 0 10870 0 0 0 46964 42 0 0 25 0 1 0 968251227 33787904 7974 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8249 7974 301 301 0 7948 0
vsize: 32996
[startup+480.015 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 4985
Raw data (stat): 4985 (pb2sat-v2) R 4984 31399 31398 0 -1 0 10952 0 0 0 47963 43 0 0 25 0 1 0 968251227 33923072 8054 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8282 8054 301 301 0 7981 0
vsize: 33128
[startup+490.015 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 4985
Raw data (stat): 4985 (pb2sat-v2) R 4984 31399 31398 0 -1 0 14827 0 0 0 48954 52 0 0 25 0 1 0 968251227 49258496 9110 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12026 9110 301 301 0 11725 0
vsize: 48104
[startup+500.015 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 4985
Raw data (stat): 4985 (pb2sat-v2) R 4984 31399 31398 0 -1 0 14856 0 0 0 49953 52 0 0 25 0 1 0 968251227 49258496 9138 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12026 9138 301 301 0 11725 0
vsize: 48104
[startup+510.015 s]
Raw data (loadavg): 1.08 0.99 0.92 2/54 4985
Raw data (stat): 4985 (pb2sat-v2) R 4984 31399 31398 0 -1 0 14885 0 0 0 50953 53 0 0 25 0 1 0 968251227 49258496 9165 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12026 9165 301 301 0 11725 0
vsize: 48104
[startup+520.015 s]
Raw data (loadavg): 1.07 0.99 0.92 2/54 4985
Raw data (stat): 4985 (pb2sat-v2) R 4984 31399 31398 0 -1 0 14912 0 0 0 51953 53 0 0 25 0 1 0 968251227 49258496 9191 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12026 9191 301 301 0 11725 0
vsize: 48104
[startup+530.016 s]
Raw data (loadavg): 1.06 0.99 0.92 2/54 4985
Raw data (stat): 4985 (pb2sat-v2) R 4984 31399 31398 0 -1 0 14939 0 0 0 52952 53 0 0 25 0 1 0 968251227 49258496 9217 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12026 9217 301 301 0 11725 0
vsize: 48104
[startup+540.016 s]
Raw data (loadavg): 1.05 0.99 0.92 2/54 4985
Raw data (stat): 4985 (pb2sat-v2) R 4984 31399 31398 0 -1 0 14967 0 0 0 53952 54 0 0 25 0 1 0 968251227 49258496 9244 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12026 9244 301 301 0 11725 0
vsize: 48104
[startup+550.016 s]
Raw data (loadavg): 1.04 0.99 0.92 2/54 4985
Raw data (stat): 4985 (pb2sat-v2) R 4984 31399 31398 0 -1 0 14993 0 0 0 54952 54 0 0 25 0 1 0 968251227 49258496 9269 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12026 9269 301 301 0 11725 0
vsize: 48104
[startup+560.017 s]
Raw data (loadavg): 1.03 0.99 0.92 2/54 4985
Raw data (stat): 4985 (pb2sat-v2) R 4984 31399 31398 0 -1 0 15020 0 0 0 55951 55 0 0 25 0 1 0 968251227 49258496 9294 4294967295 134512640 135730672 3221224576 3221221664 134561656 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12026 9294 301 301 0 11725 0
vsize: 48104
[startup+570.017 s]
Raw data (loadavg): 1.03 0.99 0.92 2/54 4985
Raw data (stat): 4985 (pb2sat-v2) R 4984 31399 31398 0 -1 0 15046 0 0 0 56951 55 0 0 25 0 1 0 968251227 49258496 9319 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12026 9319 301 301 0 11725 0
vsize: 48104
[startup+580.019 s]
Raw data (loadavg): 1.02 0.99 0.92 2/54 4985
Raw data (stat): 4985 (pb2sat-v2) R 4984 31399 31398 0 -1 0 15073 0 0 0 57951 55 0 0 25 0 1 0 968251227 49258496 9345 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12026 9345 301 301 0 11725 0
vsize: 48104
[startup+590.019 s]
Raw data (loadavg): 1.02 0.99 0.92 2/54 4985
Raw data (stat): 4985 (pb2sat-v2) R 4984 31399 31398 0 -1 0 15099 0 0 0 58951 56 0 0 25 0 1 0 968251227 49258496 9370 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12026 9370 301 301 0 11725 0
vsize: 48104
[startup+600.019 s]
Raw data (loadavg): 1.02 0.99 0.92 2/54 4985
Raw data (stat): 4985 (pb2sat-v2) R 4984 31399 31398 0 -1 0 15124 0 0 0 59951 56 0 0 25 0 1 0 968251227 49258496 9394 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12026 9394 301 301 0 11725 0
vsize: 48104
[startup+610.02 s]
Raw data (loadavg): 1.01 0.99 0.92 2/54 4985
Raw data (stat): 4985 (pb2sat-v2) R 4984 31399 31398 0 -1 0 15151 0 0 0 60951 56 0 0 25 0 1 0 968251227 49258496 9419 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12026 9419 301 301 0 11725 0
vsize: 48104
[startup+620.019 s]
Raw data (loadavg): 1.01 0.99 0.92 2/54 4985
Raw data (stat): 4985 (pb2sat-v2) R 4984 31399 31398 0 -1 0 15196 0 0 0 61951 56 0 0 25 0 1 0 968251227 49258496 9463 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12026 9463 301 301 0 11725 0
vsize: 48104
[startup+630.02 s]
Raw data (loadavg): 1.01 0.99 0.92 2/54 4985
Raw data (stat): 4985 (pb2sat-v2) R 4984 31399 31398 0 -1 0 15227 0 0 0 62950 57 0 0 25 0 1 0 968251227 49258496 9493 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12026 9493 301 301 0 11725 0
vsize: 48104
[startup+640.021 s]
Raw data (loadavg): 1.01 0.99 0.92 2/54 4985
Raw data (stat): 4985 (pb2sat-v2) R 4984 31399 31398 0 -1 0 15252 0 0 0 63950 57 0 0 25 0 1 0 968251227 49258496 9517 4294967295 134512640 135730672 3221224576 3221221664 134561656 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12026 9517 301 301 0 11725 0
vsize: 48104
[startup+650.02 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 4985
Raw data (stat): 4985 (pb2sat-v2) R 4984 31399 31398 0 -1 0 15276 0 0 0 64950 58 0 0 25 0 1 0 968251227 49258496 9540 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12026 9540 301 301 0 11725 0
vsize: 48104
[startup+660.02 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 4985
Raw data (stat): 4985 (pb2sat-v2) R 4984 31399 31398 0 -1 0 15301 0 0 0 65949 58 0 0 25 0 1 0 968251227 49258496 9564 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12026 9564 301 301 0 11725 0
vsize: 48104
[startup+670.019 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 4985
Raw data (stat): 4985 (pb2sat-v2) R 4984 31399 31398 0 -1 0 15325 0 0 0 66949 59 0 0 25 0 1 0 968251227 49258496 9587 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12026 9587 301 301 0 11725 0
vsize: 48104
[startup+680.021 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 4985
Raw data (stat): 4985 (pb2sat-v2) R 4984 31399 31398 0 -1 0 15372 0 0 0 67949 59 0 0 25 0 1 0 968251227 49393664 9632 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12059 9632 301 301 0 11758 0
vsize: 48236
[startup+690.021 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 4985
Raw data (stat): 4985 (pb2sat-v2) R 4984 31399 31398 0 -1 0 15439 0 0 0 68948 59 0 0 25 0 1 0 968251227 49528832 9698 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12092 9698 301 301 0 11791 0
vsize: 48368
[startup+700.021 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 4985
Raw data (stat): 4985 (pb2sat-v2) R 4984 31399 31398 0 -1 0 15506 0 0 0 69948 60 0 0 25 0 1 0 968251227 49799168 9764 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12158 9764 301 301 0 11857 0
vsize: 48632
[startup+710.021 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 4985
Raw data (stat): 4985 (pb2sat-v2) R 4984 31399 31398 0 -1 0 15573 0 0 0 70948 60 0 0 25 0 1 0 968251227 49934336 9830 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12191 9830 301 301 0 11890 0
vsize: 48764
[startup+720.021 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 4985
Raw data (stat): 4985 (pb2sat-v2) R 4984 31399 31398 0 -1 0 15640 0 0 0 71948 60 0 0 25 0 1 0 968251227 50069504 9896 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12224 9896 301 301 0 11923 0
vsize: 48896
[startup+730.022 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 4985
Raw data (stat): 4985 (pb2sat-v2) R 4984 31399 31398 0 -1 0 15706 0 0 0 72947 60 0 0 25 0 1 0 968251227 50339840 9961 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12290 9961 301 301 0 11989 0
vsize: 49160
[startup+740.023 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 4985
Raw data (stat): 4985 (pb2sat-v2) R 4984 31399 31398 0 -1 0 15772 0 0 0 73947 61 0 0 25 0 1 0 968251227 50475008 10026 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12323 10026 301 301 0 12022 0
vsize: 49292
[startup+750.023 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 4985
Raw data (stat): 4985 (pb2sat-v2) R 4984 31399 31398 0 -1 0 15837 0 0 0 74947 61 0 0 25 0 1 0 968251227 50610176 10090 4294967295 134512640 135730672 3221224576 3221221664 134561664 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12356 10090 301 301 0 12055 0
vsize: 49424
[startup+760.023 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 4985
Raw data (stat): 4985 (pb2sat-v2) R 4984 31399 31398 0 -1 0 15901 0 0 0 75946 62 0 0 25 0 1 0 968251227 50745344 10153 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12389 10153 301 301 0 12088 0
vsize: 49556
[startup+770.023 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 4985
Raw data (stat): 4985 (pb2sat-v2) R 4984 31399 31398 0 -1 0 15966 0 0 0 76946 62 0 0 25 0 1 0 968251227 51015680 10217 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12455 10217 301 301 0 12154 0
vsize: 49820
[startup+780.023 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 4985
Raw data (stat): 4985 (pb2sat-v2) R 4984 31399 31398 0 -1 0 16030 0 0 0 77946 62 0 0 25 0 1 0 968251227 51150848 10280 4294967295 134512640 135730672 3221224576 3221221664 134561664 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12488 10280 301 301 0 12187 0
vsize: 49952
[startup+790.023 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 4985
Raw data (stat): 4985 (pb2sat-v2) R 4984 31399 31398 0 -1 0 16093 0 0 0 78946 62 0 0 25 0 1 0 968251227 51286016 10342 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12521 10342 301 301 0 12220 0
vsize: 50084
[startup+800.023 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 4985
Raw data (stat): 4985 (pb2sat-v2) R 4984 31399 31398 0 -1 0 16156 0 0 0 79946 63 0 0 25 0 1 0 968251227 51421184 10404 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12554 10404 301 301 0 12253 0
vsize: 50216
[startup+810.023 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 4985
Raw data (stat): 4985 (pb2sat-v2) R 4984 31399 31398 0 -1 0 16219 0 0 0 80945 63 0 0 25 0 1 0 968251227 51691520 10466 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12620 10466 301 301 0 12319 0
vsize: 50480
[startup+820.024 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 4985
Raw data (stat): 4985 (pb2sat-v2) R 4984 31399 31398 0 -1 0 16281 0 0 0 81945 64 0 0 25 0 1 0 968251227 51826688 10527 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12653 10527 301 301 0 12352 0
vsize: 50612
[startup+830.025 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 4985
Raw data (stat): 4985 (pb2sat-v2) R 4984 31399 31398 0 -1 0 16345 0 0 0 82945 64 0 0 25 0 1 0 968251227 51961856 10590 4294967295 134512640 135730672 3221224576 3221221664 134561675 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12686 10590 301 301 0 12385 0
vsize: 50744
[startup+840.025 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 4985
Raw data (stat): 4985 (pb2sat-v2) R 4984 31399 31398 0 -1 0 16405 0 0 0 83945 64 0 0 25 0 1 0 968251227 52097024 10649 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12719 10649 301 301 0 12418 0
vsize: 50876
[startup+850.025 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 4985
Raw data (stat): 4985 (pb2sat-v2) R 4984 31399 31398 0 -1 0 16467 0 0 0 84945 64 0 0 25 0 1 0 968251227 52367360 10710 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12785 10710 301 301 0 12484 0
vsize: 51140
[startup+860.026 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 4985
Raw data (stat): 4985 (pb2sat-v2) R 4984 31399 31398 0 -1 0 16527 0 0 0 85945 65 0 0 25 0 1 0 968251227 52502528 10769 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12818 10769 301 301 0 12517 0
vsize: 51272
[startup+870.026 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 4985
Raw data (stat): 4985 (pb2sat-v2) R 4984 31399 31398 0 -1 0 16588 0 0 0 86944 65 0 0 25 0 1 0 968251227 52637696 10829 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12851 10829 301 301 0 12550 0
vsize: 51404
[startup+880.026 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 4985
Raw data (stat): 4985 (pb2sat-v2) R 4984 31399 31398 0 -1 0 16648 0 0 0 87944 65 0 0 25 0 1 0 968251227 52772864 10888 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12884 10888 301 301 0 12583 0
vsize: 51536
[startup+890.027 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 4985
Raw data (stat): 4985 (pb2sat-v2) R 4984 31399 31398 0 -1 0 16709 0 0 0 88944 66 0 0 25 0 1 0 968251227 52908032 10948 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12917 10948 301 301 0 12616 0
vsize: 51668
[startup+900.027 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 4985
Raw data (stat): 4985 (pb2sat-v2) R 4984 31399 31398 0 -1 0 16768 0 0 0 89944 66 0 0 25 0 1 0 968251227 53043200 11006 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12950 11006 301 301 0 12649 0
vsize: 51800
[startup+910.026 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 4985
Raw data (stat): 4985 (pb2sat-v2) R 4984 31399 31398 0 -1 0 16828 0 0 0 90943 67 0 0 25 0 1 0 968251227 53313536 11065 4294967295 134512640 135730672 3221224576 3221221664 134561688 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13016 11065 301 301 0 12715 0
vsize: 52064
[startup+920.028 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 4985
Raw data (stat): 4985 (pb2sat-v2) R 4984 31399 31398 0 -1 0 16888 0 0 0 91942 68 0 0 25 0 1 0 968251227 53448704 11124 4294967295 134512640 135730672 3221224576 3221221664 134561664 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13049 11124 301 301 0 12748 0
vsize: 52196
[startup+930.028 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 4985
Raw data (stat): 4985 (pb2sat-v2) R 4984 31399 31398 0 -1 0 16946 0 0 0 92941 69 0 0 25 0 1 0 968251227 53583872 11181 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13082 11181 301 301 0 12781 0
vsize: 52328
[startup+940.028 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 4985
Raw data (stat): 4985 (pb2sat-v2) R 4984 31399 31398 0 -1 0 17004 0 0 0 93941 69 0 0 25 0 1 0 968251227 53719040 11238 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13115 11238 301 301 0 12814 0
vsize: 52460
[startup+950.028 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 4985
Raw data (stat): 4985 (pb2sat-v2) R 4984 31399 31398 0 -1 0 17063 0 0 0 94940 70 0 0 25 0 1 0 968251227 53854208 11296 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13148 11296 301 301 0 12847 0
vsize: 52592
[startup+960.028 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 4985
Raw data (stat): 4985 (pb2sat-v2) R 4984 31399 31398 0 -1 0 17120 0 0 0 95940 71 0 0 25 0 1 0 968251227 53989376 11352 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13181 11352 301 301 0 12880 0
vsize: 52724
[startup+970.028 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 4985
Raw data (stat): 4985 (pb2sat-v2) R 4984 31399 31398 0 -1 0 17177 0 0 0 96939 72 0 0 25 0 1 0 968251227 54124544 11408 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13214 11408 301 301 0 12913 0
vsize: 52856
[startup+980.029 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 4985
Raw data (stat): 4985 (pb2sat-v2) R 4984 31399 31398 0 -1 0 17235 0 0 0 97939 72 0 0 25 0 1 0 968251227 54394880 11465 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13280 11465 301 301 0 12979 0
vsize: 53120
[startup+990.029 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 4985
Raw data (stat): 4985 (pb2sat-v2) R 4984 31399 31398 0 -1 0 17291 0 0 0 98937 73 0 0 25 0 1 0 968251227 54530048 11521 4294967295 134512640 135730672 3221224576 3221221664 134561675 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13313 11521 301 301 0 13012 0
vsize: 53252
[startup+1000.03 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 4985
Raw data (stat): 4985 (pb2sat-v2) R 4984 31399 31398 0 -1 0 17347 0 0 0 99937 74 0 0 25 0 1 0 968251227 54665216 11576 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13346 11576 301 301 0 13045 0
vsize: 53384
[startup+1010.03 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 4985
Raw data (stat): 4985 (pb2sat-v2) R 4984 31399 31398 0 -1 0 17403 0 0 0 100936 75 0 0 25 0 1 0 968251227 54800384 11631 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13379 11631 301 301 0 13078 0
vsize: 53516
[startup+1020.03 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 4985
Raw data (stat): 4985 (pb2sat-v2) R 4984 31399 31398 0 -1 0 17461 0 0 0 101936 75 0 0 25 0 1 0 968251227 54935552 11688 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13412 11688 301 301 0 13111 0
vsize: 53648
[startup+1030.03 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 4985
Raw data (stat): 4985 (pb2sat-v2) R 4984 31399 31398 0 -1 0 17516 0 0 0 102936 75 0 0 25 0 1 0 968251227 55070720 11742 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13445 11742 301 301 0 13144 0
vsize: 53780
[startup+1040.03 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 4985
Raw data (stat): 4985 (pb2sat-v2) R 4984 31399 31398 0 -1 0 17571 0 0 0 103935 76 0 0 25 0 1 0 968251227 55205888 11796 4294967295 134512640 135730672 3221224576 3221221664 134561688 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13478 11796 301 301 0 13177 0
vsize: 53912
[startup+1050.03 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 4985
Raw data (stat): 4985 (pb2sat-v2) R 4984 31399 31398 0 -1 0 17627 0 0 0 104935 76 0 0 25 0 1 0 968251227 55341056 11851 4294967295 134512640 135730672 3221224576 3221221664 134561664 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13511 11851 301 301 0 13210 0
vsize: 54044
[startup+1060.03 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 4985
Raw data (stat): 4985 (pb2sat-v2) R 4984 31399 31398 0 -1 0 17683 0 0 0 105935 77 0 0 25 0 1 0 968251227 55476224 11906 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13544 11906 301 301 0 13243 0
vsize: 54176
[startup+1070.03 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 4985
Raw data (stat): 4985 (pb2sat-v2) R 4984 31399 31398 0 -1 0 17737 0 0 0 106934 77 0 0 25 0 1 0 968251227 55611392 11959 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13577 11959 301 301 0 13276 0
vsize: 54308
[startup+1080.03 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 4985
Raw data (stat): 4985 (pb2sat-v2) R 4984 31399 31398 0 -1 0 17792 0 0 0 107934 77 0 0 25 0 1 0 968251227 55746560 12013 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13610 12013 301 301 0 13309 0
vsize: 54440
[startup+1090.03 s]
Raw data (loadavg): 1.07 1.00 0.92 2/54 4985
Raw data (stat): 4985 (pb2sat-v2) R 4984 31399 31398 0 -1 0 17844 0 0 0 108934 78 0 0 25 0 1 0 968251227 55881728 12065 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13643 12065 301 301 0 13342 0
vsize: 54572
[startup+1100.03 s]
Raw data (loadavg): 1.06 1.00 0.92 2/54 4985
Raw data (stat): 4985 (pb2sat-v2) R 4984 31399 31398 0 -1 0 17899 0 0 0 109934 78 0 0 25 0 1 0 968251227 56152064 12119 4294967295 134512640 135730672 3221224576 3221221664 134561656 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13709 12119 301 301 0 13408 0
vsize: 54836
[startup+1110.03 s]
Raw data (loadavg): 1.05 1.00 0.92 2/54 4985
Raw data (stat): 4985 (pb2sat-v2) R 4984 31399 31398 0 -1 0 17953 0 0 0 110933 79 0 0 25 0 1 0 968251227 56287232 12172 4294967295 134512640 135730672 3221224576 3221221664 134561688 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13742 12172 301 301 0 13441 0
vsize: 54968
[startup+1120.03 s]
Raw data (loadavg): 1.04 1.00 0.92 2/54 4985
Raw data (stat): 4985 (pb2sat-v2) R 4984 31399 31398 0 -1 0 18007 0 0 0 111933 79 0 0 25 0 1 0 968251227 56422400 12225 4294967295 134512640 135730672 3221224576 3221221664 134561688 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13775 12225 301 301 0 13474 0
vsize: 55100
[startup+1130.03 s]
Raw data (loadavg): 1.04 1.00 0.92 2/54 4985
Raw data (stat): 4985 (pb2sat-v2) R 4984 31399 31398 0 -1 0 18060 0 0 0 112933 79 0 0 25 0 1 0 968251227 56557568 12277 4294967295 134512640 135730672 3221224576 3221221520 134539724 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13808 12277 301 301 0 13507 0
vsize: 55232
[startup+1140.03 s]
Raw data (loadavg): 1.03 1.00 0.92 2/54 4985
Raw data (stat): 4985 (pb2sat-v2) R 4984 31399 31398 0 -1 0 18114 0 0 0 113933 79 0 0 25 0 1 0 968251227 56692736 12330 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13841 12330 301 301 0 13540 0
vsize: 55364
[startup+1150.03 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 4985
Raw data (stat): 4985 (pb2sat-v2) R 4984 31399 31398 0 -1 0 18166 0 0 0 114933 80 0 0 25 0 1 0 968251227 56827904 12381 4294967295 134512640 135730672 3221224576 3221221664 134561656 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13874 12381 301 301 0 13573 0
vsize: 55496
[startup+1160.03 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 4985
Raw data (stat): 4985 (pb2sat-v2) R 4984 31399 31398 0 -1 0 18218 0 0 0 115933 80 0 0 25 0 1 0 968251227 56963072 12433 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13907 12433 301 301 0 13606 0
vsize: 55628
[startup+1170.03 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 4985
Raw data (stat): 4985 (pb2sat-v2) R 4984 31399 31398 0 -1 0 18271 0 0 0 116932 80 0 0 25 0 1 0 968251227 57098240 12485 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13940 12485 301 301 0 13639 0
vsize: 55760
[startup+1180.03 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 4985
Raw data (stat): 4985 (pb2sat-v2) R 4984 31399 31398 0 -1 0 18322 0 0 0 117932 80 0 0 25 0 1 0 968251227 57233408 12535 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13973 12535 301 301 0 13672 0
vsize: 55892
[startup+1190.03 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 4985
Raw data (stat): 4985 (pb2sat-v2) R 4984 31399 31398 0 -1 0 18376 0 0 0 118932 81 0 0 25 0 1 0 968251227 57368576 12588 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14006 12588 301 301 0 13705 0
vsize: 56024
[startup+1200.03 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 4985
Raw data (stat): 4985 (pb2sat-v2) R 4984 31399 31398 0 -1 0 18427 0 0 0 119932 81 0 0 25 0 1 0 968251227 57503744 12638 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14039 12638 301 301 0 13738 0
vsize: 56156
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1201.17 s]
Raw data (loadavg): 1.01 1.00 0.92 1/54 4985
Raw data (stat): 4985 (pb2sat-v2) Z 4984 31399 31398 0 -1 12 18431 0 0 0 120043 84 0 0 25 0 1 0 968251227 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): 1201.17
CPU time (s): 1201.28
CPU user time (s): 1200.43
CPU system time (s): 0.840872
CPU usage (%): 100.009
Max. virtual memory (Kb): 56156
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####