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-d6cube.opb
MD5SUM6a4305210f653cc893fd9d3ee7862505
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 185520
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 6640019433432
Number of bits of the sum of numbers in the objective function 43
Biggest number in a constraint 193273528320
Number of bits of the biggest number in a constraint 38
Biggest sum of numbers in a constraint 11024119093221
Number of bits of the biggest sum of numbers44
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Number of variables185520
Total number of constraints404
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 constraints404
Minimum length of a constraint30
Maximum length of a constraint185520

Trace number 9972

Launcher Data

LAUNCH ON wulflinc23 THE 2005-09-23 16:03:58 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=8625 boxname=wulflinc23 idbench=421 idsolver=8 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  6a4305210f653cc893fd9d3ee7862505  /oldhome/oroussel/tmp/wulflinc23/normalized-mps-v2-20-10-d6cube.opb
REAL COMMAND:  pb2sat /oldhome/oroussel/tmp/wulflinc23/normalized-mps-v2-20-10-d6cube.opb
IDLAUNCH: 8625
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.185
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.185
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:        894848 kB
Buffers:         14112 kB
Cached:         106792 kB
SwapCached:          0 kB
Active:          83504 kB
Inactive:        40328 kB
HighTotal:      131008 kB
HighFree:        19964 kB
LowTotal:       903652 kB
LowFree:        874884 kB
SwapTotal:     2097136 kB
SwapFree:      2097136 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6980 kB
Slab:            10324 kB
Committed_AS:    63660 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-09-23 16:21:01 (client local time) WITH STATUS 0 IN 1020.72 SECONDS
stats: 8625 7 1020.72 0

Solver Data

c This solver internally uses Chaff 2004.11.15 Simplified
s UNKNOWN

Watcher Data

Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing Stack size limit: 67108864 bytes
Enforcing memory limit (will send SIGTERM then SIGKILL): 921600 Kb
Enforcing VSIZE limit: 994918400 bytes
Current StackSize limit: 67108864 bytes
Raw data (/proc/7732/stat): 7732 (pb2sat) R 7731 7732 4060 0 -1 0 18 0 0 0 0 0 0 0 23 0 1 0 21478174 1527808 2 4294967295 134512640 135987407 3221224560 3221224560 134512928 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/7732/statm): 373 2 364 364 0 9 0
[pid=7732] vsize: 1492
open syscall for file /oldhome/oroussel/tmp/wulflinc23/normalized-mps-v2-20-10-d6cube.opb

[startup+10.002 s]
Raw data (loadavg): 0.94 0.96 0.97 2/55 7732
Raw data (/proc/7732/stat): 7732 (pb2sat) R 7731 7732 4060 0 -1 0 2550 0 0 0 993 6 0 0 25 0 1 0 21478174 9502720 1863 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7732/statm): 2320 1863 364 364 0 1956 0
[pid=7732] vsize: 9280
Current children cumulated CPU time (s) 9.99
Current children cumulated vsize (Kb) 9280

[startup+20.0026 s]
Raw data (loadavg): 0.95 0.96 0.97 2/55 7732
Raw data (/proc/7732/stat): 7732 (pb2sat) R 7731 7732 4060 0 -1 0 4183 0 0 0 1990 8 0 0 25 0 1 0 21478174 15224832 2749 4294967295 134512640 135987407 3221224560 3221221616 134931273 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7732/statm): 3717 2749 364 364 0 3353 0
[pid=7732] vsize: 14868
Current children cumulated CPU time (s) 19.98
Current children cumulated vsize (Kb) 14868

[startup+30.0033 s]
Raw data (loadavg): 0.95 0.96 0.97 2/55 7732
Raw data (/proc/7732/stat): 7732 (pb2sat) R 7731 7732 4060 0 -1 0 4457 0 0 0 2990 8 0 0 25 0 1 0 21478174 15765504 3017 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7732/statm): 3849 3017 364 364 0 3485 0
[pid=7732] vsize: 15396
Current children cumulated CPU time (s) 29.98
Current children cumulated vsize (Kb) 15396

[startup+40.0029 s]
Raw data (loadavg): 0.96 0.96 0.97 2/55 7732
Raw data (/proc/7732/stat): 7732 (pb2sat) R 7731 7732 4060 0 -1 0 4748 0 0 0 3989 9 0 0 25 0 1 0 21478174 16576512 3303 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7732/statm): 4047 3303 364 364 0 3683 0
[pid=7732] vsize: 16188
Current children cumulated CPU time (s) 39.98
Current children cumulated vsize (Kb) 16188

[startup+50.0036 s]
Raw data (loadavg): 0.97 0.96 0.97 2/55 7732
Raw data (/proc/7732/stat): 7732 (pb2sat) R 7731 7732 4060 0 -1 0 5008 0 0 0 4988 10 0 0 25 0 1 0 21478174 17252352 3559 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7732/statm): 4212 3559 364 364 0 3848 0
[pid=7732] vsize: 16848
Current children cumulated CPU time (s) 49.98
Current children cumulated vsize (Kb) 16848

[startup+60.0032 s]
Raw data (loadavg): 0.97 0.96 0.97 2/55 7732
Raw data (/proc/7732/stat): 7732 (pb2sat) R 7731 7732 4060 0 -1 0 5239 0 0 0 5987 11 0 0 25 0 1 0 21478174 17793024 3786 4294967295 134512640 135987407 3221224560 3221221872 134555852 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7732/statm): 4344 3786 364 364 0 3980 0
[pid=7732] vsize: 17376
Current children cumulated CPU time (s) 59.98
Current children cumulated vsize (Kb) 17376

[startup+70.0039 s]
Raw data (loadavg): 0.98 0.96 0.97 2/55 7732
Raw data (/proc/7732/stat): 7732 (pb2sat) R 7731 7732 4060 0 -1 0 5450 0 0 0 6987 11 0 0 25 0 1 0 21478174 18333696 3993 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7732/statm): 4476 3993 364 364 0 4112 0
[pid=7732] vsize: 17904
Current children cumulated CPU time (s) 69.98
Current children cumulated vsize (Kb) 17904

