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.unbounded.all.ucl.opb
MD5SUMe8f0ca38acbe8c57203147fb9147be3a
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 129
Number of bits of the biggest number in a constraint 8
Biggest sum of numbers in a constraint 510
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 variables84836
Total number of constraints245062
Number of constraints which are clauses233598
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints11464
Minimum length of a constraint1
Maximum length of a constraint15

Trace number 9809

Launcher Data

LAUNCH ON wulflinc19 THE 2005-09-23 15:20:44 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=8530 boxname=wulflinc19 idbench=326 idsolver=8 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  e8f0ca38acbe8c57203147fb9147be3a  /oldhome/oroussel/tmp/wulflinc19/normalized-ooo.unbounded.all.ucl.opb
REAL COMMAND:  pb2sat /oldhome/oroussel/tmp/wulflinc19/normalized-ooo.unbounded.all.ucl.opb
IDLAUNCH: 8530
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.169
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.169
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	: 899.07

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        919768 kB
Buffers:         14992 kB
Cached:          79868 kB
SwapCached:          0 kB
Active:          53908 kB
Inactive:        43852 kB
HighTotal:      131008 kB
HighFree:        47628 kB
LowTotal:       903652 kB
LowFree:        872140 kB
SwapTotal:     2097892 kB
SwapFree:      2097892 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6980 kB
Slab:            11504 kB
Committed_AS:    63660 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-09-23 15:41:15 (client local time) WITH STATUS 0 IN 1209.83 SECONDS
stats: 8530 7 1209.83 0

Solver Data

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

c Decision: 12032/316136	Time: 44.7702/86400
c Decision: 12032/316136	Time: 60.3988/86400
c Decision: 12032/316136	Time: 75.6545/86400
c Decision: 12032/316136	Time: 89.6764/86400
c Decision: 12562/316136	Time: 123.136/86400
c Decision: 12562/316136	Time: 140.587/86400
c Decision: 13602/316136	Time: 204.035/86400
c Decision: 14129/316136	Time: 252.469/86400
c Decision: 14174/316136	Time: 342.12/86400
c Decision: 14207/316136	Time: 460.802/86400
c Decision: 14211/316136	Time: 479.212/86400
c Decision: 14240/316136	Time: 560.233/86400
c Decision: 14240/316136	Time: 590.371/86400
c Decision: 14240/316136	Time: 612.896/86400
c Decision: 14289/316136	Time: 690.54/86400
c Decision: 14291/316136	Time: 730.638/86400
c Decision: 14291/316136	Time: 754.903/86400
c Decision: 14392/316136	Time: 815.457/86400
c Decision: 14392/316136	Time: 844.681/86400
c Decision: 14392/316136	Time: 874.62/86400
c Decision: 14930/316136	Time: 925.621/86400
c Decision: 15157/316136	Time: 1025.68/86400
c Decision: 15157/316136	Time: 1050.74/86400
c Decision: 15159/316136	Time: 1089.96/86400
c Decision: 15163/316136	Time: 1132/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/7176/stat): 7176 (pb2sat) R 7175 7176 4060 0 -1 0 18 0 0 0 0 0 0 0 23 0 1 0 21222185 1527808 2 4294967295 134512640 135987407 3221224560 3221224560 134512928 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/7176/statm): 373 2 364 364 0 9 0
[pid=7176] vsize: 1492
open syscall for file /oldhome/oroussel/tmp/wulflinc19/normalized-ooo.unbounded.all.ucl.opb

[startup+10.0016 s]
Raw data (loadavg): 0.93 0.96 0.96 2/55 7176
Raw data (/proc/7176/stat): 7176 (pb2sat) R 7175 7176 4060 0 -1 0 5526 0 0 0 982 15 0 0 25 0 1 0 21222185 19439616 3592 4294967295 134512640 135987407 3221224560 3221221952 134616238 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7176/statm): 4746 3592 364 364 0 4382 0
[pid=7176] vsize: 18984
Current children cumulated CPU time (s) 9.97
Current children cumulated vsize (Kb) 18984

[startup+20.0024 s]
Raw data (loadavg): 0.94 0.96 0.96 2/55 7176
Raw data (/proc/7176/stat): 7176 (pb2sat) R 7175 7176 4060 0 -1 0 10848 0 0 0 1965 31 0 0 25 0 1 0 21222185 36835328 6894 4294967295 134512640 135987407 3221224560 3221221884 134613608 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7176/statm): 8993 6894 364 364 0 8629 0
[pid=7176] vsize: 35972
Current children cumulated CPU time (s) 19.96
Current children cumulated vsize (Kb) 35972

[startup+30.0032 s]
Raw data (loadavg): 0.95 0.96 0.96 2/55 7176
Raw data (/proc/7176/stat): 7176 (pb2sat) R 7175 7176 4060 0 -1 0 26162 0 0 0 2924 70 0 0 25 0 1 0 21222185 79077376 15044 4294967295 134512640 135987407 3221224560 3221219484 135499887 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7176/statm): 19306 15044 364 364 0 18942 0
[pid=7176] vsize: 77224
Current children cumulated CPU time (s) 29.94
Current children cumulated vsize (Kb) 77224

[startup+40.004 s]
Raw data (loadavg): 0.96 0.96 0.96 2/55 7176
Raw data (/proc/7176/stat): 7176 (pb2sat) R 7175 7176 4060 0 -1 0 42512 0 0 0 3874 112 0 0 25 0 1 0 21222185 126578688 25789 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7176/statm): 30903 25789 364 364 0 30539 0
[pid=7176] vsize: 123612
Current children cumulated CPU time (s) 39.86
Current children cumulated vsize (Kb) 123612

[startup+50.0058 s]
Raw data (loadavg): 0.96 0.96 0.96 2/55 7176
Raw data (/proc/7176/stat): 7176 (pb2sat) R 7175 7176 4060 0 -1 0 43893 0 0 0 4831 128 0 0 25 0 1 0 21222185 133328896 27137 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7176/statm): 32551 27137 364 364 0 32187 0
[pid=7176] vsize: 130204
Current children cumulated CPU time (s) 49.59
Current children cumulated vsize (Kb) 130204

[startup+60.0066 s]
Raw data (loadavg): 0.97 0.96 0.96 2/55 7176
Raw data (/proc/7176/stat): 7176 (pb2sat) R 7175 7176 4060 0 -1 0 44936 0 0 0 5808 137 0 0 25 0 1 0 21222185 138690560 28180 4294967295 134512640 135987407 3221224560 3221223408 134789987 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7176/statm): 33860 28180 364 364 0 33496 0
[pid=7176] vsize: 135440
Current children cumulated CPU time (s) 59.45
Current children cumulated vsize (Kb) 135440

[startup+70.0064 s]
Raw data (loadavg): 0.97 0.96 0.96 2/55 7176
Raw data (/proc/7176/stat): 7176 (pb2sat) R 7175 7176 4060 0 -1 0 45462 0 0 0 6781 146 0 0 25 0 1 0 21222185 141541376 28706 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7176/statm): 34556 28706 364 364 0 34192 0
[pid=7176] vsize: 138224
Current children cumulated CPU time (s) 69.27
Current children cumulated vsize (Kb) 138224

[startup+80.0072 s]
Raw data (loadavg): 0.98 0.96 0.96 2/55 7176
Raw data (/proc/7176/stat): 7176 (pb2sat) R 7175 7176 4060 0 -1 0 45986 0 0 0 7725 167 0 0 25 0 1 0 21222185 144162816 29230 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7176/statm): 35196 29230 364 364 0 34832 0
[pid=7176] vsize: 140784
Current children cumulated CPU time (s) 78.92
Current children cumulated vsize (Kb) 140784

