Some explanations

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

General information on the benchmark

Namemps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-dfl001.opb
MD5SUM0613a0c4894703648f95007e06fadc66
Bench Categoryoptimization, big integers (OPTBIGINT)
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function 187033
Biggest coefficient in the objective function 2150851580428025856
Number of bits for the biggest coefficient in the objective function 61
Sum of the numbers in the objective function 882752655849462562816
Number of bits of the sum of numbers in the objective function 70
Biggest number in a constraint 53687091200000000000
Number of bits of the biggest number in a constraint 66
Biggest sum of numbers in a constraint 4277072243466308681728
Number of bits of the biggest sum of numbers72
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Number of variables366703
Total number of constraints6084
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints6084
Minimum length of a constraint13
Maximum length of a constraint6840

Trace number 9977

Launcher Data

LAUNCH ON wulflinc32 THE 2005-09-23 16:04:25 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=8628 boxname=wulflinc32 idbench=424 idsolver=8 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  0613a0c4894703648f95007e06fadc66  /oldhome/oroussel/tmp/wulflinc32/normalized-mps-v2-20-10-dfl001.opb
REAL COMMAND:  pb2sat /oldhome/oroussel/tmp/wulflinc32/normalized-mps-v2-20-10-dfl001.opb
IDLAUNCH: 8628
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.145
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.145
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:      1034724 kB
MemFree:        901004 kB
Buffers:         14680 kB
Cached:          98812 kB
SwapCached:          0 kB
Active:          67920 kB
Inactive:        48488 kB
HighTotal:      131072 kB
HighFree:        27840 kB
LowTotal:       903652 kB
LowFree:        873164 kB
SwapTotal:     2097892 kB
SwapFree:      2097892 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6988 kB
Slab:            11632 kB
Committed_AS:    63660 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-09-23 16:22:03 (client local time) WITH STATUS 1 IN 1057.05 SECONDS
stats: 8628 7 1057.05 1

Solver Data

c This solver internally uses Chaff 2004.11.15 Simplified

	Unexpected exception :
	St9bad_alloc

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/7298/stat): 7298 (pb2sat) R 7297 7298 4005 0 -1 0 18 0 0 0 0 0 0 0 25 0 1 0 21443890 1527808 2 4294967295 134512640 135987407 3221224560 3221224560 134512928 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/7298/statm): 373 2 364 364 0 9 0
[pid=7298] vsize: 1492
open syscall for file /oldhome/oroussel/tmp/wulflinc32/normalized-mps-v2-20-10-dfl001.opb

[startup+10.0022 s]
Raw data (loadavg): 0.95 0.97 0.98 2/55 7298
Raw data (/proc/7298/stat): 7298 (pb2sat) R 7297 7298 4005 0 -1 0 2485 0 0 0 991 6 0 0 25 0 1 0 21443890 9371648 1799 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7298/statm): 2288 1799 364 364 0 1924 0
[pid=7298] vsize: 9152
Current children cumulated CPU time (s) 9.97
Current children cumulated vsize (Kb) 9152

[startup+20.0029 s]
Raw data (loadavg): 0.95 0.97 0.98 2/55 7298
Raw data (/proc/7298/stat): 7298 (pb2sat) R 7297 7298 4005 0 -1 0 3033 0 0 0 1990 8 0 0 25 0 1 0 21443890 10723328 2338 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7298/statm): 2618 2338 364 364 0 2254 0
[pid=7298] vsize: 10472
Current children cumulated CPU time (s) 19.98
Current children cumulated vsize (Kb) 10472

[startup+30.0027 s]
Raw data (loadavg): 0.96 0.97 0.98 2/55 7298
Raw data (/proc/7298/stat): 7298 (pb2sat) R 7297 7298 4005 0 -1 0 4409 0 0 0 2986 11 0 0 25 0 1 0 21443890 15769600 2970 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7298/statm): 3850 2970 364 364 0 3486 0
[pid=7298] vsize: 15400
Current children cumulated CPU time (s) 29.97
Current children cumulated vsize (Kb) 15400

[startup+40.0035 s]
Raw data (loadavg): 0.97 0.97 0.98 2/55 7298
Raw data (/proc/7298/stat): 7298 (pb2sat) R 7297 7298 4005 0 -1 0 4686 0 0 0 3985 12 0 0 25 0 1 0 21443890 16445440 3242 4294967295 134512640 135987407 3221224560 3221221948 134642049 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7298/statm): 4015 3242 364 364 0 3651 0
[pid=7298] vsize: 16060
Current children cumulated CPU time (s) 39.97
Current children cumulated vsize (Kb) 16060

[startup+50.0042 s]
Raw data (loadavg): 0.97 0.97 0.98 2/55 7298
Raw data (/proc/7298/stat): 7298 (pb2sat) R 7297 7298 4005 0 -1 0 4940 0 0 0 4984 13 0 0 25 0 1 0 21443890 16986112 3492 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7298/statm): 4147 3492 364 364 0 3783 0
[pid=7298] vsize: 16588
Current children cumulated CPU time (s) 49.97
Current children cumulated vsize (Kb) 16588

[startup+60.005 s]
Raw data (loadavg): 0.97 0.97 0.98 2/55 7298
Raw data (/proc/7298/stat): 7298 (pb2sat) R 7297 7298 4005 0 -1 0 5166 0 0 0 5984 13 0 0 25 0 1 0 21443890 17661952 3714 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7298/statm): 4312 3714 364 364 0 3948 0
[pid=7298] vsize: 17248
Current children cumulated CPU time (s) 59.97
Current children cumulated vsize (Kb) 17248

[startup+70.0058 s]
Raw data (loadavg): 0.98 0.97 0.98 2/55 7300
Raw data (/proc/7298/stat): 7298 (pb2sat) R 7297 7298 4005 0 -1 0 5379 0 0 0 6983 14 0 0 25 0 1 0 21443890 18202624 3924 4294967295 134512640 135987407 3221224560 3221221872 134555852 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7298/statm): 4444 3924 364 364 0 4080 0
[pid=7298] vsize: 17776
Current children cumulated CPU time (s) 69.97
Current children cumulated vsize (Kb) 17776

