Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided in four parts:
  1. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provide some useful information on the computer.
  2. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser !
  3. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to 1200 seconds. After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to 1230 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (900Mb).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  4. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.

General information on the benchmark

Namemps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-danoint.opb
MD5SUM32dd768e34cdc0e1cb04afadbe97060d
Bench Categoryoptimization, medium integers (OPTMEDINT)
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 20
Biggest coefficient in the objective function 524288
Number of bits for the biggest coefficient in the objective function 20
Sum of the numbers in the objective function 1048575
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 13107200
Number of bits of the biggest number in a constraint 24
Biggest sum of numbers in a constraint 52829966
Number of bits of the biggest sum of numbers26
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Number of variables9304
Total number of constraints728
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)72
Number of constraints which are nor clauses,nor cardinality constraints656
Minimum length of a constraint1
Maximum length of a constraint1000

Trace number 10449

Launcher Data

LAUNCH ON wulflinc17 THE 2005-09-23 18:04:34 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=9151 boxname=wulflinc17 idbench=947 idsolver=8 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  32dd768e34cdc0e1cb04afadbe97060d  /oldhome/oroussel/tmp/wulflinc17/normalized-mps-v2-13-7-danoint.opb
REAL COMMAND:  pb2sat /oldhome/oroussel/tmp/wulflinc17/normalized-mps-v2-13-7-danoint.opb
IDLAUNCH: 9151
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.161
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.161
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:        928600 kB
Buffers:         16480 kB
Cached:          71104 kB
SwapCached:          0 kB
Active:          44772 kB
Inactive:        45700 kB
HighTotal:      131008 kB
HighFree:        55636 kB
LowTotal:       903652 kB
LowFree:        872964 kB
SwapTotal:     2097892 kB
SwapFree:      2097892 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6980 kB
Slab:            10024 kB
Committed_AS:    63660 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-09-23 18:24:46 (client local time) WITH STATUS 0 IN 1210.64 SECONDS
stats: 9151 7 1210.64 0

Solver Data

c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...
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/9875/stat): 9875 (pb2sat) R 9874 9875 4060 0 -1 0 18 0 0 0 0 0 0 0 24 0 1 0 22207549 1527808 2 4294967295 134512640 135987407 3221224560 3221224560 134512928 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/9875/statm): 373 2 364 364 0 9 0
[pid=9875] vsize: 1492
open syscall for file /oldhome/oroussel/tmp/wulflinc17/normalized-mps-v2-13-7-danoint.opb

[startup+10.0012 s]
Raw data (loadavg): 0.92 0.98 0.94 2/55 9875
Raw data (/proc/9875/stat): 9875 (pb2sat) R 9874 9875 4060 0 -1 0 29059 0 0 0 926 70 0 0 25 0 1 0 22207549 80175104 17881 4294967295 134512640 135987407 3221224560 3221221988 135479957 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9875/statm): 19574 17881 364 364 0 19210 0
[pid=9875] vsize: 78296
Current children cumulated CPU time (s) 9.96
Current children cumulated vsize (Kb) 78296

[startup+20.0019 s]
Raw data (loadavg): 0.94 0.98 0.94 2/55 9875
Raw data (/proc/9875/stat): 9875 (pb2sat) R 9874 9875 4060 0 -1 0 58415 0 0 0 1854 139 0 0 25 0 1 0 22207549 163004416 35989 4294967295 134512640 135987407 3221224560 3221135520 134856652 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9875/statm): 39796 35989 364 364 0 39432 0
[pid=9875] vsize: 159184
Current children cumulated CPU time (s) 19.93
Current children cumulated vsize (Kb) 159184

[startup+30.0025 s]
Raw data (loadavg): 0.95 0.98 0.94 2/55 9875
Raw data (/proc/9875/stat): 9875 (pb2sat) R 9874 9875 4060 0 -1 0 97666 0 0 0 2773 219 0 0 25 0 1 0 22207549 312348672 53035 4294967295 134512640 135987407 3221224560 3220998100 134856651 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9875/statm): 76257 53035 364 364 0 75893 0
[pid=9875] vsize: 305028
Current children cumulated CPU time (s) 29.92
Current children cumulated vsize (Kb) 305028

[startup+40.0031 s]
Raw data (loadavg): 0.95 0.98 0.94 2/55 9875
Raw data (/proc/9875/stat): 9875 (pb2sat) R 9874 9875 4060 0 -1 0 114135 0 0 0 3735 256 0 0 25 0 1 0 22207549 316809216 69233 4294967295 134512640 135987407 3221224560 3221033408 134878675 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9875/statm): 77346 69233 364 364 0 76982 0
[pid=9875] vsize: 309384
Current children cumulated CPU time (s) 39.91
Current children cumulated vsize (Kb) 309384

[startup+50.0037 s]
Raw data (loadavg): 0.96 0.98 0.94 2/55 9875
Raw data (/proc/9875/stat): 9875 (pb2sat) R 9874 9875 4060 0 -1 0 178819 0 0 0 4595 391 0 0 25 0 1 0 22207549 546226176 89747 4294967295 134512640 135987407 3221224560 3220942816 134537439 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9875/statm): 133356 89747 364 364 0 132992 0
[pid=9875] vsize: 533424
Current children cumulated CPU time (s) 49.86
Current children cumulated vsize (Kb) 533424

[startup+60.0033 s]
Raw data (loadavg): 0.97 0.98 0.94 2/55 9875
Raw data (/proc/9875/stat): 9875 (pb2sat) R 9874 9875 4060 0 -1 0 193000 0 0 0 5558 429 0 0 25 0 1 0 22207549 583159808 103690 4294967295 134512640 135987407 3221224560 3221222032 134608990 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9875/statm): 142373 103690 364 364 0 142009 0
[pid=9875] vsize: 569492
Current children cumulated CPU time (s) 59.87
Current children cumulated vsize (Kb) 569492

[startup+70.0039 s]
Raw data (loadavg): 0.97 0.98 0.94 2/55 9875
Raw data (/proc/9875/stat): 9875 (pb2sat) R 9874 9875 4060 0 -1 0 212495 0 0 0 6509 477 0 0 25 0 1 0 22207549 600752128 122913 4294967295 134512640 135987407 3221224560 3221223376 134789452 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9875/statm): 146668 122913 364 364 0 146304 0
[pid=9875] vsize: 586672
Current children cumulated CPU time (s) 69.86
Current children cumulated vsize (Kb) 586672

[startup+80.0045 s]
Raw data (loadavg): 0.97 0.98 0.94 2/55 9875
Raw data (/proc/9875/stat): 9875 (pb2sat) R 9874 9875 4060 0 -1 0 221421 0 0 0 7485 498 0 0 25 0 1 0 22207549 620470272 127270 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9875/statm): 151482 127270 364 364 0 151118 0
[pid=9875] vsize: 605928
Current children cumulated CPU time (s) 79.83
Current children cumulated vsize (Kb) 605928

[startup+90.0051 s]
Raw data (loadavg): 0.98 0.98 0.94 2/55 9877
Raw data (/proc/9875/stat): 9875 (pb2sat) R 9874 9875 4060 0 -1 0 225687 0 0 0 8471 508 0 0 25 0 1 0 22207549 632299520 129526 4294967295 134512640 135987407 3221224560 3221223248 134812038 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9875/statm): 154370 129526 364 364 0 154006 0
[pid=9875] vsize: 617480
Current children cumulated CPU time (s) 89.79
Current children cumulated vsize (Kb) 617480

