PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-stp3d.opb
MD5SUM	bd41ba4f2ddbc80664ba643e2dc93b96
Bench Category	optimization, medium integers (OPTMEDINT)
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	75648
Biggest coefficient in the objective function	100303
Number of bits for the biggest coefficient in the objective function	17
Sum of the numbers in the objective function	7576279200
Number of bits of the sum of numbers in the objective function	33
Biggest number in a constraint	100303
Number of bits of the biggest number in a constraint	17
Biggest sum of numbers in a constraint	7576279200
Number of bits of the biggest sum of numbers	33
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	2.75158
Number of variables	204880
Total number of constraints	364368
Number of constraints which are clauses	129232
Number of constraints which are cardinality constraints (but not clauses)	210685
Number of constraints which are nor clauses,nor cardinality constraints	24451
Minimum length of a constraint	1
Maximum length of a constraint	120
Trace number 42875

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc2 THE 2005-06-16 17:17:21 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=26088 boxname=wulflinc2 idbench=1388 idsolver=18 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  bd41ba4f2ddbc80664ba643e2dc93b96  /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-13-7-stp3d.opb
REAL COMMAND:  pb2sat-v2 /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-13-7-stp3d.opb
IDLAUNCH: 26088
/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:        601952 kB
Buffers:         23368 kB
Cached:         386272 kB
SwapCached:       1420 kB
Active:          55308 kB
Inactive:       356368 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        601700 kB
SwapTotal:     2097136 kB
SwapFree:      2094720 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5056 kB
Slab:            15196 kB
Committed_AS:    71900 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-16 17:37:24 (client local time) WITH STATUS 0 IN 1202.46 SECONDS
stats: 26088 7 1202.46 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...
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.87 0.94 0.90 1/54 13466
Raw data (stat): 13466 (runsolver) R 13465 31399 31398 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 972502407 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0006 s]
Raw data (loadavg): 0.89 0.94 0.90 2/54 13466
Raw data (stat): 13466 (pb2sat-v2) R 13465 31399 31398 0 -1 0 130 0 0 0 997 2 0 0 25 0 1 0 972502407 1544192 120 4294967295 134512640 135730672 3221224576 3221221776 134579294 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 377 120 301 301 0 76 0
vsize: 1508
[startup+20.0003 s]
Raw data (loadavg): 0.90 0.94 0.90 2/54 13466
Raw data (stat): 13466 (pb2sat-v2) R 13465 31399 31398 0 -1 0 130 0 0 0 1994 4 0 0 25 0 1 0 972502407 1544192 120 4294967295 134512640 135730672 3221224576 3221221776 134579302 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 377 120 301 301 0 76 0
vsize: 1508
[startup+30.0006 s]
Raw data (loadavg): 0.92 0.94 0.90 2/54 13466
Raw data (stat): 13466 (pb2sat-v2) R 13465 31399 31398 0 -1 0 2052 0 0 0 2988 10 0 0 25 0 1 0 972502407 7688192 1379 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 1877 1379 301 301 0 1576 0
vsize: 7508
[startup+40.0008 s]
Raw data (loadavg): 0.93 0.94 0.90 2/54 13466
Raw data (stat): 13466 (pb2sat-v2) R 13465 31399 31398 0 -1 0 2587 0 0 0 3986 11 0 0 25 0 1 0 972502407 9039872 1905 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 2207 1905 301 301 0 1906 0
vsize: 8828
[startup+50.0013 s]
Raw data (loadavg): 0.94 0.95 0.90 2/54 13466
Raw data (stat): 13466 (pb2sat-v2) R 13465 31399 31398 0 -1 0 3820 0 0 0 4984 14 0 0 25 0 1 0 972502407 13414400 2426 4294967295 134512640 135730672 3221224576 3221221664 134561688 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3275 2426 301 301 0 2974 0
vsize: 13100
[startup+60.0007 s]
Raw data (loadavg): 0.95 0.95 0.91 2/54 13466
Raw data (stat): 13466 (pb2sat-v2) R 13465 31399 31398 0 -1 0 4014 0 0 0 5983 15 0 0 25 0 1 0 972502407 13819904 2615 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3374 2615 301 301 0 3073 0
vsize: 13496
[startup+70.0007 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 13466
Raw data (stat): 13466 (pb2sat-v2) R 13465 31399 31398 0 -1 0 4286 0 0 0 6982 16 0 0 25 0 1 0 972502407 14495744 2883 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3539 2883 301 301 0 3238 0
vsize: 14156
[startup+80.0011 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 13466
Raw data (stat): 13466 (pb2sat-v2) R 13465 31399 31398 0 -1 0 4524 0 0 0 7982 16 0 0 25 0 1 0 972502407 15171584 3117 4294967295 134512640 135730672 3221224576 3221221664 134561683 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3704 3117 301 301 0 3403 0
vsize: 14816
[startup+90.0008 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 13466
Raw data (stat): 13466 (pb2sat-v2) R 13465 31399 31398 0 -1 0 4736 0 0 0 8981 17 0 0 25 0 1 0 972502407 15712256 3326 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3836 3326 301 301 0 3535 0
vsize: 15344
[startup+100.002 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 13466
Raw data (stat): 13466 (pb2sat-v2) R 13465 31399 31398 0 -1 0 4936 0 0 0 9981 17 0 0 25 0 1 0 972502407 16252928 3522 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3968 3522 301 301 0 3667 0
vsize: 15872
[startup+110.003 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 13466
Raw data (stat): 13466 (pb2sat-v2) R 13465 31399 31398 0 -1 0 5123 0 0 0 10980 18 0 0 25 0 1 0 972502407 16658432 3706 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4067 3706 301 301 0 3766 0
vsize: 16268
[startup+120.002 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 13466
Raw data (stat): 13466 (pb2sat-v2) R 13465 31399 31398 0 -1 0 5300 0 0 0 11980 19 0 0 25 0 1 0 972502407 17199104 3881 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4199 3881 301 301 0 3898 0
vsize: 16796
[startup+130.002 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 13466
Raw data (stat): 13466 (pb2sat-v2) R 13465 31399 31398 0 -1 0 5471 0 0 0 12979 19 0 0 25 0 1 0 972502407 17604608 4049 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4298 4049 301 301 0 3997 0
vsize: 17192
[startup+140.002 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 13466
Raw data (stat): 13466 (pb2sat-v2) R 13465 31399 31398 0 -1 0 7481 0 0 0 13976 23 0 0 25 0 1 0 972502407 25407488 4646 4294967295 134512640 135730672 3221224576 3221221664 134561656 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6203 4646 301 301 0 5902 0
vsize: 24812
[startup+150.002 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 13466
Raw data (stat): 13466 (pb2sat-v2) R 13465 31399 31398 0 -1 0 7535 0 0 0 14976 23 0 0 25 0 1 0 972502407 25407488 4698 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6203 4698 301 301 0 5902 0
vsize: 24812
[startup+160.002 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 13466
Raw data (stat): 13466 (pb2sat-v2) R 13465 31399 31398 0 -1 0 7589 0 0 0 15975 23 0 0 25 0 1 0 972502407 25407488 4749 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6203 4749 301 301 0 5902 0
vsize: 24812
[startup+170.001 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 13466
Raw data (stat): 13466 (pb2sat-v2) R 13465 31399 31398 0 -1 0 7664 0 0 0 16975 23 0 0 25 0 1 0 972502407 25407488 4822 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6203 4822 301 301 0 5902 0
vsize: 24812
[startup+180.001 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 13466
Raw data (stat): 13466 (pb2sat-v2) R 13465 31399 31398 0 -1 0 8920 0 0 0 17971 27 0 0 25 0 1 0 972502407 29597696 6064 4294967295 134512640 135730672 3221224576 3221221776 134579330 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7226 6064 301 301 0 6925 0
vsize: 28904
[startup+190.001 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 13466
Raw data (stat): 13466 (pb2sat-v2) R 13465 31399 31398 0 -1 0 17694 0 0 0 18948 51 0 0 25 0 1 0 972502407 56221696 12369 4294967295 134512640 135730672 3221224576 3221221836 134637875 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13726 12369 301 301 0 13425 0
vsize: 54904
[startup+200.002 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 13466
Raw data (stat): 13466 (pb2sat-v2) R 13465 31399 31398 0 -1 0 35632 0 0 0 19907 91 0 0 25 0 1 0 972502407 108761088 22587 4294967295 134512640 135730672 3221224576 3221219064 134787727 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26553 22587 301 301 0 26252 0
vsize: 106212
[startup+210.001 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 13466
Raw data (stat): 13466 (pb2sat-v2) R 13465 31399 31398 0 -1 0 70893 0 0 0 20830 168 0 0 25 0 1 0 972502407 234971136 38711 4294967295 134512640 135730672 3221224576 3221216952 135284290 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 57366 38711 301 301 0 57065 0
vsize: 229464
[startup+220.001 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 13466
Raw data (stat): 13466 (pb2sat-v2) R 13465 31399 31398 0 -1 0 96911 0 0 0 21768 231 0 0 25 0 1 0 972502407 285302784 52184 4294967295 134512640 135730672 3221224576 3221218600 134787727 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 69654 52184 301 301 0 69353 0
vsize: 278616
[startup+230.002 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 13466
Raw data (stat): 13466 (pb2sat-v2) R 13465 31399 31398 0 -1 0 116765 0 0 0 22722 277 0 0 25 0 1 0 972502407 478363648 71650 4294967295 134512640 135730672 3221224576 3221216120 135285983 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 116788 71653 301 301 0 116487 0
vsize: 467152
[startup+240.001 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 13466
Raw data (stat): 13466 (pb2sat-v2) R 13465 31399 31398 0 -1 0 150242 0 0 0 23657 342 0 0 25 0 1 0 972502407 438407168 85641 4294967295 134512640 135730672 3221224576 3221217704 134787727 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 107033 85642 301 301 0 106732 0
vsize: 428132
[startup+250.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13466
Raw data (stat): 13466 (pb2sat-v2) R 13465 31399 31398 0 -1 0 187229 0 0 0 24571 429 0 0 25 0 1 0 972502407 539070464 97814 4294967295 134512640 135730672 3221224576 3221219560 134787727 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 131609 97814 301 301 0 131308 0
vsize: 526436
[startup+260.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13466
Raw data (stat): 13466 (pb2sat-v2) R 13465 31399 31398 0 -1 0 200211 0 0 0 25538 462 0 0 25 0 1 0 972502407 578166784 110573 4294967295 134512640 135730672 3221224576 3221221776 134579294 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 141154 110573 301 301 0 140853 0
vsize: 564616
[startup+270.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13466
Raw data (stat): 13466 (pb2sat-v2) R 13465 31399 31398 0 -1 0 209591 0 0 0 26511 489 0 0 25 0 1 0 972502407 587223040 119818 4294967295 134512640 135730672 3221224576 3221221776 134579669 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 143365 119818 301 301 0 143064 0
vsize: 573460
[startup+280.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13466
Raw data (stat): 13466 (pb2sat-v2) R 13465 31399 31398 0 -1 0 215638 0 0 0 27495 505 0 0 25 0 1 0 972502407 593170432 125784 4294967295 134512640 135730672 3221224576 3221215928 135285983 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 144817 125785 301 301 0 144516 0
vsize: 579268
[startup+290.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13466
Raw data (stat): 13466 (pb2sat-v2) R 13465 31399 31398 0 -1 0 227166 0 0 0 28462 537 0 0 25 0 1 0 972502407 623063040 133087 4294967295 134512640 135730672 3221224576 3221223072 134747563 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 152115 133087 301 301 0 151814 0
vsize: 608460
[startup+300.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13466
Raw data (stat): 13466 (pb2sat-v2) R 13465 31399 31398 0 -1 0 229215 0 0 0 29439 559 0 0 25 0 1 0 972502407 632279040 135133 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 154365 135133 301 301 0 154064 0
vsize: 617460
[startup+310.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13466
Raw data (stat): 13466 (pb2sat-v2) R 13465 31399 31398 0 -1 0 229814 0 0 0 30437 561 0 0 25 0 1 0 972502407 635035648 135732 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 155038 135732 301 301 0 154737 0
vsize: 620152
[startup+320.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13466
Raw data (stat): 13466 (pb2sat-v2) R 13465 31399 31398 0 -1 0 230317 0 0 0 31436 562 0 0 25 0 1 0 972502407 637394944 136235 4294967295 134512640 135730672 3221224576 3221223056 134732772 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 155614 136235 301 301 0 155313 0
vsize: 622456
[startup+330.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13466
Raw data (stat): 13466 (pb2sat-v2) R 13465 31399 31398 0 -1 0 230772 0 0 0 32435 563 0 0 25 0 1 0 972502407 639315968 136690 4294967295 134512640 135730672 3221224576 3221223180 134747440 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 156083 136690 301 301 0 155782 0
vsize: 624332
[startup+340.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13466
Raw data (stat): 13466 (pb2sat-v2) R 13465 31399 31398 0 -1 0 231014 0 0 0 33434 564 0 0 25 0 1 0 972502407 640643072 136932 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 156407 136932 301 301 0 156106 0
vsize: 625628
[startup+350.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13466
Raw data (stat): 13466 (pb2sat-v2) R 13465 31399 31398 0 -1 0 231179 0 0 0 34434 565 0 0 25 0 1 0 972502407 641564672 137097 4294967295 134512640 135730672 3221224576 3221222912 134739213 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 156632 137097 301 301 0 156331 0
vsize: 626528
[startup+360.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13466
Raw data (stat): 13466 (pb2sat-v2) R 13465 31399 31398 0 -1 0 231207 0 0 0 35434 565 0 0 25 0 1 0 972502407 641761280 137125 4294967295 134512640 135730672 3221224576 3221223232 134734847 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 156680 137125 301 301 0 156379 0
vsize: 626720
[startup+370.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13466
Raw data (stat): 13466 (pb2sat-v2) R 13465 31399 31398 0 -1 0 231299 0 0 0 36434 566 0 0 25 0 1 0 972502407 642154496 137217 4294967295 134512640 135730672 3221224576 3221223248 134748644 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 156776 137217 301 301 0 156475 0
vsize: 627104
[startup+380.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13466
Raw data (stat): 13466 (pb2sat-v2) R 13465 31399 31398 0 -1 0 231378 0 0 0 37434 566 0 0 25 0 1 0 972502407 642560000 137296 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 156875 137296 301 301 0 156574 0
vsize: 627500
[startup+390.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13466
Raw data (stat): 13466 (pb2sat-v2) R 13465 31399 31398 0 -1 0 231516 0 0 0 38433 567 0 0 25 0 1 0 972502407 643235840 137434 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 157040 137434 301 301 0 156739 0
vsize: 628160
[startup+400.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13466
Raw data (stat): 13466 (pb2sat-v2) R 13465 31399 31398 0 -1 0 231666 0 0 0 39433 567 0 0 25 0 1 0 972502407 643973120 137584 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 157220 137584 301 301 0 156919 0
vsize: 628880
[startup+410.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13466
Raw data (stat): 13466 (pb2sat-v2) R 13465 31399 31398 0 -1 0 231755 0 0 0 40432 568 0 0 25 0 1 0 972502407 644378624 137673 4294967295 134512640 135730672 3221224576 3221223196 134748215 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 157319 137673 301 301 0 157018 0
vsize: 629276
[startup+420.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13466
Raw data (stat): 13466 (pb2sat-v2) R 13465 31399 31398 0 -1 0 231992 0 0 0 41432 569 0 0 25 0 1 0 972502407 645451776 137877 4294967295 134512640 135730672 3221224576 3221223072 134747587 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 157581 137877 301 301 0 157280 0
vsize: 630324
[startup+430.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13466
Raw data (stat): 13466 (pb2sat-v2) R 13465 31399 31398 0 -1 0 232100 0 0 0 42432 569 0 0 25 0 1 0 972502407 645992448 137985 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 157713 137985 301 301 0 157412 0
vsize: 630852
[startup+440.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13466
Raw data (stat): 13466 (pb2sat-v2) R 13465 31399 31398 0 -1 0 232302 0 0 0 43431 569 0 0 25 0 1 0 972502407 647073792 138187 4294967295 134512640 135730672 3221224576 3221223232 134734756 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 157977 138187 301 301 0 157676 0
vsize: 631908
[startup+450.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13466
Raw data (stat): 13466 (pb2sat-v2) R 13465 31399 31398 0 -1 0 232826 0 0 0 44430 571 0 0 25 0 1 0 972502407 649170944 138198 4294967295 134512640 135730672 3221224576 3221223072 134747624 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 158489 138198 301 301 0 158188 0
vsize: 633956
[startup+460.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13466
Raw data (stat): 13466 (pb2sat-v2) R 13465 31399 31398 0 -1 0 232834 0 0 0 45430 571 0 0 25 0 1 0 972502407 649170944 138206 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 158489 138206 301 301 0 158188 0
vsize: 633956
[startup+470.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13466
Raw data (stat): 13466 (pb2sat-v2) R 13465 31399 31398 0 -1 0 232877 0 0 0 46430 571 0 0 25 0 1 0 972502407 649441280 138249 4294967295 134512640 135730672 3221224576 3221223072 134747770 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 158555 138249 301 301 0 158254 0
vsize: 634220
[startup+480.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13466
Raw data (stat): 13466 (pb2sat-v2) R 13465 31399 31398 0 -1 0 233031 0 0 0 47430 572 0 0 25 0 1 0 972502407 650383360 138403 4294967295 134512640 135730672 3221224576 3221223072 134747570 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 158785 138403 301 301 0 158484 0
vsize: 635140
[startup+490.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13466
Raw data (stat): 13466 (pb2sat-v2) R 13465 31399 31398 0 -1 0 233275 0 0 0 48429 572 0 0 25 0 1 0 972502407 651587584 138614 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 159079 138614 301 301 0 158778 0
vsize: 636316
[startup+500.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13466
Raw data (stat): 13466 (pb2sat-v2) R 13465 31399 31398 0 -1 0 233327 0 0 0 49429 573 0 0 25 0 1 0 972502407 651718656 138633 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 159111 138633 301 301 0 158810 0
vsize: 636444
[startup+510.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13466
Raw data (stat): 13466 (pb2sat-v2) R 13465 31399 31398 0 -1 0 233396 0 0 0 50429 573 0 0 25 0 1 0 972502407 652124160 138702 4294967295 134512640 135730672 3221224576 3221223072 134747634 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 159210 138702 301 301 0 158909 0
vsize: 636840
[startup+520.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13466
Raw data (stat): 13466 (pb2sat-v2) R 13465 31399 31398 0 -1 0 233445 0 0 0 51429 574 0 0 25 0 1 0 972502407 652255232 138718 4294967295 134512640 135730672 3221224576 3221223072 134747738 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 159242 138718 301 301 0 158941 0
vsize: 636968
[startup+530.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13466
Raw data (stat): 13466 (pb2sat-v2) R 13465 31399 31398 0 -1 0 233468 0 0 0 52429 574 0 0 25 0 1 0 972502407 652390400 138741 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 159275 138741 301 301 0 158974 0
vsize: 637100
[startup+540.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13466
Raw data (stat): 13466 (pb2sat-v2) R 13465 31399 31398 0 -1 0 233514 0 0 0 53428 574 0 0 25 0 1 0 972502407 652660736 138787 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 159341 138787 301 301 0 159040 0
vsize: 637364
[startup+550.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13466
Raw data (stat): 13466 (pb2sat-v2) R 13465 31399 31398 0 -1 0 233566 0 0 0 54428 575 0 0 25 0 1 0 972502407 652931072 138839 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 159407 138839 301 301 0 159106 0
vsize: 637628
[startup+560.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13466
Raw data (stat): 13466 (pb2sat-v2) R 13465 31399 31398 0 -1 0 233570 0 0 0 55428 575 0 0 25 0 1 0 972502407 652931072 138843 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 159407 138843 301 301 0 159106 0
vsize: 637628
[startup+570.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13466
Raw data (stat): 13466 (pb2sat-v2) R 13465 31399 31398 0 -1 0 233574 0 0 0 56428 575 0 0 25 0 1 0 972502407 652931072 138847 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 159407 138847 301 301 0 159106 0
vsize: 637628
[startup+580.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13466
Raw data (stat): 13466 (pb2sat-v2) R 13465 31399 31398 0 -1 0 233661 0 0 0 57428 576 0 0 25 0 1 0 972502407 653328384 138901 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 159504 138901 301 301 0 159203 0
vsize: 638016
[startup+590.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13466
Raw data (stat): 13466 (pb2sat-v2) R 13465 31399 31398 0 -1 0 233665 0 0 0 58428 576 0 0 25 0 1 0 972502407 653328384 138905 4294967295 134512640 135730672 3221224576 3221223072 134747570 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 159504 138905 301 301 0 159203 0
vsize: 638016
[startup+600.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13466
Raw data (stat): 13466 (pb2sat-v2) R 13465 31399 31398 0 -1 0 233675 0 0 0 59428 576 0 0 25 0 1 0 972502407 653328384 138915 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 159504 138915 301 301 0 159203 0
vsize: 638016
[startup+610.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13466
Raw data (stat): 13466 (pb2sat-v2) R 13465 31399 31398 0 -1 0 233755 0 0 0 60428 577 0 0 25 0 1 0 972502407 653594624 138962 4294967295 134512640 135730672 3221224576 3221223232 134734769 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 159569 138962 301 301 0 159268 0
vsize: 638276
[startup+620.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13466
Raw data (stat): 13466 (pb2sat-v2) R 13465 31399 31398 0 -1 0 233832 0 0 0 61429 577 0 0 25 0 1 0 972502407 653860864 139006 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 159634 139006 301 301 0 159333 0
vsize: 638536
[startup+630.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13466
Raw data (stat): 13466 (pb2sat-v2) R 13465 31399 31398 0 -1 0 233869 0 0 0 62429 577 0 0 25 0 1 0 972502407 653996032 139043 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 159667 139043 301 301 0 159366 0
vsize: 638668
[startup+640.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13466
Raw data (stat): 13466 (pb2sat-v2) R 13465 31399 31398 0 -1 0 233920 0 0 0 63428 578 0 0 25 0 1 0 972502407 654262272 139094 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 159732 139094 301 301 0 159431 0
vsize: 638928
[startup+650.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13466
Raw data (stat): 13466 (pb2sat-v2) R 13465 31399 31398 0 -1 0 233925 0 0 0 64428 578 0 0 25 0 1 0 972502407 654262272 139099 4294967295 134512640 135730672 3221224576 3221223168 134747445 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 159732 139099 301 301 0 159431 0
vsize: 638928
[startup+660.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13466
Raw data (stat): 13466 (pb2sat-v2) R 13465 31399 31398 0 -1 0 234033 0 0 0 65428 578 0 0 25 0 1 0 972502407 654524416 139141 4294967295 134512640 135730672 3221224576 3221223232 134734761 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 159796 139141 301 301 0 159495 0
vsize: 639184
[startup+670.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13466
Raw data (stat): 13466 (pb2sat-v2) R 13465 31399 31398 0 -1 0 234051 0 0 0 66428 579 0 0 25 0 1 0 972502407 654524416 139159 4294967295 134512640 135730672 3221224576 3221222896 134732524 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 159796 139159 301 301 0 159495 0
vsize: 639184
[startup+680.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13466
Raw data (stat): 13466 (pb2sat-v2) R 13465 31399 31398 0 -1 0 234081 0 0 0 67428 579 0 0 25 0 1 0 972502407 654659584 139189 4294967295 134512640 135730672 3221224576 3221223056 134732772 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 159829 139189 301 301 0 159528 0
vsize: 639316
[startup+690.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13466
Raw data (stat): 13466 (pb2sat-v2) R 13465 31399 31398 0 -1 0 234181 0 0 0 68428 580 0 0 25 0 1 0 972502407 655060992 139256 4294967295 134512640 135730672 3221224576 3221223072 134747705 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 159927 139256 301 301 0 159626 0
vsize: 639708
[startup+700.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13466
Raw data (stat): 13466 (pb2sat-v2) R 13465 31399 31398 0 -1 0 234206 0 0 0 69428 580 0 0 25 0 1 0 972502407 655196160 139281 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 159960 139281 301 301 0 159659 0
vsize: 639840
[startup+710.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13466
Raw data (stat): 13466 (pb2sat-v2) R 13465 31399 31398 0 -1 0 234311 0 0 0 70428 580 0 0 25 0 1 0 972502407 655728640 139353 4294967295 134512640 135730672 3221224576 3221223232 134734835 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 160090 139353 301 301 0 159789 0
vsize: 640360
[startup+720.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13466
Raw data (stat): 13466 (pb2sat-v2) R 13465 31399 31398 0 -1 0 234351 0 0 0 71428 580 0 0 25 0 1 0 972502407 655994880 139393 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 160155 139393 301 301 0 159854 0
vsize: 640620
[startup+730.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13466
Raw data (stat): 13466 (pb2sat-v2) R 13465 31399 31398 0 -1 0 234363 0 0 0 72427 581 0 0 25 0 1 0 972502407 655994880 139405 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 160155 139405 301 301 0 159854 0
vsize: 640620
[startup+740.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13466
Raw data (stat): 13466 (pb2sat-v2) R 13465 31399 31398 0 -1 0 234422 0 0 0 73427 581 0 0 25 0 1 0 972502407 656261120 139464 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 160220 139464 301 301 0 159919 0
vsize: 640880
[startup+750.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13466
Raw data (stat): 13466 (pb2sat-v2) R 13465 31399 31398 0 -1 0 234436 0 0 0 74428 581 0 0 25 0 1 0 972502407 656261120 139478 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 160220 139478 301 301 0 159919 0
vsize: 640880
[startup+760.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13466
Raw data (stat): 13466 (pb2sat-v2) R 13465 31399 31398 0 -1 0 234497 0 0 0 75427 581 0 0 25 0 1 0 972502407 656392192 139506 4294967295 134512640 135730672 3221224576 3221223072 134747636 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 160252 139506 301 301 0 159951 0
vsize: 641008
[startup+770.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13466
Raw data (stat): 13466 (pb2sat-v2) R 13465 31399 31398 0 -1 0 234562 0 0 0 76427 582 0 0 25 0 1 0 972502407 656523264 139538 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 160284 139538 301 301 0 159983 0
vsize: 641136
[startup+780.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13466
Raw data (stat): 13466 (pb2sat-v2) R 13465 31399 31398 0 -1 0 234567 0 0 0 77428 582 0 0 25 0 1 0 972502407 656523264 139543 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 160284 139543 301 301 0 159983 0
vsize: 641136
[startup+790.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13466
Raw data (stat): 13466 (pb2sat-v2) R 13465 31399 31398 0 -1 0 234570 0 0 0 78427 582 0 0 25 0 1 0 972502407 656523264 139546 4294967295 134512640 135730672 3221224576 3221223072 134747587 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 160284 139546 301 301 0 159983 0
vsize: 641136
[startup+800.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13466
Raw data (stat): 13466 (pb2sat-v2) R 13465 31399 31398 0 -1 0 234634 0 0 0 79427 582 0 0 25 0 1 0 972502407 656654336 139577 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 160316 139577 301 301 0 160015 0
vsize: 641264
[startup+810.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13466
Raw data (stat): 13466 (pb2sat-v2) R 13465 31399 31398 0 -1 0 234650 0 0 0 80427 582 0 0 25 0 1 0 972502407 656654336 139593 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 160316 139593 301 301 0 160015 0
vsize: 641264
[startup+820.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13466
Raw data (stat): 13466 (pb2sat-v2) R 13465 31399 31398 0 -1 0 234725 0 0 0 81427 583 0 0 25 0 1 0 972502407 656785408 139635 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 160348 139635 301 301 0 160047 0
vsize: 641392
[startup+830.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13466
Raw data (stat): 13466 (pb2sat-v2) R 13465 31399 31398 0 -1 0 234730 0 0 0 82427 583 0 0 25 0 1 0 972502407 656785408 139640 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 160348 139640 301 301 0 160047 0
vsize: 641392
[startup+840.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13466
Raw data (stat): 13466 (pb2sat-v2) R 13465 31399 31398 0 -1 0 234791 0 0 0 83427 583 0 0 25 0 1 0 972502407 657051648 139701 4294967295 134512640 135730672 3221224576 3221223232 134734835 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 160413 139701 301 301 0 160112 0
vsize: 641652
[startup+850.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13466
Raw data (stat): 13466 (pb2sat-v2) R 13465 31399 31398 0 -1 0 234795 0 0 0 84427 583 0 0 25 0 1 0 972502407 657051648 139705 4294967295 134512640 135730672 3221224576 3221223232 134734769 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 160413 139705 301 301 0 160112 0
vsize: 641652
[startup+860.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13466
Raw data (stat): 13466 (pb2sat-v2) R 13465 31399 31398 0 -1 0 234835 0 0 0 85427 584 0 0 25 0 1 0 972502407 657182720 139712 4294967295 134512640 135730672 3221224576 3221223056 134732772 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 160445 139712 301 301 0 160144 0
vsize: 641780
[startup+870.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13466
Raw data (stat): 13466 (pb2sat-v2) R 13465 31399 31398 0 -1 0 234841 0 0 0 86427 584 0 0 25 0 1 0 972502407 657182720 139718 4294967295 134512640 135730672 3221224576 3221223232 134734847 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 160445 139718 301 301 0 160144 0
vsize: 641780
[startup+880.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13466
Raw data (stat): 13466 (pb2sat-v2) R 13465 31399 31398 0 -1 0 234848 0 0 0 87427 584 0 0 25 0 1 0 972502407 657182720 139725 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 160445 139725 301 301 0 160144 0
vsize: 641780
[startup+890.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13466
Raw data (stat): 13466 (pb2sat-v2) R 13465 31399 31398 0 -1 0 234853 0 0 0 88427 584 0 0 25 0 1 0 972502407 657182720 139730 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 160445 139730 301 301 0 160144 0
vsize: 641780
[startup+900.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13466
Raw data (stat): 13466 (pb2sat-v2) R 13465 31399 31398 0 -1 0 234960 0 0 0 89427 584 0 0 25 0 1 0 972502407 657444864 139771 4294967295 134512640 135730672 3221224576 3221223180 134747727 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 160509 139771 301 301 0 160208 0
vsize: 642036
[startup+910.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13466
Raw data (stat): 13466 (pb2sat-v2) R 13465 31399 31398 0 -1 0 234979 0 0 0 90427 585 0 0 25 0 1 0 972502407 657444864 139790 4294967295 134512640 135730672 3221224576 3221223264 134748420 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 160509 139790 301 301 0 160208 0
vsize: 642036
[startup+920.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13466
Raw data (stat): 13466 (pb2sat-v2) R 13465 31399 31398 0 -1 0 235081 0 0 0 91426 586 0 0 25 0 1 0 972502407 657707008 139827 4294967295 134512640 135730672 3221224576 3221223224 134748061 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 160573 139827 301 301 0 160272 0
vsize: 642292
[startup+930.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13466
Raw data (stat): 13466 (pb2sat-v2) R 13465 31399 31398 0 -1 0 235089 0 0 0 92426 586 0 0 25 0 1 0 972502407 657707008 139835 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 160573 139835 301 301 0 160272 0
vsize: 642292
[startup+940.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13466
Raw data (stat): 13466 (pb2sat-v2) R 13465 31399 31398 0 -1 0 235130 0 0 0 93425 587 0 0 25 0 1 0 972502407 657838080 139843 4294967295 134512640 135730672 3221224576 3221223072 134747463 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 160605 139843 301 301 0 160304 0
vsize: 642420
[startup+950.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13466
Raw data (stat): 13466 (pb2sat-v2) R 13465 31399 31398 0 -1 0 235259 0 0 0 94425 587 0 0 25 0 1 0 972502407 658235392 139939 4294967295 134512640 135730672 3221224576 3221223264 134748449 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 160702 139939 301 301 0 160401 0
vsize: 642808
[startup+960.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13466
Raw data (stat): 13466 (pb2sat-v2) R 13465 31399 31398 0 -1 0 235264 0 0 0 95425 588 0 0 25 0 1 0 972502407 658235392 139944 4294967295 134512640 135730672 3221224576 3221223232 134734849 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 160702 139944 301 301 0 160401 0
vsize: 642808
[startup+970.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13466
Raw data (stat): 13466 (pb2sat-v2) R 13465 31399 31398 0 -1 0 235267 0 0 0 96425 588 0 0 25 0 1 0 972502407 658235392 139947 4294967295 134512640 135730672 3221224576 3221223072 134747570 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 160702 139947 301 301 0 160401 0
vsize: 642808
[startup+980.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13466
Raw data (stat): 13466 (pb2sat-v2) R 13465 31399 31398 0 -1 0 235271 0 0 0 97425 588 0 0 25 0 1 0 972502407 658235392 139951 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 160702 139951 301 301 0 160401 0
vsize: 642808
[startup+990.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13466
Raw data (stat): 13466 (pb2sat-v2) R 13465 31399 31398 0 -1 0 235292 0 0 0 98425 589 0 0 25 0 1 0 972502407 658235392 139972 4294967295 134512640 135730672 3221224576 3221223264 134748449 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 160702 139972 301 301 0 160401 0
vsize: 642808
[startup+1000.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13466
Raw data (stat): 13466 (pb2sat-v2) R 13465 31399 31398 0 -1 0 235311 0 0 0 99425 589 0 0 25 0 1 0 972502407 658235392 139991 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 160702 139991 301 301 0 160401 0
vsize: 642808
[startup+1010.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13466
Raw data (stat): 13466 (pb2sat-v2) R 13465 31399 31398 0 -1 0 235396 0 0 0 100425 589 0 0 25 0 1 0 972502407 658497536 140010 4294967295 134512640 135730672 3221224576 3221222904 134739222 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 160766 140010 301 301 0 160465 0
vsize: 643064
[startup+1020.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13466
Raw data (stat): 13466 (pb2sat-v2) R 13465 31399 31398 0 -1 0 235523 0 0 0 101424 589 0 0 25 0 1 0 972502407 659025920 140071 4294967295 134512640 135730672 3221224576 3221223168 134747445 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 160895 140071 301 301 0 160594 0
vsize: 643580
[startup+1030.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13466
Raw data (stat): 13466 (pb2sat-v2) R 13465 31399 31398 0 -1 0 235526 0 0 0 102425 589 0 0 25 0 1 0 972502407 659025920 140074 4294967295 134512640 135730672 3221224576 3221223072 134747730 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 160895 140074 301 301 0 160594 0
vsize: 643580
[startup+1040.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13466
Raw data (stat): 13466 (pb2sat-v2) R 13465 31399 31398 0 -1 0 235565 0 0 0 103424 590 0 0 25 0 1 0 972502407 659292160 140113 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 160960 140113 301 301 0 160659 0
vsize: 643840
[startup+1050.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13466
Raw data (stat): 13466 (pb2sat-v2) R 13465 31399 31398 0 -1 0 235568 0 0 0 104424 590 0 0 25 0 1 0 972502407 659292160 140116 4294967295 134512640 135730672 3221224576 3221223072 134747808 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 160960 140116 301 301 0 160659 0
vsize: 643840
[startup+1060.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13466
Raw data (stat): 13466 (pb2sat-v2) R 13465 31399 31398 0 -1 0 235581 0 0 0 105424 590 0 0 25 0 1 0 972502407 659292160 140129 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 160960 140129 301 301 0 160659 0
vsize: 643840
[startup+1070.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13466
Raw data (stat): 13466 (pb2sat-v2) R 13465 31399 31398 0 -1 0 235618 0 0 0 106424 591 0 0 25 0 1 0 972502407 659558400 140166 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 161025 140166 301 301 0 160724 0
vsize: 644100
[startup+1080.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13466
Raw data (stat): 13466 (pb2sat-v2) R 13465 31399 31398 0 -1 0 235790 0 0 0 107423 592 0 0 25 0 1 0 972502407 660086784 140272 4294967295 134512640 135730672 3221224576 3221223232 134734829 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 161154 140272 301 301 0 160853 0
vsize: 644616
[startup+1090.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13466
Raw data (stat): 13466 (pb2sat-v2) R 13465 31399 31398 0 -1 0 235877 0 0 0 108424 592 0 0 25 0 1 0 972502407 660348928 140293 4294967295 134512640 135730672 3221224576 3221223072 134747563 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 161218 140293 301 301 0 160917 0
vsize: 644872
[startup+1100.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13466
Raw data (stat): 13466 (pb2sat-v2) R 13465 31399 31398 0 -1 0 235936 0 0 0 109423 592 0 0 25 0 1 0 972502407 660480000 140319 4294967295 134512640 135730672 3221224576 3221222912 134739213 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 161250 140319 301 301 0 160949 0
vsize: 645000
[startup+1110.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13466
Raw data (stat): 13466 (pb2sat-v2) R 13465 31399 31398 0 -1 0 235943 0 0 0 110421 593 0 0 25 0 1 0 972502407 660480000 140326 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 161250 140326 301 301 0 160949 0
vsize: 645000
[startup+1120.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13466
Raw data (stat): 13466 (pb2sat-v2) R 13465 31399 31398 0 -1 0 235946 0 0 0 111421 594 0 0 25 0 1 0 972502407 660480000 140329 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 161250 140329 301 301 0 160949 0
vsize: 645000
[startup+1130.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13466
Raw data (stat): 13466 (pb2sat-v2) R 13465 31399 31398 0 -1 0 235950 0 0 0 112421 594 0 0 25 0 1 0 972502407 660480000 140333 4294967295 134512640 135730672 3221224576 3221223072 134747584 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 161250 140333 301 301 0 160949 0
vsize: 645000
[startup+1140.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13466
Raw data (stat): 13466 (pb2sat-v2) R 13465 31399 31398 0 -1 0 236007 0 0 0 113421 594 0 0 25 0 1 0 972502407 660611072 140357 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 161282 140357 301 301 0 160981 0
vsize: 645128
[startup+1150.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13466
Raw data (stat): 13466 (pb2sat-v2) R 13465 31399 31398 0 -1 0 236044 0 0 0 114421 594 0 0 25 0 1 0 972502407 660877312 140394 4294967295 134512640 135730672 3221224576 3221223072 134747602 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 161347 140394 301 301 0 161046 0
vsize: 645388
[startup+1160.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13466
Raw data (stat): 13466 (pb2sat-v2) R 13465 31399 31398 0 -1 0 236055 0 0 0 115421 595 0 0 25 0 1 0 972502407 660877312 140405 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 161347 140405 301 301 0 161046 0
vsize: 645388
[startup+1170.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13466
Raw data (stat): 13466 (pb2sat-v2) R 13465 31399 31398 0 -1 0 236136 0 0 0 116421 595 0 0 25 0 1 0 972502407 661139456 140420 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 161411 140420 301 301 0 161110 0
vsize: 645644
[startup+1180.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13466
Raw data (stat): 13466 (pb2sat-v2) R 13465 31399 31398 0 -1 0 236182 0 0 0 117420 596 0 0 25 0 1 0 972502407 661270528 140433 4294967295 134512640 135730672 3221224576 3221223168 134747445 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 161443 140433 301 301 0 161142 0
vsize: 645772
[startup+1190.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13466
Raw data (stat): 13466 (pb2sat-v2) R 13465 31399 31398 0 -1 0 236195 0 0 0 118419 596 0 0 25 0 1 0 972502407 661270528 140446 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 161443 140446 301 301 0 161142 0
vsize: 645772
[startup+1200.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13466
Raw data (stat): 13466 (pb2sat-v2) R 13465 31399 31398 0 -1 0 236235 0 0 0 119420 596 0 0 25 0 1 0 972502407 661536768 140486 4294967295 134512640 135730672 3221224576 3221223232 134734761 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 161508 140486 301 301 0 161207 0
vsize: 646032
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1202.34 s]
Raw data (loadavg): 0.99 0.97 0.91 1/53 13466
Raw data (stat): 13466 (pb2sat-v2) R 13465 31399 31398 0 -1 0 236235 0 0 0 119420 596 0 0 25 0 1 0 972502407 661536768 140486 4294967295 134512640 135730672 3221224576 3221223232 134734761 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 161508 140486 301 301 0 161207 0
vsize: 0

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1202.34
CPU time (s): 1202.46
CPU user time (s): 1196.2
CPU system time (s): 6.25905
CPU usage (%): 100.011
Max. virtual memory (Kb): 646032
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####