Some explanations

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

General information on the benchmark

Namesubmitted/manquinho/ttp/normalized-data4_3.opb
MD5SUMc35974bed5d553709b7d7ce92d35093a
Bench Categoryoptimization, small integers (OPTSMALLINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 8276
Optimality of the best value was proved YES
Number of terms in the objective function 48
Biggest coefficient in the objective function 929
Number of bits for the biggest coefficient in the objective function 10
Sum of the numbers in the objective function 25088
Number of bits of the sum of numbers in the objective function 15
Biggest number in a constraint 929
Number of bits of the biggest number in a constraint 10
Biggest sum of numbers in a constraint 25088
Number of bits of the biggest sum of numbers15
Best result obtained on this benchmarkOPTIMUM FOUND
Best CPU time to get the best result obtained on this benchmark1.00685
Number of variables144
Total number of constraints704
Number of constraints which are clauses464
Number of constraints which are cardinality constraints (but not clauses)96
Number of constraints which are nor clauses,nor cardinality constraints144
Minimum length of a constraint2
Maximum length of a constraint12

Trace number 9782

Launcher Data

LAUNCH ON wulflinc20 THE 2005-09-23 15:10:12 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=8464 boxname=wulflinc20 idbench=260 idsolver=8 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  c35974bed5d553709b7d7ce92d35093a  /oldhome/oroussel/tmp/wulflinc20/normalized-data4_3.opb
REAL COMMAND:  pb2sat /oldhome/oroussel/tmp/wulflinc20/normalized-data4_3.opb
IDLAUNCH: 8464
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.012
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.012
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:        940264 kB
Buffers:         11376 kB
Cached:          66348 kB
SwapCached:          0 kB
Active:          45708 kB
Inactive:        34908 kB
HighTotal:      131008 kB
HighFree:        60284 kB
LowTotal:       903652 kB
LowFree:        879980 kB
SwapTotal:     2097892 kB
SwapFree:      2097892 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6976 kB
Slab:             8192 kB
Committed_AS:    63656 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-09-23 15:24:37 (client local time) WITH STATUS 30 IN 864.1 SECONDS
stats: 8464 0 864.1 30

Solver Data

c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...
c got solution with objective value: 8682
c small objective detected
c CONFLICT during preprocess 
c [startup+2.97692 s]  setting bit 14 to 0
c CONFLICT during preprocess 
c [startup+3.17886 s]  setting bit 13 to 0
c [startup+12.9269 s]  setting bit 12 to 0

c Decision: 7288/56575	Time: 46.6949/86400
c [startup+109.07 s]  setting bit 11 to 0

c Decision: 7438/56575	Time: 107.669/86400
c Decision: 7438/56575	Time: 130.239/86400
c Decision: 7448/56575	Time: 177.666/86400
c Decision: 7448/56575	Time: 204.526/86400
c Decision: 7448/56575	Time: 227.881/86400
c Decision: 7982/56575	Time: 260.374/86400
c Decision: 7982/56575	Time: 281.307/86400
c [startup+416.081 s]  setting bit 10 to 0

c [startup+585.305 s]  setting bit 9 to 0

c got solution with objective value: 8313
c [startup+588.723 s]  setting bit 8 to 1

c got solution with objective value: 8290
c [startup+592.176 s]  setting bit 7 to 1

c Decision: 10968/56575	Time: 62.2805/86400
c [startup+723.875 s]  setting bit 6 to 0

c [startup+799.331 s]  setting bit 5 to 0

c got solution with objective value: 8276
c [startup+812.114 s]  setting bit 4 to 1

c [startup+838.436 s]  setting bit 3 to 0

c got solution with objective value: 8276
c [startup+847.921 s]  setting bit 2 to 1

c [startup+863.597 s]  setting bit 1 to 0

c got solution with objective value: 8276
c [startup+865.303 s]  setting bit 0 to 1
s OPTIMUM FOUND
v v1 -v10 -v100 -v101 v102 -v103 v104 -v105 v106 -v107 -v108 v109 -v11 -v110 -v111 -v112 -v113 v114 v115 -v116 -v117 -v118 -v119 -v12 v120 -v121 v122 -v123 -v124 v125 -v126 v127 -v128 v129 -v13 -v130 v131 -v132 -v133 v134 -v135 -v136 -v137 v138 -v139 -v14 v140 -v141 v142 -v143 -v144 -v15 v16 v17 -v18 -v19 -v2 -v20 -v21 -v22 v23 -v24 -v25 -v26 v27 -v28 v29 -v3 -v30 -v31 -v32 v33 -v34 -v35 -v36 v37 -v38 -v39 -v4 -v40 -v41 -v42 v43 -v44 -v45 -v46 v47 -v48 -v49 -v5 -v50 v51 -v52 -v53 v54 -v55 -v56 -v57 -v58 v59 -v6 -v60 -v61 v62 -v63 -v64 -v65 v66 -v67 -v68 -v69 -v7 v70 -v71 -v72 -v73 -v74 -v75 v76 -v77 -v78 -v79 v8 v80 -v81 -v82 -v83 v84 -v85 v86 -v87 -v88 -v89 v9 v90 -v91 -v92 -v93 -v94 -v95 v96 -v97 v98 -v99

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

[startup+10.0025 s]
Raw data (loadavg): 0.93 0.95 0.97 2/55 7120
Raw data (/proc/7120/stat): 7120 (pb2sat) R 7119 7120 4059 0 -1 0 8925 0 0 0 977 19 0 0 25 0 1 0 21159102 28020736 5852 4294967295 134512640 135987407 3221224576 3221223120 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7120/statm): 6841 5852 364 364 0 6477 0
[pid=7120] vsize: 27364
Current children cumulated CPU time (s) 9.96
Current children cumulated vsize (Kb) 27364

