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/www.csit.fsu.edu/~burkardt/datasets/mps/normalized-mps-v2-13-7-afiro.opb
MD5SUM54588598df6d934a1c188bcc0918a0bb
Bench Categoryoptimization, big integers (OPTBIGINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -1486831
Optimality of the best value was proved YES
Number of terms in the objective function 100
Biggest coefficient in the objective function 131072000
Number of bits for the biggest coefficient in the objective function 27
Sum of the numbers in the objective function 309329625
Number of bits of the sum of numbers in the objective function 29
Biggest number in a constraint 1273495552
Number of bits of the biggest number in a constraint 31
Biggest sum of numbers in a constraint 20473426875
Number of bits of the biggest sum of numbers35
Best result obtained on this benchmarkOPTIMUM FOUND
Best CPU time to get the best result obtained on this benchmark481.221
Number of variables640
Total number of constraints27
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints27
Minimum length of a constraint20
Maximum length of a constraint180

Trace number 5862

Launcher Data

LAUNCH ON wulflinc11 THE 2005-09-20 01:10:30 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=1168 boxname=wulflinc11 idbench=1168 idsolver=1 numberseed=0
MD5SUM SOLVER: 38f99674050b34630888bf623b924b59  /oldhome/oroussel/solvers/bsolo
MD5SUM BENCH:  54588598df6d934a1c188bcc0918a0bb  /oldhome/oroussel/tmp/wulflinc11/normalized-mps-v2-13-7-afiro.opb
REAL COMMAND:  bsolo /oldhome/oroussel/tmp/wulflinc11/normalized-mps-v2-13-7-afiro.opb
IDLAUNCH: 1168
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.028
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.028
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:        907500 kB
Buffers:         14328 kB
Cached:          86980 kB
SwapCached:        760 kB
Active:          18900 kB
Inactive:        84736 kB
HighTotal:      131008 kB
HighFree:        41160 kB
LowTotal:       903652 kB
LowFree:        866340 kB
SwapTotal:     2097136 kB
SwapFree:      2095596 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5584 kB
Slab:            17828 kB
Committed_AS:    64168 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-09-20 01:30:38 (client local time) WITH STATUS 10 IN 1195.39 SECONDS
stats: 1168 0 1195.39 10

Solver Data

c INFO: OSL Context initialized.
c BIG Int formula...
c Initial problem consists of 640 variables and 35 constraints.
c No problem reductions applied in OPT. instance.
c	preprocess terminated. Elapsed time: 0.167
c After prepocess the problem consists of 493 variables and 35 constraints.
c Initial Lower Bound: -2064339
c Restart #1 #Var: 493 #Dec: 853 LB: -2064339 @ 0.465
c Restart #2 #Var: 493 #Dec: 2375 LB: -2064339 @ 1.051
c Restart #3 #Var: 493 #Dec: 4840 LB: -2064339 @ 2.164
c Restart #4 #Var: 493 #Dec: 8982 LB: -2064339 @ 3.64
c Restart #5 #Var: 493 #Dec: 14983 LB: -2064339 @ 4.963
c Restart #6 #Var: 493 #Dec: 22369 LB: -2064339 @ 6.196
c Restart #7 #Var: 493 #Dec: 24369 LB: -2064339 @ 7.429
c Restart #8 #Var: 493 #Dec: 26052 LB: -2064339 @ 8.554
c Restart #9 #Var: 493 #Dec: 27872 LB: -2064339 @ 10.12
c Restart #10 #Var: 493 #Dec: 29890 LB: -2064339 @ 11.76
c Restart #11 #Var: 493 #Dec: 32134 LB: -2064339 @ 13.47
c Restart #12 #Var: 493 #Dec: 34662 LB: -2064339 @ 15.502
c Restart #13 #Var: 493 #Dec: 37309 LB: -2064339 @ 17.839
c Restart #14 #Var: 493 #Dec: 40587 LB: -2064339 @ 21.371
c Restart #15 #Var: 493 #Dec: 47285 LB: -2064339 @ 27.508
c Restart #16 #Var: 493 #Dec: 52172 LB: -2064339 @ 31.266
c Restart #17 #Var: 493 #Dec: 55604 LB: -2064339 @ 34.014
c Restart #18 #Var: 493 #Dec: 59775 LB: -2064339 @ 37.784
c Restart #19 #Var: 493 #Dec: 67224 LB: -2064339 @ 45.63
c NEW SOLUTION FOUND: 624508 @ 52.882 @ #Dec. 71033
c NEW SOLUTION FOUND: 624460 @ 52.885 @ #Dec. 71039
c NEW SOLUTION FOUND: 624452 @ 52.886 @ #Dec. 71042
c NEW SOLUTION FOUND: 624444 @ 52.886 @ #Dec. 71044
c NEW SOLUTION FOUND: 624434 @ 52.889 @ #Dec. 71050
c NEW SOLUTION FOUND: 368434 @ 52.893 @ #Dec. 71057
c NEW SOLUTION FOUND: 368184 @ 53.145 @ #Dec. 71278
c NEW SOLUTION FOUND: 367962 @ 53.294 @ #Dec. 71428
c NEW SOLUTION FOUND: 367946 @ 53.296 @ #Dec. 71432
c NEW SOLUTION FOUND: 367708 @ 53.374 @ #Dec. 71493
c NEW SOLUTION FOUND: 367470 @ 53.426 @ #Dec. 71536
c NEW SOLUTION FOUND: 367248 @ 53.464 @ #Dec. 71569
c NEW SOLUTION FOUND: 367232 @ 53.466 @ #Dec. 71573
c NEW SOLUTION FOUND: 145196 @ 54.08 @ #Dec. 72284
c NEW SOLUTION FOUND: 129212 @ 54.086 @ #Dec. 72297
c NEW SOLUTION FOUND: 129196 @ 54.087 @ #Dec. 72301
c NEW SOLUTION FOUND: 119196 @ 54.093 @ #Dec. 72311
c NEW SOLUTION FOUND: 118998 @ 54.097 @ #Dec. 72334
c NEW SOLUTION FOUND: 118982 @ 54.099 @ #Dec. 72348
c NEW SOLUTION FOUND: 118958 @ 54.125 @ #Dec. 72405
c NEW SOLUTION FOUND: 118946 @ 54.178 @ #Dec. 72509
c NEW SOLUTION FOUND: 118934 @ 54.221 @ #Dec. 72583
c NEW SOLUTION FOUND: 118922 @ 54.27 @ #Dec. 72658
c NEW SOLUTION FOUND: 118910 @ 54.331 @ #Dec. 72744
c NEW SOLUTION FOUND: 84668 @ 54.686 @ #Dec. 73286
c NEW SOLUTION FOUND: 84660 @ 54.687 @ #Dec. 73288
c NEW SOLUTION FOUND: 80700 @ 54.72 @ #Dec. 73342
c NEW SOLUTION FOUND: 80660 @ 54.747 @ #Dec. 73379
c NEW SOLUTION FOUND: 78780 @ 54.841 @ #Dec. 73513
c NEW SOLUTION FOUND: 78748 @ 54.842 @ #Dec. 73517
c NEW SOLUTION FOUND: 78708 @ 54.843 @ #Dec. 73519
c NEW SOLUTION FOUND: 76780 @ 54.85 @ #Dec. 73534
c NEW SOLUTION FOUND: 76748 @ 54.851 @ #Dec. 73538
c NEW SOLUTION FOUND: 76708 @ 54.852 @ #Dec. 73541
c NEW SOLUTION FOUND: 74716 @ 54.854 @ #Dec. 73549
c NEW SOLUTION FOUND: 74708 @ 54.855 @ #Dec. 73550
c NEW SOLUTION FOUND: 72748 @ 54.857 @ #Dec. 73559
c NEW SOLUTION FOUND: 72708 @ 54.859 @ #Dec. 73563
c NEW SOLUTION FOUND: 72700 @ 54.9 @ #Dec. 73631
c NEW SOLUTION FOUND: 72660 @ 54.909 @ #Dec. 73646
c NEW SOLUTION FOUND: 68732 @ 54.949 @ #Dec. 73710
c NEW SOLUTION FOUND: 68700 @ 54.95 @ #Dec. 73715
c NEW SOLUTION FOUND: 68660 @ 54.951 @ #Dec. 73719
c NEW SOLUTION FOUND: 66716 @ 54.955 @ #Dec. 73732
c NEW SOLUTION FOUND: 66708 @ 54.956 @ #Dec. 73733
c NEW SOLUTION FOUND: 64748 @ 54.959 @ #Dec. 73746
c NEW SOLUTION FOUND: 64708 @ 54.962 @ #Dec. 73755
c NEW SOLUTION FOUND: 64700 @ 54.976 @ #Dec. 73783
c NEW SOLUTION FOUND: 64660 @ 54.977 @ #Dec. 73788
c NEW SOLUTION FOUND: 62716 @ 54.979 @ #Dec. 73795
c NEW SOLUTION FOUND: 62708 @ 54.98 @ #Dec. 73796
c NEW SOLUTION FOUND: 62696 @ 54.984 @ #Dec. 73804
c NEW SOLUTION FOUND: 62692 @ 54.995 @ #Dec. 73819
c NEW SOLUTION FOUND: 62684 @ 54.996 @ #Dec. 73820
c NEW SOLUTION FOUND: 62486 @ 55.009 @ #Dec. 73842
c NEW SOLUTION FOUND: 62446 @ 55.01 @ #Dec. 73844
c NEW SOLUTION FOUND: 62280 @ 55.091 @ #Dec. 73967
c NEW SOLUTION FOUND: 62248 @ 55.091 @ #Dec. 73971
c NEW SOLUTION FOUND: 62208 @ 55.092 @ #Dec. 73973
c NEW SOLUTION FOUND: 26930 @ 55.097 @ #Dec. 73994
c NEW SOLUTION FOUND: 26922 @ 55.098 @ #Dec. 73995
c NEW SOLUTION FOUND: 22962 @ 55.1 @ #Dec. 74005
c NEW SOLUTION FOUND: 22922 @ 55.102 @ #Dec. 74010
c NEW SOLUTION FOUND: 2994 @ 55.103 @ #Dec. 74023
c NEW SOLUTION FOUND: 2962 @ 55.104 @ #Dec. 74027
c NEW SOLUTION FOUND: 2922 @ 55.105 @ #Dec. 74033
c NEW SOLUTION FOUND: -1070 @ 55.107 @ #Dec. 74042
c NEW SOLUTION FOUND: -1078 @ 55.108 @ #Dec. 74043
c NEW SOLUTION FOUND: -5038 @ 55.109 @ #Dec. 74055
c NEW SOLUTION FOUND: -5078 @ 55.11 @ #Dec. 74061
c NEW SOLUTION FOUND: -9006 @ 55.111 @ #Dec. 74071
c NEW SOLUTION FOUND: -9038 @ 55.112 @ #Dec. 74076
c NEW SOLUTION FOUND: -9078 @ 55.113 @ #Dec. 74082
c NEW SOLUTION FOUND: -9106 @ 55.181 @ #Dec. 74234
c NEW SOLUTION FOUND: -9114 @ 55.182 @ #Dec. 74235
c NEW SOLUTION FOUND: -9124 @ 55.52 @ #Dec. 74972
c NEW SOLUTION FOUND: -9152 @ 55.588 @ #Dec. 75090
c NEW SOLUTION FOUND: -9160 @ 55.589 @ #Dec. 75091
c NEW SOLUTION FOUND: -10401 @ 56.372 @ #Dec. 76259
c NEW SOLUTION FOUND: -10501 @ 56.481 @ #Dec. 76539
c NEW SOLUTION FOUND: -10511 @ 56.488 @ #Dec. 76609
c NEW SOLUTION FOUND: -10761 @ 56.495 @ #Dec. 76647
c NEW SOLUTION FOUND: -10773 @ 56.502 @ #Dec. 76677
c NEW SOLUTION FOUND: -10809 @ 56.536 @ #Dec. 76756
c NEW SOLUTION FOUND: -10839 @ 56.543 @ #Dec. 76786
c NEW SOLUTION FOUND: -10863 @ 56.551 @ #Dec. 76824
c NEW SOLUTION FOUND: -11039 @ 56.597 @ #Dec. 76922
c NEW SOLUTION FOUND: -11075 @ 56.787 @ #Dec. 77324
c NEW SOLUTION FOUND: -11315 @ 56.793 @ #Dec. 77354
c NEW SOLUTION FOUND: -11325 @ 56.797 @ #Dec. 77386
c NEW SOLUTION FOUND: -11363 @ 56.888 @ #Dec. 77527
c NEW SOLUTION FOUND: -11373 @ 56.892 @ #Dec. 77557
c NEW SOLUTION FOUND: -11623 @ 56.895 @ #Dec. 77588
c NEW SOLUTION FOUND: -11766 @ 57.03 @ #Dec. 77988
c NEW SOLUTION FOUND: -12155 @ 57.223 @ #Dec. 78231
c NEW SOLUTION FOUND: -12165 @ 57.227 @ #Dec. 78298
c NEW SOLUTION FOUND: -12320 @ 57.279 @ #Dec. 78436
c NEW SOLUTION FOUND: -12453 @ 57.451 @ #Dec. 78723
c NEW SOLUTION FOUND: -12463 @ 57.454 @ #Dec. 78788
c NEW SOLUTION FOUND: -12556 @ 57.491 @ #Dec. 78924
c NEW SOLUTION FOUND: -12606 @ 57.509 @ #Dec. 79004
c NEW SOLUTION FOUND: -12937 @ 59.723 @ #Dec. 81424
c NEW SOLUTION FOUND: -12945 @ 61.549 @ #Dec. 83693
c NEW SOLUTION FOUND: -12967 @ 61.955 @ #Dec. 84211
c NEW SOLUTION FOUND: -12977 @ 61.973 @ #Dec. 84274
c NEW SOLUTION FOUND: -13001 @ 61.984 @ #Dec. 84323
c NEW SOLUTION FOUND: -13009 @ 62.375 @ #Dec. 84792
c NEW SOLUTION FOUND: -13019 @ 62.852 @ #Dec. 85329
c NEW SOLUTION FOUND: -13169 @ 62.863 @ #Dec. 85411
c NEW SOLUTION FOUND: -13193 @ 62.916 @ #Dec. 85542
c NEW SOLUTION FOUND: -13201 @ 63.094 @ #Dec. 85780
c NEW SOLUTION FOUND: -13223 @ 63.636 @ #Dec. 86352
c NEW SOLUTION FOUND: -13233 @ 63.652 @ #Dec. 86430
c NEW SOLUTION FOUND: -13257 @ 63.661 @ #Dec. 86502
c NEW SOLUTION FOUND: -13265 @ 64.509 @ #Dec. 87302
c Restart #20 #Var: 493 #Dec: 91683 LB: -2064339 @ 70.793
c Restart #21 #Var: 493 #Dec: 98364 LB: -2064339 @ 79.945
c Restart #22 #Var: 493 #Dec: 103033 LB: -2064339 @ 89.871
c Restart #23 #Var: 493 #Dec: 107746 LB: -2064339 @ 98.406
c CHANGE to MIS mode... 	UB: -13265	MIS: -2064339	LPR: -2147483648 (0)	Diff: 0.00096128
c Restart #0 #Var: 493 #Dec: 112954 LB: -2064339 @ 108.05
c Restart #1 #Var: 493 #Dec: 113393 LB: -2064339 @ 110.78
c Restart #2 #Var: 493 #Dec: 113863 LB: -2064339 @ 115.92
c Restart #3 #Var: 493 #Dec: 114914 LB: -2064339 @ 121.52
c NEW SOLUTION FOUND: -768809 @ 128.14 @ #Dec. 116814
c NEW SOLUTION FOUND: -769309 @ 128.14 @ #Dec. 116816
c NEW SOLUTION FOUND: -769547 @ 128.15 @ #Dec. 116816
c NEW SOLUTION FOUND: -769577 @ 128.15 @ #Dec. 116822
c NEW SOLUTION FOUND: -769592 @ 128.15 @ #Dec. 116822
c NEW SOLUTION FOUND: -769607 @ 128.16 @ #Dec. 116824
c NEW SOLUTION FOUND: -769617 @ 128.16 @ #Dec. 116834
c NEW SOLUTION FOUND: -769647 @ 128.17 @ #Dec. 116848
c NEW SOLUTION FOUND: -770123 @ 128.17 @ #Dec. 116855
c NEW SOLUTION FOUND: -770361 @ 128.17 @ #Dec. 116859
c NEW SOLUTION FOUND: -770599 @ 128.17 @ #Dec. 116860
c NEW SOLUTION FOUND: -771075 @ 128.18 @ #Dec. 116864
c NEW SOLUTION FOUND: -771551 @ 128.18 @ #Dec. 116866
c NEW SOLUTION FOUND: -772027 @ 128.18 @ #Dec. 116872
c NEW SOLUTION FOUND: -772265 @ 128.18 @ #Dec. 116876
c NEW SOLUTION FOUND: -772503 @ 128.18 @ #Dec. 116877
c NEW SOLUTION FOUND: -772741 @ 128.19 @ #Dec. 116890
c NEW SOLUTION FOUND: -772781 @ 128.22 @ #Dec. 116944
c NEW SOLUTION FOUND: -772801 @ 128.25 @ #Dec. 117003
c NEW SOLUTION FOUND: -772803 @ 128.26 @ #Dec. 117042
c NEW SOLUTION FOUND: -772833 @ 128.27 @ #Dec. 117062
c NEW SOLUTION FOUND: -772841 @ 128.29 @ #Dec. 117100
c NEW SOLUTION FOUND: -772849 @ 128.36 @ #Dec. 117255
c NEW SOLUTION FOUND: -772883 @ 128.44 @ #Dec. 117373
c NEW SOLUTION FOUND: -772953 @ 128.45 @ #Dec. 117378
c NEW SOLUTION FOUND: -773267 @ 128.45 @ #Dec. 117386
c NEW SOLUTION FOUND: -773337 @ 128.45 @ #Dec. 117391
c NEW SOLUTION FOUND: -773361 @ 128.45 @ #Dec. 117403
c NEW SOLUTION FOUND: -773409 @ 128.46 @ #Dec. 117422
c NEW SOLUTION FOUND: -773439 @ 128.47 @ #Dec. 117454
c NEW SOLUTION FOUND: -773535 @ 128.47 @ #Dec. 117467
c NEW SOLUTION FOUND: -773583 @ 128.53 @ #Dec. 117567
c NEW SOLUTION FOUND: -773591 @ 128.76 @ #Dec. 117826
c NEW SOLUTION FOUND: -773602 @ 130.41 @ #Dec. 119442
c NEW SOLUTION FOUND: -773617 @ 130.41 @ #Dec. 119463
c NEW SOLUTION FOUND: -773627 @ 130.42 @ #Dec. 119492
c NEW SOLUTION FOUND: -773633 @ 130.43 @ #Dec. 119526
c NEW SOLUTION FOUND: -773643 @ 130.44 @ #Dec. 119542
c NEW SOLUTION FOUND: -773681 @ 130.44 @ #Dec. 119562
c NEW SOLUTION FOUND: -773691 @ 130.45 @ #Dec. 119580
c NEW SOLUTION FOUND: -773707 @ 130.46 @ #Dec. 119602
c NEW SOLUTION FOUND: -773711 @ 130.5 @ #Dec. 119646
c NEW SOLUTION FOUND: -773721 @ 130.52 @ #Dec. 119666
c NEW SOLUTION FOUND: -773737 @ 130.55 @ #Dec. 119698
c NEW SOLUTION FOUND: -773771 @ 130.58 @ #Dec. 119731
c NEW SOLUTION FOUND: -773781 @ 130.59 @ #Dec. 119751
c NEW SOLUTION FOUND: -773797 @ 130.61 @ #Dec. 119777
c NEW SOLUTION FOUND: -774035 @ 130.77 @ #Dec. 119848
c NEW SOLUTION FOUND: -774045 @ 130.77 @ #Dec. 119862
c NEW SOLUTION FOUND: -774061 @ 130.81 @ #Dec. 119890
c NEW SOLUTION FOUND: -774217 @ 130.92 @ #Dec. 119953
c NEW SOLUTION FOUND: -774265 @ 130.96 @ #Dec. 120078
c NEW SOLUTION FOUND: -774638 @ 131.01 @ #Dec. 120231
c NEW SOLUTION FOUND: -774688 @ 131.01 @ #Dec. 120247
c NEW SOLUTION FOUND: -774766 @ 131.21 @ #Dec. 120344
c NEW SOLUTION FOUND: -774816 @ 131.21 @ #Dec. 120360
c NEW SOLUTION FOUND: -774880 @ 131.23 @ #Dec. 120397
c NEW SOLUTION FOUND: -774888 @ 131.24 @ #Dec. 120424
c NEW SOLUTION FOUND: -775079 @ 131.68 @ #Dec. 120610
c NEW SOLUTION FOUND: -775271 @ 131.7 @ #Dec. 120655
c NEW SOLUTION FOUND: -775331 @ 131.72 @ #Dec. 120694
c NEW SOLUTION FOUND: -778290 @ 147.54 @ #Dec. 121894
c NEW SOLUTION FOUND: -779610 @ 148.61 @ #Dec. 122175
c NEW SOLUTION FOUND: -779650 @ 148.63 @ #Dec. 122200
c NEW SOLUTION FOUND: -779660 @ 148.64 @ #Dec. 122215
c NEW SOLUTION FOUND: -780506 @ 150.73 @ #Dec. 123059
c NEW SOLUTION FOUND: -780522 @ 150.74 @ #Dec. 123080
c NEW SOLUTION FOUND: -780530 @ 150.75 @ #Dec. 123095
c NEW SOLUTION FOUND: -780556 @ 150.76 @ #Dec. 123120
c NEW SOLUTION FOUND: -780588 @ 150.77 @ #Dec. 123140
c NEW SOLUTION FOUND: -780612 @ 150.78 @ #Dec. 123157
c Restart #4 #Var: 493 #Dec: 125277 LB: -2064339 @ 158.85
c Restart #5 #Var: 476 #Dec: 127432 LB: -2064339 @ 165.64
c Restart #6 #Var: 476 #Dec: 130168 LB: -2064339 @ 175.08
c Restart #7 #Var: 476 #Dec: 132291 LB: -2064339 @ 182.69
c Restart #8 #Var: 476 #Dec: 134703 LB: -2064339 @ 185.11
c Restart #9 #Var: 476 #Dec: 137374 LB: -2064339 @ 191.97
c Restart #10 #Var: 476 #Dec: 139991 LB: -2064339 @ 201.82
c Restart #11 #Var: 476 #Dec: 142635 LB: -2064339 @ 205.72
c Restart #12 #Var: 476 #Dec: 145833 LB: -2064339 @ 218.55
c Restart #13 #Var: 476 #Dec: 148829 LB: -2064339 @ 224.04
c Restart #14 #Var: 476 #Dec: 153147 LB: -2064339 @ 233.94
c Restart #15 #Var: 476 #Dec: 157473 LB: -2064339 @ 241.84
c Restart #16 #Var: 476 #Dec: 162707 LB: -2064339 @ 253.2
c Restart #17 #Var: 476 #Dec: 168740 LB: -2064339 @ 262.35
c Restart #18 #Var: 476 #Dec: 173612 LB: -2064339 @ 270.28
c Restart #19 #Var: 475 #Dec: 177599 LB: -2064339 @ 276.73
c Restart #20 #Var: 475 #Dec: 181803 LB: -2064339 @ 282.01
c Restart #21 #Var: 475 #Dec: 186252 LB: -2064339 @ 289.97
c Restart #22 #Var: 475 #Dec: 190759 LB: -2064339 @ 298.46
c Restart #23 #Var: 475 #Dec: 198536 LB: -2064339 @ 321.8
c Restart #24 #Var: 475 #Dec: 208842 LB: -2064339 @ 389.41
c Restart #25 #Var: 475 #Dec: 220115 LB: -2064339 @ 423.4
c Restart #26 #Var: 475 #Dec: 229433 LB: -2064339 @ 451.46
c Restart #27 #Var: 475 #Dec: 239670 LB: -2064339 @ 519.08
c Restart #28 #Var: 475 #Dec: 250342 LB: -2064339 @ 549.14
c Restart #29 #Var: 474 #Dec: 258355 LB: -2064339 @ 572.6
c Restart #30 #Var: 474 #Dec: 281131 LB: -2064339 @ 661.52
c NEW SOLUTION FOUND: -780742 @ 664.24 @ #Dec. 281531
c NEW SOLUTION FOUND: -780992 @ 664.24 @ #Dec. 281531
c NEW SOLUTION FOUND: -781112 @ 664.34 @ #Dec. 281591
c NEW SOLUTION FOUND: -781124 @ 664.34 @ #Dec. 281594
c NEW SOLUTION FOUND: -781136 @ 664.34 @ #Dec. 281599
c NEW SOLUTION FOUND: -781148 @ 664.34 @ #Dec. 281603
c NEW SOLUTION FOUND: -781196 @ 664.34 @ #Dec. 281613
c NEW SOLUTION FOUND: -781292 @ 664.35 @ #Dec. 281636
c NEW SOLUTION FOUND: -781484 @ 664.35 @ #Dec. 281649
c NEW SOLUTION FOUND: -781492 @ 664.65 @ #Dec. 281887
c NEW SOLUTION FOUND: -781494 @ 669.98 @ #Dec. 282787
c NEW SOLUTION FOUND: -781534 @ 670.44 @ #Dec. 283037
c NEW SOLUTION FOUND: -781558 @ 670.45 @ #Dec. 283060
c NEW SOLUTION FOUND: -781750 @ 670.45 @ #Dec. 283096
c NEW SOLUTION FOUND: -781958 @ 671.27 @ #Dec. 283534
c NEW SOLUTION FOUND: -781973 @ 672.11 @ #Dec. 284007
c NEW SOLUTION FOUND: -781987 @ 673.08 @ #Dec. 284408
c NEW SOLUTION FOUND: -782003 @ 674.65 @ #Dec. 285218
c NEW SOLUTION FOUND: -782017 @ 675.75 @ #Dec. 285631
c NEW SOLUTION FOUND: -782033 @ 675.81 @ #Dec. 285663
c NEW SOLUTION FOUND: -782062 @ 676.3 @ #Dec. 285867
c NEW SOLUTION FOUND: -782078 @ 676.38 @ #Dec. 285928
c NEW SOLUTION FOUND: -782257 @ 718.19 @ #Dec. 294939
c NEW SOLUTION FOUND: -802949 @ 762.8 @ #Dec. 299852
c NEW SOLUTION FOUND: -803077 @ 762.81 @ #Dec. 299870
c NEW SOLUTION FOUND: -803333 @ 762.82 @ #Dec. 299891
c NEW SOLUTION FOUND: -803707 @ 762.87 @ #Dec. 299933
c NEW SOLUTION FOUND: -803725 @ 762.91 @ #Dec. 299963
c NEW SOLUTION FOUND: -803749 @ 797.06 @ #Dec. 302922
c NEW SOLUTION FOUND: -803756 @ 797.21 @ #Dec. 302974
c NEW SOLUTION FOUND: -803764 @ 797.21 @ #Dec. 302987
c NEW SOLUTION FOUND: -803779 @ 799.98 @ #Dec. 303877
c NEW SOLUTION FOUND: -803794 @ 800.85 @ #Dec. 304246
c NEW SOLUTION FOUND: -803797 @ 801.37 @ #Dec. 304414
c NEW SOLUTION FOUND: -803827 @ 801.38 @ #Dec. 304427
c NEW SOLUTION FOUND: -803891 @ 801.46 @ #Dec. 304478
c NEW SOLUTION FOUND: -803899 @ 801.51 @ #Dec. 304507
c Restart #31 #Var: 474 #Dec: 316061 LB: -2064339 @ 869.61
c Restart #32 #Var: 474 #Dec: 324174 LB: -2064339 @ 911.03
c NEW SOLUTION FOUND: -803990 @ 913.71 @ #Dec. 324561
c NEW SOLUTION FOUND: -804246 @ 913.71 @ #Dec. 324564
c NEW SOLUTION FOUND: -804374 @ 913.71 @ #Dec. 324568
c NEW SOLUTION FOUND: -804398 @ 930.85 @ #Dec. 330034
c NEW SOLUTION FOUND: -804446 @ 930.97 @ #Dec. 330061
c NEW SOLUTION FOUND: -804454 @ 930.98 @ #Dec. 330071
c NEW SOLUTION FOUND: -804502 @ 931.25 @ #Dec. 330342
c NEW SOLUTION FOUND: -804510 @ 931.26 @ #Dec. 330353
c NEW SOLUTION FOUND: -804518 @ 931.27 @ #Dec. 330373
c NEW SOLUTION FOUND: -804526 @ 931.27 @ #Dec. 330392
c NEW SOLUTION FOUND: -804534 @ 931.32 @ #Dec. 330423
c Restart #33 #Var: 474 #Dec: 338852 LB: -2064339 @ 968.3
c NEW SOLUTION FOUND: -828244 @ 1012.3 @ #Dec. 344121
c NEW SOLUTION FOUND: -828252 @ 1012.7 @ #Dec. 344196
c NEW SOLUTION FOUND: -828268 @ 1012.9 @ #Dec. 344269
c NEW SOLUTION FOUND: -829420 @ 1013 @ #Dec. 344313
c NEW SOLUTION FOUND: -829588 @ 1013.4 @ #Dec. 344445
c NEW SOLUTION FOUND: -829642 @ 1013.7 @ #Dec. 344750
c NEW SOLUTION FOUND: -829710 @ 1014.2 @ #Dec. 345070
c NEW SOLUTION FOUND: -829758 @ 1014.3 @ #Dec. 345133
c NEW SOLUTION FOUND: -829770 @ 1014.4 @ #Dec. 345205
c NEW SOLUTION FOUND: -829954 @ 1016.4 @ #Dec. 345940
c NEW SOLUTION FOUND: -830954 @ 1016.4 @ #Dec. 345948
c NEW SOLUTION FOUND: -831466 @ 1016.4 @ #Dec. 345959
c NEW SOLUTION FOUND: -831722 @ 1016.4 @ #Dec. 345965
c NEW SOLUTION FOUND: -831906 @ 1016.4 @ #Dec. 345996
c NEW SOLUTION FOUND: -832906 @ 1016.4 @ #Dec. 346006
c NEW SOLUTION FOUND: -835722 @ 1016.5 @ #Dec. 346071
c NEW SOLUTION FOUND: -835818 @ 1017.3 @ #Dec. 346331
c NEW SOLUTION FOUND: -835834 @ 1017.4 @ #Dec. 346385
c NEW SOLUTION FOUND: -836234 @ 1017.7 @ #Dec. 346499
c NEW SOLUTION FOUND: -836490 @ 1017.8 @ #Dec. 346533
c NEW SOLUTION FOUND: -836602 @ 1017.9 @ #Dec. 346591
c NEW SOLUTION FOUND: -836682 @ 1018.9 @ #Dec. 346895
c NEW SOLUTION FOUND: -836746 @ 1019 @ #Dec. 346930
c NEW SOLUTION FOUND: -836794 @ 1019.1 @ #Dec. 346964
c NEW SOLUTION FOUND: -836809 @ 1022.6 @ #Dec. 348502
c NEW SOLUTION FOUND: -836839 @ 1030.8 @ #Dec. 349401
c NEW SOLUTION FOUND: -836863 @ 1032.2 @ #Dec. 349524
c NEW SOLUTION FOUND: -836931 @ 1035 @ #Dec. 350289
c NEW SOLUTION FOUND: -836947 @ 1039.2 @ #Dec. 350732
c NEW SOLUTION FOUND: -836959 @ 1041.3 @ #Dec. 350959
c NEW SOLUTION FOUND: -837003 @ 1108.3 @ #Dec. 356022
c NEW SOLUTION FOUND: -837019 @ 1108.6 @ #Dec. 356062
c NEW SOLUTION FOUND: -837115 @ 1109 @ #Dec. 356115
c NEW SOLUTION FOUND: -837139 @ 1109.6 @ #Dec. 356173
s SATISFIABLE
v -X02_bit_7 -X02_bit_6 -X02_bit_5 -X02_bit_4 -X02_bit_3 -X02_bit_2 -X02_bit_1 -X02_bit0 -X02_bit1 -X02_bit2 -X02_bit3 -X02_bit4 X02_bit5 -X02_bit6 -X02_bit7 -X02_bit8 -X02_bit9 -X02_bit10 -X02_bit11 -X02_bit12 X14_bit_7 -X14_bit_6 X14_bit_5 X14_bit_4 -X14_bit_3 X14_bit_2 X14_bit_1 -X14_bit0 X14_bit1 X14_bit2 -X14_bit3 X14_bit4 -X14_bit5 -X14_bit6 -X14_bit7 -X14_bit8 -X14_bit9 -X14_bit10 -X14_bit11 -X14_bit12 X23_bit_7 -X23_bit_6 -X23_bit_5 -X23_bit_4 X23_bit_3 -X23_bit_2 -X23_bit_1 -X23_bit0 -X23_bit1 -X23_bit2 -X23_bit3 -X23_bit4 -X23_bit5 -X23_bit6 -X23_bit7 X23_bit8 -X23_bit9 -X23_bit10 -X23_bit11 -X23_bit12 X36_bit_7 -X36_bit_6 -X36_bit_5 X36_bit_4 X36_bit_3 X36_bit_2 X36_bit_1 -X36_bit0 X36_bit1 X36_bit2 -X36_bit3 X36_bit4 X36_bit5 -X36_bit6 X36_bit7 -X36_bit8 -X36_bit9 -X36_bit10 -X36_bit11 -X36_bit12 -X39_bit_7 -X39_bit_6 -X39_bit_5 -X39_bit_4 -X39_bit_3 -X39_bit_2 -X39_bit_1 -X39_bit0 -X39_bit1 -X39_bit2 -X39_bit3 -X39_bit4 -X39_bit5 -X39_bit6 -X39_bit7 -X39_bit8 -X39_bit9 -X39_bit10 -X39_bit11 -X39_bit12 -X01_bit_7 -X01_bit_6 -X01_bit_5 X01_bit_4 X01_bit_3 -X01_bit_2 X01_bit_1 X01_bit0 X01_bit1 X01_bit2 X01_bit3 -X01_bit4 -X01_bit5 X01_bit6 -X01_bit7 -X01_bit8 -X01_bit9 -X01_bit10 -X01_bit11 -X01_bit12 -X03_bit_7 -X03_bit_6 -X03_bit_5 X03_bit_4 X03_bit_3 -X03_bit_2 X03_bit_1 X03_bit0 X03_bit1 X03_bit2 X03_bit3 -X03_bit4 X03_bit5 -X03_bit6 -X03_bit7 -X03_bit8 -X03_bit9 -X03_bit10 -X03_bit11 -X03_bit12 -X04_bit_7 -X04_bit_6 X04_bit_5 X04_bit_4 X04_bit_3 X04_bit_2 -X04_bit_1 -X04_bit0 -X04_bit1 X04_bit2 -X04_bit3 X04_bit4 -X04_bit5 X04_bit6 -X04_bit7 -X04_bit8 -X04_bit9 -X04_bit10 -X04_bit11 -X04_bit12 -X06_bit_7 -X06_bit_6 -X06_bit_5 -X06_bit_4 -X06_bit_3 -X06_bit_2 -X06_bit_1 -X06_bit0 -X06_bit1 -X06_bit2 -X06_bit3 X06_bit4 -X06_bit5 X06_bit6 -X06_bit7 -X06_bit8 -X06_bit9 -X06_bit10 -X06_bit11 -X06_bit12 -X07_bit_7 -X07_bit_6 -X07_bit_5 -X07_bit_4 -X07_bit_3 -X07_bit_2 X07_bit_1 -X07_bit0 -X07_bit1 -X07_bit2 -X07_bit3 -X07_bit4 -X07_bit5 -X07_bit6 -X07_bit7 -X07_bit8 -X07_bit9 -X07_bit10 -X07_bit11 -X07_bit12 -X08_bit_7 -X08_bit_6 -X08_bit_5 -X08_bit_4 -X08_bit_3 -X08_bit_2 X08_bit_1 -X08_bit0 -X08_bit1 -X08_bit2 -X08_bit3 -X08_bit4 X08_bit5 -X08_bit6 -X08_bit7 -X08_bit8 -X08_bit9 -X08_bit10 -X08_bit11 -X08_bit12 -X09_bit_7 X09_bit_6 -X09_bit_5 X09_bit_4 -X09_bit_3 -X09_bit_2 -X09_bit_1 -X09_bit0 -X09_bit1 -X09_bit2 -X09_bit3 -X09_bit4 X09_bit5 -X09_bit6 -X09_bit7 -X09_bit8 -X09_bit9 -X09_bit10 -X09_bit11 -X09_bit12 X15_bit_7 -X15_bit_6 X15_bit_5 X15_bit_4 X15_bit_3 -X15_bit_2 -X15_bit_1 -X15_bit0 X15_bit1 -X15_bit2 X15_bit3 X15_bit4 X15_bit5 X15_bit6 -X15_bit7 -X15_bit8 -X15_bit9 -X15_bit10 -X15_bit11 -X15_bit12 X16_bit_7 X16_bit_6 X16_bit_5 X16_bit_4 -X16_bit_3 -X16_bit_2 -X16_bit_1 -X16_bit0 -X16_bit1 -X16_bit2 -X16_bit3 X16_bit4 -X16_bit5 -X16_bit6 X16_bit7 -X16_bit8 -X16_bit9 -X16_bit10 -X16_bit11 -X16_bit12 -X22_bit_7 -X22_bit_6 -X22_bit_5 -X22_bit_4 -X22_bit_3 -X22_bit_2 X22_bit_1 X22_bit0 -X22_bit1 X22_bit2 -X22_bit3 X22_bit4 X22_bit5 -X22_bit6 X22_bit7 X22_bit8 -X22_bit9 -X22_bit10 -X22_bit11 -X22_bit12 X24_bit_7 X24_bit_6 X24_bit_5 X24_bit_4 X24_bit_3 X24_bit_2 X24_bit_1 X24_bit0 X24_bit1 X24_bit2 -X24_bit3 X24_bit4 -X24_bit5 -X24_bit6 -X24_bit7 -X24_bit8 -X24_bit9 -X24_bit10 -X24_bit11 -X24_bit12 -X25_bit_7 -X25_bit_6 -X25_bit_5 -X25_bit_4 X25_bit_3 X25_bit_2 -X25_bit_1 X25_bit0 -X25_bit1 X25_bit2 X25_bit3 X25_bit4 -X25_bit5 -X25_bit6 X25_bit7 -X25_bit8 -X25_bit9 -X25_bit10 -X25_bit11 -X25_bit12 -X26_bit_7 -X26_bit_6 -X26_bit_5 -X26_bit_4 X26_bit_3 -X26_bit_2 -X26_bit_1 -X26_bit0 -X26_bit1 X26_bit2 X26_bit3 X26_bit4 X26_bit5 -X26_bit6 X26_bit7 -X26_bit8 -X26_bit9 -X26_bit10 -X26_bit11 -X26_bit12 -X28_bit_7 -X28_bit_6 X28_bit_5 X28_bit_4 X28_bit_3 -X28_bit_2 -X28_bit_1 -X28_bit0 X28_bit1 -X28_bit2 X28_bit3 -X28_bit4 -X28_bit5 X28_bit6 -X28_bit7 -X28_bit8 -X28_bit9 -X28_bit10 -X28_bit11 -X28_bit12 -X29_bit_7 -X29_bit_6 -X29_bit_5 -X29_bit_4 -X29_bit_3 -X29_bit_2 -X29_bit_1 -X29_bit0 -X29_bit1 -X29_bit2 -X29_bit3 -X29_bit4 -X29_bit5 -X29_bit6 -X29_bit7 -X29_bit8 -X29_bit9 -X29_bit10 -X29_bit11 -X29_bit12 -X30_bit_7 -X30_bit_6 -X30_bit_5 -X30_bit_4 -X30_bit_3 -X30_bit_2 -X30_bit_1 -X30_bit0 -X30_bit1 -X30_bit2 -X30_bit3 -X30_bit4 -X30_bit5 -X30_bit6 -X30_bit7 -X30_bit8 -X30_bit9 -X30_bit10 -X30_bit11 -X30_bit12 -X31_bit_7 -X31_bit_6 -X31_bit_5 -X31_bit_4 -X31_bit_3 -X31_bit_2 -X31_bit_1 -X31_bit0 -X31_bit1 -X31_bit2 -X31_bit3 -X31_bit4 -X31_bit5 -X31_bit6 -X31_bit7 -X31_bit8 -X31_bit9 -X31_bit10 -X31_bit11 -X31_bit12 X38_bit_7 -X38_bit_6 X38_bit_5 -X38_bit_4 X38_bit_3 X38_bit_2 X38_bit_1 X38_bit0 X38_bit1 X38_bit2 X38_bit3 X38_bit4 -X38_bit5 -X38_bit6 -X38_bit7 -X38_bit8 -X38_bit9 -X38_bit10 -X38_bit11 -X38_bit12 X37_bit_7 -X37_bit_6 X37_bit_5 X37_bit_4 X37_bit_3 -X37_bit_2 X37_bit_1 -X37_bit0 -X37_bit1 -X37_bit2 X37_bit3 X37_bit4 -X37_bit5 -X37_bit6 X37_bit7 -X37_bit8 -X37_bit9 -X37_bit10 -X37_bit11 -X37_bit12 -X10_bit_7 -X10_bit_6 -X10_bit_5 -X10_bit_4 -X10_bit_3 -X10_bit_2 -X10_bit_1 -X10_bit0 -X10_bit1 -X10_bit2 -X10_bit3 -X10_bit4 -X10_bit5 -X10_bit6 -X10_bit7 -X10_bit8 -X10_bit9 -X10_bit10 -X10_bit11 -X10_bit12 -X11_bit_7 -X11_bit_6 -X11_bit_5 -X11_bit_4 -X11_bit_3 -X11_bit_2 X11_bit_1 -X11_bit0 -X11_bit1 -X11_bit2 -X11_bit3 -X11_bit4 -X11_bit5 -X11_bit6 -X11_bit7 -X11_bit8 -X11_bit9 -X11_bit10 -X11_bit11 -X11_bit12 -X12_bit_7 -X12_bit_6 -X12_bit_5 -X12_bit_4 -X12_bit_3 -X12_bit_2 X12_bit_1 -X12_bit0 -X12_bit1 -X12_bit2 -X12_bit3 -X12_bit4 X12_bit5 -X12_bit6 -X12_bit7 -X12_bit8 -X12_bit9 -X12_bit10 -X12_bit11 -X12_bit12 -X13_bit_7 X13_bit_6 -X13_bit_5 X13_bit_4 -X13_bit_3 -X13_bit_2 -X13_bit_1 -X13_bit0 -X13_bit1 -X13_bit2 -X13_bit3 -X13_bit4 X13_bit5 -X13_bit6 -X13_bit7 -X13_bit8 -X13_bit9 -X13_bit10 -X13_bit11 -X13_bit12 -X32_bit_7 -X32_bit_6 -X32_bit_5 -X32_bit_4 -X32_bit_3 -X32_bit_2 -X32_bit_1 -X32_bit0 -X32_bit1 -X32_bit2 -X32_bit3 -X32_bit4 -X32_bit5 -X32_bit6 -X32_bit7 -X32_bit8 -X32_bit9 -X32_bit10 -X32_bit11 -X32_bit12 -X33_bit_7 -X33_bit_6 -X33_bit_5 -X33_bit_4 -X33_bit_3 -X33_bit_2 -X33_bit_1 -X33_bit0 -X33_bit1 -X33_bit2 -X33_bit3 -X33_bit4 -X33_bit5 -X33_bit6 -X33_bit7 -X33_bit8 -X33_bit9 -X33_bit10 -X33_bit11 -X33_bit12 -X34_bit_7 -X34_bit_6 -X34_bit_5 -X34_bit_4 -X34_bit_3 -X34_bit_2 -X34_bit_1 -X34_bit0 -X34_bit1 -X34_bit2 -X34_bit3 -X34_bit4 -X34_bit5 -X34_bit6 -X34_bit7 -X34_bit8 -X34_bit9 -X34_bit10 -X34_bit11 -X34_bit12 -X35_bit_7 -X35_bit_6 -X35_bit_5 -X35_bit_4 -X35_bit_3 -X35_bit_2 -X35_bit_1 -X35_bit0 -X35_bit1 -X35_bit2 -X35_bit3 -X35_bit4 -X35_bit5 -X35_bit6 -X35_bit7 -X35_bit8 -X35_bit9 -X35_bit10 -X35_bit11 -X35_bit12 
c Cost: -837139
c Exit Code: 10
c Total time: 1195.1 s

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/30923/stat): 30923 (bsolo) R 30922 30923 9854 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 1796239019 438272 3 4294967295 134512640 134736556 3221224560 3221224560 1073744960 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/30923/statm): 107 3 90 68 0 39 0
[pid=30923] vsize: 428
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libosl.so
open syscall for file tls/i686/libosl.so
open syscall for file tls/mmx/libosl.so
open syscall for file tls/libosl.so
open syscall for file i686/mmx/libosl.so
open syscall for file i686/libosl.so
open syscall for file mmx/libosl.so
open syscall for file libosl.so
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libosl.so
open syscall for file /oldhome/oroussel/lib/tls/i686/libosl.so
open syscall for file /oldhome/oroussel/lib/tls/mmx/libosl.so
open syscall for file /oldhome/oroussel/lib/tls/libosl.so
open syscall for file /oldhome/oroussel/lib/i686/mmx/libosl.so
open syscall for file /oldhome/oroussel/lib/i686/libosl.so
open syscall for file /oldhome/oroussel/lib/mmx/libosl.so
open syscall for file /oldhome/oroussel/lib/libosl.so
open syscall for file tls/i686/mmx/libstdc++-libc6.2-2.so.3
open syscall for file tls/i686/libstdc++-libc6.2-2.so.3
open syscall for file tls/mmx/libstdc++-libc6.2-2.so.3
open syscall for file tls/libstdc++-libc6.2-2.so.3
open syscall for file i686/mmx/libstdc++-libc6.2-2.so.3
open syscall for file i686/libstdc++-libc6.2-2.so.3
open syscall for file mmx/libstdc++-libc6.2-2.so.3
open syscall for file libstdc++-libc6.2-2.so.3
open syscall for file /oldhome/oroussel/lib/libstdc++-libc6.2-2.so.3
open syscall for file /etc/ld.so.cache
open syscall for file /usr/lib/libstdc++-libc6.2-2.so.3
open syscall for file tls/i686/mmx/libm.so.6
open syscall for file tls/i686/libm.so.6
open syscall for file tls/mmx/libm.so.6
open syscall for file tls/libm.so.6
open syscall for file i686/mmx/libm.so.6
open syscall for file i686/libm.so.6
open syscall for file mmx/libm.so.6
open syscall for file libm.so.6
open syscall for file /oldhome/oroussel/lib/libm.so.6
open syscall for file /lib/tls/libm.so.6
open syscall for file tls/i686/mmx/libpthread.so.0
open syscall for file tls/i686/libpthread.so.0
open syscall for file tls/mmx/libpthread.so.0
open syscall for file tls/libpthread.so.0
open syscall for file i686/mmx/libpthread.so.0
open syscall for file i686/libpthread.so.0
open syscall for file mmx/libpthread.so.0
open syscall for file libpthread.so.0
open syscall for file /oldhome/oroussel/lib/libpthread.so.0
open syscall for file /lib/tls/libpthread.so.0
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /lib/tls/libc.so.6
open syscall for file tls/i686/mmx/libgcc_s.so.1
open syscall for file tls/i686/libgcc_s.so.1
open syscall for file tls/mmx/libgcc_s.so.1
open syscall for file tls/libgcc_s.so.1
open syscall for file i686/mmx/libgcc_s.so.1
open syscall for file i686/libgcc_s.so.1
open syscall for file mmx/libgcc_s.so.1
open syscall for file libgcc_s.so.1
open syscall for file /oldhome/oroussel/lib/libgcc_s.so.1
open syscall for file /lib/libgcc_s.so.1
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /etc/localtime
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/tmp/wulflinc11/normalized-mps-v2-13-7-afiro.opb

