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/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-n3702.opb
MD5SUM8a9d9f3204d778657700e0268ec9ac0e
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 155000
Biggest coefficient in the objective function 4294967296
Number of bits for the biggest coefficient in the objective function 33
Sum of the numbers in the objective function 29701186548799
Number of bits of the sum of numbers in the objective function 45
Biggest number in a constraint 4294967296
Number of bits of the biggest number in a constraint 33
Biggest sum of numbers in a constraint 29701186548799
Number of bits of the biggest sum of numbers45
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Number of variables155000
Total number of constraints5150
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 constraints5150
Minimum length of a constraint31
Maximum length of a constraint3000

Trace number 10140

Launcher Data

LAUNCH ON wulflinc18 THE 2005-09-23 17:05:02 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=8884 boxname=wulflinc18 idbench=680 idsolver=8 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  8a9d9f3204d778657700e0268ec9ac0e  /oldhome/oroussel/tmp/wulflinc18/normalized-mps-v2-20-10-n3702.opb
REAL COMMAND:  pb2sat /oldhome/oroussel/tmp/wulflinc18/normalized-mps-v2-20-10-n3702.opb
IDLAUNCH: 8884
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.061
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	: 890.88

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.061
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:        915260 kB
Buffers:         15128 kB
Cached:          84084 kB
SwapCached:          0 kB
Active:          56768 kB
Inactive:        45344 kB
HighTotal:      131008 kB
HighFree:        42616 kB
LowTotal:       903652 kB
LowFree:        872644 kB
SwapTotal:     2097892 kB
SwapFree:      2097892 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6980 kB
Slab:            11600 kB
Committed_AS:    63660 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-09-23 17:17:51 (client local time) WITH STATUS 0 IN 766.158 SECONDS
stats: 8884 7 766.158 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/8074/stat): 8074 (pb2sat) R 8073 8074 4060 0 -1 0 18 0 0 0 0 0 0 0 23 0 1 0 21849614 1527808 2 4294967295 134512640 135987407 3221224560 3221224560 134512928 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8074/statm): 373 2 364 364 0 9 0
[pid=8074] vsize: 1492
open syscall for file /oldhome/oroussel/tmp/wulflinc18/normalized-mps-v2-20-10-n3702.opb

[startup+10.0025 s]
Raw data (loadavg): 0.92 0.94 0.94 2/55 8074
Raw data (/proc/8074/stat): 8074 (pb2sat) R 8073 8074 4060 0 -1 0 2492 0 0 0 992 6 0 0 25 0 1 0 21849614 9367552 1806 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8074/statm): 2287 1806 364 364 0 1923 0
[pid=8074] vsize: 9148
Current children cumulated CPU time (s) 9.98
Current children cumulated vsize (Kb) 9148

[startup+20.0034 s]
Raw data (loadavg): 0.93 0.94 0.94 2/55 8074
Raw data (/proc/8074/stat): 8074 (pb2sat) R 8073 8074 4060 0 -1 0 3006 0 0 0 1991 7 0 0 25 0 1 0 21849614 10719232 2312 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8074/statm): 2617 2312 364 364 0 2253 0
[pid=8074] vsize: 10468
Current children cumulated CPU time (s) 19.98
Current children cumulated vsize (Kb) 10468

[startup+30.0033 s]
Raw data (loadavg): 0.94 0.94 0.94 2/55 8074
Raw data (/proc/8074/stat): 8074 (pb2sat) R 8073 8074 4060 0 -1 0 4378 0 0 0 2986 12 0 0 25 0 1 0 21849614 15630336 2939 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8074/statm): 3816 2939 364 364 0 3452 0
[pid=8074] vsize: 15264
Current children cumulated CPU time (s) 29.98
Current children cumulated vsize (Kb) 15264

[startup+40.0043 s]
Raw data (loadavg): 0.95 0.94 0.94 2/55 8074
Raw data (/proc/8074/stat): 8074 (pb2sat) R 8073 8074 4060 0 -1 0 4646 0 0 0 3985 13 0 0 25 0 1 0 21849614 16306176 3202 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8074/statm): 3981 3202 364 364 0 3617 0
[pid=8074] vsize: 15924
Current children cumulated CPU time (s) 39.98
Current children cumulated vsize (Kb) 15924

[startup+50.0052 s]
Raw data (loadavg): 0.96 0.95 0.94 2/55 8074
Raw data (/proc/8074/stat): 8074 (pb2sat) R 8073 8074 4060 0 -1 0 4897 0 0 0 4984 14 0 0 25 0 1 0 21849614 16982016 3449 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8074/statm): 4146 3449 364 364 0 3782 0
[pid=8074] vsize: 16584
Current children cumulated CPU time (s) 49.98
Current children cumulated vsize (Kb) 16584

