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/milp/normalized-mps-v2-20-10-bienst2.opb
MD5SUMfe2e8f62e013702a825e7d0ee28c2295
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 30
Biggest coefficient in the objective function 536870912
Number of bits for the biggest coefficient in the objective function 30
Sum of the numbers in the objective function 1073741823
Number of bits of the sum of numbers in the objective function 30
Biggest number in a constraint 536870912
Number of bits of the biggest number in a constraint 30
Biggest sum of numbers in a constraint 13958659059
Number of bits of the biggest sum of numbers34
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Number of variables13736
Total number of constraints632
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)40
Number of constraints which are nor clauses,nor cardinality constraints592
Minimum length of a constraint1
Maximum length of a constraint390

Trace number 10212

Launcher Data

LAUNCH ON wulflinc9 THE 2005-09-23 17:20:04 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=8914 boxname=wulflinc9 idbench=710 idsolver=8 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  fe2e8f62e013702a825e7d0ee28c2295  /oldhome/oroussel/tmp/wulflinc9/normalized-mps-v2-20-10-bienst2.opb
REAL COMMAND:  pb2sat /oldhome/oroussel/tmp/wulflinc9/normalized-mps-v2-20-10-bienst2.opb
IDLAUNCH: 8914
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.053
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.053
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:        908428 kB
Buffers:         12980 kB
Cached:          95616 kB
SwapCached:          0 kB
Active:          52752 kB
Inactive:        58776 kB
HighTotal:      131008 kB
HighFree:        32200 kB
LowTotal:       903652 kB
LowFree:        876228 kB
SwapTotal:     2097136 kB
SwapFree:      2097136 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6980 kB
Slab:             9084 kB
Committed_AS:    63644 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-09-23 17:40:16 (client local time) WITH STATUS 0 IN 1206.25 SECONDS
stats: 8914 7 1206.25 0

Solver Data

c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...

c Decision: 457328/1196004	Time: 287.578/86400
c Decision: 457328/1196004	Time: 326.727/86400
c Decision: 457599/1196004	Time: 456.937/86400
c Decision: 457599/1196004	Time: 490.414/86400
c Decision: 458620/1196004	Time: 707.059/86400
c Decision: 458620/1196004	Time: 736.673/86400
c Decision: 458620/1196004	Time: 789.817/86400
c Decision: 458620/1196004	Time: 846.957/86400
c Decision: 458654/1196004	Time: 944.198/86400
c Decision: 458886/1196004	Time: 1042.83/86400
c Decision: 458936/1196004	Time: 1141.25/86400s 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/10478/stat): 10478 (pb2sat) R 10477 10478 4060 0 -1 0 18 0 0 0 0 0 0 0 23 0 1 0 21941959 1527808 2 4294967295 134512640 135987407 3221224560 3221224560 134512928 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/10478/statm): 373 2 364 364 0 9 0
[pid=10478] vsize: 1492
open syscall for file /oldhome/oroussel/tmp/wulflinc9/normalized-mps-v2-20-10-bienst2.opb

[startup+10.0015 s]
Raw data (loadavg): 0.87 0.94 0.96 2/55 10478
Raw data (/proc/10478/stat): 10478 (pb2sat) R 10477 10478 4060 0 -1 0 29148 0 0 0 930 67 0 0 25 0 1 0 21941959 80449536 17971 4294967295 134512640 135987407 3221224560 3221123692 135499901 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10478/statm): 19641 17971 364 364 0 19277 0
[pid=10478] vsize: 78564
Current children cumulated CPU time (s) 9.97
Current children cumulated vsize (Kb) 78564

[startup+20.0023 s]
Raw data (loadavg): 0.89 0.94 0.96 2/55 10478
Raw data (/proc/10478/stat): 10478 (pb2sat) R 10477 10478 4060 0 -1 0 58241 0 0 0 1858 136 0 0 25 0 1 0 21941959 158568448 35802 4294967295 134512640 135987407 3221224560 3221143004 135480416 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10478/statm): 38713 35802 364 364 0 38349 0
[pid=10478] vsize: 154852
Current children cumulated CPU time (s) 19.94
Current children cumulated vsize (Kb) 154852

[startup+30.003 s]
Raw data (loadavg): 0.90 0.94 0.96 2/55 10478
Raw data (/proc/10478/stat): 10478 (pb2sat) R 10477 10478 4060 0 -1 0 98660 0 0 0 2767 225 0 0 25 0 1 0 21941959 309129216 53998 4294967295 134512640 135987407 3221224560 3221133568 134878186 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10478/statm): 75471 53998 364 364 0 75107 0
[pid=10478] vsize: 301884
Current children cumulated CPU time (s) 29.92
Current children cumulated vsize (Kb) 301884

[startup+40.0038 s]
Raw data (loadavg): 0.92 0.94 0.96 2/55 10478
Raw data (/proc/10478/stat): 10478 (pb2sat) R 10477 10478 4060 0 -1 0 116308 0 0 0 3724 268 0 0 25 0 1 0 21941959 314806272 71351 4294967295 134512640 135987407 3221224560 3221221744 134536109 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10478/statm): 76857 71351 364 364 0 76493 0
[pid=10478] vsize: 307428
Current children cumulated CPU time (s) 39.92
Current children cumulated vsize (Kb) 307428

[startup+50.0046 s]
Raw data (loadavg): 0.93 0.94 0.96 2/55 10478
Raw data (/proc/10478/stat): 10478 (pb2sat) R 10477 10478 4060 0 -1 0 181359 0 0 0 4580 408 0 0 25 0 1 0 21941959 545439744 92215 4294967295 134512640 135987407 3221224560 3221221944 134637789 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10478/statm): 133164 92215 364 364 0 132800 0
[pid=10478] vsize: 532656
Current children cumulated CPU time (s) 49.88
Current children cumulated vsize (Kb) 532656

[startup+60.0044 s]
Raw data (loadavg): 0.94 0.95 0.96 2/55 10478
Raw data (/proc/10478/stat): 10478 (pb2sat) R 10477 10478 4060 0 -1 0 190258 0 0 0 5533 437 0 0 25 0 1 0 21941959 566775808 98242 4294967295 134512640 135987407 3221224560 3221223376 134824320 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10478/statm): 138373 98242 364 364 0 138009 0
[pid=10478] vsize: 553492
Current children cumulated CPU time (s) 59.7
Current children cumulated vsize (Kb) 553492

[startup+70.0041 s]
Raw data (loadavg): 0.95 0.95 0.96 2/55 10478
Raw data (/proc/10478/stat): 10478 (pb2sat) R 10477 10478 4060 0 -1 0 190719 0 0 0 6521 442 0 0 25 0 1 0 21941959 568905728 98703 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10478/statm): 138893 98703 364 364 0 138529 0
[pid=10478] vsize: 555572
Current children cumulated CPU time (s) 69.63
Current children cumulated vsize (Kb) 555572

[startup+80.0049 s]
Raw data (loadavg): 0.96 0.95 0.96 2/55 10478
Raw data (/proc/10478/stat): 10478 (pb2sat) R 10477 10478 4060 0 -1 0 192632 0 0 0 7511 448 0 0 25 0 1 0 21941959 575365120 100046 4294967295 134512640 135987407 3221224560 3221223424 134812632 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10478/statm): 140470 100046 364 364 0 140106 0
[pid=10478] vsize: 561880
Current children cumulated CPU time (s) 79.59
Current children cumulated vsize (Kb) 561880

