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-maros-r7.opb
MD5SUMebb49febffdfe5475bc23e4ef8d466db
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 188160
Biggest coefficient in the objective function 536870912
Number of bits for the biggest coefficient in the objective function 30
Sum of the numbers in the objective function 6734508713856
Number of bits of the sum of numbers in the objective function 43
Biggest number in a constraint 536870912000000
Number of bits of the biggest number in a constraint 49
Biggest sum of numbers in a constraint 4602477289606474
Number of bits of the biggest sum of numbers53
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Number of variables282240
Total number of constraints3136
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 constraints3136
Minimum length of a constraint150
Maximum length of a constraint720

Trace number 9991

Launcher Data

LAUNCH ON wulflinc2 THE 2005-09-23 16:07:37 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=8647 boxname=wulflinc2 idbench=443 idsolver=8 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  ebb49febffdfe5475bc23e4ef8d466db  /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-20-10-maros-r7.opb
REAL COMMAND:  pb2sat /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-20-10-maros-r7.opb
IDLAUNCH: 8647
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.261
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.261
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 899.07

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        846144 kB
Buffers:         16568 kB
Cached:         151596 kB
SwapCached:          0 kB
Active:          97668 kB
Inactive:        73412 kB
HighTotal:      131008 kB
HighFree:         3836 kB
LowTotal:       903652 kB
LowFree:        842308 kB
SwapTotal:     2097136 kB
SwapFree:      2097136 kB
Dirty:              12 kB
Writeback:           0 kB
Mapped:           6980 kB
Slab:            11764 kB
Committed_AS:    63624 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-09-23 16:25:47 (client local time) WITH STATUS 1 IN 1088.7 SECONDS
stats: 8647 7 1088.7 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/8938/stat): 8938 (pb2sat) R 8937 8938 4070 0 -1 0 18 0 0 0 0 0 0 0 23 0 1 0 21523977 1527808 2 4294967295 134512640 135987407 3221224560 3221224560 134512928 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8938/statm): 373 2 364 364 0 9 0
[pid=8938] vsize: 1492
open syscall for file /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-20-10-maros-r7.opb

[startup+10.0017 s]
Raw data (loadavg): 1.03 0.99 0.99 2/55 8938
Raw data (/proc/8938/stat): 8938 (pb2sat) R 8937 8938 4070 0 -1 0 2562 0 0 0 994 5 0 0 25 0 1 0 21523977 9506816 1875 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8938/statm): 2321 1875 364 364 0 1957 0
[pid=8938] vsize: 9284
Current children cumulated CPU time (s) 9.99
Current children cumulated vsize (Kb) 9284

[startup+20.0024 s]
Raw data (loadavg): 1.02 0.99 0.99 2/55 8938
Raw data (/proc/8938/stat): 8938 (pb2sat) R 8937 8938 4070 0 -1 0 3732 0 0 0 1991 7 0 0 25 0 1 0 21523977 16130048 3011 4294967295 134512640 135987407 3221224560 3221221296 134856473 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8938/statm): 3938 3014 364 364 0 3574 0
[pid=8938] vsize: 15752
Current children cumulated CPU time (s) 19.98
Current children cumulated vsize (Kb) 15752

[startup+30.0031 s]
Raw data (loadavg): 1.02 0.99 0.99 2/55 8938
Raw data (/proc/8938/stat): 8938 (pb2sat) R 8937 8938 4070 0 -1 0 4425 0 0 0 2990 8 0 0 25 0 1 0 21523977 15769600 2985 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8938/statm): 3850 2985 364 364 0 3486 0
[pid=8938] vsize: 15400
Current children cumulated CPU time (s) 29.98
Current children cumulated vsize (Kb) 15400

[startup+40.0028 s]
Raw data (loadavg): 1.01 0.99 0.99 2/55 8938
Raw data (/proc/8938/stat): 8938 (pb2sat) R 8937 8938 4070 0 -1 0 4701 0 0 0 3989 9 0 0 25 0 1 0 21523977 16445440 3257 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8938/statm): 4015 3257 364 364 0 3651 0
[pid=8938] vsize: 16060
Current children cumulated CPU time (s) 39.98
Current children cumulated vsize (Kb) 16060

[startup+50.0035 s]
Raw data (loadavg): 1.01 0.99 0.99 2/55 8938
Raw data (/proc/8938/stat): 8938 (pb2sat) R 8937 8938 4070 0 -1 0 4963 0 0 0 4988 10 0 0 25 0 1 0 21523977 17121280 3514 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8938/statm): 4180 3514 364 364 0 3816 0
[pid=8938] vsize: 16720
Current children cumulated CPU time (s) 49.98
Current children cumulated vsize (Kb) 16720

[startup+60.0032 s]
Raw data (loadavg): 1.01 0.99 0.99 2/55 8938
Raw data (/proc/8938/stat): 8938 (pb2sat) R 8937 8938 4070 0 -1 0 5193 0 0 0 5987 11 0 0 25 0 1 0 21523977 17661952 3741 4294967295 134512640 135987407 3221224560 3221221872 134555852 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8938/statm): 4312 3741 364 364 0 3948 0
[pid=8938] vsize: 17248
Current children cumulated CPU time (s) 59.98
Current children cumulated vsize (Kb) 17248

[startup+70.0039 s]
Raw data (loadavg): 1.01 0.99 0.99 2/55 8938
Raw data (/proc/8938/stat): 8938 (pb2sat) R 8937 8938 4070 0 -1 0 5401 0 0 0 6987 11 0 0 25 0 1 0 21523977 18202624 3945 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8938/statm): 4444 3945 364 364 0 4080 0
[pid=8938] vsize: 17776
Current children cumulated CPU time (s) 69.98
Current children cumulated vsize (Kb) 17776

[startup+80.0046 s]
Raw data (loadavg): 1.01 0.99 0.99 2/55 8938
Raw data (/proc/8938/stat): 8938 (pb2sat) R 8937 8938 4070 0 -1 0 5595 0 0 0 7987 11 0 0 25 0 1 0 21523977 18743296 4136 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8938/statm): 4576 4136 364 364 0 4212 0
[pid=8938] vsize: 18304
Current children cumulated CPU time (s) 79.98
Current children cumulated vsize (Kb) 18304