[startup+60.0061 s]
Raw data (loadavg): 0.97 0.95 0.94 2/55 8074
Raw data (/proc/8074/stat): 8074 (pb2sat) R 8073 8074 4060 0 -1 0 5126 0 0 0 5983 15 0 0 25 0 1 0 21849614 17522688 3675 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8074/statm): 4278 3675 364 364 0 3914 0
[pid=8074] vsize: 17112
Current children cumulated CPU time (s) 59.98
Current children cumulated vsize (Kb) 17112

[startup+70.007 s]
Raw data (loadavg): 0.97 0.95 0.94 2/55 8076
Raw data (/proc/8074/stat): 8074 (pb2sat) R 8073 8074 4060 0 -1 0 5338 0 0 0 6982 15 0 0 25 0 1 0 21849614 18063360 3883 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8074/statm): 4410 3883 364 364 0 4046 0
[pid=8074] vsize: 17640
Current children cumulated CPU time (s) 69.97
Current children cumulated vsize (Kb) 17640

[startup+80.007 s]
Raw data (loadavg): 0.97 0.95 0.94 2/55 8076
Raw data (/proc/8074/stat): 8074 (pb2sat) R 8073 8074 4060 0 -1 0 5535 0 0 0 7982 16 0 0 25 0 1 0 21849614 18604032 4077 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8074/statm): 4542 4077 364 364 0 4178 0
[pid=8074] vsize: 18168
Current children cumulated CPU time (s) 79.98
Current children cumulated vsize (Kb) 18168

[startup+90.0079 s]
Raw data (loadavg): 0.98 0.95 0.94 2/55 8076
Raw data (/proc/8074/stat): 8074 (pb2sat) R 8073 8074 4060 0 -1 0 5721 0 0 0 8982 16 0 0 25 0 1 0 21849614 19009536 4260 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8074/statm): 4641 4260 364 364 0 4277 0
[pid=8074] vsize: 18564
Current children cumulated CPU time (s) 89.98
Current children cumulated vsize (Kb) 18564

[startup+100.008 s]
Raw data (loadavg): 0.98 0.95 0.94 2/55 8076
Raw data (/proc/8074/stat): 8074 (pb2sat) R 8073 8074 4060 0 -1 0 5894 0 0 0 9981 17 0 0 25 0 1 0 21849614 19550208 4430 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8074/statm): 4773 4430 364 364 0 4409 0
[pid=8074] vsize: 19092
Current children cumulated CPU time (s) 99.98
Current children cumulated vsize (Kb) 19092

[startup+110.009 s]
Raw data (loadavg): 0.98 0.95 0.94 2/55 8076
Raw data (/proc/8074/stat): 8074 (pb2sat) R 8073 8074 4060 0 -1 0 8284 0 0 0 10976 22 0 0 25 0 1 0 21849614 28696576 5343 4294967295 134512640 135987407 3221224560 3221221872 134555868 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8074/statm): 7006 5343 364 364 0 6642 0
[pid=8074] vsize: 28024
Current children cumulated CPU time (s) 109.98
Current children cumulated vsize (Kb) 28024

[startup+120.009 s]
Raw data (loadavg): 0.98 0.95 0.94 2/55 8076
Raw data (/proc/8074/stat): 8074 (pb2sat) R 8073 8074 4060 0 -1 0 8344 0 0 0 11976 22 0 0 25 0 1 0 21849614 28696576 5400 4294967295 134512640 135987407 3221224560 3221221872 134555852 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8074/statm): 7006 5400 364 364 0 6642 0
[pid=8074] vsize: 28024
Current children cumulated CPU time (s) 119.98
Current children cumulated vsize (Kb) 28024

[startup+130.009 s]
Raw data (loadavg): 0.99 0.95 0.94 2/55 8076
Raw data (/proc/8074/stat): 8074 (pb2sat) R 8073 8074 4060 0 -1 0 8439 0 0 0 12975 23 0 0 25 0 1 0 21849614 28966912 5493 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8074/statm): 7072 5493 364 364 0 6708 0
[pid=8074] vsize: 28288
Current children cumulated CPU time (s) 129.98
Current children cumulated vsize (Kb) 28288

[startup+140.01 s]
Raw data (loadavg): 0.99 0.95 0.94 2/55 8076
Raw data (/proc/8074/stat): 8074 (pb2sat) R 8073 8074 4060 0 -1 0 8566 0 0 0 13974 24 0 0 25 0 1 0 21849614 29237248 5617 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8074/statm): 7138 5617 364 364 0 6774 0
[pid=8074] vsize: 28552
Current children cumulated CPU time (s) 139.98
Current children cumulated vsize (Kb) 28552

