Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided in four parts:
  1. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provide some useful information on the computer.
  2. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser !
  3. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to 1200 seconds. After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to 1230 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (900Mb).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  4. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.

General information on the benchmark

Namemps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-tr12-30.opb
MD5SUM3275929be36299f0a23379c5fe15d197
Bench Categoryoptimization, big integers (OPTBIGINT)
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function 11160
Biggest coefficient in the objective function 2147483648
Number of bits for the biggest coefficient in the objective function 32
Sum of the numbers in the objective function 869952060630
Number of bits of the sum of numbers in the objective function 40
Biggest number in a constraint 2147483648
Number of bits of the biggest number in a constraint 32
Biggest sum of numbers in a constraint 869952060630
Number of bits of the biggest sum of numbers40
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Number of variables21960
Total number of constraints1110
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)360
Number of constraints which are nor clauses,nor cardinality constraints750
Minimum length of a constraint1
Maximum length of a constraint372

Trace number 10110

Launcher Data

LAUNCH ON wulflinc5 THE 2005-09-23 16:42:11 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=8809 boxname=wulflinc5 idbench=605 idsolver=8 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  3275929be36299f0a23379c5fe15d197  /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-20-10-tr12-30.opb
REAL COMMAND:  pb2sat /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-20-10-tr12-30.opb
IDLAUNCH: 8809
/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:        933660 kB
Buffers:         15048 kB
Cached:          67028 kB
SwapCached:          0 kB
Active:          45192 kB
Inactive:        39792 kB
HighTotal:      131008 kB
HighFree:        60032 kB
LowTotal:       903652 kB
LowFree:        873628 kB
SwapTotal:     2097136 kB
SwapFree:      2097136 kB
Dirty:               0 kB
Writeback:           0 kB
Mapped:           6976 kB
Slab:            10436 kB
Committed_AS:    63660 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-09-23 17:02:32 (client local time) WITH STATUS 0 IN 1208.51 SECONDS
stats: 8809 7 1208.51 0

Solver Data

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

c Decision: 33182/573838	Time: 25.998/86400
c Decision: 33200/573838	Time: 40.5578/86400
c Decision: 33249/573838	Time: 69.6074/86400
c Decision: 33287/573838	Time: 91.4611/86400
c Decision: 33325/573838	Time: 118.966/86400
c Decision: 33325/573838	Time: 132.292/86400
c Decision: 33325/573838	Time: 143.463/86400
c Decision: 33327/573838	Time: 163.378/86400
c Decision: 33327/573838	Time: 174.598/86400
c Decision: 33339/573838	Time: 186.656/86400
c Decision: 33339/573838	Time: 199.296/86400
c Decision: 33339/573838	Time: 210.915/86400
c Decision: 33339/573838	Time: 222.536/86400
c Decision: 33665/573838	Time: 234.468/86400
c Decision: 33689/573838	Time: 273.966/86400
c Decision: 33689/573838	Time: 287.952/86400
c Decision: 33694/573838	Time: 309.763/86400
c Decision: 33698/573838	Time: 327.218/86400
c Decision: 33698/573838	Time: 337.423/86400
c Decision: 33711/573838	Time: 360.235/86400
c Decision: 33711/573838	Time: 373.475/86400
c Decision: 33906/573838	Time: 386.734/86400
c Decision: 33907/573838	Time: 401.708/86400
c Decision: 33907/573838	Time: 415.324/86400
c Decision: 33907/573838	Time: 428.228/86400
c Decision: 33907/573838	Time: 442.367/86400
c Decision: 33909/573838	Time: 456.358/86400
c Decision: 33909/573838	Time: 469.364/86400
c Decision: 33909/573838	Time: 481.576/86400
c Decision: 33909/573838	Time: 494.153/86400
c Decision: 33909/573838	Time: 509.227/86400
c Decision: 33909/573838	Time: 522.204/86400
c Decision: 33909/573838	Time: 536.315/86400
c Decision: 33909/573838	Time: 549.554/86400
c Decision: 33909/573838	Time: 563.425/86400
c Decision: 33911/573838	Time: 590.583/86400
c Decision: 33911/573838	Time: 605.174/86400
c Decision: 34106/573838	Time: 625.774/86400
c Decision: 34112/573838	Time: 647.159/86400
c Decision: 34112/573838	Time: 659.398/86400
c Decision: 34112/573838	Time: 675.259/86400
c Decision: 34114/573838	Time: 697.931/86400
c Decision: 34114/573838	Time: 712.235/86400
c Decision: 34114/573838	Time: 724.394/86400
c Decision: 34114/573838	Time: 739.554/86400
c Decision: 34114/573838	Time: 756.294/86400
c Decision: 34116/573838	Time: 775.761/86400
c Decision: 34116/573838	Time: 790.693/86400
c Decision: 34116/573838	Time: 806.066/86400
c Decision: 34116/573838	Time: 819.026/86400
c Decision: 34116/573838	Time: 831.897/86400
c Decision: 34116/573838	Time: 847.376/86400
c Decision: 34118/573838	Time: 862.873/86400
c Decision: 34118/573838	Time: 877.675/86400
c Decision: 34118/573838	Time: 891.047/86400
c Decision: 34118/573838	Time: 907.629/86400
c Decision: 34118/573838	Time: 920.393/86400
c Decision: 34118/573838	Time: 936.201/86400
c Decision: 34337/573838	Time: 959.892/86400
c Decision: 34349/573838	Time: 978.248/86400
c Decision: 34349/573838	Time: 995.178/86400
c Decision: 34349/573838	Time: 1011.12/86400
c Decision: 34349/573838	Time: 1025.11/86400
c Decision: 34349/573838	Time: 1041.22/86400
c Decision: 34349/573838	Time: 1056.72/86400
c Decision: 34349/573838	Time: 1075.31/86400
c Decision: 34380/573838	Time: 1110.07/86400
c Decision: 34380/573838	Time: 1122.99/86400
c Decision: 34393/573838	Time: 1176.08/86400s UNKNOWN

Watcher Data

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

[startup+10.0015 s]
Raw data (loadavg): 0.78 0.89 0.92 2/55 9228
Raw data (/proc/9228/stat): 9228 (pb2sat) R 9227 9228 4060 0 -1 0 25128 0 0 0 935 61 0 0 25 0 1 0 21727340 80998400 13972 4294967295 134512640 135987407 3221224560 3221221904 134639561 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9228/statm): 19775 13972 364 364 0 19411 0
[pid=9228] vsize: 79100
Current children cumulated CPU time (s) 9.96
Current children cumulated vsize (Kb) 79100

[startup+20.0023 s]
Raw data (loadavg): 0.81 0.90 0.92 2/55 9228
Raw data (/proc/9228/stat): 9228 (pb2sat) R 9227 9228 4060 0 -1 0 52673 0 0 0 1866 128 0 0 25 0 1 0 21727340 159211520 30281 4294967295 134512640 135987407 3221224560 3221167728 134855001 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9228/statm): 38870 30281 364 364 0 38506 0
[pid=9228] vsize: 155480
Current children cumulated CPU time (s) 19.94
Current children cumulated vsize (Kb) 155480

[startup+30.004 s]
Raw data (loadavg): 0.84 0.90 0.92 1/55 9228
Raw data (/proc/9228/stat): 9228 (pb2sat) T 9227 9228 4060 0 -1 0 80239 0 0 0 2791 194 0 0 25 0 1 0 21727340 233070592 46854 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/9228/statm): 56902 46854 364 364 0 56538 0
[pid=9228] vsize: 227608
Current children cumulated CPU time (s) 29.85
Current children cumulated vsize (Kb) 227608

[startup+40.0037 s]
Raw data (loadavg): 0.87 0.90 0.92 2/55 9228
Raw data (/proc/9228/stat): 9228 (pb2sat) R 9227 9228 4060 0 -1 0 81419 0 0 0 3700 227 0 0 25 0 1 0 21727340 238239744 48034 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9228/statm): 58164 48034 364 364 0 57800 0
[pid=9228] vsize: 232656
Current children cumulated CPU time (s) 39.27
Current children cumulated vsize (Kb) 232656

[startup+50.0045 s]
Raw data (loadavg): 0.89 0.90 0.92 2/55 9228
Raw data (/proc/9228/stat): 9228 (pb2sat) R 9227 9228 4060 0 -1 0 81895 0 0 0 4678 235 0 0 25 0 1 0 21727340 240320512 48510 4294967295 134512640 135987407 3221224560 3221223280 134813744 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9228/statm): 58672 48510 364 364 0 58308 0
[pid=9228] vsize: 234688
Current children cumulated CPU time (s) 49.13
Current children cumulated vsize (Kb) 234688

