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/miplib3/normalized-mps-v2-13-7-vpm2.opb
MD5SUM	fae1fae180d772ad3ee6c1acfa1c8b4f
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	122
Optimality of the best value was proved	NO
Number of terms in the objective function	168
Biggest coefficient in the objective function	5
Number of bits for the biggest coefficient in the objective function	3
Sum of the numbers in the objective function	504
Number of bits of the sum of numbers in the objective function	9
Biggest number in a constraint	2000000
Number of bits of the biggest number in a constraint	21
Biggest sum of numbers in a constraint	30041153
Number of bits of the biggest sum of numbers	25
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1189.01
Number of variables	2124
Total number of constraints	444
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	444
Minimum length of a constraint	8
Maximum length of a constraint	64
Trace number 42945

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc2 THE 2005-06-16 18:59:49 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=26158 boxname=wulflinc2 idbench=1458 idsolver=18 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  fae1fae180d772ad3ee6c1acfa1c8b4f  /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-13-7-vpm2.opb
REAL COMMAND:  pb2sat-v2 /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-13-7-vpm2.opb
IDLAUNCH: 26158
/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:        659392 kB
Buffers:         25812 kB
Cached:         327320 kB
SwapCached:       1420 kB
Active:          25968 kB
Inactive:       329176 kB
HighTotal:      131008 kB
HighFree:         4508 kB
LowTotal:       903652 kB
LowFree:        654884 kB
SwapTotal:     2097136 kB
SwapFree:      2094720 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5056 kB
Slab:            14408 kB
Committed_AS:    71904 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-16 19:19:52 (client local time) WITH STATUS 0 IN 1201.51 SECONDS
stats: 26158 7 1201.51 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...

