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

Nameweb/uclid_pb_benchmarks/normalized-ooo.burch_dill.6.accl.ucl.opb
MD5SUMf306f9e77db4c563a096b79aebdedeaa
Bench Categoryno optimization function (SAT)
Has Objective FunctionNO
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 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 71
Number of bits of the biggest number in a constraint 7
Biggest sum of numbers in a constraint 261
Number of bits of the biggest sum of numbers9
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Number of variables23621
Total number of constraints67526
Number of constraints which are clauses65126
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints2400
Minimum length of a constraint1
Maximum length of a constraint13

Trace number 9805

Launcher Data

LAUNCH ON wulflinc17 THE 2005-09-23 15:19:31 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=8526 boxname=wulflinc17 idbench=322 idsolver=8 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  f306f9e77db4c563a096b79aebdedeaa  /oldhome/oroussel/tmp/wulflinc17/normalized-ooo.burch_dill.6.accl.ucl.opb
REAL COMMAND:  pb2sat /oldhome/oroussel/tmp/wulflinc17/normalized-ooo.burch_dill.6.accl.ucl.opb
IDLAUNCH: 8526
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.161
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.161
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:        933036 kB
Buffers:         15424 kB
Cached:          67468 kB
SwapCached:          0 kB
Active:          45752 kB
Inactive:        40084 kB
HighTotal:      131008 kB
HighFree:        59136 kB
LowTotal:       903652 kB
LowFree:        873900 kB
SwapTotal:     2097892 kB
SwapFree:      2097892 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6980 kB
Slab:            10148 kB
Committed_AS:    63624 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-09-23 15:40:01 (client local time) WITH STATUS 0 IN 1204.5 SECONDS
stats: 8526 7 1204.5 0

Solver Data

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

c Decision: 2445/71607	Time: 12.894/86400
c Decision: 2445/71607	Time: 21.1438/86400
c Decision: 2446/71607	Time: 30.8023/86400
c Decision: 2458/71607	Time: 49.2235/86400
c Decision: 2458/71607	Time: 57.0543/86400
c Decision: 2458/71607	Time: 66.9628/86400
c Decision: 2458/71607	Time: 76.6563/86400
c Decision: 2458/71607	Time: 84.8291/86400
c Decision: 2458/71607	Time: 94.5906/86400
c Decision: 2458/71607	Time: 104.211/86400
c Decision: 2458/71607	Time: 113.359/86400
c Decision: 2460/71607	Time: 129.443/86400
c Decision: 2470/71607	Time: 147.107/86400
c Decision: 2470/71607	Time: 164.67/86400
c Decision: 2470/71607	Time: 179.701/86400
c Decision: 3566/71607	Time: 195.224/86400
c Decision: 5259/71607	Time: 213.678/86400
c Decision: 5431/71607	Time: 240.346/86400
c Decision: 5440/71607	Time: 296.909/86400
c Decision: 5440/71607	Time: 314.538/86400
c Decision: 5440/71607	Time: 334.523/86400
c Decision: 5471/71607	Time: 388.823/86400
c Decision: 5471/71607	Time: 406.482/86400
c Decision: 5471/71607	Time: 424.424/86400
c Decision: 5471/71607	Time: 440.84/86400
c Decision: 5471/71607	Time: 450.841/86400
c Decision: 5471/71607	Time: 461.542/86400
c Decision: 5471/71607	Time: 470.65/86400
c Decision: 5471/71607	Time: 483.93/86400
c Decision: 5471/71607	Time: 496.914/86400
c Decision: 5471/71607	Time: 509.344/86400
c Decision: 5471/71607	Time: 518.49/86400
c Decision: 5471/71607	Time: 526.457/86400
c Decision: 5471/71607	Time: 533.399/86400
c Decision: 5471/71607	Time: 541.649/86400
c Decision: 5471/71607	Time: 549.441/86400
c Decision: 5471/71607	Time: 559.643/86400
c Decision: 5471/71607	Time: 566.235/86400
c Decision: 5471/71607	Time: 574.945/86400
c Decision: 5471/71607	Time: 581.638/86400
c Decision: 5475/71607	Time: 596.885/86400
c Decision: 5475/71607	Time: 605.758/86400
c Decision: 5475/71607	Time: 614.216/86400
c Decision: 7435/71607	Time: 622.962/86400
c Decision: 7435/71607	Time: 631.389/86400
c Decision: 7435/71607	Time: 641.409/86400
c Decision: 7435/71607	Time: 650.265/86400
c Decision: 7435/71607	Time: 658.687/86400
c Decision: 7436/71607	Time: 670.661/86400
c Decision: 7436/71607	Time: 679.634/86400
c Decision: 7436/71607	Time: 688.545/86400
c Decision: 7436/71607	Time: 698.53/86400
c Decision: 7436/71607	Time: 707.538/86400
c Decision: 7436/71607	Time: 715.924/86400
c Decision: 7436/71607	Time: 727.392/86400
c Decision: 7436/71607	Time: 734.997/86400
c Decision: 7436/71607	Time: 747.601/86400
c Decision: 7436/71607	Time: 760.022/86400
c Decision: 7436/71607	Time: 771.518/86400
c Decision: 7436/71607	Time: 783.774/86400
c Decision: 7436/71607	Time: 795.42/86400
c Decision: 7436/71607	Time: 806.165/86400
c Decision: 7436/71607	Time: 819.066/86400
c Decision: 7445/71607	Time: 840.316/86400
c Decision: 7445/71607	Time: 858.093/86400
c Decision: 7461/71607	Time: 909.17/86400
c Decision: 7461/71607	Time: 935.447/86400
c Decision: 7461/71607	Time: 961.138/86400
c Decision: 7461/71607	Time: 979.946/86400
c Decision: 7461/71607	Time: 999.546/86400
c Decision: 7461/71607	Time: 1017.72/86400
c Decision: 7461/71607	Time: 1039.47/86400
c Decision: 7461/71607	Time: 1066.11/86400
c Decision: 7464/71607	Time: 1106.14/86400
c Decision: 7464/71607	Time: 1129.45/86400
c Decision: 7464/71607	Time: 1151.74/86400
c Decision: 7464/71607	Time: 1171.14/86400
c Decision: 7464/71607	Time: 1194.51/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/7681/stat): 7681 (pb2sat) R 7680 7681 4060 0 -1 0 18 0 0 0 0 0 0 0 20 0 1 0 21217147 1527808 2 4294967295 134512640 135987407 3221224560 3221224560 134512928 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/7681/statm): 373 2 364 364 0 9 0
[pid=7681] vsize: 1492
open syscall for file /oldhome/oroussel/tmp/wulflinc17/normalized-ooo.burch_dill.6.accl.ucl.opb

[startup+10.0012 s]
Raw data (loadavg): 0.74 0.86 0.94 1/55 7681
Raw data (/proc/7681/stat): 7681 (pb2sat) T 7680 7681 4060 0 -1 0 10387 0 0 0 966 27 0 0 25 0 1 0 21217147 33251328 6292 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/7681/statm): 8118 6292 364 364 0 7754 0
[pid=7681] vsize: 32472
Current children cumulated CPU time (s) 9.93
Current children cumulated vsize (Kb) 32472

[startup+20.0008 s]
Raw data (loadavg): 0.78 0.86 0.94 2/55 7681
Raw data (/proc/7681/stat): 7681 (pb2sat) R 7680 7681 4060 0 -1 0 11159 0 0 0 1913 46 0 0 25 0 1 0 21217147 36876288 7064 4294967295 134512640 135987407 3221224560 3221223408 134790054 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7681/statm): 9003 7064 364 364 0 8639 0
[pid=7681] vsize: 36012
Current children cumulated CPU time (s) 19.59
Current children cumulated vsize (Kb) 36012

[startup+30.0014 s]
Raw data (loadavg): 0.81 0.87 0.94 2/55 7681
Raw data (/proc/7681/stat): 7681 (pb2sat) R 7680 7681 4060 0 -1 0 11645 0 0 0 2875 60 0 0 25 0 1 0 21217147 38420480 7410 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7681/statm): 9380 7410 364 364 0 9016 0
[pid=7681] vsize: 37520
Current children cumulated CPU time (s) 29.35
Current children cumulated vsize (Kb) 37520

[startup+40.002 s]
Raw data (loadavg): 0.84 0.87 0.94 2/55 7681
Raw data (/proc/7681/stat): 7681 (pb2sat) R 7680 7681 4060 0 -1 0 12054 0 0 0 3843 71 0 0 25 0 1 0 21217147 39796736 7679 4294967295 134512640 135987407 3221224560 3221223380 134812260 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7681/statm): 9716 7679 364 364 0 9352 0
[pid=7681] vsize: 38864
Current children cumulated CPU time (s) 39.14
Current children cumulated vsize (Kb) 38864

