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/een/normalized-p0201.opb
MD5SUMff4eb45c2603a47e5b79b2649e926ba4
Bench Categoryoptimization, small integers (OPTSMALLINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 1523
Optimality of the best value was proved YES
Number of terms in the objective function 201
Biggest coefficient in the objective function 1920
Number of bits for the biggest coefficient in the objective function 11
Sum of the numbers in the objective function 19980
Number of bits of the sum of numbers in the objective function 15
Biggest number in a constraint 1920
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 19980
Number of bits of the biggest sum of numbers15
Best result obtained on this benchmarkOPTIMUM FOUND
Best CPU time to get the best result obtained on this benchmark221.9
Number of variables195
Total number of constraints133
Number of constraints which are clauses20
Number of constraints which are cardinality constraints (but not clauses)26
Number of constraints which are nor clauses,nor cardinality constraints87
Minimum length of a constraint3
Maximum length of a constraint65

Trace number 9798

Launcher Data

LAUNCH ON wulflinc22 THE 2005-09-23 15:16:18 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=8485 boxname=wulflinc22 idbench=281 idsolver=8 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  ff4eb45c2603a47e5b79b2649e926ba4  /oldhome/oroussel/tmp/wulflinc22/normalized-p0201.opb
REAL COMMAND:  pb2sat /oldhome/oroussel/tmp/wulflinc22/normalized-p0201.opb
IDLAUNCH: 8485
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 450.985
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		: 450.985
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:        923096 kB
Buffers:         11600 kB
Cached:          83192 kB
SwapCached:          0 kB
Active:          44744 kB
Inactive:        52940 kB
HighTotal:      131008 kB
HighFree:        47460 kB
LowTotal:       903652 kB
LowFree:        875636 kB
SwapTotal:     2097892 kB
SwapFree:      2097892 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6976 kB
Slab:             8304 kB
Committed_AS:    63656 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-09-23 15:36:29 (client local time) WITH STATUS 10 IN 1210.69 SECONDS
stats: 8485 0 1210.69 10

Solver Data

c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...
c got solution with objective value: 7365
c small objective detected
c CONFLICT during preprocess 
c [startup+41.4056 s]  setting bit 14 to 0
c CONFLICT during preprocess 
c [startup+44.4792 s]  setting bit 13 to 0
c got solution with objective value: 3096
c [startup+50.9855 s]  setting bit 12 to 1

c Decision: 511156/761566	Time: 244.837/86400
c Decision: 511166/761566	Time: 481.709/86400
c Decision: 511166/761566	Time: 596.092/86400
c Decision: 511168/761566	Time: 726.31/86400
c Decision: 511168/761566	Time: 831.218/86400
c Decision: 511279/761566	Time: 1010.25/86400s SATISFIABLE
v x0 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 x134 -x135 -x136 -x137 -x138 -x139 -x14 -x140 -x141 -x142 x143 -x144 -x145 -x146 -x147 -x148 -x149 x15 -x150 -x151 -x152 -x153 x154 -x155 -x156 -x157 -x158 -x159 x16 -x160 -x161 -x162 x163 -x164 -x165 -x166 x167 -x168 -x169 x17 -x170 -x171 -x172 -x173 -x174 -x175 x176 -x177 -x178 -x179 -x18 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 x189 -x19 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 x198 -x199 x2 -x20 -x200 -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/7585/stat): 7585 (pb2sat) R 7584 7585 4060 0 -1 0 18 0 0 0 0 0 0 0 24 0 1 0 21194538 1527808 2 4294967295 134512640 135987407 3221224576 3221224576 134512928 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/7585/statm): 373 2 364 364 0 9 0
[pid=7585] vsize: 1492
open syscall for file /oldhome/oroussel/tmp/wulflinc22/normalized-p0201.opb

[startup+10.0016 s]
Raw data (loadavg): 0.93 0.96 0.98 2/55 7585
Raw data (/proc/7585/stat): 7585 (pb2sat) R 7584 7585 4060 0 -1 0 31726 0 0 0 924 71 0 0 25 0 1 0 21194538 98009088 20581 4294967295 134512640 135987407 3221224576 3221196824 135487898 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7585/statm): 23928 20581 364 364 0 23564 0
[pid=7585] vsize: 95712
Current children cumulated CPU time (s) 9.95
Current children cumulated vsize (Kb) 95712

[startup+20.0023 s]
Raw data (loadavg): 0.94 0.96 0.98 2/55 7585
Raw data (/proc/7585/stat): 7585 (pb2sat) R 7584 7585 4060 0 -1 0 62753 0 0 0 1857 135 0 0 25 0 1 0 21194538 193294336 40393 4294967295 134512640 135987407 3221224576 3221186060 135480721 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7585/statm): 47191 40393 364 364 0 46827 0
[pid=7585] vsize: 188764
Current children cumulated CPU time (s) 19.92
Current children cumulated vsize (Kb) 188764

[startup+30.003 s]
Raw data (loadavg): 0.95 0.96 0.98 2/55 7585
Raw data (/proc/7585/stat): 7585 (pb2sat) R 7584 7585 4060 0 -1 0 105485 0 0 0 2758 231 0 0 25 0 1 0 21194538 359129088 60932 4294967295 134512640 135987407 3221224576 3221202496 134877634 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7585/statm): 87678 60932 364 364 0 87314 0
[pid=7585] vsize: 350712
Current children cumulated CPU time (s) 29.89
Current children cumulated vsize (Kb) 350712

[startup+40.0027 s]
Raw data (loadavg): 0.96 0.96 0.98 2/55 7585
Raw data (/proc/7585/stat): 7585 (pb2sat) R 7584 7585 4060 0 -1 0 121122 0 0 0 3722 265 0 0 25 0 1 0 21194538 387674112 76416 4294967295 134512640 135987407 3221224576 3221222968 134827493 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7585/statm): 94647 76416 364 364 0 94283 0
[pid=7585] vsize: 378588
Current children cumulated CPU time (s) 39.87
Current children cumulated vsize (Kb) 378588

[startup+50.0034 s]
Raw data (loadavg): 0.96 0.96 0.98 2/55 7585
Raw data (/proc/7585/stat): 7585 (pb2sat) R 7584 7585 4060 0 -1 0 127054 0 0 0 4707 279 0 0 25 0 1 0 21194538 393302016 77203 4294967295 134512640 135987407 3221224576 3221223248 134788457 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7585/statm): 96021 77203 364 364 0 95657 0
[pid=7585] vsize: 384084
Current children cumulated CPU time (s) 49.86
Current children cumulated vsize (Kb) 384084

[startup+60.0042 s]
Raw data (loadavg): 0.97 0.96 0.98 2/55 7585
Raw data (/proc/7585/stat): 7585 (pb2sat) R 7584 7585 4060 0 -1 0 129428 0 0 0 5701 284 0 0 25 0 1 0 21194538 395452416 77892 4294967295 134512640 135987407 3221224576 3221223280 134789985 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7585/statm): 96546 77892 364 364 0 96182 0
[pid=7585] vsize: 386184
Current children cumulated CPU time (s) 59.85
Current children cumulated vsize (Kb) 386184

[startup+70.0049 s]
Raw data (loadavg): 0.97 0.96 0.98 2/55 7585
Raw data (/proc/7585/stat): 7585 (pb2sat) R 7584 7585 4060 0 -1 0 130681 0 0 0 6697 287 0 0 25 0 1 0 21194538 399990784 78605 4294967295 134512640 135987407 3221224576 3221223296 134812696 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7585/statm): 97654 78605 364 364 0 97290 0
[pid=7585] vsize: 390616
Current children cumulated CPU time (s) 69.84
Current children cumulated vsize (Kb) 390616

