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-fixnet6.opb
MD5SUM08a1ce7c6c4cc8e461ae1aeabdf15da0
Bench Categoryoptimization, medium integers (OPTMEDINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 3289593
Optimality of the best value was proved NO
Number of terms in the objective function 8282
Biggest coefficient in the objective function 1048576
Number of bits for the biggest coefficient in the objective function 21
Sum of the numbers in the objective function 524133752
Number of bits of the sum of numbers in the objective function 29
Biggest number in a constraint 1048576
Number of bits of the biggest number in a constraint 21
Biggest sum of numbers in a constraint 524133752
Number of bits of the biggest sum of numbers29
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1189.05
Number of variables9890
Total number of constraints978
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)378
Number of constraints which are nor clauses,nor cardinality constraints600
Minimum length of a constraint1
Maximum length of a constraint1072

Trace number 10498

Launcher Data

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        917924 kB
Buffers:         13712 kB
Cached:          85500 kB
SwapCached:          0 kB
Active:          45824 kB
Inactive:        56356 kB
HighTotal:      131008 kB
HighFree:        42392 kB
LowTotal:       903652 kB
LowFree:        875532 kB
SwapTotal:     2097136 kB
SwapFree:      2097136 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6976 kB
Slab:             8912 kB
Committed_AS:    63660 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-09-23 18:40:21 (client local time) WITH STATUS 0 IN 1202.23 SECONDS
stats: 9198 7 1202.23 0

Solver Data

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

c Decision: 321709/1103678	Time: 259.045/86400
c Decision: 321709/1103678	Time: 301.263/86400
c Decision: 321709/1103678	Time: 338.708/86400
c Decision: 321709/1103678	Time: 397.994/86400
c Decision: 321709/1103678	Time: 446.463/86400
c Decision: 321709/1103678	Time: 486.823/86400
c Decision: 321709/1103678	Time: 546.481/86400
c Decision: 321709/1103678	Time: 593.755/86400
c Decision: 321709/1103678	Time: 650.412/86400
c Decision: 321709/1103678	Time: 691.274/86400
c Decision: 321764/1103678	Time: 775.83/86400
c Decision: 321764/1103678	Time: 818.808/86400
c Decision: 321764/1103678	Time: 863.999/86400
c Decision: 321764/1103678	Time: 896.878/86400
c Decision: 321766/1103678	Time: 936.692/86400
c Decision: 321766/1103678	Time: 963.314/86400
c Decision: 321771/1103678	Time: 995.729/86400
c Decision: 321771/1103678	Time: 1015.57/86400
c Decision: 321771/1103678	Time: 1034.86/86400
c Decision: 321771/1103678	Time: 1072.15/86400
c Decision: 321771/1103678	Time: 1111.64/86400
c Decision: 321771/1103678	Time: 1143.54/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/10440/stat): 10440 (pb2sat) R 10439 10440 4060 0 -1 0 18 0 0 0 0 0 0 0 24 0 1 0 22313579 1527808 2 4294967295 134512640 135987407 3221224560 3221224560 134512928 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/10440/statm): 373 2 364 364 0 9 0
[pid=10440] vsize: 1492
open syscall for file /oldhome/oroussel/tmp/wulflinc8/normalized-mps-v2-13-7-fixnet6.opb

[startup+10.0026 s]
Raw data (loadavg): 0.96 1.02 0.99 2/55 10440
Raw data (/proc/10440/stat): 10440 (pb2sat) R 10439 10440 4060 0 -1 0 28301 0 0 0 931 64 0 0 25 0 1 0 22313579 87011328 17129 4294967295 134512640 135987407 3221224560 3220883680 134537371 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10440/statm): 21243 17129 364 364 0 20879 0
[pid=10440] vsize: 84972
Current children cumulated CPU time (s) 9.95
Current children cumulated vsize (Kb) 84972

[startup+20.0034 s]
Raw data (loadavg): 0.97 1.02 0.99 2/55 10440
Raw data (/proc/10440/stat): 10440 (pb2sat) R 10439 10440 4060 0 -1 0 56459 0 0 0 1870 125 0 0 25 0 1 0 22313579 163913728 34042 4294967295 134512640 135987407 3221224560 3221030080 134878063 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10440/statm): 40018 34042 364 364 0 39654 0
[pid=10440] vsize: 160072
Current children cumulated CPU time (s) 19.95
Current children cumulated vsize (Kb) 160072

[startup+30.0041 s]
Raw data (loadavg): 0.97 1.02 0.99 2/55 10440
Raw data (/proc/10440/stat): 10440 (pb2sat) R 10439 10440 4060 0 -1 0 96077 0 0 0 2782 211 0 0 25 0 1 0 22313579 313798656 51452 4294967295 134512640 135987407 3221224560 3221149548 134892452 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10440/statm): 76611 51452 364 364 0 76247 0
[pid=10440] vsize: 306444
Current children cumulated CPU time (s) 29.93
Current children cumulated vsize (Kb) 306444

[startup+40.0049 s]
Raw data (loadavg): 0.98 1.02 0.99 2/55 10440
Raw data (/proc/10440/stat): 10440 (pb2sat) R 10439 10440 4060 0 -1 0 112504 0 0 0 3745 248 0 0 25 0 1 0 22313579 318529536 67606 4294967295 134512640 135987407 3221224560 3220986124 134637002 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10440/statm): 77766 67606 364 364 0 77402 0
[pid=10440] vsize: 311064
Current children cumulated CPU time (s) 39.93
Current children cumulated vsize (Kb) 311064

[startup+50.0057 s]
Raw data (loadavg): 0.98 1.01 0.99 2/55 10440
Raw data (/proc/10440/stat): 10440 (pb2sat) R 10439 10440 4060 0 -1 0 173752 0 0 0 4613 375 0 0 25 0 1 0 22313579 648208384 109246 4294967295 134512640 135987407 3221224560 3221155520 134887487 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10440/statm): 158254 109250 364 364 0 157890 0
[pid=10440] vsize: 633016
Current children cumulated CPU time (s) 49.88
Current children cumulated vsize (Kb) 633016

[startup+60.0065 s]
Raw data (loadavg): 0.98 1.01 0.99 2/55 10440
Raw data (/proc/10440/stat): 10440 (pb2sat) R 10439 10440 4060 0 -1 0 187181 0 0 0 5574 410 0 0 25 0 1 0 22313579 569647104 95234 4294967295 134512640 135987407 3221224560 3221223308 134811686 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10440/statm): 139074 95234 364 364 0 138710 0
[pid=10440] vsize: 556296
Current children cumulated CPU time (s) 59.84
Current children cumulated vsize (Kb) 556296

[startup+70.0072 s]
Raw data (loadavg): 0.98 1.01 0.99 2/55 10440
Raw data (/proc/10440/stat): 10440 (pb2sat) R 10439 10440 4060 0 -1 0 189293 0 0 0 6553 420 0 0 25 0 1 0 22313579 579674112 97281 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10440/statm): 141522 97281 364 364 0 141158 0
[pid=10440] vsize: 566088
Current children cumulated CPU time (s) 69.73
Current children cumulated vsize (Kb) 566088

[startup+80.008 s]
Raw data (loadavg): 0.99 1.01 0.99 2/55 10440
Raw data (/proc/10440/stat): 10440 (pb2sat) R 10439 10440 4060 0 -1 0 189645 0 0 0 7548 423 0 0 25 0 1 0 22313579 581185536 97600 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10440/statm): 141891 97600 364 364 0 141527 0
[pid=10440] vsize: 567564
Current children cumulated CPU time (s) 79.71
Current children cumulated vsize (Kb) 567564

