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

Namesubmitted/een/normalized-p2756.opb
MD5SUMf3d955cf36894e7107b7f25ccaa97360
Bench Categoryoptimization, small integers (OPTSMALLINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 3834
Optimality of the best value was proved NO
Number of terms in the objective function 2166
Biggest coefficient in the objective function 11000
Number of bits for the biggest coefficient in the objective function 14
Sum of the numbers in the objective function 321831
Number of bits of the sum of numbers in the objective function 19
Biggest number in a constraint 11000
Number of bits of the biggest number in a constraint 14
Biggest sum of numbers in a constraint 321831
Number of bits of the biggest sum of numbers19
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1195.06
Number of variables2734
Total number of constraints738
Number of constraints which are clauses132
Number of constraints which are cardinality constraints (but not clauses)220
Number of constraints which are nor clauses,nor cardinality constraints386
Minimum length of a constraint2
Maximum length of a constraint535

Trace number 347

Launcher Data

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.053
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 899.07

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        911572 kB
Buffers:         36936 kB
Cached:          56744 kB
SwapCached:        908 kB
Active:          82052 kB
Inactive:        14504 kB
HighTotal:      131008 kB
HighFree:        78120 kB
LowTotal:       903652 kB
LowFree:        833452 kB
SwapTotal:     2097136 kB
SwapFree:      2095620 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5992 kB
Slab:            20900 kB
Committed_AS:    93168 kB
PageTables:        344 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-09-18 09:37:21 (client local time) WITH STATUS 10 IN 1195.06 SECONDS
stats: 278 0 1195.06 10

Solver Data

c INFO: OSL Context initialized.
c Initial problem consists of 2741 variables and 738 constraints.
c	preprocess terminated. Elapsed time: 0.466
c After prepocess the problem consists of 2731 variables and 736 constraints.
c Initial Lower Bound: 0
c NEW SOLUTION FOUND: 74132 @ 74.833 @ #Dec. 19167
c NEW SOLUTION FOUND: 74130 @ 74.864 @ #Dec. 19175
c NEW SOLUTION FOUND: 74127 @ 74.905 @ #Dec. 19185
c NEW SOLUTION FOUND: 74126 @ 74.959 @ #Dec. 19197
c NEW SOLUTION FOUND: 74125 @ 75.025 @ #Dec. 19212
c NEW SOLUTION FOUND: 74123 @ 75.104 @ #Dec. 19227
c NEW SOLUTION FOUND: 74121 @ 75.23 @ #Dec. 19256
c NEW SOLUTION FOUND: 74062 @ 75.374 @ #Dec. 19305
c NEW SOLUTION FOUND: 74061 @ 75.524 @ #Dec. 19354
c NEW SOLUTION FOUND: 74058 @ 75.668 @ #Dec. 19402
c NEW SOLUTION FOUND: 74039 @ 75.824 @ #Dec. 19458
c NEW SOLUTION FOUND: 74036 @ 75.973 @ #Dec. 19513
c NEW SOLUTION FOUND: 74034 @ 76.177 @ #Dec. 19579
c NEW SOLUTION FOUND: 74031 @ 76.333 @ #Dec. 19642
c NEW SOLUTION FOUND: 69426 @ 83.294 @ #Dec. 22056
c NEW SOLUTION FOUND: 69423 @ 83.434 @ #Dec. 22119
c NEW SOLUTION FOUND: 69328 @ 83.67 @ #Dec. 22204
c NEW SOLUTION FOUND: 69323 @ 84.067 @ #Dec. 22334
c NEW SOLUTION FOUND: 69301 @ 84.259 @ #Dec. 22408
c NEW SOLUTION FOUND: 69298 @ 84.593 @ #Dec. 22519
c NEW SOLUTION FOUND: 69284 @ 84.863 @ #Dec. 22612
c NEW SOLUTION FOUND: 69262 @ 85.087 @ #Dec. 22695
c NEW SOLUTION FOUND: 69225 @ 85.351 @ #Dec. 22786
c NEW SOLUTION FOUND: 69203 @ 85.58 @ #Dec. 22869
c NEW SOLUTION FOUND: 69200 @ 86.018 @ #Dec. 22999
c NEW SOLUTION FOUND: 69193 @ 86.658 @ #Dec. 23184
c NEW SOLUTION FOUND: 69137 @ 86.935 @ #Dec. 23279
c NEW SOLUTION FOUND: 69134 @ 87.211 @ #Dec. 23373
c NEW SOLUTION FOUND: 69133 @ 87.494 @ #Dec. 23468
c NEW SOLUTION FOUND: 69130 @ 87.763 @ #Dec. 23562
c Restart #1 #Var: 2719 #Dec: 23843 LB: 0 @ 89.507
c NEW SOLUTION FOUND: 62208 @ 123.9 @ #Dec. 32710
c NEW SOLUTION FOUND: 62191 @ 124.03 @ #Dec. 32772
c NEW SOLUTION FOUND: 62167 @ 124.24 @ #Dec. 32864
c NEW SOLUTION FOUND: 62150 @ 124.38 @ #Dec. 32926
c NEW SOLUTION FOUND: 62118 @ 124.92 @ #Dec. 33161
c NEW SOLUTION FOUND: 62112 @ 125.26 @ #Dec. 33313
c NEW SOLUTION FOUND: 62091 @ 125.64 @ #Dec. 33484
c NEW SOLUTION FOUND: 62074 @ 125.89 @ #Dec. 33596
c NEW SOLUTION FOUND: 62073 @ 126.13 @ #Dec. 33709
c NEW SOLUTION FOUND: 62071 @ 126.39 @ #Dec. 33835
c NEW SOLUTION FOUND: 62069 @ 126.66 @ #Dec. 33968
c NEW SOLUTION FOUND: 62068 @ 126.9 @ #Dec. 34081
c NEW SOLUTION FOUND: 62064 @ 127.63 @ #Dec. 34430
c NEW SOLUTION FOUND: 61707 @ 128 @ #Dec. 34583
c NEW SOLUTION FOUND: 61677 @ 128.26 @ #Dec. 34701
c NEW SOLUTION FOUND: 61660 @ 128.51 @ #Dec. 34817
c NEW SOLUTION FOUND: 61622 @ 128.78 @ #Dec. 34940
c NEW SOLUTION FOUND: 61621 @ 129.04 @ #Dec. 35057
c NEW SOLUTION FOUND: 61619 @ 129.3 @ #Dec. 35177
c NEW SOLUTION FOUND: 61618 @ 130.06 @ #Dec. 35502
c NEW SOLUTION FOUND: 61617 @ 130.44 @ #Dec. 35680
c NEW SOLUTION FOUND: 61616 @ 130.74 @ #Dec. 35820
c NEW SOLUTION FOUND: 61615 @ 131.04 @ #Dec. 35963
c NEW SOLUTION FOUND: 61614 @ 131.3 @ #Dec. 36090
c NEW SOLUTION FOUND: 61613 @ 131.56 @ #Dec. 36211
c NEW SOLUTION FOUND: 61499 @ 132.32 @ #Dec. 36596
c NEW SOLUTION FOUND: 61062 @ 132.57 @ #Dec. 36714
c NEW SOLUTION FOUND: 61016 @ 132.83 @ #Dec. 36839
c NEW SOLUTION FOUND: 61015 @ 133.09 @ #Dec. 36963
c NEW SOLUTION FOUND: 61009 @ 133.35 @ #Dec. 37091
c NEW SOLUTION FOUND: 60988 @ 133.64 @ #Dec. 37223
c NEW SOLUTION FOUND: 60971 @ 133.89 @ #Dec. 37343
c NEW SOLUTION FOUND: 60970 @ 134.15 @ #Dec. 37465
c NEW SOLUTION FOUND: 60969 @ 134.42 @ #Dec. 37600
c NEW SOLUTION FOUND: 60968 @ 134.67 @ #Dec. 37722
c NEW SOLUTION FOUND: 60965 @ 134.96 @ #Dec. 37859
c NEW SOLUTION FOUND: 60964 @ 135.21 @ #Dec. 37981
c NEW SOLUTION FOUND: 60963 @ 135.55 @ #Dec. 38142
c NEW SOLUTION FOUND: 60962 @ 135.82 @ #Dec. 38271
c NEW SOLUTION FOUND: 60961 @ 136.08 @ #Dec. 38394
c NEW SOLUTION FOUND: 60960 @ 136.89 @ #Dec. 38790
c NEW SOLUTION FOUND: 60959 @ 137.19 @ #Dec. 38939
c NEW SOLUTION FOUND: 60958 @ 137.45 @ #Dec. 39064
c NEW SOLUTION FOUND: 60956 @ 139.21 @ #Dec. 39930
c NEW SOLUTION FOUND: 60955 @ 141.16 @ #Dec. 40743
c NEW SOLUTION FOUND: 60954 @ 141.98 @ #Dec. 41084
c NEW SOLUTION FOUND: 60952 @ 142.25 @ #Dec. 41213
c NEW SOLUTION FOUND: 60950 @ 145.14 @ #Dec. 41837
c NEW SOLUTION FOUND: 60949 @ 145.5 @ #Dec. 42022
c NEW SOLUTION FOUND: 60750 @ 145.82 @ #Dec. 42174
c NEW SOLUTION FOUND: 60709 @ 146.1 @ #Dec. 42303
c NEW SOLUTION FOUND: 60704 @ 146.38 @ #Dec. 42435
c NEW SOLUTION FOUND: 60692 @ 146.65 @ #Dec. 42565
c NEW SOLUTION FOUND: 60688 @ 146.95 @ #Dec. 42714
c NEW SOLUTION FOUND: 60684 @ 147.26 @ #Dec. 42861
c NEW SOLUTION FOUND: 60664 @ 147.57 @ #Dec. 43013
c NEW SOLUTION FOUND: 60662 @ 147.85 @ #Dec. 43143
c NEW SOLUTION FOUND: 60645 @ 148.13 @ #Dec. 43274
c NEW SOLUTION FOUND: 60643 @ 148.43 @ #Dec. 43424
c NEW SOLUTION FOUND: 60641 @ 148.71 @ #Dec. 43554
c NEW SOLUTION FOUND: 60637 @ 149.02 @ #Dec. 43703
c NEW SOLUTION FOUND: 60635 @ 149.48 @ #Dec. 43954
c NEW SOLUTION FOUND: 60634 @ 149.88 @ #Dec. 44157
c NEW SOLUTION FOUND: 60633 @ 150.55 @ #Dec. 44476
c NEW SOLUTION FOUND: 60632 @ 151 @ #Dec. 44700
c NEW SOLUTION FOUND: 60630 @ 151.63 @ #Dec. 45036
c NEW SOLUTION FOUND: 60629 @ 152.02 @ #Dec. 45232
c NEW SOLUTION FOUND: 60628 @ 154.7 @ #Dec. 45960
c NEW SOLUTION FOUND: 60627 @ 155.15 @ #Dec. 46128
c NEW SOLUTION FOUND: 49621 @ 155.47 @ #Dec. 46277
c NEW SOLUTION FOUND: 49619 @ 155.78 @ #Dec. 46418
c NEW SOLUTION FOUND: 49611 @ 156.08 @ #Dec. 46558
c NEW SOLUTION FOUND: 49585 @ 156.44 @ #Dec. 46715
c NEW SOLUTION FOUND: 49573 @ 156.72 @ #Dec. 46854
c NEW SOLUTION FOUND: 49571 @ 157.02 @ #Dec. 46995
c NEW SOLUTION FOUND: 49569 @ 157.31 @ #Dec. 47134
c NEW SOLUTION FOUND: 49565 @ 157.6 @ #Dec. 47274
c NEW SOLUTION FOUND: 49564 @ 157.92 @ #Dec. 47432
c NEW SOLUTION FOUND: 49562 @ 158.24 @ #Dec. 47587
c NEW SOLUTION FOUND: 49558 @ 158.53 @ #Dec. 47733
c NEW SOLUTION FOUND: 49554 @ 158.84 @ #Dec. 47879
c NEW SOLUTION FOUND: 49553 @ 159.15 @ #Dec. 48029
c NEW SOLUTION FOUND: 49552 @ 159.58 @ #Dec. 48252
c NEW SOLUTION FOUND: 49548 @ 159.88 @ #Dec. 48398
c NEW SOLUTION FOUND: 49547 @ 160.19 @ #Dec. 48548
c NEW SOLUTION FOUND: 49545 @ 160.73 @ #Dec. 48828
c NEW SOLUTION FOUND: 49544 @ 161.05 @ #Dec. 48990
c NEW SOLUTION FOUND: 49543 @ 161.88 @ #Dec. 49418
c NEW SOLUTION FOUND: 49542 @ 162.2 @ #Dec. 49575
c NEW SOLUTION FOUND: 49539 @ 163.08 @ #Dec. 50062
c NEW SOLUTION FOUND: 49529 @ 163.51 @ #Dec. 50261
c NEW SOLUTION FOUND: 49344 @ 163.83 @ #Dec. 50414
c NEW SOLUTION FOUND: 49342 @ 164.15 @ #Dec. 50571
c NEW SOLUTION FOUND: 49334 @ 164.48 @ #Dec. 50731
c NEW SOLUTION FOUND: 49295 @ 164.83 @ #Dec. 50912
c NEW SOLUTION FOUND: 49291 @ 165.17 @ #Dec. 51082
c NEW SOLUTION FOUND: 49289 @ 165.5 @ #Dec. 51241
c NEW SOLUTION FOUND: 49287 @ 165.82 @ #Dec. 51404
c NEW SOLUTION FOUND: 49284 @ 166.24 @ #Dec. 51636
c NEW SOLUTION FOUND: 49280 @ 166.67 @ #Dec. 51864
c NEW SOLUTION FOUND: 49278 @ 167 @ #Dec. 52023
c NEW SOLUTION FOUND: 49276 @ 167.32 @ #Dec. 52186
c NEW SOLUTION FOUND: 49274 @ 167.83 @ #Dec. 52491
c NEW SOLUTION FOUND: 49272 @ 168.15 @ #Dec. 52650
c NEW SOLUTION FOUND: 49270 @ 168.48 @ #Dec. 52813
c NEW SOLUTION FOUND: 49268 @ 169.09 @ #Dec. 53161
c NEW SOLUTION FOUND: 49267 @ 169.45 @ #Dec. 53347
c NEW SOLUTION FOUND: 49266 @ 170.27 @ #Dec. 53754
c NEW SOLUTION FOUND: 49265 @ 170.64 @ #Dec. 53934
c NEW SOLUTION FOUND: 49262 @ 171.44 @ #Dec. 54290
c NEW SOLUTION FOUND: 49180 @ 172.18 @ #Dec. 54639
c NEW SOLUTION FOUND: 49146 @ 172.53 @ #Dec. 54804
c NEW SOLUTION FOUND: 49140 @ 172.96 @ #Dec. 55012
c NEW SOLUTION FOUND: 49138 @ 173.34 @ #Dec. 55196
c NEW SOLUTION FOUND: 49134 @ 173.75 @ #Dec. 55403
c NEW SOLUTION FOUND: 49130 @ 174.13 @ #Dec. 55602
c NEW SOLUTION FOUND: 49128 @ 174.5 @ #Dec. 55784
c NEW SOLUTION FOUND: 49126 @ 174.86 @ #Dec. 55959
c NEW SOLUTION FOUND: 49125 @ 175.46 @ #Dec. 56248
c NEW SOLUTION FOUND: 49124 @ 176.03 @ #Dec. 56503
c NEW SOLUTION FOUND: 49122 @ 176.38 @ #Dec. 56672
c NEW SOLUTION FOUND: 49120 @ 177.12 @ #Dec. 57004
c NEW SOLUTION FOUND: 49116 @ 177.49 @ #Dec. 57188
c NEW SOLUTION FOUND: 49112 @ 177.87 @ #Dec. 57376
c NEW SOLUTION FOUND: 49111 @ 178.41 @ #Dec. 57626
c NEW SOLUTION FOUND: 49109 @ 179.27 @ #Dec. 57969
c NEW SOLUTION FOUND: 49108 @ 179.69 @ #Dec. 58164
c NEW SOLUTION FOUND: 49106 @ 180.04 @ #Dec. 58332
c NEW SOLUTION FOUND: 49105 @ 180.4 @ #Dec. 58504
c Restart #2 #Var: 2719 #Dec: 59140 LB: 0 @ 182.6
c NEW SOLUTION FOUND: 27742 @ 190.63 @ #Dec. 61750
c NEW SOLUTION FOUND: 27732 @ 190.91 @ #Dec. 61898
c NEW SOLUTION FOUND: 27721 @ 191.35 @ #Dec. 62134
c NEW SOLUTION FOUND: 27680 @ 191.66 @ #Dec. 62293
c NEW SOLUTION FOUND: 27548 @ 191.96 @ #Dec. 62450
c NEW SOLUTION FOUND: 27455 @ 192.43 @ #Dec. 62659
c NEW SOLUTION FOUND: 27408 @ 195.33 @ #Dec. 63807
c NEW SOLUTION FOUND: 27394 @ 195.69 @ #Dec. 63991
c NEW SOLUTION FOUND: 27345 @ 196.16 @ #Dec. 64212
c NEW SOLUTION FOUND: 27331 @ 206.77 @ #Dec. 67181
c Restart #3 #Var: 2719 #Dec: 71815 LB: 0 @ 225.32
c NEW SOLUTION FOUND: 22410 @ 236.91 @ #Dec. 75415
c NEW SOLUTION FOUND: 22401 @ 237.14 @ #Dec. 75568
c NEW SOLUTION FOUND: 22351 @ 237.39 @ #Dec. 75729
c NEW SOLUTION FOUND: 20359 @ 237.91 @ #Dec. 75989
c NEW SOLUTION FOUND: 20336 @ 238.19 @ #Dec. 76151
c NEW SOLUTION FOUND: 20325 @ 238.49 @ #Dec. 76328
c NEW SOLUTION FOUND: 20301 @ 238.81 @ #Dec. 76508
c NEW SOLUTION FOUND: 20276 @ 239.13 @ #Dec. 76691
c NEW SOLUTION FOUND: 19316 @ 239.51 @ #Dec. 76893
c NEW SOLUTION FOUND: 17609 @ 239.9 @ #Dec. 77099
c NEW SOLUTION FOUND: 17043 @ 240.32 @ #Dec. 77322
c NEW SOLUTION FOUND: 17040 @ 240.82 @ #Dec. 77560
c NEW SOLUTION FOUND: 17001 @ 241.35 @ #Dec. 77806
c NEW SOLUTION FOUND: 5810 @ 241.87 @ #Dec. 78050
c NEW SOLUTION FOUND: 5765 @ 242.4 @ #Dec. 78296
c NEW SOLUTION FOUND: 5750 @ 242.92 @ #Dec. 78541
c NEW SOLUTION FOUND: 5748 @ 243.69 @ #Dec. 78845
c NEW SOLUTION FOUND: 5711 @ 244.47 @ #Dec. 79154
c NEW SOLUTION FOUND: 5704 @ 245.4 @ #Dec. 79523
c NEW SOLUTION FOUND: 5626 @ 246.57 @ #Dec. 79950
c NEW SOLUTION FOUND: 5582 @ 247.74 @ #Dec. 80381
c NEW SOLUTION FOUND: 5559 @ 248.5 @ #Dec. 80700
c NEW SOLUTION FOUND: 5548 @ 249.07 @ #Dec. 80962
c NEW SOLUTION FOUND: 5547 @ 251.8 @ #Dec. 81926
c NEW SOLUTION FOUND: 5537 @ 252.34 @ #Dec. 82177
c NEW SOLUTION FOUND: 5536 @ 252.88 @ #Dec. 82434
c NEW SOLUTION FOUND: 5534 @ 253.9 @ #Dec. 82848
c NEW SOLUTION FOUND: 5531 @ 254.12 @ #Dec. 82993
c NEW SOLUTION FOUND: 5530 @ 256.08 @ #Dec. 83761
c NEW SOLUTION FOUND: 5529 @ 256.35 @ #Dec. 83958
c NEW SOLUTION FOUND: 5528 @ 256.72 @ #Dec. 84179
c NEW SOLUTION FOUND: 5519 @ 257.38 @ #Dec. 84523
c NEW SOLUTION FOUND: 5513 @ 258.25 @ #Dec. 84935
c NEW SOLUTION FOUND: 5505 @ 258.9 @ #Dec. 85263
c NEW SOLUTION FOUND: 5497 @ 259.43 @ #Dec. 85536
c NEW SOLUTION FOUND: 5487 @ 260.15 @ #Dec. 85893
c NEW SOLUTION FOUND: 5475 @ 261.02 @ #Dec. 86320
c NEW SOLUTION FOUND: 5264 @ 261.62 @ #Dec. 86617
c NEW SOLUTION FOUND: 5215 @ 262.03 @ #Dec. 86841
c NEW SOLUTION FOUND: 5181 @ 262.77 @ #Dec. 87233
c NEW SOLUTION FOUND: 5155 @ 263.98 @ #Dec. 87814
c NEW SOLUTION FOUND: 5067 @ 264.83 @ #Dec. 88239
c NEW SOLUTION FOUND: 4955 @ 265.64 @ #Dec. 88650
c NEW SOLUTION FOUND: 4905 @ 266.44 @ #Dec. 89061
c NEW SOLUTION FOUND: 4891 @ 267.66 @ #Dec. 89627
c NEW SOLUTION FOUND: 4617 @ 272.3 @ #Dec. 91181
c NEW SOLUTION FOUND: 4607 @ 272.58 @ #Dec. 91363
c NEW SOLUTION FOUND: 4603 @ 272.84 @ #Dec. 91542
c NEW SOLUTION FOUND: 4600 @ 273.24 @ #Dec. 91765
c NEW SOLUTION FOUND: 4241 @ 273.57 @ #Dec. 91970
c NEW SOLUTION FOUND: 4237 @ 274.01 @ #Dec. 92213
c NEW SOLUTION FOUND: 4227 @ 274.42 @ #Dec. 92443
c NEW SOLUTION FOUND: 4218 @ 274.86 @ #Dec. 92696
c NEW SOLUTION FOUND: 4207 @ 275.28 @ #Dec. 92933
c NEW SOLUTION FOUND: 4195 @ 275.71 @ #Dec. 93170
c NEW SOLUTION FOUND: 4184 @ 276.15 @ #Dec. 93409
c NEW SOLUTION FOUND: 4178 @ 276.59 @ #Dec. 93648
c NEW SOLUTION FOUND: 4169 @ 277.03 @ #Dec. 93892
c NEW SOLUTION FOUND: 4165 @ 277.47 @ #Dec. 94136
c NEW SOLUTION FOUND: 4156 @ 277.92 @ #Dec. 94381
c NEW SOLUTION FOUND: 4148 @ 278.36 @ #Dec. 94626
c NEW SOLUTION FOUND: 4140 @ 278.79 @ #Dec. 94872
c NEW SOLUTION FOUND: 4138 @ 279.24 @ #Dec. 95119
c NEW SOLUTION FOUND: 4136 @ 279.68 @ #Dec. 95367
c NEW SOLUTION FOUND: 4132 @ 280.13 @ #Dec. 95616
c NEW SOLUTION FOUND: 4127 @ 280.57 @ #Dec. 95865
c NEW SOLUTION FOUND: 4123 @ 281.15 @ #Dec. 96178
c NEW SOLUTION FOUND: 3990 @ 282.87 @ #Dec. 96895
c NEW SOLUTION FOUND: 3848 @ 283.88 @ #Dec. 97324
c NEW SOLUTION FOUND: 3834 @ 284.75 @ #Dec. 97715
c Restart #4 #Var: 2719 #Dec: 99843 LB: 0 @ 295.47
c Restart #5 #Var: 2719 #Dec: 102045 LB: 0 @ 308.18
c Restart #6 #Var: 2719 #Dec: 147659 LB: 0 @ 471.8
c Restart #7 #Var: 2719 #Dec: 227320 LB: 0 @ 765.47
c CHANGE to LPR mode... 	UB: 3834	MIS: 38	LPR: 1572 (0.20429)	Diff: 0.024173
c Restart #0 #Var: 2714 #Dec: 234551 LB: 0 @ 810.57
c Restart #1 #Var: 2711 #Dec: 235112 LB: 1572 @ 1133.2
s SATISFIABLE
v -x0 -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 x2164 -x2165 -x2643 -x2644 -x2640 -x2641 -x2635 x2636 -x2632 -x2633 -x2629 -x2630 -x2626 -x2627 -x2623 -x2624 -x2618 -x2619 -x2614 -x2615 -x2611 -x2612 -x2608 -x2609 -x2477 -x2478 -x2474 -x2475 -x2471 -x2472 -x2467 -x2468 -x2463 -x2464 -x2555 -x2556 -x2560 -x2561 -x2564 -x2565 -x2568 -x2569 -x2572 -x2573 -x2583 -x2584 -x2587 -x2588 -x2590 -x2591 -x2593 x2594 -x2597 -x2598 -x2604 -x2605 -x2507 x2508 -x2504 -x2505 -x2501 -x2502 -x2498 -x2499 -x2494 -x2495 -x2490 -x2491 -x2485 -x2486 -x2480 -x2481 -x2458 -x2459 -x2453 -x2454 -x2448 -x2449 -x2444 -x2445 -x2437 -x2438 -x2432 -x2433 -x2425 -x2426 -x2419 -x2420 -x2413 -x2414 -x2405 -x2406 -x2399 -x2400 -x2378 -x2379 -x2371 -x2372 -x2366 x2367 -x2363 x2364 -x2360 -x2361 -x2357 -x2358 -x2352 -x2353 -x2348 -x2349 -x2345 -x2346 -x2342 -x2343 -x2331 x2332 -x2328 x2329 -x2325 -x2326 -x2322 -x2323 -x2175 x2176 -x2171 -x2172 -x2250 -x2251 -x2263 -x2264 -x2266 -x2267 -x2269 -x2270 -x2272 -x2273 -x2276 -x2277 -x2284 -x2285 -x2287 -x2288 -x2290 -x2291 -x2293 -x2294 -x2296 -x2297 -x2307 -x2308 -x2310 -x2311 -x2313 -x2314 -x2317 -x2318 -x2392 -x2393 -x2386 -x2387 -x2235 -x2236 -x2231 -x2232 -x2227 -x2228 -x2223 x2224 -x2219 -x2220 -x2214 -x2215 -x2202 -x2203 -x2198 -x2199 -x2194 x2195 -x2191 -x2192 -x2187 x2188 -x2183 -x2184 -x2179 -x2180 -x2166 x2167 -x2246 -x2247 -x2242 x2243 -x2239 -x2240 x2578 -x2404 x2258 x2208 -x2647 -x2256 -x2257 -x2212 -x2190 -x2193 -x2390 -x2435 -x2752 -x2753 -x2301 -x2170 -x2169 -x2173 -x2174 -x2218 -x2217 -x2221 -x2222 -x2238 -x2241 -x2336 -x2305 -x2648 -x2649 -x2340 -x2337 -x2302 -x2754 -x2750 -x2751 x2245 -x2237 -x2216 -x2197 -x2189 -x2168 -x2391 -x2389 -x2394 -x2397 -x2395 -x2396 -x2398 -x2376 -x2375 -x2377 -x2374 -x2380 -x2384 -x2382 -x2383 -x2381 -x2385 -x2338 -x2339 -x2303 -x2304 x2559 x2558 -x2562 -x2563 -x2225 x2226 -x2177 -x2178 -x2607 -x2610 -x2628 -x2586 -x2589 -x2489 x2488 -x2492 -x2493 -x2462 -x2461 -x2465 -x2466 x2452 -x2455 -x2436 -x2439 -x2442 -x2440 -x2441 -x2443 -x2424 -x2423 -x2422 -x2427 -x2430 -x2428 -x2429 -x2431 x2412 x2415 -x2416 -x2204 -x2205 -x2233 -x2234 -x2298 -x2185 -x2186 -x2252 -x2253 -x2456 -x2457 -x2417 -x2418 -x2275 -x2278 -x2279 -x2702 -x2703 -x2704 -x2292 -x2320 -x2321 -x2295 -x2566 -x2658 -x2659 -x2660 -x2663 -x2662 -x2661 -x2664 -x2403 -x2407 -x2410 -x2408 -x2409 -x2402 -x2411 -x2631 -x2280 -x2282 -x2281 -x2283 -x2274 -x2271 -x2670 x2669 -x2672 -x2671 -x2673 -x2674 -x2675 -x2676 -x2679 -x2678 -x2677 -x2680 -x2312 -x2685 -x2686 -x2687 -x2362 -x2592 -x2369 -x2370 -x2613 -x2700 -x2701 -x2355 -x2356 -x2654 -x2653 -x2656 -x2655 -x2657 -x2543 -x2544 -x2447 -x2450 -x2451 -x2697 -x2698 -x2699 -x2551 -x2552 -x2710 -x2709 -x2712 -x2711 -x2713 -x2726 x2725 -x2728 -x2727 -x2729 -x2347 -x2690 -x2691 -x2692 -x2688 -x2689 -x2716 -x2718 -x2717 -x2719 -x2714 -x2715 -x2732 -x2734 -x2733 -x2735 -x2299 -x2300 -x2327 -x2334 -x2335 -x2730 -x2731 -x2341 -x2344 -x2681 -x2682 -x2373 -x2683 -x2684 -x2359 -x2606 -x2651 -x2652 -x2625 -x2388 -x2693 -x2694 -x2720 -x2721 -x2722 -x2401 -x2324 -x2309 -x2665 -x2666 -x2421 -x2667 -x2668 -x2557 -x2434 -x2446 -x2289 -x2695 -x2696 -x2268 -x2723 -x2724 -x2645 -x2736 -x2737 -x2201 -x2513 -x2705 -x2706 -x2249 -x2585 -x2707 -x2708 -x2210 -x2254 -x2260 -x2206 -x2181 -x2229 -x2230 -x2571 -x2575 -x2574 -x2576 x2596 x2599 -x2600 -x2514 -x2182 -x2637 -x2482 -x2286 -x2617 -x2620 x2262 -x2265 -x2509 -x2740 -x2741 x2746 x2747 -x2567 -x2570 -x2316 -x2319 -x2333 -x2351 -x2354 -x2638 -x2639 -x2368 -x2634 -x2621 -x2622 -x2601 -x2602 -x2603 -x2595 -x2616 -x2577 -x2581 -x2580 -x2579 -x2582 -x2315 -x2642 -x2365 -x2534 -x2535 -x2536 -x2521 -x2525 -x2523 -x2524 -x2522 -x2526 -x2350 -x2515 -x2330 -x2512 x2744 -x2745 -x2738 -x2739 -x2547 -x2548 -x2549 -x2550 x2553 -x2554 -x2742 -x2743 -x2748 -x2749 -x2460 -x2469 -x2487 -x2496 -x2545 -x2546 x2541 x2542 -x2539 -x2540 x2537 -x2538 -x2532 -x2533 -x2530 -x2531 -x2527 -x2528 -x2529 -x2519 -x2520 -x2516 -x2517 -x2518 -x2497 -x2500 -x2470 -x2473 -x2510 -x2511 -x2483 -x2484 -x2506 -x2479 -x2503 -x2476 
c Cost: 3834
c Exit Code: 10
c Total time: 1195 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/19995/stat): 19995 (bsolo) R 19994 19995 17733 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 1725025543 438272 3 4294967295 134512640 134736556 3221224576 3221224576 1073744960 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/19995/statm): 107 3 90 68 0 39 0
[pid=19995] 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/wulflinc1/normalized-p2756.opb