[startup+90.007 s]
Raw data (loadavg): 0.98 0.96 0.96 2/55 7176
Raw data (/proc/7176/stat): 7176 (pb2sat) R 7175 7176 4060 0 -1 0 47056 0 0 0 8692 178 0 0 25 0 1 0 21222185 146235392 29649 4294967295 134512640 135987407 3221224560 3221223248 134812025 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7176/statm): 35702 29649 364 364 0 35338 0
[pid=7176] vsize: 142808
Current children cumulated CPU time (s) 88.7
Current children cumulated vsize (Kb) 142808

[startup+100.008 s]
Raw data (loadavg): 0.98 0.96 0.96 2/55 7176
Raw data (/proc/7176/stat): 7176 (pb2sat) R 7175 7176 4060 0 -1 0 47991 0 0 0 9660 188 0 0 25 0 1 0 21222185 147529728 29933 4294967295 134512640 135987407 3221224560 3221223088 134775173 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7176/statm): 36018 29933 364 364 0 35654 0
[pid=7176] vsize: 144072
Current children cumulated CPU time (s) 98.48
Current children cumulated vsize (Kb) 144072

[startup+110.009 s]
Raw data (loadavg): 0.98 0.97 0.96 2/55 7176
Raw data (/proc/7176/stat): 7176 (pb2sat) R 7175 7176 4060 0 -1 0 48199 0 0 0 10629 198 0 0 25 0 1 0 21222185 148672512 30141 4294967295 134512640 135987407 3221224560 3221223344 134812358 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7176/statm): 36297 30141 364 364 0 35933 0
[pid=7176] vsize: 145188
Current children cumulated CPU time (s) 108.27
Current children cumulated vsize (Kb) 145188

[startup+120.008 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7176
Raw data (/proc/7176/stat): 7176 (pb2sat) R 7175 7176 4060 0 -1 0 49287 0 0 0 11604 209 0 0 25 0 1 0 21222185 150134784 30413 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7176/statm): 36654 30413 364 364 0 36290 0
[pid=7176] vsize: 146616
Current children cumulated CPU time (s) 118.13
Current children cumulated vsize (Kb) 146616

[startup+130.009 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7176
Raw data (/proc/7176/stat): 7176 (pb2sat) R 7175 7176 4060 0 -1 0 50041 0 0 0 12581 218 0 0 25 0 1 0 21222185 150810624 30549 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7176/statm): 36819 30549 364 364 0 36455 0
[pid=7176] vsize: 147276
Current children cumulated CPU time (s) 127.99
Current children cumulated vsize (Kb) 147276

[startup+140.009 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7176
Raw data (/proc/7176/stat): 7176 (pb2sat) R 7175 7176 4060 0 -1 0 50265 0 0 0 13555 228 0 0 25 0 1 0 21222185 151887872 30740 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7176/statm): 37082 30740 364 364 0 36718 0
[pid=7176] vsize: 148328
Current children cumulated CPU time (s) 137.83
Current children cumulated vsize (Kb) 148328

[startup+150.01 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7176
Raw data (/proc/7176/stat): 7176 (pb2sat) R 7175 7176 4060 0 -1 0 50515 0 0 0 14521 238 0 0 25 0 1 0 21222185 153239552 30990 4294967295 134512640 135987407 3221224560 3221223376 134812261 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7176/statm): 37412 30990 364 364 0 37048 0
[pid=7176] vsize: 149648
Current children cumulated CPU time (s) 147.59
Current children cumulated vsize (Kb) 149648

[startup+160.01 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7176
Raw data (/proc/7176/stat): 7176 (pb2sat) R 7175 7176 4060 0 -1 0 50534 0 0 0 15493 247 0 0 25 0 1 0 21222185 153239552 31009 4294967295 134512640 135987407 3221224560 3221223408 134790069 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7176/statm): 37412 31009 364 364 0 37048 0
[pid=7176] vsize: 149648
Current children cumulated CPU time (s) 157.4
Current children cumulated vsize (Kb) 149648

[startup+170.01 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7176
Raw data (/proc/7176/stat): 7176 (pb2sat) R 7175 7176 4060 0 -1 0 51238 0 0 0 16468 256 0 0 25 0 1 0 21222185 153645056 31095 4294967295 134512640 135987407 3221224560 3221223408 134790069 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7176/statm): 37511 31095 364 364 0 37147 0
[pid=7176] vsize: 150044
Current children cumulated CPU time (s) 167.24
Current children cumulated vsize (Kb) 150044

[startup+180.01 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7176
Raw data (/proc/7176/stat): 7176 (pb2sat) R 7175 7176 4060 0 -1 0 51920 0 0 0 17440 266 0 0 25 0 1 0 21222185 153915392 31159 4294967295 134512640 135987407 3221224560 3221223376 134876845 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7176/statm): 37577 31159 364 364 0 37213 0
[pid=7176] vsize: 150308
Current children cumulated CPU time (s) 177.06
Current children cumulated vsize (Kb) 150308

[startup+190.011 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7176
Raw data (/proc/7176/stat): 7176 (pb2sat) R 7175 7176 4060 0 -1 0 52013 0 0 0 18409 277 0 0 25 0 1 0 21222185 154456064 31252 4294967295 134512640 135987407 3221224560 3221223136 134801596 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7176/statm): 37709 31252 364 364 0 37345 0
[pid=7176] vsize: 150836
Current children cumulated CPU time (s) 186.86
Current children cumulated vsize (Kb) 150836

[startup+200.012 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7176
Raw data (/proc/7176/stat): 7176 (pb2sat) R 7175 7176 4060 0 -1 0 52075 0 0 0 19379 288 0 0 25 0 1 0 21222185 154726400 31314 4294967295 134512640 135987407 3221224560 3221223424 134812647 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7176/statm): 37775 31314 364 364 0 37411 0
[pid=7176] vsize: 151100
Current children cumulated CPU time (s) 196.67
Current children cumulated vsize (Kb) 151100

[startup+210.012 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7176
Raw data (/proc/7176/stat): 7176 (pb2sat) R 7175 7176 4060 0 -1 0 52154 0 0 0 20354 295 0 0 25 0 1 0 21222185 155131904 31393 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7176/statm): 37874 31393 364 364 0 37510 0
[pid=7176] vsize: 151496
Current children cumulated CPU time (s) 206.49
Current children cumulated vsize (Kb) 151496

[startup+220.013 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7176
Raw data (/proc/7176/stat): 7176 (pb2sat) R 7175 7176 4060 0 -1 0 52333 0 0 0 21330 303 0 0 25 0 1 0 21222185 156078080 31572 4294967295 134512640 135987407 3221224560 3221223248 134812135 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7176/statm): 38105 31572 364 364 0 37741 0
[pid=7176] vsize: 152420
Current children cumulated CPU time (s) 216.33
Current children cumulated vsize (Kb) 152420

[startup+230.013 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7176
Raw data (/proc/7176/stat): 7176 (pb2sat) R 7175 7176 4060 0 -1 0 52383 0 0 0 22302 313 0 0 20 0 1 0 21222185 156213248 31622 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7176/statm): 38138 31622 364 364 0 37774 0
[pid=7176] vsize: 152552
Current children cumulated CPU time (s) 226.15
Current children cumulated vsize (Kb) 152552

[startup+240.013 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7176
Raw data (/proc/7176/stat): 7176 (pb2sat) R 7175 7176 4060 0 -1 0 52426 0 0 0 23279 322 0 0 25 0 1 0 21222185 156348416 31665 4294967295 134512640 135987407 3221224560 3221223248 134812046 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7176/statm): 38171 31665 364 364 0 37807 0
[pid=7176] vsize: 152684
Current children cumulated CPU time (s) 236.01
Current children cumulated vsize (Kb) 152684