[startup+80.0065 s]
Raw data (loadavg): 0.98 0.97 0.98 2/55 7300
Raw data (/proc/7298/stat): 7298 (pb2sat) R 7297 7298 4005 0 -1 0 5575 0 0 0 7982 15 0 0 25 0 1 0 21443890 18743296 4116 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7298/statm): 4576 4116 364 364 0 4212 0
[pid=7298] vsize: 18304
Current children cumulated CPU time (s) 79.97
Current children cumulated vsize (Kb) 18304

[startup+90.0063 s]
Raw data (loadavg): 0.98 0.97 0.98 2/55 7300
Raw data (/proc/7298/stat): 7298 (pb2sat) R 7297 7298 4005 0 -1 0 5761 0 0 0 8981 16 0 0 25 0 1 0 21443890 19148800 4299 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7298/statm): 4675 4299 364 364 0 4311 0
[pid=7298] vsize: 18700
Current children cumulated CPU time (s) 89.97
Current children cumulated vsize (Kb) 18700

[startup+100.006 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7300
Raw data (/proc/7298/stat): 7298 (pb2sat) R 7297 7298 4005 0 -1 0 5935 0 0 0 9981 16 0 0 25 0 1 0 21443890 19554304 4471 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7298/statm): 4774 4471 364 364 0 4410 0
[pid=7298] vsize: 19096
Current children cumulated CPU time (s) 99.97
Current children cumulated vsize (Kb) 19096

[startup+110.007 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7300
Raw data (/proc/7298/stat): 7298 (pb2sat) R 7297 7298 4005 0 -1 0 8307 0 0 0 10976 21 0 0 25 0 1 0 21443890 28835840 5365 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7298/statm): 7040 5365 364 364 0 6676 0
[pid=7298] vsize: 28160
Current children cumulated CPU time (s) 109.97
Current children cumulated vsize (Kb) 28160

[startup+120.007 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7300
Raw data (/proc/7298/stat): 7298 (pb2sat) R 7297 7298 4005 0 -1 0 8366 0 0 0 11976 21 0 0 25 0 1 0 21443890 28835840 5421 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7298/statm): 7040 5421 364 364 0 6676 0
[pid=7298] vsize: 28160
Current children cumulated CPU time (s) 119.97
Current children cumulated vsize (Kb) 28160

[startup+130.006 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7300
Raw data (/proc/7298/stat): 7298 (pb2sat) R 7297 7298 4005 0 -1 0 8486 0 0 0 12976 22 0 0 25 0 1 0 21443890 29106176 5539 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7298/statm): 7106 5539 364 364 0 6742 0
[pid=7298] vsize: 28424
Current children cumulated CPU time (s) 129.98
Current children cumulated vsize (Kb) 28424

[startup+140.007 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7300
Raw data (/proc/7298/stat): 7298 (pb2sat) R 7297 7298 4005 0 -1 0 8619 0 0 0 13975 22 0 0 25 0 1 0 21443890 29376512 5669 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7298/statm): 7172 5669 364 364 0 6808 0
[pid=7298] vsize: 28688
Current children cumulated CPU time (s) 139.97
Current children cumulated vsize (Kb) 28688

[startup+150.007 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7300
Raw data (/proc/7298/stat): 7298 (pb2sat) R 7297 7298 4005 0 -1 0 8744 0 0 0 14975 23 0 0 25 0 1 0 21443890 29646848 5792 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7298/statm): 7238 5792 364 364 0 6874 0
[pid=7298] vsize: 28952
Current children cumulated CPU time (s) 149.98
Current children cumulated vsize (Kb) 28952

[startup+160.008 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7300
Raw data (/proc/7298/stat): 7298 (pb2sat) R 7297 7298 4005 0 -1 0 8867 0 0 0 15974 24 0 0 25 0 1 0 21443890 29917184 5913 4294967295 134512640 135987407 3221224560 3221221936 135486786 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7298/statm): 7304 5913 364 364 0 6940 0
[pid=7298] vsize: 29216
Current children cumulated CPU time (s) 159.98
Current children cumulated vsize (Kb) 29216

[startup+170.007 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7300
Raw data (/proc/7298/stat): 7298 (pb2sat) R 7297 7298 4005 0 -1 0 8986 0 0 0 16974 24 0 0 25 0 1 0 21443890 30187520 6030 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7298/statm): 7370 6030 364 364 0 7006 0
[pid=7298] vsize: 29480
Current children cumulated CPU time (s) 169.98
Current children cumulated vsize (Kb) 29480

[startup+180.007 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7300
Raw data (/proc/7298/stat): 7298 (pb2sat) R 7297 7298 4005 0 -1 0 9116 0 0 0 17974 24 0 0 25 0 1 0 21443890 30593024 6157 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7298/statm): 7469 6157 364 364 0 7105 0
[pid=7298] vsize: 29876
Current children cumulated CPU time (s) 179.98
Current children cumulated vsize (Kb) 29876

[startup+190.008 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7300
Raw data (/proc/7298/stat): 7298 (pb2sat) R 7297 7298 4005 0 -1 0 9245 0 0 0 18974 25 0 0 25 0 1 0 21443890 30863360 6284 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7298/statm): 7535 6284 364 364 0 7171 0
[pid=7298] vsize: 30140
Current children cumulated CPU time (s) 189.99
Current children cumulated vsize (Kb) 30140

[startup+200.008 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7300
Raw data (/proc/7298/stat): 7298 (pb2sat) R 7297 7298 4005 0 -1 0 9371 0 0 0 19973 25 0 0 25 0 1 0 21443890 31268864 6408 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7298/statm): 7634 6408 364 364 0 7270 0
[pid=7298] vsize: 30536
Current children cumulated CPU time (s) 199.98
Current children cumulated vsize (Kb) 30536

[startup+210.008 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7300
Raw data (/proc/7298/stat): 7298 (pb2sat) R 7297 7298 4005 0 -1 0 9494 0 0 0 20973 25 0 0 25 0 1 0 21443890 31539200 6529 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7298/statm): 7700 6529 364 364 0 7336 0
[pid=7298] vsize: 30800
Current children cumulated CPU time (s) 209.98
Current children cumulated vsize (Kb) 30800

[startup+220.008 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7300
Raw data (/proc/7298/stat): 7298 (pb2sat) R 7297 7298 4005 0 -1 0 9615 0 0 0 21973 26 0 0 25 0 1 0 21443890 31809536 6648 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7298/statm): 7766 6648 364 364 0 7402 0
[pid=7298] vsize: 31064
Current children cumulated CPU time (s) 219.99
Current children cumulated vsize (Kb) 31064