[startup+90.0078 s]
Raw data (loadavg): 0.99 1.01 0.99 2/55 10440
Raw data (/proc/10440/stat): 10440 (pb2sat) R 10439 10440 4060 0 -1 0 189748 0 0 0 8543 425 0 0 25 0 1 0 22313579 581615616 97670 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10440/statm): 141996 97670 364 364 0 141632 0
[pid=10440] vsize: 567984
Current children cumulated CPU time (s) 89.68
Current children cumulated vsize (Kb) 567984

[startup+100.008 s]
Raw data (loadavg): 0.99 1.01 0.99 2/55 10440
Raw data (/proc/10440/stat): 10440 (pb2sat) R 10439 10440 4060 0 -1 0 189935 0 0 0 9540 427 0 0 25 0 1 0 22313579 582283264 97824 4294967295 134512640 135987407 3221224560 3221223408 134790060 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10440/statm): 142159 97824 364 364 0 141795 0
[pid=10440] vsize: 568636
Current children cumulated CPU time (s) 99.67
Current children cumulated vsize (Kb) 568636

[startup+110.008 s]
Raw data (loadavg): 0.99 1.01 0.99 2/55 10440
Raw data (/proc/10440/stat): 10440 (pb2sat) R 10439 10440 4060 0 -1 0 190453 0 0 0 10535 430 0 0 25 0 1 0 22313579 584171520 98177 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10440/statm): 142620 98177 364 364 0 142256 0
[pid=10440] vsize: 570480
Current children cumulated CPU time (s) 109.65
Current children cumulated vsize (Kb) 570480

[startup+120.008 s]
Raw data (loadavg): 0.99 1.01 0.99 2/55 10440
Raw data (/proc/10440/stat): 10440 (pb2sat) R 10439 10440 4060 0 -1 0 190526 0 0 0 11533 431 0 0 25 0 1 0 22313579 584441856 98250 4294967295 134512640 135987407 3221224560 3221223408 134790000 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10440/statm): 142686 98250 364 364 0 142322 0
[pid=10440] vsize: 570744
Current children cumulated CPU time (s) 119.64
Current children cumulated vsize (Kb) 570744

[startup+130.009 s]
Raw data (loadavg): 0.99 1.01 0.99 2/55 10440
Raw data (/proc/10440/stat): 10440 (pb2sat) R 10439 10440 4060 0 -1 0 190627 0 0 0 12530 432 0 0 25 0 1 0 22313579 584704000 98285 4294967295 134512640 135987407 3221224560 3221223248 134812038 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10440/statm): 142750 98285 364 364 0 142386 0
[pid=10440] vsize: 571000
Current children cumulated CPU time (s) 129.62
Current children cumulated vsize (Kb) 571000

[startup+140.009 s]
Raw data (loadavg): 0.99 1.01 0.99 2/55 10440
Raw data (/proc/10440/stat): 10440 (pb2sat) R 10439 10440 4060 0 -1 0 190735 0 0 0 13527 433 0 0 25 0 1 0 22313579 585138176 98393 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10440/statm): 142856 98393 364 364 0 142492 0
[pid=10440] vsize: 571424
Current children cumulated CPU time (s) 139.6
Current children cumulated vsize (Kb) 571424

[startup+150.008 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 10440
Raw data (/proc/10440/stat): 10440 (pb2sat) R 10439 10440 4060 0 -1 0 190790 0 0 0 14524 434 0 0 25 0 1 0 22313579 585269248 98415 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10440/statm): 142888 98415 364 364 0 142524 0
[pid=10440] vsize: 571552
Current children cumulated CPU time (s) 149.58
Current children cumulated vsize (Kb) 571552

[startup+160.008 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 10440
Raw data (/proc/10440/stat): 10440 (pb2sat) R 10439 10440 4060 0 -1 0 190814 0 0 0 15521 435 0 0 25 0 1 0 22313579 585269248 98439 4294967295 134512640 135987407 3221224560 3221223248 134811704 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10440/statm): 142888 98439 364 364 0 142524 0
[pid=10440] vsize: 571552
Current children cumulated CPU time (s) 159.56
Current children cumulated vsize (Kb) 571552

[startup+170.008 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 10440
Raw data (/proc/10440/stat): 10440 (pb2sat) R 10439 10440 4060 0 -1 0 190833 0 0 0 16518 436 0 0 25 0 1 0 22313579 585269248 98458 4294967295 134512640 135987407 3221224560 3221223408 134790069 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10440/statm): 142888 98458 364 364 0 142524 0
[pid=10440] vsize: 571552
Current children cumulated CPU time (s) 169.54
Current children cumulated vsize (Kb) 571552

[startup+180.009 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 10440
Raw data (/proc/10440/stat): 10440 (pb2sat) R 10439 10440 4060 0 -1 0 190852 0 0 0 17516 437 0 0 25 0 1 0 22313579 585269248 98477 4294967295 134512640 135987407 3221224560 3221223324 134812119 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10440/statm): 142888 98477 364 364 0 142524 0
[pid=10440] vsize: 571552
Current children cumulated CPU time (s) 179.53
Current children cumulated vsize (Kb) 571552

[startup+190.01 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 10440
Raw data (/proc/10440/stat): 10440 (pb2sat) R 10439 10440 4060 0 -1 0 190874 0 0 0 18514 438 0 0 25 0 1 0 22313579 585269248 98499 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10440/statm): 142888 98499 364 364 0 142524 0
[pid=10440] vsize: 571552
Current children cumulated CPU time (s) 189.52
Current children cumulated vsize (Kb) 571552

[startup+200.009 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 10440
Raw data (/proc/10440/stat): 10440 (pb2sat) R 10439 10440 4060 0 -1 0 190932 0 0 0 19510 439 0 0 25 0 1 0 22313579 585400320 98524 4294967295 134512640 135987407 3221224560 3221223408 134790060 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10440/statm): 142920 98524 364 364 0 142556 0
[pid=10440] vsize: 571680
Current children cumulated CPU time (s) 199.49
Current children cumulated vsize (Kb) 571680

[startup+210.009 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 10440
Raw data (/proc/10440/stat): 10440 (pb2sat) R 10439 10440 4060 0 -1 0 190984 0 0 0 20507 441 0 0 25 0 1 0 22313579 585666560 98576 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10440/statm): 142985 98576 364 364 0 142621 0
[pid=10440] vsize: 571940
Current children cumulated CPU time (s) 209.48
Current children cumulated vsize (Kb) 571940

