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/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-ran8x32.opb
MD5SUM	ff0017de67077abd1f68238274b64e50
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	1695644
Optimality of the best value was proved	NO
Number of terms in the objective function	5376
Biggest coefficient in the objective function	5242880
Number of bits for the biggest coefficient in the objective function	23
Sum of the numbers in the objective function	1517603678
Number of bits of the sum of numbers in the objective function	31
Biggest number in a constraint	5242880
Number of bits of the biggest number in a constraint	23
Biggest sum of numbers in a constraint	1517603678
Number of bits of the biggest sum of numbers	31
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1189.03
Number of variables	5376
Total number of constraints	296
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	296
Minimum length of a constraint	21
Maximum length of a constraint	640
Trace number 42975

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc5 THE 2005-06-16 19:56:20 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=26190 boxname=wulflinc5 idbench=1490 idsolver=18 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  ff0017de67077abd1f68238274b64e50  /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-13-7-ran8x32.opb
REAL COMMAND:  pb2sat-v2 /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-13-7-ran8x32.opb
IDLAUNCH: 26190
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.007
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.007
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:        680108 kB
Buffers:         27820 kB
Cached:         304040 kB
SwapCached:        660 kB
Active:          29964 kB
Inactive:       303956 kB
HighTotal:      131008 kB
HighFree:          280 kB
LowTotal:       903652 kB
LowFree:        679828 kB
SwapTotal:     2097136 kB
SwapFree:      2095536 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5156 kB
Slab:            15108 kB
Committed_AS:    63712 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-16 20:16:23 (client local time) WITH STATUS 0 IN 1200.89 SECONDS
stats: 26190 7 1200.89 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...