[startup+10.0034 s]
Raw data (loadavg): 0.93 0.98 0.99 2/56 30923
Raw data (/proc/30923/stat): 30923 (bsolo) R 30922 30923 9854 0 -1 0 5968 0 0 0 864 54 0 0 25 0 1 0 1796239019 27463680 5879 4294967295 134512640 134736556 3221224560 3221223156 1077374184 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/30923/statm): 6705 5879 1116 68 0 6637 0
[pid=30923] vsize: 26820
Current children cumulated CPU time (s) 9.18
Current children cumulated vsize (Kb) 26820

[startup+20.0042 s]
Raw data (loadavg): 0.94 0.98 0.99 2/56 30923
Raw data (/proc/30923/stat): 30923 (bsolo) R 30922 30923 9854 0 -1 0 16304 0 0 0 1775 103 0 0 25 0 1 0 1796239019 69914624 16215 4294967295 134512640 134736556 3221224560 3221223184 134537358 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/30923/statm): 17069 16215 1116 68 0 17001 0
[pid=30923] vsize: 68276
Current children cumulated CPU time (s) 18.78
Current children cumulated vsize (Kb) 68276

[startup+30.005 s]
Raw data (loadavg): 0.95 0.98 0.99 2/56 30923
Raw data (/proc/30923/stat): 30923 (bsolo) R 30922 30923 9854 0 -1 0 19627 0 0 0 2722 126 0 0 25 0 1 0 1796239019 83562496 19538 4294967295 134512640 134736556 3221224560 3221223164 134537568 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/30923/statm): 20401 19538 1116 68 0 20333 0
[pid=30923] vsize: 81604
Current children cumulated CPU time (s) 28.48
Current children cumulated vsize (Kb) 81604

