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/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-afiro.opb
MD5SUMb9a386a980af3ebe560fd16ca36e17ae
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 benchmark497.98
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 5046

Launcher Data

LAUNCH ON wulflinc27 THE 2005-09-19 22:06:35 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=789 boxname=wulflinc27 idbench=789 idsolver=1 numberseed=0
MD5SUM SOLVER: 38f99674050b34630888bf623b924b59  /oldhome/oroussel/solvers/bsolo
MD5SUM BENCH:  b9a386a980af3ebe560fd16ca36e17ae  /oldhome/oroussel/tmp/wulflinc27/normalized-mps-v2-13-7-afiro.opb
REAL COMMAND:  bsolo /oldhome/oroussel/tmp/wulflinc27/normalized-mps-v2-13-7-afiro.opb
IDLAUNCH: 789
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.169
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.169
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:        967020 kB
Buffers:           468 kB
Cached:          37540 kB
SwapCached:        752 kB
Active:          10524 kB
Inactive:        30092 kB
HighTotal:      131008 kB
HighFree:        89768 kB
LowTotal:       903652 kB
LowFree:        877252 kB
SwapTotal:     2097892 kB
SwapFree:      2096628 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5728 kB
Slab:            21140 kB
Committed_AS:    64168 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-09-19 22:26:44 (client local time) WITH STATUS 10 IN 1195.36 SECONDS
stats: 789 0 1195.36 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.162
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.448
c Restart #2 #Var: 493 #Dec: 2375 LB: -2064339 @ 1.041
c Restart #3 #Var: 493 #Dec: 4840 LB: -2064339 @ 2.15
c Restart #4 #Var: 493 #Dec: 8982 LB: -2064339 @ 3.645
c Restart #5 #Var: 493 #Dec: 14983 LB: -2064339 @ 5.001
c Restart #6 #Var: 493 #Dec: 22369 LB: -2064339 @ 6.236
c Restart #7 #Var: 493 #Dec: 24369 LB: -2064339 @ 7.481
c Restart #8 #Var: 493 #Dec: 26052 LB: -2064339 @ 8.623
c Restart #9 #Var: 493 #Dec: 27872 LB: -2064339 @ 10.214
c Restart #10 #Var: 493 #Dec: 29890 LB: -2064339 @ 11.837
c Restart #11 #Var: 493 #Dec: 32134 LB: -2064339 @ 13.59
c Restart #12 #Var: 493 #Dec: 34662 LB: -2064339 @ 15.674
c Restart #13 #Var: 493 #Dec: 37309 LB: -2064339 @ 18.056
c Restart #14 #Var: 493 #Dec: 40587 LB: -2064339 @ 21.658
c Restart #15 #Var: 493 #Dec: 47285 LB: -2064339 @ 27.871
c Restart #16 #Var: 493 #Dec: 52172 LB: -2064339 @ 31.638
c Restart #17 #Var: 493 #Dec: 55604 LB: -2064339 @ 34.398
c Restart #18 #Var: 493 #Dec: 59775 LB: -2064339 @ 38.154
c Restart #19 #Var: 493 #Dec: 67224 LB: -2064339 @ 46.174
c NEW SOLUTION FOUND: 624508 @ 53.532 @ #Dec. 71033
c NEW SOLUTION FOUND: 624460 @ 53.535 @ #Dec. 71039
c NEW SOLUTION FOUND: 624452 @ 53.536 @ #Dec. 71042
c NEW SOLUTION FOUND: 624444 @ 53.537 @ #Dec. 71044
c NEW SOLUTION FOUND: 624434 @ 53.54 @ #Dec. 71050
c NEW SOLUTION FOUND: 368434 @ 53.544 @ #Dec. 71057
c NEW SOLUTION FOUND: 368184 @ 53.797 @ #Dec. 71278
c NEW SOLUTION FOUND: 367962 @ 53.946 @ #Dec. 71428
c NEW SOLUTION FOUND: 367946 @ 53.947 @ #Dec. 71432
c NEW SOLUTION FOUND: 367708 @ 54.022 @ #Dec. 71493
c NEW SOLUTION FOUND: 367470 @ 54.076 @ #Dec. 71536
c NEW SOLUTION FOUND: 367248 @ 54.115 @ #Dec. 71569
c NEW SOLUTION FOUND: 367232 @ 54.116 @ #Dec. 71573
c NEW SOLUTION FOUND: 145196 @ 54.722 @ #Dec. 72284
c NEW SOLUTION FOUND: 129212 @ 54.728 @ #Dec. 72297
c NEW SOLUTION FOUND: 129196 @ 54.729 @ #Dec. 72301
c NEW SOLUTION FOUND: 119196 @ 54.735 @ #Dec. 72311
c NEW SOLUTION FOUND: 118998 @ 54.739 @ #Dec. 72334
c NEW SOLUTION FOUND: 118982 @ 54.742 @ #Dec. 72348
c NEW SOLUTION FOUND: 118958 @ 54.769 @ #Dec. 72405
c NEW SOLUTION FOUND: 118946 @ 54.824 @ #Dec. 72509
c NEW SOLUTION FOUND: 118934 @ 54.866 @ #Dec. 72583
c NEW SOLUTION FOUND: 118922 @ 54.91 @ #Dec. 72658
c NEW SOLUTION FOUND: 118910 @ 54.972 @ #Dec. 72744
c NEW SOLUTION FOUND: 84668 @ 55.343 @ #Dec. 73286
c NEW SOLUTION FOUND: 84660 @ 55.344 @ #Dec. 73288
c NEW SOLUTION FOUND: 80700 @ 55.376 @ #Dec. 73342
c NEW SOLUTION FOUND: 80660 @ 55.4 @ #Dec. 73379
c NEW SOLUTION FOUND: 78780 @ 55.488 @ #Dec. 73513
c NEW SOLUTION FOUND: 78748 @ 55.49 @ #Dec. 73517
c NEW SOLUTION FOUND: 78708 @ 55.49 @ #Dec. 73519
c NEW SOLUTION FOUND: 76780 @ 55.499 @ #Dec. 73534
c NEW SOLUTION FOUND: 76748 @ 55.5 @ #Dec. 73538
c NEW SOLUTION FOUND: 76708 @ 55.501 @ #Dec. 73541
c NEW SOLUTION FOUND: 74716 @ 55.502 @ #Dec. 73549
c NEW SOLUTION FOUND: 74708 @ 55.502 @ #Dec. 73550
c NEW SOLUTION FOUND: 72748 @ 55.504 @ #Dec. 73559
c NEW SOLUTION FOUND: 72708 @ 55.505 @ #Dec. 73563
c NEW SOLUTION FOUND: 72700 @ 55.549 @ #Dec. 73631
c NEW SOLUTION FOUND: 72660 @ 55.558 @ #Dec. 73646
c NEW SOLUTION FOUND: 68732 @ 55.598 @ #Dec. 73710
c NEW SOLUTION FOUND: 68700 @ 55.599 @ #Dec. 73715
c NEW SOLUTION FOUND: 68660 @ 55.6 @ #Dec. 73719
c NEW SOLUTION FOUND: 66716 @ 55.605 @ #Dec. 73732
c NEW SOLUTION FOUND: 66708 @ 55.606 @ #Dec. 73733
c NEW SOLUTION FOUND: 64748 @ 55.61 @ #Dec. 73746
c NEW SOLUTION FOUND: 64708 @ 55.612 @ #Dec. 73755
c NEW SOLUTION FOUND: 64700 @ 55.626 @ #Dec. 73783
c NEW SOLUTION FOUND: 64660 @ 55.627 @ #Dec. 73788
c NEW SOLUTION FOUND: 62716 @ 55.63 @ #Dec. 73795
c NEW SOLUTION FOUND: 62708 @ 55.63 @ #Dec. 73796
c NEW SOLUTION FOUND: 62696 @ 55.635 @ #Dec. 73804
c NEW SOLUTION FOUND: 62692 @ 55.644 @ #Dec. 73819
c NEW SOLUTION FOUND: 62684 @ 55.645 @ #Dec. 73820
c NEW SOLUTION FOUND: 62486 @ 55.655 @ #Dec. 73842
c NEW SOLUTION FOUND: 62446 @ 55.655 @ #Dec. 73844
c NEW SOLUTION FOUND: 62280 @ 55.739 @ #Dec. 73967
c NEW SOLUTION FOUND: 62248 @ 55.74 @ #Dec. 73971
c NEW SOLUTION FOUND: 62208 @ 55.74 @ #Dec. 73973
c NEW SOLUTION FOUND: 26930 @ 55.746 @ #Dec. 73994
c NEW SOLUTION FOUND: 26922 @ 55.747 @ #Dec. 73995
c NEW SOLUTION FOUND: 22962 @ 55.749 @ #Dec. 74005
c NEW SOLUTION FOUND: 22922 @ 55.75 @ #Dec. 74010
c NEW SOLUTION FOUND: 2994 @ 55.753 @ #Dec. 74023
c NEW SOLUTION FOUND: 2962 @ 55.754 @ #Dec. 74027
c NEW SOLUTION FOUND: 2922 @ 55.755 @ #Dec. 74033
c NEW SOLUTION FOUND: -1070 @ 55.756 @ #Dec. 74042
c NEW SOLUTION FOUND: -1078 @ 55.757 @ #Dec. 74043
c NEW SOLUTION FOUND: -5038 @ 55.759 @ #Dec. 74055
c NEW SOLUTION FOUND: -5078 @ 55.759 @ #Dec. 74061
c NEW SOLUTION FOUND: -9006 @ 55.761 @ #Dec. 74071
c NEW SOLUTION FOUND: -9038 @ 55.762 @ #Dec. 74076
c NEW SOLUTION FOUND: -9078 @ 55.763 @ #Dec. 74082
c NEW SOLUTION FOUND: -9106 @ 55.828 @ #Dec. 74234
c NEW SOLUTION FOUND: -9114 @ 55.829 @ #Dec. 74235
c NEW SOLUTION FOUND: -9124 @ 56.166 @ #Dec. 74972
c NEW SOLUTION FOUND: -9152 @ 56.231 @ #Dec. 75090
c NEW SOLUTION FOUND: -9160 @ 56.232 @ #Dec. 75091
c NEW SOLUTION FOUND: -10401 @ 57.022 @ #Dec. 76259
c NEW SOLUTION FOUND: -10501 @ 57.138 @ #Dec. 76539
c NEW SOLUTION FOUND: -10511 @ 57.144 @ #Dec. 76609
c NEW SOLUTION FOUND: -10761 @ 57.151 @ #Dec. 76647
c NEW SOLUTION FOUND: -10773 @ 57.158 @ #Dec. 76677
c NEW SOLUTION FOUND: -10809 @ 57.187 @ #Dec. 76756
c NEW SOLUTION FOUND: -10839 @ 57.191 @ #Dec. 76786
c NEW SOLUTION FOUND: -10863 @ 57.201 @ #Dec. 76824
c NEW SOLUTION FOUND: -11039 @ 57.248 @ #Dec. 76922
c NEW SOLUTION FOUND: -11075 @ 57.44 @ #Dec. 77324
c NEW SOLUTION FOUND: -11315 @ 57.445 @ #Dec. 77354
c NEW SOLUTION FOUND: -11325 @ 57.448 @ #Dec. 77386
c NEW SOLUTION FOUND: -11363 @ 57.538 @ #Dec. 77527
c NEW SOLUTION FOUND: -11373 @ 57.541 @ #Dec. 77557
c NEW SOLUTION FOUND: -11623 @ 57.545 @ #Dec. 77588
c NEW SOLUTION FOUND: -11766 @ 57.685 @ #Dec. 77988
c NEW SOLUTION FOUND: -12155 @ 57.878 @ #Dec. 78231
c NEW SOLUTION FOUND: -12165 @ 57.883 @ #Dec. 78298
c NEW SOLUTION FOUND: -12320 @ 57.935 @ #Dec. 78436
c NEW SOLUTION FOUND: -12453 @ 58.11 @ #Dec. 78723
c NEW SOLUTION FOUND: -12463 @ 58.115 @ #Dec. 78788
c NEW SOLUTION FOUND: -12556 @ 58.153 @ #Dec. 78924
c NEW SOLUTION FOUND: -12606 @ 58.17 @ #Dec. 79004
c NEW SOLUTION FOUND: -12937 @ 60.411 @ #Dec. 81424
c NEW SOLUTION FOUND: -12945 @ 62.239 @ #Dec. 83693
c NEW SOLUTION FOUND: -12967 @ 62.642 @ #Dec. 84211
c NEW SOLUTION FOUND: -12977 @ 62.663 @ #Dec. 84274
c NEW SOLUTION FOUND: -13001 @ 62.672 @ #Dec. 84323
c NEW SOLUTION FOUND: -13009 @ 63.057 @ #Dec. 84792
c NEW SOLUTION FOUND: -13019 @ 63.527 @ #Dec. 85329
c NEW SOLUTION FOUND: -13169 @ 63.537 @ #Dec. 85411
c NEW SOLUTION FOUND: -13193 @ 63.59 @ #Dec. 85542
c NEW SOLUTION FOUND: -13201 @ 63.763 @ #Dec. 85780
c NEW SOLUTION FOUND: -13223 @ 64.301 @ #Dec. 86352
c NEW SOLUTION FOUND: -13233 @ 64.32 @ #Dec. 86430
c NEW SOLUTION FOUND: -13257 @ 64.329 @ #Dec. 86502
c NEW SOLUTION FOUND: -13265 @ 65.193 @ #Dec. 87302
c Restart #20 #Var: 493 #Dec: 91683 LB: -2064339 @ 71.498
c Restart #21 #Var: 493 #Dec: 98364 LB: -2064339 @ 80.792
c Restart #22 #Var: 493 #Dec: 103033 LB: -2064339 @ 90.927
c Restart #23 #Var: 493 #Dec: 107746 LB: -2064339 @ 99.561
c CHANGE to MIS mode... 	UB: -13265	MIS: -2064339	LPR: -2147483648 (0)	Diff: 0.00096128
c Restart #0 #Var: 493 #Dec: 112954 LB: -2064339 @ 109.3
c Restart #1 #Var: 493 #Dec: 113393 LB: -2064339 @ 112.07
c Restart #2 #Var: 493 #Dec: 113863 LB: -2064339 @ 117.28
c Restart #3 #Var: 493 #Dec: 114914 LB: -2064339 @ 122.98
c NEW SOLUTION FOUND: -768809 @ 129.7 @ #Dec. 116814
c NEW SOLUTION FOUND: -769309 @ 129.7 @ #Dec. 116816
c NEW SOLUTION FOUND: -769547 @ 129.7 @ #Dec. 116816
c NEW SOLUTION FOUND: -769577 @ 129.71 @ #Dec. 116822
c NEW SOLUTION FOUND: -769592 @ 129.71 @ #Dec. 116822
c NEW SOLUTION FOUND: -769607 @ 129.72 @ #Dec. 116824
c NEW SOLUTION FOUND: -769617 @ 129.72 @ #Dec. 116834
c NEW SOLUTION FOUND: -769647 @ 129.73 @ #Dec. 116848
c NEW SOLUTION FOUND: -770123 @ 129.73 @ #Dec. 116855
c NEW SOLUTION FOUND: -770361 @ 129.73 @ #Dec. 116859
c NEW SOLUTION FOUND: -770599 @ 129.73 @ #Dec. 116860
c NEW SOLUTION FOUND: -771075 @ 129.74 @ #Dec. 116864
c NEW SOLUTION FOUND: -771551 @ 129.74 @ #Dec. 116866
c NEW SOLUTION FOUND: -772027 @ 129.74 @ #Dec. 116872
c NEW SOLUTION FOUND: -772265 @ 129.74 @ #Dec. 116876
c NEW SOLUTION FOUND: -772503 @ 129.74 @ #Dec. 116877
c NEW SOLUTION FOUND: -772741 @ 129.75 @ #Dec. 116890
c NEW SOLUTION FOUND: -772781 @ 129.78 @ #Dec. 116944
c NEW SOLUTION FOUND: -772801 @ 129.8 @ #Dec. 117003
c NEW SOLUTION FOUND: -772803 @ 129.82 @ #Dec. 117042
c NEW SOLUTION FOUND: -772833 @ 129.83 @ #Dec. 117062
c NEW SOLUTION FOUND: -772841 @ 129.85 @ #Dec. 117100
c NEW SOLUTION FOUND: -772849 @ 129.93 @ #Dec. 117255
c NEW SOLUTION FOUND: -772883 @ 130.02 @ #Dec. 117373
c NEW SOLUTION FOUND: -772953 @ 130.02 @ #Dec. 117378
c NEW SOLUTION FOUND: -773267 @ 130.02 @ #Dec. 117386
c NEW SOLUTION FOUND: -773337 @ 130.03 @ #Dec. 117391
c NEW SOLUTION FOUND: -773361 @ 130.03 @ #Dec. 117403
c NEW SOLUTION FOUND: -773409 @ 130.03 @ #Dec. 117422
c NEW SOLUTION FOUND: -773439 @ 130.04 @ #Dec. 117454
c NEW SOLUTION FOUND: -773535 @ 130.05 @ #Dec. 117467
c NEW SOLUTION FOUND: -773583 @ 130.11 @ #Dec. 117567
c NEW SOLUTION FOUND: -773591 @ 130.34 @ #Dec. 117826
c NEW SOLUTION FOUND: -773602 @ 132.01 @ #Dec. 119442
c NEW SOLUTION FOUND: -773617 @ 132.02 @ #Dec. 119463
c NEW SOLUTION FOUND: -773627 @ 132.03 @ #Dec. 119492
c NEW SOLUTION FOUND: -773633 @ 132.04 @ #Dec. 119526
c NEW SOLUTION FOUND: -773643 @ 132.04 @ #Dec. 119542
c NEW SOLUTION FOUND: -773681 @ 132.05 @ #Dec. 119562
c NEW SOLUTION FOUND: -773691 @ 132.05 @ #Dec. 119580
c NEW SOLUTION FOUND: -773707 @ 132.06 @ #Dec. 119602
c NEW SOLUTION FOUND: -773711 @ 132.11 @ #Dec. 119646
c NEW SOLUTION FOUND: -773721 @ 132.13 @ #Dec. 119666
c NEW SOLUTION FOUND: -773737 @ 132.16 @ #Dec. 119698
c NEW SOLUTION FOUND: -773771 @ 132.19 @ #Dec. 119731
c NEW SOLUTION FOUND: -773781 @ 132.21 @ #Dec. 119751
c NEW SOLUTION FOUND: -773797 @ 132.22 @ #Dec. 119777
c NEW SOLUTION FOUND: -774035 @ 132.38 @ #Dec. 119848
c NEW SOLUTION FOUND: -774045 @ 132.38 @ #Dec. 119862
c NEW SOLUTION FOUND: -774061 @ 132.42 @ #Dec. 119890
c NEW SOLUTION FOUND: -774217 @ 132.54 @ #Dec. 119953
c NEW SOLUTION FOUND: -774265 @ 132.58 @ #Dec. 120078
c NEW SOLUTION FOUND: -774638 @ 132.63 @ #Dec. 120231
c NEW SOLUTION FOUND: -774688 @ 132.63 @ #Dec. 120247
c NEW SOLUTION FOUND: -774766 @ 132.83 @ #Dec. 120344
c NEW SOLUTION FOUND: -774816 @ 132.84 @ #Dec. 120360
c NEW SOLUTION FOUND: -774880 @ 132.85 @ #Dec. 120397
c NEW SOLUTION FOUND: -774888 @ 132.86 @ #Dec. 120424
c NEW SOLUTION FOUND: -775079 @ 133.31 @ #Dec. 120610
c NEW SOLUTION FOUND: -775271 @ 133.33 @ #Dec. 120655
c NEW SOLUTION FOUND: -775331 @ 133.34 @ #Dec. 120694
c NEW SOLUTION FOUND: -778290 @ 149.44 @ #Dec. 121894
c NEW SOLUTION FOUND: -779610 @ 150.54 @ #Dec. 122175
c NEW SOLUTION FOUND: -779650 @ 150.56 @ #Dec. 122200
c NEW SOLUTION FOUND: -779660 @ 150.57 @ #Dec. 122215
c NEW SOLUTION FOUND: -780506 @ 152.69 @ #Dec. 123059
c NEW SOLUTION FOUND: -780522 @ 152.7 @ #Dec. 123080
c NEW SOLUTION FOUND: -780530 @ 152.71 @ #Dec. 123095
c NEW SOLUTION FOUND: -780556 @ 152.72 @ #Dec. 123120
c NEW SOLUTION FOUND: -780588 @ 152.73 @ #Dec. 123140
c NEW SOLUTION FOUND: -780612 @ 152.73 @ #Dec. 123157
c Restart #4 #Var: 493 #Dec: 125277 LB: -2064339 @ 160.85
c Restart #5 #Var: 476 #Dec: 127432 LB: -2064339 @ 167.75
c Restart #6 #Var: 476 #Dec: 130168 LB: -2064339 @ 177.3
c Restart #7 #Var: 476 #Dec: 132291 LB: -2064339 @ 185.01
c Restart #8 #Var: 476 #Dec: 134703 LB: -2064339 @ 187.43
c Restart #9 #Var: 476 #Dec: 137374 LB: -2064339 @ 194.33
c Restart #10 #Var: 476 #Dec: 139991 LB: -2064339 @ 204.25
c Restart #11 #Var: 476 #Dec: 142635 LB: -2064339 @ 208.15
c Restart #12 #Var: 476 #Dec: 145833 LB: -2064339 @ 221.09
c Restart #13 #Var: 476 #Dec: 148829 LB: -2064339 @ 226.65
c Restart #14 #Var: 476 #Dec: 153147 LB: -2064339 @ 236.58
c Restart #15 #Var: 476 #Dec: 157473 LB: -2064339 @ 244.54
c Restart #16 #Var: 476 #Dec: 162707 LB: -2064339 @ 256.08
c Restart #17 #Var: 476 #Dec: 168740 LB: -2064339 @ 265.35
c Restart #18 #Var: 476 #Dec: 173612 LB: -2064339 @ 273.38
c Restart #19 #Var: 475 #Dec: 177599 LB: -2064339 @ 279.92
c Restart #20 #Var: 475 #Dec: 181803 LB: -2064339 @ 285.26
c Restart #21 #Var: 475 #Dec: 186252 LB: -2064339 @ 293.32
c Restart #22 #Var: 475 #Dec: 190759 LB: -2064339 @ 301.88
c Restart #23 #Var: 475 #Dec: 198536 LB: -2064339 @ 325.52
c Restart #24 #Var: 475 #Dec: 208842 LB: -2064339 @ 393.9
c Restart #25 #Var: 475 #Dec: 220115 LB: -2064339 @ 428.3
c Restart #26 #Var: 475 #Dec: 229433 LB: -2064339 @ 456.51
c Restart #27 #Var: 475 #Dec: 239670 LB: -2064339 @ 525.11
c Restart #28 #Var: 475 #Dec: 250342 LB: -2064339 @ 555.46
c Restart #29 #Var: 474 #Dec: 258355 LB: -2064339 @ 579.21
c Restart #30 #Var: 474 #Dec: 281131 LB: -2064339 @ 669.02
c NEW SOLUTION FOUND: -780742 @ 671.77 @ #Dec. 281531
c NEW SOLUTION FOUND: -780992 @ 671.77 @ #Dec. 281531
c NEW SOLUTION FOUND: -781112 @ 671.87 @ #Dec. 281591
c NEW SOLUTION FOUND: -781124 @ 671.87 @ #Dec. 281594
c NEW SOLUTION FOUND: -781136 @ 671.87 @ #Dec. 281599
c NEW SOLUTION FOUND: -781148 @ 671.87 @ #Dec. 281603
c NEW SOLUTION FOUND: -781196 @ 671.87 @ #Dec. 281613
c NEW SOLUTION FOUND: -781292 @ 671.88 @ #Dec. 281636
c NEW SOLUTION FOUND: -781484 @ 671.88 @ #Dec. 281649
c NEW SOLUTION FOUND: -781492 @ 672.18 @ #Dec. 281887
c NEW SOLUTION FOUND: -781494 @ 677.58 @ #Dec. 282787
c NEW SOLUTION FOUND: -781534 @ 678.04 @ #Dec. 283037
c NEW SOLUTION FOUND: -781558 @ 678.05 @ #Dec. 283060
c NEW SOLUTION FOUND: -781750 @ 678.06 @ #Dec. 283096
c NEW SOLUTION FOUND: -781958 @ 678.88 @ #Dec. 283534
c NEW SOLUTION FOUND: -781973 @ 679.72 @ #Dec. 284007
c NEW SOLUTION FOUND: -781987 @ 680.71 @ #Dec. 284408
c NEW SOLUTION FOUND: -782003 @ 682.31 @ #Dec. 285218
c NEW SOLUTION FOUND: -782017 @ 683.43 @ #Dec. 285631
c NEW SOLUTION FOUND: -782033 @ 683.49 @ #Dec. 285663
c NEW SOLUTION FOUND: -782062 @ 683.98 @ #Dec. 285867
c NEW SOLUTION FOUND: -782078 @ 684.05 @ #Dec. 285928
c NEW SOLUTION FOUND: -782257 @ 726.16 @ #Dec. 294939
c NEW SOLUTION FOUND: -802949 @ 771.37 @ #Dec. 299852
c NEW SOLUTION FOUND: -803077 @ 771.38 @ #Dec. 299870
c NEW SOLUTION FOUND: -803333 @ 771.38 @ #Dec. 299891
c NEW SOLUTION FOUND: -803707 @ 771.44 @ #Dec. 299933
c NEW SOLUTION FOUND: -803725 @ 771.48 @ #Dec. 299963
c NEW SOLUTION FOUND: -803749 @ 806.06 @ #Dec. 302922
c NEW SOLUTION FOUND: -803756 @ 806.2 @ #Dec. 302974
c NEW SOLUTION FOUND: -803764 @ 806.21 @ #Dec. 302987
c NEW SOLUTION FOUND: -803779 @ 808.99 @ #Dec. 303877
c NEW SOLUTION FOUND: -803794 @ 809.88 @ #Dec. 304246
c NEW SOLUTION FOUND: -803797 @ 810.41 @ #Dec. 304414
c NEW SOLUTION FOUND: -803827 @ 810.42 @ #Dec. 304427
c NEW SOLUTION FOUND: -803891 @ 810.5 @ #Dec. 304478
c NEW SOLUTION FOUND: -803899 @ 810.55 @ #Dec. 304507
c Restart #31 #Var: 474 #Dec: 316061 LB: -2064339 @ 879.16
c Restart #32 #Var: 474 #Dec: 324174 LB: -2064339 @ 921.06
c NEW SOLUTION FOUND: -803990 @ 923.78 @ #Dec. 324561
c NEW SOLUTION FOUND: -804246 @ 923.78 @ #Dec. 324564
c NEW SOLUTION FOUND: -804374 @ 923.78 @ #Dec. 324568
c NEW SOLUTION FOUND: -804398 @ 941.14 @ #Dec. 330034
c NEW SOLUTION FOUND: -804446 @ 941.26 @ #Dec. 330061
c NEW SOLUTION FOUND: -804454 @ 941.27 @ #Dec. 330071
c NEW SOLUTION FOUND: -804502 @ 941.55 @ #Dec. 330342
c NEW SOLUTION FOUND: -804510 @ 941.55 @ #Dec. 330353
c NEW SOLUTION FOUND: -804518 @ 941.56 @ #Dec. 330373
c NEW SOLUTION FOUND: -804526 @ 941.57 @ #Dec. 330392
c NEW SOLUTION FOUND: -804534 @ 941.61 @ #Dec. 330423
c Restart #33 #Var: 474 #Dec: 338852 LB: -2064339 @ 978.7
c NEW SOLUTION FOUND: -828244 @ 1023 @ #Dec. 344121
c NEW SOLUTION FOUND: -828252 @ 1023.3 @ #Dec. 344196
c NEW SOLUTION FOUND: -828268 @ 1023.6 @ #Dec. 344269
c NEW SOLUTION FOUND: -829420 @ 1023.6 @ #Dec. 344313
c NEW SOLUTION FOUND: -829588 @ 1024 @ #Dec. 344445
c NEW SOLUTION FOUND: -829642 @ 1024.4 @ #Dec. 344750
c NEW SOLUTION FOUND: -829710 @ 1024.9 @ #Dec. 345070
c NEW SOLUTION FOUND: -829758 @ 1025 @ #Dec. 345133
c NEW SOLUTION FOUND: -829770 @ 1025.1 @ #Dec. 345205
c NEW SOLUTION FOUND: -829954 @ 1027 @ #Dec. 345940
c NEW SOLUTION FOUND: -830954 @ 1027.1 @ #Dec. 345948
c NEW SOLUTION FOUND: -831466 @ 1027.1 @ #Dec. 345959
c NEW SOLUTION FOUND: -831722 @ 1027.1 @ #Dec. 345965
c NEW SOLUTION FOUND: -831906 @ 1027.1 @ #Dec. 345996
c NEW SOLUTION FOUND: -832906 @ 1027.1 @ #Dec. 346006
c NEW SOLUTION FOUND: -835722 @ 1027.2 @ #Dec. 346071
c NEW SOLUTION FOUND: -835818 @ 1028 @ #Dec. 346331
c NEW SOLUTION FOUND: -835834 @ 1028.1 @ #Dec. 346385
c NEW SOLUTION FOUND: -836234 @ 1028.4 @ #Dec. 346499
c NEW SOLUTION FOUND: -836490 @ 1028.5 @ #Dec. 346533
c NEW SOLUTION FOUND: -836602 @ 1028.6 @ #Dec. 346591
c NEW SOLUTION FOUND: -836682 @ 1029.7 @ #Dec. 346895
c NEW SOLUTION FOUND: -836746 @ 1029.7 @ #Dec. 346930
c NEW SOLUTION FOUND: -836794 @ 1029.8 @ #Dec. 346964
c NEW SOLUTION FOUND: -836809 @ 1033.3 @ #Dec. 348502
c NEW SOLUTION FOUND: -836839 @ 1041.6 @ #Dec. 349401
c NEW SOLUTION FOUND: -836863 @ 1043.1 @ #Dec. 349524
c NEW SOLUTION FOUND: -836931 @ 1045.9 @ #Dec. 350289
c NEW SOLUTION FOUND: -836947 @ 1050.2 @ #Dec. 350732
c NEW SOLUTION FOUND: -836959 @ 1052.3 @ #Dec. 350959
c NEW SOLUTION FOUND: -837003 @ 1120 @ #Dec. 356022
c NEW SOLUTION FOUND: -837019 @ 1120.3 @ #Dec. 356062
c NEW SOLUTION FOUND: -837115 @ 1120.7 @ #Dec. 356115
c NEW SOLUTION FOUND: -837139 @ 1121.3 @ #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/20016/stat): 20016 (bsolo) R 20015 20016 28974 0 -1 0 19 0 0 0 0 0 0 0 22 0 1 0 1853351006 438272 3 4294967295 134512640 134736556 3221224560 3221224560 1073744960 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/20016/statm): 107 3 90 68 0 39 0
[pid=20016] 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/wulflinc27/normalized-mps-v2-13-7-afiro.opb

