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-80bau3b.opb
MD5SUM482f3c6a016323a565c292702d2c5673
Bench Categoryoptimization, big integers (OPTBIGINT)
Has Objective FunctionYES
SatisfiableNO
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function 183640
Biggest coefficient in the objective function 179765856174080000
Number of bits for the biggest coefficient in the objective function 58
Sum of the numbers in the objective function 6977628092477113102
Number of bits of the sum of numbers in the objective function 63
Biggest number in a constraint 179765856174080000
Number of bits of the biggest number in a constraint 58
Biggest sum of numbers in a constraint 6977628092477113102
Number of bits of the biggest sum of numbers63
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark42.7925
Number of variables228990
Total number of constraints5220
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 constraints5220
Minimum length of a constraint10
Maximum length of a constraint3330

Trace number 10008

Launcher Data

LAUNCH ON wulflinc6 THE 2005-09-23 16:14:46 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=8691 boxname=wulflinc6 idbench=487 idsolver=8 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  482f3c6a016323a565c292702d2c5673  /oldhome/oroussel/tmp/wulflinc6/normalized-mps-v2-20-10-80bau3b.opb
REAL COMMAND:  pb2sat /oldhome/oroussel/tmp/wulflinc6/normalized-mps-v2-20-10-80bau3b.opb
IDLAUNCH: 8691
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.158
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.158
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 901.12

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        904912 kB
Buffers:         12804 kB
Cached:          99328 kB
SwapCached:          0 kB
Active:          61928 kB
Inactive:        53072 kB
HighTotal:      131008 kB
HighFree:        28196 kB
LowTotal:       903652 kB
LowFree:        876716 kB
SwapTotal:     2097136 kB
SwapFree:      2097136 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6984 kB
Slab:             9136 kB
Committed_AS:    63660 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-09-23 16:32:24 (client local time) WITH STATUS 1 IN 1057.27 SECONDS
stats: 8691 7 1057.27 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/8148/stat): 8148 (pb2sat) R 8147 8148 4060 0 -1 0 18 0 0 0 0 0 0 0 19 0 1 0 21562888 1527808 2 4294967295 134512640 135987407 3221224560 3221224560 134512928 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8148/statm): 373 2 364 364 0 9 0
[pid=8148] vsize: 1492
open syscall for file /oldhome/oroussel/tmp/wulflinc6/normalized-mps-v2-20-10-80bau3b.opb

[startup+10.0015 s]
Raw data (loadavg): 1.03 0.96 0.96 2/55 8148
Raw data (/proc/8148/stat): 8148 (pb2sat) R 8147 8148 4060 0 -1 0 2480 0 0 0 991 7 0 0 25 0 1 0 21562888 9428992 1795 4294967295 134512640 135987407 3221224560 3221221864 134639648 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8148/statm): 2302 1795 364 364 0 1938 0
[pid=8148] vsize: 9208
Current children cumulated CPU time (s) 9.98
Current children cumulated vsize (Kb) 9208

[startup+20.0023 s]
Raw data (loadavg): 1.03 0.96 0.96 2/55 8148
Raw data (/proc/8148/stat): 8148 (pb2sat) R 8147 8148 4060 0 -1 0 3008 0 0 0 1990 8 0 0 25 0 1 0 21562888 10780672 2314 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8148/statm): 2632 2314 364 364 0 2268 0
[pid=8148] vsize: 10528
Current children cumulated CPU time (s) 19.98
Current children cumulated vsize (Kb) 10528

[startup+30.003 s]
Raw data (loadavg): 1.02 0.96 0.96 2/55 8148
Raw data (/proc/8148/stat): 8148 (pb2sat) R 8147 8148 4060 0 -1 0 4398 0 0 0 2987 12 0 0 25 0 1 0 21562888 15691776 2959 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8148/statm): 3831 2959 364 364 0 3467 0
[pid=8148] vsize: 15324
Current children cumulated CPU time (s) 29.99
Current children cumulated vsize (Kb) 15324

[startup+40.0038 s]
Raw data (loadavg): 1.02 0.97 0.96 2/55 8148
Raw data (/proc/8148/stat): 8148 (pb2sat) R 8147 8148 4060 0 -1 0 4663 0 0 0 3986 13 0 0 25 0 1 0 21562888 16367616 3220 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8148/statm): 3996 3220 364 364 0 3632 0
[pid=8148] vsize: 15984
Current children cumulated CPU time (s) 39.99
Current children cumulated vsize (Kb) 15984

[startup+50.0045 s]
Raw data (loadavg): 1.02 0.97 0.96 2/55 8148
Raw data (/proc/8148/stat): 8148 (pb2sat) R 8147 8148 4060 0 -1 0 4914 0 0 0 4985 14 0 0 25 0 1 0 21562888 17043456 3467 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8148/statm): 4161 3467 364 364 0 3797 0
[pid=8148] vsize: 16644
Current children cumulated CPU time (s) 49.99
Current children cumulated vsize (Kb) 16644

[startup+60.0043 s]
Raw data (loadavg): 1.01 0.97 0.96 2/55 8148
Raw data (/proc/8148/stat): 8148 (pb2sat) R 8147 8148 4060 0 -1 0 5141 0 0 0 5984 15 0 0 25 0 1 0 21562888 17584128 3690 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8148/statm): 4293 3690 364 364 0 3929 0
[pid=8148] vsize: 17172
Current children cumulated CPU time (s) 59.99
Current children cumulated vsize (Kb) 17172

[startup+70.004 s]
Raw data (loadavg): 1.01 0.97 0.96 2/55 8148
Raw data (/proc/8148/stat): 8148 (pb2sat) R 8147 8148 4060 0 -1 0 5351 0 0 0 6984 15 0 0 25 0 1 0 21562888 18124800 3897 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8148/statm): 4425 3897 364 364 0 4061 0
[pid=8148] vsize: 17700
Current children cumulated CPU time (s) 69.99
Current children cumulated vsize (Kb) 17700

[startup+80.0048 s]
Raw data (loadavg): 1.01 0.97 0.96 2/55 8148
Raw data (/proc/8148/stat): 8148 (pb2sat) R 8147 8148 4060 0 -1 0 5548 0 0 0 7983 16 0 0 25 0 1 0 21562888 18665472 4090 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8148/statm): 4557 4090 364 364 0 4193 0
[pid=8148] vsize: 18228
Current children cumulated CPU time (s) 79.99
Current children cumulated vsize (Kb) 18228

[startup+90.0045 s]
Raw data (loadavg): 1.01 0.97 0.96 2/55 8148
Raw data (/proc/8148/stat): 8148 (pb2sat) R 8147 8148 4060 0 -1 0 5734 0 0 0 8983 16 0 0 25 0 1 0 21562888 19070976 4273 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8148/statm): 4656 4273 364 364 0 4292 0
[pid=8148] vsize: 18624
Current children cumulated CPU time (s) 89.99
Current children cumulated vsize (Kb) 18624