[startup+90.0043 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8938
Raw data (/proc/8938/stat): 8938 (pb2sat) R 8937 8938 4070 0 -1 0 5776 0 0 0 8986 12 0 0 25 0 1 0 21523977 19148800 4314 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8938/statm): 4675 4314 364 364 0 4311 0
[pid=8938] vsize: 18700
Current children cumulated CPU time (s) 89.98
Current children cumulated vsize (Kb) 18700

[startup+100.004 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8938
Raw data (/proc/8938/stat): 8938 (pb2sat) R 8937 8938 4070 0 -1 0 5948 0 0 0 9985 14 0 0 25 0 1 0 21523977 19689472 4483 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8938/statm): 4807 4483 364 364 0 4443 0
[pid=8938] vsize: 19228
Current children cumulated CPU time (s) 99.99
Current children cumulated vsize (Kb) 19228

[startup+110.004 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8938
Raw data (/proc/8938/stat): 8938 (pb2sat) R 8937 8938 4070 0 -1 0 8308 0 0 0 10980 18 0 0 25 0 1 0 21523977 28835840 5366 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8938/statm): 7040 5366 364 364 0 6676 0
[pid=8938] vsize: 28160
Current children cumulated CPU time (s) 109.98
Current children cumulated vsize (Kb) 28160

[startup+120.004 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8938
Raw data (/proc/8938/stat): 8938 (pb2sat) R 8937 8938 4070 0 -1 0 8369 0 0 0 11980 18 0 0 25 0 1 0 21523977 28835840 5424 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8938/statm): 7040 5424 364 364 0 6676 0
[pid=8938] vsize: 28160
Current children cumulated CPU time (s) 119.98
Current children cumulated vsize (Kb) 28160

[startup+130.004 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8938
Raw data (/proc/8938/stat): 8938 (pb2sat) R 8937 8938 4070 0 -1 0 8492 0 0 0 12980 19 0 0 25 0 1 0 21523977 29106176 5545 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8938/statm): 7106 5545 364 364 0 6742 0
[pid=8938] vsize: 28424
Current children cumulated CPU time (s) 129.99
Current children cumulated vsize (Kb) 28424

[startup+140.004 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8938
Raw data (/proc/8938/stat): 8938 (pb2sat) R 8937 8938 4070 0 -1 0 8622 0 0 0 13979 19 0 0 25 0 1 0 21523977 29376512 5672 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8938/statm): 7172 5672 364 364 0 6808 0
[pid=8938] vsize: 28688
Current children cumulated CPU time (s) 139.98
Current children cumulated vsize (Kb) 28688

[startup+150.005 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8938
Raw data (/proc/8938/stat): 8938 (pb2sat) R 8937 8938 4070 0 -1 0 8746 0 0 0 14979 20 0 0 25 0 1 0 21523977 29646848 5794 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8938/statm): 7238 5794 364 364 0 6874 0
[pid=8938] vsize: 28952
Current children cumulated CPU time (s) 149.99
Current children cumulated vsize (Kb) 28952

[startup+160.004 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8938
Raw data (/proc/8938/stat): 8938 (pb2sat) R 8937 8938 4070 0 -1 0 8867 0 0 0 15978 20 0 0 25 0 1 0 21523977 29917184 5913 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8938/statm): 7304 5913 364 364 0 6940 0
[pid=8938] vsize: 29216
Current children cumulated CPU time (s) 159.98
Current children cumulated vsize (Kb) 29216

[startup+170.005 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8938
Raw data (/proc/8938/stat): 8938 (pb2sat) R 8937 8938 4070 0 -1 0 8983 0 0 0 16978 21 0 0 25 0 1 0 21523977 30187520 6027 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8938/statm): 7370 6027 364 364 0 7006 0
[pid=8938] vsize: 29480
Current children cumulated CPU time (s) 169.99
Current children cumulated vsize (Kb) 29480

[startup+180.006 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8938
Raw data (/proc/8938/stat): 8938 (pb2sat) R 8937 8938 4070 0 -1 0 9106 0 0 0 17978 21 0 0 25 0 1 0 21523977 30593024 6148 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8938/statm): 7469 6148 364 364 0 7105 0
[pid=8938] vsize: 29876
Current children cumulated CPU time (s) 179.99
Current children cumulated vsize (Kb) 29876

[startup+190.005 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8938
Raw data (/proc/8938/stat): 8938 (pb2sat) R 8937 8938 4070 0 -1 0 9233 0 0 0 18978 21 0 0 25 0 1 0 21523977 30863360 6273 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8938/statm): 7535 6273 364 364 0 7171 0
[pid=8938] vsize: 30140
Current children cumulated CPU time (s) 189.99
Current children cumulated vsize (Kb) 30140

[startup+200.005 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8938
Raw data (/proc/8938/stat): 8938 (pb2sat) R 8937 8938 4070 0 -1 0 9356 0 0 0 19977 22 0 0 25 0 1 0 21523977 31133696 6394 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8938/statm): 7601 6394 364 364 0 7237 0
[pid=8938] vsize: 30404
Current children cumulated CPU time (s) 199.99
Current children cumulated vsize (Kb) 30404

[startup+210.006 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8938
Raw data (/proc/8938/stat): 8938 (pb2sat) R 8937 8938 4070 0 -1 0 9476 0 0 0 20976 23 0 0 25 0 1 0 21523977 31539200 6512 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8938/statm): 7700 6512 364 364 0 7336 0
[pid=8938] vsize: 30800
Current children cumulated CPU time (s) 209.99
Current children cumulated vsize (Kb) 30800

[startup+220.006 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8938
Raw data (/proc/8938/stat): 8938 (pb2sat) R 8937 8938 4070 0 -1 0 9593 0 0 0 21976 23 0 0 25 0 1 0 21523977 31809536 6627 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8938/statm): 7766 6627 364 364 0 7402 0
[pid=8938] vsize: 31064
Current children cumulated CPU time (s) 219.99
Current children cumulated vsize (Kb) 31064

[startup+230.006 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8938
Raw data (/proc/8938/stat): 8938 (pb2sat) R 8937 8938 4070 0 -1 0 9709 0 0 0 22976 23 0 0 25 0 1 0 21523977 32079872 6741 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8938/statm): 7832 6741 364 364 0 7468 0
[pid=8938] vsize: 31328
Current children cumulated CPU time (s) 229.99
Current children cumulated vsize (Kb) 31328

