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/MIPLIB/miplib2003/normalized-mps-v2-20-10-pp08aCUTS.opb
MD5SUMd9b143d593d6c40f70d01400b968fa76
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 3424
Biggest coefficient in the objective function 1073741824
Number of bits for the biggest coefficient in the objective function 31
Sum of the numbers in the objective function 180407058264
Number of bits of the sum of numbers in the objective function 38
Biggest number in a constraint 1073741824
Number of bits of the biggest number in a constraint 31
Biggest sum of numbers in a constraint 180407058264
Number of bits of the biggest sum of numbers38
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Number of variables4600
Total number of constraints374
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)64
Number of constraints which are nor clauses,nor cardinality constraints310
Minimum length of a constraint1
Maximum length of a constraint147

Trace number 10098

Launcher Data

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.077
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:        924780 kB
Buffers:         11768 kB
Cached:          81052 kB
SwapCached:          0 kB
Active:          44492 kB
Inactive:        51232 kB
HighTotal:      131008 kB
HighFree:        50400 kB
LowTotal:       903652 kB
LowFree:        874380 kB
SwapTotal:     2097892 kB
SwapFree:      2097892 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6980 kB
Slab:             8664 kB
Committed_AS:    63660 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-09-23 17:00:37 (client local time) WITH STATUS 0 IN 1208.88 SECONDS
stats: 8795 7 1208.88 0

Solver Data

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

c Decision: 1098/120917	Time: 6.67599/86400
c Decision: 1100/120917	Time: 11.6412/86400
c Decision: 1100/120917	Time: 14.3618/86400
c Decision: 1102/120917	Time: 17.1094/86400
c Decision: 1104/120917	Time: 20.1309/86400
c Decision: 1108/120917	Time: 24.6013/86400
c Decision: 1116/120917	Time: 29.7875/86400
c Decision: 1116/120917	Time: 32.755/86400
c Decision: 1116/120917	Time: 35.7026/86400
c Decision: 1116/120917	Time: 38.3732/86400
c Decision: 1135/120917	Time: 42.6575/86400
c Decision: 1135/120917	Time: 45.3481/86400
c Decision: 1160/120917	Time: 48.5916/86400
c Decision: 1170/120917	Time: 52.1041/86400
c Decision: 1170/120917	Time: 54.8077/86400
c Decision: 1170/120917	Time: 58.1362/86400
c Decision: 1170/120917	Time: 61.2687/86400
c Decision: 1174/120917	Time: 64.6602/86400
c Decision: 1174/120917	Time: 68.0537/86400
c Decision: 1184/120917	Time: 74.1477/86400
c Decision: 1203/120917	Time: 81.1017/86400
c Decision: 1203/120917	Time: 84.4252/86400
c Decision: 1209/120917	Time: 89.0645/86400
c Decision: 1212/120917	Time: 92.8969/86400
c Decision: 1212/120917	Time: 96.1104/86400
c Decision: 1216/120917	Time: 102.74/86400
c Decision: 1231/120917	Time: 108.511/86400
c Decision: 1231/120917	Time: 111.744/86400
c Decision: 1239/120917	Time: 118.247/86400
c Decision: 1239/120917	Time: 122.229/86400
c Decision: 1239/120917	Time: 126.464/86400
c Decision: 1239/120917	Time: 130.74/86400
c Decision: 1239/120917	Time: 134.815/86400
c Decision: 1239/120917	Time: 139.243/86400
c Decision: 1239/120917	Time: 143.214/86400
c Decision: 1246/120917	Time: 148.377/86400
c Decision: 1258/120917	Time: 155.934/86400
c Decision: 1266/120917	Time: 163.003/86400
c Decision: 1266/120917	Time: 167.379/86400
c Decision: 1266/120917	Time: 171.521/86400
c Decision: 1266/120917	Time: 176.297/86400
c Decision: 1266/120917	Time: 181.011/86400
c Decision: 1284/120917	Time: 188.29/86400
c Decision: 1296/120917	Time: 197.128/86400
c Decision: 1296/120917	Time: 201.53/86400
c Decision: 1313/120917	Time: 212.201/86400
c Decision: 1313/120917	Time: 217.277/86400
c Decision: 1313/120917	Time: 221.777/86400
c Decision: 1316/120917	Time: 229.608/86400
c Decision: 1316/120917	Time: 234.268/86400
c Decision: 1316/120917	Time: 239.719/86400
c Decision: 1316/120917	Time: 245.156/86400
c Decision: 1316/120917	Time: 250.549/86400
c Decision: 1316/120917	Time: 256.057/86400
c Decision: 1316/120917	Time: 261.398/86400
c Decision: 1316/120917	Time: 266.595/86400
c Decision: 1316/120917	Time: 271.961/86400
c Decision: 1316/120917	Time: 276.97/86400
c Decision: 1316/120917	Time: 282.18/86400
c Decision: 1316/120917	Time: 287.543/86400
c Decision: 1316/120917	Time: 293.449/86400
c Decision: 1319/120917	Time: 301.317/86400
c Decision: 1319/120917	Time: 307.103/86400
c Decision: 1319/120917	Time: 312.852/86400
c Decision: 1319/120917	Time: 318.985/86400
c Decision: 1319/120917	Time: 325.057/86400
c Decision: 1319/120917	Time: 330.662/86400
c Decision: 1319/120917	Time: 337.211/86400
c Decision: 1324/120917	Time: 349.584/86400
c Decision: 1328/120917	Time: 362.792/86400
c Decision: 1328/120917	Time: 369.033/86400
c Decision: 1328/120917	Time: 375.54/86400
c Decision: 1328/120917	Time: 381.041/86400
c Decision: 1328/120917	Time: 387.092/86400
c Decision: 1328/120917	Time: 393.67/86400
c Decision: 1328/120917	Time: 400.571/86400
c Decision: 1360/120917	Time: 410.397/86400
c Decision: 1360/120917	Time: 416.099/86400
c Decision: 1362/120917	Time: 422.64/86400
c Decision: 1362/120917	Time: 428.573/86400
c Decision: 1362/120917	Time: 435.503/86400
c Decision: 1385/120917	Time: 445.5/86400
c Decision: 1385/120917	Time: 451.908/86400
c Decision: 1398/120917	Time: 463.642/86400
c Decision: 1398/120917	Time: 469.111/86400
c Decision: 1398/120917	Time: 474.677/86400
c Decision: 1398/120917	Time: 480.863/86400
c Decision: 1401/120917	Time: 488.799/86400
c Decision: 1411/120917	Time: 498.313/86400
c Decision: 1414/120917	Time: 508.655/86400
c Decision: 1417/120917	Time: 518.841/86400
c Decision: 1417/120917	Time: 525.053/86400
c Decision: 1417/120917	Time: 530.709/86400
c Decision: 1417/120917	Time: 536.661/86400
c Decision: 1417/120917	Time: 542.061/86400
c Decision: 1417/120917	Time: 548.339/86400
c Decision: 1417/120917	Time: 555.799/86400
c Decision: 1420/120917	Time: 568.087/86400
c Decision: 1441/120917	Time: 582.575/86400
c Decision: 1441/120917	Time: 588.516/86400
c Decision: 1441/120917	Time: 594.756/86400
c Decision: 1455/120917	Time: 607.891/86400
c Decision: 1455/120917	Time: 614.843/86400
c Decision: 1455/120917	Time: 621.163/86400
c Decision: 1455/120917	Time: 628.297/86400
c Decision: 1455/120917	Time: 635.792/86400
c Decision: 1455/120917	Time: 643.296/86400
c Decision: 1455/120917	Time: 650.428/86400
c Decision: 1461/120917	Time: 665.263/86400
c Decision: 1462/120917	Time: 676.013/86400
c Decision: 1462/120917	Time: 684.086/86400
c Decision: 1468/120917	Time: 695.248/86400
c Decision: 1468/120917	Time: 702.871/86400
c Decision: 1468/120917	Time: 710.211/86400
c Decision: 1474/120917	Time: 723.142/86400
c Decision: 1474/120917	Time: 730.612/86400
c Decision: 1474/120917	Time: 737.154/86400
c Decision: 1474/120917	Time: 744.692/86400
c Decision: 1474/120917	Time: 751.937/86400
c Decision: 1474/120917	Time: 758.745/86400
c Decision: 1474/120917	Time: 766.929/86400
c Decision: 1474/120917	Time: 774.65/86400
c Decision: 1474/120917	Time: 781.841/86400
c Decision: 1474/120917	Time: 788.596/86400
c Decision: 1474/120917	Time: 795.789/86400
c Decision: 1474/120917	Time: 803.404/86400
c Decision: 1474/120917	Time: 810.702/86400
c Decision: 1474/120917	Time: 819.014/86400
c Decision: 1474/120917	Time: 826.318/86400
c Decision: 1474/120917	Time: 834.735/86400
c Decision: 1479/120917	Time: 852.43/86400
c Decision: 1479/120917	Time: 860.222/86400
c Decision: 1479/120917	Time: 869.45/86400
c Decision: 1479/120917	Time: 879.108/86400
c Decision: 1482/120917	Time: 892.675/86400
c Decision: 1485/120917	Time: 903.401/86400
c Decision: 1488/120917	Time: 915.839/86400
c Decision: 1488/120917	Time: 923.349/86400
c Decision: 1488/120917	Time: 930.567/86400
c Decision: 1488/120917	Time: 937.624/86400
c Decision: 1488/120917	Time: 945.527/86400
c Decision: 1488/120917	Time: 952.006/86400
c Decision: 1488/120917	Time: 959.487/86400
c Decision: 1488/120917	Time: 967.316/86400
c Decision: 1488/120917	Time: 975.087/86400
c Decision: 1488/120917	Time: 983.823/86400
c Decision: 1488/120917	Time: 991.575/86400
c Decision: 1488/120917	Time: 999.869/86400
c Decision: 1488/120917	Time: 1007.87/86400
c Decision: 1488/120917	Time: 1016.65/86400
c Decision: 1490/120917	Time: 1027.33/86400
c Decision: 1493/120917	Time: 1041.36/86400
c Decision: 1493/120917	Time: 1050.17/86400
c Decision: 1495/120917	Time: 1063.03/86400
c Decision: 1495/120917	Time: 1072.69/86400
c Decision: 1495/120917	Time: 1082.08/86400
c Decision: 1495/120917	Time: 1091.17/86400
c Decision: 1495/120917	Time: 1098.04/86400
c Decision: 1495/120917	Time: 1105.8/86400
c Decision: 1502/120917	Time: 1117/86400
c Decision: 1506/120917	Time: 1131.62/86400
c Decision: 1506/120917	Time: 1138.87/86400
c Decision: 1506/120917	Time: 1146.73/86400
c Decision: 1506/120917	Time: 1154.52/86400
c Decision: 1506/120917	Time: 1163.73/86400
c Decision: 1506/120917	Time: 1171.63/86400
c Decision: 1506/120917	Time: 1179.4/86400
c Decision: 1506/120917	Time: 1188.78/86400
c Decision: 1506/120917	Time: 1197.71/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/8881/stat): 8881 (pb2sat) R 8880 8881 4005 0 -1 0 18 0 0 0 0 0 0 0 24 0 1 0 21654512 1527808 2 4294967295 134512640 135987407 3221224560 3221224560 134512928 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8881/statm): 373 2 364 364 0 9 0
[pid=8881] vsize: 1492
open syscall for file /oldhome/oroussel/tmp/wulflinc29/normalized-mps-v2-20-10-pp08aCUTS.opb