[startup+60.0052 s]
Raw data (loadavg): 0.90 0.91 0.92 2/55 9228
Raw data (/proc/9228/stat): 9228 (pb2sat) R 9227 9228 4060 0 -1 0 83093 0 0 0 5666 242 0 0 25 0 1 0 21727340 240517120 48587 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9228/statm): 58720 48587 364 364 0 58356 0
[pid=9228] vsize: 234880
Current children cumulated CPU time (s) 59.08
Current children cumulated vsize (Kb) 234880

[startup+70.006 s]
Raw data (loadavg): 0.92 0.91 0.92 2/55 9228
Raw data (/proc/9228/stat): 9228 (pb2sat) R 9227 9228 4060 0 -1 0 84487 0 0 0 6645 251 0 0 25 0 1 0 21727340 241557504 48860 4294967295 134512640 135987407 3221224560 3221223408 134790060 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9228/statm): 58974 48860 364 364 0 58610 0
[pid=9228] vsize: 235896
Current children cumulated CPU time (s) 68.96
Current children cumulated vsize (Kb) 235896

[startup+80.0067 s]
Raw data (loadavg): 0.93 0.91 0.92 2/55 9228
Raw data (/proc/9228/stat): 9228 (pb2sat) R 9227 9228 4060 0 -1 0 84687 0 0 0 7619 261 0 0 25 0 1 0 21727340 242487296 49060 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9228/statm): 59201 49060 364 364 0 58837 0
[pid=9228] vsize: 236804
Current children cumulated CPU time (s) 78.8
Current children cumulated vsize (Kb) 236804

[startup+90.0075 s]
Raw data (loadavg): 0.94 0.91 0.92 2/55 9228
Raw data (/proc/9228/stat): 9228 (pb2sat) R 9227 9228 4060 0 -1 0 84880 0 0 0 8602 268 0 0 25 0 1 0 21727340 243437568 49253 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9228/statm): 59433 49253 364 364 0 59069 0
[pid=9228] vsize: 237732
Current children cumulated CPU time (s) 88.7
Current children cumulated vsize (Kb) 237732

[startup+100.007 s]
Raw data (loadavg): 0.95 0.92 0.92 2/55 9228
Raw data (/proc/9228/stat): 9228 (pb2sat) R 9227 9228 4060 0 -1 0 86052 0 0 0 9587 276 0 0 25 0 1 0 21727340 243437568 49304 4294967295 134512640 135987407 3221224560 3221223248 134811885 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9228/statm): 59433 49304 364 364 0 59069 0
[pid=9228] vsize: 237732
Current children cumulated CPU time (s) 98.63
Current children cumulated vsize (Kb) 237732

[startup+110.008 s]
Raw data (loadavg): 0.96 0.92 0.92 2/55 9228
Raw data (/proc/9228/stat): 9228 (pb2sat) R 9227 9228 4060 0 -1 0 86120 0 0 0 10572 282 0 0 25 0 1 0 21727340 243634176 49372 4294967295 134512640 135987407 3221224560 3221223408 134789994 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9228/statm): 59481 49372 364 364 0 59117 0
[pid=9228] vsize: 237924
Current children cumulated CPU time (s) 108.54
Current children cumulated vsize (Kb) 237924

[startup+120.009 s]
Raw data (loadavg): 0.96 0.92 0.92 2/55 9228
Raw data (/proc/9228/stat): 9228 (pb2sat) R 9227 9228 4060 0 -1 0 87274 0 0 0 11552 291 0 0 25 0 1 0 21727340 243830784 49405 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9228/statm): 59529 49405 364 364 0 59165 0
[pid=9228] vsize: 238116
Current children cumulated CPU time (s) 118.43
Current children cumulated vsize (Kb) 238116

[startup+130.009 s]
Raw data (loadavg): 0.97 0.92 0.92 2/55 9228
Raw data (/proc/9228/stat): 9228 (pb2sat) R 9227 9228 4060 0 -1 0 87313 0 0 0 12535 296 0 0 25 0 1 0 21727340 243830784 49444 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9228/statm): 59529 49444 364 364 0 59165 0
[pid=9228] vsize: 238116
Current children cumulated CPU time (s) 128.31
Current children cumulated vsize (Kb) 238116

[startup+140.01 s]
Raw data (loadavg): 0.97 0.92 0.92 2/55 9228
Raw data (/proc/9228/stat): 9228 (pb2sat) R 9227 9228 4060 0 -1 0 87348 0 0 0 13518 302 0 0 25 0 1 0 21727340 243830784 49479 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9228/statm): 59529 49479 364 364 0 59165 0
[pid=9228] vsize: 238116
Current children cumulated CPU time (s) 138.2
Current children cumulated vsize (Kb) 238116

[startup+150.011 s]
Raw data (loadavg): 0.98 0.93 0.92 2/55 9228
Raw data (/proc/9228/stat): 9228 (pb2sat) R 9227 9228 4060 0 -1 0 88500 0 0 0 14508 307 0 0 25 0 1 0 21727340 243830784 49510 4294967295 134512640 135987407 3221224560 3221223408 134790064 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9228/statm): 59529 49510 364 364 0 59165 0
[pid=9228] vsize: 238116
Current children cumulated CPU time (s) 148.15
Current children cumulated vsize (Kb) 238116

[startup+160.012 s]
Raw data (loadavg): 0.98 0.93 0.92 2/55 9228
Raw data (/proc/9228/stat): 9228 (pb2sat) R 9227 9228 4060 0 -1 0 89654 0 0 0 15492 315 0 0 25 0 1 0 21727340 243830784 49543 4294967295 134512640 135987407 3221224560 3221223328 134882542 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9228/statm): 59529 49543 364 364 0 59165 0
[pid=9228] vsize: 238116
Current children cumulated CPU time (s) 158.07
Current children cumulated vsize (Kb) 238116

[startup+170.011 s]
Raw data (loadavg): 0.98 0.93 0.92 2/55 9228
Raw data (/proc/9228/stat): 9228 (pb2sat) R 9227 9228 4060 0 -1 0 89703 0 0 0 16477 320 0 0 25 0 1 0 21727340 244174848 49592 4294967295 134512640 135987407 3221224560 3221223408 134790060 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9228/statm): 59613 49592 364 364 0 59249 0
[pid=9228] vsize: 238452
Current children cumulated CPU time (s) 167.97
Current children cumulated vsize (Kb) 238452

[startup+180.012 s]
Raw data (loadavg): 0.98 0.93 0.92 2/55 9228
Raw data (/proc/9228/stat): 9228 (pb2sat) R 9227 9228 4060 0 -1 0 90875 0 0 0 17461 327 0 0 25 0 1 0 21727340 244174848 49643 4294967295 134512640 135987407 3221224560 3221223120 134788457 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9228/statm): 59613 49643 364 364 0 59249 0
[pid=9228] vsize: 238452
Current children cumulated CPU time (s) 177.88
Current children cumulated vsize (Kb) 238452

[startup+190.013 s]
Raw data (loadavg): 0.99 0.93 0.92 2/55 9228
Raw data (/proc/9228/stat): 9228 (pb2sat) R 9227 9228 4060 0 -1 0 90915 0 0 0 18444 333 0 0 25 0 1 0 21727340 244174848 49683 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9228/statm): 59613 49683 364 364 0 59249 0
[pid=9228] vsize: 238452
Current children cumulated CPU time (s) 187.77
Current children cumulated vsize (Kb) 238452

[startup+200.013 s]
Raw data (loadavg): 0.99 0.94 0.92 1/55 9228
Raw data (/proc/9228/stat): 9228 (pb2sat) T 9227 9228 4060 0 -1 0 92076 0 0 0 19430 339 0 0 25 0 1 0 21727340 244371456 49723 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/9228/statm): 59661 49723 364 364 0 59297 0
[pid=9228] vsize: 238644
Current children cumulated CPU time (s) 197.69
Current children cumulated vsize (Kb) 238644

[startup+210.013 s]
Raw data (loadavg): 0.99 0.94 0.92 2/55 9228
Raw data (/proc/9228/stat): 9228 (pb2sat) R 9227 9228 4060 0 -1 0 93237 0 0 0 20415 347 0 0 25 0 1 0 21727340 244371456 49763 4294967295 134512640 135987407 3221224560 3221223408 134790069 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9228/statm): 59661 49763 364 364 0 59297 0
[pid=9228] vsize: 238644
Current children cumulated CPU time (s) 207.62
Current children cumulated vsize (Kb) 238644