[startup+10.0035 s]
Raw data (loadavg): 0.87 0.97 0.99 2/56 20016
Raw data (/proc/20016/stat): 20016 (bsolo) R 20015 20016 28974 0 -1 0 5884 0 0 0 865 53 0 0 25 0 1 0 1853351006 27193344 5795 4294967295 134512640 134736556 3221224560 3221223164 134537486 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/20016/statm): 6639 5795 1116 68 0 6571 0
[pid=20016] vsize: 26556
Current children cumulated CPU time (s) 9.18
Current children cumulated vsize (Kb) 26556

[startup+20.0043 s]
Raw data (loadavg): 0.97 0.99 0.99 1/56 20016
Raw data (/proc/20016/stat): 20016 (bsolo) T 20015 20016 28974 0 -1 0 16184 0 0 0 1777 103 0 0 25 0 1 0 1853351006 69373952 16095 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/20016/statm): 16937 16095 1116 68 0 16869 0
[pid=20016] vsize: 67748
Current children cumulated CPU time (s) 18.8
Current children cumulated vsize (Kb) 67748

[startup+30.0051 s]
Raw data (loadavg): 0.97 0.99 0.99 2/56 20016
Raw data (/proc/20016/stat): 20016 (bsolo) R 20015 20016 28974 0 -1 0 19589 0 0 0 2721 128 0 0 25 0 1 0 1853351006 83292160 19500 4294967295 134512640 134736556 3221224560 3221223168 134535752 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/20016/statm): 20335 19500 1116 68 0 20267 0
[pid=20016] vsize: 81340
Current children cumulated CPU time (s) 28.49
Current children cumulated vsize (Kb) 81340