[startup+20.0033 s]
Raw data (loadavg): 0.94 0.96 0.97 2/55 7120
Raw data (/proc/7120/stat): 7120 (pb2sat) R 7119 7120 4059 0 -1 0 9159 0 0 0 1975 20 0 0 25 0 1 0 21159102 28622848 5975 4294967295 134512640 135987407 3221224576 3221223120 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7120/statm): 6988 5975 364 364 0 6624 0
[pid=7120] vsize: 27952
Current children cumulated CPU time (s) 19.95
Current children cumulated vsize (Kb) 27952

[startup+30.004 s]
Raw data (loadavg): 0.95 0.96 0.97 2/55 7120
Raw data (/proc/7120/stat): 7120 (pb2sat) R 7119 7120 4059 0 -1 0 9197 0 0 0 2972 21 0 0 25 0 1 0 21159102 28758016 6013 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7120/statm): 7021 6013 364 364 0 6657 0
[pid=7120] vsize: 28084
Current children cumulated CPU time (s) 29.93
Current children cumulated vsize (Kb) 28084

[startup+40.0037 s]
Raw data (loadavg): 0.95 0.96 0.97 2/55 7120
Raw data (/proc/7120/stat): 7120 (pb2sat) R 7119 7120 4059 0 -1 0 9250 0 0 0 3969 23 0 0 25 0 1 0 21159102 29028352 6066 4294967295 134512640 135987407 3221224576 3221223120 134811995 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7120/statm): 7087 6066 364 364 0 6723 0
[pid=7120] vsize: 28348
Current children cumulated CPU time (s) 39.92
Current children cumulated vsize (Kb) 28348

[startup+50.0034 s]
Raw data (loadavg): 0.96 0.96 0.97 2/55 7120
Raw data (/proc/7120/stat): 7120 (pb2sat) R 7119 7120 4059 0 -1 0 9269 0 0 0 4966 24 0 0 25 0 1 0 21159102 29028352 6085 4294967295 134512640 135987407 3221224576 3221222992 134788502 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7120/statm): 7087 6085 364 364 0 6723 0
[pid=7120] vsize: 28348
Current children cumulated CPU time (s) 49.9
Current children cumulated vsize (Kb) 28348

[startup+60.0032 s]
Raw data (loadavg): 0.97 0.96 0.97 2/55 7120
Raw data (/proc/7120/stat): 7120 (pb2sat) R 7119 7120 4059 0 -1 0 9478 0 0 0 5962 26 0 0 25 0 1 0 21159102 29429760 6150 4294967295 134512640 135987407 3221224576 3221223120 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7120/statm): 7185 6150 364 364 0 6821 0
[pid=7120] vsize: 28740
Current children cumulated CPU time (s) 59.88
Current children cumulated vsize (Kb) 28740

[startup+70.0039 s]
Raw data (loadavg): 0.97 0.96 0.97 2/55 7120
Raw data (/proc/7120/stat): 7120 (pb2sat) R 7119 7120 4059 0 -1 0 9480 0 0 0 6958 27 0 0 25 0 1 0 21159102 29429760 6152 4294967295 134512640 135987407 3221224576 3221223120 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7120/statm): 7185 6152 364 364 0 6821 0
[pid=7120] vsize: 28740
Current children cumulated CPU time (s) 69.85
Current children cumulated vsize (Kb) 28740

[startup+80.0046 s]
Raw data (loadavg): 0.97 0.96 0.97 2/55 7120
Raw data (/proc/7120/stat): 7120 (pb2sat) R 7119 7120 4059 0 -1 0 9529 0 0 0 7956 28 0 0 25 0 1 0 21159102 29560832 6168 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7120/statm): 7217 6168 364 364 0 6853 0
[pid=7120] vsize: 28868
Current children cumulated CPU time (s) 79.84
Current children cumulated vsize (Kb) 28868

[startup+90.0044 s]
Raw data (loadavg): 0.98 0.96 0.97 2/55 7120
Raw data (/proc/7120/stat): 7120 (pb2sat) R 7119 7120 4059 0 -1 0 9540 0 0 0 8953 30 0 0 25 0 1 0 21159102 29560832 6179 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7120/statm): 7217 6179 364 364 0 6853 0
[pid=7120] vsize: 28868
Current children cumulated CPU time (s) 89.83
Current children cumulated vsize (Kb) 28868

[startup+100.004 s]
Raw data (loadavg): 0.98 0.96 0.97 2/55 7120
Raw data (/proc/7120/stat): 7120 (pb2sat) R 7119 7120 4059 0 -1 0 9551 0 0 0 9950 31 0 0 25 0 1 0 21159102 29560832 6190 4294967295 134512640 135987407 3221224576 3221222992 134788502 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7120/statm): 7217 6190 364 364 0 6853 0
[pid=7120] vsize: 28868
Current children cumulated CPU time (s) 99.81
Current children cumulated vsize (Kb) 28868

[startup+110.005 s]
Raw data (loadavg): 0.98 0.96 0.97 2/55 7120
Raw data (/proc/7120/stat): 7120 (pb2sat) R 7119 7120 4059 0 -1 0 9720 0 0 0 10947 32 0 0 25 0 1 0 21159102 29691904 6215 4294967295 134512640 135987407 3221224576 3221223192 134811683 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7120/statm): 7249 6215 364 364 0 6885 0
[pid=7120] vsize: 28996
Current children cumulated CPU time (s) 109.79
Current children cumulated vsize (Kb) 28996

[startup+120.006 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7120
Raw data (/proc/7120/stat): 7120 (pb2sat) R 7119 7120 4059 0 -1 0 9728 0 0 0 11944 33 0 0 25 0 1 0 21159102 29691904 6223 4294967295 134512640 135987407 3221224576 3221223120 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7120/statm): 7249 6223 364 364 0 6885 0
[pid=7120] vsize: 28996
Current children cumulated CPU time (s) 119.77
Current children cumulated vsize (Kb) 28996