[startup+40.0058 s]
Raw data (loadavg): 0.95 0.98 0.99 2/56 30923
Raw data (/proc/30923/stat): 30923 (bsolo) R 30922 30923 9854 0 -1 0 25281 0 0 0 3650 158 0 0 25 0 1 0 1796239019 106672128 25191 4294967295 134512640 134736556 3221224560 3221223212 134554060 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/30923/statm): 26043 25191 1116 68 0 25975 0
[pid=30923] vsize: 104172
Current children cumulated CPU time (s) 38.08
Current children cumulated vsize (Kb) 104172

[startup+50.0065 s]
Raw data (loadavg): 0.96 0.98 0.99 2/56 30923
Raw data (/proc/30923/stat): 30923 (bsolo) R 30922 30923 9854 0 -1 0 27626 0 0 0 4600 178 0 0 25 0 1 0 1796239019 116264960 27536 4294967295 134512640 134736556 3221224560 3221223232 134528802 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/30923/statm): 28385 27536 1116 68 0 28317 0
[pid=30923] vsize: 113540
Current children cumulated CPU time (s) 47.78
Current children cumulated vsize (Kb) 113540

[startup+60.0073 s]
Raw data (loadavg): 0.97 0.98 0.99 1/56 30923
Raw data (/proc/30923/stat): 30923 (bsolo) T 30922 30923 9854 0 -1 0 30455 0 0 0 5542 203 0 0 23 0 1 0 1796239019 127877120 30365 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/30923/statm): 31220 30365 1116 68 0 31152 0
[pid=30923] vsize: 124880
Current children cumulated CPU time (s) 57.45
Current children cumulated vsize (Kb) 124880

