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:
  1. 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.
  2. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser !
  3. 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.
  4. 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

Namemps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-fixnet4.opb
MD5SUMc588849b8a310510484f5bf14bc15ec4
Bench Categoryoptimization, big integers (OPTBIGINT)
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function 13668
Biggest coefficient in the objective function 5368709120
Number of bits for the biggest coefficient in the objective function 33
Sum of the numbers in the objective function 2423922177090
Number of bits of the sum of numbers in the objective function 42
Biggest number in a constraint 5368709120
Number of bits of the biggest number in a constraint 33
Biggest sum of numbers in a constraint 2423922177090
Number of bits of the biggest sum of numbers42
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Number of variables14036
Total number of constraints978
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)378
Number of constraints which are nor clauses,nor cardinality constraints600
Minimum length of a constraint1
Maximum length of a constraint1523

Trace number 10022

Launcher Data

LAUNCH ON wulflinc24 THE 2005-09-23 16:17:11 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=8714 boxname=wulflinc24 idbench=510 idsolver=8 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  c588849b8a310510484f5bf14bc15ec4  /oldhome/oroussel/tmp/wulflinc24/normalized-mps-v2-20-10-fixnet4.opb
REAL COMMAND:  pb2sat /oldhome/oroussel/tmp/wulflinc24/normalized-mps-v2-20-10-fixnet4.opb
IDLAUNCH: 8714
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.047
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	: 3
cpu MHz		: 451.047
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:        894952 kB
Buffers:         15260 kB
Cached:         105100 kB
SwapCached:          0 kB
Active:          67540 kB
Inactive:        55748 kB
HighTotal:      131008 kB
HighFree:        23940 kB
LowTotal:       903652 kB
LowFree:        871012 kB
SwapTotal:     2097892 kB
SwapFree:      2097892 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6980 kB
Slab:            10816 kB
Committed_AS:    63660 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-09-23 16:37:34 (client local time) WITH STATUS 0 IN 1211.16 SECONDS
stats: 8714 7 1211.16 0

Solver Data

c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...

c Decision: 604393/1600886	Time: 80.1358/86400
c Decision: 604398/1600886	Time: 134.116/86400
c Decision: 604398/1600886	Time: 168.174/86400
c Decision: 604398/1600886	Time: 205.317/86400
c Decision: 604398/1600886	Time: 244.777/86400
c Decision: 604398/1600886	Time: 276.558/86400
c Decision: 604398/1600886	Time: 314.917/86400
c Decision: 604398/1600886	Time: 352.929/86400
c Decision: 604398/1600886	Time: 376.126/86400
c Decision: 604398/1600886	Time: 401.882/86400
c Decision: 604398/1600886	Time: 436.161/86400
c Decision: 604398/1600886	Time: 470.949/86400
c Decision: 604398/1600886	Time: 503.525/86400
c Decision: 604398/1600886	Time: 535.386/86400
c Decision: 604398/1600886	Time: 568.006/86400
c Decision: 604398/1600886	Time: 601.807/86400
c Decision: 604417/1600886	Time: 641.933/86400
c Decision: 604417/1600886	Time: 673.852/86400
c Decision: 604417/1600886	Time: 708.419/86400
c Decision: 604417/1600886	Time: 737.061/86400
c Decision: 604417/1600886	Time: 784.653/86400
c Decision: 604417/1600886	Time: 813.009/86400
c Decision: 604417/1600886	Time: 838.491/86400
c Decision: 604417/1600886	Time: 867.366/86400
c Decision: 604417/1600886	Time: 891.968/86400
c Decision: 604417/1600886	Time: 922.524/86400
c Decision: 604417/1600886	Time: 946.482/86400
c Decision: 604417/1600886	Time: 970.353/86400
c Decision: 604417/1600886	Time: 994.583/86400
c Decision: 604417/1600886	Time: 1019.47/86400
c Decision: 604417/1600886	Time: 1049.86/86400
c Decision: 604417/1600886	Time: 1075.57/86400
c Decision: 604417/1600886	Time: 1099.51/86400
c Decision: 604417/1600886	Time: 1126.03/86400s UNKNOWN

Watcher Data

Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing Stack size limit: 67108864 bytes
Enforcing memory limit (will send SIGTERM then SIGKILL): 921600 Kb
Enforcing VSIZE limit: 994918400 bytes
Current StackSize limit: 67108864 bytes
Raw data (/proc/8628/stat): 8628 (pb2sat) R 8627 8628 4059 0 -1 0 18 0 0 0 0 0 0 0 23 0 1 0 21557348 1527808 2 4294967295 134512640 135987407 3221224560 3221224560 134512928 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8628/statm): 373 2 364 364 0 9 0
[pid=8628] vsize: 1492
open syscall for file /oldhome/oroussel/tmp/wulflinc24/normalized-mps-v2-20-10-fixnet4.opb

[startup+10.0018 s]
Raw data (loadavg): 0.85 0.94 0.96 2/55 8628
Raw data (/proc/8628/stat): 8628 (pb2sat) R 8627 8628 4059 0 -1 0 24942 0 0 0 940 56 0 0 25 0 1 0 21557348 76443648 13817 4294967295 134512640 135987407 3221224560 3220932392 134765285 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8628/statm): 18663 13817 364 364 0 18299 0
[pid=8628] vsize: 74652
Current children cumulated CPU time (s) 9.96
Current children cumulated vsize (Kb) 74652

[startup+20.0025 s]
Raw data (loadavg): 0.87 0.94 0.96 2/55 8628
Raw data (/proc/8628/stat): 8628 (pb2sat) R 8627 8628 4059 0 -1 0 53187 0 0 0 1876 118 0 0 25 0 1 0 21557348 164438016 30828 4294967295 134512640 135987407 3221224560 3220881856 134856382 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8628/statm): 40146 30828 364 364 0 39782 0
[pid=8628] vsize: 160584
Current children cumulated CPU time (s) 19.94
Current children cumulated vsize (Kb) 160584

[startup+30.0032 s]
Raw data (loadavg): 0.89 0.94 0.96 2/55 8628
Raw data (/proc/8628/stat): 8628 (pb2sat) R 8627 8628 4059 0 -1 0 93691 0 0 0 2784 208 0 0 25 0 1 0 21557348 280633344 49108 4294967295 134512640 135987407 3221224560 3221042232 134864165 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8628/statm): 68514 49108 364 364 0 68150 0
[pid=8628] vsize: 274056
Current children cumulated CPU time (s) 29.92
Current children cumulated vsize (Kb) 274056

[startup+40.0039 s]
Raw data (loadavg): 0.91 0.94 0.96 2/55 8628
Raw data (/proc/8628/stat): 8628 (pb2sat) R 8627 8628 4059 0 -1 0 109219 0 0 0 3747 245 0 0 25 0 1 0 21557348 319254528 64383 4294967295 134512640 135987407 3221224560 3220973640 135480532 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8628/statm): 77943 64383 364 364 0 77579 0
[pid=8628] vsize: 311772
Current children cumulated CPU time (s) 39.92
Current children cumulated vsize (Kb) 311772

[startup+50.0045 s]
Raw data (loadavg): 0.92 0.94 0.96 2/55 8628
Raw data (/proc/8628/stat): 8628 (pb2sat) R 8627 8628 4059 0 -1 0 151726 0 0 0 4655 331 0 0 25 0 1 0 21557348 517554176 105681 4294967295 134512640 135987407 3221224560 3221039804 134533905 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8628/statm): 126356 105681 364 364 0 125992 0
[pid=8628] vsize: 505424
Current children cumulated CPU time (s) 49.86
Current children cumulated vsize (Kb) 505424

[startup+60.0052 s]
Raw data (loadavg): 0.93 0.95 0.96 2/55 8628
Raw data (/proc/8628/stat): 8628 (pb2sat) R 8627 8628 4059 0 -1 0 188251 0 0 0 5567 419 0 0 25 0 1 0 21557348 587767808 99015 4294967295 134512640 135987407 3221224560 3220858752 134639039 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8628/statm): 143498 99015 364 364 0 143134 0
[pid=8628] vsize: 573992
Current children cumulated CPU time (s) 59.86
Current children cumulated vsize (Kb) 573992