[startup+220.009 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 10440
Raw data (/proc/10440/stat): 10440 (pb2sat) R 10439 10440 4060 0 -1 0 191297 0 0 0 21504 443 0 0 25 0 1 0 22313579 586629120 98790 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3225643616 0 0 17 0 0 0
Raw data (/proc/10440/statm): 143220 98790 364 364 0 142856 0
[pid=10440] vsize: 572880
Current children cumulated CPU time (s) 219.47
Current children cumulated vsize (Kb) 572880

[startup+230.01 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 10440
Raw data (/proc/10440/stat): 10440 (pb2sat) R 10439 10440 4060 0 -1 0 191734 0 0 0 22499 446 0 0 25 0 1 0 22313579 588226560 99062 4294967295 134512640 135987407 3221224560 3221223376 134824238 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10440/statm): 143610 99062 364 364 0 143246 0
[pid=10440] vsize: 574440
Current children cumulated CPU time (s) 229.45
Current children cumulated vsize (Kb) 574440

[startup+240.01 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 10440
Raw data (/proc/10440/stat): 10440 (pb2sat) R 10439 10440 4060 0 -1 0 191771 0 0 0 23496 447 0 0 25 0 1 0 22313579 588226560 99099 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10440/statm): 143610 99099 364 364 0 143246 0
[pid=10440] vsize: 574440
Current children cumulated CPU time (s) 239.43
Current children cumulated vsize (Kb) 574440

[startup+250.01 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 10440
Raw data (/proc/10440/stat): 10440 (pb2sat) R 10439 10440 4060 0 -1 0 192146 0 0 0 24489 450 0 0 25 0 1 0 22313579 590049280 99474 4294967295 134512640 135987407 3221224560 3221223376 134824240 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10440/statm): 144055 99474 364 364 0 143691 0
[pid=10440] vsize: 576220
Current children cumulated CPU time (s) 249.39
Current children cumulated vsize (Kb) 576220

[startup+260.011 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 10440
Raw data (/proc/10440/stat): 10440 (pb2sat) R 10439 10440 4060 0 -1 0 193074 0 0 0 25478 454 0 0 25 0 1 0 22313579 594481152 100369 4294967295 134512640 135987407 3221224560 3221223344 134812358 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10440/statm): 145137 100369 364 364 0 144773 0
[pid=10440] vsize: 580548
Current children cumulated CPU time (s) 259.32
Current children cumulated vsize (Kb) 580548

[startup+270.011 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 10440
Raw data (/proc/10440/stat): 10440 (pb2sat) R 10439 10440 4060 0 -1 0 193333 0 0 0 26474 457 0 0 25 0 1 0 22313579 595689472 100562 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10440/statm): 145432 100562 364 364 0 145068 0
[pid=10440] vsize: 581728
Current children cumulated CPU time (s) 269.31
Current children cumulated vsize (Kb) 581728

[startup+280.012 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 10440
Raw data (/proc/10440/stat): 10440 (pb2sat) R 10439 10440 4060 0 -1 0 193835 0 0 0 27469 459 0 0 25 0 1 0 22313579 597143552 100834 4294967295 134512640 135987407 3221224560 3221223248 134811870 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10440/statm): 145787 100834 364 364 0 145423 0
[pid=10440] vsize: 583148
Current children cumulated CPU time (s) 279.28
Current children cumulated vsize (Kb) 583148

[startup+290.012 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 10440
Raw data (/proc/10440/stat): 10440 (pb2sat) R 10439 10440 4060 0 -1 0 194286 0 0 0 28462 461 0 0 25 0 1 0 22313579 598528000 101055 4294967295 134512640 135987407 3221224560 3221223424 134812612 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10440/statm): 146125 101055 364 364 0 145761 0
[pid=10440] vsize: 584500
Current children cumulated CPU time (s) 289.23
Current children cumulated vsize (Kb) 584500

[startup+300.012 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 10440
Raw data (/proc/10440/stat): 10440 (pb2sat) R 10439 10440 4060 0 -1 0 194785 0 0 0 29448 466 0 0 25 0 1 0 22313579 600842240 101489 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10440/statm): 146690 101489 364 364 0 146326 0
[pid=10440] vsize: 586760
Current children cumulated CPU time (s) 299.14
Current children cumulated vsize (Kb) 586760

[startup+310.013 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 10440
Raw data (/proc/10440/stat): 10440 (pb2sat) R 10439 10440 4060 0 -1 0 196947 0 0 0 30441 472 0 0 25 0 1 0 22313579 600842240 101495 4294967295 134512640 135987407 3221224560 3221223376 134876808 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10440/statm): 146690 101495 364 364 0 146326 0
[pid=10440] vsize: 586760
Current children cumulated CPU time (s) 309.13
Current children cumulated vsize (Kb) 586760

[startup+320.013 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 10440
Raw data (/proc/10440/stat): 10440 (pb2sat) R 10439 10440 4060 0 -1 0 197958 0 0 0 31426 479 0 0 25 0 1 0 22313579 605786112 102408 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10440/statm): 147897 102408 364 364 0 147533 0
[pid=10440] vsize: 591588
Current children cumulated CPU time (s) 319.05
Current children cumulated vsize (Kb) 591588

[startup+330.014 s]
Raw data (loadavg): 0.99 1.00 0.99 1/55 10440
Raw data (/proc/10440/stat): 10440 (pb2sat) T 10439 10440 4060 0 -1 0 199039 0 0 0 32407 487 0 0 25 0 1 0 22313579 609923072 103267 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/10440/statm): 148907 103267 364 364 0 148543 0
[pid=10440] vsize: 595628
Current children cumulated CPU time (s) 328.94
Current children cumulated vsize (Kb) 595628

[startup+340.014 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 10440
Raw data (/proc/10440/stat): 10440 (pb2sat) R 10439 10440 4060 0 -1 0 199963 0 0 0 33393 492 0 0 25 0 1 0 22313579 614080512 103995 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10440/statm): 149922 103995 364 364 0 149558 0
[pid=10440] vsize: 599688
Current children cumulated CPU time (s) 338.85
Current children cumulated vsize (Kb) 599688

[startup+350.014 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 10440
Raw data (/proc/10440/stat): 10440 (pb2sat) R 10439 10440 4060 0 -1 0 200234 0 0 0 34383 496 0 0 25 0 1 0 22313579 615292928 104266 4294967295 134512640 135987407 3221224560 3221223280 134814273 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10440/statm): 150218 104266 364 364 0 149854 0
[pid=10440] vsize: 600872
Current children cumulated CPU time (s) 348.79
Current children cumulated vsize (Kb) 600872

[startup+360.015 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 10440
Raw data (/proc/10440/stat): 10440 (pb2sat) R 10439 10440 4060 0 -1 0 202525 0 0 0 35365 505 0 0 25 0 1 0 22313579 616026112 104401 4294967295 134512640 135987407 3221224560 3221223248 134812056 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10440/statm): 150397 104401 364 364 0 150033 0
[pid=10440] vsize: 601588
Current children cumulated CPU time (s) 358.7
Current children cumulated vsize (Kb) 601588

[startup+370.016 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 10440
Raw data (/proc/10440/stat): 10440 (pb2sat) R 10439 10440 4060 0 -1 0 202748 0 0 0 36347 511 0 0 25 0 1 0 22313579 616960000 104558 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10440/statm): 150625 104558 364 364 0 150261 0
[pid=10440] vsize: 602500
Current children cumulated CPU time (s) 368.58
Current children cumulated vsize (Kb) 602500

[startup+380.016 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 10440
Raw data (/proc/10440/stat): 10440 (pb2sat) R 10439 10440 4060 0 -1 0 203221 0 0 0 37335 516 0 0 25 0 1 0 22313579 618426368 104866 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10440/statm): 150983 104866 364 364 0 150619 0
[pid=10440] vsize: 603932
Current children cumulated CPU time (s) 378.51
Current children cumulated vsize (Kb) 603932

[startup+390.016 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 10440
Raw data (/proc/10440/stat): 10440 (pb2sat) R 10439 10440 4060 0 -1 0 205382 0 0 0 38320 523 0 0 25 0 1 0 22313579 627257344 107027 4294967295 134512640 135987407 3221224560 3221222944 134828922 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10440/statm): 153139 107027 364 364 0 152775 0
[pid=10440] vsize: 612556
Current children cumulated CPU time (s) 388.43
Current children cumulated vsize (Kb) 612556

[startup+400.016 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 10440
Raw data (/proc/10440/stat): 10440 (pb2sat) R 10439 10440 4060 0 -1 0 206101 0 0 0 39307 529 0 0 25 0 1 0 22313579 621559808 105508 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10440/statm): 151748 105508 364 364 0 151384 0
[pid=10440] vsize: 606992
Current children cumulated CPU time (s) 398.36
Current children cumulated vsize (Kb) 606992