[startup+50.0026 s]
Raw data (loadavg): 0.87 0.87 0.94 2/55 7681
Raw data (/proc/7681/stat): 7681 (pb2sat) R 7680 7681 4060 0 -1 0 12527 0 0 0 4813 83 0 0 25 0 1 0 21217147 41394176 8012 4294967295 134512640 135987407 3221224560 3221223248 134811787 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7681/statm): 10106 8012 364 364 0 9742 0
[pid=7681] vsize: 40424
Current children cumulated CPU time (s) 48.96
Current children cumulated vsize (Kb) 40424

[startup+60.0022 s]
Raw data (loadavg): 0.96 0.89 0.94 2/55 7681
Raw data (/proc/7681/stat): 7681 (pb2sat) R 7680 7681 4060 0 -1 0 12883 0 0 0 5788 92 0 0 25 0 1 0 21217147 42475520 8228 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7681/statm): 10370 8228 364 364 0 10006 0
[pid=7681] vsize: 41480
Current children cumulated CPU time (s) 58.8
Current children cumulated vsize (Kb) 41480

[startup+70.0018 s]
Raw data (loadavg): 0.97 0.90 0.94 2/55 7681
Raw data (/proc/7681/stat): 7681 (pb2sat) R 7680 7681 4060 0 -1 0 13126 0 0 0 6747 107 0 0 25 0 1 0 21217147 42942464 8331 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7681/statm): 10484 8331 364 364 0 10120 0
[pid=7681] vsize: 41936
Current children cumulated CPU time (s) 68.54
Current children cumulated vsize (Kb) 41936

[startup+80.0024 s]
Raw data (loadavg): 0.97 0.90 0.94 2/55 7681
Raw data (/proc/7681/stat): 7681 (pb2sat) R 7680 7681 4060 0 -1 0 13347 0 0 0 7720 115 0 0 25 0 1 0 21217147 43274240 8412 4294967295 134512640 135987407 3221224560 3221223328 134812419 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7681/statm): 10565 8412 364 364 0 10201 0
[pid=7681] vsize: 42260
Current children cumulated CPU time (s) 78.35
Current children cumulated vsize (Kb) 42260

[startup+90.002 s]
Raw data (loadavg): 0.97 0.90 0.94 2/55 7681
Raw data (/proc/7681/stat): 7681 (pb2sat) R 7680 7681 4060 0 -1 0 13588 0 0 0 8679 130 0 0 25 0 1 0 21217147 43814912 8513 4294967295 134512640 135987407 3221224560 3221223248 134811807 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7681/statm): 10697 8513 364 364 0 10333 0
[pid=7681] vsize: 42788
Current children cumulated CPU time (s) 88.09
Current children cumulated vsize (Kb) 42788

[startup+100.003 s]
Raw data (loadavg): 0.98 0.90 0.94 1/55 7681
Raw data (/proc/7681/stat): 7681 (pb2sat) T 7680 7681 4060 0 -1 0 13761 0 0 0 9638 144 0 0 25 0 1 0 21217147 43814912 8546 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/7681/statm): 10697 8546 364 364 0 10333 0
[pid=7681] vsize: 42788
Current children cumulated CPU time (s) 97.82
Current children cumulated vsize (Kb) 42788

[startup+110.003 s]
Raw data (loadavg): 0.98 0.91 0.94 2/55 7681
Raw data (/proc/7681/stat): 7681 (pb2sat) R 7680 7681 4060 0 -1 0 13937 0 0 0 10599 158 0 0 25 0 1 0 21217147 43814912 8582 4294967295 134512640 135987407 3221224560 3221223424 134812593 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7681/statm): 10697 8582 364 364 0 10333 0
[pid=7681] vsize: 42788
Current children cumulated CPU time (s) 107.57
Current children cumulated vsize (Kb) 42788

[startup+120.003 s]
Raw data (loadavg): 0.98 0.91 0.94 2/55 7681
Raw data (/proc/7681/stat): 7681 (pb2sat) R 7680 7681 4060 0 -1 0 14198 0 0 0 11564 170 0 0 25 0 1 0 21217147 44220416 8703 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7681/statm): 10796 8703 364 364 0 10432 0
[pid=7681] vsize: 43184
Current children cumulated CPU time (s) 117.34
Current children cumulated vsize (Kb) 43184

[startup+130.003 s]
Raw data (loadavg): 0.99 0.91 0.94 2/55 7681
Raw data (/proc/7681/stat): 7681 (pb2sat) R 7680 7681 4060 0 -1 0 14391 0 0 0 12528 184 0 0 25 0 1 0 21217147 44490752 8756 4294967295 134512640 135987407 3221224560 3221223248 134811704 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7681/statm): 10862 8756 364 364 0 10498 0
[pid=7681] vsize: 43448
Current children cumulated CPU time (s) 127.12
Current children cumulated vsize (Kb) 43448

[startup+140.003 s]
Raw data (loadavg): 0.99 0.91 0.94 2/55 7681
Raw data (/proc/7681/stat): 7681 (pb2sat) R 7680 7681 4060 0 -1 0 14473 0 0 0 13499 195 0 0 25 0 1 0 21217147 44761088 8838 4294967295 134512640 135987407 3221224560 3221223120 135480413 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7681/statm): 10928 8838 364 364 0 10564 0
[pid=7681] vsize: 43712
Current children cumulated CPU time (s) 136.94
Current children cumulated vsize (Kb) 43712

[startup+150.004 s]
Raw data (loadavg): 0.99 0.92 0.94 2/55 7681
Raw data (/proc/7681/stat): 7681 (pb2sat) R 7680 7681 4060 0 -1 0 14643 0 0 0 14466 206 0 0 25 0 1 0 21217147 44896256 8868 4294967295 134512640 135987407 3221224560 3221223376 134824504 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7681/statm): 10961 8868 364 364 0 10597 0
[pid=7681] vsize: 43844
Current children cumulated CPU time (s) 146.72
Current children cumulated vsize (Kb) 43844

[startup+160.004 s]
Raw data (loadavg): 0.99 0.92 0.94 2/55 7681
Raw data (/proc/7681/stat): 7681 (pb2sat) R 7680 7681 4060 0 -1 0 14840 0 0 0 15434 219 0 0 25 0 1 0 21217147 45166592 8925 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7681/statm): 11027 8925 364 364 0 10663 0
[pid=7681] vsize: 44108
Current children cumulated CPU time (s) 156.53
Current children cumulated vsize (Kb) 44108

[startup+170.004 s]
Raw data (loadavg): 0.99 0.92 0.94 2/55 7681
Raw data (/proc/7681/stat): 7681 (pb2sat) R 7680 7681 4060 0 -1 0 14859 0 0 0 16398 231 0 0 25 0 1 0 21217147 45166592 8944 4294967295 134512640 135987407 3221224560 3221223248 134811773 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7681/statm): 11027 8944 364 364 0 10663 0
[pid=7681] vsize: 44108
Current children cumulated CPU time (s) 166.29
Current children cumulated vsize (Kb) 44108

[startup+180.003 s]
Raw data (loadavg): 0.99 0.92 0.94 2/55 7681
Raw data (/proc/7681/stat): 7681 (pb2sat) R 7680 7681 4060 0 -1 0 15011 0 0 0 17359 245 0 0 25 0 1 0 21217147 45166592 8956 4294967295 134512640 135987407 3221224560 3221223224 134778245 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7681/statm): 11027 8956 364 364 0 10663 0
[pid=7681] vsize: 44108
Current children cumulated CPU time (s) 176.04
Current children cumulated vsize (Kb) 44108

[startup+190.004 s]
Raw data (loadavg): 0.99 0.92 0.94 2/55 7681
Raw data (/proc/7681/stat): 7681 (pb2sat) R 7680 7681 4060 0 -1 0 15025 0 0 0 18326 256 0 0 25 0 1 0 21217147 45166592 8970 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7681/statm): 11027 8970 364 364 0 10663 0
[pid=7681] vsize: 44108
Current children cumulated CPU time (s) 185.82
Current children cumulated vsize (Kb) 44108

[startup+200.005 s]
Raw data (loadavg): 0.99 0.93 0.94 2/55 7681
Raw data (/proc/7681/stat): 7681 (pb2sat) R 7680 7681 4060 0 -1 0 15204 0 0 0 19292 268 0 0 25 0 1 0 21217147 45301760 9009 4294967295 134512640 135987407 3221224560 3221223328 134812419 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7681/statm): 11060 9009 364 364 0 10696 0
[pid=7681] vsize: 44240
Current children cumulated CPU time (s) 195.6
Current children cumulated vsize (Kb) 44240

[startup+210.004 s]
Raw data (loadavg): 0.99 0.93 0.94 2/55 7681
Raw data (/proc/7681/stat): 7681 (pb2sat) R 7680 7681 4060 0 -1 0 15356 0 0 0 20260 280 0 0 25 0 1 0 21217147 45301760 9021 4294967295 134512640 135987407 3221224560 3221223408 134790000 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7681/statm): 11060 9021 364 364 0 10696 0
[pid=7681] vsize: 44240
Current children cumulated CPU time (s) 205.4
Current children cumulated vsize (Kb) 44240

