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-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-fit2p.opb
MD5SUM5f5cb3c37eae37e49339d7674a999c27
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 172663
Biggest coefficient in the objective function 10485760
Number of bits for the biggest coefficient in the objective function 24
Sum of the numbers in the objective function 42533442284
Number of bits of the sum of numbers in the objective function 36
Biggest number in a constraint 30985420800
Number of bits of the biggest number in a constraint 35
Biggest sum of numbers in a constraint 101083836075
Number of bits of the biggest sum of numbers37
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Number of variables210852
Total number of constraints10500
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 constraints10500
Minimum length of a constraint10
Maximum length of a constraint413

Trace number 10375

Launcher Data

LAUNCH ON wulflinc25 THE 2005-09-23 17:45:15 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=9019 boxname=wulflinc25 idbench=815 idsolver=8 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  5f5cb3c37eae37e49339d7674a999c27  /oldhome/oroussel/tmp/wulflinc25/normalized-mps-v2-13-7-fit2p.opb
REAL COMMAND:  pb2sat /oldhome/oroussel/tmp/wulflinc25/normalized-mps-v2-13-7-fit2p.opb
IDLAUNCH: 9019
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.002
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.002
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:        888372 kB
Buffers:         17928 kB
Cached:         108484 kB
SwapCached:          0 kB
Active:          70216 kB
Inactive:        59096 kB
HighTotal:      131008 kB
HighFree:        19264 kB
LowTotal:       903652 kB
LowFree:        869108 kB
SwapTotal:     2097892 kB
SwapFree:      2097892 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6984 kB
Slab:            11372 kB
Committed_AS:    63660 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-09-23 18:00:42 (client local time) WITH STATUS 1 IN 926.814 SECONDS
stats: 9019 7 926.814 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/9754/stat): 9754 (pb2sat) R 9753 9754 4004 0 -1 0 18 0 0 0 0 0 0 0 23 0 1 0 22054726 1527808 2 4294967295 134512640 135987407 3221224560 3221224560 134512928 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/9754/statm): 373 2 364 364 0 9 0
[pid=9754] vsize: 1492
open syscall for file /oldhome/oroussel/tmp/wulflinc25/normalized-mps-v2-13-7-fit2p.opb

[startup+10.0017 s]
Raw data (loadavg): 0.94 0.95 0.91 2/55 9754
Raw data (/proc/9754/stat): 9754 (pb2sat) R 9753 9754 4004 0 -1 0 2471 0 0 0 992 7 0 0 25 0 1 0 22054726 9371648 1786 4294967295 134512640 135987407 3221224560 3221221952 134616346 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9754/statm): 2288 1786 364 364 0 1924 0
[pid=9754] vsize: 9152
Current children cumulated CPU time (s) 9.99
Current children cumulated vsize (Kb) 9152

[startup+20.0063 s]
Raw data (loadavg): 0.95 0.95 0.91 2/55 9754
Raw data (/proc/9754/stat): 9754 (pb2sat) R 9753 9754 4004 0 -1 0 2988 0 0 0 1990 8 0 0 25 0 1 0 22054726 10588160 2294 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9754/statm): 2585 2294 364 364 0 2221 0
[pid=9754] vsize: 10340
Current children cumulated CPU time (s) 19.98
Current children cumulated vsize (Kb) 10340

[startup+30.0059 s]
Raw data (loadavg): 0.95 0.95 0.91 2/55 9754
Raw data (/proc/9754/stat): 9754 (pb2sat) R 9753 9754 4004 0 -1 0 4380 0 0 0 2987 11 0 0 25 0 1 0 22054726 15634432 2941 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9754/statm): 3817 2941 364 364 0 3453 0
[pid=9754] vsize: 15268
Current children cumulated CPU time (s) 29.98
Current children cumulated vsize (Kb) 15268

[startup+40.0065 s]
Raw data (loadavg): 0.96 0.95 0.91 2/55 9754
Raw data (/proc/9754/stat): 9754 (pb2sat) R 9753 9754 4004 0 -1 0 4664 0 0 0 3987 12 0 0 25 0 1 0 22054726 16310272 3220 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9754/statm): 3982 3220 364 364 0 3618 0
[pid=9754] vsize: 15928
Current children cumulated CPU time (s) 39.99
Current children cumulated vsize (Kb) 15928

[startup+50.0071 s]
Raw data (loadavg): 0.97 0.95 0.91 2/55 9754
Raw data (/proc/9754/stat): 9754 (pb2sat) R 9753 9754 4004 0 -1 0 4924 0 0 0 4986 13 0 0 25 0 1 0 22054726 16986112 3476 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9754/statm): 4147 3476 364 364 0 3783 0
[pid=9754] vsize: 16588
Current children cumulated CPU time (s) 49.99
Current children cumulated vsize (Kb) 16588

[startup+60.0067 s]
Raw data (loadavg): 0.97 0.96 0.91 2/55 9754
Raw data (/proc/9754/stat): 9754 (pb2sat) R 9753 9754 4004 0 -1 0 5154 0 0 0 5986 13 0 0 25 0 1 0 22054726 17526784 3702 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9754/statm): 4279 3702 364 364 0 3915 0
[pid=9754] vsize: 17116
Current children cumulated CPU time (s) 59.99
Current children cumulated vsize (Kb) 17116