[startup+80.0056 s]
Raw data (loadavg): 0.98 0.96 0.98 2/55 7585
Raw data (/proc/7585/stat): 7585 (pb2sat) R 7584 7585 4060 0 -1 0 131520 0 0 0 7695 289 0 0 25 0 1 0 21194538 402776064 79019 4294967295 134512640 135987407 3221224576 3221223296 134812696 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7585/statm): 98334 79019 364 364 0 97970 0
[pid=7585] vsize: 393336
Current children cumulated CPU time (s) 79.84
Current children cumulated vsize (Kb) 393336

[startup+90.0053 s]
Raw data (loadavg): 0.98 0.96 0.98 2/55 7585
Raw data (/proc/7585/stat): 7585 (pb2sat) R 7584 7585 4060 0 -1 0 131999 0 0 0 8692 290 0 0 25 0 1 0 21194538 404221952 79172 4294967295 134512640 135987407 3221224576 3221222992 134788496 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7585/statm): 98687 79172 364 364 0 98323 0
[pid=7585] vsize: 394748
Current children cumulated CPU time (s) 89.82
Current children cumulated vsize (Kb) 394748

[startup+100.006 s]
Raw data (loadavg): 0.98 0.96 0.98 2/55 7585
Raw data (/proc/7585/stat): 7585 (pb2sat) R 7584 7585 4060 0 -1 0 132370 0 0 0 9691 291 0 0 25 0 1 0 21194538 405008384 79347 4294967295 134512640 135987407 3221224576 3221223120 134811704 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7585/statm): 98879 79347 364 364 0 98515 0
[pid=7585] vsize: 395516
Current children cumulated CPU time (s) 99.82
Current children cumulated vsize (Kb) 395516

[startup+110.007 s]
Raw data (loadavg): 0.98 0.97 0.98 2/55 7585
Raw data (/proc/7585/stat): 7585 (pb2sat) R 7584 7585 4060 0 -1 0 132567 0 0 0 10689 292 0 0 25 0 1 0 21194538 405536768 79445 4294967295 134512640 135987407 3221224576 3221223120 134811778 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7585/statm): 99008 79445 364 364 0 98644 0
[pid=7585] vsize: 396032
Current children cumulated CPU time (s) 109.81
Current children cumulated vsize (Kb) 396032

[startup+120.006 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7585
Raw data (/proc/7585/stat): 7585 (pb2sat) R 7584 7585 4060 0 -1 0 133094 0 0 0 11688 293 0 0 25 0 1 0 21194538 406585344 79712 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7585/statm): 99264 79712 364 364 0 98900 0
[pid=7585] vsize: 397056
Current children cumulated CPU time (s) 119.81
Current children cumulated vsize (Kb) 397056

[startup+130.007 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7585
Raw data (/proc/7585/stat): 7585 (pb2sat) R 7584 7585 4060 0 -1 0 133371 0 0 0 12687 294 0 0 25 0 1 0 21194538 407506944 79795 4294967295 134512640 135987407 3221224576 3221223296 134812647 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7585/statm): 99489 79795 364 364 0 99125 0
[pid=7585] vsize: 397956
Current children cumulated CPU time (s) 129.81
Current children cumulated vsize (Kb) 397956

[startup+140.007 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7585
Raw data (/proc/7585/stat): 7585 (pb2sat) R 7584 7585 4060 0 -1 0 133458 0 0 0 13686 294 0 0 25 0 1 0 21194538 407773184 79882 4294967295 134512640 135987407 3221224576 3221223120 134812056 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7585/statm): 99554 79882 364 364 0 99190 0
[pid=7585] vsize: 398216
Current children cumulated CPU time (s) 139.8
Current children cumulated vsize (Kb) 398216

[startup+150.008 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7585
Raw data (/proc/7585/stat): 7585 (pb2sat) R 7584 7585 4060 0 -1 0 133728 0 0 0 14684 296 0 0 25 0 1 0 21194538 408559616 79957 4294967295 134512640 135987407 3221224576 3221223120 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7585/statm): 99746 79957 364 364 0 99382 0
[pid=7585] vsize: 398984
Current children cumulated CPU time (s) 149.8
Current children cumulated vsize (Kb) 398984

[startup+160.007 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7585
Raw data (/proc/7585/stat): 7585 (pb2sat) R 7584 7585 4060 0 -1 0 133734 0 0 0 15683 296 0 0 25 0 1 0 21194538 408559616 79963 4294967295 134512640 135987407 3221224576 3221223248 134824259 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7585/statm): 99746 79963 364 364 0 99382 0
[pid=7585] vsize: 398984
Current children cumulated CPU time (s) 159.79
Current children cumulated vsize (Kb) 398984

[startup+170.007 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7585
Raw data (/proc/7585/stat): 7585 (pb2sat) R 7584 7585 4060 0 -1 0 133737 0 0 0 16682 297 0 0 25 0 1 0 21194538 408559616 79966 4294967295 134512640 135987407 3221224576 3221222992 134788454 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7585/statm): 99746 79966 364 364 0 99382 0
[pid=7585] vsize: 398984
Current children cumulated CPU time (s) 169.79
Current children cumulated vsize (Kb) 398984

[startup+180.008 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7585
Raw data (/proc/7585/stat): 7585 (pb2sat) R 7584 7585 4060 0 -1 0 133750 0 0 0 17681 297 0 0 25 0 1 0 21194538 408559616 79979 4294967295 134512640 135987407 3221224576 3221223280 134790057 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7585/statm): 99746 79979 364 364 0 99382 0
[pid=7585] vsize: 398984
Current children cumulated CPU time (s) 179.78
Current children cumulated vsize (Kb) 398984

[startup+190.008 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7585
Raw data (/proc/7585/stat): 7585 (pb2sat) R 7584 7585 4060 0 -1 0 133763 0 0 0 18680 297 0 0 25 0 1 0 21194538 408559616 79992 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7585/statm): 99746 79992 364 364 0 99382 0
[pid=7585] vsize: 398984
Current children cumulated CPU time (s) 189.77
Current children cumulated vsize (Kb) 398984

[startup+200.009 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7585
Raw data (/proc/7585/stat): 7585 (pb2sat) R 7584 7585 4060 0 -1 0 133771 0 0 0 19679 298 0 0 25 0 1 0 21194538 408559616 80000 4294967295 134512640 135987407 3221224576 3221223120 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7585/statm): 99746 80000 364 364 0 99382 0
[pid=7585] vsize: 398984
Current children cumulated CPU time (s) 199.77
Current children cumulated vsize (Kb) 398984

[startup+210.009 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7585
Raw data (/proc/7585/stat): 7585 (pb2sat) R 7584 7585 4060 0 -1 0 133791 0 0 0 20678 298 0 0 25 0 1 0 21194538 408559616 80020 4294967295 134512640 135987407 3221224576 3221223120 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7585/statm): 99746 80020 364 364 0 99382 0
[pid=7585] vsize: 398984
Current children cumulated CPU time (s) 209.76
Current children cumulated vsize (Kb) 398984

[startup+220.008 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7585
Raw data (/proc/7585/stat): 7585 (pb2sat) R 7584 7585 4060 0 -1 0 133823 0 0 0 21677 299 0 0 25 0 1 0 21194538 408559616 80052 4294967295 134512640 135987407 3221224576 3221223248 134824238 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7585/statm): 99746 80052 364 364 0 99382 0
[pid=7585] vsize: 398984
Current children cumulated CPU time (s) 219.76
Current children cumulated vsize (Kb) 398984

[startup+230.009 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7585
Raw data (/proc/7585/stat): 7585 (pb2sat) R 7584 7585 4060 0 -1 0 133832 0 0 0 22676 299 0 0 25 0 1 0 21194538 408559616 80061 4294967295 134512640 135987407 3221224576 3221223120 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7585/statm): 99746 80061 364 364 0 99382 0
[pid=7585] vsize: 398984
Current children cumulated CPU time (s) 229.75
Current children cumulated vsize (Kb) 398984