[startup+220.005 s]
Raw data (loadavg): 0.99 0.93 0.94 2/55 7681
Raw data (/proc/7681/stat): 7681 (pb2sat) R 7680 7681 4060 0 -1 0 15380 0 0 0 21223 291 0 0 25 0 1 0 21217147 45436928 9045 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7681/statm): 11093 9045 364 364 0 10729 0
[pid=7681] vsize: 44372
Current children cumulated CPU time (s) 215.14
Current children cumulated vsize (Kb) 44372

[startup+230.005 s]
Raw data (loadavg): 0.99 0.93 0.94 2/55 7681
Raw data (/proc/7681/stat): 7681 (pb2sat) R 7680 7681 4060 0 -1 0 15523 0 0 0 22193 301 0 0 25 0 1 0 21217147 45436928 9048 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7681/statm): 11093 9048 364 364 0 10729 0
[pid=7681] vsize: 44372
Current children cumulated CPU time (s) 224.94
Current children cumulated vsize (Kb) 44372

[startup+240.005 s]
Raw data (loadavg): 0.99 0.93 0.94 2/55 7681
Raw data (/proc/7681/stat): 7681 (pb2sat) T 7680 7681 4060 0 -1 0 15553 0 0 0 23153 314 0 0 25 0 1 0 21217147 45572096 9078 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/7681/statm): 11126 9078 364 364 0 10762 0
[pid=7681] vsize: 44504
Current children cumulated CPU time (s) 234.67
Current children cumulated vsize (Kb) 44504

[startup+250.006 s]
Raw data (loadavg): 0.99 0.94 0.94 2/55 7681
Raw data (/proc/7681/stat): 7681 (pb2sat) R 7680 7681 4060 0 -1 0 15576 0 0 0 24117 326 0 0 25 0 1 0 21217147 45707264 9101 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7681/statm): 11159 9101 364 364 0 10795 0
[pid=7681] vsize: 44636
Current children cumulated CPU time (s) 244.43
Current children cumulated vsize (Kb) 44636

[startup+260.006 s]
Raw data (loadavg): 0.99 0.94 0.94 2/55 7681
Raw data (/proc/7681/stat): 7681 (pb2sat) R 7680 7681 4060 0 -1 0 15742 0 0 0 25079 340 0 0 25 0 1 0 21217147 45842432 9127 4294967295 134512640 135987407 3221224560 3221223248 134811800 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7681/statm): 11192 9127 364 364 0 10828 0
[pid=7681] vsize: 44768
Current children cumulated CPU time (s) 254.19
Current children cumulated vsize (Kb) 44768

[startup+270.006 s]
Raw data (loadavg): 0.99 0.94 0.94 2/55 7681
Raw data (/proc/7681/stat): 7681 (pb2sat) R 7680 7681 4060 0 -1 0 15744 0 0 0 26044 352 0 0 25 0 1 0 21217147 45842432 9129 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7681/statm): 11192 9129 364 364 0 10828 0
[pid=7681] vsize: 44768
Current children cumulated CPU time (s) 263.96
Current children cumulated vsize (Kb) 44768

[startup+280.006 s]
Raw data (loadavg): 1.07 0.96 0.95 2/55 7681
Raw data (/proc/7681/stat): 7681 (pb2sat) R 7680 7681 4060 0 -1 0 15746 0 0 0 27006 364 0 0 25 0 1 0 21217147 45842432 9131 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7681/statm): 11192 9131 364 364 0 10828 0
[pid=7681] vsize: 44768
Current children cumulated CPU time (s) 273.7
Current children cumulated vsize (Kb) 44768

[startup+290.007 s]
Raw data (loadavg): 1.06 0.96 0.95 2/55 7681
Raw data (/proc/7681/stat): 7681 (pb2sat) R 7680 7681 4060 0 -1 0 15754 0 0 0 27971 376 0 0 25 0 1 0 21217147 45842432 9139 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7681/statm): 11192 9139 364 364 0 10828 0
[pid=7681] vsize: 44768
Current children cumulated CPU time (s) 283.47
Current children cumulated vsize (Kb) 44768

[startup+300.008 s]
Raw data (loadavg): 1.05 0.96 0.95 1/55 7681
Raw data (/proc/7681/stat): 7681 (pb2sat) T 7680 7681 4060 0 -1 0 15768 0 0 0 28942 386 0 0 25 0 1 0 21217147 45842432 9153 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/7681/statm): 11192 9153 364 364 0 10828 0
[pid=7681] vsize: 44768
Current children cumulated CPU time (s) 293.28
Current children cumulated vsize (Kb) 44768

[startup+310.007 s]
Raw data (loadavg): 1.04 0.96 0.95 2/55 7681
Raw data (/proc/7681/stat): 7681 (pb2sat) R 7680 7681 4060 0 -1 0 15782 0 0 0 29912 396 0 0 25 0 1 0 21217147 45842432 9167 4294967295 134512640 135987407 3221224560 3221223248 134811797 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7681/statm): 11192 9167 364 364 0 10828 0
[pid=7681] vsize: 44768
Current children cumulated CPU time (s) 303.08
Current children cumulated vsize (Kb) 44768

[startup+320.007 s]
Raw data (loadavg): 1.03 0.96 0.95 2/55 7681
Raw data (/proc/7681/stat): 7681 (pb2sat) R 7680 7681 4060 0 -1 0 15932 0 0 0 30882 406 0 0 25 0 1 0 21217147 45842432 9177 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7681/statm): 11192 9177 364 364 0 10828 0
[pid=7681] vsize: 44768
Current children cumulated CPU time (s) 312.88
Current children cumulated vsize (Kb) 44768

[startup+330.007 s]
Raw data (loadavg): 1.03 0.96 0.95 2/55 7681
Raw data (/proc/7681/stat): 7681 (pb2sat) R 7680 7681 4060 0 -1 0 15948 0 0 0 31849 415 0 0 25 0 1 0 21217147 45842432 9193 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7681/statm): 11192 9193 364 364 0 10828 0
[pid=7681] vsize: 44768
Current children cumulated CPU time (s) 322.64
Current children cumulated vsize (Kb) 44768

[startup+340.008 s]
Raw data (loadavg): 1.02 0.96 0.95 2/55 7681
Raw data (/proc/7681/stat): 7681 (pb2sat) R 7680 7681 4060 0 -1 0 16098 0 0 0 32819 425 0 0 25 0 1 0 21217147 50036736 9203 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7681/statm): 12216 9203 364 364 0 11852 0
[pid=7681] vsize: 48864
Current children cumulated CPU time (s) 332.44
Current children cumulated vsize (Kb) 48864

[startup+350.009 s]
Raw data (loadavg): 1.02 0.97 0.95 2/55 7681
Raw data (/proc/7681/stat): 7681 (pb2sat) R 7680 7681 4060 0 -1 0 16139 0 0 0 33788 435 0 0 25 0 1 0 21217147 50171904 9244 4294967295 134512640 135987407 3221224560 3221223344 134812334 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7681/statm): 12249 9244 364 364 0 11885 0
[pid=7681] vsize: 48996
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (Kb) 48996

[startup+360.009 s]
Raw data (loadavg): 1.02 0.97 0.95 2/55 7681
Raw data (/proc/7681/stat): 7681 (pb2sat) R 7680 7681 4060 0 -1 0 16143 0 0 0 34755 447 0 0 25 0 1 0 21217147 50171904 9248 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7681/statm): 12249 9248 364 364 0 11885 0
[pid=7681] vsize: 48996
Current children cumulated CPU time (s) 352.02
Current children cumulated vsize (Kb) 48996

[startup+370.009 s]
Raw data (loadavg): 1.01 0.97 0.95 2/55 7681
Raw data (/proc/7681/stat): 7681 (pb2sat) R 7680 7681 4060 0 -1 0 16145 0 0 0 35715 460 0 0 25 0 1 0 21217147 50171904 9250 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7681/statm): 12249 9250 364 364 0 11885 0
[pid=7681] vsize: 48996
Current children cumulated CPU time (s) 361.75
Current children cumulated vsize (Kb) 48996

[startup+380.01 s]
Raw data (loadavg): 1.01 0.97 0.95 2/55 7681
Raw data (/proc/7681/stat): 7681 (pb2sat) R 7680 7681 4060 0 -1 0 16147 0 0 0 36682 470 0 0 25 0 1 0 21217147 50171904 9252 4294967295 134512640 135987407 3221224560 3221223248 134811964 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7681/statm): 12249 9252 364 364 0 11885 0
[pid=7681] vsize: 48996
Current children cumulated CPU time (s) 371.52
Current children cumulated vsize (Kb) 48996

[startup+390.009 s]
Raw data (loadavg): 1.01 0.97 0.95 1/55 7681
Raw data (/proc/7681/stat): 7681 (pb2sat) T 7680 7681 4060 0 -1 0 16150 0 0 0 37651 480 0 0 25 0 1 0 21217147 50171904 9255 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/7681/statm): 12249 9255 364 364 0 11885 0
[pid=7681] vsize: 48996
Current children cumulated CPU time (s) 381.31
Current children cumulated vsize (Kb) 48996