[startup+40.0049 s]
Raw data (loadavg): 0.98 0.99 0.99 2/56 20016
Raw data (/proc/20016/stat): 20016 (bsolo) R 20015 20016 28974 0 -1 0 25200 0 0 0 3647 159 0 0 25 0 1 0 1853351006 106401792 25110 4294967295 134512640 134736556 3221224560 3221223184 134553387 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/20016/statm): 25977 25110 1116 68 0 25909 0
[pid=20016] vsize: 103908
Current children cumulated CPU time (s) 38.06
Current children cumulated vsize (Kb) 103908

[startup+50.0058 s]
Raw data (loadavg): 0.98 0.99 0.99 2/56 20016
Raw data (/proc/20016/stat): 20016 (bsolo) R 20015 20016 28974 0 -1 0 27564 0 0 0 4602 177 0 0 25 0 1 0 1853351006 116129792 27474 4294967295 134512640 134736556 3221224560 3221223352 134602739 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/20016/statm): 28352 27474 1116 68 0 28284 0
[pid=20016] vsize: 113408
Current children cumulated CPU time (s) 47.79
Current children cumulated vsize (Kb) 113408

[startup+60.0066 s]
Raw data (loadavg): 0.98 0.99 0.99 2/56 20016
Raw data (/proc/20016/stat): 20016 (bsolo) R 20015 20016 28974 0 -1 0 30140 0 0 0 5547 201 0 0 25 0 1 0 1853351006 126660608 30050 4294967295 134512640 134736556 3221224560 3221222920 1077377345 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/20016/statm): 30923 30050 1116 68 0 30855 0
[pid=20016] vsize: 123692
Current children cumulated CPU time (s) 57.48
Current children cumulated vsize (Kb) 123692

[startup+70.0074 s]
Raw data (loadavg): 0.98 0.99 0.99 2/56 20016
Raw data (/proc/20016/stat): 20016 (bsolo) R 20015 20016 28974 0 -1 0 34253 0 0 0 6475 233 0 0 25 0 1 0 1853351006 143417344 34163 4294967295 134512640 134736556 3221224560 3221223004 134634440 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/20016/statm): 35014 34163 1116 68 0 34946 0
[pid=20016] vsize: 140056
Current children cumulated CPU time (s) 67.08
Current children cumulated vsize (Kb) 140056

[startup+80.0082 s]
Raw data (loadavg): 0.99 0.99 0.99 2/56 20016
Raw data (/proc/20016/stat): 20016 (bsolo) R 20015 20016 28974 0 -1 0 37921 0 0 0 7424 257 0 0 25 0 1 0 1853351006 158564352 37831 4294967295 134512640 134736556 3221224560 3221223296 134529164 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/20016/statm): 38712 37831 1116 68 0 38644 0
[pid=20016] vsize: 154848
Current children cumulated CPU time (s) 76.81
Current children cumulated vsize (Kb) 154848

[startup+90.008 s]
Raw data (loadavg): 0.99 0.99 0.99 2/56 20016
Raw data (/proc/20016/stat): 20016 (bsolo) R 20015 20016 28974 0 -1 0 41072 0 0 0 8390 273 0 0 25 0 1 0 1853351006 171405312 40982 4294967295 134512640 134736556 3221224560 3221222984 1077378037 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/20016/statm): 41847 40982 1116 68 0 41779 0
[pid=20016] vsize: 167388
Current children cumulated CPU time (s) 86.63
Current children cumulated vsize (Kb) 167388

[startup+100.009 s]
Raw data (loadavg): 0.99 0.99 0.99 1/56 20016
Raw data (/proc/20016/stat): 20016 (bsolo) T 20015 20016 28974 0 -1 0 44243 0 0 0 9355 290 0 0 25 0 1 0 1853351006 184389632 44153 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/20016/statm): 45017 44153 1116 68 0 44949 0
[pid=20016] vsize: 180068
Current children cumulated CPU time (s) 96.45
Current children cumulated vsize (Kb) 180068