[startup+240.009 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7585
Raw data (/proc/7585/stat): 7585 (pb2sat) R 7584 7585 4060 0 -1 0 133877 0 0 0 23675 299 0 0 25 0 1 0 21194538 408559616 80106 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7585/statm): 99746 80106 364 364 0 99382 0
[pid=7585] vsize: 398984
Current children cumulated CPU time (s) 239.74
Current children cumulated vsize (Kb) 398984

[startup+250.01 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7585
Raw data (/proc/7585/stat): 7585 (pb2sat) R 7584 7585 4060 0 -1 0 133882 0 0 0 24675 299 0 0 25 0 1 0 21194538 408559616 80111 4294967295 134512640 135987407 3221224576 3221223120 134811980 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7585/statm): 99746 80111 364 364 0 99382 0
[pid=7585] vsize: 398984
Current children cumulated CPU time (s) 249.74
Current children cumulated vsize (Kb) 398984

[startup+260.01 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7585
Raw data (/proc/7585/stat): 7585 (pb2sat) R 7584 7585 4060 0 -1 0 133887 0 0 0 25675 300 0 0 25 0 1 0 21194538 408559616 80116 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7585/statm): 99746 80116 364 364 0 99382 0
[pid=7585] vsize: 398984
Current children cumulated CPU time (s) 259.75
Current children cumulated vsize (Kb) 398984

[startup+270.01 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7585
Raw data (/proc/7585/stat): 7585 (pb2sat) R 7584 7585 4060 0 -1 0 133977 0 0 0 26674 300 0 0 25 0 1 0 21194538 408825856 80206 4294967295 134512640 135987407 3221224576 3221223216 134812365 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7585/statm): 99811 80206 364 364 0 99447 0
[pid=7585] vsize: 399244
Current children cumulated CPU time (s) 269.74
Current children cumulated vsize (Kb) 399244

[startup+280.011 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7585
Raw data (/proc/7585/stat): 7585 (pb2sat) R 7584 7585 4060 0 -1 0 133982 0 0 0 27673 301 0 0 25 0 1 0 21194538 408825856 80211 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7585/statm): 99811 80211 364 364 0 99447 0
[pid=7585] vsize: 399244
Current children cumulated CPU time (s) 279.74
Current children cumulated vsize (Kb) 399244

[startup+290.011 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7585
Raw data (/proc/7585/stat): 7585 (pb2sat) R 7584 7585 4060 0 -1 0 133986 0 0 0 28673 301 0 0 25 0 1 0 21194538 408825856 80215 4294967295 134512640 135987407 3221224576 3221223120 134811778 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7585/statm): 99811 80215 364 364 0 99447 0
[pid=7585] vsize: 399244
Current children cumulated CPU time (s) 289.74
Current children cumulated vsize (Kb) 399244

[startup+300.012 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7585
Raw data (/proc/7585/stat): 7585 (pb2sat) R 7584 7585 4060 0 -1 0 135475 0 0 0 29669 305 0 0 25 0 1 0 21194538 408825856 80216 4294967295 134512640 135987407 3221224576 3221223120 134811885 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7585/statm): 99811 80216 364 364 0 99447 0
[pid=7585] vsize: 399244
Current children cumulated CPU time (s) 299.74
Current children cumulated vsize (Kb) 399244

[startup+310.012 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7585
Raw data (/proc/7585/stat): 7585 (pb2sat) R 7584 7585 4060 0 -1 0 135500 0 0 0 30668 305 0 0 25 0 1 0 21194538 408825856 80241 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7585/statm): 99811 80241 364 364 0 99447 0
[pid=7585] vsize: 399244
Current children cumulated CPU time (s) 309.73
Current children cumulated vsize (Kb) 399244

[startup+320.012 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7585
Raw data (/proc/7585/stat): 7585 (pb2sat) R 7584 7585 4060 0 -1 0 135502 0 0 0 31668 305 0 0 25 0 1 0 21194538 408825856 80243 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7585/statm): 99811 80243 364 364 0 99447 0
[pid=7585] vsize: 399244
Current children cumulated CPU time (s) 319.73
Current children cumulated vsize (Kb) 399244

[startup+330.012 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7585
Raw data (/proc/7585/stat): 7585 (pb2sat) R 7584 7585 4060 0 -1 0 135504 0 0 0 32668 305 0 0 25 0 1 0 21194538 408825856 80245 4294967295 134512640 135987407 3221224576 3221223120 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7585/statm): 99811 80245 364 364 0 99447 0
[pid=7585] vsize: 399244
Current children cumulated CPU time (s) 329.73
Current children cumulated vsize (Kb) 399244

[startup+340.012 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7585
Raw data (/proc/7585/stat): 7585 (pb2sat) R 7584 7585 4060 0 -1 0 135524 0 0 0 33667 305 0 0 25 0 1 0 21194538 408825856 80265 4294967295 134512640 135987407 3221224576 3221222992 134788496 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7585/statm): 99811 80265 364 364 0 99447 0
[pid=7585] vsize: 399244
Current children cumulated CPU time (s) 339.72
Current children cumulated vsize (Kb) 399244

[startup+350.013 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7585
Raw data (/proc/7585/stat): 7585 (pb2sat) R 7584 7585 4060 0 -1 0 135526 0 0 0 34667 306 0 0 25 0 1 0 21194538 408825856 80267 4294967295 134512640 135987407 3221224576 3221222992 134788496 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7585/statm): 99811 80267 364 364 0 99447 0
[pid=7585] vsize: 399244
Current children cumulated CPU time (s) 349.73
Current children cumulated vsize (Kb) 399244

[startup+360.013 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7585
Raw data (/proc/7585/stat): 7585 (pb2sat) R 7584 7585 4060 0 -1 0 135534 0 0 0 35666 306 0 0 25 0 1 0 21194538 408825856 80275 4294967295 134512640 135987407 3221224576 3221223248 134824259 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7585/statm): 99811 80275 364 364 0 99447 0
[pid=7585] vsize: 399244
Current children cumulated CPU time (s) 359.72
Current children cumulated vsize (Kb) 399244

[startup+370.013 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7585
Raw data (/proc/7585/stat): 7585 (pb2sat) R 7584 7585 4060 0 -1 0 135651 0 0 0 36665 307 0 0 25 0 1 0 21194538 409088000 80327 4294967295 134512640 135987407 3221224576 3221222992 134788454 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7585/statm): 99875 80327 364 364 0 99511 0
[pid=7585] vsize: 399500
Current children cumulated CPU time (s) 369.72
Current children cumulated vsize (Kb) 399500

[startup+380.014 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7585
Raw data (/proc/7585/stat): 7585 (pb2sat) R 7584 7585 4060 0 -1 0 135672 0 0 0 37664 307 0 0 25 0 1 0 21194538 409088000 80348 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7585/statm): 99875 80348 364 364 0 99511 0
[pid=7585] vsize: 399500
Current children cumulated CPU time (s) 379.71
Current children cumulated vsize (Kb) 399500

[startup+390.015 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7585
Raw data (/proc/7585/stat): 7585 (pb2sat) R 7584 7585 4060 0 -1 0 135838 0 0 0 38663 308 0 0 25 0 1 0 21194538 409612288 80385 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7585/statm): 100003 80385 364 364 0 99639 0
[pid=7585] vsize: 400012
Current children cumulated CPU time (s) 389.71
Current children cumulated vsize (Kb) 400012

[startup+400.015 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7585
Raw data (/proc/7585/stat): 7585 (pb2sat) R 7584 7585 4060 0 -1 0 135974 0 0 0 39662 308 0 0 25 0 1 0 21194538 409874432 80456 4294967295 134512640 135987407 3221224576 3221222992 134788454 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7585/statm): 100067 80456 364 364 0 99703 0
[pid=7585] vsize: 400268
Current children cumulated CPU time (s) 399.7
Current children cumulated vsize (Kb) 400268