[startup+230.008 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7300
Raw data (/proc/7298/stat): 7298 (pb2sat) R 7297 7298 4005 0 -1 0 9732 0 0 0 22973 26 0 0 25 0 1 0 21443890 32079872 6763 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7298/statm): 7832 6763 364 364 0 7468 0
[pid=7298] vsize: 31328
Current children cumulated CPU time (s) 229.99
Current children cumulated vsize (Kb) 31328

[startup+240.008 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7300
Raw data (/proc/7298/stat): 7298 (pb2sat) R 7297 7298 4005 0 -1 0 9845 0 0 0 23973 26 0 0 25 0 1 0 21443890 32485376 6875 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7298/statm): 7931 6875 364 364 0 7567 0
[pid=7298] vsize: 31724
Current children cumulated CPU time (s) 239.99
Current children cumulated vsize (Kb) 31724

[startup+250.009 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7300
Raw data (/proc/7298/stat): 7298 (pb2sat) R 7297 7298 4005 0 -1 0 9958 0 0 0 24972 27 0 0 25 0 1 0 21443890 32755712 6986 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7298/statm): 7997 6986 364 364 0 7633 0
[pid=7298] vsize: 31988
Current children cumulated CPU time (s) 249.99
Current children cumulated vsize (Kb) 31988

[startup+260.009 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7300
Raw data (/proc/7298/stat): 7298 (pb2sat) R 7297 7298 4005 0 -1 0 10067 0 0 0 25972 27 0 0 25 0 1 0 21443890 33026048 7093 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7298/statm): 8063 7093 364 364 0 7699 0
[pid=7298] vsize: 32252
Current children cumulated CPU time (s) 259.99
Current children cumulated vsize (Kb) 32252

[startup+270.009 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7300
Raw data (/proc/7298/stat): 7298 (pb2sat) R 7297 7298 4005 0 -1 0 10176 0 0 0 26972 27 0 0 25 0 1 0 21443890 33296384 7200 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7298/statm): 8129 7200 364 364 0 7765 0
[pid=7298] vsize: 32516
Current children cumulated CPU time (s) 269.99
Current children cumulated vsize (Kb) 32516

[startup+280.009 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7300
Raw data (/proc/7298/stat): 7298 (pb2sat) R 7297 7298 4005 0 -1 0 10282 0 0 0 27972 27 0 0 25 0 1 0 21443890 33566720 7305 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7298/statm): 8195 7305 364 364 0 7831 0
[pid=7298] vsize: 32780
Current children cumulated CPU time (s) 279.99
Current children cumulated vsize (Kb) 32780

[startup+290.009 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7300
Raw data (/proc/7298/stat): 7298 (pb2sat) R 7297 7298 4005 0 -1 0 10388 0 0 0 28971 28 0 0 25 0 1 0 21443890 33837056 7409 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7298/statm): 8261 7409 364 364 0 7897 0
[pid=7298] vsize: 33044
Current children cumulated CPU time (s) 289.99
Current children cumulated vsize (Kb) 33044

[startup+300.008 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7300
Raw data (/proc/7298/stat): 7298 (pb2sat) R 7297 7298 4005 0 -1 0 10490 0 0 0 29971 28 0 0 25 0 1 0 21443890 34107392 7509 4294967295 134512640 135987407 3221224560 3221221872 134555868 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7298/statm): 8327 7509 364 364 0 7963 0
[pid=7298] vsize: 33308
Current children cumulated CPU time (s) 299.99
Current children cumulated vsize (Kb) 33308

[startup+310.009 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7300
Raw data (/proc/7298/stat): 7298 (pb2sat) R 7297 7298 4005 0 -1 0 10592 0 0 0 30971 28 0 0 25 0 1 0 21443890 34377728 7610 4294967295 134512640 135987407 3221224560 3221221872 134555863 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7298/statm): 8393 7610 364 364 0 8029 0
[pid=7298] vsize: 33572
Current children cumulated CPU time (s) 309.99
Current children cumulated vsize (Kb) 33572

[startup+320.009 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7300
Raw data (/proc/7298/stat): 7298 (pb2sat) R 7297 7298 4005 0 -1 0 10693 0 0 0 31971 28 0 0 25 0 1 0 21443890 34648064 7709 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7298/statm): 8459 7709 364 364 0 8095 0
[pid=7298] vsize: 33836
Current children cumulated CPU time (s) 319.99
Current children cumulated vsize (Kb) 33836

[startup+330.009 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7300
Raw data (/proc/7298/stat): 7298 (pb2sat) R 7297 7298 4005 0 -1 0 10791 0 0 0 32971 29 0 0 25 0 1 0 21443890 34918400 7805 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7298/statm): 8525 7805 364 364 0 8161 0
[pid=7298] vsize: 34100
Current children cumulated CPU time (s) 330
Current children cumulated vsize (Kb) 34100

[startup+340.008 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7300
Raw data (/proc/7298/stat): 7298 (pb2sat) R 7297 7298 4005 0 -1 0 10888 0 0 0 33971 29 0 0 25 0 1 0 21443890 35053568 7901 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7298/statm): 8558 7901 364 364 0 8194 0
[pid=7298] vsize: 34232
Current children cumulated CPU time (s) 340
Current children cumulated vsize (Kb) 34232

[startup+350.009 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7300
Raw data (/proc/7298/stat): 7298 (pb2sat) R 7297 7298 4005 0 -1 0 10985 0 0 0 34970 29 0 0 25 0 1 0 21443890 35323904 7996 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7298/statm): 8624 7996 364 364 0 8260 0
[pid=7298] vsize: 34496
Current children cumulated CPU time (s) 349.99
Current children cumulated vsize (Kb) 34496

[startup+360.01 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7300
Raw data (/proc/7298/stat): 7298 (pb2sat) R 7297 7298 4005 0 -1 0 11079 0 0 0 35971 29 0 0 25 0 1 0 21443890 35594240 8089 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7298/statm): 8690 8089 364 364 0 8326 0
[pid=7298] vsize: 34760
Current children cumulated CPU time (s) 360
Current children cumulated vsize (Kb) 34760