[startup+150.009 s]
Raw data (loadavg): 0.99 0.95 0.94 2/55 8076
Raw data (/proc/8074/stat): 8074 (pb2sat) R 8073 8074 4060 0 -1 0 8690 0 0 0 14974 24 0 0 25 0 1 0 21849614 29507584 5739 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8074/statm): 7204 5739 364 364 0 6840 0
[pid=8074] vsize: 28816
Current children cumulated CPU time (s) 149.98
Current children cumulated vsize (Kb) 28816

[startup+160.01 s]
Raw data (loadavg): 0.99 0.96 0.94 2/55 8076
Raw data (/proc/8074/stat): 8074 (pb2sat) R 8073 8074 4060 0 -1 0 8810 0 0 0 15974 24 0 0 25 0 1 0 21849614 29777920 5857 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8074/statm): 7270 5857 364 364 0 6906 0
[pid=8074] vsize: 29080
Current children cumulated CPU time (s) 159.98
Current children cumulated vsize (Kb) 29080

[startup+170.011 s]
Raw data (loadavg): 0.99 0.96 0.94 2/55 8076
Raw data (/proc/8074/stat): 8074 (pb2sat) R 8073 8074 4060 0 -1 0 8927 0 0 0 16974 25 0 0 25 0 1 0 21849614 30048256 5972 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8074/statm): 7336 5972 364 364 0 6972 0
[pid=8074] vsize: 29344
Current children cumulated CPU time (s) 169.99
Current children cumulated vsize (Kb) 29344

[startup+180.011 s]
Raw data (loadavg): 0.99 0.96 0.94 2/55 8076
Raw data (/proc/8074/stat): 8074 (pb2sat) R 8073 8074 4060 0 -1 0 9044 0 0 0 17973 25 0 0 25 0 1 0 21849614 30318592 6086 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8074/statm): 7402 6086 364 364 0 7038 0
[pid=8074] vsize: 29608
Current children cumulated CPU time (s) 179.98
Current children cumulated vsize (Kb) 29608

[startup+190.012 s]
Raw data (loadavg): 0.99 0.96 0.94 2/55 8076
Raw data (/proc/8074/stat): 8074 (pb2sat) R 8073 8074 4060 0 -1 0 9171 0 0 0 18972 26 0 0 25 0 1 0 21849614 30724096 6211 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8074/statm): 7501 6211 364 364 0 7137 0
[pid=8074] vsize: 30004
Current children cumulated CPU time (s) 189.98
Current children cumulated vsize (Kb) 30004

[startup+200.013 s]
Raw data (loadavg): 0.99 0.96 0.94 2/55 8076
Raw data (/proc/8074/stat): 8074 (pb2sat) R 8073 8074 4060 0 -1 0 9294 0 0 0 19972 26 0 0 25 0 1 0 21849614 30994432 6332 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8074/statm): 7567 6332 364 364 0 7203 0
[pid=8074] vsize: 30268
Current children cumulated CPU time (s) 199.98
Current children cumulated vsize (Kb) 30268

[startup+210.014 s]
Raw data (loadavg): 0.99 0.96 0.94 2/55 8076
Raw data (/proc/8074/stat): 8074 (pb2sat) R 8073 8074 4060 0 -1 0 9414 0 0 0 20972 26 0 0 25 0 1 0 21849614 31264768 6450 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8074/statm): 7633 6450 364 364 0 7269 0
[pid=8074] vsize: 30532
Current children cumulated CPU time (s) 209.98
Current children cumulated vsize (Kb) 30532

[startup+220.014 s]
Raw data (loadavg): 0.99 0.96 0.94 2/55 8076
Raw data (/proc/8074/stat): 8074 (pb2sat) R 8073 8074 4060 0 -1 0 9530 0 0 0 21972 27 0 0 25 0 1 0 21849614 31670272 6565 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8074/statm): 7732 6565 364 364 0 7368 0
[pid=8074] vsize: 30928
Current children cumulated CPU time (s) 219.99
Current children cumulated vsize (Kb) 30928

[startup+230.014 s]
Raw data (loadavg): 0.99 0.96 0.94 2/55 8076
Raw data (/proc/8074/stat): 8074 (pb2sat) R 8073 8074 4060 0 -1 0 9646 0 0 0 22972 27 0 0 25 0 1 0 21849614 31940608 6679 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8074/statm): 7798 6679 364 364 0 7434 0
[pid=8074] vsize: 31192
Current children cumulated CPU time (s) 229.99
Current children cumulated vsize (Kb) 31192

[startup+240.015 s]
Raw data (loadavg): 0.99 0.96 0.94 2/55 8076
Raw data (/proc/8074/stat): 8074 (pb2sat) R 8073 8074 4060 0 -1 0 9758 0 0 0 23971 27 0 0 25 0 1 0 21849614 32210944 6789 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8074/statm): 7864 6789 364 364 0 7500 0
[pid=8074] vsize: 31456
Current children cumulated CPU time (s) 239.98
Current children cumulated vsize (Kb) 31456