[startup+70.0073 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 9754
Raw data (/proc/9754/stat): 9754 (pb2sat) R 9753 9754 4004 0 -1 0 5364 0 0 0 6985 14 0 0 25 0 1 0 22054726 18067456 3909 4294967295 134512640 135987407 3221224560 3221221872 134555863 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9754/statm): 4411 3909 364 364 0 4047 0
[pid=9754] vsize: 17644
Current children cumulated CPU time (s) 69.99
Current children cumulated vsize (Kb) 17644

[startup+80.0079 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 9754
Raw data (/proc/9754/stat): 9754 (pb2sat) R 9753 9754 4004 0 -1 0 5562 0 0 0 7985 14 0 0 25 0 1 0 22054726 18608128 4104 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9754/statm): 4543 4104 364 364 0 4179 0
[pid=9754] vsize: 18172
Current children cumulated CPU time (s) 79.99
Current children cumulated vsize (Kb) 18172

[startup+90.0085 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 9754
Raw data (/proc/9754/stat): 9754 (pb2sat) R 9753 9754 4004 0 -1 0 5748 0 0 0 8984 15 0 0 25 0 1 0 22054726 19148800 4287 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9754/statm): 4675 4287 364 364 0 4311 0
[pid=9754] vsize: 18700
Current children cumulated CPU time (s) 89.99
Current children cumulated vsize (Kb) 18700

[startup+100.008 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 9754
Raw data (/proc/9754/stat): 9754 (pb2sat) R 9753 9754 4004 0 -1 0 5921 0 0 0 9984 16 0 0 25 0 1 0 22054726 19554304 4457 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9754/statm): 4774 4457 364 364 0 4410 0
[pid=9754] vsize: 19096
Current children cumulated CPU time (s) 100
Current children cumulated vsize (Kb) 19096

[startup+110.008 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 9754
Raw data (/proc/9754/stat): 9754 (pb2sat) R 9753 9754 4004 0 -1 0 8296 0 0 0 10978 21 0 0 25 0 1 0 22054726 28835840 5354 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9754/statm): 7040 5354 364 364 0 6676 0
[pid=9754] vsize: 28160
Current children cumulated CPU time (s) 109.99
Current children cumulated vsize (Kb) 28160

[startup+120.007 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 9754
Raw data (/proc/9754/stat): 9754 (pb2sat) R 9753 9754 4004 0 -1 0 8354 0 0 0 11977 22 0 0 25 0 1 0 22054726 28835840 5410 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9754/statm): 7040 5410 364 364 0 6676 0
[pid=9754] vsize: 28160
Current children cumulated CPU time (s) 119.99
Current children cumulated vsize (Kb) 28160

[startup+130.007 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 9754
Raw data (/proc/9754/stat): 9754 (pb2sat) R 9753 9754 4004 0 -1 0 8461 0 0 0 12978 22 0 0 25 0 1 0 22054726 28971008 5514 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9754/statm): 7073 5514 364 364 0 6709 0
[pid=9754] vsize: 28292
Current children cumulated CPU time (s) 130
Current children cumulated vsize (Kb) 28292

[startup+140.008 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 9754
Raw data (/proc/9754/stat): 9754 (pb2sat) R 9753 9754 4004 0 -1 0 8588 0 0 0 13977 22 0 0 25 0 1 0 22054726 29241344 5639 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9754/statm): 7139 5639 364 364 0 6775 0
[pid=9754] vsize: 28556
Current children cumulated CPU time (s) 139.99
Current children cumulated vsize (Kb) 28556

[startup+150.008 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 9754
Raw data (/proc/9754/stat): 9754 (pb2sat) R 9753 9754 4004 0 -1 0 8711 0 0 0 14977 23 0 0 25 0 1 0 22054726 29511680 5760 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9754/statm): 7205 5760 364 364 0 6841 0
[pid=9754] vsize: 28820
Current children cumulated CPU time (s) 150
Current children cumulated vsize (Kb) 28820

[startup+160.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9754
Raw data (/proc/9754/stat): 9754 (pb2sat) R 9753 9754 4004 0 -1 0 8830 0 0 0 15976 23 0 0 25 0 1 0 22054726 29782016 5876 4294967295 134512640 135987407 3221224560 3221221872 134555868 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9754/statm): 7271 5876 364 364 0 6907 0
[pid=9754] vsize: 29084
Current children cumulated CPU time (s) 159.99
Current children cumulated vsize (Kb) 29084

[startup+170.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9754
Raw data (/proc/9754/stat): 9754 (pb2sat) R 9753 9754 4004 0 -1 0 8946 0 0 0 16976 24 0 0 25 0 1 0 22054726 30052352 5990 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9754/statm): 7337 5990 364 364 0 6973 0
[pid=9754] vsize: 29348
Current children cumulated CPU time (s) 170
Current children cumulated vsize (Kb) 29348

[startup+180.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9754
Raw data (/proc/9754/stat): 9754 (pb2sat) R 9753 9754 4004 0 -1 0 9063 0 0 0 17976 24 0 0 25 0 1 0 22054726 30457856 6105 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9754/statm): 7436 6105 364 364 0 7072 0
[pid=9754] vsize: 29744
Current children cumulated CPU time (s) 180
Current children cumulated vsize (Kb) 29744

[startup+190.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9754
Raw data (/proc/9754/stat): 9754 (pb2sat) R 9753 9754 4004 0 -1 0 9189 0 0 0 18976 24 0 0 25 0 1 0 22054726 30728192 6229 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9754/statm): 7502 6229 364 364 0 7138 0
[pid=9754] vsize: 30008
Current children cumulated CPU time (s) 190
Current children cumulated vsize (Kb) 30008