[startup+110.009 s]
Raw data (loadavg): 0.99 0.99 0.99 2/56 20016
Raw data (/proc/20016/stat): 20016 (bsolo) R 20015 20016 28974 0 -1 0 47609 0 0 0 10318 309 0 0 25 0 1 0 1853351006 198193152 47519 4294967295 134512640 134736556 3221224560 3221223232 134536515 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/20016/statm): 48387 47519 1116 68 0 48319 0
[pid=20016] vsize: 193548
Current children cumulated CPU time (s) 106.27
Current children cumulated vsize (Kb) 193548

[startup+120.009 s]
Raw data (loadavg): 0.99 0.99 0.99 2/56 20016
Raw data (/proc/20016/stat): 20016 (bsolo) R 20015 20016 28974 0 -1 0 49858 0 0 0 11293 322 0 0 25 0 1 0 1853351006 207523840 49765 4294967295 134512640 134736556 3221224560 3221223104 134551043 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/20016/statm): 50665 49765 1116 68 0 50597 0
[pid=20016] vsize: 202660
Current children cumulated CPU time (s) 116.15
Current children cumulated vsize (Kb) 202660

[startup+130.009 s]
Raw data (loadavg): 0.99 0.99 0.99 2/56 20016
Raw data (/proc/20016/stat): 20016 (bsolo) R 20015 20016 28974 0 -1 0 50197 0 0 0 12282 326 0 0 25 0 1 0 1853351006 208875520 50104 4294967295 134512640 134736556 3221224560 3221223172 134524344 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/20016/statm): 50995 50104 1116 68 0 50927 0
[pid=20016] vsize: 203980
Current children cumulated CPU time (s) 126.08
Current children cumulated vsize (Kb) 203980

[startup+140.009 s]
Raw data (loadavg): 0.99 0.99 0.99 2/56 20016
Raw data (/proc/20016/stat): 20016 (bsolo) R 20015 20016 28974 0 -1 0 51338 0 0 0 13251 339 0 0 25 0 1 0 1853351006 213606400 51245 4294967295 134512640 134736556 3221224560 3221223276 134553972 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/20016/statm): 52150 51245 1116 68 0 52082 0
[pid=20016] vsize: 208600
Current children cumulated CPU time (s) 135.9
Current children cumulated vsize (Kb) 208600

[startup+150.01 s]
Raw data (loadavg): 0.99 0.99 0.99 2/56 20016
Raw data (/proc/20016/stat): 20016 (bsolo) R 20015 20016 28974 0 -1 0 51462 0 0 0 14247 340 0 0 25 0 1 0 1853351006 214011904 51369 4294967295 134512640 134736556 3221224560 3221223248 134536465 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/20016/statm): 52249 51369 1116 68 0 52181 0
[pid=20016] vsize: 208996
Current children cumulated CPU time (s) 145.87
Current children cumulated vsize (Kb) 208996

[startup+160.01 s]
Raw data (loadavg): 0.99 0.99 0.99 2/56 20016
Raw data (/proc/20016/stat): 20016 (bsolo) R 20015 20016 28974 0 -1 0 52278 0 0 0 15232 347 0 0 25 0 1 0 1853351006 217403392 52185 4294967295 134512640 134736556 3221224560 3221223200 134524403 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/20016/statm): 53077 52185 1116 68 0 53009 0
[pid=20016] vsize: 212308
Current children cumulated CPU time (s) 155.79
Current children cumulated vsize (Kb) 212308

[startup+170.011 s]
Raw data (loadavg): 0.99 0.99 0.99 2/56 20016
Raw data (/proc/20016/stat): 20016 (bsolo) R 20015 20016 28974 0 -1 0 52772 0 0 0 16217 354 0 0 25 0 1 0 1853351006 219443200 52679 4294967295 134512640 134736556 3221224560 3221223184 134524547 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/20016/statm): 53575 52679 1116 68 0 53507 0
[pid=20016] vsize: 214300
Current children cumulated CPU time (s) 165.71
Current children cumulated vsize (Kb) 214300

[startup+180.011 s]
Raw data (loadavg): 0.99 0.99 0.99 2/56 20016
Raw data (/proc/20016/stat): 20016 (bsolo) R 20015 20016 28974 0 -1 0 53518 0 0 0 17196 361 0 0 25 0 1 0 1853351006 222564352 53425 4294967295 134512640 134736556 3221224560 3221223152 134550999 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/20016/statm): 54337 53425 1116 68 0 54269 0
[pid=20016] vsize: 217348
Current children cumulated CPU time (s) 175.57
Current children cumulated vsize (Kb) 217348

[startup+190.012 s]
Raw data (loadavg): 0.99 0.99 0.99 2/56 20016
Raw data (/proc/20016/stat): 20016 (bsolo) R 20015 20016 28974 0 -1 0 54818 0 0 0 18176 370 0 0 25 0 1 0 1853351006 227835904 54725 4294967295 134512640 134736556 3221224560 3221223208 134543297 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/20016/statm): 55624 54725 1116 68 0 55556 0
[pid=20016] vsize: 222496
Current children cumulated CPU time (s) 185.46
Current children cumulated vsize (Kb) 222496

[startup+200.012 s]
Raw data (loadavg): 0.99 0.99 0.99 2/56 20016
Raw data (/proc/20016/stat): 20016 (bsolo) R 20015 20016 28974 0 -1 0 57428 0 0 0 19142 387 0 0 25 0 1 0 1853351006 238514176 57335 4294967295 134512640 134736556 3221224560 3221223136 134550724 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/20016/statm): 58231 57335 1116 68 0 58163 0
[pid=20016] vsize: 232924
Current children cumulated CPU time (s) 195.29
Current children cumulated vsize (Kb) 232924

[startup+210.012 s]
Raw data (loadavg): 0.99 0.99 0.99 2/56 20016
Raw data (/proc/20016/stat): 20016 (bsolo) R 20015 20016 28974 0 -1 0 59165 0 0 0 20118 398 0 0 25 0 1 0 1853351006 245678080 59072 4294967295 134512640 134736556 3221224560 3221223284 134529474 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/20016/statm): 59980 59072 1116 68 0 59912 0
[pid=20016] vsize: 239920
Current children cumulated CPU time (s) 205.16
Current children cumulated vsize (Kb) 239920

[startup+220.014 s]
Raw data (loadavg): 0.99 0.99 0.99 2/56 20016
Raw data (/proc/20016/stat): 20016 (bsolo) R 20015 20016 28974 0 -1 0 61790 0 0 0 21089 411 0 0 25 0 1 0 1853351006 256491520 61696 4294967295 134512640 134736556 3221224560 3221223208 134554070 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/20016/statm): 62620 61696 1116 68 0 62552 0
[pid=20016] vsize: 250480
Current children cumulated CPU time (s) 215
Current children cumulated vsize (Kb) 250480

[startup+230.013 s]
Raw data (loadavg): 0.99 0.99 0.99 2/56 20016
Raw data (/proc/20016/stat): 20016 (bsolo) R 20015 20016 28974 0 -1 0 63844 0 0 0 22066 422 0 0 25 0 1 0 1853351006 264876032 63750 4294967295 134512640 134736556 3221224560 3221223276 134560216 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/20016/statm): 64667 63751 1116 68 0 64599 0
[pid=20016] vsize: 258668
Current children cumulated CPU time (s) 224.88
Current children cumulated vsize (Kb) 258668

[startup+240.013 s]
Raw data (loadavg): 0.99 0.99 0.99 2/56 20016
Raw data (/proc/20016/stat): 20016 (bsolo) R 20015 20016 28974 0 -1 0 66164 0 0 0 23034 437 0 0 25 0 1 0 1853351006 274337792 66069 4294967295 134512640 134736556 3221224560 3221223116 134540061 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/20016/statm): 66977 66069 1116 68 0 66909 0
[pid=20016] vsize: 267908
Current children cumulated CPU time (s) 234.71
Current children cumulated vsize (Kb) 267908

[startup+250.014 s]
Raw data (loadavg): 0.99 0.99 0.99 2/56 20016
Raw data (/proc/20016/stat): 20016 (bsolo) R 20015 20016 28974 0 -1 0 68963 0 0 0 23995 453 0 0 25 0 1 0 1853351006 285827072 68868 4294967295 134512640 134736556 3221224560 3221223312 134609059 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/20016/statm): 69782 68868 1116 68 0 69714 0
[pid=20016] vsize: 279128
Current children cumulated CPU time (s) 244.48
Current children cumulated vsize (Kb) 279128

[startup+260.014 s]
Raw data (loadavg): 0.99 0.99 0.99 2/56 20016
Raw data (/proc/20016/stat): 20016 (bsolo) R 20015 20016 28974 0 -1 0 71143 0 0 0 24966 468 0 0 25 0 1 0 1853351006 294752256 71044 4294967295 134512640 134736556 3221224560 3221223172 134537369 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/20016/statm): 71961 71044 1116 68 0 71893 0
[pid=20016] vsize: 287844
Current children cumulated CPU time (s) 254.34
Current children cumulated vsize (Kb) 287844

[startup+270.015 s]
Raw data (loadavg): 0.99 0.99 0.99 2/56 20016
Raw data (/proc/20016/stat): 20016 (bsolo) R 20015 20016 28974 0 -1 0 73818 0 0 0 25925 487 0 0 25 0 1 0 1853351006 305700864 73719 4294967295 134512640 134736556 3221224560 3221223236 134536476 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/20016/statm): 74634 73719 1116 68 0 74566 0
[pid=20016] vsize: 298536
Current children cumulated CPU time (s) 264.12
Current children cumulated vsize (Kb) 298536

[startup+280.016 s]
Raw data (loadavg): 0.99 0.99 0.99 2/56 20016
Raw data (/proc/20016/stat): 20016 (bsolo) R 20015 20016 28974 0 -1 0 77236 0 0 0 26885 506 0 0 25 0 1 0 1853351006 319758336 77137 4294967295 134512640 134736556 3221224560 3221223248 134536465 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/20016/statm): 78066 77137 1116 68 0 77998 0
[pid=20016] vsize: 312264
Current children cumulated CPU time (s) 273.91
Current children cumulated vsize (Kb) 312264

[startup+290.015 s]
Raw data (loadavg): 0.99 0.99 0.99 2/56 20016
Raw data (/proc/20016/stat): 20016 (bsolo) R 20015 20016 28974 0 -1 0 83058 0 0 0 27834 531 0 0 25 0 1 0 1853351006 343736320 82958 4294967295 134512640 134736556 3221224560 3221223164 134537504 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/20016/statm): 83920 82958 1116 68 0 83852 0
[pid=20016] vsize: 335680
Current children cumulated CPU time (s) 283.65
Current children cumulated vsize (Kb) 335680

[startup+300.015 s]
Raw data (loadavg): 0.99 0.99 0.99 2/56 20016
Raw data (/proc/20016/stat): 20016 (bsolo) R 20015 20016 28974 0 -1 0 88393 0 0 0 28786 555 0 0 25 0 1 0 1853351006 365645824 88293 4294967295 134512640 134736556 3221224560 3221223136 134543175 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/20016/statm): 89269 88293 1116 68 0 89201 0
[pid=20016] vsize: 357076
Current children cumulated CPU time (s) 293.41
Current children cumulated vsize (Kb) 357076

[startup+310.016 s]
Raw data (loadavg): 0.99 0.99 0.99 2/56 20016
Raw data (/proc/20016/stat): 20016 (bsolo) R 20015 20016 28974 0 -1 0 92372 0 0 0 29750 574 0 0 25 0 1 0 1853351006 381915136 92268 4294967295 134512640 134736556 3221224560 3221223436 134591624 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/20016/statm): 93241 92268 1116 68 0 93173 0
[pid=20016] vsize: 372964
Current children cumulated CPU time (s) 303.24
Current children cumulated vsize (Kb) 372964

[startup+320.017 s]
Raw data (loadavg): 0.99 0.99 0.99 2/56 20016
Raw data (/proc/20016/stat): 20016 (bsolo) R 20015 20016 28974 0 -1 0 93510 0 0 0 30729 583 0 0 25 0 1 0 1853351006 386646016 93406 4294967295 134512640 134736556 3221224560 3221223072 134543195 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/20016/statm): 94396 93406 1116 68 0 94328 0
[pid=20016] vsize: 377584
Current children cumulated CPU time (s) 313.12
Current children cumulated vsize (Kb) 377584