[startup+90.0047 s]
Raw data (loadavg): 0.96 0.95 0.96 2/55 10478
Raw data (/proc/10478/stat): 10478 (pb2sat) R 10477 10478 4060 0 -1 0 194260 0 0 0 8506 452 0 0 25 0 1 0 21941959 580468736 100999 4294967295 134512640 135987407 3221224560 3221223376 134824259 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10478/statm): 141716 100999 364 364 0 141352 0
[pid=10478] vsize: 566864
Current children cumulated CPU time (s) 89.58
Current children cumulated vsize (Kb) 566864

[startup+100.005 s]
Raw data (loadavg): 0.97 0.95 0.96 2/55 10478
Raw data (/proc/10478/stat): 10478 (pb2sat) R 10477 10478 4060 0 -1 0 196261 0 0 0 9486 461 0 0 25 0 1 0 21941959 587640832 102248 4294967295 134512640 135987407 3221224560 3221223376 134824259 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10478/statm): 143467 102248 364 364 0 143103 0
[pid=10478] vsize: 573868
Current children cumulated CPU time (s) 99.47
Current children cumulated vsize (Kb) 573868

[startup+110.006 s]
Raw data (loadavg): 0.97 0.95 0.96 2/55 10478
Raw data (/proc/10478/stat): 10478 (pb2sat) R 10477 10478 4060 0 -1 0 197413 0 0 0 10479 464 0 0 25 0 1 0 21941959 591368192 103005 4294967295 134512640 135987407 3221224560 3221223248 134811816 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10478/statm): 144377 103005 364 364 0 144013 0
[pid=10478] vsize: 577508
Current children cumulated CPU time (s) 109.43
Current children cumulated vsize (Kb) 577508

[startup+120.006 s]
Raw data (loadavg): 0.98 0.95 0.96 2/55 10478
Raw data (/proc/10478/stat): 10478 (pb2sat) R 10477 10478 4060 0 -1 0 198224 0 0 0 11474 467 0 0 25 0 1 0 21941959 593489920 103489 4294967295 134512640 135987407 3221224560 3221223248 134811735 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10478/statm): 144895 103489 364 364 0 144531 0
[pid=10478] vsize: 579580
Current children cumulated CPU time (s) 119.41
Current children cumulated vsize (Kb) 579580

[startup+130.006 s]
Raw data (loadavg): 0.98 0.95 0.96 2/55 10478
Raw data (/proc/10478/stat): 10478 (pb2sat) R 10477 10478 4060 0 -1 0 199805 0 0 0 12464 473 0 0 25 0 1 0 21941959 599298048 104471 4294967295 134512640 135987407 3221224560 3221223344 134812398 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10478/statm): 146313 104471 364 364 0 145949 0
[pid=10478] vsize: 585252
Current children cumulated CPU time (s) 129.37
Current children cumulated vsize (Kb) 585252

[startup+140.006 s]
Raw data (loadavg): 0.98 0.95 0.96 2/55 10478
Raw data (/proc/10478/stat): 10478 (pb2sat) R 10477 10478 4060 0 -1 0 200872 0 0 0 13460 475 0 0 25 0 1 0 21941959 603004928 105082 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10478/statm): 147218 105082 364 364 0 146854 0
[pid=10478] vsize: 588872
Current children cumulated CPU time (s) 139.35
Current children cumulated vsize (Kb) 588872

[startup+150.006 s]
Raw data (loadavg): 0.98 0.95 0.96 2/55 10478
Raw data (/proc/10478/stat): 10478 (pb2sat) R 10477 10478 4060 0 -1 0 201544 0 0 0 14454 478 0 0 25 0 1 0 21941959 604995584 105459 4294967295 134512640 135987407 3221224560 3221223336 134812410 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10478/statm): 147704 105459 364 364 0 147340 0
[pid=10478] vsize: 590816
Current children cumulated CPU time (s) 149.32
Current children cumulated vsize (Kb) 590816

[startup+160.007 s]
Raw data (loadavg): 0.99 0.96 0.96 2/55 10478
Raw data (/proc/10478/stat): 10478 (pb2sat) R 10477 10478 4060 0 -1 0 202335 0 0 0 15452 480 0 0 25 0 1 0 21941959 606568448 105859 4294967295 134512640 135987407 3221224560 3221223248 134812056 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10478/statm): 148088 105859 364 364 0 147724 0
[pid=10478] vsize: 592352
Current children cumulated CPU time (s) 159.32
Current children cumulated vsize (Kb) 592352

[startup+170.007 s]
Raw data (loadavg): 0.99 0.96 0.96 2/55 10478
Raw data (/proc/10478/stat): 10478 (pb2sat) R 10477 10478 4060 0 -1 0 203498 0 0 0 16447 484 0 0 25 0 1 0 21941959 609452032 106309 4294967295 134512640 135987407 3221224560 3221223424 134812887 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10478/statm): 148792 106309 364 364 0 148428 0
[pid=10478] vsize: 595168
Current children cumulated CPU time (s) 169.31
Current children cumulated vsize (Kb) 595168

[startup+180.007 s]
Raw data (loadavg): 0.99 0.96 0.96 2/55 10478
Raw data (/proc/10478/stat): 10478 (pb2sat) R 10477 10478 4060 0 -1 0 204380 0 0 0 17446 485 0 0 25 0 1 0 21941959 611418112 106705 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10478/statm): 149272 106705 364 364 0 148908 0
[pid=10478] vsize: 597088
Current children cumulated CPU time (s) 179.31
Current children cumulated vsize (Kb) 597088

[startup+190.006 s]
Raw data (loadavg): 0.99 0.96 0.96 2/55 10478
Raw data (/proc/10478/stat): 10478 (pb2sat) R 10477 10478 4060 0 -1 0 204943 0 0 0 18445 486 0 0 25 0 1 0 21941959 612466688 107009 4294967295 134512640 135987407 3221224560 3221223248 134812126 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10478/statm): 149528 107009 364 364 0 149164 0
[pid=10478] vsize: 598112
Current children cumulated CPU time (s) 189.31
Current children cumulated vsize (Kb) 598112

[startup+200.007 s]
Raw data (loadavg): 0.99 0.96 0.96 2/55 10478
Raw data (/proc/10478/stat): 10478 (pb2sat) R 10477 10478 4060 0 -1 0 205375 0 0 0 19443 488 0 0 25 0 1 0 21941959 613785600 107214 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10478/statm): 149850 107214 364 364 0 149486 0
[pid=10478] vsize: 599400
Current children cumulated CPU time (s) 199.31
Current children cumulated vsize (Kb) 599400

[startup+210.007 s]
Raw data (loadavg): 0.99 0.96 0.96 2/55 10478
Raw data (/proc/10478/stat): 10478 (pb2sat) R 10477 10478 4060 0 -1 0 205727 0 0 0 20442 488 0 0 25 0 1 0 21941959 614703104 107339 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10478/statm): 150074 107339 364 364 0 149710 0
[pid=10478] vsize: 600296
Current children cumulated CPU time (s) 209.3
Current children cumulated vsize (Kb) 600296

[startup+220.007 s]
Raw data (loadavg): 0.99 0.96 0.96 2/55 10478
Raw data (/proc/10478/stat): 10478 (pb2sat) R 10477 10478 4060 0 -1 0 206334 0 0 0 21439 490 0 0 25 0 1 0 21941959 616542208 107557 4294967295 134512640 135987407 3221224560 3221223424 134812647 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10478/statm): 150523 107557 364 364 0 150159 0
[pid=10478] vsize: 602092
Current children cumulated CPU time (s) 219.29
Current children cumulated vsize (Kb) 602092

[startup+230.008 s]
Raw data (loadavg): 0.99 0.96 0.96 2/55 10478
Raw data (/proc/10478/stat): 10478 (pb2sat) R 10477 10478 4060 0 -1 0 206530 0 0 0 22434 492 0 0 25 0 1 0 21941959 616935424 107655 4294967295 134512640 135987407 3221224560 3221223328 134812433 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10478/statm): 150619 107655 364 364 0 150255 0
[pid=10478] vsize: 602476
Current children cumulated CPU time (s) 229.26
Current children cumulated vsize (Kb) 602476