[startup+410.016 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7585
Raw data (/proc/7585/stat): 7585 (pb2sat) R 7584 7585 4060 0 -1 0 135976 0 0 0 40661 309 0 0 25 0 1 0 21194538 409874432 80458 4294967295 134512640 135987407 3221224576 3221223120 134811816 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7585/statm): 100067 80458 364 364 0 99703 0
[pid=7585] vsize: 400268
Current children cumulated CPU time (s) 409.7
Current children cumulated vsize (Kb) 400268

[startup+420.016 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7585
Raw data (/proc/7585/stat): 7585 (pb2sat) R 7584 7585 4060 0 -1 0 136031 0 0 0 41660 309 0 0 25 0 1 0 21194538 410005504 80480 4294967295 134512640 135987407 3221224576 3221222892 135480791 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7585/statm): 100099 80480 364 364 0 99735 0
[pid=7585] vsize: 400396
Current children cumulated CPU time (s) 419.69
Current children cumulated vsize (Kb) 400396

[startup+430.016 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7585
Raw data (/proc/7585/stat): 7585 (pb2sat) R 7584 7585 4060 0 -1 0 136035 0 0 0 42660 309 0 0 25 0 1 0 21194538 410005504 80484 4294967295 134512640 135987407 3221224576 3221223120 134811975 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7585/statm): 100099 80484 364 364 0 99735 0
[pid=7585] vsize: 400396
Current children cumulated CPU time (s) 429.69
Current children cumulated vsize (Kb) 400396

[startup+440.016 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7585
Raw data (/proc/7585/stat): 7585 (pb2sat) R 7584 7585 4060 0 -1 0 136038 0 0 0 43659 309 0 0 25 0 1 0 21194538 410005504 80487 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7585/statm): 100099 80487 364 364 0 99735 0
[pid=7585] vsize: 400396
Current children cumulated CPU time (s) 439.68
Current children cumulated vsize (Kb) 400396

[startup+450.017 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7585
Raw data (/proc/7585/stat): 7585 (pb2sat) R 7584 7585 4060 0 -1 0 136040 0 0 0 44659 309 0 0 25 0 1 0 21194538 410005504 80489 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7585/statm): 100099 80489 364 364 0 99735 0
[pid=7585] vsize: 400396
Current children cumulated CPU time (s) 449.68
Current children cumulated vsize (Kb) 400396

[startup+460.017 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7585
Raw data (/proc/7585/stat): 7585 (pb2sat) R 7584 7585 4060 0 -1 0 136044 0 0 0 45659 310 0 0 25 0 1 0 21194538 410005504 80493 4294967295 134512640 135987407 3221224576 3221223248 134824720 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7585/statm): 100099 80493 364 364 0 99735 0
[pid=7585] vsize: 400396
Current children cumulated CPU time (s) 459.69
Current children cumulated vsize (Kb) 400396

[startup+470.017 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7585
Raw data (/proc/7585/stat): 7585 (pb2sat) R 7584 7585 4060 0 -1 0 136047 0 0 0 46658 310 0 0 25 0 1 0 21194538 410005504 80496 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7585/statm): 100099 80496 364 364 0 99735 0
[pid=7585] vsize: 400396
Current children cumulated CPU time (s) 469.68
Current children cumulated vsize (Kb) 400396

[startup+480.017 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7585
Raw data (/proc/7585/stat): 7585 (pb2sat) R 7584 7585 4060 0 -1 0 136052 0 0 0 47658 310 0 0 25 0 1 0 21194538 410005504 80501 4294967295 134512640 135987407 3221224576 3221223280 134790060 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7585/statm): 100099 80501 364 364 0 99735 0
[pid=7585] vsize: 400396
Current children cumulated CPU time (s) 479.68
Current children cumulated vsize (Kb) 400396

[startup+490.017 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7585
Raw data (/proc/7585/stat): 7585 (pb2sat) R 7584 7585 4060 0 -1 0 136055 0 0 0 48657 310 0 0 25 0 1 0 21194538 410005504 80504 4294967295 134512640 135987407 3221224576 3221222992 134788454 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7585/statm): 100099 80504 364 364 0 99735 0
[pid=7585] vsize: 400396
Current children cumulated CPU time (s) 489.67
Current children cumulated vsize (Kb) 400396

[startup+500.017 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7585
Raw data (/proc/7585/stat): 7585 (pb2sat) R 7584 7585 4060 0 -1 0 136058 0 0 0 49657 310 0 0 25 0 1 0 21194538 410005504 80507 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7585/statm): 100099 80507 364 364 0 99735 0
[pid=7585] vsize: 400396
Current children cumulated CPU time (s) 499.67
Current children cumulated vsize (Kb) 400396

[startup+510.017 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7585
Raw data (/proc/7585/stat): 7585 (pb2sat) R 7584 7585 4060 0 -1 0 136084 0 0 0 50657 310 0 0 25 0 1 0 21194538 410005504 80533 4294967295 134512640 135987407 3221224576 3221223120 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7585/statm): 100099 80533 364 364 0 99735 0
[pid=7585] vsize: 400396
Current children cumulated CPU time (s) 509.67
Current children cumulated vsize (Kb) 400396

[startup+520.017 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7585
Raw data (/proc/7585/stat): 7585 (pb2sat) R 7584 7585 4060 0 -1 0 136089 0 0 0 51656 311 0 0 25 0 1 0 21194538 410005504 80538 4294967295 134512640 135987407 3221224576 3221223120 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7585/statm): 100099 80538 364 364 0 99735 0
[pid=7585] vsize: 400396
Current children cumulated CPU time (s) 519.67
Current children cumulated vsize (Kb) 400396

[startup+530.018 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7585
Raw data (/proc/7585/stat): 7585 (pb2sat) R 7584 7585 4060 0 -1 0 136091 0 0 0 52656 311 0 0 25 0 1 0 21194538 410005504 80540 4294967295 134512640 135987407 3221224576 3221222992 134788496 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7585/statm): 100099 80540 364 364 0 99735 0
[pid=7585] vsize: 400396
Current children cumulated CPU time (s) 529.67
Current children cumulated vsize (Kb) 400396

[startup+540.017 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7585
Raw data (/proc/7585/stat): 7585 (pb2sat) R 7584 7585 4060 0 -1 0 137582 0 0 0 53652 315 0 0 25 0 1 0 21194538 410005504 80543 4294967295 134512640 135987407 3221224576 3221223120 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7585/statm): 100099 80543 364 364 0 99735 0
[pid=7585] vsize: 400396
Current children cumulated CPU time (s) 539.67
Current children cumulated vsize (Kb) 400396

[startup+550.018 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7585
Raw data (/proc/7585/stat): 7585 (pb2sat) R 7584 7585 4060 0 -1 0 137585 0 0 0 54651 315 0 0 25 0 1 0 21194538 410005504 80546 4294967295 134512640 135987407 3221224576 3221223120 134811816 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7585/statm): 100099 80546 364 364 0 99735 0
[pid=7585] vsize: 400396
Current children cumulated CPU time (s) 549.66
Current children cumulated vsize (Kb) 400396

[startup+560.018 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7585
Raw data (/proc/7585/stat): 7585 (pb2sat) R 7584 7585 4060 0 -1 0 137587 0 0 0 55650 315 0 0 25 0 1 0 21194538 410005504 80548 4294967295 134512640 135987407 3221224576 3221223200 134812426 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7585/statm): 100099 80548 364 364 0 99735 0
[pid=7585] vsize: 400396
Current children cumulated CPU time (s) 559.65
Current children cumulated vsize (Kb) 400396

[startup+570.018 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7585
Raw data (/proc/7585/stat): 7585 (pb2sat) R 7584 7585 4060 0 -1 0 137590 0 0 0 56650 315 0 0 25 0 1 0 21194538 410005504 80551 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7585/statm): 100099 80551 364 364 0 99735 0
[pid=7585] vsize: 400396
Current children cumulated CPU time (s) 569.65
Current children cumulated vsize (Kb) 400396