[startup+130.006 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7120
Raw data (/proc/7120/stat): 7120 (pb2sat) R 7119 7120 4059 0 -1 0 9740 0 0 0 12940 34 0 0 25 0 1 0 21159102 29691904 6235 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7120/statm): 7249 6235 364 364 0 6885 0
[pid=7120] vsize: 28996
Current children cumulated CPU time (s) 129.74
Current children cumulated vsize (Kb) 28996

[startup+140.006 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7120
Raw data (/proc/7120/stat): 7120 (pb2sat) R 7119 7120 4059 0 -1 0 9749 0 0 0 13937 35 0 0 25 0 1 0 21159102 29691904 6244 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7120/statm): 7249 6244 364 364 0 6885 0
[pid=7120] vsize: 28996
Current children cumulated CPU time (s) 139.72
Current children cumulated vsize (Kb) 28996

[startup+150.006 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7120
Raw data (/proc/7120/stat): 7120 (pb2sat) R 7119 7120 4059 0 -1 0 9757 0 0 0 14935 36 0 0 25 0 1 0 21159102 29691904 6252 4294967295 134512640 135987407 3221224576 3221223120 134811980 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7120/statm): 7249 6252 364 364 0 6885 0
[pid=7120] vsize: 28996
Current children cumulated CPU time (s) 149.71
Current children cumulated vsize (Kb) 28996

[startup+160.006 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7120
Raw data (/proc/7120/stat): 7120 (pb2sat) R 7119 7120 4059 0 -1 0 9781 0 0 0 15932 37 0 0 25 0 1 0 21159102 29888512 6276 4294967295 134512640 135987407 3221224576 3221223120 134811986 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7120/statm): 7297 6276 364 364 0 6933 0
[pid=7120] vsize: 29188
Current children cumulated CPU time (s) 159.69
Current children cumulated vsize (Kb) 29188

[startup+170.007 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7120
Raw data (/proc/7120/stat): 7120 (pb2sat) R 7119 7120 4059 0 -1 0 9795 0 0 0 16929 39 0 0 25 0 1 0 21159102 29888512 6290 4294967295 134512640 135987407 3221224576 3221222992 134788454 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7120/statm): 7297 6290 364 364 0 6933 0
[pid=7120] vsize: 29188
Current children cumulated CPU time (s) 169.68
Current children cumulated vsize (Kb) 29188

[startup+180.008 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7120
Raw data (/proc/7120/stat): 7120 (pb2sat) R 7119 7120 4059 0 -1 0 9845 0 0 0 17927 40 0 0 25 0 1 0 21159102 30019584 6307 4294967295 134512640 135987407 3221224576 3221223120 134812005 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7120/statm): 7329 6307 364 364 0 6965 0
[pid=7120] vsize: 29316
Current children cumulated CPU time (s) 179.67
Current children cumulated vsize (Kb) 29316

[startup+190.009 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7120
Raw data (/proc/7120/stat): 7120 (pb2sat) R 7119 7120 4059 0 -1 0 9856 0 0 0 18924 41 0 0 25 0 1 0 21159102 30019584 6318 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7120/statm): 7329 6318 364 364 0 6965 0
[pid=7120] vsize: 29316
Current children cumulated CPU time (s) 189.65
Current children cumulated vsize (Kb) 29316

[startup+200.008 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7120
Raw data (/proc/7120/stat): 7120 (pb2sat) R 7119 7120 4059 0 -1 0 9910 0 0 0 19922 42 0 0 25 0 1 0 21159102 30285824 6372 4294967295 134512640 135987407 3221224576 3221223120 134812010 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7120/statm): 7394 6372 364 364 0 7030 0
[pid=7120] vsize: 29576
Current children cumulated CPU time (s) 199.64
Current children cumulated vsize (Kb) 29576

[startup+210.009 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7120
Raw data (/proc/7120/stat): 7120 (pb2sat) R 7119 7120 4059 0 -1 0 9922 0 0 0 20920 43 0 0 25 0 1 0 21159102 30285824 6384 4294967295 134512640 135987407 3221224576 3221223248 134824259 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7120/statm): 7394 6384 364 364 0 7030 0
[pid=7120] vsize: 29576
Current children cumulated CPU time (s) 209.63
Current children cumulated vsize (Kb) 29576

[startup+220.01 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7120
Raw data (/proc/7120/stat): 7120 (pb2sat) R 7119 7120 4059 0 -1 0 10038 0 0 0 21917 44 0 0 25 0 1 0 21159102 30285824 6389 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7120/statm): 7394 6389 364 364 0 7030 0
[pid=7120] vsize: 29576
Current children cumulated CPU time (s) 219.61
Current children cumulated vsize (Kb) 29576

[startup+230.011 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7120
Raw data (/proc/7120/stat): 7120 (pb2sat) R 7119 7120 4059 0 -1 0 10057 0 0 0 22915 44 0 0 25 0 1 0 21159102 30420992 6408 4294967295 134512640 135987407 3221224576 3221223296 134812606 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7120/statm): 7427 6408 364 364 0 7063 0
[pid=7120] vsize: 29708
Current children cumulated CPU time (s) 229.59
Current children cumulated vsize (Kb) 29708

[startup+240.01 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7120
Raw data (/proc/7120/stat): 7120 (pb2sat) R 7119 7120 4059 0 -1 0 10170 0 0 0 23912 46 0 0 25 0 1 0 21159102 30420992 6410 4294967295 134512640 135987407 3221224576 3221223120 134811807 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7120/statm): 7427 6410 364 364 0 7063 0
[pid=7120] vsize: 29708
Current children cumulated CPU time (s) 239.58
Current children cumulated vsize (Kb) 29708

[startup+250.011 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7120
Raw data (/proc/7120/stat): 7120 (pb2sat) R 7119 7120 4059 0 -1 0 10705 0 0 0 24907 48 0 0 25 0 1 0 21159102 33148928 6945 4294967295 134512640 135987407 3221224576 3221223296 134812650 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7120/statm): 8093 6945 364 364 0 7729 0
[pid=7120] vsize: 32372
Current children cumulated CPU time (s) 249.55
Current children cumulated vsize (Kb) 32372