[startup+240.006 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8938
Raw data (/proc/8938/stat): 8938 (pb2sat) R 8937 8938 4070 0 -1 0 9824 0 0 0 23976 24 0 0 25 0 1 0 21523977 32350208 6854 4294967295 134512640 135987407 3221224560 3221221872 134555863 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8938/statm): 7898 6854 364 364 0 7534 0
[pid=8938] vsize: 31592
Current children cumulated CPU time (s) 240
Current children cumulated vsize (Kb) 31592

[startup+250.007 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8938
Raw data (/proc/8938/stat): 8938 (pb2sat) R 8937 8938 4070 0 -1 0 9933 0 0 0 24975 24 0 0 25 0 1 0 21523977 32620544 6961 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8938/statm): 7964 6961 364 364 0 7600 0
[pid=8938] vsize: 31856
Current children cumulated CPU time (s) 249.99
Current children cumulated vsize (Kb) 31856

[startup+260.006 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8938
Raw data (/proc/8938/stat): 8938 (pb2sat) R 8937 8938 4070 0 -1 0 10042 0 0 0 25975 24 0 0 25 0 1 0 21523977 32890880 7068 4294967295 134512640 135987407 3221224560 3221221872 134555870 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8938/statm): 8030 7068 364 364 0 7666 0
[pid=8938] vsize: 32120
Current children cumulated CPU time (s) 259.99
Current children cumulated vsize (Kb) 32120

[startup+270.007 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8938
Raw data (/proc/8938/stat): 8938 (pb2sat) R 8937 8938 4070 0 -1 0 10148 0 0 0 26975 25 0 0 25 0 1 0 21523977 33161216 7173 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8938/statm): 8096 7173 364 364 0 7732 0
[pid=8938] vsize: 32384
Current children cumulated CPU time (s) 270
Current children cumulated vsize (Kb) 32384

[startup+280.007 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8938
Raw data (/proc/8938/stat): 8938 (pb2sat) R 8937 8938 4070 0 -1 0 10252 0 0 0 27975 25 0 0 25 0 1 0 21523977 33431552 7275 4294967295 134512640 135987407 3221224560 3221221872 134555870 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8938/statm): 8162 7275 364 364 0 7798 0
[pid=8938] vsize: 32648
Current children cumulated CPU time (s) 280
Current children cumulated vsize (Kb) 32648

[startup+290.006 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8938
Raw data (/proc/8938/stat): 8938 (pb2sat) R 8937 8938 4070 0 -1 0 10356 0 0 0 28975 25 0 0 25 0 1 0 21523977 33701888 7377 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8938/statm): 8228 7377 364 364 0 7864 0
[pid=8938] vsize: 32912
Current children cumulated CPU time (s) 290
Current children cumulated vsize (Kb) 32912

[startup+300.006 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8938
Raw data (/proc/8938/stat): 8938 (pb2sat) R 8937 8938 4070 0 -1 0 10457 0 0 0 29975 25 0 0 25 0 1 0 21523977 33972224 7477 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8938/statm): 8294 7477 364 364 0 7930 0
[pid=8938] vsize: 33176
Current children cumulated CPU time (s) 300
Current children cumulated vsize (Kb) 33176

[startup+310.006 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8938
Raw data (/proc/8938/stat): 8938 (pb2sat) R 8937 8938 4070 0 -1 0 10557 0 0 0 30974 26 0 0 25 0 1 0 21523977 34242560 7575 4294967295 134512640 135987407 3221224560 3221221872 134555868 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8938/statm): 8360 7575 364 364 0 7996 0
[pid=8938] vsize: 33440
Current children cumulated CPU time (s) 310
Current children cumulated vsize (Kb) 33440

[startup+320.007 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8938
Raw data (/proc/8938/stat): 8938 (pb2sat) R 8937 8938 4070 0 -1 0 10656 0 0 0 31974 26 0 0 25 0 1 0 21523977 34512896 7673 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8938/statm): 8426 7673 364 364 0 8062 0
[pid=8938] vsize: 33704
Current children cumulated CPU time (s) 320
Current children cumulated vsize (Kb) 33704

[startup+330.007 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8938
Raw data (/proc/8938/stat): 8938 (pb2sat) R 8937 8938 4070 0 -1 0 10754 0 0 0 32974 26 0 0 25 0 1 0 21523977 34783232 7769 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8938/statm): 8492 7769 364 364 0 8128 0
[pid=8938] vsize: 33968
Current children cumulated CPU time (s) 330
Current children cumulated vsize (Kb) 33968

[startup+340.007 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8938
Raw data (/proc/8938/stat): 8938 (pb2sat) R 8937 8938 4070 0 -1 0 10851 0 0 0 33974 27 0 0 25 0 1 0 21523977 35053568 7864 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8938/statm): 8558 7864 364 364 0 8194 0
[pid=8938] vsize: 34232
Current children cumulated CPU time (s) 340.01
Current children cumulated vsize (Kb) 34232

[startup+350.007 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8938
Raw data (/proc/8938/stat): 8938 (pb2sat) R 8937 8938 4070 0 -1 0 10945 0 0 0 34974 27 0 0 25 0 1 0 21523977 35323904 7957 4294967295 134512640 135987407 3221224560 3221221872 134555863 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8938/statm): 8624 7957 364 364 0 8260 0
[pid=8938] vsize: 34496
Current children cumulated CPU time (s) 350.01
Current children cumulated vsize (Kb) 34496

[startup+360.007 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8938
Raw data (/proc/8938/stat): 8938 (pb2sat) R 8937 8938 4070 0 -1 0 11037 0 0 0 35974 27 0 0 25 0 1 0 21523977 35459072 8047 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8938/statm): 8657 8047 364 364 0 8293 0
[pid=8938] vsize: 34628
Current children cumulated CPU time (s) 360.01
Current children cumulated vsize (Kb) 34628

[startup+370.008 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8938
Raw data (/proc/8938/stat): 8938 (pb2sat) R 8937 8938 4070 0 -1 0 11128 0 0 0 36974 27 0 0 25 0 1 0 21523977 35729408 8137 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8938/statm): 8723 8137 364 364 0 8359 0
[pid=8938] vsize: 34892
Current children cumulated CPU time (s) 370.01
Current children cumulated vsize (Kb) 34892