[startup+240.007 s]
Raw data (loadavg): 0.99 0.96 0.96 2/55 10478
Raw data (/proc/10478/stat): 10478 (pb2sat) R 10477 10478 4060 0 -1 0 207774 0 0 0 23420 498 0 0 25 0 1 0 21941959 620634112 108264 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10478/statm): 151522 108264 364 364 0 151158 0
[pid=10478] vsize: 606088
Current children cumulated CPU time (s) 239.18
Current children cumulated vsize (Kb) 606088

[startup+250.008 s]
Raw data (loadavg): 0.99 0.96 0.96 2/55 10478
Raw data (/proc/10478/stat): 10478 (pb2sat) R 10477 10478 4060 0 -1 0 209279 0 0 0 24413 503 0 0 25 0 1 0 21941959 624783360 109048 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10478/statm): 152535 109048 364 364 0 152171 0
[pid=10478] vsize: 610140
Current children cumulated CPU time (s) 249.16
Current children cumulated vsize (Kb) 610140

[startup+260.009 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10478
Raw data (/proc/10478/stat): 10478 (pb2sat) R 10477 10478 4060 0 -1 0 210140 0 0 0 25407 506 0 0 25 0 1 0 21941959 626954240 109406 4294967295 134512640 135987407 3221224560 3221223248 134811964 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10478/statm): 153065 109406 364 364 0 152701 0
[pid=10478] vsize: 612260
Current children cumulated CPU time (s) 259.13
Current children cumulated vsize (Kb) 612260

[startup+270.009 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10478
Raw data (/proc/10478/stat): 10478 (pb2sat) R 10477 10478 4060 0 -1 0 210256 0 0 0 26403 508 0 0 25 0 1 0 21941959 627347456 109424 4294967295 134512640 135987407 3221224560 3221223120 134788469 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10478/statm): 153161 109424 364 364 0 152797 0
[pid=10478] vsize: 612644
Current children cumulated CPU time (s) 269.11
Current children cumulated vsize (Kb) 612644

[startup+280.009 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10478
Raw data (/proc/10478/stat): 10478 (pb2sat) R 10477 10478 4060 0 -1 0 210838 0 0 0 27400 509 0 0 25 0 1 0 21941959 628662272 109762 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10478/statm): 153482 109762 364 364 0 153118 0
[pid=10478] vsize: 613928
Current children cumulated CPU time (s) 279.09
Current children cumulated vsize (Kb) 613928

[startup+290.009 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10478
Raw data (/proc/10478/stat): 10478 (pb2sat) R 10477 10478 4060 0 -1 0 211403 0 0 0 28396 512 0 0 25 0 1 0 21941959 629972992 110003 4294967295 134512640 135987407 3221224560 3221223248 134811980 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10478/statm): 153802 110003 364 364 0 153438 0
[pid=10478] vsize: 615208
Current children cumulated CPU time (s) 289.08
Current children cumulated vsize (Kb) 615208

[startup+300.01 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10478
Raw data (/proc/10478/stat): 10478 (pb2sat) R 10477 10478 4060 0 -1 0 212268 0 0 0 29393 514 0 0 25 0 1 0 21941959 632745984 110413 4294967295 134512640 135987407 3221224560 3221223376 134824259 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10478/statm): 154479 110413 364 364 0 154115 0
[pid=10478] vsize: 617916
Current children cumulated CPU time (s) 299.07
Current children cumulated vsize (Kb) 617916

[startup+310.01 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10478
Raw data (/proc/10478/stat): 10478 (pb2sat) R 10477 10478 4060 0 -1 0 212975 0 0 0 30384 518 0 0 25 0 1 0 21941959 634716160 110666 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10478/statm): 154960 110666 364 364 0 154596 0
[pid=10478] vsize: 619840
Current children cumulated CPU time (s) 309.02
Current children cumulated vsize (Kb) 619840

[startup+320.01 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10478
Raw data (/proc/10478/stat): 10478 (pb2sat) R 10477 10478 4060 0 -1 0 213170 0 0 0 31382 519 0 0 25 0 1 0 21941959 635248640 110828 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10478/statm): 155090 110828 364 364 0 154726 0
[pid=10478] vsize: 620360
Current children cumulated CPU time (s) 319.01
Current children cumulated vsize (Kb) 620360

[startup+330.009 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10478
Raw data (/proc/10478/stat): 10478 (pb2sat) R 10477 10478 4060 0 -1 0 213567 0 0 0 32377 521 0 0 25 0 1 0 21941959 636297216 110966 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10478/statm): 155346 110966 364 364 0 154982 0
[pid=10478] vsize: 621384
Current children cumulated CPU time (s) 328.98
Current children cumulated vsize (Kb) 621384

[startup+340.009 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10478
Raw data (/proc/10478/stat): 10478 (pb2sat) R 10477 10478 4060 0 -1 0 216031 0 0 0 33371 527 0 0 25 0 1 0 21941959 636694528 111061 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10478/statm): 155443 111061 364 364 0 155079 0
[pid=10478] vsize: 621772
Current children cumulated CPU time (s) 338.98
Current children cumulated vsize (Kb) 621772

[startup+350.01 s]
Raw data (loadavg): 0.99 0.97 0.96 1/55 10478
Raw data (/proc/10478/stat): 10478 (pb2sat) T 10477 10478 4060 0 -1 0 216380 0 0 0 34356 534 0 0 25 0 1 0 21941959 638013440 111280 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/10478/statm): 155765 111280 364 364 0 155401 0
[pid=10478] vsize: 623060
Current children cumulated CPU time (s) 348.9
Current children cumulated vsize (Kb) 623060

[startup+360.01 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10478
Raw data (/proc/10478/stat): 10478 (pb2sat) R 10477 10478 4060 0 -1 0 217464 0 0 0 35338 540 0 0 25 0 1 0 21941959 643031040 112216 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10478/statm): 156990 112216 364 364 0 156626 0
[pid=10478] vsize: 627960
Current children cumulated CPU time (s) 358.78
Current children cumulated vsize (Kb) 627960

[startup+370.01 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10478
Raw data (/proc/10478/stat): 10478 (pb2sat) R 10477 10478 4060 0 -1 0 220398 0 0 0 36328 547 0 0 25 0 1 0 21941959 652795904 113858 4294967295 134512640 135987407 3221224560 3221223248 134812056 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10478/statm): 159374 113858 364 364 0 159010 0
[pid=10478] vsize: 637496
Current children cumulated CPU time (s) 368.75
Current children cumulated vsize (Kb) 637496

[startup+380.01 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10478
Raw data (/proc/10478/stat): 10478 (pb2sat) R 10477 10478 4060 0 -1 0 223475 0 0 0 37318 555 0 0 25 0 1 0 21941959 655441920 114339 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10478/statm): 160020 114339 364 364 0 159656 0
[pid=10478] vsize: 640080
Current children cumulated CPU time (s) 378.73
Current children cumulated vsize (Kb) 640080

[startup+390.01 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10478
Raw data (/proc/10478/stat): 10478 (pb2sat) R 10477 10478 4060 0 -1 0 223481 0 0 0 38298 563 0 0 25 0 1 0 21941959 655441920 114345 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10478/statm): 160020 114345 364 364 0 159656 0
[pid=10478] vsize: 640080
Current children cumulated CPU time (s) 388.61
Current children cumulated vsize (Kb) 640080