[startup+250.016 s]
Raw data (loadavg): 0.99 0.96 0.94 2/55 8076
Raw data (/proc/8074/stat): 8074 (pb2sat) R 8073 8074 4060 0 -1 0 9868 0 0 0 24971 28 0 0 25 0 1 0 21849614 32481280 6897 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8074/statm): 7930 6897 364 364 0 7566 0
[pid=8074] vsize: 31720
Current children cumulated CPU time (s) 249.99
Current children cumulated vsize (Kb) 31720

[startup+260.018 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 8076
Raw data (/proc/8074/stat): 8074 (pb2sat) R 8073 8074 4060 0 -1 0 9977 0 0 0 25970 29 0 0 25 0 1 0 21849614 32751616 7004 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8074/statm): 7996 7004 364 364 0 7632 0
[pid=8074] vsize: 31984
Current children cumulated CPU time (s) 259.99
Current children cumulated vsize (Kb) 31984

[startup+270.019 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 8076
Raw data (/proc/8074/stat): 8074 (pb2sat) R 8073 8074 4060 0 -1 0 10083 0 0 0 26970 29 0 0 25 0 1 0 21849614 33021952 7109 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8074/statm): 8062 7109 364 364 0 7698 0
[pid=8074] vsize: 32248
Current children cumulated CPU time (s) 269.99
Current children cumulated vsize (Kb) 32248

[startup+280.019 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 8076
Raw data (/proc/8074/stat): 8074 (pb2sat) R 8073 8074 4060 0 -1 0 10188 0 0 0 27970 29 0 0 25 0 1 0 21849614 33292288 7212 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8074/statm): 8128 7212 364 364 0 7764 0
[pid=8074] vsize: 32512
Current children cumulated CPU time (s) 279.99
Current children cumulated vsize (Kb) 32512

[startup+290.019 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 8076
Raw data (/proc/8074/stat): 8074 (pb2sat) R 8073 8074 4060 0 -1 0 10291 0 0 0 28969 29 0 0 25 0 1 0 21849614 33562624 7313 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8074/statm): 8194 7313 364 364 0 7830 0
[pid=8074] vsize: 32776
Current children cumulated CPU time (s) 289.98
Current children cumulated vsize (Kb) 32776

[startup+300.019 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 8076
Raw data (/proc/8074/stat): 8074 (pb2sat) R 8073 8074 4060 0 -1 0 10392 0 0 0 29969 30 0 0 25 0 1 0 21849614 33832960 7413 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8074/statm): 8260 7413 364 364 0 7896 0
[pid=8074] vsize: 33040
Current children cumulated CPU time (s) 299.99
Current children cumulated vsize (Kb) 33040

[startup+310.02 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 8076
Raw data (/proc/8074/stat): 8074 (pb2sat) R 8073 8074 4060 0 -1 0 10491 0 0 0 30969 30 0 0 25 0 1 0 21849614 34103296 7510 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8074/statm): 8326 7510 364 364 0 7962 0
[pid=8074] vsize: 33304
Current children cumulated CPU time (s) 309.99
Current children cumulated vsize (Kb) 33304

[startup+320.021 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 8076
Raw data (/proc/8074/stat): 8074 (pb2sat) R 8073 8074 4060 0 -1 0 10591 0 0 0 31968 31 0 0 25 0 1 0 21849614 34373632 7608 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8074/statm): 8392 7608 364 364 0 8028 0
[pid=8074] vsize: 33568
Current children cumulated CPU time (s) 319.99
Current children cumulated vsize (Kb) 33568

[startup+330.021 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 8076
Raw data (/proc/8074/stat): 8074 (pb2sat) R 8073 8074 4060 0 -1 0 10686 0 0 0 32968 31 0 0 25 0 1 0 21849614 34643968 7702 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8074/statm): 8458 7702 364 364 0 8094 0
[pid=8074] vsize: 33832
Current children cumulated CPU time (s) 329.99
Current children cumulated vsize (Kb) 33832

[startup+340.022 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 8076
Raw data (/proc/8074/stat): 8074 (pb2sat) R 8073 8074 4060 0 -1 0 10782 0 0 0 33967 32 0 0 25 0 1 0 21849614 34779136 7796 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8074/statm): 8491 7796 364 364 0 8127 0
[pid=8074] vsize: 33964
Current children cumulated CPU time (s) 339.99
Current children cumulated vsize (Kb) 33964

[startup+350.023 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 8076
Raw data (/proc/8074/stat): 8074 (pb2sat) R 8073 8074 4060 0 -1 0 10876 0 0 0 34967 32 0 0 25 0 1 0 21849614 35049472 7889 4294967295 134512640 135987407 3221224560 3221221872 134555852 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8074/statm): 8557 7889 364 364 0 8193 0
[pid=8074] vsize: 34228
Current children cumulated CPU time (s) 349.99
Current children cumulated vsize (Kb) 34228

