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/submitted/manquinho/primes-dimacs-cnf/normalized-ii16a1.opb
MD5SUM	8d302f04261c322e5b8c31c087553d24
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	1272
Optimality of the best value was proved	NO
Number of terms in the objective function	3300
Biggest coefficient in the objective function	1
Number of bits for the biggest coefficient in the objective function	1
Sum of the numbers in the objective function	3300
Number of bits of the sum of numbers in the objective function	12
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	3300
Number of bits of the biggest sum of numbers	12
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1175.06
Number of variables	3300
Total number of constraints	21018
Number of constraints which are clauses	21018
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	2
Maximum length of a constraint	16
Trace number 42018

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc3 THE 2005-06-15 21:28:39 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=25234 boxname=wulflinc3 idbench=136 idsolver=18 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  8d302f04261c322e5b8c31c087553d24  /oldhome/oroussel/tmp/wulflinc3/normalized-ii16a1.opb
REAL COMMAND:  pb2sat-v2 /oldhome/oroussel/tmp/wulflinc3/normalized-ii16a1.opb
IDLAUNCH: 25234
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.190
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	: 890.88

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.190
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:        846080 kB
Buffers:         33736 kB
Cached:         132996 kB
SwapCached:        820 kB
Active:          37716 kB
Inactive:       131196 kB
HighTotal:      131008 kB
HighFree:        19852 kB
LowTotal:       903652 kB
LowFree:        826228 kB
SwapTotal:     2097136 kB
SwapFree:      2095340 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5104 kB
Slab:            13992 kB
Committed_AS:    71904 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-15 21:46:00 (client local time) WITH STATUS 1 IN 1041.28 SECONDS
stats: 25234 7 1041.28 1
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...
c got solution with objective value: 1650
c big objective detected
c trying from 0 to 511

	Unexpected exception :
	St9bad_alloc