[startup+70.006 s]
Raw data (loadavg): 0.94 0.95 0.96 2/55 8628
Raw data (/proc/8628/stat): 8628 (pb2sat) R 8627 8628 4059 0 -1 0 204342 0 0 0 6528 458 0 0 25 0 1 0 21557348 592228352 114842 4294967295 134512640 135987407 3221224560 3221199312 134876450 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8628/statm): 144587 114842 364 364 0 144223 0
[pid=8628] vsize: 578348
Current children cumulated CPU time (s) 69.86
Current children cumulated vsize (Kb) 578348

[startup+80.0066 s]
Raw data (loadavg): 0.95 0.95 0.96 2/55 8628
Raw data (/proc/8628/stat): 8628 (pb2sat) R 8627 8628 4059 0 -1 0 215961 0 0 0 7495 490 0 0 25 0 1 0 21557348 606396416 123206 4294967295 134512640 135987407 3221224560 3221223152 134812018 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8628/statm): 148046 123206 364 364 0 147682 0
[pid=8628] vsize: 592184
Current children cumulated CPU time (s) 79.85
Current children cumulated vsize (Kb) 592184

[startup+90.0063 s]
Raw data (loadavg): 0.96 0.95 0.96 2/55 8628
Raw data (/proc/8628/stat): 8628 (pb2sat) R 8627 8628 4059 0 -1 0 221722 0 0 0 8462 509 0 0 25 0 1 0 21557348 629198848 127937 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8628/statm): 153613 127937 364 364 0 153249 0
[pid=8628] vsize: 614452
Current children cumulated CPU time (s) 89.71
Current children cumulated vsize (Kb) 614452

[startup+100.006 s]
Raw data (loadavg): 0.96 0.95 0.96 2/55 8628
Raw data (/proc/8628/stat): 8628 (pb2sat) R 8627 8628 4059 0 -1 0 223717 0 0 0 9423 525 0 0 25 0 1 0 21557348 638410752 129899 4294967295 134512640 135987407 3221224560 3221223376 134824722 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8628/statm): 155862 129899 364 364 0 155498 0
[pid=8628] vsize: 623448
Current children cumulated CPU time (s) 99.48
Current children cumulated vsize (Kb) 623448

[startup+110.007 s]
Raw data (loadavg): 0.97 0.95 0.96 2/55 8628
Raw data (/proc/8628/stat): 8628 (pb2sat) R 8627 8628 4059 0 -1 0 225303 0 0 0 10393 537 0 0 25 0 1 0 21557348 645750784 131362 4294967295 134512640 135987407 3221224560 3221223408 134790052 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8628/statm): 157654 131362 364 364 0 157290 0
[pid=8628] vsize: 630616
Current children cumulated CPU time (s) 109.3
Current children cumulated vsize (Kb) 630616

[startup+120.007 s]
Raw data (loadavg): 0.97 0.95 0.96 2/55 8628
Raw data (/proc/8628/stat): 8628 (pb2sat) R 8627 8628 4059 0 -1 0 226338 0 0 0 11375 545 0 0 25 0 1 0 21557348 650633216 132364 4294967295 134512640 135987407 3221224560 3221223408 134789997 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8628/statm): 158846 132364 364 364 0 158482 0
[pid=8628] vsize: 635384
Current children cumulated CPU time (s) 119.2
Current children cumulated vsize (Kb) 635384

[startup+130.008 s]
Raw data (loadavg): 0.98 0.95 0.96 2/55 8628
Raw data (/proc/8628/stat): 8628 (pb2sat) R 8627 8628 4059 0 -1 0 226872 0 0 0 12367 550 0 0 25 0 1 0 21557348 653111296 132865 4294967295 134512640 135987407 3221224560 3221223424 134812703 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8628/statm): 159451 132865 364 364 0 159087 0
[pid=8628] vsize: 637804
Current children cumulated CPU time (s) 129.17
Current children cumulated vsize (Kb) 637804

[startup+140.008 s]
Raw data (loadavg): 0.98 0.95 0.96 2/55 8628
Raw data (/proc/8628/stat): 8628 (pb2sat) R 8627 8628 4059 0 -1 0 227676 0 0 0 13354 556 0 0 25 0 1 0 21557348 656916480 133636 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8628/statm): 160380 133636 364 364 0 160016 0
[pid=8628] vsize: 641520
Current children cumulated CPU time (s) 139.1
Current children cumulated vsize (Kb) 641520

[startup+150.008 s]
Raw data (loadavg): 0.98 0.95 0.96 2/55 8628
Raw data (/proc/8628/stat): 8628 (pb2sat) R 8627 8628 4059 0 -1 0 230923 0 0 0 14343 565 0 0 25 0 1 0 21557348 657485824 133756 4294967295 134512640 135987407 3221224560 3221223376 134876948 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8628/statm): 160519 133756 364 364 0 160155 0
[pid=8628] vsize: 642076
Current children cumulated CPU time (s) 149.08
Current children cumulated vsize (Kb) 642076

[startup+160.007 s]
Raw data (loadavg): 0.98 0.96 0.96 2/55 8628
Raw data (/proc/8628/stat): 8628 (pb2sat) R 8627 8628 4059 0 -1 0 231212 0 0 0 15333 569 0 0 25 0 1 0 21557348 658898944 134045 4294967295 134512640 135987407 3221224560 3221223344 134812398 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8628/statm): 160864 134045 364 364 0 160500 0
[pid=8628] vsize: 643456
Current children cumulated CPU time (s) 159.02
Current children cumulated vsize (Kb) 643456

[startup+170.007 s]
Raw data (loadavg): 0.99 0.96 0.96 2/55 8628
Raw data (/proc/8628/stat): 8628 (pb2sat) R 8627 8628 4059 0 -1 0 232055 0 0 0 16315 575 0 0 25 0 1 0 21557348 662978560 134855 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8628/statm): 161860 134855 364 364 0 161496 0
[pid=8628] vsize: 647440
Current children cumulated CPU time (s) 168.9
Current children cumulated vsize (Kb) 647440

[startup+180.008 s]
Raw data (loadavg): 0.99 0.96 0.96 2/55 8628
Raw data (/proc/8628/stat): 8628 (pb2sat) R 8627 8628 4059 0 -1 0 232413 0 0 0 17313 576 0 0 25 0 1 0 21557348 664649728 135147 4294967295 134512640 135987407 3221224560 3221223424 134812626 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8628/statm): 162268 135147 364 364 0 161904 0
[pid=8628] vsize: 649072
Current children cumulated CPU time (s) 178.89
Current children cumulated vsize (Kb) 649072

[startup+190.008 s]
Raw data (loadavg): 0.99 0.96 0.96 2/55 8628
Raw data (/proc/8628/stat): 8628 (pb2sat) R 8627 8628 4059 0 -1 0 232858 0 0 0 18310 578 0 0 25 0 1 0 21557348 666308608 135477 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8628/statm): 162673 135477 364 364 0 162309 0
[pid=8628] vsize: 650692
Current children cumulated CPU time (s) 188.88
Current children cumulated vsize (Kb) 650692

[startup+200.008 s]
Raw data (loadavg): 0.99 0.96 0.96 2/55 8628
Raw data (/proc/8628/stat): 8628 (pb2sat) R 8627 8628 4059 0 -1 0 233016 0 0 0 19307 579 0 0 25 0 1 0 21557348 666841088 135602 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8628/statm): 162803 135602 364 364 0 162439 0
[pid=8628] vsize: 651212
Current children cumulated CPU time (s) 198.86
Current children cumulated vsize (Kb) 651212

[startup+210.008 s]
Raw data (loadavg): 0.99 0.96 0.96 2/55 8628
Raw data (/proc/8628/stat): 8628 (pb2sat) R 8627 8628 4059 0 -1 0 236145 0 0 0 20298 588 0 0 25 0 1 0 21557348 666841088 135604 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8628/statm): 162803 135604 364 364 0 162439 0
[pid=8628] vsize: 651212
Current children cumulated CPU time (s) 208.86
Current children cumulated vsize (Kb) 651212