[startup+360.024 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 8076
Raw data (/proc/8074/stat): 8074 (pb2sat) R 8073 8074 4060 0 -1 0 10969 0 0 0 35967 32 0 0 25 0 1 0 21849614 35319808 7980 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8074/statm): 8623 7980 364 364 0 8259 0
[pid=8074] vsize: 34492
Current children cumulated CPU time (s) 359.99
Current children cumulated vsize (Kb) 34492

[startup+370.025 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 8076
Raw data (/proc/8074/stat): 8074 (pb2sat) R 8073 8074 4060 0 -1 0 11061 0 0 0 36967 33 0 0 25 0 1 0 21849614 35590144 8071 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8074/statm): 8689 8071 364 364 0 8325 0
[pid=8074] vsize: 34756
Current children cumulated CPU time (s) 370
Current children cumulated vsize (Kb) 34756

[startup+380.026 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 8076
Raw data (/proc/8074/stat): 8074 (pb2sat) R 8073 8074 4060 0 -1 0 11151 0 0 0 37966 33 0 0 25 0 1 0 21849614 35725312 8159 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8074/statm): 8722 8159 364 364 0 8358 0
[pid=8074] vsize: 34888
Current children cumulated CPU time (s) 379.99
Current children cumulated vsize (Kb) 34888

[startup+390.027 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 8076
Raw data (/proc/8074/stat): 8074 (pb2sat) R 8073 8074 4060 0 -1 0 11241 0 0 0 38966 33 0 0 25 0 1 0 21849614 35995648 8248 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8074/statm): 8788 8248 364 364 0 8424 0
[pid=8074] vsize: 35152
Current children cumulated CPU time (s) 389.99
Current children cumulated vsize (Kb) 35152

[startup+400.027 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 8076
Raw data (/proc/8074/stat): 8074 (pb2sat) R 8073 8074 4060 0 -1 0 11328 0 0 0 39966 34 0 0 25 0 1 0 21849614 36265984 8334 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8074/statm): 8854 8334 364 364 0 8490 0
[pid=8074] vsize: 35416
Current children cumulated CPU time (s) 400
Current children cumulated vsize (Kb) 35416

[startup+410.028 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 8076
Raw data (/proc/8074/stat): 8074 (pb2sat) R 8073 8074 4060 0 -1 0 11415 0 0 0 40966 34 0 0 25 0 1 0 21849614 36401152 8419 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8074/statm): 8887 8419 364 364 0 8523 0
[pid=8074] vsize: 35548
Current children cumulated CPU time (s) 410
Current children cumulated vsize (Kb) 35548

[startup+420.029 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 8076
Raw data (/proc/8074/stat): 8074 (pb2sat) R 8073 8074 4060 0 -1 0 11501 0 0 0 41966 34 0 0 25 0 1 0 21849614 36671488 8504 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8074/statm): 8953 8504 364 364 0 8589 0
[pid=8074] vsize: 35812
Current children cumulated CPU time (s) 420
Current children cumulated vsize (Kb) 35812

[startup+430.028 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 8076
Raw data (/proc/8074/stat): 8074 (pb2sat) R 8073 8074 4060 0 -1 0 11587 0 0 0 42965 34 0 0 25 0 1 0 21849614 36941824 8588 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8074/statm): 9019 8588 364 364 0 8655 0
[pid=8074] vsize: 36076
Current children cumulated CPU time (s) 429.99
Current children cumulated vsize (Kb) 36076

[startup+440.029 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 8076
Raw data (/proc/8074/stat): 8074 (pb2sat) R 8073 8074 4060 0 -1 0 11672 0 0 0 43965 35 0 0 25 0 1 0 21849614 37076992 8672 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8074/statm): 9052 8672 364 364 0 8688 0
[pid=8074] vsize: 36208
Current children cumulated CPU time (s) 440
Current children cumulated vsize (Kb) 36208

[startup+450.03 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 8076
Raw data (/proc/8074/stat): 8074 (pb2sat) R 8073 8074 4060 0 -1 0 11755 0 0 0 44965 35 0 0 25 0 1 0 21849614 37347328 8754 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8074/statm): 9118 8754 364 364 0 8754 0
[pid=8074] vsize: 36472
Current children cumulated CPU time (s) 450
Current children cumulated vsize (Kb) 36472

[startup+460.031 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 8076
Raw data (/proc/8074/stat): 8074 (pb2sat) R 8073 8074 4060 0 -1 0 11837 0 0 0 45965 35 0 0 25 0 1 0 21849614 37482496 8834 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8074/statm): 9151 8834 364 364 0 8787 0
[pid=8074] vsize: 36604
Current children cumulated CPU time (s) 460
Current children cumulated vsize (Kb) 36604