[startup+10.0028 s]
Raw data (loadavg): 0.93 0.95 0.90 2/57 19995
Raw data (/proc/19995/stat): 19995 (bsolo) R 19994 19995 17733 0 -1 0 1805 0 0 0 975 10 0 0 25 0 1 0 1725025543 10506240 1716 4294967295 134512640 134736556 3221224576 3221223224 134649670 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/19995/statm): 2565 1716 1116 68 0 2497 0
[pid=19995] vsize: 10260
Current children cumulated CPU time (s) 9.85
Current children cumulated vsize (Kb) 10260

[startup+20.0036 s]
Raw data (loadavg): 0.94 0.96 0.91 2/57 19995
Raw data (/proc/19995/stat): 19995 (bsolo) R 19994 19995 17733 0 -1 0 2237 0 0 0 1959 17 0 0 25 0 1 0 1725025543 12263424 2148 4294967295 134512640 134736556 3221224576 3221223192 134537599 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/19995/statm): 2994 2148 1116 68 0 2926 0
[pid=19995] vsize: 11976
Current children cumulated CPU time (s) 19.76
Current children cumulated vsize (Kb) 11976

[startup+30.0044 s]
Raw data (loadavg): 0.95 0.96 0.91 2/57 19995
Raw data (/proc/19995/stat): 19995 (bsolo) R 19994 19995 17733 0 -1 0 2423 0 0 0 2944 22 0 0 25 0 1 0 1725025543 13074432 2334 4294967295 134512640 134736556 3221224576 3221223040 1076999581 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/19995/statm): 3192 2334 1116 68 0 3124 0
[pid=19995] vsize: 12768
Current children cumulated CPU time (s) 29.66
Current children cumulated vsize (Kb) 12768