[startup+220.008 s]
Raw data (loadavg): 0.99 0.96 0.96 2/55 8628
Raw data (/proc/8628/stat): 8628 (pb2sat) R 8627 8628 4059 0 -1 0 236173 0 0 0 21284 593 0 0 25 0 1 0 21557348 666976256 135632 4294967295 134512640 135987407 3221224560 3221223408 134790069 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8628/statm): 162836 135632 364 364 0 162472 0
[pid=8628] vsize: 651344
Current children cumulated CPU time (s) 218.77
Current children cumulated vsize (Kb) 651344

[startup+230.009 s]
Raw data (loadavg): 0.99 0.96 0.96 2/55 8628
Raw data (/proc/8628/stat): 8628 (pb2sat) R 8627 8628 4059 0 -1 0 236449 0 0 0 22271 598 0 0 25 0 1 0 21557348 668377088 135908 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8628/statm): 163178 135908 364 364 0 162814 0
[pid=8628] vsize: 652712
Current children cumulated CPU time (s) 228.69
Current children cumulated vsize (Kb) 652712

[startup+240.01 s]
Raw data (loadavg): 0.99 0.96 0.96 2/55 8628
Raw data (/proc/8628/stat): 8628 (pb2sat) R 8627 8628 4059 0 -1 0 239696 0 0 0 23253 610 0 0 25 0 1 0 21557348 681922560 139155 4294967295 134512640 135987407 3221224560 3221222920 134827499 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8628/statm): 166485 139155 364 364 0 166121 0
[pid=8628] vsize: 665940
Current children cumulated CPU time (s) 238.63
Current children cumulated vsize (Kb) 665940

[startup+250.01 s]
Raw data (loadavg): 0.99 0.96 0.96 2/55 8628
Raw data (/proc/8628/stat): 8628 (pb2sat) R 8627 8628 4059 0 -1 0 239760 0 0 0 24241 615 0 0 25 0 1 0 21557348 669446144 136092 4294967295 134512640 135987407 3221224560 3221223200 134821159 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8628/statm): 163439 136092 364 364 0 163075 0
[pid=8628] vsize: 653756
Current children cumulated CPU time (s) 248.56
Current children cumulated vsize (Kb) 653756

[startup+260.01 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 8628
Raw data (/proc/8628/stat): 8628 (pb2sat) R 8627 8628 4059 0 -1 0 239819 0 0 0 25228 619 0 0 25 0 1 0 21557348 669581312 136151 4294967295 134512640 135987407 3221224560 3221223408 134790069 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8628/statm): 163472 136151 364 364 0 163108 0
[pid=8628] vsize: 653888
Current children cumulated CPU time (s) 258.47
Current children cumulated vsize (Kb) 653888

[startup+270.01 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 8628
Raw data (/proc/8628/stat): 8628 (pb2sat) R 8627 8628 4059 0 -1 0 239959 0 0 0 26218 623 0 0 25 0 1 0 21557348 670318592 136291 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8628/statm): 163652 136291 364 364 0 163288 0
[pid=8628] vsize: 654608
Current children cumulated CPU time (s) 268.41
Current children cumulated vsize (Kb) 654608

[startup+280.011 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 8628
Raw data (/proc/8628/stat): 8628 (pb2sat) R 8627 8628 4059 0 -1 0 243109 0 0 0 27206 632 0 0 25 0 1 0 21557348 683261952 139441 4294967295 134512640 135987407 3221224560 3221222944 134829261 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8628/statm): 166812 139441 364 364 0 166448 0
[pid=8628] vsize: 667248
Current children cumulated CPU time (s) 278.38
Current children cumulated vsize (Kb) 667248

[startup+290.011 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 8628
Raw data (/proc/8628/stat): 8628 (pb2sat) R 8627 8628 4059 0 -1 0 243337 0 0 0 28187 640 0 0 25 0 1 0 21557348 671916032 136542 4294967295 134512640 135987407 3221224560 3221223248 134812126 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8628/statm): 164042 136542 364 364 0 163678 0
[pid=8628] vsize: 656168
Current children cumulated CPU time (s) 288.27
Current children cumulated vsize (Kb) 656168

[startup+300.011 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 8628
Raw data (/proc/8628/stat): 8628 (pb2sat) R 8627 8628 4059 0 -1 0 243463 0 0 0 29172 645 0 0 25 0 1 0 21557348 672452608 136635 4294967295 134512640 135987407 3221224560 3221223248 134811722 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8628/statm): 164173 136635 364 364 0 163809 0
[pid=8628] vsize: 656692
Current children cumulated CPU time (s) 298.17
Current children cumulated vsize (Kb) 656692

[startup+310.011 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 8628
Raw data (/proc/8628/stat): 8628 (pb2sat) R 8627 8628 4059 0 -1 0 243520 0 0 0 30160 650 0 0 25 0 1 0 21557348 672722944 136692 4294967295 134512640 135987407 3221224560 3221223376 134824259 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8628/statm): 164239 136692 364 364 0 163875 0
[pid=8628] vsize: 656956
Current children cumulated CPU time (s) 308.1
Current children cumulated vsize (Kb) 656956

[startup+320.01 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 8628
Raw data (/proc/8628/stat): 8628 (pb2sat) R 8627 8628 4059 0 -1 0 246655 0 0 0 31146 660 0 0 25 0 1 0 21557348 685531136 139827 4294967295 134512640 135987407 3221224560 3221222944 134828861 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8628/statm): 167366 139827 364 364 0 167002 0
[pid=8628] vsize: 669464
Current children cumulated CPU time (s) 318.06
Current children cumulated vsize (Kb) 669464

[startup+330.011 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 8628
Raw data (/proc/8628/stat): 8628 (pb2sat) R 8627 8628 4059 0 -1 0 246751 0 0 0 32133 664 0 0 25 0 1 0 21557348 673157120 136796 4294967295 134512640 135987407 3221224560 3221223424 134812696 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8628/statm): 164345 136796 364 364 0 163981 0
[pid=8628] vsize: 657380
Current children cumulated CPU time (s) 327.97
Current children cumulated vsize (Kb) 657380

[startup+340.011 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 8628
Raw data (/proc/8628/stat): 8628 (pb2sat) R 8627 8628 4059 0 -1 0 246953 0 0 0 33126 667 0 0 25 0 1 0 21557348 674164736 136998 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8628/statm): 164591 136998 364 364 0 164227 0
[pid=8628] vsize: 658364
Current children cumulated CPU time (s) 337.93
Current children cumulated vsize (Kb) 658364

[startup+350.01 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 8628
Raw data (/proc/8628/stat): 8628 (pb2sat) R 8627 8628 4059 0 -1 0 250081 0 0 0 34116 677 0 0 25 0 1 0 21557348 674164736 136999 4294967295 134512640 135987407 3221224560 3221223376 134876847 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8628/statm): 164591 136999 364 364 0 164227 0
[pid=8628] vsize: 658364
Current children cumulated CPU time (s) 347.93
Current children cumulated vsize (Kb) 658364

[startup+360.011 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 8628
Raw data (/proc/8628/stat): 8628 (pb2sat) R 8627 8628 4059 0 -1 0 250152 0 0 0 35104 681 0 0 25 0 1 0 21557348 674570240 137070 4294967295 134512640 135987407 3221224560 3221223388 134812256 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8628/statm): 164690 137070 364 364 0 164326 0
[pid=8628] vsize: 658760
Current children cumulated CPU time (s) 357.85
Current children cumulated vsize (Kb) 658760

[startup+370.011 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 8628
Raw data (/proc/8628/stat): 8628 (pb2sat) R 8627 8628 4059 0 -1 0 250758 0 0 0 36081 689 0 0 25 0 1 0 21557348 677715968 137643 4294967295 134512640 135987407 3221224560 3221223136 134801596 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8628/statm): 165458 137643 364 364 0 165094 0
[pid=8628] vsize: 661832
Current children cumulated CPU time (s) 367.7
Current children cumulated vsize (Kb) 661832