[startup+580.019 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7585
Raw data (/proc/7585/stat): 7585 (pb2sat) R 7584 7585 4060 0 -1 0 137739 0 0 0 57649 315 0 0 25 0 1 0 21194538 410267648 80635 4294967295 134512640 135987407 3221224576 3221223120 134811778 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7585/statm): 100163 80635 364 364 0 99799 0
[pid=7585] vsize: 400652
Current children cumulated CPU time (s) 579.64
Current children cumulated vsize (Kb) 400652

[startup+590.02 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7585
Raw data (/proc/7585/stat): 7585 (pb2sat) R 7584 7585 4060 0 -1 0 137755 0 0 0 58649 316 0 0 25 0 1 0 21194538 410267648 80651 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7585/statm): 100163 80651 364 364 0 99799 0
[pid=7585] vsize: 400652
Current children cumulated CPU time (s) 589.65
Current children cumulated vsize (Kb) 400652

[startup+600.02 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7585
Raw data (/proc/7585/stat): 7585 (pb2sat) R 7584 7585 4060 0 -1 0 137763 0 0 0 59648 316 0 0 25 0 1 0 21194538 410267648 80659 4294967295 134512640 135987407 3221224576 3221223296 134812647 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7585/statm): 100163 80659 364 364 0 99799 0
[pid=7585] vsize: 400652
Current children cumulated CPU time (s) 599.64
Current children cumulated vsize (Kb) 400652

[startup+610.021 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7585
Raw data (/proc/7585/stat): 7585 (pb2sat) R 7584 7585 4060 0 -1 0 137766 0 0 0 60647 316 0 0 25 0 1 0 21194538 410267648 80662 4294967295 134512640 135987407 3221224576 3221223248 134824720 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7585/statm): 100163 80662 364 364 0 99799 0
[pid=7585] vsize: 400652
Current children cumulated CPU time (s) 609.63
Current children cumulated vsize (Kb) 400652

[startup+620.021 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7585
Raw data (/proc/7585/stat): 7585 (pb2sat) R 7584 7585 4060 0 -1 0 137771 0 0 0 61647 316 0 0 25 0 1 0 21194538 410267648 80667 4294967295 134512640 135987407 3221224576 3221223120 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7585/statm): 100163 80667 364 364 0 99799 0
[pid=7585] vsize: 400652
Current children cumulated CPU time (s) 619.63
Current children cumulated vsize (Kb) 400652

[startup+630.022 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7585
Raw data (/proc/7585/stat): 7585 (pb2sat) R 7584 7585 4060 0 -1 0 137773 0 0 0 62646 316 0 0 25 0 1 0 21194538 410267648 80669 4294967295 134512640 135987407 3221224576 3221223120 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7585/statm): 100163 80669 364 364 0 99799 0
[pid=7585] vsize: 400652
Current children cumulated CPU time (s) 629.62
Current children cumulated vsize (Kb) 400652

[startup+640.022 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7585
Raw data (/proc/7585/stat): 7585 (pb2sat) R 7584 7585 4060 0 -1 0 137776 0 0 0 63646 317 0 0 25 0 1 0 21194538 410267648 80672 4294967295 134512640 135987407 3221224576 3221222892 135480788 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7585/statm): 100163 80672 364 364 0 99799 0
[pid=7585] vsize: 400652
Current children cumulated CPU time (s) 639.63
Current children cumulated vsize (Kb) 400652

[startup+650.023 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7585
Raw data (/proc/7585/stat): 7585 (pb2sat) R 7584 7585 4060 0 -1 0 139266 0 0 0 64641 321 0 0 25 0 1 0 21194538 410267648 80674 4294967295 134512640 135987407 3221224576 3221223276 134812764 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7585/statm): 100163 80674 364 364 0 99799 0
[pid=7585] vsize: 400652
Current children cumulated CPU time (s) 649.62
Current children cumulated vsize (Kb) 400652

[startup+660.024 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7585
Raw data (/proc/7585/stat): 7585 (pb2sat) R 7584 7585 4060 0 -1 0 139382 0 0 0 65640 322 0 0 25 0 1 0 21194538 410529792 80725 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7585/statm): 100227 80725 364 364 0 99863 0
[pid=7585] vsize: 400908
Current children cumulated CPU time (s) 659.62
Current children cumulated vsize (Kb) 400908

[startup+670.024 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7585
Raw data (/proc/7585/stat): 7585 (pb2sat) R 7584 7585 4060 0 -1 0 139554 0 0 0 66639 322 0 0 25 0 1 0 21194538 411054080 80768 4294967295 134512640 135987407 3221224576 3221223208 134812410 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7585/statm): 100355 80768 364 364 0 99991 0
[pid=7585] vsize: 401420
Current children cumulated CPU time (s) 669.61
Current children cumulated vsize (Kb) 401420

[startup+680.024 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7585
Raw data (/proc/7585/stat): 7585 (pb2sat) R 7584 7585 4060 0 -1 0 139568 0 0 0 67639 323 0 0 25 0 1 0 21194538 411054080 80782 4294967295 134512640 135987407 3221224576 3221223296 134812600 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7585/statm): 100355 80782 364 364 0 99991 0
[pid=7585] vsize: 401420
Current children cumulated CPU time (s) 679.62
Current children cumulated vsize (Kb) 401420

[startup+690.024 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7585
Raw data (/proc/7585/stat): 7585 (pb2sat) R 7584 7585 4060 0 -1 0 139570 0 0 0 68638 323 0 0 25 0 1 0 21194538 411054080 80784 4294967295 134512640 135987407 3221224576 3221223120 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7585/statm): 100355 80784 364 364 0 99991 0
[pid=7585] vsize: 401420
Current children cumulated CPU time (s) 689.61
Current children cumulated vsize (Kb) 401420

[startup+700.025 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7585
Raw data (/proc/7585/stat): 7585 (pb2sat) R 7584 7585 4060 0 -1 0 139573 0 0 0 69637 323 0 0 25 0 1 0 21194538 411054080 80787 4294967295 134512640 135987407 3221224576 3221223120 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7585/statm): 100355 80787 364 364 0 99991 0
[pid=7585] vsize: 401420
Current children cumulated CPU time (s) 699.6
Current children cumulated vsize (Kb) 401420

[startup+710.025 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7585
Raw data (/proc/7585/stat): 7585 (pb2sat) R 7584 7585 4060 0 -1 0 139581 0 0 0 70636 323 0 0 25 0 1 0 21194538 411230208 80795 4294967295 134512640 135987407 3221224576 3221223216 134812298 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7585/statm): 100398 80795 364 364 0 100034 0
[pid=7585] vsize: 401592
Current children cumulated CPU time (s) 709.59
Current children cumulated vsize (Kb) 401592

[startup+720.025 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7585
Raw data (/proc/7585/stat): 7585 (pb2sat) R 7584 7585 4060 0 -1 0 139585 0 0 0 71636 323 0 0 25 0 1 0 21194538 411230208 80799 4294967295 134512640 135987407 3221224576 3221223248 134824259 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7585/statm): 100398 80799 364 364 0 100034 0
[pid=7585] vsize: 401592
Current children cumulated CPU time (s) 719.59
Current children cumulated vsize (Kb) 401592

[startup+730.026 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7585
Raw data (/proc/7585/stat): 7585 (pb2sat) R 7584 7585 4060 0 -1 0 139588 0 0 0 72634 324 0 0 25 0 1 0 21194538 411230208 80802 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7585/statm): 100398 80802 364 364 0 100034 0
[pid=7585] vsize: 401592
Current children cumulated CPU time (s) 729.58
Current children cumulated vsize (Kb) 401592