[startup+400.01 s]
Raw data (loadavg): 1.01 0.97 0.95 2/55 7681
Raw data (/proc/7681/stat): 7681 (pb2sat) R 7680 7681 4060 0 -1 0 16163 0 0 0 38614 491 0 0 25 0 1 0 21217147 50171904 9268 4294967295 134512640 135987407 3221224560 3221223248 134811692 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7681/statm): 12249 9268 364 364 0 11885 0
[pid=7681] vsize: 48996
Current children cumulated CPU time (s) 391.05
Current children cumulated vsize (Kb) 48996

[startup+410.009 s]
Raw data (loadavg): 1.08 0.99 0.95 1/55 7681
Raw data (/proc/7681/stat): 7681 (pb2sat) T 7680 7681 4060 0 -1 0 16330 0 0 0 39577 503 0 0 25 0 1 0 21217147 50307072 9295 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/7681/statm): 12282 9295 364 364 0 11918 0
[pid=7681] vsize: 49128
Current children cumulated CPU time (s) 400.8
Current children cumulated vsize (Kb) 49128

[startup+420.009 s]
Raw data (loadavg): 1.07 0.99 0.95 2/55 7681
Raw data (/proc/7681/stat): 7681 (pb2sat) R 7680 7681 4060 0 -1 0 16342 0 0 0 40541 515 0 0 25 0 1 0 21217147 50307072 9307 4294967295 134512640 135987407 3221224560 3221223248 134811885 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7681/statm): 12282 9307 364 364 0 11918 0
[pid=7681] vsize: 49128
Current children cumulated CPU time (s) 410.56
Current children cumulated vsize (Kb) 49128

[startup+430.01 s]
Raw data (loadavg): 1.06 0.99 0.95 2/55 7681
Raw data (/proc/7681/stat): 7681 (pb2sat) R 7680 7681 4060 0 -1 0 16494 0 0 0 41508 526 0 0 25 0 1 0 21217147 50307072 9319 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7681/statm): 12282 9319 364 364 0 11918 0
[pid=7681] vsize: 49128
Current children cumulated CPU time (s) 420.34
Current children cumulated vsize (Kb) 49128

[startup+440.009 s]
Raw data (loadavg): 1.05 0.99 0.95 2/55 7681
Raw data (/proc/7681/stat): 7681 (pb2sat) R 7680 7681 4060 0 -1 0 16514 0 0 0 42482 535 0 0 25 0 1 0 21217147 50307072 9339 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7681/statm): 12282 9339 364 364 0 11918 0
[pid=7681] vsize: 49128
Current children cumulated CPU time (s) 430.17
Current children cumulated vsize (Kb) 49128

[startup+450.01 s]
Raw data (loadavg): 1.04 0.99 0.95 2/55 7681
Raw data (/proc/7681/stat): 7681 (pb2sat) R 7680 7681 4060 0 -1 0 16679 0 0 0 43456 544 0 0 25 0 1 0 21217147 50307072 9364 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7681/statm): 12282 9364 364 364 0 11918 0
[pid=7681] vsize: 49128
Current children cumulated CPU time (s) 440
Current children cumulated vsize (Kb) 49128

[startup+460.01 s]
Raw data (loadavg): 1.03 0.99 0.95 2/55 7681
Raw data (/proc/7681/stat): 7681 (pb2sat) R 7680 7681 4060 0 -1 0 16858 0 0 0 44428 554 0 0 25 0 1 0 21217147 50880512 9543 4294967295 134512640 135987407 3221224560 3221222944 134828886 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7681/statm): 12422 9543 364 364 0 12058 0
[pid=7681] vsize: 49688
Current children cumulated CPU time (s) 449.82
Current children cumulated vsize (Kb) 49688

[startup+470.011 s]
Raw data (loadavg): 1.03 0.99 0.95 2/55 7681
Raw data (/proc/7681/stat): 7681 (pb2sat) R 7680 7681 4060 0 -1 0 17196 0 0 0 45398 566 0 0 25 0 1 0 21217147 50438144 9601 4294967295 134512640 135987407 3221224560 3221223376 134876948 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7681/statm): 12314 9601 364 364 0 11950 0
[pid=7681] vsize: 49256
Current children cumulated CPU time (s) 459.64
Current children cumulated vsize (Kb) 49256

[startup+480.012 s]
Raw data (loadavg): 1.02 0.99 0.95 2/55 7681
Raw data (/proc/7681/stat): 7681 (pb2sat) R 7680 7681 4060 0 -1 0 17233 0 0 0 46363 578 0 0 25 0 1 0 21217147 50438144 9638 4294967295 134512640 135987407 3221224560 3221223248 134811920 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7681/statm): 12314 9638 364 364 0 11950 0
[pid=7681] vsize: 49256
Current children cumulated CPU time (s) 469.41
Current children cumulated vsize (Kb) 49256

[startup+490.011 s]
Raw data (loadavg): 1.02 0.99 0.95 2/55 7681
Raw data (/proc/7681/stat): 7681 (pb2sat) R 7680 7681 4060 0 -1 0 17386 0 0 0 47328 590 0 0 25 0 1 0 21217147 50573312 9651 4294967295 134512640 135987407 3221224560 3221223300 135478029 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7681/statm): 12347 9651 364 364 0 11983 0
[pid=7681] vsize: 49388
Current children cumulated CPU time (s) 479.18
Current children cumulated vsize (Kb) 49388

[startup+500.012 s]
Raw data (loadavg): 1.02 0.99 0.95 2/55 7681
Raw data (/proc/7681/stat): 7681 (pb2sat) R 7680 7681 4060 0 -1 0 17541 0 0 0 48295 601 0 0 25 0 1 0 21217147 50573312 9666 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7681/statm): 12347 9666 364 364 0 11983 0
[pid=7681] vsize: 49388
Current children cumulated CPU time (s) 488.96
Current children cumulated vsize (Kb) 49388

[startup+510.012 s]
Raw data (loadavg): 1.01 0.99 0.95 2/55 7681
Raw data (/proc/7681/stat): 7681 (pb2sat) R 7680 7681 4060 0 -1 0 17778 0 0 0 49265 611 0 0 25 0 1 0 21217147 50728960 9763 4294967295 134512640 135987407 3221224560 3221223248 134812000 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7681/statm): 12385 9763 364 364 0 12021 0
[pid=7681] vsize: 49540
Current children cumulated CPU time (s) 498.76
Current children cumulated vsize (Kb) 49540

[startup+520.012 s]
Raw data (loadavg): 1.01 0.99 0.95 2/55 7681
Raw data (/proc/7681/stat): 7681 (pb2sat) R 7680 7681 4060 0 -1 0 18052 0 0 0 50235 622 0 0 25 0 1 0 21217147 50728960 9897 4294967295 134512640 135987407 3221224560 3221223328 134812414 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7681/statm): 12385 9897 364 364 0 12021 0
[pid=7681] vsize: 49540
Current children cumulated CPU time (s) 508.57
Current children cumulated vsize (Kb) 49540

[startup+530.013 s]
Raw data (loadavg): 1.01 0.99 0.95 2/55 7681
Raw data (/proc/7681/stat): 7681 (pb2sat) R 7680 7681 4060 0 -1 0 18332 0 0 0 51205 634 0 0 25 0 1 0 21217147 50864128 10037 4294967295 134512640 135987407 3221224560 3221223248 134811891 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7681/statm): 12418 10037 364 364 0 12054 0
[pid=7681] vsize: 49672
Current children cumulated CPU time (s) 518.39
Current children cumulated vsize (Kb) 49672

[startup+540.013 s]
Raw data (loadavg): 1.01 0.99 0.95 2/55 7681
Raw data (/proc/7681/stat): 7681 (pb2sat) R 7680 7681 4060 0 -1 0 18510 0 0 0 52168 646 0 0 25 0 1 0 21217147 51040256 10075 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7681/statm): 12461 10075 364 364 0 12097 0
[pid=7681] vsize: 49844
Current children cumulated CPU time (s) 528.14
Current children cumulated vsize (Kb) 49844

[startup+550.014 s]
Raw data (loadavg): 1.00 0.99 0.95 2/55 7681
Raw data (/proc/7681/stat): 7681 (pb2sat) R 7680 7681 4060 0 -1 0 18661 0 0 0 53134 658 0 0 25 0 1 0 21217147 51040256 10086 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7681/statm): 12461 10086 364 364 0 12097 0
[pid=7681] vsize: 49844
Current children cumulated CPU time (s) 537.92
Current children cumulated vsize (Kb) 49844

[startup+560.013 s]
Raw data (loadavg): 1.00 0.99 0.95 2/55 7681
Raw data (/proc/7681/stat): 7681 (pb2sat) R 7680 7681 4060 0 -1 0 18814 0 0 0 54106 667 0 0 25 0 1 0 21217147 51040256 10099 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7681/statm): 12461 10099 364 364 0 12097 0
[pid=7681] vsize: 49844
Current children cumulated CPU time (s) 547.73
Current children cumulated vsize (Kb) 49844