[startup+410.017 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 10440
Raw data (/proc/10440/stat): 10440 (pb2sat) R 10439 10440 4060 0 -1 0 206826 0 0 0 40287 537 0 0 25 0 1 0 22313579 625135616 106233 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10440/statm): 152621 106233 364 364 0 152257 0
[pid=10440] vsize: 610484
Current children cumulated CPU time (s) 408.24
Current children cumulated vsize (Kb) 610484

[startup+420.017 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 10440
Raw data (/proc/10440/stat): 10440 (pb2sat) R 10439 10440 4060 0 -1 0 207448 0 0 0 41275 543 0 0 25 0 1 0 22313579 627851264 106691 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10440/statm): 153284 106691 364 364 0 152920 0
[pid=10440] vsize: 613136
Current children cumulated CPU time (s) 418.18
Current children cumulated vsize (Kb) 613136

[startup+430.018 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 10440
Raw data (/proc/10440/stat): 10440 (pb2sat) R 10439 10440 4060 0 -1 0 207738 0 0 0 42262 548 0 0 25 0 1 0 22313579 628776960 106817 4294967295 134512640 135987407 3221224560 3221223408 134790054 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10440/statm): 153510 106817 364 364 0 153146 0
[pid=10440] vsize: 614040
Current children cumulated CPU time (s) 428.1
Current children cumulated vsize (Kb) 614040

[startup+440.019 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 10440
Raw data (/proc/10440/stat): 10440 (pb2sat) R 10439 10440 4060 0 -1 0 207978 0 0 0 43251 552 0 0 25 0 1 0 22313579 629846016 106991 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10440/statm): 153771 106991 364 364 0 153407 0
[pid=10440] vsize: 615084
Current children cumulated CPU time (s) 438.03
Current children cumulated vsize (Kb) 615084

[startup+450.019 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 10440
Raw data (/proc/10440/stat): 10440 (pb2sat) R 10439 10440 4060 0 -1 0 210256 0 0 0 44244 558 0 0 25 0 1 0 22313579 639074304 109236 4294967295 134512640 135987407 3221224560 3221222944 134829357 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10440/statm): 156024 109236 364 364 0 155660 0
[pid=10440] vsize: 624096
Current children cumulated CPU time (s) 448.02
Current children cumulated vsize (Kb) 624096

[startup+460.02 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 10440
Raw data (/proc/10440/stat): 10440 (pb2sat) R 10439 10440 4060 0 -1 0 210373 0 0 0 45232 562 0 0 25 0 1 0 22313579 630784000 107197 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10440/statm): 154000 107197 364 364 0 153636 0
[pid=10440] vsize: 616000
Current children cumulated CPU time (s) 457.94
Current children cumulated vsize (Kb) 616000

[startup+470.02 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 10440
Raw data (/proc/10440/stat): 10440 (pb2sat) R 10439 10440 4060 0 -1 0 210651 0 0 0 46214 569 0 0 25 0 1 0 22313579 632119296 107442 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10440/statm): 154326 107442 364 364 0 153962 0
[pid=10440] vsize: 617304
Current children cumulated CPU time (s) 467.83
Current children cumulated vsize (Kb) 617304

[startup+480.021 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 10440
Raw data (/proc/10440/stat): 10440 (pb2sat) R 10439 10440 4060 0 -1 0 210840 0 0 0 47199 573 0 0 25 0 1 0 22313579 633065472 107631 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10440/statm): 154557 107631 364 364 0 154193 0
[pid=10440] vsize: 618228
Current children cumulated CPU time (s) 477.72
Current children cumulated vsize (Kb) 618228

[startup+490.022 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 10440
Raw data (/proc/10440/stat): 10440 (pb2sat) R 10439 10440 4060 0 -1 0 210876 0 0 0 48182 579 0 0 25 0 1 0 22313579 633200640 107667 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10440/statm): 154590 107667 364 364 0 154226 0
[pid=10440] vsize: 618360
Current children cumulated CPU time (s) 487.61
Current children cumulated vsize (Kb) 618360

[startup+500.022 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 10440
Raw data (/proc/10440/stat): 10440 (pb2sat) R 10439 10440 4060 0 -1 0 213059 0 0 0 49166 588 0 0 25 0 1 0 22313579 633532416 107694 4294967295 134512640 135987407 3221224560 3221223200 134789619 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10440/statm): 154671 107694 364 364 0 154307 0
[pid=10440] vsize: 618684
Current children cumulated CPU time (s) 497.54
Current children cumulated vsize (Kb) 618684

[startup+510.023 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 10440
Raw data (/proc/10440/stat): 10440 (pb2sat) R 10439 10440 4060 0 -1 0 213237 0 0 0 50150 594 0 0 25 0 1 0 22313579 634195968 107839 4294967295 134512640 135987407 3221224560 3221223248 134811701 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10440/statm): 154833 107839 364 364 0 154469 0
[pid=10440] vsize: 619332
Current children cumulated CPU time (s) 507.44
Current children cumulated vsize (Kb) 619332

[startup+520.022 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 10440
Raw data (/proc/10440/stat): 10440 (pb2sat) R 10439 10440 4060 0 -1 0 213452 0 0 0 51135 601 0 0 25 0 1 0 22313579 634855424 107955 4294967295 134512640 135987407 3221224560 3221223248 134811980 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10440/statm): 154994 107955 364 364 0 154630 0
[pid=10440] vsize: 619976
Current children cumulated CPU time (s) 517.36
Current children cumulated vsize (Kb) 619976

[startup+530.023 s]
Raw data (loadavg): 0.99 1.00 0.99 1/55 10440
Raw data (/proc/10440/stat): 10440 (pb2sat) T 10439 10440 4060 0 -1 0 213466 0 0 0 52123 604 0 0 25 0 1 0 22313579 634855424 107969 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/10440/statm): 154994 107969 364 364 0 154630 0
[pid=10440] vsize: 619976
Current children cumulated CPU time (s) 527.27
Current children cumulated vsize (Kb) 619976

[startup+540.023 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 10440
Raw data (/proc/10440/stat): 10440 (pb2sat) R 10439 10440 4060 0 -1 0 215626 0 0 0 53113 611 0 0 25 0 1 0 22313579 634855424 107973 4294967295 134512640 135987407 3221224560 3221223376 134876866 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10440/statm): 154994 107973 364 364 0 154630 0
[pid=10440] vsize: 619976
Current children cumulated CPU time (s) 537.24
Current children cumulated vsize (Kb) 619976

[startup+550.024 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 10440
Raw data (/proc/10440/stat): 10440 (pb2sat) R 10439 10440 4060 0 -1 0 215873 0 0 0 54097 617 0 0 25 0 1 0 22313579 635916288 108154 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10440/statm): 155253 108154 364 364 0 154889 0
[pid=10440] vsize: 621012
Current children cumulated CPU time (s) 547.14
Current children cumulated vsize (Kb) 621012

[startup+560.024 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 10440
Raw data (/proc/10440/stat): 10440 (pb2sat) R 10439 10440 4060 0 -1 0 216201 0 0 0 55069 627 0 0 25 0 1 0 22313579 637517824 108416 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10440/statm): 155644 108416 364 364 0 155280 0
[pid=10440] vsize: 622576
Current children cumulated CPU time (s) 556.96
Current children cumulated vsize (Kb) 622576

