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

Namesubmitted/manquinho/synthesis-ptl-cmos-circuits/normalized-cc.opb
MD5SUM0493ba9e257fafbb54efa7af2eeb7bf2
Bench Categoryoptimization, small integers (OPTSMALLINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 1567
Optimality of the best value was proved YES
Number of terms in the objective function 133
Biggest coefficient in the objective function 60
Number of bits for the biggest coefficient in the objective function 6
Sum of the numbers in the objective function 5699
Number of bits of the sum of numbers in the objective function 13
Biggest number in a constraint 60
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 5699
Number of bits of the biggest sum of numbers13
Best result obtained on this benchmarkOPTIMUM FOUND
Best CPU time to get the best result obtained on this benchmark15.8786
Number of variables133
Total number of constraints229
Number of constraints which are clauses229
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint31

Trace number 9785

Launcher Data

LAUNCH ON wulflinc5 THE 2005-09-23 15:06:05 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=8454 boxname=wulflinc5 idbench=250 idsolver=8 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  0493ba9e257fafbb54efa7af2eeb7bf2  /oldhome/oroussel/tmp/wulflinc5/normalized-cc.opb
REAL COMMAND:  pb2sat /oldhome/oroussel/tmp/wulflinc5/normalized-cc.opb
IDLAUNCH: 8454
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.158
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.158
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	: 901.12

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        936536 kB
Buffers:         14480 kB
Cached:          65080 kB
SwapCached:          0 kB
Active:          43808 kB
Inactive:        38624 kB
HighTotal:      131008 kB
HighFree:        62020 kB
LowTotal:       903652 kB
LowFree:        874516 kB
SwapTotal:     2097136 kB
SwapFree:      2097136 kB
Dirty:              32 kB
Writeback:           0 kB
Mapped:           6972 kB
Slab:            10044 kB
Committed_AS:    63620 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-09-23 15:26:16 (client local time) WITH STATUS 10 IN 1208.94 SECONDS
stats: 8454 0 1208.94 10

Solver Data

c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...
c got solution with objective value: 5506
c small objective detected

c Decision: 122312/246225	Time: 398.217/86400
c Decision: 122312/246225	Time: 435.894/86400
c Decision: 122312/246225	Time: 476.945/86400
c Decision: 122312/246225	Time: 512.875/86400
c Decision: 122312/246225	Time: 554.9/86400
c Decision: 122312/246225	Time: 600.54/86400
c Decision: 122312/246225	Time: 637.322/86400
c Decision: 122312/246225	Time: 674.035/86400
c Decision: 122312/246225	Time: 717.62/86400
c Decision: 122312/246225	Time: 757.399/86400
c Decision: 122312/246225	Time: 798.887/86400
c Decision: 122312/246225	Time: 841.341/86400
c Decision: 122312/246225	Time: 876.355/86400
c Decision: 122312/246225	Time: 914.509/86400
c Decision: 122312/246225	Time: 961.954/86400
c Decision: 122312/246225	Time: 1002.04/86400
c Decision: 122312/246225	Time: 1047.27/86400
c Decision: 122312/246225	Time: 1084.11/86400
c Decision: 122312/246225	Time: 1127.51/86400
c Decision: 122312/246225	Time: 1171.4/86400s SATISFIABLE
v x1 x10 x100 x101 x102 x103 x104 x105 x106 x107 x108 x109 x11 x110 x111 x112 x113 x114 x115 x116 x117 x118 x119 x12 x120 x121 x122 x123 x124 x125 x126 x127 x128 x129 x13 x130 x131 x132 x133 x14 x15 x16 x17 x18 x19 x2 -x20 x21 x22 x23 x24 x25 x26 x27 x28 x29 x3 x30 x31 x32 x33 x34 x35 x36 x37 x38 x39 x4 x40 -x41 x42 x43 x44 x45 x46 x47 x48 x49 x5 x50 x51 x52 x53 x54 x55 -x56 x57 x58 -x59 x6 x60 x61 x62 x63 x64 -x65 x66 x67 x68 x69 x7 x70 x71 x72 x73 x74 x75 x76 x77 x78 x79 x8 x80 x81 x82 x83 x84 x85 x86 x87 x88 x89 x9 x90 x91 x92 x93 x94 x95 x96 x97 x98 x99

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/7940/stat): 7940 (pb2sat) R 7939 7940 4060 0 -1 0 18 0 0 0 0 0 0 0 24 0 1 0 21150693 1527808 2 4294967295 134512640 135987407 3221224576 3221224576 134512928 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/7940/statm): 373 2 364 364 0 9 0
[pid=7940] vsize: 1492
open syscall for file /oldhome/oroussel/tmp/wulflinc5/normalized-cc.opb

[startup+10.0019 s]
Raw data (loadavg): 0.87 0.97 0.99 2/55 7940
Raw data (/proc/7940/stat): 7940 (pb2sat) R 7939 7940 4060 0 -1 0 32108 0 0 0 927 69 0 0 25 0 1 0 21150693 98541568 20963 4294967295 134512640 135987407 3221224576 3221205180 134887256 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7940/statm): 24058 20963 364 364 0 23694 0
[pid=7940] vsize: 96232
Current children cumulated CPU time (s) 9.96
Current children cumulated vsize (Kb) 96232

[startup+20.0027 s]
Raw data (loadavg): 0.89 0.97 0.99 2/55 7940
Raw data (/proc/7940/stat): 7940 (pb2sat) R 7939 7940 4060 0 -1 0 36459 0 0 0 1915 79 0 0 25 0 1 0 21150693 108879872 24710 4294967295 134512640 135987407 3221224576 3221223120 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7940/statm): 26582 24710 364 364 0 26218 0
[pid=7940] vsize: 106328
Current children cumulated CPU time (s) 19.94
Current children cumulated vsize (Kb) 106328

[startup+30.0024 s]
Raw data (loadavg): 0.91 0.97 0.99 2/55 7940
Raw data (/proc/7940/stat): 7940 (pb2sat) R 7939 7940 4060 0 -1 0 36591 0 0 0 2913 80 0 0 25 0 1 0 21150693 109281280 24809 4294967295 134512640 135987407 3221224576 3221222992 134788502 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7940/statm): 26680 24809 364 364 0 26316 0
[pid=7940] vsize: 106720
Current children cumulated CPU time (s) 29.93
Current children cumulated vsize (Kb) 106720

[startup+40.0031 s]
Raw data (loadavg): 0.92 0.97 0.99 2/55 7940
Raw data (/proc/7940/stat): 7940 (pb2sat) R 7939 7940 4060 0 -1 0 36642 0 0 0 3912 81 0 0 25 0 1 0 21150693 109547520 24860 4294967295 134512640 135987407 3221224576 3221223120 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7940/statm): 26745 24860 364 364 0 26381 0
[pid=7940] vsize: 106980
Current children cumulated CPU time (s) 39.93
Current children cumulated vsize (Kb) 106980

[startup+50.0039 s]
Raw data (loadavg): 0.93 0.97 0.99 2/55 7940
Raw data (/proc/7940/stat): 7940 (pb2sat) R 7939 7940 4060 0 -1 0 36692 0 0 0 4910 81 0 0 25 0 1 0 21150693 109813760 24910 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7940/statm): 26810 24910 364 364 0 26446 0
[pid=7940] vsize: 107240
Current children cumulated CPU time (s) 49.91
Current children cumulated vsize (Kb) 107240

[startup+60.0046 s]
Raw data (loadavg): 0.94 0.97 0.99 2/55 7940
Raw data (/proc/7940/stat): 7940 (pb2sat) R 7939 7940 4060 0 -1 0 36737 0 0 0 5908 82 0 0 25 0 1 0 21150693 110010368 24955 4294967295 134512640 135987407 3221224576 3221223120 134812028 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7940/statm): 26858 24955 364 364 0 26494 0
[pid=7940] vsize: 107432
Current children cumulated CPU time (s) 59.9
Current children cumulated vsize (Kb) 107432