[startup+260.012 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7120
Raw data (/proc/7120/stat): 7120 (pb2sat) R 7119 7120 4059 0 -1 0 11008 0 0 0 25903 50 0 0 25 0 1 0 21159102 34783232 7248 4294967295 134512640 135987407 3221224576 3221223120 134811956 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7120/statm): 8492 7248 364 364 0 8128 0
[pid=7120] vsize: 33968
Current children cumulated CPU time (s) 259.53
Current children cumulated vsize (Kb) 33968

[startup+270.011 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7120
Raw data (/proc/7120/stat): 7120 (pb2sat) R 7119 7120 4059 0 -1 0 11015 0 0 0 26900 51 0 0 25 0 1 0 21159102 34783232 7255 4294967295 134512640 135987407 3221224576 3221223120 134811778 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7120/statm): 8492 7255 364 364 0 8128 0
[pid=7120] vsize: 33968
Current children cumulated CPU time (s) 269.51
Current children cumulated vsize (Kb) 33968

[startup+280.012 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7120
Raw data (/proc/7120/stat): 7120 (pb2sat) R 7119 7120 4059 0 -1 0 11236 0 0 0 27896 53 0 0 25 0 1 0 21159102 35893248 7476 4294967295 134512640 135987407 3221224576 3221223120 134811816 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7120/statm): 8763 7476 364 364 0 8399 0
[pid=7120] vsize: 35052
Current children cumulated CPU time (s) 279.49
Current children cumulated vsize (Kb) 35052

[startup+290.013 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7120
Raw data (/proc/7120/stat): 7120 (pb2sat) R 7119 7120 4059 0 -1 0 11335 0 0 0 28893 54 0 0 25 0 1 0 21159102 36298752 7575 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7120/statm): 8862 7575 364 364 0 8498 0
[pid=7120] vsize: 35448
Current children cumulated CPU time (s) 289.47
Current children cumulated vsize (Kb) 35448

[startup+300.013 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7120
Raw data (/proc/7120/stat): 7120 (pb2sat) R 7119 7120 4059 0 -1 0 11349 0 0 0 29891 55 0 0 25 0 1 0 21159102 36298752 7589 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7120/statm): 8862 7589 364 364 0 8498 0
[pid=7120] vsize: 35448
Current children cumulated CPU time (s) 299.46
Current children cumulated vsize (Kb) 35448

[startup+310.013 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7120
Raw data (/proc/7120/stat): 7120 (pb2sat) R 7119 7120 4059 0 -1 0 11361 0 0 0 30889 56 0 0 25 0 1 0 21159102 36298752 7601 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7120/statm): 8862 7601 364 364 0 8498 0
[pid=7120] vsize: 35448
Current children cumulated CPU time (s) 309.45
Current children cumulated vsize (Kb) 35448

[startup+320.014 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7120
Raw data (/proc/7120/stat): 7120 (pb2sat) R 7119 7120 4059 0 -1 0 11487 0 0 0 31886 57 0 0 25 0 1 0 21159102 36298752 7616 4294967295 134512640 135987407 3221224576 3221223120 134811972 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7120/statm): 8862 7616 364 364 0 8498 0
[pid=7120] vsize: 35448
Current children cumulated CPU time (s) 319.43
Current children cumulated vsize (Kb) 35448

[startup+330.015 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7120
Raw data (/proc/7120/stat): 7120 (pb2sat) R 7119 7120 4059 0 -1 0 11497 0 0 0 32882 58 0 0 25 0 1 0 21159102 36298752 7626 4294967295 134512640 135987407 3221224576 3221223120 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7120/statm): 8862 7626 364 364 0 8498 0
[pid=7120] vsize: 35448
Current children cumulated CPU time (s) 329.4
Current children cumulated vsize (Kb) 35448

[startup+340.014 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7120
Raw data (/proc/7120/stat): 7120 (pb2sat) R 7119 7120 4059 0 -1 0 11616 0 0 0 33880 59 0 0 25 0 1 0 21159102 36298752 7634 4294967295 134512640 135987407 3221224576 3221223120 134811800 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7120/statm): 8862 7634 364 364 0 8498 0
[pid=7120] vsize: 35448
Current children cumulated CPU time (s) 339.39
Current children cumulated vsize (Kb) 35448

[startup+350.014 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7120
Raw data (/proc/7120/stat): 7120 (pb2sat) R 7119 7120 4059 0 -1 0 11627 0 0 0 34878 60 0 0 25 0 1 0 21159102 36298752 7645 4294967295 134512640 135987407 3221224576 3221223120 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7120/statm): 8862 7645 364 364 0 8498 0
[pid=7120] vsize: 35448
Current children cumulated CPU time (s) 349.38
Current children cumulated vsize (Kb) 35448

[startup+360.015 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7120
Raw data (/proc/7120/stat): 7120 (pb2sat) R 7119 7120 4059 0 -1 0 11643 0 0 0 35876 60 0 0 25 0 1 0 21159102 36298752 7661 4294967295 134512640 135987407 3221224576 3221223120 134811927 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7120/statm): 8862 7661 364 364 0 8498 0
[pid=7120] vsize: 35448
Current children cumulated CPU time (s) 359.36
Current children cumulated vsize (Kb) 35448

[startup+370.015 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7120
Raw data (/proc/7120/stat): 7120 (pb2sat) R 7119 7120 4059 0 -1 0 11765 0 0 0 36873 61 0 0 25 0 1 0 21159102 36298752 7672 4294967295 134512640 135987407 3221224576 3221223120 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7120/statm): 8862 7672 364 364 0 8498 0
[pid=7120] vsize: 35448
Current children cumulated CPU time (s) 369.34
Current children cumulated vsize (Kb) 35448