[startup+10.002 s]
Raw data (loadavg): 0.93 0.95 0.92 2/55 8881
Raw data (/proc/8881/stat): 8881 (pb2sat) R 8880 8881 4005 0 -1 0 15154 0 0 0 827 81 0 0 21 0 1 0 21654512 45015040 9376 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8881/statm): 10990 9376 364 364 0 10626 0
[pid=8881] vsize: 43960
Current children cumulated CPU time (s) 9.08
Current children cumulated vsize (Kb) 43960

[startup+20.0028 s]
Raw data (loadavg): 0.94 0.96 0.92 2/55 8881
Raw data (/proc/8881/stat): 8881 (pb2sat) R 8880 8881 4005 0 -1 0 16020 0 0 0 1667 136 0 0 25 0 1 0 21654512 46383104 9768 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8881/statm): 11324 9768 364 364 0 10960 0
[pid=8881] vsize: 45296
Current children cumulated CPU time (s) 18.03
Current children cumulated vsize (Kb) 45296

[startup+30.0026 s]
Raw data (loadavg): 0.95 0.96 0.92 2/55 8881
Raw data (/proc/8881/stat): 8881 (pb2sat) R 8880 8881 4005 0 -1 0 16837 0 0 0 2537 181 0 0 25 0 1 0 21654512 46661632 9874 4294967295 134512640 135987407 3221224560 3221223408 134789987 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8881/statm): 11392 9874 364 364 0 11028 0
[pid=8881] vsize: 45568
Current children cumulated CPU time (s) 27.18
Current children cumulated vsize (Kb) 45568

[startup+40.0104 s]
Raw data (loadavg): 0.95 0.96 0.92 1/55 8881
Raw data (/proc/8881/stat): 8881 (pb2sat) T 8880 8881 4005 0 -1 0 17369 0 0 0 3407 226 0 0 25 0 1 0 21654512 46800896 9932 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8881/statm): 11426 9932 364 364 0 11062 0
[pid=8881] vsize: 45704
Current children cumulated CPU time (s) 36.33
Current children cumulated vsize (Kb) 45704

[startup+50.0111 s]
Raw data (loadavg): 0.96 0.96 0.92 2/55 8881
Raw data (/proc/8881/stat): 8881 (pb2sat) R 8880 8881 4005 0 -1 0 18159 0 0 0 4287 266 0 0 25 0 1 0 21654512 46940160 10011 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8881/statm): 11460 10011 364 364 0 11096 0
[pid=8881] vsize: 45840
Current children cumulated CPU time (s) 45.53
Current children cumulated vsize (Kb) 45840

[startup+60.0119 s]
Raw data (loadavg): 0.97 0.96 0.92 1/55 8881
Raw data (/proc/8881/stat): 8881 (pb2sat) T 8880 8881 4005 0 -1 0 18949 0 0 0 5175 307 0 0 25 0 1 0 21654512 47095808 10090 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/8881/statm): 11498 10090 364 364 0 11134 0
[pid=8881] vsize: 45992
Current children cumulated CPU time (s) 54.82
Current children cumulated vsize (Kb) 45992

[startup+70.0127 s]
Raw data (loadavg): 0.97 0.96 0.92 1/55 8881
Raw data (/proc/8881/stat): 8881 (pb2sat) T 8880 8881 4005 0 -1 0 19730 0 0 0 6054 348 0 0 25 0 1 0 21654512 47239168 10160 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8881/statm): 11533 10160 364 364 0 11169 0
[pid=8881] vsize: 46132
Current children cumulated CPU time (s) 64.02
Current children cumulated vsize (Kb) 46132

[startup+80.0125 s]
Raw data (loadavg): 0.98 0.96 0.92 2/55 8881
Raw data (/proc/8881/stat): 8881 (pb2sat) R 8880 8881 4005 0 -1 0 20526 0 0 0 6949 383 0 0 25 0 1 0 21654512 47521792 10245 4294967295 134512640 135987407 3221224560 3221223248 134811977 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8881/statm): 11602 10245 364 364 0 11238 0
[pid=8881] vsize: 46408
Current children cumulated CPU time (s) 73.32
Current children cumulated vsize (Kb) 46408

[startup+90.0133 s]
Raw data (loadavg): 0.98 0.96 0.92 1/55 8881
Raw data (/proc/8881/stat): 8881 (pb2sat) T 8880 8881 4005 0 -1 0 20848 0 0 0 7823 428 0 0 25 0 1 0 21654512 47652864 10330 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/8881/statm): 11634 10330 364 364 0 11270 0
[pid=8881] vsize: 46536
Current children cumulated CPU time (s) 82.51
Current children cumulated vsize (Kb) 46536

[startup+100.013 s]
Raw data (loadavg): 0.98 0.96 0.92 2/55 8881
Raw data (/proc/8881/stat): 8881 (pb2sat) R 8880 8881 4005 0 -1 0 21394 0 0 0 8714 464 0 0 25 0 1 0 21654512 47792128 10402 4294967295 134512640 135987407 3221224560 3221223408 134790054 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8881/statm): 11668 10402 364 364 0 11304 0
[pid=8881] vsize: 46672
Current children cumulated CPU time (s) 91.78
Current children cumulated vsize (Kb) 46672

[startup+110.014 s]
Raw data (loadavg): 0.98 0.96 0.92 2/55 8881
Raw data (/proc/8881/stat): 8881 (pb2sat) R 8880 8881 4005 0 -1 0 22198 0 0 0 9600 504 0 0 25 0 1 0 21654512 49029120 10732 4294967295 134512640 135987407 3221224560 3221222976 134827667 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8881/statm): 11970 10732 364 364 0 11606 0
[pid=8881] vsize: 47880
Current children cumulated CPU time (s) 101.04
Current children cumulated vsize (Kb) 47880

[startup+120.015 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 8881
Raw data (/proc/8881/stat): 8881 (pb2sat) R 8880 8881 4005 0 -1 0 22488 0 0 0 10490 543 0 0 25 0 1 0 21654512 48201728 10548 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8881/statm): 11768 10548 364 364 0 11404 0
[pid=8881] vsize: 47072
Current children cumulated CPU time (s) 110.33
Current children cumulated vsize (Kb) 47072

[startup+130.014 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 8881
Raw data (/proc/8881/stat): 8881 (pb2sat) R 8880 8881 4005 0 -1 0 23035 0 0 0 11384 581 0 0 25 0 1 0 21654512 48345088 10621 4294967295 134512640 135987407 3221224560 3221223408 134789987 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8881/statm): 11803 10621 364 364 0 11439 0
[pid=8881] vsize: 47212
Current children cumulated CPU time (s) 119.65
Current children cumulated vsize (Kb) 47212

[startup+140.015 s]
Raw data (loadavg): 0.99 0.97 0.92 1/55 8881
Raw data (/proc/8881/stat): 8881 (pb2sat) T 8880 8881 4005 0 -1 0 23582 0 0 0 12280 618 0 0 25 0 1 0 21654512 48496640 10694 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8881/statm): 11840 10694 364 364 0 11476 0
[pid=8881] vsize: 47360
Current children cumulated CPU time (s) 128.98
Current children cumulated vsize (Kb) 47360

[startup+150.016 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 8881
Raw data (/proc/8881/stat): 8881 (pb2sat) R 8880 8881 4005 0 -1 0 24106 0 0 0 13184 651 0 0 25 0 1 0 21654512 48631808 10744 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8881/statm): 11873 10744 364 364 0 11509 0
[pid=8881] vsize: 47492
Current children cumulated CPU time (s) 138.35
Current children cumulated vsize (Kb) 47492