[startup+250.014 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7176
Raw data (/proc/7176/stat): 7176 (pb2sat) R 7175 7176 4060 0 -1 0 53070 0 0 0 24259 329 0 0 25 0 1 0 21222185 156348416 31691 4294967295 134512640 135987407 3221224560 3221223408 134790054 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7176/statm): 38171 31691 364 364 0 37807 0
[pid=7176] vsize: 152684
Current children cumulated CPU time (s) 245.88
Current children cumulated vsize (Kb) 152684

[startup+260.015 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7176
Raw data (/proc/7176/stat): 7176 (pb2sat) R 7175 7176 4060 0 -1 0 53161 0 0 0 25233 338 0 0 25 0 1 0 21222185 156753920 31782 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7176/statm): 38270 31782 364 364 0 37906 0
[pid=7176] vsize: 153080
Current children cumulated CPU time (s) 255.71
Current children cumulated vsize (Kb) 153080

[startup+270.015 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7176
Raw data (/proc/7176/stat): 7176 (pb2sat) R 7175 7176 4060 0 -1 0 53178 0 0 0 26206 347 0 0 25 0 1 0 21222185 156753920 31799 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7176/statm): 38270 31799 364 364 0 37906 0
[pid=7176] vsize: 153080
Current children cumulated CPU time (s) 265.53
Current children cumulated vsize (Kb) 153080

[startup+280.014 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7176
Raw data (/proc/7176/stat): 7176 (pb2sat) R 7175 7176 4060 0 -1 0 53224 0 0 0 27185 356 0 0 25 0 1 0 21222185 156889088 31845 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7176/statm): 38303 31845 364 364 0 37939 0
[pid=7176] vsize: 153212
Current children cumulated CPU time (s) 275.41
Current children cumulated vsize (Kb) 153212

[startup+290.015 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7176
Raw data (/proc/7176/stat): 7176 (pb2sat) R 7175 7176 4060 0 -1 0 53240 0 0 0 28156 366 0 0 25 0 1 0 21222185 156889088 31861 4294967295 134512640 135987407 3221224560 3221223344 134812304 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7176/statm): 38303 31861 364 364 0 37939 0
[pid=7176] vsize: 153212
Current children cumulated CPU time (s) 285.22
Current children cumulated vsize (Kb) 153212

[startup+300.016 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7176
Raw data (/proc/7176/stat): 7176 (pb2sat) R 7175 7176 4060 0 -1 0 53883 0 0 0 29126 377 0 0 25 0 1 0 21222185 156889088 31886 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7176/statm): 38303 31886 364 364 0 37939 0
[pid=7176] vsize: 153212
Current children cumulated CPU time (s) 295.03
Current children cumulated vsize (Kb) 153212

[startup+310.016 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7176
Raw data (/proc/7176/stat): 7176 (pb2sat) R 7175 7176 4060 0 -1 0 53921 0 0 0 30102 385 0 0 25 0 1 0 21222185 157024256 31924 4294967295 134512640 135987407 3221224560 3221223320 134811683 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7176/statm): 38336 31924 364 364 0 37972 0
[pid=7176] vsize: 153344
Current children cumulated CPU time (s) 304.87
Current children cumulated vsize (Kb) 153344

[startup+320.016 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7176
Raw data (/proc/7176/stat): 7176 (pb2sat) R 7175 7176 4060 0 -1 0 53979 0 0 0 31078 393 0 0 25 0 1 0 21222185 157294592 31982 4294967295 134512640 135987407 3221224560 3221223408 134790069 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7176/statm): 38402 31982 364 364 0 38038 0
[pid=7176] vsize: 153608
Current children cumulated CPU time (s) 314.71
Current children cumulated vsize (Kb) 153608

[startup+330.015 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7176
Raw data (/proc/7176/stat): 7176 (pb2sat) R 7175 7176 4060 0 -1 0 53995 0 0 0 32043 405 0 0 25 0 1 0 21222185 157294592 31998 4294967295 134512640 135987407 3221224560 3221223408 134790000 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7176/statm): 38402 31998 364 364 0 38038 0
[pid=7176] vsize: 153608
Current children cumulated CPU time (s) 324.48
Current children cumulated vsize (Kb) 153608

[startup+340.015 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7176
Raw data (/proc/7176/stat): 7176 (pb2sat) R 7175 7176 4060 0 -1 0 54052 0 0 0 33015 414 0 0 25 0 1 0 21222185 157560832 32055 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7176/statm): 38467 32055 364 364 0 38103 0
[pid=7176] vsize: 153868
Current children cumulated CPU time (s) 334.29
Current children cumulated vsize (Kb) 153868

[startup+350.017 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7176
Raw data (/proc/7176/stat): 7176 (pb2sat) R 7175 7176 4060 0 -1 0 54158 0 0 0 33985 423 0 0 25 0 1 0 21222185 158101504 32161 4294967295 134512640 135987407 3221224560 3221223376 134824247 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7176/statm): 38599 32161 364 364 0 38235 0
[pid=7176] vsize: 154396
Current children cumulated CPU time (s) 344.08
Current children cumulated vsize (Kb) 154396

[startup+360.017 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7176
Raw data (/proc/7176/stat): 7176 (pb2sat) R 7175 7176 4060 0 -1 0 54245 0 0 0 34960 433 0 0 25 0 1 0 21222185 158367744 32215 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7176/statm): 38664 32215 364 364 0 38300 0
[pid=7176] vsize: 154656
Current children cumulated CPU time (s) 353.93
Current children cumulated vsize (Kb) 154656

[startup+370.017 s]
Raw data (loadavg): 0.99 0.97 0.96 1/55 7176
Raw data (/proc/7176/stat): 7176 (pb2sat) T 7175 7176 4060 0 -1 0 54280 0 0 0 35938 441 0 0 25 0 1 0 21222185 158367744 32250 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/7176/statm): 38664 32250 364 364 0 38300 0
[pid=7176] vsize: 154656
Current children cumulated CPU time (s) 363.79
Current children cumulated vsize (Kb) 154656

[startup+380.017 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7176
Raw data (/proc/7176/stat): 7176 (pb2sat) R 7175 7176 4060 0 -1 0 54309 0 0 0 36906 452 0 0 25 0 1 0 21222185 158367744 32279 4294967295 134512640 135987407 3221224560 3221223408 134790054 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7176/statm): 38664 32279 364 364 0 38300 0
[pid=7176] vsize: 154656
Current children cumulated CPU time (s) 373.58
Current children cumulated vsize (Kb) 154656

[startup+390.017 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7176
Raw data (/proc/7176/stat): 7176 (pb2sat) R 7175 7176 4060 0 -1 0 54957 0 0 0 37880 461 0 0 25 0 1 0 21222185 158502912 32309 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7176/statm): 38697 32309 364 364 0 38333 0
[pid=7176] vsize: 154788
Current children cumulated CPU time (s) 383.41
Current children cumulated vsize (Kb) 154788

[startup+400.018 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7176
Raw data (/proc/7176/stat): 7176 (pb2sat) R 7175 7176 4060 0 -1 0 54993 0 0 0 38855 469 0 0 25 0 1 0 21222185 158638080 32345 4294967295 134512640 135987407 3221224560 3221223424 134812647 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7176/statm): 38730 32345 364 364 0 38366 0
[pid=7176] vsize: 154920
Current children cumulated CPU time (s) 393.24
Current children cumulated vsize (Kb) 154920

[startup+410.019 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7176
Raw data (/proc/7176/stat): 7176 (pb2sat) R 7175 7176 4060 0 -1 0 55039 0 0 0 39824 480 0 0 25 0 1 0 21222185 158773248 32391 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7176/statm): 38763 32391 364 364 0 38399 0
[pid=7176] vsize: 155052
Current children cumulated CPU time (s) 403.04
Current children cumulated vsize (Kb) 155052