[startup+200.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9754
Raw data (/proc/9754/stat): 9754 (pb2sat) R 9753 9754 4004 0 -1 0 9312 0 0 0 19976 25 0 0 25 0 1 0 22054726 30998528 6350 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9754/statm): 7568 6350 364 364 0 7204 0
[pid=9754] vsize: 30272
Current children cumulated CPU time (s) 200.01
Current children cumulated vsize (Kb) 30272

[startup+210.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9754
Raw data (/proc/9754/stat): 9754 (pb2sat) R 9753 9754 4004 0 -1 0 9433 0 0 0 20975 25 0 0 25 0 1 0 22054726 31404032 6469 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9754/statm): 7667 6469 364 364 0 7303 0
[pid=9754] vsize: 30668
Current children cumulated CPU time (s) 210
Current children cumulated vsize (Kb) 30668

[startup+220.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9754
Raw data (/proc/9754/stat): 9754 (pb2sat) R 9753 9754 4004 0 -1 0 9551 0 0 0 21975 25 0 0 25 0 1 0 22054726 31674368 6585 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9754/statm): 7733 6585 364 364 0 7369 0
[pid=9754] vsize: 30932
Current children cumulated CPU time (s) 220
Current children cumulated vsize (Kb) 30932

[startup+230.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9754
Raw data (/proc/9754/stat): 9754 (pb2sat) R 9753 9754 4004 0 -1 0 9668 0 0 0 22975 26 0 0 25 0 1 0 22054726 31944704 6700 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9754/statm): 7799 6700 364 364 0 7435 0
[pid=9754] vsize: 31196
Current children cumulated CPU time (s) 230.01
Current children cumulated vsize (Kb) 31196

[startup+240.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9754
Raw data (/proc/9754/stat): 9754 (pb2sat) R 9753 9754 4004 0 -1 0 9781 0 0 0 23975 26 0 0 25 0 1 0 22054726 32215040 6812 4294967295 134512640 135987407 3221224560 3221221872 134555870 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9754/statm): 7865 6812 364 364 0 7501 0
[pid=9754] vsize: 31460
Current children cumulated CPU time (s) 240.01
Current children cumulated vsize (Kb) 31460

[startup+250.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9754
Raw data (/proc/9754/stat): 9754 (pb2sat) R 9753 9754 4004 0 -1 0 9895 0 0 0 24975 26 0 0 25 0 1 0 22054726 32485376 6924 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9754/statm): 7931 6924 364 364 0 7567 0
[pid=9754] vsize: 31724
Current children cumulated CPU time (s) 250.01
Current children cumulated vsize (Kb) 31724

[startup+260.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9754
Raw data (/proc/9754/stat): 9754 (pb2sat) R 9753 9754 4004 0 -1 0 10005 0 0 0 25974 26 0 0 25 0 1 0 22054726 32890880 7032 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9754/statm): 8030 7032 364 364 0 7666 0
[pid=9754] vsize: 32120
Current children cumulated CPU time (s) 260
Current children cumulated vsize (Kb) 32120

[startup+270.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9754
Raw data (/proc/9754/stat): 9754 (pb2sat) R 9753 9754 4004 0 -1 0 10112 0 0 0 26974 27 0 0 25 0 1 0 22054726 33161216 7137 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9754/statm): 8096 7137 364 364 0 7732 0
[pid=9754] vsize: 32384
Current children cumulated CPU time (s) 270.01
Current children cumulated vsize (Kb) 32384

[startup+280.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9754
Raw data (/proc/9754/stat): 9754 (pb2sat) R 9753 9754 4004 0 -1 0 10217 0 0 0 27974 27 0 0 25 0 1 0 22054726 33431552 7241 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9754/statm): 8162 7241 364 364 0 7798 0
[pid=9754] vsize: 32648
Current children cumulated CPU time (s) 280.01
Current children cumulated vsize (Kb) 32648

[startup+290.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9754
Raw data (/proc/9754/stat): 9754 (pb2sat) R 9753 9754 4004 0 -1 0 10323 0 0 0 28973 27 0 0 25 0 1 0 22054726 33701888 7345 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9754/statm): 8228 7345 364 364 0 7864 0
[pid=9754] vsize: 32912
Current children cumulated CPU time (s) 290
Current children cumulated vsize (Kb) 32912

[startup+300.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9754
Raw data (/proc/9754/stat): 9754 (pb2sat) R 9753 9754 4004 0 -1 0 10425 0 0 0 29973 28 0 0 25 0 1 0 22054726 33972224 7445 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9754/statm): 8294 7445 364 364 0 7930 0
[pid=9754] vsize: 33176
Current children cumulated CPU time (s) 300.01
Current children cumulated vsize (Kb) 33176

[startup+310.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9754
Raw data (/proc/9754/stat): 9754 (pb2sat) R 9753 9754 4004 0 -1 0 10525 0 0 0 30973 28 0 0 25 0 1 0 22054726 34107392 7544 4294967295 134512640 135987407 3221224560 3221221872 134555852 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9754/statm): 8327 7544 364 364 0 7963 0
[pid=9754] vsize: 33308
Current children cumulated CPU time (s) 310.01
Current children cumulated vsize (Kb) 33308