[startup+570.013 s]
Raw data (loadavg): 1.00 0.99 0.95 2/55 7681
Raw data (/proc/7681/stat): 7681 (pb2sat) R 7680 7681 4060 0 -1 0 19079 0 0 0 55073 678 0 0 25 0 1 0 21217147 51040256 10224 4294967295 134512640 135987407 3221224560 3221223248 134811712 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7681/statm): 12461 10224 364 364 0 12097 0
[pid=7681] vsize: 49844
Current children cumulated CPU time (s) 557.51
Current children cumulated vsize (Kb) 49844

[startup+580.014 s]
Raw data (loadavg): 1.00 0.99 0.95 2/55 7681
Raw data (/proc/7681/stat): 7681 (pb2sat) T 7680 7681 4060 0 -1 0 19253 0 0 0 56041 690 0 0 25 0 1 0 21217147 51175424 10258 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/7681/statm): 12494 10258 364 364 0 12130 0
[pid=7681] vsize: 49976
Current children cumulated CPU time (s) 567.31
Current children cumulated vsize (Kb) 49976

[startup+590.013 s]
Raw data (loadavg): 1.00 0.99 0.95 2/55 7681
Raw data (/proc/7681/stat): 7681 (pb2sat) R 7680 7681 4060 0 -1 0 19561 0 0 0 57003 703 0 0 25 0 1 0 21217147 51314688 10286 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7681/statm): 12528 10286 364 364 0 12164 0
[pid=7681] vsize: 50112
Current children cumulated CPU time (s) 577.06
Current children cumulated vsize (Kb) 50112

[startup+600.014 s]
Raw data (loadavg): 1.00 0.99 0.95 2/55 7681
Raw data (/proc/7681/stat): 7681 (pb2sat) R 7680 7681 4060 0 -1 0 19709 0 0 0 57966 716 0 0 25 0 1 0 21217147 51314688 10294 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7681/statm): 12528 10294 364 364 0 12164 0
[pid=7681] vsize: 50112
Current children cumulated CPU time (s) 586.82
Current children cumulated vsize (Kb) 50112

[startup+610.014 s]
Raw data (loadavg): 1.00 0.99 0.95 2/55 7681
Raw data (/proc/7681/stat): 7681 (pb2sat) R 7680 7681 4060 0 -1 0 19933 0 0 0 58931 728 0 0 25 0 1 0 21217147 51855360 10378 4294967295 134512640 135987407 3221224560 3221223344 134812304 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7681/statm): 12660 10378 364 364 0 12296 0
[pid=7681] vsize: 50640
Current children cumulated CPU time (s) 596.59
Current children cumulated vsize (Kb) 50640

[startup+620.014 s]
Raw data (loadavg): 1.00 0.99 0.95 2/55 7681
Raw data (/proc/7681/stat): 7681 (pb2sat) R 7680 7681 4060 0 -1 0 20198 0 0 0 59907 736 0 0 25 0 1 0 21217147 51855360 10503 4294967295 134512640 135987407 3221224560 3221223136 135486771 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7681/statm): 12660 10503 364 364 0 12296 0
[pid=7681] vsize: 50640
Current children cumulated CPU time (s) 606.43
Current children cumulated vsize (Kb) 50640

[startup+630.014 s]
Raw data (loadavg): 1.00 0.99 0.95 2/55 7681
Raw data (/proc/7681/stat): 7681 (pb2sat) R 7680 7681 4060 0 -1 0 20381 0 0 0 60869 750 0 0 25 0 1 0 21217147 52002816 10546 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7681/statm): 12696 10546 364 364 0 12332 0
[pid=7681] vsize: 50784
Current children cumulated CPU time (s) 616.19
Current children cumulated vsize (Kb) 50784

[startup+640.014 s]
Raw data (loadavg): 1.00 0.99 0.95 2/55 7681
Raw data (/proc/7681/stat): 7681 (pb2sat) R 7680 7681 4060 0 -1 0 20557 0 0 0 61838 760 0 0 25 0 1 0 21217147 52137984 10582 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7681/statm): 12729 10582 364 364 0 12365 0
[pid=7681] vsize: 50916
Current children cumulated CPU time (s) 625.98
Current children cumulated vsize (Kb) 50916

[startup+650.015 s]
Raw data (loadavg): 1.00 0.99 0.95 2/55 7681
Raw data (/proc/7681/stat): 7681 (pb2sat) R 7680 7681 4060 0 -1 0 20730 0 0 0 62810 769 0 0 25 0 1 0 21217147 52273152 10615 4294967295 134512640 135987407 3221224560 3221223248 134788738 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7681/statm): 12762 10615 364 364 0 12398 0
[pid=7681] vsize: 51048
Current children cumulated CPU time (s) 635.79
Current children cumulated vsize (Kb) 51048

[startup+660.014 s]
Raw data (loadavg): 1.00 0.99 0.95 2/55 7681
Raw data (/proc/7681/stat): 7681 (pb2sat) R 7680 7681 4060 0 -1 0 20887 0 0 0 63788 776 0 0 25 0 1 0 21217147 52273152 10632 4294967295 134512640 135987407 3221224560 3221223248 134811832 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7681/statm): 12762 10632 364 364 0 12398 0
[pid=7681] vsize: 51048
Current children cumulated CPU time (s) 645.64
Current children cumulated vsize (Kb) 51048

[startup+670.014 s]
Raw data (loadavg): 1.00 0.99 0.95 2/55 7681
Raw data (/proc/7681/stat): 7681 (pb2sat) R 7680 7681 4060 0 -1 0 21060 0 0 0 64760 787 0 0 25 0 1 0 21217147 52408320 10665 4294967295 134512640 135987407 3221224560 3221223120 134788502 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7681/statm): 12795 10665 364 364 0 12431 0
[pid=7681] vsize: 51180
Current children cumulated CPU time (s) 655.47
Current children cumulated vsize (Kb) 51180

[startup+680.015 s]
Raw data (loadavg): 1.00 0.99 0.95 2/55 7681
Raw data (/proc/7681/stat): 7681 (pb2sat) R 7680 7681 4060 0 -1 0 21206 0 0 0 65733 796 0 0 25 0 1 0 21217147 52408320 10671 4294967295 134512640 135987407 3221224560 3221223248 134811891 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7681/statm): 12795 10671 364 364 0 12431 0
[pid=7681] vsize: 51180
Current children cumulated CPU time (s) 665.29
Current children cumulated vsize (Kb) 51180

[startup+690.014 s]
Raw data (loadavg): 1.00 0.99 0.95 1/55 7681
Raw data (/proc/7681/stat): 7681 (pb2sat) T 7680 7681 4060 0 -1 0 22895 0 0 0 66700 811 0 0 25 0 1 0 21217147 58863616 10683 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/7681/statm): 14371 10683 364 364 0 14007 0
[pid=7681] vsize: 57484
Current children cumulated CPU time (s) 675.11
Current children cumulated vsize (Kb) 57484

[startup+700.015 s]
Raw data (loadavg): 1.00 0.99 0.95 1/55 7681
Raw data (/proc/7681/stat): 7681 (pb2sat) T 7680 7681 4060 0 -1 0 23058 0 0 0 67670 822 0 0 25 0 1 0 21217147 58863616 10706 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/7681/statm): 14371 10706 364 364 0 14007 0
[pid=7681] vsize: 57484
Current children cumulated CPU time (s) 684.92
Current children cumulated vsize (Kb) 57484

[startup+710.015 s]
Raw data (loadavg): 1.00 0.99 0.95 2/55 7681
Raw data (/proc/7681/stat): 7681 (pb2sat) R 7680 7681 4060 0 -1 0 23214 0 0 0 68641 831 0 0 25 0 1 0 21217147 58863616 10722 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7681/statm): 14371 10722 364 364 0 14007 0
[pid=7681] vsize: 57484
Current children cumulated CPU time (s) 694.72
Current children cumulated vsize (Kb) 57484

[startup+720.015 s]
Raw data (loadavg): 1.00 0.99 0.95 2/55 7681
Raw data (/proc/7681/stat): 7681 (pb2sat) R 7680 7681 4060 0 -1 0 23370 0 0 0 69612 842 0 0 25 0 1 0 21217147 58994688 10738 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7681/statm): 14403 10738 364 364 0 14039 0
[pid=7681] vsize: 57612
Current children cumulated CPU time (s) 704.54
Current children cumulated vsize (Kb) 57612

[startup+730.016 s]
Raw data (loadavg): 1.00 0.99 0.95 2/55 7681
Raw data (/proc/7681/stat): 7681 (pb2sat) R 7680 7681 4060 0 -1 0 23523 0 0 0 70581 853 0 0 25 0 1 0 21217147 58994688 10751 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7681/statm): 14403 10751 364 364 0 14039 0
[pid=7681] vsize: 57612
Current children cumulated CPU time (s) 714.34
Current children cumulated vsize (Kb) 57612