[startup+380.015 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7120
Raw data (/proc/7120/stat): 7120 (pb2sat) R 7119 7120 4059 0 -1 0 11767 0 0 0 37871 62 0 0 25 0 1 0 21159102 36298752 7674 4294967295 134512640 135987407 3221224576 3221223248 134824720 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7120/statm): 8862 7674 364 364 0 8498 0
[pid=7120] vsize: 35448
Current children cumulated CPU time (s) 379.33
Current children cumulated vsize (Kb) 35448

[startup+390.016 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7120
Raw data (/proc/7120/stat): 7120 (pb2sat) R 7119 7120 4059 0 -1 0 11769 0 0 0 38868 63 0 0 25 0 1 0 21159102 36298752 7676 4294967295 134512640 135987407 3221224576 3221223120 134811891 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7120/statm): 8862 7676 364 364 0 8498 0
[pid=7120] vsize: 35448
Current children cumulated CPU time (s) 389.31
Current children cumulated vsize (Kb) 35448

[startup+400.016 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7120
Raw data (/proc/7120/stat): 7120 (pb2sat) R 7119 7120 4059 0 -1 0 11939 0 0 0 39864 65 0 0 25 0 1 0 21159102 36429824 7702 4294967295 134512640 135987407 3221224576 3221223120 134811964 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7120/statm): 8894 7702 364 364 0 8530 0
[pid=7120] vsize: 35576
Current children cumulated CPU time (s) 399.29
Current children cumulated vsize (Kb) 35576

[startup+410.017 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7120
Raw data (/proc/7120/stat): 7120 (pb2sat) R 7119 7120 4059 0 -1 0 11962 0 0 0 40862 66 0 0 25 0 1 0 21159102 36429824 7725 4294967295 134512640 135987407 3221224576 3221223120 134811983 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7120/statm): 8894 7725 364 364 0 8530 0
[pid=7120] vsize: 35576
Current children cumulated CPU time (s) 409.28
Current children cumulated vsize (Kb) 35576

[startup+420.016 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7120
Raw data (/proc/7120/stat): 7120 (pb2sat) R 7119 7120 4059 0 -1 0 12097 0 0 0 41858 68 0 0 25 0 1 0 21159102 36429824 7749 4294967295 134512640 135987407 3221224576 3221223248 134824224 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7120/statm): 8894 7749 364 364 0 8530 0
[pid=7120] vsize: 35576
Current children cumulated CPU time (s) 419.26
Current children cumulated vsize (Kb) 35576

[startup+430.017 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7120
Raw data (/proc/7120/stat): 7120 (pb2sat) R 7119 7120 4059 0 -1 0 12107 0 0 0 42855 69 0 0 25 0 1 0 21159102 36429824 7759 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7120/statm): 8894 7759 364 364 0 8530 0
[pid=7120] vsize: 35576
Current children cumulated CPU time (s) 429.24
Current children cumulated vsize (Kb) 35576

[startup+440.017 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7120
Raw data (/proc/7120/stat): 7120 (pb2sat) R 7119 7120 4059 0 -1 0 12113 0 0 0 43854 69 0 0 25 0 1 0 21159102 36429824 7765 4294967295 134512640 135987407 3221224576 3221222992 134788502 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7120/statm): 8894 7765 364 364 0 8530 0
[pid=7120] vsize: 35576
Current children cumulated CPU time (s) 439.23
Current children cumulated vsize (Kb) 35576

[startup+450.016 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7120
Raw data (/proc/7120/stat): 7120 (pb2sat) R 7119 7120 4059 0 -1 0 12121 0 0 0 44851 70 0 0 25 0 1 0 21159102 36429824 7773 4294967295 134512640 135987407 3221224576 3221223248 134824722 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7120/statm): 8894 7773 364 364 0 8530 0
[pid=7120] vsize: 35576
Current children cumulated CPU time (s) 449.21
Current children cumulated vsize (Kb) 35576

[startup+460.017 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7120
Raw data (/proc/7120/stat): 7120 (pb2sat) R 7119 7120 4059 0 -1 0 12129 0 0 0 45849 71 0 0 25 0 1 0 21159102 40624128 7781 4294967295 134512640 135987407 3221224576 3221223120 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7120/statm): 9918 7781 364 364 0 9554 0
[pid=7120] vsize: 39672
Current children cumulated CPU time (s) 459.2
Current children cumulated vsize (Kb) 39672

[startup+470.018 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7120
Raw data (/proc/7120/stat): 7120 (pb2sat) R 7119 7120 4059 0 -1 0 12215 0 0 0 46847 72 0 0 25 0 1 0 21159102 40890368 7834 4294967295 134512640 135987407 3221224576 3221223120 134811972 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7120/statm): 9983 7834 364 364 0 9619 0
[pid=7120] vsize: 39932
Current children cumulated CPU time (s) 469.19
Current children cumulated vsize (Kb) 39932

[startup+480.019 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7120
Raw data (/proc/7120/stat): 7120 (pb2sat) R 7119 7120 4059 0 -1 0 12467 0 0 0 47844 73 0 0 25 0 1 0 21159102 41816064 7987 4294967295 134512640 135987407 3221224576 3221223120 134811975 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7120/statm): 10209 7987 364 364 0 9845 0
[pid=7120] vsize: 40836
Current children cumulated CPU time (s) 479.17
Current children cumulated vsize (Kb) 40836

[startup+490.018 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7120
Raw data (/proc/7120/stat): 7120 (pb2sat) R 7119 7120 4059 0 -1 0 12621 0 0 0 48841 74 0 0 25 0 1 0 21159102 42344448 8075 4294967295 134512640 135987407 3221224576 3221223248 134824259 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7120/statm): 10338 8075 364 364 0 9974 0
[pid=7120] vsize: 41352
Current children cumulated CPU time (s) 489.15
Current children cumulated vsize (Kb) 41352