[startup+400.011 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10478
Raw data (/proc/10478/stat): 10478 (pb2sat) R 10477 10478 4060 0 -1 0 224553 0 0 0 39291 567 0 0 25 0 1 0 21941959 659013632 114962 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10478/statm): 160892 114962 364 364 0 160528 0
[pid=10478] vsize: 643568
Current children cumulated CPU time (s) 398.58
Current children cumulated vsize (Kb) 643568

[startup+410.012 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10478
Raw data (/proc/10478/stat): 10478 (pb2sat) R 10477 10478 4060 0 -1 0 225105 0 0 0 40284 570 0 0 25 0 1 0 21941959 660598784 115220 4294967295 134512640 135987407 3221224560 3221223404 134812764 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10478/statm): 161279 115220 364 364 0 160915 0
[pid=10478] vsize: 645116
Current children cumulated CPU time (s) 408.54
Current children cumulated vsize (Kb) 645116

[startup+420.011 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10478
Raw data (/proc/10478/stat): 10478 (pb2sat) R 10477 10478 4060 0 -1 0 225779 0 0 0 41282 571 0 0 25 0 1 0 21941959 662171648 115506 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10478/statm): 161663 115506 364 364 0 161299 0
[pid=10478] vsize: 646652
Current children cumulated CPU time (s) 418.53
Current children cumulated vsize (Kb) 646652

[startup+430.011 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10478
Raw data (/proc/10478/stat): 10478 (pb2sat) R 10477 10478 4060 0 -1 0 226278 0 0 0 42277 574 0 0 25 0 1 0 21941959 663224320 115811 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10478/statm): 161920 115811 364 364 0 161556 0
[pid=10478] vsize: 647680
Current children cumulated CPU time (s) 428.51
Current children cumulated vsize (Kb) 647680

[startup+440.011 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10478
Raw data (/proc/10478/stat): 10478 (pb2sat) R 10477 10478 4060 0 -1 0 226289 0 0 0 43268 577 0 0 25 0 1 0 21941959 663224320 115822 4294967295 134512640 135987407 3221224560 3221223344 134812278 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10478/statm): 161920 115822 364 364 0 161556 0
[pid=10478] vsize: 647680
Current children cumulated CPU time (s) 438.45
Current children cumulated vsize (Kb) 647680

[startup+450.012 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10478
Raw data (/proc/10478/stat): 10478 (pb2sat) R 10477 10478 4060 0 -1 0 226492 0 0 0 44263 579 0 0 25 0 1 0 21941959 663748608 115896 4294967295 134512640 135987407 3221224560 3221223248 134811972 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10478/statm): 162048 115896 364 364 0 161684 0
[pid=10478] vsize: 648192
Current children cumulated CPU time (s) 448.42
Current children cumulated vsize (Kb) 648192

[startup+460.012 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10478
Raw data (/proc/10478/stat): 10478 (pb2sat) R 10477 10478 4060 0 -1 0 226792 0 0 0 45258 582 0 0 25 0 1 0 21941959 664272896 116067 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10478/statm): 162176 116067 364 364 0 161812 0
[pid=10478] vsize: 648704
Current children cumulated CPU time (s) 458.4
Current children cumulated vsize (Kb) 648704

[startup+470.012 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10478
Raw data (/proc/10478/stat): 10478 (pb2sat) R 10477 10478 4060 0 -1 0 227070 0 0 0 46255 583 0 0 25 0 1 0 21941959 664797184 116216 4294967295 134512640 135987407 3221224560 3221223248 134811896 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10478/statm): 162304 116216 364 364 0 161940 0
[pid=10478] vsize: 649216
Current children cumulated CPU time (s) 468.38
Current children cumulated vsize (Kb) 649216

[startup+480.013 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10478
Raw data (/proc/10478/stat): 10478 (pb2sat) R 10477 10478 4060 0 -1 0 227671 0 0 0 47252 585 0 0 25 0 1 0 21941959 666107904 116493 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10478/statm): 162624 116493 364 364 0 162260 0
[pid=10478] vsize: 650496
Current children cumulated CPU time (s) 478.37
Current children cumulated vsize (Kb) 650496

[startup+490.013 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10478
Raw data (/proc/10478/stat): 10478 (pb2sat) R 10477 10478 4060 0 -1 0 228091 0 0 0 48248 586 0 0 25 0 1 0 21941959 667156480 116653 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10478/statm): 162880 116653 364 364 0 162516 0
[pid=10478] vsize: 651520
Current children cumulated CPU time (s) 488.34
Current children cumulated vsize (Kb) 651520

[startup+500.014 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10478
Raw data (/proc/10478/stat): 10478 (pb2sat) R 10477 10478 4060 0 -1 0 228166 0 0 0 49246 587 0 0 25 0 1 0 21941959 667156480 116728 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10478/statm): 162880 116728 364 364 0 162516 0
[pid=10478] vsize: 651520
Current children cumulated CPU time (s) 498.33
Current children cumulated vsize (Kb) 651520

[startup+510.014 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10478
Raw data (/proc/10478/stat): 10478 (pb2sat) R 10477 10478 4060 0 -1 0 230589 0 0 0 50234 595 0 0 25 0 1 0 21941959 667422720 116782 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10478/statm): 162945 116782 364 364 0 162581 0
[pid=10478] vsize: 651780
Current children cumulated CPU time (s) 508.29
Current children cumulated vsize (Kb) 651780

[startup+520.015 s]
Raw data (loadavg): 0.99 0.97 0.96 1/55 10478
Raw data (/proc/10478/stat): 10478 (pb2sat) T 10477 10478 4060 0 -1 0 230837 0 0 0 51229 597 0 0 25 0 1 0 21941959 668213248 116900 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/10478/statm): 163138 116900 364 364 0 162774 0
[pid=10478] vsize: 652552
Current children cumulated CPU time (s) 518.26
Current children cumulated vsize (Kb) 652552

[startup+530.016 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10478
Raw data (/proc/10478/stat): 10478 (pb2sat) R 10477 10478 4060 0 -1 0 230849 0 0 0 52212 603 0 0 25 0 1 0 21941959 668213248 116912 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10478/statm): 163138 116912 364 364 0 162774 0
[pid=10478] vsize: 652552
Current children cumulated CPU time (s) 528.15
Current children cumulated vsize (Kb) 652552

[startup+540.017 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10478
Raw data (/proc/10478/stat): 10478 (pb2sat) R 10477 10478 4060 0 -1 0 232968 0 0 0 53201 610 0 0 25 0 1 0 21941959 677781504 119031 4294967295 134512640 135987407 3221224560 3221223152 134828101 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10478/statm): 165474 119038 364 364 0 165110 0
[pid=10478] vsize: 661896
Current children cumulated CPU time (s) 538.11
Current children cumulated vsize (Kb) 661896

[startup+550.018 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10478
Raw data (/proc/10478/stat): 10478 (pb2sat) R 10477 10478 4060 0 -1 0 233405 0 0 0 54195 613 0 0 25 0 1 0 21941959 668475392 117067 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10478/statm): 163202 117067 364 364 0 162838 0
[pid=10478] vsize: 652808
Current children cumulated CPU time (s) 548.08
Current children cumulated vsize (Kb) 652808

[startup+560.017 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10478
Raw data (/proc/10478/stat): 10478 (pb2sat) R 10477 10478 4060 0 -1 0 233410 0 0 0 55184 616 0 0 25 0 1 0 21941959 668475392 117072 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10478/statm): 163202 117072 364 364 0 162838 0
[pid=10478] vsize: 652808
Current children cumulated CPU time (s) 558
Current children cumulated vsize (Kb) 652808