[startup+740.016 s]
Raw data (loadavg): 1.00 0.99 0.95 2/55 7681
Raw data (/proc/7681/stat): 7681 (pb2sat) R 7680 7681 4060 0 -1 0 23676 0 0 0 71545 863 0 0 25 0 1 0 21217147 58994688 10764 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7681/statm): 14403 10764 364 364 0 14039 0
[pid=7681] vsize: 57612
Current children cumulated CPU time (s) 724.08
Current children cumulated vsize (Kb) 57612

[startup+750.017 s]
Raw data (loadavg): 1.00 0.99 0.95 2/55 7681
Raw data (/proc/7681/stat): 7681 (pb2sat) R 7680 7681 4060 0 -1 0 23844 0 0 0 72520 871 0 0 25 0 1 0 21217147 59129856 10792 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7681/statm): 14436 10792 364 364 0 14072 0
[pid=7681] vsize: 57744
Current children cumulated CPU time (s) 733.91
Current children cumulated vsize (Kb) 57744

[startup+760.017 s]
Raw data (loadavg): 1.00 0.99 0.95 2/55 7681
Raw data (/proc/7681/stat): 7681 (pb2sat) R 7680 7681 4060 0 -1 0 24142 0 0 0 73478 886 0 0 25 0 1 0 21217147 59883520 10950 4294967295 134512640 135987407 3221224560 3221222920 134827499 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7681/statm): 14620 10950 364 364 0 14256 0
[pid=7681] vsize: 58480
Current children cumulated CPU time (s) 743.64
Current children cumulated vsize (Kb) 58480

[startup+770.017 s]
Raw data (loadavg): 1.00 0.99 0.95 2/55 7681
Raw data (/proc/7681/stat): 7681 (pb2sat) R 7680 7681 4060 0 -1 0 24159 0 0 0 74453 893 0 0 25 0 1 0 21217147 59310080 10827 4294967295 134512640 135987407 3221224560 3221223424 134812644 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7681/statm): 14480 10827 364 364 0 14116 0
[pid=7681] vsize: 57920
Current children cumulated CPU time (s) 753.46
Current children cumulated vsize (Kb) 57920

[startup+780.018 s]
Raw data (loadavg): 1.00 0.99 0.95 2/55 7681
Raw data (/proc/7681/stat): 7681 (pb2sat) T 7680 7681 4060 0 -1 0 24342 0 0 0 75431 901 0 0 25 0 1 0 21217147 59580416 10870 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/7681/statm): 14546 10870 364 364 0 14182 0
[pid=7681] vsize: 58184
Current children cumulated CPU time (s) 763.32
Current children cumulated vsize (Kb) 58184

[startup+790.017 s]
Raw data (loadavg): 1.00 0.99 0.95 2/55 7681
Raw data (/proc/7681/stat): 7681 (pb2sat) R 7680 7681 4060 0 -1 0 24486 0 0 0 76400 913 0 0 25 0 1 0 21217147 59580416 10874 4294967295 134512640 135987407 3221224560 3221223248 134811975 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7681/statm): 14546 10874 364 364 0 14182 0
[pid=7681] vsize: 58184
Current children cumulated CPU time (s) 773.13
Current children cumulated vsize (Kb) 58184

[startup+800.018 s]
Raw data (loadavg): 1.00 0.99 0.95 2/55 7681
Raw data (/proc/7681/stat): 7681 (pb2sat) R 7680 7681 4060 0 -1 0 24629 0 0 0 77371 921 0 0 25 0 1 0 21217147 59580416 10877 4294967295 134512640 135987407 3221224560 3221223248 134811937 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7681/statm): 14546 10877 364 364 0 14182 0
[pid=7681] vsize: 58184
Current children cumulated CPU time (s) 782.92
Current children cumulated vsize (Kb) 58184

[startup+810.018 s]
Raw data (loadavg): 1.00 0.99 0.95 2/55 7681
Raw data (/proc/7681/stat): 7681 (pb2sat) R 7680 7681 4060 0 -1 0 24774 0 0 0 78341 931 0 0 25 0 1 0 21217147 60153856 11022 4294967295 134512640 135987407 3221224560 3221222920 134827499 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7681/statm): 14686 11022 364 364 0 14322 0
[pid=7681] vsize: 58744
Current children cumulated CPU time (s) 792.72
Current children cumulated vsize (Kb) 58744

[startup+820.018 s]
Raw data (loadavg): 1.00 0.99 0.95 2/55 7681
Raw data (/proc/7681/stat): 7681 (pb2sat) R 7680 7681 4060 0 -1 0 24787 0 0 0 79304 944 0 0 25 0 1 0 21217147 59580416 10895 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7681/statm): 14546 10895 364 364 0 14182 0
[pid=7681] vsize: 58184
Current children cumulated CPU time (s) 802.48
Current children cumulated vsize (Kb) 58184

[startup+830.018 s]
Raw data (loadavg): 1.00 0.99 0.95 2/55 7681
Raw data (/proc/7681/stat): 7681 (pb2sat) R 7680 7681 4060 0 -1 0 24939 0 0 0 80274 954 0 0 25 0 1 0 21217147 59707392 10907 4294967295 134512640 135987407 3221224560 3221223424 134812593 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7681/statm): 14577 10907 364 364 0 14213 0
[pid=7681] vsize: 58308
Current children cumulated CPU time (s) 812.28
Current children cumulated vsize (Kb) 58308

[startup+840.017 s]
Raw data (loadavg): 1.00 0.99 0.95 1/55 7681
Raw data (/proc/7681/stat): 7681 (pb2sat) T 7680 7681 4060 0 -1 0 25092 0 0 0 81236 966 0 0 25 0 1 0 21217147 59707392 10920 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/7681/statm): 14577 10920 364 364 0 14213 0
[pid=7681] vsize: 58308
Current children cumulated CPU time (s) 822.02
Current children cumulated vsize (Kb) 58308

[startup+850.018 s]
Raw data (loadavg): 1.00 0.99 0.95 2/55 7681
Raw data (/proc/7681/stat): 7681 (pb2sat) R 7680 7681 4060 0 -1 0 25102 0 0 0 82203 978 0 0 25 0 1 0 21217147 59707392 10930 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7681/statm): 14577 10930 364 364 0 14213 0
[pid=7681] vsize: 58308
Current children cumulated CPU time (s) 831.81
Current children cumulated vsize (Kb) 58308

[startup+860.017 s]
Raw data (loadavg): 1.00 0.99 0.95 2/55 7681
Raw data (/proc/7681/stat): 7681 (pb2sat) R 7680 7681 4060 0 -1 0 25117 0 0 0 83173 987 0 0 25 0 1 0 21217147 59826176 10945 4294967295 134512640 135987407 3221224560 3221223248 134812135 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7681/statm): 14606 10945 364 364 0 14242 0
[pid=7681] vsize: 58424
Current children cumulated CPU time (s) 841.6
Current children cumulated vsize (Kb) 58424

[startup+870.017 s]
Raw data (loadavg): 1.00 0.99 0.95 1/55 7681
Raw data (/proc/7681/stat): 7681 (pb2sat) T 7680 7681 4060 0 -1 0 25266 0 0 0 84144 995 0 0 25 0 1 0 21217147 59826176 10954 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/7681/statm): 14606 10954 364 364 0 14242 0
[pid=7681] vsize: 58424
Current children cumulated CPU time (s) 851.39
Current children cumulated vsize (Kb) 58424

[startup+880.018 s]
Raw data (loadavg): 1.00 0.99 0.95 2/55 7681
Raw data (/proc/7681/stat): 7681 (pb2sat) R 7680 7681 4060 0 -1 0 25285 0 0 0 85113 1006 0 0 25 0 1 0 21217147 59949056 10973 4294967295 134512640 135987407 3221224560 3221223248 134811956 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7681/statm): 14636 10973 364 364 0 14272 0
[pid=7681] vsize: 58544
Current children cumulated CPU time (s) 861.19
Current children cumulated vsize (Kb) 58544

[startup+890.017 s]
Raw data (loadavg): 1.00 0.99 0.95 2/55 7681
Raw data (/proc/7681/stat): 7681 (pb2sat) R 7680 7681 4060 0 -1 0 25441 0 0 0 86084 1017 0 0 25 0 1 0 21217147 59949056 10989 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7681/statm): 14636 10989 364 364 0 14272 0
[pid=7681] vsize: 58544
Current children cumulated CPU time (s) 871.01
Current children cumulated vsize (Kb) 58544

[startup+900.018 s]
Raw data (loadavg): 1.00 0.99 0.95 2/55 7681
Raw data (/proc/7681/stat): 7681 (pb2sat) R 7680 7681 4060 0 -1 0 25449 0 0 0 87055 1026 0 0 25 0 1 0 21217147 59949056 10997 4294967295 134512640 135987407 3221224560 3221223344 134812341 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7681/statm): 14636 10997 364 364 0 14272 0
[pid=7681] vsize: 58544
Current children cumulated CPU time (s) 880.81
Current children cumulated vsize (Kb) 58544