[startup+470.032 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 8076
Raw data (/proc/8074/stat): 8074 (pb2sat) R 8073 8074 4060 0 -1 0 11920 0 0 0 46965 35 0 0 25 0 1 0 21849614 37752832 8916 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8074/statm): 9217 8916 364 364 0 8853 0
[pid=8074] vsize: 36868
Current children cumulated CPU time (s) 470
Current children cumulated vsize (Kb) 36868

[startup+480.032 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 8076
Raw data (/proc/8074/stat): 8074 (pb2sat) R 8073 8074 4060 0 -1 0 16474 0 0 0 47954 45 0 0 25 0 1 0 21849614 55775232 10522 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8074/statm): 13617 10522 364 364 0 13253 0
[pid=8074] vsize: 54468
Current children cumulated CPU time (s) 479.99
Current children cumulated vsize (Kb) 54468

[startup+490.033 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 8076
Raw data (/proc/8074/stat): 8074 (pb2sat) R 8073 8074 4060 0 -1 0 16504 0 0 0 48954 45 0 0 25 0 1 0 21849614 55775232 10550 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8074/statm): 13617 10550 364 364 0 13253 0
[pid=8074] vsize: 54468
Current children cumulated CPU time (s) 489.99
Current children cumulated vsize (Kb) 54468

[startup+500.034 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 8076
Raw data (/proc/8074/stat): 8074 (pb2sat) R 8073 8074 4060 0 -1 0 16533 0 0 0 49954 46 0 0 25 0 1 0 21849614 55775232 10578 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8074/statm): 13617 10578 364 364 0 13253 0
[pid=8074] vsize: 54468
Current children cumulated CPU time (s) 500
Current children cumulated vsize (Kb) 54468

[startup+510.034 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 8076
Raw data (/proc/8074/stat): 8074 (pb2sat) R 8073 8074 4060 0 -1 0 16562 0 0 0 50954 46 0 0 25 0 1 0 21849614 55775232 10606 4294967295 134512640 135987407 3221224560 3221221872 134555852 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8074/statm): 13617 10606 364 364 0 13253 0
[pid=8074] vsize: 54468
Current children cumulated CPU time (s) 510
Current children cumulated vsize (Kb) 54468

[startup+520.035 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 8076
Raw data (/proc/8074/stat): 8074 (pb2sat) R 8073 8074 4060 0 -1 0 16591 0 0 0 51954 46 0 0 25 0 1 0 21849614 55775232 10634 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8074/statm): 13617 10634 364 364 0 13253 0
[pid=8074] vsize: 54468
Current children cumulated CPU time (s) 520
Current children cumulated vsize (Kb) 54468

[startup+530.035 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 8076
Raw data (/proc/8074/stat): 8074 (pb2sat) R 8073 8074 4060 0 -1 0 16620 0 0 0 52953 47 0 0 25 0 1 0 21849614 55775232 10661 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8074/statm): 13617 10661 364 364 0 13253 0
[pid=8074] vsize: 54468
Current children cumulated CPU time (s) 530
Current children cumulated vsize (Kb) 54468

[startup+540.036 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 8076
Raw data (/proc/8074/stat): 8074 (pb2sat) R 8073 8074 4060 0 -1 0 16648 0 0 0 53953 47 0 0 25 0 1 0 21849614 55775232 10688 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8074/statm): 13617 10688 364 364 0 13253 0
[pid=8074] vsize: 54468
Current children cumulated CPU time (s) 540
Current children cumulated vsize (Kb) 54468

[startup+550.037 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 8076
Raw data (/proc/8074/stat): 8074 (pb2sat) R 8073 8074 4060 0 -1 0 16702 0 0 0 54953 47 0 0 25 0 1 0 21849614 55910400 10741 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8074/statm): 13650 10741 364 364 0 13286 0
[pid=8074] vsize: 54600
Current children cumulated CPU time (s) 550
Current children cumulated vsize (Kb) 54600

[startup+560.037 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 8076
Raw data (/proc/8074/stat): 8074 (pb2sat) R 8073 8074 4060 0 -1 0 16766 0 0 0 55953 47 0 0 25 0 1 0 21849614 56045568 10804 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8074/statm): 13683 10804 364 364 0 13319 0
[pid=8074] vsize: 54732
Current children cumulated CPU time (s) 560
Current children cumulated vsize (Kb) 54732

[startup+570.037 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 8076
Raw data (/proc/8074/stat): 8074 (pb2sat) R 8073 8074 4060 0 -1 0 16831 0 0 0 56953 47 0 0 25 0 1 0 21849614 56180736 10868 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8074/statm): 13716 10868 364 364 0 13352 0
[pid=8074] vsize: 54864
Current children cumulated CPU time (s) 570
Current children cumulated vsize (Kb) 54864