[startup+100.005 s]
Raw data (loadavg): 0.98 0.98 0.94 2/55 9877
Raw data (/proc/9875/stat): 9875 (pb2sat) R 9874 9875 4060 0 -1 0 229329 0 0 0 9458 517 0 0 25 0 1 0 22207549 642928640 131470 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9875/statm): 156965 131470 364 364 0 156601 0
[pid=9875] vsize: 627860
Current children cumulated CPU time (s) 99.75
Current children cumulated vsize (Kb) 627860

[startup+110.004 s]
Raw data (loadavg): 0.98 0.98 0.94 2/55 9877
Raw data (/proc/9875/stat): 9875 (pb2sat) R 9874 9875 4060 0 -1 0 232663 0 0 0 10449 524 0 0 25 0 1 0 22207549 652435456 132973 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9875/statm): 159286 132973 364 364 0 158922 0
[pid=9875] vsize: 637144
Current children cumulated CPU time (s) 109.73
Current children cumulated vsize (Kb) 637144

[startup+120.005 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 9877
Raw data (/proc/9875/stat): 9875 (pb2sat) R 9874 9875 4060 0 -1 0 234698 0 0 0 11443 529 0 0 25 0 1 0 22207549 657690624 133864 4294967295 134512640 135987407 3221224560 3221223376 134824259 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9875/statm): 160569 133864 364 364 0 160205 0
[pid=9875] vsize: 642276
Current children cumulated CPU time (s) 119.72
Current children cumulated vsize (Kb) 642276

[startup+130.004 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 9877
Raw data (/proc/9875/stat): 9875 (pb2sat) R 9874 9875 4060 0 -1 0 237976 0 0 0 12434 537 0 0 25 0 1 0 22207549 666615808 135532 4294967295 134512640 135987407 3221224560 3221223248 134811959 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9875/statm): 162748 135532 364 364 0 162384 0
[pid=9875] vsize: 650992
Current children cumulated CPU time (s) 129.71
Current children cumulated vsize (Kb) 650992

[startup+140.005 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 9877
Raw data (/proc/9875/stat): 9875 (pb2sat) R 9874 9875 4060 0 -1 0 240135 0 0 0 13428 541 0 0 25 0 1 0 22207549 672759808 136595 4294967295 134512640 135987407 3221224560 3221223424 134812696 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9875/statm): 164248 136595 364 364 0 163884 0
[pid=9875] vsize: 656992
Current children cumulated CPU time (s) 139.69
Current children cumulated vsize (Kb) 656992

[startup+150.006 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 9877
Raw data (/proc/9875/stat): 9875 (pb2sat) R 9874 9875 4060 0 -1 0 242950 0 0 0 14421 547 0 0 25 0 1 0 22207549 680275968 137999 4294967295 134512640 135987407 3221224560 3221223376 134824720 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9875/statm): 166083 137999 364 364 0 165719 0
[pid=9875] vsize: 664332
Current children cumulated CPU time (s) 149.68
Current children cumulated vsize (Kb) 664332

[startup+160.005 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 9877
Raw data (/proc/9875/stat): 9875 (pb2sat) R 9874 9875 4060 0 -1 0 244121 0 0 0 15418 549 0 0 25 0 1 0 22207549 683044864 138683 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9875/statm): 166759 138683 364 364 0 166395 0
[pid=9875] vsize: 667036
Current children cumulated CPU time (s) 159.67
Current children cumulated vsize (Kb) 667036

[startup+170.006 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 9877
Raw data (/proc/9875/stat): 9875 (pb2sat) R 9874 9875 4060 0 -1 0 245853 0 0 0 16411 554 0 0 25 0 1 0 22207549 687869952 139598 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9875/statm): 167937 139598 364 364 0 167573 0
[pid=9875] vsize: 671748
Current children cumulated CPU time (s) 169.65
Current children cumulated vsize (Kb) 671748

[startup+180.006 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 9877
Raw data (/proc/9875/stat): 9875 (pb2sat) R 9874 9875 4060 0 -1 0 246982 0 0 0 17406 557 0 0 25 0 1 0 22207549 691019776 139986 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9875/statm): 168706 139986 364 364 0 168342 0
[pid=9875] vsize: 674824
Current children cumulated CPU time (s) 179.63
Current children cumulated vsize (Kb) 674824

[startup+190.007 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 9877
Raw data (/proc/9875/stat): 9875 (pb2sat) R 9874 9875 4060 0 -1 0 247333 0 0 0 18405 558 0 0 25 0 1 0 22207549 691806208 140143 4294967295 134512640 135987407 3221224560 3221223424 134812647 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9875/statm): 168898 140143 364 364 0 168534 0
[pid=9875] vsize: 675592
Current children cumulated CPU time (s) 189.63
Current children cumulated vsize (Kb) 675592

[startup+200.007 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 9877
Raw data (/proc/9875/stat): 9875 (pb2sat) R 9874 9875 4060 0 -1 0 248746 0 0 0 19399 563 0 0 25 0 1 0 22207549 695619584 140746 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9875/statm): 169829 140746 364 364 0 169465 0
[pid=9875] vsize: 679316
Current children cumulated CPU time (s) 199.62
Current children cumulated vsize (Kb) 679316

[startup+210.006 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 9877
Raw data (/proc/9875/stat): 9875 (pb2sat) R 9874 9875 4060 0 -1 0 250153 0 0 0 20394 566 0 0 25 0 1 0 22207549 699920384 141566 4294967295 134512640 135987407 3221224560 3221223424 134812647 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9875/statm): 170879 141566 364 364 0 170515 0
[pid=9875] vsize: 683516
Current children cumulated CPU time (s) 209.6
Current children cumulated vsize (Kb) 683516

[startup+220.007 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 9877
Raw data (/proc/9875/stat): 9875 (pb2sat) R 9874 9875 4060 0 -1 0 251020 0 0 0 21390 568 0 0 25 0 1 0 22207549 702676992 141790 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9875/statm): 171552 141790 364 364 0 171188 0
[pid=9875] vsize: 686208
Current children cumulated CPU time (s) 219.58
Current children cumulated vsize (Kb) 686208

[startup+230.006 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 9877
Raw data (/proc/9875/stat): 9875 (pb2sat) R 9874 9875 4060 0 -1 0 251749 0 0 0 22386 570 0 0 25 0 1 0 22207549 704397312 142226 4294967295 134512640 135987407 3221224560 3221223248 134811885 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9875/statm): 171972 142226 364 364 0 171608 0
[pid=9875] vsize: 687888
Current children cumulated CPU time (s) 229.56
Current children cumulated vsize (Kb) 687888

[startup+240.007 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 9877
Raw data (/proc/9875/stat): 9875 (pb2sat) R 9874 9875 4060 0 -1 0 252510 0 0 0 23383 572 0 0 25 0 1 0 22207549 706232320 142535 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9875/statm): 172420 142535 364 364 0 172056 0
[pid=9875] vsize: 689680
Current children cumulated CPU time (s) 239.55
Current children cumulated vsize (Kb) 689680

[startup+250.008 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 9877
Raw data (/proc/9875/stat): 9875 (pb2sat) R 9874 9875 4060 0 -1 0 252869 0 0 0 24382 573 0 0 25 0 1 0 22207549 707284992 142700 4294967295 134512640 135987407 3221224560 3221223248 134811765 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9875/statm): 172677 142700 364 364 0 172313 0
[pid=9875] vsize: 690708
Current children cumulated CPU time (s) 249.55
Current children cumulated vsize (Kb) 690708