[startup+380.012 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 8628
Raw data (/proc/8628/stat): 8628 (pb2sat) R 8627 8628 4059 0 -1 0 251100 0 0 0 37068 695 0 0 25 0 1 0 21557348 679321600 137952 4294967295 134512640 135987407 3221224560 3221223248 134812150 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8628/statm): 165850 137952 364 364 0 165486 0
[pid=8628] vsize: 663400
Current children cumulated CPU time (s) 377.63
Current children cumulated vsize (Kb) 663400

[startup+390.011 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 8628
Raw data (/proc/8628/stat): 8628 (pb2sat) R 8627 8628 4059 0 -1 0 254300 0 0 0 38054 705 0 0 25 0 1 0 21557348 692396032 141119 4294967295 134512640 135987407 3221224560 3221222928 134828869 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8628/statm): 169042 141119 364 364 0 168678 0
[pid=8628] vsize: 676168
Current children cumulated CPU time (s) 387.59
Current children cumulated vsize (Kb) 676168

[startup+400.011 s]
Raw data (loadavg): 0.99 0.97 0.96 1/55 8628
Raw data (/proc/8628/stat): 8628 (pb2sat) T 8627 8628 4059 0 -1 0 254380 0 0 0 39029 715 0 0 25 0 1 0 21557348 680116224 138072 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8628/statm): 166044 138072 364 364 0 165680 0
[pid=8628] vsize: 664176
Current children cumulated CPU time (s) 397.44
Current children cumulated vsize (Kb) 664176

[startup+410.011 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 8628
Raw data (/proc/8628/stat): 8628 (pb2sat) R 8627 8628 4059 0 -1 0 254582 0 0 0 40012 722 0 0 25 0 1 0 21557348 681201664 138274 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8628/statm): 166309 138274 364 364 0 165945 0
[pid=8628] vsize: 665236
Current children cumulated CPU time (s) 407.34
Current children cumulated vsize (Kb) 665236

[startup+420.01 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 8628
Raw data (/proc/8628/stat): 8628 (pb2sat) R 8627 8628 4059 0 -1 0 254686 0 0 0 40997 726 0 0 25 0 1 0 21557348 681467904 138345 4294967295 134512640 135987407 3221224560 3221223088 134775173 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8628/statm): 166374 138345 364 364 0 166010 0
[pid=8628] vsize: 665496
Current children cumulated CPU time (s) 417.23
Current children cumulated vsize (Kb) 665496

[startup+430.011 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 8628
Raw data (/proc/8628/stat): 8628 (pb2sat) R 8627 8628 4059 0 -1 0 257815 0 0 0 41987 735 0 0 25 0 1 0 21557348 681467904 138347 4294967295 134512640 135987407 3221224560 3221223376 134824259 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8628/statm): 166374 138347 364 364 0 166010 0
[pid=8628] vsize: 665496
Current children cumulated CPU time (s) 427.22
Current children cumulated vsize (Kb) 665496

[startup+440.011 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 8628
Raw data (/proc/8628/stat): 8628 (pb2sat) R 8627 8628 4059 0 -1 0 257918 0 0 0 42977 739 0 0 25 0 1 0 21557348 681869312 138417 4294967295 134512640 135987407 3221224560 3221223408 134790069 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8628/statm): 166472 138417 364 364 0 166108 0
[pid=8628] vsize: 665888
Current children cumulated CPU time (s) 437.16
Current children cumulated vsize (Kb) 665888

[startup+450.01 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 8628
Raw data (/proc/8628/stat): 8628 (pb2sat) R 8627 8628 4059 0 -1 0 261058 0 0 0 43963 748 0 0 25 0 1 0 21557348 694677504 141557 4294967295 134512640 135987407 3221224560 3221222944 134829253 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8628/statm): 169599 141557 364 364 0 169235 0
[pid=8628] vsize: 678396
Current children cumulated CPU time (s) 447.11
Current children cumulated vsize (Kb) 678396

[startup+460.01 s]
Raw data (loadavg): 0.99 0.97 0.96 1/55 8628
Raw data (/proc/8628/stat): 8628 (pb2sat) T 8627 8628 4059 0 -1 0 261089 0 0 0 44956 751 0 0 25 0 1 0 21557348 682004480 138461 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8628/statm): 166505 138461 364 364 0 166141 0
[pid=8628] vsize: 666020
Current children cumulated CPU time (s) 457.07
Current children cumulated vsize (Kb) 666020

[startup+470.01 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 8628
Raw data (/proc/8628/stat): 8628 (pb2sat) R 8627 8628 4059 0 -1 0 261096 0 0 0 45941 756 0 0 25 0 1 0 21557348 682004480 138468 4294967295 134512640 135987407 3221224560 3221223408 134789997 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8628/statm): 166505 138468 364 364 0 166141 0
[pid=8628] vsize: 666020
Current children cumulated CPU time (s) 466.97
Current children cumulated vsize (Kb) 666020

[startup+480.011 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 8628
Raw data (/proc/8628/stat): 8628 (pb2sat) R 8627 8628 4059 0 -1 0 264226 0 0 0 46930 765 0 0 25 0 1 0 21557348 682004480 138471 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8628/statm): 166505 138471 364 364 0 166141 0
[pid=8628] vsize: 666020
Current children cumulated CPU time (s) 476.95
Current children cumulated vsize (Kb) 666020

[startup+490.01 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 8628
Raw data (/proc/8628/stat): 8628 (pb2sat) R 8627 8628 4059 0 -1 0 264316 0 0 0 47918 769 0 0 25 0 1 0 21557348 682545152 138561 4294967295 134512640 135987407 3221224560 3221223408 134790000 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8628/statm): 166637 138561 364 364 0 166273 0
[pid=8628] vsize: 666548
Current children cumulated CPU time (s) 486.87
Current children cumulated vsize (Kb) 666548

[startup+500.01 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 8628
Raw data (/proc/8628/stat): 8628 (pb2sat) R 8627 8628 4059 0 -1 0 264321 0 0 0 48900 776 0 0 25 0 1 0 21557348 682545152 138566 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8628/statm): 166637 138566 364 364 0 166273 0
[pid=8628] vsize: 666548
Current children cumulated CPU time (s) 496.76
Current children cumulated vsize (Kb) 666548

[startup+510.011 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 8628
Raw data (/proc/8628/stat): 8628 (pb2sat) R 8627 8628 4059 0 -1 0 267450 0 0 0 49888 784 0 0 25 0 1 0 21557348 682545152 138568 4294967295 134512640 135987407 3221224560 3221223292 135499903 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8628/statm): 166637 138568 364 364 0 166273 0
[pid=8628] vsize: 666548
Current children cumulated CPU time (s) 506.72
Current children cumulated vsize (Kb) 666548

[startup+520.01 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 8628
Raw data (/proc/8628/stat): 8628 (pb2sat) R 8627 8628 4059 0 -1 0 267962 0 0 0 50869 792 0 0 25 0 1 0 21557348 685195264 139047 4294967295 134512640 135987407 3221224560 3221223408 134790069 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8628/statm): 167284 139047 364 364 0 166920 0
[pid=8628] vsize: 669136
Current children cumulated CPU time (s) 516.61
Current children cumulated vsize (Kb) 669136

[startup+530.011 s]
Raw data (loadavg): 0.99 0.97 0.96 1/55 8628
Raw data (/proc/8628/stat): 8628 (pb2sat) T 8627 8628 4059 0 -1 0 268147 0 0 0 51854 797 0 0 25 0 1 0 21557348 686145536 139232 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8628/statm): 167516 139232 364 364 0 167152 0
[pid=8628] vsize: 670064
Current children cumulated CPU time (s) 526.51
Current children cumulated vsize (Kb) 670064

[startup+540.012 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 8628
Raw data (/proc/8628/stat): 8628 (pb2sat) R 8627 8628 4059 0 -1 0 268211 0 0 0 52835 805 0 0 25 0 1 0 21557348 686342144 139296 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8628/statm): 167564 139296 364 364 0 167200 0
[pid=8628] vsize: 670256
Current children cumulated CPU time (s) 536.4
Current children cumulated vsize (Kb) 670256