[startup+570.017 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10478
Raw data (/proc/10478/stat): 10478 (pb2sat) R 10477 10478 4060 0 -1 0 233636 0 0 0 56178 618 0 0 25 0 1 0 21941959 669265920 117168 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10478/statm): 163395 117168 364 364 0 163031 0
[pid=10478] vsize: 653580
Current children cumulated CPU time (s) 567.96
Current children cumulated vsize (Kb) 653580

[startup+580.018 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10478
Raw data (/proc/10478/stat): 10478 (pb2sat) R 10477 10478 4060 0 -1 0 234151 0 0 0 57171 621 0 0 25 0 1 0 21941959 670445568 117390 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10478/statm): 163683 117390 364 364 0 163319 0
[pid=10478] vsize: 654732
Current children cumulated CPU time (s) 577.92
Current children cumulated vsize (Kb) 654732

[startup+590.018 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10478
Raw data (/proc/10478/stat): 10478 (pb2sat) R 10477 10478 4060 0 -1 0 234950 0 0 0 58157 627 0 0 25 0 1 0 21941959 673357824 117797 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10478/statm): 164394 117797 364 364 0 164030 0
[pid=10478] vsize: 657576
Current children cumulated CPU time (s) 587.84
Current children cumulated vsize (Kb) 657576

[startup+600.018 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10478
Raw data (/proc/10478/stat): 10478 (pb2sat) R 10477 10478 4060 0 -1 0 235218 0 0 0 59151 628 0 0 25 0 1 0 21941959 674148352 117935 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10478/statm): 164587 117935 364 364 0 164223 0
[pid=10478] vsize: 658348
Current children cumulated CPU time (s) 597.79
Current children cumulated vsize (Kb) 658348

[startup+610.019 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10478
Raw data (/proc/10478/stat): 10478 (pb2sat) R 10477 10478 4060 0 -1 0 235379 0 0 0 60141 632 0 0 25 0 1 0 21941959 674541568 117998 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10478/statm): 164683 117998 364 364 0 164319 0
[pid=10478] vsize: 658732
Current children cumulated CPU time (s) 607.73
Current children cumulated vsize (Kb) 658732

[startup+620.019 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10478
Raw data (/proc/10478/stat): 10478 (pb2sat) R 10477 10478 4060 0 -1 0 236231 0 0 0 61135 636 0 0 25 0 1 0 21941959 676904960 118334 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10478/statm): 165260 118334 364 364 0 164896 0
[pid=10478] vsize: 661040
Current children cumulated CPU time (s) 617.71
Current children cumulated vsize (Kb) 661040

[startup+630.02 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10478
Raw data (/proc/10478/stat): 10478 (pb2sat) R 10477 10478 4060 0 -1 0 236475 0 0 0 62133 636 0 0 25 0 1 0 21941959 677429248 118448 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10478/statm): 165388 118448 364 364 0 165024 0
[pid=10478] vsize: 661552
Current children cumulated CPU time (s) 627.69
Current children cumulated vsize (Kb) 661552

[startup+640.021 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10478
Raw data (/proc/10478/stat): 10478 (pb2sat) R 10477 10478 4060 0 -1 0 236640 0 0 0 63128 638 0 0 25 0 1 0 21941959 677957632 118548 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10478/statm): 165517 118548 364 364 0 165153 0
[pid=10478] vsize: 662068
Current children cumulated CPU time (s) 637.66
Current children cumulated vsize (Kb) 662068

[startup+650.021 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10478
Raw data (/proc/10478/stat): 10478 (pb2sat) R 10477 10478 4060 0 -1 0 237155 0 0 0 64119 641 0 0 25 0 1 0 21941959 679006208 118804 4294967295 134512640 135987407 3221224560 3221223248 134812028 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10478/statm): 165773 118804 364 364 0 165409 0
[pid=10478] vsize: 663092
Current children cumulated CPU time (s) 647.6
Current children cumulated vsize (Kb) 663092

[startup+660.021 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10478
Raw data (/proc/10478/stat): 10478 (pb2sat) R 10477 10478 4060 0 -1 0 237361 0 0 0 65101 647 0 0 25 0 1 0 21941959 679530496 118881 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10478/statm): 165901 118881 364 364 0 165537 0
[pid=10478] vsize: 663604
Current children cumulated CPU time (s) 657.48
Current children cumulated vsize (Kb) 663604

[startup+670.021 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10478
Raw data (/proc/10478/stat): 10478 (pb2sat) R 10477 10478 4060 0 -1 0 237802 0 0 0 66097 649 0 0 25 0 1 0 21941959 680579072 119063 4294967295 134512640 135987407 3221224560 3221223376 134824720 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10478/statm): 166157 119063 364 364 0 165793 0
[pid=10478] vsize: 664628
Current children cumulated CPU time (s) 667.46
Current children cumulated vsize (Kb) 664628

[startup+680.022 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10478
Raw data (/proc/10478/stat): 10478 (pb2sat) R 10477 10478 4060 0 -1 0 238044 0 0 0 67090 652 0 0 25 0 1 0 21941959 681103360 119176 4294967295 134512640 135987407 3221224560 3221223408 134790054 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10478/statm): 166285 119176 364 364 0 165921 0
[pid=10478] vsize: 665140
Current children cumulated CPU time (s) 677.42
Current children cumulated vsize (Kb) 665140

[startup+690.021 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10478
Raw data (/proc/10478/stat): 10478 (pb2sat) R 10477 10478 4060 0 -1 0 238466 0 0 0 68082 654 0 0 25 0 1 0 21941959 682151936 119339 4294967295 134512640 135987407 3221224560 3221223424 134812647 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10478/statm): 166541 119339 364 364 0 166177 0
[pid=10478] vsize: 666164
Current children cumulated CPU time (s) 687.36
Current children cumulated vsize (Kb) 666164

[startup+700.022 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10478
Raw data (/proc/10478/stat): 10478 (pb2sat) R 10477 10478 4060 0 -1 0 238713 0 0 0 69077 656 0 0 25 0 1 0 21941959 682676224 119457 4294967295 134512640 135987407 3221224560 3221223344 134812301 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10478/statm): 166669 119457 364 364 0 166305 0
[pid=10478] vsize: 666676
Current children cumulated CPU time (s) 697.33
Current children cumulated vsize (Kb) 666676

[startup+710.023 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10478
Raw data (/proc/10478/stat): 10478 (pb2sat) R 10477 10478 4060 0 -1 0 238757 0 0 0 70070 658 0 0 25 0 1 0 21941959 682676224 119501 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10478/statm): 166669 119501 364 364 0 166305 0
[pid=10478] vsize: 666676
Current children cumulated CPU time (s) 707.28
Current children cumulated vsize (Kb) 666676

[startup+720.023 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10478
Raw data (/proc/10478/stat): 10478 (pb2sat) R 10477 10478 4060 0 -1 0 238824 0 0 0 71064 661 0 0 25 0 1 0 21941959 682676224 119568 4294967295 134512640 135987407 3221224560 3221223248 134811778 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10478/statm): 166669 119568 364 364 0 166305 0
[pid=10478] vsize: 666676
Current children cumulated CPU time (s) 717.25
Current children cumulated vsize (Kb) 666676

[startup+730.023 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10478
Raw data (/proc/10478/stat): 10478 (pb2sat) R 10477 10478 4060 0 -1 0 238849 0 0 0 72055 665 0 0 25 0 1 0 21941959 682676224 119593 4294967295 134512640 135987407 3221224560 3221223248 134811959 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10478/statm): 166669 119593 364 364 0 166305 0
[pid=10478] vsize: 666676
Current children cumulated CPU time (s) 727.2
Current children cumulated vsize (Kb) 666676