[startup+100.005 s]
Raw data (loadavg): 1.00 0.97 0.96 2/55 8148
Raw data (/proc/8148/stat): 8148 (pb2sat) R 8147 8148 4060 0 -1 0 5929 0 0 0 9982 17 0 0 25 0 1 0 21562888 19611648 4466 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8148/statm): 4788 4466 364 364 0 4424 0
[pid=8148] vsize: 19152
Current children cumulated CPU time (s) 99.99
Current children cumulated vsize (Kb) 19152

[startup+110.006 s]
Raw data (loadavg): 1.00 0.97 0.96 2/55 8148
Raw data (/proc/8148/stat): 8148 (pb2sat) R 8147 8148 4060 0 -1 0 7322 0 0 0 10979 20 0 0 25 0 1 0 21562888 30556160 5809 4294967295 134512640 135987407 3221224560 3221221068 135482121 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8148/statm): 7460 5811 364 364 0 7096 0
[pid=8148] vsize: 29840
Current children cumulated CPU time (s) 109.99
Current children cumulated vsize (Kb) 29840

[startup+120.006 s]
Raw data (loadavg): 1.00 0.97 0.96 2/55 8148
Raw data (/proc/8148/stat): 8148 (pb2sat) R 8147 8148 4060 0 -1 0 8392 0 0 0 11976 23 0 0 25 0 1 0 21562888 29028352 5449 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8148/statm): 7087 5449 364 364 0 6723 0
[pid=8148] vsize: 28348
Current children cumulated CPU time (s) 119.99
Current children cumulated vsize (Kb) 28348

[startup+130.005 s]
Raw data (loadavg): 1.00 0.97 0.96 2/55 8148
Raw data (/proc/8148/stat): 8148 (pb2sat) R 8147 8148 4060 0 -1 0 8472 0 0 0 12975 24 0 0 25 0 1 0 21562888 29163520 5526 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8148/statm): 7120 5526 364 364 0 6756 0
[pid=8148] vsize: 28480
Current children cumulated CPU time (s) 129.99
Current children cumulated vsize (Kb) 28480

[startup+140.005 s]
Raw data (loadavg): 1.00 0.97 0.96 2/55 8148
Raw data (/proc/8148/stat): 8148 (pb2sat) R 8147 8148 4060 0 -1 0 8600 0 0 0 13975 24 0 0 25 0 1 0 21562888 29433856 5652 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8148/statm): 7186 5652 364 364 0 6822 0
[pid=8148] vsize: 28744
Current children cumulated CPU time (s) 139.99
Current children cumulated vsize (Kb) 28744

[startup+150.006 s]
Raw data (loadavg): 1.00 0.97 0.96 2/55 8148
Raw data (/proc/8148/stat): 8148 (pb2sat) R 8147 8148 4060 0 -1 0 8724 0 0 0 14975 24 0 0 25 0 1 0 21562888 29704192 5773 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8148/statm): 7252 5773 364 364 0 6888 0
[pid=8148] vsize: 29008
Current children cumulated CPU time (s) 149.99
Current children cumulated vsize (Kb) 29008

[startup+160.006 s]
Raw data (loadavg): 1.00 0.97 0.96 2/55 8148
Raw data (/proc/8148/stat): 8148 (pb2sat) R 8147 8148 4060 0 -1 0 8842 0 0 0 15975 24 0 0 25 0 1 0 21562888 29974528 5889 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8148/statm): 7318 5889 364 364 0 6954 0
[pid=8148] vsize: 29272
Current children cumulated CPU time (s) 159.99
Current children cumulated vsize (Kb) 29272

[startup+170.005 s]
Raw data (loadavg): 1.00 0.97 0.96 2/55 8148
Raw data (/proc/8148/stat): 8148 (pb2sat) R 8147 8148 4060 0 -1 0 8958 0 0 0 16974 25 0 0 25 0 1 0 21562888 30244864 6003 4294967295 134512640 135987407 3221224560 3221221872 134555870 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8148/statm): 7384 6003 364 364 0 7020 0
[pid=8148] vsize: 29536
Current children cumulated CPU time (s) 169.99
Current children cumulated vsize (Kb) 29536

[startup+180.005 s]
Raw data (loadavg): 1.00 0.97 0.96 2/55 8148
Raw data (/proc/8148/stat): 8148 (pb2sat) R 8147 8148 4060 0 -1 0 9070 0 0 0 17973 26 0 0 25 0 1 0 21562888 30515200 6113 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8148/statm): 7450 6113 364 364 0 7086 0
[pid=8148] vsize: 29800
Current children cumulated CPU time (s) 179.99
Current children cumulated vsize (Kb) 29800

[startup+190.005 s]
Raw data (loadavg): 1.00 0.97 0.96 2/55 8148
Raw data (/proc/8148/stat): 8148 (pb2sat) R 8147 8148 4060 0 -1 0 9196 0 0 0 18973 27 0 0 25 0 1 0 21562888 30785536 6237 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8148/statm): 7516 6237 364 364 0 7152 0
[pid=8148] vsize: 30064
Current children cumulated CPU time (s) 190
Current children cumulated vsize (Kb) 30064

[startup+200.006 s]
Raw data (loadavg): 1.00 0.97 0.96 2/55 8148
Raw data (/proc/8148/stat): 8148 (pb2sat) R 8147 8148 4060 0 -1 0 9317 0 0 0 19972 27 0 0 25 0 1 0 21562888 31191040 6356 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8148/statm): 7615 6356 364 364 0 7251 0
[pid=8148] vsize: 30460
Current children cumulated CPU time (s) 199.99
Current children cumulated vsize (Kb) 30460

[startup+210.005 s]
Raw data (loadavg): 1.00 0.97 0.96 2/55 8148
Raw data (/proc/8148/stat): 8148 (pb2sat) R 8147 8148 4060 0 -1 0 9437 0 0 0 20972 28 0 0 25 0 1 0 21562888 31461376 6474 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8148/statm): 7681 6474 364 364 0 7317 0
[pid=8148] vsize: 30724
Current children cumulated CPU time (s) 210
Current children cumulated vsize (Kb) 30724

[startup+220.005 s]
Raw data (loadavg): 1.00 0.97 0.96 2/55 8148
Raw data (/proc/8148/stat): 8148 (pb2sat) R 8147 8148 4060 0 -1 0 9555 0 0 0 21971 29 0 0 25 0 1 0 21562888 31731712 6590 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8148/statm): 7747 6590 364 364 0 7383 0
[pid=8148] vsize: 30988
Current children cumulated CPU time (s) 220
Current children cumulated vsize (Kb) 30988

[startup+230.005 s]
Raw data (loadavg): 1.00 0.97 0.96 2/55 8148
Raw data (/proc/8148/stat): 8148 (pb2sat) R 8147 8148 4060 0 -1 0 9670 0 0 0 22971 29 0 0 25 0 1 0 21562888 32002048 6703 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8148/statm): 7813 6703 364 364 0 7449 0
[pid=8148] vsize: 31252
Current children cumulated CPU time (s) 230
Current children cumulated vsize (Kb) 31252