c Decision: 97371/465442	Time: 40.0419/86400
c Decision: 97401/465442	Time: 57.7912/86400
c Decision: 97402/465442	Time: 72.312/86400
c Decision: 97402/465442	Time: 86.9158/86400
c Decision: 97402/465442	Time: 101.363/86400
c Decision: 97408/465442	Time: 119.942/86400
c Decision: 97411/465442	Time: 140.719/86400
c Decision: 97411/465442	Time: 159.491/86400
c Decision: 97411/465442	Time: 172.14/86400
c Decision: 97429/465442	Time: 183.936/86400
c Decision: 97429/465442	Time: 199.801/86400
c Decision: 97436/465442	Time: 217.65/86400
c Decision: 97436/465442	Time: 233.731/86400
c Decision: 97437/465442	Time: 249.99/86400
c Decision: 97449/465442	Time: 280.347/86400
c Decision: 97449/465442	Time: 298.41/86400
c Decision: 97449/465442	Time: 311.429/86400
c Decision: 97449/465442	Time: 326.281/86400
c Decision: 97449/465442	Time: 341.816/86400
c Decision: 97449/465442	Time: 353.422/86400
c Decision: 97449/465442	Time: 366.191/86400
c Decision: 97449/465442	Time: 378.505/86400
c Decision: 97449/465442	Time: 393.193/86400
c Decision: 97449/465442	Time: 403.324/86400
c Decision: 97449/465442	Time: 415.413/86400
c Decision: 97449/465442	Time: 427.724/86400
c Decision: 97449/465442	Time: 439.199/86400
c Decision: 97449/465442	Time: 447.94/86400
c Decision: 97449/465442	Time: 457.354/86400
c Decision: 97449/465442	Time: 467.186/86400
c Decision: 97453/465442	Time: 486.792/86400
c Decision: 97453/465442	Time: 497.498/86400
c Decision: 97453/465442	Time: 507.315/86400
c Decision: 97453/465442	Time: 517.726/86400
c Decision: 97453/465442	Time: 528.101/86400
c Decision: 97453/465442	Time: 541.919/86400
c Decision: 97453/465442	Time: 553.988/86400
c Decision: 97453/465442	Time: 563.749/86400
c Decision: 97453/465442	Time: 574.145/86400
c Decision: 97453/465442	Time: 584.93/86400
c Decision: 97453/465442	Time: 595.723/86400
c Decision: 97453/465442	Time: 606.263/86400
c Decision: 97453/465442	Time: 616.973/86400
c Decision: 97453/465442	Time: 628.103/86400
c Decision: 97453/465442	Time: 639.029/86400
c Decision: 97453/465442	Time: 650.867/86400
c Decision: 97453/465442	Time: 662.757/86400
c Decision: 97453/465442	Time: 673.001/86400
c Decision: 97453/465442	Time: 683.572/86400
c Decision: 97453/465442	Time: 694.977/86400
c Decision: 97453/465442	Time: 705.993/86400
c Decision: 97453/465442	Time: 718.467/86400
c Decision: 97453/465442	Time: 729.089/86400
c Decision: 97453/465442	Time: 739.86/86400
c Decision: 97453/465442	Time: 750.074/86400
c Decision: 97453/465442	Time: 762.622/86400
c Decision: 97453/465442	Time: 773.307/86400
c Decision: 97453/465442	Time: 784.946/86400
c Decision: 97453/465442	Time: 796.733/86400
c Decision: 97453/465442	Time: 807.578/86400
c Decision: 97453/465442	Time: 823.019/86400
c Decision: 97453/465442	Time: 835.938/86400
c Decision: 97453/465442	Time: 847.934/86400
c Decision: 97453/465442	Time: 860.855/86400
c Decision: 97453/465442	Time: 872.439/86400
c Decision: 97453/465442	Time: 886.824/86400
c Decision: 97453/465442	Time: 899.426/86400
c Decision: 97453/465442	Time: 911.952/86400
c Decision: 97453/465442	Time: 925.406/86400
c Decision: 97453/465442	Time: 935.762/86400
c Decision: 97453/465442	Time: 948.2/86400
c Decision: 97453/465442	Time: 959.84/86400
c Decision: 97453/465442	Time: 971.386/86400
c Decision: 97453/465442	Time: 983.343/86400
c Decision: 97453/465442	Time: 995.194/86400
c Decision: 97453/465442	Time: 1008.72/86400
c Decision: 97453/465442	Time: 1020.8/86400
c Decision: 97453/465442	Time: 1033.36/86400
c Decision: 97453/465442	Time: 1046.47/86400
c Decision: 97453/465442	Time: 1059.39/86400
c Decision: 97453/465442	Time: 1072.45/86400
c Decision: 97453/465442	Time: 1085.13/86400
c Decision: 97453/465442	Time: 1096.89/86400
c Decision: 97453/465442	Time: 1108.85/86400
c Decision: 97453/465442	Time: 1119.99/86400
c Decision: 97456/465442	Time: 1147.94/86400
c Decision: 97456/465442	Time: 1160.06/86400
c Decision: 97456/465442	Time: 1170.84/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 14542
Raw data (stat): 14542 (runsolver) R 14541 31399 31398 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 973117178 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 s]
Raw data (loadavg): 0.87 0.94 0.90 2/54 14542
Raw data (stat): 14542 (pb2sat-v2) R 14541 31399 31398 0 -1 0 26690 0 0 0 940 58 0 0 25 0 1 0 973117178 77045760 15734 4294967295 134512640 135730672 3221224576 3221207008 134611043 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 18810 15734 301 301 0 18509 0
vsize: 75240
[startup+20.0011 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 14595
Raw data (stat): 14542 (pb2sat-v2) R 14541 31399 31398 0 -1 0 53016 0 0 0 1880 118 0 0 25 0 1 0 973117178 152088576 31081 4294967295 134512640 135730672 3221224576 3221219920 135282716 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 37131 31081 301 301 0 36830 0
vsize: 148524
[startup+30.0019 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 14595
Raw data (stat): 14542 (pb2sat-v2) R 14541 31399 31398 0 -1 0 56833 0 0 0 2871 126 0 0 25 0 1 0 973117178 163897344 33888 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40014 33888 301 301 0 39713 0
vsize: 160056
[startup+40.0025 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 14595
Raw data (stat): 14542 (pb2sat-v2) R 14541 31399 31398 0 -1 0 57387 0 0 0 3870 128 0 0 25 0 1 0 973117178 166588416 34442 4294967295 134512640 135730672 3221224576 3221223232 134734761 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40671 34442 301 301 0 40370 0
vsize: 162684
[startup+50.0033 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 14595
Raw data (stat): 14542 (pb2sat-v2) R 14541 31399 31398 0 -1 0 57636 0 0 0 4869 129 0 0 25 0 1 0 973117178 167792640 34691 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40965 34691 301 301 0 40664 0
vsize: 163860
[startup+60.0029 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 14595
Raw data (stat): 14542 (pb2sat-v2) R 14541 31399 31398 0 -1 0 58741 0 0 0 5866 132 0 0 25 0 1 0 973117178 168738816 34886 4294967295 134512640 135730672 3221224576 3221223200 134783294 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41196 34886 301 301 0 40895 0
vsize: 164784
[startup+70.0036 s]
Raw data (loadavg): 1.06 0.98 0.91 2/54 14595
Raw data (stat): 14542 (pb2sat-v2) R 14541 31399 31398 0 -1 0 59153 0 0 0 6865 133 0 0 25 0 1 0 973117178 170557440 35232 4294967295 134512640 135730672 3221224576 3221223232 134734847 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41640 35232 301 301 0 41339 0
vsize: 166560
[startup+80.0044 s]
Raw data (loadavg): 1.05 0.98 0.91 2/54 14595
Raw data (stat): 14542 (pb2sat-v2) R 14541 31399 31398 0 -1 0 60311 0 0 0 7862 136 0 0 25 0 1 0 973117178 171495424 35414 4294967295 134512640 135730672 3221224576 3221223200 134748145 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41869 35414 301 301 0 41568 0
vsize: 167476
[startup+90.005 s]
Raw data (loadavg): 1.04 0.98 0.91 2/54 14597
Raw data (stat): 14542 (pb2sat-v2) R 14541 31399 31398 0 -1 0 60338 0 0 0 8861 137 0 0 25 0 1 0 973117178 171495424 35441 4294967295 134512640 135730672 3221224576 3221223072 134747728 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41869 35441 301 301 0 41568 0
vsize: 167476
[startup+100.005 s]
Raw data (loadavg): 1.04 0.98 0.91 2/54 14597
Raw data (stat): 14542 (pb2sat-v2) R 14541 31399 31398 0 -1 0 61401 0 0 0 9859 140 0 0 25 0 1 0 973117178 172380160 35594 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42085 35594 301 301 0 41784 0
vsize: 168340
[startup+110.004 s]
Raw data (loadavg): 1.03 0.98 0.91 2/54 14597
Raw data (stat): 14542 (pb2sat-v2) R 14541 31399 31398 0 -1 0 62555 0 0 0 10856 143 0 0 25 0 1 0 973117178 173600768 35838 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42383 35838 301 301 0 42082 0
vsize: 169532
[startup+120.005 s]
Raw data (loadavg): 1.03 0.98 0.91 2/54 14597
Raw data (stat): 14542 (pb2sat-v2) R 14541 31399 31398 0 -1 0 62762 0 0 0 11854 145 0 0 25 0 1 0 973117178 174264320 35996 4294967295 134512640 135730672 3221224576 3221223088 134745860 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42545 35996 301 301 0 42244 0
vsize: 170180
[startup+130.005 s]
Raw data (loadavg): 1.02 0.98 0.91 2/54 14597
Raw data (stat): 14542 (pb2sat-v2) R 14541 31399 31398 0 -1 0 63851 0 0 0 12851 148 0 0 25 0 1 0 973117178 175132672 36142 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42757 36142 301 301 0 42456 0
vsize: 171028
[startup+140.006 s]
Raw data (loadavg): 1.02 0.98 0.91 2/54 14597
Raw data (stat): 14542 (pb2sat-v2) R 14541 31399 31398 0 -1 0 64898 0 0 0 13848 151 0 0 25 0 1 0 973117178 175804416 36279 4294967295 134512640 135730672 3221224576 3221223200 134783244 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42921 36279 301 301 0 42620 0
vsize: 171684
[startup+150.006 s]
Raw data (loadavg): 1.01 0.98 0.91 2/54 14597
Raw data (stat): 14542 (pb2sat-v2) R 14541 31399 31398 0 -1 0 64950 0 0 0 14847 153 0 0 25 0 1 0 973117178 175935488 36298 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42953 36298 301 301 0 42652 0
vsize: 171812
[startup+160.006 s]
Raw data (loadavg): 1.01 0.98 0.91 2/54 14597
Raw data (stat): 14542 (pb2sat-v2) R 14541 31399 31398 0 -1 0 65885 0 0 0 15843 156 0 0 25 0 1 0 973117178 179798016 37233 4294967295 134512640 135730672 3221224576 3221222752 134768847 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 43896 37233 301 301 0 43595 0
vsize: 175584
[startup+170.007 s]
Raw data (loadavg): 1.01 0.98 0.91 2/54 14597
Raw data (stat): 14542 (pb2sat-v2) R 14541 31399 31398 0 -1 0 65950 0 0 0 16843 157 0 0 25 0 1 0 973117178 176476160 36388 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 43085 36388 301 301 0 42784 0
vsize: 172340
[startup+180.006 s]
Raw data (loadavg): 1.01 0.98 0.91 2/54 14597
Raw data (stat): 14542 (pb2sat-v2) R 14541 31399 31398 0 -1 0 66897 0 0 0 17840 160 0 0 25 0 1 0 973117178 176611328 36425 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 43118 36425 301 301 0 42817 0
vsize: 172472
[startup+190.007 s]
Raw data (loadavg): 1.01 0.98 0.91 2/54 14597
Raw data (stat): 14542 (pb2sat-v2) R 14541 31399 31398 0 -1 0 66918 0 0 0 18839 161 0 0 25 0 1 0 973117178 176611328 36446 4294967295 134512640 135730672 3221224576 3221223200 134748108 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 43118 36446 301 301 0 42817 0
vsize: 172472
[startup+200.007 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 14597
Raw data (stat): 14542 (pb2sat-v2) R 14541 31399 31398 0 -1 0 67880 0 0 0 19837 164 0 0 25 0 1 0 973117178 176746496 36498 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 43151 36498 301 301 0 42850 0
vsize: 172604
[startup+210.006 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 14597
Raw data (stat): 14542 (pb2sat-v2) R 14541 31399 31398 0 -1 0 68835 0 0 0 20833 167 0 0 25 0 1 0 973117178 176881664 36543 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 43184 36543 301 301 0 42883 0
vsize: 172736
[startup+220.007 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 14597
Raw data (stat): 14542 (pb2sat-v2) R 14541 31399 31398 0 -1 0 69898 0 0 0 21830 171 0 0 25 0 1 0 973117178 177418240 36663 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 43315 36663 301 301 0 43014 0
vsize: 173260
[startup+230.007 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 14597
Raw data (stat): 14542 (pb2sat-v2) R 14541 31399 31398 0 -1 0 70064 0 0 0 22830 171 0 0 25 0 1 0 973117178 177946624 36763 4294967295 134512640 135730672 3221224576 3221223200 134748208 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 43444 36763 301 301 0 43143 0
vsize: 173776
[startup+240.007 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 14597
Raw data (stat): 14542 (pb2sat-v2) R 14541 31399 31398 0 -1 0 71134 0 0 0 23827 175 0 0 25 0 1 0 973117178 178479104 36857 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 43574 36857 301 301 0 43273 0
vsize: 174296
[startup+250.007 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 14597
Raw data (stat): 14542 (pb2sat-v2) R 14541 31399 31398 0 -1 0 71160 0 0 0 24826 175 0 0 25 0 1 0 973117178 178479104 36883 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 43574 36883 301 301 0 43273 0
vsize: 174296
[startup+260.007 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 14597
Raw data (stat): 14542 (pb2sat-v2) R 14541 31399 31398 0 -1 0 72148 0 0 0 25823 178 0 0 25 0 1 0 973117178 178749440 36961 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 43640 36961 301 301 0 43339 0
vsize: 174560
[startup+270.008 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 14597
Raw data (stat): 14542 (pb2sat-v2) R 14541 31399 31398 0 -1 0 73095 0 0 0 26820 182 0 0 25 0 1 0 973117178 178749440 36998 4294967295 134512640 135730672 3221224576 3221222992 134741730 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 43640 36998 301 301 0 43339 0
vsize: 174560
[startup+280.007 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 14597
Raw data (stat): 14542 (pb2sat-v2) R 14541 31399 31398 0 -1 0 73176 0 0 0 27818 184 0 0 25 0 1 0 973117178 178880512 37046 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 43672 37046 301 301 0 43371 0
vsize: 174688
[startup+290.008 s]
Raw data (loadavg): 1.08 1.00 0.92 2/54 14597
Raw data (stat): 14542 (pb2sat-v2) R 14541 31399 31398 0 -1 0 73213 0 0 0 28817 185 0 0 25 0 1 0 973117178 179015680 37083 4294967295 134512640 135730672 3221224576 3221223196 134730931 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 43705 37083 301 301 0 43404 0
vsize: 174820
[startup+300.009 s]
Raw data (loadavg): 1.07 1.00 0.92 2/54 14597
Raw data (stat): 14542 (pb2sat-v2) R 14541 31399 31398 0 -1 0 74181 0 0 0 29814 188 0 0 25 0 1 0 973117178 182874112 38018 4294967295 134512640 135730672 3221224576 3221222712 134765477 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44647 38018 301 301 0 44346 0
vsize: 178588
[startup+310.008 s]
Raw data (loadavg): 1.06 1.00 0.92 2/54 14597
Raw data (stat): 14542 (pb2sat-v2) R 14541 31399 31398 0 -1 0 74279 0 0 0 30814 189 0 0 25 0 1 0 973117178 179687424 37206 4294967295 134512640 135730672 3221224576 3221223232 134734761 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 43869 37206 301 301 0 43568 0
vsize: 175476
[startup+320.009 s]
Raw data (loadavg): 1.05 1.00 0.92 2/54 14597
Raw data (stat): 14542 (pb2sat-v2) R 14541 31399 31398 0 -1 0 75226 0 0 0 31811 191 0 0 25 0 1 0 973117178 179822592 37243 4294967295 134512640 135730672 3221224576 3221223072 134747714 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 43902 37243 301 301 0 43601 0
vsize: 175608
[startup+330.01 s]
Raw data (loadavg): 1.04 1.00 0.92 2/54 14597
Raw data (stat): 14542 (pb2sat-v2) R 14541 31399 31398 0 -1 0 75237 0 0 0 32811 192 0 0 25 0 1 0 973117178 179822592 37254 4294967295 134512640 135730672 3221224576 3221223088 134745849 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 43902 37254 301 301 0 43601 0
vsize: 175608
[startup+340.01 s]
Raw data (loadavg): 1.03 1.00 0.92 2/54 14597
Raw data (stat): 14542 (pb2sat-v2) R 14541 31399 31398 0 -1 0 76295 0 0 0 33809 194 0 0 25 0 1 0 973117178 180355072 37336 4294967295 134512640 135730672 3221224576 3221223212 134748066 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44032 37336 301 301 0 43731 0
vsize: 176128
[startup+350.01 s]
Raw data (loadavg): 1.03 1.00 0.92 2/54 14597
Raw data (stat): 14542 (pb2sat-v2) R 14541 31399 31398 0 -1 0 77208 0 0 0 34806 197 0 0 25 0 1 0 973117178 180355072 37339 4294967295 134512640 135730672 3221224576 3221223232 134734837 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44032 37339 301 301 0 43731 0
vsize: 176128
[startup+360.011 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 14597
Raw data (stat): 14542 (pb2sat-v2) R 14541 31399 31398 0 -1 0 77222 0 0 0 35806 197 0 0 25 0 1 0 973117178 180355072 37353 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44032 37353 301 301 0 43731 0
vsize: 176128
[startup+370.012 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 14597
Raw data (stat): 14542 (pb2sat-v2) R 14541 31399 31398 0 -1 0 78135 0 0 0 36803 201 0 0 25 0 1 0 973117178 180355072 37356 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44032 37356 301 301 0 43731 0
vsize: 176128
[startup+380.011 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 14599
Raw data (stat): 14542 (pb2sat-v2) R 14541 31399 31398 0 -1 0 79049 0 0 0 37800 204 0 0 25 0 1 0 973117178 180355072 37360 4294967295 134512640 135730672 3221224576 3221223232 134734847 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44032 37360 301 301 0 43731 0
vsize: 176128
[startup+390.012 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 14599
Raw data (stat): 14542 (pb2sat-v2) R 14541 31399 31398 0 -1 0 80006 0 0 0 38798 206 0 0 25 0 1 0 973117178 180486144 37374 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44064 37374 301 301 0 43763 0
vsize: 176256
[startup+400.013 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 14599
Raw data (stat): 14542 (pb2sat-v2) R 14541 31399 31398 0 -1 0 80920 0 0 0 39796 208 0 0 25 0 1 0 973117178 180486144 37378 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44064 37378 301 301 0 43763 0
vsize: 176256
[startup+410.012 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 14599
Raw data (stat): 14542 (pb2sat-v2) R 14541 31399 31398 0 -1 0 80923 0 0 0 40796 209 0 0 25 0 1 0 973117178 180486144 37381 4294967295 134512640 135730672 3221224576 3221223184 134748241 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44064 37381 301 301 0 43763 0
vsize: 176256
[startup+420.013 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 14599
Raw data (stat): 14542 (pb2sat-v2) R 14541 31399 31398 0 -1 0 81837 0 0 0 41793 212 0 0 25 0 1 0 973117178 180486144 37385 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44064 37385 301 301 0 43763 0
vsize: 176256
[startup+430.014 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14599
Raw data (stat): 14542 (pb2sat-v2) R 14541 31399 31398 0 -1 0 82750 0 0 0 42790 215 0 0 25 0 1 0 973117178 180486144 37388 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44064 37388 301 301 0 43763 0
vsize: 176256
[startup+440.014 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14599
Raw data (stat): 14542 (pb2sat-v2) R 14541 31399 31398 0 -1 0 83664 0 0 0 43788 217 0 0 25 0 1 0 973117178 180486144 37392 4294967295 134512640 135730672 3221224576 3221223072 134747757 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44064 37392 301 301 0 43763 0
vsize: 176256
[startup+450.014 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14599
Raw data (stat): 14542 (pb2sat-v2) R 14541 31399 31398 0 -1 0 84578 0 0 0 44785 220 0 0 25 0 1 0 973117178 180486144 37396 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44064 37396 301 301 0 43763 0
vsize: 176256
[startup+460.014 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14599
Raw data (stat): 14542 (pb2sat-v2) R 14541 31399 31398 0 -1 0 85491 0 0 0 45783 223 0 0 25 0 1 0 973117178 180486144 37399 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44064 37399 301 301 0 43763 0
vsize: 176256
[startup+470.014 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14599
Raw data (stat): 14542 (pb2sat-v2) R 14541 31399 31398 0 -1 0 86406 0 0 0 46780 225 0 0 25 0 1 0 973117178 180486144 37404 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44064 37404 301 301 0 43763 0
vsize: 176256
[startup+480.015 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14599
Raw data (stat): 14542 (pb2sat-v2) R 14541 31399 31398 0 -1 0 87332 0 0 0 47778 228 0 0 25 0 1 0 973117178 180486144 37420 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44064 37420 301 301 0 43763 0
vsize: 176256
[startup+490.015 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14599
Raw data (stat): 14542 (pb2sat-v2) R 14541 31399 31398 0 -1 0 88254 0 0 0 48776 230 0 0 25 0 1 0 973117178 180486144 37432 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44064 37432 301 301 0 43763 0
vsize: 176256
[startup+500.015 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14599
Raw data (stat): 14542 (pb2sat-v2) R 14541 31399 31398 0 -1 0 88265 0 0 0 49775 231 0 0 25 0 1 0 973117178 180486144 37443 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44064 37443 301 301 0 43763 0
vsize: 176256
[startup+510.015 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14599
Raw data (stat): 14542 (pb2sat-v2) R 14541 31399 31398 0 -1 0 89204 0 0 0 50773 233 0 0 25 0 1 0 973117178 180621312 37472 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44097 37472 301 301 0 43796 0
vsize: 176388
[startup+520.016 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14599
Raw data (stat): 14542 (pb2sat-v2) R 14541 31399 31398 0 -1 0 90118 0 0 0 51771 236 0 0 25 0 1 0 973117178 180621312 37476 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44097 37476 301 301 0 43796 0
vsize: 176388
[startup+530.015 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14599
Raw data (stat): 14542 (pb2sat-v2) R 14541 31399 31398 0 -1 0 91032 0 0 0 52769 238 0 0 25 0 1 0 973117178 180621312 37480 4294967295 134512640 135730672 3221224576 3221223072 134747913 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44097 37480 301 301 0 43796 0
vsize: 176388
[startup+540.017 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14599
Raw data (stat): 14542 (pb2sat-v2) R 14541 31399 31398 0 -1 0 91949 0 0 0 53766 241 0 0 25 0 1 0 973117178 180621312 37487 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44097 37487 301 301 0 43796 0
vsize: 176388
[startup+550.017 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14599
Raw data (stat): 14542 (pb2sat-v2) R 14541 31399 31398 0 -1 0 92871 0 0 0 54763 244 0 0 25 0 1 0 973117178 180621312 37499 4294967295 134512640 135730672 3221224576 3221223264 134748554 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44097 37499 301 301 0 43796 0
vsize: 176388
[startup+560.017 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14599
Raw data (stat): 14542 (pb2sat-v2) R 14541 31399 31398 0 -1 0 93789 0 0 0 55761 247 0 0 25 0 1 0 973117178 184348672 38417 4294967295 134512640 135730672 3221224576 3221222752 134769202 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 45007 38417 301 301 0 44706 0
vsize: 180028
[startup+570.018 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14599
Raw data (stat): 14542 (pb2sat-v2) R 14541 31399 31398 0 -1 0 93792 0 0 0 56761 247 0 0 25 0 1 0 973117178 180621312 37510 4294967295 134512640 135730672 3221224576 3221223232 134734769 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44097 37510 301 301 0 43796 0
vsize: 176388
[startup+580.017 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14599
Raw data (stat): 14542 (pb2sat-v2) R 14541 31399 31398 0 -1 0 94707 0 0 0 57758 250 0 0 25 0 1 0 973117178 180621312 37515 4294967295 134512640 135730672 3221224576 3221223072 134747848 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44097 37515 301 301 0 43796 0
vsize: 176388
[startup+590.018 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14599
Raw data (stat): 14542 (pb2sat-v2) R 14541 31399 31398 0 -1 0 95625 0 0 0 58755 253 0 0 25 0 1 0 973117178 180621312 37523 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44097 37523 301 301 0 43796 0
vsize: 176388
[startup+600.018 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14599
Raw data (stat): 14542 (pb2sat-v2) R 14541 31399 31398 0 -1 0 96544 0 0 0 59752 256 0 0 25 0 1 0 973117178 180621312 37532 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44097 37532 301 301 0 43796 0
vsize: 176388
[startup+610.018 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14599
Raw data (stat): 14542 (pb2sat-v2) R 14541 31399 31398 0 -1 0 97465 0 0 0 60750 258 0 0 25 0 1 0 973117178 180621312 37543 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44097 37543 301 301 0 43796 0
vsize: 176388
[startup+620.019 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14599
Raw data (stat): 14542 (pb2sat-v2) R 14541 31399 31398 0 -1 0 98381 0 0 0 61748 261 0 0 25 0 1 0 973117178 180621312 37549 4294967295 134512640 135730672 3221224576 3221222912 134739213 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44097 37549 301 301 0 43796 0
vsize: 176388
[startup+630.019 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14599
Raw data (stat): 14542 (pb2sat-v2) R 14541 31399 31398 0 -1 0 99295 0 0 0 62746 263 0 0 25 0 1 0 973117178 180621312 37553 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44097 37553 301 301 0 43796 0
vsize: 176388
[startup+640.019 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14599
Raw data (stat): 14542 (pb2sat-v2) R 14541 31399 31398 0 -1 0 100215 0 0 0 63743 266 0 0 25 0 1 0 973117178 180621312 37563 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44097 37563 301 301 0 43796 0
vsize: 176388
[startup+650.019 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14599
Raw data (stat): 14542 (pb2sat-v2) R 14541 31399 31398 0 -1 0 101136 0 0 0 64740 269 0 0 25 0 1 0 973117178 180621312 37574 4294967295 134512640 135730672 3221224576 3221223072 134747592 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44097 37574 301 301 0 43796 0
vsize: 176388
[startup+660.019 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14599
Raw data (stat): 14542 (pb2sat-v2) R 14541 31399 31398 0 -1 0 102055 0 0 0 65737 272 0 0 25 0 1 0 973117178 180621312 37583 4294967295 134512640 135730672 3221224576 3221223232 134734774 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44097 37583 301 301 0 43796 0
vsize: 176388
[startup+670.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14599
Raw data (stat): 14542 (pb2sat-v2) R 14541 31399 31398 0 -1 0 102975 0 0 0 66735 275 0 0 25 0 1 0 973117178 180621312 37593 4294967295 134512640 135730672 3221224576 3221223200 134783353 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44097 37593 301 301 0 43796 0
vsize: 176388
[startup+680.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14599
Raw data (stat): 14542 (pb2sat-v2) R 14541 31399 31398 0 -1 0 102979 0 0 0 67735 275 0 0 25 0 1 0 973117178 180621312 37597 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44097 37597 301 301 0 43796 0
vsize: 176388
[startup+690.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14599
Raw data (stat): 14542 (pb2sat-v2) R 14541 31399 31398 0 -1 0 103899 0 0 0 68733 277 0 0 25 0 1 0 973117178 180621312 37607 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44097 37607 301 301 0 43796 0
vsize: 176388
[startup+700.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14599
Raw data (stat): 14542 (pb2sat-v2) R 14541 31399 31398 0 -1 0 104818 0 0 0 69730 280 0 0 25 0 1 0 973117178 180621312 37616 4294967295 134512640 135730672 3221224576 3221223264 134748449 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44097 37616 301 301 0 43796 0
vsize: 176388
[startup+710.019 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14599
Raw data (stat): 14542 (pb2sat-v2) R 14541 31399 31398 0 -1 0 105737 0 0 0 70727 283 0 0 25 0 1 0 973117178 180621312 37625 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44097 37625 301 301 0 43796 0
vsize: 176388
[startup+720.019 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14599
Raw data (stat): 14542 (pb2sat-v2) R 14541 31399 31398 0 -1 0 106659 0 0 0 71725 285 0 0 25 0 1 0 973117178 180621312 37637 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44097 37637 301 301 0 43796 0
vsize: 176388
[startup+730.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14599
Raw data (stat): 14542 (pb2sat-v2) R 14541 31399 31398 0 -1 0 107574 0 0 0 72722 288 0 0 25 0 1 0 973117178 180621312 37642 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44097 37642 301 301 0 43796 0
vsize: 176388
[startup+740.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14599
Raw data (stat): 14542 (pb2sat-v2) R 14541 31399 31398 0 -1 0 108490 0 0 0 73719 291 0 0 25 0 1 0 973117178 180752384 37648 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44129 37648 301 301 0 43828 0
vsize: 176516
[startup+750.021 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14599
Raw data (stat): 14542 (pb2sat-v2) R 14541 31399 31398 0 -1 0 109414 0 0 0 74716 295 0 0 25 0 1 0 973117178 180752384 37662 4294967295 134512640 135730672 3221224576 3221223232 134734776 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44129 37662 301 301 0 43828 0
vsize: 176516
[startup+760.021 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14599
Raw data (stat): 14542 (pb2sat-v2) R 14541 31399 31398 0 -1 0 110341 0 0 0 75714 297 0 0 25 0 1 0 973117178 180752384 37679 4294967295 134512640 135730672 3221224576 3221223072 134747578 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44129 37679 301 301 0 43828 0
vsize: 176516
[startup+770.021 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14599
Raw data (stat): 14542 (pb2sat-v2) R 14541 31399 31398 0 -1 0 111269 0 0 0 76712 299 0 0 25 0 1 0 973117178 180752384 37697 4294967295 134512640 135730672 3221224576 3221222992 134741728 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44129 37697 301 301 0 43828 0
vsize: 176516
[startup+780.022 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14599
Raw data (stat): 14542 (pb2sat-v2) R 14541 31399 31398 0 -1 0 111300 0 0 0 77712 300 0 0 25 0 1 0 973117178 180944896 37728 4294967295 134512640 135730672 3221224576 3221223088 134745849 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44176 37728 301 301 0 43875 0
vsize: 176704
[startup+790.022 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14599
Raw data (stat): 14542 (pb2sat-v2) R 14541 31399 31398 0 -1 0 112215 0 0 0 78709 303 0 0 25 0 1 0 973117178 180944896 37733 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44176 37733 301 301 0 43875 0
vsize: 176704
[startup+800.022 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14599
Raw data (stat): 14542 (pb2sat-v2) R 14541 31399 31398 0 -1 0 113164 0 0 0 79706 306 0 0 25 0 1 0 973117178 181080064 37772 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44209 37772 301 301 0 43908 0
vsize: 176836
[startup+810.022 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14599
Raw data (stat): 14542 (pb2sat-v2) R 14541 31399 31398 0 -1 0 114089 0 0 0 80703 309 0 0 25 0 1 0 973117178 181080064 37787 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44209 37787 301 301 0 43908 0
vsize: 176836
[startup+820.023 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14599
Raw data (stat): 14542 (pb2sat-v2) R 14541 31399 31398 0 -1 0 115007 0 0 0 81700 312 0 0 25 0 1 0 973117178 181080064 37795 4294967295 134512640 135730672 3221224576 3221223232 134748676 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44209 37795 301 301 0 43908 0
vsize: 176836
[startup+830.023 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14599
Raw data (stat): 14542 (pb2sat-v2) R 14541 31399 31398 0 -1 0 115934 0 0 0 82698 314 0 0 25 0 1 0 973117178 181080064 37812 4294967295 134512640 135730672 3221224576 3221223232 134734829 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44209 37812 301 301 0 43908 0
vsize: 176836
[startup+840.024 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14599
Raw data (stat): 14542 (pb2sat-v2) R 14541 31399 31398 0 -1 0 115948 0 0 0 83697 316 0 0 25 0 1 0 973117178 181080064 37826 4294967295 134512640 135730672 3221224576 3221223088 134746205 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44209 37826 301 301 0 43908 0
vsize: 176836
[startup+850.024 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14599
Raw data (stat): 14542 (pb2sat-v2) R 14541 31399 31398 0 -1 0 116864 0 0 0 84695 318 0 0 25 0 1 0 973117178 181080064 37832 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44209 37832 301 301 0 43908 0
vsize: 176836
[startup+860.024 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14599
Raw data (stat): 14542 (pb2sat-v2) R 14541 31399 31398 0 -1 0 117783 0 0 0 85692 321 0 0 25 0 1 0 973117178 181080064 37841 4294967295 134512640 135730672 3221224576 3221223232 134734847 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44209 37841 301 301 0 43908 0
vsize: 176836
[startup+870.029 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14599
Raw data (stat): 14542 (pb2sat-v2) R 14541 31399 31398 0 -1 0 118703 0 0 0 86690 324 0 0 25 0 1 0 973117178 181080064 37851 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44209 37851 301 301 0 43908 0
vsize: 176836
[startup+880.029 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14599
Raw data (stat): 14542 (pb2sat-v2) R 14541 31399 31398 0 -1 0 119626 0 0 0 87687 327 0 0 25 0 1 0 973117178 184934400 38774 4294967295 134512640 135730672 3221224576 3221222752 134769202 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 45150 38774 301 301 0 44849 0
vsize: 180600
[startup+890.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14599
Raw data (stat): 14542 (pb2sat-v2) R 14541 31399 31398 0 -1 0 119641 0 0 0 88686 328 0 0 25 0 1 0 973117178 181207040 37879 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44240 37879 301 301 0 43939 0
vsize: 176960
[startup+900.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14599
Raw data (stat): 14542 (pb2sat-v2) R 14541 31399 31398 0 -1 0 120564 0 0 0 89684 331 0 0 25 0 1 0 973117178 181207040 37892 4294967295 134512640 135730672 3221224576 3221223072 134747711 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44240 37892 301 301 0 43939 0
vsize: 176960
[startup+910.029 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14599
Raw data (stat): 14542 (pb2sat-v2) R 14541 31399 31398 0 -1 0 121483 0 0 0 90681 333 0 0 25 0 1 0 973117178 181207040 37901 4294967295 134512640 135730672 3221224576 3221223232 134734847 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44240 37901 301 301 0 43939 0
vsize: 176960
[startup+920.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14599
Raw data (stat): 14542 (pb2sat-v2) R 14541 31399 31398 0 -1 0 122404 0 0 0 91679 336 0 0 25 0 1 0 973117178 181207040 37912 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44240 37912 301 301 0 43939 0
vsize: 176960
[startup+930.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14599
Raw data (stat): 14542 (pb2sat-v2) R 14541 31399 31398 0 -1 0 122422 0 0 0 92678 336 0 0 25 0 1 0 973117178 181207040 37930 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44240 37930 301 301 0 43939 0
vsize: 176960
[startup+940.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14599
Raw data (stat): 14542 (pb2sat-v2) R 14541 31399 31398 0 -1 0 123342 0 0 0 93676 339 0 0 25 0 1 0 973117178 181334016 37940 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44271 37940 301 301 0 43970 0
vsize: 177084
[startup+950.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14599
Raw data (stat): 14542 (pb2sat-v2) R 14541 31399 31398 0 -1 0 124264 0 0 0 94674 342 0 0 25 0 1 0 973117178 181334016 37952 4294967295 134512640 135730672 3221224576 3221223072 134747563 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44271 37952 301 301 0 43970 0
vsize: 177084
[startup+960.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14599
Raw data (stat): 14542 (pb2sat-v2) R 14541 31399 31398 0 -1 0 125190 0 0 0 95671 344 0 0 25 0 1 0 973117178 181334016 37968 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44271 37968 301 301 0 43970 0
vsize: 177084
[startup+970.031 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14599
Raw data (stat): 14542 (pb2sat-v2) R 14541 31399 31398 0 -1 0 126109 0 0 0 96669 347 0 0 25 0 1 0 973117178 181334016 37977 4294967295 134512640 135730672 3221224576 3221223232 134734766 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44271 37977 301 301 0 43970 0
vsize: 177084
[startup+980.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14599
Raw data (stat): 14542 (pb2sat-v2) R 14541 31399 31398 0 -1 0 127028 0 0 0 97666 350 0 0 25 0 1 0 973117178 181334016 37986 4294967295 134512640 135730672 3221224576 3221223232 134734769 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44271 37986 301 301 0 43970 0
vsize: 177084
[startup+990.031 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14599
Raw data (stat): 14542 (pb2sat-v2) R 14541 31399 31398 0 -1 0 127041 0 0 0 98666 350 0 0 25 0 1 0 973117178 181334016 37999 4294967295 134512640 135730672 3221224576 3221223088 134745858 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 44271 37999 301 301 0 43970 0
vsize: 177084
[startup+1000.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14599
Raw data (stat): 14542 (pb2sat-v2) R 14541 31399 31398 0 -1 0 127967 0 0 0 99662 353 0 0 25 0 1 0 973117178 181334016 38015 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44271 38015 301 301 0 43970 0
vsize: 177084
[startup+1010.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14599
Raw data (stat): 14542 (pb2sat-v2) R 14541 31399 31398 0 -1 0 128891 0 0 0 100659 356 0 0 25 0 1 0 973117178 181460992 38029 4294967295 134512640 135730672 3221224576 3221223200 134748120 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44302 38029 301 301 0 44001 0
vsize: 177208
[startup+1020.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14599
Raw data (stat): 14542 (pb2sat-v2) R 14541 31399 31398 0 -1 0 129816 0 0 0 101657 359 0 0 25 0 1 0 973117178 181460992 38044 4294967295 134512640 135730672 3221224576 3221223232 134734769 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44302 38044 301 301 0 44001 0
vsize: 177208
[startup+1030.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14599
Raw data (stat): 14542 (pb2sat-v2) R 14541 31399 31398 0 -1 0 130735 0 0 0 102654 362 0 0 25 0 1 0 973117178 181460992 38053 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44302 38053 301 301 0 44001 0
vsize: 177208
[startup+1040.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14599
Raw data (stat): 14542 (pb2sat-v2) R 14541 31399 31398 0 -1 0 131662 0 0 0 103652 364 0 0 25 0 1 0 973117178 185188352 38980 4294967295 134512640 135730672 3221224576 3221222740 134769153 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 45212 38980 301 301 0 44911 0
vsize: 180848
[startup+1050.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14599
Raw data (stat): 14542 (pb2sat-v2) R 14541 31399 31398 0 -1 0 131672 0 0 0 104651 365 0 0 25 0 1 0 973117178 181460992 38080 4294967295 134512640 135730672 3221224576 3221223232 134734847 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44302 38080 301 301 0 44001 0
vsize: 177208
[startup+1060.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14599
Raw data (stat): 14542 (pb2sat-v2) R 14541 31399 31398 0 -1 0 132595 0 0 0 105648 368 0 0 25 0 1 0 973117178 181587968 38093 4294967295 134512640 135730672 3221224576 3221223232 134734769 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44333 38093 301 301 0 44032 0
vsize: 177332
[startup+1070.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14599
Raw data (stat): 14542 (pb2sat-v2) R 14541 31399 31398 0 -1 0 133519 0 0 0 106646 371 0 0 25 0 1 0 973117178 181587968 38107 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44333 38107 301 301 0 44032 0
vsize: 177332
[startup+1080.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14599
Raw data (stat): 14542 (pb2sat-v2) R 14541 31399 31398 0 -1 0 134441 0 0 0 107643 374 0 0 25 0 1 0 973117178 181587968 38119 4294967295 134512640 135730672 3221224576 3221222896 134732625 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44333 38119 301 301 0 44032 0
vsize: 177332
[startup+1090.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14599
Raw data (stat): 14542 (pb2sat-v2) R 14541 31399 31398 0 -1 0 135365 0 0 0 108641 376 0 0 25 0 1 0 973117178 185315328 39043 4294967295 134512640 135730672 3221224576 3221222768 134772786 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 45243 39043 301 301 0 44942 0
vsize: 180972
[startup+1100.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14599
Raw data (stat): 14542 (pb2sat-v2) R 14541 31399 31398 0 -1 0 135370 0 0 0 109640 377 0 0 25 0 1 0 973117178 181587968 38138 4294967295 134512640 135730672 3221224576 3221223232 134734829 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44333 38138 301 301 0 44032 0
vsize: 177332
[startup+1110.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14599
Raw data (stat): 14542 (pb2sat-v2) R 14541 31399 31398 0 -1 0 136287 0 0 0 110638 380 0 0 25 0 1 0 973117178 181587968 38145 4294967295 134512640 135730672 3221224576 3221223232 134734829 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44333 38145 301 301 0 44032 0
vsize: 177332
[startup+1120.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14599
Raw data (stat): 14542 (pb2sat-v2) R 14541 31399 31398 0 -1 0 137208 0 0 0 111635 382 0 0 25 0 1 0 973117178 181731328 38156 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44368 38156 301 301 0 44067 0
vsize: 177472
[startup+1130.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14599
Raw data (stat): 14542 (pb2sat-v2) R 14541 31399 31398 0 -1 0 138126 0 0 0 112633 385 0 0 25 0 1 0 973117178 181731328 38164 4294967295 134512640 135730672 3221224576 3221223232 134734761 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44368 38164 301 301 0 44067 0
vsize: 177472
[startup+1140.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14599
Raw data (stat): 14542 (pb2sat-v2) R 14541 31399 31398 0 -1 0 139047 0 0 0 113632 388 0 0 25 0 1 0 973117178 181731328 38175 4294967295 134512640 135730672 3221224576 3221223208 135104781 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44368 38175 301 301 0 44067 0
vsize: 177472
[startup+1150.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14599
Raw data (stat): 14542 (pb2sat-v2) R 14541 31399 31398 0 -1 0 139062 0 0 0 114631 388 0 0 25 0 1 0 973117178 181731328 38190 4294967295 134512640 135730672 3221224576 3221223072 134747783 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44368 38190 301 301 0 44067 0
vsize: 177472
[startup+1160.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14599
Raw data (stat): 14542 (pb2sat-v2) R 14541 31399 31398 0 -1 0 139074 0 0 0 115631 389 0 0 25 0 1 0 973117178 181731328 38202 4294967295 134512640 135730672 3221224576 3221223200 134748194 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44368 38202 301 301 0 44067 0
vsize: 177472
[startup+1170.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14599
Raw data (stat): 14542 (pb2sat-v2) R 14541 31399 31398 0 -1 0 139994 0 0 0 116629 391 0 0 25 0 1 0 973117178 181731328 38212 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44368 38212 301 301 0 44067 0
vsize: 177472
[startup+1180.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14599
Raw data (stat): 14542 (pb2sat-v2) R 14541 31399 31398 0 -1 0 140911 0 0 0 117626 394 0 0 25 0 1 0 973117178 181731328 38219 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44368 38219 301 301 0 44067 0
vsize: 177472
[startup+1190.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14599
Raw data (stat): 14542 (pb2sat-v2) R 14541 31399 31398 0 -1 0 141830 0 0 0 118623 397 0 0 25 0 1 0 973117178 185458688 39138 4294967295 134512640 135730672 3221224576 3221222732 134765468 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 45278 39138 301 301 0 44977 0
vsize: 181112
[startup+1200.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14599
Raw data (stat): 14542 (pb2sat-v2) R 14541 31399 31398 0 -1 0 141842 0 0 0 119623 398 0 0 25 0 1 0 973117178 181858304 38240 4294967295 134512640 135730672 3221224576 3221223168 134764020 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44399 38240 301 301 0 44098 0
vsize: 177596
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1201.35 s]
Raw data (loadavg): 1.00 1.00 0.92 1/54 14599
Raw data (stat): 14542 (pb2sat-v2) Z 14541 31399 31398 0 -1 12 141844 0 0 0 119745 405 0 0 25 0 1 0 973117178 0 0 4294967295 0 0 0 0 0 0 16384 7 16384 3222412051 0 0 17 1 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 0
Real time (s): 1201.35
CPU time (s): 1201.51
CPU user time (s): 1197.45
CPU system time (s): 4.05938
CPU usage (%): 100.013
Max. virtual memory (Kb): 181112
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####