[startup+740.022 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10478
Raw data (/proc/10478/stat): 10478 (pb2sat) R 10477 10478 4060 0 -1 0 238866 0 0 0 73041 669 0 0 25 0 1 0 21941959 682676224 119610 4294967295 134512640 135987407 3221224560 3221223408 134790069 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10478/statm): 166669 119610 364 364 0 166305 0
[pid=10478] vsize: 666676
Current children cumulated CPU time (s) 737.1
Current children cumulated vsize (Kb) 666676

[startup+750.023 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10478
Raw data (/proc/10478/stat): 10478 (pb2sat) R 10477 10478 4060 0 -1 0 238901 0 0 0 74024 675 0 0 25 0 1 0 21941959 682676224 119645 4294967295 134512640 135987407 3221224560 3221223136 134788799 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10478/statm): 166669 119645 364 364 0 166305 0
[pid=10478] vsize: 666676
Current children cumulated CPU time (s) 746.99
Current children cumulated vsize (Kb) 666676

[startup+760.024 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10478
Raw data (/proc/10478/stat): 10478 (pb2sat) R 10477 10478 4060 0 -1 0 241242 0 0 0 74996 689 0 0 25 0 1 0 21941959 692244480 121986 4294967295 134512640 135987407 3221224560 3221222944 134828922 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10478/statm): 169005 121986 364 364 0 168641 0
[pid=10478] vsize: 676020
Current children cumulated CPU time (s) 756.85
Current children cumulated vsize (Kb) 676020

[startup+770.024 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10478
Raw data (/proc/10478/stat): 10478 (pb2sat) R 10477 10478 4060 0 -1 0 241401 0 0 0 75983 694 0 0 25 0 1 0 21941959 683200512 119680 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10478/statm): 166797 119680 364 364 0 166433 0
[pid=10478] vsize: 667188
Current children cumulated CPU time (s) 766.77
Current children cumulated vsize (Kb) 667188

[startup+780.024 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10478
Raw data (/proc/10478/stat): 10478 (pb2sat) R 10477 10478 4060 0 -1 0 241415 0 0 0 76950 705 0 0 25 0 1 0 21941959 683200512 119694 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10478/statm): 166797 119694 364 364 0 166433 0
[pid=10478] vsize: 667188
Current children cumulated CPU time (s) 776.55
Current children cumulated vsize (Kb) 667188

[startup+790.024 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10478
Raw data (/proc/10478/stat): 10478 (pb2sat) R 10477 10478 4060 0 -1 0 243753 0 0 0 77939 713 0 0 25 0 1 0 21941959 683200512 119696 4294967295 134512640 135987407 3221224560 3221223376 134876866 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10478/statm): 166797 119696 364 364 0 166433 0
[pid=10478] vsize: 667188
Current children cumulated CPU time (s) 786.52
Current children cumulated vsize (Kb) 667188

[startup+800.025 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10478
Raw data (/proc/10478/stat): 10478 (pb2sat) R 10477 10478 4060 0 -1 0 243844 0 0 0 78930 716 0 0 25 0 1 0 21941959 683462656 119722 4294967295 134512640 135987407 3221224560 3221223248 134811964 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10478/statm): 166861 119722 364 364 0 166497 0
[pid=10478] vsize: 667444
Current children cumulated CPU time (s) 796.46
Current children cumulated vsize (Kb) 667444

[startup+810.025 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10478
Raw data (/proc/10478/stat): 10478 (pb2sat) R 10477 10478 4060 0 -1 0 243859 0 0 0 79923 718 0 0 25 0 1 0 21941959 683462656 119737 4294967295 134512640 135987407 3221224560 3221223248 134811741 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10478/statm): 166861 119737 364 364 0 166497 0
[pid=10478] vsize: 667444
Current children cumulated CPU time (s) 806.41
Current children cumulated vsize (Kb) 667444

[startup+820.026 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10478
Raw data (/proc/10478/stat): 10478 (pb2sat) R 10477 10478 4060 0 -1 0 243860 0 0 0 80912 723 0 0 25 0 1 0 21941959 683462656 119738 4294967295 134512640 135987407 3221224560 3221223216 134778249 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10478/statm): 166861 119738 364 364 0 166497 0
[pid=10478] vsize: 667444
Current children cumulated CPU time (s) 816.35
Current children cumulated vsize (Kb) 667444

[startup+830.026 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10478
Raw data (/proc/10478/stat): 10478 (pb2sat) R 10477 10478 4060 0 -1 0 244111 0 0 0 81906 724 0 0 25 0 1 0 21941959 683986944 119859 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10478/statm): 166989 119859 364 364 0 166625 0
[pid=10478] vsize: 667956
Current children cumulated CPU time (s) 826.3
Current children cumulated vsize (Kb) 667956

[startup+840.026 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10478
Raw data (/proc/10478/stat): 10478 (pb2sat) R 10477 10478 4060 0 -1 0 244339 0 0 0 82896 728 0 0 25 0 1 0 21941959 684773376 119893 4294967295 134512640 135987407 3221224560 3221223280 134814267 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10478/statm): 167181 119893 364 364 0 166817 0
[pid=10478] vsize: 668724
Current children cumulated CPU time (s) 836.24
Current children cumulated vsize (Kb) 668724

[startup+850.027 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10478
Raw data (/proc/10478/stat): 10478 (pb2sat) R 10477 10478 4060 0 -1 0 246687 0 0 0 83887 735 0 0 25 0 1 0 21941959 684773376 119905 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10478/statm): 167181 119905 364 364 0 166817 0
[pid=10478] vsize: 668724
Current children cumulated CPU time (s) 846.22
Current children cumulated vsize (Kb) 668724

[startup+860.028 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10478
Raw data (/proc/10478/stat): 10478 (pb2sat) R 10477 10478 4060 0 -1 0 246976 0 0 0 84881 737 0 0 25 0 1 0 21941959 685297664 120065 4294967295 134512640 135987407 3221224560 3221223248 134811706 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10478/statm): 167309 120065 364 364 0 166945 0
[pid=10478] vsize: 669236
Current children cumulated CPU time (s) 856.18
Current children cumulated vsize (Kb) 669236

[startup+870.028 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10478
Raw data (/proc/10478/stat): 10478 (pb2sat) R 10477 10478 4060 0 -1 0 246977 0 0 0 85879 738 0 0 25 0 1 0 21941959 685297664 120066 4294967295 134512640 135987407 3221224560 3221223248 134812046 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10478/statm): 167309 120066 364 364 0 166945 0
[pid=10478] vsize: 669236
Current children cumulated CPU time (s) 866.17
Current children cumulated vsize (Kb) 669236

[startup+880.028 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10478
Raw data (/proc/10478/stat): 10478 (pb2sat) R 10477 10478 4060 0 -1 0 247123 0 0 0 86875 739 0 0 25 0 1 0 21941959 685821952 120083 4294967295 134512640 135987407 3221224560 3221223424 134812647 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10478/statm): 167437 120083 364 364 0 167073 0
[pid=10478] vsize: 669748
Current children cumulated CPU time (s) 876.14
Current children cumulated vsize (Kb) 669748

[startup+890.028 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10478
Raw data (/proc/10478/stat): 10478 (pb2sat) R 10477 10478 4060 0 -1 0 247165 0 0 0 87862 744 0 0 25 0 1 0 21941959 685821952 120125 4294967295 134512640 135987407 3221224560 3221223376 134824259 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10478/statm): 167437 120125 364 364 0 167073 0
[pid=10478] vsize: 669748
Current children cumulated CPU time (s) 886.06
Current children cumulated vsize (Kb) 669748

[startup+900.029 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10478
Raw data (/proc/10478/stat): 10478 (pb2sat) R 10477 10478 4060 0 -1 0 249519 0 0 0 88846 753 0 0 25 0 1 0 21941959 695390208 122479 4294967295 134512640 135987407 3221224560 3221222924 134827484 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10478/statm): 169773 122479 364 364 0 169409 0
[pid=10478] vsize: 679092
Current children cumulated CPU time (s) 895.99
Current children cumulated vsize (Kb) 679092