[startup+260.007 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 9877
Raw data (/proc/9875/stat): 9875 (pb2sat) R 9874 9875 4060 0 -1 0 253175 0 0 0 25381 573 0 0 25 0 1 0 22207549 707809280 142877 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9875/statm): 172805 142877 364 364 0 172441 0
[pid=9875] vsize: 691220
Current children cumulated CPU time (s) 259.54
Current children cumulated vsize (Kb) 691220

[startup+270.007 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 9877
Raw data (/proc/9875/stat): 9875 (pb2sat) R 9874 9875 4060 0 -1 0 253817 0 0 0 26378 575 0 0 25 0 1 0 22207549 709386240 143196 4294967295 134512640 135987407 3221224560 3221223312 134801217 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9875/statm): 173190 143196 364 364 0 172826 0
[pid=9875] vsize: 692760
Current children cumulated CPU time (s) 269.53
Current children cumulated vsize (Kb) 692760

[startup+280.006 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 9877
Raw data (/proc/9875/stat): 9875 (pb2sat) R 9874 9875 4060 0 -1 0 255114 0 0 0 27375 577 0 0 25 0 1 0 22207549 712806400 143844 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9875/statm): 174025 143844 364 364 0 173661 0
[pid=9875] vsize: 696100
Current children cumulated CPU time (s) 279.52
Current children cumulated vsize (Kb) 696100

[startup+290.007 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 9877
Raw data (/proc/9875/stat): 9875 (pb2sat) R 9874 9875 4060 0 -1 0 256078 0 0 0 28373 579 0 0 25 0 1 0 22207549 715436032 144291 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9875/statm): 174667 144291 364 364 0 174303 0
[pid=9875] vsize: 698668
Current children cumulated CPU time (s) 289.52
Current children cumulated vsize (Kb) 698668

[startup+300.008 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 9877
Raw data (/proc/9875/stat): 9875 (pb2sat) R 9874 9875 4060 0 -1 0 257395 0 0 0 29369 582 0 0 25 0 1 0 22207549 718979072 144801 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9875/statm): 175532 144801 364 364 0 175168 0
[pid=9875] vsize: 702128
Current children cumulated CPU time (s) 299.51
Current children cumulated vsize (Kb) 702128

[startup+310.007 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 9877
Raw data (/proc/9875/stat): 9875 (pb2sat) R 9874 9875 4060 0 -1 0 259035 0 0 0 30364 585 0 0 25 0 1 0 22207549 722649088 145535 4294967295 134512640 135987407 3221224560 3221223424 134812647 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9875/statm): 176428 145535 364 364 0 176064 0
[pid=9875] vsize: 705712
Current children cumulated CPU time (s) 309.49
Current children cumulated vsize (Kb) 705712

[startup+320.008 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 9877
Raw data (/proc/9875/stat): 9875 (pb2sat) R 9874 9875 4060 0 -1 0 259741 0 0 0 31361 587 0 0 25 0 1 0 22207549 724226048 145919 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9875/statm): 176813 145919 364 364 0 176449 0
[pid=9875] vsize: 707252
Current children cumulated CPU time (s) 319.48
Current children cumulated vsize (Kb) 707252

[startup+330.007 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 9877
Raw data (/proc/9875/stat): 9875 (pb2sat) R 9874 9875 4060 0 -1 0 261006 0 0 0 32356 590 0 0 25 0 1 0 22207549 727642112 146474 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9875/statm): 177647 146474 364 364 0 177283 0
[pid=9875] vsize: 710588
Current children cumulated CPU time (s) 329.46
Current children cumulated vsize (Kb) 710588

[startup+340.008 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 9877
Raw data (/proc/9875/stat): 9875 (pb2sat) R 9874 9875 4060 0 -1 0 263534 0 0 0 33351 595 0 0 25 0 1 0 22207549 735797248 147841 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9875/statm): 179638 147841 364 364 0 179274 0
[pid=9875] vsize: 718552
Current children cumulated CPU time (s) 339.46
Current children cumulated vsize (Kb) 718552

[startup+350.009 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 9877
Raw data (/proc/9875/stat): 9875 (pb2sat) R 9874 9875 4060 0 -1 0 263872 0 0 0 34349 596 0 0 25 0 1 0 22207549 737378304 148050 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9875/statm): 180024 148050 364 364 0 179660 0
[pid=9875] vsize: 720096
Current children cumulated CPU time (s) 349.45
Current children cumulated vsize (Kb) 720096

[startup+360.008 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 9877
Raw data (/proc/9875/stat): 9875 (pb2sat) R 9874 9875 4060 0 -1 0 266386 0 0 0 35340 603 0 0 25 0 1 0 22207549 744337408 149046 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9875/statm): 181723 149046 364 364 0 181359 0
[pid=9875] vsize: 726892
Current children cumulated CPU time (s) 359.43
Current children cumulated vsize (Kb) 726892

[startup+370.008 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 9877
Raw data (/proc/9875/stat): 9875 (pb2sat) R 9874 9875 4060 0 -1 0 266496 0 0 0 36337 604 0 0 25 0 1 0 22207549 744603648 149156 4294967295 134512640 135987407 3221224560 3221223248 134811855 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9875/statm): 181788 149156 364 364 0 181424 0
[pid=9875] vsize: 727152
Current children cumulated CPU time (s) 369.41
Current children cumulated vsize (Kb) 727152

[startup+380.007 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 9877
Raw data (/proc/9875/stat): 9875 (pb2sat) R 9874 9875 4060 0 -1 0 267685 0 0 0 37334 607 0 0 25 0 1 0 22207549 747753472 149633 4294967295 134512640 135987407 3221224560 3221223020 135481128 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9875/statm): 182557 149633 364 364 0 182193 0
[pid=9875] vsize: 730228
Current children cumulated CPU time (s) 379.41
Current children cumulated vsize (Kb) 730228

[startup+390.008 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 9877
Raw data (/proc/9875/stat): 9875 (pb2sat) R 9874 9875 4060 0 -1 0 268388 0 0 0 38331 609 0 0 25 0 1 0 22207549 749723648 149915 4294967295 134512640 135987407 3221224560 3221223248 134811765 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9875/statm): 183038 149915 364 364 0 182674 0
[pid=9875] vsize: 732152
Current children cumulated CPU time (s) 389.4
Current children cumulated vsize (Kb) 732152

[startup+400.008 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 9877
Raw data (/proc/9875/stat): 9875 (pb2sat) R 9874 9875 4060 0 -1 0 268927 0 0 0 39325 612 0 0 25 0 1 0 22207549 751034368 150132 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9875/statm): 183358 150132 364 364 0 182994 0
[pid=9875] vsize: 733432
Current children cumulated CPU time (s) 399.37
Current children cumulated vsize (Kb) 733432

[startup+410.007 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 9877
Raw data (/proc/9875/stat): 9875 (pb2sat) R 9874 9875 4060 0 -1 0 269121 0 0 0 40324 613 0 0 25 0 1 0 22207549 751558656 150197 4294967295 134512640 135987407 3221224560 3221223424 134812696 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9875/statm): 183486 150197 364 364 0 183122 0
[pid=9875] vsize: 733944
Current children cumulated CPU time (s) 409.37
Current children cumulated vsize (Kb) 733944