[startup+550.011 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 8628
Raw data (/proc/8628/stat): 8628 (pb2sat) R 8627 8628 4059 0 -1 0 271349 0 0 0 53819 816 0 0 25 0 1 0 21557348 686538752 139307 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8628/statm): 167612 139307 364 364 0 167248 0
[pid=8628] vsize: 670448
Current children cumulated CPU time (s) 546.35
Current children cumulated vsize (Kb) 670448

[startup+560.012 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 8628
Raw data (/proc/8628/stat): 8628 (pb2sat) R 8627 8628 4059 0 -1 0 271503 0 0 0 54798 823 0 0 25 0 1 0 21557348 687484928 139461 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8628/statm): 167843 139462 364 364 0 167479 0
[pid=8628] vsize: 671372
Current children cumulated CPU time (s) 556.21
Current children cumulated vsize (Kb) 671372

[startup+570.012 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 8628
Raw data (/proc/8628/stat): 8628 (pb2sat) R 8627 8628 4059 0 -1 0 271571 0 0 0 55779 830 0 0 25 0 1 0 21557348 687755264 139529 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8628/statm): 167909 139529 364 364 0 167545 0
[pid=8628] vsize: 671636
Current children cumulated CPU time (s) 566.09
Current children cumulated vsize (Kb) 671636

[startup+580.013 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 8628
Raw data (/proc/8628/stat): 8628 (pb2sat) R 8627 8628 4059 0 -1 0 274743 0 0 0 56761 842 0 0 25 0 1 0 21557348 700956672 142701 4294967295 134512640 135987407 3221224560 3221222932 134828865 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8628/statm): 171132 142701 364 364 0 170768 0
[pid=8628] vsize: 684528
Current children cumulated CPU time (s) 576.03
Current children cumulated vsize (Kb) 684528

[startup+590.012 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 8628
Raw data (/proc/8628/stat): 8628 (pb2sat) R 8627 8628 4059 0 -1 0 274899 0 0 0 57743 849 0 0 25 0 1 0 21557348 688685056 139697 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8628/statm): 168136 139697 364 364 0 167772 0
[pid=8628] vsize: 672544
Current children cumulated CPU time (s) 585.92
Current children cumulated vsize (Kb) 672544

[startup+600.012 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 8628
Raw data (/proc/8628/stat): 8628 (pb2sat) R 8627 8628 4059 0 -1 0 274902 0 0 0 58727 854 0 0 25 0 1 0 21557348 688685056 139700 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8628/statm): 168136 139700 364 364 0 167772 0
[pid=8628] vsize: 672544
Current children cumulated CPU time (s) 595.81
Current children cumulated vsize (Kb) 672544

[startup+610.013 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 8628
Raw data (/proc/8628/stat): 8628 (pb2sat) R 8627 8628 4059 0 -1 0 278059 0 0 0 59708 865 0 0 25 0 1 0 21557348 701628416 142857 4294967295 134512640 135987407 3221224560 3221222976 134827705 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8628/statm): 171296 142857 364 364 0 170932 0
[pid=8628] vsize: 685184
Current children cumulated CPU time (s) 605.73
Current children cumulated vsize (Kb) 685184

[startup+620.012 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 8628
Raw data (/proc/8628/stat): 8628 (pb2sat) T 8627 8628 4059 0 -1 0 278062 0 0 0 60697 869 0 0 25 0 1 0 21557348 688820224 139733 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8628/statm): 168169 139733 364 364 0 167805 0
[pid=8628] vsize: 672676
Current children cumulated CPU time (s) 615.66
Current children cumulated vsize (Kb) 672676

[startup+630.013 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 8628
Raw data (/proc/8628/stat): 8628 (pb2sat) R 8627 8628 4059 0 -1 0 278076 0 0 0 61680 876 0 0 25 0 1 0 21557348 688820224 139747 4294967295 134512640 135987407 3221224560 3221223120 134788457 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8628/statm): 168169 139747 364 364 0 167805 0
[pid=8628] vsize: 672676
Current children cumulated CPU time (s) 625.56
Current children cumulated vsize (Kb) 672676

[startup+640.014 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 8628
Raw data (/proc/8628/stat): 8628 (pb2sat) R 8627 8628 4059 0 -1 0 278102 0 0 0 62666 881 0 0 25 0 1 0 21557348 688955392 139773 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8628/statm): 168202 139773 364 364 0 167838 0
[pid=8628] vsize: 672808
Current children cumulated CPU time (s) 635.47
Current children cumulated vsize (Kb) 672808

[startup+650.014 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 8628
Raw data (/proc/8628/stat): 8628 (pb2sat) R 8627 8628 4059 0 -1 0 281231 0 0 0 63652 890 0 0 25 0 1 0 21557348 688955392 139775 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8628/statm): 168202 139775 364 364 0 167838 0
[pid=8628] vsize: 672808
Current children cumulated CPU time (s) 645.42
Current children cumulated vsize (Kb) 672808

[startup+660.014 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 8628
Raw data (/proc/8628/stat): 8628 (pb2sat) R 8627 8628 4059 0 -1 0 281337 0 0 0 64632 897 0 0 25 0 1 0 21557348 689496064 139881 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8628/statm): 168334 139881 364 364 0 167970 0
[pid=8628] vsize: 673336
Current children cumulated CPU time (s) 655.29
Current children cumulated vsize (Kb) 673336

[startup+670.014 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 8628
Raw data (/proc/8628/stat): 8628 (pb2sat) R 8627 8628 4059 0 -1 0 281394 0 0 0 65623 900 0 0 25 0 1 0 21557348 689766400 139938 4294967295 134512640 135987407 3221224560 3221223280 134814271 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8628/statm): 168400 139938 364 364 0 168036 0
[pid=8628] vsize: 673600
Current children cumulated CPU time (s) 665.23
Current children cumulated vsize (Kb) 673600

[startup+680.015 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 8628
Raw data (/proc/8628/stat): 8628 (pb2sat) R 8627 8628 4059 0 -1 0 284521 0 0 0 66616 908 0 0 25 0 1 0 21557348 689766400 139938 4294967295 134512640 135987407 3221224560 3221223376 134876845 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8628/statm): 168400 139938 364 364 0 168036 0
[pid=8628] vsize: 673600
Current children cumulated CPU time (s) 675.24
Current children cumulated vsize (Kb) 673600

[startup+690.014 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 8628
Raw data (/proc/8628/stat): 8628 (pb2sat) R 8627 8628 4059 0 -1 0 284575 0 0 0 67597 914 0 0 25 0 1 0 21557348 689901568 139992 4294967295 134512640 135987407 3221224560 3221223408 134790060 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8628/statm): 168433 139992 364 364 0 168069 0
[pid=8628] vsize: 673732
Current children cumulated CPU time (s) 685.11
Current children cumulated vsize (Kb) 673732

[startup+700.014 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 8628
Raw data (/proc/8628/stat): 8628 (pb2sat) R 8627 8628 4059 0 -1 0 284675 0 0 0 68578 919 0 0 25 0 1 0 21557348 690298880 140059 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8628/statm): 168530 140059 364 364 0 168166 0
[pid=8628] vsize: 674120
Current children cumulated CPU time (s) 694.97
Current children cumulated vsize (Kb) 674120

[startup+710.015 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 8628
Raw data (/proc/8628/stat): 8628 (pb2sat) R 8627 8628 4059 0 -1 0 284996 0 0 0 69560 926 0 0 25 0 1 0 21557348 691777536 140314 4294967295 134512640 135987407 3221224560 3221223248 134811959 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8628/statm): 168891 140314 364 364 0 168527 0
[pid=8628] vsize: 675564
Current children cumulated CPU time (s) 704.86
Current children cumulated vsize (Kb) 675564

[startup+720.015 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 8628
Raw data (/proc/8628/stat): 8628 (pb2sat) R 8627 8628 4059 0 -1 0 288170 0 0 0 70540 938 0 0 25 0 1 0 21557348 704856064 143488 4294967295 134512640 135987407 3221224560 3221222920 134827493 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8628/statm): 172084 143488 364 364 0 171720 0
[pid=8628] vsize: 688336
Current children cumulated CPU time (s) 714.78
Current children cumulated vsize (Kb) 688336