[startup+220.014 s]
Raw data (loadavg): 0.99 0.94 0.92 2/55 9228
Raw data (/proc/9228/stat): 9228 (pb2sat) R 9227 9228 4060 0 -1 0 94387 0 0 0 21399 354 0 0 25 0 1 0 21727340 244371456 49792 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9228/statm): 59661 49792 364 364 0 59297 0
[pid=9228] vsize: 238644
Current children cumulated CPU time (s) 217.53
Current children cumulated vsize (Kb) 238644

[startup+230.015 s]
Raw data (loadavg): 0.99 0.94 0.92 2/55 9228
Raw data (/proc/9228/stat): 9228 (pb2sat) R 9227 9228 4060 0 -1 0 95531 0 0 0 22388 359 0 0 25 0 1 0 21727340 244371456 49815 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9228/statm): 59661 49815 364 364 0 59297 0
[pid=9228] vsize: 238644
Current children cumulated CPU time (s) 227.47
Current children cumulated vsize (Kb) 238644

[startup+240.015 s]
Raw data (loadavg): 0.99 0.94 0.92 2/55 9228
Raw data (/proc/9228/stat): 9228 (pb2sat) R 9227 9228 4060 0 -1 0 96661 0 0 0 23373 367 0 0 25 0 1 0 21727340 248963072 50945 4294967295 134512640 135987407 3221224560 3221222920 134827485 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9228/statm): 60782 50945 364 364 0 60418 0
[pid=9228] vsize: 243128
Current children cumulated CPU time (s) 237.4
Current children cumulated vsize (Kb) 243128

[startup+250.014 s]
Raw data (loadavg): 0.99 0.94 0.92 2/55 9228
Raw data (/proc/9228/stat): 9228 (pb2sat) R 9227 9228 4060 0 -1 0 96679 0 0 0 24359 372 0 0 25 0 1 0 21727340 244371456 49842 4294967295 134512640 135987407 3221224560 3221223280 134813744 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9228/statm): 59661 49842 364 364 0 59297 0
[pid=9228] vsize: 238644
Current children cumulated CPU time (s) 247.31
Current children cumulated vsize (Kb) 238644

[startup+260.015 s]
Raw data (loadavg): 0.99 0.94 0.92 2/55 9228
Raw data (/proc/9228/stat): 9228 (pb2sat) R 9227 9228 4060 0 -1 0 97847 0 0 0 25340 380 0 0 25 0 1 0 21727340 244535296 49889 4294967295 134512640 135987407 3221224560 3221223424 134812696 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9228/statm): 59701 49889 364 364 0 59337 0
[pid=9228] vsize: 238804
Current children cumulated CPU time (s) 257.2
Current children cumulated vsize (Kb) 238804

[startup+270.016 s]
Raw data (loadavg): 0.99 0.95 0.92 2/55 9228
Raw data (/proc/9228/stat): 9228 (pb2sat) R 9227 9228 4060 0 -1 0 99010 0 0 0 26324 388 0 0 25 0 1 0 21727340 244535296 49931 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9228/statm): 59701 49931 364 364 0 59337 0
[pid=9228] vsize: 238804
Current children cumulated CPU time (s) 267.12
Current children cumulated vsize (Kb) 238804

[startup+280.017 s]
Raw data (loadavg): 0.99 0.95 0.92 2/55 9228
Raw data (/proc/9228/stat): 9228 (pb2sat) R 9227 9228 4060 0 -1 0 99058 0 0 0 27308 393 0 0 25 0 1 0 21727340 244535296 49979 4294967295 134512640 135987407 3221224560 3221223040 134849943 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9228/statm): 59701 49979 364 364 0 59337 0
[pid=9228] vsize: 238804
Current children cumulated CPU time (s) 277.01
Current children cumulated vsize (Kb) 238804

[startup+290.017 s]
Raw data (loadavg): 0.99 0.95 0.92 2/55 9228
Raw data (/proc/9228/stat): 9228 (pb2sat) R 9227 9228 4060 0 -1 0 99121 0 0 0 28286 400 0 0 25 0 1 0 21727340 244674560 50042 4294967295 134512640 135987407 3221224560 3221223248 134811704 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9228/statm): 59735 50042 364 364 0 59371 0
[pid=9228] vsize: 238940
Current children cumulated CPU time (s) 286.86
Current children cumulated vsize (Kb) 238940

[startup+300.017 s]
Raw data (loadavg): 0.99 0.95 0.92 3/55 9228
Raw data (/proc/9228/stat): 9228 (pb2sat) R 9227 9228 4060 0 -1 0 99158 0 0 0 29267 407 0 0 25 0 1 0 21727340 244674560 50079 4294967295 134512640 135987407 3221224560 3221223248 134811918 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9228/statm): 59735 50079 364 364 0 59371 0
[pid=9228] vsize: 238940
Current children cumulated CPU time (s) 296.74
Current children cumulated vsize (Kb) 238940

[startup+310.018 s]
Raw data (loadavg): 0.99 0.95 0.92 2/55 9228
Raw data (/proc/9228/stat): 9228 (pb2sat) R 9227 9228 4060 0 -1 0 100326 0 0 0 30249 415 0 0 25 0 1 0 21727340 244822016 50126 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9228/statm): 59771 50126 364 364 0 59407 0
[pid=9228] vsize: 239084
Current children cumulated CPU time (s) 306.64
Current children cumulated vsize (Kb) 239084

[startup+320.018 s]
Raw data (loadavg): 0.99 0.95 0.92 2/55 9228
Raw data (/proc/9228/stat): 9228 (pb2sat) R 9227 9228 4060 0 -1 0 101464 0 0 0 31235 421 0 0 25 0 1 0 21727340 244822016 50143 4294967295 134512640 135987407 3221224560 3221223376 134824238 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9228/statm): 59771 50143 364 364 0 59407 0
[pid=9228] vsize: 239084
Current children cumulated CPU time (s) 316.56
Current children cumulated vsize (Kb) 239084

[startup+330.019 s]
Raw data (loadavg): 0.99 0.95 0.92 2/55 9228
Raw data (/proc/9228/stat): 9228 (pb2sat) R 9227 9228 4060 0 -1 0 101484 0 0 0 32216 428 0 0 25 0 1 0 21727340 244822016 50163 4294967295 134512640 135987407 3221224560 3221223248 134812002 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9228/statm): 59771 50163 364 364 0 59407 0
[pid=9228] vsize: 239084
Current children cumulated CPU time (s) 326.44
Current children cumulated vsize (Kb) 239084

[startup+340.02 s]
Raw data (loadavg): 0.99 0.95 0.92 2/55 9228
Raw data (/proc/9228/stat): 9228 (pb2sat) R 9227 9228 4060 0 -1 0 102653 0 0 0 33201 434 0 0 25 0 1 0 21727340 249548800 51332 4294967295 134512640 135987407 3221224560 3221222944 134828856 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9228/statm): 60925 51332 364 364 0 60561 0
[pid=9228] vsize: 243700
Current children cumulated CPU time (s) 336.35
Current children cumulated vsize (Kb) 243700

[startup+350.02 s]
Raw data (loadavg): 0.99 0.95 0.92 2/55 9228
Raw data (/proc/9228/stat): 9228 (pb2sat) R 9227 9228 4060 0 -1 0 102705 0 0 0 34182 441 0 0 25 0 1 0 21727340 245121024 50263 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9228/statm): 59844 50263 364 364 0 59480 0
[pid=9228] vsize: 239376
Current children cumulated CPU time (s) 346.23
Current children cumulated vsize (Kb) 239376

[startup+360.02 s]
Raw data (loadavg): 0.99 0.95 0.92 2/55 9228
Raw data (/proc/9228/stat): 9228 (pb2sat) R 9227 9228 4060 0 -1 0 103854 0 0 0 35165 448 0 0 25 0 1 0 21727340 245121024 50291 4294967295 134512640 135987407 3221224560 3221223248 134811891 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9228/statm): 59844 50291 364 364 0 59480 0
[pid=9228] vsize: 239376
Current children cumulated CPU time (s) 356.13
Current children cumulated vsize (Kb) 239376

[startup+370.02 s]
Raw data (loadavg): 0.99 0.96 0.92 2/55 9228
Raw data (/proc/9228/stat): 9228 (pb2sat) R 9227 9228 4060 0 -1 0 103903 0 0 0 36146 455 0 0 25 0 1 0 21727340 245121024 50340 4294967295 134512640 135987407 3221224560 3221223408 134790069 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9228/statm): 59844 50340 364 364 0 59480 0
[pid=9228] vsize: 239376
Current children cumulated CPU time (s) 366.01
Current children cumulated vsize (Kb) 239376