[startup+380.008 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8938
Raw data (/proc/8938/stat): 8938 (pb2sat) R 8937 8938 4070 0 -1 0 11218 0 0 0 37973 27 0 0 25 0 1 0 21523977 35999744 8225 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8938/statm): 8789 8225 364 364 0 8425 0
[pid=8938] vsize: 35156
Current children cumulated CPU time (s) 380
Current children cumulated vsize (Kb) 35156

[startup+390.008 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8938
Raw data (/proc/8938/stat): 8938 (pb2sat) R 8937 8938 4070 0 -1 0 11308 0 0 0 38973 28 0 0 25 0 1 0 21523977 36134912 8314 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8938/statm): 8822 8314 364 364 0 8458 0
[pid=8938] vsize: 35288
Current children cumulated CPU time (s) 390.01
Current children cumulated vsize (Kb) 35288

[startup+400.009 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8938
Raw data (/proc/8938/stat): 8938 (pb2sat) R 8937 8938 4070 0 -1 0 11396 0 0 0 39973 28 0 0 25 0 1 0 21523977 36405248 8401 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8938/statm): 8888 8401 364 364 0 8524 0
[pid=8938] vsize: 35552
Current children cumulated CPU time (s) 400.01
Current children cumulated vsize (Kb) 35552

[startup+410.009 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8938
Raw data (/proc/8938/stat): 8938 (pb2sat) R 8937 8938 4070 0 -1 0 11484 0 0 0 40973 28 0 0 25 0 1 0 21523977 36675584 8487 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8938/statm): 8954 8487 364 364 0 8590 0
[pid=8938] vsize: 35816
Current children cumulated CPU time (s) 410.01
Current children cumulated vsize (Kb) 35816

[startup+420.01 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8938
Raw data (/proc/8938/stat): 8938 (pb2sat) R 8937 8938 4070 0 -1 0 11571 0 0 0 41972 29 0 0 25 0 1 0 21523977 36810752 8573 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8938/statm): 8987 8573 364 364 0 8623 0
[pid=8938] vsize: 35948
Current children cumulated CPU time (s) 420.01
Current children cumulated vsize (Kb) 35948

[startup+430.009 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8938
Raw data (/proc/8938/stat): 8938 (pb2sat) R 8937 8938 4070 0 -1 0 11656 0 0 0 42972 29 0 0 25 0 1 0 21523977 37081088 8656 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8938/statm): 9053 8656 364 364 0 8689 0
[pid=8938] vsize: 36212
Current children cumulated CPU time (s) 430.01
Current children cumulated vsize (Kb) 36212

[startup+440.009 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8938
Raw data (/proc/8938/stat): 8938 (pb2sat) R 8937 8938 4070 0 -1 0 11743 0 0 0 43972 29 0 0 25 0 1 0 21523977 37351424 8742 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8938/statm): 9119 8742 364 364 0 8755 0
[pid=8938] vsize: 36476
Current children cumulated CPU time (s) 440.01
Current children cumulated vsize (Kb) 36476

[startup+450.01 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8938
Raw data (/proc/8938/stat): 8938 (pb2sat) R 8937 8938 4070 0 -1 0 11825 0 0 0 44971 30 0 0 25 0 1 0 21523977 37486592 8823 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8938/statm): 9152 8823 364 364 0 8788 0
[pid=8938] vsize: 36608
Current children cumulated CPU time (s) 450.01
Current children cumulated vsize (Kb) 36608

[startup+460.01 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8938
Raw data (/proc/8938/stat): 8938 (pb2sat) R 8937 8938 4070 0 -1 0 11907 0 0 0 45971 30 0 0 25 0 1 0 21523977 37756928 8903 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8938/statm): 9218 8903 364 364 0 8854 0
[pid=8938] vsize: 36872
Current children cumulated CPU time (s) 460.01
Current children cumulated vsize (Kb) 36872

[startup+470.011 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8938
Raw data (/proc/8938/stat): 8938 (pb2sat) R 8937 8938 4070 0 -1 0 15189 0 0 0 46964 37 0 0 25 0 1 0 21523977 59777024 12061 4294967295 134512640 135987407 3221224560 3221221296 134856427 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8938/statm): 14594 12061 364 364 0 14230 0
[pid=8938] vsize: 58376
Current children cumulated CPU time (s) 470.01
Current children cumulated vsize (Kb) 58376

[startup+480.012 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8938
Raw data (/proc/8938/stat): 8938 (pb2sat) R 8937 8938 4070 0 -1 0 16506 0 0 0 47961 40 0 0 25 0 1 0 21523977 55779328 10553 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8938/statm): 13618 10553 364 364 0 13254 0
[pid=8938] vsize: 54472
Current children cumulated CPU time (s) 480.01
Current children cumulated vsize (Kb) 54472

[startup+490.012 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8938
Raw data (/proc/8938/stat): 8938 (pb2sat) R 8937 8938 4070 0 -1 0 16536 0 0 0 48961 40 0 0 25 0 1 0 21523977 55779328 10581 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8938/statm): 13618 10581 364 364 0 13254 0
[pid=8938] vsize: 54472
Current children cumulated CPU time (s) 490.01
Current children cumulated vsize (Kb) 54472

[startup+500.013 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8938
Raw data (/proc/8938/stat): 8938 (pb2sat) R 8937 8938 4070 0 -1 0 16565 0 0 0 49961 40 0 0 25 0 1 0 21523977 55779328 10609 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8938/statm): 13618 10609 364 364 0 13254 0
[pid=8938] vsize: 54472
Current children cumulated CPU time (s) 500.01
Current children cumulated vsize (Kb) 54472

[startup+510.014 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8938
Raw data (/proc/8938/stat): 8938 (pb2sat) R 8937 8938 4070 0 -1 0 16595 0 0 0 50961 40 0 0 25 0 1 0 21523977 55779328 10638 4294967295 134512640 135987407 3221224560 3221221872 134555870 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8938/statm): 13618 10638 364 364 0 13254 0
[pid=8938] vsize: 54472
Current children cumulated CPU time (s) 510.01
Current children cumulated vsize (Kb) 54472

[startup+520.015 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8938
Raw data (/proc/8938/stat): 8938 (pb2sat) R 8937 8938 4070 0 -1 0 16623 0 0 0 51961 40 0 0 25 0 1 0 21523977 55779328 10665 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8938/statm): 13618 10665 364 364 0 13254 0
[pid=8938] vsize: 54472
Current children cumulated CPU time (s) 520.01
Current children cumulated vsize (Kb) 54472