[startup+70.0081 s]
Raw data (loadavg): 0.97 0.98 0.99 2/56 30923
Raw data (/proc/30923/stat): 30923 (bsolo) R 30922 30923 9854 0 -1 0 34526 0 0 0 6481 230 0 0 25 0 1 0 1796239019 144633856 34436 4294967295 134512640 134736556 3221224560 3221223024 134536197 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/30923/statm): 35311 34436 1116 68 0 35243 0
[pid=30923] vsize: 141244
Current children cumulated CPU time (s) 67.11
Current children cumulated vsize (Kb) 141244

[startup+80.0089 s]
Raw data (loadavg): 0.98 0.98 0.99 2/56 30923
Raw data (/proc/30923/stat): 30923 (bsolo) R 30922 30923 9854 0 -1 0 38204 0 0 0 7431 253 0 0 25 0 1 0 1796239019 159645696 38114 4294967295 134512640 134736556 3221224560 3221223120 134551088 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/30923/statm): 38976 38114 1116 68 0 38908 0
[pid=30923] vsize: 155904
Current children cumulated CPU time (s) 76.84
Current children cumulated vsize (Kb) 155904

[startup+90.0097 s]
Raw data (loadavg): 0.98 0.98 0.99 2/56 30923
Raw data (/proc/30923/stat): 30923 (bsolo) R 30922 30923 9854 0 -1 0 41402 0 0 0 8398 267 0 0 25 0 1 0 1796239019 172756992 41312 4294967295 134512640 134736556 3221224560 3221222968 1077378037 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/30923/statm): 42177 41312 1116 68 0 42109 0
[pid=30923] vsize: 168708
Current children cumulated CPU time (s) 86.65
Current children cumulated vsize (Kb) 168708

[startup+100.009 s]
Raw data (loadavg): 0.98 0.98 0.99 2/56 30923
Raw data (/proc/30923/stat): 30923 (bsolo) T 30922 30923 9854 0 -1 0 44646 0 0 0 9364 284 0 0 25 0 1 0 1796239019 186011648 44556 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/30923/statm): 45413 44556 1116 68 0 45345 0
[pid=30923] vsize: 181652
Current children cumulated CPU time (s) 96.48
Current children cumulated vsize (Kb) 181652