[startup+160.017 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 8881
Raw data (/proc/8881/stat): 8881 (pb2sat) R 8880 8881 4005 0 -1 0 24646 0 0 0 14072 690 0 0 25 0 1 0 21654512 48766976 10810 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8881/statm): 11906 10810 364 364 0 11542 0
[pid=8881] vsize: 47624
Current children cumulated CPU time (s) 147.62
Current children cumulated vsize (Kb) 47624

[startup+170.018 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 8881
Raw data (/proc/8881/stat): 8881 (pb2sat) R 8880 8881 4005 0 -1 0 25162 0 0 0 14961 729 0 0 25 0 1 0 21654512 48902144 10852 4294967295 134512640 135987407 3221224560 3221223248 134811964 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8881/statm): 11939 10852 364 364 0 11575 0
[pid=8881] vsize: 47756
Current children cumulated CPU time (s) 156.9
Current children cumulated vsize (Kb) 47756

[startup+180.017 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 8881
Raw data (/proc/8881/stat): 8881 (pb2sat) R 8880 8881 4005 0 -1 0 25446 0 0 0 15835 770 0 0 25 0 1 0 21654512 48902144 10899 4294967295 134512640 135987407 3221224560 3221223248 134812028 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8881/statm): 11939 10899 364 364 0 11575 0
[pid=8881] vsize: 47756
Current children cumulated CPU time (s) 166.05
Current children cumulated vsize (Kb) 47756

[startup+190.018 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 8881
Raw data (/proc/8881/stat): 8881 (pb2sat) T 8880 8881 4005 0 -1 0 25981 0 0 0 16716 812 0 0 25 0 1 0 21654512 49041408 10960 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/8881/statm): 11973 10960 364 364 0 11609 0
[pid=8881] vsize: 47892
Current children cumulated CPU time (s) 175.28
Current children cumulated vsize (Kb) 47892

[startup+200.018 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 8881
Raw data (/proc/8881/stat): 8881 (pb2sat) R 8880 8881 4005 0 -1 0 26500 0 0 0 17605 847 0 0 25 0 1 0 21654512 49188864 11005 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8881/statm): 12009 11005 364 364 0 11645 0
[pid=8881] vsize: 48036
Current children cumulated CPU time (s) 184.52
Current children cumulated vsize (Kb) 48036

[startup+210.019 s]
Raw data (loadavg): 0.99 0.97 0.92 1/55 8881
Raw data (/proc/8881/stat): 8881 (pb2sat) T 8880 8881 4005 0 -1 0 27035 0 0 0 18491 888 0 0 25 0 1 0 21654512 49336320 11066 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/8881/statm): 12045 11066 364 364 0 11681 0
[pid=8881] vsize: 48180
Current children cumulated CPU time (s) 193.79
Current children cumulated vsize (Kb) 48180

[startup+220.019 s]
Raw data (loadavg): 0.99 0.97 0.92 1/55 8881
Raw data (/proc/8881/stat): 8881 (pb2sat) T 8880 8881 4005 0 -1 0 27347 0 0 0 19374 928 0 0 25 0 1 0 21654512 49487872 11141 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/8881/statm): 12082 11141 364 364 0 11718 0
[pid=8881] vsize: 48328
Current children cumulated CPU time (s) 203.02
Current children cumulated vsize (Kb) 48328

[startup+230.019 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 8881
Raw data (/proc/8881/stat): 8881 (pb2sat) R 8880 8881 4005 0 -1 0 27638 0 0 0 20255 968 0 0 25 0 1 0 21654512 49618944 11195 4294967295 134512640 135987407 3221224560 3221223424 134812647 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8881/statm): 12114 11195 364 364 0 11750 0
[pid=8881] vsize: 48456
Current children cumulated CPU time (s) 212.23
Current children cumulated vsize (Kb) 48456

[startup+240.02 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 8881
Raw data (/proc/8881/stat): 8881 (pb2sat) R 8880 8881 4005 0 -1 0 27911 0 0 0 21147 1005 0 0 25 0 1 0 21654512 49618944 11231 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8881/statm): 12114 11231 364 364 0 11750 0
[pid=8881] vsize: 48456
Current children cumulated CPU time (s) 221.52
Current children cumulated vsize (Kb) 48456

[startup+250.021 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 8881
Raw data (/proc/8881/stat): 8881 (pb2sat) R 8880 8881 4005 0 -1 0 28413 0 0 0 22051 1040 0 0 25 0 1 0 21654512 49754112 11259 4294967295 134512640 135987407 3221224560 3221223248 134811870 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8881/statm): 12147 11259 364 364 0 11783 0
[pid=8881] vsize: 48588
Current children cumulated CPU time (s) 230.91
Current children cumulated vsize (Kb) 48588

[startup+260.022 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 8881
Raw data (/proc/8881/stat): 8881 (pb2sat) R 8880 8881 4005 0 -1 0 28934 0 0 0 22953 1073 0 0 25 0 1 0 21654512 49893376 11306 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8881/statm): 12181 11306 364 364 0 11817 0
[pid=8881] vsize: 48724
Current children cumulated CPU time (s) 240.26
Current children cumulated vsize (Kb) 48724

[startup+270.021 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 8881
Raw data (/proc/8881/stat): 8881 (pb2sat) T 8880 8881 4005 0 -1 0 29202 0 0 0 23850 1107 0 0 25 0 1 0 21654512 49893376 11337 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434789 0 0 17 1 0 0
Raw data (/proc/8881/statm): 12181 11337 364 364 0 11817 0
[pid=8881] vsize: 48724
Current children cumulated CPU time (s) 249.57
Current children cumulated vsize (Kb) 48724

[startup+280.021 s]
Raw data (loadavg): 0.99 0.97 0.92 1/55 8881
Raw data (/proc/8881/stat): 8881 (pb2sat) T 8880 8881 4005 0 -1 0 29718 0 0 0 24749 1144 0 0 25 0 1 0 21654512 49893376 11379 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8881/statm): 12181 11379 364 364 0 11817 0
[pid=8881] vsize: 48724
Current children cumulated CPU time (s) 258.93
Current children cumulated vsize (Kb) 48724

[startup+290.022 s]
Raw data (loadavg): 0.99 0.97 0.92 1/55 8881
Raw data (/proc/8881/stat): 8881 (pb2sat) T 8880 8881 4005 0 -1 0 30253 0 0 0 25648 1179 0 0 25 0 1 0 21654512 50032640 11440 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/8881/statm): 12215 11440 364 364 0 11851 0
[pid=8881] vsize: 48860
Current children cumulated CPU time (s) 268.27
Current children cumulated vsize (Kb) 48860

[startup+300.022 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 8881
Raw data (/proc/8881/stat): 8881 (pb2sat) R 8880 8881 4005 0 -1 0 30765 0 0 0 26553 1213 0 0 25 0 1 0 21654512 50163712 11478 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8881/statm): 12247 11478 364 364 0 11883 0
[pid=8881] vsize: 48988
Current children cumulated CPU time (s) 277.66
Current children cumulated vsize (Kb) 48988

[startup+310.023 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 8881
Raw data (/proc/8881/stat): 8881 (pb2sat) R 8880 8881 4005 0 -1 0 31020 0 0 0 27463 1245 0 0 25 0 1 0 21654512 50163712 11496 4294967295 134512640 135987407 3221224560 3221223200 134789455 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8881/statm): 12247 11496 364 364 0 11883 0
[pid=8881] vsize: 48988
Current children cumulated CPU time (s) 287.08
Current children cumulated vsize (Kb) 48988

[startup+320.023 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 8881
Raw data (/proc/8881/stat): 8881 (pb2sat) R 8880 8881 4005 0 -1 0 31544 0 0 0 28368 1278 0 0 25 0 1 0 21654512 50298880 11546 4294967295 134512640 135987407 3221224560 3221223248 134811873 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8881/statm): 12280 11546 364 364 0 11916 0
[pid=8881] vsize: 49120
Current children cumulated CPU time (s) 296.46
Current children cumulated vsize (Kb) 49120

[startup+330.023 s]
Raw data (loadavg): 1.07 0.99 0.93 2/55 8881
Raw data (/proc/8881/stat): 8881 (pb2sat) R 8880 8881 4005 0 -1 0 31813 0 0 0 29274 1311 0 0 25 0 1 0 21654512 58822656 11578 4294967295 134512640 135987407 3221224560 3221223248 134811807 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8881/statm): 14361 11578 364 364 0 13997 0
[pid=8881] vsize: 57444
Current children cumulated CPU time (s) 305.85
Current children cumulated vsize (Kb) 57444

[startup+340.024 s]
Raw data (loadavg): 1.06 0.99 0.93 1/55 8881
Raw data (/proc/8881/stat): 8881 (pb2sat) T 8880 8881 4005 0 -1 0 32344 0 0 0 30185 1341 0 0 25 0 1 0 21654512 58822656 11635 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8881/statm): 14361 11635 364 364 0 13997 0
[pid=8881] vsize: 57444
Current children cumulated CPU time (s) 315.26
Current children cumulated vsize (Kb) 57444

[startup+350.025 s]
Raw data (loadavg): 1.13 1.00 0.94 2/55 8881
Raw data (/proc/8881/stat): 8881 (pb2sat) R 8880 8881 4005 0 -1 0 32867 0 0 0 31096 1371 0 0 25 0 1 0 21654512 58961920 11684 4294967295 134512640 135987407 3221224560 3221223248 134811972 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8881/statm): 14395 11684 364 364 0 14031 0
[pid=8881] vsize: 57580
Current children cumulated CPU time (s) 324.67
Current children cumulated vsize (Kb) 57580