[startup+70.0054 s]
Raw data (loadavg): 0.95 0.97 0.99 2/55 7940
Raw data (/proc/7940/stat): 7940 (pb2sat) R 7939 7940 4060 0 -1 0 36776 0 0 0 6907 82 0 0 25 0 1 0 21150693 110145536 24994 4294967295 134512640 135987407 3221224576 3221223120 134811937 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7940/statm): 26891 24994 364 364 0 26527 0
[pid=7940] vsize: 107564
Current children cumulated CPU time (s) 69.89
Current children cumulated vsize (Kb) 107564

[startup+80.0061 s]
Raw data (loadavg): 0.96 0.97 0.99 2/55 7940
Raw data (/proc/7940/stat): 7940 (pb2sat) R 7939 7940 4060 0 -1 0 36786 0 0 0 7905 83 0 0 25 0 1 0 21150693 110145536 25004 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7940/statm): 26891 25004 364 364 0 26527 0
[pid=7940] vsize: 107564
Current children cumulated CPU time (s) 79.88
Current children cumulated vsize (Kb) 107564

[startup+90.0068 s]
Raw data (loadavg): 0.96 0.97 0.99 2/55 7940
Raw data (/proc/7940/stat): 7940 (pb2sat) R 7939 7940 4060 0 -1 0 36832 0 0 0 8903 84 0 0 25 0 1 0 21150693 110411776 25050 4294967295 134512640 135987407 3221224576 3221223120 134811792 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7940/statm): 26956 25050 364 364 0 26592 0
[pid=7940] vsize: 107824
Current children cumulated CPU time (s) 89.87
Current children cumulated vsize (Kb) 107824

[startup+100.007 s]
Raw data (loadavg): 0.97 0.97 0.99 2/55 7940
Raw data (/proc/7940/stat): 7940 (pb2sat) R 7939 7940 4060 0 -1 0 36846 0 0 0 9901 85 0 0 25 0 1 0 21150693 110411776 25064 4294967295 134512640 135987407 3221224576 3221223120 134812025 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7940/statm): 26956 25064 364 364 0 26592 0
[pid=7940] vsize: 107824
Current children cumulated CPU time (s) 99.86
Current children cumulated vsize (Kb) 107824

[startup+110.007 s]
Raw data (loadavg): 0.97 0.97 0.99 2/55 7940
Raw data (/proc/7940/stat): 7940 (pb2sat) R 7939 7940 4060 0 -1 0 36852 0 0 0 10899 85 0 0 25 0 1 0 21150693 110411776 25070 4294967295 134512640 135987407 3221224576 3221223248 134824259 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7940/statm): 26956 25070 364 364 0 26592 0
[pid=7940] vsize: 107824
Current children cumulated CPU time (s) 109.84
Current children cumulated vsize (Kb) 107824

[startup+120.008 s]
Raw data (loadavg): 0.98 0.97 0.99 2/55 7940
Raw data (/proc/7940/stat): 7940 (pb2sat) R 7939 7940 4060 0 -1 0 36859 0 0 0 11897 85 0 0 25 0 1 0 21150693 110411776 25077 4294967295 134512640 135987407 3221224576 3221223212 134812407 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7940/statm): 26956 25077 364 364 0 26592 0
[pid=7940] vsize: 107824
Current children cumulated CPU time (s) 119.82
Current children cumulated vsize (Kb) 107824

[startup+130.008 s]
Raw data (loadavg): 0.98 0.97 0.99 2/55 7940
Raw data (/proc/7940/stat): 7940 (pb2sat) R 7939 7940 4060 0 -1 0 36863 0 0 0 12894 87 0 0 25 0 1 0 21150693 110411776 25081 4294967295 134512640 135987407 3221224576 3221223120 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7940/statm): 26956 25081 364 364 0 26592 0
[pid=7940] vsize: 107824
Current children cumulated CPU time (s) 129.81
Current children cumulated vsize (Kb) 107824

[startup+140.009 s]
Raw data (loadavg): 0.98 0.97 0.99 2/55 7940
Raw data (/proc/7940/stat): 7940 (pb2sat) R 7939 7940 4060 0 -1 0 36870 0 0 0 13893 87 0 0 25 0 1 0 21150693 110411776 25088 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7940/statm): 26956 25088 364 364 0 26592 0
[pid=7940] vsize: 107824
Current children cumulated CPU time (s) 139.8
Current children cumulated vsize (Kb) 107824

[startup+150.008 s]
Raw data (loadavg): 0.98 0.97 0.99 2/55 7940
Raw data (/proc/7940/stat): 7940 (pb2sat) R 7939 7940 4060 0 -1 0 36875 0 0 0 14891 88 0 0 25 0 1 0 21150693 110411776 25093 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7940/statm): 26956 25093 364 364 0 26592 0
[pid=7940] vsize: 107824
Current children cumulated CPU time (s) 149.79
Current children cumulated vsize (Kb) 107824

[startup+160.009 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 7940
Raw data (/proc/7940/stat): 7940 (pb2sat) R 7939 7940 4060 0 -1 0 36882 0 0 0 15889 88 0 0 25 0 1 0 21150693 110411776 25100 4294967295 134512640 135987407 3221224576 3221223024 134775447 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7940/statm): 26956 25100 364 364 0 26592 0
[pid=7940] vsize: 107824
Current children cumulated CPU time (s) 159.77
Current children cumulated vsize (Kb) 107824

[startup+170.01 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 7940
Raw data (/proc/7940/stat): 7940 (pb2sat) R 7939 7940 4060 0 -1 0 36891 0 0 0 16888 89 0 0 25 0 1 0 21150693 110411776 25109 4294967295 134512640 135987407 3221224576 3221223120 134811816 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7940/statm): 26956 25109 364 364 0 26592 0
[pid=7940] vsize: 107824
Current children cumulated CPU time (s) 169.77
Current children cumulated vsize (Kb) 107824

[startup+180.01 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 7940
Raw data (/proc/7940/stat): 7940 (pb2sat) R 7939 7940 4060 0 -1 0 36898 0 0 0 17886 90 0 0 25 0 1 0 21150693 110411776 25116 4294967295 134512640 135987407 3221224576 3221223248 134824259 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7940/statm): 26956 25116 364 364 0 26592 0
[pid=7940] vsize: 107824
Current children cumulated CPU time (s) 179.76
Current children cumulated vsize (Kb) 107824

[startup+190.011 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 7940
Raw data (/proc/7940/stat): 7940 (pb2sat) R 7939 7940 4060 0 -1 0 36904 0 0 0 18885 91 0 0 25 0 1 0 21150693 110411776 25122 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7940/statm): 26956 25122 364 364 0 26592 0
[pid=7940] vsize: 107824
Current children cumulated CPU time (s) 189.76
Current children cumulated vsize (Kb) 107824

[startup+200.012 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 7940
Raw data (/proc/7940/stat): 7940 (pb2sat) R 7939 7940 4060 0 -1 0 36910 0 0 0 19883 91 0 0 25 0 1 0 21150693 110411776 25128 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7940/statm): 26956 25128 364 364 0 26592 0
[pid=7940] vsize: 107824
Current children cumulated CPU time (s) 199.74
Current children cumulated vsize (Kb) 107824

[startup+210.012 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 7940
Raw data (/proc/7940/stat): 7940 (pb2sat) R 7939 7940 4060 0 -1 0 36916 0 0 0 20882 92 0 0 25 0 1 0 21150693 110411776 25134 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7940/statm): 26956 25134 364 364 0 26592 0
[pid=7940] vsize: 107824
Current children cumulated CPU time (s) 209.74
Current children cumulated vsize (Kb) 107824