[startup+420.019 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7176
Raw data (/proc/7176/stat): 7176 (pb2sat) R 7175 7176 4060 0 -1 0 55052 0 0 0 40795 491 0 0 25 0 1 0 21222185 158773248 32404 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7176/statm): 38763 32404 364 364 0 38399 0
[pid=7176] vsize: 155052
Current children cumulated CPU time (s) 412.86
Current children cumulated vsize (Kb) 155052

[startup+430.02 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7176
Raw data (/proc/7176/stat): 7176 (pb2sat) R 7175 7176 4060 0 -1 0 55068 0 0 0 41764 501 0 0 25 0 1 0 21222185 158773248 32420 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7176/statm): 38763 32420 364 364 0 38399 0
[pid=7176] vsize: 155052
Current children cumulated CPU time (s) 422.65
Current children cumulated vsize (Kb) 155052

[startup+440.02 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7176
Raw data (/proc/7176/stat): 7176 (pb2sat) R 7175 7176 4060 0 -1 0 55142 0 0 0 42736 511 0 0 25 0 1 0 21222185 159174656 32494 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7176/statm): 38861 32494 364 364 0 38497 0
[pid=7176] vsize: 155444
Current children cumulated CPU time (s) 432.47
Current children cumulated vsize (Kb) 155444

[startup+450.021 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7176
Raw data (/proc/7176/stat): 7176 (pb2sat) R 7175 7176 4060 0 -1 0 55193 0 0 0 43714 517 0 0 25 0 1 0 21222185 159305728 32512 4294967295 134512640 135987407 3221224560 3221223408 134790078 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7176/statm): 38893 32512 364 364 0 38529 0
[pid=7176] vsize: 155572
Current children cumulated CPU time (s) 442.31
Current children cumulated vsize (Kb) 155572

[startup+460.021 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7176
Raw data (/proc/7176/stat): 7176 (pb2sat) R 7175 7176 4060 0 -1 0 55213 0 0 0 44683 526 0 0 25 0 1 0 21222185 159305728 32532 4294967295 134512640 135987407 3221224560 3221223424 134812787 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7176/statm): 38893 32532 364 364 0 38529 0
[pid=7176] vsize: 155572
Current children cumulated CPU time (s) 452.09
Current children cumulated vsize (Kb) 155572

[startup+470.022 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7176
Raw data (/proc/7176/stat): 7176 (pb2sat) R 7175 7176 4060 0 -1 0 55224 0 0 0 45654 536 0 0 25 0 1 0 21222185 159305728 32543 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7176/statm): 38893 32543 364 364 0 38529 0
[pid=7176] vsize: 155572
Current children cumulated CPU time (s) 461.9
Current children cumulated vsize (Kb) 155572

[startup+480.023 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7176
Raw data (/proc/7176/stat): 7176 (pb2sat) R 7175 7176 4060 0 -1 0 55245 0 0 0 46625 545 0 0 25 0 1 0 21222185 159305728 32564 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7176/statm): 38893 32564 364 364 0 38529 0
[pid=7176] vsize: 155572
Current children cumulated CPU time (s) 471.7
Current children cumulated vsize (Kb) 155572

[startup+490.022 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7176
Raw data (/proc/7176/stat): 7176 (pb2sat) R 7175 7176 4060 0 -1 0 55252 0 0 0 47596 555 0 0 25 0 1 0 21222185 159305728 32571 4294967295 134512640 135987407 3221224560 3221223312 134801251 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7176/statm): 38893 32571 364 364 0 38529 0
[pid=7176] vsize: 155572
Current children cumulated CPU time (s) 481.51
Current children cumulated vsize (Kb) 155572

[startup+500.023 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7176
Raw data (/proc/7176/stat): 7176 (pb2sat) R 7175 7176 4060 0 -1 0 55326 0 0 0 48567 565 0 0 25 0 1 0 21222185 159436800 32612 4294967295 134512640 135987407 3221224560 3221223424 134812647 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7176/statm): 38925 32612 364 364 0 38561 0
[pid=7176] vsize: 155700
Current children cumulated CPU time (s) 491.32
Current children cumulated vsize (Kb) 155700

[startup+510.023 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7176
Raw data (/proc/7176/stat): 7176 (pb2sat) R 7175 7176 4060 0 -1 0 55965 0 0 0 49540 576 0 0 25 0 1 0 21222185 159436800 32633 4294967295 134512640 135987407 3221224560 3221223328 134812426 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7176/statm): 38925 32633 364 364 0 38561 0
[pid=7176] vsize: 155700
Current children cumulated CPU time (s) 501.16
Current children cumulated vsize (Kb) 155700

[startup+520.023 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7176
Raw data (/proc/7176/stat): 7176 (pb2sat) R 7175 7176 4060 0 -1 0 55989 0 0 0 50517 583 0 0 25 0 1 0 21222185 159436800 32657 4294967295 134512640 135987407 3221224560 3221223424 134812647 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7176/statm): 38925 32657 364 364 0 38561 0
[pid=7176] vsize: 155700
Current children cumulated CPU time (s) 511
Current children cumulated vsize (Kb) 155700

[startup+530.024 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7176
Raw data (/proc/7176/stat): 7176 (pb2sat) R 7175 7176 4060 0 -1 0 56876 0 0 0 51503 591 0 0 25 0 1 0 21222185 160493568 32794 4294967295 134512640 135987407 3221224560 3221223248 134811885 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7176/statm): 39183 32794 364 364 0 38819 0
[pid=7176] vsize: 156732
Current children cumulated CPU time (s) 520.94
Current children cumulated vsize (Kb) 156732

[startup+540.024 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7176
Raw data (/proc/7176/stat): 7176 (pb2sat) R 7175 7176 4060 0 -1 0 56879 0 0 0 52475 600 0 0 25 0 1 0 21222185 160493568 32797 4294967295 134512640 135987407 3221224560 3221223248 134812112 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7176/statm): 39183 32797 364 364 0 38819 0
[pid=7176] vsize: 156732
Current children cumulated CPU time (s) 530.75
Current children cumulated vsize (Kb) 156732

[startup+550.025 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7176
Raw data (/proc/7176/stat): 7176 (pb2sat) R 7175 7176 4060 0 -1 0 56936 0 0 0 53450 608 0 0 25 0 1 0 21222185 160624640 32821 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7176/statm): 39215 32821 364 364 0 38851 0
[pid=7176] vsize: 156860
Current children cumulated CPU time (s) 540.58
Current children cumulated vsize (Kb) 156860

[startup+560.025 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7176
Raw data (/proc/7176/stat): 7176 (pb2sat) R 7175 7176 4060 0 -1 0 56940 0 0 0 54421 617 0 0 25 0 1 0 21222185 160624640 32825 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7176/statm): 39215 32825 364 364 0 38851 0
[pid=7176] vsize: 156860
Current children cumulated CPU time (s) 550.38
Current children cumulated vsize (Kb) 156860

[startup+570.025 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7176
Raw data (/proc/7176/stat): 7176 (pb2sat) R 7175 7176 4060 0 -1 0 56985 0 0 0 55395 627 0 0 25 0 1 0 21222185 160890880 32870 4294967295 134512640 135987407 3221224560 3221223344 134812334 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7176/statm): 39280 32870 364 364 0 38916 0
[pid=7176] vsize: 157120
Current children cumulated CPU time (s) 560.22
Current children cumulated vsize (Kb) 157120

[startup+580.026 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7176
Raw data (/proc/7176/stat): 7176 (pb2sat) R 7175 7176 4060 0 -1 0 57017 0 0 0 56369 635 0 0 25 0 1 0 21222185 160890880 32902 4294967295 134512640 135987407 3221224560 3221223388 134812256 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7176/statm): 39280 32902 364 364 0 38916 0
[pid=7176] vsize: 157120
Current children cumulated CPU time (s) 570.04
Current children cumulated vsize (Kb) 157120