[startup+360.025 s]
Raw data (loadavg): 1.11 1.00 0.94 2/55 8881
Raw data (/proc/8881/stat): 8881 (pb2sat) R 8880 8881 4005 0 -1 0 33149 0 0 0 32007 1398 0 0 25 0 1 0 21654512 59101184 11729 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8881/statm): 14429 11729 364 364 0 14065 0
[pid=8881] vsize: 57716
Current children cumulated CPU time (s) 334.05
Current children cumulated vsize (Kb) 57716

[startup+370.025 s]
Raw data (loadavg): 1.09 1.00 0.94 2/55 8881
Raw data (/proc/8881/stat): 8881 (pb2sat) R 8880 8881 4005 0 -1 0 33702 0 0 0 32896 1435 0 0 25 0 1 0 21654512 59371520 11808 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8881/statm): 14495 11808 364 364 0 14131 0
[pid=8881] vsize: 57980
Current children cumulated CPU time (s) 343.31
Current children cumulated vsize (Kb) 57980

[startup+380.025 s]
Raw data (loadavg): 1.08 1.00 0.94 2/55 8881
Raw data (/proc/8881/stat): 8881 (pb2sat) R 8880 8881 4005 0 -1 0 33759 0 0 0 33796 1470 0 0 25 0 1 0 21654512 59371520 11865 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8881/statm): 14495 11865 364 364 0 14131 0
[pid=8881] vsize: 57980
Current children cumulated CPU time (s) 352.66
Current children cumulated vsize (Kb) 57980

[startup+390.026 s]
Raw data (loadavg): 1.06 1.00 0.94 1/55 8881
Raw data (/proc/8881/stat): 8881 (pb2sat) T 8880 8881 4005 0 -1 0 34052 0 0 0 34705 1502 0 0 25 0 1 0 21654512 59531264 11921 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/8881/statm): 14534 11921 364 364 0 14170 0
[pid=8881] vsize: 58136
Current children cumulated CPU time (s) 362.07
Current children cumulated vsize (Kb) 58136

[startup+400.026 s]
Raw data (loadavg): 1.05 1.00 0.94 2/55 8881
Raw data (/proc/8881/stat): 8881 (pb2sat) R 8880 8881 4005 0 -1 0 34321 0 0 0 35610 1534 0 0 25 0 1 0 21654512 59531264 11953 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8881/statm): 14534 11953 364 364 0 14170 0
[pid=8881] vsize: 58136
Current children cumulated CPU time (s) 371.44
Current children cumulated vsize (Kb) 58136

[startup+410.026 s]
Raw data (loadavg): 1.04 1.00 0.94 1/55 8881
Raw data (/proc/8881/stat): 8881 (pb2sat) T 8880 8881 4005 0 -1 0 34831 0 0 0 36524 1562 0 0 25 0 1 0 21654512 59674624 11989 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/8881/statm): 14569 11989 364 364 0 14205 0
[pid=8881] vsize: 58276
Current children cumulated CPU time (s) 380.86
Current children cumulated vsize (Kb) 58276

[startup+420.027 s]
Raw data (loadavg): 1.04 1.00 0.94 2/55 8881
Raw data (/proc/8881/stat): 8881 (pb2sat) R 8880 8881 4005 0 -1 0 35112 0 0 0 37419 1599 0 0 25 0 1 0 21654512 59805696 12033 4294967295 134512640 135987407 3221224560 3221223136 135486823 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8881/statm): 14601 12033 364 364 0 14237 0
[pid=8881] vsize: 58404
Current children cumulated CPU time (s) 390.18
Current children cumulated vsize (Kb) 58404

[startup+430.027 s]
Raw data (loadavg): 1.03 1.00 0.94 2/55 8881
Raw data (/proc/8881/stat): 8881 (pb2sat) R 8880 8881 4005 0 -1 0 35625 0 0 0 38327 1630 0 0 25 0 1 0 21654512 59805696 12072 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8881/statm): 14601 12072 364 364 0 14237 0
[pid=8881] vsize: 58404
Current children cumulated CPU time (s) 399.57
Current children cumulated vsize (Kb) 58404

[startup+440.028 s]
Raw data (loadavg): 1.03 1.00 0.94 2/55 8881
Raw data (/proc/8881/stat): 8881 (pb2sat) R 8880 8881 4005 0 -1 0 35895 0 0 0 39235 1661 0 0 25 0 1 0 21654512 59805696 12105 4294967295 134512640 135987407 3221224560 3221223248 134811975 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8881/statm): 14601 12105 364 364 0 14237 0
[pid=8881] vsize: 58404
Current children cumulated CPU time (s) 408.96
Current children cumulated vsize (Kb) 58404

[startup+450.029 s]
Raw data (loadavg): 1.02 1.00 0.94 2/55 8881
Raw data (/proc/8881/stat): 8881 (pb2sat) R 8880 8881 4005 0 -1 0 36153 0 0 0 40137 1695 0 0 25 0 1 0 21654512 59940864 12126 4294967295 134512640 135987407 3221224560 3221223408 134790000 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8881/statm): 14634 12126 364 364 0 14270 0
[pid=8881] vsize: 58536
Current children cumulated CPU time (s) 418.32
Current children cumulated vsize (Kb) 58536

[startup+460.029 s]
Raw data (loadavg): 1.02 1.00 0.94 2/55 8881
Raw data (/proc/8881/stat): 8881 (pb2sat) R 8880 8881 4005 0 -1 0 36647 0 0 0 41048 1727 0 0 25 0 1 0 21654512 60911616 12383 4294967295 134512640 135987407 3221224560 3221222920 134827493 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8881/statm): 14871 12383 364 364 0 14507 0
[pid=8881] vsize: 59484
Current children cumulated CPU time (s) 427.75
Current children cumulated vsize (Kb) 59484

[startup+470.03 s]
Raw data (loadavg): 1.01 1.00 0.94 2/55 8881
Raw data (/proc/8881/stat): 8881 (pb2sat) R 8880 8881 4005 0 -1 0 36903 0 0 0 41957 1757 0 0 25 0 1 0 21654512 60071936 12165 4294967295 134512640 135987407 3221224560 3221223248 134811870 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8881/statm): 14666 12165 364 364 0 14302 0
[pid=8881] vsize: 58664
Current children cumulated CPU time (s) 437.14
Current children cumulated vsize (Kb) 58664

[startup+480.03 s]
Raw data (loadavg): 1.01 1.00 0.94 1/55 8881
Raw data (/proc/8881/stat): 8881 (pb2sat) T 8880 8881 4005 0 -1 0 37167 0 0 0 42858 1791 0 0 25 0 1 0 21654512 60071936 12192 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8881/statm): 14666 12192 364 364 0 14302 0
[pid=8881] vsize: 58664
Current children cumulated CPU time (s) 446.49
Current children cumulated vsize (Kb) 58664

[startup+490.031 s]
Raw data (loadavg): 1.01 1.00 0.94 2/55 8881
Raw data (/proc/8881/stat): 8881 (pb2sat) R 8880 8881 4005 0 -1 0 37440 0 0 0 43756 1826 0 0 25 0 1 0 21654512 60207104 12228 4294967295 134512640 135987407 3221224560 3221223024 134893296 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8881/statm): 14699 12228 364 364 0 14335 0
[pid=8881] vsize: 58796
Current children cumulated CPU time (s) 455.82
Current children cumulated vsize (Kb) 58796

[startup+500.03 s]
Raw data (loadavg): 1.01 1.00 0.94 2/55 8881
Raw data (/proc/8881/stat): 8881 (pb2sat) R 8880 8881 4005 0 -1 0 37723 0 0 0 44661 1857 0 0 25 0 1 0 21654512 60207104 12274 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8881/statm): 14699 12274 364 364 0 14335 0
[pid=8881] vsize: 58796
Current children cumulated CPU time (s) 465.18
Current children cumulated vsize (Kb) 58796

[startup+510.031 s]
Raw data (loadavg): 1.01 1.00 0.94 2/55 8881
Raw data (/proc/8881/stat): 8881 (pb2sat) R 8880 8881 4005 0 -1 0 38249 0 0 0 45569 1888 0 0 25 0 1 0 21654512 60342272 12326 4294967295 134512640 135987407 3221224560 3221223248 134811915 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8881/statm): 14732 12326 364 364 0 14368 0
[pid=8881] vsize: 58928
Current children cumulated CPU time (s) 474.57
Current children cumulated vsize (Kb) 58928

[startup+520.032 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 8881
Raw data (/proc/8881/stat): 8881 (pb2sat) R 8880 8881 4005 0 -1 0 38519 0 0 0 46472 1924 0 0 25 0 1 0 21654512 60342272 12359 4294967295 134512640 135987407 3221224560 3221223248 134812035 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8881/statm): 14732 12359 364 364 0 14368 0
[pid=8881] vsize: 58928
Current children cumulated CPU time (s) 483.96
Current children cumulated vsize (Kb) 58928

[startup+530.032 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 8881
Raw data (/proc/8881/stat): 8881 (pb2sat) R 8880 8881 4005 0 -1 0 38777 0 0 0 47373 1959 0 0 25 0 1 0 21654512 60477440 12380 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8881/statm): 14765 12380 364 364 0 14401 0
[pid=8881] vsize: 59060
Current children cumulated CPU time (s) 493.32
Current children cumulated vsize (Kb) 59060

[startup+540.033 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 8881
Raw data (/proc/8881/stat): 8881 (pb2sat) R 8880 8881 4005 0 -1 0 39031 0 0 0 48268 1992 0 0 25 0 1 0 21654512 60477440 12397 4294967295 134512640 135987407 3221224560 3221223344 134812339 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8881/statm): 14765 12397 364 364 0 14401 0
[pid=8881] vsize: 59060
Current children cumulated CPU time (s) 502.6
Current children cumulated vsize (Kb) 59060