[startup+570.024 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 10440
Raw data (/proc/10440/stat): 10440 (pb2sat) R 10439 10440 4060 0 -1 0 216743 0 0 0 56053 633 0 0 25 0 1 0 22313579 640016384 108826 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10440/statm): 156254 108826 364 364 0 155890 0
[pid=10440] vsize: 625016
Current children cumulated CPU time (s) 566.86
Current children cumulated vsize (Kb) 625016

[startup+580.025 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 10440
Raw data (/proc/10440/stat): 10440 (pb2sat) R 10439 10440 4060 0 -1 0 216935 0 0 0 57039 638 0 0 25 0 1 0 22313579 640679936 108919 4294967295 134512640 135987407 3221224560 3221223248 134811704 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10440/statm): 156416 108919 364 364 0 156052 0
[pid=10440] vsize: 625664
Current children cumulated CPU time (s) 576.77
Current children cumulated vsize (Kb) 625664

[startup+590.026 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 10440
Raw data (/proc/10440/stat): 10440 (pb2sat) R 10439 10440 4060 0 -1 0 217095 0 0 0 58026 642 0 0 25 0 1 0 22313579 641212416 109013 4294967295 134512640 135987407 3221224560 3221223408 134790009 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10440/statm): 156546 109013 364 364 0 156182 0
[pid=10440] vsize: 626184
Current children cumulated CPU time (s) 586.68
Current children cumulated vsize (Kb) 626184

[startup+600.026 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 10440
Raw data (/proc/10440/stat): 10440 (pb2sat) R 10439 10440 4060 0 -1 0 219419 0 0 0 59012 650 0 0 25 0 1 0 22313579 650571776 111238 4294967295 134512640 135987407 3221224560 3221222924 134827506 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10440/statm): 158831 111238 364 364 0 158467 0
[pid=10440] vsize: 635324
Current children cumulated CPU time (s) 596.62
Current children cumulated vsize (Kb) 635324

[startup+610.026 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 10440
Raw data (/proc/10440/stat): 10440 (pb2sat) T 10439 10440 4060 0 -1 0 219790 0 0 0 59993 657 0 0 25 0 1 0 22313579 643719168 109387 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/10440/statm): 157158 109387 364 364 0 156794 0
[pid=10440] vsize: 628632
Current children cumulated CPU time (s) 606.5
Current children cumulated vsize (Kb) 628632

[startup+620.026 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 10440
Raw data (/proc/10440/stat): 10440 (pb2sat) R 10439 10440 4060 0 -1 0 220037 0 0 0 60972 665 0 0 25 0 1 0 22313579 644931584 109601 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10440/statm): 157454 109601 364 364 0 157090 0
[pid=10440] vsize: 629816
Current children cumulated CPU time (s) 616.37
Current children cumulated vsize (Kb) 629816

[startup+630.027 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 10440
Raw data (/proc/10440/stat): 10440 (pb2sat) R 10439 10440 4060 0 -1 0 220122 0 0 0 61959 670 0 0 25 0 1 0 22313579 645197824 109653 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10440/statm): 157519 109653 364 364 0 157155 0
[pid=10440] vsize: 630076
Current children cumulated CPU time (s) 626.29
Current children cumulated vsize (Kb) 630076

[startup+640.028 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 10440
Raw data (/proc/10440/stat): 10440 (pb2sat) R 10439 10440 4060 0 -1 0 220159 0 0 0 62950 673 0 0 25 0 1 0 22313579 645464064 109690 4294967295 134512640 135987407 3221224560 3221223408 134790069 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10440/statm): 157584 109690 364 364 0 157220 0
[pid=10440] vsize: 630336
Current children cumulated CPU time (s) 636.23
Current children cumulated vsize (Kb) 630336

[startup+650.029 s]
Raw data (loadavg): 0.99 1.00 0.99 1/55 10440
Raw data (/proc/10440/stat): 10440 (pb2sat) T 10439 10440 4060 0 -1 0 222356 0 0 0 63935 682 0 0 25 0 1 0 22313579 645599232 109731 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/10440/statm): 157617 109731 364 364 0 157253 0
[pid=10440] vsize: 630468
Current children cumulated CPU time (s) 646.17
Current children cumulated vsize (Kb) 630468

[startup+660.029 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 10440
Raw data (/proc/10440/stat): 10440 (pb2sat) R 10439 10440 4060 0 -1 0 222672 0 0 0 64909 691 0 0 25 0 1 0 22313579 647024640 110014 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10440/statm): 157965 110014 364 364 0 157601 0
[pid=10440] vsize: 631860
Current children cumulated CPU time (s) 656
Current children cumulated vsize (Kb) 631860

[startup+670.029 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 10440
Raw data (/proc/10440/stat): 10440 (pb2sat) R 10439 10440 4060 0 -1 0 223458 0 0 0 65883 701 0 0 25 0 1 0 22313579 650833920 110701 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10440/statm): 158895 110701 364 364 0 158531 0
[pid=10440] vsize: 635580
Current children cumulated CPU time (s) 665.84
Current children cumulated vsize (Kb) 635580

[startup+680.03 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 10440
Raw data (/proc/10440/stat): 10440 (pb2sat) R 10439 10440 4060 0 -1 0 223937 0 0 0 66863 708 0 0 25 0 1 0 22313579 653320192 111114 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10440/statm): 159502 111114 364 364 0 159138 0
[pid=10440] vsize: 638008
Current children cumulated CPU time (s) 675.71
Current children cumulated vsize (Kb) 638008

[startup+690.031 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 10440
Raw data (/proc/10440/stat): 10440 (pb2sat) R 10439 10440 4060 0 -1 0 224129 0 0 0 67846 714 0 0 25 0 1 0 22313579 654118912 111240 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10440/statm): 159697 111240 364 364 0 159333 0
[pid=10440] vsize: 638788
Current children cumulated CPU time (s) 685.6
Current children cumulated vsize (Kb) 638788

[startup+700.03 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 10440
Raw data (/proc/10440/stat): 10440 (pb2sat) R 10439 10440 4060 0 -1 0 224139 0 0 0 68832 719 0 0 25 0 1 0 22313579 654118912 111250 4294967295 134512640 135987407 3221224560 3221223408 134790069 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10440/statm): 159697 111250 364 364 0 159333 0
[pid=10440] vsize: 638788
Current children cumulated CPU time (s) 695.51
Current children cumulated vsize (Kb) 638788

[startup+710.031 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 10440
Raw data (/proc/10440/stat): 10440 (pb2sat) R 10439 10440 4060 0 -1 0 226341 0 0 0 69812 730 0 0 25 0 1 0 22313579 654389248 111296 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10440/statm): 159763 111296 364 364 0 159399 0
[pid=10440] vsize: 639052
Current children cumulated CPU time (s) 705.42
Current children cumulated vsize (Kb) 639052

[startup+720.032 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 10440
Raw data (/proc/10440/stat): 10440 (pb2sat) R 10439 10440 4060 0 -1 0 226518 0 0 0 70790 739 0 0 25 0 1 0 22313579 655056896 111407 4294967295 134512640 135987407 3221224560 3221223248 134811942 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10440/statm): 159926 111407 364 364 0 159562 0
[pid=10440] vsize: 639704
Current children cumulated CPU time (s) 715.29
Current children cumulated vsize (Kb) 639704

[startup+730.033 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 10440
Raw data (/proc/10440/stat): 10440 (pb2sat) R 10439 10440 4060 0 -1 0 226650 0 0 0 71775 744 0 0 25 0 1 0 22313579 655593472 111506 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10440/statm): 160057 111506 364 364 0 159693 0
[pid=10440] vsize: 640228
Current children cumulated CPU time (s) 725.19
Current children cumulated vsize (Kb) 640228