[startup+370.011 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7300
Raw data (/proc/7298/stat): 7298 (pb2sat) R 7297 7298 4005 0 -1 0 11171 0 0 0 36970 30 0 0 25 0 1 0 21443890 35864576 8179 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7298/statm): 8756 8179 364 364 0 8392 0
[pid=7298] vsize: 35024
Current children cumulated CPU time (s) 370
Current children cumulated vsize (Kb) 35024

[startup+380.01 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7300
Raw data (/proc/7298/stat): 7298 (pb2sat) R 7297 7298 4005 0 -1 0 11265 0 0 0 37970 30 0 0 25 0 1 0 21443890 36134912 8272 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7298/statm): 8822 8272 364 364 0 8458 0
[pid=7298] vsize: 35288
Current children cumulated CPU time (s) 380
Current children cumulated vsize (Kb) 35288

[startup+390.01 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7300
Raw data (/proc/7298/stat): 7298 (pb2sat) R 7297 7298 4005 0 -1 0 11355 0 0 0 38969 31 0 0 25 0 1 0 21443890 36270080 8360 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7298/statm): 8855 8360 364 364 0 8491 0
[pid=7298] vsize: 35420
Current children cumulated CPU time (s) 390
Current children cumulated vsize (Kb) 35420

[startup+400.01 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7300
Raw data (/proc/7298/stat): 7298 (pb2sat) R 7297 7298 4005 0 -1 0 11444 0 0 0 39969 31 0 0 25 0 1 0 21443890 36540416 8448 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7298/statm): 8921 8448 364 364 0 8557 0
[pid=7298] vsize: 35684
Current children cumulated CPU time (s) 400
Current children cumulated vsize (Kb) 35684

[startup+410.011 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7300
Raw data (/proc/7298/stat): 7298 (pb2sat) R 7297 7298 4005 0 -1 0 11534 0 0 0 40969 32 0 0 25 0 1 0 21443890 36810752 8536 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7298/statm): 8987 8536 364 364 0 8623 0
[pid=7298] vsize: 35948
Current children cumulated CPU time (s) 410.01
Current children cumulated vsize (Kb) 35948

[startup+420.011 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7300
Raw data (/proc/7298/stat): 7298 (pb2sat) R 7297 7298 4005 0 -1 0 11621 0 0 0 41968 32 0 0 25 0 1 0 21443890 36945920 8622 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7298/statm): 9020 8622 364 364 0 8656 0
[pid=7298] vsize: 36080
Current children cumulated CPU time (s) 420
Current children cumulated vsize (Kb) 36080

[startup+430.01 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7300
Raw data (/proc/7298/stat): 7298 (pb2sat) R 7297 7298 4005 0 -1 0 11708 0 0 0 42968 32 0 0 25 0 1 0 21443890 37216256 8708 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7298/statm): 9086 8708 364 364 0 8722 0
[pid=7298] vsize: 36344
Current children cumulated CPU time (s) 430
Current children cumulated vsize (Kb) 36344

[startup+440.01 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7300
Raw data (/proc/7298/stat): 7298 (pb2sat) R 7297 7298 4005 0 -1 0 11794 0 0 0 43968 33 0 0 25 0 1 0 21443890 37486592 8792 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7298/statm): 9152 8792 364 364 0 8788 0
[pid=7298] vsize: 36608
Current children cumulated CPU time (s) 440.01
Current children cumulated vsize (Kb) 36608

[startup+450.011 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7300
Raw data (/proc/7298/stat): 7298 (pb2sat) R 7297 7298 4005 0 -1 0 11879 0 0 0 44968 33 0 0 25 0 1 0 21443890 37621760 8876 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7298/statm): 9185 8876 364 364 0 8821 0
[pid=7298] vsize: 36740
Current children cumulated CPU time (s) 450.01
Current children cumulated vsize (Kb) 36740

[startup+460.012 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7300
Raw data (/proc/7298/stat): 7298 (pb2sat) R 7297 7298 4005 0 -1 0 11963 0 0 0 45968 33 0 0 25 0 1 0 21443890 37892096 8958 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7298/statm): 9251 8958 364 364 0 8887 0
[pid=7298] vsize: 37004
Current children cumulated CPU time (s) 460.01
Current children cumulated vsize (Kb) 37004

[startup+470.011 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7300
Raw data (/proc/7298/stat): 7298 (pb2sat) R 7297 7298 4005 0 -1 0 16496 0 0 0 46958 43 0 0 25 0 1 0 21443890 55779328 10543 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7298/statm): 13618 10543 364 364 0 13254 0
[pid=7298] vsize: 54472
Current children cumulated CPU time (s) 470.01
Current children cumulated vsize (Kb) 54472

[startup+480.011 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7300
Raw data (/proc/7298/stat): 7298 (pb2sat) R 7297 7298 4005 0 -1 0 16527 0 0 0 47959 43 0 0 25 0 1 0 21443890 55779328 10573 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7298/statm): 13618 10573 364 364 0 13254 0
[pid=7298] vsize: 54472
Current children cumulated CPU time (s) 480.02
Current children cumulated vsize (Kb) 54472

[startup+490.012 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7300
Raw data (/proc/7298/stat): 7298 (pb2sat) R 7297 7298 4005 0 -1 0 16557 0 0 0 48958 43 0 0 25 0 1 0 21443890 55779328 10602 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7298/statm): 13618 10602 364 364 0 13254 0
[pid=7298] vsize: 54472
Current children cumulated CPU time (s) 490.01
Current children cumulated vsize (Kb) 54472

[startup+500.012 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7300
Raw data (/proc/7298/stat): 7298 (pb2sat) R 7297 7298 4005 0 -1 0 16588 0 0 0 49959 43 0 0 25 0 1 0 21443890 55779328 10631 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7298/statm): 13618 10631 364 364 0 13254 0
[pid=7298] vsize: 54472
Current children cumulated CPU time (s) 500.02
Current children cumulated vsize (Kb) 54472

[startup+510.012 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7300
Raw data (/proc/7298/stat): 7298 (pb2sat) R 7297 7298 4005 0 -1 0 16617 0 0 0 50959 43 0 0 25 0 1 0 21443890 55779328 10659 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7298/statm): 13618 10659 364 364 0 13254 0
[pid=7298] vsize: 54472
Current children cumulated CPU time (s) 510.02
Current children cumulated vsize (Kb) 54472