[startup+420.008 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 9877
Raw data (/proc/9875/stat): 9875 (pb2sat) R 9874 9875 4060 0 -1 0 269123 0 0 0 41322 614 0 0 25 0 1 0 22207549 751558656 150199 4294967295 134512640 135987407 3221224560 3221223408 134790069 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9875/statm): 183486 150199 364 364 0 183122 0
[pid=9875] vsize: 733944
Current children cumulated CPU time (s) 419.36
Current children cumulated vsize (Kb) 733944

[startup+430.007 s]
Raw data (loadavg): 0.99 0.98 0.94 1/55 9877
Raw data (/proc/9875/stat): 9875 (pb2sat) T 9874 9875 4060 0 -1 0 269553 0 0 0 42318 616 0 0 25 0 1 0 22207549 752611328 150402 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/9875/statm): 183743 150402 364 364 0 183379 0
[pid=9875] vsize: 734972
Current children cumulated CPU time (s) 429.34
Current children cumulated vsize (Kb) 734972

[startup+440.008 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 9877
Raw data (/proc/9875/stat): 9875 (pb2sat) R 9874 9875 4060 0 -1 0 270484 0 0 0 43312 619 0 0 25 0 1 0 22207549 755167232 150753 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9875/statm): 184367 150753 364 364 0 184003 0
[pid=9875] vsize: 737468
Current children cumulated CPU time (s) 439.31
Current children cumulated vsize (Kb) 737468

[startup+450.009 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 9877
Raw data (/proc/9875/stat): 9875 (pb2sat) R 9874 9875 4060 0 -1 0 271171 0 0 0 44308 622 0 0 25 0 1 0 22207549 757137408 151019 4294967295 134512640 135987407 3221224560 3221223248 134812056 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9875/statm): 184848 151019 364 364 0 184484 0
[pid=9875] vsize: 739392
Current children cumulated CPU time (s) 449.3
Current children cumulated vsize (Kb) 739392

[startup+460.008 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 9877
Raw data (/proc/9875/stat): 9875 (pb2sat) R 9874 9875 4060 0 -1 0 271757 0 0 0 45305 624 0 0 25 0 1 0 22207549 758448128 151282 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9875/statm): 185168 151282 364 364 0 184804 0
[pid=9875] vsize: 740672
Current children cumulated CPU time (s) 459.29
Current children cumulated vsize (Kb) 740672

[startup+470.008 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 9877
Raw data (/proc/9875/stat): 9875 (pb2sat) R 9874 9875 4060 0 -1 0 271946 0 0 0 46304 625 0 0 25 0 1 0 22207549 758972416 151342 4294967295 134512640 135987407 3221224560 3221223248 134811995 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9875/statm): 185296 151342 364 364 0 184932 0
[pid=9875] vsize: 741184
Current children cumulated CPU time (s) 469.29
Current children cumulated vsize (Kb) 741184

[startup+480.007 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 9877
Raw data (/proc/9875/stat): 9875 (pb2sat) R 9874 9875 4060 0 -1 0 272547 0 0 0 47302 626 0 0 25 0 1 0 22207549 760946688 151620 4294967295 134512640 135987407 3221224560 3221223376 134824717 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9875/statm): 185778 151620 364 364 0 185414 0
[pid=9875] vsize: 743112
Current children cumulated CPU time (s) 479.28
Current children cumulated vsize (Kb) 743112

[startup+490.008 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 9877
Raw data (/proc/9875/stat): 9875 (pb2sat) R 9874 9875 4060 0 -1 0 273632 0 0 0 48298 629 0 0 25 0 1 0 22207549 763838464 152123 4294967295 134512640 135987407 3221224560 3221223344 134812406 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9875/statm): 186484 152123 364 364 0 186120 0
[pid=9875] vsize: 745936
Current children cumulated CPU time (s) 489.27
Current children cumulated vsize (Kb) 745936

[startup+500.008 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 9877
Raw data (/proc/9875/stat): 9875 (pb2sat) R 9874 9875 4060 0 -1 0 274289 0 0 0 49295 630 0 0 25 0 1 0 22207549 765947904 152456 4294967295 134512640 135987407 3221224560 3221223248 134811816 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9875/statm): 186999 152456 364 364 0 186635 0
[pid=9875] vsize: 747996
Current children cumulated CPU time (s) 499.25
Current children cumulated vsize (Kb) 747996

[startup+510.007 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 9877
Raw data (/proc/9875/stat): 9875 (pb2sat) R 9874 9875 4060 0 -1 0 274763 0 0 0 50292 632 0 0 25 0 1 0 22207549 767127552 152703 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9875/statm): 187287 152703 364 364 0 186923 0
[pid=9875] vsize: 749148
Current children cumulated CPU time (s) 509.24
Current children cumulated vsize (Kb) 749148

[startup+520.008 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 9877
Raw data (/proc/9875/stat): 9875 (pb2sat) R 9874 9875 4060 0 -1 0 274943 0 0 0 51291 633 0 0 25 0 1 0 22207549 767651840 152754 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9875/statm): 187415 152754 364 364 0 187051 0
[pid=9875] vsize: 749660
Current children cumulated CPU time (s) 519.24
Current children cumulated vsize (Kb) 749660

[startup+530.008 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 9877
Raw data (/proc/9875/stat): 9875 (pb2sat) R 9874 9875 4060 0 -1 0 274967 0 0 0 52289 634 0 0 25 0 1 0 22207549 767651840 152778 4294967295 134512640 135987407 3221224560 3221223376 134824259 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9875/statm): 187415 152778 364 364 0 187051 0
[pid=9875] vsize: 749660
Current children cumulated CPU time (s) 529.23
Current children cumulated vsize (Kb) 749660

[startup+540.008 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 9877
Raw data (/proc/9875/stat): 9875 (pb2sat) R 9874 9875 4060 0 -1 0 275368 0 0 0 53285 636 0 0 25 0 1 0 22207549 768704512 152985 4294967295 134512640 135987407 3221224560 3221223248 134811959 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9875/statm): 187672 152985 364 364 0 187308 0
[pid=9875] vsize: 750688
Current children cumulated CPU time (s) 539.21
Current children cumulated vsize (Kb) 750688

[startup+550.009 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 9877
Raw data (/proc/9875/stat): 9875 (pb2sat) R 9874 9875 4060 0 -1 0 275407 0 0 0 54282 637 0 0 25 0 1 0 22207549 768704512 153024 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9875/statm): 187672 153024 364 364 0 187308 0
[pid=9875] vsize: 750688
Current children cumulated CPU time (s) 549.19
Current children cumulated vsize (Kb) 750688

[startup+560.008 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 9877
Raw data (/proc/9875/stat): 9875 (pb2sat) R 9874 9875 4060 0 -1 0 275592 0 0 0 55281 638 0 0 25 0 1 0 22207549 769228800 153080 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9875/statm): 187800 153080 364 364 0 187436 0
[pid=9875] vsize: 751200
Current children cumulated CPU time (s) 559.19
Current children cumulated vsize (Kb) 751200

[startup+570.008 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 9877
Raw data (/proc/9875/stat): 9875 (pb2sat) R 9874 9875 4060 0 -1 0 275902 0 0 0 56279 638 0 0 25 0 1 0 22207549 769753088 153261 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9875/statm): 187928 153261 364 364 0 187564 0
[pid=9875] vsize: 751712
Current children cumulated CPU time (s) 569.17
Current children cumulated vsize (Kb) 751712

[startup+580.008 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 9877
Raw data (/proc/9875/stat): 9875 (pb2sat) R 9874 9875 4060 0 -1 0 276190 0 0 0 57277 640 0 0 25 0 1 0 22207549 770277376 153420 4294967295 134512640 135987407 3221224560 3221223248 134811765 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9875/statm): 188056 153420 364 364 0 187692 0
[pid=9875] vsize: 752224
Current children cumulated CPU time (s) 579.17
Current children cumulated vsize (Kb) 752224