[startup+220.012 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 7940
Raw data (/proc/7940/stat): 7940 (pb2sat) R 7939 7940 4060 0 -1 0 36972 0 0 0 21880 92 0 0 25 0 1 0 21150693 110542848 25157 4294967295 134512640 135987407 3221224576 3221223120 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7940/statm): 26988 25157 364 364 0 26624 0
[pid=7940] vsize: 107952
Current children cumulated CPU time (s) 219.72
Current children cumulated vsize (Kb) 107952

[startup+230.013 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 7940
Raw data (/proc/7940/stat): 7940 (pb2sat) R 7939 7940 4060 0 -1 0 36978 0 0 0 22879 93 0 0 25 0 1 0 21150693 110542848 25163 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7940/statm): 26988 25163 364 364 0 26624 0
[pid=7940] vsize: 107952
Current children cumulated CPU time (s) 229.72
Current children cumulated vsize (Kb) 107952

[startup+240.014 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 7940
Raw data (/proc/7940/stat): 7940 (pb2sat) R 7939 7940 4060 0 -1 0 37050 0 0 0 23878 94 0 0 25 0 1 0 21150693 110809088 25202 4294967295 134512640 135987407 3221224576 3221223264 134787349 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7940/statm): 27053 25202 364 364 0 26689 0
[pid=7940] vsize: 108212
Current children cumulated CPU time (s) 239.72
Current children cumulated vsize (Kb) 108212

[startup+250.014 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 7940
Raw data (/proc/7940/stat): 7940 (pb2sat) R 7939 7940 4060 0 -1 0 37062 0 0 0 24876 95 0 0 25 0 1 0 21150693 110809088 25214 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7940/statm): 27053 25214 364 364 0 26689 0
[pid=7940] vsize: 108212
Current children cumulated CPU time (s) 249.71
Current children cumulated vsize (Kb) 108212

[startup+260.013 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 7940
Raw data (/proc/7940/stat): 7940 (pb2sat) R 7939 7940 4060 0 -1 0 37068 0 0 0 25874 96 0 0 25 0 1 0 21150693 110809088 25220 4294967295 134512640 135987407 3221224576 3221223120 134812025 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7940/statm): 27053 25220 364 364 0 26689 0
[pid=7940] vsize: 108212
Current children cumulated CPU time (s) 259.7
Current children cumulated vsize (Kb) 108212

[startup+270.014 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 7940
Raw data (/proc/7940/stat): 7940 (pb2sat) R 7939 7940 4060 0 -1 0 37081 0 0 0 26873 97 0 0 25 0 1 0 21150693 110809088 25233 4294967295 134512640 135987407 3221224576 3221223280 134790054 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7940/statm): 27053 25233 364 364 0 26689 0
[pid=7940] vsize: 108212
Current children cumulated CPU time (s) 269.7
Current children cumulated vsize (Kb) 108212

[startup+280.014 s]
Raw data (loadavg): 0.99 0.97 0.99 1/55 7940
Raw data (/proc/7940/stat): 7940 (pb2sat) T 7939 7940 4060 0 -1 0 37092 0 0 0 27870 98 0 0 25 0 1 0 21150693 110809088 25244 4294967295 134512640 135987407 3221224576 3221223260 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/7940/statm): 27053 25244 364 364 0 26689 0
[pid=7940] vsize: 108212
Current children cumulated CPU time (s) 279.68
Current children cumulated vsize (Kb) 108212

[startup+290.015 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 7940
Raw data (/proc/7940/stat): 7940 (pb2sat) R 7939 7940 4060 0 -1 0 37102 0 0 0 28870 98 0 0 25 0 1 0 21150693 110809088 25254 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7940/statm): 27053 25254 364 364 0 26689 0
[pid=7940] vsize: 108212
Current children cumulated CPU time (s) 289.68
Current children cumulated vsize (Kb) 108212

[startup+300.015 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 7940
Raw data (/proc/7940/stat): 7940 (pb2sat) R 7939 7940 4060 0 -1 0 37114 0 0 0 29868 99 0 0 25 0 1 0 21150693 110809088 25266 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7940/statm): 27053 25266 364 364 0 26689 0
[pid=7940] vsize: 108212
Current children cumulated CPU time (s) 299.67
Current children cumulated vsize (Kb) 108212

[startup+310.015 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 7940
Raw data (/proc/7940/stat): 7940 (pb2sat) R 7939 7940 4060 0 -1 0 37297 0 0 0 30865 100 0 0 25 0 1 0 21150693 111636480 25449 4294967295 134512640 135987407 3221224576 3221223192 134811683 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7940/statm): 27255 25449 364 364 0 26891 0
[pid=7940] vsize: 109020
Current children cumulated CPU time (s) 309.65
Current children cumulated vsize (Kb) 109020

[startup+320.016 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 7940
Raw data (/proc/7940/stat): 7940 (pb2sat) R 7939 7940 4060 0 -1 0 37319 0 0 0 31862 101 0 0 25 0 1 0 21150693 111636480 25471 4294967295 134512640 135987407 3221224576 3221223120 134811964 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7940/statm): 27255 25471 364 364 0 26891 0
[pid=7940] vsize: 109020
Current children cumulated CPU time (s) 319.63
Current children cumulated vsize (Kb) 109020

[startup+330.016 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 7940
Raw data (/proc/7940/stat): 7940 (pb2sat) R 7939 7940 4060 0 -1 0 37326 0 0 0 32860 102 0 0 25 0 1 0 21150693 111636480 25478 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7940/statm): 27255 25478 364 364 0 26891 0
[pid=7940] vsize: 109020
Current children cumulated CPU time (s) 329.62
Current children cumulated vsize (Kb) 109020

[startup+340.016 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 7940
Raw data (/proc/7940/stat): 7940 (pb2sat) R 7939 7940 4060 0 -1 0 37339 0 0 0 33859 102 0 0 25 0 1 0 21150693 111636480 25491 4294967295 134512640 135987407 3221224576 3221223180 134811686 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7940/statm): 27255 25491 364 364 0 26891 0
[pid=7940] vsize: 109020
Current children cumulated CPU time (s) 339.61
Current children cumulated vsize (Kb) 109020

[startup+350.017 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 7940
Raw data (/proc/7940/stat): 7940 (pb2sat) R 7939 7940 4060 0 -1 0 37360 0 0 0 34856 104 0 0 25 0 1 0 21150693 111636480 25512 4294967295 134512640 135987407 3221224576 3221223248 134824259 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7940/statm): 27255 25512 364 364 0 26891 0
[pid=7940] vsize: 109020
Current children cumulated CPU time (s) 349.6
Current children cumulated vsize (Kb) 109020

[startup+360.017 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 7940
Raw data (/proc/7940/stat): 7940 (pb2sat) R 7939 7940 4060 0 -1 0 37386 0 0 0 35855 105 0 0 25 0 1 0 21150693 111636480 25538 4294967295 134512640 135987407 3221224576 3221223120 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7940/statm): 27255 25538 364 364 0 26891 0
[pid=7940] vsize: 109020
Current children cumulated CPU time (s) 359.6
Current children cumulated vsize (Kb) 109020

[startup+370.018 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 7940
Raw data (/proc/7940/stat): 7940 (pb2sat) R 7939 7940 4060 0 -1 0 37451 0 0 0 36853 105 0 0 25 0 1 0 21150693 111902720 25603 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7940/statm): 27320 25603 364 364 0 26956 0
[pid=7940] vsize: 109280
Current children cumulated CPU time (s) 369.58
Current children cumulated vsize (Kb) 109280

[startup+380.018 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 7940
Raw data (/proc/7940/stat): 7940 (pb2sat) R 7939 7940 4060 0 -1 0 37467 0 0 0 37852 106 0 0 25 0 1 0 21150693 111902720 25619 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7940/statm): 27320 25619 364 364 0 26956 0
[pid=7940] vsize: 109280
Current children cumulated CPU time (s) 379.58
Current children cumulated vsize (Kb) 109280