[startup+730.016 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 8628
Raw data (/proc/8628/stat): 8628 (pb2sat) R 8627 8628 4059 0 -1 0 288264 0 0 0 71520 945 0 0 25 0 1 0 21557348 692449280 140422 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8628/statm): 169055 140422 364 364 0 168691 0
[pid=8628] vsize: 676220
Current children cumulated CPU time (s) 724.65
Current children cumulated vsize (Kb) 676220

[startup+740.016 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 8628
Raw data (/proc/8628/stat): 8628 (pb2sat) R 8627 8628 4059 0 -1 0 288292 0 0 0 72503 950 0 0 25 0 1 0 21557348 692584448 140450 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8628/statm): 169088 140450 364 364 0 168724 0
[pid=8628] vsize: 676352
Current children cumulated CPU time (s) 734.53
Current children cumulated vsize (Kb) 676352

[startup+750.016 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 8628
Raw data (/proc/8628/stat): 8628 (pb2sat) R 8627 8628 4059 0 -1 0 291422 0 0 0 73485 960 0 0 25 0 1 0 21557348 705392640 143580 4294967295 134512640 135987407 3221224560 3221222944 134829342 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8628/statm): 172215 143580 364 364 0 171851 0
[pid=8628] vsize: 688860
Current children cumulated CPU time (s) 744.45
Current children cumulated vsize (Kb) 688860

[startup+760.016 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 8628
Raw data (/proc/8628/stat): 8628 (pb2sat) R 8627 8628 4059 0 -1 0 291459 0 0 0 74468 965 0 0 25 0 1 0 21557348 692719616 140490 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8628/statm): 169121 140490 364 364 0 168757 0
[pid=8628] vsize: 676484
Current children cumulated CPU time (s) 754.33
Current children cumulated vsize (Kb) 676484

[startup+770.016 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 8628
Raw data (/proc/8628/stat): 8628 (pb2sat) R 8627 8628 4059 0 -1 0 291618 0 0 0 75447 971 0 0 25 0 1 0 21557348 693391360 140616 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8628/statm): 169285 140616 364 364 0 168921 0
[pid=8628] vsize: 677140
Current children cumulated CPU time (s) 764.18
Current children cumulated vsize (Kb) 677140

[startup+780.017 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 8628
Raw data (/proc/8628/stat): 8628 (pb2sat) R 8627 8628 4059 0 -1 0 291705 0 0 0 76428 977 0 0 25 0 1 0 21557348 693796864 140703 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8628/statm): 169384 140703 364 364 0 169020 0
[pid=8628] vsize: 677536
Current children cumulated CPU time (s) 774.05
Current children cumulated vsize (Kb) 677536

[startup+790.016 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 8628
Raw data (/proc/8628/stat): 8628 (pb2sat) R 8627 8628 4059 0 -1 0 294869 0 0 0 77411 989 0 0 25 0 1 0 21557348 693932032 140740 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8628/statm): 169417 140740 364 364 0 169053 0
[pid=8628] vsize: 677668
Current children cumulated CPU time (s) 784
Current children cumulated vsize (Kb) 677668

[startup+800.016 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 8628
Raw data (/proc/8628/stat): 8628 (pb2sat) R 8627 8628 4059 0 -1 0 294921 0 0 0 78387 997 0 0 25 0 1 0 21557348 694202368 140792 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8628/statm): 169483 140792 364 364 0 169119 0
[pid=8628] vsize: 677932
Current children cumulated CPU time (s) 793.84
Current children cumulated vsize (Kb) 677932

[startup+810.017 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 8628
Raw data (/proc/8628/stat): 8628 (pb2sat) R 8627 8628 4059 0 -1 0 294929 0 0 0 79365 1004 0 0 25 0 1 0 21557348 694202368 140800 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8628/statm): 169483 140800 364 364 0 169119 0
[pid=8628] vsize: 677932
Current children cumulated CPU time (s) 803.69
Current children cumulated vsize (Kb) 677932

[startup+820.017 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 8628
Raw data (/proc/8628/stat): 8628 (pb2sat) R 8627 8628 4059 0 -1 0 298078 0 0 0 80350 1015 0 0 25 0 1 0 21557348 694337536 140822 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8628/statm): 169516 140822 364 364 0 169152 0
[pid=8628] vsize: 678064
Current children cumulated CPU time (s) 813.65
Current children cumulated vsize (Kb) 678064

[startup+830.018 s]
Raw data (loadavg): 0.99 0.97 0.96 1/55 8628
Raw data (/proc/8628/stat): 8628 (pb2sat) T 8627 8628 4059 0 -1 0 298189 0 0 0 81332 1021 0 0 25 0 1 0 21557348 694874112 140933 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8628/statm): 169647 140933 364 364 0 169283 0
[pid=8628] vsize: 678588
Current children cumulated CPU time (s) 823.53
Current children cumulated vsize (Kb) 678588

[startup+840.019 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 8628
Raw data (/proc/8628/stat): 8628 (pb2sat) R 8627 8628 4059 0 -1 0 298446 0 0 0 82312 1028 0 0 25 0 1 0 21557348 695943168 141091 4294967295 134512640 135987407 3221224560 3221223248 134811741 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8628/statm): 169908 141091 364 364 0 169544 0
[pid=8628] vsize: 679632
Current children cumulated CPU time (s) 833.4
Current children cumulated vsize (Kb) 679632

[startup+850.019 s]
Raw data (loadavg): 0.99 0.97 0.96 1/55 8628
Raw data (/proc/8628/stat): 8628 (pb2sat) T 8627 8628 4059 0 -1 0 298553 0 0 0 83292 1034 0 0 25 0 1 0 21557348 696479744 141198 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8628/statm): 170039 141198 364 364 0 169675 0
[pid=8628] vsize: 680156
Current children cumulated CPU time (s) 843.26
Current children cumulated vsize (Kb) 680156

[startup+860.018 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 8628
Raw data (/proc/8628/stat): 8628 (pb2sat) R 8627 8628 4059 0 -1 0 301727 0 0 0 84277 1045 0 0 25 0 1 0 21557348 696750080 141245 4294967295 134512640 135987407 3221224560 3221223328 134788493 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8628/statm): 170105 141245 364 364 0 169741 0
[pid=8628] vsize: 680420
Current children cumulated CPU time (s) 853.22
Current children cumulated vsize (Kb) 680420

[startup+870.018 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 8628
Raw data (/proc/8628/stat): 8628 (pb2sat) R 8627 8628 4059 0 -1 0 301728 0 0 0 85266 1048 0 0 25 0 1 0 21557348 696750080 141246 4294967295 134512640 135987407 3221224560 3221223248 134812025 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8628/statm): 170105 141246 364 364 0 169741 0
[pid=8628] vsize: 680420
Current children cumulated CPU time (s) 863.14
Current children cumulated vsize (Kb) 680420

[startup+880.019 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 8628
Raw data (/proc/8628/stat): 8628 (pb2sat) R 8627 8628 4059 0 -1 0 301779 0 0 0 86243 1054 0 0 25 0 1 0 21557348 696885248 141297 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8628/statm): 170138 141297 364 364 0 169774 0
[pid=8628] vsize: 680552
Current children cumulated CPU time (s) 872.97
Current children cumulated vsize (Kb) 680552

[startup+890.019 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 8628
Raw data (/proc/8628/stat): 8628 (pb2sat) R 8627 8628 4059 0 -1 0 301826 0 0 0 87225 1060 0 0 25 0 1 0 21557348 697155584 141344 4294967295 134512640 135987407 3221224560 3221223280 134814466 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8628/statm): 170204 141344 364 364 0 169840 0
[pid=8628] vsize: 680816
Current children cumulated CPU time (s) 882.85
Current children cumulated vsize (Kb) 680816

[startup+900.019 s]
Raw data (loadavg): 0.99 0.97 0.96 1/55 8628
Raw data (/proc/8628/stat): 8628 (pb2sat) T 8627 8628 4059 0 -1 0 304956 0 0 0 88204 1074 0 0 25 0 1 0 21557348 697155584 141347 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8628/statm): 170204 141347 364 364 0 169840 0
[pid=8628] vsize: 680816
Current children cumulated CPU time (s) 892.78
Current children cumulated vsize (Kb) 680816