[startup+380.021 s]
Raw data (loadavg): 0.99 0.96 0.92 2/55 9228
Raw data (/proc/9228/stat): 9228 (pb2sat) R 9227 9228 4060 0 -1 0 103945 0 0 0 37129 461 0 0 25 0 1 0 21727340 245256192 50382 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9228/statm): 59877 50382 364 364 0 59513 0
[pid=9228] vsize: 239508
Current children cumulated CPU time (s) 375.9
Current children cumulated vsize (Kb) 239508

[startup+390.022 s]
Raw data (loadavg): 0.99 0.96 0.92 2/55 9228
Raw data (/proc/9228/stat): 9228 (pb2sat) R 9227 9228 4060 0 -1 0 104047 0 0 0 38114 467 0 0 25 0 1 0 21727340 249982976 50484 4294967295 134512640 135987407 3221224560 3221223152 134828101 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9228/statm): 61031 50491 364 364 0 60667 0
[pid=9228] vsize: 244124
Current children cumulated CPU time (s) 385.81
Current children cumulated vsize (Kb) 244124

[startup+400.021 s]
Raw data (loadavg): 0.99 0.96 0.92 2/55 9228
Raw data (/proc/9228/stat): 9228 (pb2sat) T 9227 9228 4060 0 -1 0 105311 0 0 0 39094 476 0 0 25 0 1 0 21727340 245960704 50627 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/9228/statm): 60049 50627 364 364 0 59685 0
[pid=9228] vsize: 240196
Current children cumulated CPU time (s) 395.7
Current children cumulated vsize (Kb) 240196

[startup+410.022 s]
Raw data (loadavg): 0.99 0.96 0.92 2/55 9228
Raw data (/proc/9228/stat): 9228 (pb2sat) R 9227 9228 4060 0 -1 0 106513 0 0 0 40075 484 0 0 25 0 1 0 21727340 246427648 50708 4294967295 134512640 135987407 3221224560 3221223344 134812368 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9228/statm): 60163 50708 364 364 0 59799 0
[pid=9228] vsize: 240652
Current children cumulated CPU time (s) 405.59
Current children cumulated vsize (Kb) 240652

[startup+420.022 s]
Raw data (loadavg): 0.99 0.96 0.92 2/55 9228
Raw data (/proc/9228/stat): 9228 (pb2sat) R 9227 9228 4060 0 -1 0 107650 0 0 0 41060 491 0 0 25 0 1 0 21727340 246427648 50724 4294967295 134512640 135987407 3221224560 3221223424 134812787 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9228/statm): 60163 50724 364 364 0 59799 0
[pid=9228] vsize: 240652
Current children cumulated CPU time (s) 415.51
Current children cumulated vsize (Kb) 240652

[startup+430.022 s]
Raw data (loadavg): 0.99 0.96 0.92 2/55 9228
Raw data (/proc/9228/stat): 9228 (pb2sat) R 9227 9228 4060 0 -1 0 107726 0 0 0 42041 497 0 0 25 0 1 0 21727340 246759424 50800 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9228/statm): 60244 50800 364 364 0 59880 0
[pid=9228] vsize: 240976
Current children cumulated CPU time (s) 425.38
Current children cumulated vsize (Kb) 240976

[startup+440.021 s]
Raw data (loadavg): 0.99 0.96 0.92 2/55 9228
Raw data (/proc/9228/stat): 9228 (pb2sat) R 9227 9228 4060 0 -1 0 108876 0 0 0 43023 505 0 0 25 0 1 0 21727340 246759424 50829 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9228/statm): 60244 50829 364 364 0 59880 0
[pid=9228] vsize: 240976
Current children cumulated CPU time (s) 435.28
Current children cumulated vsize (Kb) 240976

[startup+450.022 s]
Raw data (loadavg): 0.99 0.96 0.92 2/55 9228
Raw data (/proc/9228/stat): 9228 (pb2sat) R 9227 9228 4060 0 -1 0 110024 0 0 0 44008 512 0 0 25 0 1 0 21727340 246759424 50856 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9228/statm): 60244 50856 364 364 0 59880 0
[pid=9228] vsize: 240976
Current children cumulated CPU time (s) 445.2
Current children cumulated vsize (Kb) 240976

[startup+460.023 s]
Raw data (loadavg): 1.07 0.98 0.92 2/55 9228
Raw data (/proc/9228/stat): 9228 (pb2sat) R 9227 9228 4060 0 -1 0 111177 0 0 0 44988 521 0 0 25 0 1 0 21727340 246759424 50888 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9228/statm): 60244 50888 364 364 0 59880 0
[pid=9228] vsize: 240976
Current children cumulated CPU time (s) 455.09
Current children cumulated vsize (Kb) 240976

[startup+470.023 s]
Raw data (loadavg): 1.06 0.98 0.92 2/55 9228
Raw data (/proc/9228/stat): 9228 (pb2sat) R 9227 9228 4060 0 -1 0 111221 0 0 0 45970 527 0 0 25 0 1 0 21727340 246759424 50932 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9228/statm): 60244 50932 364 364 0 59880 0
[pid=9228] vsize: 240976
Current children cumulated CPU time (s) 464.97
Current children cumulated vsize (Kb) 240976

[startup+480.022 s]
Raw data (loadavg): 1.05 0.98 0.92 2/55 9228
Raw data (/proc/9228/stat): 9228 (pb2sat) R 9227 9228 4060 0 -1 0 112348 0 0 0 46958 533 0 0 25 0 1 0 21727340 246759424 50938 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9228/statm): 60244 50938 364 364 0 59880 0
[pid=9228] vsize: 240976
Current children cumulated CPU time (s) 474.91
Current children cumulated vsize (Kb) 240976

[startup+490.022 s]
Raw data (loadavg): 1.04 0.98 0.92 2/55 9228
Raw data (/proc/9228/stat): 9228 (pb2sat) R 9227 9228 4060 0 -1 0 113477 0 0 0 47939 542 0 0 25 0 1 0 21727340 246759424 50946 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9228/statm): 60244 50946 364 364 0 59880 0
[pid=9228] vsize: 240976
Current children cumulated CPU time (s) 484.81
Current children cumulated vsize (Kb) 240976

[startup+500.022 s]
Raw data (loadavg): 1.03 0.98 0.92 2/55 9228
Raw data (/proc/9228/stat): 9228 (pb2sat) R 9227 9228 4060 0 -1 0 113514 0 0 0 48924 546 0 0 25 0 1 0 21727340 246894592 50983 4294967295 134512640 135987407 3221224560 3221223280 134814273 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9228/statm): 60277 50983 364 364 0 59913 0
[pid=9228] vsize: 241108
Current children cumulated CPU time (s) 494.7
Current children cumulated vsize (Kb) 241108

[startup+510.023 s]
Raw data (loadavg): 1.03 0.98 0.92 2/55 9228
Raw data (/proc/9228/stat): 9228 (pb2sat) R 9227 9228 4060 0 -1 0 114673 0 0 0 49908 555 0 0 25 0 1 0 21727340 246894592 51021 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9228/statm): 60277 51021 364 364 0 59913 0
[pid=9228] vsize: 241108
Current children cumulated CPU time (s) 504.63
Current children cumulated vsize (Kb) 241108

[startup+520.022 s]
Raw data (loadavg): 1.02 0.98 0.92 2/55 9228
Raw data (/proc/9228/stat): 9228 (pb2sat) R 9227 9228 4060 0 -1 0 115826 0 0 0 50891 563 0 0 25 0 1 0 21727340 246894592 51053 4294967295 134512640 135987407 3221224560 3221223248 134811959 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9228/statm): 60277 51053 364 364 0 59913 0
[pid=9228] vsize: 241108
Current children cumulated CPU time (s) 514.54
Current children cumulated vsize (Kb) 241108

[startup+530.022 s]
Raw data (loadavg): 1.02 0.98 0.92 2/55 9228
Raw data (/proc/9228/stat): 9228 (pb2sat) R 9227 9228 4060 0 -1 0 116980 0 0 0 51875 569 0 0 25 0 1 0 21727340 246894592 51086 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9228/statm): 60277 51086 364 364 0 59913 0
[pid=9228] vsize: 241108
Current children cumulated CPU time (s) 524.44
Current children cumulated vsize (Kb) 241108

[startup+540.023 s]
Raw data (loadavg): 1.02 0.98 0.92 2/55 9228
Raw data (/proc/9228/stat): 9228 (pb2sat) R 9227 9228 4060 0 -1 0 118139 0 0 0 52859 576 0 0 25 0 1 0 21727340 246894592 51124 4294967295 134512640 135987407 3221224560 3221223376 134876948 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9228/statm): 60277 51124 364 364 0 59913 0
[pid=9228] vsize: 241108
Current children cumulated CPU time (s) 534.35
Current children cumulated vsize (Kb) 241108