[startup+40.0042 s]
Raw data (loadavg): 0.95 0.96 0.91 2/57 19995
Raw data (/proc/19995/stat): 19995 (bsolo) R 19994 19995 17733 0 -1 0 3007 0 0 0 3925 28 0 0 25 0 1 0 1725025543 15507456 2918 4294967295 134512640 134736556 3221224576 3221223184 134558135 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/19995/statm): 3786 2918 1116 68 0 3718 0
[pid=19995] vsize: 15144
Current children cumulated CPU time (s) 39.53
Current children cumulated vsize (Kb) 15144

[startup+50.0049 s]
Raw data (loadavg): 0.96 0.96 0.91 2/57 19995
Raw data (/proc/19995/stat): 19995 (bsolo) R 19994 19995 17733 0 -1 0 6678 0 0 0 4901 40 0 0 25 0 1 0 1725025543 30433280 6589 4294967295 134512640 134736556 3221224576 3221223232 134649034 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/19995/statm): 7430 6589 1116 68 0 7362 0
[pid=19995] vsize: 29720
Current children cumulated CPU time (s) 49.41
Current children cumulated vsize (Kb) 29720

[startup+60.0047 s]
Raw data (loadavg): 0.97 0.96 0.91 2/57 19995
Raw data (/proc/19995/stat): 19995 (bsolo) R 19994 19995 17733 0 -1 0 7539 0 0 0 5883 48 0 0 25 0 1 0 1725025543 33972224 7450 4294967295 134512640 134736556 3221224576 3221223312 134646172 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/19995/statm): 8294 7450 1116 68 0 8226 0
[pid=19995] vsize: 33176
Current children cumulated CPU time (s) 59.31
Current children cumulated vsize (Kb) 33176

[startup+70.0055 s]
Raw data (loadavg): 0.97 0.96 0.91 2/57 19995
Raw data (/proc/19995/stat): 19995 (bsolo) R 19994 19995 17733 0 -1 0 7614 0 0 0 6866 54 0 0 25 0 1 0 1725025543 34377728 7525 4294967295 134512640 134736556 3221224576 3221223128 1077377272 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/19995/statm): 8393 7525 1116 68 0 8325 0
[pid=19995] vsize: 33572
Current children cumulated CPU time (s) 69.2
Current children cumulated vsize (Kb) 33572

[startup+80.0063 s]
Raw data (loadavg): 0.98 0.96 0.91 2/57 19995
Raw data (/proc/19995/stat): 19995 (bsolo) R 19994 19995 17733 0 -1 0 10280 0 0 0 7840 67 0 0 25 0 1 0 1725025543 45223936 10191 4294967295 134512640 134736556 3221224576 3221223428 134644057 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/19995/statm): 11041 10191 1116 68 0 10973 0
[pid=19995] vsize: 44164
Current children cumulated CPU time (s) 79.07
Current children cumulated vsize (Kb) 44164