[startup+910.019 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 8628
Raw data (/proc/8628/stat): 8628 (pb2sat) R 8627 8628 4059 0 -1 0 304962 0 0 0 89178 1082 0 0 25 0 1 0 21557348 697155584 141353 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8628/statm): 170204 141353 364 364 0 169840 0
[pid=8628] vsize: 680816
Current children cumulated CPU time (s) 902.6
Current children cumulated vsize (Kb) 680816

[startup+920.019 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 8628
Raw data (/proc/8628/stat): 8628 (pb2sat) R 8627 8628 4059 0 -1 0 308091 0 0 0 90163 1092 0 0 25 0 1 0 21557348 697155584 141355 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8628/statm): 170204 141355 364 364 0 169840 0
[pid=8628] vsize: 680816
Current children cumulated CPU time (s) 912.55
Current children cumulated vsize (Kb) 680816

[startup+930.02 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 8628
Raw data (/proc/8628/stat): 8628 (pb2sat) R 8627 8628 4059 0 -1 0 308119 0 0 0 91142 1100 0 0 25 0 1 0 21557348 697290752 141383 4294967295 134512640 135987407 3221224560 3221223424 134812696 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8628/statm): 170237 141383 364 364 0 169873 0
[pid=8628] vsize: 680948
Current children cumulated CPU time (s) 922.42
Current children cumulated vsize (Kb) 680948

[startup+940.02 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 8628
Raw data (/proc/8628/stat): 8628 (pb2sat) T 8627 8628 4059 0 -1 0 308124 0 0 0 92117 1109 0 0 25 0 1 0 21557348 697290752 141388 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8628/statm): 170237 141388 364 364 0 169873 0
[pid=8628] vsize: 680948
Current children cumulated CPU time (s) 932.26
Current children cumulated vsize (Kb) 680948

[startup+950.019 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 8628
Raw data (/proc/8628/stat): 8628 (pb2sat) R 8627 8628 4059 0 -1 0 311261 0 0 0 93100 1120 0 0 25 0 1 0 21557348 697290752 141398 4294967295 134512640 135987407 3221224560 3221223408 134790069 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8628/statm): 170237 141398 364 364 0 169873 0
[pid=8628] vsize: 680948
Current children cumulated CPU time (s) 942.2
Current children cumulated vsize (Kb) 680948

[startup+960.02 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 8628
Raw data (/proc/8628/stat): 8628 (pb2sat) R 8627 8628 4059 0 -1 0 311267 0 0 0 94076 1126 0 0 25 0 1 0 21557348 697290752 141404 4294967295 134512640 135987407 3221224560 3221223424 134812623 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8628/statm): 170237 141404 364 364 0 169873 0
[pid=8628] vsize: 680948
Current children cumulated CPU time (s) 952.02
Current children cumulated vsize (Kb) 680948

[startup+970.02 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 8628
Raw data (/proc/8628/stat): 8628 (pb2sat) R 8627 8628 4059 0 -1 0 311273 0 0 0 95060 1131 0 0 25 0 1 0 21557348 697290752 141410 4294967295 134512640 135987407 3221224560 3221223200 134789455 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8628/statm): 170237 141410 364 364 0 169873 0
[pid=8628] vsize: 680948
Current children cumulated CPU time (s) 961.91
Current children cumulated vsize (Kb) 680948

[startup+980.021 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 8628
Raw data (/proc/8628/stat): 8628 (pb2sat) R 8627 8628 4059 0 -1 0 314445 0 0 0 96040 1144 0 0 25 0 1 0 21557348 697561088 141455 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8628/statm): 170303 141455 364 364 0 169939 0
[pid=8628] vsize: 681212
Current children cumulated CPU time (s) 971.84
Current children cumulated vsize (Kb) 681212

[startup+990.021 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 8628
Raw data (/proc/8628/stat): 8628 (pb2sat) R 8627 8628 4059 0 -1 0 314453 0 0 0 97019 1150 0 0 25 0 1 0 21557348 697561088 141463 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8628/statm): 170303 141463 364 364 0 169939 0
[pid=8628] vsize: 681212
Current children cumulated CPU time (s) 981.69
Current children cumulated vsize (Kb) 681212

[startup+1000.02 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 8628
Raw data (/proc/8628/stat): 8628 (pb2sat) R 8627 8628 4059 0 -1 0 317582 0 0 0 98003 1161 0 0 25 0 1 0 21557348 697561088 141465 4294967295 134512640 135987407 3221224560 3221223376 134876948 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8628/statm): 170303 141465 364 364 0 169939 0
[pid=8628] vsize: 681212
Current children cumulated CPU time (s) 991.64
Current children cumulated vsize (Kb) 681212

[startup+1010.02 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 8628
Raw data (/proc/8628/stat): 8628 (pb2sat) R 8627 8628 4059 0 -1 0 317583 0 0 0 98988 1167 0 0 25 0 1 0 21557348 697561088 141466 4294967295 134512640 135987407 3221224560 3221223248 134788799 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8628/statm): 170303 141466 364 364 0 169939 0
[pid=8628] vsize: 681212
Current children cumulated CPU time (s) 1001.55
Current children cumulated vsize (Kb) 681212

[startup+1020.02 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 8628
Raw data (/proc/8628/stat): 8628 (pb2sat) R 8627 8628 4059 0 -1 0 317587 0 0 0 99964 1177 0 0 25 0 1 0 21557348 697561088 141470 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8628/statm): 170303 141470 364 364 0 169939 0
[pid=8628] vsize: 681212
Current children cumulated CPU time (s) 1011.41
Current children cumulated vsize (Kb) 681212

[startup+1030.02 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 8628
Raw data (/proc/8628/stat): 8628 (pb2sat) R 8627 8628 4059 0 -1 0 320717 0 0 0 100950 1188 0 0 25 0 1 0 21557348 697561088 141473 4294967295 134512640 135987407 3221224560 3221223408 134790069 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8628/statm): 170303 141473 364 364 0 169939 0
[pid=8628] vsize: 681212
Current children cumulated CPU time (s) 1021.38
Current children cumulated vsize (Kb) 681212

[startup+1040.02 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 8628
Raw data (/proc/8628/stat): 8628 (pb2sat) R 8627 8628 4059 0 -1 0 320725 0 0 0 101925 1197 0 0 25 0 1 0 21557348 697561088 141481 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8628/statm): 170303 141481 364 364 0 169939 0
[pid=8628] vsize: 681212
Current children cumulated CPU time (s) 1031.22
Current children cumulated vsize (Kb) 681212

[startup+1050.02 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 8628
Raw data (/proc/8628/stat): 8628 (pb2sat) R 8627 8628 4059 0 -1 0 323856 0 0 0 102901 1210 0 0 25 0 1 0 21557348 710369280 144612 4294967295 134512640 135987407 3221224560 3221222920 134827493 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8628/statm): 173430 144612 364 364 0 173066 0
[pid=8628] vsize: 693720
Current children cumulated CPU time (s) 1041.11
Current children cumulated vsize (Kb) 693720

[startup+1060.02 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 8628
Raw data (/proc/8628/stat): 8628 (pb2sat) R 8627 8628 4059 0 -1 0 323860 0 0 0 103885 1215 0 0 25 0 1 0 21557348 697561088 141489 4294967295 134512640 135987407 3221224560 3221223248 134811870 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8628/statm): 170303 141489 364 364 0 169939 0
[pid=8628] vsize: 681212
Current children cumulated CPU time (s) 1051
Current children cumulated vsize (Kb) 681212

[startup+1070.02 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 8628
Raw data (/proc/8628/stat): 8628 (pb2sat) R 8627 8628 4059 0 -1 0 323870 0 0 0 104852 1226 0 0 25 0 1 0 21557348 697561088 141499 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8628/statm): 170303 141499 364 364 0 169939 0
[pid=8628] vsize: 681212
Current children cumulated CPU time (s) 1060.78
Current children cumulated vsize (Kb) 681212