[startup+910.03 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10478
Raw data (/proc/10478/stat): 10478 (pb2sat) T 10477 10478 4060 0 -1 0 249539 0 0 0 89832 759 0 0 25 0 1 0 21941959 685821952 120163 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/10478/statm): 167437 120163 364 364 0 167073 0
[pid=10478] vsize: 669748
Current children cumulated CPU time (s) 905.91
Current children cumulated vsize (Kb) 669748

[startup+920.03 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10478
Raw data (/proc/10478/stat): 10478 (pb2sat) R 10477 10478 4060 0 -1 0 249546 0 0 0 90812 766 0 0 25 0 1 0 21941959 685821952 120170 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10478/statm): 167437 120170 364 364 0 167073 0
[pid=10478] vsize: 669748
Current children cumulated CPU time (s) 915.78
Current children cumulated vsize (Kb) 669748

[startup+930.031 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10478
Raw data (/proc/10478/stat): 10478 (pb2sat) R 10477 10478 4060 0 -1 0 249554 0 0 0 91802 769 0 0 25 0 1 0 21941959 685821952 120178 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10478/statm): 167437 120178 364 364 0 167073 0
[pid=10478] vsize: 669748
Current children cumulated CPU time (s) 925.71
Current children cumulated vsize (Kb) 669748

[startup+940.031 s]
Raw data (loadavg): 0.99 0.97 0.96 1/55 10478
Raw data (/proc/10478/stat): 10478 (pb2sat) T 10477 10478 4060 0 -1 0 249614 0 0 0 92795 771 0 0 25 0 1 0 21941959 685821952 120238 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/10478/statm): 167437 120238 364 364 0 167073 0
[pid=10478] vsize: 669748
Current children cumulated CPU time (s) 935.66
Current children cumulated vsize (Kb) 669748

[startup+950.032 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10478
Raw data (/proc/10478/stat): 10478 (pb2sat) R 10477 10478 4060 0 -1 0 249698 0 0 0 93789 774 0 0 25 0 1 0 21941959 685821952 120322 4294967295 134512640 135987407 3221224560 3221223376 134824696 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10478/statm): 167437 120322 364 364 0 167073 0
[pid=10478] vsize: 669748
Current children cumulated CPU time (s) 945.63
Current children cumulated vsize (Kb) 669748

[startup+960.033 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10478
Raw data (/proc/10478/stat): 10478 (pb2sat) R 10477 10478 4060 0 -1 0 249903 0 0 0 94784 776 0 0 25 0 1 0 21941959 686346240 120398 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10478/statm): 167565 120398 364 364 0 167201 0
[pid=10478] vsize: 670260
Current children cumulated CPU time (s) 955.6
Current children cumulated vsize (Kb) 670260

[startup+970.032 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10478
Raw data (/proc/10478/stat): 10478 (pb2sat) R 10477 10478 4060 0 -1 0 249908 0 0 0 95775 779 0 0 25 0 1 0 21941959 686346240 120403 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10478/statm): 167565 120403 364 364 0 167201 0
[pid=10478] vsize: 670260
Current children cumulated CPU time (s) 965.54
Current children cumulated vsize (Kb) 670260

[startup+980.033 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10478
Raw data (/proc/10478/stat): 10478 (pb2sat) R 10477 10478 4060 0 -1 0 249912 0 0 0 96767 781 0 0 25 0 1 0 21941959 686346240 120407 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10478/statm): 167565 120407 364 364 0 167201 0
[pid=10478] vsize: 670260
Current children cumulated CPU time (s) 975.48
Current children cumulated vsize (Kb) 670260

[startup+990.033 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10478
Raw data (/proc/10478/stat): 10478 (pb2sat) R 10477 10478 4060 0 -1 0 249916 0 0 0 97752 786 0 0 25 0 1 0 21941959 686346240 120411 4294967295 134512640 135987407 3221224560 3221223248 134812056 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10478/statm): 167565 120411 364 364 0 167201 0
[pid=10478] vsize: 670260
Current children cumulated CPU time (s) 985.38
Current children cumulated vsize (Kb) 670260

[startup+1000.03 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10478
Raw data (/proc/10478/stat): 10478 (pb2sat) R 10477 10478 4060 0 -1 0 252340 0 0 0 98734 797 0 0 25 0 1 0 21941959 686608384 120434 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10478/statm): 167629 120434 364 364 0 167265 0
[pid=10478] vsize: 670516
Current children cumulated CPU time (s) 995.31
Current children cumulated vsize (Kb) 670516

[startup+1010.03 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10478
Raw data (/proc/10478/stat): 10478 (pb2sat) R 10477 10478 4060 0 -1 0 252344 0 0 0 99717 803 0 0 25 0 1 0 21941959 686608384 120438 4294967295 134512640 135987407 3221224560 3221223424 134812647 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10478/statm): 167629 120438 364 364 0 167265 0
[pid=10478] vsize: 670516
Current children cumulated CPU time (s) 1005.2
Current children cumulated vsize (Kb) 670516

[startup+1020.03 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10478
Raw data (/proc/10478/stat): 10478 (pb2sat) R 10477 10478 4060 0 -1 0 252347 0 0 0 100713 804 0 0 25 0 1 0 21941959 686608384 120441 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10478/statm): 167629 120441 364 364 0 167265 0
[pid=10478] vsize: 670516
Current children cumulated CPU time (s) 1015.17
Current children cumulated vsize (Kb) 670516

[startup+1030.04 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10478
Raw data (/proc/10478/stat): 10478 (pb2sat) R 10477 10478 4060 0 -1 0 252354 0 0 0 101695 810 0 0 25 0 1 0 21941959 686608384 120448 4294967295 134512640 135987407 3221224560 3221223408 134790069 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10478/statm): 167629 120448 364 364 0 167265 0
[pid=10478] vsize: 670516
Current children cumulated CPU time (s) 1025.05
Current children cumulated vsize (Kb) 670516

[startup+1040.03 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10478
Raw data (/proc/10478/stat): 10478 (pb2sat) R 10477 10478 4060 0 -1 0 252358 0 0 0 102686 814 0 0 25 0 1 0 21941959 686608384 120452 4294967295 134512640 135987407 3221224560 3221223376 134824720 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10478/statm): 167629 120452 364 364 0 167265 0
[pid=10478] vsize: 670516
Current children cumulated CPU time (s) 1035
Current children cumulated vsize (Kb) 670516

[startup+1050.04 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10478
Raw data (/proc/10478/stat): 10478 (pb2sat) R 10477 10478 4060 0 -1 0 252710 0 0 0 103684 815 0 0 25 0 1 0 21941959 687656960 120546 4294967295 134512640 135987407 3221224560 3221223408 134789987 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10478/statm): 167885 120546 364 364 0 167521 0
[pid=10478] vsize: 671540
Current children cumulated CPU time (s) 1044.99
Current children cumulated vsize (Kb) 671540

[startup+1060.04 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10478
Raw data (/proc/10478/stat): 10478 (pb2sat) R 10477 10478 4060 0 -1 0 252776 0 0 0 104676 818 0 0 25 0 1 0 21941959 687656960 120612 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10478/statm): 167885 120612 364 364 0 167521 0
[pid=10478] vsize: 671540
Current children cumulated CPU time (s) 1054.94
Current children cumulated vsize (Kb) 671540

[startup+1070.04 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10478
Raw data (/proc/10478/stat): 10478 (pb2sat) R 10477 10478 4060 0 -1 0 253037 0 0 0 105660 824 0 0 25 0 1 0 21941959 688447488 120743 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10478/statm): 168078 120743 364 364 0 167714 0
[pid=10478] vsize: 672312
Current children cumulated CPU time (s) 1064.84
Current children cumulated vsize (Kb) 672312