[startup+80.0045 s]
Raw data (loadavg): 0.98 0.96 0.97 2/55 7732
Raw data (/proc/7732/stat): 7732 (pb2sat) R 7731 7732 4060 0 -1 0 5645 0 0 0 7986 12 0 0 25 0 1 0 21478174 18874368 4185 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7732/statm): 4608 4185 364 364 0 4244 0
[pid=7732] vsize: 18432
Current children cumulated CPU time (s) 79.98
Current children cumulated vsize (Kb) 18432

[startup+90.0052 s]
Raw data (loadavg): 0.98 0.96 0.97 2/55 7732
Raw data (/proc/7732/stat): 7732 (pb2sat) R 7731 7732 4060 0 -1 0 5830 0 0 0 8986 13 0 0 25 0 1 0 21478174 19279872 4367 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7732/statm): 4707 4367 364 364 0 4343 0
[pid=7732] vsize: 18828
Current children cumulated CPU time (s) 89.99
Current children cumulated vsize (Kb) 18828

[startup+100.006 s]
Raw data (loadavg): 0.98 0.96 0.97 2/55 7732
Raw data (/proc/7732/stat): 7732 (pb2sat) R 7731 7732 4060 0 -1 0 6003 0 0 0 9985 13 0 0 25 0 1 0 21478174 19820544 4537 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7732/statm): 4839 4537 364 364 0 4475 0
[pid=7732] vsize: 19356
Current children cumulated CPU time (s) 99.98
Current children cumulated vsize (Kb) 19356

[startup+110.006 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7734
Raw data (/proc/7732/stat): 7732 (pb2sat) R 7731 7732 4060 0 -1 0 8324 0 0 0 10980 18 0 0 25 0 1 0 21478174 28696576 5381 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7732/statm): 7006 5381 364 364 0 6642 0
[pid=7732] vsize: 28024
Current children cumulated CPU time (s) 109.98
Current children cumulated vsize (Kb) 28024

[startup+120.007 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7734
Raw data (/proc/7732/stat): 7732 (pb2sat) R 7731 7732 4060 0 -1 0 8400 0 0 0 11980 19 0 0 25 0 1 0 21478174 28831744 5454 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7732/statm): 7039 5454 364 364 0 6675 0
[pid=7732] vsize: 28156
Current children cumulated CPU time (s) 119.99
Current children cumulated vsize (Kb) 28156

[startup+130.007 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7734
Raw data (/proc/7732/stat): 7732 (pb2sat) R 7731 7732 4060 0 -1 0 8532 0 0 0 12979 19 0 0 25 0 1 0 21478174 29102080 5584 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7732/statm): 7105 5584 364 364 0 6741 0
[pid=7732] vsize: 28420
Current children cumulated CPU time (s) 129.98
Current children cumulated vsize (Kb) 28420

[startup+140.007 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7734
Raw data (/proc/7732/stat): 7732 (pb2sat) R 7731 7732 4060 0 -1 0 8661 0 0 0 13979 19 0 0 25 0 1 0 21478174 29507584 5710 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7732/statm): 7204 5710 364 364 0 6840 0
[pid=7732] vsize: 28816
Current children cumulated CPU time (s) 139.98
Current children cumulated vsize (Kb) 28816

[startup+150.008 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7734
Raw data (/proc/7732/stat): 7732 (pb2sat) R 7731 7732 4060 0 -1 0 8784 0 0 0 14979 20 0 0 25 0 1 0 21478174 29777920 5831 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7732/statm): 7270 5831 364 364 0 6906 0
[pid=7732] vsize: 29080
Current children cumulated CPU time (s) 149.99
Current children cumulated vsize (Kb) 29080

[startup+160.008 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7734
Raw data (/proc/7732/stat): 7732 (pb2sat) R 7731 7732 4060 0 -1 0 8903 0 0 0 15978 20 0 0 25 0 1 0 21478174 30048256 5948 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7732/statm): 7336 5948 364 364 0 6972 0
[pid=7732] vsize: 29344
Current children cumulated CPU time (s) 159.98
Current children cumulated vsize (Kb) 29344

[startup+170.008 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7734
Raw data (/proc/7732/stat): 7732 (pb2sat) R 7731 7732 4060 0 -1 0 9021 0 0 0 16978 20 0 0 25 0 1 0 21478174 30318592 6064 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7732/statm): 7402 6064 364 364 0 7038 0
[pid=7732] vsize: 29608
Current children cumulated CPU time (s) 169.98
Current children cumulated vsize (Kb) 29608

[startup+180.008 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7734
Raw data (/proc/7732/stat): 7732 (pb2sat) R 7731 7732 4060 0 -1 0 9151 0 0 0 17977 21 0 0 25 0 1 0 21478174 30588928 6192 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7732/statm): 7468 6192 364 364 0 7104 0
[pid=7732] vsize: 29872
Current children cumulated CPU time (s) 179.98
Current children cumulated vsize (Kb) 29872

[startup+190.008 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7734
Raw data (/proc/7732/stat): 7732 (pb2sat) R 7731 7732 4060 0 -1 0 9278 0 0 0 18977 21 0 0 25 0 1 0 21478174 30994432 6317 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7732/statm): 7567 6317 364 364 0 7203 0
[pid=7732] vsize: 30268
Current children cumulated CPU time (s) 189.98
Current children cumulated vsize (Kb) 30268

[startup+200.008 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7734
Raw data (/proc/7732/stat): 7732 (pb2sat) R 7731 7732 4060 0 -1 0 9402 0 0 0 19977 21 0 0 25 0 1 0 21478174 31264768 6439 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7732/statm): 7633 6439 364 364 0 7269 0
[pid=7732] vsize: 30532
Current children cumulated CPU time (s) 199.98
Current children cumulated vsize (Kb) 30532

[startup+210.009 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7734
Raw data (/proc/7732/stat): 7732 (pb2sat) R 7731 7732 4060 0 -1 0 9523 0 0 0 20977 22 0 0 25 0 1 0 21478174 31535104 6558 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7732/statm): 7699 6558 364 364 0 7335 0
[pid=7732] vsize: 30796
Current children cumulated CPU time (s) 209.99
Current children cumulated vsize (Kb) 30796