[startup+1080.02 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 8628
Raw data (/proc/8628/stat): 8628 (pb2sat) R 8627 8628 4059 0 -1 0 327001 0 0 0 105834 1237 0 0 25 0 1 0 21557348 697561088 141503 4294967295 134512640 135987407 3221224560 3221223384 134812453 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8628/statm): 170303 141503 364 364 0 169939 0
[pid=8628] vsize: 681212
Current children cumulated CPU time (s) 1070.71
Current children cumulated vsize (Kb) 681212

[startup+1090.02 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 8628
Raw data (/proc/8628/stat): 8628 (pb2sat) R 8627 8628 4059 0 -1 0 327008 0 0 0 106809 1244 0 0 25 0 1 0 21557348 697561088 141510 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8628/statm): 170303 141510 364 364 0 169939 0
[pid=8628] vsize: 681212
Current children cumulated CPU time (s) 1080.53
Current children cumulated vsize (Kb) 681212

[startup+1100.02 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 8628
Raw data (/proc/8628/stat): 8628 (pb2sat) R 8627 8628 4059 0 -1 0 330140 0 0 0 107784 1259 0 0 25 0 1 0 21557348 710369280 144642 4294967295 134512640 135987407 3221224560 3221222920 134827499 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8628/statm): 173430 144642 364 364 0 173066 0
[pid=8628] vsize: 693720
Current children cumulated CPU time (s) 1090.43
Current children cumulated vsize (Kb) 693720

[startup+1110.02 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 8628
Raw data (/proc/8628/stat): 8628 (pb2sat) R 8627 8628 4059 0 -1 0 330145 0 0 0 108767 1265 0 0 25 0 1 0 21557348 697561088 141520 4294967295 134512640 135987407 3221224560 3221223248 134811990 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8628/statm): 170303 141520 364 364 0 169939 0
[pid=8628] vsize: 681212
Current children cumulated CPU time (s) 1100.32
Current children cumulated vsize (Kb) 681212

[startup+1120.02 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 8628
Raw data (/proc/8628/stat): 8628 (pb2sat) R 8627 8628 4059 0 -1 0 330153 0 0 0 109742 1273 0 0 25 0 1 0 21557348 697561088 141528 4294967295 134512640 135987407 3221224560 3221223408 134790069 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8628/statm): 170303 141528 364 364 0 169939 0
[pid=8628] vsize: 681212
Current children cumulated CPU time (s) 1110.15
Current children cumulated vsize (Kb) 681212

[startup+1130.02 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 8628
Raw data (/proc/8628/stat): 8628 (pb2sat) R 8627 8628 4059 0 -1 0 333281 0 0 0 110728 1284 0 0 25 0 1 0 21557348 697561088 141529 4294967295 134512640 135987407 3221224560 3221223328 134882547 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8628/statm): 170303 141529 364 364 0 169939 0
[pid=8628] vsize: 681212
Current children cumulated CPU time (s) 1120.12
Current children cumulated vsize (Kb) 681212

[startup+1140.02 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 8628
Raw data (/proc/8628/stat): 8628 (pb2sat) R 8627 8628 4059 0 -1 0 333282 0 0 0 111711 1290 0 0 25 0 1 0 21557348 697561088 141530 4294967295 134512640 135987407 3221224560 3221223248 134812031 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8628/statm): 170303 141530 364 364 0 169939 0
[pid=8628] vsize: 681212
Current children cumulated CPU time (s) 1130.01
Current children cumulated vsize (Kb) 681212

[startup+1150.02 s]
Raw data (loadavg): 0.99 0.97 0.96 1/55 8628
Raw data (/proc/8628/stat): 8628 (pb2sat) T 8627 8628 4059 0 -1 0 333285 0 0 0 112685 1300 0 0 25 0 1 0 21557348 697561088 141533 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8628/statm): 170303 141533 364 364 0 169939 0
[pid=8628] vsize: 681212
Current children cumulated CPU time (s) 1139.85
Current children cumulated vsize (Kb) 681212

[startup+1160.03 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 8628
Raw data (/proc/8628/stat): 8628 (pb2sat) R 8627 8628 4059 0 -1 0 336412 0 0 0 113664 1312 0 0 25 0 1 0 21557348 697561088 141533 4294967295 134512640 135987407 3221224560 3221223248 134812049 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8628/statm): 170303 141533 364 364 0 169939 0
[pid=8628] vsize: 681212
Current children cumulated CPU time (s) 1149.76
Current children cumulated vsize (Kb) 681212

[startup+1170.03 s]
Raw data (loadavg): 0.99 0.97 0.96 1/55 8628
Raw data (/proc/8628/stat): 8628 (pb2sat) T 8627 8628 4059 0 -1 0 336415 0 0 0 114640 1320 0 0 25 0 1 0 21557348 697561088 141536 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8628/statm): 170303 141536 364 364 0 169939 0
[pid=8628] vsize: 681212
Current children cumulated CPU time (s) 1159.6
Current children cumulated vsize (Kb) 681212

[startup+1180.03 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 8628
Raw data (/proc/8628/stat): 8628 (pb2sat) R 8627 8628 4059 0 -1 0 336419 0 0 0 115619 1326 0 0 25 0 1 0 21557348 697561088 141540 4294967295 134512640 135987407 3221224560 3221223200 134789437 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8628/statm): 170303 141540 364 364 0 169939 0
[pid=8628] vsize: 681212
Current children cumulated CPU time (s) 1169.45
Current children cumulated vsize (Kb) 681212

[startup+1190.03 s]
Raw data (loadavg): 0.99 0.97 0.96 1/55 8628
Raw data (/proc/8628/stat): 8628 (pb2sat) T 8627 8628 4059 0 -1 0 339551 0 0 0 116596 1340 0 0 25 0 1 0 21557348 697561088 141545 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/8628/statm): 170303 141545 364 364 0 169939 0
[pid=8628] vsize: 681212
Current children cumulated CPU time (s) 1179.36
Current children cumulated vsize (Kb) 681212

[startup+1200.03 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 8628
Raw data (/proc/8628/stat): 8628 (pb2sat) R 8627 8628 4059 0 -1 0 339804 0 0 0 117570 1350 0 0 25 0 1 0 21557348 698359808 141699 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8628/statm): 170498 141699 364 364 0 170134 0
[pid=8628] vsize: 681992
Current children cumulated CPU time (s) 1189.2
Current children cumulated vsize (Kb) 681992

[startup+1210.03 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 8628
Raw data (/proc/8628/stat): 8628 (pb2sat) R 8627 8628 4059 0 -1 0 342932 0 0 0 118550 1362 0 0 25 0 1 0 21557348 711168000 144827 4294967295 134512640 135987407 3221224560 3221222944 134829345 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8628/statm): 173625 144827 364 364 0 173261 0
[pid=8628] vsize: 694500
Current children cumulated CPU time (s) 1199.12
Current children cumulated vsize (Kb) 694500

[startup+1220.03 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 8628
Raw data (/proc/8628/stat): 8628 (pb2sat) R 8627 8628 4059 0 -1 0 343091 0 0 0 119532 1369 0 0 25 0 1 0 21557348 698900480 141859 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8628/statm): 170630 141859 364 364 0 170266 0
[pid=8628] vsize: 682520
Current children cumulated CPU time (s) 1209.01
Current children cumulated vsize (Kb) 682520



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1220.03 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 8628
Raw data (/proc/8628/stat): 8628 (pb2sat) R 8627 8628 4059 0 -1 0 343091 0 0 0 119532 1369 0 0 25 0 1 0 21557348 698900480 141859 4294967295 134512640 135987407 3221224560 3221223136 134801576 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8628/statm): 170630 141859 364 364 0 170266 0
[pid=8628] vsize: 682520
Current children cumulated CPU time (s) 1209.01
Current children cumulated vsize (Kb) 682520

Sending SIGTERM to -8628
Sleeping 2 seconds
Sending SIGKILL to -8628
One traced child (pid=8628) ended because it received signal 9 (SIGKILL)
All traced children have exited ! Game is over.

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1222.19
CPU time (s): 1211.16
CPU user time (s): 1197.17
CPU system time (s): 13.9829
CPU usage (%): 99.0975
Max. virtual memory (cumulated for all children) (Kb): 694500

Verifier Data

ERROR: no interpretation found !