[startup+520.012 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7300
Raw data (/proc/7298/stat): 7298 (pb2sat) R 7297 7298 4005 0 -1 0 16646 0 0 0 51959 43 0 0 25 0 1 0 21443890 55779328 10687 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7298/statm): 13618 10687 364 364 0 13254 0
[pid=7298] vsize: 54472
Current children cumulated CPU time (s) 520.02
Current children cumulated vsize (Kb) 54472

[startup+530.012 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7300
Raw data (/proc/7298/stat): 7298 (pb2sat) R 7297 7298 4005 0 -1 0 16688 0 0 0 52959 44 0 0 25 0 1 0 21443890 55779328 10727 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7298/statm): 13618 10727 364 364 0 13254 0
[pid=7298] vsize: 54472
Current children cumulated CPU time (s) 530.03
Current children cumulated vsize (Kb) 54472

[startup+540.012 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7300
Raw data (/proc/7298/stat): 7298 (pb2sat) R 7297 7298 4005 0 -1 0 16755 0 0 0 53958 44 0 0 25 0 1 0 21443890 56049664 10793 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7298/statm): 13684 10793 364 364 0 13320 0
[pid=7298] vsize: 54736
Current children cumulated CPU time (s) 540.02
Current children cumulated vsize (Kb) 54736

[startup+550.013 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7300
Raw data (/proc/7298/stat): 7298 (pb2sat) R 7297 7298 4005 0 -1 0 16822 0 0 0 54958 44 0 0 25 0 1 0 21443890 56184832 10859 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7298/statm): 13717 10859 364 364 0 13353 0
[pid=7298] vsize: 54868
Current children cumulated CPU time (s) 550.02
Current children cumulated vsize (Kb) 54868

[startup+560.013 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7300
Raw data (/proc/7298/stat): 7298 (pb2sat) R 7297 7298 4005 0 -1 0 16889 0 0 0 55958 44 0 0 25 0 1 0 21443890 56320000 10925 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7298/statm): 13750 10925 364 364 0 13386 0
[pid=7298] vsize: 55000
Current children cumulated CPU time (s) 560.02
Current children cumulated vsize (Kb) 55000

[startup+570.013 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7300
Raw data (/proc/7298/stat): 7298 (pb2sat) R 7297 7298 4005 0 -1 0 16955 0 0 0 56958 45 0 0 25 0 1 0 21443890 56455168 10989 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7298/statm): 13783 10989 364 364 0 13419 0
[pid=7298] vsize: 55132
Current children cumulated CPU time (s) 570.03
Current children cumulated vsize (Kb) 55132

[startup+580.013 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7300
Raw data (/proc/7298/stat): 7298 (pb2sat) R 7297 7298 4005 0 -1 0 17022 0 0 0 57958 45 0 0 25 0 1 0 21443890 56590336 11055 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7298/statm): 13816 11055 364 364 0 13452 0
[pid=7298] vsize: 55264
Current children cumulated CPU time (s) 580.03
Current children cumulated vsize (Kb) 55264

[startup+590.013 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7300
Raw data (/proc/7298/stat): 7298 (pb2sat) R 7297 7298 4005 0 -1 0 17086 0 0 0 58958 45 0 0 25 0 1 0 21443890 56725504 11118 4294967295 134512640 135987407 3221224560 3221221872 134555852 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7298/statm): 13849 11118 364 364 0 13485 0
[pid=7298] vsize: 55396
Current children cumulated CPU time (s) 590.03
Current children cumulated vsize (Kb) 55396

[startup+600.012 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7300
Raw data (/proc/7298/stat): 7298 (pb2sat) R 7297 7298 4005 0 -1 0 17151 0 0 0 59958 45 0 0 25 0 1 0 21443890 56995840 11182 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7298/statm): 13915 11182 364 364 0 13551 0
[pid=7298] vsize: 55660
Current children cumulated CPU time (s) 600.03
Current children cumulated vsize (Kb) 55660

[startup+610.013 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7300
Raw data (/proc/7298/stat): 7298 (pb2sat) R 7297 7298 4005 0 -1 0 17214 0 0 0 60958 46 0 0 25 0 1 0 21443890 57131008 11244 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7298/statm): 13948 11244 364 364 0 13584 0
[pid=7298] vsize: 55792
Current children cumulated CPU time (s) 610.04
Current children cumulated vsize (Kb) 55792

[startup+620.014 s]
Raw data (loadavg): 1.07 0.99 0.99 2/55 7300
Raw data (/proc/7298/stat): 7298 (pb2sat) R 7297 7298 4005 0 -1 0 17278 0 0 0 61958 46 0 0 25 0 1 0 21443890 57266176 11306 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7298/statm): 13981 11306 364 364 0 13617 0
[pid=7298] vsize: 55924
Current children cumulated CPU time (s) 620.04
Current children cumulated vsize (Kb) 55924

[startup+630.014 s]
Raw data (loadavg): 1.06 0.99 0.99 2/55 7300
Raw data (/proc/7298/stat): 7298 (pb2sat) R 7297 7298 4005 0 -1 0 17342 0 0 0 62958 46 0 0 25 0 1 0 21443890 57401344 11369 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7298/statm): 14014 11369 364 364 0 13650 0
[pid=7298] vsize: 56056
Current children cumulated CPU time (s) 630.04
Current children cumulated vsize (Kb) 56056

[startup+640.014 s]
Raw data (loadavg): 1.05 0.99 0.99 2/55 7300
Raw data (/proc/7298/stat): 7298 (pb2sat) R 7297 7298 4005 0 -1 0 17402 0 0 0 63958 46 0 0 25 0 1 0 21443890 57536512 11428 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7298/statm): 14047 11428 364 364 0 13683 0
[pid=7298] vsize: 56188
Current children cumulated CPU time (s) 640.04
Current children cumulated vsize (Kb) 56188

[startup+650.013 s]
Raw data (loadavg): 1.04 0.99 0.99 2/55 7300
Raw data (/proc/7298/stat): 7298 (pb2sat) R 7297 7298 4005 0 -1 0 17466 0 0 0 64958 47 0 0 25 0 1 0 21443890 57671680 11491 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7298/statm): 14080 11491 364 364 0 13716 0
[pid=7298] vsize: 56320
Current children cumulated CPU time (s) 650.05
Current children cumulated vsize (Kb) 56320