[startup+590.008 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 9877
Raw data (/proc/9875/stat): 9875 (pb2sat) R 9874 9875 4060 0 -1 0 276684 0 0 0 58273 641 0 0 25 0 1 0 22207549 771850240 153528 4294967295 134512640 135987407 3221224560 3221223120 134788457 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9875/statm): 188440 153528 364 364 0 188076 0
[pid=9875] vsize: 753760
Current children cumulated CPU time (s) 589.14
Current children cumulated vsize (Kb) 753760

[startup+600.009 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 9877
Raw data (/proc/9875/stat): 9875 (pb2sat) R 9874 9875 4060 0 -1 0 276707 0 0 0 59271 642 0 0 25 0 1 0 22207549 771850240 153551 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9875/statm): 188440 153551 364 364 0 188076 0
[pid=9875] vsize: 753760
Current children cumulated CPU time (s) 599.13
Current children cumulated vsize (Kb) 753760

[startup+610.008 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 9877
Raw data (/proc/9875/stat): 9875 (pb2sat) R 9874 9875 4060 0 -1 0 277165 0 0 0 60268 643 0 0 25 0 1 0 22207549 772898816 153751 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9875/statm): 188696 153751 364 364 0 188332 0
[pid=9875] vsize: 754784
Current children cumulated CPU time (s) 609.11
Current children cumulated vsize (Kb) 754784

[startup+620.009 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 9877
Raw data (/proc/9875/stat): 9875 (pb2sat) R 9874 9875 4060 0 -1 0 277170 0 0 0 61266 644 0 0 25 0 1 0 22207549 772898816 153756 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9875/statm): 188696 153756 364 364 0 188332 0
[pid=9875] vsize: 754784
Current children cumulated CPU time (s) 619.1
Current children cumulated vsize (Kb) 754784

[startup+630.009 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 9877
Raw data (/proc/9875/stat): 9875 (pb2sat) R 9874 9875 4060 0 -1 0 277572 0 0 0 62264 645 0 0 25 0 1 0 22207549 773947392 153901 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9875/statm): 188952 153901 364 364 0 188588 0
[pid=9875] vsize: 755808
Current children cumulated CPU time (s) 629.09
Current children cumulated vsize (Kb) 755808

[startup+640.009 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 9877
Raw data (/proc/9875/stat): 9875 (pb2sat) R 9874 9875 4060 0 -1 0 278626 0 0 0 63259 649 0 0 25 0 1 0 22207549 776843264 154438 4294967295 134512640 135987407 3221224560 3221223404 134812764 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9875/statm): 189659 154438 364 364 0 189295 0
[pid=9875] vsize: 758636
Current children cumulated CPU time (s) 639.08
Current children cumulated vsize (Kb) 758636

[startup+650.01 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 9877
Raw data (/proc/9875/stat): 9875 (pb2sat) R 9874 9875 4060 0 -1 0 279132 0 0 0 64257 651 0 0 25 0 1 0 22207549 778969088 154879 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9875/statm): 190178 154879 364 364 0 189814 0
[pid=9875] vsize: 760712
Current children cumulated CPU time (s) 649.08
Current children cumulated vsize (Kb) 760712

[startup+660.009 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 9877
Raw data (/proc/9875/stat): 9875 (pb2sat) R 9874 9875 4060 0 -1 0 279136 0 0 0 65255 651 0 0 25 0 1 0 22207549 778969088 154883 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9875/statm): 190178 154883 364 364 0 189814 0
[pid=9875] vsize: 760712
Current children cumulated CPU time (s) 659.06
Current children cumulated vsize (Kb) 760712

[startup+670.009 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 9877
Raw data (/proc/9875/stat): 9875 (pb2sat) R 9874 9875 4060 0 -1 0 279136 0 0 0 66253 652 0 0 25 0 1 0 22207549 778969088 154883 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9875/statm): 190178 154883 364 364 0 189814 0
[pid=9875] vsize: 760712
Current children cumulated CPU time (s) 669.05
Current children cumulated vsize (Kb) 760712

[startup+680.009 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 9877
Raw data (/proc/9875/stat): 9875 (pb2sat) R 9874 9875 4060 0 -1 0 279386 0 0 0 67252 653 0 0 25 0 1 0 22207549 779493376 155004 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9875/statm): 190306 155004 364 364 0 189942 0
[pid=9875] vsize: 761224
Current children cumulated CPU time (s) 679.05
Current children cumulated vsize (Kb) 761224

[startup+690.009 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 9877
Raw data (/proc/9875/stat): 9875 (pb2sat) R 9874 9875 4060 0 -1 0 279642 0 0 0 68249 654 0 0 25 0 1 0 22207549 780017664 155131 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9875/statm): 190434 155131 364 364 0 190070 0
[pid=9875] vsize: 761736
Current children cumulated CPU time (s) 689.03
Current children cumulated vsize (Kb) 761736

[startup+700.009 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 9877
Raw data (/proc/9875/stat): 9875 (pb2sat) R 9874 9875 4060 0 -1 0 279642 0 0 0 69248 654 0 0 25 0 1 0 22207549 780017664 155131 4294967295 134512640 135987407 3221224560 3221223248 134811790 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9875/statm): 190434 155131 364 364 0 190070 0
[pid=9875] vsize: 761736
Current children cumulated CPU time (s) 699.02
Current children cumulated vsize (Kb) 761736

[startup+710.008 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 9877
Raw data (/proc/9875/stat): 9875 (pb2sat) R 9874 9875 4060 0 -1 0 279826 0 0 0 70245 655 0 0 25 0 1 0 22207549 781074432 155315 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9875/statm): 190692 155315 364 364 0 190328 0
[pid=9875] vsize: 762768
Current children cumulated CPU time (s) 709
Current children cumulated vsize (Kb) 762768

[startup+720.009 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 9877
Raw data (/proc/9875/stat): 9875 (pb2sat) R 9874 9875 4060 0 -1 0 280338 0 0 0 71242 657 0 0 25 0 1 0 22207549 782123008 155570 4294967295 134512640 135987407 3221224560 3221223424 134812647 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9875/statm): 190948 155570 364 364 0 190584 0
[pid=9875] vsize: 763792
Current children cumulated CPU time (s) 718.99
Current children cumulated vsize (Kb) 763792

[startup+730.009 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 9877
Raw data (/proc/9875/stat): 9875 (pb2sat) R 9874 9875 4060 0 -1 0 280352 0 0 0 72240 658 0 0 25 0 1 0 22207549 782123008 155584 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9875/statm): 190948 155584 364 364 0 190584 0
[pid=9875] vsize: 763792
Current children cumulated CPU time (s) 728.98
Current children cumulated vsize (Kb) 763792

[startup+740.009 s]
Raw data (loadavg): 0.99 0.98 0.94 1/55 9877
Raw data (/proc/9875/stat): 9875 (pb2sat) T 9874 9875 4060 0 -1 0 280700 0 0 0 73236 660 0 0 25 0 1 0 22207549 783171584 155675 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/9875/statm): 191204 155675 364 364 0 190840 0
[pid=9875] vsize: 764816
Current children cumulated CPU time (s) 738.96
Current children cumulated vsize (Kb) 764816