[startup+590.026 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7176
Raw data (/proc/7176/stat): 7176 (pb2sat) R 7175 7176 4060 0 -1 0 57029 0 0 0 57343 645 0 0 25 0 1 0 21222185 160890880 32914 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7176/statm): 39280 32914 364 364 0 38916 0
[pid=7176] vsize: 157120
Current children cumulated CPU time (s) 579.88
Current children cumulated vsize (Kb) 157120

[startup+600.027 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7176
Raw data (/proc/7176/stat): 7176 (pb2sat) R 7175 7176 4060 0 -1 0 57105 0 0 0 58316 655 0 0 25 0 1 0 21222185 161021952 32957 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7176/statm): 39312 32957 364 364 0 38948 0
[pid=7176] vsize: 157248
Current children cumulated CPU time (s) 589.71
Current children cumulated vsize (Kb) 157248

[startup+610.027 s]
Raw data (loadavg): 0.99 0.97 0.96 1/55 7176
Raw data (/proc/7176/stat): 7176 (pb2sat) T 7175 7176 4060 0 -1 0 57724 0 0 0 59296 663 0 0 25 0 1 0 21222185 161021952 32958 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/7176/statm): 39312 32958 364 364 0 38948 0
[pid=7176] vsize: 157248
Current children cumulated CPU time (s) 599.59
Current children cumulated vsize (Kb) 157248

[startup+620.027 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7176
Raw data (/proc/7176/stat): 7176 (pb2sat) R 7175 7176 4060 0 -1 0 57768 0 0 0 60271 672 0 0 25 0 1 0 21222185 161288192 33002 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7176/statm): 39377 33002 364 364 0 39013 0
[pid=7176] vsize: 157508
Current children cumulated CPU time (s) 609.43
Current children cumulated vsize (Kb) 157508

[startup+630.028 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7176
Raw data (/proc/7176/stat): 7176 (pb2sat) R 7175 7176 4060 0 -1 0 57860 0 0 0 61245 680 0 0 25 0 1 0 21222185 161685504 33061 4294967295 134512640 135987407 3221224560 3221223344 134812358 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7176/statm): 39474 33061 364 364 0 39110 0
[pid=7176] vsize: 157896
Current children cumulated CPU time (s) 619.25
Current children cumulated vsize (Kb) 157896

[startup+640.029 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7176
Raw data (/proc/7176/stat): 7176 (pb2sat) R 7175 7176 4060 0 -1 0 58518 0 0 0 62216 691 0 0 25 0 1 0 21222185 161816576 33068 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7176/statm): 39506 33068 364 364 0 39142 0
[pid=7176] vsize: 158024
Current children cumulated CPU time (s) 629.07
Current children cumulated vsize (Kb) 158024

[startup+650.029 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7176
Raw data (/proc/7176/stat): 7176 (pb2sat) R 7175 7176 4060 0 -1 0 58564 0 0 0 63189 700 0 0 25 0 1 0 21222185 161947648 33081 4294967295 134512640 135987407 3221224560 3221223248 134811816 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7176/statm): 39538 33081 364 364 0 39174 0
[pid=7176] vsize: 158152
Current children cumulated CPU time (s) 638.89
Current children cumulated vsize (Kb) 158152

[startup+660.029 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7176
Raw data (/proc/7176/stat): 7176 (pb2sat) R 7175 7176 4060 0 -1 0 58575 0 0 0 64161 709 0 0 25 0 1 0 21222185 161947648 33092 4294967295 134512640 135987407 3221224560 3221223280 134814273 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7176/statm): 39538 33092 364 364 0 39174 0
[pid=7176] vsize: 158152
Current children cumulated CPU time (s) 648.7
Current children cumulated vsize (Kb) 158152

[startup+670.029 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7176
Raw data (/proc/7176/stat): 7176 (pb2sat) R 7175 7176 4060 0 -1 0 59281 0 0 0 65139 716 0 0 25 0 1 0 21222185 162344960 33147 4294967295 134512640 135987407 3221224560 3221223424 134812789 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7176/statm): 39635 33147 364 364 0 39271 0
[pid=7176] vsize: 158540
Current children cumulated CPU time (s) 658.55
Current children cumulated vsize (Kb) 158540

[startup+680.03 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7176
Raw data (/proc/7176/stat): 7176 (pb2sat) R 7175 7176 4060 0 -1 0 59324 0 0 0 66117 724 0 0 25 0 1 0 21222185 162476032 33157 4294967295 134512640 135987407 3221224560 3221223248 134811765 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7176/statm): 39667 33157 364 364 0 39303 0
[pid=7176] vsize: 158668
Current children cumulated CPU time (s) 668.41
Current children cumulated vsize (Kb) 158668

[startup+690.029 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7176
Raw data (/proc/7176/stat): 7176 (pb2sat) R 7175 7176 4060 0 -1 0 59335 0 0 0 67094 733 0 0 25 0 1 0 21222185 162476032 33168 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7176/statm): 39667 33168 364 364 0 39303 0
[pid=7176] vsize: 158668
Current children cumulated CPU time (s) 678.27
Current children cumulated vsize (Kb) 158668

[startup+700.03 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7176
Raw data (/proc/7176/stat): 7176 (pb2sat) R 7175 7176 4060 0 -1 0 59377 0 0 0 68066 743 0 0 25 0 1 0 21222185 162607104 33177 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7176/statm): 39699 33177 364 364 0 39335 0
[pid=7176] vsize: 158796
Current children cumulated CPU time (s) 688.09
Current children cumulated vsize (Kb) 158796

[startup+710.031 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7176
Raw data (/proc/7176/stat): 7176 (pb2sat) R 7175 7176 4060 0 -1 0 59394 0 0 0 69038 753 0 0 25 0 1 0 21222185 162607104 33194 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7176/statm): 39699 33194 364 364 0 39335 0
[pid=7176] vsize: 158796
Current children cumulated CPU time (s) 697.91
Current children cumulated vsize (Kb) 158796

[startup+720.031 s]
Raw data (loadavg): 0.99 0.97 0.96 3/55 7176
Raw data (/proc/7176/stat): 7176 (pb2sat) R 7175 7176 4060 0 -1 0 59446 0 0 0 70010 762 0 0 25 0 1 0 21222185 162738176 33213 4294967295 134512640 135987407 3221224560 3221223344 134812406 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7176/statm): 39731 33213 364 364 0 39367 0
[pid=7176] vsize: 158924
Current children cumulated CPU time (s) 707.72
Current children cumulated vsize (Kb) 158924

[startup+730.032 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7176
Raw data (/proc/7176/stat): 7176 (pb2sat) R 7175 7176 4060 0 -1 0 59470 0 0 0 70982 772 0 0 25 0 1 0 21222185 162738176 33237 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7176/statm): 39731 33237 364 364 0 39367 0
[pid=7176] vsize: 158924
Current children cumulated CPU time (s) 717.54
Current children cumulated vsize (Kb) 158924

[startup+740.033 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7176
Raw data (/proc/7176/stat): 7176 (pb2sat) R 7175 7176 4060 0 -1 0 60229 0 0 0 71956 782 0 0 25 0 1 0 21222185 163131392 33279 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7176/statm): 39827 33279 364 364 0 39463 0
[pid=7176] vsize: 159308
Current children cumulated CPU time (s) 727.38
Current children cumulated vsize (Kb) 159308

[startup+750.033 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7176
Raw data (/proc/7176/stat): 7176 (pb2sat) R 7175 7176 4060 0 -1 0 60237 0 0 0 72930 791 0 0 25 0 1 0 21222185 163131392 33287 4294967295 134512640 135987407 3221224560 3221223344 134812368 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7176/statm): 39827 33287 364 364 0 39463 0
[pid=7176] vsize: 159308
Current children cumulated CPU time (s) 737.21
Current children cumulated vsize (Kb) 159308