[startup+580.038 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 8076
Raw data (/proc/8074/stat): 8074 (pb2sat) R 8073 8074 4060 0 -1 0 16896 0 0 0 57953 48 0 0 25 0 1 0 21849614 56315904 10931 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8074/statm): 13749 10931 364 364 0 13385 0
[pid=8074] vsize: 54996
Current children cumulated CPU time (s) 580.01
Current children cumulated vsize (Kb) 54996

[startup+590.039 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 8076
Raw data (/proc/8074/stat): 8074 (pb2sat) R 8073 8074 4060 0 -1 0 16960 0 0 0 58953 48 0 0 25 0 1 0 21849614 56451072 10994 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8074/statm): 13782 10994 364 364 0 13418 0
[pid=8074] vsize: 55128
Current children cumulated CPU time (s) 590.01
Current children cumulated vsize (Kb) 55128

[startup+600.039 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 8076
Raw data (/proc/8074/stat): 8074 (pb2sat) R 8073 8074 4060 0 -1 0 17024 0 0 0 59953 48 0 0 25 0 1 0 21849614 56586240 11057 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8074/statm): 13815 11057 364 364 0 13451 0
[pid=8074] vsize: 55260
Current children cumulated CPU time (s) 600.01
Current children cumulated vsize (Kb) 55260

[startup+610.04 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 8076
Raw data (/proc/8074/stat): 8074 (pb2sat) R 8073 8074 4060 0 -1 0 17086 0 0 0 60952 48 0 0 25 0 1 0 21849614 56721408 11118 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8074/statm): 13848 11118 364 364 0 13484 0
[pid=8074] vsize: 55392
Current children cumulated CPU time (s) 610
Current children cumulated vsize (Kb) 55392

[startup+620.041 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 8076
Raw data (/proc/8074/stat): 8074 (pb2sat) R 8073 8074 4060 0 -1 0 17149 0 0 0 61952 49 0 0 25 0 1 0 21849614 56856576 11180 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8074/statm): 13881 11180 364 364 0 13517 0
[pid=8074] vsize: 55524
Current children cumulated CPU time (s) 620.01
Current children cumulated vsize (Kb) 55524

[startup+630.041 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 8076
Raw data (/proc/8074/stat): 8074 (pb2sat) R 8073 8074 4060 0 -1 0 17210 0 0 0 62952 49 0 0 25 0 1 0 21849614 56991744 11240 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8074/statm): 13914 11240 364 364 0 13550 0
[pid=8074] vsize: 55656
Current children cumulated CPU time (s) 630.01
Current children cumulated vsize (Kb) 55656

[startup+640.042 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 8076
Raw data (/proc/8074/stat): 8074 (pb2sat) R 8073 8074 4060 0 -1 0 17271 0 0 0 63952 49 0 0 25 0 1 0 21849614 57126912 11299 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8074/statm): 13947 11299 364 364 0 13583 0
[pid=8074] vsize: 55788
Current children cumulated CPU time (s) 640.01
Current children cumulated vsize (Kb) 55788

[startup+650.043 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 8076
Raw data (/proc/8074/stat): 8074 (pb2sat) R 8073 8074 4060 0 -1 0 17332 0 0 0 64951 50 0 0 25 0 1 0 21849614 57397248 11359 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8074/statm): 14013 11359 364 364 0 13649 0
[pid=8074] vsize: 56052
Current children cumulated CPU time (s) 650.01
Current children cumulated vsize (Kb) 56052

[startup+660.043 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 8076
Raw data (/proc/8074/stat): 8074 (pb2sat) R 8073 8074 4060 0 -1 0 17391 0 0 0 65951 50 0 0 25 0 1 0 21849614 57532416 11417 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8074/statm): 14046 11417 364 364 0 13682 0
[pid=8074] vsize: 56184
Current children cumulated CPU time (s) 660.01
Current children cumulated vsize (Kb) 56184

[startup+670.044 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 8076
Raw data (/proc/8074/stat): 8074 (pb2sat) R 8073 8074 4060 0 -1 0 17451 0 0 0 66951 50 0 0 25 0 1 0 21849614 57667584 11476 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8074/statm): 14079 11476 364 364 0 13715 0
[pid=8074] vsize: 56316
Current children cumulated CPU time (s) 670.01
Current children cumulated vsize (Kb) 56316

[startup+680.045 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 8076
Raw data (/proc/8074/stat): 8074 (pb2sat) R 8073 8074 4060 0 -1 0 31915 0 0 0 67915 84 0 0 25 0 1 0 21849614 101629952 22807 4294967295 134512640 135987407 3221224560 3220446752 134878716 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8074/statm): 24812 22807 364 364 0 24448 0
[pid=8074] vsize: 99248
Current children cumulated CPU time (s) 679.99
Current children cumulated vsize (Kb) 99248