[startup+390.019 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 7940
Raw data (/proc/7940/stat): 7940 (pb2sat) R 7939 7940 4060 0 -1 0 37482 0 0 0 38850 106 0 0 25 0 1 0 21150693 111902720 25634 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7940/statm): 27320 25634 364 364 0 26956 0
[pid=7940] vsize: 109280
Current children cumulated CPU time (s) 389.56
Current children cumulated vsize (Kb) 109280

[startup+400.019 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 7940
Raw data (/proc/7940/stat): 7940 (pb2sat) R 7939 7940 4060 0 -1 0 37498 0 0 0 39848 107 0 0 25 0 1 0 21150693 111902720 25650 4294967295 134512640 135987407 3221224576 3221223120 134812005 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7940/statm): 27320 25650 364 364 0 26956 0
[pid=7940] vsize: 109280
Current children cumulated CPU time (s) 399.55
Current children cumulated vsize (Kb) 109280

[startup+410.019 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 7940
Raw data (/proc/7940/stat): 7940 (pb2sat) R 7939 7940 4060 0 -1 0 38001 0 0 0 40845 108 0 0 25 0 1 0 21150693 111902720 25672 4294967295 134512640 135987407 3221224576 3221223120 134811729 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7940/statm): 27320 25672 364 364 0 26956 0
[pid=7940] vsize: 109280
Current children cumulated CPU time (s) 409.53
Current children cumulated vsize (Kb) 109280

[startup+420.019 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 7940
Raw data (/proc/7940/stat): 7940 (pb2sat) R 7939 7940 4060 0 -1 0 38029 0 0 0 41842 110 0 0 25 0 1 0 21150693 112037888 25700 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7940/statm): 27353 25700 364 364 0 26989 0
[pid=7940] vsize: 109412
Current children cumulated CPU time (s) 419.52
Current children cumulated vsize (Kb) 109412

[startup+430.019 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 7940
Raw data (/proc/7940/stat): 7940 (pb2sat) R 7939 7940 4060 0 -1 0 38030 0 0 0 42839 111 0 0 25 0 1 0 21150693 112037888 25701 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7940/statm): 27353 25701 364 364 0 26989 0
[pid=7940] vsize: 109412
Current children cumulated CPU time (s) 429.5
Current children cumulated vsize (Kb) 109412

[startup+440.02 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 7940
Raw data (/proc/7940/stat): 7940 (pb2sat) R 7939 7940 4060 0 -1 0 38036 0 0 0 43836 112 0 0 25 0 1 0 21150693 112037888 25707 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7940/statm): 27353 25707 364 364 0 26989 0
[pid=7940] vsize: 109412
Current children cumulated CPU time (s) 439.48
Current children cumulated vsize (Kb) 109412

[startup+450.02 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 7940
Raw data (/proc/7940/stat): 7940 (pb2sat) R 7939 7940 4060 0 -1 0 38562 0 0 0 44833 113 0 0 25 0 1 0 21150693 112201728 25752 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7940/statm): 27393 25752 364 364 0 27029 0
[pid=7940] vsize: 109572
Current children cumulated CPU time (s) 449.46
Current children cumulated vsize (Kb) 109572

[startup+460.02 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 7940
Raw data (/proc/7940/stat): 7940 (pb2sat) R 7939 7940 4060 0 -1 0 38567 0 0 0 45831 113 0 0 25 0 1 0 21150693 112201728 25757 4294967295 134512640 135987407 3221224576 3221223120 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7940/statm): 27393 25757 364 364 0 27029 0
[pid=7940] vsize: 109572
Current children cumulated CPU time (s) 459.44
Current children cumulated vsize (Kb) 109572

[startup+470.021 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 7940
Raw data (/proc/7940/stat): 7940 (pb2sat) R 7939 7940 4060 0 -1 0 38575 0 0 0 46829 114 0 0 25 0 1 0 21150693 112201728 25765 4294967295 134512640 135987407 3221224576 3221223120 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7940/statm): 27393 25765 364 364 0 27029 0
[pid=7940] vsize: 109572
Current children cumulated CPU time (s) 469.43
Current children cumulated vsize (Kb) 109572

[startup+480.022 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 7940
Raw data (/proc/7940/stat): 7940 (pb2sat) R 7939 7940 4060 0 -1 0 38580 0 0 0 47827 114 0 0 25 0 1 0 21150693 112201728 25770 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7940/statm): 27393 25770 364 364 0 27029 0
[pid=7940] vsize: 109572
Current children cumulated CPU time (s) 479.41
Current children cumulated vsize (Kb) 109572

[startup+490.022 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 7940
Raw data (/proc/7940/stat): 7940 (pb2sat) R 7939 7940 4060 0 -1 0 39144 0 0 0 48823 117 0 0 25 0 1 0 21150693 112594944 25853 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7940/statm): 27489 25853 364 364 0 27125 0
[pid=7940] vsize: 109956
Current children cumulated CPU time (s) 489.4
Current children cumulated vsize (Kb) 109956

[startup+500.022 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 7940
Raw data (/proc/7940/stat): 7940 (pb2sat) R 7939 7940 4060 0 -1 0 39151 0 0 0 49822 117 0 0 25 0 1 0 21150693 112594944 25860 4294967295 134512640 135987407 3221224576 3221223280 134790069 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7940/statm): 27489 25860 364 364 0 27125 0
[pid=7940] vsize: 109956
Current children cumulated CPU time (s) 499.39
Current children cumulated vsize (Kb) 109956

[startup+510.022 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 7940
Raw data (/proc/7940/stat): 7940 (pb2sat) R 7939 7940 4060 0 -1 0 39236 0 0 0 50819 118 0 0 25 0 1 0 21150693 113061888 25945 4294967295 134512640 135987407 3221224576 3221223120 134811729 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7940/statm): 27603 25945 364 364 0 27239 0
[pid=7940] vsize: 110412
Current children cumulated CPU time (s) 509.37
Current children cumulated vsize (Kb) 110412

[startup+520.023 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 7940
Raw data (/proc/7940/stat): 7940 (pb2sat) R 7939 7940 4060 0 -1 0 39262 0 0 0 51817 118 0 0 25 0 1 0 21150693 113197056 25971 4294967295 134512640 135987407 3221224576 3221223120 134811842 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7940/statm): 27636 25971 364 364 0 27272 0
[pid=7940] vsize: 110544
Current children cumulated CPU time (s) 519.35
Current children cumulated vsize (Kb) 110544

[startup+530.022 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 7940
Raw data (/proc/7940/stat): 7940 (pb2sat) R 7939 7940 4060 0 -1 0 39848 0 0 0 52814 121 0 0 25 0 1 0 21150693 113729536 26076 4294967295 134512640 135987407 3221224576 3221223120 134811773 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7940/statm): 27766 26076 364 364 0 27402 0
[pid=7940] vsize: 111064
Current children cumulated CPU time (s) 529.35
Current children cumulated vsize (Kb) 111064

[startup+540.023 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 7940
Raw data (/proc/7940/stat): 7940 (pb2sat) R 7939 7940 4060 0 -1 0 39935 0 0 0 53812 122 0 0 25 0 1 0 21150693 113991680 26097 4294967295 134512640 135987407 3221224576 3221223120 134812013 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7940/statm): 27830 26097 364 364 0 27466 0
[pid=7940] vsize: 111320
Current children cumulated CPU time (s) 539.34
Current children cumulated vsize (Kb) 111320

[startup+550.024 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 7940
Raw data (/proc/7940/stat): 7940 (pb2sat) R 7939 7940 4060 0 -1 0 39978 0 0 0 54811 122 0 0 25 0 1 0 21150693 114122752 26107 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7940/statm): 27862 26107 364 364 0 27498 0
[pid=7940] vsize: 111448
Current children cumulated CPU time (s) 549.33
Current children cumulated vsize (Kb) 111448