[startup+530.015 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8938
Raw data (/proc/8938/stat): 8938 (pb2sat) R 8937 8938 4070 0 -1 0 16653 0 0 0 52961 41 0 0 25 0 1 0 21523977 55779328 10693 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8938/statm): 13618 10693 364 364 0 13254 0
[pid=8938] vsize: 54472
Current children cumulated CPU time (s) 530.02
Current children cumulated vsize (Kb) 54472

[startup+540.015 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8938
Raw data (/proc/8938/stat): 8938 (pb2sat) R 8937 8938 4070 0 -1 0 16700 0 0 0 53961 41 0 0 25 0 1 0 21523977 55914496 10739 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8938/statm): 13651 10739 364 364 0 13287 0
[pid=8938] vsize: 54604
Current children cumulated CPU time (s) 540.02
Current children cumulated vsize (Kb) 54604

[startup+550.016 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8938
Raw data (/proc/8938/stat): 8938 (pb2sat) R 8937 8938 4070 0 -1 0 16767 0 0 0 54961 41 0 0 25 0 1 0 21523977 56049664 10805 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8938/statm): 13684 10805 364 364 0 13320 0
[pid=8938] vsize: 54736
Current children cumulated CPU time (s) 550.02
Current children cumulated vsize (Kb) 54736

[startup+560.016 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8938
Raw data (/proc/8938/stat): 8938 (pb2sat) R 8937 8938 4070 0 -1 0 16832 0 0 0 55961 41 0 0 25 0 1 0 21523977 56184832 10869 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8938/statm): 13717 10869 364 364 0 13353 0
[pid=8938] vsize: 54868
Current children cumulated CPU time (s) 560.02
Current children cumulated vsize (Kb) 54868

[startup+570.017 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8938
Raw data (/proc/8938/stat): 8938 (pb2sat) R 8937 8938 4070 0 -1 0 16899 0 0 0 56961 41 0 0 25 0 1 0 21523977 56320000 10934 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8938/statm): 13750 10934 364 364 0 13386 0
[pid=8938] vsize: 55000
Current children cumulated CPU time (s) 570.02
Current children cumulated vsize (Kb) 55000

[startup+580.017 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8938
Raw data (/proc/8938/stat): 8938 (pb2sat) R 8937 8938 4070 0 -1 0 16962 0 0 0 57961 41 0 0 25 0 1 0 21523977 56455168 10996 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8938/statm): 13783 10996 364 364 0 13419 0
[pid=8938] vsize: 55132
Current children cumulated CPU time (s) 580.02
Current children cumulated vsize (Kb) 55132

[startup+590.016 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8938
Raw data (/proc/8938/stat): 8938 (pb2sat) R 8937 8938 4070 0 -1 0 17027 0 0 0 58961 42 0 0 25 0 1 0 21523977 56590336 11060 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8938/statm): 13816 11060 364 364 0 13452 0
[pid=8938] vsize: 55264
Current children cumulated CPU time (s) 590.03
Current children cumulated vsize (Kb) 55264

[startup+600.017 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8938
Raw data (/proc/8938/stat): 8938 (pb2sat) R 8937 8938 4070 0 -1 0 17091 0 0 0 59960 42 0 0 25 0 1 0 21523977 56725504 11123 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8938/statm): 13849 11123 364 364 0 13485 0
[pid=8938] vsize: 55396
Current children cumulated CPU time (s) 600.02
Current children cumulated vsize (Kb) 55396

[startup+610.017 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8938
Raw data (/proc/8938/stat): 8938 (pb2sat) R 8937 8938 4070 0 -1 0 17155 0 0 0 60960 42 0 0 25 0 1 0 21523977 56995840 11186 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8938/statm): 13915 11186 364 364 0 13551 0
[pid=8938] vsize: 55660
Current children cumulated CPU time (s) 610.02
Current children cumulated vsize (Kb) 55660

[startup+620.018 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8938
Raw data (/proc/8938/stat): 8938 (pb2sat) R 8937 8938 4070 0 -1 0 17215 0 0 0 61960 42 0 0 25 0 1 0 21523977 57131008 11245 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8938/statm): 13948 11245 364 364 0 13584 0
[pid=8938] vsize: 55792
Current children cumulated CPU time (s) 620.02
Current children cumulated vsize (Kb) 55792

[startup+630.018 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8938
Raw data (/proc/8938/stat): 8938 (pb2sat) R 8937 8938 4070 0 -1 0 17278 0 0 0 62960 42 0 0 25 0 1 0 21523977 57266176 11306 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8938/statm): 13981 11306 364 364 0 13617 0
[pid=8938] vsize: 55924
Current children cumulated CPU time (s) 630.02
Current children cumulated vsize (Kb) 55924

[startup+640.018 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8938
Raw data (/proc/8938/stat): 8938 (pb2sat) R 8937 8938 4070 0 -1 0 17340 0 0 0 63960 42 0 0 25 0 1 0 21523977 57401344 11367 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8938/statm): 14014 11367 364 364 0 13650 0
[pid=8938] vsize: 56056
Current children cumulated CPU time (s) 640.02
Current children cumulated vsize (Kb) 56056

[startup+650.019 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8938
Raw data (/proc/8938/stat): 8938 (pb2sat) R 8937 8938 4070 0 -1 0 17401 0 0 0 64960 43 0 0 25 0 1 0 21523977 57536512 11427 4294967295 134512640 135987407 3221224560 3221221792 134534646 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8938/statm): 14047 11427 364 364 0 13683 0
[pid=8938] vsize: 56188
Current children cumulated CPU time (s) 650.03
Current children cumulated vsize (Kb) 56188

[startup+660.019 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8938
Raw data (/proc/8938/stat): 8938 (pb2sat) R 8937 8938 4070 0 -1 0 17464 0 0 0 65960 43 0 0 25 0 1 0 21523977 57671680 11489 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8938/statm): 14080 11489 364 364 0 13716 0
[pid=8938] vsize: 56320
Current children cumulated CPU time (s) 660.03
Current children cumulated vsize (Kb) 56320