[startup+500.018 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7120
Raw data (/proc/7120/stat): 7120 (pb2sat) R 7119 7120 4059 0 -1 0 12784 0 0 0 49838 76 0 0 25 0 1 0 21159102 42741760 8172 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7120/statm): 10435 8172 364 364 0 10071 0
[pid=7120] vsize: 41740
Current children cumulated CPU time (s) 499.14
Current children cumulated vsize (Kb) 41740

[startup+510.019 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7120
Raw data (/proc/7120/stat): 7120 (pb2sat) R 7119 7120 4059 0 -1 0 12913 0 0 0 50836 77 0 0 25 0 1 0 21159102 43003904 8235 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7120/statm): 10499 8235 364 364 0 10135 0
[pid=7120] vsize: 41996
Current children cumulated CPU time (s) 509.13
Current children cumulated vsize (Kb) 41996

[startup+520.019 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7120
Raw data (/proc/7120/stat): 7120 (pb2sat) R 7119 7120 4059 0 -1 0 13039 0 0 0 51833 78 0 0 25 0 1 0 21159102 43401216 8295 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7120/statm): 10596 8295 364 364 0 10232 0
[pid=7120] vsize: 42384
Current children cumulated CPU time (s) 519.11
Current children cumulated vsize (Kb) 42384

[startup+530.02 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7120
Raw data (/proc/7120/stat): 7120 (pb2sat) R 7119 7120 4059 0 -1 0 13061 0 0 0 52832 79 0 0 25 0 1 0 21159102 43401216 8317 4294967295 134512640 135987407 3221224576 3221222992 134788496 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7120/statm): 10596 8317 364 364 0 10232 0
[pid=7120] vsize: 42384
Current children cumulated CPU time (s) 529.11
Current children cumulated vsize (Kb) 42384

[startup+540.021 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7120
Raw data (/proc/7120/stat): 7120 (pb2sat) R 7119 7120 4059 0 -1 0 13090 0 0 0 53830 79 0 0 25 0 1 0 21159102 43401216 8346 4294967295 134512640 135987407 3221224576 3221223120 134811964 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7120/statm): 10596 8346 364 364 0 10232 0
[pid=7120] vsize: 42384
Current children cumulated CPU time (s) 539.09
Current children cumulated vsize (Kb) 42384

[startup+550.021 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7120
Raw data (/proc/7120/stat): 7120 (pb2sat) R 7119 7120 4059 0 -1 0 13116 0 0 0 54828 80 0 0 25 0 1 0 21159102 43401216 8372 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7120/statm): 10596 8372 364 364 0 10232 0
[pid=7120] vsize: 42384
Current children cumulated CPU time (s) 549.08
Current children cumulated vsize (Kb) 42384

[startup+560.021 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7120
Raw data (/proc/7120/stat): 7120 (pb2sat) R 7119 7120 4059 0 -1 0 13135 0 0 0 55826 81 0 0 25 0 1 0 21159102 43401216 8391 4294967295 134512640 135987407 3221224576 3221223120 134811972 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7120/statm): 10596 8391 364 364 0 10232 0
[pid=7120] vsize: 42384
Current children cumulated CPU time (s) 559.07
Current children cumulated vsize (Kb) 42384

[startup+570.022 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7120
Raw data (/proc/7120/stat): 7120 (pb2sat) R 7119 7120 4059 0 -1 0 13158 0 0 0 56824 82 0 0 25 0 1 0 21159102 43401216 8414 4294967295 134512640 135987407 3221224576 3221223120 134811972 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7120/statm): 10596 8414 364 364 0 10232 0
[pid=7120] vsize: 42384
Current children cumulated CPU time (s) 569.06
Current children cumulated vsize (Kb) 42384

[startup+580.023 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7120
Raw data (/proc/7120/stat): 7120 (pb2sat) R 7119 7120 4059 0 -1 0 13174 0 0 0 57823 82 0 0 25 0 1 0 21159102 43401216 8430 4294967295 134512640 135987407 3221224576 3221223296 134812647 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7120/statm): 10596 8430 364 364 0 10232 0
[pid=7120] vsize: 42384
Current children cumulated CPU time (s) 579.05
Current children cumulated vsize (Kb) 42384

[startup+590.024 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7120
Raw data (/proc/7120/stat): 7120 (pb2sat) R 7119 7120 4059 0 -1 0 13462 0 0 0 58819 84 0 0 25 0 1 0 21159102 43532288 8463 4294967295 134512640 135987407 3221224576 3221223120 134812005 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7120/statm): 10628 8463 364 364 0 10264 0
[pid=7120] vsize: 42512
Current children cumulated CPU time (s) 589.03
Current children cumulated vsize (Kb) 42512

[startup+600.023 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7120
Raw data (/proc/7120/stat): 7120 (pb2sat) R 7119 7120 4059 0 -1 0 13601 0 0 0 59816 85 0 0 25 0 1 0 21159102 43532288 8491 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7120/statm): 10628 8491 364 364 0 10264 0
[pid=7120] vsize: 42512
Current children cumulated CPU time (s) 599.01
Current children cumulated vsize (Kb) 42512

[startup+610.024 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7120
Raw data (/proc/7120/stat): 7120 (pb2sat) R 7119 7120 4059 0 -1 0 13615 0 0 0 60814 86 0 0 25 0 1 0 21159102 43532288 8505 4294967295 134512640 135987407 3221224576 3221223296 134812593 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7120/statm): 10628 8505 364 364 0 10264 0
[pid=7120] vsize: 42512
Current children cumulated CPU time (s) 609
Current children cumulated vsize (Kb) 42512

[startup+620.024 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7120
Raw data (/proc/7120/stat): 7120 (pb2sat) R 7119 7120 4059 0 -1 0 13712 0 0 0 61813 87 0 0 25 0 1 0 21159102 43794432 8536 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7120/statm): 10692 8536 364 364 0 10328 0
[pid=7120] vsize: 42768
Current children cumulated CPU time (s) 619
Current children cumulated vsize (Kb) 42768