[startup+560.024 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 7940
Raw data (/proc/7940/stat): 7940 (pb2sat) R 7939 7940 4060 0 -1 0 39987 0 0 0 55809 123 0 0 25 0 1 0 21150693 114122752 26116 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7940/statm): 27862 26116 364 364 0 27498 0
[pid=7940] vsize: 111448
Current children cumulated CPU time (s) 559.32
Current children cumulated vsize (Kb) 111448

[startup+570.024 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 7940
Raw data (/proc/7940/stat): 7940 (pb2sat) R 7939 7940 4060 0 -1 0 40474 0 0 0 56807 124 0 0 25 0 1 0 21150693 114122752 26122 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7940/statm): 27862 26122 364 364 0 27498 0
[pid=7940] vsize: 111448
Current children cumulated CPU time (s) 569.31
Current children cumulated vsize (Kb) 111448

[startup+580.024 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 7940
Raw data (/proc/7940/stat): 7940 (pb2sat) R 7939 7940 4060 0 -1 0 40494 0 0 0 57806 125 0 0 25 0 1 0 21150693 114122752 26142 4294967295 134512640 135987407 3221224576 3221223120 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7940/statm): 27862 26142 364 364 0 27498 0
[pid=7940] vsize: 111448
Current children cumulated CPU time (s) 579.31
Current children cumulated vsize (Kb) 111448

[startup+590.025 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 7940
Raw data (/proc/7940/stat): 7940 (pb2sat) R 7939 7940 4060 0 -1 0 40540 0 0 0 58805 125 0 0 25 0 1 0 21150693 114388992 26188 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7940/statm): 27927 26188 364 364 0 27563 0
[pid=7940] vsize: 111708
Current children cumulated CPU time (s) 589.3
Current children cumulated vsize (Kb) 111708

[startup+600.026 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 7940
Raw data (/proc/7940/stat): 7940 (pb2sat) R 7939 7940 4060 0 -1 0 40593 0 0 0 59803 126 0 0 25 0 1 0 21150693 114655232 26241 4294967295 134512640 135987407 3221224576 3221223120 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7940/statm): 27992 26241 364 364 0 27628 0
[pid=7940] vsize: 111968
Current children cumulated CPU time (s) 599.29
Current children cumulated vsize (Kb) 111968

[startup+610.025 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 7940
Raw data (/proc/7940/stat): 7940 (pb2sat) R 7939 7940 4060 0 -1 0 40598 0 0 0 60801 127 0 0 25 0 1 0 21150693 114655232 26246 4294967295 134512640 135987407 3221224576 3221222960 134775173 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7940/statm): 27992 26246 364 364 0 27628 0
[pid=7940] vsize: 111968
Current children cumulated CPU time (s) 609.28
Current children cumulated vsize (Kb) 111968

[startup+620.026 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 7940
Raw data (/proc/7940/stat): 7940 (pb2sat) R 7939 7940 4060 0 -1 0 41080 0 0 0 61799 128 0 0 25 0 1 0 21150693 114655232 26247 4294967295 134512640 135987407 3221224576 3221223120 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7940/statm): 27992 26247 364 364 0 27628 0
[pid=7940] vsize: 111968
Current children cumulated CPU time (s) 619.27
Current children cumulated vsize (Kb) 111968

[startup+630.026 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 7940
Raw data (/proc/7940/stat): 7940 (pb2sat) R 7939 7940 4060 0 -1 0 41081 0 0 0 62796 129 0 0 25 0 1 0 21150693 114655232 26248 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7940/statm): 27992 26248 364 364 0 27628 0
[pid=7940] vsize: 111968
Current children cumulated CPU time (s) 629.25
Current children cumulated vsize (Kb) 111968

[startup+640.027 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 7940
Raw data (/proc/7940/stat): 7940 (pb2sat) R 7939 7940 4060 0 -1 0 41082 0 0 0 63794 129 0 0 25 0 1 0 21150693 114655232 26249 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7940/statm): 27992 26249 364 364 0 27628 0
[pid=7940] vsize: 111968
Current children cumulated CPU time (s) 639.23
Current children cumulated vsize (Kb) 111968

[startup+650.026 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 7940
Raw data (/proc/7940/stat): 7940 (pb2sat) R 7939 7940 4060 0 -1 0 41564 0 0 0 64791 131 0 0 25 0 1 0 21150693 114655232 26250 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7940/statm): 27992 26250 364 364 0 27628 0
[pid=7940] vsize: 111968
Current children cumulated CPU time (s) 649.22
Current children cumulated vsize (Kb) 111968

[startup+660.027 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 7940
Raw data (/proc/7940/stat): 7940 (pb2sat) R 7939 7940 4060 0 -1 0 41571 0 0 0 65788 132 0 0 25 0 1 0 21150693 114655232 26257 4294967295 134512640 135987407 3221224576 3221223120 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7940/statm): 27992 26257 364 364 0 27628 0
[pid=7940] vsize: 111968
Current children cumulated CPU time (s) 659.2
Current children cumulated vsize (Kb) 111968

[startup+670.028 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 7940
Raw data (/proc/7940/stat): 7940 (pb2sat) R 7939 7940 4060 0 -1 0 41572 0 0 0 66786 133 0 0 25 0 1 0 21150693 114655232 26258 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7940/statm): 27992 26258 364 364 0 27628 0
[pid=7940] vsize: 111968
Current children cumulated CPU time (s) 669.19
Current children cumulated vsize (Kb) 111968

[startup+680.028 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 7940
Raw data (/proc/7940/stat): 7940 (pb2sat) R 7939 7940 4060 0 -1 0 41573 0 0 0 67785 134 0 0 25 0 1 0 21150693 114655232 26259 4294967295 134512640 135987407 3221224576 3221223120 134811768 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7940/statm): 27992 26259 364 364 0 27628 0
[pid=7940] vsize: 111968
Current children cumulated CPU time (s) 679.19
Current children cumulated vsize (Kb) 111968

[startup+690.028 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 7940
Raw data (/proc/7940/stat): 7940 (pb2sat) R 7939 7940 4060 0 -1 0 42055 0 0 0 68782 136 0 0 25 0 1 0 21150693 114655232 26260 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7940/statm): 27992 26260 364 364 0 27628 0
[pid=7940] vsize: 111968
Current children cumulated CPU time (s) 689.18
Current children cumulated vsize (Kb) 111968

[startup+700.028 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 7940
Raw data (/proc/7940/stat): 7940 (pb2sat) R 7939 7940 4060 0 -1 0 42142 0 0 0 69780 137 0 0 25 0 1 0 21150693 115089408 26347 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7940/statm): 28098 26347 364 364 0 27734 0
[pid=7940] vsize: 112392
Current children cumulated CPU time (s) 699.17
Current children cumulated vsize (Kb) 112392

[startup+710.028 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 7940
Raw data (/proc/7940/stat): 7940 (pb2sat) R 7939 7940 4060 0 -1 0 42171 0 0 0 70777 137 0 0 25 0 1 0 21150693 115089408 26376 4294967295 134512640 135987407 3221224576 3221223248 134824259 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7940/statm): 28098 26376 364 364 0 27734 0
[pid=7940] vsize: 112392
Current children cumulated CPU time (s) 709.14
Current children cumulated vsize (Kb) 112392

[startup+720.029 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 7940
Raw data (/proc/7940/stat): 7940 (pb2sat) R 7939 7940 4060 0 -1 0 42172 0 0 0 71775 138 0 0 25 0 1 0 21150693 115089408 26377 4294967295 134512640 135987407 3221224576 3221223120 134811966 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7940/statm): 28098 26377 364 364 0 27734 0
[pid=7940] vsize: 112392
Current children cumulated CPU time (s) 719.13
Current children cumulated vsize (Kb) 112392

[startup+730.029 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 7940
Raw data (/proc/7940/stat): 7940 (pb2sat) R 7939 7940 4060 0 -1 0 42654 0 0 0 72773 140 0 0 25 0 1 0 21150693 115089408 26378 4294967295 134512640 135987407 3221224576 3221223120 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7940/statm): 28098 26378 364 364 0 27734 0
[pid=7940] vsize: 112392
Current children cumulated CPU time (s) 729.13
Current children cumulated vsize (Kb) 112392