[startup+670.02 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8938
Raw data (/proc/8938/stat): 8938 (pb2sat) R 8937 8938 4070 0 -1 0 17523 0 0 0 66960 43 0 0 25 0 1 0 21523977 57806848 11547 4294967295 134512640 135987407 3221224560 3221221872 134555868 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8938/statm): 14113 11547 364 364 0 13749 0
[pid=8938] vsize: 56452
Current children cumulated CPU time (s) 670.03
Current children cumulated vsize (Kb) 56452

[startup+680.02 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8938
Raw data (/proc/8938/stat): 8938 (pb2sat) R 8937 8938 4070 0 -1 0 17581 0 0 0 67959 43 0 0 25 0 1 0 21523977 57942016 11604 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8938/statm): 14146 11604 364 364 0 13782 0
[pid=8938] vsize: 56584
Current children cumulated CPU time (s) 680.02
Current children cumulated vsize (Kb) 56584

[startup+690.02 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8938
Raw data (/proc/8938/stat): 8938 (pb2sat) R 8937 8938 4070 0 -1 0 17641 0 0 0 68959 44 0 0 25 0 1 0 21523977 58077184 11663 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8938/statm): 14179 11663 364 364 0 13815 0
[pid=8938] vsize: 56716
Current children cumulated CPU time (s) 690.03
Current children cumulated vsize (Kb) 56716

[startup+700.02 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8938
Raw data (/proc/8938/stat): 8938 (pb2sat) R 8937 8938 4070 0 -1 0 17699 0 0 0 69959 44 0 0 25 0 1 0 21523977 58212352 11720 4294967295 134512640 135987407 3221224560 3221221872 134555870 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8938/statm): 14212 11720 364 364 0 13848 0
[pid=8938] vsize: 56848
Current children cumulated CPU time (s) 700.03
Current children cumulated vsize (Kb) 56848

[startup+710.02 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8938
Raw data (/proc/8938/stat): 8938 (pb2sat) R 8937 8938 4070 0 -1 0 17758 0 0 0 70959 44 0 0 25 0 1 0 21523977 58347520 11778 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8938/statm): 14245 11778 364 364 0 13881 0
[pid=8938] vsize: 56980
Current children cumulated CPU time (s) 710.03
Current children cumulated vsize (Kb) 56980

[startup+720.021 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8938
Raw data (/proc/8938/stat): 8938 (pb2sat) R 8937 8938 4070 0 -1 0 17818 0 0 0 71959 45 0 0 25 0 1 0 21523977 58482688 11836 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8938/statm): 14278 11836 364 364 0 13914 0
[pid=8938] vsize: 57112
Current children cumulated CPU time (s) 720.04
Current children cumulated vsize (Kb) 57112

[startup+730.021 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8938
Raw data (/proc/8938/stat): 8938 (pb2sat) R 8937 8938 4070 0 -1 0 17875 0 0 0 72959 45 0 0 25 0 1 0 21523977 58617856 11892 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8938/statm): 14311 11892 364 364 0 13947 0
[pid=8938] vsize: 57244
Current children cumulated CPU time (s) 730.04
Current children cumulated vsize (Kb) 57244

[startup+740.021 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8938
Raw data (/proc/8938/stat): 8938 (pb2sat) R 8937 8938 4070 0 -1 0 17931 0 0 0 73958 45 0 0 25 0 1 0 21523977 58753024 11947 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8938/statm): 14344 11947 364 364 0 13980 0
[pid=8938] vsize: 57376
Current children cumulated CPU time (s) 740.03
Current children cumulated vsize (Kb) 57376

[startup+750.022 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8938
Raw data (/proc/8938/stat): 8938 (pb2sat) R 8937 8938 4070 0 -1 0 17994 0 0 0 74958 45 0 0 25 0 1 0 21523977 58888192 12009 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8938/statm): 14377 12009 364 364 0 14013 0
[pid=8938] vsize: 57508
Current children cumulated CPU time (s) 750.03
Current children cumulated vsize (Kb) 57508

[startup+760.021 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8938
Raw data (/proc/8938/stat): 8938 (pb2sat) R 8937 8938 4070 0 -1 0 18059 0 0 0 75958 46 0 0 25 0 1 0 21523977 59023360 12073 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8938/statm): 14410 12073 364 364 0 14046 0
[pid=8938] vsize: 57640
Current children cumulated CPU time (s) 760.04
Current children cumulated vsize (Kb) 57640

[startup+770.022 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8938
Raw data (/proc/8938/stat): 8938 (pb2sat) R 8937 8938 4070 0 -1 0 18122 0 0 0 76958 46 0 0 25 0 1 0 21523977 59293696 12135 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8938/statm): 14476 12135 364 364 0 14112 0
[pid=8938] vsize: 57904
Current children cumulated CPU time (s) 770.04
Current children cumulated vsize (Kb) 57904

[startup+780.022 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8938
Raw data (/proc/8938/stat): 8938 (pb2sat) R 8937 8938 4070 0 -1 0 18187 0 0 0 77958 46 0 0 25 0 1 0 21523977 59428864 12199 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8938/statm): 14509 12199 364 364 0 14145 0
[pid=8938] vsize: 58036
Current children cumulated CPU time (s) 780.04
Current children cumulated vsize (Kb) 58036

[startup+790.022 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8938
Raw data (/proc/8938/stat): 8938 (pb2sat) R 8937 8938 4070 0 -1 0 18252 0 0 0 78957 46 0 0 25 0 1 0 21523977 59564032 12263 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8938/statm): 14542 12263 364 364 0 14178 0
[pid=8938] vsize: 58168
Current children cumulated CPU time (s) 790.03
Current children cumulated vsize (Kb) 58168

[startup+800.022 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8938
Raw data (/proc/8938/stat): 8938 (pb2sat) R 8937 8938 4070 0 -1 0 18314 0 0 0 79957 46 0 0 25 0 1 0 21523977 59699200 12324 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8938/statm): 14575 12324 364 364 0 14211 0
[pid=8938] vsize: 58300
Current children cumulated CPU time (s) 800.03
Current children cumulated vsize (Kb) 58300

[startup+810.023 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8938
Raw data (/proc/8938/stat): 8938 (pb2sat) R 8937 8938 4070 0 -1 0 18377 0 0 0 80957 46 0 0 25 0 1 0 21523977 59969536 12386 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8938/statm): 14641 12386 364 364 0 14277 0
[pid=8938] vsize: 58564
Current children cumulated CPU time (s) 810.03
Current children cumulated vsize (Kb) 58564