[startup+90.0061 s]
Raw data (loadavg): 0.98 0.96 0.91 2/57 19995
Raw data (/proc/19995/stat): 19995 (bsolo) R 19994 19995 17733 0 -1 0 10904 0 0 0 8820 75 0 0 25 0 1 0 1725025543 47730688 10812 4294967295 134512640 134736556 3221224576 3221223296 134648167 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/19995/statm): 11653 10812 1116 68 0 11585 0
[pid=19995] vsize: 46612
Current children cumulated CPU time (s) 88.95
Current children cumulated vsize (Kb) 46612

[startup+100.007 s]
Raw data (loadavg): 0.98 0.96 0.91 2/57 19995
Raw data (/proc/19995/stat): 19995 (bsolo) R 19994 19995 17733 0 -1 0 10904 0 0 0 9807 80 0 0 25 0 1 0 1725025543 47714304 10810 4294967295 134512640 134736556 3221224576 3221223172 134558405 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/19995/statm): 11649 10810 1116 68 0 11581 0
[pid=19995] vsize: 46596
Current children cumulated CPU time (s) 98.87
Current children cumulated vsize (Kb) 46596

[startup+110.008 s]
Raw data (loadavg): 0.98 0.96 0.91 2/57 19995
Raw data (/proc/19995/stat): 19995 (bsolo) R 19994 19995 17733 0 -1 0 10904 0 0 0 10789 86 0 0 25 0 1 0 1725025543 47714304 10810 4294967295 134512640 134736556 3221224576 3221223196 134537576 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/19995/statm): 11649 10810 1116 68 0 11581 0
[pid=19995] vsize: 46596
Current children cumulated CPU time (s) 108.75
Current children cumulated vsize (Kb) 46596

[startup+120.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/57 19995
Raw data (/proc/19995/stat): 19995 (bsolo) R 19994 19995 17733 0 -1 0 10904 0 0 0 11775 91 0 0 25 0 1 0 1725025543 47714304 10810 4294967295 134512640 134736556 3221224576 3221223208 134544056 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/19995/statm): 11649 10810 1116 68 0 11581 0
[pid=19995] vsize: 46596
Current children cumulated CPU time (s) 118.66
Current children cumulated vsize (Kb) 46596

[startup+130.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/57 19995
Raw data (/proc/19995/stat): 19995 (bsolo) R 19994 19995 17733 0 -1 0 11523 0 0 0 12751 101 0 0 25 0 1 0 1725025543 50327552 11429 4294967295 134512640 134736556 3221224576 3221223248 134524917 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/19995/statm): 12287 11429 1116 68 0 12219 0
[pid=19995] vsize: 49148
Current children cumulated CPU time (s) 128.52
Current children cumulated vsize (Kb) 49148

[startup+140.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/57 19995
Raw data (/proc/19995/stat): 19995 (bsolo) R 19994 19995 17733 0 -1 0 11527 0 0 0 13726 109 0 0 25 0 1 0 1725025543 50286592 11433 4294967295 134512640 134736556 3221224576 3221223120 134543506 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/19995/statm): 12277 11433 1116 68 0 12209 0
[pid=19995] vsize: 49108
Current children cumulated CPU time (s) 138.35
Current children cumulated vsize (Kb) 49108

[startup+150.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/57 19995
Raw data (/proc/19995/stat): 19995 (bsolo) R 19994 19995 17733 0 -1 0 11705 0 0 0 14705 116 0 0 25 0 1 0 1725025543 51097600 11609 4294967295 134512640 134736556 3221224576 3221222828 1077379846 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/19995/statm): 12475 11609 1116 68 0 12407 0
[pid=19995] vsize: 49900
Current children cumulated CPU time (s) 148.21
Current children cumulated vsize (Kb) 49900

[startup+160.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/57 19995
Raw data (/proc/19995/stat): 19995 (bsolo) R 19994 19995 17733 0 -1 0 11718 0 0 0 15683 124 0 0 25 0 1 0 1725025543 51097600 11622 4294967295 134512640 134736556 3221224576 3221223200 134539564 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/19995/statm): 12475 11622 1116 68 0 12407 0
[pid=19995] vsize: 49900
Current children cumulated CPU time (s) 158.07
Current children cumulated vsize (Kb) 49900

[startup+170.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/57 19995
Raw data (/proc/19995/stat): 19995 (bsolo) R 19994 19995 17733 0 -1 0 11718 0 0 0 16657 133 0 0 25 0 1 0 1725025543 51097600 11622 4294967295 134512640 134736556 3221224576 3221223116 134536247 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/19995/statm): 12475 11622 1116 68 0 12407 0
[pid=19995] vsize: 49900
Current children cumulated CPU time (s) 167.9
Current children cumulated vsize (Kb) 49900

[startup+180.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/57 19995
Raw data (/proc/19995/stat): 19995 (bsolo) R 19994 19995 17733 0 -1 0 11718 0 0 0 17632 141 0 0 25 0 1 0 1725025543 51097600 11622 4294967295 134512640 134736556 3221224576 3221223164 134560372 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/19995/statm): 12475 11622 1116 68 0 12407 0
[pid=19995] vsize: 49900
Current children cumulated CPU time (s) 177.73
Current children cumulated vsize (Kb) 49900

[startup+190.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/57 19995
Raw data (/proc/19995/stat): 19995 (bsolo) R 19994 19995 17733 0 -1 0 11718 0 0 0 18613 148 0 0 25 0 1 0 1725025543 51040256 11622 4294967295 134512640 134736556 3221224576 3221223312 134645965 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/19995/statm): 12461 11622 1116 68 0 12393 0
[pid=19995] vsize: 49844
Current children cumulated CPU time (s) 187.61
Current children cumulated vsize (Kb) 49844

[startup+200.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/57 19995
Raw data (/proc/19995/stat): 19995 (bsolo) R 19994 19995 17733 0 -1 0 11718 0 0 0 19590 157 0 0 25 0 1 0 1725025543 51040256 11622 4294967295 134512640 134736556 3221224576 3221223120 134540717 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/19995/statm): 12461 11622 1116 68 0 12393 0
[pid=19995] vsize: 49844
Current children cumulated CPU time (s) 197.47
Current children cumulated vsize (Kb) 49844

[startup+210.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/57 19995
Raw data (/proc/19995/stat): 19995 (bsolo) R 19994 19995 17733 0 -1 0 11718 0 0 0 20575 163 0 0 25 0 1 0 1725025543 51040256 11622 4294967295 134512640 134736556 3221224576 3221223468 1077781665 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/19995/statm): 12461 11622 1116 68 0 12393 0
[pid=19995] vsize: 49844
Current children cumulated CPU time (s) 207.38
Current children cumulated vsize (Kb) 49844

[startup+220.013 s]
Raw data (loadavg): 0.99 0.97 0.91 1/57 19995
Raw data (/proc/19995/stat): 19995 (bsolo) T 19994 19995 17733 0 -1 0 11718 0 0 0 21560 168 0 0 18 0 1 0 1725025543 51040256 11622 4294967295 134512640 134736556 3221224576 3221223468 1077781665 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/19995/statm): 12461 11622 1116 68 0 12393 0
[pid=19995] vsize: 49844
Current children cumulated CPU time (s) 217.28
Current children cumulated vsize (Kb) 49844

[startup+230.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/57 19995
Raw data (/proc/19995/stat): 19995 (bsolo) R 19994 19995 17733 0 -1 0 11718 0 0 0 22543 174 0 0 25 0 1 0 1725025543 51040256 11622 4294967295 134512640 134736556 3221224576 3221223212 134544444 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/19995/statm): 12461 11622 1116 68 0 12393 0
[pid=19995] vsize: 49844
Current children cumulated CPU time (s) 227.17
Current children cumulated vsize (Kb) 49844

[startup+240.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/57 19995
Raw data (/proc/19995/stat): 19995 (bsolo) R 19994 19995 17733 0 -1 0 11718 0 0 0 23525 181 0 0 25 0 1 0 1725025543 51040256 11622 4294967295 134512640 134736556 3221224576 3221223148 134544556 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/19995/statm): 12461 11622 1116 68 0 12393 0
[pid=19995] vsize: 49844
Current children cumulated CPU time (s) 237.06
Current children cumulated vsize (Kb) 49844

[startup+250.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/57 19995
Raw data (/proc/19995/stat): 19995 (bsolo) R 19994 19995 17733 0 -1 0 11957 0 0 0 24498 192 0 0 25 0 1 0 1725025543 52121600 11861 4294967295 134512640 134736556 3221224576 3221223068 134536351 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/19995/statm): 12725 11861 1116 68 0 12657 0
[pid=19995] vsize: 50900
Current children cumulated CPU time (s) 246.9
Current children cumulated vsize (Kb) 50900

[startup+260.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/57 19995
Raw data (/proc/19995/stat): 19995 (bsolo) R 19994 19995 17733 0 -1 0 11957 0 0 0 25476 201 0 0 25 0 1 0 1725025543 52121600 11861 4294967295 134512640 134736556 3221224576 3221223116 134536396 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/19995/statm): 12725 11861 1116 68 0 12657 0
[pid=19995] vsize: 50900
Current children cumulated CPU time (s) 256.77
Current children cumulated vsize (Kb) 50900

[startup+270.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/57 19995
Raw data (/proc/19995/stat): 19995 (bsolo) R 19994 19995 17733 0 -1 0 11957 0 0 0 26451 208 0 0 25 0 1 0 1725025543 52121600 11861 4294967295 134512640 134736556 3221224576 3221222844 1077379843 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/19995/statm): 12725 11861 1116 68 0 12657 0
[pid=19995] vsize: 50900
Current children cumulated CPU time (s) 266.59
Current children cumulated vsize (Kb) 50900

[startup+280.017 s]
Raw data (loadavg): 0.99 0.97 0.91 1/57 19995
Raw data (/proc/19995/stat): 19995 (bsolo) T 19994 19995 17733 0 -1 0 12181 0 0 0 27427 217 0 0 25 0 1 0 1725025543 53067776 12085 4294967295 134512640 134736556 3221224576 3221223468 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/19995/statm): 12956 12085 1116 68 0 12888 0
[pid=19995] vsize: 51824
Current children cumulated CPU time (s) 276.44
Current children cumulated vsize (Kb) 51824

[startup+290.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/57 19995
Raw data (/proc/19995/stat): 19995 (bsolo) R 19994 19995 17733 0 -1 0 12268 0 0 0 28401 226 0 0 25 0 1 0 1725025543 53338112 12172 4294967295 134512640 134736556 3221224576 3221222828 1077379843 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/19995/statm): 13022 12172 1116 68 0 12954 0
[pid=19995] vsize: 52088
Current children cumulated CPU time (s) 286.27
Current children cumulated vsize (Kb) 52088

[startup+300.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/57 19995
Raw data (/proc/19995/stat): 19995 (bsolo) R 19994 19995 17733 0 -1 0 12268 0 0 0 29390 231 0 0 25 0 1 0 1725025543 53338112 12172 4294967295 134512640 134736556 3221224576 3221223168 134558298 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/19995/statm): 13022 12172 1116 68 0 12954 0
[pid=19995] vsize: 52088
Current children cumulated CPU time (s) 296.21
Current children cumulated vsize (Kb) 52088

[startup+310.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/57 19995
Raw data (/proc/19995/stat): 19995 (bsolo) R 19994 19995 17733 0 -1 0 12268 0 0 0 30377 235 0 0 25 0 1 0 1725025543 53338112 12172 4294967295 134512640 134736556 3221224576 3221223232 134649034 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/19995/statm): 13022 12172 1116 68 0 12954 0
[pid=19995] vsize: 52088
Current children cumulated CPU time (s) 306.12
Current children cumulated vsize (Kb) 52088

[startup+320.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/57 19995
Raw data (/proc/19995/stat): 19995 (bsolo) R 19994 19995 17733 0 -1 0 12268 0 0 0 31364 240 0 0 25 0 1 0 1725025543 53338112 12172 4294967295 134512640 134736556 3221224576 3221223172 134558145 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/19995/statm): 13022 12172 1116 68 0 12954 0
[pid=19995] vsize: 52088
Current children cumulated CPU time (s) 316.04
Current children cumulated vsize (Kb) 52088