[startup+740.03 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 7940
Raw data (/proc/7940/stat): 7940 (pb2sat) R 7939 7940 4060 0 -1 0 42656 0 0 0 73770 140 0 0 25 0 1 0 21150693 115089408 26380 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7940/statm): 28098 26380 364 364 0 27734 0
[pid=7940] vsize: 112392
Current children cumulated CPU time (s) 739.1
Current children cumulated vsize (Kb) 112392

[startup+750.03 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 7940
Raw data (/proc/7940/stat): 7940 (pb2sat) R 7939 7940 4060 0 -1 0 42707 0 0 0 74768 141 0 0 25 0 1 0 21150693 115355648 26431 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7940/statm): 28163 26431 364 364 0 27799 0
[pid=7940] vsize: 112652
Current children cumulated CPU time (s) 749.09
Current children cumulated vsize (Kb) 112652

[startup+760.029 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 7940
Raw data (/proc/7940/stat): 7940 (pb2sat) R 7939 7940 4060 0 -1 0 42708 0 0 0 75765 142 0 0 25 0 1 0 21150693 115355648 26432 4294967295 134512640 135987407 3221224576 3221223120 134812049 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7940/statm): 28163 26432 364 364 0 27799 0
[pid=7940] vsize: 112652
Current children cumulated CPU time (s) 759.07
Current children cumulated vsize (Kb) 112652

[startup+770.03 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 7940
Raw data (/proc/7940/stat): 7940 (pb2sat) R 7939 7940 4060 0 -1 0 43190 0 0 0 76762 144 0 0 25 0 1 0 21150693 115355648 26433 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7940/statm): 28163 26433 364 364 0 27799 0
[pid=7940] vsize: 112652
Current children cumulated CPU time (s) 769.06
Current children cumulated vsize (Kb) 112652

[startup+780.031 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 7940
Raw data (/proc/7940/stat): 7940 (pb2sat) R 7939 7940 4060 0 -1 0 43192 0 0 0 77759 145 0 0 25 0 1 0 21150693 115355648 26435 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7940/statm): 28163 26435 364 364 0 27799 0
[pid=7940] vsize: 112652
Current children cumulated CPU time (s) 779.04
Current children cumulated vsize (Kb) 112652

[startup+790.032 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 7940
Raw data (/proc/7940/stat): 7940 (pb2sat) R 7939 7940 4060 0 -1 0 43196 0 0 0 78757 147 0 0 25 0 1 0 21150693 115355648 26439 4294967295 134512640 135987407 3221224576 3221223120 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7940/statm): 28163 26439 364 364 0 27799 0
[pid=7940] vsize: 112652
Current children cumulated CPU time (s) 789.04
Current children cumulated vsize (Kb) 112652

[startup+800.033 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 7940
Raw data (/proc/7940/stat): 7940 (pb2sat) R 7939 7940 4060 0 -1 0 43197 0 0 0 79755 147 0 0 25 0 1 0 21150693 115355648 26440 4294967295 134512640 135987407 3221224576 3221223216 134812368 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7940/statm): 28163 26440 364 364 0 27799 0
[pid=7940] vsize: 112652
Current children cumulated CPU time (s) 799.02
Current children cumulated vsize (Kb) 112652

[startup+810.032 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 7940
Raw data (/proc/7940/stat): 7940 (pb2sat) R 7939 7940 4060 0 -1 0 43679 0 0 0 80751 149 0 0 25 0 1 0 21150693 117325824 26922 4294967295 134512640 135987407 3221224576 3221222816 134829342 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7940/statm): 28644 26922 364 364 0 28280 0
[pid=7940] vsize: 114576
Current children cumulated CPU time (s) 809
Current children cumulated vsize (Kb) 114576

[startup+820.033 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 7940
Raw data (/proc/7940/stat): 7940 (pb2sat) R 7939 7940 4060 0 -1 0 43701 0 0 0 81749 150 0 0 25 0 1 0 21150693 115490816 26463 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7940/statm): 28196 26463 364 364 0 27832 0
[pid=7940] vsize: 112784
Current children cumulated CPU time (s) 818.99
Current children cumulated vsize (Kb) 112784

[startup+830.034 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 7940
Raw data (/proc/7940/stat): 7940 (pb2sat) R 7939 7940 4060 0 -1 0 43702 0 0 0 82748 151 0 0 25 0 1 0 21150693 115490816 26464 4294967295 134512640 135987407 3221224576 3221223120 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7940/statm): 28196 26464 364 364 0 27832 0
[pid=7940] vsize: 112784
Current children cumulated CPU time (s) 828.99
Current children cumulated vsize (Kb) 112784

[startup+840.034 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 7940
Raw data (/proc/7940/stat): 7940 (pb2sat) R 7939 7940 4060 0 -1 0 43703 0 0 0 83745 152 0 0 25 0 1 0 21150693 115490816 26465 4294967295 134512640 135987407 3221224576 3221223296 134812696 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7940/statm): 28196 26465 364 364 0 27832 0
[pid=7940] vsize: 112784
Current children cumulated CPU time (s) 838.97
Current children cumulated vsize (Kb) 112784

[startup+850.034 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 7940
Raw data (/proc/7940/stat): 7940 (pb2sat) R 7939 7940 4060 0 -1 0 43707 0 0 0 84742 153 0 0 25 0 1 0 21150693 115490816 26469 4294967295 134512640 135987407 3221224576 3221223248 134824244 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7940/statm): 28196 26469 364 364 0 27832 0
[pid=7940] vsize: 112784
Current children cumulated CPU time (s) 848.95
Current children cumulated vsize (Kb) 112784

[startup+860.034 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 7940
Raw data (/proc/7940/stat): 7940 (pb2sat) R 7939 7940 4060 0 -1 0 44234 0 0 0 85738 156 0 0 25 0 1 0 21150693 115621888 26482 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7940/statm): 28228 26482 364 364 0 27864 0
[pid=7940] vsize: 112912
Current children cumulated CPU time (s) 858.94
Current children cumulated vsize (Kb) 112912

[startup+870.035 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 7940
Raw data (/proc/7940/stat): 7940 (pb2sat) R 7939 7940 4060 0 -1 0 44241 0 0 0 86735 157 0 0 25 0 1 0 21150693 115621888 26489 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7940/statm): 28228 26489 364 364 0 27864 0
[pid=7940] vsize: 112912
Current children cumulated CPU time (s) 868.92
Current children cumulated vsize (Kb) 112912

[startup+880.034 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 7940
Raw data (/proc/7940/stat): 7940 (pb2sat) R 7939 7940 4060 0 -1 0 44243 0 0 0 87734 158 0 0 25 0 1 0 21150693 115621888 26491 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7940/statm): 28228 26491 364 364 0 27864 0
[pid=7940] vsize: 112912
Current children cumulated CPU time (s) 878.92
Current children cumulated vsize (Kb) 112912

[startup+890.035 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 7940
Raw data (/proc/7940/stat): 7940 (pb2sat) R 7939 7940 4060 0 -1 0 44725 0 0 0 88730 159 0 0 25 0 1 0 21150693 115621888 26492 4294967295 134512640 135987407 3221224576 3221223120 134812000 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7940/statm): 28228 26492 364 364 0 27864 0
[pid=7940] vsize: 112912
Current children cumulated CPU time (s) 888.89
Current children cumulated vsize (Kb) 112912

[startup+900.036 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 7940
Raw data (/proc/7940/stat): 7940 (pb2sat) R 7939 7940 4060 0 -1 0 44726 0 0 0 89728 160 0 0 25 0 1 0 21150693 115621888 26493 4294967295 134512640 135987407 3221224576 3221223008 134801596 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7940/statm): 28228 26493 364 364 0 27864 0
[pid=7940] vsize: 112912
Current children cumulated CPU time (s) 898.88
Current children cumulated vsize (Kb) 112912