[startup+760.033 s]
Raw data (loadavg): 0.99 0.97 0.96 1/55 7176
Raw data (/proc/7176/stat): 7176 (pb2sat) T 7175 7176 4060 0 -1 0 60301 0 0 0 73902 800 0 0 25 0 1 0 21222185 163262464 33318 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/7176/statm): 39859 33318 364 364 0 39495 0
[pid=7176] vsize: 159436
Current children cumulated CPU time (s) 747.02
Current children cumulated vsize (Kb) 159436

[startup+770.034 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7176
Raw data (/proc/7176/stat): 7176 (pb2sat) R 7175 7176 4060 0 -1 0 60311 0 0 0 74875 808 0 0 25 0 1 0 21222185 163262464 33328 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7176/statm): 39859 33328 364 364 0 39495 0
[pid=7176] vsize: 159436
Current children cumulated CPU time (s) 756.83
Current children cumulated vsize (Kb) 159436

[startup+780.035 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7176
Raw data (/proc/7176/stat): 7176 (pb2sat) R 7175 7176 4060 0 -1 0 60936 0 0 0 75852 818 0 0 25 0 1 0 21222185 163262464 33335 4294967295 134512640 135987407 3221224560 3221223292 135499901 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7176/statm): 39859 33335 364 364 0 39495 0
[pid=7176] vsize: 159436
Current children cumulated CPU time (s) 766.7
Current children cumulated vsize (Kb) 159436

[startup+790.035 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7176
Raw data (/proc/7176/stat): 7176 (pb2sat) R 7175 7176 4060 0 -1 0 61008 0 0 0 76819 831 0 0 25 0 1 0 21222185 163663872 33407 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7176/statm): 39957 33407 364 364 0 39593 0
[pid=7176] vsize: 159828
Current children cumulated CPU time (s) 776.5
Current children cumulated vsize (Kb) 159828

[startup+800.035 s]
Raw data (loadavg): 0.99 0.97 0.96 1/55 7176
Raw data (/proc/7176/stat): 7176 (pb2sat) T 7175 7176 4060 0 -1 0 61010 0 0 0 77791 841 0 0 25 0 1 0 21222185 163663872 33409 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/7176/statm): 39957 33409 364 364 0 39593 0
[pid=7176] vsize: 159828
Current children cumulated CPU time (s) 786.32
Current children cumulated vsize (Kb) 159828

[startup+810.036 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7176
Raw data (/proc/7176/stat): 7176 (pb2sat) R 7175 7176 4060 0 -1 0 61630 0 0 0 78765 850 0 0 25 0 1 0 21222185 163663872 33411 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7176/statm): 39957 33411 364 364 0 39593 0
[pid=7176] vsize: 159828
Current children cumulated CPU time (s) 796.15
Current children cumulated vsize (Kb) 159828

[startup+820.036 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7176
Raw data (/proc/7176/stat): 7176 (pb2sat) R 7175 7176 4060 0 -1 0 61714 0 0 0 79736 860 0 0 25 0 1 0 21222185 164061184 33462 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7176/statm): 40054 33462 364 364 0 39690 0
[pid=7176] vsize: 160216
Current children cumulated CPU time (s) 805.96
Current children cumulated vsize (Kb) 160216

[startup+830.037 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7176
Raw data (/proc/7176/stat): 7176 (pb2sat) R 7175 7176 4060 0 -1 0 61720 0 0 0 80709 871 0 0 25 0 1 0 21222185 164061184 33468 4294967295 134512640 135987407 3221224560 3221223376 134824717 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7176/statm): 40054 33468 364 364 0 39690 0
[pid=7176] vsize: 160216
Current children cumulated CPU time (s) 815.8
Current children cumulated vsize (Kb) 160216

[startup+840.038 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7176
Raw data (/proc/7176/stat): 7176 (pb2sat) R 7175 7176 4060 0 -1 0 61725 0 0 0 81684 880 0 0 25 0 1 0 21222185 164061184 33473 4294967295 134512640 135987407 3221224560 3221223248 134811870 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7176/statm): 40054 33473 364 364 0 39690 0
[pid=7176] vsize: 160216
Current children cumulated CPU time (s) 825.64
Current children cumulated vsize (Kb) 160216

[startup+850.038 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7176
Raw data (/proc/7176/stat): 7176 (pb2sat) R 7175 7176 4060 0 -1 0 61736 0 0 0 82658 890 0 0 25 0 1 0 21222185 164061184 33484 4294967295 134512640 135987407 3221224560 3221223248 134812056 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7176/statm): 40054 33484 364 364 0 39690 0
[pid=7176] vsize: 160216
Current children cumulated CPU time (s) 835.48
Current children cumulated vsize (Kb) 160216

[startup+860.038 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7176
Raw data (/proc/7176/stat): 7176 (pb2sat) R 7175 7176 4060 0 -1 0 61833 0 0 0 83633 898 0 0 25 0 1 0 21222185 164323328 33515 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7176/statm): 40118 33515 364 364 0 39754 0
[pid=7176] vsize: 160472
Current children cumulated CPU time (s) 845.31
Current children cumulated vsize (Kb) 160472

[startup+870.038 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7176
Raw data (/proc/7176/stat): 7176 (pb2sat) R 7175 7176 4060 0 -1 0 62464 0 0 0 84609 907 0 0 25 0 1 0 21222185 164323328 33528 4294967295 134512640 135987407 3221224560 3221223320 134811681 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7176/statm): 40118 33528 364 364 0 39754 0
[pid=7176] vsize: 160472
Current children cumulated CPU time (s) 855.16
Current children cumulated vsize (Kb) 160472

[startup+880.039 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7176
Raw data (/proc/7176/stat): 7176 (pb2sat) R 7175 7176 4060 0 -1 0 62471 0 0 0 85579 918 0 0 25 0 1 0 21222185 164323328 33535 4294967295 134512640 135987407 3221224560 3221223424 134812644 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7176/statm): 40118 33535 364 364 0 39754 0
[pid=7176] vsize: 160472
Current children cumulated CPU time (s) 864.97
Current children cumulated vsize (Kb) 160472

[startup+890.04 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7176
Raw data (/proc/7176/stat): 7176 (pb2sat) R 7175 7176 4060 0 -1 0 62539 0 0 0 86551 928 0 0 25 0 1 0 21222185 164593664 33603 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7176/statm): 40184 33603 364 364 0 39820 0
[pid=7176] vsize: 160736
Current children cumulated CPU time (s) 874.79
Current children cumulated vsize (Kb) 160736

[startup+900.041 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7176
Raw data (/proc/7176/stat): 7176 (pb2sat) R 7175 7176 4060 0 -1 0 63205 0 0 0 87521 938 0 0 25 0 1 0 21222185 164724736 33618 4294967295 134512640 135987407 3221224560 3221223424 134812647 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7176/statm): 40216 33618 364 364 0 39852 0
[pid=7176] vsize: 160864
Current children cumulated CPU time (s) 884.59
Current children cumulated vsize (Kb) 160864

[startup+910.041 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7176
Raw data (/proc/7176/stat): 7176 (pb2sat) R 7175 7176 4060 0 -1 0 63216 0 0 0 88505 943 0 0 25 0 1 0 21222185 164724736 33629 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7176/statm): 40216 33629 364 364 0 39852 0
[pid=7176] vsize: 160864
Current children cumulated CPU time (s) 894.48
Current children cumulated vsize (Kb) 160864