[startup+740.027 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7585
Raw data (/proc/7585/stat): 7585 (pb2sat) R 7584 7585 4060 0 -1 0 139592 0 0 0 73634 325 0 0 25 0 1 0 21194538 411230208 80806 4294967295 134512640 135987407 3221224576 3221223296 134812647 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7585/statm): 100398 80806 364 364 0 100034 0
[pid=7585] vsize: 401592
Current children cumulated CPU time (s) 739.59
Current children cumulated vsize (Kb) 401592

[startup+750.027 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7585
Raw data (/proc/7585/stat): 7585 (pb2sat) R 7584 7585 4060 0 -1 0 139597 0 0 0 74633 325 0 0 25 0 1 0 21194538 411230208 80811 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7585/statm): 100398 80811 364 364 0 100034 0
[pid=7585] vsize: 401592
Current children cumulated CPU time (s) 749.58
Current children cumulated vsize (Kb) 401592

[startup+760.027 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7585
Raw data (/proc/7585/stat): 7585 (pb2sat) R 7584 7585 4060 0 -1 0 139600 0 0 0 75632 325 0 0 25 0 1 0 21194538 411230208 80814 4294967295 134512640 135987407 3221224576 3221222992 134788454 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7585/statm): 100398 80814 364 364 0 100034 0
[pid=7585] vsize: 401592
Current children cumulated CPU time (s) 759.57
Current children cumulated vsize (Kb) 401592

[startup+770.028 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7585
Raw data (/proc/7585/stat): 7585 (pb2sat) R 7584 7585 4060 0 -1 0 139605 0 0 0 76632 326 0 0 25 0 1 0 21194538 411230208 80819 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7585/statm): 100398 80819 364 364 0 100034 0
[pid=7585] vsize: 401592
Current children cumulated CPU time (s) 769.58
Current children cumulated vsize (Kb) 401592

[startup+780.028 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7585
Raw data (/proc/7585/stat): 7585 (pb2sat) R 7584 7585 4060 0 -1 0 141094 0 0 0 77628 329 0 0 25 0 1 0 21194538 411230208 80820 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7585/statm): 100398 80820 364 364 0 100034 0
[pid=7585] vsize: 401592
Current children cumulated CPU time (s) 779.57
Current children cumulated vsize (Kb) 401592

[startup+790.028 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7585
Raw data (/proc/7585/stat): 7585 (pb2sat) R 7584 7585 4060 0 -1 0 141098 0 0 0 78628 329 0 0 25 0 1 0 21194538 411230208 80824 4294967295 134512640 135987407 3221224576 3221223120 134812120 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7585/statm): 100398 80824 364 364 0 100034 0
[pid=7585] vsize: 401592
Current children cumulated CPU time (s) 789.57
Current children cumulated vsize (Kb) 401592

[startup+800.029 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7585
Raw data (/proc/7585/stat): 7585 (pb2sat) R 7584 7585 4060 0 -1 0 141102 0 0 0 79626 330 0 0 25 0 1 0 21194538 411230208 80828 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7585/statm): 100398 80828 364 364 0 100034 0
[pid=7585] vsize: 401592
Current children cumulated CPU time (s) 799.56
Current children cumulated vsize (Kb) 401592

[startup+810.029 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7585
Raw data (/proc/7585/stat): 7585 (pb2sat) R 7584 7585 4060 0 -1 0 141105 0 0 0 80626 330 0 0 25 0 1 0 21194538 411230208 80831 4294967295 134512640 135987407 3221224576 3221223120 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7585/statm): 100398 80831 364 364 0 100034 0
[pid=7585] vsize: 401592
Current children cumulated CPU time (s) 809.56
Current children cumulated vsize (Kb) 401592

[startup+820.029 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7585
Raw data (/proc/7585/stat): 7585 (pb2sat) R 7584 7585 4060 0 -1 0 141108 0 0 0 81625 330 0 0 25 0 1 0 21194538 411230208 80834 4294967295 134512640 135987407 3221224576 3221222960 134775168 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7585/statm): 100398 80834 364 364 0 100034 0
[pid=7585] vsize: 401592
Current children cumulated CPU time (s) 819.55
Current children cumulated vsize (Kb) 401592

[startup+830.03 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7585
Raw data (/proc/7585/stat): 7585 (pb2sat) R 7584 7585 4060 0 -1 0 141111 0 0 0 82625 330 0 0 25 0 1 0 21194538 411230208 80837 4294967295 134512640 135987407 3221224576 3221223004 135486794 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7585/statm): 100398 80837 364 364 0 100034 0
[pid=7585] vsize: 401592
Current children cumulated CPU time (s) 829.55
Current children cumulated vsize (Kb) 401592

[startup+840.03 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7585
Raw data (/proc/7585/stat): 7585 (pb2sat) R 7584 7585 4060 0 -1 0 141266 0 0 0 83624 331 0 0 25 0 1 0 21194538 411754496 80863 4294967295 134512640 135987407 3221224576 3221223120 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7585/statm): 100526 80863 364 364 0 100162 0
[pid=7585] vsize: 402104
Current children cumulated CPU time (s) 839.55
Current children cumulated vsize (Kb) 402104

[startup+850.03 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7585
Raw data (/proc/7585/stat): 7585 (pb2sat) R 7584 7585 4060 0 -1 0 141277 0 0 0 84623 332 0 0 25 0 1 0 21194538 411754496 80874 4294967295 134512640 135987407 3221224576 3221223120 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7585/statm): 100526 80874 364 364 0 100162 0
[pid=7585] vsize: 402104
Current children cumulated CPU time (s) 849.55
Current children cumulated vsize (Kb) 402104

[startup+860.03 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7585
Raw data (/proc/7585/stat): 7585 (pb2sat) R 7584 7585 4060 0 -1 0 141417 0 0 0 85622 332 0 0 25 0 1 0 21194538 412278784 80885 4294967295 134512640 135987407 3221224576 3221223120 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7585/statm): 100654 80885 364 364 0 100290 0
[pid=7585] vsize: 402616
Current children cumulated CPU time (s) 859.54
Current children cumulated vsize (Kb) 402616

[startup+870.03 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7585
Raw data (/proc/7585/stat): 7585 (pb2sat) R 7584 7585 4060 0 -1 0 141420 0 0 0 86622 332 0 0 25 0 1 0 21194538 412278784 80888 4294967295 134512640 135987407 3221224576 3221223120 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7585/statm): 100654 80888 364 364 0 100290 0
[pid=7585] vsize: 402616
Current children cumulated CPU time (s) 869.54
Current children cumulated vsize (Kb) 402616

[startup+880.031 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7585
Raw data (/proc/7585/stat): 7585 (pb2sat) R 7584 7585 4060 0 -1 0 141424 0 0 0 87622 332 0 0 25 0 1 0 21194538 412278784 80892 4294967295 134512640 135987407 3221224576 3221223152 134814273 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7585/statm): 100654 80892 364 364 0 100290 0
[pid=7585] vsize: 402616
Current children cumulated CPU time (s) 879.54
Current children cumulated vsize (Kb) 402616

[startup+890.03 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7585
Raw data (/proc/7585/stat): 7585 (pb2sat) R 7584 7585 4060 0 -1 0 142913 0 0 0 88618 336 0 0 25 0 1 0 21194538 412278784 80893 4294967295 134512640 135987407 3221224576 3221223120 134811972 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7585/statm): 100654 80893 364 364 0 100290 0
[pid=7585] vsize: 402616
Current children cumulated CPU time (s) 889.54
Current children cumulated vsize (Kb) 402616

[startup+900.031 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7585
Raw data (/proc/7585/stat): 7585 (pb2sat) R 7584 7585 4060 0 -1 0 142916 0 0 0 89617 336 0 0 25 0 1 0 21194538 412278784 80896 4294967295 134512640 135987407 3221224576 3221223120 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7585/statm): 100654 80896 364 364 0 100290 0
[pid=7585] vsize: 402616
Current children cumulated CPU time (s) 899.53
Current children cumulated vsize (Kb) 402616