[startup+550.023 s]
Raw data (loadavg): 1.01 0.98 0.92 1/55 9228
Raw data (/proc/9228/stat): 9228 (pb2sat) T 9227 9228 4060 0 -1 0 118154 0 0 0 53846 580 0 0 25 0 1 0 21727340 247029760 51139 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/9228/statm): 60310 51139 364 364 0 59946 0
[pid=9228] vsize: 241240
Current children cumulated CPU time (s) 544.26
Current children cumulated vsize (Kb) 241240

[startup+560.022 s]
Raw data (loadavg): 1.01 0.98 0.92 2/55 9228
Raw data (/proc/9228/stat): 9228 (pb2sat) R 9227 9228 4060 0 -1 0 119293 0 0 0 54829 588 0 0 25 0 1 0 21727340 247029760 51157 4294967295 134512640 135987407 3221224560 3221223248 134811891 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9228/statm): 60310 51157 364 364 0 59946 0
[pid=9228] vsize: 241240
Current children cumulated CPU time (s) 554.17
Current children cumulated vsize (Kb) 241240

[startup+570.023 s]
Raw data (loadavg): 1.01 0.98 0.92 2/55 9228
Raw data (/proc/9228/stat): 9228 (pb2sat) R 9227 9228 4060 0 -1 0 120461 0 0 0 55813 595 0 0 25 0 1 0 21727340 247029760 51204 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9228/statm): 60310 51204 364 364 0 59946 0
[pid=9228] vsize: 241240
Current children cumulated CPU time (s) 564.08
Current children cumulated vsize (Kb) 241240

[startup+580.023 s]
Raw data (loadavg): 1.01 0.98 0.92 2/55 9228
Raw data (/proc/9228/stat): 9228 (pb2sat) R 9227 9228 4060 0 -1 0 120534 0 0 0 56791 602 0 0 25 0 1 0 21727340 247193600 51277 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9228/statm): 60350 51277 364 364 0 59986 0
[pid=9228] vsize: 241400
Current children cumulated CPU time (s) 573.93
Current children cumulated vsize (Kb) 241400

[startup+590.023 s]
Raw data (loadavg): 1.00 0.98 0.92 2/55 9228
Raw data (/proc/9228/stat): 9228 (pb2sat) R 9227 9228 4060 0 -1 0 121704 0 0 0 57775 610 0 0 25 0 1 0 21727340 247328768 51326 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9228/statm): 60383 51326 364 364 0 60019 0
[pid=9228] vsize: 241532
Current children cumulated CPU time (s) 583.85
Current children cumulated vsize (Kb) 241532

[startup+600.022 s]
Raw data (loadavg): 1.00 0.98 0.92 2/55 9228
Raw data (/proc/9228/stat): 9228 (pb2sat) R 9227 9228 4060 0 -1 0 122854 0 0 0 58755 619 0 0 25 0 1 0 21727340 247328768 51355 4294967295 134512640 135987407 3221224560 3221223376 134824247 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9228/statm): 60383 51355 364 364 0 60019 0
[pid=9228] vsize: 241532
Current children cumulated CPU time (s) 593.74
Current children cumulated vsize (Kb) 241532

[startup+610.023 s]
Raw data (loadavg): 1.00 0.98 0.92 2/55 9228
Raw data (/proc/9228/stat): 9228 (pb2sat) R 9227 9228 4060 0 -1 0 122891 0 0 0 59737 626 0 0 25 0 1 0 21727340 247328768 51392 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9228/statm): 60383 51392 364 364 0 60019 0
[pid=9228] vsize: 241532
Current children cumulated CPU time (s) 603.63
Current children cumulated vsize (Kb) 241532

[startup+620.023 s]
Raw data (loadavg): 1.00 0.98 0.92 2/55 9228
Raw data (/proc/9228/stat): 9228 (pb2sat) R 9227 9228 4060 0 -1 0 122947 0 0 0 60718 632 0 0 25 0 1 0 21727340 247508992 51448 4294967295 134512640 135987407 3221224560 3221223280 134813744 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9228/statm): 60427 51448 364 364 0 60063 0
[pid=9228] vsize: 241708
Current children cumulated CPU time (s) 613.5
Current children cumulated vsize (Kb) 241708

[startup+630.023 s]
Raw data (loadavg): 1.00 0.98 0.92 1/55 9228
Raw data (/proc/9228/stat): 9228 (pb2sat) T 9227 9228 4060 0 -1 0 124074 0 0 0 61705 638 0 0 25 0 1 0 21727340 247508992 51454 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/9228/statm): 60427 51454 364 364 0 60063 0
[pid=9228] vsize: 241708
Current children cumulated CPU time (s) 623.43
Current children cumulated vsize (Kb) 241708

[startup+640.023 s]
Raw data (loadavg): 1.00 0.98 0.92 2/55 9228
Raw data (/proc/9228/stat): 9228 (pb2sat) R 9227 9228 4060 0 -1 0 125203 0 0 0 62688 647 0 0 25 0 1 0 21727340 247508992 51462 4294967295 134512640 135987407 3221224560 3221223248 134811907 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9228/statm): 60427 51462 364 364 0 60063 0
[pid=9228] vsize: 241708
Current children cumulated CPU time (s) 633.35
Current children cumulated vsize (Kb) 241708

[startup+650.023 s]
Raw data (loadavg): 1.00 0.98 0.92 2/55 9228
Raw data (/proc/9228/stat): 9228 (pb2sat) R 9227 9228 4060 0 -1 0 137505 0 0 0 63645 677 0 0 25 0 1 0 21727340 297840640 51475 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9228/statm): 72715 51475 364 364 0 72351 0
[pid=9228] vsize: 290860
Current children cumulated CPU time (s) 643.22
Current children cumulated vsize (Kb) 290860

[startup+660.024 s]
Raw data (loadavg): 1.00 0.98 0.92 2/55 9228
Raw data (/proc/9228/stat): 9228 (pb2sat) R 9227 9228 4060 0 -1 0 138638 0 0 0 64630 683 0 0 25 0 1 0 21727340 297840640 51487 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9228/statm): 72715 51487 364 364 0 72351 0
[pid=9228] vsize: 290860
Current children cumulated CPU time (s) 653.13
Current children cumulated vsize (Kb) 290860

[startup+670.024 s]
Raw data (loadavg): 1.00 0.98 0.92 2/55 9228
Raw data (/proc/9228/stat): 9228 (pb2sat) R 9227 9228 4060 0 -1 0 138675 0 0 0 65615 689 0 0 25 0 1 0 21727340 298135552 51524 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9228/statm): 72787 51524 364 364 0 72423 0
[pid=9228] vsize: 291148
Current children cumulated CPU time (s) 663.04
Current children cumulated vsize (Kb) 291148

[startup+680.024 s]
Raw data (loadavg): 1.00 0.98 0.92 2/55 9228
Raw data (/proc/9228/stat): 9228 (pb2sat) R 9227 9228 4060 0 -1 0 139802 0 0 0 66601 695 0 0 25 0 1 0 21727340 302727168 52651 4294967295 134512640 135987407 3221224560 3221222920 134827499 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9228/statm): 73908 52651 364 364 0 73544 0
[pid=9228] vsize: 295632
Current children cumulated CPU time (s) 672.96
Current children cumulated vsize (Kb) 295632

[startup+690.025 s]
Raw data (loadavg): 1.00 0.98 0.92 2/55 9228
Raw data (/proc/9228/stat): 9228 (pb2sat) R 9227 9228 4060 0 -1 0 139805 0 0 0 67586 701 0 0 25 0 1 0 21727340 298135552 51533 4294967295 134512640 135987407 3221224560 3221223408 134790000 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9228/statm): 72787 51533 364 364 0 72423 0
[pid=9228] vsize: 291148
Current children cumulated CPU time (s) 682.87
Current children cumulated vsize (Kb) 291148

[startup+700.025 s]
Raw data (loadavg): 1.08 1.00 0.93 2/55 9228
Raw data (/proc/9228/stat): 9228 (pb2sat) R 9227 9228 4060 0 -1 0 140961 0 0 0 68570 708 0 0 25 0 1 0 21727340 331689984 51568 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9228/statm): 80979 51568 364 364 0 80615 0
[pid=9228] vsize: 323916
Current children cumulated CPU time (s) 692.78
Current children cumulated vsize (Kb) 323916