[startup+660.014 s]
Raw data (loadavg): 1.03 0.99 0.99 2/55 7300
Raw data (/proc/7298/stat): 7298 (pb2sat) R 7297 7298 4005 0 -1 0 17526 0 0 0 65957 47 0 0 25 0 1 0 21443890 57806848 11550 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7298/statm): 14113 11550 364 364 0 13749 0
[pid=7298] vsize: 56452
Current children cumulated CPU time (s) 660.04
Current children cumulated vsize (Kb) 56452

[startup+670.015 s]
Raw data (loadavg): 1.03 0.99 0.99 2/55 7300
Raw data (/proc/7298/stat): 7298 (pb2sat) R 7297 7298 4005 0 -1 0 17586 0 0 0 66957 47 0 0 25 0 1 0 21443890 57942016 11609 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7298/statm): 14146 11609 364 364 0 13782 0
[pid=7298] vsize: 56584
Current children cumulated CPU time (s) 670.04
Current children cumulated vsize (Kb) 56584

[startup+680.015 s]
Raw data (loadavg): 1.02 0.99 0.99 2/55 7300
Raw data (/proc/7298/stat): 7298 (pb2sat) R 7297 7298 4005 0 -1 0 17646 0 0 0 67957 47 0 0 25 0 1 0 21443890 58077184 11668 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7298/statm): 14179 11668 364 364 0 13815 0
[pid=7298] vsize: 56716
Current children cumulated CPU time (s) 680.04
Current children cumulated vsize (Kb) 56716

[startup+690.015 s]
Raw data (loadavg): 1.02 0.99 0.99 2/55 7300
Raw data (/proc/7298/stat): 7298 (pb2sat) R 7297 7298 4005 0 -1 0 17708 0 0 0 68957 47 0 0 25 0 1 0 21443890 58212352 11728 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7298/statm): 14212 11728 364 364 0 13848 0
[pid=7298] vsize: 56848
Current children cumulated CPU time (s) 690.04
Current children cumulated vsize (Kb) 56848

[startup+700.015 s]
Raw data (loadavg): 1.02 0.99 0.99 2/55 7300
Raw data (/proc/7298/stat): 7298 (pb2sat) R 7297 7298 4005 0 -1 0 17767 0 0 0 69957 47 0 0 25 0 1 0 21443890 58347520 11786 4294967295 134512640 135987407 3221224560 3221221872 134555852 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7298/statm): 14245 11786 364 364 0 13881 0
[pid=7298] vsize: 56980
Current children cumulated CPU time (s) 700.04
Current children cumulated vsize (Kb) 56980

[startup+710.016 s]
Raw data (loadavg): 1.01 0.99 0.99 2/55 7300
Raw data (/proc/7298/stat): 7298 (pb2sat) R 7297 7298 4005 0 -1 0 17827 0 0 0 70957 48 0 0 25 0 1 0 21443890 58482688 11845 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7298/statm): 14278 11845 364 364 0 13914 0
[pid=7298] vsize: 57112
Current children cumulated CPU time (s) 710.05
Current children cumulated vsize (Kb) 57112

[startup+720.017 s]
Raw data (loadavg): 1.01 0.99 0.99 2/55 7300
Raw data (/proc/7298/stat): 7298 (pb2sat) R 7297 7298 4005 0 -1 0 17886 0 0 0 71957 48 0 0 25 0 1 0 21443890 58617856 11903 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7298/statm): 14311 11903 364 364 0 13947 0
[pid=7298] vsize: 57244
Current children cumulated CPU time (s) 720.05
Current children cumulated vsize (Kb) 57244

[startup+730.017 s]
Raw data (loadavg): 1.01 0.99 0.99 2/55 7300
Raw data (/proc/7298/stat): 7298 (pb2sat) R 7297 7298 4005 0 -1 0 17943 0 0 0 72957 48 0 0 25 0 1 0 21443890 58753024 11959 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7298/statm): 14344 11959 364 364 0 13980 0
[pid=7298] vsize: 57376
Current children cumulated CPU time (s) 730.05
Current children cumulated vsize (Kb) 57376

[startup+740.016 s]
Raw data (loadavg): 1.01 0.99 0.99 2/55 7300
Raw data (/proc/7298/stat): 7298 (pb2sat) R 7297 7298 4005 0 -1 0 18011 0 0 0 73957 48 0 0 25 0 1 0 21443890 59023360 12026 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7298/statm): 14410 12026 364 364 0 14046 0
[pid=7298] vsize: 57640
Current children cumulated CPU time (s) 740.05
Current children cumulated vsize (Kb) 57640

[startup+750.017 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 7300
Raw data (/proc/7298/stat): 7298 (pb2sat) R 7297 7298 4005 0 -1 0 18077 0 0 0 74957 49 0 0 25 0 1 0 21443890 59158528 12091 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7298/statm): 14443 12091 364 364 0 14079 0
[pid=7298] vsize: 57772
Current children cumulated CPU time (s) 750.06
Current children cumulated vsize (Kb) 57772

[startup+760.018 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 7300
Raw data (/proc/7298/stat): 7298 (pb2sat) R 7297 7298 4005 0 -1 0 18143 0 0 0 75957 49 0 0 25 0 1 0 21443890 59293696 12156 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7298/statm): 14476 12156 364 364 0 14112 0
[pid=7298] vsize: 57904
Current children cumulated CPU time (s) 760.06
Current children cumulated vsize (Kb) 57904

[startup+770.018 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 7300
Raw data (/proc/7298/stat): 7298 (pb2sat) R 7297 7298 4005 0 -1 0 18208 0 0 0 76957 49 0 0 25 0 1 0 21443890 59428864 12220 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7298/statm): 14509 12220 364 364 0 14145 0
[pid=7298] vsize: 58036
Current children cumulated CPU time (s) 770.06
Current children cumulated vsize (Kb) 58036

[startup+780.018 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 7300
Raw data (/proc/7298/stat): 7298 (pb2sat) R 7297 7298 4005 0 -1 0 18274 0 0 0 77957 49 0 0 25 0 1 0 21443890 59699200 12285 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7298/statm): 14575 12285 364 364 0 14211 0
[pid=7298] vsize: 58300
Current children cumulated CPU time (s) 780.06
Current children cumulated vsize (Kb) 58300