[startup+320.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9754
Raw data (/proc/9754/stat): 9754 (pb2sat) R 9753 9754 4004 0 -1 0 10624 0 0 0 31973 28 0 0 25 0 1 0 22054726 34377728 7641 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9754/statm): 8393 7641 364 364 0 8029 0
[pid=9754] vsize: 33572
Current children cumulated CPU time (s) 320.01
Current children cumulated vsize (Kb) 33572

[startup+330.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9754
Raw data (/proc/9754/stat): 9754 (pb2sat) R 9753 9754 4004 0 -1 0 10722 0 0 0 32973 28 0 0 25 0 1 0 22054726 34648064 7737 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9754/statm): 8459 7737 364 364 0 8095 0
[pid=9754] vsize: 33836
Current children cumulated CPU time (s) 330.01
Current children cumulated vsize (Kb) 33836

[startup+340.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9754
Raw data (/proc/9754/stat): 9754 (pb2sat) R 9753 9754 4004 0 -1 0 10818 0 0 0 33973 28 0 0 25 0 1 0 22054726 34918400 7832 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9754/statm): 8525 7832 364 364 0 8161 0
[pid=9754] vsize: 34100
Current children cumulated CPU time (s) 340.01
Current children cumulated vsize (Kb) 34100

[startup+350.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9754
Raw data (/proc/9754/stat): 9754 (pb2sat) R 9753 9754 4004 0 -1 0 10915 0 0 0 34973 28 0 0 25 0 1 0 22054726 35188736 7927 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9754/statm): 8591 7927 364 364 0 8227 0
[pid=9754] vsize: 34364
Current children cumulated CPU time (s) 350.01
Current children cumulated vsize (Kb) 34364

[startup+360.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9754
Raw data (/proc/9754/stat): 9754 (pb2sat) R 9753 9754 4004 0 -1 0 11009 0 0 0 35972 29 0 0 25 0 1 0 22054726 35459072 8020 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9754/statm): 8657 8020 364 364 0 8293 0
[pid=9754] vsize: 34628
Current children cumulated CPU time (s) 360.01
Current children cumulated vsize (Kb) 34628

[startup+370.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9754
Raw data (/proc/9754/stat): 9754 (pb2sat) R 9753 9754 4004 0 -1 0 11101 0 0 0 36972 29 0 0 25 0 1 0 22054726 35594240 8110 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9754/statm): 8690 8110 364 364 0 8326 0
[pid=9754] vsize: 34760
Current children cumulated CPU time (s) 370.01
Current children cumulated vsize (Kb) 34760

[startup+380.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9754
Raw data (/proc/9754/stat): 9754 (pb2sat) R 9753 9754 4004 0 -1 0 11192 0 0 0 37972 29 0 0 25 0 1 0 22054726 35864576 8200 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9754/statm): 8756 8200 364 364 0 8392 0
[pid=9754] vsize: 35024
Current children cumulated CPU time (s) 380.01
Current children cumulated vsize (Kb) 35024

[startup+390.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9754
Raw data (/proc/9754/stat): 9754 (pb2sat) R 9753 9754 4004 0 -1 0 11283 0 0 0 38972 30 0 0 25 0 1 0 22054726 36134912 8289 4294967295 134512640 135987407 3221224560 3221221872 134555868 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9754/statm): 8822 8289 364 364 0 8458 0
[pid=9754] vsize: 35288
Current children cumulated CPU time (s) 390.02
Current children cumulated vsize (Kb) 35288

[startup+400.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9754
Raw data (/proc/9754/stat): 9754 (pb2sat) R 9753 9754 4004 0 -1 0 11371 0 0 0 39971 30 0 0 25 0 1 0 22054726 36405248 8376 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9754/statm): 8888 8376 364 364 0 8524 0
[pid=9754] vsize: 35552
Current children cumulated CPU time (s) 400.01
Current children cumulated vsize (Kb) 35552

[startup+410.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9754
Raw data (/proc/9754/stat): 9754 (pb2sat) R 9753 9754 4004 0 -1 0 11460 0 0 0 40971 31 0 0 25 0 1 0 22054726 36540416 8463 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9754/statm): 8921 8463 364 364 0 8557 0
[pid=9754] vsize: 35684
Current children cumulated CPU time (s) 410.02
Current children cumulated vsize (Kb) 35684

[startup+420.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9754
Raw data (/proc/9754/stat): 9754 (pb2sat) R 9753 9754 4004 0 -1 0 11546 0 0 0 41970 31 0 0 25 0 1 0 22054726 36810752 8548 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9754/statm): 8987 8548 364 364 0 8623 0
[pid=9754] vsize: 35948
Current children cumulated CPU time (s) 420.01
Current children cumulated vsize (Kb) 35948

[startup+430.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9754
Raw data (/proc/9754/stat): 9754 (pb2sat) R 9753 9754 4004 0 -1 0 11632 0 0 0 42970 31 0 0 25 0 1 0 22054726 37081088 8633 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9754/statm): 9053 8633 364 364 0 8689 0
[pid=9754] vsize: 36212
Current children cumulated CPU time (s) 430.01
Current children cumulated vsize (Kb) 36212

[startup+440.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9754
Raw data (/proc/9754/stat): 9754 (pb2sat) R 9753 9754 4004 0 -1 0 11717 0 0 0 43970 32 0 0 25 0 1 0 22054726 37216256 8716 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9754/statm): 9086 8716 364 364 0 8722 0
[pid=9754] vsize: 36344
Current children cumulated CPU time (s) 440.02
Current children cumulated vsize (Kb) 36344