[startup+220.01 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7734
Raw data (/proc/7732/stat): 7732 (pb2sat) R 7731 7732 4060 0 -1 0 9642 0 0 0 21977 22 0 0 25 0 1 0 21478174 31940608 6675 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7732/statm): 7798 6675 364 364 0 7434 0
[pid=7732] vsize: 31192
Current children cumulated CPU time (s) 219.99
Current children cumulated vsize (Kb) 31192

[startup+230.01 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7734
Raw data (/proc/7732/stat): 7732 (pb2sat) R 7731 7732 4060 0 -1 0 9759 0 0 0 22977 22 0 0 25 0 1 0 21478174 32210944 6790 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7732/statm): 7864 6790 364 364 0 7500 0
[pid=7732] vsize: 31456
Current children cumulated CPU time (s) 229.99
Current children cumulated vsize (Kb) 31456

[startup+240.01 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7734
Raw data (/proc/7732/stat): 7732 (pb2sat) R 7731 7732 4060 0 -1 0 9871 0 0 0 23976 23 0 0 25 0 1 0 21478174 32481280 6900 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7732/statm): 7930 6900 364 364 0 7566 0
[pid=7732] vsize: 31720
Current children cumulated CPU time (s) 239.99
Current children cumulated vsize (Kb) 31720

[startup+250.011 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7734
Raw data (/proc/7732/stat): 7732 (pb2sat) R 7731 7732 4060 0 -1 0 9986 0 0 0 24976 23 0 0 25 0 1 0 21478174 32751616 7013 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7732/statm): 7996 7013 364 364 0 7632 0
[pid=7732] vsize: 31984
Current children cumulated CPU time (s) 249.99
Current children cumulated vsize (Kb) 31984

[startup+260.012 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7734
Raw data (/proc/7732/stat): 7732 (pb2sat) R 7731 7732 4060 0 -1 0 10096 0 0 0 25976 23 0 0 25 0 1 0 21478174 33021952 7121 4294967295 134512640 135987407 3221224560 3221221872 134555852 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7732/statm): 8062 7121 364 364 0 7698 0
[pid=7732] vsize: 32248
Current children cumulated CPU time (s) 259.99
Current children cumulated vsize (Kb) 32248

[startup+270.013 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7734
Raw data (/proc/7732/stat): 7732 (pb2sat) R 7731 7732 4060 0 -1 0 10203 0 0 0 26976 23 0 0 25 0 1 0 21478174 33292288 7227 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7732/statm): 8128 7227 364 364 0 7764 0
[pid=7732] vsize: 32512
Current children cumulated CPU time (s) 269.99
Current children cumulated vsize (Kb) 32512

[startup+280.012 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7734
Raw data (/proc/7732/stat): 7732 (pb2sat) R 7731 7732 4060 0 -1 0 10309 0 0 0 27976 23 0 0 25 0 1 0 21478174 33562624 7331 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7732/statm): 8194 7331 364 364 0 7830 0
[pid=7732] vsize: 32776
Current children cumulated CPU time (s) 279.99
Current children cumulated vsize (Kb) 32776

[startup+290.013 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7734
Raw data (/proc/7732/stat): 7732 (pb2sat) R 7731 7732 4060 0 -1 0 10413 0 0 0 28976 24 0 0 25 0 1 0 21478174 33832960 7433 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7732/statm): 8260 7433 364 364 0 7896 0
[pid=7732] vsize: 33040
Current children cumulated CPU time (s) 290
Current children cumulated vsize (Kb) 33040

[startup+300.014 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7734
Raw data (/proc/7732/stat): 7732 (pb2sat) R 7731 7732 4060 0 -1 0 10516 0 0 0 29976 24 0 0 25 0 1 0 21478174 34103296 7535 4294967295 134512640 135987407 3221224560 3221221872 134555868 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7732/statm): 8326 7535 364 364 0 7962 0
[pid=7732] vsize: 33304
Current children cumulated CPU time (s) 300
Current children cumulated vsize (Kb) 33304

[startup+310.013 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7734
Raw data (/proc/7732/stat): 7732 (pb2sat) R 7731 7732 4060 0 -1 0 10616 0 0 0 30976 24 0 0 25 0 1 0 21478174 34373632 7633 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7732/statm): 8392 7633 364 364 0 8028 0
[pid=7732] vsize: 33568
Current children cumulated CPU time (s) 310
Current children cumulated vsize (Kb) 33568

[startup+320.014 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7734
Raw data (/proc/7732/stat): 7732 (pb2sat) R 7731 7732 4060 0 -1 0 10718 0 0 0 31975 25 0 0 25 0 1 0 21478174 34643968 7733 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7732/statm): 8458 7733 364 364 0 8094 0
[pid=7732] vsize: 33832
Current children cumulated CPU time (s) 320
Current children cumulated vsize (Kb) 33832

[startup+330.015 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7734
Raw data (/proc/7732/stat): 7732 (pb2sat) R 7731 7732 4060 0 -1 0 10815 0 0 0 32975 25 0 0 25 0 1 0 21478174 34914304 7829 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7732/statm): 8524 7829 364 364 0 8160 0
[pid=7732] vsize: 34096
Current children cumulated CPU time (s) 330
Current children cumulated vsize (Kb) 34096

[startup+340.014 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7734
Raw data (/proc/7732/stat): 7732 (pb2sat) R 7731 7732 4060 0 -1 0 10912 0 0 0 33975 25 0 0 25 0 1 0 21478174 35184640 7924 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7732/statm): 8590 7924 364 364 0 8226 0
[pid=7732] vsize: 34360
Current children cumulated CPU time (s) 340
Current children cumulated vsize (Kb) 34360

[startup+350.015 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7734
Raw data (/proc/7732/stat): 7732 (pb2sat) R 7731 7732 4060 0 -1 0 11008 0 0 0 34975 25 0 0 25 0 1 0 21478174 35454976 8019 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7732/statm): 8656 8019 364 364 0 8292 0
[pid=7732] vsize: 34624
Current children cumulated CPU time (s) 350
Current children cumulated vsize (Kb) 34624