[startup+110.01 s]
Raw data (loadavg): 0.98 0.98 0.99 1/56 30923
Raw data (/proc/30923/stat): 30923 (bsolo) T 30922 30923 9854 0 -1 0 48317 0 0 0 10327 302 0 0 25 0 1 0 1796239019 201170944 48227 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/30923/statm): 49114 48227 1116 68 0 49046 0
[pid=30923] vsize: 196456
Current children cumulated CPU time (s) 106.29
Current children cumulated vsize (Kb) 196456

[startup+120.011 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 30923
Raw data (/proc/30923/stat): 30923 (bsolo) R 30922 30923 9854 0 -1 0 49919 0 0 0 11308 313 0 0 25 0 1 0 1796239019 207659008 49826 4294967295 134512640 134736556 3221224560 3221223120 134550999 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/30923/statm): 50698 49826 1116 68 0 50630 0
[pid=30923] vsize: 202792
Current children cumulated CPU time (s) 116.21
Current children cumulated vsize (Kb) 202792

[startup+130.012 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 30923
Raw data (/proc/30923/stat): 30923 (bsolo) R 30922 30923 9854 0 -1 0 50223 0 0 0 12296 317 0 0 25 0 1 0 1796239019 209010688 50130 4294967295 134512640 134736556 3221224560 3221223140 134553382 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/30923/statm): 51028 50130 1116 68 0 50960 0
[pid=30923] vsize: 204112
Current children cumulated CPU time (s) 126.13
Current children cumulated vsize (Kb) 204112

[startup+140.013 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 30923
Raw data (/proc/30923/stat): 30923 (bsolo) R 30922 30923 9854 0 -1 0 51408 0 0 0 13267 329 0 0 25 0 1 0 1796239019 213876736 51315 4294967295 134512640 134736556 3221224560 3221223296 134529245 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/30923/statm): 52216 51315 1116 68 0 52148 0
[pid=30923] vsize: 208864
Current children cumulated CPU time (s) 135.96
Current children cumulated vsize (Kb) 208864

[startup+150.013 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 30923
Raw data (/proc/30923/stat): 30923 (bsolo) R 30922 30923 9854 0 -1 0 51473 0 0 0 14265 330 0 0 25 0 1 0 1796239019 214142976 51380 4294967295 134512640 134736556 3221224560 3221223296 134529265 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/30923/statm): 52281 51380 1116 68 0 52213 0
[pid=30923] vsize: 209124
Current children cumulated CPU time (s) 145.95
Current children cumulated vsize (Kb) 209124

[startup+160.014 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 30923
Raw data (/proc/30923/stat): 30923 (bsolo) R 30922 30923 9854 0 -1 0 52410 0 0 0 15245 338 0 0 25 0 1 0 1796239019 217944064 52317 4294967295 134512640 134736556 3221224560 3221223260 134537642 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/30923/statm): 53209 52317 1116 68 0 53141 0
[pid=30923] vsize: 212836
Current children cumulated CPU time (s) 155.83
Current children cumulated vsize (Kb) 212836

[startup+170.014 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 30923
Raw data (/proc/30923/stat): 30923 (bsolo) R 30922 30923 9854 0 -1 0 53092 0 0 0 16226 346 0 0 25 0 1 0 1796239019 220794880 52999 4294967295 134512640 134736556 3221224560 3221223116 134536384 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/30923/statm): 53905 52999 1116 68 0 53837 0
[pid=30923] vsize: 215620
Current children cumulated CPU time (s) 165.72
Current children cumulated vsize (Kb) 215620

[startup+180.015 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 30923
Raw data (/proc/30923/stat): 30923 (bsolo) R 30922 30923 9854 0 -1 0 53632 0 0 0 17206 354 0 0 25 0 1 0 1796239019 222969856 53539 4294967295 134512640 134736556 3221224560 3221223296 134529461 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/30923/statm): 54436 53539 1116 68 0 54368 0
[pid=30923] vsize: 217744
Current children cumulated CPU time (s) 175.6
Current children cumulated vsize (Kb) 217744

[startup+190.016 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 30923
Raw data (/proc/30923/stat): 30923 (bsolo) R 30922 30923 9854 0 -1 0 55852 0 0 0 18181 365 0 0 25 0 1 0 1796239019 232161280 55759 4294967295 134512640 134736556 3221224560 3221223248 134536460 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/30923/statm): 56680 55759 1116 68 0 56612 0
[pid=30923] vsize: 226720
Current children cumulated CPU time (s) 185.46
Current children cumulated vsize (Kb) 226720

[startup+200.015 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 30923
Raw data (/proc/30923/stat): 30923 (bsolo) R 30922 30923 9854 0 -1 0 57808 0 0 0 19158 376 0 0 25 0 1 0 1796239019 240136192 57715 4294967295 134512640 134736556 3221224560 3221223232 134528659 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/30923/statm): 58627 57715 1116 68 0 58559 0
[pid=30923] vsize: 234508
Current children cumulated CPU time (s) 195.34
Current children cumulated vsize (Kb) 234508

[startup+210.016 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 30923
Raw data (/proc/30923/stat): 30923 (bsolo) R 30922 30923 9854 0 -1 0 60223 0 0 0 20132 388 0 0 25 0 1 0 1796239019 250003456 60130 4294967295 134512640 134736556 3221224560 3221223248 134529155 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/30923/statm): 61036 60130 1116 68 0 60968 0
[pid=30923] vsize: 244144
Current children cumulated CPU time (s) 205.2
Current children cumulated vsize (Kb) 244144

[startup+220.017 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 30923
Raw data (/proc/30923/stat): 30923 (bsolo) R 30922 30923 9854 0 -1 0 62109 0 0 0 21111 398 0 0 25 0 1 0 1796239019 257708032 62015 4294967295 134512640 134736556 3221224560 3221223120 134550935 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/30923/statm): 62917 62015 1116 68 0 62849 0
[pid=30923] vsize: 251668
Current children cumulated CPU time (s) 215.09
Current children cumulated vsize (Kb) 251668

[startup+230.018 s]
Raw data (loadavg): 0.99 0.98 0.99 1/56 30923
Raw data (/proc/30923/stat): 30923 (bsolo) T 30922 30923 9854 0 -1 0 64811 0 0 0 22080 412 0 0 25 0 1 0 1796239019 268795904 64716 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/30923/statm): 65624 64716 1116 68 0 65556 0
[pid=30923] vsize: 262496
Current children cumulated CPU time (s) 224.92
Current children cumulated vsize (Kb) 262496

[startup+240.019 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 30923
Raw data (/proc/30923/stat): 30923 (bsolo) R 30922 30923 9854 0 -1 0 67024 0 0 0 23052 426 0 0 25 0 1 0 1796239019 277852160 66929 4294967295 134512640 134736556 3221224560 3221223072 134543065 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/30923/statm): 67835 66929 1116 68 0 67767 0
[pid=30923] vsize: 271340
Current children cumulated CPU time (s) 234.78
Current children cumulated vsize (Kb) 271340

[startup+250.019 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 30923
Raw data (/proc/30923/stat): 30923 (bsolo) R 30922 30923 9854 0 -1 0 69292 0 0 0 24022 440 0 0 25 0 1 0 1796239019 287182848 69197 4294967295 134512640 134736556 3221224560 3221223220 134528665 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/30923/statm): 70113 69197 1116 68 0 70045 0
[pid=30923] vsize: 280452
Current children cumulated CPU time (s) 244.62
Current children cumulated vsize (Kb) 280452

[startup+260.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 30923
Raw data (/proc/30923/stat): 30923 (bsolo) R 30922 30923 9854 0 -1 0 71731 0 0 0 24989 456 0 0 25 0 1 0 1796239019 297185280 71632 4294967295 134512640 134736556 3221224560 3221223136 134553387 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/30923/statm): 72555 71632 1116 68 0 72487 0
[pid=30923] vsize: 290220
Current children cumulated CPU time (s) 254.45
Current children cumulated vsize (Kb) 290220

[startup+270.021 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 30923
Raw data (/proc/30923/stat): 30923 (bsolo) R 30922 30923 9854 0 -1 0 74540 0 0 0 25947 476 0 0 25 0 1 0 1796239019 308674560 74441 4294967295 134512640 134736556 3221224560 3221223136 134553387 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/30923/statm): 75360 74441 1116 68 0 75292 0
[pid=30923] vsize: 301440
Current children cumulated CPU time (s) 264.23
Current children cumulated vsize (Kb) 301440

[startup+280.022 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 30923
Raw data (/proc/30923/stat): 30923 (bsolo) T 30922 30923 9854 0 -1 0 78658 0 0 0 26907 496 0 0 25 0 1 0 1796239019 325607424 78558 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/30923/statm): 79494 78558 1116 68 0 79426 0
[pid=30923] vsize: 317976
Current children cumulated CPU time (s) 274.03
Current children cumulated vsize (Kb) 317976

[startup+290.022 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 30923
Raw data (/proc/30923/stat): 30923 (bsolo) T 30922 30923 9854 0 -1 0 84848 0 0 0 27852 525 0 0 25 0 1 0 1796239019 351047680 84748 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/30923/statm): 85705 84748 1116 68 0 85637 0
[pid=30923] vsize: 342820
Current children cumulated CPU time (s) 283.77
Current children cumulated vsize (Kb) 342820

[startup+300.022 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 30923
Raw data (/proc/30923/stat): 30923 (bsolo) R 30922 30923 9854 0 -1 0 90147 0 0 0 28804 549 0 0 25 0 1 0 1796239019 372834304 90046 4294967295 134512640 134736556 3221224560 3221223280 134529180 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/30923/statm): 91024 90046 1116 68 0 90956 0
[pid=30923] vsize: 364096
Current children cumulated CPU time (s) 293.53
Current children cumulated vsize (Kb) 364096

[startup+310.023 s]
Raw data (loadavg): 0.99 0.98 0.99 1/56 30923
Raw data (/proc/30923/stat): 30923 (bsolo) T 30922 30923 9854 0 -1 0 92794 0 0 0 29771 566 0 0 25 0 1 0 1796239019 383672320 92690 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/30923/statm): 93670 92690 1116 68 0 93602 0
[pid=30923] vsize: 374680
Current children cumulated CPU time (s) 303.37
Current children cumulated vsize (Kb) 374680

[startup+320.024 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 30923
Raw data (/proc/30923/stat): 30923 (bsolo) R 30922 30923 9854 0 -1 0 94113 0 0 0 30751 575 0 0 25 0 1 0 1796239019 389079040 94009 4294967295 134512640 134736556 3221224560 3221223220 134528665 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/30923/statm): 94990 94009 1116 68 0 94922 0
[pid=30923] vsize: 379960
Current children cumulated CPU time (s) 313.26
Current children cumulated vsize (Kb) 379960

[startup+330.025 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 30923
Raw data (/proc/30923/stat): 30923 (bsolo) R 30922 30923 9854 0 -1 0 94758 0 0 0 31734 583 0 0 25 0 1 0 1796239019 391827456 94653 4294967295 134512640 134736556 3221224560 3221223204 134537369 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/30923/statm): 95661 94653 1116 68 0 95593 0
[pid=30923] vsize: 382644
Current children cumulated CPU time (s) 323.17
Current children cumulated vsize (Kb) 382644

[startup+340.025 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 30923
Raw data (/proc/30923/stat): 30923 (bsolo) R 30922 30923 9854 0 -1 0 94943 0 0 0 32726 587 0 0 25 0 1 0 1796239019 392519680 94838 4294967295 134512640 134736556 3221224560 3221223172 134537369 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/30923/statm): 95830 94838 1116 68 0 95762 0
[pid=30923] vsize: 383320
Current children cumulated CPU time (s) 333.13
Current children cumulated vsize (Kb) 383320

[startup+350.025 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 30923
Raw data (/proc/30923/stat): 30923 (bsolo) R 30922 30923 9854 0 -1 0 95229 0 0 0 33717 590 0 0 25 0 1 0 1796239019 393773056 95123 4294967295 134512640 134736556 3221224560 3221223184 134537350 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/30923/statm): 96136 95123 1116 68 0 96068 0
[pid=30923] vsize: 384544
Current children cumulated CPU time (s) 343.07
Current children cumulated vsize (Kb) 384544

[startup+360.026 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 30923
Raw data (/proc/30923/stat): 30923 (bsolo) R 30922 30923 9854 0 -1 0 96093 0 0 0 34705 595 0 0 25 0 1 0 1796239019 397291520 95985 4294967295 134512640 134736556 3221224560 3221223296 134529337 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/30923/statm): 96995 95985 1116 68 0 96927 0
[pid=30923] vsize: 387980
Current children cumulated CPU time (s) 353
Current children cumulated vsize (Kb) 387980

[startup+370.027 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 30923
Raw data (/proc/30923/stat): 30923 (bsolo) R 30922 30923 9854 0 -1 0 96702 0 0 0 35696 600 0 0 25 0 1 0 1796239019 399724544 96594 4294967295 134512640 134736556 3221224560 3221223236 134536476 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/30923/statm): 97589 96594 1116 68 0 97521 0
[pid=30923] vsize: 390356
Current children cumulated CPU time (s) 362.96
Current children cumulated vsize (Kb) 390356

[startup+380.028 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 30923
Raw data (/proc/30923/stat): 30923 (bsolo) R 30922 30923 9854 0 -1 0 97533 0 0 0 36684 605 0 0 25 0 1 0 1796239019 403103744 97425 4294967295 134512640 134736556 3221224560 3221223172 134537369 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/30923/statm): 98414 97425 1116 68 0 98346 0
[pid=30923] vsize: 393656
Current children cumulated CPU time (s) 372.89
Current children cumulated vsize (Kb) 393656