[startup+740.034 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 10440
Raw data (/proc/10440/stat): 10440 (pb2sat) R 10439 10440 4060 0 -1 0 226834 0 0 0 72767 747 0 0 25 0 1 0 22313579 656392192 111624 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10440/statm): 160252 111624 364 364 0 159888 0
[pid=10440] vsize: 641008
Current children cumulated CPU time (s) 735.14
Current children cumulated vsize (Kb) 641008

[startup+750.033 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 10440
Raw data (/proc/10440/stat): 10440 (pb2sat) R 10439 10440 4060 0 -1 0 229007 0 0 0 73749 757 0 0 25 0 1 0 22313579 656392192 111641 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10440/statm): 160252 111641 364 364 0 159888 0
[pid=10440] vsize: 641008
Current children cumulated CPU time (s) 745.06
Current children cumulated vsize (Kb) 641008

[startup+760.034 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 10440
Raw data (/proc/10440/stat): 10440 (pb2sat) R 10439 10440 4060 0 -1 0 229222 0 0 0 74729 764 0 0 24 0 1 0 22313579 657334272 111823 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10440/statm): 160482 111823 364 364 0 160118 0
[pid=10440] vsize: 641928
Current children cumulated CPU time (s) 754.93
Current children cumulated vsize (Kb) 641928

[startup+770.035 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 10440
Raw data (/proc/10440/stat): 10440 (pb2sat) R 10439 10440 4060 0 -1 0 229389 0 0 0 75708 770 0 0 25 0 1 0 22313579 658141184 111990 4294967295 134512640 135987407 3221224560 3221223424 134812647 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10440/statm): 160679 111990 364 364 0 160315 0
[pid=10440] vsize: 642716
Current children cumulated CPU time (s) 764.78
Current children cumulated vsize (Kb) 642716

[startup+780.036 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 10440
Raw data (/proc/10440/stat): 10440 (pb2sat) R 10439 10440 4060 0 -1 0 229586 0 0 0 76694 775 0 0 25 0 1 0 22313579 658669568 112088 4294967295 134512640 135987407 3221224560 3221223408 134790000 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10440/statm): 160808 112088 364 364 0 160444 0
[pid=10440] vsize: 643232
Current children cumulated CPU time (s) 774.69
Current children cumulated vsize (Kb) 643232

[startup+790.037 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 10440
Raw data (/proc/10440/stat): 10440 (pb2sat) R 10439 10440 4060 0 -1 0 229656 0 0 0 77679 781 0 0 25 0 1 0 22313579 658935808 112125 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10440/statm): 160873 112125 364 364 0 160509 0
[pid=10440] vsize: 643492
Current children cumulated CPU time (s) 784.6
Current children cumulated vsize (Kb) 643492

[startup+800.037 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 10440
Raw data (/proc/10440/stat): 10440 (pb2sat) R 10439 10440 4060 0 -1 0 229681 0 0 0 78665 786 0 0 25 0 1 0 22313579 659070976 112150 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10440/statm): 160906 112150 364 364 0 160542 0
[pid=10440] vsize: 643624
Current children cumulated CPU time (s) 794.51
Current children cumulated vsize (Kb) 643624

[startup+810.038 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 10440
Raw data (/proc/10440/stat): 10440 (pb2sat) R 10439 10440 4060 0 -1 0 229754 0 0 0 79651 790 0 0 25 0 1 0 22313579 659337216 112190 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10440/statm): 160971 112190 364 364 0 160607 0
[pid=10440] vsize: 643884
Current children cumulated CPU time (s) 804.41
Current children cumulated vsize (Kb) 643884

[startup+820.038 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 10440
Raw data (/proc/10440/stat): 10440 (pb2sat) R 10439 10440 4060 0 -1 0 229806 0 0 0 80631 796 0 0 25 0 1 0 22313579 659468288 112209 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10440/statm): 161003 112209 364 364 0 160639 0
[pid=10440] vsize: 644012
Current children cumulated CPU time (s) 814.27
Current children cumulated vsize (Kb) 644012

[startup+830.039 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 10440
Raw data (/proc/10440/stat): 10440 (pb2sat) R 10439 10440 4060 0 -1 0 231963 0 0 0 81615 805 0 0 25 0 1 0 22313579 659468288 112210 4294967295 134512640 135987407 3221224560 3221223372 134876997 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10440/statm): 161003 112210 364 364 0 160639 0
[pid=10440] vsize: 644012
Current children cumulated CPU time (s) 824.2
Current children cumulated vsize (Kb) 644012

[startup+840.039 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 10440
Raw data (/proc/10440/stat): 10440 (pb2sat) R 10439 10440 4060 0 -1 0 232083 0 0 0 82596 812 0 0 25 0 1 0 22313579 660004864 112297 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10440/statm): 161134 112297 364 364 0 160770 0
[pid=10440] vsize: 644536
Current children cumulated CPU time (s) 834.08
Current children cumulated vsize (Kb) 644536

[startup+850.039 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 10440
Raw data (/proc/10440/stat): 10440 (pb2sat) R 10439 10440 4060 0 -1 0 232236 0 0 0 83581 818 0 0 25 0 1 0 22313579 660815872 112450 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10440/statm): 161332 112450 364 364 0 160968 0
[pid=10440] vsize: 645328
Current children cumulated CPU time (s) 843.99
Current children cumulated vsize (Kb) 645328

[startup+860.04 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 10440
Raw data (/proc/10440/stat): 10440 (pb2sat) R 10439 10440 4060 0 -1 0 232298 0 0 0 84564 823 0 0 25 0 1 0 22313579 661217280 112512 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10440/statm): 161430 112512 364 364 0 161066 0
[pid=10440] vsize: 645720
Current children cumulated CPU time (s) 853.87
Current children cumulated vsize (Kb) 645720

[startup+870.041 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 10440
Raw data (/proc/10440/stat): 10440 (pb2sat) R 10439 10440 4060 0 -1 0 232367 0 0 0 85549 828 0 0 25 0 1 0 22313579 661348352 112548 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10440/statm): 161462 112548 364 364 0 161098 0
[pid=10440] vsize: 645848
Current children cumulated CPU time (s) 863.77
Current children cumulated vsize (Kb) 645848

[startup+880.041 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 10440
Raw data (/proc/10440/stat): 10440 (pb2sat) R 10439 10440 4060 0 -1 0 234523 0 0 0 86533 838 0 0 25 0 1 0 22313579 661348352 112548 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10440/statm): 161462 112548 364 364 0 161098 0
[pid=10440] vsize: 645848
Current children cumulated CPU time (s) 873.71
Current children cumulated vsize (Kb) 645848

[startup+890.042 s]
Raw data (loadavg): 0.99 1.00 0.99 1/55 10440
Raw data (/proc/10440/stat): 10440 (pb2sat) T 10439 10440 4060 0 -1 0 234770 0 0 0 87510 847 0 0 25 0 1 0 22313579 662560768 112762 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/10440/statm): 161758 112762 364 364 0 161394 0
[pid=10440] vsize: 647032
Current children cumulated CPU time (s) 883.57
Current children cumulated vsize (Kb) 647032

[startup+900.043 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 10440
Raw data (/proc/10440/stat): 10440 (pb2sat) R 10439 10440 4060 0 -1 0 234860 0 0 0 88492 852 0 0 25 0 1 0 22313579 663101440 112852 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10440/statm): 161890 112852 364 364 0 161526 0
[pid=10440] vsize: 647560
Current children cumulated CPU time (s) 893.44
Current children cumulated vsize (Kb) 647560