[startup+360.015 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7734
Raw data (/proc/7732/stat): 7732 (pb2sat) R 7731 7732 4060 0 -1 0 11103 0 0 0 35974 26 0 0 25 0 1 0 21478174 35590144 8112 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7732/statm): 8689 8112 364 364 0 8325 0
[pid=7732] vsize: 34756
Current children cumulated CPU time (s) 360
Current children cumulated vsize (Kb) 34756

[startup+370.015 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7734
Raw data (/proc/7732/stat): 7732 (pb2sat) R 7731 7732 4060 0 -1 0 11194 0 0 0 36974 26 0 0 25 0 1 0 21478174 35860480 8202 4294967295 134512640 135987407 3221224560 3221221872 134555870 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7732/statm): 8755 8202 364 364 0 8391 0
[pid=7732] vsize: 35020
Current children cumulated CPU time (s) 370
Current children cumulated vsize (Kb) 35020

[startup+380.016 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7734
Raw data (/proc/7732/stat): 7732 (pb2sat) R 7731 7732 4060 0 -1 0 11286 0 0 0 37974 26 0 0 25 0 1 0 21478174 36130816 8292 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7732/statm): 8821 8292 364 364 0 8457 0
[pid=7732] vsize: 35284
Current children cumulated CPU time (s) 380
Current children cumulated vsize (Kb) 35284

[startup+390.017 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7734
Raw data (/proc/7732/stat): 7732 (pb2sat) R 7731 7732 4060 0 -1 0 11377 0 0 0 38974 27 0 0 25 0 1 0 21478174 36401152 8382 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7732/statm): 8887 8382 364 364 0 8523 0
[pid=7732] vsize: 35548
Current children cumulated CPU time (s) 390.01
Current children cumulated vsize (Kb) 35548

[startup+400.017 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7734
Raw data (/proc/7732/stat): 7732 (pb2sat) R 7731 7732 4060 0 -1 0 11467 0 0 0 39974 27 0 0 25 0 1 0 21478174 36536320 8470 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7732/statm): 8920 8470 364 364 0 8556 0
[pid=7732] vsize: 35680
Current children cumulated CPU time (s) 400.01
Current children cumulated vsize (Kb) 35680

[startup+410.017 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7734
Raw data (/proc/7732/stat): 7732 (pb2sat) R 7731 7732 4060 0 -1 0 11556 0 0 0 40974 27 0 0 25 0 1 0 21478174 36806656 8558 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7732/statm): 8986 8558 364 364 0 8622 0
[pid=7732] vsize: 35944
Current children cumulated CPU time (s) 410.01
Current children cumulated vsize (Kb) 35944

[startup+420.018 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7734
Raw data (/proc/7732/stat): 7732 (pb2sat) R 7731 7732 4060 0 -1 0 11643 0 0 0 41973 27 0 0 25 0 1 0 21478174 37076992 8643 4294967295 134512640 135987407 3221224560 3221221872 134555863 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7732/statm): 9052 8643 364 364 0 8688 0
[pid=7732] vsize: 36208
Current children cumulated CPU time (s) 420
Current children cumulated vsize (Kb) 36208

[startup+430.017 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7734
Raw data (/proc/7732/stat): 7732 (pb2sat) R 7731 7732 4060 0 -1 0 11729 0 0 0 42973 27 0 0 25 0 1 0 21478174 37212160 8728 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7732/statm): 9085 8728 364 364 0 8721 0
[pid=7732] vsize: 36340
Current children cumulated CPU time (s) 430
Current children cumulated vsize (Kb) 36340

[startup+440.017 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7734
Raw data (/proc/7732/stat): 7732 (pb2sat) R 7731 7732 4060 0 -1 0 11817 0 0 0 43972 28 0 0 25 0 1 0 21478174 37482496 8815 4294967295 134512640 135987407 3221224560 3221221872 134555870 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7732/statm): 9151 8815 364 364 0 8787 0
[pid=7732] vsize: 36604
Current children cumulated CPU time (s) 440
Current children cumulated vsize (Kb) 36604

[startup+450.018 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7734
Raw data (/proc/7732/stat): 7732 (pb2sat) R 7731 7732 4060 0 -1 0 11899 0 0 0 44972 28 0 0 25 0 1 0 21478174 37752832 8895 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7732/statm): 9217 8895 364 364 0 8853 0
[pid=7732] vsize: 36868
Current children cumulated CPU time (s) 450
Current children cumulated vsize (Kb) 36868

[startup+460.018 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7734
Raw data (/proc/7732/stat): 7732 (pb2sat) R 7731 7732 4060 0 -1 0 16469 0 0 0 45963 37 0 0 25 0 1 0 21478174 55775232 10517 4294967295 134512640 135987407 3221224560 3221221360 135477288 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7732/statm): 13617 10517 364 364 0 13253 0
[pid=7732] vsize: 54468
Current children cumulated CPU time (s) 460
Current children cumulated vsize (Kb) 54468

[startup+470.019 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7734
Raw data (/proc/7732/stat): 7732 (pb2sat) R 7731 7732 4060 0 -1 0 16498 0 0 0 46963 37 0 0 25 0 1 0 21478174 55775232 10545 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7732/statm): 13617 10545 364 364 0 13253 0
[pid=7732] vsize: 54468
Current children cumulated CPU time (s) 470
Current children cumulated vsize (Kb) 54468

[startup+480.019 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7734
Raw data (/proc/7732/stat): 7732 (pb2sat) R 7731 7732 4060 0 -1 0 16529 0 0 0 47963 38 0 0 25 0 1 0 21478174 55775232 10574 4294967295 134512640 135987407 3221224560 3221221952 134616558 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7732/statm): 13617 10574 364 364 0 13253 0
[pid=7732] vsize: 54468
Current children cumulated CPU time (s) 480.01
Current children cumulated vsize (Kb) 54468

[startup+490.018 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7734
Raw data (/proc/7732/stat): 7732 (pb2sat) R 7731 7732 4060 0 -1 0 16558 0 0 0 48963 38 0 0 25 0 1 0 21478174 55775232 10602 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7732/statm): 13617 10602 364 364 0 13253 0
[pid=7732] vsize: 54468
Current children cumulated CPU time (s) 490.01
Current children cumulated vsize (Kb) 54468