[startup+330.018 s]
Raw data (loadavg): 0.99 0.99 0.99 2/56 20016
Raw data (/proc/20016/stat): 20016 (bsolo) R 20015 20016 28974 0 -1 0 94443 0 0 0 31710 592 0 0 25 0 1 0 1853351006 390447104 94338 4294967295 134512640 134736556 3221224560 3221223140 134551038 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/20016/statm): 95324 94338 1116 68 0 95256 0
[pid=20016] vsize: 381296
Current children cumulated CPU time (s) 323.02
Current children cumulated vsize (Kb) 381296

[startup+340.017 s]
Raw data (loadavg): 0.99 0.99 0.99 1/56 20016
Raw data (/proc/20016/stat): 20016 (bsolo) T 20015 20016 28974 0 -1 0 94911 0 0 0 32696 599 0 0 25 0 1 0 1853351006 392384512 94806 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/20016/statm): 95797 94806 1116 68 0 95729 0
[pid=20016] vsize: 383188
Current children cumulated CPU time (s) 332.95
Current children cumulated vsize (Kb) 383188

[startup+350.018 s]
Raw data (loadavg): 0.99 0.99 0.99 2/56 20016
Raw data (/proc/20016/stat): 20016 (bsolo) R 20015 20016 28974 0 -1 0 95059 0 0 0 33688 602 0 0 25 0 1 0 1853351006 393097216 94953 4294967295 134512640 134736556 3221224560 3221223296 134529294 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/20016/statm): 95971 94953 1116 68 0 95903 0
[pid=20016] vsize: 383884
Current children cumulated CPU time (s) 342.9
Current children cumulated vsize (Kb) 383884

[startup+360.019 s]
Raw data (loadavg): 0.99 0.99 0.99 2/56 20016
Raw data (/proc/20016/stat): 20016 (bsolo) R 20015 20016 28974 0 -1 0 95713 0 0 0 34675 607 0 0 25 0 1 0 1853351006 395669504 95605 4294967295 134512640 134736556 3221224560 3221223200 134536541 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/20016/statm): 96599 95605 1116 68 0 96531 0
[pid=20016] vsize: 386396
Current children cumulated CPU time (s) 352.82
Current children cumulated vsize (Kb) 386396

[startup+370.02 s]
Raw data (loadavg): 0.99 0.99 0.99 2/56 20016
Raw data (/proc/20016/stat): 20016 (bsolo) R 20015 20016 28974 0 -1 0 96406 0 0 0 35665 611 0 0 25 0 1 0 1853351006 398508032 96298 4294967295 134512640 134736556 3221224560 3221223280 134529378 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/20016/statm): 97292 96298 1116 68 0 97224 0
[pid=20016] vsize: 389168
Current children cumulated CPU time (s) 362.76
Current children cumulated vsize (Kb) 389168

[startup+380.021 s]
Raw data (loadavg): 0.99 0.99 0.99 2/56 20016
Raw data (/proc/20016/stat): 20016 (bsolo) R 20015 20016 28974 0 -1 0 97266 0 0 0 36654 616 0 0 25 0 1 0 1853351006 402022400 97158 4294967295 134512640 134736556 3221224560 3221223188 134553382 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/20016/statm): 98150 97158 1116 68 0 98082 0
[pid=20016] vsize: 392600
Current children cumulated CPU time (s) 372.7
Current children cumulated vsize (Kb) 392600

[startup+390.021 s]
Raw data (loadavg): 0.99 0.99 0.99 2/56 20016
Raw data (/proc/20016/stat): 20016 (bsolo) R 20015 20016 28974 0 -1 0 97792 0 0 0 37645 620 0 0 25 0 1 0 1853351006 404185088 97684 4294967295 134512640 134736556 3221224560 3221223164 134537537 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/20016/statm): 98678 97684 1116 68 0 98610 0
[pid=20016] vsize: 394712
Current children cumulated CPU time (s) 382.65
Current children cumulated vsize (Kb) 394712

[startup+400.021 s]
Raw data (loadavg): 0.99 0.99 0.99 2/56 20016
Raw data (/proc/20016/stat): 20016 (bsolo) R 20015 20016 28974 0 -1 0 98255 0 0 0 38637 623 0 0 25 0 1 0 1853351006 406077440 98147 4294967295 134512640 134736556 3221224560 3221223104 134551043 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/20016/statm): 99140 98147 1116 68 0 99072 0
[pid=20016] vsize: 396560
Current children cumulated CPU time (s) 392.6
Current children cumulated vsize (Kb) 396560

[startup+410.021 s]
Raw data (loadavg): 0.99 0.99 0.99 2/56 20016
Raw data (/proc/20016/stat): 20016 (bsolo) R 20015 20016 28974 0 -1 0 98643 0 0 0 39621 629 0 0 25 0 1 0 1853351006 407699456 98535 4294967295 134512640 134736556 3221224560 3221223248 134529265 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/20016/statm): 99536 98535 1116 68 0 99468 0
[pid=20016] vsize: 398144
Current children cumulated CPU time (s) 402.5
Current children cumulated vsize (Kb) 398144

[startup+420.022 s]
Raw data (loadavg): 0.99 0.99 0.99 1/56 20016
Raw data (/proc/20016/stat): 20016 (bsolo) T 20015 20016 28974 0 -1 0 99218 0 0 0 40601 637 0 0 25 0 1 0 1853351006 410136576 99110 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/20016/statm): 100131 99110 1116 68 0 100063 0
[pid=20016] vsize: 400524
Current children cumulated CPU time (s) 412.38
Current children cumulated vsize (Kb) 400524

[startup+430.023 s]
Raw data (loadavg): 0.99 0.99 0.99 2/56 20016
Raw data (/proc/20016/stat): 20016 (bsolo) R 20015 20016 28974 0 -1 0 100987 0 0 0 41572 649 0 0 25 0 1 0 1853351006 415903744 100525 4294967295 134512640 134736556 3221224560 3221223084 134536676 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/20016/statm): 101539 100525 1116 68 0 101471 0
[pid=20016] vsize: 406156
Current children cumulated CPU time (s) 422.21
Current children cumulated vsize (Kb) 406156

[startup+440.023 s]
Raw data (loadavg): 0.99 0.99 0.99 2/56 20016
Raw data (/proc/20016/stat): 20016 (bsolo) R 20015 20016 28974 0 -1 0 101744 0 0 0 42554 656 0 0 25 0 1 0 1853351006 419028992 101282 4294967295 134512640 134736556 3221224560 3221223248 134529337 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/20016/statm): 102302 101282 1116 68 0 102234 0
[pid=20016] vsize: 409208
Current children cumulated CPU time (s) 432.1
Current children cumulated vsize (Kb) 409208

[startup+450.024 s]
Raw data (loadavg): 0.99 0.99 0.99 2/56 20016
Raw data (/proc/20016/stat): 20016 (bsolo) R 20015 20016 28974 0 -1 0 102790 0 0 0 43532 666 0 0 25 0 1 0 1853351006 423256064 102326 4294967295 134512640 134736556 3221224560 3221223136 134537358 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/20016/statm): 103334 102326 1116 68 0 103266 0
[pid=20016] vsize: 413336
Current children cumulated CPU time (s) 441.98
Current children cumulated vsize (Kb) 413336

[startup+460.023 s]
Raw data (loadavg): 0.99 0.99 0.99 1/56 20016
Raw data (/proc/20016/stat): 20016 (bsolo) T 20015 20016 28974 0 -1 0 103615 0 0 0 44515 673 0 0 25 0 1 0 1853351006 426635264 103151 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/20016/statm): 104159 103151 1116 68 0 104091 0
[pid=20016] vsize: 416636
Current children cumulated CPU time (s) 451.88
Current children cumulated vsize (Kb) 416636

[startup+470.025 s]
Raw data (loadavg): 0.99 0.99 0.99 2/56 20016
Raw data (/proc/20016/stat): 20016 (bsolo) R 20015 20016 28974 0 -1 0 104497 0 0 0 45493 682 0 0 25 0 1 0 1853351006 430305280 104033 4294967295 134512640 134736556 3221224560 3221223248 134529155 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/20016/statm): 105055 104033 1116 68 0 104987 0
[pid=20016] vsize: 420220
Current children cumulated CPU time (s) 461.75
Current children cumulated vsize (Kb) 420220

[startup+480.026 s]
Raw data (loadavg): 0.99 0.99 0.99 2/56 20016
Raw data (/proc/20016/stat): 20016 (bsolo) R 20015 20016 28974 0 -1 0 105075 0 0 0 46479 687 0 0 25 0 1 0 1853351006 432738304 104611 4294967295 134512640 134736556 3221224560 3221223116 134536676 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/20016/statm): 105649 104611 1116 68 0 105581 0
[pid=20016] vsize: 422596
Current children cumulated CPU time (s) 471.66
Current children cumulated vsize (Kb) 422596

[startup+490.026 s]
Raw data (loadavg): 0.99 0.99 0.99 2/56 20016
Raw data (/proc/20016/stat): 20016 (bsolo) R 20015 20016 28974 0 -1 0 105721 0 0 0 47465 693 0 0 25 0 1 0 1853351006 435441664 105257 4294967295 134512640 134736556 3221224560 3221223116 134536611 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/20016/statm): 106309 105257 1116 68 0 106241 0
[pid=20016] vsize: 425236
Current children cumulated CPU time (s) 481.58
Current children cumulated vsize (Kb) 425236

[startup+500.027 s]
Raw data (loadavg): 0.99 0.99 0.99 2/56 20016
Raw data (/proc/20016/stat): 20016 (bsolo) R 20015 20016 28974 0 -1 0 106233 0 0 0 48459 697 0 0 25 0 1 0 1853351006 437469184 105768 4294967295 134512640 134736556 3221224560 3221223220 134528665 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/20016/statm): 106804 105768 1116 68 0 106736 0
[pid=20016] vsize: 427216
Current children cumulated CPU time (s) 491.56
Current children cumulated vsize (Kb) 427216

[startup+510.026 s]
Raw data (loadavg): 0.99 0.99 0.99 2/56 20016
Raw data (/proc/20016/stat): 20016 (bsolo) R 20015 20016 28974 0 -1 0 106528 0 0 0 49454 698 0 0 25 0 1 0 1853351006 438685696 106063 4294967295 134512640 134736556 3221224560 3221223232 134528735 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/20016/statm): 107101 106063 1116 68 0 107033 0
[pid=20016] vsize: 428404
Current children cumulated CPU time (s) 501.52
Current children cumulated vsize (Kb) 428404

[startup+520.027 s]
Raw data (loadavg): 0.99 0.99 0.99 2/56 20016
Raw data (/proc/20016/stat): 20016 (bsolo) R 20015 20016 28974 0 -1 0 106598 0 0 0 50450 700 0 0 25 0 1 0 1853351006 438956032 106132 4294967295 134512640 134736556 3221224560 3221223200 134524403 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/20016/statm): 107167 106132 1116 68 0 107099 0
[pid=20016] vsize: 428668
Current children cumulated CPU time (s) 511.5
Current children cumulated vsize (Kb) 428668

[startup+530.028 s]
Raw data (loadavg): 0.99 0.99 0.99 2/56 20016
Raw data (/proc/20016/stat): 20016 (bsolo) R 20015 20016 28974 0 -1 0 107122 0 0 0 51436 705 0 0 25 0 1 0 1853351006 441118720 106655 4294967295 134512640 134736556 3221224560 3221223084 134536626 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/20016/statm): 107695 106655 1116 68 0 107627 0
[pid=20016] vsize: 430780
Current children cumulated CPU time (s) 521.41
Current children cumulated vsize (Kb) 430780

[startup+540.029 s]
Raw data (loadavg): 0.99 0.99 0.99 2/56 20016
Raw data (/proc/20016/stat): 20016 (bsolo) R 20015 20016 28974 0 -1 0 107575 0 0 0 52418 712 0 0 25 0 1 0 1853351006 443011072 107108 4294967295 134512640 134736556 3221224560 3221223216 134537358 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/20016/statm): 108157 107108 1116 68 0 108089 0
[pid=20016] vsize: 432628
Current children cumulated CPU time (s) 531.3
Current children cumulated vsize (Kb) 432628