[startup+920.041 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7176
Raw data (/proc/7176/stat): 7176 (pb2sat) R 7175 7176 4060 0 -1 0 63231 0 0 0 89476 953 0 0 25 0 1 0 21222185 164724736 33644 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7176/statm): 40216 33644 364 364 0 39852 0
[pid=7176] vsize: 160864
Current children cumulated CPU time (s) 904.29
Current children cumulated vsize (Kb) 160864

[startup+930.041 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7176
Raw data (/proc/7176/stat): 7176 (pb2sat) R 7175 7176 4060 0 -1 0 63862 0 0 0 90450 964 0 0 25 0 1 0 21222185 164724736 33657 4294967295 134512640 135987407 3221224560 3221223408 134790069 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7176/statm): 40216 33657 364 364 0 39852 0
[pid=7176] vsize: 160864
Current children cumulated CPU time (s) 914.14
Current children cumulated vsize (Kb) 160864

[startup+940.041 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7176
Raw data (/proc/7176/stat): 7176 (pb2sat) R 7175 7176 4060 0 -1 0 63870 0 0 0 91421 973 0 0 25 0 1 0 21222185 164724736 33665 4294967295 134512640 135987407 3221224560 3221223248 134811807 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7176/statm): 40216 33665 364 364 0 39852 0
[pid=7176] vsize: 160864
Current children cumulated CPU time (s) 923.94
Current children cumulated vsize (Kb) 160864

[startup+950.043 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7176
Raw data (/proc/7176/stat): 7176 (pb2sat) R 7175 7176 4060 0 -1 0 63923 0 0 0 92393 983 0 0 25 0 1 0 21222185 164855808 33685 4294967295 134512640 135987407 3221224560 3221223248 134788799 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7176/statm): 40248 33685 364 364 0 39884 0
[pid=7176] vsize: 160992
Current children cumulated CPU time (s) 933.76
Current children cumulated vsize (Kb) 160992

[startup+960.042 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7176
Raw data (/proc/7176/stat): 7176 (pb2sat) R 7175 7176 4060 0 -1 0 63976 0 0 0 93364 993 0 0 25 0 1 0 21222185 164986880 33705 4294967295 134512640 135987407 3221224560 3221223424 134812647 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7176/statm): 40280 33705 364 364 0 39916 0
[pid=7176] vsize: 161120
Current children cumulated CPU time (s) 943.57
Current children cumulated vsize (Kb) 161120

[startup+970.042 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7176
Raw data (/proc/7176/stat): 7176 (pb2sat) R 7175 7176 4060 0 -1 0 63987 0 0 0 94333 1004 0 0 25 0 1 0 21222185 164986880 33716 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7176/statm): 40280 33716 364 364 0 39916 0
[pid=7176] vsize: 161120
Current children cumulated CPU time (s) 953.37
Current children cumulated vsize (Kb) 161120

[startup+980.043 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7176
Raw data (/proc/7176/stat): 7176 (pb2sat) R 7175 7176 4060 0 -1 0 64612 0 0 0 95310 1013 0 0 25 0 1 0 21222185 164986880 33723 4294967295 134512640 135987407 3221224560 3221223388 134812256 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7176/statm): 40280 33723 364 364 0 39916 0
[pid=7176] vsize: 161120
Current children cumulated CPU time (s) 963.23
Current children cumulated vsize (Kb) 161120

[startup+990.043 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7176
Raw data (/proc/7176/stat): 7176 (pb2sat) R 7175 7176 4060 0 -1 0 64614 0 0 0 96283 1022 0 0 25 0 1 0 21222185 164986880 33725 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7176/statm): 40280 33725 364 364 0 39916 0
[pid=7176] vsize: 161120
Current children cumulated CPU time (s) 973.05
Current children cumulated vsize (Kb) 161120

[startup+1000.04 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7176
Raw data (/proc/7176/stat): 7176 (pb2sat) R 7175 7176 4060 0 -1 0 64688 0 0 0 97261 1029 0 0 25 0 1 0 21222185 165249024 33733 4294967295 134512640 135987407 3221224560 3221223120 134788429 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7176/statm): 40344 33733 364 364 0 39980 0
[pid=7176] vsize: 161376
Current children cumulated CPU time (s) 982.9
Current children cumulated vsize (Kb) 161376

[startup+1010.04 s]
Raw data (loadavg): 0.99 0.97 0.96 1/55 7176
Raw data (/proc/7176/stat): 7176 (pb2sat) T 7175 7176 4060 0 -1 0 64725 0 0 0 98237 1038 0 0 25 0 1 0 21222185 165380096 33737 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/7176/statm): 40376 33737 364 364 0 40012 0
[pid=7176] vsize: 161504
Current children cumulated CPU time (s) 992.75
Current children cumulated vsize (Kb) 161504

[startup+1020.04 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7176
Raw data (/proc/7176/stat): 7176 (pb2sat) R 7175 7176 4060 0 -1 0 64772 0 0 0 99214 1045 0 0 25 0 1 0 21222185 165511168 33751 4294967295 134512640 135987407 3221224560 3221223408 134790069 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7176/statm): 40408 33751 364 364 0 40044 0
[pid=7176] vsize: 161632
Current children cumulated CPU time (s) 1002.59
Current children cumulated vsize (Kb) 161632

[startup+1030.05 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7176
Raw data (/proc/7176/stat): 7176 (pb2sat) R 7175 7176 4060 0 -1 0 64773 0 0 0 100191 1053 0 0 25 0 1 0 21222185 165511168 33752 4294967295 134512640 135987407 3221224560 3221223248 134811824 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7176/statm): 40408 33752 364 364 0 40044 0
[pid=7176] vsize: 161632
Current children cumulated CPU time (s) 1012.44
Current children cumulated vsize (Kb) 161632

[startup+1040.05 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7176
Raw data (/proc/7176/stat): 7176 (pb2sat) R 7175 7176 4060 0 -1 0 64815 0 0 0 101168 1061 0 0 25 0 1 0 21222185 165642240 33761 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7176/statm): 40440 33761 364 364 0 40076 0
[pid=7176] vsize: 161760
Current children cumulated CPU time (s) 1022.29
Current children cumulated vsize (Kb) 161760

[startup+1050.05 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7176
Raw data (/proc/7176/stat): 7176 (pb2sat) R 7175 7176 4060 0 -1 0 64819 0 0 0 102145 1069 0 0 25 0 1 0 21222185 165642240 33765 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7176/statm): 40440 33765 364 364 0 40076 0
[pid=7176] vsize: 161760
Current children cumulated CPU time (s) 1032.14
Current children cumulated vsize (Kb) 161760

[startup+1060.05 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7176
Raw data (/proc/7176/stat): 7176 (pb2sat) R 7175 7176 4060 0 -1 0 64822 0 0 0 103119 1077 0 0 25 0 1 0 21222185 165642240 33768 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7176/statm): 40440 33768 364 364 0 40076 0
[pid=7176] vsize: 161760
Current children cumulated CPU time (s) 1041.96
Current children cumulated vsize (Kb) 161760

[startup+1070.05 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7176
Raw data (/proc/7176/stat): 7176 (pb2sat) R 7175 7176 4060 0 -1 0 64832 0 0 0 104092 1087 0 0 25 0 1 0 21222185 165642240 33778 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7176/statm): 40440 33778 364 364 0 40076 0
[pid=7176] vsize: 161760
Current children cumulated CPU time (s) 1051.79
Current children cumulated vsize (Kb) 161760

[startup+1080.05 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7176
Raw data (/proc/7176/stat): 7176 (pb2sat) R 7175 7176 4060 0 -1 0 64852 0 0 0 105076 1092 0 0 25 0 1 0 21222185 165642240 33798 4294967295 134512640 135987407 3221224560 3221223200 134789464 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7176/statm): 40440 33798 364 364 0 40076 0
[pid=7176] vsize: 161760
Current children cumulated CPU time (s) 1061.68
Current children cumulated vsize (Kb) 161760