[startup+500.019 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7734
Raw data (/proc/7732/stat): 7732 (pb2sat) R 7731 7732 4060 0 -1 0 16590 0 0 0 49963 38 0 0 25 0 1 0 21478174 55775232 10633 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7732/statm): 13617 10633 364 364 0 13253 0
[pid=7732] vsize: 54468
Current children cumulated CPU time (s) 500.01
Current children cumulated vsize (Kb) 54468

[startup+510.019 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7734
Raw data (/proc/7732/stat): 7732 (pb2sat) R 7731 7732 4060 0 -1 0 16619 0 0 0 50963 38 0 0 25 0 1 0 21478174 55775232 10660 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7732/statm): 13617 10660 364 364 0 13253 0
[pid=7732] vsize: 54468
Current children cumulated CPU time (s) 510.01
Current children cumulated vsize (Kb) 54468

[startup+520.02 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7734
Raw data (/proc/7732/stat): 7732 (pb2sat) R 7731 7732 4060 0 -1 0 16648 0 0 0 51962 38 0 0 25 0 1 0 21478174 55775232 10688 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7732/statm): 13617 10688 364 364 0 13253 0
[pid=7732] vsize: 54468
Current children cumulated CPU time (s) 520
Current children cumulated vsize (Kb) 54468

[startup+530.02 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7734
Raw data (/proc/7732/stat): 7732 (pb2sat) R 7731 7732 4060 0 -1 0 16705 0 0 0 52962 39 0 0 25 0 1 0 21478174 55910400 10744 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7732/statm): 13650 10744 364 364 0 13286 0
[pid=7732] vsize: 54600
Current children cumulated CPU time (s) 530.01
Current children cumulated vsize (Kb) 54600

[startup+540.019 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7734
Raw data (/proc/7732/stat): 7732 (pb2sat) R 7731 7732 4060 0 -1 0 16772 0 0 0 53962 39 0 0 25 0 1 0 21478174 56045568 10810 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7732/statm): 13683 10810 364 364 0 13319 0
[pid=7732] vsize: 54732
Current children cumulated CPU time (s) 540.01
Current children cumulated vsize (Kb) 54732

[startup+550.02 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7734
Raw data (/proc/7732/stat): 7732 (pb2sat) R 7731 7732 4060 0 -1 0 16838 0 0 0 54962 39 0 0 25 0 1 0 21478174 56180736 10874 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7732/statm): 13716 10874 364 364 0 13352 0
[pid=7732] vsize: 54864
Current children cumulated CPU time (s) 550.01
Current children cumulated vsize (Kb) 54864

[startup+560.021 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7734
Raw data (/proc/7732/stat): 7732 (pb2sat) R 7731 7732 4060 0 -1 0 16905 0 0 0 55962 40 0 0 25 0 1 0 21478174 56315904 10940 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7732/statm): 13749 10940 364 364 0 13385 0
[pid=7732] vsize: 54996
Current children cumulated CPU time (s) 560.02
Current children cumulated vsize (Kb) 54996

[startup+570.021 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7734
Raw data (/proc/7732/stat): 7732 (pb2sat) R 7731 7732 4060 0 -1 0 16970 0 0 0 56962 40 0 0 25 0 1 0 21478174 56451072 11004 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7732/statm): 13782 11004 364 364 0 13418 0
[pid=7732] vsize: 55128
Current children cumulated CPU time (s) 570.02
Current children cumulated vsize (Kb) 55128

[startup+580.021 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7734
Raw data (/proc/7732/stat): 7732 (pb2sat) R 7731 7732 4060 0 -1 0 17033 0 0 0 57962 40 0 0 25 0 1 0 21478174 56586240 11066 4294967295 134512640 135987407 3221224560 3221221872 134555852 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7732/statm): 13815 11066 364 364 0 13451 0
[pid=7732] vsize: 55260
Current children cumulated CPU time (s) 580.02
Current children cumulated vsize (Kb) 55260

[startup+590.021 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7734
Raw data (/proc/7732/stat): 7732 (pb2sat) R 7731 7732 4060 0 -1 0 17098 0 0 0 58962 40 0 0 25 0 1 0 21478174 56856576 11130 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7732/statm): 13881 11130 364 364 0 13517 0
[pid=7732] vsize: 55524
Current children cumulated CPU time (s) 590.02
Current children cumulated vsize (Kb) 55524

[startup+600.021 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7734
Raw data (/proc/7732/stat): 7732 (pb2sat) R 7731 7732 4060 0 -1 0 17162 0 0 0 59961 40 0 0 25 0 1 0 21478174 56991744 11192 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7732/statm): 13914 11192 364 364 0 13550 0
[pid=7732] vsize: 55656
Current children cumulated CPU time (s) 600.01
Current children cumulated vsize (Kb) 55656

[startup+610.021 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7734
Raw data (/proc/7732/stat): 7732 (pb2sat) R 7731 7732 4060 0 -1 0 17227 0 0 0 60961 41 0 0 25 0 1 0 21478174 57126912 11256 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7732/statm): 13947 11256 364 364 0 13583 0
[pid=7732] vsize: 55788
Current children cumulated CPU time (s) 610.02
Current children cumulated vsize (Kb) 55788

[startup+620.022 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7734
Raw data (/proc/7732/stat): 7732 (pb2sat) R 7731 7732 4060 0 -1 0 17289 0 0 0 61961 41 0 0 25 0 1 0 21478174 57262080 11317 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7732/statm): 13980 11317 364 364 0 13616 0
[pid=7732] vsize: 55920
Current children cumulated CPU time (s) 620.02
Current children cumulated vsize (Kb) 55920

[startup+630.022 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7734
Raw data (/proc/7732/stat): 7732 (pb2sat) R 7731 7732 4060 0 -1 0 17353 0 0 0 62961 41 0 0 25 0 1 0 21478174 57397248 11380 4294967295 134512640 135987407 3221224560 3221221872 134555852 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7732/statm): 14013 11380 364 364 0 13649 0
[pid=7732] vsize: 56052
Current children cumulated CPU time (s) 630.02
Current children cumulated vsize (Kb) 56052