[startup+630.024 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7120
Raw data (/proc/7120/stat): 7120 (pb2sat) R 7119 7120 4059 0 -1 0 13728 0 0 0 62811 88 0 0 25 0 1 0 21159102 43794432 8552 4294967295 134512640 135987407 3221224576 3221223120 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7120/statm): 10692 8552 364 364 0 10328 0
[pid=7120] vsize: 42768
Current children cumulated CPU time (s) 628.99
Current children cumulated vsize (Kb) 42768

[startup+640.025 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7120
Raw data (/proc/7120/stat): 7120 (pb2sat) R 7119 7120 4059 0 -1 0 13740 0 0 0 63810 88 0 0 25 0 1 0 21159102 43794432 8564 4294967295 134512640 135987407 3221224576 3221223120 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7120/statm): 10692 8564 364 364 0 10328 0
[pid=7120] vsize: 42768
Current children cumulated CPU time (s) 638.98
Current children cumulated vsize (Kb) 42768

[startup+650.025 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7120
Raw data (/proc/7120/stat): 7120 (pb2sat) R 7119 7120 4059 0 -1 0 13750 0 0 0 64809 89 0 0 25 0 1 0 21159102 43794432 8574 4294967295 134512640 135987407 3221224576 3221223120 134812129 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7120/statm): 10692 8574 364 364 0 10328 0
[pid=7120] vsize: 42768
Current children cumulated CPU time (s) 648.98
Current children cumulated vsize (Kb) 42768

[startup+660.026 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7120
Raw data (/proc/7120/stat): 7120 (pb2sat) R 7119 7120 4059 0 -1 0 13900 0 0 0 65805 91 0 0 25 0 1 0 21159102 44064768 8613 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7120/statm): 10758 8613 364 364 0 10394 0
[pid=7120] vsize: 43032
Current children cumulated CPU time (s) 658.96
Current children cumulated vsize (Kb) 43032

[startup+670.025 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7120
Raw data (/proc/7120/stat): 7120 (pb2sat) R 7119 7120 4059 0 -1 0 13910 0 0 0 66803 92 0 0 25 0 1 0 21159102 44064768 8623 4294967295 134512640 135987407 3221224576 3221223248 134824259 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7120/statm): 10758 8623 364 364 0 10394 0
[pid=7120] vsize: 43032
Current children cumulated CPU time (s) 668.95
Current children cumulated vsize (Kb) 43032

[startup+680.026 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7120
Raw data (/proc/7120/stat): 7120 (pb2sat) R 7119 7120 4059 0 -1 0 13912 0 0 0 67802 93 0 0 25 0 1 0 21159102 44064768 8625 4294967295 134512640 135987407 3221224576 3221223120 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7120/statm): 10758 8625 364 364 0 10394 0
[pid=7120] vsize: 43032
Current children cumulated CPU time (s) 678.95
Current children cumulated vsize (Kb) 43032

[startup+690.026 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7120
Raw data (/proc/7120/stat): 7120 (pb2sat) R 7119 7120 4059 0 -1 0 13917 0 0 0 68799 94 0 0 25 0 1 0 21159102 44064768 8630 4294967295 134512640 135987407 3221224576 3221223008 134801596 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7120/statm): 10758 8630 364 364 0 10394 0
[pid=7120] vsize: 43032
Current children cumulated CPU time (s) 688.93
Current children cumulated vsize (Kb) 43032

[startup+700.026 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7120
Raw data (/proc/7120/stat): 7120 (pb2sat) R 7119 7120 4059 0 -1 0 13922 0 0 0 69798 95 0 0 25 0 1 0 21159102 44064768 8635 4294967295 134512640 135987407 3221224576 3221223120 134811980 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7120/statm): 10758 8635 364 364 0 10394 0
[pid=7120] vsize: 43032
Current children cumulated CPU time (s) 698.93
Current children cumulated vsize (Kb) 43032

[startup+710.026 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7120
Raw data (/proc/7120/stat): 7120 (pb2sat) R 7119 7120 4059 0 -1 0 13926 0 0 0 70796 95 0 0 25 0 1 0 21159102 44064768 8639 4294967295 134512640 135987407 3221224576 3221223296 134812887 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7120/statm): 10758 8639 364 364 0 10394 0
[pid=7120] vsize: 43032
Current children cumulated CPU time (s) 708.91
Current children cumulated vsize (Kb) 43032

[startup+720.026 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7120
Raw data (/proc/7120/stat): 7120 (pb2sat) R 7119 7120 4059 0 -1 0 13928 0 0 0 71795 96 0 0 25 0 1 0 21159102 44064768 8641 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7120/statm): 10758 8641 364 364 0 10394 0
[pid=7120] vsize: 43032
Current children cumulated CPU time (s) 718.91
Current children cumulated vsize (Kb) 43032

[startup+730.027 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7120
Raw data (/proc/7120/stat): 7120 (pb2sat) R 7119 7120 4059 0 -1 0 14042 0 0 0 72793 97 0 0 25 0 1 0 21159102 44064768 8644 4294967295 134512640 135987407 3221224576 3221223120 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7120/statm): 10758 8644 364 364 0 10394 0
[pid=7120] vsize: 43032
Current children cumulated CPU time (s) 728.9
Current children cumulated vsize (Kb) 43032

[startup+740.028 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7120
Raw data (/proc/7120/stat): 7120 (pb2sat) R 7119 7120 4059 0 -1 0 14069 0 0 0 73790 98 0 0 25 0 1 0 21159102 44199936 8671 4294967295 134512640 135987407 3221224576 3221223120 134811873 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7120/statm): 10791 8671 364 364 0 10427 0
[pid=7120] vsize: 43164
Current children cumulated CPU time (s) 738.88
Current children cumulated vsize (Kb) 43164