[startup+750.01 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 9877
Raw data (/proc/9875/stat): 9875 (pb2sat) R 9874 9875 4060 0 -1 0 280739 0 0 0 74235 661 0 0 25 0 1 0 22207549 783171584 155714 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9875/statm): 191204 155714 364 364 0 190840 0
[pid=9875] vsize: 764816
Current children cumulated CPU time (s) 748.96
Current children cumulated vsize (Kb) 764816

[startup+760.009 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 9877
Raw data (/proc/9875/stat): 9875 (pb2sat) R 9874 9875 4060 0 -1 0 280744 0 0 0 75231 662 0 0 25 0 1 0 22207549 783171584 155719 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9875/statm): 191204 155719 364 364 0 190840 0
[pid=9875] vsize: 764816
Current children cumulated CPU time (s) 758.93
Current children cumulated vsize (Kb) 764816

[startup+770.009 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 9877
Raw data (/proc/9875/stat): 9875 (pb2sat) R 9874 9875 4060 0 -1 0 281121 0 0 0 76229 664 0 0 25 0 1 0 22207549 784220160 155839 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9875/statm): 191460 155839 364 364 0 191096 0
[pid=9875] vsize: 765840
Current children cumulated CPU time (s) 768.93
Current children cumulated vsize (Kb) 765840

[startup+780.009 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 9877
Raw data (/proc/9875/stat): 9875 (pb2sat) R 9874 9875 4060 0 -1 0 281125 0 0 0 77227 665 0 0 25 0 1 0 22207549 784220160 155843 4294967295 134512640 135987407 3221224560 3221223248 134812148 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9875/statm): 191460 155843 364 364 0 191096 0
[pid=9875] vsize: 765840
Current children cumulated CPU time (s) 778.92
Current children cumulated vsize (Kb) 765840

[startup+790.009 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 9877
Raw data (/proc/9875/stat): 9875 (pb2sat) R 9874 9875 4060 0 -1 0 281126 0 0 0 78226 665 0 0 25 0 1 0 22207549 784220160 155844 4294967295 134512640 135987407 3221224560 3221223424 134812632 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9875/statm): 191460 155844 364 364 0 191096 0
[pid=9875] vsize: 765840
Current children cumulated CPU time (s) 788.91
Current children cumulated vsize (Kb) 765840

[startup+800.009 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 9877
Raw data (/proc/9875/stat): 9875 (pb2sat) R 9874 9875 4060 0 -1 0 281196 0 0 0 79226 666 0 0 25 0 1 0 22207549 784220160 155914 4294967295 134512640 135987407 3221224560 3221223376 134824256 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9875/statm): 191460 155914 364 364 0 191096 0
[pid=9875] vsize: 765840
Current children cumulated CPU time (s) 798.92
Current children cumulated vsize (Kb) 765840

[startup+810.008 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 9877
Raw data (/proc/9875/stat): 9875 (pb2sat) R 9874 9875 4060 0 -1 0 281372 0 0 0 80225 666 0 0 25 0 1 0 22207549 784744448 155961 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9875/statm): 191588 155961 364 364 0 191224 0
[pid=9875] vsize: 766352
Current children cumulated CPU time (s) 808.91
Current children cumulated vsize (Kb) 766352

[startup+820.009 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 9877
Raw data (/proc/9875/stat): 9875 (pb2sat) R 9874 9875 4060 0 -1 0 281422 0 0 0 81224 666 0 0 25 0 1 0 22207549 784744448 156011 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9875/statm): 191588 156011 364 364 0 191224 0
[pid=9875] vsize: 766352
Current children cumulated CPU time (s) 818.9
Current children cumulated vsize (Kb) 766352

[startup+830.009 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 9877
Raw data (/proc/9875/stat): 9875 (pb2sat) R 9874 9875 4060 0 -1 0 281490 0 0 0 82224 667 0 0 25 0 1 0 22207549 784744448 156079 4294967295 134512640 135987407 3221224560 3221223344 134812398 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9875/statm): 191588 156079 364 364 0 191224 0
[pid=9875] vsize: 766352
Current children cumulated CPU time (s) 828.91
Current children cumulated vsize (Kb) 766352

[startup+840.009 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 9877
Raw data (/proc/9875/stat): 9875 (pb2sat) R 9874 9875 4060 0 -1 0 281594 0 0 0 83223 668 0 0 25 0 1 0 22207549 784744448 156183 4294967295 134512640 135987407 3221224560 3221223424 134812593 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9875/statm): 191588 156183 364 364 0 191224 0
[pid=9875] vsize: 766352
Current children cumulated CPU time (s) 838.91
Current children cumulated vsize (Kb) 766352

[startup+850.01 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 9877
Raw data (/proc/9875/stat): 9875 (pb2sat) R 9874 9875 4060 0 -1 0 281631 0 0 0 84219 670 0 0 25 0 1 0 22207549 784744448 156220 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9875/statm): 191588 156220 364 364 0 191224 0
[pid=9875] vsize: 766352
Current children cumulated CPU time (s) 848.89
Current children cumulated vsize (Kb) 766352

[startup+860.009 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 9877
Raw data (/proc/9875/stat): 9875 (pb2sat) R 9874 9875 4060 0 -1 0 281633 0 0 0 85216 671 0 0 25 0 1 0 22207549 784744448 156222 4294967295 134512640 135987407 3221224560 3221223120 134788457 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9875/statm): 191588 156222 364 364 0 191224 0
[pid=9875] vsize: 766352
Current children cumulated CPU time (s) 858.87
Current children cumulated vsize (Kb) 766352

[startup+870.009 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 9877
Raw data (/proc/9875/stat): 9875 (pb2sat) R 9874 9875 4060 0 -1 0 281948 0 0 0 86214 672 0 0 25 0 1 0 22207549 785793024 156280 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9875/statm): 191844 156280 364 364 0 191480 0
[pid=9875] vsize: 767376
Current children cumulated CPU time (s) 868.86
Current children cumulated vsize (Kb) 767376

[startup+880.009 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 9877
Raw data (/proc/9875/stat): 9875 (pb2sat) R 9874 9875 4060 0 -1 0 281950 0 0 0 87212 673 0 0 25 0 1 0 22207549 785793024 156282 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9875/statm): 191844 156282 364 364 0 191480 0
[pid=9875] vsize: 767376
Current children cumulated CPU time (s) 878.85
Current children cumulated vsize (Kb) 767376

[startup+890.009 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 9877
Raw data (/proc/9875/stat): 9875 (pb2sat) R 9874 9875 4060 0 -1 0 282039 0 0 0 88210 674 0 0 25 0 1 0 22207549 785793024 156371 4294967295 134512640 135987407 3221224560 3221223424 134812647 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9875/statm): 191844 156371 364 364 0 191480 0
[pid=9875] vsize: 767376
Current children cumulated CPU time (s) 888.84
Current children cumulated vsize (Kb) 767376

[startup+900.01 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 9877
Raw data (/proc/9875/stat): 9875 (pb2sat) R 9874 9875 4060 0 -1 0 282352 0 0 0 89208 675 0 0 25 0 1 0 22207549 786845696 156555 4294967295 134512640 135987407 3221224560 3221223424 134812647 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9875/statm): 192101 156555 364 364 0 191737 0
[pid=9875] vsize: 768404
Current children cumulated CPU time (s) 898.83
Current children cumulated vsize (Kb) 768404