[startup+640.022 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7734
Raw data (/proc/7732/stat): 7732 (pb2sat) R 7731 7732 4060 0 -1 0 17416 0 0 0 63961 41 0 0 25 0 1 0 21478174 57532416 11442 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7732/statm): 14046 11442 364 364 0 13682 0
[pid=7732] vsize: 56184
Current children cumulated CPU time (s) 640.02
Current children cumulated vsize (Kb) 56184

[startup+650.023 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7734
Raw data (/proc/7732/stat): 7732 (pb2sat) R 7731 7732 4060 0 -1 0 17477 0 0 0 64961 41 0 0 25 0 1 0 21478174 57667584 11502 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7732/statm): 14079 11502 364 364 0 13715 0
[pid=7732] vsize: 56316
Current children cumulated CPU time (s) 650.02
Current children cumulated vsize (Kb) 56316

[startup+660.023 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7734
Raw data (/proc/7732/stat): 7732 (pb2sat) R 7731 7732 4060 0 -1 0 17540 0 0 0 65961 41 0 0 25 0 1 0 21478174 57802752 11563 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7732/statm): 14112 11563 364 364 0 13748 0
[pid=7732] vsize: 56448
Current children cumulated CPU time (s) 660.02
Current children cumulated vsize (Kb) 56448

[startup+670.024 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7734
Raw data (/proc/7732/stat): 7732 (pb2sat) R 7731 7732 4060 0 -1 0 17598 0 0 0 66961 41 0 0 25 0 1 0 21478174 57937920 11620 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7732/statm): 14145 11620 364 364 0 13781 0
[pid=7732] vsize: 56580
Current children cumulated CPU time (s) 670.02
Current children cumulated vsize (Kb) 56580

[startup+680.024 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7734
Raw data (/proc/7732/stat): 7732 (pb2sat) R 7731 7732 4060 0 -1 0 17660 0 0 0 67961 42 0 0 25 0 1 0 21478174 58073088 11681 4294967295 134512640 135987407 3221224560 3221221952 134615122 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7732/statm): 14178 11681 364 364 0 13814 0
[pid=7732] vsize: 56712
Current children cumulated CPU time (s) 680.03
Current children cumulated vsize (Kb) 56712

[startup+690.023 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7734
Raw data (/proc/7732/stat): 7732 (pb2sat) R 7731 7732 4060 0 -1 0 17719 0 0 0 68961 42 0 0 25 0 1 0 21478174 58208256 11739 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7732/statm): 14211 11739 364 364 0 13847 0
[pid=7732] vsize: 56844
Current children cumulated CPU time (s) 690.03
Current children cumulated vsize (Kb) 56844

[startup+700.024 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7734
Raw data (/proc/7732/stat): 7732 (pb2sat) R 7731 7732 4060 0 -1 0 17780 0 0 0 69961 42 0 0 25 0 1 0 21478174 58343424 11799 4294967295 134512640 135987407 3221224560 3221221872 134555852 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7732/statm): 14244 11799 364 364 0 13880 0
[pid=7732] vsize: 56976
Current children cumulated CPU time (s) 700.03
Current children cumulated vsize (Kb) 56976

[startup+710.024 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7734
Raw data (/proc/7732/stat): 7732 (pb2sat) R 7731 7732 4060 0 -1 0 17838 0 0 0 70960 42 0 0 25 0 1 0 21478174 58478592 11856 4294967295 134512640 135987407 3221224560 3221221872 134555868 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7732/statm): 14277 11856 364 364 0 13913 0
[pid=7732] vsize: 57108
Current children cumulated CPU time (s) 710.02
Current children cumulated vsize (Kb) 57108

[startup+720.024 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7734
Raw data (/proc/7732/stat): 7732 (pb2sat) R 7731 7732 4060 0 -1 0 17898 0 0 0 71960 42 0 0 25 0 1 0 21478174 58613760 11915 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7732/statm): 14310 11915 364 364 0 13946 0
[pid=7732] vsize: 57240
Current children cumulated CPU time (s) 720.02
Current children cumulated vsize (Kb) 57240

[startup+730.025 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7734
Raw data (/proc/7732/stat): 7732 (pb2sat) R 7731 7732 4060 0 -1 0 17957 0 0 0 72960 42 0 0 25 0 1 0 21478174 58748928 11973 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7732/statm): 14343 11973 364 364 0 13979 0
[pid=7732] vsize: 57372
Current children cumulated CPU time (s) 730.02
Current children cumulated vsize (Kb) 57372

[startup+740.024 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7734
Raw data (/proc/7732/stat): 7732 (pb2sat) R 7731 7732 4060 0 -1 0 18025 0 0 0 73960 43 0 0 25 0 1 0 21478174 59019264 12040 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7732/statm): 14409 12040 364 364 0 14045 0
[pid=7732] vsize: 57636
Current children cumulated CPU time (s) 740.03
Current children cumulated vsize (Kb) 57636

[startup+750.025 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7734
Raw data (/proc/7732/stat): 7732 (pb2sat) R 7731 7732 4060 0 -1 0 18090 0 0 0 74960 43 0 0 25 0 1 0 21478174 59154432 12104 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7732/statm): 14442 12104 364 364 0 14078 0
[pid=7732] vsize: 57768
Current children cumulated CPU time (s) 750.03
Current children cumulated vsize (Kb) 57768

[startup+760.026 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7734
Raw data (/proc/7732/stat): 7732 (pb2sat) R 7731 7732 4060 0 -1 0 18158 0 0 0 75960 43 0 0 25 0 1 0 21478174 59289600 12170 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7732/statm): 14475 12170 364 364 0 14111 0
[pid=7732] vsize: 57900
Current children cumulated CPU time (s) 760.03
Current children cumulated vsize (Kb) 57900

[startup+770.026 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7734
Raw data (/proc/7732/stat): 7732 (pb2sat) R 7731 7732 4060 0 -1 0 18223 0 0 0 76960 43 0 0 25 0 1 0 21478174 59559936 12234 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7732/statm): 14541 12234 364 364 0 14177 0
[pid=7732] vsize: 58164
Current children cumulated CPU time (s) 770.03
Current children cumulated vsize (Kb) 58164