[startup+450.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9754
Raw data (/proc/9754/stat): 9754 (pb2sat) R 9753 9754 4004 0 -1 0 11801 0 0 0 44970 32 0 0 25 0 1 0 22054726 37486592 8799 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9754/statm): 9152 8799 364 364 0 8788 0
[pid=9754] vsize: 36608
Current children cumulated CPU time (s) 450.02
Current children cumulated vsize (Kb) 36608

[startup+460.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9754
Raw data (/proc/9754/stat): 9754 (pb2sat) R 9753 9754 4004 0 -1 0 11884 0 0 0 45970 32 0 0 25 0 1 0 22054726 37621760 8881 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9754/statm): 9185 8881 364 364 0 8821 0
[pid=9754] vsize: 36740
Current children cumulated CPU time (s) 460.02
Current children cumulated vsize (Kb) 36740

[startup+470.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9754
Raw data (/proc/9754/stat): 9754 (pb2sat) R 9753 9754 4004 0 -1 0 11968 0 0 0 46969 33 0 0 25 0 1 0 22054726 37892096 8963 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9754/statm): 9251 8963 364 364 0 8887 0
[pid=9754] vsize: 37004
Current children cumulated CPU time (s) 470.02
Current children cumulated vsize (Kb) 37004

[startup+480.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9754
Raw data (/proc/9754/stat): 9754 (pb2sat) R 9753 9754 4004 0 -1 0 16494 0 0 0 47959 42 0 0 25 0 1 0 22054726 55779328 10541 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9754/statm): 13618 10541 364 364 0 13254 0
[pid=9754] vsize: 54472
Current children cumulated CPU time (s) 480.01
Current children cumulated vsize (Kb) 54472

[startup+490.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9754
Raw data (/proc/9754/stat): 9754 (pb2sat) R 9753 9754 4004 0 -1 0 16523 0 0 0 48960 42 0 0 25 0 1 0 22054726 55779328 10569 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9754/statm): 13618 10569 364 364 0 13254 0
[pid=9754] vsize: 54472
Current children cumulated CPU time (s) 490.02
Current children cumulated vsize (Kb) 54472

[startup+500.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9754
Raw data (/proc/9754/stat): 9754 (pb2sat) R 9753 9754 4004 0 -1 0 16553 0 0 0 49960 42 0 0 25 0 1 0 22054726 55779328 10597 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9754/statm): 13618 10597 364 364 0 13254 0
[pid=9754] vsize: 54472
Current children cumulated CPU time (s) 500.02
Current children cumulated vsize (Kb) 54472

[startup+510.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9754
Raw data (/proc/9754/stat): 9754 (pb2sat) R 9753 9754 4004 0 -1 0 16582 0 0 0 50960 42 0 0 25 0 1 0 22054726 55779328 10625 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9754/statm): 13618 10625 364 364 0 13254 0
[pid=9754] vsize: 54472
Current children cumulated CPU time (s) 510.02
Current children cumulated vsize (Kb) 54472

[startup+520.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9754
Raw data (/proc/9754/stat): 9754 (pb2sat) R 9753 9754 4004 0 -1 0 16611 0 0 0 51960 42 0 0 25 0 1 0 22054726 55779328 10653 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9754/statm): 13618 10653 364 364 0 13254 0
[pid=9754] vsize: 54472
Current children cumulated CPU time (s) 520.02
Current children cumulated vsize (Kb) 54472

[startup+530.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9754
Raw data (/proc/9754/stat): 9754 (pb2sat) R 9753 9754 4004 0 -1 0 16639 0 0 0 52959 42 0 0 25 0 1 0 22054726 55779328 10680 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9754/statm): 13618 10680 364 364 0 13254 0
[pid=9754] vsize: 54472
Current children cumulated CPU time (s) 530.01
Current children cumulated vsize (Kb) 54472

[startup+540.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9754
Raw data (/proc/9754/stat): 9754 (pb2sat) R 9753 9754 4004 0 -1 0 16679 0 0 0 53959 42 0 0 25 0 1 0 22054726 55779328 10718 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9754/statm): 13618 10718 364 364 0 13254 0
[pid=9754] vsize: 54472
Current children cumulated CPU time (s) 540.01
Current children cumulated vsize (Kb) 54472

[startup+550.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9754
Raw data (/proc/9754/stat): 9754 (pb2sat) R 9753 9754 4004 0 -1 0 16745 0 0 0 54959 43 0 0 25 0 1 0 22054726 55914496 10783 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9754/statm): 13651 10783 364 364 0 13287 0
[pid=9754] vsize: 54604
Current children cumulated CPU time (s) 550.02
Current children cumulated vsize (Kb) 54604

[startup+560.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9754
Raw data (/proc/9754/stat): 9754 (pb2sat) R 9753 9754 4004 0 -1 0 16812 0 0 0 55959 43 0 0 25 0 1 0 22054726 56184832 10849 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9754/statm): 13717 10849 364 364 0 13353 0
[pid=9754] vsize: 54868
Current children cumulated CPU time (s) 560.02
Current children cumulated vsize (Kb) 54868

[startup+570.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9754
Raw data (/proc/9754/stat): 9754 (pb2sat) R 9753 9754 4004 0 -1 0 16877 0 0 0 56958 43 0 0 25 0 1 0 22054726 56320000 10913 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9754/statm): 13750 10913 364 364 0 13386 0
[pid=9754] vsize: 55000
Current children cumulated CPU time (s) 570.01
Current children cumulated vsize (Kb) 55000