[startup+550.033 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 8881
Raw data (/proc/8881/stat): 8881 (pb2sat) R 8880 8881 4005 0 -1 0 39294 0 0 0 49171 2029 0 0 25 0 1 0 21654512 60477440 12423 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8881/statm): 14765 12423 364 364 0 14401 0
[pid=8881] vsize: 59060
Current children cumulated CPU time (s) 512
Current children cumulated vsize (Kb) 59060

[startup+560.034 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 8881
Raw data (/proc/8881/stat): 8881 (pb2sat) R 8880 8881 4005 0 -1 0 39574 0 0 0 50081 2060 0 0 25 0 1 0 21654512 60612608 12466 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8881/statm): 14798 12466 364 364 0 14434 0
[pid=8881] vsize: 59192
Current children cumulated CPU time (s) 521.41
Current children cumulated vsize (Kb) 59192

[startup+570.035 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 8881
Raw data (/proc/8881/stat): 8881 (pb2sat) R 8880 8881 4005 0 -1 0 40073 0 0 0 51000 2087 0 0 25 0 1 0 21654512 60612608 12491 4294967295 134512640 135987407 3221224560 3221223332 134812413 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8881/statm): 14798 12491 364 364 0 14434 0
[pid=8881] vsize: 59192
Current children cumulated CPU time (s) 530.87
Current children cumulated vsize (Kb) 59192

[startup+580.035 s]
Raw data (loadavg): 1.00 1.00 0.94 1/55 8881
Raw data (/proc/8881/stat): 8881 (pb2sat) T 8880 8881 4005 0 -1 0 40348 0 0 0 51904 2122 0 0 25 0 1 0 21654512 60747776 12529 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/8881/statm): 14831 12529 364 364 0 14467 0
[pid=8881] vsize: 59324
Current children cumulated CPU time (s) 540.26
Current children cumulated vsize (Kb) 59324

[startup+590.036 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 8881
Raw data (/proc/8881/stat): 8881 (pb2sat) R 8880 8881 4005 0 -1 0 40872 0 0 0 52817 2152 0 0 25 0 1 0 21654512 60911616 12579 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8881/statm): 14871 12579 364 364 0 14507 0
[pid=8881] vsize: 59484
Current children cumulated CPU time (s) 549.69
Current children cumulated vsize (Kb) 59484

[startup+600.035 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 8881
Raw data (/proc/8881/stat): 8881 (pb2sat) R 8880 8881 4005 0 -1 0 41145 0 0 0 53725 2183 0 0 25 0 1 0 21654512 60911616 12615 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8881/statm): 14871 12615 364 364 0 14507 0
[pid=8881] vsize: 59484
Current children cumulated CPU time (s) 559.08
Current children cumulated vsize (Kb) 59484

[startup+610.036 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 8881
Raw data (/proc/8881/stat): 8881 (pb2sat) R 8880 8881 4005 0 -1 0 41402 0 0 0 54634 2213 0 0 25 0 1 0 21654512 61046784 12635 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8881/statm): 14904 12635 364 364 0 14540 0
[pid=8881] vsize: 59616
Current children cumulated CPU time (s) 568.47
Current children cumulated vsize (Kb) 59616

[startup+620.037 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 8881
Raw data (/proc/8881/stat): 8881 (pb2sat) R 8880 8881 4005 0 -1 0 41661 0 0 0 55536 2248 0 0 25 0 1 0 21654512 61046784 12657 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8881/statm): 14904 12657 364 364 0 14540 0
[pid=8881] vsize: 59616
Current children cumulated CPU time (s) 577.84
Current children cumulated vsize (Kb) 59616

[startup+630.037 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 8881
Raw data (/proc/8881/stat): 8881 (pb2sat) R 8880 8881 4005 0 -1 0 41700 0 0 0 56440 2280 0 0 25 0 1 0 21654512 61046784 12696 4294967295 134512640 135987407 3221224560 3221223280 134814133 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8881/statm): 14904 12696 364 364 0 14540 0
[pid=8881] vsize: 59616
Current children cumulated CPU time (s) 587.2
Current children cumulated vsize (Kb) 59616

[startup+640.037 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 8881
Raw data (/proc/8881/stat): 8881 (pb2sat) R 8880 8881 4005 0 -1 0 42221 0 0 0 57362 2308 0 0 25 0 1 0 21654512 61181952 12743 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8881/statm): 14937 12743 364 364 0 14573 0
[pid=8881] vsize: 59748
Current children cumulated CPU time (s) 596.7
Current children cumulated vsize (Kb) 59748

[startup+650.038 s]
Raw data (loadavg): 1.00 1.00 0.94 1/55 8881
Raw data (/proc/8881/stat): 8881 (pb2sat) T 8880 8881 4005 0 -1 0 42494 0 0 0 58274 2338 0 0 25 0 1 0 21654512 61181952 12779 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/8881/statm): 14937 12779 364 364 0 14573 0
[pid=8881] vsize: 59748
Current children cumulated CPU time (s) 606.12
Current children cumulated vsize (Kb) 59748

[startup+660.039 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 8881
Raw data (/proc/8881/stat): 8881 (pb2sat) R 8880 8881 4005 0 -1 0 42778 0 0 0 59185 2367 0 0 25 0 1 0 21654512 61317120 12826 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8881/statm): 14970 12826 364 364 0 14606 0
[pid=8881] vsize: 59880
Current children cumulated CPU time (s) 615.52
Current children cumulated vsize (Kb) 59880

[startup+670.039 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 8881
Raw data (/proc/8881/stat): 8881 (pb2sat) R 8880 8881 4005 0 -1 0 43061 0 0 0 60100 2397 0 0 25 0 1 0 21654512 61317120 12872 4294967295 134512640 135987407 3221224560 3221223376 134816700 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8881/statm): 14970 12872 364 364 0 14606 0
[pid=8881] vsize: 59880
Current children cumulated CPU time (s) 624.97
Current children cumulated vsize (Kb) 59880

[startup+680.039 s]
Raw data (loadavg): 1.00 1.00 0.94 1/55 8881
Raw data (/proc/8881/stat): 8881 (pb2sat) T 8880 8881 4005 0 -1 0 43577 0 0 0 61026 2425 0 0 25 0 1 0 21654512 61448192 12914 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8881/statm): 15002 12914 364 364 0 14638 0
[pid=8881] vsize: 60008
Current children cumulated CPU time (s) 634.51
Current children cumulated vsize (Kb) 60008

[startup+690.039 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 8881
Raw data (/proc/8881/stat): 8881 (pb2sat) R 8880 8881 4005 0 -1 0 43875 0 0 0 61935 2454 0 0 25 0 1 0 21654512 61583360 12975 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8881/statm): 15035 12975 364 364 0 14671 0
[pid=8881] vsize: 60140
Current children cumulated CPU time (s) 643.89
Current children cumulated vsize (Kb) 60140

[startup+700.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 8881
Raw data (/proc/8881/stat): 8881 (pb2sat) R 8880 8881 4005 0 -1 0 44156 0 0 0 62849 2482 0 0 25 0 1 0 21654512 61583360 13019 4294967295 134512640 135987407 3221224560 3221223136 134801641 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8881/statm): 15035 13019 364 364 0 14671 0
[pid=8881] vsize: 60140
Current children cumulated CPU time (s) 653.31
Current children cumulated vsize (Kb) 60140

[startup+710.041 s]
Raw data (loadavg): 1.00 1.00 0.94 1/55 8881
Raw data (/proc/8881/stat): 8881 (pb2sat) T 8880 8881 4005 0 -1 0 44455 0 0 0 63744 2517 0 0 25 0 1 0 21654512 61865984 13081 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8881/statm): 15104 13081 364 364 0 14740 0
[pid=8881] vsize: 60416
Current children cumulated CPU time (s) 662.61
Current children cumulated vsize (Kb) 60416

[startup+720.042 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 8881
Raw data (/proc/8881/stat): 8881 (pb2sat) R 8880 8881 4005 0 -1 0 44727 0 0 0 64655 2549 0 0 25 0 1 0 21654512 61865984 13116 4294967295 134512640 135987407 3221224560 3221223088 134775168 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8881/statm): 15104 13116 364 364 0 14740 0
[pid=8881] vsize: 60416
Current children cumulated CPU time (s) 672.04
Current children cumulated vsize (Kb) 60416

[startup+730.042 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 8881
Raw data (/proc/8881/stat): 8881 (pb2sat) R 8880 8881 4005 0 -1 0 45005 0 0 0 65564 2582 0 0 25 0 1 0 21654512 61865984 13157 4294967295 134512640 135987407 3221224560 3221223248 134811870 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8881/statm): 15104 13157 364 364 0 14740 0
[pid=8881] vsize: 60416
Current children cumulated CPU time (s) 681.46
Current children cumulated vsize (Kb) 60416

[startup+740.042 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 8881
Raw data (/proc/8881/stat): 8881 (pb2sat) R 8880 8881 4005 0 -1 0 45274 0 0 0 66477 2610 0 0 25 0 1 0 21654512 62001152 13189 4294967295 134512640 135987407 3221224560 3221223020 135480852 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8881/statm): 15137 13189 364 364 0 14773 0
[pid=8881] vsize: 60548
Current children cumulated CPU time (s) 690.87
Current children cumulated vsize (Kb) 60548