[startup+390.028 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 30923
Raw data (/proc/30923/stat): 30923 (bsolo) R 30922 30923 9854 0 -1 0 97987 0 0 0 37674 609 0 0 25 0 1 0 1796239019 404996096 97879 4294967295 134512640 134736556 3221224560 3221223212 134554079 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/30923/statm): 98876 97879 1116 68 0 98808 0
[pid=30923] vsize: 395504
Current children cumulated CPU time (s) 382.83
Current children cumulated vsize (Kb) 395504

[startup+400.028 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 30923
Raw data (/proc/30923/stat): 30923 (bsolo) R 30922 30923 9854 0 -1 0 98564 0 0 0 38658 615 0 0 25 0 1 0 1796239019 407429120 98456 4294967295 134512640 134736556 3221224560 3221223152 134550935 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/30923/statm): 99470 98456 1116 68 0 99402 0
[pid=30923] vsize: 397880
Current children cumulated CPU time (s) 392.73
Current children cumulated vsize (Kb) 397880

[startup+410.029 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 30923
Raw data (/proc/30923/stat): 30923 (bsolo) R 30922 30923 9854 0 -1 0 98824 0 0 0 39640 622 0 0 25 0 1 0 1796239019 408510464 98716 4294967295 134512640 134736556 3221224560 3221223184 134553387 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/30923/statm): 99734 98716 1116 68 0 99666 0
[pid=30923] vsize: 398936
Current children cumulated CPU time (s) 402.62
Current children cumulated vsize (Kb) 398936

[startup+420.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 30923
Raw data (/proc/30923/stat): 30923 (bsolo) R 30922 30923 9854 0 -1 0 99718 0 0 0 40619 631 0 0 25 0 1 0 1796239019 412164096 99610 4294967295 134512640 134736556 3221224560 3221223248 134524403 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/30923/statm): 100626 99610 1116 68 0 100558 0
[pid=30923] vsize: 402504
Current children cumulated CPU time (s) 412.5
Current children cumulated vsize (Kb) 402504

[startup+430.032 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 30923
Raw data (/proc/30923/stat): 30923 (bsolo) R 30922 30923 9854 0 -1 0 101492 0 0 0 41589 646 0 0 25 0 1 0 1796239019 417947648 101030 4294967295 134512640 134736556 3221224560 3221223248 134536465 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/30923/statm): 102038 101030 1116 68 0 101970 0
[pid=30923] vsize: 408152
Current children cumulated CPU time (s) 422.35
Current children cumulated vsize (Kb) 408152

[startup+440.032 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 30923
Raw data (/proc/30923/stat): 30923 (bsolo) R 30922 30923 9854 0 -1 0 102637 0 0 0 42562 658 0 0 25 0 1 0 1796239019 422678528 102174 4294967295 134512640 134736556 3221224560 3221223296 134529152 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/30923/statm): 103193 102174 1116 68 0 103125 0
[pid=30923] vsize: 412772
Current children cumulated CPU time (s) 432.2
Current children cumulated vsize (Kb) 412772

[startup+450.032 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 30923
Raw data (/proc/30923/stat): 30923 (bsolo) R 30922 30923 9854 0 -1 0 102894 0 0 0 43559 660 0 0 25 0 1 0 1796239019 423796736 102430 4294967295 134512640 134736556 3221224560 3221223120 134550941 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/30923/statm): 103466 102430 1116 68 0 103398 0
[pid=30923] vsize: 413864
Current children cumulated CPU time (s) 442.19
Current children cumulated vsize (Kb) 413864

[startup+460.033 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 30923
Raw data (/proc/30923/stat): 30923 (bsolo) R 30922 30923 9854 0 -1 0 104313 0 0 0 44526 675 0 0 25 0 1 0 1796239019 429629440 103849 4294967295 134512640 134736556 3221224560 3221223116 134537537 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/30923/statm): 104890 103849 1116 68 0 104822 0
[pid=30923] vsize: 419560
Current children cumulated CPU time (s) 452.01
Current children cumulated vsize (Kb) 419560

[startup+470.034 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 30923
Raw data (/proc/30923/stat): 30923 (bsolo) R 30922 30923 9854 0 -1 0 104849 0 0 0 45512 681 0 0 25 0 1 0 1796239019 431792128 104385 4294967295 134512640 134736556 3221224560 3221223264 134528659 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/30923/statm): 105418 104385 1116 68 0 105350 0
[pid=30923] vsize: 421672
Current children cumulated CPU time (s) 461.93
Current children cumulated vsize (Kb) 421672

[startup+480.034 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 30923
Raw data (/proc/30923/stat): 30923 (bsolo) R 30922 30923 9854 0 -1 0 105470 0 0 0 46496 688 0 0 25 0 1 0 1796239019 434360320 105006 4294967295 134512640 134736556 3221224560 3221223248 134536465 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/30923/statm): 106045 105006 1116 68 0 105977 0
[pid=30923] vsize: 424180
Current children cumulated CPU time (s) 471.84
Current children cumulated vsize (Kb) 424180

[startup+490.035 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 30923
Raw data (/proc/30923/stat): 30923 (bsolo) R 30922 30923 9854 0 -1 0 105995 0 0 0 47486 693 0 0 25 0 1 0 1796239019 436523008 105530 4294967295 134512640 134736556 3221224560 3221223248 134524403 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/30923/statm): 106573 105530 1116 68 0 106505 0
[pid=30923] vsize: 426292
Current children cumulated CPU time (s) 481.79
Current children cumulated vsize (Kb) 426292

[startup+500.036 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 30923
Raw data (/proc/30923/stat): 30923 (bsolo) R 30922 30923 9854 0 -1 0 106483 0 0 0 48479 697 0 0 25 0 1 0 1796239019 438550528 106018 4294967295 134512640 134736556 3221224560 3221223180 1076999581 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/30923/statm): 107068 106018 1116 68 0 107000 0
[pid=30923] vsize: 428272
Current children cumulated CPU time (s) 491.76
Current children cumulated vsize (Kb) 428272

[startup+510.037 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 30923
Raw data (/proc/30923/stat): 30923 (bsolo) R 30922 30923 9854 0 -1 0 106560 0 0 0 49477 698 0 0 25 0 1 0 1796239019 438820864 106094 4294967295 134512640 134736556 3221224560 3221223184 134553387 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/30923/statm): 107134 106094 1116 68 0 107066 0
[pid=30923] vsize: 428536
Current children cumulated CPU time (s) 501.75
Current children cumulated vsize (Kb) 428536

[startup+520.037 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 30923
Raw data (/proc/30923/stat): 30923 (bsolo) R 30922 30923 9854 0 -1 0 106769 0 0 0 50470 701 0 0 25 0 1 0 1796239019 439631872 106303 4294967295 134512640 134736556 3221224560 3221223168 134537370 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/30923/statm): 107332 106303 1116 68 0 107264 0
[pid=30923] vsize: 429328
Current children cumulated CPU time (s) 511.71
Current children cumulated vsize (Kb) 429328

[startup+530.037 s]
Raw data (loadavg): 0.99 0.98 0.99 1/56 30923
Raw data (/proc/30923/stat): 30923 (bsolo) T 30922 30923 9854 0 -1 0 107552 0 0 0 51453 707 0 0 25 0 1 0 1796239019 442875904 107085 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/30923/statm): 108124 107085 1116 68 0 108056 0
[pid=30923] vsize: 432496
Current children cumulated CPU time (s) 521.6
Current children cumulated vsize (Kb) 432496

[startup+540.038 s]
Raw data (loadavg): 0.99 0.98 0.99 1/56 30923
Raw data (/proc/30923/stat): 30923 (bsolo) T 30922 30923 9854 0 -1 0 107733 0 0 0 52437 713 0 0 25 0 1 0 1796239019 443686912 107266 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/30923/statm): 108322 107266 1116 68 0 108254 0
[pid=30923] vsize: 433288
Current children cumulated CPU time (s) 531.5
Current children cumulated vsize (Kb) 433288

[startup+550.069 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 30923
Raw data (/proc/30923/stat): 30923 (bsolo) R 30922 30923 9854 0 -1 0 108777 0 0 0 53411 724 0 0 25 0 1 0 1796239019 447885312 108308 4294967295 134512640 134736556 3221224560 3221223248 134536470 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/30923/statm): 109347 108308 1116 68 0 109279 0
[pid=30923] vsize: 437388
Current children cumulated CPU time (s) 541.35
Current children cumulated vsize (Kb) 437388

[startup+560.071 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 30923
Raw data (/proc/30923/stat): 30923 (bsolo) R 30922 30923 9854 0 -1 0 109588 0 0 0 54389 733 0 0 25 0 1 0 1796239019 451260416 109119 4294967295 134512640 134736556 3221224560 3221223172 134537369 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/30923/statm): 110171 109119 1116 68 0 110103 0
[pid=30923] vsize: 440684
Current children cumulated CPU time (s) 551.22
Current children cumulated vsize (Kb) 440684

[startup+570.072 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 30923
Raw data (/proc/30923/stat): 30923 (bsolo) R 30922 30923 9854 0 -1 0 110584 0 0 0 55363 744 0 0 25 0 1 0 1796239019 455315456 110115 4294967295 134512640 134736556 3221224560 3221223120 134551097 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/30923/statm): 111161 110115 1116 68 0 111093 0
[pid=30923] vsize: 444644
Current children cumulated CPU time (s) 561.07
Current children cumulated vsize (Kb) 444644

[startup+580.072 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 30923
Raw data (/proc/30923/stat): 30923 (bsolo) R 30922 30923 9854 0 -1 0 111546 0 0 0 56345 752 0 0 25 0 1 0 1796239019 459374592 111077 4294967295 134512640 134736556 3221224560 3221223172 134537369 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/30923/statm): 112152 111077 1116 68 0 112084 0
[pid=30923] vsize: 448608
Current children cumulated CPU time (s) 570.97
Current children cumulated vsize (Kb) 448608

[startup+590.073 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 30923
Raw data (/proc/30923/stat): 30923 (bsolo) R 30922 30923 9854 0 -1 0 112037 0 0 0 57330 758 0 0 25 0 1 0 1796239019 461479936 111563 4294967295 134512640 134736556 3221224560 3221223216 134537358 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/30923/statm): 112666 111563 1116 68 0 112598 0
[pid=30923] vsize: 450664
Current children cumulated CPU time (s) 580.88
Current children cumulated vsize (Kb) 450664

[startup+600.074 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 30923
Raw data (/proc/30923/stat): 30923 (bsolo) R 30922 30923 9854 0 -1 0 112207 0 0 0 58316 764 0 0 25 0 1 0 1796239019 462159872 111731 4294967295 134512640 134736556 3221224560 3221223284 134529471 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/30923/statm): 112832 111731 1116 68 0 112764 0
[pid=30923] vsize: 451328
Current children cumulated CPU time (s) 590.8
Current children cumulated vsize (Kb) 451328

[startup+610.075 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 30923
Raw data (/proc/30923/stat): 30923 (bsolo) R 30922 30923 9854 0 -1 0 112583 0 0 0 59299 771 0 0 25 0 1 0 1796239019 463646720 112107 4294967295 134512640 134736556 3221224560 3221223024 134536153 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/30923/statm): 113195 112107 1116 68 0 113127 0
[pid=30923] vsize: 452780
Current children cumulated CPU time (s) 600.7
Current children cumulated vsize (Kb) 452780

[startup+620.074 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 30923
Raw data (/proc/30923/stat): 30923 (bsolo) R 30922 30923 9854 0 -1 0 112942 0 0 0 60288 775 0 0 25 0 1 0 1796239019 465276928 112466 4294967295 134512640 134736556 3221224560 3221223296 134529073 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/30923/statm): 113593 112466 1116 68 0 113525 0
[pid=30923] vsize: 454372
Current children cumulated CPU time (s) 610.63
Current children cumulated vsize (Kb) 454372

[startup+630.075 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 30923
Raw data (/proc/30923/stat): 30923 (bsolo) R 30922 30923 9854 0 -1 0 113176 0 0 0 61273 781 0 0 25 0 1 0 1796239019 466223104 112700 4294967295 134512640 134736556 3221224560 3221223208 134554058 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/30923/statm): 113824 112700 1116 68 0 113756 0
[pid=30923] vsize: 455296
Current children cumulated CPU time (s) 620.54
Current children cumulated vsize (Kb) 455296

[startup+640.076 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 30923
Raw data (/proc/30923/stat): 30923 (bsolo) R 30922 30923 9854 0 -1 0 114544 0 0 0 62250 791 0 0 25 0 1 0 1796239019 471764992 114068 4294967295 134512640 134736556 3221224560 3221223116 134537524 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/30923/statm): 115177 114068 1116 68 0 115109 0
[pid=30923] vsize: 460708
Current children cumulated CPU time (s) 630.41
Current children cumulated vsize (Kb) 460708

[startup+650.076 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 30923
Raw data (/proc/30923/stat): 30923 (bsolo) R 30922 30923 9854 0 -1 0 114795 0 0 0 63233 797 0 0 25 0 1 0 1796239019 472846336 114319 4294967295 134512640 134736556 3221224560 3221223220 134609065 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/30923/statm): 115441 114319 1116 68 0 115373 0
[pid=30923] vsize: 461764
Current children cumulated CPU time (s) 640.3
Current children cumulated vsize (Kb) 461764

[startup+660.077 s]
Raw data (loadavg): 0.99 0.98 0.99 1/56 30923
Raw data (/proc/30923/stat): 30923 (bsolo) T 30922 30923 9854 0 -1 0 115266 0 0 0 64220 802 0 0 25 0 1 0 1796239019 474746880 114790 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/30923/statm): 115905 114790 1116 68 0 115837 0
[pid=30923] vsize: 463620
Current children cumulated CPU time (s) 650.22
Current children cumulated vsize (Kb) 463620