[startup+820.024 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8938
Raw data (/proc/8938/stat): 8938 (pb2sat) R 8937 8938 4070 0 -1 0 18442 0 0 0 81957 47 0 0 25 0 1 0 21523977 60104704 12450 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8938/statm): 14674 12450 364 364 0 14310 0
[pid=8938] vsize: 58696
Current children cumulated CPU time (s) 820.04
Current children cumulated vsize (Kb) 58696

[startup+830.024 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8938
Raw data (/proc/8938/stat): 8938 (pb2sat) R 8937 8938 4070 0 -1 0 18505 0 0 0 82957 47 0 0 25 0 1 0 21523977 60239872 12512 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8938/statm): 14707 12512 364 364 0 14343 0
[pid=8938] vsize: 58828
Current children cumulated CPU time (s) 830.04
Current children cumulated vsize (Kb) 58828

[startup+840.024 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8938
Raw data (/proc/8938/stat): 8938 (pb2sat) R 8937 8938 4070 0 -1 0 18567 0 0 0 83957 47 0 0 25 0 1 0 21523977 60375040 12573 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8938/statm): 14740 12573 364 364 0 14376 0
[pid=8938] vsize: 58960
Current children cumulated CPU time (s) 840.04
Current children cumulated vsize (Kb) 58960

[startup+850.025 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8938
Raw data (/proc/8938/stat): 8938 (pb2sat) R 8937 8938 4070 0 -1 0 18628 0 0 0 84957 47 0 0 25 0 1 0 21523977 60510208 12633 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8938/statm): 14773 12633 364 364 0 14409 0
[pid=8938] vsize: 59092
Current children cumulated CPU time (s) 850.04
Current children cumulated vsize (Kb) 59092

[startup+860.024 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8938
Raw data (/proc/8938/stat): 8938 (pb2sat) R 8937 8938 4070 0 -1 0 18687 0 0 0 85956 47 0 0 25 0 1 0 21523977 60645376 12691 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8938/statm): 14806 12691 364 364 0 14442 0
[pid=8938] vsize: 59224
Current children cumulated CPU time (s) 860.03
Current children cumulated vsize (Kb) 59224

[startup+870.026 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8938
Raw data (/proc/8938/stat): 8938 (pb2sat) R 8937 8938 4070 0 -1 0 18748 0 0 0 86956 48 0 0 25 0 1 0 21523977 60915712 12751 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8938/statm): 14872 12751 364 364 0 14508 0
[pid=8938] vsize: 59488
Current children cumulated CPU time (s) 870.04
Current children cumulated vsize (Kb) 59488

[startup+880.027 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8938
Raw data (/proc/8938/stat): 8938 (pb2sat) R 8937 8938 4070 0 -1 0 18809 0 0 0 87956 48 0 0 25 0 1 0 21523977 61050880 12811 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8938/statm): 14905 12811 364 364 0 14541 0
[pid=8938] vsize: 59620
Current children cumulated CPU time (s) 880.04
Current children cumulated vsize (Kb) 59620

[startup+890.027 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8938
Raw data (/proc/8938/stat): 8938 (pb2sat) R 8937 8938 4070 0 -1 0 18869 0 0 0 88956 48 0 0 25 0 1 0 21523977 61186048 12870 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8938/statm): 14938 12870 364 364 0 14574 0
[pid=8938] vsize: 59752
Current children cumulated CPU time (s) 890.04
Current children cumulated vsize (Kb) 59752

[startup+900.027 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8938
Raw data (/proc/8938/stat): 8938 (pb2sat) R 8937 8938 4070 0 -1 0 18930 0 0 0 89955 49 0 0 25 0 1 0 21523977 61321216 12930 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8938/statm): 14971 12930 364 364 0 14607 0
[pid=8938] vsize: 59884
Current children cumulated CPU time (s) 900.04
Current children cumulated vsize (Kb) 59884

[startup+910.027 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8938
Raw data (/proc/8938/stat): 8938 (pb2sat) R 8937 8938 4070 0 -1 0 18988 0 0 0 90955 49 0 0 25 0 1 0 21523977 61456384 12987 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8938/statm): 15004 12987 364 364 0 14640 0
[pid=8938] vsize: 60016
Current children cumulated CPU time (s) 910.04
Current children cumulated vsize (Kb) 60016

[startup+920.027 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8938
Raw data (/proc/8938/stat): 8938 (pb2sat) R 8937 8938 4070 0 -1 0 19048 0 0 0 91955 50 0 0 25 0 1 0 21523977 61591552 13046 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8938/statm): 15037 13046 364 364 0 14673 0
[pid=8938] vsize: 60148
Current children cumulated CPU time (s) 920.05
Current children cumulated vsize (Kb) 60148

[startup+930.027 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8938
Raw data (/proc/8938/stat): 8938 (pb2sat) R 8937 8938 4070 0 -1 0 19108 0 0 0 92955 50 0 0 25 0 1 0 21523977 61726720 13105 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8938/statm): 15070 13105 364 364 0 14706 0
[pid=8938] vsize: 60280
Current children cumulated CPU time (s) 930.05
Current children cumulated vsize (Kb) 60280

[startup+940.028 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8938
Raw data (/proc/8938/stat): 8938 (pb2sat) R 8937 8938 4070 0 -1 0 19166 0 0 0 93955 50 0 0 25 0 1 0 21523977 61997056 13162 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8938/statm): 15136 13162 364 364 0 14772 0
[pid=8938] vsize: 60544
Current children cumulated CPU time (s) 940.05
Current children cumulated vsize (Kb) 60544

[startup+950.029 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8938
Raw data (/proc/8938/stat): 8938 (pb2sat) R 8937 8938 4070 0 -1 0 19225 0 0 0 94954 50 0 0 25 0 1 0 21523977 62132224 13220 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8938/statm): 15169 13220 364 364 0 14805 0
[pid=8938] vsize: 60676
Current children cumulated CPU time (s) 950.04
Current children cumulated vsize (Kb) 60676

[startup+960.029 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8938
Raw data (/proc/8938/stat): 8938 (pb2sat) R 8937 8938 4070 0 -1 0 19283 0 0 0 95954 50 0 0 25 0 1 0 21523977 62267392 13277 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8938/statm): 15202 13277 364 364 0 14838 0
[pid=8938] vsize: 60808
Current children cumulated CPU time (s) 960.04
Current children cumulated vsize (Kb) 60808