[startup+550.03 s]
Raw data (loadavg): 0.99 0.99 0.99 2/56 20016
Raw data (/proc/20016/stat): 20016 (bsolo) R 20015 20016 28974 0 -1 0 107932 0 0 0 53402 718 0 0 25 0 1 0 1853351006 444497920 107465 4294967295 134512640 134736556 3221224560 3221223280 134609059 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/20016/statm): 108520 107465 1116 68 0 108452 0
[pid=20016] vsize: 434080
Current children cumulated CPU time (s) 541.2
Current children cumulated vsize (Kb) 434080

[startup+560.031 s]
Raw data (loadavg): 0.99 0.99 0.99 2/56 20016
Raw data (/proc/20016/stat): 20016 (bsolo) R 20015 20016 28974 0 -1 0 109320 0 0 0 54367 732 0 0 25 0 1 0 1853351006 450179072 108851 4294967295 134512640 134736556 3221224560 3221223264 134600619 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/20016/statm): 109907 108851 1116 68 0 109839 0
[pid=20016] vsize: 439628
Current children cumulated CPU time (s) 550.99
Current children cumulated vsize (Kb) 439628

[startup+570.032 s]
Raw data (loadavg): 0.99 0.99 0.99 2/56 20016
Raw data (/proc/20016/stat): 20016 (bsolo) R 20015 20016 28974 0 -1 0 109644 0 0 0 55353 737 0 0 25 0 1 0 1853351006 451530752 109175 4294967295 134512640 134736556 3221224560 3221223248 134536549 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/20016/statm): 110237 109175 1116 68 0 110169 0
[pid=20016] vsize: 440948
Current children cumulated CPU time (s) 560.9
Current children cumulated vsize (Kb) 440948

[startup+580.032 s]
Raw data (loadavg): 0.99 0.99 0.99 2/56 20016
Raw data (/proc/20016/stat): 20016 (bsolo) R 20015 20016 28974 0 -1 0 111274 0 0 0 56320 750 0 0 25 0 1 0 1853351006 458158080 110805 4294967295 134512640 134736556 3221224560 3221223280 134609059 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/20016/statm): 111855 110805 1116 68 0 111787 0
[pid=20016] vsize: 447420
Current children cumulated CPU time (s) 570.7
Current children cumulated vsize (Kb) 447420

[startup+590.032 s]
Raw data (loadavg): 0.99 0.99 0.99 2/56 20016
Raw data (/proc/20016/stat): 20016 (bsolo) R 20015 20016 28974 0 -1 0 111815 0 0 0 57307 755 0 0 25 0 1 0 1853351006 460460032 111346 4294967295 134512640 134736556 3221224560 3221223168 134536527 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/20016/statm): 112417 111346 1116 68 0 112349 0
[pid=20016] vsize: 449668
Current children cumulated CPU time (s) 580.62
Current children cumulated vsize (Kb) 449668

[startup+600.033 s]
Raw data (loadavg): 0.99 0.99 0.99 2/56 20016
Raw data (/proc/20016/stat): 20016 (bsolo) R 20015 20016 28974 0 -1 0 112068 0 0 0 58295 761 0 0 25 0 1 0 1853351006 461615104 111594 4294967295 134512640 134736556 3221224560 3221223136 134553387 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/20016/statm): 112699 111594 1116 68 0 112631 0
[pid=20016] vsize: 450796
Current children cumulated CPU time (s) 590.56
Current children cumulated vsize (Kb) 450796

[startup+610.034 s]
Raw data (loadavg): 0.99 0.99 0.99 2/56 20016
Raw data (/proc/20016/stat): 20016 (bsolo) R 20015 20016 28974 0 -1 0 112293 0 0 0 59278 767 0 0 25 0 1 0 1853351006 462565376 111817 4294967295 134512640 134736556 3221224560 3221223268 134609065 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/20016/statm): 112931 111817 1116 68 0 112863 0
[pid=20016] vsize: 451724
Current children cumulated CPU time (s) 600.45
Current children cumulated vsize (Kb) 451724

[startup+620.034 s]
Raw data (loadavg): 0.99 0.99 0.99 2/56 20016
Raw data (/proc/20016/stat): 20016 (bsolo) R 20015 20016 28974 0 -1 0 112615 0 0 0 60261 775 0 0 25 0 1 0 1853351006 463781888 112139 4294967295 134512640 134736556 3221224560 3221223296 134529265 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/20016/statm): 113228 112139 1116 68 0 113160 0
[pid=20016] vsize: 452912
Current children cumulated CPU time (s) 610.36
Current children cumulated vsize (Kb) 452912

[startup+630.035 s]
Raw data (loadavg): 0.99 0.99 0.99 2/56 20016
Raw data (/proc/20016/stat): 20016 (bsolo) R 20015 20016 28974 0 -1 0 112980 0 0 0 61247 781 0 0 25 0 1 0 1853351006 465412096 112504 4294967295 134512640 134736556 3221224560 3221223296 134529164 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/20016/statm): 113626 112504 1116 68 0 113558 0
[pid=20016] vsize: 454504
Current children cumulated CPU time (s) 620.28
Current children cumulated vsize (Kb) 454504

[startup+640.036 s]
Raw data (loadavg): 0.99 0.99 0.99 1/56 20016
Raw data (/proc/20016/stat): 20016 (bsolo) T 20015 20016 28974 0 -1 0 113296 0 0 0 62231 787 0 0 25 0 1 0 1853351006 466628608 112820 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/20016/statm): 113923 112820 1116 68 0 113855 0
[pid=20016] vsize: 455692
Current children cumulated CPU time (s) 630.18
Current children cumulated vsize (Kb) 455692

[startup+650.037 s]
Raw data (loadavg): 0.99 0.99 0.99 2/56 20016
Raw data (/proc/20016/stat): 20016 (bsolo) T 20015 20016 28974 0 -1 0 114567 0 0 0 63206 799 0 0 25 0 1 0 1853351006 471900160 114091 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/20016/statm): 115210 114091 1116 68 0 115142 0
[pid=20016] vsize: 460840
Current children cumulated CPU time (s) 640.05
Current children cumulated vsize (Kb) 460840

[startup+660.037 s]
Raw data (loadavg): 0.99 0.99 0.99 2/56 20016
Raw data (/proc/20016/stat): 20016 (bsolo) R 20015 20016 28974 0 -1 0 114984 0 0 0 64186 808 0 0 25 0 1 0 1853351006 473522176 114508 4294967295 134512640 134736556 3221224560 3221223188 134553382 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/20016/statm): 115606 114508 1116 68 0 115538 0
[pid=20016] vsize: 462424
Current children cumulated CPU time (s) 649.94
Current children cumulated vsize (Kb) 462424

[startup+670.038 s]
Raw data (loadavg): 0.99 0.99 0.99 2/56 20016
Raw data (/proc/20016/stat): 20016 (bsolo) R 20015 20016 28974 0 -1 0 115328 0 0 0 65178 811 0 0 25 0 1 0 1853351006 475021312 114852 4294967295 134512640 134736556 3221224560 3221223184 134553387 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/20016/statm): 115972 114852 1116 68 0 115904 0
[pid=20016] vsize: 463888
Current children cumulated CPU time (s) 659.89
Current children cumulated vsize (Kb) 463888

[startup+680.038 s]
Raw data (loadavg): 0.99 0.99 0.99 2/56 20016
Raw data (/proc/20016/stat): 20016 (bsolo) R 20015 20016 28974 0 -1 0 115587 0 0 0 66172 814 0 0 25 0 1 0 1853351006 476098560 115110 4294967295 134512640 134736556 3221224560 3221223184 134537358 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/20016/statm): 116235 115110 1116 68 0 116167 0
[pid=20016] vsize: 464940
Current children cumulated CPU time (s) 669.86
Current children cumulated vsize (Kb) 464940

[startup+690.038 s]
Raw data (loadavg): 0.99 0.99 0.99 2/56 20016
Raw data (/proc/20016/stat): 20016 (bsolo) R 20015 20016 28974 0 -1 0 116219 0 0 0 67155 820 0 0 25 0 1 0 1853351006 478666752 115742 4294967295 134512640 134736556 3221224560 3221223212 134554040 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/20016/statm): 116862 115742 1116 68 0 116794 0
[pid=20016] vsize: 467448
Current children cumulated CPU time (s) 679.75
Current children cumulated vsize (Kb) 467448

[startup+700.039 s]
Raw data (loadavg): 0.99 0.99 0.99 2/56 20016
Raw data (/proc/20016/stat): 20016 (bsolo) R 20015 20016 28974 0 -1 0 117210 0 0 0 68130 831 0 0 25 0 1 0 1853351006 482725888 116733 4294967295 134512640 134736556 3221224560 3221223024 134536153 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/20016/statm): 117853 116733 1116 68 0 117785 0
[pid=20016] vsize: 471412
Current children cumulated CPU time (s) 689.61
Current children cumulated vsize (Kb) 471412

[startup+710.04 s]
Raw data (loadavg): 0.99 0.99 0.99 2/56 20016
Raw data (/proc/20016/stat): 20016 (bsolo) R 20015 20016 28974 0 -1 0 117622 0 0 0 69113 837 0 0 25 0 1 0 1853351006 484347904 117145 4294967295 134512640 134736556 3221224560 3221223152 134551097 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/20016/statm): 118249 117145 1116 68 0 118181 0
[pid=20016] vsize: 472996
Current children cumulated CPU time (s) 699.5
Current children cumulated vsize (Kb) 472996

[startup+720.041 s]
Raw data (loadavg): 0.99 0.99 0.99 2/56 20016
Raw data (/proc/20016/stat): 20016 (bsolo) R 20015 20016 28974 0 -1 0 117994 0 0 0 70102 841 0 0 25 0 1 0 1853351006 485969920 117517 4294967295 134512640 134736556 3221224560 3221223296 134529164 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/20016/statm): 118645 117517 1116 68 0 118577 0
[pid=20016] vsize: 474580
Current children cumulated CPU time (s) 709.43
Current children cumulated vsize (Kb) 474580

[startup+730.041 s]
Raw data (loadavg): 0.99 0.99 0.99 2/56 20016
Raw data (/proc/20016/stat): 20016 (bsolo) R 20015 20016 28974 0 -1 0 118135 0 0 0 71091 846 0 0 25 0 1 0 1853351006 486510592 117658 4294967295 134512640 134736556 3221224560 3221223184 134537358 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/20016/statm): 118777 117658 1116 68 0 118709 0
[pid=20016] vsize: 475108
Current children cumulated CPU time (s) 719.37
Current children cumulated vsize (Kb) 475108

[startup+740.042 s]
Raw data (loadavg): 0.99 0.99 0.99 2/56 20016
Raw data (/proc/20016/stat): 20016 (bsolo) R 20015 20016 28974 0 -1 0 118374 0 0 0 72079 852 0 0 25 0 1 0 1853351006 487456768 117897 4294967295 134512640 134736556 3221224560 3221223296 134529272 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/20016/statm): 119008 117897 1116 68 0 118940 0
[pid=20016] vsize: 476032
Current children cumulated CPU time (s) 729.31
Current children cumulated vsize (Kb) 476032

[startup+750.043 s]
Raw data (loadavg): 0.99 0.99 0.99 2/56 20016
Raw data (/proc/20016/stat): 20016 (bsolo) R 20015 20016 28974 0 -1 0 118523 0 0 0 73070 855 0 0 25 0 1 0 1853351006 488128512 118046 4294967295 134512640 134736556 3221224560 3221223248 134536465 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/20016/statm): 119172 118046 1116 68 0 119104 0
[pid=20016] vsize: 476688
Current children cumulated CPU time (s) 739.25
Current children cumulated vsize (Kb) 476688

[startup+760.043 s]
Raw data (loadavg): 0.99 0.99 0.99 2/56 20016
Raw data (/proc/20016/stat): 20016 (bsolo) R 20015 20016 28974 0 -1 0 118641 0 0 0 74064 857 0 0 25 0 1 0 1853351006 488534016 118164 4294967295 134512640 134736556 3221224560 3221223296 134605558 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/20016/statm): 119271 118164 1116 68 0 119203 0
[pid=20016] vsize: 477084
Current children cumulated CPU time (s) 749.21
Current children cumulated vsize (Kb) 477084

[startup+770.044 s]
Raw data (loadavg): 0.99 0.99 0.99 2/56 20016
Raw data (/proc/20016/stat): 20016 (bsolo) R 20015 20016 28974 0 -1 0 118848 0 0 0 75058 859 0 0 25 0 1 0 1853351006 489345024 118371 4294967295 134512640 134736556 3221224560 3221223076 134716792 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/20016/statm): 119469 118371 1116 68 0 119401 0
[pid=20016] vsize: 477876
Current children cumulated CPU time (s) 759.17
Current children cumulated vsize (Kb) 477876