[startup+710.025 s]
Raw data (loadavg): 1.07 1.00 0.93 2/55 9228
Raw data (/proc/9228/stat): 9228 (pb2sat) R 9227 9228 4060 0 -1 0 142102 0 0 0 69557 715 0 0 25 0 1 0 21727340 331689984 51588 4294967295 134512640 135987407 3221224560 3221223248 134811959 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9228/statm): 80979 51588 364 364 0 80615 0
[pid=9228] vsize: 323916
Current children cumulated CPU time (s) 702.72
Current children cumulated vsize (Kb) 323916

[startup+720.025 s]
Raw data (loadavg): 1.06 1.00 0.93 2/55 9228
Raw data (/proc/9228/stat): 9228 (pb2sat) R 9227 9228 4060 0 -1 0 142109 0 0 0 70539 721 0 0 25 0 1 0 21727340 331689984 51595 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9228/statm): 80979 51595 364 364 0 80615 0
[pid=9228] vsize: 323916
Current children cumulated CPU time (s) 712.6
Current children cumulated vsize (Kb) 323916

[startup+730.025 s]
Raw data (loadavg): 1.05 1.00 0.93 2/55 9228
Raw data (/proc/9228/stat): 9228 (pb2sat) R 9227 9228 4060 0 -1 0 142154 0 0 0 71522 727 0 0 25 0 1 0 21727340 331841536 51640 4294967295 134512640 135987407 3221224560 3221223200 134821326 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9228/statm): 81016 51640 364 364 0 80652 0
[pid=9228] vsize: 324064
Current children cumulated CPU time (s) 722.49
Current children cumulated vsize (Kb) 324064

[startup+740.026 s]
Raw data (loadavg): 1.04 1.00 0.93 2/55 9228
Raw data (/proc/9228/stat): 9228 (pb2sat) R 9227 9228 4060 0 -1 0 143304 0 0 0 72507 735 0 0 25 0 1 0 21727340 331841536 51669 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9228/statm): 81016 51669 364 364 0 80652 0
[pid=9228] vsize: 324064
Current children cumulated CPU time (s) 732.42
Current children cumulated vsize (Kb) 324064

[startup+750.026 s]
Raw data (loadavg): 1.03 1.00 0.93 2/55 9228
Raw data (/proc/9228/stat): 9228 (pb2sat) R 9227 9228 4060 0 -1 0 144474 0 0 0 73489 742 0 0 25 0 1 0 21727340 332001280 51718 4294967295 134512640 135987407 3221224560 3221223408 134790009 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9228/statm): 81055 51718 364 364 0 80691 0
[pid=9228] vsize: 324220
Current children cumulated CPU time (s) 742.31
Current children cumulated vsize (Kb) 324220

[startup+760.027 s]
Raw data (loadavg): 1.03 1.00 0.93 2/55 9228
Raw data (/proc/9228/stat): 9228 (pb2sat) R 9227 9228 4060 0 -1 0 145637 0 0 0 74473 750 0 0 25 0 1 0 21727340 332001280 51760 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9228/statm): 81055 51760 364 364 0 80691 0
[pid=9228] vsize: 324220
Current children cumulated CPU time (s) 752.23
Current children cumulated vsize (Kb) 324220

[startup+770.027 s]
Raw data (loadavg): 1.02 1.00 0.93 2/55 9228
Raw data (/proc/9228/stat): 9228 (pb2sat) R 9227 9228 4060 0 -1 0 145677 0 0 0 75452 757 0 0 25 0 1 0 21727340 332001280 51800 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9228/statm): 81055 51800 364 364 0 80691 0
[pid=9228] vsize: 324220
Current children cumulated CPU time (s) 762.09
Current children cumulated vsize (Kb) 324220

[startup+780.027 s]
Raw data (loadavg): 1.02 1.00 0.93 2/55 9228
Raw data (/proc/9228/stat): 9228 (pb2sat) R 9227 9228 4060 0 -1 0 146834 0 0 0 76436 764 0 0 25 0 1 0 21727340 332144640 51836 4294967295 134512640 135987407 3221224560 3221223408 134790069 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9228/statm): 81090 51836 364 364 0 80726 0
[pid=9228] vsize: 324360
Current children cumulated CPU time (s) 772
Current children cumulated vsize (Kb) 324360

[startup+790.026 s]
Raw data (loadavg): 1.02 1.00 0.93 2/55 9228
Raw data (/proc/9228/stat): 9228 (pb2sat) R 9227 9228 4060 0 -1 0 147992 0 0 0 77418 771 0 0 25 0 1 0 21727340 332144640 51873 4294967295 134512640 135987407 3221224560 3221223328 134882566 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9228/statm): 81090 51873 364 364 0 80726 0
[pid=9228] vsize: 324360
Current children cumulated CPU time (s) 781.89
Current children cumulated vsize (Kb) 324360

[startup+800.026 s]
Raw data (loadavg): 1.01 1.00 0.93 2/55 9228
Raw data (/proc/9228/stat): 9228 (pb2sat) R 9227 9228 4060 0 -1 0 148008 0 0 0 78404 777 0 0 25 0 1 0 21727340 332144640 51889 4294967295 134512640 135987407 3221224560 3221223376 134824261 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9228/statm): 81090 51889 364 364 0 80726 0
[pid=9228] vsize: 324360
Current children cumulated CPU time (s) 791.81
Current children cumulated vsize (Kb) 324360

[startup+810.027 s]
Raw data (loadavg): 1.01 1.00 0.93 2/55 9228
Raw data (/proc/9228/stat): 9228 (pb2sat) R 9227 9228 4060 0 -1 0 149149 0 0 0 79386 784 0 0 25 0 1 0 21727340 336875520 53030 4294967295 134512640 135987407 3221224560 3221222920 134827499 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9228/statm): 82245 53030 364 364 0 81881 0
[pid=9228] vsize: 328980
Current children cumulated CPU time (s) 801.7
Current children cumulated vsize (Kb) 328980

[startup+820.028 s]
Raw data (loadavg): 1.01 1.00 0.93 2/55 9228
Raw data (/proc/9228/stat): 9228 (pb2sat) R 9227 9228 4060 0 -1 0 149168 0 0 0 80369 790 0 0 25 0 1 0 21727340 332283904 51928 4294967295 134512640 135987407 3221224560 3221223344 134812328 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9228/statm): 81124 51928 364 364 0 80760 0
[pid=9228] vsize: 324496
Current children cumulated CPU time (s) 811.59
Current children cumulated vsize (Kb) 324496

[startup+830.027 s]
Raw data (loadavg): 1.01 1.00 0.93 2/55 9228
Raw data (/proc/9228/stat): 9228 (pb2sat) R 9227 9228 4060 0 -1 0 150324 0 0 0 81350 800 0 0 25 0 1 0 21727340 332283904 51963 4294967295 134512640 135987407 3221224560 3221223248 134812146 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9228/statm): 81124 51963 364 364 0 80760 0
[pid=9228] vsize: 324496
Current children cumulated CPU time (s) 821.5
Current children cumulated vsize (Kb) 324496

[startup+840.028 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 9228
Raw data (/proc/9228/stat): 9228 (pb2sat) R 9227 9228 4060 0 -1 0 150370 0 0 0 82332 807 0 0 25 0 1 0 21727340 332464128 52009 4294967295 134512640 135987407 3221224560 3221223280 134814271 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9228/statm): 81168 52009 364 364 0 80804 0
[pid=9228] vsize: 324672
Current children cumulated CPU time (s) 831.39
Current children cumulated vsize (Kb) 324672

[startup+850.029 s]
Raw data (loadavg): 1.00 1.00 0.93 1/55 9228
Raw data (/proc/9228/stat): 9228 (pb2sat) T 9227 9228 4060 0 -1 0 151523 0 0 0 83315 815 0 0 25 0 1 0 21727340 332464128 52041 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/9228/statm): 81168 52041 364 364 0 80804 0
[pid=9228] vsize: 324672
Current children cumulated CPU time (s) 841.3
Current children cumulated vsize (Kb) 324672

[startup+860.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 9228
Raw data (/proc/9228/stat): 9228 (pb2sat) R 9227 9228 4060 0 -1 0 152677 0 0 0 84301 822 0 0 25 0 1 0 21727340 332464128 52074 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9228/statm): 81168 52074 364 364 0 80804 0
[pid=9228] vsize: 324672
Current children cumulated CPU time (s) 851.23
Current children cumulated vsize (Kb) 324672

[startup+870.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 9228
Raw data (/proc/9228/stat): 9228 (pb2sat) R 9227 9228 4060 0 -1 0 153831 0 0 0 85290 828 0 0 25 0 1 0 21727340 332464128 52107 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9228/statm): 81168 52107 364 364 0 80804 0
[pid=9228] vsize: 324672
Current children cumulated CPU time (s) 861.18
Current children cumulated vsize (Kb) 324672