[startup+790.018 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 7300
Raw data (/proc/7298/stat): 7298 (pb2sat) R 7297 7298 4005 0 -1 0 18337 0 0 0 78956 50 0 0 25 0 1 0 21443890 59834368 12347 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7298/statm): 14608 12347 364 364 0 14244 0
[pid=7298] vsize: 58432
Current children cumulated CPU time (s) 790.06
Current children cumulated vsize (Kb) 58432

[startup+800.018 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 7300
Raw data (/proc/7298/stat): 7298 (pb2sat) R 7297 7298 4005 0 -1 0 18402 0 0 0 79957 50 0 0 25 0 1 0 21443890 59969536 12411 4294967295 134512640 135987407 3221224560 3221221872 134555852 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7298/statm): 14641 12411 364 364 0 14277 0
[pid=7298] vsize: 58564
Current children cumulated CPU time (s) 800.07
Current children cumulated vsize (Kb) 58564

[startup+810.019 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 7300
Raw data (/proc/7298/stat): 7298 (pb2sat) R 7297 7298 4005 0 -1 0 18465 0 0 0 80957 50 0 0 25 0 1 0 21443890 60104704 12473 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7298/statm): 14674 12473 364 364 0 14310 0
[pid=7298] vsize: 58696
Current children cumulated CPU time (s) 810.07
Current children cumulated vsize (Kb) 58696

[startup+820.02 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 7300
Raw data (/proc/7298/stat): 7298 (pb2sat) R 7297 7298 4005 0 -1 0 18528 0 0 0 81957 50 0 0 25 0 1 0 21443890 60239872 12535 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7298/statm): 14707 12535 364 364 0 14343 0
[pid=7298] vsize: 58828
Current children cumulated CPU time (s) 820.07
Current children cumulated vsize (Kb) 58828

[startup+830.019 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 7300
Raw data (/proc/7298/stat): 7298 (pb2sat) R 7297 7298 4005 0 -1 0 18592 0 0 0 82956 50 0 0 25 0 1 0 21443890 60510208 12598 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7298/statm): 14773 12598 364 364 0 14409 0
[pid=7298] vsize: 59092
Current children cumulated CPU time (s) 830.06
Current children cumulated vsize (Kb) 59092

[startup+840.02 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 7300
Raw data (/proc/7298/stat): 7298 (pb2sat) R 7297 7298 4005 0 -1 0 18655 0 0 0 83957 50 0 0 25 0 1 0 21443890 60645376 12660 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7298/statm): 14806 12660 364 364 0 14442 0
[pid=7298] vsize: 59224
Current children cumulated CPU time (s) 840.07
Current children cumulated vsize (Kb) 59224

[startup+850.02 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 7300
Raw data (/proc/7298/stat): 7298 (pb2sat) R 7297 7298 4005 0 -1 0 18718 0 0 0 84956 51 0 0 25 0 1 0 21443890 60780544 12722 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7298/statm): 14839 12722 364 364 0 14475 0
[pid=7298] vsize: 59356
Current children cumulated CPU time (s) 850.07
Current children cumulated vsize (Kb) 59356

[startup+860.021 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 7300
Raw data (/proc/7298/stat): 7298 (pb2sat) R 7297 7298 4005 0 -1 0 18779 0 0 0 85956 51 0 0 25 0 1 0 21443890 60915712 12782 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7298/statm): 14872 12782 364 364 0 14508 0
[pid=7298] vsize: 59488
Current children cumulated CPU time (s) 860.07
Current children cumulated vsize (Kb) 59488

[startup+870.022 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 7300
Raw data (/proc/7298/stat): 7298 (pb2sat) R 7297 7298 4005 0 -1 0 18839 0 0 0 86956 52 0 0 25 0 1 0 21443890 61050880 12841 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7298/statm): 14905 12841 364 364 0 14541 0
[pid=7298] vsize: 59620
Current children cumulated CPU time (s) 870.08
Current children cumulated vsize (Kb) 59620

[startup+880.021 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 7300
Raw data (/proc/7298/stat): 7298 (pb2sat) R 7297 7298 4005 0 -1 0 18900 0 0 0 87956 52 0 0 25 0 1 0 21443890 61186048 12901 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7298/statm): 14938 12901 364 364 0 14574 0
[pid=7298] vsize: 59752
Current children cumulated CPU time (s) 880.08
Current children cumulated vsize (Kb) 59752

[startup+890.022 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 7300
Raw data (/proc/7298/stat): 7298 (pb2sat) R 7297 7298 4005 0 -1 0 18962 0 0 0 88956 52 0 0 25 0 1 0 21443890 61456384 12962 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7298/statm): 15004 12962 364 364 0 14640 0
[pid=7298] vsize: 60016
Current children cumulated CPU time (s) 890.08
Current children cumulated vsize (Kb) 60016

[startup+900.022 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 7300
Raw data (/proc/7298/stat): 7298 (pb2sat) R 7297 7298 4005 0 -1 0 19022 0 0 0 89956 52 0 0 25 0 1 0 21443890 61591552 13021 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7298/statm): 15037 13021 364 364 0 14673 0
[pid=7298] vsize: 60148
Current children cumulated CPU time (s) 900.08
Current children cumulated vsize (Kb) 60148

[startup+910.023 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 7300
Raw data (/proc/7298/stat): 7298 (pb2sat) R 7297 7298 4005 0 -1 0 19082 0 0 0 90955 52 0 0 25 0 1 0 21443890 61726720 13080 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7298/statm): 15070 13080 364 364 0 14706 0
[pid=7298] vsize: 60280
Current children cumulated CPU time (s) 910.07
Current children cumulated vsize (Kb) 60280

[startup+920.024 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 7300
Raw data (/proc/7298/stat): 7298 (pb2sat) R 7297 7298 4005 0 -1 0 19142 0 0 0 91955 53 0 0 25 0 1 0 21443890 61861888 13139 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7298/statm): 15103 13139 364 364 0 14739 0
[pid=7298] vsize: 60412
Current children cumulated CPU time (s) 920.08
Current children cumulated vsize (Kb) 60412

[startup+930.024 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 7300
Raw data (/proc/7298/stat): 7298 (pb2sat) R 7297 7298 4005 0 -1 0 19203 0 0 0 92955 53 0 0 25 0 1 0 21443890 61997056 13199 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7298/statm): 15136 13199 364 364 0 14772 0
[pid=7298] vsize: 60544
Current children cumulated CPU time (s) 930.08
Current children cumulated vsize (Kb) 60544