[startup+240.005 s]
Raw data (loadavg): 1.00 0.97 0.96 2/55 8148
Raw data (/proc/8148/stat): 8148 (pb2sat) R 8147 8148 4060 0 -1 0 9783 0 0 0 23970 30 0 0 25 0 1 0 21562888 32407552 6815 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8148/statm): 7912 6815 364 364 0 7548 0
[pid=8148] vsize: 31648
Current children cumulated CPU time (s) 240
Current children cumulated vsize (Kb) 31648

[startup+250.005 s]
Raw data (loadavg): 1.00 0.97 0.96 2/55 8148
Raw data (/proc/8148/stat): 8148 (pb2sat) R 8147 8148 4060 0 -1 0 9895 0 0 0 24970 31 0 0 25 0 1 0 21562888 32677888 6925 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8148/statm): 7978 6925 364 364 0 7614 0
[pid=8148] vsize: 31912
Current children cumulated CPU time (s) 250.01
Current children cumulated vsize (Kb) 31912

[startup+260.006 s]
Raw data (loadavg): 1.00 0.97 0.96 2/55 8148
Raw data (/proc/8148/stat): 8148 (pb2sat) R 8147 8148 4060 0 -1 0 10003 0 0 0 25969 31 0 0 25 0 1 0 21562888 32948224 7031 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8148/statm): 8044 7031 364 364 0 7680 0
[pid=8148] vsize: 32176
Current children cumulated CPU time (s) 260
Current children cumulated vsize (Kb) 32176

[startup+270.006 s]
Raw data (loadavg): 1.00 0.97 0.96 2/55 8148
Raw data (/proc/8148/stat): 8148 (pb2sat) R 8147 8148 4060 0 -1 0 10109 0 0 0 26969 32 0 0 25 0 1 0 21562888 33218560 7135 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8148/statm): 8110 7135 364 364 0 7746 0
[pid=8148] vsize: 32440
Current children cumulated CPU time (s) 270.01
Current children cumulated vsize (Kb) 32440

[startup+280.007 s]
Raw data (loadavg): 1.00 0.97 0.96 2/55 8148
Raw data (/proc/8148/stat): 8148 (pb2sat) R 8147 8148 4060 0 -1 0 10214 0 0 0 27969 32 0 0 25 0 1 0 21562888 33488896 7239 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8148/statm): 8176 7239 364 364 0 7812 0
[pid=8148] vsize: 32704
Current children cumulated CPU time (s) 280.01
Current children cumulated vsize (Kb) 32704

[startup+290.007 s]
Raw data (loadavg): 1.00 0.97 0.96 2/55 8148
Raw data (/proc/8148/stat): 8148 (pb2sat) R 8147 8148 4060 0 -1 0 10318 0 0 0 28968 32 0 0 25 0 1 0 21562888 33759232 7341 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8148/statm): 8242 7341 364 364 0 7878 0
[pid=8148] vsize: 32968
Current children cumulated CPU time (s) 290
Current children cumulated vsize (Kb) 32968

[startup+300.007 s]
Raw data (loadavg): 1.00 0.97 0.96 2/55 8148
Raw data (/proc/8148/stat): 8148 (pb2sat) R 8147 8148 4060 0 -1 0 10421 0 0 0 29968 33 0 0 25 0 1 0 21562888 34029568 7442 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8148/statm): 8308 7442 364 364 0 7944 0
[pid=8148] vsize: 33232
Current children cumulated CPU time (s) 300.01
Current children cumulated vsize (Kb) 33232

[startup+310.007 s]
Raw data (loadavg): 1.00 0.97 0.96 2/55 8148
Raw data (/proc/8148/stat): 8148 (pb2sat) R 8147 8148 4060 0 -1 0 10521 0 0 0 30968 33 0 0 25 0 1 0 21562888 34299904 7541 4294967295 134512640 135987407 3221224560 3221221864 134639648 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8148/statm): 8374 7541 364 364 0 8010 0
[pid=8148] vsize: 33496
Current children cumulated CPU time (s) 310.01
Current children cumulated vsize (Kb) 33496

[startup+320.008 s]
Raw data (loadavg): 1.00 0.97 0.96 2/55 8148
Raw data (/proc/8148/stat): 8148 (pb2sat) R 8147 8148 4060 0 -1 0 10623 0 0 0 31968 33 0 0 25 0 1 0 21562888 34570240 7641 4294967295 134512640 135987407 3221224560 3221221904 134612790 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8148/statm): 8440 7641 364 364 0 8076 0
[pid=8148] vsize: 33760
Current children cumulated CPU time (s) 320.01
Current children cumulated vsize (Kb) 33760

[startup+330.008 s]
Raw data (loadavg): 1.00 0.97 0.96 2/55 8148
Raw data (/proc/8148/stat): 8148 (pb2sat) R 8147 8148 4060 0 -1 0 10720 0 0 0 32967 34 0 0 25 0 1 0 21562888 34705408 7736 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8148/statm): 8473 7736 364 364 0 8109 0
[pid=8148] vsize: 33892
Current children cumulated CPU time (s) 330.01
Current children cumulated vsize (Kb) 33892

[startup+340.009 s]
Raw data (loadavg): 1.00 0.97 0.96 2/55 8148
Raw data (/proc/8148/stat): 8148 (pb2sat) R 8147 8148 4060 0 -1 0 10815 0 0 0 33967 34 0 0 25 0 1 0 21562888 34975744 7830 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8148/statm): 8539 7830 364 364 0 8175 0
[pid=8148] vsize: 34156
Current children cumulated CPU time (s) 340.01
Current children cumulated vsize (Kb) 34156

[startup+350.01 s]
Raw data (loadavg): 1.00 0.97 0.96 2/55 8148
Raw data (/proc/8148/stat): 8148 (pb2sat) R 8147 8148 4060 0 -1 0 10910 0 0 0 34967 34 0 0 25 0 1 0 21562888 35246080 7923 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8148/statm): 8605 7923 364 364 0 8241 0
[pid=8148] vsize: 34420
Current children cumulated CPU time (s) 350.01
Current children cumulated vsize (Kb) 34420

[startup+360.011 s]
Raw data (loadavg): 1.00 0.97 0.96 2/55 8148
Raw data (/proc/8148/stat): 8148 (pb2sat) R 8147 8148 4060 0 -1 0 11002 0 0 0 35967 34 0 0 25 0 1 0 21562888 35516416 8014 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8148/statm): 8671 8014 364 364 0 8307 0
[pid=8148] vsize: 34684
Current children cumulated CPU time (s) 360.01
Current children cumulated vsize (Kb) 34684

[startup+370.01 s]
Raw data (loadavg): 1.00 0.97 0.96 2/55 8148
Raw data (/proc/8148/stat): 8148 (pb2sat) R 8147 8148 4060 0 -1 0 11095 0 0 0 36967 35 0 0 25 0 1 0 21562888 35786752 8105 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8148/statm): 8737 8105 364 364 0 8373 0
[pid=8148] vsize: 34948
Current children cumulated CPU time (s) 370.02
Current children cumulated vsize (Kb) 34948