[startup+580.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9754
Raw data (/proc/9754/stat): 9754 (pb2sat) R 9753 9754 4004 0 -1 0 16942 0 0 0 57958 43 0 0 25 0 1 0 22054726 56455168 10977 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9754/statm): 13783 10977 364 364 0 13419 0
[pid=9754] vsize: 55132
Current children cumulated CPU time (s) 580.01
Current children cumulated vsize (Kb) 55132

[startup+590.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9754
Raw data (/proc/9754/stat): 9754 (pb2sat) R 9753 9754 4004 0 -1 0 17006 0 0 0 58958 44 0 0 25 0 1 0 22054726 56590336 11039 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9754/statm): 13816 11039 364 364 0 13452 0
[pid=9754] vsize: 55264
Current children cumulated CPU time (s) 590.02
Current children cumulated vsize (Kb) 55264

[startup+600.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9754
Raw data (/proc/9754/stat): 9754 (pb2sat) R 9753 9754 4004 0 -1 0 17069 0 0 0 59958 44 0 0 25 0 1 0 22054726 56725504 11101 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9754/statm): 13849 11101 364 364 0 13485 0
[pid=9754] vsize: 55396
Current children cumulated CPU time (s) 600.02
Current children cumulated vsize (Kb) 55396

[startup+610.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9754
Raw data (/proc/9754/stat): 9754 (pb2sat) R 9753 9754 4004 0 -1 0 17134 0 0 0 60957 44 0 0 25 0 1 0 22054726 56860672 11165 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9754/statm): 13882 11165 364 364 0 13518 0
[pid=9754] vsize: 55528
Current children cumulated CPU time (s) 610.01
Current children cumulated vsize (Kb) 55528

[startup+620.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9754
Raw data (/proc/9754/stat): 9754 (pb2sat) R 9753 9754 4004 0 -1 0 17195 0 0 0 61957 45 0 0 25 0 1 0 22054726 56995840 11225 4294967295 134512640 135987407 3221224560 3221221872 134555863 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9754/statm): 13915 11225 364 364 0 13551 0
[pid=9754] vsize: 55660
Current children cumulated CPU time (s) 620.02
Current children cumulated vsize (Kb) 55660

[startup+630.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9754
Raw data (/proc/9754/stat): 9754 (pb2sat) R 9753 9754 4004 0 -1 0 17257 0 0 0 62957 45 0 0 25 0 1 0 22054726 57131008 11286 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9754/statm): 13948 11286 364 364 0 13584 0
[pid=9754] vsize: 55792
Current children cumulated CPU time (s) 630.02
Current children cumulated vsize (Kb) 55792

[startup+640.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9754
Raw data (/proc/9754/stat): 9754 (pb2sat) R 9753 9754 4004 0 -1 0 17320 0 0 0 63957 45 0 0 25 0 1 0 22054726 57266176 11348 4294967295 134512640 135987407 3221224560 3221221872 134555863 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9754/statm): 13981 11348 364 364 0 13617 0
[pid=9754] vsize: 55924
Current children cumulated CPU time (s) 640.02
Current children cumulated vsize (Kb) 55924

[startup+650.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9754
Raw data (/proc/9754/stat): 9754 (pb2sat) R 9753 9754 4004 0 -1 0 17380 0 0 0 64957 45 0 0 25 0 1 0 22054726 57401344 11406 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9754/statm): 14014 11406 364 364 0 13650 0
[pid=9754] vsize: 56056
Current children cumulated CPU time (s) 650.02
Current children cumulated vsize (Kb) 56056

[startup+660.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9754
Raw data (/proc/9754/stat): 9754 (pb2sat) R 9753 9754 4004 0 -1 0 17442 0 0 0 65957 46 0 0 25 0 1 0 22054726 57536512 11467 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9754/statm): 14047 11467 364 364 0 13683 0
[pid=9754] vsize: 56188
Current children cumulated CPU time (s) 660.03
Current children cumulated vsize (Kb) 56188

[startup+670.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9754
Raw data (/proc/9754/stat): 9754 (pb2sat) R 9753 9754 4004 0 -1 0 17502 0 0 0 66957 46 0 0 25 0 1 0 22054726 57806848 11526 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9754/statm): 14113 11526 364 364 0 13749 0
[pid=9754] vsize: 56452
Current children cumulated CPU time (s) 670.03
Current children cumulated vsize (Kb) 56452

[startup+680.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9754
Raw data (/proc/9754/stat): 9754 (pb2sat) R 9753 9754 4004 0 -1 0 17562 0 0 0 67957 46 0 0 25 0 1 0 22054726 57942016 11585 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9754/statm): 14146 11585 364 364 0 13782 0
[pid=9754] vsize: 56584
Current children cumulated CPU time (s) 680.03
Current children cumulated vsize (Kb) 56584

[startup+690.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9754
Raw data (/proc/9754/stat): 9754 (pb2sat) R 9753 9754 4004 0 -1 0 17620 0 0 0 68957 46 0 0 25 0 1 0 22054726 58077184 11642 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9754/statm): 14179 11642 364 364 0 13815 0
[pid=9754] vsize: 56716
Current children cumulated CPU time (s) 690.03
Current children cumulated vsize (Kb) 56716

[startup+700.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9754
Raw data (/proc/9754/stat): 9754 (pb2sat) R 9753 9754 4004 0 -1 0 17679 0 0 0 69956 46 0 0 25 0 1 0 22054726 58212352 11700 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9754/statm): 14212 11700 364 364 0 13848 0
[pid=9754] vsize: 56848
Current children cumulated CPU time (s) 700.02
Current children cumulated vsize (Kb) 56848