[startup+330.018 s]
Raw data (loadavg): 0.99 0.97 0.91 1/57 19995
Raw data (/proc/19995/stat): 19995 (bsolo) T 19994 19995 17733 0 -1 0 12268 0 0 0 32351 244 0 0 25 0 1 0 1725025543 53338112 12172 4294967295 134512640 134736556 3221224576 3221223468 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/19995/statm): 13022 12172 1116 68 0 12954 0
[pid=19995] vsize: 52088
Current children cumulated CPU time (s) 325.95
Current children cumulated vsize (Kb) 52088

[startup+340.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/57 19995
Raw data (/proc/19995/stat): 19995 (bsolo) R 19994 19995 17733 0 -1 0 12268 0 0 0 33337 250 0 0 25 0 1 0 1725025543 53338112 12172 4294967295 134512640 134736556 3221224576 3221223088 134543478 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/19995/statm): 13022 12172 1116 68 0 12954 0
[pid=19995] vsize: 52088
Current children cumulated CPU time (s) 335.87
Current children cumulated vsize (Kb) 52088

[startup+350.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/57 19995
Raw data (/proc/19995/stat): 19995 (bsolo) R 19994 19995 17733 0 -1 0 12268 0 0 0 34324 255 0 0 25 0 1 0 1725025543 53338112 12172 4294967295 134512640 134736556 3221224576 3221223232 134649499 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/19995/statm): 13022 12172 1116 68 0 12954 0
[pid=19995] vsize: 52088
Current children cumulated CPU time (s) 345.79
Current children cumulated vsize (Kb) 52088

[startup+360.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/57 19995
Raw data (/proc/19995/stat): 19995 (bsolo) R 19994 19995 17733 0 -1 0 12268 0 0 0 35310 261 0 0 25 0 1 0 1725025543 53338112 12172 4294967295 134512640 134736556 3221224576 3221223168 134558547 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/19995/statm): 13022 12172 1116 68 0 12954 0
[pid=19995] vsize: 52088
Current children cumulated CPU time (s) 355.71
Current children cumulated vsize (Kb) 52088

[startup+370.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/57 19995
Raw data (/proc/19995/stat): 19995 (bsolo) R 19994 19995 17733 0 -1 0 12268 0 0 0 36296 266 0 0 25 0 1 0 1725025543 53338112 12172 4294967295 134512640 134736556 3221224576 3221223184 134558258 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/19995/statm): 13022 12172 1116 68 0 12954 0
[pid=19995] vsize: 52088
Current children cumulated CPU time (s) 365.62
Current children cumulated vsize (Kb) 52088

[startup+380.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/57 19995
Raw data (/proc/19995/stat): 19995 (bsolo) R 19994 19995 17733 0 -1 0 12268 0 0 0 37281 271 0 0 25 0 1 0 1725025543 53338112 12172 4294967295 134512640 134736556 3221224576 3221223312 134645965 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/19995/statm): 13022 12172 1116 68 0 12954 0
[pid=19995] vsize: 52088
Current children cumulated CPU time (s) 375.52
Current children cumulated vsize (Kb) 52088

[startup+390.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/57 19995
Raw data (/proc/19995/stat): 19995 (bsolo) R 19994 19995 17733 0 -1 0 12268 0 0 0 38263 277 0 0 25 0 1 0 1725025543 53338112 12172 4294967295 134512640 134736556 3221224576 3221223192 134537599 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/19995/statm): 13022 12172 1116 68 0 12954 0
[pid=19995] vsize: 52088
Current children cumulated CPU time (s) 385.4
Current children cumulated vsize (Kb) 52088

[startup+400.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/57 19995
Raw data (/proc/19995/stat): 19995 (bsolo) R 19994 19995 17733 0 -1 0 12268 0 0 0 39248 282 0 0 25 0 1 0 1725025543 53338112 12172 4294967295 134512640 134736556 3221224576 3221223192 134537586 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/19995/statm): 13022 12172 1116 68 0 12954 0
[pid=19995] vsize: 52088
Current children cumulated CPU time (s) 395.3
Current children cumulated vsize (Kb) 52088

[startup+410.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/57 19995
Raw data (/proc/19995/stat): 19995 (bsolo) R 19994 19995 17733 0 -1 0 12268 0 0 0 40231 287 0 0 25 0 1 0 1725025543 53338112 12172 4294967295 134512640 134736556 3221224576 3221223312 134645965 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/19995/statm): 13022 12172 1116 68 0 12954 0
[pid=19995] vsize: 52088
Current children cumulated CPU time (s) 405.18
Current children cumulated vsize (Kb) 52088

[startup+420.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/57 19995
Raw data (/proc/19995/stat): 19995 (bsolo) R 19994 19995 17733 0 -1 0 12268 0 0 0 41216 292 0 0 25 0 1 0 1725025543 53338112 12172 4294967295 134512640 134736556 3221224576 3221223232 134649118 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/19995/statm): 13022 12172 1116 68 0 12954 0
[pid=19995] vsize: 52088
Current children cumulated CPU time (s) 415.08
Current children cumulated vsize (Kb) 52088

[startup+430.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/57 19995
Raw data (/proc/19995/stat): 19995 (bsolo) R 19994 19995 17733 0 -1 0 12268 0 0 0 42199 299 0 0 25 0 1 0 1725025543 53338112 12172 4294967295 134512640 134736556 3221224576 3221223232 134649038 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/19995/statm): 13022 12172 1116 68 0 12954 0
[pid=19995] vsize: 52088
Current children cumulated CPU time (s) 424.98
Current children cumulated vsize (Kb) 52088

[startup+440.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/57 19995
Raw data (/proc/19995/stat): 19995 (bsolo) R 19994 19995 17733 0 -1 0 12268 0 0 0 43178 307 0 0 25 0 1 0 1725025543 53338112 12172 4294967295 134512640 134736556 3221224576 3221223184 134536188 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/19995/statm): 13022 12172 1116 68 0 12954 0
[pid=19995] vsize: 52088
Current children cumulated CPU time (s) 434.85
Current children cumulated vsize (Kb) 52088

[startup+450.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/57 19995
Raw data (/proc/19995/stat): 19995 (bsolo) R 19994 19995 17733 0 -1 0 12268 0 0 0 44154 315 0 0 25 0 1 0 1725025543 53338112 12172 4294967295 134512640 134736556 3221224576 3221223312 134645965 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/19995/statm): 13022 12172 1116 68 0 12954 0
[pid=19995] vsize: 52088
Current children cumulated CPU time (s) 444.69
Current children cumulated vsize (Kb) 52088

[startup+460.023 s]
Raw data (loadavg): 0.99 0.97 0.91 1/57 19995
Raw data (/proc/19995/stat): 19995 (bsolo) T 19994 19995 17733 0 -1 0 12268 0 0 0 45130 323 0 0 25 0 1 0 1725025543 53338112 12172 4294967295 134512640 134736556 3221224576 3221223468 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/19995/statm): 13022 12172 1116 68 0 12954 0
[pid=19995] vsize: 52088
Current children cumulated CPU time (s) 454.53
Current children cumulated vsize (Kb) 52088

[startup+470.024 s]
Raw data (loadavg): 0.99 0.97 0.91 1/57 19995
Raw data (/proc/19995/stat): 19995 (bsolo) T 19994 19995 17733 0 -1 0 12268 0 0 0 46105 333 0 0 25 0 1 0 1725025543 53338112 12172 4294967295 134512640 134736556 3221224576 3221223468 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/19995/statm): 13022 12172 1116 68 0 12954 0
[pid=19995] vsize: 52088
Current children cumulated CPU time (s) 464.38
Current children cumulated vsize (Kb) 52088

[startup+480.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/57 19995
Raw data (/proc/19995/stat): 19995 (bsolo) R 19994 19995 17733 0 -1 0 12268 0 0 0 47082 342 0 0 25 0 1 0 1725025543 53338112 12172 4294967295 134512640 134736556 3221224576 3221223192 134537597 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/19995/statm): 13022 12172 1116 68 0 12954 0
[pid=19995] vsize: 52088
Current children cumulated CPU time (s) 474.24
Current children cumulated vsize (Kb) 52088

[startup+490.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/57 19995
Raw data (/proc/19995/stat): 19995 (bsolo) R 19994 19995 17733 0 -1 0 12268 0 0 0 48071 346 0 0 25 0 1 0 1725025543 53338112 12172 4294967295 134512640 134736556 3221224576 3221223192 134537599 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/19995/statm): 13022 12172 1116 68 0 12954 0
[pid=19995] vsize: 52088
Current children cumulated CPU time (s) 484.17
Current children cumulated vsize (Kb) 52088

[startup+500.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/57 19995
Raw data (/proc/19995/stat): 19995 (bsolo) R 19994 19995 17733 0 -1 0 12268 0 0 0 49057 352 0 0 25 0 1 0 1725025543 53338112 12172 4294967295 134512640 134736556 3221224576 3221223232 134649499 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/19995/statm): 13022 12172 1116 68 0 12954 0
[pid=19995] vsize: 52088
Current children cumulated CPU time (s) 494.09
Current children cumulated vsize (Kb) 52088

[startup+510.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/57 19995
Raw data (/proc/19995/stat): 19995 (bsolo) T 19994 19995 17733 0 -1 0 12268 0 0 0 50043 358 0 0 25 0 1 0 1725025543 53338112 12172 4294967295 134512640 134736556 3221224576 3221223468 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/19995/statm): 13022 12172 1116 68 0 12954 0
[pid=19995] vsize: 52088
Current children cumulated CPU time (s) 504.01
Current children cumulated vsize (Kb) 52088

[startup+520.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/57 19995
Raw data (/proc/19995/stat): 19995 (bsolo) R 19994 19995 17733 0 -1 0 12268 0 0 0 51026 364 0 0 25 0 1 0 1725025543 53338112 12172 4294967295 134512640 134736556 3221224576 3221223168 134558542 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/19995/statm): 13022 12172 1116 68 0 12954 0
[pid=19995] vsize: 52088
Current children cumulated CPU time (s) 513.9
Current children cumulated vsize (Kb) 52088

[startup+530.027 s]
Raw data (loadavg): 1.15 1.00 0.92 2/57 19995
Raw data (/proc/19995/stat): 19995 (bsolo) R 19994 19995 17733 0 -1 0 12268 0 0 0 52008 370 0 0 25 0 1 0 1725025543 53338112 12172 4294967295 134512640 134736556 3221224576 3221223232 134649034 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/19995/statm): 13022 12172 1116 68 0 12954 0
[pid=19995] vsize: 52088
Current children cumulated CPU time (s) 523.78
Current children cumulated vsize (Kb) 52088

[startup+540.027 s]
Raw data (loadavg): 1.12 1.00 0.92 2/57 19995
Raw data (/proc/19995/stat): 19995 (bsolo) R 19994 19995 17733 0 -1 0 12268 0 0 0 52992 376 0 0 25 0 1 0 1725025543 53338112 12172 4294967295 134512640 134736556 3221224576 3221223184 134558278 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/19995/statm): 13022 12172 1116 68 0 12954 0
[pid=19995] vsize: 52088
Current children cumulated CPU time (s) 533.68
Current children cumulated vsize (Kb) 52088

[startup+550.027 s]
Raw data (loadavg): 1.10 1.00 0.92 2/57 19995
Raw data (/proc/19995/stat): 19995 (bsolo) R 19994 19995 17733 0 -1 0 12268 0 0 0 53978 382 0 0 25 0 1 0 1725025543 53338112 12172 4294967295 134512640 134736556 3221224576 3221223192 134558385 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/19995/statm): 13022 12172 1116 68 0 12954 0
[pid=19995] vsize: 52088
Current children cumulated CPU time (s) 543.6
Current children cumulated vsize (Kb) 52088