[startup+380.011 s]
Raw data (loadavg): 1.00 0.97 0.96 2/55 8148
Raw data (/proc/8148/stat): 8148 (pb2sat) R 8147 8148 4060 0 -1 0 11185 0 0 0 37967 35 0 0 25 0 1 0 21562888 35921920 8194 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8148/statm): 8770 8194 364 364 0 8406 0
[pid=8148] vsize: 35080
Current children cumulated CPU time (s) 380.02
Current children cumulated vsize (Kb) 35080

[startup+390.011 s]
Raw data (loadavg): 1.00 0.97 0.96 2/55 8148
Raw data (/proc/8148/stat): 8148 (pb2sat) R 8147 8148 4060 0 -1 0 11275 0 0 0 38966 35 0 0 25 0 1 0 21562888 36192256 8282 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8148/statm): 8836 8282 364 364 0 8472 0
[pid=8148] vsize: 35344
Current children cumulated CPU time (s) 390.01
Current children cumulated vsize (Kb) 35344

[startup+400.012 s]
Raw data (loadavg): 1.00 0.97 0.96 2/55 8148
Raw data (/proc/8148/stat): 8148 (pb2sat) R 8147 8148 4060 0 -1 0 11364 0 0 0 39966 36 0 0 25 0 1 0 21562888 36462592 8370 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8148/statm): 8902 8370 364 364 0 8538 0
[pid=8148] vsize: 35608
Current children cumulated CPU time (s) 400.02
Current children cumulated vsize (Kb) 35608

[startup+410.011 s]
Raw data (loadavg): 1.00 0.97 0.96 2/55 8148
Raw data (/proc/8148/stat): 8148 (pb2sat) R 8147 8148 4060 0 -1 0 11451 0 0 0 40966 36 0 0 25 0 1 0 21562888 36597760 8456 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8148/statm): 8935 8456 364 364 0 8571 0
[pid=8148] vsize: 35740
Current children cumulated CPU time (s) 410.02
Current children cumulated vsize (Kb) 35740

[startup+420.011 s]
Raw data (loadavg): 1.00 0.97 0.96 2/55 8148
Raw data (/proc/8148/stat): 8148 (pb2sat) R 8147 8148 4060 0 -1 0 11537 0 0 0 41965 36 0 0 25 0 1 0 21562888 36868096 8540 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8148/statm): 9001 8540 364 364 0 8637 0
[pid=8148] vsize: 36004
Current children cumulated CPU time (s) 420.01
Current children cumulated vsize (Kb) 36004

[startup+430.012 s]
Raw data (loadavg): 1.00 0.97 0.96 2/55 8148
Raw data (/proc/8148/stat): 8148 (pb2sat) R 8147 8148 4060 0 -1 0 11622 0 0 0 42965 37 0 0 25 0 1 0 21562888 37138432 8624 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8148/statm): 9067 8624 364 364 0 8703 0
[pid=8148] vsize: 36268
Current children cumulated CPU time (s) 430.02
Current children cumulated vsize (Kb) 36268

[startup+440.013 s]
Raw data (loadavg): 1.00 0.97 0.96 2/55 8148
Raw data (/proc/8148/stat): 8148 (pb2sat) R 8147 8148 4060 0 -1 0 11708 0 0 0 43965 37 0 0 25 0 1 0 21562888 37273600 8708 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8148/statm): 9100 8708 364 364 0 8736 0
[pid=8148] vsize: 36400
Current children cumulated CPU time (s) 440.02
Current children cumulated vsize (Kb) 36400

[startup+450.013 s]
Raw data (loadavg): 1.00 0.97 0.96 2/55 8148
Raw data (/proc/8148/stat): 8148 (pb2sat) R 8147 8148 4060 0 -1 0 11790 0 0 0 44964 37 0 0 25 0 1 0 21562888 37543936 8789 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8148/statm): 9166 8789 364 364 0 8802 0
[pid=8148] vsize: 36664
Current children cumulated CPU time (s) 450.01
Current children cumulated vsize (Kb) 36664

[startup+460.014 s]
Raw data (loadavg): 1.00 0.97 0.96 2/55 8148
Raw data (/proc/8148/stat): 8148 (pb2sat) R 8147 8148 4060 0 -1 0 11874 0 0 0 45964 37 0 0 25 0 1 0 21562888 37679104 8872 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8148/statm): 9199 8872 364 364 0 8835 0
[pid=8148] vsize: 36796
Current children cumulated CPU time (s) 460.01
Current children cumulated vsize (Kb) 36796

[startup+470.014 s]
Raw data (loadavg): 1.00 0.97 0.96 2/55 8148
Raw data (/proc/8148/stat): 8148 (pb2sat) R 8147 8148 4060 0 -1 0 11956 0 0 0 46964 38 0 0 25 0 1 0 21562888 37949440 8952 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8148/statm): 9265 8952 364 364 0 8901 0
[pid=8148] vsize: 37060
Current children cumulated CPU time (s) 470.02
Current children cumulated vsize (Kb) 37060

[startup+480.015 s]
Raw data (loadavg): 1.00 0.97 0.96 2/55 8148
Raw data (/proc/8148/stat): 8148 (pb2sat) R 8147 8148 4060 0 -1 0 12036 0 0 0 47964 38 0 0 25 0 1 0 21562888 38084608 9031 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8148/statm): 9298 9031 364 364 0 8934 0
[pid=8148] vsize: 37192
Current children cumulated CPU time (s) 480.02
Current children cumulated vsize (Kb) 37192

[startup+490.014 s]
Raw data (loadavg): 1.00 0.97 0.96 2/55 8148
Raw data (/proc/8148/stat): 8148 (pb2sat) R 8147 8148 4060 0 -1 0 16557 0 0 0 48955 47 0 0 25 0 1 0 21562888 55971840 10604 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8148/statm): 13665 10604 364 364 0 13301 0
[pid=8148] vsize: 54660
Current children cumulated CPU time (s) 490.02
Current children cumulated vsize (Kb) 54660

[startup+500.016 s]
Raw data (loadavg): 1.00 0.97 0.96 2/55 8148
Raw data (/proc/8148/stat): 8148 (pb2sat) R 8147 8148 4060 0 -1 0 16586 0 0 0 49955 47 0 0 25 0 1 0 21562888 55971840 10632 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8148/statm): 13665 10632 364 364 0 13301 0
[pid=8148] vsize: 54660
Current children cumulated CPU time (s) 500.02
Current children cumulated vsize (Kb) 54660

[startup+510.016 s]
Raw data (loadavg): 1.00 0.97 0.96 2/55 8148
Raw data (/proc/8148/stat): 8148 (pb2sat) R 8147 8148 4060 0 -1 0 16615 0 0 0 50955 47 0 0 25 0 1 0 21562888 55971840 10659 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8148/statm): 13665 10659 364 364 0 13301 0
[pid=8148] vsize: 54660
Current children cumulated CPU time (s) 510.02
Current children cumulated vsize (Kb) 54660