[startup+910.036 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 7940
Raw data (/proc/7940/stat): 7940 (pb2sat) R 7939 7940 4060 0 -1 0 44727 0 0 0 90726 160 0 0 25 0 1 0 21150693 115621888 26494 4294967295 134512640 135987407 3221224576 3221223120 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7940/statm): 28228 26494 364 364 0 27864 0
[pid=7940] vsize: 112912
Current children cumulated CPU time (s) 908.86
Current children cumulated vsize (Kb) 112912

[startup+920.037 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 7940
Raw data (/proc/7940/stat): 7940 (pb2sat) R 7939 7940 4060 0 -1 0 44728 0 0 0 91725 161 0 0 25 0 1 0 21150693 115621888 26495 4294967295 134512640 135987407 3221224576 3221223120 134812005 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7940/statm): 28228 26495 364 364 0 27864 0
[pid=7940] vsize: 112912
Current children cumulated CPU time (s) 918.86
Current children cumulated vsize (Kb) 112912

[startup+930.036 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 7940
Raw data (/proc/7940/stat): 7940 (pb2sat) R 7939 7940 4060 0 -1 0 45212 0 0 0 92722 163 0 0 25 0 1 0 21150693 115761152 26498 4294967295 134512640 135987407 3221224576 3221222992 134788454 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7940/statm): 28262 26498 364 364 0 27898 0
[pid=7940] vsize: 113048
Current children cumulated CPU time (s) 928.85
Current children cumulated vsize (Kb) 113048

[startup+940.037 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 7940
Raw data (/proc/7940/stat): 7940 (pb2sat) R 7939 7940 4060 0 -1 0 45231 0 0 0 93720 164 0 0 25 0 1 0 21150693 115761152 26517 4294967295 134512640 135987407 3221224576 3221222992 134788454 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7940/statm): 28262 26517 364 364 0 27898 0
[pid=7940] vsize: 113048
Current children cumulated CPU time (s) 938.84
Current children cumulated vsize (Kb) 113048

[startup+950.037 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 7940
Raw data (/proc/7940/stat): 7940 (pb2sat) R 7939 7940 4060 0 -1 0 45232 0 0 0 94718 165 0 0 25 0 1 0 21150693 115761152 26518 4294967295 134512640 135987407 3221224576 3221223120 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7940/statm): 28262 26518 364 364 0 27898 0
[pid=7940] vsize: 113048
Current children cumulated CPU time (s) 948.83
Current children cumulated vsize (Kb) 113048

[startup+960.037 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 7940
Raw data (/proc/7940/stat): 7940 (pb2sat) R 7939 7940 4060 0 -1 0 45238 0 0 0 95717 165 0 0 25 0 1 0 21150693 115761152 26524 4294967295 134512640 135987407 3221224576 3221223120 134811959 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7940/statm): 28262 26524 364 364 0 27898 0
[pid=7940] vsize: 113048
Current children cumulated CPU time (s) 958.82
Current children cumulated vsize (Kb) 113048

[startup+970.037 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 7940
Raw data (/proc/7940/stat): 7940 (pb2sat) R 7939 7940 4060 0 -1 0 45239 0 0 0 96716 166 0 0 25 0 1 0 21150693 115761152 26525 4294967295 134512640 135987407 3221224576 3221223216 134812334 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7940/statm): 28262 26525 364 364 0 27898 0
[pid=7940] vsize: 113048
Current children cumulated CPU time (s) 968.82
Current children cumulated vsize (Kb) 113048

[startup+980.037 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 7940
Raw data (/proc/7940/stat): 7940 (pb2sat) R 7939 7940 4060 0 -1 0 45721 0 0 0 97711 168 0 0 25 0 1 0 21150693 115761152 26526 4294967295 134512640 135987407 3221224576 3221223120 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7940/statm): 28262 26526 364 364 0 27898 0
[pid=7940] vsize: 113048
Current children cumulated CPU time (s) 978.79
Current children cumulated vsize (Kb) 113048

[startup+990.038 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 7940
Raw data (/proc/7940/stat): 7940 (pb2sat) R 7939 7940 4060 0 -1 0 45723 0 0 0 98709 168 0 0 25 0 1 0 21150693 115761152 26528 4294967295 134512640 135987407 3221224576 3221223120 134811816 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7940/statm): 28262 26528 364 364 0 27898 0
[pid=7940] vsize: 113048
Current children cumulated CPU time (s) 988.77
Current children cumulated vsize (Kb) 113048

[startup+1000.04 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 7940
Raw data (/proc/7940/stat): 7940 (pb2sat) R 7939 7940 4060 0 -1 0 45729 0 0 0 99708 169 0 0 25 0 1 0 21150693 115761152 26534 4294967295 134512640 135987407 3221224576 3221223248 134824259 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7940/statm): 28262 26534 364 364 0 27898 0
[pid=7940] vsize: 113048
Current children cumulated CPU time (s) 998.77
Current children cumulated vsize (Kb) 113048

[startup+1010.04 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 7940
Raw data (/proc/7940/stat): 7940 (pb2sat) R 7939 7940 4060 0 -1 0 45730 0 0 0 100707 170 0 0 25 0 1 0 21150693 115761152 26535 4294967295 134512640 135987407 3221224576 3221222992 134788454 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7940/statm): 28262 26535 364 364 0 27898 0
[pid=7940] vsize: 113048
Current children cumulated CPU time (s) 1008.77
Current children cumulated vsize (Kb) 113048

[startup+1020.04 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 7940
Raw data (/proc/7940/stat): 7940 (pb2sat) R 7939 7940 4060 0 -1 0 46247 0 0 0 101705 171 0 0 25 0 1 0 21150693 115912704 26571 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7940/statm): 28299 26571 364 364 0 27935 0
[pid=7940] vsize: 113196
Current children cumulated CPU time (s) 1018.76
Current children cumulated vsize (Kb) 113196

[startup+1030.04 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 7940
Raw data (/proc/7940/stat): 7940 (pb2sat) R 7939 7940 4060 0 -1 0 46248 0 0 0 102703 172 0 0 25 0 1 0 21150693 115912704 26572 4294967295 134512640 135987407 3221224576 3221223120 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7940/statm): 28299 26572 364 364 0 27935 0
[pid=7940] vsize: 113196
Current children cumulated CPU time (s) 1028.75
Current children cumulated vsize (Kb) 113196

[startup+1040.04 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 7940
Raw data (/proc/7940/stat): 7940 (pb2sat) R 7939 7940 4060 0 -1 0 46250 0 0 0 103701 173 0 0 25 0 1 0 21150693 115912704 26574 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7940/statm): 28299 26574 364 364 0 27935 0
[pid=7940] vsize: 113196
Current children cumulated CPU time (s) 1038.74
Current children cumulated vsize (Kb) 113196

[startup+1050.04 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 7940
Raw data (/proc/7940/stat): 7940 (pb2sat) R 7939 7940 4060 0 -1 0 46251 0 0 0 104699 173 0 0 25 0 1 0 21150693 115912704 26575 4294967295 134512640 135987407 3221224576 3221223120 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7940/statm): 28299 26575 364 364 0 27935 0
[pid=7940] vsize: 113196
Current children cumulated CPU time (s) 1048.72
Current children cumulated vsize (Kb) 113196

[startup+1060.04 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 7940
Raw data (/proc/7940/stat): 7940 (pb2sat) R 7939 7940 4060 0 -1 0 46738 0 0 0 105696 175 0 0 25 0 1 0 21150693 115912704 26581 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7940/statm): 28299 26581 364 364 0 27935 0
[pid=7940] vsize: 113196
Current children cumulated CPU time (s) 1058.71
Current children cumulated vsize (Kb) 113196