[startup+750.042 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 8881
Raw data (/proc/8881/stat): 8881 (pb2sat) R 8880 8881 4005 0 -1 0 45541 0 0 0 67386 2638 0 0 25 0 1 0 21654512 63123456 13456 4294967295 134512640 135987407 3221224560 3221222920 134827499 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8881/statm): 15411 13456 364 364 0 15047 0
[pid=8881] vsize: 61644
Current children cumulated CPU time (s) 700.24
Current children cumulated vsize (Kb) 61644

[startup+760.044 s]
Raw data (loadavg): 1.00 1.00 0.94 1/55 8881
Raw data (/proc/8881/stat): 8881 (pb2sat) T 8880 8881 4005 0 -1 0 45806 0 0 0 68306 2665 0 0 25 0 1 0 21654512 62152704 13247 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/8881/statm): 15174 13247 364 364 0 14810 0
[pid=8881] vsize: 60696
Current children cumulated CPU time (s) 709.71
Current children cumulated vsize (Kb) 60696

[startup+770.045 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 8881
Raw data (/proc/8881/stat): 8881 (pb2sat) R 8880 8881 4005 0 -1 0 49135 0 0 0 69208 2704 0 0 25 0 1 0 21654512 74866688 13266 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8881/statm): 18278 13266 364 364 0 17914 0
[pid=8881] vsize: 73112
Current children cumulated CPU time (s) 719.12
Current children cumulated vsize (Kb) 73112

[startup+780.044 s]
Raw data (loadavg): 1.00 1.00 0.94 1/55 8881
Raw data (/proc/8881/stat): 8881 (pb2sat) T 8880 8881 4005 0 -1 0 49401 0 0 0 70111 2737 0 0 25 0 1 0 21654512 74866688 13295 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8881/statm): 18278 13295 364 364 0 17914 0
[pid=8881] vsize: 73112
Current children cumulated CPU time (s) 728.48
Current children cumulated vsize (Kb) 73112

[startup+790.045 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 8881
Raw data (/proc/8881/stat): 8881 (pb2sat) R 8880 8881 4005 0 -1 0 49685 0 0 0 71030 2764 0 0 25 0 1 0 21654512 75018240 13342 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8881/statm): 18315 13342 364 364 0 17951 0
[pid=8881] vsize: 73260
Current children cumulated CPU time (s) 737.94
Current children cumulated vsize (Kb) 73260

[startup+800.046 s]
Raw data (loadavg): 1.00 1.00 0.94 1/55 8881
Raw data (/proc/8881/stat): 8881 (pb2sat) T 8880 8881 4005 0 -1 0 49941 0 0 0 71928 2796 0 0 25 0 1 0 21654512 75153408 13361 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8881/statm): 18348 13361 364 364 0 17984 0
[pid=8881] vsize: 73392
Current children cumulated CPU time (s) 747.24
Current children cumulated vsize (Kb) 73392

[startup+810.047 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 8881
Raw data (/proc/8881/stat): 8881 (pb2sat) R 8880 8881 4005 0 -1 0 50199 0 0 0 72833 2829 0 0 25 0 1 0 21654512 75153408 13382 4294967295 134512640 135987407 3221224560 3221223280 134814123 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8881/statm): 18348 13382 364 364 0 17984 0
[pid=8881] vsize: 73392
Current children cumulated CPU time (s) 756.62
Current children cumulated vsize (Kb) 73392

[startup+820.048 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 8881
Raw data (/proc/8881/stat): 8881 (pb2sat) R 8880 8881 4005 0 -1 0 50688 0 0 0 73738 2864 0 0 25 0 1 0 21654512 75288576 13397 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8881/statm): 18381 13397 364 364 0 18017 0
[pid=8881] vsize: 73524
Current children cumulated CPU time (s) 766.02
Current children cumulated vsize (Kb) 73524

[startup+830.048 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 8881
Raw data (/proc/8881/stat): 8881 (pb2sat) R 8880 8881 4005 0 -1 0 50948 0 0 0 74651 2894 0 0 25 0 1 0 21654512 75288576 13420 4294967295 134512640 135987407 3221224560 3221223336 134812410 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8881/statm): 18381 13420 364 364 0 18017 0
[pid=8881] vsize: 73524
Current children cumulated CPU time (s) 775.45
Current children cumulated vsize (Kb) 73524

[startup+840.049 s]
Raw data (loadavg): 1.07 1.02 0.94 2/55 8881
Raw data (/proc/8881/stat): 8881 (pb2sat) R 8880 8881 4005 0 -1 0 51204 0 0 0 75556 2925 0 0 25 0 1 0 21654512 75423744 13439 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8881/statm): 18414 13439 364 364 0 18050 0
[pid=8881] vsize: 73656
Current children cumulated CPU time (s) 784.81
Current children cumulated vsize (Kb) 73656

[startup+850.049 s]
Raw data (loadavg): 1.06 1.02 0.94 2/55 8881
Raw data (/proc/8881/stat): 8881 (pb2sat) R 8880 8881 4005 0 -1 0 51693 0 0 0 76469 2955 0 0 25 0 1 0 21654512 75423744 13454 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8881/statm): 18414 13454 364 364 0 18050 0
[pid=8881] vsize: 73656
Current children cumulated CPU time (s) 794.24
Current children cumulated vsize (Kb) 73656

[startup+860.05 s]
Raw data (loadavg): 1.05 1.01 0.94 1/55 8881
Raw data (/proc/8881/stat): 8881 (pb2sat) T 8880 8881 4005 0 -1 0 51963 0 0 0 77361 2990 0 0 25 0 1 0 21654512 75423744 13487 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8881/statm): 18414 13487 364 364 0 18050 0
[pid=8881] vsize: 73656
Current children cumulated CPU time (s) 803.51
Current children cumulated vsize (Kb) 73656

[startup+870.049 s]
Raw data (loadavg): 1.04 1.01 0.94 2/55 8881
Raw data (/proc/8881/stat): 8881 (pb2sat) R 8880 8881 4005 0 -1 0 52228 0 0 0 78277 3017 0 0 25 0 1 0 21654512 75558912 13515 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8881/statm): 18447 13515 364 364 0 18083 0
[pid=8881] vsize: 73788
Current children cumulated CPU time (s) 812.94
Current children cumulated vsize (Kb) 73788

[startup+880.05 s]
Raw data (loadavg): 1.04 1.01 0.94 2/55 8881
Raw data (/proc/8881/stat): 8881 (pb2sat) R 8880 8881 4005 0 -1 0 52490 0 0 0 79174 3049 0 0 25 0 1 0 21654512 75558912 13540 4294967295 134512640 135987407 3221224560 3221223248 134812002 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8881/statm): 18447 13540 364 364 0 18083 0
[pid=8881] vsize: 73788
Current children cumulated CPU time (s) 822.23
Current children cumulated vsize (Kb) 73788

[startup+890.051 s]
Raw data (loadavg): 1.03 1.01 0.94 2/55 8881
Raw data (/proc/8881/stat): 8881 (pb2sat) R 8880 8881 4005 0 -1 0 52994 0 0 0 80078 3083 0 0 25 0 1 0 21654512 75558912 13570 4294967295 134512640 135987407 3221224560 3221223248 134811813 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8881/statm): 18447 13570 364 364 0 18083 0
[pid=8881] vsize: 73788
Current children cumulated CPU time (s) 831.61
Current children cumulated vsize (Kb) 73788

[startup+900.052 s]
Raw data (loadavg): 1.02 1.01 0.94 2/55 8881
Raw data (/proc/8881/stat): 8881 (pb2sat) R 8880 8881 4005 0 -1 0 53263 0 0 0 80982 3117 0 0 25 0 1 0 21654512 75558912 13602 4294967295 134512640 135987407 3221224560 3221223248 134811964 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8881/statm): 18447 13602 364 364 0 18083 0
[pid=8881] vsize: 73788
Current children cumulated CPU time (s) 840.99
Current children cumulated vsize (Kb) 73788

[startup+910.053 s]
Raw data (loadavg): 1.10 1.03 0.95 2/55 8881
Raw data (/proc/8881/stat): 8881 (pb2sat) R 8880 8881 4005 0 -1 0 53304 0 0 0 81882 3150 0 0 25 0 1 0 21654512 75698176 13643 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8881/statm): 18481 13643 364 364 0 18117 0
[pid=8881] vsize: 73924
Current children cumulated CPU time (s) 850.32
Current children cumulated vsize (Kb) 73924

[startup+920.053 s]
Raw data (loadavg): 1.08 1.02 0.95 2/55 8881
Raw data (/proc/8881/stat): 8881 (pb2sat) R 8880 8881 4005 0 -1 0 53568 0 0 0 82791 3179 0 0 25 0 1 0 21654512 75698176 13670 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8881/statm): 18481 13670 364 364 0 18117 0
[pid=8881] vsize: 73924
Current children cumulated CPU time (s) 859.7
Current children cumulated vsize (Kb) 73924

[startup+930.053 s]
Raw data (loadavg): 1.07 1.02 0.95 2/55 8881
Raw data (/proc/8881/stat): 8881 (pb2sat) R 8880 8881 4005 0 -1 0 53822 0 0 0 83704 3211 0 0 25 0 1 0 21654512 75845632 13687 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8881/statm): 18517 13687 364 364 0 18153 0
[pid=8881] vsize: 74068
Current children cumulated CPU time (s) 869.15
Current children cumulated vsize (Kb) 74068