[startup+880.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 9228
Raw data (/proc/9228/stat): 9228 (pb2sat) R 9227 9228 4060 0 -1 0 153877 0 0 0 86272 835 0 0 25 0 1 0 21727340 332464128 52153 4294967295 134512640 135987407 3221224560 3221223408 134790054 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9228/statm): 81168 52153 364 364 0 80804 0
[pid=9228] vsize: 324672
Current children cumulated CPU time (s) 871.07
Current children cumulated vsize (Kb) 324672

[startup+890.031 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 9228
Raw data (/proc/9228/stat): 9228 (pb2sat) R 9227 9228 4060 0 -1 0 155045 0 0 0 87253 843 0 0 25 0 1 0 21727340 332464128 52200 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9228/statm): 81168 52200 364 364 0 80804 0
[pid=9228] vsize: 324672
Current children cumulated CPU time (s) 880.96
Current children cumulated vsize (Kb) 324672

[startup+900.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 9228
Raw data (/proc/9228/stat): 9228 (pb2sat) R 9227 9228 4060 0 -1 0 156203 0 0 0 88232 852 0 0 25 0 1 0 21727340 332599296 52237 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9228/statm): 81201 52237 364 364 0 80837 0
[pid=9228] vsize: 324804
Current children cumulated CPU time (s) 890.84
Current children cumulated vsize (Kb) 324804

[startup+910.031 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 9228
Raw data (/proc/9228/stat): 9228 (pb2sat) R 9227 9228 4060 0 -1 0 156257 0 0 0 89213 858 0 0 25 0 1 0 21727340 332599296 52291 4294967295 134512640 135987407 3221224560 3221223248 134811822 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9228/statm): 81201 52291 364 364 0 80837 0
[pid=9228] vsize: 324804
Current children cumulated CPU time (s) 900.71
Current children cumulated vsize (Kb) 324804

[startup+920.032 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 9228
Raw data (/proc/9228/stat): 9228 (pb2sat) R 9227 9228 4060 0 -1 0 157404 0 0 0 90198 865 0 0 25 0 1 0 21727340 332599296 52317 4294967295 134512640 135987407 3221224560 3221223248 134811768 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9228/statm): 81201 52317 364 364 0 80837 0
[pid=9228] vsize: 324804
Current children cumulated CPU time (s) 910.63
Current children cumulated vsize (Kb) 324804

[startup+930.032 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 9228
Raw data (/proc/9228/stat): 9228 (pb2sat) R 9227 9228 4060 0 -1 0 158557 0 0 0 91181 872 0 0 25 0 1 0 21727340 332599296 52349 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9228/statm): 81201 52349 364 364 0 80837 0
[pid=9228] vsize: 324804
Current children cumulated CPU time (s) 920.53
Current children cumulated vsize (Kb) 324804

[startup+940.032 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 9228
Raw data (/proc/9228/stat): 9228 (pb2sat) R 9227 9228 4060 0 -1 0 158606 0 0 0 92164 877 0 0 25 0 1 0 21727340 332734464 52398 4294967295 134512640 135987407 3221224560 3221223280 134813744 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9228/statm): 81234 52398 364 364 0 80870 0
[pid=9228] vsize: 324936
Current children cumulated CPU time (s) 930.41
Current children cumulated vsize (Kb) 324936

[startup+950.031 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 9228
Raw data (/proc/9228/stat): 9228 (pb2sat) R 9227 9228 4060 0 -1 0 159733 0 0 0 93151 884 0 0 25 0 1 0 21727340 332734464 52404 4294967295 134512640 135987407 3221224560 3221223408 134790069 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9228/statm): 81234 52404 364 364 0 80870 0
[pid=9228] vsize: 324936
Current children cumulated CPU time (s) 940.35
Current children cumulated vsize (Kb) 324936

[startup+960.032 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 9228
Raw data (/proc/9228/stat): 9228 (pb2sat) R 9227 9228 4060 0 -1 0 159737 0 0 0 94131 890 0 0 25 0 1 0 21727340 332734464 52408 4294967295 134512640 135987407 3221224560 3221223248 134811807 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9228/statm): 81234 52408 364 364 0 80870 0
[pid=9228] vsize: 324936
Current children cumulated CPU time (s) 950.21
Current children cumulated vsize (Kb) 324936

[startup+970.032 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 9228
Raw data (/proc/9228/stat): 9228 (pb2sat) R 9227 9228 4060 0 -1 0 159748 0 0 0 95112 896 0 0 25 0 1 0 21727340 332734464 52419 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9228/statm): 81234 52419 364 364 0 80870 0
[pid=9228] vsize: 324936
Current children cumulated CPU time (s) 960.08
Current children cumulated vsize (Kb) 324936

[startup+980.031 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 9228
Raw data (/proc/9228/stat): 9228 (pb2sat) R 9227 9228 4060 0 -1 0 160878 0 0 0 96095 904 0 0 25 0 1 0 21727340 332734464 52428 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9228/statm): 81234 52428 364 364 0 80870 0
[pid=9228] vsize: 324936
Current children cumulated CPU time (s) 969.99
Current children cumulated vsize (Kb) 324936

[startup+990.032 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 9228
Raw data (/proc/9228/stat): 9228 (pb2sat) R 9227 9228 4060 0 -1 0 160888 0 0 0 97077 911 0 0 25 0 1 0 21727340 332734464 52438 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9228/statm): 81234 52438 364 364 0 80870 0
[pid=9228] vsize: 324936
Current children cumulated CPU time (s) 979.88
Current children cumulated vsize (Kb) 324936

[startup+1000.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 9228
Raw data (/proc/9228/stat): 9228 (pb2sat) R 9227 9228 4060 0 -1 0 162026 0 0 0 98061 918 0 0 25 0 1 0 21727340 332869632 52455 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9228/statm): 81267 52455 364 364 0 80903 0
[pid=9228] vsize: 325068
Current children cumulated CPU time (s) 989.79
Current children cumulated vsize (Kb) 325068

[startup+1010.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 9228
Raw data (/proc/9228/stat): 9228 (pb2sat) R 9227 9228 4060 0 -1 0 162049 0 0 0 99046 922 0 0 25 0 1 0 21727340 332869632 52478 4294967295 134512640 135987407 3221224560 3221223132 134801599 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9228/statm): 81267 52478 364 364 0 80903 0
[pid=9228] vsize: 325068
Current children cumulated CPU time (s) 999.68
Current children cumulated vsize (Kb) 325068

[startup+1020.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 9228
Raw data (/proc/9228/stat): 9228 (pb2sat) R 9227 9228 4060 0 -1 0 163204 0 0 0 100030 931 0 0 25 0 1 0 21727340 332869632 52512 4294967295 134512640 135987407 3221224560 3221223408 134790064 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9228/statm): 81267 52512 364 364 0 80903 0
[pid=9228] vsize: 325068
Current children cumulated CPU time (s) 1009.61
Current children cumulated vsize (Kb) 325068

[startup+1030.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 9228
Raw data (/proc/9228/stat): 9228 (pb2sat) R 9227 9228 4060 0 -1 0 164376 0 0 0 101012 938 0 0 25 0 1 0 21727340 337612800 53684 4294967295 134512640 135987407 3221224560 3221222920 134827499 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9228/statm): 82425 53684 364 364 0 82061 0
[pid=9228] vsize: 329700
Current children cumulated CPU time (s) 1019.5
Current children cumulated vsize (Kb) 329700

[startup+1040.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 9228
Raw data (/proc/9228/stat): 9228 (pb2sat) R 9227 9228 4060 0 -1 0 164381 0 0 0 101999 943 0 0 25 0 1 0 21727340 333021184 52568 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9228/statm): 81304 52568 364 364 0 80940 0
[pid=9228] vsize: 325216
Current children cumulated CPU time (s) 1029.42
Current children cumulated vsize (Kb) 325216

[startup+1050.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 9228
Raw data (/proc/9228/stat): 9228 (pb2sat) R 9227 9228 4060 0 -1 0 165509 0 0 0 102984 950 0 0 25 0 1 0 21727340 333021184 52575 4294967295 134512640 135987407 3221224560 3221223248 134811870 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9228/statm): 81304 52575 364 364 0 80940 0
[pid=9228] vsize: 325216
Current children cumulated CPU time (s) 1039.34
Current children cumulated vsize (Kb) 325216