[startup+670.077 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 30923
Raw data (/proc/30923/stat): 30923 (bsolo) R 30922 30923 9854 0 -1 0 115552 0 0 0 65215 804 0 0 25 0 1 0 1796239019 475963392 115076 4294967295 134512640 134736556 3221224560 3221223176 134554070 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/30923/statm): 116202 115076 1116 68 0 116134 0
[pid=30923] vsize: 464808
Current children cumulated CPU time (s) 660.19
Current children cumulated vsize (Kb) 464808

[startup+680.078 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 30923
Raw data (/proc/30923/stat): 30923 (bsolo) R 30922 30923 9854 0 -1 0 115923 0 0 0 66204 808 0 0 25 0 1 0 1796239019 477450240 115446 4294967295 134512640 134736556 3221224560 3221223120 134550935 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/30923/statm): 116565 115446 1116 68 0 116497 0
[pid=30923] vsize: 466260
Current children cumulated CPU time (s) 670.12
Current children cumulated vsize (Kb) 466260

[startup+690.079 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 30923
Raw data (/proc/30923/stat): 30923 (bsolo) R 30922 30923 9854 0 -1 0 117132 0 0 0 67176 820 0 0 25 0 1 0 1796239019 482455552 116655 4294967295 134512640 134736556 3221224560 3221223152 134551078 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/30923/statm): 117787 116655 1116 68 0 117719 0
[pid=30923] vsize: 471148
Current children cumulated CPU time (s) 679.96
Current children cumulated vsize (Kb) 471148

[startup+700.079 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 30923
Raw data (/proc/30923/stat): 30923 (bsolo) R 30922 30923 9854 0 -1 0 117589 0 0 0 68156 828 0 0 25 0 1 0 1796239019 484212736 117112 4294967295 134512640 134736556 3221224560 3221223200 134524403 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/30923/statm): 118216 117112 1116 68 0 118148 0
[pid=30923] vsize: 472864
Current children cumulated CPU time (s) 689.84
Current children cumulated vsize (Kb) 472864

[startup+710.08 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 30923
Raw data (/proc/30923/stat): 30923 (bsolo) R 30922 30923 9854 0 -1 0 117983 0 0 0 69143 834 0 0 25 0 1 0 1796239019 485834752 117506 4294967295 134512640 134736556 3221224560 3221223172 134524344 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/30923/statm): 118612 117506 1116 68 0 118544 0
[pid=30923] vsize: 474448
Current children cumulated CPU time (s) 699.77
Current children cumulated vsize (Kb) 474448

[startup+720.08 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 30923
Raw data (/proc/30923/stat): 30923 (bsolo) R 30922 30923 9854 0 -1 0 118109 0 0 0 70134 838 0 0 25 0 1 0 1796239019 486375424 117632 4294967295 134512640 134736556 3221224560 3221223140 134553382 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/30923/statm): 118744 117632 1116 68 0 118676 0
[pid=30923] vsize: 474976
Current children cumulated CPU time (s) 709.72
Current children cumulated vsize (Kb) 474976

[startup+730.082 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 30923
Raw data (/proc/30923/stat): 30923 (bsolo) R 30922 30923 9854 0 -1 0 118302 0 0 0 71123 841 0 0 25 0 1 0 1796239019 487186432 117825 4294967295 134512640 134736556 3221224560 3221223172 134537369 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/30923/statm): 118942 117825 1116 68 0 118874 0
[pid=30923] vsize: 475768
Current children cumulated CPU time (s) 719.64
Current children cumulated vsize (Kb) 475768

[startup+740.083 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 30923
Raw data (/proc/30923/stat): 30923 (bsolo) R 30922 30923 9854 0 -1 0 118504 0 0 0 72115 844 0 0 25 0 1 0 1796239019 487993344 118027 4294967295 134512640 134736556 3221224560 3221223184 134553392 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/30923/statm): 119139 118027 1116 68 0 119071 0
[pid=30923] vsize: 476556
Current children cumulated CPU time (s) 729.59
Current children cumulated vsize (Kb) 476556

[startup+750.083 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 30923
Raw data (/proc/30923/stat): 30923 (bsolo) R 30922 30923 9854 0 -1 0 118631 0 0 0 73107 847 0 0 25 0 1 0 1796239019 488534016 118154 4294967295 134512640 134736556 3221224560 3221223236 134536476 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/30923/statm): 119271 118154 1116 68 0 119203 0
[pid=30923] vsize: 477084
Current children cumulated CPU time (s) 739.54
Current children cumulated vsize (Kb) 477084

[startup+760.083 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 30923
Raw data (/proc/30923/stat): 30923 (bsolo) R 30922 30923 9854 0 -1 0 118831 0 0 0 74100 849 0 0 25 0 1 0 1796239019 489345024 118354 4294967295 134512640 134736556 3221224560 3221223184 134537358 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/30923/statm): 119469 118354 1116 68 0 119401 0
[pid=30923] vsize: 477876
Current children cumulated CPU time (s) 749.49
Current children cumulated vsize (Kb) 477876

[startup+770.084 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 30923
Raw data (/proc/30923/stat): 30923 (bsolo) R 30922 30923 9854 0 -1 0 118927 0 0 0 75098 851 0 0 25 0 1 0 1796239019 489750528 118450 4294967295 134512640 134736556 3221224560 3221223284 134529471 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/30923/statm): 119568 118450 1116 68 0 119500 0
[pid=30923] vsize: 478272
Current children cumulated CPU time (s) 759.49
Current children cumulated vsize (Kb) 478272

[startup+780.085 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 30923
Raw data (/proc/30923/stat): 30923 (bsolo) R 30922 30923 9854 0 -1 0 119151 0 0 0 76090 855 0 0 25 0 1 0 1796239019 490561536 118674 4294967295 134512640 134736556 3221224560 3221223024 134536153 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/30923/statm): 119766 118674 1116 68 0 119698 0
[pid=30923] vsize: 479064
Current children cumulated CPU time (s) 769.45
Current children cumulated vsize (Kb) 479064

[startup+790.086 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 30923
Raw data (/proc/30923/stat): 30923 (bsolo) R 30922 30923 9854 0 -1 0 119340 0 0 0 77084 857 0 0 25 0 1 0 1796239019 491372544 118863 4294967295 134512640 134736556 3221224560 3221223184 134537358 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/30923/statm): 119964 118863 1116 68 0 119896 0
[pid=30923] vsize: 479856
Current children cumulated CPU time (s) 779.41
Current children cumulated vsize (Kb) 479856

[startup+800.087 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 30923
Raw data (/proc/30923/stat): 30923 (bsolo) R 30922 30923 9854 0 -1 0 119552 0 0 0 78076 860 0 0 25 0 1 0 1796239019 492318720 119075 4294967295 134512640 134736556 3221224560 3221223232 134528681 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/30923/statm): 120195 119075 1116 68 0 120127 0
[pid=30923] vsize: 480780
Current children cumulated CPU time (s) 789.36
Current children cumulated vsize (Kb) 480780

[startup+810.087 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 30923
Raw data (/proc/30923/stat): 30923 (bsolo) R 30922 30923 9854 0 -1 0 119784 0 0 0 79068 863 0 0 25 0 1 0 1796239019 493256704 119307 4294967295 134512640 134736556 3221224560 3221223156 134551264 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/30923/statm): 120424 119307 1116 68 0 120356 0
[pid=30923] vsize: 481696
Current children cumulated CPU time (s) 799.31
Current children cumulated vsize (Kb) 481696

[startup+820.088 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 30923
Raw data (/proc/30923/stat): 30923 (bsolo) R 30922 30923 9854 0 -1 0 120117 0 0 0 80060 866 0 0 25 0 1 0 1796239019 494612480 119640 4294967295 134512640 134736556 3221224560 3221223108 134551038 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/30923/statm): 120755 119640 1116 68 0 120687 0
[pid=30923] vsize: 483020
Current children cumulated CPU time (s) 809.26
Current children cumulated vsize (Kb) 483020

[startup+830.088 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 30923
Raw data (/proc/30923/stat): 30923 (bsolo) R 30922 30923 9854 0 -1 0 120195 0 0 0 81054 868 0 0 25 0 1 0 1796239019 494882816 119718 4294967295 134512640 134736556 3221224560 3221223172 134537369 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/30923/statm): 120821 119718 1116 68 0 120753 0
[pid=30923] vsize: 483284
Current children cumulated CPU time (s) 819.22
Current children cumulated vsize (Kb) 483284

[startup+840.089 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 30923
Raw data (/proc/30923/stat): 30923 (bsolo) R 30922 30923 9854 0 -1 0 120523 0 0 0 82046 872 0 0 25 0 1 0 1796239019 496230400 120046 4294967295 134512640 134736556 3221224560 3221223296 134529265 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/30923/statm): 121150 120046 1116 68 0 121082 0
[pid=30923] vsize: 484600
Current children cumulated CPU time (s) 829.18
Current children cumulated vsize (Kb) 484600

[startup+850.09 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 30923
Raw data (/proc/30923/stat): 30923 (bsolo) R 30922 30923 9854 0 -1 0 120579 0 0 0 83041 874 0 0 25 0 1 0 1796239019 496500736 120102 4294967295 134512640 134736556 3221224560 3221223168 134524348 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/30923/statm): 121216 120102 1116 68 0 121148 0
[pid=30923] vsize: 484864
Current children cumulated CPU time (s) 839.15
Current children cumulated vsize (Kb) 484864

[startup+860.09 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 30923
Raw data (/proc/30923/stat): 30923 (bsolo) R 30922 30923 9854 0 -1 0 120967 0 0 0 84032 878 0 0 25 0 1 0 1796239019 498106368 120490 4294967295 134512640 134736556 3221224560 3221223296 134529164 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/30923/statm): 121608 120490 1116 68 0 121540 0
[pid=30923] vsize: 486432
Current children cumulated CPU time (s) 849.1
Current children cumulated vsize (Kb) 486432

[startup+870.091 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 30923
Raw data (/proc/30923/stat): 30923 (bsolo) R 30922 30923 9854 0 -1 0 122116 0 0 0 85015 886 0 0 25 0 1 0 1796239019 502837248 121639 4294967295 134512640 134736556 3221224560 3221223248 134536462 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/30923/statm): 122763 121639 1116 68 0 122695 0
[pid=30923] vsize: 491052
Current children cumulated CPU time (s) 859.01
Current children cumulated vsize (Kb) 491052

[startup+880.092 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 30923
Raw data (/proc/30923/stat): 30923 (bsolo) R 30922 30923 9854 0 -1 0 124808 0 0 0 85989 899 0 0 25 0 1 0 1796239019 513785856 124331 4294967295 134512640 134736556 3221224560 3221223216 134524547 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/30923/statm): 125436 124331 1116 68 0 125368 0
[pid=30923] vsize: 501744
Current children cumulated CPU time (s) 868.88
Current children cumulated vsize (Kb) 501744

[startup+890.093 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 30923
Raw data (/proc/30923/stat): 30923 (bsolo) R 30922 30923 9854 0 -1 0 125988 0 0 0 86974 906 0 0 25 0 1 0 1796239019 518668288 125510 4294967295 134512640 134736556 3221224560 3221223116 134537548 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/30923/statm): 126628 125510 1116 68 0 126560 0
[pid=30923] vsize: 506512
Current children cumulated CPU time (s) 878.8
Current children cumulated vsize (Kb) 506512

[startup+900.092 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 30923
Raw data (/proc/30923/stat): 30923 (bsolo) R 30922 30923 9854 0 -1 0 126487 0 0 0 87963 911 0 0 25 0 1 0 1796239019 520695808 126009 4294967295 134512640 134736556 3221224560 3221223084 134536611 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/30923/statm): 127123 126009 1116 68 0 127055 0
[pid=30923] vsize: 508492
Current children cumulated CPU time (s) 888.74
Current children cumulated vsize (Kb) 508492

[startup+910.093 s]
Raw data (loadavg): 0.99 0.98 0.99 1/56 30923
Raw data (/proc/30923/stat): 30923 (bsolo) T 30922 30923 9854 0 -1 0 127810 0 0 0 88947 917 0 0 25 0 1 0 1796239019 526102528 127332 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/30923/statm): 128443 127332 1116 68 0 128375 0
[pid=30923] vsize: 513772
Current children cumulated CPU time (s) 898.64
Current children cumulated vsize (Kb) 513772

[startup+920.094 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 30923
Raw data (/proc/30923/stat): 30923 (bsolo) R 30922 30923 9854 0 -1 0 129086 0 0 0 89931 924 0 0 25 0 1 0 1796239019 531374080 128608 4294967295 134512640 134736556 3221224560 3221223024 134536153 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/30923/statm): 129730 128608 1116 68 0 129662 0
[pid=30923] vsize: 518920
Current children cumulated CPU time (s) 908.55
Current children cumulated vsize (Kb) 518920

[startup+930.094 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 30923
Raw data (/proc/30923/stat): 30923 (bsolo) R 30922 30923 9854 0 -1 0 130553 0 0 0 90913 933 0 0 25 0 1 0 1796239019 537403392 130072 4294967295 134512640 134736556 3221224560 3221223120 134551002 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/30923/statm): 131202 130072 1116 68 0 131134 0
[pid=30923] vsize: 524808
Current children cumulated CPU time (s) 918.46
Current children cumulated vsize (Kb) 524808