[startup+520.016 s]
Raw data (loadavg): 1.00 0.97 0.96 2/55 8148
Raw data (/proc/8148/stat): 8148 (pb2sat) R 8147 8148 4060 0 -1 0 16644 0 0 0 51955 47 0 0 25 0 1 0 21562888 55971840 10687 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8148/statm): 13665 10687 364 364 0 13301 0
[pid=8148] vsize: 54660
Current children cumulated CPU time (s) 520.02
Current children cumulated vsize (Kb) 54660

[startup+530.016 s]
Raw data (loadavg): 1.00 0.97 0.96 2/55 8148
Raw data (/proc/8148/stat): 8148 (pb2sat) R 8147 8148 4060 0 -1 0 16673 0 0 0 52955 47 0 0 25 0 1 0 21562888 55971840 10715 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8148/statm): 13665 10715 364 364 0 13301 0
[pid=8148] vsize: 54660
Current children cumulated CPU time (s) 530.02
Current children cumulated vsize (Kb) 54660

[startup+540.016 s]
Raw data (loadavg): 1.00 0.97 0.96 2/55 8148
Raw data (/proc/8148/stat): 8148 (pb2sat) R 8147 8148 4060 0 -1 0 16701 0 0 0 53955 47 0 0 25 0 1 0 21562888 55971840 10742 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8148/statm): 13665 10742 364 364 0 13301 0
[pid=8148] vsize: 54660
Current children cumulated CPU time (s) 540.02
Current children cumulated vsize (Kb) 54660

[startup+550.017 s]
Raw data (loadavg): 1.00 0.97 0.96 2/55 8148
Raw data (/proc/8148/stat): 8148 (pb2sat) R 8147 8148 4060 0 -1 0 16742 0 0 0 54955 47 0 0 25 0 1 0 21562888 56107008 10781 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8148/statm): 13698 10781 364 364 0 13334 0
[pid=8148] vsize: 54792
Current children cumulated CPU time (s) 550.02
Current children cumulated vsize (Kb) 54792

[startup+560.018 s]
Raw data (loadavg): 1.00 0.97 0.96 2/55 8148
Raw data (/proc/8148/stat): 8148 (pb2sat) R 8147 8148 4060 0 -1 0 16806 0 0 0 55954 48 0 0 25 0 1 0 21562888 56242176 10844 4294967295 134512640 135987407 3221224560 3221221248 134855009 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8148/statm): 13731 10844 364 364 0 13367 0
[pid=8148] vsize: 54924
Current children cumulated CPU time (s) 560.02
Current children cumulated vsize (Kb) 54924

[startup+570.017 s]
Raw data (loadavg): 1.00 0.97 0.96 2/55 8148
Raw data (/proc/8148/stat): 8148 (pb2sat) R 8147 8148 4060 0 -1 0 16873 0 0 0 56954 48 0 0 25 0 1 0 21562888 56377344 10910 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8148/statm): 13764 10910 364 364 0 13400 0
[pid=8148] vsize: 55056
Current children cumulated CPU time (s) 570.02
Current children cumulated vsize (Kb) 55056

[startup+580.018 s]
Raw data (loadavg): 1.00 0.97 0.96 2/55 8148
Raw data (/proc/8148/stat): 8148 (pb2sat) R 8147 8148 4060 0 -1 0 16937 0 0 0 57954 48 0 0 25 0 1 0 21562888 56512512 10973 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8148/statm): 13797 10973 364 364 0 13433 0
[pid=8148] vsize: 55188
Current children cumulated CPU time (s) 580.02
Current children cumulated vsize (Kb) 55188

[startup+590.018 s]
Raw data (loadavg): 1.00 0.97 0.96 2/55 8148
Raw data (/proc/8148/stat): 8148 (pb2sat) R 8147 8148 4060 0 -1 0 17000 0 0 0 58954 48 0 0 25 0 1 0 21562888 56647680 11035 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8148/statm): 13830 11035 364 364 0 13466 0
[pid=8148] vsize: 55320
Current children cumulated CPU time (s) 590.02
Current children cumulated vsize (Kb) 55320

[startup+600.019 s]
Raw data (loadavg): 1.00 0.97 0.96 2/55 8148
Raw data (/proc/8148/stat): 8148 (pb2sat) R 8147 8148 4060 0 -1 0 17064 0 0 0 59954 48 0 0 25 0 1 0 21562888 56782848 11097 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8148/statm): 13863 11097 364 364 0 13499 0
[pid=8148] vsize: 55452
Current children cumulated CPU time (s) 600.02
Current children cumulated vsize (Kb) 55452

[startup+610.018 s]
Raw data (loadavg): 1.00 0.97 0.96 2/55 8148
Raw data (/proc/8148/stat): 8148 (pb2sat) R 8147 8148 4060 0 -1 0 17127 0 0 0 60954 49 0 0 25 0 1 0 21562888 56918016 11159 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8148/statm): 13896 11159 364 364 0 13532 0
[pid=8148] vsize: 55584
Current children cumulated CPU time (s) 610.03
Current children cumulated vsize (Kb) 55584

[startup+620.018 s]
Raw data (loadavg): 1.00 0.97 0.96 2/55 8148
Raw data (/proc/8148/stat): 8148 (pb2sat) R 8147 8148 4060 0 -1 0 17189 0 0 0 61954 49 0 0 25 0 1 0 21562888 57053184 11220 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8148/statm): 13929 11220 364 364 0 13565 0
[pid=8148] vsize: 55716
Current children cumulated CPU time (s) 620.03
Current children cumulated vsize (Kb) 55716

[startup+630.019 s]
Raw data (loadavg): 1.00 0.97 0.96 2/55 8148
Raw data (/proc/8148/stat): 8148 (pb2sat) R 8147 8148 4060 0 -1 0 17251 0 0 0 62954 49 0 0 25 0 1 0 21562888 57323520 11281 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8148/statm): 13995 11281 364 364 0 13631 0
[pid=8148] vsize: 55980
Current children cumulated CPU time (s) 630.03
Current children cumulated vsize (Kb) 55980

[startup+640.02 s]
Raw data (loadavg): 1.00 0.97 0.96 2/55 8148
Raw data (/proc/8148/stat): 8148 (pb2sat) R 8147 8148 4060 0 -1 0 17313 0 0 0 63954 49 0 0 25 0 1 0 21562888 57458688 11342 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8148/statm): 14028 11342 364 364 0 13664 0
[pid=8148] vsize: 56112
Current children cumulated CPU time (s) 640.03
Current children cumulated vsize (Kb) 56112

[startup+650.02 s]
Raw data (loadavg): 1.00 0.97 0.96 2/55 8148
Raw data (/proc/8148/stat): 8148 (pb2sat) R 8147 8148 4060 0 -1 0 17374 0 0 0 64954 49 0 0 25 0 1 0 21562888 57593856 11402 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8148/statm): 14061 11402 364 364 0 13697 0
[pid=8148] vsize: 56244
Current children cumulated CPU time (s) 650.03
Current children cumulated vsize (Kb) 56244