[startup+710.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9754
Raw data (/proc/9754/stat): 9754 (pb2sat) R 9753 9754 4004 0 -1 0 17738 0 0 0 70956 46 0 0 25 0 1 0 22054726 58347520 11758 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9754/statm): 14245 11758 364 364 0 13881 0
[pid=9754] vsize: 56980
Current children cumulated CPU time (s) 710.02
Current children cumulated vsize (Kb) 56980

[startup+720.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9754
Raw data (/proc/9754/stat): 9754 (pb2sat) R 9753 9754 4004 0 -1 0 17796 0 0 0 71956 47 0 0 25 0 1 0 22054726 58482688 11815 4294967295 134512640 135987407 3221224560 3221221872 134555870 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9754/statm): 14278 11815 364 364 0 13914 0
[pid=9754] vsize: 57112
Current children cumulated CPU time (s) 720.03
Current children cumulated vsize (Kb) 57112

[startup+730.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9754
Raw data (/proc/9754/stat): 9754 (pb2sat) R 9753 9754 4004 0 -1 0 17853 0 0 0 72956 47 0 0 25 0 1 0 22054726 58617856 11871 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9754/statm): 14311 11871 364 364 0 13947 0
[pid=9754] vsize: 57244
Current children cumulated CPU time (s) 730.03
Current children cumulated vsize (Kb) 57244

[startup+740.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9754
Raw data (/proc/9754/stat): 9754 (pb2sat) R 9753 9754 4004 0 -1 0 17911 0 0 0 73956 47 0 0 25 0 1 0 22054726 58753024 11928 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9754/statm): 14344 11928 364 364 0 13980 0
[pid=9754] vsize: 57376
Current children cumulated CPU time (s) 740.03
Current children cumulated vsize (Kb) 57376

[startup+750.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9754
Raw data (/proc/9754/stat): 9754 (pb2sat) R 9753 9754 4004 0 -1 0 17973 0 0 0 74956 47 0 0 25 0 1 0 22054726 58888192 11988 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9754/statm): 14377 11988 364 364 0 14013 0
[pid=9754] vsize: 57508
Current children cumulated CPU time (s) 750.03
Current children cumulated vsize (Kb) 57508

[startup+760.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9754
Raw data (/proc/9754/stat): 9754 (pb2sat) R 9753 9754 4004 0 -1 0 18038 0 0 0 75955 48 0 0 25 0 1 0 22054726 59023360 12052 4294967295 134512640 135987407 3221224560 3221221872 134555868 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9754/statm): 14410 12052 364 364 0 14046 0
[pid=9754] vsize: 57640
Current children cumulated CPU time (s) 760.03
Current children cumulated vsize (Kb) 57640

[startup+770.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9754
Raw data (/proc/9754/stat): 9754 (pb2sat) R 9753 9754 4004 0 -1 0 18103 0 0 0 76955 48 0 0 25 0 1 0 22054726 59158528 12116 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9754/statm): 14443 12116 364 364 0 14079 0
[pid=9754] vsize: 57772
Current children cumulated CPU time (s) 770.03
Current children cumulated vsize (Kb) 57772

[startup+780.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9754
Raw data (/proc/9754/stat): 9754 (pb2sat) R 9753 9754 4004 0 -1 0 18166 0 0 0 77955 48 0 0 25 0 1 0 22054726 59293696 12178 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9754/statm): 14476 12178 364 364 0 14112 0
[pid=9754] vsize: 57904
Current children cumulated CPU time (s) 780.03
Current children cumulated vsize (Kb) 57904

[startup+790.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9754
Raw data (/proc/9754/stat): 9754 (pb2sat) R 9753 9754 4004 0 -1 0 18230 0 0 0 78955 48 0 0 25 0 1 0 22054726 59564032 12241 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9754/statm): 14542 12241 364 364 0 14178 0
[pid=9754] vsize: 58168
Current children cumulated CPU time (s) 790.03
Current children cumulated vsize (Kb) 58168

[startup+800.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9754
Raw data (/proc/9754/stat): 9754 (pb2sat) R 9753 9754 4004 0 -1 0 18294 0 0 0 79955 49 0 0 25 0 1 0 22054726 59699200 12304 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9754/statm): 14575 12304 364 364 0 14211 0
[pid=9754] vsize: 58300
Current children cumulated CPU time (s) 800.04
Current children cumulated vsize (Kb) 58300

[startup+810.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9754
Raw data (/proc/9754/stat): 9754 (pb2sat) R 9753 9754 4004 0 -1 0 18357 0 0 0 80954 49 0 0 25 0 1 0 22054726 59834368 12366 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9754/statm): 14608 12366 364 364 0 14244 0
[pid=9754] vsize: 58432
Current children cumulated CPU time (s) 810.03
Current children cumulated vsize (Kb) 58432

[startup+820.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9754
Raw data (/proc/9754/stat): 9754 (pb2sat) R 9753 9754 4004 0 -1 0 18420 0 0 0 81954 49 0 0 25 0 1 0 22054726 59969536 12428 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9754/statm): 14641 12428 364 364 0 14277 0
[pid=9754] vsize: 58564
Current children cumulated CPU time (s) 820.03
Current children cumulated vsize (Kb) 58564