[startup+940.098 s]
Raw data (loadavg): 0.99 0.98 0.99 1/56 30923
Raw data (/proc/30923/stat): 30923 (bsolo) T 30922 30923 9854 0 -1 0 131513 0 0 0 91896 940 0 0 25 0 1 0 1796239019 541319168 131032 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/30923/statm): 132158 131032 1116 68 0 132090 0
[pid=30923] vsize: 528632
Current children cumulated CPU time (s) 928.36
Current children cumulated vsize (Kb) 528632

[startup+950.098 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 30923
Raw data (/proc/30923/stat): 30923 (bsolo) R 30922 30923 9854 0 -1 0 132015 0 0 0 92878 946 0 0 25 0 1 0 1796239019 543457280 131533 4294967295 134512640 134736556 3221224560 3221223216 134528669 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/30923/statm): 132680 131533 1116 68 0 132612 0
[pid=30923] vsize: 530720
Current children cumulated CPU time (s) 938.24
Current children cumulated vsize (Kb) 530720

[startup+960.099 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 30923
Raw data (/proc/30923/stat): 30923 (bsolo) R 30922 30923 9854 0 -1 0 132380 0 0 0 93867 950 0 0 25 0 1 0 1796239019 544944128 131898 4294967295 134512640 134736556 3221224560 3221222984 1077378037 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/30923/statm): 133043 131898 1116 68 0 132975 0
[pid=30923] vsize: 532172
Current children cumulated CPU time (s) 948.17
Current children cumulated vsize (Kb) 532172

[startup+970.1 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 30923
Raw data (/proc/30923/stat): 30923 (bsolo) R 30922 30923 9854 0 -1 0 132949 0 0 0 94848 957 0 0 25 0 1 0 1796239019 547221504 132467 4294967295 134512640 134736556 3221224560 3221223184 134537358 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/30923/statm): 133599 132467 1116 68 0 133531 0
[pid=30923] vsize: 534396
Current children cumulated CPU time (s) 958.05
Current children cumulated vsize (Kb) 534396

[startup+980.1 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 30923
Raw data (/proc/30923/stat): 30923 (bsolo) R 30922 30923 9854 0 -1 0 133180 0 0 0 95837 961 0 0 25 0 1 0 1796239019 548163584 132698 4294967295 134512640 134736556 3221224560 3221223248 134529227 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/30923/statm): 133829 132698 1116 68 0 133761 0
[pid=30923] vsize: 535316
Current children cumulated CPU time (s) 967.98
Current children cumulated vsize (Kb) 535316

[startup+990.101 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 30923
Raw data (/proc/30923/stat): 30923 (bsolo) R 30922 30923 9854 0 -1 0 133509 0 0 0 96824 967 0 0 25 0 1 0 1796239019 549543936 133027 4294967295 134512640 134736556 3221224560 3221223296 134529232 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/30923/statm): 134166 133027 1116 68 0 134098 0
[pid=30923] vsize: 536664
Current children cumulated CPU time (s) 977.91
Current children cumulated vsize (Kb) 536664

[startup+1000.1 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 30923
Raw data (/proc/30923/stat): 30923 (bsolo) R 30922 30923 9854 0 -1 0 133680 0 0 0 97819 969 0 0 25 0 1 0 1796239019 550219776 133198 4294967295 134512640 134736556 3221224560 3221223184 134537358 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/30923/statm): 134331 133198 1116 68 0 134263 0
[pid=30923] vsize: 537324
Current children cumulated CPU time (s) 987.88
Current children cumulated vsize (Kb) 537324

[startup+1010.1 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 30923
Raw data (/proc/30923/stat): 30923 (bsolo) R 30922 30923 9854 0 -1 0 133813 0 0 0 98813 972 0 0 25 0 1 0 1796239019 550756352 133331 4294967295 134512640 134736556 3221224560 3221223152 134553321 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/30923/statm): 134462 133331 1116 68 0 134394 0
[pid=30923] vsize: 537848
Current children cumulated CPU time (s) 997.85
Current children cumulated vsize (Kb) 537848

[startup+1020.1 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 30923
Raw data (/proc/30923/stat): 30923 (bsolo) R 30922 30923 9854 0 -1 0 133924 0 0 0 99807 975 0 0 25 0 1 0 1796239019 551301120 133442 4294967295 134512640 134736556 3221224560 3221223184 134524547 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/30923/statm): 134595 133442 1116 68 0 134527 0
[pid=30923] vsize: 538380
Current children cumulated CPU time (s) 1007.82
Current children cumulated vsize (Kb) 538380

[startup+1030.1 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 30923
Raw data (/proc/30923/stat): 30923 (bsolo) R 30922 30923 9854 0 -1 0 134884 0 0 0 100790 982 0 0 25 0 1 0 1796239019 555220992 134402 4294967295 134512640 134736556 3221224560 3221223280 134609059 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/30923/statm): 135552 134402 1116 68 0 135484 0
[pid=30923] vsize: 542208
Current children cumulated CPU time (s) 1017.72
Current children cumulated vsize (Kb) 542208

[startup+1040.1 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 30923
Raw data (/proc/30923/stat): 30923 (bsolo) R 30922 30923 9854 0 -1 0 136044 0 0 0 101774 989 0 0 25 0 1 0 1796239019 559951872 135562 4294967295 134512640 134736556 3221224560 3221223136 134553387 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/30923/statm): 136707 135562 1116 68 0 136639 0
[pid=30923] vsize: 546828
Current children cumulated CPU time (s) 1027.63
Current children cumulated vsize (Kb) 546828

[startup+1050.1 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 30923
Raw data (/proc/30923/stat): 30923 (bsolo) R 30922 30923 9854 0 -1 0 136604 0 0 0 102762 994 0 0 25 0 1 0 1796239019 562249728 136122 4294967295 134512640 134736556 3221224560 3221223084 134536676 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/30923/statm): 137268 136122 1116 68 0 137200 0
[pid=30923] vsize: 549072
Current children cumulated CPU time (s) 1037.56
Current children cumulated vsize (Kb) 549072

[startup+1060.1 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 30923
Raw data (/proc/30923/stat): 30923 (bsolo) R 30922 30923 9854 0 -1 0 137211 0 0 0 103754 999 0 0 25 0 1 0 1796239019 564699136 136729 4294967295 134512640 134736556 3221224560 3221223284 134600574 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/30923/statm): 137866 136729 1116 68 0 137798 0
[pid=30923] vsize: 551464
Current children cumulated CPU time (s) 1047.53
Current children cumulated vsize (Kb) 551464

[startup+1070.1 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 30923
Raw data (/proc/30923/stat): 30923 (bsolo) R 30922 30923 9854 0 -1 0 137360 0 0 0 104751 1001 0 0 25 0 1 0 1796239019 565374976 136878 4294967295 134512640 134736556 3221224560 3221223220 134609065 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/30923/statm): 138031 136878 1116 68 0 137963 0
[pid=30923] vsize: 552124
Current children cumulated CPU time (s) 1057.52
Current children cumulated vsize (Kb) 552124

[startup+1080.1 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 30923
Raw data (/proc/30923/stat): 30923 (bsolo) R 30922 30923 9854 0 -1 0 137966 0 0 0 105741 1005 0 0 25 0 1 0 1796239019 567812096 137484 4294967295 134512640 134736556 3221224560 3221223088 134553387 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/30923/statm): 138626 137484 1116 68 0 138558 0
[pid=30923] vsize: 554504
Current children cumulated CPU time (s) 1067.46
Current children cumulated vsize (Kb) 554504

[startup+1090.1 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 30923
Raw data (/proc/30923/stat): 30923 (bsolo) R 30922 30923 9854 0 -1 0 138053 0 0 0 106737 1007 0 0 25 0 1 0 1796239019 568217600 137571 4294967295 134512640 134736556 3221224560 3221223152 134536465 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/30923/statm): 138725 137571 1116 68 0 138657 0
[pid=30923] vsize: 554900
Current children cumulated CPU time (s) 1077.44
Current children cumulated vsize (Kb) 554900

[startup+1100.1 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 30923
Raw data (/proc/30923/stat): 30923 (bsolo) R 30922 30923 9854 0 -1 0 138101 0 0 0 107733 1008 0 0 25 0 1 0 1796239019 568487936 137619 4294967295 134512640 134736556 3221224560 3221223152 134536465 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/30923/statm): 138791 137619 1116 68 0 138723 0
[pid=30923] vsize: 555164
Current children cumulated CPU time (s) 1087.41
Current children cumulated vsize (Kb) 555164

[startup+1110.11 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 30923
Raw data (/proc/30923/stat): 30923 (bsolo) R 30922 30923 9854 0 -1 0 138148 0 0 0 108731 1009 0 0 25 0 1 0 1796239019 568623104 137666 4294967295 134512640 134736556 3221224560 3221223104 134551043 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/30923/statm): 138824 137666 1116 68 0 138756 0
[pid=30923] vsize: 555296
Current children cumulated CPU time (s) 1097.4
Current children cumulated vsize (Kb) 555296

[startup+1120.11 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 30923
Raw data (/proc/30923/stat): 30923 (bsolo) R 30922 30923 9854 0 -1 0 138276 0 0 0 109727 1011 0 0 25 0 1 0 1796239019 569163776 137794 4294967295 134512640 134736556 3221224560 3221223104 134553314 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/30923/statm): 138956 137794 1116 68 0 138888 0
[pid=30923] vsize: 555824
Current children cumulated CPU time (s) 1107.38
Current children cumulated vsize (Kb) 555824

[startup+1130.11 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 30923
Raw data (/proc/30923/stat): 30923 (bsolo) R 30922 30923 9854 0 -1 0 138399 0 0 0 110724 1012 0 0 25 0 1 0 1796239019 569704448 137917 4294967295 134512640 134736556 3221224560 3221223152 134536462 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/30923/statm): 139088 137917 1116 68 0 139020 0
[pid=30923] vsize: 556352
Current children cumulated CPU time (s) 1117.36
Current children cumulated vsize (Kb) 556352

[startup+1140.11 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 30923
Raw data (/proc/30923/stat): 30923 (bsolo) R 30922 30923 9854 0 -1 0 138446 0 0 0 111722 1013 0 0 25 0 1 0 1796239019 569839616 137964 4294967295 134512640 134736556 3221224560 3221223188 134529176 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/30923/statm): 139121 137964 1116 68 0 139053 0
[pid=30923] vsize: 556484
Current children cumulated CPU time (s) 1127.35
Current children cumulated vsize (Kb) 556484

[startup+1150.11 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 30923
Raw data (/proc/30923/stat): 30923 (bsolo) R 30922 30923 9854 0 -1 0 138493 0 0 0 112721 1014 0 0 25 0 1 0 1796239019 569974784 138011 4294967295 134512640 134736556 3221224560 3221223068 134537537 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/30923/statm): 139154 138011 1116 68 0 139086 0
[pid=30923] vsize: 556616
Current children cumulated CPU time (s) 1137.35
Current children cumulated vsize (Kb) 556616

[startup+1160.11 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 30923
Raw data (/proc/30923/stat): 30923 (bsolo) R 30922 30923 9854 0 -1 0 138538 0 0 0 113720 1015 0 0 25 0 1 0 1796239019 570245120 138056 4294967295 134512640 134736556 3221224560 3221223184 134537358 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/30923/statm): 139220 138056 1116 68 0 139152 0
[pid=30923] vsize: 556880
Current children cumulated CPU time (s) 1147.35
Current children cumulated vsize (Kb) 556880

[startup+1170.11 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 30923
Raw data (/proc/30923/stat): 30923 (bsolo) R 30922 30923 9854 0 -1 0 138590 0 0 0 114718 1016 0 0 25 0 1 0 1796239019 570380288 138106 4294967295 134512640 134736556 3221224560 3221223212 134554040 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/30923/statm): 139253 138106 1116 68 0 139185 0
[pid=30923] vsize: 557012
Current children cumulated CPU time (s) 1157.34
Current children cumulated vsize (Kb) 557012

[startup+1180.11 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 30923
Raw data (/proc/30923/stat): 30923 (bsolo) R 30922 30923 9854 0 -1 0 138643 0 0 0 115716 1017 0 0 25 0 1 0 1796239019 570650624 138159 4294967295 134512640 134736556 3221224560 3221223248 134536465 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/30923/statm): 139319 138159 1116 68 0 139251 0
[pid=30923] vsize: 557276
Current children cumulated CPU time (s) 1167.33
Current children cumulated vsize (Kb) 557276

[startup+1190.11 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 30923
Raw data (/proc/30923/stat): 30923 (bsolo) R 30922 30923 9854 0 -1 0 138743 0 0 0 116713 1018 0 0 25 0 1 0 1796239019 571052032 138259 4294967295 134512640 134736556 3221224560 3221223220 134609065 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/30923/statm): 139417 138259 1116 68 0 139349 0
[pid=30923] vsize: 557668
Current children cumulated CPU time (s) 1177.31
Current children cumulated vsize (Kb) 557668

[startup+1200.11 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 30923
Raw data (/proc/30923/stat): 30923 (bsolo) R 30922 30923 9854 0 -1 0 138797 0 0 0 117712 1019 0 0 25 0 1 0 1796239019 571322368 138313 4294967295 134512640 134736556 3221224560 3221223172 134537369 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/30923/statm): 139483 138313 1116 68 0 139415 0
[pid=30923] vsize: 557932
Current children cumulated CPU time (s) 1187.31
Current children cumulated vsize (Kb) 557932
One traced child (pid=30923) exited with status: 10
All traced children have exited ! Game is over.

Child status: 10
Real time (s): 1208.2
CPU time (s): 1195.39
CPU user time (s): 1184.94
CPU system time (s): 10.4524
CPU usage (%): 98.9403
Max. virtual memory (cumulated for all children) (Kb): 557932

Verifier Data

Verifier:	OK	-837139