[startup+660.02 s]
Raw data (loadavg): 1.00 0.97 0.96 2/55 8148
Raw data (/proc/8148/stat): 8148 (pb2sat) R 8147 8148 4060 0 -1 0 17433 0 0 0 65953 49 0 0 25 0 1 0 21562888 57729024 11460 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8148/statm): 14094 11460 364 364 0 13730 0
[pid=8148] vsize: 56376
Current children cumulated CPU time (s) 660.02
Current children cumulated vsize (Kb) 56376

[startup+670.02 s]
Raw data (loadavg): 1.00 0.97 0.96 2/55 8148
Raw data (/proc/8148/stat): 8148 (pb2sat) R 8147 8148 4060 0 -1 0 17494 0 0 0 66953 49 0 0 25 0 1 0 21562888 57864192 11519 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8148/statm): 14127 11519 364 364 0 13763 0
[pid=8148] vsize: 56508
Current children cumulated CPU time (s) 670.02
Current children cumulated vsize (Kb) 56508

[startup+680.021 s]
Raw data (loadavg): 1.00 0.97 0.96 2/55 8148
Raw data (/proc/8148/stat): 8148 (pb2sat) R 8147 8148 4060 0 -1 0 17553 0 0 0 67953 50 0 0 25 0 1 0 21562888 57999360 11577 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8148/statm): 14160 11577 364 364 0 13796 0
[pid=8148] vsize: 56640
Current children cumulated CPU time (s) 680.03
Current children cumulated vsize (Kb) 56640

[startup+690.02 s]
Raw data (loadavg): 1.00 0.97 0.96 2/55 8148
Raw data (/proc/8148/stat): 8148 (pb2sat) R 8147 8148 4060 0 -1 0 17612 0 0 0 68953 50 0 0 25 0 1 0 21562888 58134528 11635 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8148/statm): 14193 11635 364 364 0 13829 0
[pid=8148] vsize: 56772
Current children cumulated CPU time (s) 690.03
Current children cumulated vsize (Kb) 56772

[startup+700.021 s]
Raw data (loadavg): 1.00 0.97 0.96 2/55 8148
Raw data (/proc/8148/stat): 8148 (pb2sat) R 8147 8148 4060 0 -1 0 17671 0 0 0 69953 51 0 0 25 0 1 0 21562888 58269696 11693 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8148/statm): 14226 11693 364 364 0 13862 0
[pid=8148] vsize: 56904
Current children cumulated CPU time (s) 700.04
Current children cumulated vsize (Kb) 56904

[startup+710.022 s]
Raw data (loadavg): 1.00 0.97 0.96 2/55 8148
Raw data (/proc/8148/stat): 8148 (pb2sat) R 8147 8148 4060 0 -1 0 17728 0 0 0 70952 51 0 0 25 0 1 0 21562888 58404864 11749 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8148/statm): 14259 11749 364 364 0 13895 0
[pid=8148] vsize: 57036
Current children cumulated CPU time (s) 710.03
Current children cumulated vsize (Kb) 57036

[startup+720.022 s]
Raw data (loadavg): 1.00 0.97 0.96 2/55 8148
Raw data (/proc/8148/stat): 8148 (pb2sat) R 8147 8148 4060 0 -1 0 17788 0 0 0 71952 51 0 0 25 0 1 0 21562888 58540032 11808 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8148/statm): 14292 11808 364 364 0 13928 0
[pid=8148] vsize: 57168
Current children cumulated CPU time (s) 720.03
Current children cumulated vsize (Kb) 57168

[startup+730.022 s]
Raw data (loadavg): 1.00 0.97 0.96 2/55 8148
Raw data (/proc/8148/stat): 8148 (pb2sat) R 8147 8148 4060 0 -1 0 17846 0 0 0 72952 52 0 0 25 0 1 0 21562888 58675200 11865 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8148/statm): 14325 11865 364 364 0 13961 0
[pid=8148] vsize: 57300
Current children cumulated CPU time (s) 730.04
Current children cumulated vsize (Kb) 57300

[startup+740.023 s]
Raw data (loadavg): 1.00 0.97 0.96 2/55 8148
Raw data (/proc/8148/stat): 8148 (pb2sat) R 8147 8148 4060 0 -1 0 17903 0 0 0 73952 52 0 0 25 0 1 0 21562888 58810368 11921 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8148/statm): 14358 11921 364 364 0 13994 0
[pid=8148] vsize: 57432
Current children cumulated CPU time (s) 740.04
Current children cumulated vsize (Kb) 57432

[startup+750.024 s]
Raw data (loadavg): 1.00 0.97 0.96 2/55 8148
Raw data (/proc/8148/stat): 8148 (pb2sat) R 8147 8148 4060 0 -1 0 17959 0 0 0 74951 53 0 0 25 0 1 0 21562888 58945536 11976 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8148/statm): 14391 11976 364 364 0 14027 0
[pid=8148] vsize: 57564
Current children cumulated CPU time (s) 750.04
Current children cumulated vsize (Kb) 57564

[startup+760.025 s]
Raw data (loadavg): 1.00 0.97 0.96 2/55 8148
Raw data (/proc/8148/stat): 8148 (pb2sat) R 8147 8148 4060 0 -1 0 18018 0 0 0 75951 53 0 0 25 0 1 0 21562888 59080704 12034 4294967295 134512640 135987407 3221224560 3221221872 134555852 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8148/statm): 14424 12034 364 364 0 14060 0
[pid=8148] vsize: 57696
Current children cumulated CPU time (s) 760.04
Current children cumulated vsize (Kb) 57696

[startup+770.024 s]
Raw data (loadavg): 1.00 0.97 0.96 2/55 8148
Raw data (/proc/8148/stat): 8148 (pb2sat) R 8147 8148 4060 0 -1 0 18082 0 0 0 76951 53 0 0 25 0 1 0 21562888 59215872 12097 4294967295 134512640 135987407 3221224560 3221221872 134555870 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8148/statm): 14457 12097 364 364 0 14093 0
[pid=8148] vsize: 57828
Current children cumulated CPU time (s) 770.04
Current children cumulated vsize (Kb) 57828

[startup+780.025 s]
Raw data (loadavg): 1.00 0.97 0.96 2/55 8148
Raw data (/proc/8148/stat): 8148 (pb2sat) R 8147 8148 4060 0 -1 0 18146 0 0 0 77951 53 0 0 25 0 1 0 21562888 59351040 12160 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8148/statm): 14490 12160 364 364 0 14126 0
[pid=8148] vsize: 57960
Current children cumulated CPU time (s) 780.04
Current children cumulated vsize (Kb) 57960

[startup+790.025 s]
Raw data (loadavg): 1.00 0.97 0.96 2/55 8148
Raw data (/proc/8148/stat): 8148 (pb2sat) R 8147 8148 4060 0 -1 0 18208 0 0 0 78950 54 0 0 25 0 1 0 21562888 59486208 12221 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8148/statm): 14523 12221 364 364 0 14159 0
[pid=8148] vsize: 58092
Current children cumulated CPU time (s) 790.04
Current children cumulated vsize (Kb) 58092