[startup+910.017 s]
Raw data (loadavg): 1.00 0.99 0.95 2/55 7681
Raw data (/proc/7681/stat): 7681 (pb2sat) R 7680 7681 4060 0 -1 0 25475 0 0 0 88024 1037 0 0 25 0 1 0 21217147 60084224 11023 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7681/statm): 14669 11023 364 364 0 14305 0
[pid=7681] vsize: 58676
Current children cumulated CPU time (s) 890.61
Current children cumulated vsize (Kb) 58676

[startup+920.018 s]
Raw data (loadavg): 1.00 0.99 0.95 2/55 7681
Raw data (/proc/7681/stat): 7681 (pb2sat) R 7680 7681 4060 0 -1 0 25477 0 0 0 88996 1046 0 0 25 0 1 0 21217147 60084224 11025 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7681/statm): 14669 11025 364 364 0 14305 0
[pid=7681] vsize: 58676
Current children cumulated CPU time (s) 900.42
Current children cumulated vsize (Kb) 58676

[startup+930.019 s]
Raw data (loadavg): 1.00 0.99 0.95 2/55 7681
Raw data (/proc/7681/stat): 7681 (pb2sat) R 7680 7681 4060 0 -1 0 25485 0 0 0 89967 1057 0 0 25 0 1 0 21217147 60084224 11033 4294967295 134512640 135987407 3221224560 3221223424 134812647 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7681/statm): 14669 11033 364 364 0 14305 0
[pid=7681] vsize: 58676
Current children cumulated CPU time (s) 910.24
Current children cumulated vsize (Kb) 58676

[startup+940.019 s]
Raw data (loadavg): 1.00 0.99 0.95 1/55 7681
Raw data (/proc/7681/stat): 7681 (pb2sat) T 7680 7681 4060 0 -1 0 25633 0 0 0 90936 1067 0 0 25 0 1 0 21217147 60215296 11041 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/7681/statm): 14701 11041 364 364 0 14337 0
[pid=7681] vsize: 58804
Current children cumulated CPU time (s) 920.03
Current children cumulated vsize (Kb) 58804

[startup+950.02 s]
Raw data (loadavg): 1.00 0.99 0.95 2/55 7681
Raw data (/proc/7681/stat): 7681 (pb2sat) T 7680 7681 4060 0 -1 0 25640 0 0 0 91908 1077 0 0 25 0 1 0 21217147 60215296 11048 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/7681/statm): 14701 11048 364 364 0 14337 0
[pid=7681] vsize: 58804
Current children cumulated CPU time (s) 929.85
Current children cumulated vsize (Kb) 58804

[startup+960.019 s]
Raw data (loadavg): 1.00 0.99 0.95 2/55 7681
Raw data (/proc/7681/stat): 7681 (pb2sat) R 7680 7681 4060 0 -1 0 25647 0 0 0 92878 1086 0 0 25 0 1 0 21217147 60215296 11055 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7681/statm): 14701 11055 364 364 0 14337 0
[pid=7681] vsize: 58804
Current children cumulated CPU time (s) 939.64
Current children cumulated vsize (Kb) 58804

[startup+970.019 s]
Raw data (loadavg): 1.00 0.99 0.95 2/55 7681
Raw data (/proc/7681/stat): 7681 (pb2sat) R 7680 7681 4060 0 -1 0 25790 0 0 0 93849 1096 0 0 25 0 1 0 21217147 60215296 11058 4294967295 134512640 135987407 3221224560 3221223384 134812257 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7681/statm): 14701 11058 364 364 0 14337 0
[pid=7681] vsize: 58804
Current children cumulated CPU time (s) 949.45
Current children cumulated vsize (Kb) 58804

[startup+980.02 s]
Raw data (loadavg): 1.00 0.99 0.95 2/55 7681
Raw data (/proc/7681/stat): 7681 (pb2sat) R 7680 7681 4060 0 -1 0 25794 0 0 0 94818 1108 0 0 25 0 1 0 21217147 60215296 11062 4294967295 134512640 135987407 3221224560 3221223248 134811940 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7681/statm): 14701 11062 364 364 0 14337 0
[pid=7681] vsize: 58804
Current children cumulated CPU time (s) 959.26
Current children cumulated vsize (Kb) 58804

[startup+990.02 s]
Raw data (loadavg): 1.00 0.99 0.95 2/55 7681
Raw data (/proc/7681/stat): 7681 (pb2sat) R 7680 7681 4060 0 -1 0 25802 0 0 0 95786 1118 0 0 25 0 1 0 21217147 60215296 11070 4294967295 134512640 135987407 3221224560 3221223248 134812063 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7681/statm): 14701 11070 364 364 0 14337 0
[pid=7681] vsize: 58804
Current children cumulated CPU time (s) 969.04
Current children cumulated vsize (Kb) 58804

[startup+1000.02 s]
Raw data (loadavg): 1.00 0.99 0.95 2/55 7681
Raw data (/proc/7681/stat): 7681 (pb2sat) R 7680 7681 4060 0 -1 0 25952 0 0 0 96754 1128 0 0 25 0 1 0 21217147 60215296 11080 4294967295 134512640 135987407 3221224560 3221223312 134801142 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7681/statm): 14701 11080 364 364 0 14337 0
[pid=7681] vsize: 58804
Current children cumulated CPU time (s) 978.82
Current children cumulated vsize (Kb) 58804

[startup+1010.02 s]
Raw data (loadavg): 1.08 1.00 0.96 2/55 7681
Raw data (/proc/7681/stat): 7681 (pb2sat) R 7680 7681 4060 0 -1 0 25959 0 0 0 97721 1138 0 0 25 0 1 0 21217147 60342272 11087 4294967295 134512640 135987407 3221224560 3221223248 134811964 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7681/statm): 14732 11087 364 364 0 14368 0
[pid=7681] vsize: 58928
Current children cumulated CPU time (s) 988.59
Current children cumulated vsize (Kb) 58928

[startup+1020.02 s]
Raw data (loadavg): 1.07 1.00 0.96 2/55 7681
Raw data (/proc/7681/stat): 7681 (pb2sat) R 7680 7681 4060 0 -1 0 26105 0 0 0 98692 1148 0 0 25 0 1 0 21217147 60342272 11093 4294967295 134512640 135987407 3221224560 3221223344 134812296 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7681/statm): 14732 11093 364 364 0 14368 0
[pid=7681] vsize: 58928
Current children cumulated CPU time (s) 998.4
Current children cumulated vsize (Kb) 58928

[startup+1030.02 s]
Raw data (loadavg): 1.06 1.00 0.96 2/55 7681
Raw data (/proc/7681/stat): 7681 (pb2sat) R 7680 7681 4060 0 -1 0 26109 0 0 0 99672 1156 0 0 25 0 1 0 21217147 60342272 11097 4294967295 134512640 135987407 3221224560 3221223280 134814108 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7681/statm): 14732 11097 364 364 0 14368 0
[pid=7681] vsize: 58928
Current children cumulated CPU time (s) 1008.28
Current children cumulated vsize (Kb) 58928

[startup+1040.02 s]
Raw data (loadavg): 1.05 1.00 0.96 2/55 7681
Raw data (/proc/7681/stat): 7681 (pb2sat) R 7680 7681 4060 0 -1 0 26276 0 0 0 100645 1165 0 0 25 0 1 0 21217147 60477440 11124 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7681/statm): 14765 11124 364 364 0 14401 0
[pid=7681] vsize: 59060
Current children cumulated CPU time (s) 1018.1
Current children cumulated vsize (Kb) 59060

[startup+1050.02 s]
Raw data (loadavg): 1.04 1.00 0.96 1/55 7681
Raw data (/proc/7681/stat): 7681 (pb2sat) T 7680 7681 4060 0 -1 0 26420 0 0 0 101615 1175 0 0 25 0 1 0 21217147 60477440 11128 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/7681/statm): 14765 11128 364 364 0 14401 0
[pid=7681] vsize: 59060
Current children cumulated CPU time (s) 1027.9
Current children cumulated vsize (Kb) 59060

[startup+1060.02 s]
Raw data (loadavg): 1.03 1.00 0.96 2/55 7681
Raw data (/proc/7681/stat): 7681 (pb2sat) R 7680 7681 4060 0 -1 0 26433 0 0 0 102583 1185 0 0 25 0 1 0 21217147 60641280 11141 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7681/statm): 14805 11141 364 364 0 14441 0
[pid=7681] vsize: 59220
Current children cumulated CPU time (s) 1037.68
Current children cumulated vsize (Kb) 59220

[startup+1070.02 s]
Raw data (loadavg): 1.03 1.00 0.96 2/55 7681
Raw data (/proc/7681/stat): 7681 (pb2sat) R 7680 7681 4060 0 -1 0 26435 0 0 0 103550 1195 0 0 25 0 1 0 21217147 60641280 11143 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7681/statm): 14805 11143 364 364 0 14441 0
[pid=7681] vsize: 59220
Current children cumulated CPU time (s) 1047.45
Current children cumulated vsize (Kb) 59220