[startup+940.025 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 7300
Raw data (/proc/7298/stat): 7298 (pb2sat) R 7297 7298 4005 0 -1 0 19261 0 0 0 93955 53 0 0 25 0 1 0 21443890 62132224 13256 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7298/statm): 15169 13256 364 364 0 14805 0
[pid=7298] vsize: 60676
Current children cumulated CPU time (s) 940.08
Current children cumulated vsize (Kb) 60676

[startup+950.025 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 7300
Raw data (/proc/7298/stat): 7298 (pb2sat) R 7297 7298 4005 0 -1 0 19321 0 0 0 94954 53 0 0 25 0 1 0 21443890 62402560 13315 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7298/statm): 15235 13315 364 364 0 14871 0
[pid=7298] vsize: 60940
Current children cumulated CPU time (s) 950.07
Current children cumulated vsize (Kb) 60940

[startup+960.026 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 7300
Raw data (/proc/7298/stat): 7298 (pb2sat) R 7297 7298 4005 0 -1 0 27601 0 0 0 95934 73 0 0 25 0 1 0 21443890 85942272 20036 4294967295 134512640 135987407 3221224560 3221218492 135481442 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7298/statm): 20982 20036 364 364 0 20618 0
[pid=7298] vsize: 83928
Current children cumulated CPU time (s) 960.07
Current children cumulated vsize (Kb) 83928

[startup+970.027 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 7300
Raw data (/proc/7298/stat): 7298 (pb2sat) R 7297 7298 4005 0 -1 0 61449 0 0 0 96853 151 0 0 25 0 1 0 21443890 183209984 38028 4294967295 134512640 135987407 3221224560 3221216496 134864289 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7298/statm): 44729 38028 364 364 0 44365 0
[pid=7298] vsize: 178916
Current children cumulated CPU time (s) 970.04
Current children cumulated vsize (Kb) 178916

[startup+980.026 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 7300
Raw data (/proc/7298/stat): 7298 (pb2sat) R 7297 7298 4005 0 -1 0 89242 0 0 0 97789 213 0 0 25 0 1 0 21443890 260395008 55857 4294967295 134512640 135987407 3221224560 3220816076 134637002 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7298/statm): 63573 55857 364 364 0 63209 0
[pid=7298] vsize: 254292
Current children cumulated CPU time (s) 980.02
Current children cumulated vsize (Kb) 254292

[startup+990.027 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 7300
Raw data (/proc/7298/stat): 7298 (pb2sat) R 7297 7298 4005 0 -1 0 118636 0 0 0 98725 276 0 0 25 0 1 0 21443890 368340992 72761 4294967295 134512640 135987407 3221224560 3220833632 134887796 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7298/statm): 89927 72761 364 364 0 89563 0
[pid=7298] vsize: 359708
Current children cumulated CPU time (s) 990.01
Current children cumulated vsize (Kb) 359708

[startup+1000.03 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 7300
Raw data (/proc/7298/stat): 7298 (pb2sat) R 7297 7298 4005 0 -1 0 161540 0 0 0 99636 360 0 0 25 0 1 0 21443890 506556416 96062 4294967295 134512640 135987407 3221224560 3220815440 134537474 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7298/statm): 123671 96062 364 364 0 123307 0
[pid=7298] vsize: 494684
Current children cumulated CPU time (s) 999.96
Current children cumulated vsize (Kb) 494684

[startup+1010.03 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 7300
Raw data (/proc/7298/stat): 7298 (pb2sat) R 7297 7298 4005 0 -1 0 202281 0 0 0 100551 444 0 0 25 0 1 0 21443890 729513984 136611 4294967295 134512640 135987407 3221224560 3220831952 134887649 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7298/statm): 178104 136611 364 364 0 177740 0
[pid=7298] vsize: 712416
Current children cumulated CPU time (s) 1009.95
Current children cumulated vsize (Kb) 712416

[startup+1020.03 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 7300
Raw data (/proc/7298/stat): 7298 (pb2sat) R 7297 7298 4005 0 -1 0 217758 0 0 0 101510 483 0 0 25 0 1 0 21443890 683081728 127324 4294967295 134512640 135987407 3221224560 3220825696 134556288 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7298/statm): 166768 127324 364 364 0 166404 0
[pid=7298] vsize: 667072
Current children cumulated CPU time (s) 1019.93
Current children cumulated vsize (Kb) 667072

[startup+1030.03 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 7300
Raw data (/proc/7298/stat): 7298 (pb2sat) R 7297 7298 4005 0 -1 0 235928 0 0 0 102474 518 0 0 25 0 1 0 21443890 707276800 145277 4294967295 134512640 135987407 3221224560 3220817140 134639876 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7298/statm): 172675 145277 364 364 0 172311 0
[pid=7298] vsize: 690700
Current children cumulated CPU time (s) 1029.92
Current children cumulated vsize (Kb) 690700

[startup+1040.03 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 7300
Raw data (/proc/7298/stat): 7298 (pb2sat) R 7297 7298 4005 0 -1 0 253954 0 0 0 103439 550 0 0 25 0 1 0 21443890 732012544 163091 4294967295 134512640 135987407 3221224560 3220821812 134537406 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7298/statm): 178714 163091 364 364 0 178350 0
[pid=7298] vsize: 714856
Current children cumulated CPU time (s) 1039.89
Current children cumulated vsize (Kb) 714856

[startup+1050.03 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 7300
Raw data (/proc/7298/stat): 7298 (pb2sat) R 7297 7298 4005 0 -1 0 270418 0 0 0 104404 584 0 0 25 0 1 0 21443890 809918464 179383 4294967295 134512640 135987407 3221224560 3220837328 134887312 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7298/statm): 197734 179383 364 364 0 197370 0
[pid=7298] vsize: 790936
Current children cumulated CPU time (s) 1049.88
Current children cumulated vsize (Kb) 790936
One traced child (pid=7298) exited with status: 1
All traced children have exited ! Game is over.

Child status: 1
Real time (s): 1057.2
CPU time (s): 1057.05
CPU user time (s): 1050.82
CPU system time (s): 6.23405
CPU usage (%): 99.9865
Max. virtual memory (cumulated for all children) (Kb): 790936

Verifier Data

ERROR: no interpretation found !