[startup+800.026 s]
Raw data (loadavg): 1.00 0.97 0.96 2/55 8148
Raw data (/proc/8148/stat): 8148 (pb2sat) R 8147 8148 4060 0 -1 0 18273 0 0 0 79950 54 0 0 25 0 1 0 21562888 59756544 12285 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8148/statm): 14589 12285 364 364 0 14225 0
[pid=8148] vsize: 58356
Current children cumulated CPU time (s) 800.04
Current children cumulated vsize (Kb) 58356

[startup+810.025 s]
Raw data (loadavg): 1.00 0.97 0.96 2/55 8148
Raw data (/proc/8148/stat): 8148 (pb2sat) R 8147 8148 4060 0 -1 0 18336 0 0 0 80950 54 0 0 25 0 1 0 21562888 59891712 12347 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8148/statm): 14622 12347 364 364 0 14258 0
[pid=8148] vsize: 58488
Current children cumulated CPU time (s) 810.04
Current children cumulated vsize (Kb) 58488

[startup+820.025 s]
Raw data (loadavg): 1.00 0.97 0.96 2/55 8148
Raw data (/proc/8148/stat): 8148 (pb2sat) R 8147 8148 4060 0 -1 0 18398 0 0 0 81950 54 0 0 25 0 1 0 21562888 60026880 12408 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8148/statm): 14655 12408 364 364 0 14291 0
[pid=8148] vsize: 58620
Current children cumulated CPU time (s) 820.04
Current children cumulated vsize (Kb) 58620

[startup+830.026 s]
Raw data (loadavg): 1.00 0.97 0.96 2/55 8148
Raw data (/proc/8148/stat): 8148 (pb2sat) R 8147 8148 4060 0 -1 0 18459 0 0 0 82949 54 0 0 25 0 1 0 21562888 60162048 12468 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8148/statm): 14688 12468 364 364 0 14324 0
[pid=8148] vsize: 58752
Current children cumulated CPU time (s) 830.03
Current children cumulated vsize (Kb) 58752

[startup+840.026 s]
Raw data (loadavg): 1.00 0.97 0.96 2/55 8148
Raw data (/proc/8148/stat): 8148 (pb2sat) R 8147 8148 4060 0 -1 0 18520 0 0 0 83949 54 0 0 25 0 1 0 21562888 60297216 12528 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8148/statm): 14721 12528 364 364 0 14357 0
[pid=8148] vsize: 58884
Current children cumulated CPU time (s) 840.03
Current children cumulated vsize (Kb) 58884

[startup+850.026 s]
Raw data (loadavg): 1.00 0.97 0.96 2/55 8148
Raw data (/proc/8148/stat): 8148 (pb2sat) R 8147 8148 4060 0 -1 0 18583 0 0 0 84949 54 0 0 25 0 1 0 21562888 60567552 12590 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8148/statm): 14787 12590 364 364 0 14423 0
[pid=8148] vsize: 59148
Current children cumulated CPU time (s) 850.03
Current children cumulated vsize (Kb) 59148

[startup+860.027 s]
Raw data (loadavg): 1.00 0.97 0.96 2/55 8148
Raw data (/proc/8148/stat): 8148 (pb2sat) R 8147 8148 4060 0 -1 0 18644 0 0 0 85950 55 0 0 25 0 1 0 21562888 60702720 12650 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8148/statm): 14820 12650 364 364 0 14456 0
[pid=8148] vsize: 59280
Current children cumulated CPU time (s) 860.05
Current children cumulated vsize (Kb) 59280

[startup+870.027 s]
Raw data (loadavg): 1.00 0.97 0.96 2/55 8148
Raw data (/proc/8148/stat): 8148 (pb2sat) R 8147 8148 4060 0 -1 0 18704 0 0 0 86949 55 0 0 25 0 1 0 21562888 60837888 12709 4294967295 134512640 135987407 3221224560 3221221872 134555863 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8148/statm): 14853 12709 364 364 0 14489 0
[pid=8148] vsize: 59412
Current children cumulated CPU time (s) 870.04
Current children cumulated vsize (Kb) 59412

[startup+880.028 s]
Raw data (loadavg): 1.00 0.97 0.96 2/55 8148
Raw data (/proc/8148/stat): 8148 (pb2sat) R 8147 8148 4060 0 -1 0 18765 0 0 0 87949 55 0 0 25 0 1 0 21562888 60973056 12769 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8148/statm): 14886 12769 364 364 0 14522 0
[pid=8148] vsize: 59544
Current children cumulated CPU time (s) 880.04
Current children cumulated vsize (Kb) 59544

[startup+890.028 s]
Raw data (loadavg): 1.00 0.97 0.96 2/55 8148
Raw data (/proc/8148/stat): 8148 (pb2sat) R 8147 8148 4060 0 -1 0 18824 0 0 0 88949 55 0 0 25 0 1 0 21562888 61108224 12827 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8148/statm): 14919 12827 364 364 0 14555 0
[pid=8148] vsize: 59676
Current children cumulated CPU time (s) 890.04
Current children cumulated vsize (Kb) 59676

[startup+900.029 s]
Raw data (loadavg): 1.00 0.97 0.96 2/55 8148
Raw data (/proc/8148/stat): 8148 (pb2sat) R 8147 8148 4060 0 -1 0 18886 0 0 0 89949 55 0 0 25 0 1 0 21562888 61243392 12888 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8148/statm): 14952 12888 364 364 0 14588 0
[pid=8148] vsize: 59808
Current children cumulated CPU time (s) 900.04
Current children cumulated vsize (Kb) 59808

[startup+910.029 s]
Raw data (loadavg): 1.00 0.97 0.96 2/55 8148
Raw data (/proc/8148/stat): 8148 (pb2sat) R 8147 8148 4060 0 -1 0 18945 0 0 0 90949 55 0 0 25 0 1 0 21562888 61513728 12946 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8148/statm): 15018 12946 364 364 0 14654 0
[pid=8148] vsize: 60072
Current children cumulated CPU time (s) 910.04
Current children cumulated vsize (Kb) 60072

[startup+920.029 s]
Raw data (loadavg): 1.00 0.97 0.96 2/55 8148
Raw data (/proc/8148/stat): 8148 (pb2sat) R 8147 8148 4060 0 -1 0 19002 0 0 0 91949 56 0 0 25 0 1 0 21562888 61648896 13002 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8148/statm): 15051 13002 364 364 0 14687 0
[pid=8148] vsize: 60204
Current children cumulated CPU time (s) 920.05
Current children cumulated vsize (Kb) 60204

[startup+930.029 s]
Raw data (loadavg): 1.00 0.97 0.96 2/55 8148
Raw data (/proc/8148/stat): 8148 (pb2sat) R 8147 8148 4060 0 -1 0 19062 0 0 0 92949 56 0 0 25 0 1 0 21562888 61784064 13061 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8148/statm): 15084 13061 364 364 0 14720 0
[pid=8148] vsize: 60336
Current children cumulated CPU time (s) 930.05
Current children cumulated vsize (Kb) 60336