[startup+1080.02 s]
Raw data (loadavg): 1.02 1.00 0.96 2/55 7681
Raw data (/proc/7681/stat): 7681 (pb2sat) R 7680 7681 4060 0 -1 0 26577 0 0 0 104521 1206 0 0 25 0 1 0 21217147 60641280 11145 4294967295 134512640 135987407 3221224560 3221223424 134812623 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7681/statm): 14805 11145 364 364 0 14441 0
[pid=7681] vsize: 59220
Current children cumulated CPU time (s) 1057.27
Current children cumulated vsize (Kb) 59220

[startup+1090.02 s]
Raw data (loadavg): 1.02 1.00 0.96 2/55 7681
Raw data (/proc/7681/stat): 7681 (pb2sat) R 7680 7681 4060 0 -1 0 26578 0 0 0 105492 1215 0 0 25 0 1 0 21217147 60641280 11146 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7681/statm): 14805 11146 364 364 0 14441 0
[pid=7681] vsize: 59220
Current children cumulated CPU time (s) 1067.07
Current children cumulated vsize (Kb) 59220

[startup+1100.02 s]
Raw data (loadavg): 1.02 1.00 0.96 2/55 7681
Raw data (/proc/7681/stat): 7681 (pb2sat) R 7680 7681 4060 0 -1 0 26739 0 0 0 106460 1227 0 0 25 0 1 0 21217147 60641280 11167 4294967295 134512640 135987407 3221224560 3221223344 134812334 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7681/statm): 14805 11167 364 364 0 14441 0
[pid=7681] vsize: 59220
Current children cumulated CPU time (s) 1076.87
Current children cumulated vsize (Kb) 59220

[startup+1110.03 s]
Raw data (loadavg): 1.01 1.00 0.96 2/55 7681
Raw data (/proc/7681/stat): 7681 (pb2sat) R 7680 7681 4060 0 -1 0 26740 0 0 0 107429 1237 0 0 25 0 1 0 21217147 60641280 11168 4294967295 134512640 135987407 3221224560 3221223344 134812400 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7681/statm): 14805 11168 364 364 0 14441 0
[pid=7681] vsize: 59220
Current children cumulated CPU time (s) 1086.66
Current children cumulated vsize (Kb) 59220

[startup+1120.03 s]
Raw data (loadavg): 1.01 1.00 0.96 2/55 7681
Raw data (/proc/7681/stat): 7681 (pb2sat) R 7680 7681 4060 0 -1 0 26743 0 0 0 108396 1249 0 0 25 0 1 0 21217147 60641280 11171 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7681/statm): 14805 11171 364 364 0 14441 0
[pid=7681] vsize: 59220
Current children cumulated CPU time (s) 1096.45
Current children cumulated vsize (Kb) 59220

[startup+1130.03 s]
Raw data (loadavg): 1.01 1.00 0.96 2/55 7681
Raw data (/proc/7681/stat): 7681 (pb2sat) R 7680 7681 4060 0 -1 0 26744 0 0 0 109360 1260 0 0 25 0 1 0 21217147 60641280 11172 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7681/statm): 14805 11172 364 364 0 14441 0
[pid=7681] vsize: 59220
Current children cumulated CPU time (s) 1106.2
Current children cumulated vsize (Kb) 59220

[startup+1140.03 s]
Raw data (loadavg): 1.01 1.00 0.96 2/55 7681
Raw data (/proc/7681/stat): 7681 (pb2sat) R 7680 7681 4060 0 -1 0 26886 0 0 0 110333 1270 0 0 25 0 1 0 21217147 60641280 11174 4294967295 134512640 135987407 3221224560 3221223424 134812638 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7681/statm): 14805 11174 364 364 0 14441 0
[pid=7681] vsize: 59220
Current children cumulated CPU time (s) 1116.03
Current children cumulated vsize (Kb) 59220

[startup+1150.03 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 7681
Raw data (/proc/7681/stat): 7681 (pb2sat) R 7680 7681 4060 0 -1 0 26891 0 0 0 111304 1280 0 0 25 0 1 0 21217147 60772352 11179 4294967295 134512640 135987407 3221224560 3221223248 134811885 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7681/statm): 14837 11179 364 364 0 14473 0
[pid=7681] vsize: 59348
Current children cumulated CPU time (s) 1125.84
Current children cumulated vsize (Kb) 59348

[startup+1160.03 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 7681
Raw data (/proc/7681/stat): 7681 (pb2sat) R 7680 7681 4060 0 -1 0 26894 0 0 0 112277 1289 0 0 25 0 1 0 21217147 60772352 11182 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7681/statm): 14837 11182 364 364 0 14473 0
[pid=7681] vsize: 59348
Current children cumulated CPU time (s) 1135.66
Current children cumulated vsize (Kb) 59348

[startup+1170.03 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 7681
Raw data (/proc/7681/stat): 7681 (pb2sat) R 7680 7681 4060 0 -1 0 27041 0 0 0 113246 1301 0 0 25 0 1 0 21217147 60772352 11189 4294967295 134512640 135987407 3221224560 3221223248 134812056 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7681/statm): 14837 11189 364 364 0 14473 0
[pid=7681] vsize: 59348
Current children cumulated CPU time (s) 1145.47
Current children cumulated vsize (Kb) 59348

[startup+1180.03 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 7681
Raw data (/proc/7681/stat): 7681 (pb2sat) R 7680 7681 4060 0 -1 0 27047 0 0 0 114217 1312 0 0 25 0 1 0 21217147 60772352 11195 4294967295 134512640 135987407 3221224560 3221223248 134811885 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7681/statm): 14837 11195 364 364 0 14473 0
[pid=7681] vsize: 59348
Current children cumulated CPU time (s) 1155.29
Current children cumulated vsize (Kb) 59348

[startup+1190.03 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 7681
Raw data (/proc/7681/stat): 7681 (pb2sat) R 7680 7681 4060 0 -1 0 27199 0 0 0 115183 1325 0 0 25 0 1 0 21217147 60772352 11207 4294967295 134512640 135987407 3221224560 3221223344 134812436 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7681/statm): 14837 11207 364 364 0 14473 0
[pid=7681] vsize: 59348
Current children cumulated CPU time (s) 1165.08
Current children cumulated vsize (Kb) 59348

[startup+1200.03 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 7681
Raw data (/proc/7681/stat): 7681 (pb2sat) R 7680 7681 4060 0 -1 0 27204 0 0 0 116151 1336 0 0 25 0 1 0 21217147 60772352 11212 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7681/statm): 14837 11212 364 364 0 14473 0
[pid=7681] vsize: 59348
Current children cumulated CPU time (s) 1174.87
Current children cumulated vsize (Kb) 59348

[startup+1210.03 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 7681
Raw data (/proc/7681/stat): 7681 (pb2sat) R 7680 7681 4060 0 -1 0 27348 0 0 0 117123 1346 0 0 25 0 1 0 21217147 60772352 11216 4294967295 134512640 135987407 3221224560 3221223376 134824720 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7681/statm): 14837 11216 364 364 0 14473 0
[pid=7681] vsize: 59348
Current children cumulated CPU time (s) 1184.69
Current children cumulated vsize (Kb) 59348

[startup+1220.03 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 7681
Raw data (/proc/7681/stat): 7681 (pb2sat) R 7680 7681 4060 0 -1 0 27358 0 0 0 118096 1355 0 0 25 0 1 0 21217147 60887040 11226 4294967295 134512640 135987407 3221224560 3221223424 134812593 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7681/statm): 14865 11226 364 364 0 14501 0
[pid=7681] vsize: 59460
Current children cumulated CPU time (s) 1194.51
Current children cumulated vsize (Kb) 59460

[startup+1230.03 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 7681
Raw data (/proc/7681/stat): 7681 (pb2sat) R 7680 7681 4060 0 -1 0 27508 0 0 0 119068 1366 0 0 25 0 1 0 21217147 60887040 11236 4294967295 134512640 135987407 3221224560 3221223376 134824701 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7681/statm): 14865 11236 364 364 0 14501 0
[pid=7681] vsize: 59460
Current children cumulated CPU time (s) 1204.34
Current children cumulated vsize (Kb) 59460



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1230.03 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 7681
Raw data (/proc/7681/stat): 7681 (pb2sat) R 7680 7681 4060 0 -1 0 27508 0 0 0 119068 1366 0 0 25 0 1 0 21217147 60887040 11236 4294967295 134512640 135987407 3221224560 3221223248 134811800 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7681/statm): 14865 11236 364 364 0 14501 0
[pid=7681] vsize: 59460
Current children cumulated CPU time (s) 1204.34
Current children cumulated vsize (Kb) 59460

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

Child status: 0
Real time (s): 1230.19
CPU time (s): 1204.5
CPU user time (s): 1190.81
CPU system time (s): 13.6859
CPU usage (%): 97.9116
Max. virtual memory (cumulated for all children) (Kb): 59460

Verifier Data

ERROR: no interpretation found !