[startup+940.054 s]
Raw data (loadavg): 1.06 1.02 0.95 2/55 8881
Raw data (/proc/8881/stat): 8881 (pb2sat) R 8880 8881 4005 0 -1 0 54086 0 0 0 84614 3243 0 0 25 0 1 0 21654512 75845632 13714 4294967295 134512640 135987407 3221224560 3221223248 134811741 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8881/statm): 18517 13714 364 364 0 18153 0
[pid=8881] vsize: 74068
Current children cumulated CPU time (s) 878.57
Current children cumulated vsize (Kb) 74068

[startup+950.054 s]
Raw data (loadavg): 1.05 1.02 0.95 1/55 8881
Raw data (/proc/8881/stat): 8881 (pb2sat) T 8880 8881 4005 0 -1 0 54356 0 0 0 85525 3273 0 0 25 0 1 0 21654512 75845632 13747 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/8881/statm): 18517 13747 364 364 0 18153 0
[pid=8881] vsize: 74068
Current children cumulated CPU time (s) 887.98
Current children cumulated vsize (Kb) 74068

[startup+960.055 s]
Raw data (loadavg): 1.04 1.02 0.95 2/55 8881
Raw data (/proc/8881/stat): 8881 (pb2sat) R 8880 8881 4005 0 -1 0 54395 0 0 0 86427 3309 0 0 25 0 1 0 21654512 75976704 13786 4294967295 134512640 135987407 3221224560 3221223280 134814120 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8881/statm): 18549 13786 364 364 0 18185 0
[pid=8881] vsize: 74196
Current children cumulated CPU time (s) 897.36
Current children cumulated vsize (Kb) 74196

[startup+970.055 s]
Raw data (loadavg): 1.04 1.02 0.95 2/55 8881
Raw data (/proc/8881/stat): 8881 (pb2sat) R 8880 8881 4005 0 -1 0 54676 0 0 0 87336 3340 0 0 25 0 1 0 21654512 75976704 13830 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8881/statm): 18549 13830 364 364 0 18185 0
[pid=8881] vsize: 74196
Current children cumulated CPU time (s) 906.76
Current children cumulated vsize (Kb) 74196

[startup+980.055 s]
Raw data (loadavg): 1.03 1.02 0.95 2/55 8881
Raw data (/proc/8881/stat): 8881 (pb2sat) R 8880 8881 4005 0 -1 0 54928 0 0 0 88254 3365 0 0 25 0 1 0 21654512 75976704 13845 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8881/statm): 18549 13845 364 364 0 18185 0
[pid=8881] vsize: 74196
Current children cumulated CPU time (s) 916.19
Current children cumulated vsize (Kb) 74196

[startup+990.056 s]
Raw data (loadavg): 1.02 1.02 0.95 2/55 8881
Raw data (/proc/8881/stat): 8881 (pb2sat) R 8880 8881 4005 0 -1 0 55183 0 0 0 89163 3397 0 0 25 0 1 0 21654512 76111872 13863 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8881/statm): 18582 13863 364 364 0 18218 0
[pid=8881] vsize: 74328
Current children cumulated CPU time (s) 925.6
Current children cumulated vsize (Kb) 74328

[startup+1000.06 s]
Raw data (loadavg): 1.02 1.02 0.95 2/55 8881
Raw data (/proc/8881/stat): 8881 (pb2sat) R 8880 8881 4005 0 -1 0 55441 0 0 0 90072 3427 0 0 25 0 1 0 21654512 76111872 13884 4294967295 134512640 135987407 3221224560 3221223152 134850867 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8881/statm): 18582 13884 364 364 0 18218 0
[pid=8881] vsize: 74328
Current children cumulated CPU time (s) 934.99
Current children cumulated vsize (Kb) 74328

[startup+1010.06 s]
Raw data (loadavg): 1.09 1.03 0.95 2/55 8881
Raw data (/proc/8881/stat): 8881 (pb2sat) R 8880 8881 4005 0 -1 0 55936 0 0 0 90982 3459 0 0 25 0 1 0 21654512 76247040 13905 4294967295 134512640 135987407 3221224560 3221223376 134816522 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8881/statm): 18615 13905 364 364 0 18251 0
[pid=8881] vsize: 74460
Current children cumulated CPU time (s) 944.41
Current children cumulated vsize (Kb) 74460

[startup+1020.06 s]
Raw data (loadavg): 1.08 1.03 0.95 1/55 8881
Raw data (/proc/8881/stat): 8881 (pb2sat) T 8880 8881 4005 0 -1 0 56204 0 0 0 91900 3488 0 0 25 0 1 0 21654512 76247040 13936 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/8881/statm): 18615 13936 364 364 0 18251 0
[pid=8881] vsize: 74460
Current children cumulated CPU time (s) 953.88
Current children cumulated vsize (Kb) 74460

[startup+1030.06 s]
Raw data (loadavg): 1.06 1.03 0.95 2/55 8881
Raw data (/proc/8881/stat): 8881 (pb2sat) R 8880 8881 4005 0 -1 0 56453 0 0 0 92803 3519 0 0 25 0 1 0 21654512 76247040 13948 4294967295 134512640 135987407 3221224560 3221223248 134811896 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8881/statm): 18615 13948 364 364 0 18251 0
[pid=8881] vsize: 74460
Current children cumulated CPU time (s) 963.22
Current children cumulated vsize (Kb) 74460

[startup+1040.06 s]
Raw data (loadavg): 1.05 1.03 0.95 2/55 8881
Raw data (/proc/8881/stat): 8881 (pb2sat) R 8880 8881 4005 0 -1 0 56943 0 0 0 93716 3548 0 0 25 0 1 0 21654512 76398592 13964 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8881/statm): 18652 13964 364 364 0 18288 0
[pid=8881] vsize: 74608
Current children cumulated CPU time (s) 972.64
Current children cumulated vsize (Kb) 74608

[startup+1050.06 s]
Raw data (loadavg): 1.04 1.03 0.95 1/55 8881
Raw data (/proc/8881/stat): 8881 (pb2sat) T 8880 8881 4005 0 -1 0 57207 0 0 0 94624 3580 0 0 25 0 1 0 21654512 76398592 13991 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/8881/statm): 18652 13991 364 364 0 18288 0
[pid=8881] vsize: 74608
Current children cumulated CPU time (s) 982.04
Current children cumulated vsize (Kb) 74608

[startup+1060.06 s]
Raw data (loadavg): 1.04 1.03 0.95 2/55 8881
Raw data (/proc/8881/stat): 8881 (pb2sat) R 8880 8881 4005 0 -1 0 57474 0 0 0 95545 3607 0 0 25 0 1 0 21654512 76398592 14021 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8881/statm): 18652 14021 364 364 0 18288 0
[pid=8881] vsize: 74608
Current children cumulated CPU time (s) 991.52
Current children cumulated vsize (Kb) 74608

[startup+1070.06 s]
Raw data (loadavg): 1.03 1.02 0.95 2/55 8881
Raw data (/proc/8881/stat): 8881 (pb2sat) R 8880 8881 4005 0 -1 0 57734 0 0 0 96450 3639 0 0 25 0 1 0 21654512 76537856 14044 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8881/statm): 18686 14044 364 364 0 18322 0
[pid=8881] vsize: 74744
Current children cumulated CPU time (s) 1000.89
Current children cumulated vsize (Kb) 74744

[startup+1080.06 s]
Raw data (loadavg): 1.03 1.02 0.95 2/55 8881
Raw data (/proc/8881/stat): 8881 (pb2sat) R 8880 8881 4005 0 -1 0 57997 0 0 0 97351 3674 0 0 25 0 1 0 21654512 76537856 14070 4294967295 134512640 135987407 3221224560 3221223136 134801596 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8881/statm): 18686 14070 364 364 0 18322 0
[pid=8881] vsize: 74744
Current children cumulated CPU time (s) 1010.25
Current children cumulated vsize (Kb) 74744

[startup+1090.06 s]
Raw data (loadavg): 1.02 1.02 0.95 2/55 8881
Raw data (/proc/8881/stat): 8881 (pb2sat) R 8880 8881 4005 0 -1 0 58268 0 0 0 98257 3706 0 0 25 0 1 0 21654512 76537856 14104 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8881/statm): 18686 14104 364 364 0 18322 0
[pid=8881] vsize: 74744
Current children cumulated CPU time (s) 1019.63
Current children cumulated vsize (Kb) 74744

[startup+1100.06 s]
Raw data (loadavg): 1.02 1.02 0.95 2/55 8881
Raw data (/proc/8881/stat): 8881 (pb2sat) R 8880 8881 4005 0 -1 0 58536 0 0 0 99162 3740 0 0 25 0 1 0 21654512 76668928 14135 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8881/statm): 18718 14135 364 364 0 18354 0
[pid=8881] vsize: 74872
Current children cumulated CPU time (s) 1029.02
Current children cumulated vsize (Kb) 74872

[startup+1110.06 s]
Raw data (loadavg): 1.01 1.02 0.95 2/55 8881
Raw data (/proc/8881/stat): 8881 (pb2sat) R 8880 8881 4005 0 -1 0 58792 0 0 0 100074 3770 0 0 25 0 1 0 21654512 76668928 14154 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8881/statm): 18718 14154 364 364 0 18354 0
[pid=8881] vsize: 74872
Current children cumulated CPU time (s) 1038.44
Current children cumulated vsize (Kb) 74872

[startup+1120.06 s]
Raw data (loadavg): 1.01 1.02 0.95 2/55 8881
Raw data (/proc/8881/stat): 8881 (pb2sat) R 8880 8881 4005 0 -1 0 59048 0 0 0 100986 3800 0 0 25 0 1 0 21654512 76804096 14173 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8881/statm): 18751 14173 364 364 0 18387 0
[pid=8881] vsize: 75004
Current children cumulated CPU time (s) 1047.86
Current children cumulated vsize (Kb) 75004