#### 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.84 0.95 0.90 1/54 12764
Raw data (stat): 12764 (runsolver) R 12763 20224 20223 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 965356068 884736 94 4294967295 134512640 135332820 3221224480 3221219660 135092226 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0009 s]
Raw data (loadavg): 0.87 0.95 0.90 2/54 12764
Raw data (stat): 12764 (pb2sat-v2) R 12763 20224 20223 0 -1 0 25681 0 0 0 942 56 0 0 25 0 1 0 965356068 85934080 14828 4294967295 134512640 135730672 3221224592 3220337788 134770062 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 20980 14828 301 301 0 20679 0
vsize: 83920
[startup+20.0004 s]
Raw data (loadavg): 0.89 0.96 0.91 2/54 12764
Raw data (stat): 12764 (pb2sat-v2) R 12763 20224 20223 0 -1 0 52552 0 0 0 1883 116 0 0 25 0 1 0 965356068 168275968 30756 4294967295 134512640 135730672 3221224592 3220999040 134786278 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41083 30756 301 301 0 40782 0
vsize: 164332
[startup+30.0015 s]
Raw data (loadavg): 0.90 0.96 0.91 2/54 12764
Raw data (stat): 12764 (pb2sat-v2) R 12763 20224 20223 0 -1 0 85976 0 0 0 2821 178 0 0 25 0 1 0 965356068 350011392 54797 4294967295 134512640 135730672 3221224592 3220016464 134788521 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 85452 54801 301 301 0 85151 0
vsize: 341808
[startup+40.0013 s]
Raw data (loadavg): 0.92 0.96 0.91 2/54 12764
Raw data (stat): 12764 (pb2sat-v2) R 12763 20224 20223 0 -1 0 106007 0 0 0 3775 223 0 0 25 0 1 0 965356068 334852096 62339 4294967295 134512640 135730672 3221224592 3220416392 135285983 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 81751 62339 301 301 0 81450 0
vsize: 327004
[startup+50.0022 s]
Raw data (loadavg): 0.93 0.96 0.91 2/54 12764
Raw data (stat): 12764 (pb2sat-v2) R 12763 20224 20223 0 -1 0 124227 0 0 0 4734 265 0 0 25 0 1 0 965356068 361074688 80348 4294967295 134512640 135730672 3221224592 3219862752 134546483 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 88153 80350 301 301 0 87852 0
vsize: 352612
[startup+60.002 s]
Raw data (loadavg): 0.94 0.96 0.91 2/54 12764
Raw data (stat): 12764 (pb2sat-v2) R 12763 20224 20223 0 -1 0 188189 0 0 0 5604 396 0 0 25 0 1 0 965356068 595623936 101199 4294967295 134512640 135730672 3221224592 3220610804 135281221 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 145416 101199 301 301 0 145115 0
vsize: 581664
[startup+70.0018 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 12764
Raw data (stat): 12764 (pb2sat-v2) R 12763 20224 20223 0 -1 0 198299 0 0 0 6580 419 0 0 25 0 1 0 965356068 629178368 111129 4294967295 134512640 135730672 3221224592 3220717440 134770772 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 153608 111129 301 301 0 153307 0
vsize: 614432
[startup+80.0024 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 12764
Raw data (stat): 12764 (pb2sat-v2) R 12763 20224 20223 0 -1 0 211279 0 0 0 7553 447 0 0 25 0 1 0 965356068 632557568 123891 4294967295 134512640 135730672 3221224592 3220065600 135284080 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 154433 123891 301 301 0 154132 0
vsize: 617732
[startup+90.0026 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 12764
Raw data (stat): 12764 (pb2sat-v2) R 12763 20224 20223 0 -1 0 226403 0 0 0 8518 482 0 0 25 0 1 0 965356068 658034688 135859 4294967295 134512640 135730672 3221224592 3221222864 134749640 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 160653 135859 301 301 0 160352 0
vsize: 642612
[startup+100.003 s]
Raw data (loadavg): 1.05 0.98 0.91 2/54 12764
Raw data (stat): 12764 (pb2sat-v2) R 12763 20224 20223 0 -1 0 233261 0 0 0 9504 496 0 0 25 0 1 0 965356068 684937216 142183 4294967295 134512640 135730672 3221224592 3221222816 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 167221 142183 301 301 0 166920 0
vsize: 668884
[startup+110.004 s]
Raw data (loadavg): 1.11 1.00 0.92 2/54 12764
Raw data (stat): 12764 (pb2sat-v2) R 12763 20224 20223 0 -1 0 237353 0 0 0 10495 505 0 0 25 0 1 0 965356068 698728448 145164 4294967295 134512640 135730672 3221224592 3221222816 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 170588 145164 301 301 0 170287 0
vsize: 682352
[startup+120.004 s]
Raw data (loadavg): 1.10 1.00 0.92 2/54 12764
Raw data (stat): 12764 (pb2sat-v2) R 12763 20224 20223 0 -1 0 241055 0 0 0 11488 512 0 0 25 0 1 0 965356068 709201920 147054 4294967295 134512640 135730672 3221224592 3221222944 134748264 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 173145 147054 301 301 0 172844 0
vsize: 692580
[startup+130.005 s]
Raw data (loadavg): 1.08 1.00 0.92 2/54 12764
Raw data (stat): 12764 (pb2sat-v2) R 12763 20224 20223 0 -1 0 243826 0 0 0 12484 517 0 0 25 0 1 0 965356068 716926976 148546 4294967295 134512640 135730672 3221224592 3221222816 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 175031 148546 301 301 0 174730 0
vsize: 700124
[startup+140.004 s]
Raw data (loadavg): 1.07 1.00 0.92 2/54 12764
Raw data (stat): 12764 (pb2sat-v2) R 12763 20224 20223 0 -1 0 246907 0 0 0 13477 524 0 0 25 0 1 0 965356068 725995520 150233 4294967295 134512640 135730672 3221224592 3221222816 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 177245 150233 301 301 0 176944 0
vsize: 708980
[startup+150.006 s]
Raw data (loadavg): 1.06 1.00 0.92 2/54 12764
Raw data (stat): 12764 (pb2sat-v2) R 12763 20224 20223 0 -1 0 248319 0 0 0 14474 528 0 0 25 0 1 0 965356068 731201536 151119 4294967295 134512640 135730672 3221224592 3221222816 134747610 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 178516 151119 301 301 0 178215 0
vsize: 714064
[startup+160.005 s]
Raw data (loadavg): 1.05 1.00 0.92 2/54 12764
Raw data (stat): 12764 (pb2sat-v2) R 12763 20224 20223 0 -1 0 249435 0 0 0 15472 529 0 0 25 0 1 0 965356068 734236672 151648 4294967295 134512640 135730672 3221224592 3221222944 134748145 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 179257 151648 301 301 0 178956 0
vsize: 717028
[startup+170.005 s]
Raw data (loadavg): 1.04 1.00 0.92 2/54 12764
Raw data (stat): 12764 (pb2sat-v2) R 12763 20224 20223 0 -1 0 249975 0 0 0 16471 530 0 0 25 0 1 0 965356068 735694848 151959 4294967295 134512640 135730672 3221224592 3221223008 134748449 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 179613 151959 301 301 0 179312 0
vsize: 718452
[startup+180.006 s]
Raw data (loadavg): 1.03 1.00 0.92 2/54 12764
Raw data (stat): 12764 (pb2sat-v2) R 12763 20224 20223 0 -1 0 251475 0 0 0 17469 533 0 0 25 0 1 0 965356068 740179968 152584 4294967295 134512640 135730672 3221224592 3221222656 134739215 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 180708 152584 301 301 0 180407 0
vsize: 722832
[startup+190.007 s]
Raw data (loadavg): 1.11 1.01 0.93 2/54 12764
Raw data (stat): 12764 (pb2sat-v2) R 12763 20224 20223 0 -1 0 253515 0 0 0 18464 537 0 0 25 0 1 0 965356068 746115072 153521 4294967295 134512640 135730672 3221224592 3221222816 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 182157 153521 301 301 0 181856 0
vsize: 728628
[startup+200.007 s]
Raw data (loadavg): 1.16 1.03 0.93 2/54 12764
Raw data (stat): 12764 (pb2sat-v2) R 12763 20224 20223 0 -1 0 254492 0 0 0 19463 540 0 0 25 0 1 0 965356068 749015040 153977 4294967295 134512640 135730672 3221224592 3221222816 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 182865 153977 301 301 0 182564 0
vsize: 731460
[startup+210.008 s]
Raw data (loadavg): 1.14 1.03 0.93 2/54 12764
Raw data (stat): 12764 (pb2sat-v2) R 12763 20224 20223 0 -1 0 256053 0 0 0 20460 543 0 0 25 0 1 0 965356068 752840704 154826 4294967295 134512640 135730672 3221224592 3221222816 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 183799 154826 301 301 0 183498 0
vsize: 735196
[startup+220.007 s]
Raw data (loadavg): 1.12 1.03 0.93 2/54 12764
Raw data (stat): 12764 (pb2sat-v2) R 12763 20224 20223 0 -1 0 256562 0 0 0 21459 544 0 0 25 0 1 0 965356068 754429952 155107 4294967295 134512640 135730672 3221224592 3221222816 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 184187 155107 301 301 0 183886 0
vsize: 736748
[startup+230.008 s]
Raw data (loadavg): 1.10 1.03 0.93 2/54 12764
Raw data (stat): 12764 (pb2sat-v2) R 12763 20224 20223 0 -1 0 256733 0 0 0 22459 544 0 0 25 0 1 0 965356068 754962432 155212 4294967295 134512640 135730672 3221224592 3221223008 134748499 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 184317 155212 301 301 0 184016 0
vsize: 737268
[startup+240.008 s]
Raw data (loadavg): 1.08 1.02 0.93 2/54 12764
Raw data (stat): 12764 (pb2sat-v2) R 12763 20224 20223 0 -1 0 258178 0 0 0 23456 546 0 0 25 0 1 0 965356068 759435264 155818 4294967295 134512640 135730672 3221224592 3221222816 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 185409 155818 301 301 0 185108 0
vsize: 741636
[startup+250.009 s]
Raw data (loadavg): 1.07 1.02 0.93 2/54 12764
Raw data (stat): 12764 (pb2sat-v2) R 12763 20224 20223 0 -1 0 258686 0 0 0 24455 548 0 0 25 0 1 0 965356068 760483840 156069 4294967295 134512640 135730672 3221224592 3221222816 134747832 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 185665 156069 301 301 0 185364 0
vsize: 742660
[startup+260.01 s]
Raw data (loadavg): 1.06 1.02 0.93 2/54 12764
Raw data (stat): 12764 (pb2sat-v2) R 12763 20224 20223 0 -1 0 260589 0 0 0 25452 551 0 0 25 0 1 0 965356068 765468672 156815 4294967295 134512640 135730672 3221224592 3221222976 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 186882 156815 301 301 0 186581 0
vsize: 747528
[startup+270.01 s]
Raw data (loadavg): 1.05 1.02 0.93 2/54 12764
Raw data (stat): 12764 (pb2sat-v2) R 12763 20224 20223 0 -1 0 262400 0 0 0 26449 555 0 0 25 0 1 0 965356068 770732032 157657 4294967295 134512640 135730672 3221224592 3221222816 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 188167 157657 301 301 0 187866 0
vsize: 752668
[startup+280.01 s]
Raw data (loadavg): 1.12 1.04 0.94 2/54 12764
Raw data (stat): 12764 (pb2sat-v2) R 12763 20224 20223 0 -1 0 262895 0 0 0 27448 556 0 0 25 0 1 0 965356068 772042752 157829 4294967295 134512640 135730672 3221224592 3221222816 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 188487 157829 301 301 0 188186 0
vsize: 753948
[startup+290.011 s]
Raw data (loadavg): 1.18 1.05 0.94 2/54 12764
Raw data (stat): 12764 (pb2sat-v2) R 12763 20224 20223 0 -1 0 263227 0 0 0 28448 556 0 0 25 0 1 0 965356068 773091328 157904 4294967295 134512640 135730672 3221224592 3221222816 134747832 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 188743 157904 301 301 0 188442 0
vsize: 754972
[startup+300.012 s]
Raw data (loadavg): 1.15 1.05 0.94 2/54 12764
Raw data (stat): 12764 (pb2sat-v2) R 12763 20224 20223 0 -1 0 265691 0 0 0 29443 561 0 0 25 0 1 0 965356068 780611584 159295 4294967295 134512640 135730672 3221224592 3221222944 134748138 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 190579 159295 301 301 0 190278 0
vsize: 762316
[startup+310.012 s]
Raw data (loadavg): 1.12 1.05 0.94 2/54 12764
Raw data (stat): 12764 (pb2sat-v2) R 12763 20224 20223 0 -1 0 270620 0 0 0 30435 570 0 0 25 0 1 0 965356068 794869760 161537 4294967295 134512640 135730672 3221224592 3221222816 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 194060 161537 301 301 0 193759 0
vsize: 776240
[startup+320.012 s]
Raw data (loadavg): 1.11 1.05 0.94 2/54 12764
Raw data (stat): 12764 (pb2sat-v2) R 12763 20224 20223 0 -1 0 273833 0 0 0 31429 576 0 0 25 0 1 0 965356068 803573760 163031 4294967295 134512640 135730672 3221224592 3221222640 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 196185 163031 301 301 0 195884 0
vsize: 784740
[startup+330.012 s]
Raw data (loadavg): 1.09 1.04 0.94 2/54 12764
Raw data (stat): 12764 (pb2sat-v2) R 12763 20224 20223 0 -1 0 276472 0 0 0 32424 581 0 0 25 0 1 0 965356068 810135552 164118 4294967295 134512640 135730672 3221224592 3221222816 134747549 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 197787 164118 301 301 0 197486 0
vsize: 791148
[startup+340.012 s]
Raw data (loadavg): 1.07 1.04 0.94 2/54 12764
Raw data (stat): 12764 (pb2sat-v2) R 12763 20224 20223 0 -1 0 279182 0 0 0 33420 585 0 0 25 0 1 0 965356068 816431104 165312 4294967295 134512640 135730672 3221224592 3221222640 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 199324 165312 301 301 0 199023 0
vsize: 797296
[startup+350.012 s]
Raw data (loadavg): 1.06 1.04 0.94 2/54 12764
Raw data (stat): 12764 (pb2sat-v2) R 12763 20224 20223 0 -1 0 281020 0 0 0 34417 588 0 0 25 0 1 0 965356068 821415936 165958 4294967295 134512640 135730672 3221224592 3221222816 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 200541 165958 301 301 0 200240 0
vsize: 802164
[startup+360.013 s]
Raw data (loadavg): 1.05 1.04 0.94 2/54 12764
Raw data (stat): 12764 (pb2sat-v2) R 12763 20224 20223 0 -1 0 283577 0 0 0 35413 593 0 0 25 0 1 0 965356068 827576320 166999 4294967295 134512640 135730672 3221224592 3221223008 134748499 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 202045 166999 301 301 0 201744 0
vsize: 808180
[startup+370.013 s]
Raw data (loadavg): 1.04 1.04 0.94 2/54 12764
Raw data (stat): 12764 (pb2sat-v2) R 12763 20224 20223 0 -1 0 285358 0 0 0 36409 596 0 0 25 0 1 0 965356068 831508480 167813 4294967295 134512640 135730672 3221224592 3221222816 134747563 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 203005 167813 301 301 0 202704 0
vsize: 812020
[startup+380.014 s]
Raw data (loadavg): 1.04 1.03 0.94 2/54 12764
Raw data (stat): 12764 (pb2sat-v2) R 12763 20224 20223 0 -1 0 285541 0 0 0 37409 597 0 0 25 0 1 0 965356068 831770624 167931 4294967295 134512640 135730672 3221224592 3221222816 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 203069 167931 301 301 0 202768 0
vsize: 812276
[startup+390.014 s]
Raw data (loadavg): 1.03 1.03 0.94 2/54 12764
Raw data (stat): 12764 (pb2sat-v2) R 12763 20224 20223 0 -1 0 287286 0 0 0 38406 600 0 0 25 0 1 0 965356068 835702784 168711 4294967295 134512640 135730672 3221224592 3221222944 134748264 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 204029 168711 301 301 0 203728 0
vsize: 816116
[startup+400.015 s]
Raw data (loadavg): 1.03 1.03 0.94 2/54 12764
Raw data (stat): 12764 (pb2sat-v2) R 12763 20224 20223 0 -1 0 288135 0 0 0 39404 602 0 0 25 0 1 0 965356068 837799936 169043 4294967295 134512640 135730672 3221224592 3221222976 134734761 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 204541 169043 301 301 0 204240 0
vsize: 818164
[startup+410.015 s]
Raw data (loadavg): 1.02 1.03 0.94 2/54 12764
Raw data (stat): 12764 (pb2sat-v2) R 12763 20224 20223 0 -1 0 288873 0 0 0 40402 604 0 0 25 0 1 0 965356068 839503872 169362 4294967295 134512640 135730672 3221224592 3221222816 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 204957 169362 301 301 0 204656 0
vsize: 819828
[startup+420.015 s]
Raw data (loadavg): 1.02 1.03 0.94 2/54 12764
Raw data (stat): 12764 (pb2sat-v2) R 12763 20224 20223 0 -1 0 288938 0 0 0 41402 604 0 0 25 0 1 0 965356068 839503872 169427 4294967295 134512640 135730672 3221224592 3221222656 134739215 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 204957 169427 301 301 0 204656 0
vsize: 819828
[startup+430.016 s]
Raw data (loadavg): 1.01 1.03 0.94 2/54 12764
Raw data (stat): 12764 (pb2sat-v2) R 12763 20224 20223 0 -1 0 288948 0 0 0 42402 604 0 0 25 0 1 0 965356068 839503872 169437 4294967295 134512640 135730672 3221224592 3221222816 134747592 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 204957 169437 301 301 0 204656 0
vsize: 819828
[startup+440.016 s]
Raw data (loadavg): 1.01 1.03 0.94 2/54 12764
Raw data (stat): 12764 (pb2sat-v2) R 12763 20224 20223 0 -1 0 289059 0 0 0 43402 605 0 0 25 0 1 0 965356068 839766016 169483 4294967295 134512640 135730672 3221224592 3221222816 134747757 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 205021 169483 301 301 0 204720 0
vsize: 820084
[startup+450.017 s]
Raw data (loadavg): 1.01 1.02 0.94 2/54 12764
Raw data (stat): 12764 (pb2sat-v2) R 12763 20224 20223 0 -1 0 289672 0 0 0 44401 606 0 0 25 0 1 0 965356068 841338880 169710 4294967295 134512640 135730672 3221224592 3221222816 134747657 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 205405 169710 301 301 0 205104 0
vsize: 821620
[startup+460.018 s]
Raw data (loadavg): 1.01 1.02 0.94 2/54 12764
Raw data (stat): 12764 (pb2sat-v2) R 12763 20224 20223 0 -1 0 289855 0 0 0 45401 606 0 0 25 0 1 0 965356068 841732096 169795 4294967295 134512640 135730672 3221224592 3221222816 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 205501 169795 301 301 0 205200 0
vsize: 822004
[startup+470.017 s]
Raw data (loadavg): 1.01 1.02 0.94 2/54 12764
Raw data (stat): 12764 (pb2sat-v2) R 12763 20224 20223 0 -1 0 289977 0 0 0 46401 607 0 0 25 0 1 0 965356068 841732096 169917 4294967295 134512640 135730672 3221224592 3221222816 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 205501 169917 301 301 0 205200 0
vsize: 822004
[startup+480.018 s]
Raw data (loadavg): 1.00 1.02 0.94 2/54 12764
Raw data (stat): 12764 (pb2sat-v2) R 12763 20224 20223 0 -1 0 291591 0 0 0 47398 610 0 0 25 0 1 0 965356068 846090240 170716 4294967295 134512640 135730672 3221224592 3221222944 134748264 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 206565 170716 301 301 0 206264 0
vsize: 826260
[startup+490.018 s]
Raw data (loadavg): 1.00 1.02 0.94 2/54 12764
Raw data (stat): 12764 (pb2sat-v2) R 12763 20224 20223 0 -1 0 293612 0 0 0 48394 614 0 0 25 0 1 0 965356068 851357696 171634 4294967295 134512640 135730672 3221224592 3221222816 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 207851 171634 301 301 0 207550 0
vsize: 831404
[startup+500.019 s]
Raw data (loadavg): 1.00 1.02 0.94 2/54 12764
Raw data (stat): 12764 (pb2sat-v2) R 12763 20224 20223 0 -1 0 295608 0 0 0 49390 618 0 0 25 0 1 0 965356068 856752128 172466 4294967295 134512640 135730672 3221224592 3221222816 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 209168 172466 301 301 0 208867 0
vsize: 836672
[startup+510.019 s]
Raw data (loadavg): 1.00 1.02 0.94 2/54 12764
Raw data (stat): 12764 (pb2sat-v2) R 12763 20224 20223 0 -1 0 295775 0 0 0 50389 619 0 0 25 0 1 0 965356068 857546752 172568 4294967295 134512640 135730672 3221224592 3221222816 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 209362 172568 301 301 0 209061 0
vsize: 837448
[startup+520.019 s]
Raw data (loadavg): 1.00 1.02 0.94 2/54 12764
Raw data (stat): 12764 (pb2sat-v2) R 12763 20224 20223 0 -1 0 297661 0 0 0 51386 623 0 0 25 0 1 0 965356068 862404608 173386 4294967295 134512640 135730672 3221224592 3221222816 134747549 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 210548 173386 301 301 0 210247 0
vsize: 842192
[startup+530.019 s]
Raw data (loadavg): 1.00 1.02 0.94 2/54 12764
Raw data (stat): 12764 (pb2sat-v2) R 12763 20224 20223 0 -1 0 300602 0 0 0 52380 629 0 0 25 0 1 0 965356068 869896192 174648 4294967295 134512640 135730672 3221224592 3221222816 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 212377 174648 301 301 0 212076 0
vsize: 849508
[startup+540.019 s]
Raw data (loadavg): 1.00 1.02 0.94 2/54 12764
Raw data (stat): 12764 (pb2sat-v2) R 12763 20224 20223 0 -1 0 300603 0 0 0 53380 629 0 0 25 0 1 0 965356068 869896192 174649 4294967295 134512640 135730672 3221224592 3221222640 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 212377 174649 301 301 0 212076 0
vsize: 849508
[startup+550.02 s]
Raw data (loadavg): 1.00 1.02 0.94 2/54 12764
Raw data (stat): 12764 (pb2sat-v2) R 12763 20224 20223 0 -1 0 302003 0 0 0 54377 632 0 0 25 0 1 0 965356068 873697280 175114 4294967295 134512640 135730672 3221224592 3221222940 134730931 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 213305 175114 301 301 0 213004 0
vsize: 853220
[startup+560.021 s]
Raw data (loadavg): 1.00 1.01 0.94 2/54 12764
Raw data (stat): 12764 (pb2sat-v2) R 12763 20224 20223 0 -1 0 303290 0 0 0 55375 634 0 0 25 0 1 0 965356068 877252608 175657 4294967295 134512640 135730672 3221224592 3221222816 134747570 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 214173 175657 301 301 0 213872 0
vsize: 856692
[startup+570.02 s]
Raw data (loadavg): 1.00 1.01 0.94 2/54 12764
Raw data (stat): 12764 (pb2sat-v2) R 12763 20224 20223 0 -1 0 303850 0 0 0 56375 635 0 0 25 0 1 0 965356068 878039040 176023 4294967295 134512640 135730672 3221224592 3221222816 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 214365 176023 301 301 0 214064 0
vsize: 857460
[startup+580.021 s]
Raw data (loadavg): 1.00 1.01 0.94 2/54 12764
Raw data (stat): 12764 (pb2sat-v2) R 12763 20224 20223 0 -1 0 304481 0 0 0 57374 636 0 0 25 0 1 0 965356068 879611904 176268 4294967295 134512640 135730672 3221224592 3221222816 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 214749 176268 301 301 0 214448 0
vsize: 858996
[startup+590.02 s]
Raw data (loadavg): 1.00 1.01 0.94 2/54 12764
Raw data (stat): 12764 (pb2sat-v2) R 12763 20224 20223 0 -1 0 306599 0 0 0 58370 640 0 0 25 0 1 0 965356068 885116928 177035 4294967295 134512640 135730672 3221224592 3221222816 134747837 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 216093 177035 301 301 0 215792 0
vsize: 864372
[startup+600.021 s]
Raw data (loadavg): 1.00 1.01 0.94 2/54 12764
Raw data (stat): 12764 (pb2sat-v2) R 12763 20224 20223 0 -1 0 306990 0 0 0 59370 640 0 0 25 0 1 0 965356068 885903360 177232 4294967295 134512640 135730672 3221224592 3221222816 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 216285 177232 301 301 0 215984 0
vsize: 865140
[startup+610.021 s]
Raw data (loadavg): 1.00 1.01 0.94 2/54 12764
Raw data (stat): 12764 (pb2sat-v2) R 12763 20224 20223 0 -1 0 307216 0 0 0 60369 641 0 0 25 0 1 0 965356068 886427648 177329 4294967295 134512640 135730672 3221224592 3221222816 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 216413 177329 301 301 0 216112 0
vsize: 865652
[startup+620.021 s]
Raw data (loadavg): 1.00 1.01 0.94 2/54 12764
Raw data (stat): 12764 (pb2sat-v2) R 12763 20224 20223 0 -1 0 307315 0 0 0 61369 641 0 0 25 0 1 0 965356068 886427648 177428 4294967295 134512640 135730672 3221224592 3221222816 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 216413 177428 301 301 0 216112 0
vsize: 865652
[startup+630.021 s]
Raw data (loadavg): 1.00 1.01 0.94 2/54 12764
Raw data (stat): 12764 (pb2sat-v2) R 12763 20224 20223 0 -1 0 308148 0 0 0 62367 643 0 0 25 0 1 0 965356068 889180160 177585 4294967295 134512640 135730672 3221224592 3221222816 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 217085 177586 301 301 0 216784 0
vsize: 868340
[startup+640.022 s]
Raw data (loadavg): 1.00 1.01 0.94 2/54 12764
Raw data (stat): 12764 (pb2sat-v2) R 12763 20224 20223 0 -1 0 310809 0 0 0 63363 648 0 0 25 0 1 0 965356068 896176128 178910 4294967295 134512640 135730672 3221224592 3221222944 134748264 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 218793 178910 301 301 0 218492 0
vsize: 875172
[startup+650.023 s]
Raw data (loadavg): 1.00 1.01 0.94 2/54 12764
Raw data (stat): 12764 (pb2sat-v2) R 12763 20224 20223 0 -1 0 312042 0 0 0 64361 650 0 0 25 0 1 0 965356068 899735552 179429 4294967295 134512640 135730672 3221224592 3221222816 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 219662 179429 301 301 0 219361 0
vsize: 878648
[startup+660.023 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 12764
Raw data (stat): 12764 (pb2sat-v2) R 12763 20224 20223 0 -1 0 312045 0 0 0 65361 650 0 0 25 0 1 0 965356068 899735552 179432 4294967295 134512640 135730672 3221224592 3221222816 134747599 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 219662 179432 301 301 0 219361 0
vsize: 878648
[startup+670.023 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 12764
Raw data (stat): 12764 (pb2sat-v2) R 12763 20224 20223 0 -1 0 312810 0 0 0 66359 652 0 0 25 0 1 0 965356068 901570560 179746 4294967295 134512640 135730672 3221224592 3221222816 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 220110 179746 301 301 0 219809 0
vsize: 880440
[startup+680.024 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 12764
Raw data (stat): 12764 (pb2sat-v2) R 12763 20224 20223 0 -1 0 312972 0 0 0 67359 652 0 0 25 0 1 0 965356068 902094848 179779 4294967295 134512640 135730672 3221224592 3221222816 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 220238 179779 301 301 0 219937 0
vsize: 880952
[startup+690.024 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 12764
Raw data (stat): 12764 (pb2sat-v2) R 12763 20224 20223 0 -1 0 313162 0 0 0 68359 653 0 0 25 0 1 0 965356068 902619136 179840 4294967295 134512640 135730672 3221224592 3221222816 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 220366 179840 301 301 0 220065 0
vsize: 881464
[startup+700.025 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 12764
Raw data (stat): 12764 (pb2sat-v2) R 12763 20224 20223 0 -1 0 313374 0 0 0 69359 653 0 0 25 0 1 0 965356068 903143424 179923 4294967295 134512640 135730672 3221224592 3221222816 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 220494 179923 301 301 0 220193 0
vsize: 881976
[startup+710.026 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 12764
Raw data (stat): 12764 (pb2sat-v2) R 12763 20224 20223 0 -1 0 313745 0 0 0 70358 654 0 0 25 0 1 0 965356068 904192000 180037 4294967295 134512640 135730672 3221224592 3221222816 134747566 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 220750 180037 301 301 0 220449 0
vsize: 883000
[startup+720.025 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 12764
Raw data (stat): 12764 (pb2sat-v2) R 12763 20224 20223 0 -1 0 314210 0 0 0 71357 655 0 0 25 0 1 0 965356068 905240576 180245 4294967295 134512640 135730672 3221224592 3221222568 135284590 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 221006 180245 301 301 0 220705 0
vsize: 884024
[startup+730.025 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 12764
Raw data (stat): 12764 (pb2sat-v2) R 12763 20224 20223 0 -1 0 315490 0 0 0 72355 657 0 0 25 0 1 0 965356068 908800000 180811 4294967295 134512640 135730672 3221224592 3221222816 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 221875 180811 301 301 0 221574 0
vsize: 887500
[startup+740.026 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 12764
Raw data (stat): 12764 (pb2sat-v2) R 12763 20224 20223 0 -1 0 315816 0 0 0 73355 658 0 0 25 0 1 0 965356068 909848576 180880 4294967295 134512640 135730672 3221224592 3221222816 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 222131 180880 301 301 0 221830 0
vsize: 888524
[startup+750.027 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 12764
Raw data (stat): 12764 (pb2sat-v2) R 12763 20224 20223 0 -1 0 316376 0 0 0 74354 659 0 0 25 0 1 0 965356068 911421440 181054 4294967295 134512640 135730672 3221224592 3221222816 134747513 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 222515 181054 301 301 0 222214 0
vsize: 890060
[startup+760.027 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 12764
Raw data (stat): 12764 (pb2sat-v2) R 12763 20224 20223 0 -1 0 316377 0 0 0 75354 659 0 0 25 0 1 0 965356068 911421440 181055 4294967295 134512640 135730672 3221224592 3221222816 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 222515 181055 301 301 0 222214 0
vsize: 890060
[startup+770.027 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 12764
Raw data (stat): 12764 (pb2sat-v2) R 12763 20224 20223 0 -1 0 317185 0 0 0 76353 660 0 0 25 0 1 0 965356068 913518592 181348 4294967295 134512640 135730672 3221224592 3221222816 134747587 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 223027 181348 301 301 0 222726 0
vsize: 892108
[startup+780.027 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 12764
Raw data (stat): 12764 (pb2sat-v2) R 12763 20224 20223 0 -1 0 317663 0 0 0 77352 661 0 0 25 0 1 0 965356068 914567168 181569 4294967295 134512640 135730672 3221224592 3221222816 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 223283 181569 301 301 0 222982 0
vsize: 893132
[startup+790.027 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 12764
Raw data (stat): 12764 (pb2sat-v2) R 12763 20224 20223 0 -1 0 317663 0 0 0 78352 661 0 0 25 0 1 0 965356068 914567168 181569 4294967295 134512640 135730672 3221224592 3221222816 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 223283 181569 301 301 0 222982 0
vsize: 893132
[startup+800.028 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 12764
Raw data (stat): 12764 (pb2sat-v2) R 12763 20224 20223 0 -1 0 318205 0 0 0 79352 662 0 0 25 0 1 0 965356068 916140032 181725 4294967295 134512640 135730672 3221224592 3221222816 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 223667 181725 301 301 0 223366 0
vsize: 894668
[startup+810.029 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 12764
Raw data (stat): 12764 (pb2sat-v2) R 12763 20224 20223 0 -1 0 318545 0 0 0 80351 663 0 0 25 0 1 0 965356068 916664320 181936 4294967295 134512640 135730672 3221224592 3221222816 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 223795 181936 301 301 0 223494 0
vsize: 895180
[startup+820.029 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 12764
Raw data (stat): 12764 (pb2sat-v2) R 12763 20224 20223 0 -1 0 318993 0 0 0 81350 664 0 0 25 0 1 0 965356068 918237184 181998 4294967295 134512640 135730672 3221224592 3221222816 134747808 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 224179 181998 301 301 0 223878 0
vsize: 896716
[startup+830.03 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 12764
Raw data (stat): 12764 (pb2sat-v2) R 12763 20224 20223 0 -1 0 319144 0 0 0 82350 665 0 0 25 0 1 0 965356068 918630400 182051 4294967295 134512640 135730672 3221224592 3221222944 134748145 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 224275 182051 301 301 0 223974 0
vsize: 897100
[startup+840.03 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 12764
Raw data (stat): 12764 (pb2sat-v2) R 12763 20224 20223 0 -1 0 319148 0 0 0 83350 665 0 0 25 0 1 0 965356068 918630400 182055 4294967295 134512640 135730672 3221224592 3221222912 134763606 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 224275 182055 301 301 0 223974 0
vsize: 897100
[startup+850.031 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 12764
Raw data (stat): 12764 (pb2sat-v2) R 12763 20224 20223 0 -1 0 319159 0 0 0 84350 665 0 0 25 0 1 0 965356068 918630400 182066 4294967295 134512640 135730672 3221224592 3221222916 134747725 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 224275 182066 301 301 0 223974 0
vsize: 897100
[startup+860.032 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 12764
Raw data (stat): 12764 (pb2sat-v2) R 12763 20224 20223 0 -1 0 319293 0 0 0 85350 665 0 0 25 0 1 0 965356068 918892544 182135 4294967295 134512640 135730672 3221224592 3221222912 134763604 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 224339 182135 301 301 0 224038 0
vsize: 897356
[startup+870.032 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 12764
Raw data (stat): 12764 (pb2sat-v2) R 12763 20224 20223 0 -1 0 319918 0 0 0 86349 666 0 0 25 0 1 0 965356068 920465408 182374 4294967295 134512640 135730672 3221224592 3221222816 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 224723 182374 301 301 0 224422 0
vsize: 898892
[startup+880.032 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 12764
Raw data (stat): 12764 (pb2sat-v2) R 12763 20224 20223 0 -1 0 321124 0 0 0 87346 669 0 0 25 0 1 0 965356068 923222016 182937 4294967295 134512640 135730672 3221224592 3221222816 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 225396 182937 301 301 0 225095 0
vsize: 901584
[startup+890.032 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 12764
Raw data (stat): 12764 (pb2sat-v2) R 12763 20224 20223 0 -1 0 321131 0 0 0 88346 669 0 0 25 0 1 0 965356068 923222016 182944 4294967295 134512640 135730672 3221224592 3221222816 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 225396 182944 301 301 0 225095 0
vsize: 901584
[startup+900.032 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 12764
Raw data (stat): 12764 (pb2sat-v2) R 12763 20224 20223 0 -1 0 321188 0 0 0 89346 669 0 0 25 0 1 0 965356068 923222016 183001 4294967295 134512640 135730672 3221224592 3221222816 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 225396 183001 301 301 0 225095 0
vsize: 901584
[startup+910.032 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 12764
Raw data (stat): 12764 (pb2sat-v2) R 12763 20224 20223 0 -1 0 321379 0 0 0 90346 670 0 0 25 0 1 0 965356068 923746304 183063 4294967295 134512640 135730672 3221224592 3221222816 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 225524 183063 301 301 0 225223 0
vsize: 902096
[startup+920.032 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 12764
Raw data (stat): 12764 (pb2sat-v2) R 12763 20224 20223 0 -1 0 322002 0 0 0 91345 671 0 0 25 0 1 0 965356068 925319168 183300 4294967295 134512640 135730672 3221224592 3221222816 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 225908 183300 301 301 0 225607 0
vsize: 903632
[startup+930.033 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 12764
Raw data (stat): 12764 (pb2sat-v2) R 12763 20224 20223 0 -1 0 322774 0 0 0 92344 672 0 0 25 0 1 0 965356068 927154176 183621 4294967295 134512640 135730672 3221224592 3221222944 134748249 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 226356 183621 301 301 0 226055 0
vsize: 905424
[startup+940.033 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 12764
Raw data (stat): 12764 (pb2sat-v2) R 12763 20224 20223 0 -1 0 322776 0 0 0 93344 672 0 0 25 0 1 0 965356068 927154176 183623 4294967295 134512640 135730672 3221224592 3221222816 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 226356 183623 301 301 0 226055 0
vsize: 905424
[startup+950.034 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 12764
Raw data (stat): 12764 (pb2sat-v2) R 12763 20224 20223 0 -1 0 323583 0 0 0 94343 674 0 0 25 0 1 0 965356068 928989184 183978 4294967295 134512640 135730672 3221224592 3221222640 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 226804 183978 301 301 0 226503 0
vsize: 907216
[startup+960.034 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 12764
Raw data (stat): 12764 (pb2sat-v2) R 12763 20224 20223 0 -1 0 323588 0 0 0 95343 674 0 0 25 0 1 0 965356068 928989184 183983 4294967295 134512640 135730672 3221224592 3221222816 134747592 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 226804 183983 301 301 0 226503 0
vsize: 907216
[startup+970.034 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 12764
Raw data (stat): 12764 (pb2sat-v2) R 12763 20224 20223 0 -1 0 323601 0 0 0 96343 674 0 0 25 0 1 0 965356068 928989184 183996 4294967295 134512640 135730672 3221224592 3221222640 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 226804 183996 301 301 0 226503 0
vsize: 907216
[startup+980.035 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 12764
Raw data (stat): 12764 (pb2sat-v2) R 12763 20224 20223 0 -1 0 323722 0 0 0 97343 675 0 0 25 0 1 0 965356068 929251328 184052 4294967295 134512640 135730672 3221224592 3221222816 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 226868 184052 301 301 0 226567 0
vsize: 907472
[startup+990.035 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 12764
Raw data (stat): 12764 (pb2sat-v2) R 12763 20224 20223 0 -1 0 325175 0 0 0 98339 678 0 0 25 0 1 0 965356068 933732352 184792 4294967295 134512640 135730672 3221224592 3221222816 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 227962 184792 301 301 0 227661 0
vsize: 911848
[startup+1000.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 12764
Raw data (stat): 12764 (pb2sat-v2) R 12763 20224 20223 0 -1 0 327029 0 0 0 99336 681 0 0 25 0 1 0 965356068 938586112 185486 4294967295 134512640 135730672 3221224592 3221222816 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 229147 185486 301 301 0 228846 0
vsize: 916588
[startup+1010.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 12764
Raw data (stat): 12764 (pb2sat-v2) R 12763 20224 20223 0 -1 0 327504 0 0 0 100336 682 0 0 25 0 1 0 965356068 939634688 185704 4294967295 134512640 135730672 3221224592 3221222976 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 229403 185704 301 301 0 229102 0
vsize: 917612
[startup+1020.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 12764
Raw data (stat): 12764 (pb2sat-v2) R 12763 20224 20223 0 -1 0 327505 0 0 0 101336 682 0 0 25 0 1 0 965356068 939634688 185705 4294967295 134512640 135730672 3221224592 3221222816 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 229403 185705 301 301 0 229102 0
vsize: 917612
[startup+1030.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 12764
Raw data (stat): 12764 (pb2sat-v2) R 12763 20224 20223 0 -1 0 327991 0 0 0 102336 683 0 0 25 0 1 0 965356068 940683264 185934 4294967295 134512640 135730672 3221224592 3221222944 134748138 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 229659 185934 301 301 0 229358 0
vsize: 918636
[startup+1040.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 12764
Raw data (stat): 12764 (pb2sat-v2) R 12763 20224 20223 0 -1 0 329034 0 0 0 103313 705 0 0 25 0 1 0 965356068 369192960 81078 4294967295 134512640 135730672 3221224592 3221222956 135284036 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 90135 81078 301 301 0 89834 0
vsize: 360540
[startup+1041.13 s]
Raw data (loadavg): 1.00 1.00 0.94 1/53 12764
Raw data (stat): 12764 (pb2sat-v2) R 12763 20224 20223 0 -1 0 329034 0 0 0 103313 705 0 0 25 0 1 0 965356068 369192960 81078 4294967295 134512640 135730672 3221224592 3221222956 135284036 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 90135 81078 301 301 0 89834 0
vsize: 0

Child status: 1
Real time (s): 1041.13
CPU time (s): 1041.28
CPU user time (s): 1034.06
CPU system time (s): 7.2179
CPU usage (%): 100.014
Max. virtual memory (Kb): 918636
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####