[startup+910.044 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 10440
Raw data (/proc/10440/stat): 10440 (pb2sat) R 10439 10440 4060 0 -1 0 235025 0 0 0 89477 856 0 0 25 0 1 0 22313579 663908352 112984 4294967295 134512640 135987407 3221224560 3221223248 134811741 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10440/statm): 162087 112984 364 364 0 161723 0
[pid=10440] vsize: 648348
Current children cumulated CPU time (s) 903.33
Current children cumulated vsize (Kb) 648348

[startup+920.044 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 10440
Raw data (/proc/10440/stat): 10440 (pb2sat) R 10439 10440 4060 0 -1 0 237289 0 0 0 90461 865 0 0 25 0 1 0 22313579 673001472 115182 4294967295 134512640 135987407 3221224560 3221222928 134829294 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10440/statm): 164307 115182 364 364 0 163943 0
[pid=10440] vsize: 657228
Current children cumulated CPU time (s) 913.26
Current children cumulated vsize (Kb) 657228

[startup+930.044 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 10440
Raw data (/proc/10440/stat): 10440 (pb2sat) R 10439 10440 4060 0 -1 0 237292 0 0 0 91442 871 0 0 25 0 1 0 22313579 664170496 113029 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10440/statm): 162151 113029 364 364 0 161787 0
[pid=10440] vsize: 648604
Current children cumulated CPU time (s) 923.13
Current children cumulated vsize (Kb) 648604

[startup+940.044 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 10440
Raw data (/proc/10440/stat): 10440 (pb2sat) R 10439 10440 4060 0 -1 0 237299 0 0 0 92423 878 0 0 25 0 1 0 22313579 664170496 113036 4294967295 134512640 135987407 3221224560 3221223248 134811972 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10440/statm): 162151 113036 364 364 0 161787 0
[pid=10440] vsize: 648604
Current children cumulated CPU time (s) 933.01
Current children cumulated vsize (Kb) 648604

[startup+950.044 s]
Raw data (loadavg): 0.99 1.00 0.99 1/55 10440
Raw data (/proc/10440/stat): 10440 (pb2sat) T 10439 10440 4060 0 -1 0 237419 0 0 0 93403 884 0 0 25 0 1 0 22313579 664834048 113123 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/10440/statm): 162313 113123 364 364 0 161949 0
[pid=10440] vsize: 649252
Current children cumulated CPU time (s) 942.87
Current children cumulated vsize (Kb) 649252

[startup+960.045 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 10440
Raw data (/proc/10440/stat): 10440 (pb2sat) R 10439 10440 4060 0 -1 0 239621 0 0 0 94387 893 0 0 25 0 1 0 22313579 664965120 113136 4294967295 134512640 135987407 3221224560 3221223408 134790069 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10440/statm): 162345 113136 364 364 0 161981 0
[pid=10440] vsize: 649380
Current children cumulated CPU time (s) 952.8
Current children cumulated vsize (Kb) 649380

[startup+970.045 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 10440
Raw data (/proc/10440/stat): 10440 (pb2sat) R 10439 10440 4060 0 -1 0 239626 0 0 0 95365 901 0 0 25 0 1 0 22313579 664965120 113141 4294967295 134512640 135987407 3221224560 3221223248 134811741 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10440/statm): 162345 113141 364 364 0 161981 0
[pid=10440] vsize: 649380
Current children cumulated CPU time (s) 962.66
Current children cumulated vsize (Kb) 649380

[startup+980.046 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 10440
Raw data (/proc/10440/stat): 10440 (pb2sat) R 10439 10440 4060 0 -1 0 239627 0 0 0 96345 907 0 0 25 0 1 0 22313579 664965120 113142 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10440/statm): 162345 113142 364 364 0 161981 0
[pid=10440] vsize: 649380
Current children cumulated CPU time (s) 972.52
Current children cumulated vsize (Kb) 649380

[startup+990.046 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 10440
Raw data (/proc/10440/stat): 10440 (pb2sat) R 10439 10440 4060 0 -1 0 239637 0 0 0 97326 913 0 0 25 0 1 0 22313579 664965120 113152 4294967295 134512640 135987407 3221224560 3221223248 134812031 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10440/statm): 162345 113152 364 364 0 161981 0
[pid=10440] vsize: 649380
Current children cumulated CPU time (s) 982.39
Current children cumulated vsize (Kb) 649380

[startup+1000.05 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 10440
Raw data (/proc/10440/stat): 10440 (pb2sat) R 10439 10440 4060 0 -1 0 241795 0 0 0 98310 922 0 0 25 0 1 0 22313579 664965120 113154 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10440/statm): 162345 113154 364 364 0 161981 0
[pid=10440] vsize: 649380
Current children cumulated CPU time (s) 992.32
Current children cumulated vsize (Kb) 649380

[startup+1010.05 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 10440
Raw data (/proc/10440/stat): 10440 (pb2sat) R 10439 10440 4060 0 -1 0 241841 0 0 0 99293 927 0 0 25 0 1 0 22313579 665096192 113167 4294967295 134512640 135987407 3221224560 3221223408 134789987 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10440/statm): 162377 113167 364 364 0 162013 0
[pid=10440] vsize: 649508
Current children cumulated CPU time (s) 1002.2
Current children cumulated vsize (Kb) 649508

[startup+1020.05 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 10440
Raw data (/proc/10440/stat): 10440 (pb2sat) R 10439 10440 4060 0 -1 0 243998 0 0 0 100282 936 0 0 25 0 1 0 22313579 665096192 113168 4294967295 134512640 135987407 3221224560 3221223328 134882554 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10440/statm): 162377 113168 364 364 0 162013 0
[pid=10440] vsize: 649508
Current children cumulated CPU time (s) 1012.18
Current children cumulated vsize (Kb) 649508

[startup+1030.05 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 10440
Raw data (/proc/10440/stat): 10440 (pb2sat) R 10439 10440 4060 0 -1 0 244045 0 0 0 101264 942 0 0 25 0 1 0 22313579 665227264 113182 4294967295 134512640 135987407 3221224560 3221223248 134811807 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10440/statm): 162409 113182 364 364 0 162045 0
[pid=10440] vsize: 649636
Current children cumulated CPU time (s) 1022.06
Current children cumulated vsize (Kb) 649636

[startup+1040.05 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 10440
Raw data (/proc/10440/stat): 10440 (pb2sat) R 10439 10440 4060 0 -1 0 244051 0 0 0 102246 947 0 0 25 0 1 0 22313579 665227264 113188 4294967295 134512640 135987407 3221224560 3221223424 134812647 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10440/statm): 162409 113188 364 364 0 162045 0
[pid=10440] vsize: 649636
Current children cumulated CPU time (s) 1031.93
Current children cumulated vsize (Kb) 649636

[startup+1050.05 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 10440
Raw data (/proc/10440/stat): 10440 (pb2sat) R 10439 10440 4060 0 -1 0 244060 0 0 0 103225 954 0 0 25 0 1 0 22313579 665227264 113197 4294967295 134512640 135987407 3221224560 3221223408 134790016 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10440/statm): 162409 113197 364 364 0 162045 0
[pid=10440] vsize: 649636
Current children cumulated CPU time (s) 1041.79
Current children cumulated vsize (Kb) 649636

[startup+1060.05 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 10440
Raw data (/proc/10440/stat): 10440 (pb2sat) R 10439 10440 4060 0 -1 0 246218 0 0 0 104210 963 0 0 25 0 1 0 22313579 665227264 113199 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10440/statm): 162409 113199 364 364 0 162045 0
[pid=10440] vsize: 649636
Current children cumulated CPU time (s) 1051.73
Current children cumulated vsize (Kb) 649636