[startup+1130.06 s]
Raw data (loadavg): 1.01 1.02 0.95 2/55 8881
Raw data (/proc/8881/stat): 8881 (pb2sat) R 8880 8881 4005 0 -1 0 59314 0 0 0 101899 3831 0 0 25 0 1 0 21654512 76804096 14202 4294967295 134512640 135987407 3221224560 3221223424 134812696 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8881/statm): 18751 14202 364 364 0 18387 0
[pid=8881] vsize: 75004
Current children cumulated CPU time (s) 1057.3
Current children cumulated vsize (Kb) 75004

[startup+1140.06 s]
Raw data (loadavg): 1.01 1.02 0.95 2/55 8881
Raw data (/proc/8881/stat): 8881 (pb2sat) R 8880 8881 4005 0 -1 0 59344 0 0 0 102812 3859 0 0 25 0 1 0 21654512 76804096 14232 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8881/statm): 18751 14232 364 364 0 18387 0
[pid=8881] vsize: 75004
Current children cumulated CPU time (s) 1066.71
Current children cumulated vsize (Kb) 75004

[startup+1150.06 s]
Raw data (loadavg): 1.01 1.02 0.95 2/55 8881
Raw data (/proc/8881/stat): 8881 (pb2sat) R 8880 8881 4005 0 -1 0 59610 0 0 0 103730 3888 0 0 25 0 1 0 21654512 76804096 14261 4294967295 134512640 135987407 3221224560 3221223248 134811870 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8881/statm): 18751 14261 364 364 0 18387 0
[pid=8881] vsize: 75004
Current children cumulated CPU time (s) 1076.18
Current children cumulated vsize (Kb) 75004

[startup+1160.06 s]
Raw data (loadavg): 1.00 1.02 0.95 1/55 8881
Raw data (/proc/8881/stat): 8881 (pb2sat) T 8880 8881 4005 0 -1 0 59873 0 0 0 104638 3919 0 0 25 0 1 0 21654512 76939264 14287 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/8881/statm): 18784 14287 364 364 0 18420 0
[pid=8881] vsize: 75136
Current children cumulated CPU time (s) 1085.57
Current children cumulated vsize (Kb) 75136

[startup+1170.06 s]
Raw data (loadavg): 1.00 1.02 0.95 2/55 8881
Raw data (/proc/8881/stat): 8881 (pb2sat) R 8880 8881 4005 0 -1 0 60124 0 0 0 105558 3944 0 0 25 0 1 0 21654512 76939264 14301 4294967295 134512640 135987407 3221224560 3221223408 134790069 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8881/statm): 18784 14301 364 364 0 18420 0
[pid=8881] vsize: 75136
Current children cumulated CPU time (s) 1095.02
Current children cumulated vsize (Kb) 75136

[startup+1180.06 s]
Raw data (loadavg): 1.00 1.01 0.95 2/55 8881
Raw data (/proc/8881/stat): 8881 (pb2sat) R 8880 8881 4005 0 -1 0 60614 0 0 0 106483 3970 0 0 25 0 1 0 21654512 76939264 14317 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8881/statm): 18784 14317 364 364 0 18420 0
[pid=8881] vsize: 75136
Current children cumulated CPU time (s) 1104.53
Current children cumulated vsize (Kb) 75136

[startup+1190.06 s]
Raw data (loadavg): 1.00 1.01 0.95 2/55 8881
Raw data (/proc/8881/stat): 8881 (pb2sat) T 8880 8881 4005 0 -1 0 60888 0 0 0 107398 4000 0 0 25 0 1 0 21654512 77074432 14354 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/8881/statm): 18817 14354 364 364 0 18453 0
[pid=8881] vsize: 75268
Current children cumulated CPU time (s) 1113.98
Current children cumulated vsize (Kb) 75268

[startup+1200.06 s]
Raw data (loadavg): 1.00 1.01 0.95 2/55 8881
Raw data (/proc/8881/stat): 8881 (pb2sat) R 8880 8881 4005 0 -1 0 61157 0 0 0 108314 4032 0 0 25 0 1 0 21654512 77074432 14386 4294967295 134512640 135987407 3221224560 3221223248 134812197 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8881/statm): 18817 14386 364 364 0 18453 0
[pid=8881] vsize: 75268
Current children cumulated CPU time (s) 1123.46
Current children cumulated vsize (Kb) 75268

[startup+1210.06 s]
Raw data (loadavg): 1.00 1.01 0.95 2/55 8881
Raw data (/proc/8881/stat): 8881 (pb2sat) T 8880 8881 4005 0 -1 0 61198 0 0 0 109224 4065 0 0 25 0 1 0 21654512 77230080 14427 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/8881/statm): 18855 14427 364 364 0 18491 0
[pid=8881] vsize: 75420
Current children cumulated CPU time (s) 1132.89
Current children cumulated vsize (Kb) 75420

[startup+1220.06 s]
Raw data (loadavg): 1.00 1.01 0.95 2/55 8881
Raw data (/proc/8881/stat): 8881 (pb2sat) R 8880 8881 4005 0 -1 0 61458 0 0 0 110152 4089 0 0 25 0 1 0 21654512 77230080 14450 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8881/statm): 18855 14450 364 364 0 18491 0
[pid=8881] vsize: 75420
Current children cumulated CPU time (s) 1142.41
Current children cumulated vsize (Kb) 75420

[startup+1230.06 s]
Raw data (loadavg): 1.00 1.01 0.95 2/55 8881
Raw data (/proc/8881/stat): 8881 (pb2sat) R 8880 8881 4005 0 -1 0 61946 0 0 0 111070 4117 0 0 25 0 1 0 21654512 78200832 14701 4294967295 134512640 135987407 3221224560 3221222920 134827499 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8881/statm): 19092 14701 364 364 0 18728 0
[pid=8881] vsize: 76368
Current children cumulated CPU time (s) 1151.87
Current children cumulated vsize (Kb) 76368

[startup+1240.06 s]
Raw data (loadavg): 1.00 1.01 0.95 2/55 8881
Raw data (/proc/8881/stat): 8881 (pb2sat) R 8880 8881 4005 0 -1 0 62201 0 0 0 111989 4146 0 0 25 0 1 0 21654512 77377536 14482 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8881/statm): 18891 14482 364 364 0 18527 0
[pid=8881] vsize: 75564
Current children cumulated CPU time (s) 1161.35
Current children cumulated vsize (Kb) 75564

[startup+1250.07 s]
Raw data (loadavg): 1.00 1.01 0.95 2/55 8881
Raw data (/proc/8881/stat): 8881 (pb2sat) R 8880 8881 4005 0 -1 0 62473 0 0 0 112910 4174 0 0 25 0 1 0 21654512 77377536 14517 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8881/statm): 18891 14517 364 364 0 18527 0
[pid=8881] vsize: 75564
Current children cumulated CPU time (s) 1170.84
Current children cumulated vsize (Kb) 75564

[startup+1260.07 s]
Raw data (loadavg): 1.00 1.01 0.95 2/59 8931
Raw data (/proc/8881/stat): 8881 (pb2sat) R 8880 8881 4005 0 -1 0 62743 0 0 0 113828 4202 0 0 20 0 1 0 21654512 77377536 14550 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8881/statm): 18891 14550 364 364 0 18527 0
[pid=8881] vsize: 75564
Current children cumulated CPU time (s) 1180.3
Current children cumulated vsize (Kb) 75564

[startup+1270.07 s]
Raw data (loadavg): 1.00 1.01 0.95 2/55 8936
Raw data (/proc/8881/stat): 8881 (pb2sat) R 8880 8881 4005 0 -1 0 62997 0 0 0 114744 4231 0 0 25 0 1 0 21654512 77512704 14567 4294967295 134512640 135987407 3221224560 3221223176 134775385 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8881/statm): 18924 14567 364 364 0 18560 0
[pid=8881] vsize: 75696
Current children cumulated CPU time (s) 1189.75
Current children cumulated vsize (Kb) 75696

[startup+1280.07 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 8936
Raw data (/proc/8881/stat): 8881 (pb2sat) R 8880 8881 4005 0 -1 0 63249 0 0 0 115662 4259 0 0 25 0 1 0 21654512 77512704 14582 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8881/statm): 18924 14582 364 364 0 18560 0
[pid=8881] vsize: 75696
Current children cumulated CPU time (s) 1199.21
Current children cumulated vsize (Kb) 75696

[startup+1290.07 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 8936
Raw data (/proc/8881/stat): 8881 (pb2sat) R 8880 8881 4005 0 -1 0 63521 0 0 0 116581 4284 0 0 25 0 1 0 21654512 77647872 14617 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8881/statm): 18957 14617 364 364 0 18593 0
[pid=8881] vsize: 75828
Current children cumulated CPU time (s) 1208.65
Current children cumulated vsize (Kb) 75828



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1290.07 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 8936
Raw data (/proc/8881/stat): 8881 (pb2sat) R 8880 8881 4005 0 -1 0 63521 0 0 0 116581 4284 0 0 25 0 1 0 21654512 77647872 14617 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8881/statm): 18957 14617 364 364 0 18593 0
[pid=8881] vsize: 75828
Current children cumulated CPU time (s) 1208.65
Current children cumulated vsize (Kb) 75828

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

Child status: 0
Real time (s): 1290.29
CPU time (s): 1208.88
CPU user time (s): 1166
CPU system time (s): 42.8805
CPU usage (%): 93.6909
Max. virtual memory (cumulated for all children) (Kb): 76368

Verifier Data

ERROR: no interpretation found !