[startup+750.027 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7120
Raw data (/proc/7120/stat): 7120 (pb2sat) R 7119 7120 4059 0 -1 0 14200 0 0 0 74787 99 0 0 25 0 1 0 21159102 44728320 8736 4294967295 134512640 135987407 3221224576 3221222992 134788452 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7120/statm): 10920 8736 364 364 0 10556 0
[pid=7120] vsize: 43680
Current children cumulated CPU time (s) 748.86
Current children cumulated vsize (Kb) 43680

[startup+760.027 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7120
Raw data (/proc/7120/stat): 7120 (pb2sat) R 7119 7120 4059 0 -1 0 14211 0 0 0 75784 100 0 0 25 0 1 0 21159102 44728320 8747 4294967295 134512640 135987407 3221224576 3221223296 134812647 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7120/statm): 10920 8747 364 364 0 10556 0
[pid=7120] vsize: 43680
Current children cumulated CPU time (s) 758.84
Current children cumulated vsize (Kb) 43680

[startup+770.027 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7120
Raw data (/proc/7120/stat): 7120 (pb2sat) R 7119 7120 4059 0 -1 0 14212 0 0 0 76782 101 0 0 25 0 1 0 21159102 44728320 8748 4294967295 134512640 135987407 3221224576 3221223120 134811729 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7120/statm): 10920 8748 364 364 0 10556 0
[pid=7120] vsize: 43680
Current children cumulated CPU time (s) 768.83
Current children cumulated vsize (Kb) 43680

[startup+780.027 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7120
Raw data (/proc/7120/stat): 7120 (pb2sat) R 7119 7120 4059 0 -1 0 14214 0 0 0 77780 101 0 0 25 0 1 0 21159102 44728320 8750 4294967295 134512640 135987407 3221224576 3221222992 134788496 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7120/statm): 10920 8750 364 364 0 10556 0
[pid=7120] vsize: 43680
Current children cumulated CPU time (s) 778.81
Current children cumulated vsize (Kb) 43680

[startup+790.027 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7120
Raw data (/proc/7120/stat): 7120 (pb2sat) R 7119 7120 4059 0 -1 0 14215 0 0 0 78779 102 0 0 25 0 1 0 21159102 44728320 8751 4294967295 134512640 135987407 3221224576 3221223120 134811729 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7120/statm): 10920 8751 364 364 0 10556 0
[pid=7120] vsize: 43680
Current children cumulated CPU time (s) 788.81
Current children cumulated vsize (Kb) 43680

[startup+800.027 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7120
Raw data (/proc/7120/stat): 7120 (pb2sat) R 7119 7120 4059 0 -1 0 14357 0 0 0 79776 103 0 0 25 0 1 0 21159102 44728320 8782 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7120/statm): 10920 8782 364 364 0 10556 0
[pid=7120] vsize: 43680
Current children cumulated CPU time (s) 798.79
Current children cumulated vsize (Kb) 43680

[startup+810.028 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7120
Raw data (/proc/7120/stat): 7120 (pb2sat) R 7119 7120 4059 0 -1 0 14401 0 0 0 80774 105 0 0 25 0 1 0 21159102 44728320 8826 4294967295 134512640 135987407 3221224576 3221223120 134811964 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7120/statm): 10920 8826 364 364 0 10556 0
[pid=7120] vsize: 43680
Current children cumulated CPU time (s) 808.79
Current children cumulated vsize (Kb) 43680

[startup+820.027 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7120
Raw data (/proc/7120/stat): 7120 (pb2sat) R 7119 7120 4059 0 -1 0 14572 0 0 0 81770 107 0 0 25 0 1 0 21159102 44728320 8886 4294967295 134512640 135987407 3221224576 3221222992 134788454 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7120/statm): 10920 8886 364 364 0 10556 0
[pid=7120] vsize: 43680
Current children cumulated CPU time (s) 818.77
Current children cumulated vsize (Kb) 43680

[startup+830.028 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7120
Raw data (/proc/7120/stat): 7120 (pb2sat) R 7119 7120 4059 0 -1 0 14623 0 0 0 82768 108 0 0 25 0 1 0 21159102 44728320 8937 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7120/statm): 10920 8937 364 364 0 10556 0
[pid=7120] vsize: 43680
Current children cumulated CPU time (s) 828.76
Current children cumulated vsize (Kb) 43680

[startup+840.028 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7120
Raw data (/proc/7120/stat): 7120 (pb2sat) R 7119 7120 4059 0 -1 0 14792 0 0 0 83765 109 0 0 25 0 1 0 21159102 44728320 8995 4294967295 134512640 135987407 3221224576 3221222992 134788496 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7120/statm): 10920 8995 364 364 0 10556 0
[pid=7120] vsize: 43680
Current children cumulated CPU time (s) 838.74
Current children cumulated vsize (Kb) 43680

[startup+850.027 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7120
Raw data (/proc/7120/stat): 7120 (pb2sat) R 7119 7120 4059 0 -1 0 14968 0 0 0 84761 111 0 0 25 0 1 0 21159102 44728320 9060 4294967295 134512640 135987407 3221224576 3221223280 134790057 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7120/statm): 10920 9060 364 364 0 10556 0
[pid=7120] vsize: 43680
Current children cumulated CPU time (s) 848.72
Current children cumulated vsize (Kb) 43680

[startup+860.027 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7120
Raw data (/proc/7120/stat): 7120 (pb2sat) R 7119 7120 4059 0 -1 0 15036 0 0 0 85759 112 0 0 25 0 1 0 21159102 44728320 9128 4294967295 134512640 135987407 3221224576 3221223120 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7120/statm): 10920 9128 364 364 0 10556 0
[pid=7120] vsize: 43680
Current children cumulated CPU time (s) 858.71
Current children cumulated vsize (Kb) 43680
One traced child (pid=7120) exited with status: 30
All traced children have exited ! Game is over.

Child status: 30
Real time (s): 865.418
CPU time (s): 864.1
CPU user time (s): 862.947
CPU system time (s): 1.15282
CPU usage (%): 99.8476
Max. virtual memory (cumulated for all children) (Kb): 43680

Verifier Data

Verifier:	OK	8276