[startup+780.026 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7734
Raw data (/proc/7732/stat): 7732 (pb2sat) R 7731 7732 4060 0 -1 0 18288 0 0 0 77959 44 0 0 25 0 1 0 21478174 59695104 12298 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7732/statm): 14574 12298 364 364 0 14210 0
[pid=7732] vsize: 58296
Current children cumulated CPU time (s) 780.03
Current children cumulated vsize (Kb) 58296

[startup+790.026 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7734
Raw data (/proc/7732/stat): 7732 (pb2sat) R 7731 7732 4060 0 -1 0 18352 0 0 0 78959 44 0 0 25 0 1 0 21478174 59830272 12361 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7732/statm): 14607 12361 364 364 0 14243 0
[pid=7732] vsize: 58428
Current children cumulated CPU time (s) 790.03
Current children cumulated vsize (Kb) 58428

[startup+800.026 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7734
Raw data (/proc/7732/stat): 7732 (pb2sat) R 7731 7732 4060 0 -1 0 18415 0 0 0 79959 44 0 0 25 0 1 0 21478174 59965440 12423 4294967295 134512640 135987407 3221224560 3221221872 134555870 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7732/statm): 14640 12423 364 364 0 14276 0
[pid=7732] vsize: 58560
Current children cumulated CPU time (s) 800.03
Current children cumulated vsize (Kb) 58560

[startup+810.027 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7734
Raw data (/proc/7732/stat): 7732 (pb2sat) R 7731 7732 4060 0 -1 0 18481 0 0 0 80959 44 0 0 25 0 1 0 21478174 60100608 12488 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7732/statm): 14673 12488 364 364 0 14309 0
[pid=7732] vsize: 58692
Current children cumulated CPU time (s) 810.03
Current children cumulated vsize (Kb) 58692

[startup+820.028 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7734
Raw data (/proc/7732/stat): 7732 (pb2sat) R 7731 7732 4060 0 -1 0 18543 0 0 0 81959 44 0 0 25 0 1 0 21478174 60370944 12549 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7732/statm): 14739 12549 364 364 0 14375 0
[pid=7732] vsize: 58956
Current children cumulated CPU time (s) 820.03
Current children cumulated vsize (Kb) 58956

[startup+830.028 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7734
Raw data (/proc/7732/stat): 7732 (pb2sat) R 7731 7732 4060 0 -1 0 18605 0 0 0 82959 44 0 0 25 0 1 0 21478174 60506112 12610 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7732/statm): 14772 12610 364 364 0 14408 0
[pid=7732] vsize: 59088
Current children cumulated CPU time (s) 830.03
Current children cumulated vsize (Kb) 59088

[startup+840.028 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7734
Raw data (/proc/7732/stat): 7732 (pb2sat) R 7731 7732 4060 0 -1 0 18669 0 0 0 83959 45 0 0 25 0 1 0 21478174 60641280 12673 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7732/statm): 14805 12673 364 364 0 14441 0
[pid=7732] vsize: 59220
Current children cumulated CPU time (s) 840.04
Current children cumulated vsize (Kb) 59220

[startup+850.029 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7734
Raw data (/proc/7732/stat): 7732 (pb2sat) R 7731 7732 4060 0 -1 0 18731 0 0 0 84958 45 0 0 25 0 1 0 21478174 60776448 12734 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7732/statm): 14838 12734 364 364 0 14474 0
[pid=7732] vsize: 59352
Current children cumulated CPU time (s) 850.03
Current children cumulated vsize (Kb) 59352

[startup+860.028 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7734
Raw data (/proc/7732/stat): 7732 (pb2sat) R 7731 7732 4060 0 -1 0 18793 0 0 0 85958 45 0 0 25 0 1 0 21478174 60911616 12795 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7732/statm): 14871 12795 364 364 0 14507 0
[pid=7732] vsize: 59484
Current children cumulated CPU time (s) 860.03
Current children cumulated vsize (Kb) 59484

[startup+870.03 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7734
Raw data (/proc/7732/stat): 7732 (pb2sat) R 7731 7732 4060 0 -1 0 18855 0 0 0 86958 45 0 0 25 0 1 0 21478174 61181952 12856 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7732/statm): 14937 12856 364 364 0 14573 0
[pid=7732] vsize: 59748
Current children cumulated CPU time (s) 870.03
Current children cumulated vsize (Kb) 59748

[startup+880.03 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7734
Raw data (/proc/7732/stat): 7732 (pb2sat) R 7731 7732 4060 0 -1 0 18915 0 0 0 87958 45 0 0 25 0 1 0 21478174 61317120 12915 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7732/statm): 14970 12915 364 364 0 14606 0
[pid=7732] vsize: 59880
Current children cumulated CPU time (s) 880.03
Current children cumulated vsize (Kb) 59880

[startup+890.029 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7734
Raw data (/proc/7732/stat): 7732 (pb2sat) R 7731 7732 4060 0 -1 0 18977 0 0 0 88958 45 0 0 25 0 1 0 21478174 61452288 12976 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7732/statm): 15003 12976 364 364 0 14639 0
[pid=7732] vsize: 60012
Current children cumulated CPU time (s) 890.03
Current children cumulated vsize (Kb) 60012

[startup+900.03 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7734
Raw data (/proc/7732/stat): 7732 (pb2sat) R 7731 7732 4060 0 -1 0 19039 0 0 0 89958 46 0 0 25 0 1 0 21478174 61587456 13037 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7732/statm): 15036 13037 364 364 0 14672 0
[pid=7732] vsize: 60144
Current children cumulated CPU time (s) 900.04
Current children cumulated vsize (Kb) 60144

[startup+910.029 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7734
Raw data (/proc/7732/stat): 7732 (pb2sat) R 7731 7732 4060 0 -1 0 19098 0 0 0 90958 46 0 0 25 0 1 0 21478174 61722624 13095 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7732/statm): 15069 13095 364 364 0 14705 0
[pid=7732] vsize: 60276
Current children cumulated CPU time (s) 910.04
Current children cumulated vsize (Kb) 60276

[startup+920.03 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7734
Raw data (/proc/7732/stat): 7732 (pb2sat) R 7731 7732 4060 0 -1 0 19157 0 0 0 91957 46 0 0 25 0 1 0 21478174 61857792 13153 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7732/statm): 15102 13153 364 364 0 14738 0
[pid=7732] vsize: 60408
Current children cumulated CPU time (s) 920.03
Current children cumulated vsize (Kb) 60408