[startup+940.03 s]
Raw data (loadavg): 1.00 0.97 0.96 2/55 8148
Raw data (/proc/8148/stat): 8148 (pb2sat) R 8147 8148 4060 0 -1 0 19120 0 0 0 93949 56 0 0 25 0 1 0 21562888 61919232 13118 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8148/statm): 15117 13118 364 364 0 14753 0
[pid=8148] vsize: 60468
Current children cumulated CPU time (s) 940.05
Current children cumulated vsize (Kb) 60468

[startup+950.031 s]
Raw data (loadavg): 1.00 0.97 0.96 2/55 8148
Raw data (/proc/8148/stat): 8148 (pb2sat) R 8147 8148 4060 0 -1 0 19179 0 0 0 94949 56 0 0 25 0 1 0 21562888 62054400 13176 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8148/statm): 15150 13176 364 364 0 14786 0
[pid=8148] vsize: 60600
Current children cumulated CPU time (s) 950.05
Current children cumulated vsize (Kb) 60600

[startup+960.032 s]
Raw data (loadavg): 1.00 0.97 0.96 2/55 8148
Raw data (/proc/8148/stat): 8148 (pb2sat) R 8147 8148 4060 0 -1 0 25935 0 0 0 95929 74 0 0 25 0 1 0 21562888 83079168 18380 4294967295 134512640 135987407 3221224560 3221122384 134854943 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8148/statm): 20283 18380 364 364 0 19919 0
[pid=8148] vsize: 81132
Current children cumulated CPU time (s) 960.03
Current children cumulated vsize (Kb) 81132

[startup+970.031 s]
Raw data (loadavg): 1.00 0.97 0.96 2/55 8148
Raw data (/proc/8148/stat): 8148 (pb2sat) R 8147 8148 4060 0 -1 0 57481 0 0 0 96862 138 0 0 25 0 1 0 21562888 173699072 40225 4294967295 134512640 135987407 3221224560 3221123876 135480412 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8148/statm): 42407 40225 364 364 0 42043 0
[pid=8148] vsize: 169628
Current children cumulated CPU time (s) 970
Current children cumulated vsize (Kb) 169628

[startup+980.032 s]
Raw data (loadavg): 1.00 0.97 0.96 2/55 8148
Raw data (/proc/8148/stat): 8148 (pb2sat) R 8147 8148 4060 0 -1 0 93157 0 0 0 97794 203 0 0 25 0 1 0 21562888 292061184 59837 4294967295 134512640 135987407 3221224560 3221126488 134865857 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8148/statm): 71304 59837 364 364 0 70940 0
[pid=8148] vsize: 285216
Current children cumulated CPU time (s) 979.97
Current children cumulated vsize (Kb) 285216

[startup+990.033 s]
Raw data (loadavg): 1.00 0.97 0.96 2/55 8148
Raw data (/proc/8148/stat): 8148 (pb2sat) R 8147 8148 4060 0 -1 0 122664 0 0 0 98731 264 0 0 25 0 1 0 21562888 400019456 76849 4294967295 134512640 135987407 3221224560 3221132704 134560875 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8148/statm): 97661 76849 364 364 0 97297 0
[pid=8148] vsize: 390644
Current children cumulated CPU time (s) 989.95
Current children cumulated vsize (Kb) 390644

[startup+1000.03 s]
Raw data (loadavg): 1.00 0.97 0.96 2/55 8148
Raw data (/proc/8148/stat): 8148 (pb2sat) R 8147 8148 4060 0 -1 0 167117 0 0 0 99641 349 0 0 25 0 1 0 21562888 611110912 120108 4294967295 134512640 135987407 3221224560 3221130496 134892994 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8148/statm): 149197 120108 364 364 0 148833 0
[pid=8148] vsize: 596788
Current children cumulated CPU time (s) 999.9
Current children cumulated vsize (Kb) 596788

[startup+1010.03 s]
Raw data (loadavg): 1.00 0.97 0.96 2/55 8148
Raw data (/proc/8148/stat): 8148 (pb2sat) R 8147 8148 4060 0 -1 0 186197 0 0 0 100597 392 0 0 25 0 1 0 21562888 567857152 120533 4294967295 134512640 135987407 3221224560 3221132244 134635402 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8148/statm): 138637 120533 364 364 0 138273 0
[pid=8148] vsize: 554548
Current children cumulated CPU time (s) 1009.89
Current children cumulated vsize (Kb) 554548

[startup+1020.03 s]
Raw data (loadavg): 1.00 0.97 0.96 2/55 8148
Raw data (/proc/8148/stat): 8148 (pb2sat) R 8147 8148 4060 0 -1 0 226402 0 0 0 101510 475 0 0 25 0 1 0 21562888 723841024 135976 4294967295 134512640 135987407 3221224560 3221134144 134877628 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8148/statm): 176719 135976 364 364 0 176355 0
[pid=8148] vsize: 706876
Current children cumulated CPU time (s) 1019.85
Current children cumulated vsize (Kb) 706876

[startup+1030.03 s]
Raw data (loadavg): 1.00 0.97 0.96 2/55 8148
Raw data (/proc/8148/stat): 8148 (pb2sat) R 8147 8148 4060 0 -1 0 243733 0 0 0 102476 508 0 0 25 0 1 0 21562888 747655168 153100 4294967295 134512640 135987407 3221224560 3221132684 134639076 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8148/statm): 182533 153100 364 364 0 182169 0
[pid=8148] vsize: 730132
Current children cumulated CPU time (s) 1029.84
Current children cumulated vsize (Kb) 730132

[startup+1040.04 s]
Raw data (loadavg): 1.00 0.97 0.96 2/55 8148
Raw data (/proc/8148/stat): 8148 (pb2sat) R 8147 8148 4060 0 -1 0 262932 0 0 0 103437 545 0 0 25 0 1 0 21562888 773742592 172068 4294967295 134512640 135987407 3221224560 3221142408 134635479 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8148/statm): 188902 172068 364 364 0 188538 0
[pid=8148] vsize: 755608
Current children cumulated CPU time (s) 1039.82
Current children cumulated vsize (Kb) 755608

[startup+1050.04 s]
Raw data (loadavg): 1.00 0.97 0.96 2/55 8148
Raw data (/proc/8148/stat): 8148 (pb2sat) R 8147 8148 4060 0 -1 0 279451 0 0 0 104401 578 0 0 25 0 1 0 21562888 851107840 188409 4294967295 134512640 135987407 3221224560 3221133328 134537491 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8148/statm): 207790 188409 364 364 0 207426 0
[pid=8148] vsize: 831160
Current children cumulated CPU time (s) 1049.79
Current children cumulated vsize (Kb) 831160
One traced child (pid=8148) exited with status: 1
All traced children have exited ! Game is over.

Child status: 1
Real time (s): 1057.52
CPU time (s): 1057.27
CPU user time (s): 1051.1
CPU system time (s): 6.17706
CPU usage (%): 99.9771
Max. virtual memory (cumulated for all children) (Kb): 831160

Verifier Data

ERROR: no interpretation found !