[startup+910.031 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7585
Raw data (/proc/7585/stat): 7585 (pb2sat) R 7584 7585 4060 0 -1 0 142919 0 0 0 90617 336 0 0 25 0 1 0 21194538 412278784 80899 4294967295 134512640 135987407 3221224576 3221223120 134811807 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7585/statm): 100654 80899 364 364 0 100290 0
[pid=7585] vsize: 402616
Current children cumulated CPU time (s) 909.53
Current children cumulated vsize (Kb) 402616

[startup+920.03 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7585
Raw data (/proc/7585/stat): 7585 (pb2sat) R 7584 7585 4060 0 -1 0 142921 0 0 0 91617 337 0 0 25 0 1 0 21194538 412278784 80901 4294967295 134512640 135987407 3221224576 3221223120 134811807 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7585/statm): 100654 80901 364 364 0 100290 0
[pid=7585] vsize: 402616
Current children cumulated CPU time (s) 919.54
Current children cumulated vsize (Kb) 402616

[startup+930.03 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7585
Raw data (/proc/7585/stat): 7585 (pb2sat) R 7584 7585 4060 0 -1 0 142924 0 0 0 92616 337 0 0 25 0 1 0 21194538 412278784 80904 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7585/statm): 100654 80904 364 364 0 100290 0
[pid=7585] vsize: 402616
Current children cumulated CPU time (s) 929.53
Current children cumulated vsize (Kb) 402616

[startup+940.03 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7585
Raw data (/proc/7585/stat): 7585 (pb2sat) R 7584 7585 4060 0 -1 0 142927 0 0 0 93616 337 0 0 25 0 1 0 21194538 412278784 80907 4294967295 134512640 135987407 3221224576 3221223216 134812358 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7585/statm): 100654 80907 364 364 0 100290 0
[pid=7585] vsize: 402616
Current children cumulated CPU time (s) 939.53
Current children cumulated vsize (Kb) 402616

[startup+950.031 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7585
Raw data (/proc/7585/stat): 7585 (pb2sat) R 7584 7585 4060 0 -1 0 142930 0 0 0 94615 338 0 0 25 0 1 0 21194538 412278784 80910 4294967295 134512640 135987407 3221224576 3221223120 134811729 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7585/statm): 100654 80910 364 364 0 100290 0
[pid=7585] vsize: 402616
Current children cumulated CPU time (s) 949.53
Current children cumulated vsize (Kb) 402616

[startup+960.03 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7585
Raw data (/proc/7585/stat): 7585 (pb2sat) R 7584 7585 4060 0 -1 0 142934 0 0 0 95614 338 0 0 25 0 1 0 21194538 412278784 80914 4294967295 134512640 135987407 3221224576 3221223120 134811832 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7585/statm): 100654 80914 364 364 0 100290 0
[pid=7585] vsize: 402616
Current children cumulated CPU time (s) 959.52
Current children cumulated vsize (Kb) 402616

[startup+970.03 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7585
Raw data (/proc/7585/stat): 7585 (pb2sat) R 7584 7585 4060 0 -1 0 142938 0 0 0 96613 338 0 0 25 0 1 0 21194538 412278784 80918 4294967295 134512640 135987407 3221224576 3221223120 134811778 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7585/statm): 100654 80918 364 364 0 100290 0
[pid=7585] vsize: 402616
Current children cumulated CPU time (s) 969.51
Current children cumulated vsize (Kb) 402616

[startup+980.03 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7585
Raw data (/proc/7585/stat): 7585 (pb2sat) R 7584 7585 4060 0 -1 0 142941 0 0 0 97612 339 0 0 25 0 1 0 21194538 412278784 80921 4294967295 134512640 135987407 3221224576 3221223120 134811972 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7585/statm): 100654 80921 364 364 0 100290 0
[pid=7585] vsize: 402616
Current children cumulated CPU time (s) 979.51
Current children cumulated vsize (Kb) 402616

[startup+990.03 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7585
Raw data (/proc/7585/stat): 7585 (pb2sat) R 7584 7585 4060 0 -1 0 143013 0 0 0 98612 339 0 0 25 0 1 0 21194538 412540928 80928 4294967295 134512640 135987407 3221224576 3221223296 134812623 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7585/statm): 100718 80928 364 364 0 100354 0
[pid=7585] vsize: 402872
Current children cumulated CPU time (s) 989.51
Current children cumulated vsize (Kb) 402872

[startup+1000.03 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7585
Raw data (/proc/7585/stat): 7585 (pb2sat) R 7584 7585 4060 0 -1 0 143027 0 0 0 99612 339 0 0 25 0 1 0 21194538 412540928 80942 4294967295 134512640 135987407 3221224576 3221223120 134811992 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7585/statm): 100718 80942 364 364 0 100354 0
[pid=7585] vsize: 402872
Current children cumulated CPU time (s) 999.51
Current children cumulated vsize (Kb) 402872

[startup+1010.03 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7585
Raw data (/proc/7585/stat): 7585 (pb2sat) R 7584 7585 4060 0 -1 0 143163 0 0 0 100611 339 0 0 25 0 1 0 21194538 413065216 80949 4294967295 134512640 135987407 3221224576 3221223120 134811813 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7585/statm): 100846 80949 364 364 0 100482 0
[pid=7585] vsize: 403384
Current children cumulated CPU time (s) 1009.5
Current children cumulated vsize (Kb) 403384

[startup+1020.03 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7585
Raw data (/proc/7585/stat): 7585 (pb2sat) R 7584 7585 4060 0 -1 0 143174 0 0 0 101611 340 0 0 25 0 1 0 21194538 413065216 80960 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7585/statm): 100846 80960 364 364 0 100482 0
[pid=7585] vsize: 403384
Current children cumulated CPU time (s) 1019.51
Current children cumulated vsize (Kb) 403384

[startup+1030.03 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7585
Raw data (/proc/7585/stat): 7585 (pb2sat) R 7584 7585 4060 0 -1 0 143178 0 0 0 102610 340 0 0 25 0 1 0 21194538 413065216 80964 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7585/statm): 100846 80964 364 364 0 100482 0
[pid=7585] vsize: 403384
Current children cumulated CPU time (s) 1029.5
Current children cumulated vsize (Kb) 403384

[startup+1040.03 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7585
Raw data (/proc/7585/stat): 7585 (pb2sat) R 7584 7585 4060 0 -1 0 143184 0 0 0 103608 341 0 0 25 0 1 0 21194538 413065216 80970 4294967295 134512640 135987407 3221224576 3221223120 134811964 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7585/statm): 100846 80970 364 364 0 100482 0
[pid=7585] vsize: 403384
Current children cumulated CPU time (s) 1039.49
Current children cumulated vsize (Kb) 403384

[startup+1050.03 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7585
Raw data (/proc/7585/stat): 7585 (pb2sat) R 7584 7585 4060 0 -1 0 143187 0 0 0 104607 341 0 0 25 0 1 0 21194538 413065216 80973 4294967295 134512640 135987407 3221224576 3221223120 134811964 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7585/statm): 100846 80973 364 364 0 100482 0
[pid=7585] vsize: 403384
Current children cumulated CPU time (s) 1049.48
Current children cumulated vsize (Kb) 403384

[startup+1060.03 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7585
Raw data (/proc/7585/stat): 7585 (pb2sat) R 7584 7585 4060 0 -1 0 144836 0 0 0 105605 344 0 0 25 0 1 0 21194538 413589504 81005 4294967295 134512640 135987407 3221224576 3221223248 134876823 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7585/statm): 100974 81005 364 364 0 100610 0
[pid=7585] vsize: 403896
Current children cumulated CPU time (s) 1059.49
Current children cumulated vsize (Kb) 403896