[startup+780.045 s]
Raw data (loadavg): 0.99 0.99 0.99 2/56 20016
Raw data (/proc/20016/stat): 20016 (bsolo) R 20015 20016 28974 0 -1 0 118933 0 0 0 76056 860 0 0 25 0 1 0 1853351006 489750528 118456 4294967295 134512640 134736556 3221224560 3221223296 134529164 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/20016/statm): 119568 118456 1116 68 0 119500 0
[pid=20016] vsize: 478272
Current children cumulated CPU time (s) 769.16
Current children cumulated vsize (Kb) 478272

[startup+790.044 s]
Raw data (loadavg): 0.99 0.99 0.99 2/56 20016
Raw data (/proc/20016/stat): 20016 (bsolo) R 20015 20016 28974 0 -1 0 119158 0 0 0 77050 863 0 0 25 0 1 0 1853351006 490696704 118681 4294967295 134512640 134736556 3221224560 3221223296 134529232 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/20016/statm): 119799 118681 1116 68 0 119731 0
[pid=20016] vsize: 479196
Current children cumulated CPU time (s) 779.13
Current children cumulated vsize (Kb) 479196

[startup+800.045 s]
Raw data (loadavg): 0.99 0.99 0.99 2/56 20016
Raw data (/proc/20016/stat): 20016 (bsolo) R 20015 20016 28974 0 -1 0 119348 0 0 0 78045 864 0 0 25 0 1 0 1853351006 491372544 118871 4294967295 134512640 134736556 3221224560 3221223084 134536698 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/20016/statm): 119964 118871 1116 68 0 119896 0
[pid=20016] vsize: 479856
Current children cumulated CPU time (s) 789.09
Current children cumulated vsize (Kb) 479856

[startup+810.046 s]
Raw data (loadavg): 0.99 0.99 0.99 2/56 20016
Raw data (/proc/20016/stat): 20016 (bsolo) R 20015 20016 28974 0 -1 0 119568 0 0 0 79039 867 0 0 25 0 1 0 1853351006 492318720 119091 4294967295 134512640 134736556 3221224560 3221223236 134536476 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/20016/statm): 120195 119091 1116 68 0 120127 0
[pid=20016] vsize: 480780
Current children cumulated CPU time (s) 799.06
Current children cumulated vsize (Kb) 480780

[startup+820.047 s]
Raw data (loadavg): 0.99 0.99 0.99 2/56 20016
Raw data (/proc/20016/stat): 20016 (bsolo) R 20015 20016 28974 0 -1 0 119851 0 0 0 80026 872 0 0 25 0 1 0 1853351006 493527040 119374 4294967295 134512640 134736556 3221224560 3221223184 134524547 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/20016/statm): 120490 119374 1116 68 0 120422 0
[pid=20016] vsize: 481960
Current children cumulated CPU time (s) 808.98
Current children cumulated vsize (Kb) 481960

[startup+830.048 s]
Raw data (loadavg): 0.99 0.99 0.99 2/56 20016
Raw data (/proc/20016/stat): 20016 (bsolo) R 20015 20016 28974 0 -1 0 120117 0 0 0 81018 876 0 0 25 0 1 0 1853351006 494612480 119640 4294967295 134512640 134736556 3221224560 3221223296 134529164 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/20016/statm): 120755 119640 1116 68 0 120687 0
[pid=20016] vsize: 483020
Current children cumulated CPU time (s) 818.94
Current children cumulated vsize (Kb) 483020

[startup+840.048 s]
Raw data (loadavg): 0.99 0.99 0.99 2/56 20016
Raw data (/proc/20016/stat): 20016 (bsolo) R 20015 20016 28974 0 -1 0 120219 0 0 0 82012 879 0 0 25 0 1 0 1853351006 495017984 119742 4294967295 134512640 134736556 3221224560 3221223180 134553304 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/20016/statm): 120854 119742 1116 68 0 120786 0
[pid=20016] vsize: 483416
Current children cumulated CPU time (s) 828.91
Current children cumulated vsize (Kb) 483416

[startup+850.048 s]
Raw data (loadavg): 0.99 0.99 0.99 2/56 20016
Raw data (/proc/20016/stat): 20016 (bsolo) R 20015 20016 28974 0 -1 0 120523 0 0 0 83002 883 0 0 25 0 1 0 1853351006 496230400 120046 4294967295 134512640 134736556 3221224560 3221223184 134524547 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/20016/statm): 121150 120046 1116 68 0 121082 0
[pid=20016] vsize: 484600
Current children cumulated CPU time (s) 838.85
Current children cumulated vsize (Kb) 484600

[startup+860.049 s]
Raw data (loadavg): 0.99 0.99 0.99 2/56 20016
Raw data (/proc/20016/stat): 20016 (bsolo) R 20015 20016 28974 0 -1 0 120579 0 0 0 83997 885 0 0 25 0 1 0 1853351006 496500736 120102 4294967295 134512640 134736556 3221224560 3221223184 134524547 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/20016/statm): 121216 120102 1116 68 0 121148 0
[pid=20016] vsize: 484864
Current children cumulated CPU time (s) 848.82
Current children cumulated vsize (Kb) 484864

[startup+870.05 s]
Raw data (loadavg): 0.99 0.99 0.99 2/56 20016
Raw data (/proc/20016/stat): 20016 (bsolo) R 20015 20016 28974 0 -1 0 120967 0 0 0 84987 889 0 0 25 0 1 0 1853351006 498106368 120490 4294967295 134512640 134736556 3221224560 3221223296 134529337 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/20016/statm): 121608 120490 1116 68 0 121540 0
[pid=20016] vsize: 486432
Current children cumulated CPU time (s) 858.76
Current children cumulated vsize (Kb) 486432

[startup+880.051 s]
Raw data (loadavg): 0.99 0.99 0.99 2/56 20016
Raw data (/proc/20016/stat): 20016 (bsolo) R 20015 20016 28974 0 -1 0 122166 0 0 0 85970 896 0 0 25 0 1 0 1853351006 502972416 121689 4294967295 134512640 134736556 3221224560 3221223108 134551038 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/20016/statm): 122796 121689 1116 68 0 122728 0
[pid=20016] vsize: 491184
Current children cumulated CPU time (s) 868.66
Current children cumulated vsize (Kb) 491184

[startup+890.052 s]
Raw data (loadavg): 0.99 0.99 0.99 2/56 20016
Raw data (/proc/20016/stat): 20016 (bsolo) R 20015 20016 28974 0 -1 0 124836 0 0 0 86947 908 0 0 25 0 1 0 1853351006 513921024 124359 4294967295 134512640 134736556 3221224560 3221223236 134529474 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/20016/statm): 125469 124359 1116 68 0 125401 0
[pid=20016] vsize: 501876
Current children cumulated CPU time (s) 878.55
Current children cumulated vsize (Kb) 501876

[startup+900.052 s]
Raw data (loadavg): 0.99 0.99 0.99 2/56 20016
Raw data (/proc/20016/stat): 20016 (bsolo) R 20015 20016 28974 0 -1 0 125992 0 0 0 87931 914 0 0 25 0 1 0 1853351006 518668288 125514 4294967295 134512640 134736556 3221224560 3221223184 134553387 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/20016/statm): 126628 125514 1116 68 0 126560 0
[pid=20016] vsize: 506512
Current children cumulated CPU time (s) 888.45
Current children cumulated vsize (Kb) 506512

[startup+910.053 s]
Raw data (loadavg): 0.99 0.99 0.99 2/56 20016
Raw data (/proc/20016/stat): 20016 (bsolo) R 20015 20016 28974 0 -1 0 126487 0 0 0 88920 919 0 0 25 0 1 0 1853351006 520695808 126009 4294967295 134512640 134736556 3221224560 3221223160 134554109 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/20016/statm): 127123 126009 1116 68 0 127055 0
[pid=20016] vsize: 508492
Current children cumulated CPU time (s) 898.39
Current children cumulated vsize (Kb) 508492

[startup+920.054 s]
Raw data (loadavg): 0.99 0.99 0.99 2/56 20016
Raw data (/proc/20016/stat): 20016 (bsolo) R 20015 20016 28974 0 -1 0 127793 0 0 0 89905 926 0 0 25 0 1 0 1853351006 526102528 127315 4294967295 134512640 134736556 3221224560 3221223164 134554110 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/20016/statm): 128443 127315 1116 68 0 128375 0
[pid=20016] vsize: 513772
Current children cumulated CPU time (s) 908.31
Current children cumulated vsize (Kb) 513772

[startup+930.054 s]
Raw data (loadavg): 0.99 0.99 0.99 2/56 20016
Raw data (/proc/20016/stat): 20016 (bsolo) R 20015 20016 28974 0 -1 0 128979 0 0 0 90892 933 0 0 25 0 1 0 1853351006 530968576 128501 4294967295 134512640 134736556 3221224560 3221223228 134523620 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/20016/statm): 129631 128502 1116 68 0 129563 0
[pid=20016] vsize: 518524
Current children cumulated CPU time (s) 918.25
Current children cumulated vsize (Kb) 518524

[startup+940.054 s]
Raw data (loadavg): 0.99 0.99 0.99 2/56 20016
Raw data (/proc/20016/stat): 20016 (bsolo) R 20015 20016 28974 0 -1 0 130324 0 0 0 91873 942 0 0 25 0 1 0 1853351006 536457216 129843 4294967295 134512640 134736556 3221224560 3221223136 134550871 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/20016/statm): 130971 129843 1116 68 0 130903 0
[pid=20016] vsize: 523884
Current children cumulated CPU time (s) 928.15
Current children cumulated vsize (Kb) 523884

[startup+950.054 s]
Raw data (loadavg): 0.99 0.99 0.99 2/56 20016
Raw data (/proc/20016/stat): 20016 (bsolo) R 20015 20016 28974 0 -1 0 131442 0 0 0 92854 950 0 0 25 0 1 0 1853351006 541048832 130961 4294967295 134512640 134736556 3221224560 3221223232 134597405 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/20016/statm): 132092 130961 1116 68 0 132024 0
[pid=20016] vsize: 528368
Current children cumulated CPU time (s) 938.04
Current children cumulated vsize (Kb) 528368

[startup+960.054 s]
Raw data (loadavg): 0.99 0.99 0.99 2/56 20016
Raw data (/proc/20016/stat): 20016 (bsolo) R 20015 20016 28974 0 -1 0 132013 0 0 0 93834 960 0 0 25 0 1 0 1853351006 543457280 131531 4294967295 134512640 134736556 3221224560 3221223184 134524547 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/20016/statm): 132680 131531 1116 68 0 132612 0
[pid=20016] vsize: 530720
Current children cumulated CPU time (s) 947.94
Current children cumulated vsize (Kb) 530720

[startup+970.056 s]
Raw data (loadavg): 0.99 0.99 0.99 2/56 20016
Raw data (/proc/20016/stat): 20016 (bsolo) R 20015 20016 28974 0 -1 0 132331 0 0 0 94819 967 0 0 25 0 1 0 1853351006 544673792 131849 4294967295 134512640 134736556 3221224560 3221223172 134537369 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/20016/statm): 132977 131849 1116 68 0 132909 0
[pid=20016] vsize: 531908
Current children cumulated CPU time (s) 957.86
Current children cumulated vsize (Kb) 531908

[startup+980.057 s]
Raw data (loadavg): 0.99 0.99 0.99 2/56 20016
Raw data (/proc/20016/stat): 20016 (bsolo) R 20015 20016 28974 0 -1 0 132931 0 0 0 95799 976 0 0 25 0 1 0 1853351006 547098624 132449 4294967295 134512640 134736556 3221224560 3221223108 134551038 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/20016/statm): 133569 132449 1116 68 0 133501 0
[pid=20016] vsize: 534276
Current children cumulated CPU time (s) 967.75
Current children cumulated vsize (Kb) 534276

[startup+990.057 s]
Raw data (loadavg): 0.99 0.99 0.99 2/56 20016
Raw data (/proc/20016/stat): 20016 (bsolo) R 20015 20016 28974 0 -1 0 133171 0 0 0 96788 981 0 0 25 0 1 0 1853351006 548163584 132689 4294967295 134512640 134736556 3221224560 3221223116 134537545 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/20016/statm): 133829 132689 1116 68 0 133761 0
[pid=20016] vsize: 535316
Current children cumulated CPU time (s) 977.69
Current children cumulated vsize (Kb) 535316