[startup+1080.04 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10478
Raw data (/proc/10478/stat): 10478 (pb2sat) R 10477 10478 4060 0 -1 0 253301 0 0 0 106644 831 0 0 25 0 1 0 21941959 689643520 120974 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10478/statm): 168370 120974 364 364 0 168006 0
[pid=10478] vsize: 673480
Current children cumulated CPU time (s) 1074.75
Current children cumulated vsize (Kb) 673480

[startup+1090.04 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10478
Raw data (/proc/10478/stat): 10478 (pb2sat) R 10477 10478 4060 0 -1 0 253474 0 0 0 107630 836 0 0 25 0 1 0 21941959 690307072 121082 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10478/statm): 168532 121082 364 364 0 168168 0
[pid=10478] vsize: 674128
Current children cumulated CPU time (s) 1084.66
Current children cumulated vsize (Kb) 674128

[startup+1100.04 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10478
Raw data (/proc/10478/stat): 10478 (pb2sat) R 10477 10478 4060 0 -1 0 256032 0 0 0 108621 843 0 0 25 0 1 0 21941959 690962432 121142 4294967295 134512640 135987407 3221224560 3221223424 134812593 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10478/statm): 168692 121142 364 364 0 168328 0
[pid=10478] vsize: 674768
Current children cumulated CPU time (s) 1094.64
Current children cumulated vsize (Kb) 674768

[startup+1110.04 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10478
Raw data (/proc/10478/stat): 10478 (pb2sat) R 10477 10478 4060 0 -1 0 256039 0 0 0 109598 850 0 0 25 0 1 0 21941959 690962432 121149 4294967295 134512640 135987407 3221224560 3221223248 134811778 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10478/statm): 168692 121149 364 364 0 168328 0
[pid=10478] vsize: 674768
Current children cumulated CPU time (s) 1104.48
Current children cumulated vsize (Kb) 674768

[startup+1120.04 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10478
Raw data (/proc/10478/stat): 10478 (pb2sat) R 10477 10478 4060 0 -1 0 256199 0 0 0 110594 852 0 0 25 0 1 0 21941959 691486720 121180 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10478/statm): 168820 121180 364 364 0 168456 0
[pid=10478] vsize: 675280
Current children cumulated CPU time (s) 1114.46
Current children cumulated vsize (Kb) 675280

[startup+1130.04 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10478
Raw data (/proc/10478/stat): 10478 (pb2sat) R 10477 10478 4060 0 -1 0 256314 0 0 0 111594 852 0 0 25 0 1 0 21941959 691486720 121295 4294967295 134512640 135987407 3221224560 3221223248 134812025 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10478/statm): 168820 121295 364 364 0 168456 0
[pid=10478] vsize: 675280
Current children cumulated CPU time (s) 1124.46
Current children cumulated vsize (Kb) 675280

[startup+1140.04 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10478
Raw data (/proc/10478/stat): 10478 (pb2sat) R 10477 10478 4060 0 -1 0 256560 0 0 0 112593 853 0 0 25 0 1 0 21941959 692011008 121412 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10478/statm): 168948 121412 364 364 0 168584 0
[pid=10478] vsize: 675792
Current children cumulated CPU time (s) 1134.46
Current children cumulated vsize (Kb) 675792

[startup+1150.04 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10478
Raw data (/proc/10478/stat): 10478 (pb2sat) R 10477 10478 4060 0 -1 0 256575 0 0 0 113593 853 0 0 25 0 1 0 21941959 692011008 121427 4294967295 134512640 135987407 3221224560 3221223344 134812436 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10478/statm): 168948 121427 364 364 0 168584 0
[pid=10478] vsize: 675792
Current children cumulated CPU time (s) 1144.46
Current children cumulated vsize (Kb) 675792

[startup+1160.04 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10478
Raw data (/proc/10478/stat): 10478 (pb2sat) R 10477 10478 4060 0 -1 0 256577 0 0 0 114593 853 0 0 25 0 1 0 21941959 692011008 121429 4294967295 134512640 135987407 3221224560 3221223248 134811704 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10478/statm): 168948 121429 364 364 0 168584 0
[pid=10478] vsize: 675792
Current children cumulated CPU time (s) 1154.46
Current children cumulated vsize (Kb) 675792

[startup+1170.04 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10478
Raw data (/proc/10478/stat): 10478 (pb2sat) R 10477 10478 4060 0 -1 0 256795 0 0 0 115590 854 0 0 25 0 1 0 21941959 692535296 121518 4294967295 134512640 135987407 3221224560 3221223424 134812647 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10478/statm): 169076 121518 364 364 0 168712 0
[pid=10478] vsize: 676304
Current children cumulated CPU time (s) 1164.44
Current children cumulated vsize (Kb) 676304

[startup+1180.04 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10478
Raw data (/proc/10478/stat): 10478 (pb2sat) R 10477 10478 4060 0 -1 0 256797 0 0 0 116589 855 0 0 25 0 1 0 21941959 692535296 121520 4294967295 134512640 135987407 3221224560 3221223328 134812426 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10478/statm): 169076 121520 364 364 0 168712 0
[pid=10478] vsize: 676304
Current children cumulated CPU time (s) 1174.44
Current children cumulated vsize (Kb) 676304

[startup+1190.04 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10478
Raw data (/proc/10478/stat): 10478 (pb2sat) R 10477 10478 4060 0 -1 0 256800 0 0 0 117589 855 0 0 25 0 1 0 21941959 692535296 121523 4294967295 134512640 135987407 3221224560 3221223280 134814273 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10478/statm): 169076 121523 364 364 0 168712 0
[pid=10478] vsize: 676304
Current children cumulated CPU time (s) 1184.44
Current children cumulated vsize (Kb) 676304

[startup+1200.04 s]
Raw data (loadavg): 0.99 0.97 0.96 1/55 10478
Raw data (/proc/10478/stat): 10478 (pb2sat) T 10477 10478 4060 0 -1 0 259344 0 0 0 118580 862 0 0 25 0 1 0 21941959 693059584 121602 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/10478/statm): 169204 121602 364 364 0 168840 0
[pid=10478] vsize: 676816
Current children cumulated CPU time (s) 1194.42
Current children cumulated vsize (Kb) 676816

[startup+1210.04 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10478
Raw data (/proc/10478/stat): 10478 (pb2sat) R 10477 10478 4060 0 -1 0 259352 0 0 0 119568 866 0 0 25 0 1 0 21941959 693059584 121610 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10478/statm): 169204 121610 364 364 0 168840 0
[pid=10478] vsize: 676816
Current children cumulated CPU time (s) 1204.34
Current children cumulated vsize (Kb) 676816



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1210.04 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10478
Raw data (/proc/10478/stat): 10478 (pb2sat) R 10477 10478 4060 0 -1 0 259352 0 0 0 119568 866 0 0 25 0 1 0 21941959 693059584 121610 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10478/statm): 169204 121610 364 364 0 168840 0
[pid=10478] vsize: 676816
Current children cumulated CPU time (s) 1204.34
Current children cumulated vsize (Kb) 676816

Sending SIGTERM to -10478
Sleeping 2 seconds
One traced child (pid=10478) exited with status: 0
All traced children have exited ! Game is over.

Child status: 0
Real time (s): 1211.95
CPU time (s): 1206.25
CPU user time (s): 1197.34
CPU system time (s): 8.91164
CPU usage (%): 99.5295
Max. virtual memory (cumulated for all children) (Kb): 679092

Verifier Data

ERROR: no interpretation found !