[startup+1070.03 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7585
Raw data (/proc/7585/stat): 7585 (pb2sat) R 7584 7585 4060 0 -1 0 144838 0 0 0 106604 345 0 0 25 0 1 0 21194538 413589504 81007 4294967295 134512640 135987407 3221224576 3221222992 134788454 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7585/statm): 100974 81007 364 364 0 100610 0
[pid=7585] vsize: 403896
Current children cumulated CPU time (s) 1069.49
Current children cumulated vsize (Kb) 403896

[startup+1080.03 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7585
Raw data (/proc/7585/stat): 7585 (pb2sat) R 7584 7585 4060 0 -1 0 144839 0 0 0 107604 345 0 0 25 0 1 0 21194538 413589504 81008 4294967295 134512640 135987407 3221224576 3221223120 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7585/statm): 100974 81008 364 364 0 100610 0
[pid=7585] vsize: 403896
Current children cumulated CPU time (s) 1079.49
Current children cumulated vsize (Kb) 403896

[startup+1090.03 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7585
Raw data (/proc/7585/stat): 7585 (pb2sat) R 7584 7585 4060 0 -1 0 144839 0 0 0 108603 345 0 0 25 0 1 0 21194538 413589504 81008 4294967295 134512640 135987407 3221224576 3221223120 134788799 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7585/statm): 100974 81008 364 364 0 100610 0
[pid=7585] vsize: 403896
Current children cumulated CPU time (s) 1089.48
Current children cumulated vsize (Kb) 403896

[startup+1100.03 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7585
Raw data (/proc/7585/stat): 7585 (pb2sat) R 7584 7585 4060 0 -1 0 144840 0 0 0 109603 345 0 0 25 0 1 0 21194538 413589504 81009 4294967295 134512640 135987407 3221224576 3221223120 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7585/statm): 100974 81009 364 364 0 100610 0
[pid=7585] vsize: 403896
Current children cumulated CPU time (s) 1099.48
Current children cumulated vsize (Kb) 403896

[startup+1110.03 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7585
Raw data (/proc/7585/stat): 7585 (pb2sat) R 7584 7585 4060 0 -1 0 144840 0 0 0 110603 345 0 0 25 0 1 0 21194538 413589504 81009 4294967295 134512640 135987407 3221224576 3221223120 134811729 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7585/statm): 100974 81009 364 364 0 100610 0
[pid=7585] vsize: 403896
Current children cumulated CPU time (s) 1109.48
Current children cumulated vsize (Kb) 403896

[startup+1120.03 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7585
Raw data (/proc/7585/stat): 7585 (pb2sat) R 7584 7585 4060 0 -1 0 144840 0 0 0 111603 345 0 0 25 0 1 0 21194538 413589504 81009 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7585/statm): 100974 81009 364 364 0 100610 0
[pid=7585] vsize: 403896
Current children cumulated CPU time (s) 1119.48
Current children cumulated vsize (Kb) 403896

[startup+1130.03 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7585
Raw data (/proc/7585/stat): 7585 (pb2sat) R 7584 7585 4060 0 -1 0 144841 0 0 0 112602 345 0 0 25 0 1 0 21194538 413589504 81010 4294967295 134512640 135987407 3221224576 3221222992 134788454 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7585/statm): 100974 81010 364 364 0 100610 0
[pid=7585] vsize: 403896
Current children cumulated CPU time (s) 1129.47
Current children cumulated vsize (Kb) 403896

[startup+1140.03 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7585
Raw data (/proc/7585/stat): 7585 (pb2sat) R 7584 7585 4060 0 -1 0 144844 0 0 0 113601 346 0 0 25 0 1 0 21194538 413589504 81013 4294967295 134512640 135987407 3221224576 3221223280 134790000 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7585/statm): 100974 81013 364 364 0 100610 0
[pid=7585] vsize: 403896
Current children cumulated CPU time (s) 1139.47
Current children cumulated vsize (Kb) 403896

[startup+1150.04 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7585
Raw data (/proc/7585/stat): 7585 (pb2sat) R 7584 7585 4060 0 -1 0 144849 0 0 0 114600 346 0 0 25 0 1 0 21194538 413589504 81018 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7585/statm): 100974 81018 364 364 0 100610 0
[pid=7585] vsize: 403896
Current children cumulated CPU time (s) 1149.46
Current children cumulated vsize (Kb) 403896

[startup+1160.04 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7585
Raw data (/proc/7585/stat): 7585 (pb2sat) R 7584 7585 4060 0 -1 0 144967 0 0 0 115599 347 0 0 25 0 1 0 21194538 413851648 81071 4294967295 134512640 135987407 3221224576 3221223120 134811964 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7585/statm): 101038 81071 364 364 0 100674 0
[pid=7585] vsize: 404152
Current children cumulated CPU time (s) 1159.46
Current children cumulated vsize (Kb) 404152

[startup+1170.04 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7585
Raw data (/proc/7585/stat): 7585 (pb2sat) R 7584 7585 4060 0 -1 0 144997 0 0 0 116598 347 0 0 25 0 1 0 21194538 413851648 81101 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7585/statm): 101038 81101 364 364 0 100674 0
[pid=7585] vsize: 404152
Current children cumulated CPU time (s) 1169.45
Current children cumulated vsize (Kb) 404152

[startup+1180.04 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7585
Raw data (/proc/7585/stat): 7585 (pb2sat) R 7584 7585 4060 0 -1 0 145008 0 0 0 117599 347 0 0 25 0 1 0 21194538 413851648 81112 4294967295 134512640 135987407 3221224576 3221223192 134811683 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7585/statm): 101038 81112 364 364 0 100674 0
[pid=7585] vsize: 404152
Current children cumulated CPU time (s) 1179.46
Current children cumulated vsize (Kb) 404152

[startup+1190.04 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7585
Raw data (/proc/7585/stat): 7585 (pb2sat) R 7584 7585 4060 0 -1 0 145010 0 0 0 118597 348 0 0 25 0 1 0 21194538 413851648 81114 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7585/statm): 101038 81114 364 364 0 100674 0
[pid=7585] vsize: 404152
Current children cumulated CPU time (s) 1189.45
Current children cumulated vsize (Kb) 404152

[startup+1200.04 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7585
Raw data (/proc/7585/stat): 7585 (pb2sat) R 7584 7585 4060 0 -1 0 145013 0 0 0 119596 348 0 0 25 0 1 0 21194538 413851648 81117 4294967295 134512640 135987407 3221224576 3221223248 134824259 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7585/statm): 101038 81117 364 364 0 100674 0
[pid=7585] vsize: 404152
Current children cumulated CPU time (s) 1199.44
Current children cumulated vsize (Kb) 404152

[startup+1210.04 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7585
Raw data (/proc/7585/stat): 7585 (pb2sat) R 7584 7585 4060 0 -1 0 145018 0 0 0 120596 349 0 0 25 0 1 0 21194538 413851648 81122 4294967295 134512640 135987407 3221224576 3221223120 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7585/statm): 101038 81122 364 364 0 100674 0
[pid=7585] vsize: 404152
Current children cumulated CPU time (s) 1209.45
Current children cumulated vsize (Kb) 404152



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1210.04 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7585
Raw data (/proc/7585/stat): 7585 (pb2sat) R 7584 7585 4060 0 -1 0 145018 0 0 0 120596 349 0 0 25 0 1 0 21194538 413851648 81122 4294967295 134512640 135987407 3221224576 3221223120 134811729 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7585/statm): 101038 81122 364 364 0 100674 0
[pid=7585] vsize: 404152
Current children cumulated CPU time (s) 1209.45
Current children cumulated vsize (Kb) 404152

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

Child status: 10
Real time (s): 1211.28
CPU time (s): 1210.69
CPU user time (s): 1207.04
CPU system time (s): 3.65844
CPU usage (%): 99.9513
Max. virtual memory (cumulated for all children) (Kb): 404152

Verifier Data

Verifier:	OK	3096