[startup+560.028 s]
Raw data (loadavg): 1.09 1.00 0.92 2/57 19995
Raw data (/proc/19995/stat): 19995 (bsolo) R 19994 19995 17733 0 -1 0 12268 0 0 0 54964 386 0 0 25 0 1 0 1725025543 53338112 12172 4294967295 134512640 134736556 3221224576 3221223208 134544005 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/19995/statm): 13022 12172 1116 68 0 12954 0
[pid=19995] vsize: 52088
Current children cumulated CPU time (s) 553.5
Current children cumulated vsize (Kb) 52088

[startup+570.029 s]
Raw data (loadavg): 1.07 1.00 0.92 2/57 19995
Raw data (/proc/19995/stat): 19995 (bsolo) T 19994 19995 17733 0 -1 0 12268 0 0 0 55948 393 0 0 25 0 1 0 1725025543 53338112 12172 4294967295 134512640 134736556 3221224576 3221223468 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/19995/statm): 13022 12172 1116 68 0 12954 0
[pid=19995] vsize: 52088
Current children cumulated CPU time (s) 563.41
Current children cumulated vsize (Kb) 52088

[startup+580.03 s]
Raw data (loadavg): 1.06 1.00 0.92 2/57 19995
Raw data (/proc/19995/stat): 19995 (bsolo) T 19994 19995 17733 0 -1 0 12268 0 0 0 56934 398 0 0 25 0 1 0 1725025543 53338112 12172 4294967295 134512640 134736556 3221224576 3221223468 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/19995/statm): 13022 12172 1116 68 0 12954 0
[pid=19995] vsize: 52088
Current children cumulated CPU time (s) 573.32
Current children cumulated vsize (Kb) 52088

[startup+590.03 s]
Raw data (loadavg): 1.05 1.00 0.92 2/57 19995
Raw data (/proc/19995/stat): 19995 (bsolo) R 19994 19995 17733 0 -1 0 12268 0 0 0 57919 403 0 0 25 0 1 0 1725025543 53338112 12172 4294967295 134512640 134736556 3221224576 3221222984 1077378564 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/19995/statm): 13022 12172 1116 68 0 12954 0
[pid=19995] vsize: 52088
Current children cumulated CPU time (s) 583.22
Current children cumulated vsize (Kb) 52088

[startup+600.03 s]
Raw data (loadavg): 1.04 1.00 0.92 2/57 19995
Raw data (/proc/19995/stat): 19995 (bsolo) T 19994 19995 17733 0 -1 0 12268 0 0 0 58906 408 0 0 25 0 1 0 1725025543 53338112 12172 4294967295 134512640 134736556 3221224576 3221223468 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/19995/statm): 13022 12172 1116 68 0 12954 0
[pid=19995] vsize: 52088
Current children cumulated CPU time (s) 593.14
Current children cumulated vsize (Kb) 52088

[startup+610.03 s]
Raw data (loadavg): 1.04 1.00 0.92 2/57 19995
Raw data (/proc/19995/stat): 19995 (bsolo) R 19994 19995 17733 0 -1 0 12268 0 0 0 59891 415 0 0 25 0 1 0 1725025543 53338112 12172 4294967295 134512640 134736556 3221224576 3221223312 134645965 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/19995/statm): 13022 12172 1116 68 0 12954 0
[pid=19995] vsize: 52088
Current children cumulated CPU time (s) 603.06
Current children cumulated vsize (Kb) 52088

[startup+620.032 s]
Raw data (loadavg): 1.03 1.00 0.92 2/57 19995
Raw data (/proc/19995/stat): 19995 (bsolo) R 19994 19995 17733 0 -1 0 12268 0 0 0 60877 419 0 0 25 0 1 0 1725025543 53338112 12172 4294967295 134512640 134736556 3221224576 3221223184 134558135 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/19995/statm): 13022 12172 1116 68 0 12954 0
[pid=19995] vsize: 52088
Current children cumulated CPU time (s) 612.96
Current children cumulated vsize (Kb) 52088

[startup+630.033 s]
Raw data (loadavg): 1.03 1.00 0.92 2/57 19995
Raw data (/proc/19995/stat): 19995 (bsolo) R 19994 19995 17733 0 -1 0 12268 0 0 0 61863 425 0 0 25 0 1 0 1725025543 53338112 12172 4294967295 134512640 134736556 3221224576 3221223192 134537586 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/19995/statm): 13022 12172 1116 68 0 12954 0
[pid=19995] vsize: 52088
Current children cumulated CPU time (s) 622.88
Current children cumulated vsize (Kb) 52088

[startup+640.033 s]
Raw data (loadavg): 1.02 1.00 0.92 2/57 19995
Raw data (/proc/19995/stat): 19995 (bsolo) R 19994 19995 17733 0 -1 0 12268 0 0 0 62847 431 0 0 25 0 1 0 1725025543 53338112 12172 4294967295 134512640 134736556 3221224576 3221223232 134609069 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/19995/statm): 13022 12172 1116 68 0 12954 0
[pid=19995] vsize: 52088
Current children cumulated CPU time (s) 632.78
Current children cumulated vsize (Kb) 52088

[startup+650.033 s]
Raw data (loadavg): 1.02 1.00 0.92 2/57 19995
Raw data (/proc/19995/stat): 19995 (bsolo) R 19994 19995 17733 0 -1 0 12268 0 0 0 63831 436 0 0 25 0 1 0 1725025543 53338112 12172 4294967295 134512640 134736556 3221224576 3221223232 134649034 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/19995/statm): 13022 12172 1116 68 0 12954 0
[pid=19995] vsize: 52088
Current children cumulated CPU time (s) 642.67
Current children cumulated vsize (Kb) 52088

[startup+660.033 s]
Raw data (loadavg): 1.01 1.00 0.92 2/57 19995
Raw data (/proc/19995/stat): 19995 (bsolo) R 19994 19995 17733 0 -1 0 12268 0 0 0 64815 442 0 0 25 0 1 0 1725025543 53338112 12172 4294967295 134512640 134736556 3221224576 3221223192 134537603 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/19995/statm): 13022 12172 1116 68 0 12954 0
[pid=19995] vsize: 52088
Current children cumulated CPU time (s) 652.57
Current children cumulated vsize (Kb) 52088

[startup+670.034 s]
Raw data (loadavg): 1.01 1.00 0.92 2/57 19995
Raw data (/proc/19995/stat): 19995 (bsolo) R 19994 19995 17733 0 -1 0 12397 0 0 0 65798 449 0 0 25 0 1 0 1725025543 53866496 12301 4294967295 134512640 134736556 3221224576 3221223232 134649499 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/19995/statm): 13151 12301 1116 68 0 13083 0
[pid=19995] vsize: 52604
Current children cumulated CPU time (s) 662.47
Current children cumulated vsize (Kb) 52604

[startup+680.035 s]
Raw data (loadavg): 1.01 1.00 0.92 2/57 19995
Raw data (/proc/19995/stat): 19995 (bsolo) R 19994 19995 17733 0 -1 0 12397 0 0 0 66776 457 0 0 25 0 1 0 1725025543 53866496 12301 4294967295 134512640 134736556 3221224576 3221223228 1076647536 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/19995/statm): 13151 12301 1116 68 0 13083 0
[pid=19995] vsize: 52604
Current children cumulated CPU time (s) 672.33
Current children cumulated vsize (Kb) 52604

[startup+690.035 s]
Raw data (loadavg): 1.01 1.00 0.92 2/57 19995
Raw data (/proc/19995/stat): 19995 (bsolo) R 19994 19995 17733 0 -1 0 12723 0 0 0 67753 465 0 0 25 0 1 0 1725025543 55250944 12627 4294967295 134512640 134736556 3221224576 3221223200 134649095 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/19995/statm): 13489 12627 1116 68 0 13421 0
[pid=19995] vsize: 53956
Current children cumulated CPU time (s) 682.18
Current children cumulated vsize (Kb) 53956

[startup+700.036 s]
Raw data (loadavg): 1.01 1.00 0.92 2/57 19995
Raw data (/proc/19995/stat): 19995 (bsolo) R 19994 19995 17733 0 -1 0 12846 0 0 0 68731 473 0 0 25 0 1 0 1725025543 55795712 12750 4294967295 134512640 134736556 3221224576 3221223216 134649056 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/19995/statm): 13622 12750 1116 68 0 13554 0
[pid=19995] vsize: 54488
Current children cumulated CPU time (s) 692.04
Current children cumulated vsize (Kb) 54488

[startup+710.036 s]
Raw data (loadavg): 1.00 1.00 0.92 2/57 19995
Raw data (/proc/19995/stat): 19995 (bsolo) R 19994 19995 17733 0 -1 0 12989 0 0 0 69704 483 0 0 25 0 1 0 1725025543 56483840 12893 4294967295 134512640 134736556 3221224576 3221223164 134560382 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/19995/statm): 13790 12893 1116 68 0 13722 0
[pid=19995] vsize: 55160
Current children cumulated CPU time (s) 701.87
Current children cumulated vsize (Kb) 55160

[startup+720.037 s]
Raw data (loadavg): 1.00 1.00 0.92 2/57 19995
Raw data (/proc/19995/stat): 19995 (bsolo) R 19994 19995 17733 0 -1 0 12989 0 0 0 70688 489 0 0 25 0 1 0 1725025543 56483840 12893 4294967295 134512640 134736556 3221224576 3221223184 134558128 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/19995/statm): 13790 12893 1116 68 0 13722 0
[pid=19995] vsize: 55160
Current children cumulated CPU time (s) 711.77
Current children cumulated vsize (Kb) 55160

[startup+730.038 s]
Raw data (loadavg): 1.00 1.00 0.92 2/57 19995
Raw data (/proc/19995/stat): 19995 (bsolo) R 19994 19995 17733 0 -1 0 12989 0 0 0 71670 496 0 0 25 0 1 0 1725025543 56483840 12893 4294967295 134512640 134736556 3221224576 3221223312 134645965 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/19995/statm): 13790 12893 1116 68 0 13722 0
[pid=19995] vsize: 55160
Current children cumulated CPU time (s) 721.66
Current children cumulated vsize (Kb) 55160

[startup+740.038 s]
Raw data (loadavg): 1.00 1.00 0.92 2/57 19995
Raw data (/proc/19995/stat): 19995 (bsolo) R 19994 19995 17733 0 -1 0 12989 0 0 0 72651 503 0 0 25 0 1 0 1725025543 56483840 12893 4294967295 134512640 134736556 3221224576 3221223232 134649038 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/19995/statm): 13790 12893 1116 68 0 13722 0
[pid=19995] vsize: 55160
Current children cumulated CPU time (s) 731.54
Current children cumulated vsize (Kb) 55160

[startup+750.039 s]
Raw data (loadavg): 1.00 1.00 0.92 1/57 19995
Raw data (/proc/19995/stat): 19995 (bsolo) T 19994 19995 17733 0 -1 0 12989 0 0 0 73631 511 0 0 25 0 1 0 1725025543 56483840 12893 4294967295 134512640 134736556 3221224576 3221223468 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/19995/statm): 13790 12893 1116 68 0 13722 0
[pid=19995] vsize: 55160
Current children cumulated CPU time (s) 741.42
Current children cumulated vsize (Kb) 55160

[startup+760.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/57 19995
Raw data (/proc/19995/stat): 19995 (bsolo) R 19994 19995 17733 0 -1 0 12989 0 0 0 74609 520 0 0 25 0 1 0 1725025543 56483840 12893 4294967295 134512640 134736556 3221224576 3221223184 134536153 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/19995/statm): 13790 12893 1116 68 0 13722 0
[pid=19995] vsize: 55160
Current children cumulated CPU time (s) 751.29
Current children cumulated vsize (Kb) 55160

[startup+770.041 s]
Raw data (loadavg): 1.00 1.00 0.92 2/57 19995
Raw data (/proc/19995/stat): 19995 (bsolo) R 19994 19995 17733 0 -1 0 12989 0 0 0 75587 528 0 0 25 0 1 0 1725025543 56483840 12893 4294967295 134512640 134736556 3221224576 3221223332 134644530 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/19995/statm): 13790 12893 1116 68 0 13722 0
[pid=19995] vsize: 55160
Current children cumulated CPU time (s) 761.15
Current children cumulated vsize (Kb) 55160