[startup+1090.05 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7176
Raw data (/proc/7176/stat): 7176 (pb2sat) R 7175 7176 4060 0 -1 0 65478 0 0 0 106051 1103 0 0 25 0 1 0 21222185 165642240 33806 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7176/statm): 40440 33806 364 364 0 40076 0
[pid=7176] vsize: 161760
Current children cumulated CPU time (s) 1071.54
Current children cumulated vsize (Kb) 161760

[startup+1100.05 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7176
Raw data (/proc/7176/stat): 7176 (pb2sat) R 7175 7176 4060 0 -1 0 65524 0 0 0 107024 1111 0 0 25 0 1 0 21222185 165773312 33819 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7176/statm): 40472 33819 364 364 0 40108 0
[pid=7176] vsize: 161888
Current children cumulated CPU time (s) 1081.35
Current children cumulated vsize (Kb) 161888

[startup+1110.05 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7176
Raw data (/proc/7176/stat): 7176 (pb2sat) R 7175 7176 4060 0 -1 0 66150 0 0 0 108005 1119 0 0 25 0 1 0 21222185 165773312 33827 4294967295 134512640 135987407 3221224560 3221223248 134812043 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7176/statm): 40472 33827 364 364 0 40108 0
[pid=7176] vsize: 161888
Current children cumulated CPU time (s) 1091.24
Current children cumulated vsize (Kb) 161888

[startup+1120.05 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7176
Raw data (/proc/7176/stat): 7176 (pb2sat) R 7175 7176 4060 0 -1 0 66162 0 0 0 108981 1127 0 0 25 0 1 0 21222185 165773312 33839 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7176/statm): 40472 33839 364 364 0 40108 0
[pid=7176] vsize: 161888
Current children cumulated CPU time (s) 1101.08
Current children cumulated vsize (Kb) 161888

[startup+1130.05 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7176
Raw data (/proc/7176/stat): 7176 (pb2sat) R 7175 7176 4060 0 -1 0 66172 0 0 0 109953 1136 0 0 25 0 1 0 21222185 165773312 33849 4294967295 134512640 135987407 3221224560 3221223424 134812606 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7176/statm): 40472 33849 364 364 0 40108 0
[pid=7176] vsize: 161888
Current children cumulated CPU time (s) 1110.89
Current children cumulated vsize (Kb) 161888

[startup+1140.05 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7176
Raw data (/proc/7176/stat): 7176 (pb2sat) R 7175 7176 4060 0 -1 0 66242 0 0 0 110929 1145 0 0 25 0 1 0 21222185 165904384 33886 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7176/statm): 40504 33886 364 364 0 40140 0
[pid=7176] vsize: 162016
Current children cumulated CPU time (s) 1120.74
Current children cumulated vsize (Kb) 162016

[startup+1150.05 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7176
Raw data (/proc/7176/stat): 7176 (pb2sat) R 7175 7176 4060 0 -1 0 66875 0 0 0 111903 1156 0 0 25 0 1 0 21222185 165904384 33901 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7176/statm): 40504 33901 364 364 0 40140 0
[pid=7176] vsize: 162016
Current children cumulated CPU time (s) 1130.59
Current children cumulated vsize (Kb) 162016

[startup+1160.05 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7176
Raw data (/proc/7176/stat): 7176 (pb2sat) R 7175 7176 4060 0 -1 0 66885 0 0 0 112874 1165 0 0 25 0 1 0 21222185 165904384 33911 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7176/statm): 40504 33911 364 364 0 40140 0
[pid=7176] vsize: 162016
Current children cumulated CPU time (s) 1140.39
Current children cumulated vsize (Kb) 162016

[startup+1170.05 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7176
Raw data (/proc/7176/stat): 7176 (pb2sat) R 7175 7176 4060 0 -1 0 66898 0 0 0 113850 1172 0 0 25 0 1 0 21222185 165904384 33924 4294967295 134512640 135987407 3221224560 3221223424 134812647 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7176/statm): 40504 33924 364 364 0 40140 0
[pid=7176] vsize: 162016
Current children cumulated CPU time (s) 1150.22
Current children cumulated vsize (Kb) 162016

[startup+1180.05 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7176
Raw data (/proc/7176/stat): 7176 (pb2sat) R 7175 7176 4060 0 -1 0 66905 0 0 0 114818 1184 0 0 25 0 1 0 21222185 165904384 33931 4294967295 134512640 135987407 3221224560 3221223248 134812129 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7176/statm): 40504 33931 364 364 0 40140 0
[pid=7176] vsize: 162016
Current children cumulated CPU time (s) 1160.02
Current children cumulated vsize (Kb) 162016

[startup+1190.05 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7176
Raw data (/proc/7176/stat): 7176 (pb2sat) R 7175 7176 4060 0 -1 0 67545 0 0 0 115795 1192 0 0 25 0 1 0 21222185 165904384 33953 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7176/statm): 40504 33953 364 364 0 40140 0
[pid=7176] vsize: 162016
Current children cumulated CPU time (s) 1169.87
Current children cumulated vsize (Kb) 162016

[startup+1200.06 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7176
Raw data (/proc/7176/stat): 7176 (pb2sat) R 7175 7176 4060 0 -1 0 67558 0 0 0 116770 1200 0 0 25 0 1 0 21222185 165904384 33966 4294967295 134512640 135987407 3221224560 3221223120 134788502 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7176/statm): 40504 33966 364 364 0 40140 0
[pid=7176] vsize: 162016
Current children cumulated CPU time (s) 1179.7
Current children cumulated vsize (Kb) 162016

[startup+1210.06 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7176
Raw data (/proc/7176/stat): 7176 (pb2sat) R 7175 7176 4060 0 -1 0 67569 0 0 0 117746 1210 0 0 25 0 1 0 21222185 165904384 33977 4294967295 134512640 135987407 3221224560 3221223248 134811975 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7176/statm): 40504 33977 364 364 0 40140 0
[pid=7176] vsize: 162016
Current children cumulated CPU time (s) 1189.56
Current children cumulated vsize (Kb) 162016

[startup+1220.06 s]
Raw data (loadavg): 0.99 0.97 0.96 1/55 7176
Raw data (/proc/7176/stat): 7176 (pb2sat) T 7175 7176 4060 0 -1 0 67581 0 0 0 118722 1218 0 0 25 0 1 0 21222185 165904384 33989 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/7176/statm): 40504 33989 364 364 0 40140 0
[pid=7176] vsize: 162016
Current children cumulated CPU time (s) 1199.4
Current children cumulated vsize (Kb) 162016

[startup+1230.06 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7176
Raw data (/proc/7176/stat): 7176 (pb2sat) R 7175 7176 4060 0 -1 0 67593 0 0 0 119698 1227 0 0 25 0 1 0 21222185 165904384 34001 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7176/statm): 40504 34001 364 364 0 40140 0
[pid=7176] vsize: 162016
Current children cumulated CPU time (s) 1209.25
Current children cumulated vsize (Kb) 162016



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1230.06 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7176
Raw data (/proc/7176/stat): 7176 (pb2sat) R 7175 7176 4060 0 -1 0 67593 0 0 0 119698 1227 0 0 25 0 1 0 21222185 165904384 34001 4294967295 134512640 135987407 3221224560 3221223088 134775168 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7176/statm): 40504 34001 364 364 0 40140 0
[pid=7176] vsize: 162016
Current children cumulated CPU time (s) 1209.25
Current children cumulated vsize (Kb) 162016

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

Child status: 0
Real time (s): 1230.64
CPU time (s): 1209.83
CPU user time (s): 1197.48
CPU system time (s): 12.3481
CPU usage (%): 98.3089
Max. virtual memory (cumulated for all children) (Kb): 162016

Verifier Data

ERROR: no interpretation found !