c Decision: 16587/243375	Time: 69.1355/86400
c Decision: 16587/243375	Time: 79.9288/86400
c Decision: 16587/243375	Time: 89.3994/86400
c Decision: 16587/243375	Time: 98.2031/86400
c Decision: 16587/243375	Time: 106.05/86400
c Decision: 16587/243375	Time: 116.822/86400
c Decision: 16587/243375	Time: 126.176/86400
c Decision: 16587/243375	Time: 135.478/86400
c Decision: 16587/243375	Time: 143.785/86400
c Decision: 16587/243375	Time: 152.529/86400
c Decision: 16587/243375	Time: 163.357/86400
c Decision: 16587/243375	Time: 171.755/86400
c Decision: 16587/243375	Time: 177.516/86400
c Decision: 16587/243375	Time: 186.619/86400
c Decision: 16587/243375	Time: 195.85/86400
c Decision: 16587/243375	Time: 204.945/86400
c Decision: 16587/243375	Time: 213.201/86400
c Decision: 16587/243375	Time: 221.171/86400
c Decision: 16587/243375	Time: 230.768/86400
c Decision: 16587/243375	Time: 237.888/86400
c Decision: 16587/243375	Time: 246.535/86400
c Decision: 16587/243375	Time: 254.562/86400
c Decision: 16587/243375	Time: 262.381/86400
c Decision: 16587/243375	Time: 270.846/86400
c Decision: 16587/243375	Time: 278.71/86400
c Decision: 16587/243375	Time: 288.394/86400
c Decision: 16587/243375	Time: 296.302/86400
c Decision: 16587/243375	Time: 305.005/86400
c Decision: 16587/243375	Time: 313.773/86400
c Decision: 16587/243375	Time: 322.198/86400
c Decision: 16587/243375	Time: 330.194/86400
c Decision: 16587/243375	Time: 337.484/86400
c Decision: 16587/243375	Time: 345.244/86400
c Decision: 16587/243375	Time: 353.713/86400
c Decision: 16587/243375	Time: 361.413/86400
c Decision: 16587/243375	Time: 371.39/86400
c Decision: 16587/243375	Time: 378.734/86400
c Decision: 16587/243375	Time: 386.01/86400
c Decision: 16587/243375	Time: 393.291/86400
c Decision: 16587/243375	Time: 401.447/86400
c Decision: 16587/243375	Time: 409.685/86400
c Decision: 16587/243375	Time: 416.266/86400
c Decision: 16587/243375	Time: 425.224/86400
c Decision: 16587/243375	Time: 430.913/86400
c Decision: 16587/243375	Time: 438.771/86400
c Decision: 16587/243375	Time: 447.473/86400
c Decision: 16587/243375	Time: 455.44/86400
c Decision: 16587/243375	Time: 460.452/86400
c Decision: 16587/243375	Time: 468.662/86400
c Decision: 16587/243375	Time: 476.977/86400
c Decision: 16587/243375	Time: 486.461/86400
c Decision: 16587/243375	Time: 495.225/86400
c Decision: 16587/243375	Time: 504.563/86400
c Decision: 16587/243375	Time: 514.001/86400
c Decision: 16587/243375	Time: 522.274/86400
c Decision: 16587/243375	Time: 531.065/86400
c Decision: 16587/243375	Time: 539.224/86400
c Decision: 16587/243375	Time: 548.269/86400
c Decision: 16587/243375	Time: 557.489/86400
c Decision: 16587/243375	Time: 566.644/86400
c Decision: 16587/243375	Time: 575.802/86400
c Decision: 16587/243375	Time: 583.85/86400
c Decision: 16587/243375	Time: 591.303/86400
c Decision: 16587/243375	Time: 599.899/86400
c Decision: 16587/243375	Time: 608.08/86400
c Decision: 16587/243375	Time: 618.121/86400
c Decision: 16587/243375	Time: 627.923/86400
c Decision: 16587/243375	Time: 636.748/86400
c Decision: 16587/243375	Time: 644.336/86400
c Decision: 16587/243375	Time: 653.758/86400
c Decision: 16587/243375	Time: 663.243/86400
c Decision: 16587/243375	Time: 671.584/86400
c Decision: 16587/243375	Time: 680.044/86400
c Decision: 16587/243375	Time: 688.76/86400
c Decision: 16587/243375	Time: 699.025/86400
c Decision: 16587/243375	Time: 709.182/86400
c Decision: 16587/243375	Time: 717.911/86400
c Decision: 16587/243375	Time: 726.706/86400
c Decision: 16587/243375	Time: 735.027/86400
c Decision: 16587/243375	Time: 743.261/86400
c Decision: 16587/243375	Time: 751.247/86400
c Decision: 16587/243375	Time: 760.142/86400
c Decision: 16587/243375	Time: 768.894/86400
c Decision: 16587/243375	Time: 778.677/86400
c Decision: 16587/243375	Time: 787.699/86400
c Decision: 16587/243375	Time: 798.54/86400
c Decision: 16587/243375	Time: 806.493/86400
c Decision: 16587/243375	Time: 815.283/86400
c Decision: 16587/243375	Time: 823.131/86400
c Decision: 16587/243375	Time: 831.479/86400
c Decision: 16587/243375	Time: 841.313/86400
c Decision: 16587/243375	Time: 850.11/86400
c Decision: 16587/243375	Time: 859.426/86400
c Decision: 16587/243375	Time: 868.566/86400
c Decision: 16587/243375	Time: 876.59/86400
c Decision: 16587/243375	Time: 885.16/86400
c Decision: 16587/243375	Time: 892.612/86400
c Decision: 16587/243375	Time: 901.656/86400
c Decision: 16587/243375	Time: 910.527/86400
c Decision: 16587/243375	Time: 918.567/86400
c Decision: 16587/243375	Time: 927.917/86400
c Decision: 16587/243375	Time: 936.553/86400
c Decision: 16587/243375	Time: 944.123/86400
c Decision: 16587/243375	Time: 953.61/86400
c Decision: 16587/243375	Time: 962.076/86400
c Decision: 16587/243375	Time: 970.909/86400
c Decision: 16587/243375	Time: 979.525/86400
c Decision: 16587/243375	Time: 988.371/86400
c Decision: 16587/243375	Time: 997.685/86400
c Decision: 16587/243375	Time: 1006.19/86400
c Decision: 16587/243375	Time: 1015.44/86400
c Decision: 16587/243375	Time: 1024.57/86400
c Decision: 16587/243375	Time: 1033.29/86400
c Decision: 16587/243375	Time: 1042.73/86400
c Decision: 16587/243375	Time: 1051.49/86400
c Decision: 16590/243375	Time: 1065.42/86400
c Decision: 16590/243375	Time: 1073.92/86400
c Decision: 16590/243375	Time: 1083.36/86400
c Decision: 16590/243375	Time: 1092.21/86400
c Decision: 16590/243375	Time: 1101.2/86400
c Decision: 16590/243375	Time: 1110.9/86400
c Decision: 16590/243375	Time: 1121.05/86400
c Decision: 16590/243375	Time: 1129.13/86400
c Decision: 16590/243375	Time: 1137.44/86400
c Decision: 16590/243375	Time: 1146.88/86400
c Decision: 16590/243375	Time: 1155.23/86400
c Decision: 16590/243375	Time: 1163.64/86400
c Decision: 16590/243375	Time: 1171.17/86400
c Decision: 16590/243375	Time: 1180.44/86400s UNKNOWN
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.84 0.94 0.90 2/54 19398
Raw data (stat): 19398 (runsolver) D 19397 7266 7265 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 973452430 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 3225161850 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): 0.87 0.94 0.90 2/54 19398
Raw data (stat): 19398 (pb2sat-v2) R 19397 7266 7265 0 -1 0 26450 0 0 0 941 58 0 0 25 0 1 0 973452430 77348864 15476 4294967295 134512640 135730672 3221224576 3221221024 135282773 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 18884 15476 301 301 0 18583 0
vsize: 75536
[startup+20.0011 s]
Raw data (loadavg): 0.89 0.94 0.91 2/54 19398
Raw data (stat): 19398 (pb2sat-v2) R 19397 7266 7265 0 -1 0 30727 0 0 0 1928 70 0 0 25 0 1 0 973452430 88485888 19254 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 21603 19254 301 301 0 21302 0
vsize: 86412
[startup+30.0025 s]
Raw data (loadavg): 0.90 0.94 0.91 2/54 19398
Raw data (stat): 19398 (pb2sat-v2) R 19397 7266 7265 0 -1 0 31467 0 0 0 2926 72 0 0 25 0 1 0 973452430 92078080 19994 4294967295 134512640 135730672 3221224576 3221223232 134734847 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22480 19994 301 301 0 22179 0
vsize: 89920
[startup+40.0102 s]
Raw data (loadavg): 0.92 0.94 0.91 2/54 19398
Raw data (stat): 19398 (pb2sat-v2) R 19397 7266 7265 0 -1 0 31944 0 0 0 3923 75 0 0 25 0 1 0 973452430 94384128 20471 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23043 20471 301 301 0 22742 0
vsize: 92172
[startup+50.0182 s]
Raw data (loadavg): 0.93 0.94 0.91 2/54 19398
Raw data (stat): 19398 (pb2sat-v2) R 19397 7266 7265 0 -1 0 32211 0 0 0 4922 77 0 0 25 0 1 0 973452430 95621120 20738 4294967295 134512640 135730672 3221224576 3221223072 134747636 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23345 20738 301 301 0 23044 0
vsize: 93380
[startup+60.0183 s]
Raw data (loadavg): 0.94 0.95 0.91 2/54 19398
Raw data (stat): 19398 (pb2sat-v2) R 19397 7266 7265 0 -1 0 32384 0 0 0 5920 79 0 0 25 0 1 0 973452430 96325632 20911 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23517 20911 301 301 0 23216 0
vsize: 94068
[startup+70.0187 s]
Raw data (loadavg): 0.95 0.95 0.91 2/54 19398
Raw data (stat): 19398 (pb2sat-v2) R 19397 7266 7265 0 -1 0 32639 0 0 0 6918 82 0 0 25 0 1 0 973452430 97275904 21166 4294967295 134512640 135730672 3221224576 3221223264 134748503 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23749 21166 301 301 0 23448 0
vsize: 94996
[startup+80.0185 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 19398
Raw data (stat): 19398 (pb2sat-v2) R 19397 7266 7265 0 -1 0 33259 0 0 0 7915 85 0 0 25 0 1 0 973452430 97804288 21310 4294967295 134512640 135730672 3221224576 3221223200 134783353 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23878 21310 301 301 0 23577 0
vsize: 95512
[startup+90.0201 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 19398
Raw data (stat): 19398 (pb2sat-v2) R 19397 7266 7265 0 -1 0 33352 0 0 0 8912 87 0 0 25 0 1 0 973452430 98197504 21403 4294967295 134512640 135730672 3221224576 3221223088 134745860 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23974 21403 301 301 0 23673 0
vsize: 95896
[startup+100.02 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 19398
Raw data (stat): 19398 (pb2sat-v2) R 19397 7266 7265 0 -1 0 34381 0 0 0 9908 92 0 0 25 0 1 0 973452430 100540416 21956 4294967295 134512640 135730672 3221224576 3221222744 134772706 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24546 21956 301 301 0 24245 0
vsize: 98184
[startup+110.02 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 19398
Raw data (stat): 19398 (pb2sat-v2) R 19397 7266 7265 0 -1 0 34884 0 0 0 10905 95 0 0 25 0 1 0 973452430 98590720 21507 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24070 21507 301 301 0 23769 0
vsize: 96280
[startup+120.021 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 19398
Raw data (stat): 19398 (pb2sat-v2) R 19397 7266 7265 0 -1 0 35401 0 0 0 11902 98 0 0 25 0 1 0 973452430 98738176 21548 4294967295 134512640 135730672 3221224576 3221223168 134747445 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24106 21548 301 301 0 23805 0
vsize: 96424
[startup+130.02 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 19398
Raw data (stat): 19398 (pb2sat-v2) R 19397 7266 7265 0 -1 0 35983 0 0 0 12898 101 0 0 25 0 1 0 973452430 99311616 21654 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24246 21654 301 301 0 23945 0
vsize: 96984
[startup+140.021 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 19398
Raw data (stat): 19398 (pb2sat-v2) R 19397 7266 7265 0 -1 0 36491 0 0 0 13896 104 0 0 25 0 1 0 973452430 99508224 21686 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24294 21686 301 301 0 23993 0
vsize: 97176
[startup+150.022 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 19398
Raw data (stat): 19398 (pb2sat-v2) R 19397 7266 7265 0 -1 0 37027 0 0 0 14893 107 0 0 25 0 1 0 973452430 99704832 21746 4294967295 134512640 135730672 3221224576 3221223072 134747883 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24342 21746 301 301 0 24041 0
vsize: 97368
[startup+160.022 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 19398
Raw data (stat): 19398 (pb2sat-v2) R 19397 7266 7265 0 -1 0 37561 0 0 0 15890 111 0 0 25 0 1 0 973452430 99901440 21804 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24390 21804 301 301 0 24089 0
vsize: 97560
[startup+170.022 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 19398
Raw data (stat): 19398 (pb2sat-v2) R 19397 7266 7265 0 -1 0 38079 0 0 0 16886 114 0 0 25 0 1 0 973452430 100098048 21846 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24438 21846 301 301 0 24137 0
vsize: 97752
[startup+180.022 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 19398
Raw data (stat): 19398 (pb2sat-v2) R 19397 7266 7265 0 -1 0 38610 0 0 0 17882 118 0 0 25 0 1 0 973452430 100491264 21901 4294967295 134512640 135730672 3221224576 3221223232 134734769 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24534 21901 301 301 0 24233 0
vsize: 98136
[startup+190.024 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 19398
Raw data (stat): 19398 (pb2sat-v2) R 19397 7266 7265 0 -1 0 39582 0 0 0 18878 123 0 0 25 0 1 0 973452430 100491264 21921 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24534 21921 301 301 0 24233 0
vsize: 98136
[startup+200.023 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 19398
Raw data (stat): 19398 (pb2sat-v2) R 19397 7266 7265 0 -1 0 40071 0 0 0 19876 125 0 0 25 0 1 0 973452430 100491264 21934 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24534 21934 301 301 0 24233 0
vsize: 98136
[startup+210.024 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 19398
Raw data (stat): 19398 (pb2sat-v2) R 19397 7266 7265 0 -1 0 40558 0 0 0 20872 129 0 0 25 0 1 0 973452430 100491264 21945 4294967295 134512640 135730672 3221224576 3221223072 134747536 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24534 21945 301 301 0 24233 0
vsize: 98136
[startup+220.024 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 19398
Raw data (stat): 19398 (pb2sat-v2) R 19397 7266 7265 0 -1 0 41045 0 0 0 21868 133 0 0 25 0 1 0 973452430 100491264 21956 4294967295 134512640 135730672 3221224576 3221222896 134732500 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24534 21956 301 301 0 24233 0
vsize: 98136
[startup+230.024 s]
Raw data (loadavg): 1.07 0.98 0.91 2/54 19451
Raw data (stat): 19398 (pb2sat-v2) R 19397 7266 7265 0 -1 0 41526 0 0 0 22864 137 0 0 25 0 1 0 973452430 100491264 21961 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24534 21961 301 301 0 24233 0
vsize: 98136
[startup+240.025 s]
Raw data (loadavg): 1.06 0.98 0.91 2/54 19451
Raw data (stat): 19398 (pb2sat-v2) R 19397 7266 7265 0 -1 0 42043 0 0 0 23862 139 0 0 25 0 1 0 973452430 100655104 22002 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24574 22002 301 301 0 24273 0
vsize: 98296
[startup+250.026 s]
Raw data (loadavg): 1.05 0.98 0.91 2/54 19451
Raw data (stat): 19398 (pb2sat-v2) R 19397 7266 7265 0 -1 0 43013 0 0 0 24857 145 0 0 25 0 1 0 973452430 100655104 22020 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24574 22020 301 301 0 24273 0
vsize: 98296
[startup+260.026 s]
Raw data (loadavg): 1.04 0.98 0.91 2/54 19451
Raw data (stat): 19398 (pb2sat-v2) R 19397 7266 7265 0 -1 0 43509 0 0 0 25853 149 0 0 25 0 1 0 973452430 100655104 22040 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24574 22040 301 301 0 24273 0
vsize: 98296
[startup+270.026 s]
Raw data (loadavg): 1.04 0.98 0.91 2/54 19451
Raw data (stat): 19398 (pb2sat-v2) R 19397 7266 7265 0 -1 0 44009 0 0 0 26849 153 0 0 25 0 1 0 973452430 100655104 22064 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24574 22064 301 301 0 24273 0
vsize: 98296
[startup+280.027 s]
Raw data (loadavg): 1.03 0.98 0.91 2/54 19451
Raw data (stat): 19398 (pb2sat-v2) R 19397 7266 7265 0 -1 0 44499 0 0 0 27846 156 0 0 25 0 1 0 973452430 100655104 22078 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24574 22078 301 301 0 24273 0
vsize: 98296
[startup+290.028 s]
Raw data (loadavg): 1.03 0.98 0.91 2/54 19451
Raw data (stat): 19398 (pb2sat-v2) R 19397 7266 7265 0 -1 0 45469 0 0 0 28840 162 0 0 25 0 1 0 973452430 100655104 22096 4294967295 134512640 135730672 3221224576 3221223232 134734776 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24574 22096 301 301 0 24273 0
vsize: 98296
[startup+300.028 s]
Raw data (loadavg): 1.02 0.98 0.91 2/54 19451
Raw data (stat): 19398 (pb2sat-v2) R 19397 7266 7265 0 -1 0 45971 0 0 0 29837 165 0 0 25 0 1 0 973452430 100818944 22122 4294967295 134512640 135730672 3221224576 3221223072 134747465 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24614 22122 301 301 0 24313 0
vsize: 98456
[startup+310.028 s]
Raw data (loadavg): 1.02 0.98 0.91 2/54 19453
Raw data (stat): 19398 (pb2sat-v2) R 19397 7266 7265 0 -1 0 46458 0 0 0 30832 170 0 0 25 0 1 0 973452430 100818944 22133 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24614 22133 301 301 0 24313 0
vsize: 98456
[startup+320.028 s]
Raw data (loadavg): 1.01 0.98 0.91 2/54 19453
Raw data (stat): 19398 (pb2sat-v2) R 19397 7266 7265 0 -1 0 46952 0 0 0 31829 173 0 0 25 0 1 0 973452430 100818944 22151 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24614 22151 301 301 0 24313 0
vsize: 98456
[startup+330.03 s]
Raw data (loadavg): 1.01 0.98 0.91 2/54 19453
Raw data (stat): 19398 (pb2sat-v2) R 19397 7266 7265 0 -1 0 47472 0 0 0 32826 177 0 0 25 0 1 0 973452430 100966400 22195 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 24650 22195 301 301 0 24349 0
vsize: 98600
[startup+340.031 s]
Raw data (loadavg): 1.01 0.98 0.91 2/54 19453
Raw data (stat): 19398 (pb2sat-v2) R 19397 7266 7265 0 -1 0 48444 0 0 0 33821 182 0 0 25 0 1 0 973452430 102916096 22691 4294967295 134512640 135730672 3221224576 3221222744 134772706 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25126 22691 301 301 0 24825 0
vsize: 100504
[startup+350.032 s]
Raw data (loadavg): 1.01 0.98 0.91 2/54 19453
Raw data (stat): 19398 (pb2sat-v2) R 19397 7266 7265 0 -1 0 48952 0 0 0 34819 185 0 0 25 0 1 0 973452430 101101568 22247 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 24683 22247 301 301 0 24382 0
vsize: 98732
[startup+360.032 s]
Raw data (loadavg): 1.01 0.98 0.91 2/54 19453
Raw data (stat): 19398 (pb2sat-v2) R 19397 7266 7265 0 -1 0 49453 0 0 0 35814 189 0 0 25 0 1 0 973452430 101232640 22272 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 24715 22272 301 301 0 24414 0
vsize: 98860
[startup+370.033 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 19453
Raw data (stat): 19398 (pb2sat-v2) R 19397 7266 7265 0 -1 0 49964 0 0 0 36811 193 0 0 25 0 1 0 973452430 101232640 22307 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 24715 22307 301 301 0 24414 0
vsize: 98860
[startup+380.032 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 19453
Raw data (stat): 19398 (pb2sat-v2) R 19397 7266 7265 0 -1 0 50485 0 0 0 37807 197 0 0 25 0 1 0 973452430 101384192 22352 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 24752 22352 301 301 0 24451 0
vsize: 99008
[startup+390.033 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 19453
Raw data (stat): 19398 (pb2sat-v2) R 19397 7266 7265 0 -1 0 51517 0 0 0 38803 202 0 0 25 0 1 0 973452430 101711872 22432 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 24832 22432 301 301 0 24531 0
vsize: 99328
[startup+400.034 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 19453
Raw data (stat): 19398 (pb2sat-v2) R 19397 7266 7265 0 -1 0 52011 0 0 0 39799 205 0 0 25 0 1 0 973452430 101711872 22450 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 24832 22450 301 301 0 24531 0
vsize: 99328
[startup+410.033 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 19453
Raw data (stat): 19398 (pb2sat-v2) R 19397 7266 7265 0 -1 0 52502 0 0 0 40795 209 0 0 25 0 1 0 973452430 101711872 22465 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 24832 22465 301 301 0 24531 0
vsize: 99328
[startup+420.033 s]
Raw data (loadavg): 1.08 1.00 0.92 2/54 19453
Raw data (stat): 19398 (pb2sat-v2) R 19397 7266 7265 0 -1 0 53476 0 0 0 41791 213 0 0 25 0 1 0 973452430 101842944 22487 4294967295 134512640 135730672 3221224576 3221223116 135301640 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 24864 22487 301 301 0 24563 0
vsize: 99456
[startup+430.034 s]
Raw data (loadavg): 1.07 1.00 0.92 2/54 19453
Raw data (stat): 19398 (pb2sat-v2) R 19397 7266 7265 0 -1 0 53970 0 0 0 42788 217 0 0 25 0 1 0 973452430 101842944 22505 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 24864 22505 301 301 0 24563 0
vsize: 99456
[startup+440.033 s]
Raw data (loadavg): 1.06 1.00 0.92 2/54 19453
Raw data (stat): 19398 (pb2sat-v2) R 19397 7266 7265 0 -1 0 54477 0 0 0 43784 221 0 0 25 0 1 0 973452430 101842944 22536 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 24864 22536 301 301 0 24563 0
vsize: 99456
[startup+450.034 s]
Raw data (loadavg): 1.05 1.00 0.92 2/54 19453
Raw data (stat): 19398 (pb2sat-v2) R 19397 7266 7265 0 -1 0 55454 0 0 0 44779 226 0 0 25 0 1 0 973452430 101982208 22561 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 24898 22561 301 301 0 24597 0
vsize: 99592
[startup+460.034 s]
Raw data (loadavg): 1.04 1.00 0.92 2/54 19453
Raw data (stat): 19398 (pb2sat-v2) R 19397 7266 7265 0 -1 0 55952 0 0 0 45776 229 0 0 25 0 1 0 973452430 101982208 22583 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 24898 22583 301 301 0 24597 0
vsize: 99592
[startup+470.035 s]
Raw data (loadavg): 1.03 1.00 0.92 2/54 19453
Raw data (stat): 19398 (pb2sat-v2) R 19397 7266 7265 0 -1 0 56456 0 0 0 46772 233 0 0 25 0 1 0 973452430 101982208 22611 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 24898 22611 301 301 0 24597 0
vsize: 99592
[startup+480.035 s]
Raw data (loadavg): 1.03 1.00 0.92 2/54 19453
Raw data (stat): 19398 (pb2sat-v2) R 19397 7266 7265 0 -1 0 57434 0 0 0 47767 239 0 0 25 0 1 0 973452430 102113280 22637 4294967295 134512640 135730672 3221224576 3221223120 134740318 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 24930 22637 301 301 0 24629 0
vsize: 99720
[startup+490.034 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 19453
Raw data (stat): 19398 (pb2sat-v2) R 19397 7266 7265 0 -1 0 57932 0 0 0 48763 243 0 0 25 0 1 0 973452430 102113280 22659 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 24930 22659 301 301 0 24629 0
vsize: 99720
[startup+500.035 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 19453
Raw data (stat): 19398 (pb2sat-v2) R 19397 7266 7265 0 -1 0 58430 0 0 0 49759 247 0 0 25 0 1 0 973452430 102113280 22681 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 24930 22681 301 301 0 24629 0
vsize: 99720
[startup+510.035 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 19453
Raw data (stat): 19398 (pb2sat-v2) R 19397 7266 7265 0 -1 0 58925 0 0 0 50755 252 0 0 25 0 1 0 973452430 102277120 22700 4294967295 134512640 135730672 3221224576 3221223060 134748050 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 24970 22700 301 301 0 24669 0
vsize: 99880
[startup+520.036 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 19453
Raw data (stat): 19398 (pb2sat-v2) R 19397 7266 7265 0 -1 0 59416 0 0 0 51751 256 0 0 25 0 1 0 973452430 102277120 22715 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 24970 22715 301 301 0 24669 0
vsize: 99880
[startup+530.035 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 19453
Raw data (stat): 19398 (pb2sat-v2) R 19397 7266 7265 0 -1 0 59920 0 0 0 52746 261 0 0 25 0 1 0 973452430 102277120 22743 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 24970 22743 301 301 0 24669 0
vsize: 99880
[startup+540.035 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 19453
Raw data (stat): 19398 (pb2sat-v2) R 19397 7266 7265 0 -1 0 60419 0 0 0 53742 265 0 0 25 0 1 0 973452430 102440960 22766 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25010 22766 301 301 0 24709 0
vsize: 100040
[startup+550.036 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 19453
Raw data (stat): 19398 (pb2sat-v2) R 19397 7266 7265 0 -1 0 61380 0 0 0 54737 270 0 0 25 0 1 0 973452430 104390656 23251 4294967295 134512640 135730672 3221224576 3221222744 134765483 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25486 23251 301 301 0 25185 0
vsize: 101944
[startup+560.035 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19453
Raw data (stat): 19398 (pb2sat-v2) R 19397 7266 7265 0 -1 0 61878 0 0 0 55732 275 0 0 25 0 1 0 973452430 102440960 22797 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25010 22797 301 301 0 24709 0
vsize: 100040
[startup+570.037 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19455
Raw data (stat): 19398 (pb2sat-v2) R 19397 7266 7265 0 -1 0 62375 0 0 0 56727 280 0 0 25 0 1 0 973452430 102440960 22818 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25010 22818 301 301 0 24709 0
vsize: 100040
[startup+580.037 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19455
Raw data (stat): 19398 (pb2sat-v2) R 19397 7266 7265 0 -1 0 62872 0 0 0 57724 283 0 0 25 0 1 0 973452430 102588416 22839 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25046 22839 301 301 0 24745 0
vsize: 100184
[startup+590.037 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19455
Raw data (stat): 19398 (pb2sat-v2) R 19397 7266 7265 0 -1 0 63376 0 0 0 58721 287 0 0 25 0 1 0 973452430 102588416 22867 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25046 22867 301 301 0 24745 0
vsize: 100184
[startup+600.037 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19455
Raw data (stat): 19398 (pb2sat-v2) R 19397 7266 7265 0 -1 0 63870 0 0 0 59717 291 0 0 25 0 1 0 973452430 102588416 22885 4294967295 134512640 135730672 3221224576 3221222896 134732452 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25046 22885 301 301 0 24745 0
vsize: 100184
[startup+610.038 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19455
Raw data (stat): 19398 (pb2sat-v2) R 19397 7266 7265 0 -1 0 64373 0 0 0 60713 295 0 0 25 0 1 0 973452430 102731776 22912 4294967295 134512640 135730672 3221224576 3221223088 134745852 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25081 22912 301 301 0 24780 0
vsize: 100324
[startup+620.038 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19455
Raw data (stat): 19398 (pb2sat-v2) R 19397 7266 7265 0 -1 0 65364 0 0 0 61709 299 0 0 25 0 1 0 973452430 102895616 22951 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25121 22951 301 301 0 24820 0
vsize: 100484
[startup+630.038 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19455
Raw data (stat): 19398 (pb2sat-v2) R 19397 7266 7265 0 -1 0 65856 0 0 0 62706 302 0 0 25 0 1 0 973452430 102895616 22967 4294967295 134512640 135730672 3221224576 3221223072 134747578 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25121 22967 301 301 0 24820 0
vsize: 100484
[startup+640.039 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19455
Raw data (stat): 19398 (pb2sat-v2) R 19397 7266 7265 0 -1 0 66345 0 0 0 63702 307 0 0 25 0 1 0 973452430 102895616 22980 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25121 22980 301 301 0 24820 0
vsize: 100484
[startup+650.039 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19455
Raw data (stat): 19398 (pb2sat-v2) R 19397 7266 7265 0 -1 0 66848 0 0 0 64699 310 0 0 25 0 1 0 973452430 102895616 23007 4294967295 134512640 135730672 3221224576 3221223072 134747965 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25121 23007 301 301 0 24820 0
vsize: 100484
[startup+660.039 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19455
Raw data (stat): 19398 (pb2sat-v2) R 19397 7266 7265 0 -1 0 67352 0 0 0 65696 313 0 0 25 0 1 0 973452430 103043072 23035 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25157 23035 301 301 0 24856 0
vsize: 100628
[startup+670.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19455
Raw data (stat): 19398 (pb2sat-v2) R 19397 7266 7265 0 -1 0 67849 0 0 0 66692 317 0 0 25 0 1 0 973452430 103043072 23056 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25157 23056 301 301 0 24856 0
vsize: 100628
[startup+680.041 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19455
Raw data (stat): 19398 (pb2sat-v2) R 19397 7266 7265 0 -1 0 68342 0 0 0 67689 320 0 0 25 0 1 0 973452430 103043072 23073 4294967295 134512640 135730672 3221224576 3221223184 134744850 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25157 23073 301 301 0 24856 0
vsize: 100628
[startup+690.041 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19455
Raw data (stat): 19398 (pb2sat-v2) R 19397 7266 7265 0 -1 0 68839 0 0 0 68686 324 0 0 25 0 1 0 973452430 103043072 23094 4294967295 134512640 135730672 3221224576 3221223088 134746399 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25157 23094 301 301 0 24856 0
vsize: 100628
[startup+700.041 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19455
Raw data (stat): 19398 (pb2sat-v2) R 19397 7266 7265 0 -1 0 69822 0 0 0 69681 329 0 0 25 0 1 0 973452430 103186432 23125 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25192 23125 301 301 0 24891 0
vsize: 100768
[startup+710.042 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19455
Raw data (stat): 19398 (pb2sat-v2) R 19397 7266 7265 0 -1 0 70319 0 0 0 70678 332 0 0 25 0 1 0 973452430 103186432 23146 4294967295 134512640 135730672 3221224576 3221223072 134747883 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25192 23146 301 301 0 24891 0
vsize: 100768
[startup+720.043 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19455
Raw data (stat): 19398 (pb2sat-v2) R 19397 7266 7265 0 -1 0 70810 0 0 0 71675 335 0 0 25 0 1 0 973452430 103186432 23161 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25192 23161 301 301 0 24891 0
vsize: 100768
[startup+730.043 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19455
Raw data (stat): 19398 (pb2sat-v2) R 19397 7266 7265 0 -1 0 71312 0 0 0 72672 338 0 0 25 0 1 0 973452430 103317504 23187 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25224 23187 301 301 0 24923 0
vsize: 100896
[startup+740.043 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19455
Raw data (stat): 19398 (pb2sat-v2) R 19397 7266 7265 0 -1 0 71809 0 0 0 73669 342 0 0 25 0 1 0 973452430 103317504 23208 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25224 23208 301 301 0 24923 0
vsize: 100896
[startup+750.044 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19455
Raw data (stat): 19398 (pb2sat-v2) R 19397 7266 7265 0 -1 0 72308 0 0 0 74665 346 0 0 25 0 1 0 973452430 103317504 23231 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25224 23231 301 301 0 24923 0
vsize: 100896
[startup+760.045 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19455
Raw data (stat): 19398 (pb2sat-v2) R 19397 7266 7265 0 -1 0 72807 0 0 0 75662 350 0 0 25 0 1 0 973452430 103448576 23254 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25256 23254 301 301 0 24955 0
vsize: 101024
[startup+770.045 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19455
Raw data (stat): 19398 (pb2sat-v2) R 19397 7266 7265 0 -1 0 73304 0 0 0 76661 351 0 0 25 0 1 0 973452430 103448576 23275 4294967295 134512640 135730672 3221224576 3221223088 134746205 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25256 23275 301 301 0 24955 0
vsize: 101024
[startup+780.046 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19455
Raw data (stat): 19398 (pb2sat-v2) R 19397 7266 7265 0 -1 0 74274 0 0 0 77656 356 0 0 25 0 1 0 973452430 103448576 23293 4294967295 134512640 135730672 3221224576 3221223072 134747534 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25256 23293 301 301 0 24955 0
vsize: 101024
[startup+790.046 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19455
Raw data (stat): 19398 (pb2sat-v2) R 19397 7266 7265 0 -1 0 74768 0 0 0 78651 361 0 0 25 0 1 0 973452430 103604224 23311 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25294 23311 301 301 0 24993 0
vsize: 101176
[startup+800.047 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19455
Raw data (stat): 19398 (pb2sat-v2) R 19397 7266 7265 0 -1 0 75264 0 0 0 79648 365 0 0 25 0 1 0 973452430 103604224 23331 4294967295 134512640 135730672 3221224576 3221223232 134734769 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25294 23331 301 301 0 24993 0
vsize: 101176
[startup+810.047 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19455
Raw data (stat): 19398 (pb2sat-v2) R 19397 7266 7265 0 -1 0 75763 0 0 0 80645 367 0 0 25 0 1 0 973452430 103604224 23354 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25294 23354 301 301 0 24993 0
vsize: 101176
[startup+820.048 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19455
Raw data (stat): 19398 (pb2sat-v2) R 19397 7266 7265 0 -1 0 76257 0 0 0 81642 371 0 0 25 0 1 0 973452430 103604224 23372 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25294 23372 301 301 0 24993 0
vsize: 101176
[startup+830.048 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19455
Raw data (stat): 19398 (pb2sat-v2) R 19397 7266 7265 0 -1 0 76759 0 0 0 82638 375 0 0 25 0 1 0 973452430 103735296 23398 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25326 23398 301 301 0 25025 0
vsize: 101304
[startup+840.048 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19455
Raw data (stat): 19398 (pb2sat-v2) R 19397 7266 7265 0 -1 0 77256 0 0 0 83634 379 0 0 25 0 1 0 973452430 103735296 23419 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25326 23419 301 301 0 25025 0
vsize: 101304
[startup+850.048 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19455
Raw data (stat): 19398 (pb2sat-v2) R 19397 7266 7265 0 -1 0 77756 0 0 0 84631 383 0 0 25 0 1 0 973452430 103735296 23443 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25326 23443 301 301 0 25025 0
vsize: 101304
[startup+860.048 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19455
Raw data (stat): 19398 (pb2sat-v2) R 19397 7266 7265 0 -1 0 78244 0 0 0 85628 386 0 0 25 0 1 0 973452430 103866368 23455 4294967295 134512640 135730672 3221224576 3221223088 134746205 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25358 23455 301 301 0 25057 0
vsize: 101432
[startup+870.049 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19455
Raw data (stat): 19398 (pb2sat-v2) R 19397 7266 7265 0 -1 0 79218 0 0 0 86624 390 0 0 25 0 1 0 973452430 105816064 23953 4294967295 134512640 135730672 3221224576 3221222712 134765483 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25834 23953 301 301 0 25533 0
vsize: 103336
[startup+880.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19455
Raw data (stat): 19398 (pb2sat-v2) R 19397 7266 7265 0 -1 0 79710 0 0 0 87621 393 0 0 25 0 1 0 973452430 103866368 23493 4294967295 134512640 135730672 3221224576 3221223200 134748145 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25358 23493 301 301 0 25057 0
vsize: 101432
[startup+890.049 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19455
Raw data (stat): 19398 (pb2sat-v2) R 19397 7266 7265 0 -1 0 80211 0 0 0 88618 396 0 0 25 0 1 0 973452430 103866368 23518 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25358 23518 301 301 0 25057 0
vsize: 101432
[startup+900.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19455
Raw data (stat): 19398 (pb2sat-v2) R 19397 7266 7265 0 -1 0 80709 0 0 0 89614 400 0 0 25 0 1 0 973452430 103997440 23540 4294967295 134512640 135730672 3221224576 3221222896 134732462 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25390 23540 301 301 0 25089 0
vsize: 101560
[startup+910.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19455
Raw data (stat): 19398 (pb2sat-v2) R 19397 7266 7265 0 -1 0 81207 0 0 0 90611 404 0 0 25 0 1 0 973452430 103997440 23562 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25390 23562 301 301 0 25089 0
vsize: 101560
[startup+920.051 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19455
Raw data (stat): 19398 (pb2sat-v2) R 19397 7266 7265 0 -1 0 81703 0 0 0 91607 408 0 0 25 0 1 0 973452430 103997440 23582 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25390 23582 301 301 0 25089 0
vsize: 101560
[startup+930.051 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19455
Raw data (stat): 19398 (pb2sat-v2) R 19397 7266 7265 0 -1 0 82673 0 0 0 92602 413 0 0 25 0 1 0 973452430 103997440 23600 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25390 23600 301 301 0 25089 0
vsize: 101560
[startup+940.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19455
Raw data (stat): 19398 (pb2sat-v2) R 19397 7266 7265 0 -1 0 83170 0 0 0 93599 416 0 0 25 0 1 0 973452430 104161280 23621 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25430 23621 301 301 0 25129 0
vsize: 101720
[startup+950.051 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19455
Raw data (stat): 19398 (pb2sat-v2) R 19397 7266 7265 0 -1 0 83664 0 0 0 94595 421 0 0 25 0 1 0 973452430 104161280 23639 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25430 23639 301 301 0 25129 0
vsize: 101720
[startup+960.052 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19455
Raw data (stat): 19398 (pb2sat-v2) R 19397 7266 7265 0 -1 0 84168 0 0 0 95590 425 0 0 25 0 1 0 973452430 104161280 23667 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25430 23667 301 301 0 25129 0
vsize: 101720
[startup+970.058 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19455
Raw data (stat): 19398 (pb2sat-v2) R 19397 7266 7265 0 -1 0 84662 0 0 0 96587 430 0 0 25 0 1 0 973452430 104161280 23685 4294967295 134512640 135730672 3221224576 3221223232 134734769 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25430 23685 301 301 0 25129 0
vsize: 101720
[startup+980.063 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19455
Raw data (stat): 19398 (pb2sat-v2) R 19397 7266 7265 0 -1 0 85160 0 0 0 97584 433 0 0 25 0 1 0 973452430 104292352 23707 4294967295 134512640 135730672 3221224576 3221223088 134745860 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25462 23707 301 301 0 25161 0
vsize: 101848
[startup+990.072 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19455
Raw data (stat): 19398 (pb2sat-v2) R 19397 7266 7265 0 -1 0 86126 0 0 0 98580 438 0 0 25 0 1 0 973452430 106242048 24197 4294967295 134512640 135730672 3221224576 3221222736 134768862 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25938 24197 301 301 0 25637 0
vsize: 103752
[startup+1000.07 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19455
Raw data (stat): 19398 (pb2sat-v2) R 19397 7266 7265 0 -1 0 86625 0 0 0 99576 442 0 0 25 0 1 0 973452430 104292352 23744 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25462 23744 301 301 0 25161 0
vsize: 101848
[startup+1010.07 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19455
Raw data (stat): 19398 (pb2sat-v2) R 19397 7266 7265 0 -1 0 87121 0 0 0 100573 445 0 0 25 0 1 0 973452430 104292352 23764 4294967295 134512640 135730672 3221224576 3221223120 134740268 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25462 23764 301 301 0 25161 0
vsize: 101848
[startup+1020.07 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19455
Raw data (stat): 19398 (pb2sat-v2) R 19397 7266 7265 0 -1 0 87618 0 0 0 101569 450 0 0 25 0 1 0 973452430 104423424 23785 4294967295 134512640 135730672 3221224576 3221223072 134747592 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25494 23785 301 301 0 25193 0
vsize: 101976
[startup+1030.07 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19455
Raw data (stat): 19398 (pb2sat-v2) R 19397 7266 7265 0 -1 0 88115 0 0 0 102566 453 0 0 25 0 1 0 973452430 104423424 23806 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25494 23806 301 301 0 25193 0
vsize: 101976
[startup+1040.07 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19455
Raw data (stat): 19398 (pb2sat-v2) R 19397 7266 7265 0 -1 0 88610 0 0 0 103562 457 0 0 25 0 1 0 973452430 104423424 23825 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25494 23825 301 301 0 25193 0
vsize: 101976
[startup+1050.07 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19455
Raw data (stat): 19398 (pb2sat-v2) R 19397 7266 7265 0 -1 0 89111 0 0 0 104558 461 0 0 25 0 1 0 973452430 104558592 23850 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25527 23850 301 301 0 25226 0
vsize: 102108
[startup+1060.08 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19455
Raw data (stat): 19398 (pb2sat-v2) R 19397 7266 7265 0 -1 0 89606 0 0 0 105555 465 0 0 25 0 1 0 973452430 104558592 23869 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25527 23869 301 301 0 25226 0
vsize: 102108
[startup+1070.08 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19455
Raw data (stat): 19398 (pb2sat-v2) R 19397 7266 7265 0 -1 0 90108 0 0 0 106552 469 0 0 25 0 1 0 973452430 104558592 23895 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25527 23895 301 301 0 25226 0
vsize: 102108
[startup+1080.08 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19455
Raw data (stat): 19398 (pb2sat-v2) R 19397 7266 7265 0 -1 0 90600 0 0 0 107548 472 0 0 25 0 1 0 973452430 104710144 23911 4294967295 134512640 135730672 3221224576 3221223200 134748158 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25564 23911 301 301 0 25263 0
vsize: 102256
[startup+1090.08 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19455
Raw data (stat): 19398 (pb2sat-v2) R 19397 7266 7265 0 -1 0 91098 0 0 0 108545 476 0 0 25 0 1 0 973452430 104710144 23933 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25564 23933 301 301 0 25263 0
vsize: 102256
[startup+1100.08 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19455
Raw data (stat): 19398 (pb2sat-v2) R 19397 7266 7265 0 -1 0 91595 0 0 0 109541 480 0 0 25 0 1 0 973452430 104710144 23954 4294967295 134512640 135730672 3221224576 3221223184 134744447 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25564 23954 301 301 0 25263 0
vsize: 102256
[startup+1110.08 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19455
Raw data (stat): 19398 (pb2sat-v2) R 19397 7266 7265 0 -1 0 92093 0 0 0 110537 484 0 0 25 0 1 0 973452430 104710144 23976 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25564 23976 301 301 0 25263 0
vsize: 102256
[startup+1120.08 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19455
Raw data (stat): 19398 (pb2sat-v2) R 19397 7266 7265 0 -1 0 92592 0 0 0 111534 488 0 0 25 0 1 0 973452430 104853504 23999 4294967295 134512640 135730672 3221224576 3221223088 134745849 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25599 23999 301 301 0 25298 0
vsize: 102396
[startup+1130.09 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19455
Raw data (stat): 19398 (pb2sat-v2) R 19397 7266 7265 0 -1 0 93078 0 0 0 112530 492 0 0 25 0 1 0 973452430 104853504 24009 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25599 24009 301 301 0 25298 0
vsize: 102396
[startup+1140.09 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19455
Raw data (stat): 19398 (pb2sat-v2) R 19397 7266 7265 0 -1 0 94046 0 0 0 113524 497 0 0 25 0 1 0 973452430 104853504 24025 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25599 24025 301 301 0 25298 0
vsize: 102396
[startup+1150.09 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19455
Raw data (stat): 19398 (pb2sat-v2) R 19397 7266 7265 0 -1 0 94562 0 0 0 114521 501 0 0 25 0 1 0 973452430 105013248 24065 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25638 24065 301 301 0 25337 0
vsize: 102552
[startup+1160.09 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19455
Raw data (stat): 19398 (pb2sat-v2) R 19397 7266 7265 0 -1 0 95051 0 0 0 115518 505 0 0 25 0 1 0 973452430 105013248 24078 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25638 24078 301 301 0 25337 0
vsize: 102552
[startup+1170.09 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19455
Raw data (stat): 19398 (pb2sat-v2) R 19397 7266 7265 0 -1 0 95547 0 0 0 116515 508 0 0 25 0 1 0 973452430 105013248 24098 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25638 24098 301 301 0 25337 0
vsize: 102552
[startup+1180.09 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19455
Raw data (stat): 19398 (pb2sat-v2) R 19397 7266 7265 0 -1 0 96057 0 0 0 117511 512 0 0 25 0 1 0 973452430 105013248 24132 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25638 24132 301 301 0 25337 0
vsize: 102552
[startup+1190.09 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19455
Raw data (stat): 19398 (pb2sat-v2) R 19397 7266 7265 0 -1 0 96551 0 0 0 118507 516 0 0 25 0 1 0 973452430 105144320 24150 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25670 24150 301 301 0 25369 0
vsize: 102680
[startup+1200.09 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19455
Raw data (stat): 19398 (pb2sat-v2) R 19397 7266 7265 0 -1 0 97527 0 0 0 119504 519 0 0 25 0 1 0 973452430 107094016 24650 4294967295 134512640 135730672 3221224576 3221222712 134765483 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26146 24650 301 301 0 25845 0
vsize: 104584
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.74 s]
Raw data (loadavg): 1.00 1.00 0.92 1/54 19455
Raw data (stat): 19398 (pb2sat-v2) Z 19397 7266 7265 0 -1 12 97529 0 0 0 119564 524 0 0 25 0 1 0 973452430 0 0 4294967295 0 0 0 0 0 0 16384 7 16384 3222412051 0 0 17 0 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 0
Real time (s): 1200.74
CPU time (s): 1200.89
CPU user time (s): 1195.64
CPU system time (s): 5.2472
CPU usage (%): 100.013
Max. virtual memory (Kb): 104584
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####