[startup+970.028 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8938
Raw data (/proc/8938/stat): 8938 (pb2sat) R 8937 8938 4070 0 -1 0 19341 0 0 0 96954 50 0 0 25 0 1 0 21523977 62402560 13334 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8938/statm): 15235 13334 364 364 0 14871 0
[pid=8938] vsize: 60940
Current children cumulated CPU time (s) 970.04
Current children cumulated vsize (Kb) 60940

[startup+980.028 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8938
Raw data (/proc/8938/stat): 8938 (pb2sat) R 8937 8938 4070 0 -1 0 19397 0 0 0 97954 50 0 0 25 0 1 0 21523977 62537728 13390 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8938/statm): 15268 13390 364 364 0 14904 0
[pid=8938] vsize: 61072
Current children cumulated CPU time (s) 980.04
Current children cumulated vsize (Kb) 61072

[startup+990.028 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8938
Raw data (/proc/8938/stat): 8938 (pb2sat) R 8937 8938 4070 0 -1 0 38294 0 0 0 98911 93 0 0 25 0 1 0 21523977 126038016 24305 4294967295 134512640 135987407 3221224560 3221001232 134537412 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8938/statm): 30771 24305 364 364 0 30407 0
[pid=8938] vsize: 123084
Current children cumulated CPU time (s) 990.04
Current children cumulated vsize (Kb) 123084

[startup+1000.03 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8938
Raw data (/proc/8938/stat): 8938 (pb2sat) R 8937 8938 4070 0 -1 0 67555 0 0 0 99850 151 0 0 25 0 1 0 21523977 209944576 44125 4294967295 134512640 135987407 3221224560 3221004828 134865856 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8938/statm): 51256 44125 364 364 0 50892 0
[pid=8938] vsize: 205024
Current children cumulated CPU time (s) 1000.01
Current children cumulated vsize (Kb) 205024

[startup+1010.03 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8938
Raw data (/proc/8938/stat): 8938 (pb2sat) R 8937 8938 4070 0 -1 0 96854 0 0 0 100795 202 0 0 25 0 1 0 21523977 304218112 63509 4294967295 134512640 135987407 3221224560 3221003228 134637002 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8938/statm): 74272 63509 364 364 0 73908 0
[pid=8938] vsize: 297088
Current children cumulated CPU time (s) 1009.97
Current children cumulated vsize (Kb) 297088

[startup+1020.03 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8938
Raw data (/proc/8938/stat): 8938 (pb2sat) R 8937 8938 4070 0 -1 0 125365 0 0 0 101736 259 0 0 25 0 1 0 21523977 411901952 79539 4294967295 134512640 135987407 3221224560 3221005296 134637811 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8938/statm): 100562 79539 364 364 0 100198 0
[pid=8938] vsize: 402248
Current children cumulated CPU time (s) 1019.95
Current children cumulated vsize (Kb) 402248

[startup+1030.03 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8938
Raw data (/proc/8938/stat): 8938 (pb2sat) R 8937 8938 4070 0 -1 0 168144 0 0 0 102658 332 0 0 25 0 1 0 21523977 619819008 121139 4294967295 134512640 135987407 3221224560 3221005184 134533904 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8938/statm): 151323 121139 364 364 0 150959 0
[pid=8938] vsize: 605292
Current children cumulated CPU time (s) 1029.9
Current children cumulated vsize (Kb) 605292

[startup+1040.03 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8938
Raw data (/proc/8938/stat): 8938 (pb2sat) R 8937 8938 4070 0 -1 0 185519 0 0 0 103624 365 0 0 25 0 1 0 21523977 573464576 119877 4294967295 134512640 135987407 3221224560 3221008480 134864484 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8938/statm): 140006 119877 364 364 0 139642 0
[pid=8938] vsize: 560024
Current children cumulated CPU time (s) 1039.89
Current children cumulated vsize (Kb) 560024

[startup+1050.03 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8938
Raw data (/proc/8938/stat): 8938 (pb2sat) R 8937 8938 4070 0 -1 0 226312 0 0 0 104540 448 0 0 25 0 1 0 21523977 698728448 135905 4294967295 134512640 135987407 3221224560 3221004604 134669203 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8938/statm): 170588 135905 364 364 0 170224 0
[pid=8938] vsize: 682352
Current children cumulated CPU time (s) 1049.88
Current children cumulated vsize (Kb) 682352

[startup+1060.03 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8938
Raw data (/proc/8938/stat): 8938 (pb2sat) R 8937 8938 4070 0 -1 0 241833 0 0 0 105513 474 0 0 25 0 1 0 21523977 755007488 151244 4294967295 134512640 135987407 3221224560 3221006252 134636997 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8938/statm): 184328 151244 364 364 0 183964 0
[pid=8938] vsize: 737312
Current children cumulated CPU time (s) 1059.87
Current children cumulated vsize (Kb) 737312

[startup+1070.03 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8938
Raw data (/proc/8938/stat): 8938 (pb2sat) R 8937 8938 4070 0 -1 0 260006 0 0 0 106479 506 0 0 25 0 1 0 21523977 780771328 169199 4294967295 134512640 135987407 3221224560 3221010620 134636950 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8938/statm): 190618 169199 364 364 0 190254 0
[pid=8938] vsize: 762472
Current children cumulated CPU time (s) 1069.85
Current children cumulated vsize (Kb) 762472

[startup+1080.03 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8938
Raw data (/proc/8938/stat): 8938 (pb2sat) R 8937 8938 4070 0 -1 0 278285 0 0 0 107445 538 0 0 25 0 1 0 21523977 808087552 187270 4294967295 134512640 135987407 3221224560 3221005952 134537491 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8938/statm): 197287 187270 364 364 0 196923 0
[pid=8938] vsize: 789148
Current children cumulated CPU time (s) 1079.83
Current children cumulated vsize (Kb) 789148
One traced child (pid=8938) exited with status: 1
All traced children have exited ! Game is over.

Child status: 1
Real time (s): 1088.9
CPU time (s): 1088.7
CPU user time (s): 1082.89
CPU system time (s): 5.81212
CPU usage (%): 99.9815
Max. virtual memory (cumulated for all children) (Kb): 789148

Verifier Data

ERROR: no interpretation found !