[startup+930.031 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7734
Raw data (/proc/7732/stat): 7732 (pb2sat) R 7731 7732 4060 0 -1 0 19217 0 0 0 92958 46 0 0 25 0 1 0 21478174 61992960 13212 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7732/statm): 15135 13212 364 364 0 14771 0
[pid=7732] vsize: 60540
Current children cumulated CPU time (s) 930.04
Current children cumulated vsize (Kb) 60540

[startup+940.031 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7734
Raw data (/proc/7732/stat): 7732 (pb2sat) R 7731 7732 4060 0 -1 0 27437 0 0 0 93934 68 0 0 25 0 1 0 21478174 87552000 19885 4294967295 134512640 135987407 3221224560 3220973632 134878078 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7732/statm): 21375 19885 364 364 0 21011 0
[pid=7732] vsize: 85500
Current children cumulated CPU time (s) 940.02
Current children cumulated vsize (Kb) 85500

[startup+950.032 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7734
Raw data (/proc/7732/stat): 7732 (pb2sat) R 7731 7732 4060 0 -1 0 60471 0 0 0 94854 146 0 0 25 0 1 0 21478174 181432320 37069 4294967295 134512640 135987407 3221224560 3221000456 134865857 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7732/statm): 44295 37069 364 364 0 43931 0
[pid=7732] vsize: 177180
Current children cumulated CPU time (s) 950
Current children cumulated vsize (Kb) 177180

[startup+960.032 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7734
Raw data (/proc/7732/stat): 7732 (pb2sat) R 7731 7732 4060 0 -1 0 88736 0 0 0 95789 209 0 0 25 0 1 0 21478174 261210112 55386 4294967295 134512640 135987407 3221224560 3220852928 134856397 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7732/statm): 63772 55386 364 364 0 63408 0
[pid=7732] vsize: 255088
Current children cumulated CPU time (s) 959.98
Current children cumulated vsize (Kb) 255088

[startup+970.032 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7734
Raw data (/proc/7732/stat): 7732 (pb2sat) R 7731 7732 4060 0 -1 0 115927 0 0 0 96725 273 0 0 25 0 1 0 21478174 352800768 70058 4294967295 134512640 135987407 3221224560 3220873088 134876603 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7732/statm): 86133 70058 364 364 0 85769 0
[pid=7732] vsize: 344532
Current children cumulated CPU time (s) 969.98
Current children cumulated vsize (Kb) 344532

[startup+980.033 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7734
Raw data (/proc/7732/stat): 7732 (pb2sat) R 7731 7732 4060 0 -1 0 157589 0 0 0 97633 361 0 0 25 0 1 0 21478174 478040064 92084 4294967295 134512640 135987407 3221224560 3220970176 134855001 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7732/statm): 116709 92084 364 364 0 116345 0
[pid=7732] vsize: 466836
Current children cumulated CPU time (s) 979.94
Current children cumulated vsize (Kb) 466836

[startup+990.034 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7734
Raw data (/proc/7732/stat): 7732 (pb2sat) R 7731 7732 4060 0 -1 0 196628 0 0 0 98540 454 0 0 25 0 1 0 21478174 583028736 106309 4294967295 134512640 135987407 3221224560 3221097344 134802753 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7732/statm): 142341 106309 364 364 0 141977 0
[pid=7732] vsize: 569364
Current children cumulated CPU time (s) 989.94
Current children cumulated vsize (Kb) 569364

[startup+1000.03 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7734
Raw data (/proc/7732/stat): 7732 (pb2sat) R 7731 7732 4060 0 -1 0 211216 0 0 0 99502 490 0 0 25 0 1 0 21478174 621895680 120663 4294967295 134512640 135987407 3221224560 3220876648 134637921 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7732/statm): 151830 120663 364 364 0 151466 0
[pid=7732] vsize: 607320
Current children cumulated CPU time (s) 999.92
Current children cumulated vsize (Kb) 607320

[startup+1010.03 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7734
Raw data (/proc/7732/stat): 7732 (pb2sat) R 7731 7732 4060 0 -1 0 227676 0 0 0 100461 531 0 0 25 0 1 0 21478174 626491392 136852 4294967295 134512640 135987407 3221224560 3221191428 135479912 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7732/statm): 152952 136852 364 364 0 152588 0
[pid=7732] vsize: 611808
Current children cumulated CPU time (s) 1009.92
Current children cumulated vsize (Kb) 611808

[startup+1020.04 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7734
Raw data (/proc/7732/stat): 7732 (pb2sat) R 7731 7732 4060 0 -1 0 242332 0 0 0 101421 570 0 0 25 0 1 0 21478174 688312320 151299 4294967295 134512640 135987407 3221224560 3221028760 134638985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7732/statm): 168045 151299 364 364 0 167681 0
[pid=7732] vsize: 672180
Current children cumulated CPU time (s) 1019.91
Current children cumulated vsize (Kb) 672180



Mem limit exceeded: sending SIGTERM then SIGKILL

[startup+1020.28 s]
Raw data (loadavg): 0.99 0.97 0.97 1/55 7734
Raw data (/proc/7732/stat): 7732 (pb2sat) T 7731 7732 4060 0 -1 0 242817 0 0 0 101444 571 0 0 25 0 1 0 21478174 973934592 151777 4294967295 134512640 135987407 3221224560 3221109472 135544035 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/7732/statm): 237777 151777 364 364 0 237413 0
[pid=7732] vsize: 951108
Current children cumulated CPU time (s) 1020.15
Current children cumulated vsize (Kb) 951108

Sending SIGTERM to -7732
Sleeping 2 seconds
Sending SIGKILL to -7732
One traced child (pid=7732) ended because it received signal 9 (SIGKILL)
All traced children have exited ! Game is over.

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1022.6
CPU time (s): 1020.72
CPU user time (s): 1014.69
CPU system time (s): 6.03208
CPU usage (%): 99.8167
Max. virtual memory (cumulated for all children) (Kb): 951108

Verifier Data

ERROR: no interpretation found !