[startup+690.046 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 8076
Raw data (/proc/8074/stat): 8074 (pb2sat) R 8073 8074 4060 0 -1 0 62730 0 0 0 68843 155 0 0 25 0 1 0 21849614 204640256 39336 4294967295 134512640 135987407 3221224560 3220507324 134636959 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8074/statm): 49961 39336 364 364 0 49597 0
[pid=8074] vsize: 199844
Current children cumulated CPU time (s) 689.98
Current children cumulated vsize (Kb) 199844

[startup+700.046 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 8076
Raw data (/proc/8074/stat): 8074 (pb2sat) R 8073 8074 4060 0 -1 0 90150 0 0 0 69785 211 0 0 25 0 1 0 21849614 266719232 56818 4294967295 134512640 135987407 3221224560 3220561376 134558255 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8074/statm): 65117 56818 364 364 0 64753 0
[pid=8074] vsize: 260468
Current children cumulated CPU time (s) 699.96
Current children cumulated vsize (Kb) 260468

[startup+710.045 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 8076
Raw data (/proc/8074/stat): 8074 (pb2sat) R 8073 8074 4060 0 -1 0 116264 0 0 0 70730 265 0 0 25 0 1 0 21849614 356958208 70428 4294967295 134512640 135987407 3221224560 3220601680 134878011 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8074/statm): 87148 70428 364 364 0 86784 0
[pid=8074] vsize: 348592
Current children cumulated CPU time (s) 709.95
Current children cumulated vsize (Kb) 348592

[startup+720.046 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 8076
Raw data (/proc/8074/stat): 8074 (pb2sat) R 8073 8074 4060 0 -1 0 157229 0 0 0 71646 345 0 0 25 0 1 0 21849614 484360192 91778 4294967295 134512640 135987407 3221224560 3220551948 134677714 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8074/statm): 118252 91778 364 364 0 117888 0
[pid=8074] vsize: 473008
Current children cumulated CPU time (s) 719.91
Current children cumulated vsize (Kb) 473008

[startup+730.047 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 8076
Raw data (/proc/8074/stat): 8074 (pb2sat) R 8073 8074 4060 0 -1 0 194673 0 0 0 72562 429 0 0 25 0 1 0 21849614 588943360 104434 4294967295 134512640 135987407 3221224560 3220244236 134669203 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8074/statm): 143785 104434 364 364 0 143421 0
[pid=8074] vsize: 575140
Current children cumulated CPU time (s) 729.91
Current children cumulated vsize (Kb) 575140

[startup+740.048 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 8076
Raw data (/proc/8074/stat): 8074 (pb2sat) R 8073 8074 4060 0 -1 0 208162 0 0 0 73532 458 0 0 25 0 1 0 21849614 626552832 117705 4294967295 134512640 135987407 3221224560 3220338928 134878060 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8074/statm): 152967 117705 364 364 0 152603 0
[pid=8074] vsize: 611868
Current children cumulated CPU time (s) 739.9
Current children cumulated vsize (Kb) 611868

[startup+750.049 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 8076
Raw data (/proc/8074/stat): 8074 (pb2sat) R 8073 8074 4060 0 -1 0 223034 0 0 0 74495 495 0 0 25 0 1 0 21849614 629796864 132328 4294967295 134512640 135987407 3221224560 3220388912 134856690 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8074/statm): 153759 132328 364 364 0 153395 0
[pid=8074] vsize: 615036
Current children cumulated CPU time (s) 749.9
Current children cumulated vsize (Kb) 615036

[startup+760.049 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 8076
Raw data (/proc/8074/stat): 8074 (pb2sat) R 8073 8074 4060 0 -1 0 235721 0 0 0 75464 526 0 0 25 0 1 0 21849614 684453888 144811 4294967295 134512640 135987407 3221224560 3220443328 134877726 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8074/statm): 167103 144811 364 364 0 166739 0
[pid=8074] vsize: 668412
Current children cumulated CPU time (s) 759.9
Current children cumulated vsize (Kb) 668412



Mem limit exceeded: sending SIGTERM then SIGKILL

[startup+765.79 s]
Raw data (loadavg): 0.99 0.97 0.94 1/55 8076
Raw data (/proc/8074/stat): 8074 (pb2sat) T 8073 8074 4060 0 -1 0 245301 0 0 0 76014 548 0 0 25 0 1 0 21849614 978997248 154261 4294967295 134512640 135987407 3221224560 3220268128 135544035 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/8074/statm): 239013 154261 364 364 0 238649 0
[pid=8074] vsize: 956052
Current children cumulated CPU time (s) 765.62
Current children cumulated vsize (Kb) 956052

Sending SIGTERM to -8074
Sleeping 2 seconds
Sending SIGKILL to -8074
One traced child (pid=8074) 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): 768.112
CPU time (s): 766.158
CPU user time (s): 760.354
CPU system time (s): 5.80312
CPU usage (%): 99.7456
Max. virtual memory (cumulated for all children) (Kb): 956052

Verifier Data

ERROR: no interpretation found !