[startup+780.042 s]
Raw data (loadavg): 1.00 1.00 0.92 2/57 19995
Raw data (/proc/19995/stat): 19995 (bsolo) R 19994 19995 17733 0 -1 0 12989 0 0 0 76572 533 0 0 25 0 1 0 1725025543 56483840 12893 4294967295 134512640 134736556 3221224576 3221223204 134560258 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/19995/statm): 13790 12893 1116 68 0 13722 0
[pid=19995] vsize: 55160
Current children cumulated CPU time (s) 771.05
Current children cumulated vsize (Kb) 55160

[startup+790.042 s]
Raw data (loadavg): 1.00 1.00 0.92 2/57 19995
Raw data (/proc/19995/stat): 19995 (bsolo) R 19994 19995 17733 0 -1 0 12989 0 0 0 77559 538 0 0 25 0 1 0 1725025543 56483840 12893 4294967295 134512640 134736556 3221224576 3221223144 134560312 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/19995/statm): 13790 12893 1116 68 0 13722 0
[pid=19995] vsize: 55160
Current children cumulated CPU time (s) 780.97
Current children cumulated vsize (Kb) 55160

[startup+800.043 s]
Raw data (loadavg): 1.00 1.00 0.92 2/57 19995
Raw data (/proc/19995/stat): 19995 (bsolo) R 19994 19995 17733 0 -1 0 12989 0 0 0 78546 543 0 0 25 0 1 0 1725025543 56483840 12893 4294967295 134512640 134736556 3221224576 3221223128 1077377866 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/19995/statm): 13790 12893 1116 68 0 13722 0
[pid=19995] vsize: 55160
Current children cumulated CPU time (s) 790.89
Current children cumulated vsize (Kb) 55160

[startup+810.043 s]
Raw data (loadavg): 1.00 1.00 0.92 2/57 19995
Raw data (/proc/19995/stat): 19995 (bsolo) R 19994 19995 17733 0 -1 0 12989 0 0 0 79533 548 0 0 25 0 1 0 1725025543 56483840 12893 4294967295 134512640 134736556 3221224576 3221223148 134560358 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/19995/statm): 13790 12893 1116 68 0 13722 0
[pid=19995] vsize: 55160
Current children cumulated CPU time (s) 800.81
Current children cumulated vsize (Kb) 55160

[startup+820.044 s]
Raw data (loadavg): 1.00 1.00 0.92 2/57 19995
Raw data (/proc/19995/stat): 19995 (bsolo) R 19994 19995 17733 0 -1 0 13854 0 0 0 80517 554 0 0 25 0 1 0 1725025543 58331136 13481 4294967295 134512640 134736556 3221224576 3221222700 1073987088 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/19995/statm): 14241 13481 1116 68 0 14173 0
[pid=19995] vsize: 56964
Current children cumulated CPU time (s) 810.71
Current children cumulated vsize (Kb) 56964

[startup+830.045 s]
Raw data (loadavg): 1.00 1.00 0.92 2/57 19995
Raw data (/proc/19995/stat): 19995 (bsolo) R 19994 19995 17733 0 -1 0 14310 0 0 0 81510 557 0 0 25 0 1 0 1725025543 58675200 13556 4294967295 134512640 134736556 3221224576 3221222768 1074153782 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/19995/statm): 14325 13556 1116 68 0 14257 0
[pid=19995] vsize: 57300
Current children cumulated CPU time (s) 820.67
Current children cumulated vsize (Kb) 57300

[startup+840.044 s]
Raw data (loadavg): 1.00 1.00 0.92 2/57 19995
Raw data (/proc/19995/stat): 19995 (bsolo) R 19994 19995 17733 0 -1 0 15296 0 0 0 82499 563 0 0 25 0 1 0 1725025543 58789888 13594 4294967295 134512640 134736556 3221224576 3221222768 1074153779 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/19995/statm): 14353 13594 1116 68 0 14285 0
[pid=19995] vsize: 57412
Current children cumulated CPU time (s) 830.62
Current children cumulated vsize (Kb) 57412

[startup+850.045 s]
Raw data (loadavg): 1.00 1.00 0.92 2/57 19995
Raw data (/proc/19995/stat): 19995 (bsolo) R 19994 19995 17733 0 -1 0 16319 0 0 0 83486 569 0 0 25 0 1 0 1725025543 58789888 13595 4294967295 134512640 134736556 3221224576 3221222680 1077410279 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/19995/statm): 14353 13595 1116 68 0 14285 0
[pid=19995] vsize: 57412
Current children cumulated CPU time (s) 840.55
Current children cumulated vsize (Kb) 57412

[startup+860.046 s]
Raw data (loadavg): 1.00 1.00 0.92 2/57 19995
Raw data (/proc/19995/stat): 19995 (bsolo) R 19994 19995 17733 0 -1 0 17026 0 0 0 84476 574 0 0 25 0 1 0 1725025543 59138048 13665 4294967295 134512640 134736556 3221224576 3221222312 1077410205 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/19995/statm): 14438 13665 1116 68 0 14370 0
[pid=19995] vsize: 57752
Current children cumulated CPU time (s) 850.5
Current children cumulated vsize (Kb) 57752

[startup+870.046 s]
Raw data (loadavg): 1.00 1.00 0.92 2/57 19995
Raw data (/proc/19995/stat): 19995 (bsolo) R 19994 19995 17733 0 -1 0 17462 0 0 0 85467 578 0 0 25 0 1 0 1725025543 59138048 13665 4294967295 134512640 134736556 3221224576 3221222720 1073978447 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/19995/statm): 14438 13665 1116 68 0 14370 0
[pid=19995] vsize: 57752
Current children cumulated CPU time (s) 860.45
Current children cumulated vsize (Kb) 57752

[startup+880.047 s]
Raw data (loadavg): 1.00 1.00 0.92 2/57 19995
Raw data (/proc/19995/stat): 19995 (bsolo) R 19994 19995 17733 0 -1 0 17858 0 0 0 86461 581 0 0 25 0 1 0 1725025543 59138048 13665 4294967295 134512640 134736556 3221224576 3221222896 1074153822 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/19995/statm): 14438 13665 1116 68 0 14370 0
[pid=19995] vsize: 57752
Current children cumulated CPU time (s) 870.42
Current children cumulated vsize (Kb) 57752

[startup+890.046 s]
Raw data (loadavg): 1.00 1.00 0.92 2/57 19995
Raw data (/proc/19995/stat): 19995 (bsolo) R 19994 19995 17733 0 -1 0 18243 0 0 0 87452 585 0 0 25 0 1 0 1725025543 59138048 13666 4294967295 134512640 134736556 3221224576 3221222896 1074153794 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/19995/statm): 14438 13666 1116 68 0 14370 0
[pid=19995] vsize: 57752
Current children cumulated CPU time (s) 880.37
Current children cumulated vsize (Kb) 57752

[startup+900.047 s]
Raw data (loadavg): 1.00 1.00 0.92 2/57 19995
Raw data (/proc/19995/stat): 19995 (bsolo) R 19994 19995 17733 0 -1 0 18557 0 0 0 88446 587 0 0 25 0 1 0 1725025543 59641856 13676 4294967295 134512640 134736556 3221224576 3221220704 1075561526 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/19995/statm): 14561 13676 1116 68 0 14493 0
[pid=19995] vsize: 58244
Current children cumulated CPU time (s) 890.33
Current children cumulated vsize (Kb) 58244

[startup+910.047 s]
Raw data (loadavg): 1.00 1.00 0.92 2/57 19995
Raw data (/proc/19995/stat): 19995 (bsolo) R 19994 19995 17733 0 -1 0 18862 0 0 0 89440 590 0 0 25 0 1 0 1725025543 59138048 13667 4294967295 134512640 134736556 3221224576 3221222640 1074867340 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/19995/statm): 14438 13667 1116 68 0 14370 0
[pid=19995] vsize: 57752
Current children cumulated CPU time (s) 900.3
Current children cumulated vsize (Kb) 57752

[startup+920.048 s]
Raw data (loadavg): 1.00 1.00 0.92 2/57 19995
Raw data (/proc/19995/stat): 19995 (bsolo) R 19994 19995 17733 0 -1 0 19167 0 0 0 90434 593 0 0 25 0 1 0 1725025543 59138048 13667 4294967295 134512640 134736556 3221224576 3221222912 1074153663 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/19995/statm): 14438 13667 1116 68 0 14370 0
[pid=19995] vsize: 57752
Current children cumulated CPU time (s) 910.27
Current children cumulated vsize (Kb) 57752

[startup+930.048 s]
Raw data (loadavg): 1.00 1.00 0.92 2/57 19995
Raw data (/proc/19995/stat): 19995 (bsolo) R 19994 19995 17733 0 -1 0 19455 0 0 0 91430 595 0 0 25 0 1 0 1725025543 59138048 13667 4294967295 134512640 134736556 3221224576 3221222912 1074153822 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/19995/statm): 14438 13667 1116 68 0 14370 0
[pid=19995] vsize: 57752
Current children cumulated CPU time (s) 920.25
Current children cumulated vsize (Kb) 57752

[startup+940.048 s]
Raw data (loadavg): 1.00 1.00 0.92 2/57 19995
Raw data (/proc/19995/stat): 19995 (bsolo) R 19994 19995 17733 0 -1 0 19755 0 0 0 92426 598 0 0 25 0 1 0 1725025543 59138048 13667 4294967295 134512640 134736556 3221224576 3221222808 1074138150 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/19995/statm): 14438 13667 1116 68 0 14370 0
[pid=19995] vsize: 57752
Current children cumulated CPU time (s) 930.24
Current children cumulated vsize (Kb) 57752

[startup+950.049 s]
Raw data (loadavg): 1.00 1.00 0.92 2/57 19995
Raw data (/proc/19995/stat): 19995 (bsolo) R 19994 19995 17733 0 -1 0 20043 0 0 0 93421 600 0 0 25 0 1 0 1725025543 59138048 13667 4294967295 134512640 134736556 3221224576 3221221632 1074138732 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/19995/statm): 14438 13667 1116 68 0 14370 0
[pid=19995] vsize: 57752
Current children cumulated CPU time (s) 940.21
Current children cumulated vsize (Kb) 57752

[startup+960.049 s]
Raw data (loadavg): 1.00 1.00 0.92 2/57 19995
Raw data (/proc/19995/stat): 19995 (bsolo) R 19994 19995 17733 0 -1 0 20343 0 0 0 94416 602 0 0 25 0 1 0 1725025543 59138048 13667 4294967295 134512640 134736556 3221224576 3221222816 1074153770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/19995/statm): 14438 13667 1116 68 0 14370 0
[pid=19995] vsize: 57752
Current children cumulated CPU time (s) 950.18
Current children cumulated vsize (Kb) 57752

[startup+970.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/57 19995
Raw data (/proc/19995/stat): 19995 (bsolo) R 19994 19995 17733 0 -1 0 20643 0 0 0 95412 604 0 0 25 0 1 0 1725025543 59138048 13667 4294967295 134512640 134736556 3221224576 3221222720 1074153773 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/19995/statm): 14438 13667 1116 68 0 14370 0
[pid=19995] vsize: 57752
Current children cumulated CPU time (s) 960.16
Current children cumulated vsize (Kb) 57752

[startup+980.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/57 19995
Raw data (/proc/19995/stat): 19995 (bsolo) R 19994 19995 17733 0 -1 0 20943 0 0 0 96408 606 0 0 25 0 1 0 1725025543 59138048 13667 4294967295 134512640 134736556 3221224576 3221222768 1074153767 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/19995/statm): 14438 13667 1116 68 0 14370 0
[pid=19995] vsize: 57752
Current children cumulated CPU time (s) 970.14
Current children cumulated vsize (Kb) 57752

[startup+990.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/57 19995
Raw data (/proc/19995/stat): 19995 (bsolo) R 19994 19995 17733 0 -1 0 21243 0 0 0 97401 609 0 0 25 0 1 0 1725025543 59138048 13667 4294967295 134512640 134736556 3221224576 3221223008 134682823 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/19995/statm): 14438 13667 1116 68 0 14370 0
[pid=19995] vsize: 57752
Current children cumulated CPU time (s) 980.1
Current children cumulated vsize (Kb) 57752