[startup+910.009 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 9877
Raw data (/proc/9875/stat): 9875 (pb2sat) R 9874 9875 4060 0 -1 0 282375 0 0 0 90207 676 0 0 25 0 1 0 22207549 786845696 156578 4294967295 134512640 135987407 3221224560 3221223248 134811975 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9875/statm): 192101 156578 364 364 0 191737 0
[pid=9875] vsize: 768404
Current children cumulated CPU time (s) 908.83
Current children cumulated vsize (Kb) 768404

[startup+920.01 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 9877
Raw data (/proc/9875/stat): 9875 (pb2sat) R 9874 9875 4060 0 -1 0 282378 0 0 0 91204 677 0 0 25 0 1 0 22207549 786845696 156581 4294967295 134512640 135987407 3221224560 3221223424 134812647 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9875/statm): 192101 156581 364 364 0 191737 0
[pid=9875] vsize: 768404
Current children cumulated CPU time (s) 918.81
Current children cumulated vsize (Kb) 768404

[startup+930.01 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 9877
Raw data (/proc/9875/stat): 9875 (pb2sat) R 9874 9875 4060 0 -1 0 282721 0 0 0 92201 679 0 0 25 0 1 0 22207549 787898368 156795 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9875/statm): 192358 156795 364 364 0 191994 0
[pid=9875] vsize: 769432
Current children cumulated CPU time (s) 928.8
Current children cumulated vsize (Kb) 769432

[startup+940.01 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 9877
Raw data (/proc/9875/stat): 9875 (pb2sat) R 9874 9875 4060 0 -1 0 282781 0 0 0 93198 679 0 0 25 0 1 0 22207549 787898368 156855 4294967295 134512640 135987407 3221224560 3221223248 134811816 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9875/statm): 192358 156855 364 364 0 191994 0
[pid=9875] vsize: 769432
Current children cumulated CPU time (s) 938.77
Current children cumulated vsize (Kb) 769432

[startup+950.011 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 9877
Raw data (/proc/9875/stat): 9875 (pb2sat) R 9874 9875 4060 0 -1 0 283803 0 0 0 94195 682 0 0 25 0 1 0 22207549 790519808 157233 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9875/statm): 192998 157233 364 364 0 192634 0
[pid=9875] vsize: 771992
Current children cumulated CPU time (s) 948.77
Current children cumulated vsize (Kb) 771992

[startup+960.011 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 9877
Raw data (/proc/9875/stat): 9875 (pb2sat) R 9874 9875 4060 0 -1 0 283852 0 0 0 95194 682 0 0 25 0 1 0 22207549 790519808 157282 4294967295 134512640 135987407 3221224560 3221223136 134801596 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9875/statm): 192998 157282 364 364 0 192634 0
[pid=9875] vsize: 771992
Current children cumulated CPU time (s) 958.76
Current children cumulated vsize (Kb) 771992

[startup+970.012 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 9877
Raw data (/proc/9875/stat): 9875 (pb2sat) R 9874 9875 4060 0 -1 0 283854 0 0 0 96192 683 0 0 25 0 1 0 22207549 790519808 157284 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9875/statm): 192998 157284 364 364 0 192634 0
[pid=9875] vsize: 771992
Current children cumulated CPU time (s) 968.75
Current children cumulated vsize (Kb) 771992

[startup+980.012 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 9877
Raw data (/proc/9875/stat): 9875 (pb2sat) R 9874 9875 4060 0 -1 0 283855 0 0 0 97190 683 0 0 25 0 1 0 22207549 790519808 157285 4294967295 134512640 135987407 3221224560 3221223388 134812256 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9875/statm): 192998 157285 364 364 0 192634 0
[pid=9875] vsize: 771992
Current children cumulated CPU time (s) 978.73
Current children cumulated vsize (Kb) 771992

[startup+990.012 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 9877
Raw data (/proc/9875/stat): 9875 (pb2sat) R 9874 9875 4060 0 -1 0 283859 0 0 0 98186 685 0 0 25 0 1 0 22207549 790519808 157289 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9875/statm): 192998 157289 364 364 0 192634 0
[pid=9875] vsize: 771992
Current children cumulated CPU time (s) 988.71
Current children cumulated vsize (Kb) 771992

[startup+1000.01 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 9877
Raw data (/proc/9875/stat): 9875 (pb2sat) R 9874 9875 4060 0 -1 0 283887 0 0 0 99184 685 0 0 25 0 1 0 22207549 790519808 157317 4294967295 134512640 135987407 3221224560 3221223376 134824259 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9875/statm): 192998 157317 364 364 0 192634 0
[pid=9875] vsize: 771992
Current children cumulated CPU time (s) 998.69
Current children cumulated vsize (Kb) 771992

[startup+1010.01 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 9877
Raw data (/proc/9875/stat): 9875 (pb2sat) R 9874 9875 4060 0 -1 0 283979 0 0 0 100182 686 0 0 25 0 1 0 22207549 790519808 157409 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9875/statm): 192998 157409 364 364 0 192634 0
[pid=9875] vsize: 771992
Current children cumulated CPU time (s) 1008.68
Current children cumulated vsize (Kb) 771992

[startup+1020.01 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 9877
Raw data (/proc/9875/stat): 9875 (pb2sat) R 9874 9875 4060 0 -1 0 284325 0 0 0 101180 687 0 0 25 0 1 0 22207549 791568384 157498 4294967295 134512640 135987407 3221224560 3221223376 134812261 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9875/statm): 193254 157498 364 364 0 192890 0
[pid=9875] vsize: 773016
Current children cumulated CPU time (s) 1018.67
Current children cumulated vsize (Kb) 773016

[startup+1030.01 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 9877
Raw data (/proc/9875/stat): 9875 (pb2sat) R 9874 9875 4060 0 -1 0 284327 0 0 0 102179 688 0 0 25 0 1 0 22207549 791568384 157500 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9875/statm): 193254 157500 364 364 0 192890 0
[pid=9875] vsize: 773016
Current children cumulated CPU time (s) 1028.67
Current children cumulated vsize (Kb) 773016

[startup+1040.01 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 9877
Raw data (/proc/9875/stat): 9875 (pb2sat) R 9874 9875 4060 0 -1 0 284671 0 0 0 103178 689 0 0 25 0 1 0 22207549 792616960 157587 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9875/statm): 193510 157587 364 364 0 193146 0
[pid=9875] vsize: 774040
Current children cumulated CPU time (s) 1038.67
Current children cumulated vsize (Kb) 774040

[startup+1050.01 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 9877
Raw data (/proc/9875/stat): 9875 (pb2sat) R 9874 9875 4060 0 -1 0 284845 0 0 0 104174 690 0 0 25 0 1 0 22207549 793141248 157632 4294967295 134512640 135987407 3221224560 3221223248 134812028 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9875/statm): 193638 157632 364 364 0 193274 0
[pid=9875] vsize: 774552
Current children cumulated CPU time (s) 1048.64
Current children cumulated vsize (Kb) 774552

[startup+1060.01 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 9877
Raw data (/proc/9875/stat): 9875 (pb2sat) R 9874 9875 4060 0 -1 0 284846 0 0 0 105173 691 0 0 25 0 1 0 22207549 793141248 157633 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9875/statm): 193638 157633 364 364 0 193274 0
[pid=9875] vsize: 774552
Current children cumulated CPU time (s) 1058.64
Current children cumulated vsize (Kb) 774552

[startup+1070.01 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 9877
Raw data (/proc/9875/stat): 9875 (pb2sat) R 9874 9875 4060 0 -1 0 284946 0 0 0 106172 691 0 0 25 0 1 0 22207549 793141248 157733 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9875/statm): 193638 157733 364 364 0 193274 0
[pid=9875] vsize: 774552
Current children cumulated CPU time (s) 1068.63
Current children cumulated vsize (Kb) 774552