[startup+1060.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 9228
Raw data (/proc/9228/stat): 9228 (pb2sat) R 9227 9228 4060 0 -1 0 165556 0 0 0 103965 957 0 0 25 0 1 0 21727340 333021184 52622 4294967295 134512640 135987407 3221224560 3221223248 134811800 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9228/statm): 81304 52622 364 364 0 80940 0
[pid=9228] vsize: 325216
Current children cumulated CPU time (s) 1049.22
Current children cumulated vsize (Kb) 325216

[startup+1070.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 9228
Raw data (/proc/9228/stat): 9228 (pb2sat) R 9227 9228 4060 0 -1 0 166721 0 0 0 104947 965 0 0 25 0 1 0 21727340 333156352 52666 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9228/statm): 81337 52666 364 364 0 80973 0
[pid=9228] vsize: 325348
Current children cumulated CPU time (s) 1059.12
Current children cumulated vsize (Kb) 325348

[startup+1080.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 9283
Raw data (/proc/9228/stat): 9228 (pb2sat) R 9227 9228 4060 0 -1 0 167871 0 0 0 105927 974 0 0 23 0 1 0 21727340 333156352 52695 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9228/statm): 81337 52695 364 364 0 80973 0
[pid=9228] vsize: 325348
Current children cumulated CPU time (s) 1069.01
Current children cumulated vsize (Kb) 325348

[startup+1090.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 9283
Raw data (/proc/9228/stat): 9228 (pb2sat) R 9227 9228 4060 0 -1 0 167916 0 0 0 106911 980 0 0 25 0 1 0 21727340 333156352 52740 4294967295 134512640 135987407 3221224560 3221223248 134811964 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9228/statm): 81337 52740 364 364 0 80973 0
[pid=9228] vsize: 325348
Current children cumulated CPU time (s) 1078.91
Current children cumulated vsize (Kb) 325348

[startup+1100.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 9283
Raw data (/proc/9228/stat): 9228 (pb2sat) R 9227 9228 4060 0 -1 0 169076 0 0 0 107895 987 0 0 25 0 1 0 21727340 333156352 52779 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9228/statm): 81337 52779 364 364 0 80973 0
[pid=9228] vsize: 325348
Current children cumulated CPU time (s) 1088.82
Current children cumulated vsize (Kb) 325348

[startup+1110.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 9283
Raw data (/proc/9228/stat): 9228 (pb2sat) R 9227 9228 4060 0 -1 0 169124 0 0 0 108880 993 0 0 25 0 1 0 21727340 333156352 52827 4294967295 134512640 135987407 3221224560 3221223280 134814271 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9228/statm): 81337 52827 364 364 0 80973 0
[pid=9228] vsize: 325348
Current children cumulated CPU time (s) 1098.73
Current children cumulated vsize (Kb) 325348

[startup+1120.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 9283
Raw data (/proc/9228/stat): 9228 (pb2sat) R 9227 9228 4060 0 -1 0 170249 0 0 0 109866 999 0 0 25 0 1 0 21727340 333156352 52831 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9228/statm): 81337 52831 364 364 0 80973 0
[pid=9228] vsize: 325348
Current children cumulated CPU time (s) 1108.65
Current children cumulated vsize (Kb) 325348

[startup+1130.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 9285
Raw data (/proc/9228/stat): 9228 (pb2sat) R 9227 9228 4060 0 -1 0 170262 0 0 0 110849 1005 0 0 25 0 1 0 21727340 333291520 52844 4294967295 134512640 135987407 3221224560 3221223424 134812703 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9228/statm): 81370 52844 364 364 0 81006 0
[pid=9228] vsize: 325480
Current children cumulated CPU time (s) 1118.54
Current children cumulated vsize (Kb) 325480

[startup+1140.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 9285
Raw data (/proc/9228/stat): 9228 (pb2sat) R 9227 9228 4060 0 -1 0 170289 0 0 0 111827 1011 0 0 25 0 1 0 21727340 333463552 52871 4294967295 134512640 135987407 3221224560 3221223380 134812452 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9228/statm): 81412 52871 364 364 0 81048 0
[pid=9228] vsize: 325648
Current children cumulated CPU time (s) 1128.38
Current children cumulated vsize (Kb) 325648

[startup+1150.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 9287
Raw data (/proc/9228/stat): 9228 (pb2sat) R 9227 9228 4060 0 -1 0 171425 0 0 0 112809 1019 0 0 25 0 1 0 21727340 333463552 52886 4294967295 134512640 135987407 3221224560 3221223424 134812647 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9228/statm): 81412 52886 364 364 0 81048 0
[pid=9228] vsize: 325648
Current children cumulated CPU time (s) 1138.28
Current children cumulated vsize (Kb) 325648

[startup+1160.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 9289
Raw data (/proc/9228/stat): 9228 (pb2sat) R 9227 9228 4060 0 -1 0 171465 0 0 0 113798 1024 0 0 25 0 1 0 21727340 333463552 52926 4294967295 134512640 135987407 3221224560 3221223280 134814246 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9228/statm): 81412 52926 364 364 0 81048 0
[pid=9228] vsize: 325648
Current children cumulated CPU time (s) 1148.22
Current children cumulated vsize (Kb) 325648

[startup+1170.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 9289
Raw data (/proc/9228/stat): 9228 (pb2sat) R 9227 9228 4060 0 -1 0 172627 0 0 0 114780 1033 0 0 25 0 1 0 21727340 333463552 52967 4294967295 134512640 135987407 3221224560 3221223376 134824282 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9228/statm): 81412 52967 364 364 0 81048 0
[pid=9228] vsize: 325648
Current children cumulated CPU time (s) 1158.13
Current children cumulated vsize (Kb) 325648

[startup+1180.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 9289
Raw data (/proc/9228/stat): 9228 (pb2sat) R 9227 9228 4060 0 -1 0 172665 0 0 0 115759 1039 0 0 25 0 1 0 21727340 333463552 53005 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9228/statm): 81412 53005 364 364 0 81048 0
[pid=9228] vsize: 325648
Current children cumulated CPU time (s) 1167.98
Current children cumulated vsize (Kb) 325648

[startup+1190.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 9289
Raw data (/proc/9228/stat): 9228 (pb2sat) R 9227 9228 4060 0 -1 0 172722 0 0 0 116741 1046 0 0 25 0 1 0 21727340 333602816 53062 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9228/statm): 81446 53062 364 364 0 81082 0
[pid=9228] vsize: 325784
Current children cumulated CPU time (s) 1177.87
Current children cumulated vsize (Kb) 325784

[startup+1200.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 9289
Raw data (/proc/9228/stat): 9228 (pb2sat) R 9227 9228 4060 0 -1 0 172759 0 0 0 117725 1051 0 0 25 0 1 0 21727340 333602816 53099 4294967295 134512640 135987407 3221224560 3221223344 134812334 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9228/statm): 81446 53099 364 364 0 81082 0
[pid=9228] vsize: 325784
Current children cumulated CPU time (s) 1187.76
Current children cumulated vsize (Kb) 325784

[startup+1210.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 9289
Raw data (/proc/9228/stat): 9228 (pb2sat) R 9227 9228 4060 0 -1 0 172800 0 0 0 118707 1057 0 0 25 0 1 0 21727340 333602816 53140 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9228/statm): 81446 53140 364 364 0 81082 0
[pid=9228] vsize: 325784
Current children cumulated CPU time (s) 1197.64
Current children cumulated vsize (Kb) 325784

[startup+1220.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 9289
Raw data (/proc/9228/stat): 9228 (pb2sat) R 9227 9228 4060 0 -1 0 173968 0 0 0 119694 1063 0 0 25 0 1 0 21727340 333602816 53187 4294967295 134512640 135987407 3221224560 3221223408 134790060 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9228/statm): 81446 53187 364 364 0 81082 0
[pid=9228] vsize: 325784
Current children cumulated CPU time (s) 1207.57
Current children cumulated vsize (Kb) 325784



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1220.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 9289
Raw data (/proc/9228/stat): 9228 (pb2sat) R 9227 9228 4060 0 -1 0 173968 0 0 0 119694 1063 0 0 25 0 1 0 21727340 333602816 53187 4294967295 134512640 135987407 3221224560 3221223408 134790060 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9228/statm): 81446 53187 364 364 0 81082 0
[pid=9228] vsize: 325784
Current children cumulated CPU time (s) 1207.57
Current children cumulated vsize (Kb) 325784

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

Child status: 0
Real time (s): 1220.96
CPU time (s): 1208.51
CPU user time (s): 1197.76
CPU system time (s): 10.7464
CPU usage (%): 98.98
Max. virtual memory (cumulated for all children) (Kb): 329700

Verifier Data

ERROR: no interpretation found !