[startup+1000.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/57 19995
Raw data (/proc/19995/stat): 19995 (bsolo) R 19994 19995 17733 0 -1 0 21543 0 0 0 98395 612 0 0 25 0 1 0 1725025543 59138048 13667 4294967295 134512640 134736556 3221224576 3221222584 1077377382 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/19995/statm): 14438 13667 1116 68 0 14370 0
[pid=19995] vsize: 57752
Current children cumulated CPU time (s) 990.07
Current children cumulated vsize (Kb) 57752

[startup+1010.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/57 19995
Raw data (/proc/19995/stat): 19995 (bsolo) R 19994 19995 17733 0 -1 0 21858 0 0 0 99390 615 0 0 25 0 1 0 1725025543 59138048 13667 4294967295 134512640 134736556 3221224576 3221222248 1077378730 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/19995/statm): 14438 13667 1116 68 0 14370 0
[pid=19995] vsize: 57752
Current children cumulated CPU time (s) 1000.05
Current children cumulated vsize (Kb) 57752

[startup+1020.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/57 19995
Raw data (/proc/19995/stat): 19995 (bsolo) R 19994 19995 17733 0 -1 0 22255 0 0 0 100383 618 0 0 25 0 1 0 1725025543 59138048 13667 4294967295 134512640 134736556 3221224576 3221222496 1074247399 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/19995/statm): 14438 13667 1116 68 0 14370 0
[pid=19995] vsize: 57752
Current children cumulated CPU time (s) 1010.01
Current children cumulated vsize (Kb) 57752

[startup+1030.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/57 19995
Raw data (/proc/19995/stat): 19995 (bsolo) R 19994 19995 17733 0 -1 0 22668 0 0 0 101376 621 0 0 25 0 1 0 1725025543 59138048 13667 4294967295 134512640 134736556 3221224576 3221222912 1074153770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/19995/statm): 14438 13667 1116 68 0 14370 0
[pid=19995] vsize: 57752
Current children cumulated CPU time (s) 1019.97
Current children cumulated vsize (Kb) 57752

[startup+1040.06 s]
Raw data (loadavg): 1.00 1.00 0.92 2/57 19995
Raw data (/proc/19995/stat): 19995 (bsolo) R 19994 19995 17733 0 -1 0 23089 0 0 0 102368 624 0 0 25 0 1 0 1725025543 59138048 13669 4294967295 134512640 134736556 3221224576 3221223232 134649103 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/19995/statm): 14438 13669 1116 68 0 14370 0
[pid=19995] vsize: 57752
Current children cumulated CPU time (s) 1029.92
Current children cumulated vsize (Kb) 57752

[startup+1050.06 s]
Raw data (loadavg): 1.00 1.00 0.92 2/57 19995
Raw data (/proc/19995/stat): 19995 (bsolo) R 19994 19995 17733 0 -1 0 23529 0 0 0 103360 627 0 0 25 0 1 0 1725025543 59138048 13669 4294967295 134512640 134736556 3221224576 3221222528 1074916465 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/19995/statm): 14438 13669 1116 68 0 14370 0
[pid=19995] vsize: 57752
Current children cumulated CPU time (s) 1039.87
Current children cumulated vsize (Kb) 57752

[startup+1060.06 s]
Raw data (loadavg): 1.00 1.00 0.92 2/57 19995
Raw data (/proc/19995/stat): 19995 (bsolo) R 19994 19995 17733 0 -1 0 23990 0 0 0 104350 632 0 0 25 0 1 0 1725025543 59138048 13669 4294967295 134512640 134736556 3221224576 3221222752 1074153782 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/19995/statm): 14438 13669 1116 68 0 14370 0
[pid=19995] vsize: 57752
Current children cumulated CPU time (s) 1049.82
Current children cumulated vsize (Kb) 57752

[startup+1070.06 s]
Raw data (loadavg): 1.00 1.00 0.92 2/57 19995
Raw data (/proc/19995/stat): 19995 (bsolo) R 19994 19995 17733 0 -1 0 24446 0 0 0 105340 636 0 0 25 0 1 0 1725025543 59138048 13669 4294967295 134512640 134736556 3221224576 3221222712 1074138158 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/19995/statm): 14438 13669 1116 68 0 14370 0
[pid=19995] vsize: 57752
Current children cumulated CPU time (s) 1059.76
Current children cumulated vsize (Kb) 57752

[startup+1080.06 s]
Raw data (loadavg): 1.00 1.00 0.92 2/57 19995
Raw data (/proc/19995/stat): 19995 (bsolo) R 19994 19995 17733 0 -1 0 24923 0 0 0 106330 640 0 0 25 0 1 0 1725025543 59138048 13669 4294967295 134512640 134736556 3221224576 3221222768 1074153766 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/19995/statm): 14438 13669 1116 68 0 14370 0
[pid=19995] vsize: 57752
Current children cumulated CPU time (s) 1069.7
Current children cumulated vsize (Kb) 57752

[startup+1090.06 s]
Raw data (loadavg): 1.00 1.00 0.92 2/57 19995
Raw data (/proc/19995/stat): 19995 (bsolo) R 19994 19995 17733 0 -1 0 25351 0 0 0 107321 645 0 0 25 0 1 0 1725025543 59138048 13669 4294967295 134512640 134736556 3221224576 3221223232 134649034 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/19995/statm): 14438 13669 1116 68 0 14370 0
[pid=19995] vsize: 57752
Current children cumulated CPU time (s) 1079.66
Current children cumulated vsize (Kb) 57752

[startup+1100.06 s]
Raw data (loadavg): 1.00 1.00 0.92 2/57 19995
Raw data (/proc/19995/stat): 19995 (bsolo) R 19994 19995 17733 0 -1 0 25748 0 0 0 108313 647 0 0 25 0 1 0 1725025543 59138048 13669 4294967295 134512640 134736556 3221224576 3221222528 1074918652 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/19995/statm): 14438 13669 1116 68 0 14370 0
[pid=19995] vsize: 57752
Current children cumulated CPU time (s) 1089.6
Current children cumulated vsize (Kb) 57752

[startup+1110.06 s]
Raw data (loadavg): 1.00 1.00 0.92 2/57 19995
Raw data (/proc/19995/stat): 19995 (bsolo) R 19994 19995 17733 0 -1 0 26162 0 0 0 109305 651 0 0 25 0 1 0 1725025543 59138048 13669 4294967295 134512640 134736556 3221224576 3221222992 1074039235 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/19995/statm): 14438 13669 1116 68 0 14370 0
[pid=19995] vsize: 57752
Current children cumulated CPU time (s) 1099.56
Current children cumulated vsize (Kb) 57752

[startup+1120.06 s]
Raw data (loadavg): 1.00 1.00 0.92 2/57 19995
Raw data (/proc/19995/stat): 19995 (bsolo) R 19994 19995 17733 0 -1 0 26575 0 0 0 110298 655 0 0 25 0 1 0 1725025543 59138048 13669 4294967295 134512640 134736556 3221224576 3221222896 1074153770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/19995/statm): 14438 13669 1116 68 0 14370 0
[pid=19995] vsize: 57752
Current children cumulated CPU time (s) 1109.53
Current children cumulated vsize (Kb) 57752

[startup+1130.06 s]
Raw data (loadavg): 1.00 1.00 0.92 2/57 19995
Raw data (/proc/19995/stat): 19995 (bsolo) R 19994 19995 17733 0 -1 0 26972 0 0 0 111291 659 0 0 25 0 1 0 1725025543 59305984 13670 4294967295 134512640 134736556 3221224576 3221222448 1075799685 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/19995/statm): 14479 13670 1116 68 0 14411 0
[pid=19995] vsize: 57916
Current children cumulated CPU time (s) 1119.5
Current children cumulated vsize (Kb) 57916

[startup+1140.06 s]
Raw data (loadavg): 1.00 1.00 0.92 2/57 19995
Raw data (/proc/19995/stat): 19995 (bsolo) R 19994 19995 17733 0 -1 0 27399 0 0 0 112283 661 0 0 25 0 1 0 1725025543 59138048 13669 4294967295 134512640 134736556 3221224576 3221223128 1077377574 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/19995/statm): 14438 13669 1116 68 0 14370 0
[pid=19995] vsize: 57752
Current children cumulated CPU time (s) 1129.44
Current children cumulated vsize (Kb) 57752

[startup+1150.06 s]
Raw data (loadavg): 1.00 1.00 0.92 2/57 19995
Raw data (/proc/19995/stat): 19995 (bsolo) R 19994 19995 17733 0 -1 0 28667 0 0 0 113268 669 0 0 25 0 1 0 1725025543 59375616 13739 4294967295 134512640 134736556 3221224576 3221222808 1074138312 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/19995/statm): 14496 13739 1116 68 0 14428 0
[pid=19995] vsize: 57984
Current children cumulated CPU time (s) 1139.37
Current children cumulated vsize (Kb) 57984

[startup+1160.06 s]
Raw data (loadavg): 1.00 1.00 0.92 2/57 19995
Raw data (/proc/19995/stat): 19995 (bsolo) R 19994 19995 17733 0 -1 0 30069 0 0 0 114254 675 0 0 25 0 1 0 1725025543 59375616 13739 4294967295 134512640 134736556 3221224576 3221222896 1074153782 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/19995/statm): 14496 13739 1116 68 0 14428 0
[pid=19995] vsize: 57984
Current children cumulated CPU time (s) 1149.29
Current children cumulated vsize (Kb) 57984

[startup+1170.06 s]
Raw data (loadavg): 1.00 1.00 0.92 2/57 19995
Raw data (/proc/19995/stat): 19995 (bsolo) R 19994 19995 17733 0 -1 0 31371 0 0 0 115241 682 0 0 25 0 1 0 1725025543 59375616 13739 4294967295 134512640 134736556 3221224576 3221222896 1074153782 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/19995/statm): 14496 13739 1116 68 0 14428 0
[pid=19995] vsize: 57984
Current children cumulated CPU time (s) 1159.23
Current children cumulated vsize (Kb) 57984

[startup+1180.06 s]
Raw data (loadavg): 1.00 1.00 0.92 2/57 19995
Raw data (/proc/19995/stat): 19995 (bsolo) R 19994 19995 17733 0 -1 0 32583 0 0 0 116228 690 0 0 25 0 1 0 1725025543 59375616 13739 4294967295 134512640 134736556 3221224576 3221222896 1074153669 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/19995/statm): 14496 13739 1116 68 0 14428 0
[pid=19995] vsize: 57984
Current children cumulated CPU time (s) 1169.18
Current children cumulated vsize (Kb) 57984

[startup+1190.06 s]
Raw data (loadavg): 1.00 1.00 0.92 2/57 19995
Raw data (/proc/19995/stat): 19995 (bsolo) R 19994 19995 17733 0 -1 0 33696 0 0 0 117215 697 0 0 25 0 1 0 1725025543 59375616 13739 4294967295 134512640 134736556 3221224576 3221222824 1074138162 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/19995/statm): 14496 13739 1116 68 0 14428 0
[pid=19995] vsize: 57984
Current children cumulated CPU time (s) 1179.12
Current children cumulated vsize (Kb) 57984

[startup+1200.06 s]
Raw data (loadavg): 1.00 1.00 0.92 2/57 19995
Raw data (/proc/19995/stat): 19995 (bsolo) R 19994 19995 17733 0 -1 0 34655 0 0 0 118204 701 0 0 25 0 1 0 1725025543 59375616 13739 4294967295 134512640 134736556 3221224576 3221222752 1074153782 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/19995/statm): 14496 13739 1116 68 0 14428 0
[pid=19995] vsize: 57984
Current children cumulated CPU time (s) 1189.05
Current children cumulated vsize (Kb) 57984
One traced child (pid=19995) exited with status: 10
All traced children have exited ! Game is over.

Child status: 10
Real time (s): 1206.13
CPU time (s): 1195.06
CPU user time (s): 1187.99
CPU system time (s): 7.07492
CPU usage (%): 99.0824
Max. virtual memory (cumulated for all children) (Kb): 58244

Verifier Data

Verifier:	OK	3834