[startup+1080.01 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 9877
Raw data (/proc/9875/stat): 9875 (pb2sat) R 9874 9875 4060 0 -1 0 285370 0 0 0 107170 693 0 0 25 0 1 0 22207549 794189824 157900 4294967295 134512640 135987407 3221224560 3221223340 134812407 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9875/statm): 193894 157900 364 364 0 193530 0
[pid=9875] vsize: 775576
Current children cumulated CPU time (s) 1078.63
Current children cumulated vsize (Kb) 775576

[startup+1090.01 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 9877
Raw data (/proc/9875/stat): 9875 (pb2sat) R 9874 9875 4060 0 -1 0 286000 0 0 0 108167 694 0 0 25 0 1 0 22207549 795762688 158144 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9875/statm): 194278 158144 364 364 0 193914 0
[pid=9875] vsize: 777112
Current children cumulated CPU time (s) 1088.61
Current children cumulated vsize (Kb) 777112

[startup+1100.01 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 9877
Raw data (/proc/9875/stat): 9875 (pb2sat) R 9874 9875 4060 0 -1 0 286261 0 0 0 109165 695 0 0 25 0 1 0 22207549 796553216 158340 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9875/statm): 194471 158340 364 364 0 194107 0
[pid=9875] vsize: 777884
Current children cumulated CPU time (s) 1098.6
Current children cumulated vsize (Kb) 777884

[startup+1110.01 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 9877
Raw data (/proc/9875/stat): 9875 (pb2sat) R 9874 9875 4060 0 -1 0 286483 0 0 0 110163 696 0 0 25 0 1 0 22207549 797077504 158433 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9875/statm): 194599 158433 364 364 0 194235 0
[pid=9875] vsize: 778396
Current children cumulated CPU time (s) 1108.59
Current children cumulated vsize (Kb) 778396

[startup+1120.01 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 9877
Raw data (/proc/9875/stat): 9875 (pb2sat) R 9874 9875 4060 0 -1 0 286484 0 0 0 111162 697 0 0 25 0 1 0 22207549 797077504 158434 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9875/statm): 194599 158434 364 364 0 194235 0
[pid=9875] vsize: 778396
Current children cumulated CPU time (s) 1118.59
Current children cumulated vsize (Kb) 778396

[startup+1130.01 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 9877
Raw data (/proc/9875/stat): 9875 (pb2sat) R 9874 9875 4060 0 -1 0 286527 0 0 0 112160 698 0 0 25 0 1 0 22207549 797077504 158477 4294967295 134512640 135987407 3221224560 3221223344 134812361 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9875/statm): 194599 158477 364 364 0 194235 0
[pid=9875] vsize: 778396
Current children cumulated CPU time (s) 1128.58
Current children cumulated vsize (Kb) 778396

[startup+1140.01 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 9877
Raw data (/proc/9875/stat): 9875 (pb2sat) R 9874 9875 4060 0 -1 0 286528 0 0 0 113159 698 0 0 25 0 1 0 22207549 797077504 158478 4294967295 134512640 135987407 3221224560 3221223020 135481949 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9875/statm): 194599 158478 364 364 0 194235 0
[pid=9875] vsize: 778396
Current children cumulated CPU time (s) 1138.57
Current children cumulated vsize (Kb) 778396

[startup+1150.01 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 9877
Raw data (/proc/9875/stat): 9875 (pb2sat) R 9874 9875 4060 0 -1 0 286530 0 0 0 114158 699 0 0 25 0 1 0 22207549 797077504 158480 4294967295 134512640 135987407 3221224560 3221223372 134812262 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9875/statm): 194599 158480 364 364 0 194235 0
[pid=9875] vsize: 778396
Current children cumulated CPU time (s) 1148.57
Current children cumulated vsize (Kb) 778396

[startup+1160.01 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 9877
Raw data (/proc/9875/stat): 9875 (pb2sat) R 9874 9875 4060 0 -1 0 286884 0 0 0 115157 700 0 0 25 0 1 0 22207549 798126080 158577 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9875/statm): 194855 158577 364 364 0 194491 0
[pid=9875] vsize: 779420
Current children cumulated CPU time (s) 1158.57
Current children cumulated vsize (Kb) 779420

[startup+1170.02 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 9877
Raw data (/proc/9875/stat): 9875 (pb2sat) R 9874 9875 4060 0 -1 0 286885 0 0 0 116156 700 0 0 25 0 1 0 22207549 798126080 158578 4294967295 134512640 135987407 3221224560 3221223248 134812010 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9875/statm): 194855 158578 364 364 0 194491 0
[pid=9875] vsize: 779420
Current children cumulated CPU time (s) 1168.56
Current children cumulated vsize (Kb) 779420

[startup+1180.01 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 9877
Raw data (/proc/9875/stat): 9875 (pb2sat) R 9874 9875 4060 0 -1 0 286957 0 0 0 117154 700 0 0 25 0 1 0 22207549 798126080 158650 4294967295 134512640 135987407 3221224560 3221223248 134811747 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9875/statm): 194855 158650 364 364 0 194491 0
[pid=9875] vsize: 779420
Current children cumulated CPU time (s) 1178.54
Current children cumulated vsize (Kb) 779420

[startup+1190.02 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 9877
Raw data (/proc/9875/stat): 9875 (pb2sat) R 9874 9875 4060 0 -1 0 287207 0 0 0 118151 701 0 0 25 0 1 0 22207549 798650368 158771 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9875/statm): 194983 158771 364 364 0 194619 0
[pid=9875] vsize: 779932
Current children cumulated CPU time (s) 1188.52
Current children cumulated vsize (Kb) 779932

[startup+1200.02 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 9877
Raw data (/proc/9875/stat): 9875 (pb2sat) R 9874 9875 4060 0 -1 0 287560 0 0 0 119148 703 0 0 25 0 1 0 22207549 799698944 158867 4294967295 134512640 135987407 3221224560 3221223424 134812647 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9875/statm): 195239 158867 364 364 0 194875 0
[pid=9875] vsize: 780956
Current children cumulated CPU time (s) 1198.51
Current children cumulated vsize (Kb) 780956

[startup+1210.02 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 9877
Raw data (/proc/9875/stat): 9875 (pb2sat) R 9874 9875 4060 0 -1 0 287562 0 0 0 120146 704 0 0 25 0 1 0 22207549 799698944 158869 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9875/statm): 195239 158869 364 364 0 194875 0
[pid=9875] vsize: 780956
Current children cumulated CPU time (s) 1208.5
Current children cumulated vsize (Kb) 780956



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1210.02 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 9877
Raw data (/proc/9875/stat): 9875 (pb2sat) R 9874 9875 4060 0 -1 0 287562 0 0 0 120146 704 0 0 25 0 1 0 22207549 799698944 158869 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9875/statm): 195239 158869 364 364 0 194875 0
[pid=9875] vsize: 780956
Current children cumulated CPU time (s) 1208.5
Current children cumulated vsize (Kb) 780956

Sending SIGTERM to -9875
Sleeping 2 seconds
Sending SIGKILL to -9875
One traced child (pid=9875) 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): 1212.16
CPU time (s): 1210.64
CPU user time (s): 1203.27
CPU system time (s): 7.36288
CPU usage (%): 99.8744
Max. virtual memory (cumulated for all children) (Kb): 780956

Verifier Data

ERROR: no interpretation found !