[startup+1070.05 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 10440
Raw data (/proc/10440/stat): 10440 (pb2sat) R 10439 10440 4060 0 -1 0 246262 0 0 0 105195 969 0 0 25 0 1 0 22313579 665358336 113210 4294967295 134512640 135987407 3221224560 3221223408 134790064 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10440/statm): 162441 113210 364 364 0 162077 0
[pid=10440] vsize: 649764
Current children cumulated CPU time (s) 1061.64
Current children cumulated vsize (Kb) 649764

[startup+1080.05 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 10440
Raw data (/proc/10440/stat): 10440 (pb2sat) R 10439 10440 4060 0 -1 0 248420 0 0 0 106179 977 0 0 25 0 1 0 22313579 665358336 113212 4294967295 134512640 135987407 3221224560 3221223248 134788799 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10440/statm): 162441 113212 364 364 0 162077 0
[pid=10440] vsize: 649764
Current children cumulated CPU time (s) 1071.56
Current children cumulated vsize (Kb) 649764

[startup+1090.05 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 10440
Raw data (/proc/10440/stat): 10440 (pb2sat) R 10439 10440 4060 0 -1 0 248423 0 0 0 107161 983 0 0 18 0 1 0 22313579 665358336 113215 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10440/statm): 162441 113215 364 364 0 162077 0
[pid=10440] vsize: 649764
Current children cumulated CPU time (s) 1081.44
Current children cumulated vsize (Kb) 649764

[startup+1100.05 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 10440
Raw data (/proc/10440/stat): 10440 (pb2sat) R 10439 10440 4060 0 -1 0 250579 0 0 0 108144 993 0 0 25 0 1 0 22313579 665358336 113215 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10440/statm): 162441 113215 364 364 0 162077 0
[pid=10440] vsize: 649764
Current children cumulated CPU time (s) 1091.37
Current children cumulated vsize (Kb) 649764

[startup+1110.05 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 10440
Raw data (/proc/10440/stat): 10440 (pb2sat) R 10439 10440 4060 0 -1 0 250758 0 0 0 109119 1001 0 0 25 0 1 0 22313579 665890816 113328 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10440/statm): 162571 113328 364 364 0 162207 0
[pid=10440] vsize: 650284
Current children cumulated CPU time (s) 1101.2
Current children cumulated vsize (Kb) 650284

[startup+1120.05 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 10440
Raw data (/proc/10440/stat): 10440 (pb2sat) R 10439 10440 4060 0 -1 0 250988 0 0 0 110102 1007 0 0 25 0 1 0 22313579 666550272 113426 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10440/statm): 162732 113426 364 364 0 162368 0
[pid=10440] vsize: 650928
Current children cumulated CPU time (s) 1111.09
Current children cumulated vsize (Kb) 650928

[startup+1130.05 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 10440
Raw data (/proc/10440/stat): 10440 (pb2sat) R 10439 10440 4060 0 -1 0 253147 0 0 0 111083 1016 0 0 25 0 1 0 22313579 675381248 115585 4294967295 134512640 135987407 3221224560 3221222920 134827493 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10440/statm): 164888 115585 364 364 0 164524 0
[pid=10440] vsize: 659552
Current children cumulated CPU time (s) 1120.99
Current children cumulated vsize (Kb) 659552

[startup+1140.05 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 10440
Raw data (/proc/10440/stat): 10440 (pb2sat) T 10439 10440 4060 0 -1 0 253148 0 0 0 112059 1024 0 0 25 0 1 0 22313579 666550272 113430 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/10440/statm): 162732 113430 364 364 0 162368 0
[pid=10440] vsize: 650928
Current children cumulated CPU time (s) 1130.83
Current children cumulated vsize (Kb) 650928

[startup+1150.05 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 10440
Raw data (/proc/10440/stat): 10440 (pb2sat) R 10439 10440 4060 0 -1 0 253160 0 0 0 113043 1030 0 0 25 0 1 0 22313579 666550272 113442 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10440/statm): 162732 113442 364 364 0 162368 0
[pid=10440] vsize: 650928
Current children cumulated CPU time (s) 1140.73
Current children cumulated vsize (Kb) 650928

[startup+1160.06 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 10440
Raw data (/proc/10440/stat): 10440 (pb2sat) R 10439 10440 4060 0 -1 0 253162 0 0 0 114027 1035 0 0 25 0 1 0 22313579 666550272 113444 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10440/statm): 162732 113444 364 364 0 162368 0
[pid=10440] vsize: 650928
Current children cumulated CPU time (s) 1150.62
Current children cumulated vsize (Kb) 650928

[startup+1170.06 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 10440
Raw data (/proc/10440/stat): 10440 (pb2sat) R 10439 10440 4060 0 -1 0 255319 0 0 0 115014 1044 0 0 25 0 1 0 22313579 666550272 113445 4294967295 134512640 135987407 3221224560 3221223376 134876785 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10440/statm): 162732 113445 364 364 0 162368 0
[pid=10440] vsize: 650928
Current children cumulated CPU time (s) 1160.58
Current children cumulated vsize (Kb) 650928

[startup+1180.06 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 10440
Raw data (/proc/10440/stat): 10440 (pb2sat) R 10439 10440 4060 0 -1 0 255325 0 0 0 115998 1049 0 0 25 0 1 0 22313579 666550272 113451 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10440/statm): 162732 113451 364 364 0 162368 0
[pid=10440] vsize: 650928
Current children cumulated CPU time (s) 1170.47
Current children cumulated vsize (Kb) 650928

[startup+1190.06 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 10440
Raw data (/proc/10440/stat): 10440 (pb2sat) R 10439 10440 4060 0 -1 0 255378 0 0 0 116983 1055 0 0 25 0 1 0 22313579 666816512 113504 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10440/statm): 162797 113504 364 364 0 162433 0
[pid=10440] vsize: 651188
Current children cumulated CPU time (s) 1180.38
Current children cumulated vsize (Kb) 651188

[startup+1200.06 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 10440
Raw data (/proc/10440/stat): 10440 (pb2sat) R 10439 10440 4060 0 -1 0 255388 0 0 0 117965 1062 0 0 25 0 1 0 22313579 666816512 113514 4294967295 134512640 135987407 3221224560 3221223424 134812638 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10440/statm): 162797 113514 364 364 0 162433 0
[pid=10440] vsize: 651188
Current children cumulated CPU time (s) 1190.27
Current children cumulated vsize (Kb) 651188

[startup+1210.06 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 10440
Raw data (/proc/10440/stat): 10440 (pb2sat) R 10439 10440 4060 0 -1 0 257640 0 0 0 118951 1071 0 0 25 0 1 0 22313579 667078656 113544 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10440/statm): 162861 113544 364 364 0 162497 0
[pid=10440] vsize: 651444
Current children cumulated CPU time (s) 1200.22
Current children cumulated vsize (Kb) 651444



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1210.06 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 10440
Raw data (/proc/10440/stat): 10440 (pb2sat) R 10439 10440 4060 0 -1 0 257640 0 0 0 118951 1071 0 0 25 0 1 0 22313579 667078656 113544 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10440/statm): 162861 113544 364 364 0 162497 0
[pid=10440] vsize: 651444
Current children cumulated CPU time (s) 1200.22
Current children cumulated vsize (Kb) 651444

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

Child status: 0
Real time (s): 1212.09
CPU time (s): 1202.23
CPU user time (s): 1191.28
CPU system time (s): 10.9443
CPU usage (%): 99.1868
Max. virtual memory (cumulated for all children) (Kb): 659552

Verifier Data

ERROR: no interpretation found !