[startup+1000.06 s]
Raw data (loadavg): 0.99 0.99 0.99 2/56 20016
Raw data (/proc/20016/stat): 20016 (bsolo) R 20015 20016 28974 0 -1 0 133493 0 0 0 97772 988 0 0 25 0 1 0 1853351006 549543936 133011 4294967295 134512640 134736556 3221224560 3221222956 134634644 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/20016/statm): 134166 133011 1116 68 0 134098 0
[pid=20016] vsize: 536664
Current children cumulated CPU time (s) 987.6
Current children cumulated vsize (Kb) 536664

[startup+1010.06 s]
Raw data (loadavg): 0.99 0.99 0.99 2/56 20016
Raw data (/proc/20016/stat): 20016 (bsolo) R 20015 20016 28974 0 -1 0 133672 0 0 0 98765 990 0 0 25 0 1 0 1853351006 550219776 133190 4294967295 134512640 134736556 3221224560 3221223084 134536687 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/20016/statm): 134331 133190 1116 68 0 134263 0
[pid=20016] vsize: 537324
Current children cumulated CPU time (s) 997.55
Current children cumulated vsize (Kb) 537324

[startup+1020.06 s]
Raw data (loadavg): 0.99 0.99 0.99 2/56 20016
Raw data (/proc/20016/stat): 20016 (bsolo) R 20015 20016 28974 0 -1 0 133807 0 0 0 99760 992 0 0 25 0 1 0 1853351006 550756352 133325 4294967295 134512640 134736556 3221224560 3221223200 134524403 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/20016/statm): 134462 133325 1116 68 0 134394 0
[pid=20016] vsize: 537848
Current children cumulated CPU time (s) 1007.52
Current children cumulated vsize (Kb) 537848

[startup+1030.06 s]
Raw data (loadavg): 0.99 0.99 0.99 2/56 20016
Raw data (/proc/20016/stat): 20016 (bsolo) R 20015 20016 28974 0 -1 0 133916 0 0 0 100755 994 0 0 25 0 1 0 1853351006 551301120 133434 4294967295 134512640 134736556 3221224560 3221223184 134537358 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/20016/statm): 134595 133434 1116 68 0 134527 0
[pid=20016] vsize: 538380
Current children cumulated CPU time (s) 1017.49
Current children cumulated vsize (Kb) 538380

[startup+1040.06 s]
Raw data (loadavg): 0.99 0.99 0.99 1/56 20016
Raw data (/proc/20016/stat): 20016 (bsolo) T 20015 20016 28974 0 -1 0 134851 0 0 0 101739 1001 0 0 25 0 1 0 1853351006 555085824 134369 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/20016/statm): 135519 134369 1116 68 0 135451 0
[pid=20016] vsize: 542076
Current children cumulated CPU time (s) 1027.4
Current children cumulated vsize (Kb) 542076

[startup+1050.06 s]
Raw data (loadavg): 0.99 0.99 0.99 2/56 20016
Raw data (/proc/20016/stat): 20016 (bsolo) R 20015 20016 28974 0 -1 0 136040 0 0 0 102721 1009 0 0 25 0 1 0 1853351006 559951872 135558 4294967295 134512640 134736556 3221224560 3221223172 134537369 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/20016/statm): 136707 135558 1116 68 0 136639 0
[pid=20016] vsize: 546828
Current children cumulated CPU time (s) 1037.3
Current children cumulated vsize (Kb) 546828

[startup+1060.06 s]
Raw data (loadavg): 0.99 0.99 0.99 2/56 20016
Raw data (/proc/20016/stat): 20016 (bsolo) R 20015 20016 28974 0 -1 0 136548 0 0 0 103709 1015 0 0 25 0 1 0 1853351006 561979392 136066 4294967295 134512640 134736556 3221224560 3221223152 134553321 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/20016/statm): 137202 136066 1116 68 0 137134 0
[pid=20016] vsize: 548808
Current children cumulated CPU time (s) 1047.24
Current children cumulated vsize (Kb) 548808

[startup+1070.06 s]
Raw data (loadavg): 0.99 0.99 0.99 2/56 20016
Raw data (/proc/20016/stat): 20016 (bsolo) R 20015 20016 28974 0 -1 0 136867 0 0 0 104703 1017 0 0 25 0 1 0 1853351006 563335168 136385 4294967295 134512640 134736556 3221224560 3221223184 134537358 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/20016/statm): 137533 136385 1116 68 0 137465 0
[pid=20016] vsize: 550132
Current children cumulated CPU time (s) 1057.2
Current children cumulated vsize (Kb) 550132

[startup+1080.06 s]
Raw data (loadavg): 0.99 0.99 0.99 2/56 20016
Raw data (/proc/20016/stat): 20016 (bsolo) R 20015 20016 28974 0 -1 0 137307 0 0 0 105697 1019 0 0 25 0 1 0 1853351006 565104640 136825 4294967295 134512640 134736556 3221224560 3221223152 134536465 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/20016/statm): 137965 136825 1116 68 0 137897 0
[pid=20016] vsize: 551860
Current children cumulated CPU time (s) 1067.16
Current children cumulated vsize (Kb) 551860

[startup+1090.06 s]
Raw data (loadavg): 0.99 0.99 0.99 2/56 20016
Raw data (/proc/20016/stat): 20016 (bsolo) R 20015 20016 28974 0 -1 0 137870 0 0 0 106687 1024 0 0 25 0 1 0 1853351006 567402496 137388 4294967295 134512640 134736556 3221224560 3221223152 134536470 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/20016/statm): 138526 137388 1116 68 0 138458 0
[pid=20016] vsize: 554104
Current children cumulated CPU time (s) 1077.11
Current children cumulated vsize (Kb) 554104

[startup+1100.06 s]
Raw data (loadavg): 0.99 0.99 0.99 2/56 20016
Raw data (/proc/20016/stat): 20016 (bsolo) R 20015 20016 28974 0 -1 0 138045 0 0 0 107681 1026 0 0 25 0 1 0 1853351006 568217600 137563 4294967295 134512640 134736556 3221224560 3221223152 134524403 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/20016/statm): 138725 137563 1116 68 0 138657 0
[pid=20016] vsize: 554900
Current children cumulated CPU time (s) 1087.07
Current children cumulated vsize (Kb) 554900

[startup+1110.06 s]
Raw data (loadavg): 0.99 0.99 0.99 2/56 20016
Raw data (/proc/20016/stat): 20016 (bsolo) R 20015 20016 28974 0 -1 0 138093 0 0 0 108679 1027 0 0 25 0 1 0 1853351006 568352768 137611 4294967295 134512640 134736556 3221224560 3221223184 134524547 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/20016/statm): 138758 137611 1116 68 0 138690 0
[pid=20016] vsize: 555032
Current children cumulated CPU time (s) 1097.06
Current children cumulated vsize (Kb) 555032

[startup+1120.06 s]
Raw data (loadavg): 0.99 0.99 0.99 2/56 20016
Raw data (/proc/20016/stat): 20016 (bsolo) R 20015 20016 28974 0 -1 0 138139 0 0 0 109676 1028 0 0 25 0 1 0 1853351006 568623104 137657 4294967295 134512640 134736556 3221224560 3221223184 134537456 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/20016/statm): 138824 137657 1116 68 0 138756 0
[pid=20016] vsize: 555296
Current children cumulated CPU time (s) 1107.04
Current children cumulated vsize (Kb) 555296

[startup+1130.06 s]
Raw data (loadavg): 0.99 0.99 0.99 2/56 20016
Raw data (/proc/20016/stat): 20016 (bsolo) R 20015 20016 28974 0 -1 0 138260 0 0 0 110672 1029 0 0 25 0 1 0 1853351006 569028608 137778 4294967295 134512640 134736556 3221224560 3221223088 134553387 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/20016/statm): 138923 137778 1116 68 0 138855 0
[pid=20016] vsize: 555692
Current children cumulated CPU time (s) 1117.01
Current children cumulated vsize (Kb) 555692

[startup+1140.06 s]
Raw data (loadavg): 0.99 0.99 0.99 2/56 20016
Raw data (/proc/20016/stat): 20016 (bsolo) R 20015 20016 28974 0 -1 0 138386 0 0 0 111669 1031 0 0 25 0 1 0 1853351006 569569280 137904 4294967295 134512640 134736556 3221224560 3221223200 134529155 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/20016/statm): 139055 137904 1116 68 0 138987 0
[pid=20016] vsize: 556220
Current children cumulated CPU time (s) 1127
Current children cumulated vsize (Kb) 556220

[startup+1150.06 s]
Raw data (loadavg): 0.99 0.99 0.99 2/56 20016
Raw data (/proc/20016/stat): 20016 (bsolo) R 20015 20016 28974 0 -1 0 138436 0 0 0 112667 1032 0 0 25 0 1 0 1853351006 569839616 137954 4294967295 134512640 134736556 3221224560 3221223152 134524403 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/20016/statm): 139121 137954 1116 68 0 139053 0
[pid=20016] vsize: 556484
Current children cumulated CPU time (s) 1136.99
Current children cumulated vsize (Kb) 556484

[startup+1160.06 s]
Raw data (loadavg): 0.99 0.99 0.99 2/56 20016
Raw data (/proc/20016/stat): 20016 (bsolo) R 20015 20016 28974 0 -1 0 138481 0 0 0 113666 1032 0 0 25 0 1 0 1853351006 569974784 137999 4294967295 134512640 134736556 3221224560 3221223188 134529474 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/20016/statm): 139154 137999 1116 68 0 139086 0
[pid=20016] vsize: 556616
Current children cumulated CPU time (s) 1146.98
Current children cumulated vsize (Kb) 556616

[startup+1170.07 s]
Raw data (loadavg): 0.99 0.99 0.99 2/56 20016
Raw data (/proc/20016/stat): 20016 (bsolo) R 20015 20016 28974 0 -1 0 138527 0 0 0 114664 1032 0 0 25 0 1 0 1853351006 570109952 138045 4294967295 134512640 134736556 3221224560 3221223184 134537358 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/20016/statm): 139187 138045 1116 68 0 139119 0
[pid=20016] vsize: 556748
Current children cumulated CPU time (s) 1156.96
Current children cumulated vsize (Kb) 556748

[startup+1180.07 s]
Raw data (loadavg): 0.99 0.99 0.99 2/56 20016
Raw data (/proc/20016/stat): 20016 (bsolo) R 20015 20016 28974 0 -1 0 138579 0 0 0 115663 1033 0 0 25 0 1 0 1853351006 570380288 138095 4294967295 134512640 134736556 3221224560 3221223140 134536476 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/20016/statm): 139253 138095 1116 68 0 139185 0
[pid=20016] vsize: 557012
Current children cumulated CPU time (s) 1166.96
Current children cumulated vsize (Kb) 557012

[startup+1190.07 s]
Raw data (loadavg): 0.99 0.99 0.99 2/56 20016
Raw data (/proc/20016/stat): 20016 (bsolo) R 20015 20016 28974 0 -1 0 138624 0 0 0 116662 1033 0 0 25 0 1 0 1853351006 570650624 138140 4294967295 134512640 134736556 3221224560 3221223136 134536477 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/20016/statm): 139319 138140 1116 68 0 139251 0
[pid=20016] vsize: 557276
Current children cumulated CPU time (s) 1176.95
Current children cumulated vsize (Kb) 557276

[startup+1200.07 s]
Raw data (loadavg): 0.99 0.99 0.99 1/56 20016
Raw data (/proc/20016/stat): 20016 (bsolo) T 20015 20016 28974 0 -1 0 138725 0 0 0 117659 1034 0 0 25 0 1 0 1853351006 571052032 138241 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/20016/statm): 139417 138241 1116 68 0 139349 0
[pid=20016] vsize: 557668
Current children cumulated CPU time (s) 1186.93
Current children cumulated vsize (Kb) 557668
One traced child (pid=20016) exited with status: 10
All traced children have exited ! Game is over.

Child status: 10
Real time (s): 1208.5
CPU time (s): 1195.36
CPU user time (s): 1184.75
CPU system time (s): 10.6114
CPU usage (%): 98.9131
Max. virtual memory (cumulated for all children) (Kb): 557668

Verifier Data

Verifier:	OK	-837139