[startup+1070.04 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 7940
Raw data (/proc/7940/stat): 7940 (pb2sat) R 7939 7940 4060 0 -1 0 46739 0 0 0 106694 176 0 0 25 0 1 0 21150693 115912704 26582 4294967295 134512640 135987407 3221224576 3221223120 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7940/statm): 28299 26582 364 364 0 27935 0
[pid=7940] vsize: 113196
Current children cumulated CPU time (s) 1068.7
Current children cumulated vsize (Kb) 113196

[startup+1080.04 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 7940
Raw data (/proc/7940/stat): 7940 (pb2sat) R 7939 7940 4060 0 -1 0 46740 0 0 0 107691 178 0 0 25 0 1 0 21150693 115912704 26583 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7940/statm): 28299 26583 364 364 0 27935 0
[pid=7940] vsize: 113196
Current children cumulated CPU time (s) 1078.69
Current children cumulated vsize (Kb) 113196

[startup+1090.04 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 7940
Raw data (/proc/7940/stat): 7940 (pb2sat) R 7939 7940 4060 0 -1 0 46741 0 0 0 108688 179 0 0 25 0 1 0 21150693 115912704 26584 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7940/statm): 28299 26584 364 364 0 27935 0
[pid=7940] vsize: 113196
Current children cumulated CPU time (s) 1088.67
Current children cumulated vsize (Kb) 113196

[startup+1100.04 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 7940
Raw data (/proc/7940/stat): 7940 (pb2sat) R 7939 7940 4060 0 -1 0 47297 0 0 0 109685 181 0 0 25 0 1 0 21150693 116338688 26659 4294967295 134512640 135987407 3221224576 3221223120 134811827 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7940/statm): 28403 26659 364 364 0 28039 0
[pid=7940] vsize: 113612
Current children cumulated CPU time (s) 1098.66
Current children cumulated vsize (Kb) 113612

[startup+1110.04 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 7940
Raw data (/proc/7940/stat): 7940 (pb2sat) R 7939 7940 4060 0 -1 0 47393 0 0 0 110683 182 0 0 25 0 1 0 21150693 116740096 26722 4294967295 134512640 135987407 3221224576 3221222992 134788496 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7940/statm): 28501 26722 364 364 0 28137 0
[pid=7940] vsize: 114004
Current children cumulated CPU time (s) 1108.65
Current children cumulated vsize (Kb) 114004

[startup+1120.04 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 7940
Raw data (/proc/7940/stat): 7940 (pb2sat) R 7939 7940 4060 0 -1 0 47440 0 0 0 111680 182 0 0 25 0 1 0 21150693 116871168 26736 4294967295 134512640 135987407 3221224576 3221223120 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7940/statm): 28533 26736 364 364 0 28169 0
[pid=7940] vsize: 114132
Current children cumulated CPU time (s) 1118.62
Current children cumulated vsize (Kb) 114132

[startup+1130.04 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 7940
Raw data (/proc/7940/stat): 7940 (pb2sat) R 7939 7940 4060 0 -1 0 47447 0 0 0 112679 183 0 0 25 0 1 0 21150693 116871168 26743 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7940/statm): 28533 26743 364 364 0 28169 0
[pid=7940] vsize: 114132
Current children cumulated CPU time (s) 1128.62
Current children cumulated vsize (Kb) 114132

[startup+1140.04 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 7940
Raw data (/proc/7940/stat): 7940 (pb2sat) R 7939 7940 4060 0 -1 0 47933 0 0 0 113677 184 0 0 25 0 1 0 21150693 116871168 26748 4294967295 134512640 135987407 3221224576 3221223072 134789622 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7940/statm): 28533 26748 364 364 0 28169 0
[pid=7940] vsize: 114132
Current children cumulated CPU time (s) 1138.61
Current children cumulated vsize (Kb) 114132

[startup+1150.04 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 7940
Raw data (/proc/7940/stat): 7940 (pb2sat) R 7939 7940 4060 0 -1 0 47939 0 0 0 114675 185 0 0 25 0 1 0 21150693 116871168 26754 4294967295 134512640 135987407 3221224576 3221223120 134811729 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7940/statm): 28533 26754 364 364 0 28169 0
[pid=7940] vsize: 114132
Current children cumulated CPU time (s) 1148.6
Current children cumulated vsize (Kb) 114132

[startup+1160.04 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 7940
Raw data (/proc/7940/stat): 7940 (pb2sat) R 7939 7940 4060 0 -1 0 47945 0 0 0 115673 185 0 0 25 0 1 0 21150693 116871168 26760 4294967295 134512640 135987407 3221224576 3221223120 134788799 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7940/statm): 28533 26760 364 364 0 28169 0
[pid=7940] vsize: 114132
Current children cumulated CPU time (s) 1158.58
Current children cumulated vsize (Kb) 114132

[startup+1170.04 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 7940
Raw data (/proc/7940/stat): 7940 (pb2sat) R 7939 7940 4060 0 -1 0 47951 0 0 0 116671 186 0 0 25 0 1 0 21150693 116871168 26766 4294967295 134512640 135987407 3221224576 3221223248 134812261 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7940/statm): 28533 26766 364 364 0 28169 0
[pid=7940] vsize: 114132
Current children cumulated CPU time (s) 1168.57
Current children cumulated vsize (Kb) 114132

[startup+1180.04 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 7940
Raw data (/proc/7940/stat): 7940 (pb2sat) R 7939 7940 4060 0 -1 0 47957 0 0 0 117670 186 0 0 25 0 1 0 21150693 116871168 26772 4294967295 134512640 135987407 3221224576 3221223120 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7940/statm): 28533 26772 364 364 0 28169 0
[pid=7940] vsize: 114132
Current children cumulated CPU time (s) 1178.56
Current children cumulated vsize (Kb) 114132

[startup+1190.04 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 7940
Raw data (/proc/7940/stat): 7940 (pb2sat) R 7939 7940 4060 0 -1 0 48448 0 0 0 118667 189 0 0 25 0 1 0 21150693 116871168 26782 4294967295 134512640 135987407 3221224576 3221223184 134801144 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7940/statm): 28533 26782 364 364 0 28169 0
[pid=7940] vsize: 114132
Current children cumulated CPU time (s) 1188.56
Current children cumulated vsize (Kb) 114132

[startup+1200.04 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 7940
Raw data (/proc/7940/stat): 7940 (pb2sat) R 7939 7940 4060 0 -1 0 48457 0 0 0 119665 189 0 0 25 0 1 0 21150693 116871168 26791 4294967295 134512640 135987407 3221224576 3221223120 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7940/statm): 28533 26791 364 364 0 28169 0
[pid=7940] vsize: 114132
Current children cumulated CPU time (s) 1198.54
Current children cumulated vsize (Kb) 114132

[startup+1210.04 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 7940
Raw data (/proc/7940/stat): 7940 (pb2sat) R 7939 7940 4060 0 -1 0 48468 0 0 0 120662 190 0 0 25 0 1 0 21150693 116871168 26802 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7940/statm): 28533 26802 364 364 0 28169 0
[pid=7940] vsize: 114132
Current children cumulated CPU time (s) 1208.52
Current children cumulated vsize (Kb) 114132



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1210.04 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 7940
Raw data (/proc/7940/stat): 7940 (pb2sat) R 7939 7940 4060 0 -1 0 48468 0 0 0 120662 190 0 0 25 0 1 0 21150693 116871168 26802 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7940/statm): 28533 26802 364 364 0 28169 0
[pid=7940] vsize: 114132
Current children cumulated CPU time (s) 1208.52
Current children cumulated vsize (Kb) 114132

Sending SIGTERM to -7940
Sleeping 2 seconds
One traced child (pid=7940) exited with status: 10
All traced children have exited ! Game is over.

Child status: 10
Real time (s): 1210.45
CPU time (s): 1208.94
CPU user time (s): 1206.97
CPU system time (s): 1.9617
CPU usage (%): 99.8752
Max. virtual memory (cumulated for all children) (Kb): 114576

Verifier Data

Verifier:	OK	5506