[startup+830.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9754
Raw data (/proc/9754/stat): 9754 (pb2sat) R 9753 9754 4004 0 -1 0 19715 0 0 0 82951 52 0 0 25 0 1 0 22054726 65241088 13722 4294967295 134512640 135987407 3221224560 3221221728 134550035 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9754/statm): 15928 13722 364 364 0 15564 0
[pid=9754] vsize: 63712
Current children cumulated CPU time (s) 830.03
Current children cumulated vsize (Kb) 63712

[startup+840.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9754
Raw data (/proc/9754/stat): 9754 (pb2sat) R 9753 9754 4004 0 -1 0 39599 0 0 0 83905 96 0 0 25 0 1 0 22054726 127258624 25554 4294967295 134512640 135987407 3221224560 3221180140 135499994 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9754/statm): 31069 25554 364 364 0 30705 0
[pid=9754] vsize: 124276
Current children cumulated CPU time (s) 840.01
Current children cumulated vsize (Kb) 124276

[startup+850.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9754
Raw data (/proc/9754/stat): 9754 (pb2sat) R 9753 9754 4004 0 -1 0 78871 0 0 0 84822 177 0 0 25 0 1 0 22054726 247111680 45673 4294967295 134512640 135987407 3221224560 3221152252 135500012 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9754/statm): 60330 45673 364 364 0 59966 0
[pid=9754] vsize: 241320
Current children cumulated CPU time (s) 849.99
Current children cumulated vsize (Kb) 241320

[startup+860.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9754
Raw data (/proc/9754/stat): 9754 (pb2sat) R 9753 9754 4004 0 -1 0 110229 0 0 0 85754 243 0 0 25 0 1 0 22054726 339361792 64512 4294967295 134512640 135987407 3221224560 3221168144 134877939 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9754/statm): 82852 64512 364 364 0 82488 0
[pid=9754] vsize: 331408
Current children cumulated CPU time (s) 859.97
Current children cumulated vsize (Kb) 331408

[startup+870.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9754
Raw data (/proc/9754/stat): 9754 (pb2sat) R 9753 9754 4004 0 -1 0 132441 0 0 0 86707 287 0 0 25 0 1 0 22054726 409411584 86487 4294967295 134512640 135987407 3221224560 3221198832 134636921 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9754/statm): 99954 86487 364 364 0 99590 0
[pid=9754] vsize: 399816
Current children cumulated CPU time (s) 869.94
Current children cumulated vsize (Kb) 399816

[startup+880.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9754
Raw data (/proc/9754/stat): 9754 (pb2sat) R 9753 9754 4004 0 -1 0 174444 0 0 0 87626 364 0 0 25 0 1 0 22054726 541138944 108875 4294967295 134512640 135987407 3221224560 3221221092 135479922 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9754/statm): 132114 108875 364 364 0 131750 0
[pid=9754] vsize: 528456
Current children cumulated CPU time (s) 879.9
Current children cumulated vsize (Kb) 528456

[startup+890.026 s]
Raw data (loadavg): 1.07 0.99 0.91 3/58 9764
Raw data (/proc/9754/stat): 9754 (pb2sat) R 9753 9754 4004 0 -1 0 210249 0 0 0 88549 441 0 0 25 0 1 0 22054726 641937408 119904 4294967295 134512640 135987407 3221224560 3221151664 134856587 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9754/statm): 156723 119905 364 364 0 156359 0
[pid=9754] vsize: 626892
Current children cumulated CPU time (s) 889.9
Current children cumulated vsize (Kb) 626892

[startup+900.025 s]
Raw data (loadavg): 1.06 0.99 0.91 2/55 9809
Raw data (/proc/9754/stat): 9754 (pb2sat) R 9753 9754 4004 0 -1 0 222209 0 0 0 89521 469 0 0 25 0 1 0 22054726 676573184 131656 4294967295 134512640 135987407 3221224560 3221185984 134878121 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9754/statm): 165179 131656 364 364 0 164815 0
[pid=9754] vsize: 660716
Current children cumulated CPU time (s) 899.9
Current children cumulated vsize (Kb) 660716

[startup+910.025 s]
Raw data (loadavg): 1.05 0.99 0.91 2/55 9809
Raw data (/proc/9754/stat): 9754 (pb2sat) R 9753 9754 4004 0 -1 0 238530 0 0 0 90488 502 0 0 25 0 1 0 22054726 685899776 147727 4294967295 134512640 135987407 3221224560 3221203408 134856505 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9754/statm): 167456 147728 364 364 0 167092 0
[pid=9754] vsize: 669824
Current children cumulated CPU time (s) 909.9
Current children cumulated vsize (Kb) 669824

[startup+920.026 s]
Raw data (loadavg): 1.04 0.99 0.91 2/55 9809
Raw data (/proc/9754/stat): 9754 (pb2sat) R 9753 9754 4004 0 -1 0 254129 0 0 0 91450 539 0 0 25 0 1 0 22054726 750153728 163108 4294967295 134512640 135987407 3221224560 3221143520 134877628 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9754/statm): 183143 163108 364 364 0 182779 0
[pid=9754] vsize: 732572
Current children cumulated CPU time (s) 919.89
Current children cumulated vsize (Kb) 732572
One traced child (pid=9754) exited with status: 1
All traced children have exited ! Game is over.

Child status: 1
Real time (s): 926.943
CPU time (s): 926.814
CPU user time (s): 921.067
CPU system time (s): 5.74713
CPU usage (%): 99.9861
Max. virtual memory (cumulated for all children) (Kb): 732572

Verifier Data

ERROR: no interpretation found !